[1,12,75,252,715,1572,3109,5676,9291,14556,22081,32502,44935,62868,83286,108384,140152,181710,225565282978342792415614502318606642708505,839874,983007,1141416,1315102,1529526,1733476,1994550,2259420,2559990,2878053,3237414,3593521,4047906,4510590,5002350,5506918,6128100,6704800,7414518,8113992,8858622,9682927,10626774,11478142,12519492]
|