|
0, 3, 7, 22, 82, 260, 912, 3158, 10920, 38385, 134652, 474953, 1680801, 5960094, 21192029, 75492493, 269409262, 963003740, 3447075784, 12354841859, 44333177653, 159250306113, 572602762173, 2060689223094, 7422109110741, 26752896159623, 96498088175421, 348296867524920, 1257893866073062, 4545530514677703, 16434464166065112
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|