|
|
1, 1, 7, 29, 94, 217, 311, 839, 1150, 3139, 10567, 45407, 283009, 328416, 18674305, 19002721, 132690631, 549765245, 1781986366, 4113737977, 5895724343, 15905186663, 21800911006, 59507008675, 200321937031
(list; graph; refs; listen; history; internal format)
|
|
