[1,2,3,12,13,52,53,131,271,811,1601,2711,8111, 13997,34589,74551,147773,310567,621227,1230343, 2627759,4921373,10741931,24965191,45887291, 111477631,183638843,394195667,788380493, 1576798931]