[1,2,3,8,25,83,289,1041,3847,14504,55569,215727,846761,3354858,13398965,53888063,218053915,887107888,3626373205,14887942624,61358959587,253771944529,1052917272543,4381374717994,18280470530047]
