|
|
2, 7, 31, 145, 701, 3458, 17298, 87417, 445225, 2281565, 11750245, 60763950, 315315014, 1641046720, 8562466432, 44775095601, 234594444741, 1231249999640, 6472043549400, 34067089542255, 179543120927115
(list; graph; refs; listen; history; internal format)
|
|
