[6,12,20,56,60,72,272,504,992,16256,65792, 67100672,4295032832,17179738112,274877382656, 4611686016279904256, 5316911983139663489309385231907684352, 38312388521647221458958675616860727626199464309633\ 8432]