|
|
0, 1, 1, 3, 4, 11, 15, 71, 228, 3035, 15403, 18438, 33841, 289166, 323007, 935180, 4063727, 4998907, 9062634, 367504267, 376566901, 4509740178, 13905787435, 101850252223, 115756039658, 912142529829, 1027898569487, 1940041099316
(list; graph; refs; listen; history; internal format)
|
|
