|
|
1, 4, 13, 46, 162, 588, 2175, 8042, 30050, 112859, 426682, 1622775, 6191928, 23709735, 91044994, 350563516, 1353275024, 5234851541, 20287972487, 78757772777, 306202563769, 1192168270089, 4647483544430, 18138518078549
(list; graph; refs; listen; history; internal format)
|
|
