|
|
4, 18, 86, 393, 1790, 7918, 34047, 142442, 582768, 2344913, 9330350, 36842164, 144611963, 564509442, 2191142528, 8453688007, 32411106626, 123493645782, 467831766283, 1763390759650, 6619106543024, 24762942068363, 92393401202050, 343951336690542
(list; graph; refs; listen; history; internal format)
|
|
