|
|
0, 2, 24, 93, 526, 1182, 8274, 42293, 296051, 1291107, 9037749, 24201743, 169412201, 453463532, 732838474, 17336900568, 121358303976, 696920237207, 3352562754199, 12023847482518, 65093446049501, 169551827424632, 2140537108378674, 10215388176619468
(list; graph; refs; listen; history; internal format)
|
|
