|
|
1, 2, 6, 19, 65, 231, 837, 3081, 11475, 43105, 163028, 620016, 2368717, 9083894, 34948812, 134833093, 521441459, 2020832892, 7846285977, 30515284116, 118854299343, 463545526625, 1810067726305, 7075783888734, 27687908165495
(list; graph; refs; listen; history; internal format)
|
|
