|
|
3, 7, 17, 42, 104, 258, 641, 1593, 3959, 9840, 24458, 60793, 151108, 375597, 933592, 2320557, 5768028, 14337139, 35636713, 88579410, 220174961, 547271804, 1360311028, 3381219496, 8404434755, 20890250880, 51925274519, 129066622961, 320810882887
(list; graph; refs; listen; history; internal format)
|
|
