|
|
1, 1, 6, 17, 68, 262, 898, 3415, 12665, 48273, 185597, 705894, 2710318, 10414884, 40204048, 155766007, 603806026, 2345327257, 9121945554, 35535598716, 138649731701, 541549508686, 2117490125861, 8287250061067, 32463187726182
(list; graph; refs; listen; history; internal format)
|
|
