[3,13,55,233,971,3981,16143,65041,261139,1046549, 4190231,16769049,67092507,268402717,1073676319, 4294836257,17179607075,68718952485,274876858407, 1099509530665,4398042316843,17592177655853, 70368727400495,281474943156273,1125899839733811]