|
|
1, 63, 255, 863, 2655, 7683, 21287, 57071, 149087, 381311, 958207, 2372095, 5796863, 14007295, 33511423, 79466495, 186949631, 436666367, 1013317631, 2337538047, 5362941951, 12242386943, 27817148415, 62934482943
(list; graph; refs; listen; history; internal format)
|
|
