|
|
1, 3, 11, 43, 174, 721, 3042, 13022, 56420, 246977, 1090846, 4856162, 21770665, 98217318, 445634370, 2032434475, 9313305870, 42861416044, 198038717055, 918368326483, 4273103732070, 19944292913477, 93356009312511, 438150836819153
(list; graph; refs; listen; history; internal format)
|
|
