|
|
0, 0, 0, 0, 12, 168, 1409, 9187, 51362, 258674, 1207855, 5326205, 22459080, 91368900, 360977373, 1391835607, 5257593566, 19515948358, 71358739003, 257521313441, 918732810340, 3244576312440, 11355547678665, 39423281302875
(list; graph; refs; listen; history; internal format)
|
|