
1, 2, 4, 5, 13, 30, 75, 200, 524, 1299, 3038, 6762, 14482, 30162, 61691, 124998, 252744, 512805, 1047661, 2158235, 4481801, 9368303, 19674518, 41437744, 87399483, 184412912, 388975790, 819684340, 1724741941, 3621720214, 7585569484, 15839701483
(list;
graph;
refs;
listen;
history;
text;
internal format)

