|
|
1, 2, 3, 8, 11, 19, 87, 193, 280, 473, 6429, 64763, 71192, 491915, 563107, 6122985, 80161912, 86284897, 166446809, 419178515, 1843160869, 2262339384, 4105500253, 10473339890, 14578840143, 39631020176
(list; graph; refs; listen; history; internal format)
|
|
