|
|
1, 15, 953, 12435, 88273, 394691, 1405325, 4031123, 10248133, 23120727, 48218513, 93417543, 172039681, 299505299, 503363697, 813950491, 1279144845, 1950568311, 2912136485, 4244109647, 6080556217, 8545686087, 11835454865
(list; graph; refs; listen; history; internal format)
|
|
