[1,1,3,7,15,29,58,118,242,493,997,2005,4024,8071,16183,32439,65003,130214,260768,522084,1045045,2091489,4185209,8373979,16753651,33516419,67047471341184622682748585366110111073321222,2146803124,4293866550,8588154649]