[4,14,93,256,1793,4872,34107,92590,648154,1759313, 12315269,33427272,233991155,635119194,4445835138, 12067267861,84470877438,229278099157, 1604946701532,4356283914175,30493987422124, 82769394462323,579385761306789,1572618495070552]