[0,4,8,15,31,92,264,784,2378,7342,22596,69617, 214983,664217,2052307,6342935,19606074,60603932, 187335711,579091828,1790098137,5533594957, 17105617402,52877461311,163456660240,505283076436, 1561949355656]