[1,2,5,12,31,80,209,546,1429,3740,9791,25632,6710517568459941120431524798253296,21607409,56568930,148099381,387729212,1015088255,2657535552,6957518401,18215019650,47687540549,124847601996]