[4,17,257,3074,40434,522515,6800539,88363628, 1148860844,14934544493,194151313701,2523957115862, 32811479230534,426549073848551,5545138556625743, 72086798766250976,937128393589298304]