|
|
2, 5, 12, 28, 65, 150, 346, 795, 1826, 4192, 9621, 22078, 50660, 116239, 266704, 611930, 1404013, 3221358, 7391048, 16957921, 38908004, 89269924, 204819503, 469934590, 1078210352, 2473828397, 5675911794, 13022719964
(list; graph; refs; listen; history; internal format)
|
|