|
|
2, 4, 8, 10, 17, 40, 71, 174, 416, 1024, 2714, 7026, 17864, 55584, 160298, 415030, 1675454, 4421056, 12669455, 64706146, 173347946, 460825600, 1205935387, 5791248030, 19093815077, 50365299040, 315389650247, 840487488658, 2556719681417, 19838450374264, 53848520341037
(list; graph; refs; listen; history; internal format)
|
|
