
1, 4, 17, 58, 193, 603, 1852, 5539, 16391, 47919, 139258, 402365, 1159175, 3330974, 9561080, 27421882, 78642072, 225566206, 647308614, 1858741431, 5341591906, 15363474607, 44228744168, 127444421304, 367573522408, 1061131077602, 3066124030310, 8867379519154
(list;
graph;
refs;
listen;
history;
text;
internal format)

