|
|
1, 3, 10, 42, 211, 1267, 8869, 70956, 638607, 6386072, 70246794, 842961535, 10958499963, 153418999484, 2301284992271, 36820559876346, 625949517897888, 11267091322161985, 214074735121077721, 4281494702421554427
(list; graph; refs; listen; history; internal format)
|
|
