|
|
1, 5, 35, 137, 844, 3237, 19289, 74075, 435901, 1681705, 9840202, 38142908, 222555244, 866299556, 5047109045, 19716828587, 114778868635, 449771556357, 2617170238263, 10282678191109, 59821340594252, 235568344161873
(list; graph; refs; listen; history; internal format)
|
|
