|
|
1, 2, 4, 8, 17, 39, 95, 241, 629, 1676, 4533, 12392, 34145, 94670, 263853, 738744, 2076817, 5860033, 16589996, 47108718, 134136047, 382889797, 1095452434, 3140672834, 9021699845, 25961239919, 74829970930, 216016298741, 624469525203
(list; graph; refs; listen; history; internal format)
|
|
