|
|
0, 7, 56, 357, 2464, 16835, 118104, 823585, 5767328, 40354335, 282492280, 1977326813, 13841410464, 96889010491, 678223896728, 4747561544985, 33232936339456, 232630513987319, 1628413638500376, 11398895185373269
(list; graph; refs; listen; history; internal format)
|
|
