[1,2,14,31,223,494,3554,7873,56641,125474,902702, 1999711,14386591,31869902,229282754,507918721, 3654137473,8094829634,58236916814,129009355423, 928136531551,2056054857134,14791947588002, 32767868358721]