[3,7,16,41,101,247,613,1529,3821,9539,23843,59611, 149015,372539,931327,2328307,5820767,14551919, 36379789,90949471,227373677,568434193,1421085473, 3552713687,8881784201,22204460497,55511151233, 138777878081]