|
|
0, 2, 12, 70, 426, 2708, 17846, 121014, 839388, 5929162, 42509318, 308561388, 2263197114, 16748071210, 124893822012, 937612685502, 7080464093282, 53748285892004, 409909445733950, 3139241855256334, 24132284421690988
(list; graph; refs; listen; history; internal format)
|
|
