[2,7,13,29,73,157,353,869,1993,4557,10993,25909, 60313,144157,343233,809349,1929833,4610157, 10953873,26130389,62487353,149069757,356015713, 851720229,2035889673,4867238157,11647445553, 27867454069,66671141593]