|
|
2, 3, 6, 13, 29, 67, 156, 372, 900, 2202, 5443, 13562, 34031, 85900, 217934, 555381, 1420879, 3647776, 9393805, 24258259, 62800749, 162950583, 423687106, 1103713422, 2880195973, 7528061901, 19705490392, 51652038010, 135563251625
(list; graph; refs; listen; history; internal format)
|
|
