[1,4,13,37,97,241,577,1345,3073,6913,15361,33793, 73729,159745,344065,737281,1572865,3342337, 7077889,14942209,31457281,66060289,138412033, 289406977,603979777,1258291201,2617245697, 5435817985]