[1,8,15,232,449,7400,14351,237832,461313,7648968, 14836623,246015528,477194433,7912700328, 15348206223,254499628104,493651049985, 8185582834056,15877514618127,263276481572712, 510675448527297,8467876653984360]