|
1, 2, 5, 14, 42, 146, 513, 1814, 6457, 23852, 88822, 331756, 1241569, 4704536, 17919729, 68426280, 261659138, 1005583928, 3876858984, 14975423376, 57918225459, 224542599510, 872234912198, 3393031324338, 13212674724177
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|