|
|
0, 0, 0, 1, 5, 20, 84, 311, 1165, 4276, 15802, 58280, 216070, 803116, 2997360, 11221443, 42147842, 158749808, 599513836, 2269390757, 8609258335, 32725209938, 124621150623, 475367241264, 1816100804241, 6948222137523
(list; graph; refs; listen; history; internal format)
|
|
