|
|
1, 3, 15, 54, 281, 1069, 5682, 22196, 119437, 473871, 2570259, 10302254, 56189736, 226854572, 1242353004, 5042768384, 27702888589, 112915371783, 621846132945, 2543004195610, 14032879286593, 57541490484761, 318053061106482
(list; graph; refs; listen; history; internal format)
|
|
