ctbl:=[ [ 1, 27143910000, 11707448673375, 2031941058560000, 91569524834304000, 1102935324621312000, 1254793905192960000, 30434513446055706624, 64353605265653760000 ], [ 1, 2887650000, -249094652625, 62147133440000, -487071940608000, 11733354517248000, -6674435665920000, 80942854909722624, -85576602746880000 ], [ 1, 468855000, 43747806375, 3348961280000, -19026247680000, 202389851664000, 283334578560000, -369446834405376, -100644526080000 ], [ 1, 236547000, -7678186425, 1090251008000, 12019625164800, 37209562790400, -33800576832000, -142176425803776, 125665005312000 ], [ 1, 41967000, -749446425, 55559168000, -273228595200, -288778089600, -419582592000, -275830603776, 1202568192000 ], [ 1, 13224600, 618611175, 5297868800, 38198476800, -92343888000, 76571827200, 352155009024, -380511129600 ], [ 1, 2693304, -33756345, -91334656, 973209600, -457228800, 2516811264, 5350883328, -8261277696 ], [ 1, 70200, 2168775, -14694400, -121651200, 261273600, -307929600, -1086898176, 1267660800 ], [ 1, -81000, -1913625, 14336000, 110592000, -244944000, 279936000, 1003290624, -1161216000 ] ];