|
|
0, 1, 6, 29, 128, 536, 2168, 8556, 33152, 126640, 478304, 1789840, 6646272, 24519680, 89956224, 328437184, 1194102784, 4325299456, 15615510016, 56209986816, 201798074368, 722731821056, 2582790830080, 9211619462144
(list; graph; refs; listen; history; internal format)
|
|
