Magma V2.19-8 Tue Aug 20 2013 20:42:47 on localhost [Seed = 1242305809] Type ? for help. Type -D to quit. Loading file "11_477__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_477 geometric_solution 14.05511415 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.482209249351 0.861271814515 0 5 6 6 0132 0132 0213 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -7 8 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608952013105 0.727921388235 7 0 4 7 0132 0132 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734051269161 1.013337661701 6 5 4 0 0132 2031 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396039214360 0.377008127091 8 3 0 2 0132 1230 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441127881110 1.126719478720 3 1 8 8 1302 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605501001626 0.459345875749 3 1 1 9 0132 0213 0132 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -8 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572722343761 1.066101495251 2 2 10 9 0132 1302 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.531162710353 0.647217030702 4 5 11 5 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.048250437876 0.795224969236 7 12 6 12 3201 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572679386975 0.865925029173 13 13 14 7 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.914486165726 1.302011177551 12 14 14 8 0213 3012 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604115506877 1.130956628089 11 9 13 9 0213 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572679386975 0.865925029173 10 14 10 12 0132 2103 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638759769316 0.514320320810 11 13 11 10 1230 2103 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275726396410 0.787690856741 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_10']), 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_1001_10']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_13'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0101_14']), 'c_1010_13' : negation(d['c_1001_10']), 'c_1010_12' : d['c_1001_9'], 'c_1010_11' : negation(d['c_0101_14']), 'c_1010_10' : d['c_0101_13'], 'c_1010_14' : d['c_1001_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : d['c_0011_11'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_14' : negation(d['c_0011_10']), 'c_1100_9' : d['c_1001_9'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_14']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_1001_9'], 'c_1100_1' : d['c_1001_9'], 'c_1100_0' : negation(d['c_1001_2']), 'c_1100_3' : negation(d['c_1001_2']), 'c_1100_2' : d['c_0101_8'], 'c_1100_14' : negation(d['c_0011_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_14']), 'c_1100_10' : negation(d['c_0011_12']), 'c_1100_13' : negation(d['c_1001_10']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_1001_9'], 'c_1010_5' : d['c_1001_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_10']), 'c_1010_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0101_13' : d['c_0101_13'], 'c_0110_6' : negation(d['c_0101_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0101_8']), 'c_0110_14' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0101_2']), 'c_0101_12' : d['c_0011_11'], 'c_0011_7' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_13'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_2']), 'c_0101_8' : d['c_0101_8'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_13'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : negation(d['c_0101_14'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_13, c_0101_14, c_0101_2, c_0101_8, c_1001_1, c_1001_10, c_1001_2, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 53 Groebner basis: [ t - 4986209115177536994889667931260318911433500557644510577896727031860\ 4740829602694490080490395422293423996522502578013177082895828025151\ 1797591537705786270611296333435936542/26052319811271541458941977662\ 8176902779824799272203538157110676112001831570999633239848452277626\ 8362992319026881183901955415232835250134819528697750484480432275103\ 084125*c_1001_9^52 - 4962957030562569329728188409863798041108938917\ 6531436448097186249953524092171843776220224750461281515883164822798\ 9697937508605320650569694901311738152103313879430599456152/26052319\ 8112715414589419776628176902779824799272203538157110676112001831570\ 9996332398484522776268362992319026881183901955415232835250134819528\ 697750484480432275103084125*c_1001_9^51 - 3984357782069918888251480308084654874411612538607730850817458221607\ 5678058772628127979353339775566683037928988282737477556169097192580\ 00405202570476326894996251960365191043/5210463962254308291788395532\ 5635380555964959854440707631422135222400366314199926647969690455525\ 3672598463805376236780391083046567050026963905739550096896086455020\ 616825*c_1001_9^50 - 6938075319365300144900563986821341964107294725\ 1446876759104213743647350135747229475449504511549254192058673381308\ 06801110420723677859651944557153595528464230567884085034363/8684106\ 6037571804863139925542725634259941599757401179385703558704000610523\ 6665444132828174258756120997439675627061300651805077611750044939842\ 899250161493477425034361375*c_1001_9^49 - 3520896089470523208263825269659608026697995774912129917692464577918\ 3634495916344303440406975158454682355651173479212601867998969002026\ 2988574860934720432651661934618124300981/26052319811271541458941977\ 6628176902779824799272203538157110676112001831570999633239848452277\ 6268362992319026881183901955415232835250134819528697750484480432275\ 103084125*c_1001_9^48 - 3818611869979358608120745638675372997483742\ 8426143751675694095609785057442208783080690886529515081576445326657\ 5332689202035922482209083630328639153295890715878421090170808779/26\ 0523198112715414589419776628176902779824799272203538157110676112001\ 8315709996332398484522776268362992319026881183901955415232835250134\ 819528697750484480432275103084125*c_1001_9^47 - 3684470780576070662450720663437477887714264225360465490506619084505\ 6437494879648361795657137898977563760016717058503662473644092219903\ 23355131309023766281588139571964981621211/2605231981127154145894197\ 7662817690277982479927220353815711067611200183157099963323984845227\ 7626836299231902688118390195541523283525013481952869775048448043227\ 5103084125*c_1001_9^46 - 455288532856852069305433265325313849797581\ 8902890212863989093282432753389628344970842414087828515585570785519\ 35569942042903805705014231207173097664826983176735342250744841447/2\ 8947022012523934954379975180908544753313866585800393128567852901333\ 5368412221814710942724752918706999146558542353766883935025870583348\ 313280966416720497825808344787125*c_1001_9^45 - 5762996234488762993220092492015507537574700135099168049689160074018\ 4950968818785237940054861902313399099648607964260972114715266469505\ 6270346976970063821532753077222261389314/57894044025047869908759950\ 3618170895066277331716007862571357058026670736824443629421885449505\ 8374139982931170847075337678700517411666966265619328334409956516166\ 8957425*c_1001_9^44 - 583801423435156550723013178799642893709475279\ 3251440354498814607712098630585490996578696285269892816033132993694\ 717463815336863590397233350471255744649408423498676195924890752/521\ 0463962254308291788395532563538055596495985444070763142213522240036\ 6314199926647969690455525367259846380537623678039108304656705002696\ 3905739550096896086455020616825*c_1001_9^43 - 4428676101169250572804890244542524425243794021611542335168682743641\ 3719480482977864209543551164673714197462312407381855043267970721946\ 681067272696372268818433487321796420861216/868410660375718048631399\ 2554272563425994159975740117938570355870400061052366654441328281742\ 5875612099743967562706130065180507761175004493984289925016149347742\ 5034361375*c_1001_9^42 - 497469016569280047342412537449098644045413\ 4794146525958168043110344519579608752226060475048492324386012826498\ 8101026359885561160829949183226443523938461465308891581643766227629\ /868410660375718048631399255427256342599415997574011793857035587040\ 0061052366654441328281742587561209974396756270613006518050776117500\ 44939842899250161493477425034361375*c_1001_9^41 - 5237846436485237830740360717519124168481031052402333324843262404816\ 0874741971027035636338686635279020264171543104555714055025966780548\ 4130447915748540708615081203795299091985849/26052319811271541458941\ 9776628176902779824799272203538157110676112001831570999633239848452\ 2776268362992319026881183901955415232835250134819528697750484480432\ 275103084125*c_1001_9^40 - 1158837679422806619302060587483995955129\ 4713897747211156032342224931908619739062008923070260734692980415160\ 7646213143179504344535571439921118646961877068807036521337755393509\ 879/521046396225430829178839553256353805559649598544407076314221352\ 2240036631419992664796969045552536725984638053762367803910830465670\ 50026963905739550096896086455020616825*c_1001_9^39 - 1654116838640632302931156445261027801422626152768369682097729727573\ 1625352128337015470805849857795908774640515694545812352613512593042\ 84227396811401286853095835147465340041974683/2605231981127154145894\ 1977662817690277982479927220353815711067611200183157099963323984845\ 2277626836299231902688118390195541523283525013481952869775048448043\ 2275103084125*c_1001_9^38 - 356766636764236324214733870086720223654\ 8685553034510320523062898211293428119618357433750028567955815024436\ 6102720919117357429355307818571516140281730599734944434976937191441\ 1977/52104639622543082917883955325635380555964959854440707631422135\ 2224003663141999266479696904555253672598463805376236780391083046567\ 050026963905739550096896086455020616825*c_1001_9^37 - 4306436840967648742029101663288340887539258633572281031807742012856\ 6745553798073982203247270611231076598173213590064548269842890151874\ 14163716926961625587890658187025873188675973/2605231981127154145894\ 1977662817690277982479927220353815711067611200183157099963323984845\ 2277626836299231902688118390195541523283525013481952869775048448043\ 2275103084125*c_1001_9^36 - 149868049434211738915000771578739970218\ 5194392471290695655106945559087730005217163689909979107386880611933\ 6803499090152319852911832875040440104483955056172491208164063891130\ 34519/8684106603757180486313992554272563425994159975740117938570355\ 8704000610523666544413282817425875612099743967562706130065180507761\ 1750044939842899250161493477425034361375*c_1001_9^35 - 9433815976755968388062457547799552252358164544770466165901572470778\ 2630108306391580522493541159100270927410915623509422040793310006374\ 59827488405665318790031425807516191308240752/2605231981127154145894\ 1977662817690277982479927220353815711067611200183157099963323984845\ 2277626836299231902688118390195541523283525013481952869775048448043\ 2275103084125*c_1001_9^34 - 105421036397917247726579976979947859743\ 7419657948086182782991474715572858713514702317516273058465184763082\ 3044955556937323947897153989670463304610174916306964305146124936400\ 48254/2894702201252393495437997518090854475331386658580039312856785\ 2901333536841222181471094272475291870699914655854235376688393502587\ 0583348313280966416720497825808344787125*c_1001_9^33 - 1763968249055187650351991892678473872045533373575099840533039275824\ 7217906455911135510065814162504519467335445064408136348958059411246\ 759545622280712885265191868675529985670984968/260523198112715414589\ 4197766281769027798247992722035381571106761120018315709996332398484\ 5227762683629923190268811839019554152328352501348195286977504844804\ 32275103084125*c_1001_9^32 - 18913785088851553972660972636163091276\ 4744303593844640922782055101885559776858527372227450673017811294998\ 3329438203631892449362066848447211504258622921179591706237172534904\ 304199/289470220125239349543799751809085447533138665858003931285678\ 5290133353684122218147109427247529187069991465585423537668839350258\ 70583348313280966416720497825808344787125*c_1001_9^31 - 2842850254299692497970531785251382748505495430805901087174058192446\ 3875547094373148628983159964541045520989763442215169048117978237876\ 508347643244738412559277342843017010968199112/260523198112715414589\ 4197766281769027798247992722035381571106761120018315709996332398484\ 5227762683629923190268811839019554152328352501348195286977504844804\ 32275103084125*c_1001_9^30 - 26227999464308122809571601570421649122\ 2606332086652721415257286453340016493688542778198926475776772205175\ 8003556443649829241121802994582237939394083427191163723641293884045\ 7915169/26052319811271541458941977662817690277982479927220353815711\ 0676112001831570999633239848452277626836299231902688118390195541523\ 2835250134819528697750484480432275103084125*c_1001_9^29 - 3973414275113466702085179977779883615590069647599983109605494700119\ 0863120052216092534208633540070516256096602138169715129206569845988\ 846815604555318280750831897625783272959339027/260523198112715414589\ 4197766281769027798247992722035381571106761120018315709996332398484\ 5227762683629923190268811839019554152328352501348195286977504844804\ 32275103084125*c_1001_9^28 - 69837134962555651832524777470433436319\ 9009100819260045162893796176283674846005590224635567965366054555505\ 2360252925910154182634111594777481291831480767882300885154257190804\ 077419/521046396225430829178839553256353805559649598544407076314221\ 3522240036631419992664796969045552536725984638053762367803910830465\ 67050026963905739550096896086455020616825*c_1001_9^27 - 9664203193425283127441183996379057915742397505161176569467571437612\ 9418852952482300805886198975151861347748016099543226099766435582089\ 88514559010202060140496204623421988641102399/5210463962254308291788\ 3955325635380555964959854440707631422135222400366314199926647969690\ 4555253672598463805376236780391083046567050026963905739550096896086\ 455020616825*c_1001_9^26 - 1342807173825385724633170115841304053407\ 5376461605833384036379641359590480481617940218450696879683771664150\ 1634624038320824284469858418097619172115367617160703029977544886649\ 18417/8684106603757180486313992554272563425994159975740117938570355\ 8704000610523666544413282817425875612099743967562706130065180507761\ 1750044939842899250161493477425034361375*c_1001_9^25 - 8745691357426337704352225230460385369042103657121416406718213603182\ 9906743198260998154532264157493018474019747720676705391108669943317\ 333472794628394570142133982681779788456737/445338800192675922375076\ 5412447468423586748705507752789010438907897467206341874072476041919\ 2756724153714855160362117982143850133935899740504764064110845819355\ 12996725*c_1001_9^24 - 89489311935278597819266722847192686177553414\ 2656660999552345899370087342875115361374776442017397242094681769929\ 648526335463999124482290334166047649473250384293914590509402984326/\ 5789404402504786990875995036181708950662773317160078625713570580266\ 7073682444362942188544950583741399829311708470753376787005174116669\ 662656193283344099565161668957425*c_1001_9^23 - 4707511767628345220837772948585723747972350302945151988381391608907\ 3670525223111476794928673926279141590464087617402603734138392064286\ 520421659944031419658836822324856537505541891/260523198112715414589\ 4197766281769027798247992722035381571106761120018315709996332398484\ 5227762683629923190268811839019554152328352501348195286977504844804\ 32275103084125*c_1001_9^22 - 26756387563602995591576672241111996712\ 3118228644179185920105041932556787077071339537879850560172021210049\ 2229492972442551558396147053186636997302776563077266898705527146595\ 826224/200402460086704165068784443560136079061403691747848875505469\ 7508553860242853843332614218863674052586917168482216295309196473256\ 02711548832271438288498806187098084852625*c_1001_9^21 - 3747116102699335683710358704127473437146604693908530526933262976724\ 5596264847345706005306592330378444466481444402725451258448322081190\ 210249977094521534282785383324256060929242129/260523198112715414589\ 4197766281769027798247992722035381571106761120018315709996332398484\ 5227762683629923190268811839019554152328352501348195286977504844804\ 32275103084125*c_1001_9^20 - 25808622068942318795043630120831130949\ 0639326795258190092864484608080588306427212872678505260728762735137\ 6189643745257255996070744234043408783913789044190499283762624396903\ 5198498/26052319811271541458941977662817690277982479927220353815711\ 0676112001831570999633239848452277626836299231902688118390195541523\ 2835250134819528697750484480432275103084125*c_1001_9^19 - 2560843609198344921896047094205604694664627485831613463434882813936\ 2937836856449761106574459360369452380897572236245931376987056685722\ 397771880427096636977079351088403948425104122/260523198112715414589\ 4197766281769027798247992722035381571106761120018315709996332398484\ 5227762683629923190268811839019554152328352501348195286977504844804\ 32275103084125*c_1001_9^18 - 16295553393155879060156858236069193734\ 8373823099798657727528972945531235553400715966909992521638133648511\ 4459979767994170998655942946842113077055022490156262691426755170187\ 3876794/26052319811271541458941977662817690277982479927220353815711\ 0676112001831570999633239848452277626836299231902688118390195541523\ 2835250134819528697750484480432275103084125*c_1001_9^17 - 4951464230465328549149779591720797299035898098587032261887574179897\ 7070506888235205203905342468917331551926283806692637837846806835657\ 74941175959821894259894710060049845448694938/8684106603757180486313\ 9925542725634259941599757401179385703558704000610523666544413282817\ 4258756120997439675627061300651805077611750044939842899250161493477\ 425034361375*c_1001_9^16 - 2876994183453606942451998165176988732012\ 0658013552131922630610388723218043030990664225624619814015117676909\ 3349855256670976091986588423185239944882244587888162659642907544787\ 4752/86841066037571804863139925542725634259941599757401179385703558\ 7040006105236665444132828174258756120997439675627061300651805077611\ 750044939842899250161493477425034361375*c_1001_9^15 - 7188859763399451793560588745354071606928252118491090327133374487760\ 8106278530217689794143657694834328775330784855369855218598387405069\ 90260012694910369330635557994960064913737027/2605231981127154145894\ 1977662817690277982479927220353815711067611200183157099963323984845\ 2277626836299231902688118390195541523283525013481952869775048448043\ 2275103084125*c_1001_9^14 - 375338971897067457185191083802290903402\ 6864749168106050105055690820881186831849039894374510708379484020769\ 6425046077529903420761647268764308056969472960991189690271676794981\ 48209/2605231981127154145894197766281769027798247992722035381571106\ 7611200183157099963323984845227762683629923190268811839019554152328\ 35250134819528697750484480432275103084125*c_1001_9^13 - 2828969543420181031729623627516860604113015811374443763403641061306\ 3474041342895099012673682854129401922266706669637234737224842170378\ 14098317007040436028285964235086001798083937/2605231981127154145894\ 1977662817690277982479927220353815711067611200183157099963323984845\ 2277626836299231902688118390195541523283525013481952869775048448043\ 2275103084125*c_1001_9^12 - 259639425117125305950576653019213679912\ 0285390284809107985546729307396080525423634515872179827203313380989\ 2396411432674610196571931969779275609222065792630637170489571486987\ 9622/52104639622543082917883955325635380555964959854440707631422135\ 2224003663141999266479696904555253672598463805376236780391083046567\ 050026963905739550096896086455020616825*c_1001_9^11 - 2900207907785607957481379625598975634466793788492446895284901616205\ 6249979769132976237053830774252294613761204845520309170930075919430\ 8259562282856612509656253457996023747659912/86841066037571804863139\ 9255427256342599415997574011793857035587040006105236665444132828174\ 2587561209974396756270613006518050776117500449398428992501614934774\ 25034361375*c_1001_9^10 - 34029271617028090541239395691743481397488\ 0496655801561490099502653313927758503257065855353108728780023291599\ 9355605694066464104295439311857664238982165191793507479050500057307\ 37/2605231981127154145894197766281769027798247992722035381571106761\ 1200183157099963323984845227762683629923190268811839019554152328352\ 50134819528697750484480432275103084125*c_1001_9^9 - 1955293731159682917943041282021564745052508113084866322221415251062\ 2969871227548646373524005706496398976288895024291254123845646550565\ 0663633729653522580967695743826090458984657/26052319811271541458941\ 9776628176902779824799272203538157110676112001831570999633239848452\ 2776268362992319026881183901955415232835250134819528697750484480432\ 275103084125*c_1001_9^8 - 20621803056865111393882818399042776366102\ 0684603178857681875679560523978389828322187527607592810837213433727\ 6746540112676931233757259285176435040267596891585641901248450450689\ 4/86841066037571804863139925542725634259941599757401179385703558704\ 0006105236665444132828174258756120997439675627061300651805077611750\ 044939842899250161493477425034361375*c_1001_9^7 - 2751379940952706437438502756987270786527241344762485053459958463778\ 8642602415995319302235666716024947662318316276393845032655710870856\ 856356281390218819140146294169440835387206/260523198112715414589419\ 7766281769027798247992722035381571106761120018315709996332398484522\ 7762683629923190268811839019554152328352501348195286977504844804322\ 75103084125*c_1001_9^6 - 197554730597261044660563985569278651600676\ 5467874145058073960614739952768976713861953451790600966354604509827\ 813765487024660230952395116814538691847028534197620826243292952473/\ 8684106603757180486313992554272563425994159975740117938570355870400\ 0610523666544413282817425875612099743967562706130065180507761175004\ 4939842899250161493477425034361375*c_1001_9^5 - 1234163770284524492201479949526012703352892567248865481982423252047\ 3846452031300332840115935500328801727028773554707766392353157228707\ 31997815634017642506755803726266727157103/2605231981127154145894197\ 7662817690277982479927220353815711067611200183157099963323984845227\ 7626836299231902688118390195541523283525013481952869775048448043227\ 5103084125*c_1001_9^4 + 1959980660153470553278751454189331572096644\ 0828655704840324009893380933310204607061725298597107904893282945091\ 712140346840365028304264278978562497088946205433984359958724921/289\ 4702201252393495437997518090854475331386658580039312856785290133353\ 6841222181471094272475291870699914655854235376688393502587058334831\ 3280966416720497825808344787125*c_1001_9^3 + 4374611982283669318790910152930649990954290292106604064307263569066\ 8083587608985323135587983920738235387334503782323922470632996327349\ 47076401944745749880026124720150570608/2605231981127154145894197766\ 2817690277982479927220353815711067611200183157099963323984845227762\ 6836299231902688118390195541523283525013481952869775048448043227510\ 3084125*c_1001_9^2 + 7648756692563458537783974581915117300138956542\ 3704568832768108017234047585034998813669134230067786291601234059424\ 3875346053890744518153206322739794385416024803848625500772/26052319\ 8112715414589419776628176902779824799272203538157110676112001831570\ 9996332398484522776268362992319026881183901955415232835250134819528\ 697750484480432275103084125*c_1001_9 - 4834817775465338239555822849293539054291367362884845143437347635254\ 8045519976101215134953816728631793437850528381942511008387592882549\ 2333241734243164142661108950752569207/28947022012523934954379975180\ 9085447533138665858003931285678529013335368412221814710942724752918\ 7069991465585423537668839350258705833483132809664167204978258083447\ 87125, c_0011_0 - 1, c_0011_10 + 92437458761356253227900227077868560025166256519162017166440\ 9875973962609018782259568675299040852307676327090570449282063424162\ 628278029926082/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^52 + 2267360533063379266573284466560165372995474430578123115266752571897\ 9390074001218310035947993701765912378582392665189441809184956916783\ 56535395/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 + 383673897042563370022251900754708\ 1654643143334393258715101459711167795150919378829327002563382846214\ 9673026256186023565751427662513063192377739/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^50 + 9244075038346201394559926853637549977382275169219452395135667776336\ 6179768947194072104727551428373275001698026920478650944645529089004\ 777269015/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 + 7127688829170605365604019436775815530861534632840353625528087756897\ 4162075226222607206448503192763883882680883573193027843930579893708\ 3501853455/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^48 + 1660493514599545697022537255688444972623124976585277069921041155403\ 9458810058065282195959390253571114713449090213736943326933323704531\ 77649882798/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 + 7930294416820403755198773541881797524839710984345658966102148189783\ 0599701582329306709637906592107191825732772690008798083257002119405\ 53194277987/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^46 + 1757750592157079365515220857058363648088750905620723599770114276258\ 7512675176881614204050978265523057264808448489090172494423047054328\ 121956179964/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 + 5986915713438827126976288755293039199223222687328445279689276937247\ 6729471091192218591520389091653559694639334328665879722707104888928\ 883370543367/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^44 + 1244960334519206437965622293983545684853559589586787394613041875261\ 2286543486810275710519992445179913664125859636903087358804270361947\ 4869486202943/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^43 + 3303100262422702706309112206418807788979115403502756185947849025378\ 8236678177009521534969457388273717622845181621049093175703910768338\ 7710668646259/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^42 + 6381100275238354943026259458864786305914588603108391684246362692371\ 7951705932437601341236093886731585245987254532774248448534438439564\ 8781140718036/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 + 1400906930466858620702748317417854531847592863158909779656992059184\ 9504106982764007920225534680325530818621127323597490815706882944229\ 31991494047807/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 + 2503232692841084898799172520348550247349634082619268718480939737415\ 8387628430163820167964683963493410438009693599365881185459351346421\ 69671448820693/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 + 4738483808652437999887597913504158133597787667886837391460525780536\ 5533561769413081916415927959573088130128349854420285562087529216169\ 09806441835630/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^38 + 7834969049101659623990354669634093555913192600215099571153127688682\ 4388818927200502510667543533709308103681894542207151640572866682474\ 09415081207710/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 + 1314444062652428844864266823924921856129327441369265304517692826484\ 7721159840453851658465079123497754281420462438100312238826681531491\ 996316948844776/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 + 2016653810657849145894959850661286207242590617210395011290673611189\ 2429007706097061415716315691859933952798476445961178980513889121567\ 046363415787879/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 + 3054070017623827835917429868523107465853180902592891972339863162511\ 4107734178249764852020534332042679494198063290995091131600845458873\ 356502467638485/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 + 4361039573906768521882771093037759629776382897677395700655965327194\ 1492279962631972847027937046760388827649701443718350962421334386309\ 250016569549485/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 + 6035855603101999311191908267047875012156157329421761512750041700020\ 8742056768332995990552267569319072426394574570759977989760902061487\ 573276785085373/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^32 + 8042188573501019079802803260429334758124590107838224506662350003778\ 9759311956262254582721065234067252367322819890362214113414903172286\ 114725292763142/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 + 1025695822767433281113641923516132180700263046608689829003750295674\ 9776005609988037180453119279127740508785459586084456065595571108729\ 7455276222014359/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^30 + 1277457698970858844754895293347310979133657570160726999261231292980\ 8856654818911432361752054392794540759192737799918794892975050602881\ 5629002574039705/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^29 + 1509522466411476165954093597070585015979099276665411031654031039799\ 3437340502203512456316999444914397617272814030991589690061128143319\ 7108610352853290/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 + 1759003298683995599256176993181824307516412967911592535351007274552\ 1428017091692746928206412127020331612229134037450815276654938140079\ 0173128728253690/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 + 1932100366970963678406388213634325458913197498952301304245792020225\ 9340539362405595727285180035507408145127868165422007953344348121684\ 7767850016030963/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 + 2106628286280968350834819327275064426096690238293858404180711104956\ 5736834077205857179829931389315779869935933136517432682902701273729\ 8924131278266362/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 + 2154206385758640550790855229195990711259334490760076305471122340521\ 4726237808988980152289580732912936556339908547790887274044016951304\ 4428798194261287/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 + 2195904164342995514819548640152190671951788436602258314775374260437\ 0318129837640869087847576476523661305205854441326665992118387651678\ 9272051815849209/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 + 2090537378319681129127215837314059397708583083270836687049034736780\ 5909106173634421157323558250308810829088506225243907837510364997495\ 8082185806074268/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 + 1988635124952449869015124353921610656412886979598724399329603156789\ 1733575377405091931397595533159460170856002874099586681331985264433\ 6267395290524721/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 + 1760081584675116780290302473200611749318967517288148116002108333998\ 9534340932648273175887007577883545266421355287676628642315654632871\ 1534586831118532/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 + 1557732037200691582335697207040696261516383910887559700792208793920\ 4182674970109488146602032322107393041459462495157118201502415676518\ 7378804922949290/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 + 1278071169621911898077093088734350779770662283878063517308530545408\ 3582983205988655694110723246325045723719523449555555722676571056399\ 4379119868044093/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 + 1047634011297773677886967583066090217849894266991483271131559689598\ 3835978030975289539682102864078049293492408933362769410664921796494\ 6530407798729130/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^17 + 7931900563208264482581314986401800755772031149878500600425797787912\ 0661926067439411196637408421122397438517154541162179134326547991546\ 318227505138852/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^16 + 5981634481214745299793489953938686345823026161962163702183650704404\ 5472290807962025021715016685805958851021671843193563320681306670977\ 223194674922671/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 + 4151332307995454000168667282720175579611605782932288955174017354274\ 8664058642778660984684963741291538150402622767363793241330604899634\ 686341383447002/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 + 2851578847494066124990028174873648360942442484080152342033134318909\ 5787563182252734767852656612541077676310558339780558772845683093437\ 283665098176177/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 + 1797100250667230048918217946120265946401163396197322242112329659848\ 4311649237484329237272610778517049165976740579826283542650400969445\ 719892003705196/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 + 1107490858176868500361830453221677835880654226449036998669018568907\ 8919456656426889308751678482107829897782771066490324753830910232534\ 862704018982553/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^11 + 6258737174916718017085561629215401653646857545163683114243014081013\ 3336594476537221469380117031805199966714663970410510910937689356792\ 31125889990695/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 + 3376941969888577497700522689884497163629070301787468310751066367331\ 1629646719699479975790653455120996659358832575753728423764277955432\ 72576973331399/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 + 1683843915216541531025850741993134252378925818278164760433375247991\ 5468714733574266737002708673890650704836709518502422188059458865342\ 70065948993270/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 + 7598024040731291530907326810879071375571294495979243133075911797474\ 7393528969247749647815047453903760703155359797097510498415259114508\ 0775887801381/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 + 3259472254607250810855889089063670020937787034766245054719744352054\ 8315164002149465179870076580191268479473938207552745894373765068744\ 0281423671896/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 + 1096412891587635120350480463756326444522647013315261559246531622075\ 4769525656830270158364540828738629974688369595150563691334835694376\ 5981688482983/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^5 + 3817380355817816136741051579894495357881033389489040879178773399208\ 0954077367079762281624221678364445463146518602983767374750428468223\ 024052067339/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 + 5958369618440968705378706182806602630936981680448002610840002137305\ 9948860350149324664707678205380079948984746760686783495173049352165\ 20755101974/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^3 + 1461479416709395467153410129761341286276994393208860333894520508817\ 9097822694617533283748029897956631759651849567607440119588935669026\ 33174657592/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^2 - 2063612220483796291413632457950718733531480900599009289297003941672\ 1631172688176383862818721838733861605600648014081997795589222057652\ 362443786/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9 + 89576449141593681872871538381985797\ 8938734759920243773283448979104822529174199767330364678375547260374\ 5438442196569890022521347949669808530899/16431274864167677656054518\ 3983910858433003277674987435884477157802046567106005108223637510159\ 046344837214012598085360509347686270803935234894973, c_0011_11 - 69494926412573608078356634368556448714664813142755536597529\ 3360772181700183654817684238169771781225282245552463309031862785792\ 2618586843266294/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^52 - 6988289731227326822500728867529955068346157489730341794669638584759\ 4884635722981874072091311578421543516124111920108913606606813906232\ 41525228/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 - 278030887823928510518561789532779\ 4628841610698884186280183050909011688627680591514520712644334015083\ 98445517389162292118335874623157317549319401/1643127486416767765605\ 4518398391085843300327767498743588447715780204656710600510822363751\ 0159046344837214012598085360509347686270803935234894973*c_1001_9^50 - 29366253725789101385020077603528011808621737053762896276571976367\ 3764242817538986277810175264159959640690066420476133503052668036449\ 448473443874/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^49 - 4922374090698405429621543699021798212434379550635484074895608762942\ 0960008279194459140776768331643889337315873535184081615007814350275\ 71683721152/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^48 - 5401503651333011827467288428980912285723422399299556288143273450448\ 7841892937309781181604759362624334845048761666949242953938238109537\ 44491661552/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 - 5162572306596338962013190324694099715038913144558234177064900534538\ 1706221083899861170503056628895203924725372518084847458547425743455\ 704476875478/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^46 - 5815030073187431542901066559685579468585554422909121522859176270599\ 7757824566087778228057765857073943814358973418763517415226893718278\ 326269256816/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 - 3643844728089084664357317408944221999508094581762006912971215984509\ 5891606799497337064721496826474298871241848591147914789459855536790\ 3095856759011/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^44 - 4158761498303397801623526828035370115686241475651471559333594980015\ 8988383459176276184974188278916340760739509700999648984478378328345\ 0270661975279/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^43 - 1873015935060072040061252797512240995835947527197239209308002151906\ 0219265867065608227202374595540230529538411589631259110107357753858\ 99720588576918/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^42 - 2135931197724443444969461938485501731559542818949546598944143298326\ 7496595947584104238860935684456539330309307567215312190604652762997\ 21821912501171/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^41 - 7412546606591669902287201439778211949157054520988295311772860374356\ 5977016793870273429089260046260017193559983369390067454317968700116\ 44569167226706/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 - 8334646832474130104786467472994495423212453799948960131083952777093\ 9360488555249501075594731218581187821228061445072985024860270532281\ 10554987589345/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 - 2350958072679392461347429970367957969297681373024829082505560205773\ 1530912358417115514276786323125415874055349123879529590116876630892\ 435689710694393/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^38 - 2580043140164553460355390504249192957517032807451611840226366647559\ 0654491120604335079098840889042958987879751580556072668258007268633\ 279437380832423/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^37 - 6149445613468385039413086200434534211318746326567190110897172705508\ 4378674893825578863965627919569974482821188316260177398128315136186\ 613126735468595/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 - 6541190914578440982181092602552662209606645252406296320362591666592\ 2062261769082497292289064971794379936504726431120949340164223309575\ 694486159387526/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 - 1353988505165036649961531369331020454489227501766678729605609755483\ 5579089538385861293098375149427129318907735787638122346716103724247\ 0891581537681225/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^34 - 1389149911211924718171265156382138325463631234924242683625233586559\ 9658819446019688089633115662779434478188014392575327332761466411290\ 3002163402108541/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^33 - 2545734422950536357390687753891277323630816232075357398115116801537\ 9101402611890982656107892020764216964213803042030707837828377779856\ 1355772799698877/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^32 - 2509561930965830099454029410907174624464212811571155066082646719263\ 6529809464313710530772031115598287975688628138523567458524146187093\ 0554865188627495/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^31 - 4127490186076910332043910776858837687100997691684887912258760877917\ 9680110979913252611866770890025716888721188910957666843965599769786\ 1243481067208998/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^30 - 3896269009629644089492448965500156642012332662696647875188813385362\ 9883757937719176681513633683542417180892531791477866124022605626548\ 9574765207252760/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^29 - 5807158540082203099206838373694712949837999196043579748806865487988\ 6256876357367647794733868319789906971656811369177050864874886022152\ 5431414217400940/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 - 5231698361471878335030473638365114440243991764986914949172980432033\ 8891344172370966555380532803805146009560867117831597361914127221730\ 2572129221562959/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 - 7114096239430176673633333601719302796028311101579471534312617674073\ 4580560333296150244644859050543796257019030136335772751424413656025\ 0346145948043817/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 - 6094478108807121692302295460969758077941953558061137153646485194666\ 4280755645133060455983326412541863644028581686940511560752604760014\ 5486122861049390/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 - 7594710129549930386064544431719195084833524179193373550349906013138\ 1461534591756936031808778503085106152109040240528624794856741882467\ 4931575915496824/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 - 6161333691457329383228450493447156636864439217522849902800983952085\ 8202909912963348953254673109717007174490782176681884831469280326299\ 5213433737789477/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 - 7053877887179198541555991502500014068290261272707848854212790692158\ 8500379117025267206384088481462267278108261895658634827798151897186\ 4522504825751733/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 - 5393264912599258721014686230990514854385656111653850001036503569844\ 7265929891096130020393241146084471706298858491552370571974569543836\ 3667356145985975/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 - 5676094926267484392890820158682624479973301636930328777149678813738\ 8528357342445780640140459237174997755332496100474369436020166392666\ 9146367325518246/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 - 4066911463754464689069097716291663165593414956667884324816020945516\ 8269076532959061694723650742708259021817040923620134624201047064180\ 5411379632844074/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 - 3929110621585072063401810393900493757481894672880812643565396434380\ 4621006462726741142632498678678981239637181049612441132373696277499\ 8766111779814896/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 - 2620095189772091541070077022685716505011135828845090914298794661661\ 1906752719927027373001547289680943869808017740089179362995979827154\ 3449967149623756/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^17 - 2314567131339251668752573050347625816785480205334887132614445987467\ 8054567039195952745702614505480064933686745963301470057398911193416\ 3326026531136337/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^16 - 1424280170745138959319547484073766009066849863501183594404948414353\ 0191667200551952876642300364452520893185035590599107199070261300588\ 3981420525669651/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^15 - 1141836399486167473116897116369992023330883117062497499029654062867\ 1942693511005975995438801269988770805657838828323181984944248001717\ 5481731557817987/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^14 - 6414702421589617970543112272752991335623933428604608594086122202385\ 8950574748975709514226305119164808284464386297961119698646631412468\ 926415768999124/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 - 4606027815277356426143675738481748263431026851739187657852324771557\ 1442293401273115044102832514644780300993458274320791620025108093576\ 687633131906057/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 - 2332000587594995225504161986299502761709799739852093460683588669804\ 4744927738418531551567131554217342273562673001194200330719403345230\ 345126478853453/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^11 - 1465092592220132731990969648014177356036927927602655739475434616834\ 0019212941347808234116527960694729423099253270895051400281455955798\ 411988862721388/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^10 - 6592245216468402025552231109006852494966441219107365079419809300241\ 8115571688064905468598721388171059017700320110582526035890799139610\ 88663794702010/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 - 3460748196553137626769577880641776201363841891408069631300099378500\ 4090269340451591671524154485643819745781674141696802410317795706576\ 34234048330184/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 - 1361669451752858616808572714290648184830585404017114046175392823296\ 5801100763872013200129055669092242255935868810504964950506476849810\ 40629962546701/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^7 - 5342576955358700271298111668257213144580475394876938914685328859642\ 2430218832786808686261411994892945787809850514439372392041288910136\ 0843870523272/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 - 1759536008688179523643660739545619358802275506770346982751184071161\ 9967848389964368707381362600528983229020922220770588677241301275962\ 3732620001854/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^5 - 3453066627771309814732114402335639138011588415751605226577365897868\ 9260422108782486721199288974768214616874413984400562949549594964265\ 590446043185/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 - 6326216802233330679463056364132399723647626577080254108368014219057\ 5225366128395056193729838687844105407511343824330449737293110075017\ 06053984107/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^3 + 7508410582840866150651992620962403126097872424695198780993663091657\ 2204010198385510752269350628104211186073471652441325759825779476758\ 909178649/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^2 + 498041607414497549072810734664570\ 5116947918245443343781118564216760032346064828227423531239795099424\ 39834452591558738106223412049066136457088628/1643127486416767765605\ 4518398391085843300327767498743588447715780204656710600510822363751\ 0159046344837214012598085360509347686270803935234894973*c_1001_9 + 5729630829791618865545461654235842021565523450797368798113011697003\ 6615298194157079104620565883435555374965428353152722192735126487319\ 892562268/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973, c_0011_12 - 22601525279635106252753921988357843237601842264526782986418\ 2457694920693219347692933383690943488293176368004958832509290904898\ 7313360592559033/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^52 - 2152616556675295129758451750832806927690230368604957738737348863502\ 7277280928183042858423983318019090240933193290293833786368985282725\ 98661610/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 - 908215364607262659506125744457524\ 3702097845955366274242196002881398843706438955670144601374254741893\ 0742541013300951903042394874386883641787748/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^50 - 9110010818544812897758678544377601620852895504664080552973803865321\ 5024411405623853664450207036071302435596224338047327755812347321856\ 080382440/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 - 1616421300117835579059381738431729646892707025632661286909915390318\ 8456133124248554548601226715452074738953843618989534169654775129865\ 49581331388/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^48 - 1688713065220728592364955681797251571153295054931526835612276950057\ 3332952084919332403312037382959894310586667622764910446104493103598\ 56144142263/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 - 1705759582005246856649484636315967151731565885609555950322675088875\ 4213398970920795765224119929650391640603181750729237066953005032499\ 399833450911/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^46 - 1833804620463841268266716250160355174957646619687515992547205143998\ 7117893941304507700840775294420714839851761712777828323454998682032\ 611454232156/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 - 1212343780661322084462670208854733357931647875054604897373879385690\ 6419123241889818642684824263796700233497951386940010326560062938789\ 8791038128852/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^44 - 1324136034960074075473137944551733808091734651758461272013235251367\ 4451172218079843677263360586310238338841495201239294866651621526989\ 5508280566791/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^43 - 6278614234810001562919393462161409575596132841133095583578374076334\ 7463278887601878025900988751398957266620201320265837679424041082086\ 4089404048784/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^42 - 6871399291183778132930113318013168228970965418938508608448888854510\ 7979152747197583361841131319165740096884759288296937812859695027416\ 1740947748315/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 - 2504416671109218562603104419812235597666117998342515120073128396361\ 0939361429249783044627673219317506050803745117415607081294330762697\ 24838344309573/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 - 2710293838204769662265352526971199058991149857964290725690850899033\ 9381604944340625567381555463195910782115881261829052115955988165126\ 91764436434963/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 - 8008363712620085887234172762362890135154627440933286338026465459061\ 1955229277455043932646084888165133489127272805763550564875911777541\ 77196390913410/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^38 - 8481849646212157455044566684069442275141592481413060767020865446048\ 5799045753493851780003646667483005453215361487692075547280150968325\ 14731948674319/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 - 2112817724333871558732767952925613108225316974848375605996010571796\ 3870357321846804256608554920588625544407455549442250302204972399459\ 156192825737074/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 - 2174144134011522233522743204823562424110536784990781620199648502033\ 3670744382195168461933163976819410928256430735543569343541077770629\ 273246351617079/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 - 4694336583654964334818862190796225511153144994988845328625899306307\ 7207388086634903490507233454113287636714554137335720742334031357645\ 158194808241557/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 - 4669005008888758993348024386562471239044795711064958537162920891470\ 7877686237849604246398401922121670212748779672117055259158584555808\ 370173362915763/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 - 8911730100526634871972059016791635895048428320276126417432967885553\ 9165951481570360688601408784400790536242567371355520991393201634718\ 424774561313791/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^32 - 8532345459346536386682684283317539702727257288834392678019311207049\ 0759613944635910670262894682161983682652354545440785542549574880994\ 928055138472102/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 - 1459974473139737258126532264245257387008863981198871545567581654333\ 5536916531594679120036130861118566661120353381441102388350070777887\ 6004200197549138/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^30 - 1340774184133665213278707630344857503874308837508840343009090597603\ 6472215046276420951096571251209672296424145983098496976337156376040\ 8492014920543842/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^29 - 2077469001085856458616589143097355962376880998940447038964907024573\ 4956382728639498248655088610016454806008035083595376425187206228338\ 6511516509910433/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 - 1823598938073414612187849073690845543195077660176983537061218321954\ 0582226437057349958063239947143881173815043554075033438094479350626\ 0121732788359441/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 - 2576957751025140596339643171024767698129287323158294131098553887247\ 6918388661551404983979829911453425827246905553927559082808271862089\ 4887608654935088/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 - 2154124613617029762438489160063880712250654338532243422776154967887\ 0119401477403044492973782057230096960332682072643390286245942451215\ 0769745006334488/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 - 2789691360034427007060892733253181083025713090824893003184219337584\ 0353746774285176098038237752320583562987274655491358616483817311591\ 8529979539723211/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 - 2211471268306883346485779297997136968527123941538306040871064753730\ 1529096338556686187160790274897691509602696117808560661698089239340\ 7507514237674062/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 - 2632392994972233560441457452656026530655684189732656425644604455493\ 5383652978062152113536315362982298738841197867722507835771899491630\ 2955277575821165/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 - 1969526461216906241693153875194633249398016607499025344863162847688\ 5651778248338904789407205179693919435399646864361865544195958904664\ 7081799644204435/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 - 2157322761971436530853233305572604801551290935177198470131422573088\ 9122016169772492348306868159989929538583506684761466159990108766770\ 7651612055137909/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 - 1514941178870333564541721420405753943054439557286938289012735549115\ 0944769637690880615679647618730050012033296890358410347293274415606\ 4281472198793393/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 - 1525846066178225772167131971589766053186464441571814970631681044635\ 8410506373177927435053238018757922064446541592744136407062092193535\ 4741530860389405/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 - 9990933163481961122867497880738374203076908360025926024840391429338\ 3373807015448243912599277390283393505806274605272789920358328201737\ 822518545978139/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^17 - 9224842787814604406449367517851046760848083067159173720064447063120\ 3287166099661223788573674442093035119750343964408171139392538201217\ 266523514979549/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^16 - 5587705124933903845784616866181231501627795258902444020906129291014\ 7919662770770081224276125124775490567369690511385082564946329552721\ 540390540584570/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 - 4700114960979595961025395765623109327333563202232377452069594944673\ 4028387186311401047301362094816452364789773357204643183892029784060\ 968264367398693/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 - 2608726673413710584590230254808343127358987863136240228763541011628\ 4390661435128930404715908776338845129674353397444930518690928303093\ 140211258003806/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 - 1976823847719907561969947222791547698715254123307406977375190049137\ 2219143259414673701460134988750275937864747066022003645784466590855\ 395177285745540/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 - 9946664801681693360169350277620535223514508400433317631908772969293\ 8938513546312624135605830053961858614585323941402741472958564635306\ 19644882092118/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^11 - 6656360525604218575441512454179177172175252942169160577147893358605\ 5359169213710114935413445031440646672369208525559087984036230469537\ 23012322288775/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 - 3006720237932879531369037000236199054317094806935071646857081358538\ 6818586851950235341726851901604084814632663048011737234791551457032\ 27684162218934/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 - 1710156620598879113316465676769832753179840109933636763807585008323\ 7290801952293526358171461530870387653695219865365301541941946408591\ 30967178360853/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 - 6893703962276979057272269467718850026073806898545978487330797532605\ 2249585515506435402095218368991615053604902278370070142362158339387\ 4249085508034/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 - 3060207027731883049407472929228310370551016039176494751129297398804\ 9135775179550482280753198193752065956462885879805737418383898962107\ 6169553013871/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 - 1093131361319138220042893763127583257318987087029921256254375496601\ 1385607423196260010782395152204981128461628732405178042427873664938\ 2453577909497/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^5 - 3000597832838188426134485622615050235881998098611676727670177176039\ 8092288603855819554263160349331602184061968923753186886262572460721\ 296588356963/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 - 8984782435302419119977407509233585923564821156412519793837951071536\ 1864263122756932167724421436725802639284866894465855699138115738525\ 42003574641/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^3 - 8834332697700872547707216945730662878196741423243463116510946681467\ 7904430689735311459840984062295944968759174281609496284946630512308\ 0007529314/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^2 + 9956713742833229180673119848921950626036180015534501780934036156720\ 5424694429553667003458900062470724067313854618940074118344830984492\ 43230831/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9 + 328652336584930052767287425752667257\ 1384910681551583100560466506126675032114290343272757849859072292748\ 3663571968778662093687849647806560936302/16431274864167677656054518\ 3983910858433003277674987435884477157802046567106005108223637510159\ 046344837214012598085360509347686270803935234894973, c_0011_3 - 361356505205201974121718468181423097997450664990296542086254\ 8447152150369605628171460606517465191067435559322426729026537863116\ 36248418269577/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^52 + 4227310498045636135259333867992732329723204158481617436182387614753\ 5041873801135103001529955015051126697032125908156236747461914797960\ 7569965/16431274864167677656054518398391085843300327767498743588447\ 7157802046567106005108223637510159046344837214012598085360509347686\ 270803935234894973*c_1001_9^51 - 1347076324239444043864544211625694\ 2140347217339084060074860335781324591749556846869692099570667311091\ 792262442322861859025381465828406528009103/164312748641676776560545\ 1839839108584330032776749874358844771578020465671060051082236375101\ 59046344837214012598085360509347686270803935234894973*c_1001_9^50 + 1617077765615793972391872042708050532459256336203835888084728041757\ 0544263125104633009870282176525813171462838503160320355366997072425\ 046592980/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 - 2151736691852382718510976262858070792578110513457183634272906102880\ 2999174958550312818575377153532244714776561132983137190270202533004\ 2956932048/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^48 + 2760133692879702270236456326671469434149518948146590351749080587803\ 4496228603654836633116037456493282689190419175771566229253994741375\ 2854657903/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^47 - 1945764552092410584369246878879830087524247560985944715031600784387\ 2720544196101174915407127999162452550349322251742412844631601200443\ 03319984475/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^46 + 2824353202985725051475987830997149503768098311476984467180128647893\ 4228934971729809300665377931801034822496652157725804823924137608967\ 38568934750/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^45 - 1111083059192056780637700527082622781894476098160586700627532772922\ 5034253378087781730610385928471998039661925597579492428069720304620\ 828563999160/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^44 + 1973958234939710403157364560239713375652552223660160387274136351270\ 4230394817717579430528039668144403645097359823895489345310787242504\ 504995094228/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^43 - 4212161063077211581462091660410502550826605548166718289140587060478\ 8136187558338032032723921490793741996621451222336677801623391089602\ 027233836095/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^42 + 1021439461269587950329216390544161834951444528054764211371854538296\ 6695571396053265913612883140708907780242380183528444648934238592309\ 6448536626157/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 - 1051284103467057587634067009141915080885407258323550752603828540505\ 5871802915397652232968665167306829697543137825233207376851090027441\ 9369140599507/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^40 + 4128984241584398634755153340675023949806800809924134496493616866328\ 4144601455425910158022014791949464180878272761761664735704466084727\ 6820702851719/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^39 - 1406388468198958605500120394485247279698313162474423056844634251136\ 2448098844669306445595489504793029698076468442471289864609207405863\ 2564324681242/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^38 + 1349773959588879027908304293690723079567034407780053998610725186964\ 5656031365216228147497033289094604602907957608943695805256662421023\ 40555204677894/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 + 1197061364311724760423462195751162676014016503380606624280244731339\ 8597552949175565612118198302195659974530560733427576586777221909144\ 7530856881489/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^36 + 3654145512662505745476079043774407394685670686190515845870050563182\ 7259287579293783724879047743758742181821335420082398250109441557096\ 94455771333870/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^35 + 1300945578753518826070308201224499812099165712594602309741080939681\ 9322461808822351181401732321817290028670283517523349835012087452735\ 72430116282244/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^34 + 8337244526430775096254076586136949090893213756628752342295354695871\ 9897580385449899853407079960776878610234669153212442301712981291509\ 50040646847572/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^33 + 4347082214497083708535841923198217201738270718092515521291533050479\ 7245707851093842808989005424389388956200777212541202039252964002786\ 40541815643117/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^32 + 1623977218007160011212541833556655104277009254161387821679552075599\ 5582700874577117427179781104464096482025249770837209531405929824286\ 002070710824704/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 + 1008763660007011273039288087889870276960631698118217091133863964174\ 0841271530716078563201006632796319792024875141937587480593543517245\ 843842370860731/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^30 + 2725421412336440853976487253690363103982111973564865302625771481121\ 4442070057286324485244897346439027924305004578170584233733300437646\ 399533961986367/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^29 + 1846372322615741291342049178544981177831476685566088858055535567752\ 2251021717734199233021722897367045610460199540959863475819762828445\ 540321527755451/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^28 + 3964599739191275129518126373107759338469485283473885572038838891758\ 2786038974999907200072534684984803177538624011825574762448134305297\ 664471659502479/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^27 + 2791318014130117262491268008640899681341731772238626486245152879460\ 5468608186517630676616481066358595239444859655665009762408274299157\ 334024460597697/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^26 + 5015473295191032031275022151002278352631218667754771289954795556199\ 3923404592844170772436081704119698281779454043974896777219264144542\ 493989467777915/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^25 + 3559473473728898492142175868510150888742053132270264698092233101283\ 7660570572751566251098713748980118737569397440885835972903037901225\ 389749742826952/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^24 + 5522278298137644089028277832376108057534874885189392121667863713020\ 1330836413680039559592516912451060349149356555725975548226035411450\ 009518445605740/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^23 + 3865647945239402184003310488615577081937504737890168485966402595498\ 1325660825876864296468194876770757163926285799161827495125657021953\ 417029858128149/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^22 + 5283239437111309000495685201809030926161163715120881493518555207553\ 0048669872802437567711108852485824980650036861611360029862721233362\ 922272761279476/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^21 + 3585607965821122096729869818749618523130068569455949137435829671991\ 9306736335104182604619455996939083253896291094713037819569702702154\ 825671793471855/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^20 + 4373459716220838760723258459755038647785374482914970028774586212259\ 3590087223258258605516388417880366669621687103481664387672017527901\ 759647062576672/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^19 + 2834311981484474145459466843506940600144091151623564822433357044191\ 8895904507689353584293837017438540049054594981753688194555930913014\ 779426805062178/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^18 + 3110370311257174319511306364883961908481839330554252036720217240307\ 1965964940727164241508455364608733048229600221569964392669376924677\ 519255691203893/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^17 + 1896050025892360906489821852080273784173696210466466853666273702548\ 5549050389801348564795180166393045076716793919510470299076835970101\ 585128928854094/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^16 + 1880247182594695745576148208431454649095841212510385072815168740641\ 6552827685274276974982563421275594938005934956049155833190877121537\ 550689559099407/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 + 1060038562990257414721133032470597473748749473239892226857888774489\ 0682343346245661078472874308421276355533705492547181474763160123868\ 686508218236192/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 + 9510412163561732832460380984861703930748486123434822758253457183103\ 0690373310809257750038182477601142823794632831959572466999843805355\ 92534805141661/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^13 + 4854676980969351491735731207407835449801935442027846549061339069715\ 8498814525350737217065223076696201582113153525652283580657440764307\ 41842683235676/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^12 + 3933536597397365120291485716351608570547937996303964414655026440705\ 5798255179534024481583813657161777189990510904049877752914935953050\ 10873502054788/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^11 + 1766235094757548944121797216828863492421197942725143573045836578185\ 2721710665559264848167531438188543952149430704808512951851505063700\ 53039659538394/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 + 1286885716719488319414877839316112119286589134583390679410680719546\ 2174328333837124087882670328612067626505285478690914140072068126112\ 11381986075124/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 + 4874177549086255014602289816636413500726206383002519161850013578205\ 9912578858435050367824625320918185875476087245894384386363499546247\ 0717543886672/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^8 + 3174049070943547233702626746278948935062994885022616345653462719356\ 2458411983980397182982962419216421270615925875243340265925979752670\ 7037825436735/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 + 9459087240824708643016237890935680370580322554613056387978491993830\ 9513134135902135231623016874787797036690679203163307003617261849698\ 987813083640/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^6 + 5422716688433311806031543320566364105285193661712942424753918305663\ 3474713668056170876914910811781634183228215291845315810795729408507\ 151190278056/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^5 + 1084307334271853728040269515889439728753742443052187017379471980891\ 9527369463794370103092264239780196971850343830177313166009654404888\ 585015972809/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 + 5051418490969991012817166698643080012819275403570889872502602428732\ 5359044227743925841946007697483665310975319843147187805965281413581\ 62634979524/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^3 + 2669649348566976308402271193749638319473764977692253492902828015028\ 7922403888456641370210729695129667132148129128388747372932285325346\ 6264642555/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^2 + 1199247978554709298812074995893372024951760431071325735786162854141\ 6465935410971348611867288752676121624395232583926828004008070918541\ 8866791983/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9 + 7989804766786201250576972610524317\ 0685717358966831461856365418159155918304683427804766277958264535950\ 625243796912282566433825823631374676169829/164312748641676776560545\ 1839839108584330032776749874358844771578020465671060051082236375101\ 59046344837214012598085360509347686270803935234894973, c_0011_4 - 218941172596676863516468727794078756084193773212825602626941\ 8601090385835885482658407232999587995900173602774655326517443496849\ 261424576358355/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^52 - 1891825967646702745616294122428045807133534286102881374431007301265\ 7188752326057018844350083897669872263213694428907788729227999983677\ 15932065/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 - 879926857614762146003988180637911\ 1148083326739622832276800936021240379425878477711181502610928323076\ 5379767376186558188598970636569272995639577/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^50 - 8062673809263042245788415897426023362156105141448883789125384232110\ 5850325082280868264550683830255196065611941386763153564945259212146\ 536967664/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 - 1565881266317504529045921017788578093434124009939322595311668633342\ 1664587139824280979529632263917812221403269288166590076722619485253\ 84594048508/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^48 - 1503892523579079468973104034286659313489059364696473545479262107486\ 9628704043383259925981562950703456045341634639532419631036416629199\ 11406234955/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 - 1651664201938863976882258384436076996014849872499957464210384188616\ 0430164039269306842503469586114463928944725873103397721150202553635\ 573011230605/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^46 - 1642189025088405861967900238149381768049013400040454375704776011370\ 2347568556991441429795827063255301272866562244651876398643847781402\ 579789437592/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 - 1172948886317753130862021268730643618864517730032964213342985940656\ 5928282263421139550546453297029584270595404499911495058033305218761\ 4559117938031/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^44 - 1191620021522997845831145005847865256753938025743329084518596593586\ 6044963693830407374539014924962545428646344761414379910508345980608\ 8828850801633/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^43 - 6068118768363885649252711934911078715180829705216757160090998368023\ 8246730187116660960097786716545531595948878123584887682105110298344\ 2878992334793/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^42 - 6209780648236324808142509466339213111184325787484366403414948219475\ 2211670149255465038854736590410916057827096093762637586006079624707\ 3253745891296/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 - 2417750896171136094617379098360578177350214380562968194554053153117\ 4446252461153675954926002766041865456464775609185414027710134021873\ 33461929494368/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 - 2457847245474655888145834733822389483323576349606695836909446781649\ 2027171864056416588494662552084550151182678665842991219510338651450\ 78986816627667/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 - 7724109344250794672867776527554698080556817245566108010047770354361\ 5305627242946786212228724944740109909796930299882119663217336017380\ 61374142986834/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^38 - 7714056965486219702185401682029953598077919304706092782867626191081\ 8713923151608842436757734704409410325490986640530111558455221323436\ 34776475381834/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 - 2036683202218569731971331935541828956932010464764471664890813082495\ 9478866623924741345150947353481962832660747892696437165183001536374\ 202888258546452/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 - 1982336440801971166454322778425384885151786137436514747960013873297\ 0739473039660317041251029982510971154377076867813779339282320264788\ 733255220270250/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 - 4524666458953043354830224773117260061538787673631551032462470105649\ 5664334666678713872483825166130878451645233848524891192587952804775\ 553568981179877/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 - 4267130580291151501021391642462136313743365090097279989734143957332\ 8440369758424953373999846420983153629914500028970173165599002331958\ 162813457506604/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 - 8592979851953924283679643436313091850101456626251137894727541306949\ 5566267452817718606965318441992355060134868381177750900993265556272\ 421697506246937/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^32 - 7816146500035342303576590054278922330868779804932992297618936974759\ 2589722745032598457708601857526067563143349359091946522200669443537\ 293189017507605/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 - 1409095215004455580868053498006870944888083969972872347454681353148\ 4643934638532154819701204676839849447519419626293110289502651386842\ 0671952177846722/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^30 - 1231224790658389341312075651882959615885455174474199180171473272722\ 3277197358161862752985591367556789498553968321766431852288896050481\ 3133057447136410/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^29 - 2008259344388905187039494720919642049573118504061854552026754017652\ 6715771542988317633938791910415327387126759023887586979094366210847\ 0453930006984445/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 - 1679047348742173529203839435789178848718418885025632734263067886777\ 5131457115518105555294434068640358110947142165756064333648767976339\ 5361773917756017/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 - 2496923771485860424231222048317316785057634901052304511196408392577\ 9256442281495437702175368555030021975985454135239422782803478335113\ 1295991818589020/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 - 1989297894748447640671657143135576217931121487471296245343188738172\ 5358577513490306822193623498248870811701845856511349267524197793514\ 0313488240372728/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 - 2711766991904475191831487313030530051179501581707745638981812730260\ 5212716558937533143169362946972536895556100371856497297658202299729\ 1765276864908541/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 - 2049294685957364250973389063375779503373080725564666145745899970056\ 3195055563124708045776101809170419784787543023510704844457618738218\ 6604962331808063/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 - 2569895298502275327827867594305616962577025244933600430629522402309\ 9635591173793524239413993130617966291048044590710147834406698895027\ 9430459477771657/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 - 1832503835737735776254100029182592874871772279272592275916939886434\ 3518613616805768768673002241244952140027221163153851532229396007695\ 0592662554623671/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 - 2118027323781961413954341344602206805384734336362449629919069195754\ 9622325252938032272944956503158923558461342771844807447320891712418\ 9589854264839755/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 - 1416415095411136609648165464394264397330931499803011840229713464650\ 2876034900283697650858040168061988991662047664956295727157527490516\ 9346435749564342/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 - 1509075871197260167213724862714703995386309258660208067630012242421\ 9851254525906901662095367863353430988315054046684527244619470437671\ 0104560409918753/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 - 9396778389664852419691167113762602690997146369106971020826626173967\ 5179971627169127493924366783565059846470062308449961638304199424453\ 251670397618382/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^17 - 9210326068606922509080637644924675656571058745492163946129059865139\ 7984099937196744945313040331046934030269681682530815038969293011912\ 214382768073988/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^16 - 5294348192333819343453532211512468141380943446336135048275482011917\ 2596654822540754886896510382975960294298675946527068788569968587294\ 667562129166635/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 - 4750559917939579205875318196675404222163658496191826255618321156970\ 7064718371936382427823106075194705279607297277669621383421291799448\ 632037492363755/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 - 2495101354396937762721697836580602641664042649186075740508049672513\ 9731787067664600840803904737222264880332379419368080382134833027264\ 439166846630885/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 - 2030062320075863740981535687492143293127854220886876227024737716452\ 7127344468697560791103771617357448964861091082192045202733698639567\ 938717699351202/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 - 9631663251636527750381272052260441141114476961125202289081278944966\ 2990046249953788709948926759197037402759687067687397535369634903174\ 35663523076029/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^11 - 6978159623136177129534575830914234123831287560371927997031384611677\ 4437043293887242094397884615594597212495050968958312582636466166861\ 53397378010873/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 - 2961673651354392865279444985820719997310536269865017170313653772471\ 4183108645674367320355369644156283126395038771028626015980317824159\ 34758091732665/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 - 1840734564628607540388204238448378424070669321492847829494391952946\ 9769503495235811568003502399311289059269834582125668819036697350131\ 11693829457521/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 - 6971440627192215962292969344327090587750905555713039022568774339000\ 5287369736384259898229521859533252359859413342197975396746473853975\ 4836048377208/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 - 3406565241037730573857210210606763632254255994411544702155176622171\ 1497282712387740019259245980018574853151734773889508459218463430120\ 7066641014152/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 - 1165145510075661764392224528677565420768634121642771027839204259681\ 2530558184970741183995034313809022193846333577927936337076137773488\ 5572936813346/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^5 - 3521628821537020509450356389335979693520181600746959246610505924454\ 7734619412327289931900803985192000423621796063147763629212265410124\ 136811127503/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 - 1115579288759965967374523739841941723559825069089320817216907491703\ 1532661199745302725731065278088112064692293064018251185855708300121\ 697692916705/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^3 - 1057797694091140644755696391432032575786668200486144175165897898943\ 1964695871871794745556074048059246514895369529142880367133109674289\ 81813116377/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^2 - 9839772122997457459659673672243121797843044866174556705026295119141\ 1919349190512822620462428748544507240202698375994285299837123076330\ 954580338/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9 + 33388448757919042783445634655194463\ 7765469679673296341859604166853194915564660055263425810935224231456\ 99655966096508266043389087117487506050087/1643127486416767765605451\ 8398391085843300327767498743588447715780204656710600510822363751015\ 9046344837214012598085360509347686270803935234894973, c_0101_0 + 197614911557686164490619507380346307406802193150813676289064\ 8850229482320411168576619284347916444418420124326644379374684628912\ 1239501125057/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^52 + 1402852729328551332670510926318255707251488839566231328423946310230\ 4812760575074291379758216077691157922874107158076079607052348207487\ 470648/169394586228532759340768230911248307662889976984523129777811\ 5028887078011402114517769458867619034482857876418536962479477811198\ 668081806545309*c_1001_9^51 + 7806094254611609290487339030133062508\ 6964484988195162700387062867061191101024867922751620153665263959450\ 0170595412123758786923904212846261007/16939458622853275934076823091\ 1248307662889976984523129777811502888707801140211451776945886761903\ 4482857876418536962479477811198668081806545309*c_1001_9^50 + 5978706139509364776695146849835122434694455265512569773764546601035\ 5411667538190245431826630497502609413068736599103032951551612695888\ 2033527/16939458622853275934076823091124830766288997698452312977781\ 1502888707801140211451776945886761903448285787641853696247947781119\ 8668081806545309*c_1001_9^49 + 135880818656515346741394533817296954\ 4269578058671062790443870626307661211914296732193012734159825848136\ 7763287150767511922522489086003870356941/16939458622853275934076823\ 0911248307662889976984523129777811502888707801140211451776945886761\ 9034482857876418536962479477811198668081806545309*c_1001_9^48 + 1107798970479418813217560878216800346758108464420796881141205517219\ 9876526548447408035433936659445238195995439380944236415796314018132\ 924570328/169394586228532759340768230911248307662889976984523129777\ 8115028887078011402114517769458867619034482857876418536962479477811\ 198668081806545309*c_1001_9^47 + 1394466346768402085389306869359211\ 6793721960814897779127121531372211751391583190643875699757293392716\ 2951861468712265956648307170378028945189169/16939458622853275934076\ 8230911248307662889976984523129777811502888707801140211451776945886\ 7619034482857876418536962479477811198668081806545309*c_1001_9^46 + 1193433697475105133712739349049938419572212684963934620044792297271\ 8951543074374815595095714426940911050159710767635896163430316081579\ 2042585411/16939458622853275934076823091124830766288997698452312977\ 7811502888707801140211451776945886761903448285787641853696247947781\ 1198668081806545309*c_1001_9^45 + 958479654447860799064543953530712\ 8528222741599149032583673230254204073514954381951512744567410020954\ 59044228313639351828115068191080868122268335/1693945862285327593407\ 6823091124830766288997698452312977781150288870780114021145177694588\ 67619034482857876418536962479477811198668081806545309*c_1001_9^44 + 8485552424892575813623018465869429941349569699122212778975110343140\ 3684840664319162146292260799056489277921130484789632563255847032200\ 1480424925/16939458622853275934076823091124830766288997698452312977\ 7811502888707801140211451776945886761903448285787641853696247947781\ 1198668081806545309*c_1001_9^43 + 477907541044441413258198953689696\ 7648112015997200111918323934508231482066333296420923804129541621550\ 128180265862347089559801381522722111362432335/169394586228532759340\ 7682309112483076628899769845231297778115028887078011402114517769458\ 867619034482857876418536962479477811198668081806545309*c_1001_9^42 + 4304813121137428632996757998268110393326890742782732306331954556677\ 0984117930197859812687129897456539437426899537869142958087124957369\ 75051251036/1693945862285327593407682309112483076628899769845231297\ 7781150288870780114021145177694588676190344828578764185369624794778\ 11198668081806545309*c_1001_9^41 + 1830007170011201949132627604789429535770882258776954818860720633130\ 9707695255011473033312880822720585946273513599987089442207857033895\ 901946430746/169394586228532759340768230911248307662889976984523129\ 7778115028887078011402114517769458867619034482857876418536962479477\ 811198668081806545309*c_1001_9^40 + 1649324626411411941966991954165659090030432845112490721392834741459\ 9566727359832329090518696818533995023921897319145866184018176612947\ 510687502935/169394586228532759340768230911248307662889976984523129\ 7778115028887078011402114517769458867619034482857876418536962479477\ 811198668081806545309*c_1001_9^39 + 5608502410938302778510459174299015528455164207663795222851884433211\ 2874941706840659608017603332452061675733045364016092961089033083215\ 079804633438/169394586228532759340768230911248307662889976984523129\ 7778115028887078011402114517769458867619034482857876418536962479477\ 811198668081806545309*c_1001_9^38 + 4988896096886991624455838272638647322435990263460256272822532062756\ 8878219973185059098802808322847321791065578883073560687210851876232\ 356408205218/169394586228532759340768230911248307662889976984523129\ 7778115028887078011402114517769458867619034482857876418536962479477\ 811198668081806545309*c_1001_9^37 + 1416488493549929433729535472896347160560315224878474752424615910984\ 2954710910712211183970670284881871410223617605539429945516997157201\ 8515162690851/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^36 + 1231073312360920093174687965965888636995043044723654904432828014203\ 0220523835633390734676978850906188323130525871634693081174279568624\ 3006555012980/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^35 + 3008821749077935726089281975254407092409115430948732126146829950976\ 4356199443638763984072956488139872573742523614992314440084807430730\ 8108594465102/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^34 + 2535303345141941306302392668764695440808821839711255673857917139908\ 2478744736442594553570788169435087521334124651706777463847197828615\ 2488351324948/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^33 + 5450745884610922295998818678287123197882557533997666076102284171378\ 9789759598784870752710240289266174146902131627401704494162910332167\ 4225185650523/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^32 + 4424073978191367477928782389992762514409232176249318467806777746100\ 7517408575459770888521917149733945757207769038122007421146466842031\ 0173352058065/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^31 + 8499568789434848130567106288607087915669221583114087597221194393893\ 9293826462927900171332583764956790886562900218194766633670694424403\ 8179825601420/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^30 + 6604106069377638258641332685226140968723595575166423427416571350856\ 0956076764279839161387827410144521365980805837285595891171112996976\ 8720251252091/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^29 + 1147178838736354970844597370227183029020772158171190430488915852057\ 6769875617686093207500211378922977130360807270623182478276142523336\ 82495883730644/1693945862285327593407682309112483076628899769845231\ 2977781150288870780114021145177694588676190344828578764185369624794\ 77811198668081806545309*c_1001_9^28 + 8477479872490603527244902440922670160212987059175717059227878755467\ 8734665625411658771006030142180685514363285200045126226899277032857\ 3612689771715/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^27 + 1343466299291260297619378117904810770124265855305649952525550675528\ 0835003148851202557341937491119715444375096588139894960449512366535\ 31822861403314/1693945862285327593407682309112483076628899769845231\ 2977781150288870780114021145177694588676190344828578764185369624794\ 77811198668081806545309*c_1001_9^26 + 9371789676484801565943533880132583265999340035401990800015455801028\ 6666749995964760589988122000057351734790648060474455180464211306965\ 8876571591355/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^25 + 1364604006955296824123859306195048991327119320829600188692855942932\ 8366214160328407378159398709104314912889845733220558048451128892110\ 79935270770548/1693945862285327593407682309112483076628899769845231\ 2977781150288870780114021145177694588676190344828578764185369624794\ 77811198668081806545309*c_1001_9^24 + 8903635552395044681124747441495742050125572279735961002105925205954\ 3434366258602341477252834191203544921399375272419260649094443232209\ 1641288211925/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^23 + 1198210622466912575042199883755099821629739768464760282773450513460\ 6040192958044232207595536461595932371628675573455304484402028606228\ 17452804063108/1693945862285327593407682309112483076628899769845231\ 2977781150288870780114021145177694588676190344828578764185369624794\ 77811198668081806545309*c_1001_9^22 + 7225959914805668811621168530524748801573523302936120159243600111267\ 3533758250695362978469349949714701391227993892482521603780010767136\ 0075874457984/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^21 + 9035387061718801645004786978092971392446371950100668053005969970035\ 5851029492558712305531100223779110479655321687325405817763715410259\ 9811530921436/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^20 + 4955181113964071335319814564301786352101024282791680654291519561960\ 1192261767439047930510160957481987628094430408390809396183457043849\ 6513662703716/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^19 + 5788976697375116108105586171939233663632557878901382348396271134670\ 7788662276900915893395320863463782630472196378175064524660338353989\ 7783493916153/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^18 + 2818822056545962543810158533248059201245354271785260627246791339810\ 4779159728083543459903945776790494852060489829576572964595226901989\ 4211132906531/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^17 + 3099327765737419228053010470694127006294878940410974173195965512569\ 3196837008080206896849593522420633942227058228369624947130821160035\ 4839124853088/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^16 + 1288189893516539875529202899581212341385301647612750710630402492431\ 5705753881269795149641166927587006887265725587183148425862320930085\ 1272575582854/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^15 + 1350369766107688060192383579856774216857560207138786336289655883387\ 1910698810625607049601368649370245624924962078446478273057677230369\ 2967524901551/16939458622853275934076823091124830766288997698452312\ 9777811502888707801140211451776945886761903448285787641853696247947\ 7811198668081806545309*c_1001_9^14 + 4440404586651067615167016013374816476159762142081148461263149504252\ 7428556998534811426804505629906237535261307417611172212729236518559\ 853888387560/169394586228532759340768230911248307662889976984523129\ 7778115028887078011402114517769458867619034482857876418536962479477\ 811198668081806545309*c_1001_9^13 + 4578922409230144855842602877950184306703466211644209049035236161168\ 2384044536766456500246148966916799124850911676292936139478800260245\ 326018183976/169394586228532759340768230911248307662889976984523129\ 7778115028887078011402114517769458867619034482857876418536962479477\ 811198668081806545309*c_1001_9^12 + 9805722886516324889033880688853995677461187426582174324796423234434\ 6893324162085553442780137810750960491546681966874674175025559111449\ 71647588044/1693945862285327593407682309112483076628899769845231297\ 7781150288870780114021145177694588676190344828578764185369624794778\ 11198668081806545309*c_1001_9^11 + 1107734273347252455306509712329242944907440392183095716194920273729\ 8524389375640588111490808463061933742706366936034728403879436891120\ 403902625526/169394586228532759340768230911248307662889976984523129\ 7778115028887078011402114517769458867619034482857876418536962479477\ 811198668081806545309*c_1001_9^10 + 3834963017693156016427454489401935936333436339190362582933732917206\ 7378976251775100665508823553369979399903259336625011136603191708195\ 1904360728/16939458622853275934076823091124830766288997698452312977\ 7811502888707801140211451776945886761903448285787641853696247947781\ 1198668081806545309*c_1001_9^9 + 1487913350108129536866858271033839\ 5406127181353881406741536475026845461697251383553849841444291369717\ 26275515836701046913815047367368585199619397/1693945862285327593407\ 6823091124830766288997698452312977781150288870780114021145177694588\ 67619034482857876418536962479477811198668081806545309*c_1001_9^8 - 6454611340468421719948821794931045767260543586935367719560121472954\ 9663051198700965632687070741320901482092638074999257092382956381919\ 3680171690/16939458622853275934076823091124830766288997698452312977\ 7811502888707801140211451776945886761903448285787641853696247947781\ 1198668081806545309*c_1001_9^7 - 6751801127674241017213930860006280\ 3251920281948165784894499809493354084623566063399006432204762235514\ 508874817321516933554462405047498635819988/169394586228532759340768\ 2309112483076628899769845231297778115028887078011402114517769458867\ 619034482857876418536962479477811198668081806545309*c_1001_9^6 - 2723963260661508699833065287756861822087379327660743315767062460543\ 6800186320280973931026067334035851724782508125173904087116837504778\ 3417144814/16939458622853275934076823091124830766288997698452312977\ 7811502888707801140211451776945886761903448285787641853696247947781\ 1198668081806545309*c_1001_9^5 - 6616788152165903332111055454008591\ 7636200957915186289804574666541243077964187869682261993759956829213\ 891912829209786866513666575796166281834247/169394586228532759340768\ 2309112483076628899769845231297778115028887078011402114517769458867\ 619034482857876418536962479477811198668081806545309*c_1001_9^4 - 5427173953557218842812813726573314961611369014367333969476070389665\ 5279261765892255342663153652481284388133111225803543272266887086289\ 487862651/169394586228532759340768230911248307662889976984523129777\ 8115028887078011402114517769458867619034482857876418536962479477811\ 198668081806545309*c_1001_9^3 - 51850811821341315468914813885124245\ 1646386895971772344251864606661927269429411592905313844925678425112\ 335821749261796207512727395621048102836/169394586228532759340768230\ 9112483076628899769845231297778115028887078011402114517769458867619\ 034482857876418536962479477811198668081806545309*c_1001_9^2 - 1744850884889141587408721713955634685533411039453065565855882276580\ 3952445357930022654533495105949259567608811675392153121211352719348\ 80136797/1693945862285327593407682309112483076628899769845231297778\ 1150288870780114021145177694588676190344828578764185369624794778111\ 98668081806545309*c_1001_9 - 98096136268366427572514451042114657176\ 1485562718127996076098459780851568149004973027067809669653008849192\ 126388820200371523091625942132096182/169394586228532759340768230911\ 2483076628899769845231297778115028887078011402114517769458867619034\ 482857876418536962479477811198668081806545309, c_0101_13 + 13226606197330025234313449825614381733283132527522730575300\ 2812197178395224707574701425512722613622065023732060512624537639032\ 803294609489701/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^52 - 6268106897712293032328194649117168699416704242222479908875559275106\ 7910218106773808519329676166121251500861480765965672449428026020376\ 075620/164312748641676776560545183983910858433003277674987435884477\ 1578020465671060051082236375101590463448372140125980853605093476862\ 70803935234894973*c_1001_9^51 + 52341169550851138147565131157372633\ 6369561597157861380543634940353017155852789599530257549760230620585\ 4694266961999984530758451782977868322401/16431274864167677656054518\ 3983910858433003277674987435884477157802046567106005108223637510159\ 046344837214012598085360509347686270803935234894973*c_1001_9^50 - 2183845870696973195459874479734745672423785797718761021366603767448\ 1843374925637167151455055605688172510782958568691780284567309828713\ 61744612/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^49 + 909287583091784478650645755537530\ 5526465775697555888771908331885072031114159256764889023986132873870\ 0829259141735503178986860931613093444078007/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^48 - 3322001209835114513776442058051646895354093945694400504217051531287\ 0605177335140548633505939870967880556678288097523005885932319038296\ 102012010/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^47 + 9265285347165780148476806203598171724885275521132530887573875037328\ 4920526957504749164973220374782805173133723638059940184233940086755\ 5389541735/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^46 - 2957725239202808373853939777411901348608813529224808421227546160117\ 6872094795134118352587108687631688384624443352416611089437225231778\ 4598719918/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^45 + 6283175225842635933602647415902230453286572754735175823042286276606\ 0359550351232627298375133261130846241461544593593609623880914884535\ 35297459336/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^44 - 1760747194010620441246061964295996758804446031453862416222114058826\ 0271550726211810670325184421096935867974406613751579323648140045718\ 34981638810/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^43 + 3069723084473758736858768255208055488250930050104511913286614770182\ 0998461636559425168936527026709243787872273932132288064948201065522\ 539317588235/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^42 - 7714624313835839528007691298408975693542276573142044638719766658985\ 2436562559183156939582252449485973453081050825091080332058322596525\ 08640903800/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^41 + 1145141333896474612597874705999494579313625605804162132170876958151\ 0392912550263243473938566622789225465260412383335633982926369640653\ 8019906109565/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^40 - 2692087926416890787489034543171040424668675954985489607786927175873\ 5404737705534932037655190629500929328262015555131931618059993231526\ 884516794187/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^39 + 3407500410560752486578975662237186775351809696652911178206623765479\ 2835814787007291278444659149763915057532027292533016702088953291692\ 7785223089573/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^38 - 7895192009933954575299251549834361389007203205724573085303332999686\ 4068198705798867413006854470292276194404535201505638750820798688037\ 666774484176/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^37 + 8344325931790198669496981214073218740787811581514461689410093678796\ 5908650722113882155570310873916219186826472922261422310346650556387\ 0927110835893/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^36 - 2003210268430427171575329084466291504991353931199691152171955289035\ 4747269998532778239636869295066397349460372126022477617667822141539\ 2230848470895/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^35 + 1717855965863978526355942975371107460603086599729694383853612053879\ 3901272808651125181623221198803844516498844355214879625785081349336\ 96859120751419/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^34 - 4454079465387864469815479577677090282635084280755650339842374447246\ 8193290816366783810515767351810395632561826295723032875722876126245\ 2857525213366/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^33 + 3015490636221648664171886897467705919559227613323258482022462814387\ 3456069165801577746373702069833729830504246028660150165788480981697\ 45847184209332/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^32 - 8720957933877306017938506224027583091787646555920113971386713444286\ 8846170003867877884793040541663817873368154124477568359609199907321\ 1687567689997/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^31 + 4554179149382185692638723524577875312106191762494062900617119168971\ 0667817980883773731730015899039007440781887251942095543279524493110\ 03167915995932/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^30 - 1506120672510142130812816416181318735967345345788854161934396163233\ 6120730685215446895150685052500679247299995853213339512675710319061\ 13631449081287/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^29 + 5947547409715642838683343639018464226089591938573240723877391299656\ 8156116737930317177607531717047449659196540754040118245854695888719\ 68865878938998/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^28 - 2295030164059686671859280468338537564258378545401633983563353669632\ 8006547513268042223086261568171339738694872398605225022234385452985\ 33972403405618/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^27 + 6727456689727551802007721976210253645587957863659801085206629450698\ 0791272608947022163228898869816399017655903288006738630285040309634\ 38913308992893/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^26 - 3083681571192513037023147186321948794307508298233826221759965454567\ 9852722037864049685595391618731434053922323480697508482561218048982\ 78541982433091/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^25 + 6578997389486075234336995326752815893704450966640671294761887243068\ 8499920961169542308553611603824113579021469755950670485534824540178\ 79451002122890/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^24 - 3646782564698889161211415422177955469312095177692321761643390593326\ 2188076970480137014793993008966724378630416270047112682367569357542\ 32347000759014/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^23 + 5529660168547377358729205531028154394074464342915778958604493507315\ 3860651118272928316254473791010664620120100114644825104693798070089\ 84759051701441/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^22 - 3783254532998484706554050670579219800430017943602678685094845560821\ 4966970331171485393913328439950269097238989829086640580119348823635\ 64067418841017/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^21 + 3947758994769862751190264418463595769898747535549042475923817198606\ 5250909291212204110087517507671638936993332857289562723976312852411\ 10751256686641/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^20 - 3425014669417103028623408429109033892334738113164716717828077585902\ 4420233944800521562365857931405408025728810302484258338859060643612\ 31472447165026/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^19 + 2341765698985986268468938865595802289562424081199577790746402948154\ 8535696236760273943532525851032888744549932242572406561153942474046\ 26593060580637/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^18 - 2685389611357740864945072299220518977158767879901204588488497967258\ 1870266512857515759301424120315097231116147463722507941964559787067\ 90135034164000/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^17 + 1103755697576896740121458999663279043393924564013281431729967508792\ 0027526299120455922796356755250966237110623948848554382960728982167\ 42770458815132/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^16 - 1803958201616337818857100924494638171956501092574862632231899990973\ 3150981418272104183331039177495216316431492369585611209695934769426\ 86965999365219/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^15 + 3686265955333141521179245927375079345492448418409695668756367648572\ 4058544434679246972207476676292255390426926618052171562074121548211\ 4226381845665/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^14 - 1022069914380073163356630149536705518195060785151458321807238076637\ 8486304089516184612077071019401840040856056573908505767730130448935\ 45660093213308/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^13 + 4783376065613792840414892898937458619042930658011014367248700822766\ 2891122283992737002704637717135931705155533341231338186642303087575\ 359441248140/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^12 - 4765896951351831198521739989911805668315157302291183941048296519067\ 3390667713816884251884398722230760311579161790460296270591375704938\ 5634527744084/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^11 - 3627054684503101561931253188387435634296077973141516728934962443327\ 2336497994993681977334723654990181924062664662236071841750539284099\ 859612964671/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^10 - 1757325176711765196664180079166269586819328162269667944689953880182\ 7336782430918599593427742513577896377115762896141702270345301177038\ 4613367345621/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^9 - 3153854036694545007888408210503287984435596617810017098796115845639\ 3667417903199702979163915369365202005640262409693460210751937324661\ 517899505560/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^8 - 4780694638006068858522456258589652567379990705112515803932577028817\ 6388353581286414002951119354142849488189869443647866883876056069960\ 923914704457/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^7 - 1347834960107402564507806888336873365640646523739437689554551158998\ 3564569400994965118269374745818770073912195794332845789422781472438\ 496148506540/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^6 - 8408699327565138358781077151577572980020875947578877933034004795321\ 6703635778411811154574194515661859676296822497513889810856416463049\ 20633857088/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^5 - 3556364439372725282040994069360550785231904505949046523793868114096\ 5130985175995638926744973715477891263129106608624203911585436605989\ 02260522724/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^4 - 7169709043273491676314544470044580584140828564750797998040273780600\ 2699088623351125479980857864539574014500183417459215289390176483880\ 1301799863/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^3 - 4683044675148202639938706363404164586851424917647738992192281953169\ 5043630791519865932934844447359803712026143689105345224067025981924\ 1774981345/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^2 - 3923341139324990132715504845216352654085195609099190715931204568359\ 4177781330324009829615920570499820196677712685383887037460855516130\ 703696789/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9 - 12702286090158934652091868777577489\ 9168459384246574595319666615938181570239950350544625350154914865538\ 734500356292469081504818114957093423175993/164312748641676776560545\ 1839839108584330032776749874358844771578020465671060051082236375101\ 59046344837214012598085360509347686270803935234894973, c_0101_14 - 85929167950317067219559937434982802384174342510774325882192\ 9539972757507669148657886236106711363178402147789831681657122080824\ 015678069797579/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^52 - 1515443056579151312513712479477220125247933902582347840253788254107\ 0373921380740021487511281130909201024057717587257877227625333720275\ 72936228/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 - 354374036941699086869451063358994\ 6852167040865180372269918265138802810968158004604789193405493386942\ 8149452805737819874278404308299031524571647/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^50 - 6246639036746760429781662629954767480250838469772532460568238772417\ 2774459180989974142728518047748909833022560277871813311804307643741\ 328569872/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 - 6520557694329090276006592726974674469287631430338225335600022523305\ 2944544107345942810149045566474038242747964935222617018248420702842\ 7826012440/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^48 - 1133981247966733120831687613035282484547984130154574714177698680506\ 9202392439721451910246784880934925423305823401069221586814204035685\ 66883484209/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 - 7163923501654311878405445926804217988895959767628299971272547893582\ 4070725396296481921187881312989436852289562284014549246473280311248\ 91944909322/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^46 - 1212577199306706686868204131233469270576444111588890322842227368945\ 3484460021762268072723813144757171720934069198551836622049690108058\ 706584673426/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 - 5328525610680894570476602400412490762394467171397222859720650605878\ 9070395448908800256755520462155880120872573361075232853441318447439\ 919007731136/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^44 - 8669501100530958996904927925729108808651236477380363155875664253630\ 4386930618501892612393674549128617973196347407792862356974513587342\ 303356570953/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^43 - 2893631807711692289040397503186153917153840820931364811829655714135\ 0470020053535895621748661116715874343284282811551760665672385482348\ 5515591261453/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^42 - 4480231851425464267037598843203690548291338783885496134748373130745\ 6907262288146949328296933227939884005296066855107080066673358904041\ 6653865692416/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 - 1208526696712431998987545732917736017986592193307126474486224158264\ 4211311154206106554286954771873660083598745589152987257693300227715\ 51802442220568/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 - 1769083518813253836971270663260345849117518804512094082769471757460\ 5711204698280391772089255281502360262329572248852937869143417837052\ 64647300943448/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 - 4031546383355275279271956113953551089386956263922596217640785438417\ 8506340634429847527162837483964955007696373076849098790935871228131\ 03797379809113/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^38 - 5563642802367133430766232906644169279006292549351592799113851910272\ 7565161183589607876689890702750342351829931751490914008733399020684\ 36205005812335/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 - 1104948892765329838195343247343318686625154791717700213424815762433\ 4869857708153077245777199020177680201963352763820508652928560271622\ 261416337462763/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 - 1436608815867792888611767787418358593063481012584831369386681822823\ 7757267742873649623984085309940210548419639856230353707142243519329\ 438419598759117/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 - 2540677404753382484618741326202731803885282437733834467729696713039\ 8516403799213329998742794357523608601605947900853187026618269219898\ 779424063181494/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 - 3112393443690465379863327874457756534342541099774971467779512707074\ 4606625210452637277659496027698855476701861180780193760688850067139\ 929478865752470/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 - 4975612876103780559256254089673544562957501084003929460058953142585\ 4501906897214360728735188074669030243970855682040476682700751606781\ 023543304320676/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^32 - 5743281371431862005537083949087313842375410769582827493343157944269\ 8009570899767657741088059985245759228357341648366601360780140228383\ 778613561076546/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 - 8386927416622755460746320464520374285541524784751366138989701647590\ 3282102584451363643842195706649535622096398384084583128993492790909\ 982663538329891/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^30 - 9118592628484928998634876154395804405922808324924991178929836360076\ 8801004321701859271378365126225896909511210395562595474008064934322\ 953543686654795/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^29 - 1225273118328966768070173253336568728782024528318627657440301869343\ 4015433421768979725482050248664469404348088855567121403586979111547\ 1540751363930691/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 - 1253567360235129723640780589087676585696344002949263869164952559881\ 9527753896952176279473045954991650728712615972024619857654097433291\ 3472944257967304/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 - 1557666909271972926264661848998210929091416256672456230374872442285\ 8582737541947008703936246599341557345120184635416670842659807497229\ 8277057432149125/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 - 1497008643640061896060601915944005012932630825231000224616801157274\ 9881521807916494384859133446991382537437067047784525513533205394486\ 6450640178419190/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 - 1725621551217086503273327827970364083142218931606216341873585664999\ 5439290008874557797767126116733595036310045341358324743864585614857\ 6065326802907305/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 - 1553707770399192282508288174205838428489637826108797807594603012260\ 2542534184418482191098862143907891503652418580178208145744124286843\ 6362697389993863/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 - 1664213777002370909213715243747304502096852965821751817457395776431\ 0165489300126202376889763147783315288790603470341019248168292507778\ 4423765353288085/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 - 1398459220553825621035510163250472467761868411225926631301085680942\ 8034734498092510491830278885867739037333387449194537219822201797955\ 3117254677408050/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 - 1392381495880487002008283871251565304213575212677324659839480755585\ 6013780538063376377361730654891423525201540034762552575221770208041\ 2950916277698334/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 - 1086241151384864090253546902682953833118624276549612503277526549761\ 2529411744063990694031803164115361576892562964499838702365273175174\ 3432897885880371/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 - 1004384308373943934423843091696444217604484588233565472113611335597\ 9529985704849082867102656297105256911906551268089997136304773320154\ 5313424264406476/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 - 7221799552760060338851171195160140058852657249800495562582821664151\ 4425336986923452991357071892589140430286649253185017423269561485954\ 065205952692513/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^17 - 6186944579085828846380221935379551215086458296893964487349355249179\ 4243862047612680749737392533990461923151098643428899528361041077009\ 426550078202498/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^16 - 4058648612462616153476155198712956917775921854671117539329920113952\ 2646298693117308303162177364937134299693196711178196978264253918290\ 793657622651368/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 - 3208582865401009610693829512411678728934493376750844280772554343455\ 7955114038989667795942181617795920434184437960572059695151345721944\ 537081371798143/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 - 1892252252278733685694085605769747545455123494580025502874290836413\ 4525660955320532930915067179211247730049626728137922576054050466738\ 320412074049877/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 - 1371799766273798977253144335860730157175189939739769311643841000892\ 3518570759692865489004497458773719458976624631942327263596305456629\ 094578054101765/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 - 7114440962248540059236868217131892227357010166081265133521931042525\ 8611598064148442407510782208681307317120757484868079903866231629204\ 73065525690926/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^11 - 4685777799833771028490397807555609044782639955260938018667429559253\ 5118292515468434480623984487713293385330249175337396125010224504596\ 32057965195386/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 - 2063992015380901269803412723939598331630373544071056245921155003490\ 9051232889322380710043647937186772800957303943466892177044644640484\ 60341607095539/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 - 1216411464717688143852205589339303018508699821930369476568968146040\ 4511870908792855585106541154611077637857331630942101848440249834339\ 64816846756594/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 - 4270385344455492350580541763268792426685164621032448212255620966108\ 4000346068139294168553525673326657471109974888551098280829223761345\ 5322288117218/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 - 2170257283321092877293301581098886922278180164233647615519861690312\ 5434521195326367722521539288347384325605776904867335957970579355918\ 3135990528718/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 - 5104020992224241902812108826997071592109223697258812094409216018390\ 8615752109275541184050442688937093593809881889252432723078987593365\ 076971648109/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^5 - 1909206330208016635470970031969427187100418750750013138824598634754\ 2901388630145408183390968382207358511679025918044681815616809457955\ 480454757922/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 - 1534661008534877244041871679928350974470746925216431160340669657254\ 3206224210837001153138821162922308285304923240125382055150345167959\ 2169569995/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^3 + 7342390725715666587409952941082026467353736708949103149949526526105\ 7013028453487059866964314898413206433190165056600740857185953351943\ 7675579015/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^2 + 2461517656644897074897402021175931521950819538804414713095298984821\ 5280355793629890202194297734504584820737275644650998187381697983170\ 9834909952/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9 + 5894213785155070914516870983866311\ 3526979664861204118032632281606942043853626156258186140455787620418\ 743687778084768466348249923412877640054958/164312748641676776560545\ 1839839108584330032776749874358844771578020465671060051082236375101\ 59046344837214012598085360509347686270803935234894973, c_0101_2 + 115145689379338310999263475628643432817992291077936882751949\ 7784809000161562176538563335374024079600077860035992096479382316019\ 685785661557825/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^52 + 1088239383113780190246621604310017383822466342850782545944644200457\ 5947451233787601406623141184862628846756512388006189616049740625547\ 95883441/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 + 457920294832638704289046860591662\ 7308724198220475312398415013030032109770342724548326168802230588753\ 2834105796557868311329978801855407978007691/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^50 + 4571158395179404820707082943294178319507012043398261974511273101998\ 8020218568668476505030048343519737491197129531834274613356678540093\ 061192644/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 + 8046350888566249874122054825032525614108948570155821026279472052754\ 5458822509316392115535322552721097463682429605064284090016193681769\ 7814499372/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^48 + 8389658444277123459910312268910054359118137335893615489124013266774\ 7570532664864893413917120773557980955416569273081251994683522741516\ 9823655743/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^47 + 8361987306070046551090360199276597031316506077070136390289384548595\ 2260099274611820707301753478029160481729709939734556768553132684351\ 01664478597/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^46 + 8995679318356940726312597499316293763173512953110783661582095459336\ 4756669089258229824223068906210811226011320452019366835505897491423\ 50482825718/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^45 + 5839870165279158177025256349563384795844553859986114724017355801832\ 6252420028992893281361739579893434736960430998800443875860478796500\ 445160123235/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^44 + 6396392590168172154234705266415258508886265747301157215781243886530\ 1618609056763043171200088731449588368327279705919285338289667475825\ 635010820420/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^43 + 2967502598198681217046381209269195512985510636676067982942536972332\ 2962080459050386849010336479388833355991750227421922836349793131239\ 1220729822955/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^42 + 3261230302266356413074396521069819306571988915551782630157536283502\ 3230663615867515947152390305131549286342963206855683935804030376839\ 2514946666089/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 + 1160614536856856040676870410507943121187522141928306437146315538430\ 1109033183496516814747764369210729342848389293140774627342014015302\ 64487935106304/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 + 1261877614748591626440366803328852175506280349710198924075554818156\ 5538772089521153839317695229053961114716735073367829813705678234533\ 67889940473258/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 + 3638093690474001393657086093905827469989995490602898996095274230402\ 5400410288406641714583183933753732148237074736470537143782667392126\ 20067441864128/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^38 + 3871014880794566953702327491110379431729164781723651484534505592452\ 1698055833016062915505757680454792793990728873591982274495996739644\ 14391118787476/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 + 9407259980934203394932729690061113525190278107273672673173341672122\ 3735491945595751626946851201630865389265448603595675593377309017622\ 58805476084270/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^36 + 9722551026213089450131237945437384187129446143153900239138881691821\ 4449554061718325442350786037429897150695340923334885238553854546795\ 97578789174295/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^35 + 2047915220510299839613589135840144847055124104335117603603142214815\ 4607229421790160823720810285156627787108453363089093854112026883540\ 172923356203058/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 + 2044952950513211068701152704212255829447253270152748923975557006409\ 3026008329465692123941898204661981506937217052983931309806114313376\ 096918164865275/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 + 3807173722841848733408993081985591253373591675777199387032843043463\ 9392775678647154287372489503908027731014842445718610033403918866339\ 863112763280199/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^32 + 3657687537368970221002482508025356006892187601150135365457083853217\ 5644896732855285694317292786280289832606048626432694486795148691089\ 941672445156020/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 + 6102815196157107841858562581610315261810577183174225145409871577199\ 0216812327863160801984093986017848610191083534978553828815673032556\ 558001065064985/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^30 + 5620211158747711171130690630568380476502651950067874593456608695583\ 0201300462375676809284509140787184590708844257496716960169427743960\ 049620745111552/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^29 + 8487028400874416399527761138423705435653951111144377901706561034048\ 3108794628846575600303691609700761385356697764019127460944464882712\ 286931768598687/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^28 + 7464500133005923850500686750903471612102245292440624374373528202219\ 1528966618658287422256045115655459638323433932289155482285729232490\ 643149401197172/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^27 + 1027244711511364766204280307840278545823403969662251294228238532689\ 5814967321712537596984680161744881537949544701703191317275867140519\ 0313686562434382/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 + 8594651814798837814718095848678754046773994699763511866485325444114\ 4014769976551930562139630282740409133924411587552032139958455192365\ 665045720028854/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^25 + 1082796853595784794534991188615437819885201730230651997932420620251\ 0941549541256430256935837655058841927226816564094699930827186517737\ 2035892176703092/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 + 8579813313161912322504239695763631735775729336283041057859088905099\ 1730436577529253855926601573729555039845482482956179284345384333471\ 315613553422557/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^23 + 9920771359798993764133291269404622450597793036277849003206991375263\ 4836062070959763832225842840421958329892499717018940722421947686293\ 854281703531243/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^22 + 7406475427597474995185020931857427132044090612685513991073309329942\ 0064497497001648583622613048526403247512840523067049658446604284201\ 815460339482151/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^21 + 7864846933137918525711485600146998112512608829381371081965105341225\ 8198437665734119275399951431726070150696171621963845025033287720912\ 588259158277439/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^20 + 5498535535800882736434221432930534413820680209381788584186295362214\ 4795025866299290487947241138630799015778960317576282896580867809736\ 374457789761017/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^19 + 5353983621797323227218382740607894406010916216302240832986413005192\ 1402907440462425163485626564491865374619965342556358837749598979504\ 025030306087832/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^18 + 3479602518614051835539966565786869421076657761897556629524381108293\ 1117625807786497942818482231345977380891554711849912114819086403107\ 431365735318922/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^17 + 3093679985451898658202633315524265356453153837495366162112181260972\ 2901096647834174996983774713456552399677882583869237800834536691216\ 757714218846631/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^16 + 1852042813760995362650452766580782350790664275864182253842258735731\ 1956585816683170679754034932164021236996310974484731640001874043015\ 280963962328867/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 + 1491307542337928315864880380729463966270275861739384124017202688602\ 6070470538654261499172200626092555144545465615572990741963232352255\ 336522508245649/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 + 8129746672759385441418960644544168921197416961202183807760315812188\ 8788082244679510143008579189350419192603901116607545379979395473666\ 94892471582112/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^13 + 5843308739837646982191376896901372223547345702314862572158357735298\ 9493001971988222096970611506226750961931270347430155766368134525792\ 02386217946575/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^12 + 2861384867652711208935331010530159132814545803608740804962110795819\ 1845507789993279466931666728452187897122604420073289472417176055300\ 57172378566046/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^11 + 1787551537508742174119263300047925600301757242497953410357091045746\ 0510671964299128558172809957563262745359913146840298297553187396663\ 89196514235332/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 + 7754520889803492695618484490210756138379909090119878318222294224184\ 3225274817590788984851830656410623469164333389179173013546094108174\ 1420900252258/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^9 + 3985015722239898713607690168557260949763239577483986623882737478043\ 3720220951173746200244305533434168044090546086031768963015859867614\ 5495989629599/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^8 + 1509789629071471545207538436799319948885150262183200253054456237395\ 5371145493969500509078068837715206406085895443360963881691767222468\ 6247593554373/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 + 5529515888309190281064124176136656608987278249543742555794901320393\ 0776085525904045694112481969585528249665645388250655163981867210933\ 509069014005/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^6 + 1753722632845392581602729875199778013171046128844922239826075768966\ 2109222857332370223874359529428299277792357840766507699756004569467\ 837004388620/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^5 + 2380452842512963068918732624334279684753369648003156767058284248385\ 7606866533939327025746313915973297154457046394719880233599466493102\ 17020292559/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^4 + 2639196425493533427050323221190181589075190089724370314613672320223\ 2677962071479991204892059606457689285591898805154636582205189250348\ 3609704238/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^3 - 8028726173587770611982281344716250234361098838128869674378938885066\ 5398871046492770009929552216869350483043265968924313321221087867580\ 071491442/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^2 - 299443511455005170340416594137460\ 4903365107942419492944341498436652827243051637458319294219040123848\ 74426779225667459889174075395839901970706/1643127486416767765605451\ 8398391085843300327767498743588447715780204656710600510822363751015\ 9046344837214012598085360509347686270803935234894973*c_1001_9 + 4027023025343706338458343773923337809671568100163251482876759478062\ 4346380560944823282586628764048720128478257316924183592260669610142\ 31904605/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973, c_0101_8 - 238882113677064157374033203396007300942297591181759934915478\ 3002183830109052574306381483547484779460113051368537626299548306918\ 098726753292790/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^52 - 1876074642032501876741116013900468008828182344195363594721246949252\ 6764627583819279858146120533105632060832220681344098368776544241052\ 96265599/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 - 957277449511107857462764893412423\ 3970448690146842466313819844852274229953793763345964502381982331193\ 6227499145595454364684018156765533088307281/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^50 - 8047334045210253744895893575113280636394693436802833727796916803867\ 6478510082813002692760688665848877530108345245798429527778794576236\ 001343275/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 - 1697150459895769164918203096174354094836289460769059315622468497296\ 8190918533308444496898339398579202203948120376489271258514545389290\ 54141007680/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^48 - 1508668224951311756447322305540637358239377265189004643359194947142\ 9640531715088901325405597161665369931359102793582122297176980398988\ 79478816847/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 - 1781898854826340590737387374843596745095725001365297994039556546886\ 4751852164896366516954716055303578089896962745734739735318853407114\ 882653422167/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^46 - 1653808879824437195078667705575571698831749268737038104942229340716\ 0373191310571774755004765445790412801877486139449347029661559232504\ 027501720690/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 - 1258741629487021648820496492663574190393753160071328512210994662471\ 4521255249713054183089640953858021885807220781537428465258306553258\ 3203744149464/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^44 - 1203455641051278409578453002159878037236491700737685133121425338421\ 0193320339432470402388858577023124484259567360284747010296916908663\ 2578908502549/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^43 - 6475127700442587681206296591081850225887260560994265979393832469503\ 3817800476368154371602433001750870076870182868913412630599882642410\ 9968924956598/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^42 - 6282967904624531010253433392361985197430009045544478336979606270033\ 9091432956029903007556889257660133345402477105461708408300692661882\ 2649573686476/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 - 2565389915657365598525727474664393987821127735961496753938705933259\ 6283147760887462585783640744840010090339070235659065297719338625235\ 26549805267324/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 - 2489166492148338857362535823626192164285430542609248750424725993491\ 5202065754787620929402808346480069250720711658599642761657593013615\ 19779267062073/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 - 8152186973096538004825960975935127043059593797254843863637083029463\ 1229548861273272608556343547693941479604142505457144125976674483317\ 18018270497291/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^38 - 7814621088923147040592838896418301559841454650576913133047909432869\ 0369943731845772553354137621104582249791758625521344648425922347874\ 39489901634783/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 - 2139009661299294599615570473276792117847611292864758680777349363548\ 7143704852661663769681007867425730466232964608044124982857018433855\ 788944179995206/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 - 2007863432935633254858610808010293974749030063662633488924621165221\ 9539985228445246032706022078387518229242045210133458072516750067144\ 069651094741736/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 - 4730524367568344032400430287342957692394114132818609309758312292163\ 2255492576519898417440636705852142842583436351102044626079404439614\ 994845683952196/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 - 4320078323507798446151709470019653381449056312111440274937841447049\ 6969639764592760821098806010452422295667300401702773934216048143981\ 813434783562801/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 - 8946239579911405188306112384909392419598507109119404646334918689298\ 1439576609485434101388922377598756658380487675187288257310049285093\ 622971769842884/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^32 - 7907718387657192488835307286447992366170735122064780905818350543906\ 4235892687013408329385627674603855465217146092370184822733430659350\ 966693270537294/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 - 1461237619601456023406071742974088673327950378435788348995677033483\ 6921585218280701539620805919554464035737737190273389573084108536751\ 4119289668917956/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^30 - 1244574180381600304886762479923449004835514593571052404341095185399\ 2961533796934099779291764741474942152892117989728557677882932879523\ 5878417520225742/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^29 - 2074746293391934972479484328185805466491479720641869532640873538373\ 5672230012305733546049548482453257485295639820894675715369442086300\ 5964845334189702/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 - 1695510720715953278728576498985116496921971102692108413063312373201\ 9826389389526866352905447900189256009006833257998286190908699332060\ 2157265455372168/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 - 2570208653591586884272160149590197885470910279528654006659036856449\ 2946202814681341159645338273334866991546168833535023803112028176862\ 8144565679156336/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 - 2006424606430073912892778858810771431739844068889098450945748194368\ 1042023409120334459229883114734144238889253735738170700042422529095\ 7054136091164573/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 - 2781367879433877856794610733531568917655273116438581744024062988728\ 4264718541312006757278820008619392436055463651922984163375494385091\ 2825459275548216/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 - 2064163936521384373392101696027417731141160986245479922766907402909\ 3484871630906334284525433711637825526865410776499210818698312363147\ 3229322408292615/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 - 2626392057421957789571036473912504501389220650118591729680083606137\ 0327150625070271558815234047099029832924805187274207082424396603028\ 2231587436960669/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 - 1843038112291394543466926243452078796286336957316837523473824278041\ 4435061433575139603104645473554246349011789690246925259658020716906\ 4745437741119917/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 - 2156624156567479962902291539652482344912692246142080808186642475147\ 4180933166740088692827008953633758864852517145750942385110917355880\ 8070656567945772/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 - 1422230810316481236336055288672085262278919207427506718915280041089\ 7111361368677636670133037089468748890320366133919652214867271363581\ 8450011842927057/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 - 1530641911418075302751295972972584867237384040761072519473415813383\ 5844729336891189215797086585319642392108608007682741008072838546017\ 7684140722128102/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 - 9419072571828659401000822905822687529598206027809630014106688733184\ 9687780679278558250295064727254208012023517026775570872314977196627\ 686493979197411/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^17 - 9303172642814332277565363285548196327558453135627274046993351819632\ 7164611762722444320030303055779337956379435683370399994480860987624\ 091963178626276/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^16 - 5297780609334165486907446127420005353472048851835838981073292544088\ 2879028013427444111287633549168241344379148400555905368743378764987\ 201107022223068/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 - 4776605667196756997432432486990940873546683433974033680002098149793\ 3163406354856732489435682366387569827960170709721042366270645205018\ 669175914587009/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 - 2493014085578634451155245725000394414062020913173185862451312713441\ 3478706784953706745060879617652976248532367288643314813790776636786\ 582816008016481/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 - 2030851383657654192739801834005567765929710352172772680376915870665\ 0105004420833020877887627562278012682027029147122309477758821249411\ 782802213404162/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 - 9616650744611707757690817240503949720503197360112986534603947324033\ 9663047962611096259936463718566344002699112287480736262464861274718\ 99942826034934/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^11 - 6941539321879738002076986713386231333789859512407656057429973829928\ 5933976504478583779381399132196974509543757832166939500084185662967\ 17480799512320/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 - 2960326744813353382862590853159807964333191599456993601531431768642\ 9321367835824018093255750443799592274697526407974599853006868703114\ 42214745196260/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 - 1820257599176022526459624251753622171838553930915492051734711022810\ 9958895535339535352458132335495976584393458837704157607373180698008\ 91025430928265/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 - 6999234079048884373882135332081216164782750862377202499017055167356\ 9601085021816219582525902438509064770650834443355762142159823491830\ 8366516264902/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 - 3353626514921290074697109727935652372419934729424907098803298595371\ 3130936133690707905656502894093547205985498054327741443842707547847\ 3178059526945/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 - 1178330537927678277365409656144054954910155716736440860756371719763\ 7297354039791126660102756303996052189754641942783045067360051010722\ 3084766406338/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^5 - 3487840099106659471334582321586450328987292111747776336177530625878\ 2196005691315673240113245123242325945416603155785357161724282024310\ 861771915734/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 - 1123990204686546980101457334339763948512056851112536002007851808088\ 3817448372534526997443730232257865790942625686698227769400882956713\ 690845824059/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^3 - 1151993441382976522757336495682781830834766048160641481769540153764\ 0629722397772879081431164298214079398744964799073769526708984677116\ 54522299126/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^2 - 1049090290860591779930912401932225114542363284717277994749211870521\ 3138726818477191740722139526115774902113988059988558869633426596294\ 1200965475/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9 + 3730888653296787072168389393009794\ 5431395823371521925614482884716272318834958876367222960850005771235\ 752287233605280591149693741038627635247797/164312748641676776560545\ 1839839108584330032776749874358844771578020465671060051082236375101\ 59046344837214012598085360509347686270803935234894973, c_1001_1 + 496303414018766256288005458356623364369146766150082563179158\ 3348654693625079991933087441355407349721695625764248637525369996785\ 336471259389504/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^52 + 3674633861298769190864195980125163536181769132435752517469928940505\ 6600669531812309136625565356264709919428851819789294811182241257064\ 12464659/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 + 197071514108156432004100054244738\ 8883541601223590514779959034964328830155520209012911383233812172347\ 68836158376735153272183500280811267906556138/1643127486416767765605\ 4518398391085843300327767498743588447715780204656710600510822363751\ 0159046344837214012598085360509347686270803935234894973*c_1001_9^50 + 15670509677506902189089381160694928015869615931787468413734907142\ 5850797338132636482441846729369251428960801483788178861030576015037\ 755678457180/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^49 + 3453385266037814524976219496843894913259664177183150205285155729100\ 0995378346694518634292387302432677854730426322074603688512561582104\ 25240922433/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^48 + 2910918734980284207081587313288043171346999974774595953075991990777\ 8948382031295532738453298803240581711139894076678248691202781489315\ 02732731670/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 + 3573666948376002417856645187616964804714080234975061437534241766331\ 1790745366139389401700105183556096156278957121041707854008719631309\ 438503681753/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^46 + 3150178918401183199974484480392961031702965519264675921616193143359\ 3382681112581531326074166426452157081301871821801991750824010349039\ 826060713206/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 + 2481041052765665936450677355606002032030193414248468664844773450616\ 0217001654101817414284923393178575414205173915681915679628389300900\ 0455344657616/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^44 + 2254692960223557295189174784835227500947888440134472446523707003001\ 7880371261535911825196775739594569203515059113739401307297726189490\ 2248483552340/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^43 + 1251280641708307550694564109158029252699233297712586886284873675394\ 1848507216428607292257363206184495883798332167072786521154964904599\ 46933683488768/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^42 + 1153803450050145088398573287894911643742914766817260399019120507659\ 5741913581725407297917643221842932233640960069278990661609334458935\ 13333170017142/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^41 + 4851540733011935603650209509093733246246412948834573547052432340410\ 5788816367659998732328324932270664245425906247923013324438244987401\ 01921587492183/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 + 4467665057514217980070027308509082294627714253833564319568945056651\ 6493426551731448469685138959517812230235429079719773372083686232651\ 25154826331865/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 + 1506743476089570786691809709697749931256927703345229916941445039986\ 3560280808156349491370502831722862519949711059937488625708921711230\ 654524220813111/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^38 + 1367953731212402818254015331613538347964989006662207153398247699632\ 3854596657455762016754215003183970528715827386038719973359518939035\ 791679502375972/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^37 + 3859354997965043407400628872964904164380310451190156624055689868263\ 8481733424009904917612713270873778265948493527667282983246898134819\ 524163194138619/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 + 3422041079524326315738801698994117969961233235314312906631135056249\ 8731313169954244284581919862543670523410841202486927157780232546140\ 475310182908362/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 + 8321893283241589237458846518833985068152353502421535080018702501161\ 5959173465814798736995991921430145061741567451224845212308551802075\ 208321272867627/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 + 7155892739327242579610340227058599133036875115557247976394214696020\ 8850916242133636356455527313916039818149613804886454751857032336173\ 672848515734236/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 + 1532300975676142600689034972750424792920262084435613809470548000144\ 9979709457933488000666177358222220075586614319992607058070639052668\ 9129998302824704/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^32 + 1270388579697128684806326977478639489525854083715864547383911446235\ 0781525279975904803325150870202904975806038543289235276273393201262\ 6701495438608757/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^31 + 2432500622034281750829566500467464825305223479999590793421088958332\ 2051764115571320499200383931317557737765651392194118107157128904617\ 8928160256247145/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^30 + 1934161812935028689261998349785816602787526767093808424037522625645\ 0626998373633502948514674398592176436546853138752943123315799030583\ 9098696042559150/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^29 + 3349503723904807418150555771575190576941093201971005183391311305582\ 6013590123277880366054984264678109785991808901318009201849544873783\ 7977300963525534/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 + 2540611881759918698348775089878773632582474970598731395282659289841\ 2901186862943729101312672810096518606273610065111880464985597696496\ 9605749635450820/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 + 4013203767487909116015811257023485974600399693103459495818783699930\ 5699685594894358910092507068736395683886430757851635271678965730163\ 2484258933958971/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 + 2886796380815392432032684104502642433050786708870868189072691931123\ 5262124274203267467354414171106155505557629401268332043931062971833\ 5539274096628144/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 + 4186194163498344068480940774442759738481958927797151469230453254013\ 8744003714967977883323466295581832607452721223122034721012621380851\ 3598446328958901/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 + 2836388808573351063885417883227529468499185987028075266050925481054\ 4729837280361254001932660080921093024407856233605613663628767798683\ 6513148340772353/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 + 3794145111402783758398316502759323164556852227686819835955924227147\ 6332127344462312380192333035830737021070626356955317989460349643751\ 8921069913401173/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 + 2401947603331892083364842473694778843912897022503045847669322570273\ 6550043460533292613722863391244418529715891457284116035232862478931\ 3069064138357171/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 + 2974304390287199219103983083119435226193773395832401757249105630386\ 9613670488987154443353189310084945568030905274367169563832762373513\ 4444928566413944/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 + 1741937752746332186843671131376296177993130106966089257311992915360\ 9940779788186361014926567754858111024399935395939835294201903725901\ 3782505576950534/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 + 2001424848154144584383870067215188313182371125277557427409932042258\ 4996172920663455454703114432310947121583913222064758282884180241220\ 6665396875242004/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 + 1070932012251411773731647986828497264810146340035701901807423086643\ 1239643807973192595419474132309730037966128480978352380370577396873\ 4082401846128023/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^17 + 1142871102088939973071172614943654377255466358349986562679988092938\ 4512379347592146464541496575588382701561171962355371369495540083449\ 8604015200716411/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^16 + 5497126335253794186906477519987357181368630767354113824592708841822\ 6873911335296035384892267867361180650548651249434834220664598298802\ 837603830173303/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^15 + 5444782230654070967527841697254336512252352311522391630146928444996\ 8257246045465440081080212711433850754086080019119410673886240701500\ 481305697761338/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^14 + 2304077772522382909037176582209372616426742871019041665384901056787\ 0296061828268909287303415673125015953049248742343382112699402915975\ 289207613764310/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 + 2110298894709939726084212202983874016447195836180717760958804038873\ 0264795307066032036588949112634151425768537428932255126462886692115\ 160899701355965/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 + 7646306736596785277026254444719245770622454211174157415844942661150\ 1894003660852720219960516925939317548066496996948306156789394503358\ 60419469906372/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^11 + 6402622940249907708219376287558081980495084886985540755108150600951\ 2646827516206440800553182306562114216683718225560850509482629651642\ 93414705117919/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 + 1932338925220975021075307673769023787593682521038181828034038917549\ 9067168345895286215979799268018256463506767159779089919727241573235\ 97605992000886/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 + 1423771616388762155628402174572985429313635713601658765443599761246\ 7841921356169690673544041697085807950165907541993654232656303129744\ 32400369845296/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 + 3538564609200955267943578773830735501535600760107561343442302592306\ 5413103547542784914703718871128743659808678864649998251729750118095\ 4358778876313/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 + 1991666106853396766027126461207767334825238288803467926534858234951\ 7773655455592548269478210713913775800034297965662428878493173413264\ 0090264145156/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 + 4278096374211712451998776846594930599087970396442590925278441819670\ 7179239580778996510365056709923001717120250454679364823548374755981\ 049279941093/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^5 + 9959967516260818124773929300174626868608382197575754009389123017099\ 2762496409936539812436669972807590299967914506825219494262411733883\ 99712382033/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^4 + 2723544095512878947720009879178673965091119131063708274158262209640\ 0468976443086927604472831263055986086451046288978096515496881383463\ 82887668838/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^3 + 1217557245896771350775035750316014549959470161166048876694071038906\ 9808127419969470739582815046230972225627169869933379119775903129487\ 12227851602/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^2 + 2427412148964189763702355884447209744617856930384308024131977153687\ 1625755614828500450201295574911570378276446217445054140967439769632\ 9701711911/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9 + 7170185270941267504231995546143618\ 9464370106804718092606582696712206870728845055619880014513638593782\ 216390109535121989606835581395357646355774/164312748641676776560545\ 1839839108584330032776749874358844771578020465671060051082236375101\ 59046344837214012598085360509347686270803935234894973, c_1001_10 - 67703377885966851320561760905773819250564324293339944200097\ 9146753045684334093360688633332769928670157083890300420326695030351\ 3758196489377422/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^52 - 6492590418878043120652372715644578344801865331848655191678899554021\ 5661874694191321256338582218642240929425095521531335985453304586916\ 09204539/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 - 270729881245973912599757003615414\ 3610668308527858816473549333370243418989765037717338850761500413497\ 79794069761761664661514416057469685196009711/1643127486416767765605\ 4518398391085843300327767498743588447715780204656710600510822363751\ 0159046344837214012598085360509347686270803935234894973*c_1001_9^50 - 27344675485896946888348903866423990818337742612072459942214166028\ 9838706346605992316392440161357510327098685149154547011111815475305\ 012869036962/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^49 - 4789397521192615105062111855353687144405884843518226867604892725514\ 4530227241788409793883647710301966348940782504672625747297698803892\ 72273084925/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^48 - 5038494597038672577071141184037208743853006475097726071559588239799\ 3961185473531574546498553140449259372904748800047298219843715449871\ 00378611707/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 - 5017536903683276526841453682306244468591765635122237832883772893436\ 8093525217940754313312847642195575298862076903406223264568083152968\ 135656484837/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^46 - 5431281759236011708707798775217588627416940051801058102746058652261\ 2583664931797409594308640759834466065600366266597249761599969515846\ 728121166002/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 - 3536324987409868315251406045969656711575805798511767374112430211890\ 9155740221676557384994907160483357568986465589656055898891781884349\ 2799774093069/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^44 - 3887723251133339122019459822177965815394281592958449164270683099753\ 8004694757277354657032842575341372893297357618557721395797794434674\ 1472432154612/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^43 - 1814574562903012364908954680724728658153966632308113971132620733824\ 0157619736411709620073118030316568669759360103858987563147179493272\ 03417059499164/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^42 - 1997622231623087008460896470888405736361236651564922756052892732151\ 1361577983017657062157069940271513648075986222079840544236991740528\ 24681866660075/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^41 - 7167510175291393592999805825102458553194738366962660440592002628443\ 8814477570467353109881280545848319690975693389731836151774185100173\ 51063300414633/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^40 - 7795212943952500799779772928740269457717797243240376356590993327625\ 0105373835402378994039754769121498261024911982996049575094129098845\ 79954976285068/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 - 2268828752083712060893906606142000572017520577478619860250760435318\ 4958034348129345825546627721646366890274676842885787335755784707982\ 390859126541328/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^38 - 2412322803849477063687652781722269428000479121320442874946790441001\ 4656883149710314844273355277112809477636697769636781637208564514268\ 960660141470270/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^37 - 5923506516427321944303819221619065873113368925100059466116655152079\ 4622181174091613538619547902210398755444557077720008575167831379638\ 293155557394192/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^36 - 6112560327497790766823161164298855389580267228150436840471533817583\ 3322327526101688237247128300530781430559741633391851619589927269309\ 582610468263227/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 - 1301944514453801248964909908515657399623822284152730093932884323947\ 5802183192604133755188889264263301597559495882362350473727301247983\ 2800951238632059/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^34 - 1297152321371962281824913475882094939753090112895985138478695756537\ 3129820603265051766452050404966350227124329370199225056082756298415\ 4112410812050502/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^33 - 2443880074050482607500031958177242464129929981211215206691708956398\ 5082235177668325669589425719703217707847475657355199291074877778425\ 5037583406942496/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^32 - 2341259509798548152632310851483585002050942228594808108961315871162\ 2926900176662710431640540762907622920141023927052871501286514906444\ 3053714655972459/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^31 - 3956401631062181429269645580996727546408704021135854627479691113296\ 3679361530300575014809466543318207209448383255726543504370725592841\ 7409646085149927/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^30 - 3631226534249323662634938445161336815152142843873302957994613998455\ 7710197170874294419155553791818848192738974174539783831790404163895\ 6106070375547288/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^29 - 5558904331224686469589550888758343064828770312961129498508709645321\ 5707135107703516141808103032522541084625487699213995014779489773011\ 5163402781113667/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^28 - 4870192183331236347807967651313201170427672562049859926827848859044\ 6308126302768184264634670383420352262095411230308946423986506410674\ 9776135515454157/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^27 - 6801895554698474669184845129052203960279968960478856573242013249650\ 1037517812202449743753213436489323158596651325368022725619959700461\ 8498695614597270/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^26 - 5666104064383338400998532447346731584962656812435353847138532300912\ 7197129885529726280551346244573511083436370524972906398256556088676\ 1701227581986050/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^25 - 7254314387452704976391311688171763447683551120377285246717649865362\ 2809924151308800662518482274303962032615342633809778517461308262214\ 4982489186826089/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^24 - 5720187612335166492672730097562165978464299806599897046469577159775\ 4896600692759193360362869925108018148906098316042703583269234243957\ 6593653689958798/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^23 - 6732948865819642362774880247132271886917144777655890864776907234737\ 9435595958090826226196258421198257472921807482147467208661787391712\ 5223555733923789/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^22 - 4999363857517497495747424709991300020672991920680141076600138775795\ 5260439928879490589655613574712720242422166211570464455167922854824\ 7451906538270660/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^21 - 5416004683385258843252963664512765132605162226793157483706817964236\ 5465227371156124454588598659926540639629214738350558902178519037141\ 6127508799363173/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^20 - 3763519789392606645888653640945558872438176768833613334991799455003\ 4841650692958062369496504052953798879569179093663553231539050179240\ 8254659024517442/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^19 - 3749752337191906269886963519456232552842296919285158204677837945010\ 2623748981865191194916104893863827389479701095353415656127703568804\ 5471775942261416/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^18 - 2420229031193588675918411555390947414786166784183674036913230087793\ 5538328209241334118094137306367994192574172643716945616039574332045\ 7120113316232887/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^17 - 2211023984448511777205610913087246846240658221198766918979118202287\ 3522281733318886217318042204466334700025148203466680996845277937032\ 8204380871992945/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^16 - 1313120440413593926822692283103968422032796218214329800740549179146\ 1965915683093107707444563651867180620766704189365915385871188356891\ 9267828170940253/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^15 - 1093123006538487482785758429110781550796623301359117521065688091431\ 6129619730396709710781132759233595375474956136015585388164914317983\ 4671834662473963/16431274864167677656054518398391085843300327767498\ 7435884477157802046567106005108223637510159046344837214012598085360\ 509347686270803935234894973*c_1001_9^14 - 5902946251314408613609207065750375270788014135835065351751819979701\ 3187451002128392738697520740364615876165424983439503560746428129079\ 597390774696224/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^13 - 4428052260390502405524086776225085905990624693099921695882335835739\ 7578858995743539336824690643777743270539935896991566260363437882055\ 422904789820352/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^12 - 2142870612403335888265389855102797154123271060588699075212442452062\ 2062767302092138238615558303237985029997790272209540434297434385403\ 769027860604807/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^11 - 1419548578361033664083190970576935518104489296163474102795948159197\ 3913398696162801841444358467261633614299983881126785282420530102036\ 359034938061910/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^10 - 6059571690439143950321072348757808137704229408650556959539341210623\ 9773276852063893946334973587352698456429227321612430163199569257992\ 62159967056444/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^9 - 3403813693618847544714824516451701506440030836301915284047266115969\ 7372242995223628400379547720845808389576283518462401455234853179037\ 62465508026983/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^8 - 1259628472128018930726433017209301219308706400448878990566970006821\ 4242006099440718682823890005822738476060547099499183020287557098599\ 03679873904693/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^7 - 5431467898464188991021946843653104243634529009605443956960812945141\ 9646922219770963255646509985495921166821049318853377595672524556590\ 3721305711252/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 - 1679257853181278994326080727261760319885248575740693739795429002594\ 3589169314606718599439814309415432940138460941680650616740394663271\ 0253834422194/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^5 - 4020467531791589766741526731104474663053957235344732467273646512873\ 0620970885345072846070857249900447716333846010121674253787058623258\ 798284130830/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 - 8289665998125731522658994748290102505437767114999465364928762277562\ 7450130196811044721593784780706514364530869774672395537841144144957\ 71855302854/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^3 - 8175254286759565074884388240746715440043787319529859432349715986463\ 6645047231266721388987382052118107720830897377463168149208245952182\ 3226631533/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^2 + 4536627650279934383953605993488474552068795035638030667041094190960\ 6420800686934733491177262323384916350055538502364204451371117130619\ 754219846/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9 + 95574850283364718837631647779563586\ 7176255196315496937415838616973648180728255934472242201257322173954\ 1838336088681788431360542201506848476362/16431274864167677656054518\ 3983910858433003277674987435884477157802046567106005108223637510159\ 046344837214012598085360509347686270803935234894973, c_1001_2 + 906596823791488487161919186914108976253874185190790497003592\ 3060019277682724299265923961947095346923081981223304726884283794409\ 91475435262964/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^52 + 1712001428860229754853587941698776538188187805223440793578944201614\ 4146958836488230580479272848156667107676874768111721002246543836782\ 81643885/1643127486416767765605451839839108584330032776749874358844\ 7715780204656710600510822363751015904634483721401259808536050934768\ 6270803935234894973*c_1001_9^51 + 359178206629348976441758014750625\ 9228390935811688490134919954635088059749694623942159816414693258906\ 6652634422373149541424706833365434595341656/16431274864167677656054\ 5183983910858433003277674987435884477157802046567106005108223637510\ 159046344837214012598085360509347686270803935234894973*c_1001_9^50 + 6920501141887838697822073443746926209621279423646843019122030847612\ 2848626767434015366047166693209790162428092494591641904140083267527\ 340397887/164312748641676776560545183983910858433003277674987435884\ 4771578020465671060051082236375101590463448372140125980853605093476\ 86270803935234894973*c_1001_9^49 + 6299055151739971117247841859769789197017421129516978603505580019647\ 6821319312433619571219060020647554627808654956301141018016438258171\ 9736169503/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9^48 + 1224407624403903881407632261252294980322414793516424053917009671307\ 1409616364902135505062589307161926014570054332007276317619828485585\ 58199507632/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^47 + 6546805489260662311448688920653941727134903334320861785585890145589\ 6951437770151692456847376514657222679015420560214327576249332816850\ 55548553412/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^46 + 1266793256376207448147680286801034281513876750173732588968426630349\ 4022946065687329953651640566551178107996924220784956485423061776118\ 573285573896/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^45 + 4580456819638103300849096495914716948940142530212269000055046665789\ 1822661383255789823830528895662131571100364428076005728378663463985\ 879404114067/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^44 + 8697174940464205140601676054837083201646884673536871255729221482898\ 3839223693875329650625160193536842985361592535489057666735469624758\ 288637661172/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^43 + 2333003894260940661818855294498600138983646147571470333314765583243\ 4525148223226140415039736354357853393434749341315577789963435387341\ 1435508806111/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^42 + 4286852644551476761781940190221060598350858332194627044074270021540\ 9710965538923152291967475408241941518133345982048381907248034725219\ 6181826564028/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^41 + 9130647509023540943660394384932025358573213892065307601433106060870\ 5411398604891119681252497665117581881238148294571849570285556980513\ 0480079841644/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^40 + 1606470433226734683030818924406177053430514721496586639260363955009\ 4066612657555775310171322380755003941494528913027953724395625228091\ 51835763340293/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^39 + 2852094529542874641126617268141008908421515127581239904885838035606\ 3785734306902213382435060724016218863740424649534420214953499712521\ 08190236306657/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^38 + 4779770108237977158898431873238880946244566937915270152201404989129\ 0397390949528401558901183604500682905204828244075212551968066970040\ 90960722991986/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^37 + 7306388704592980334792469010033013666925336972549178169774111159473\ 5362041266064598354968403436497583524288151546465774345135403575843\ 96917653094248/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^36 + 1164864667425890880921552562214996709460451133402459701685819398714\ 3759016147557268817012901749665485180151371008935635301340324327652\ 778922214141712/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^35 + 1565097983426079081856333535727112919182359425039076612264480306998\ 5885760804245954644612819225142523875483453527652067208993873985377\ 557150497139065/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^34 + 2375440528124641645828961363081015038795361933413518635791093588185\ 1361521862654367555361030160045334838614410514468811480960423265614\ 697313087791593/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^33 + 2840568958809601885042614711506201793375627469959727343985204903248\ 9641230367190458746270553746502944066292824250564021197770804200028\ 841212197960576/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^32 + 4110719212763779473146523139316039902460499409824330844116727882863\ 2803085532267030902841753892261608999231534218583477373672396709717\ 285759821244711/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^31 + 4403537131212749962680659939159593303845269943080434574876662469465\ 3720440618189052228172313282499313197463628418424958558404568110153\ 077919917435258/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^30 + 6089281587992115398817561949420572133980797581628500776699543363296\ 5901154910386063420404143438679822789283135061576118127290474007280\ 574250191654474/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^29 + 5852051237611966185945954325989848240180143253562910545477510264185\ 4452674221195796012498138653966919977219579833146174457222741938938\ 397683638761601/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^28 + 7755151098422928378489357860819608977116747035557986664888757877461\ 4633819575854371499745403432845940254239074579582038674192798714787\ 139464669665559/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^27 + 6661538859487055242592066753194089665833413780355991161518116868424\ 3522619786181483803351630117169056953915281014920934480486697707887\ 653448472387808/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^26 + 8495904056267284997142757323001248382166328971336258490109921136130\ 5215396428358026814304453980572112822242332237529596851971013866148\ 430372560508030/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^25 + 6455788701810770862870341350791553640671660710806634625637226081128\ 1080760899163377336192840246723733002237248413710461801619797108048\ 044387515142186/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^24 + 7977943895902582526095773495082205952140946326883228011947312035977\ 0299565479905602630363608241137061256524593085264434196118936421272\ 192373172361306/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^23 + 5253248231070759479299626151141707856366182937593325879146241319630\ 1493067646769013437779480542532411569600850319283926851808630553623\ 544603749562765/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^22 + 6367409209799064959874653507360880980757534027516510716889492795015\ 3838278993313199077532728762638970717088335537945891601686994683636\ 173610606980095/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^21 + 3489919682420250744314060366267523909082305999122599447048084233292\ 3468402634371586756573485797156923423711972916730843585648235253903\ 244341744799221/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^20 + 4251975296133025001834760310003462641025061746558423061869370706962\ 2885072971581083082802361299347295771423159411095740164173202856286\ 332752160182822/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^19 + 1776668982591371907938335104929035383175518163148031043847682442762\ 5068138437878634117421763581082486355127970403512156411061998658673\ 074819965541169/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^18 + 2307491444501511149942658486129555665632110082715549751304809306067\ 9452189141952538183693186621426842523243656261502871556360533374722\ 764241561205102/164312748641676776560545183983910858433003277674987\ 4358844771578020465671060051082236375101590463448372140125980853605\ 09347686270803935234894973*c_1001_9^17 + 5651188337025981470581447975742272656353253946200428598762038210764\ 1015692127182134324709915689392666762651651649496685352231756655462\ 25462016731108/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^16 + 9572533810888751447866975386569190596378577445628922822161295823576\ 9037284988809770036115841536316714630275349391773727353900716887716\ 77569967919837/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^15 - 3402451826873855705500374603583516004032399388885914922682822621371\ 4432152869622144350300954718987007983707939698929583478477154942136\ 5804519516439/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^14 + 2537938158013411774271056001805458962943700446335805954315119789421\ 6042041149484900373223386160627433658576875979389805172392910272197\ 46597482312077/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^13 - 1866642968738435926571683783096114000403177360932632476366969063830\ 2791621865156252517576601833044054022080192055572723550283319589037\ 41327327047573/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^12 + 1812074243137592279827359777038025465212867468930979619735056756934\ 8848282712665208164902041897111161545068531873464139421722563608451\ 586376461634/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^11 - 1388891934285693234518394813534108889143214066025802347910583716156\ 1564402196333331829990433798429004282019445452966321554321371259218\ 15356208722963/1643127486416767765605451839839108584330032776749874\ 3588447715780204656710600510822363751015904634483721401259808536050\ 9347686270803935234894973*c_1001_9^10 - 3813485321306231693236866702909452462347476207270982235217429470564\ 0982541377890994559658586126025748411143468073166871733281578087560\ 7543020472684/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^9 - 6227196925243181585725197915694958121197990296760961613822873081927\ 0488178576545551451701535723051940476139974179914225720703217833709\ 1016005554967/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^8 - 2156500515706747624144583052838855937761705516876497482211194802485\ 6320467172948194833165575682402161383852047471728735428355174577993\ 4014098857373/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^7 - 1829540595075322471108636880854456094747479105062247371655911093472\ 0178182342991039015874377626826285216619038184226983218498416963125\ 2174262349781/16431274864167677656054518398391085843300327767498743\ 5884477157802046567106005108223637510159046344837214012598085360509\ 347686270803935234894973*c_1001_9^6 - 6881765252474556594539223460421425454664715857862534892770629883233\ 3330554390062345282952987905500275343207602558668826902493419073106\ 351721025137/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^5 - 3217216430849725363904130327534882848965090809973075194727088303883\ 5223107641389179119692331535833650118707502979611107257492725926695\ 677110496887/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^4 - 1269593483493400263249159573319282567107098544147157936696982383941\ 4207124378771962579066680382575248900165785634515638883658131646537\ 809161333784/164312748641676776560545183983910858433003277674987435\ 8844771578020465671060051082236375101590463448372140125980853605093\ 47686270803935234894973*c_1001_9^3 - 1713156528062301364439868554835053722803991044750559875464777631627\ 0515880379459649303148031127326729631257549002602461065242586205612\ 58402660107/1643127486416767765605451839839108584330032776749874358\ 8447715780204656710600510822363751015904634483721401259808536050934\ 7686270803935234894973*c_1001_9^2 - 2539636100664999152985325498719664151792150765402682212217300022063\ 1773336043194809772577831225469035283557521172328741063159247120516\ 5280513326/16431274864167677656054518398391085843300327767498743588\ 4477157802046567106005108223637510159046344837214012598085360509347\ 686270803935234894973*c_1001_9 + 5793418408668520857532625447519982\ 9685467157249458297533685445206791606781576316384676865999878760734\ 179893663912980025642194960682467685914317/164312748641676776560545\ 1839839108584330032776749874358844771578020465671060051082236375101\ 59046344837214012598085360509347686270803935234894973, c_1001_9^53 + c_1001_9^52 + 40*c_1001_9^51 + 42*c_1001_9^50 + 708*c_1001_9^49 + 772*c_1001_9^48 + 7423*c_1001_9^47 + 8304*c_1001_9^46 + 52370*c_1001_9^45 + 59330*c_1001_9^44 + 269044*c_1001_9^43 + 304391*c_1001_9^42 + 1064042*c_1001_9^41 + 1186425*c_1001_9^40 + 3372124*c_1001_9^39 + 3668360*c_1001_9^38 + 8813144*c_1001_9^37 + 9289151*c_1001_9^36 + 19387576*c_1001_9^35 + 19702378*c_1001_9^34 + 36418014*c_1001_9^33 + 35545553*c_1001_9^32 + 58988246*c_1001_9^31 + 55107502*c_1001_9^30 + 82908771*c_1001_9^29 + 73879055*c_1001_9^28 + 101459810*c_1001_9^27 + 85912328*c_1001_9^26 + 108193820*c_1001_9^25 + 86682585*c_1001_9^24 + 100372748*c_1001_9^23 + 75702396*c_1001_9^22 + 80670757*c_1001_9^21 + 56929284*c_1001_9^20 + 55773471*c_1001_9^19 + 36554352*c_1001_9^18 + 32815007*c_1001_9^17 + 19787408*c_1001_9^16 + 16170016*c_1001_9^15 + 8862772*c_1001_9^14 + 6517026*c_1001_9^13 + 3197700*c_1001_9^12 + 2072558*c_1001_9^11 + 894321*c_1001_9^10 + 490341*c_1001_9^9 + 181866*c_1001_9^8 + 76188*c_1001_9^7 + 22942*c_1001_9^6 + 5124*c_1001_9^5 + 788*c_1001_9^4 + 36*c_1001_9^3 - 21*c_1001_9^2 - 6*c_1001_9 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 48.070 Total time: 48.280 seconds, Total memory usage: 137.94MB