|
|
5, 30, 123, 472, 1790, 6794, 25879, 98952, 379674, 1461248, 5638930, 21811540, 84542016, 328287506, 1276868111, 4973645576, 19398954626, 75753497816, 296142817406, 1158865623236, 4539024407576, 17793358627976, 69805770185498
(list; graph; refs; listen; history; internal format)
|
|
