|
|
3, 4, 7, 14, 30, 68, 157, 373, 901, 2203, 5444, 13563, 34032, 85901, 217935, 555382, 1420880, 3647777, 9393806, 24258260, 62800750, 162950584, 423687107, 1103713423, 2880195974, 7528061902, 19705490393, 51652038011, 135563251626
(list; graph; refs; listen; history; internal format)
|
|
