[3,7,19,53,148,412,1143,3161,8717,23977,65798,180182,492459,1343563,3659623,9953117,27031768,73320496,198632607,537507677,1452978593,3923762257,10586222474,28536313898,76859031123]