|
|
1, 3, 10, 42, 212, 1274, 8924, 71398, 642586, 6425860, 70684467, 848213615, 11026777001, 154374878018, 2315623170283, 37049970724531, 629849502317038, 11337291041706700, 215408529792427309, 4308170595848546191
(list; graph; refs; listen; history; internal format)
|
|
