|
1, 4, 22, 112, 589, 3100, 16393, 86800, 459994, 2438536, 12929377, 68557720, 363537265, 1927735708, 10222301758, 54206461120, 287444443765, 1524252798580, 8082769233721, 42861108613288, 227282835266626, 1205229864917272
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|