|
|
1, 24, 394, 5544, 71995, 891408, 10701748, 125788848, 1456313749, 16673208552, 189289198462, 2135136588312, 23963101915663, 267883518461856, 2985323286760936, 33185997429018336, 368172943255604137
(list; graph; refs; listen; history; internal format)
|
|