[13,115,666,3234,14379,60981,251968,1026124, 4145241,16670823,66879606,267944070,1072693399, 4292739241,17175150780,68709515472,274856935653, 1099467587835,4397954236690,17591993106730, 70368341524803,281474137850205,1125898162012536]