[4,18,52,143,412,1225,3699,11243,34012,102446, 307967,926094,2787783,8398551,25307489,76250370, 229695945,691863018,2083934202,6277172983, 18908580942,56958622146,171576895601,516838549210, 1556857505073]