|
|
1, 3, 8, 12, 31, 71, 128, 230, 555, 1437, 2248, 4646, 8137, 18279, 49590, 76264, 144351, 264615, 474526, 953766, 2712603, 3931785, 7491022, 12745506, 23133569, 38434487, 76679812, 208933080, 301358215, 553702323
(list; graph; refs; listen; history; internal format)
|
|
