|
|
1, 2, 4, 14, 44, 158, 582, 2068, 7658, 28365, 106688, 405144, 1537720, 5870813, 22477625, 86391408, 333202409, 1287571951, 4986174232, 19342971327, 75166542530, 292574047008, 1140326119463, 4449984515413, 17384718120910
(list; graph; refs; listen; history; internal format)
|
|
