Magma V2.19-8 Wed Aug 21 2013 00:17:40 on localhost [Seed = 576999286] Type ? for help. Type -D to quit. Loading file "K13n821__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n821 geometric_solution 11.99411567 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319297124763 0.779057108564 0 0 4 4 0132 2310 2310 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.549575612282 1.098996182265 5 0 5 6 0132 0132 2031 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354159253071 0.692024102314 7 8 5 0 0132 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -6 5 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436348542257 0.651920682517 6 1 1 5 0213 3201 0132 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319297124763 0.779057108564 2 3 4 2 0132 3201 2031 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413960057783 1.145116953507 4 9 2 8 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 -1 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 0 0 0 0 0.290952067028 1.059343546811 3 10 9 8 0132 0132 1302 3120 0 0 0 0 0 0 -1 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 0 5 -5 0 0 0 0 -1 1 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534284307746 0.464769766633 7 3 11 6 3120 0132 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935417446952 0.726473155632 7 6 12 11 2031 0132 0132 0321 0 0 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 0 0 0 0 0 1 -1 0 -5 0 6 -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.691288322093 0.579609204080 12 7 12 11 0213 0132 1023 3120 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 0 0 0 0 0 0 0 0 -1 0 1 0 -6 6 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.820501713469 0.619254837636 10 9 12 8 3120 0321 0213 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 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.388700096409 0.870426459224 10 11 10 9 0213 0213 1023 0132 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 0 -1 1 6 0 0 -6 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.820501713469 0.619254837636 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_9'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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_12'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_9'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_9'], 'c_1010_5' : negation(d['c_1001_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_2']), 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : d['c_1001_9'], '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' : d['c_0011_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : negation(d['c_0101_8']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : negation(d['c_0101_8']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0011_6'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_6, c_0101_1, c_0101_2, c_0101_3, c_0101_8, c_1001_0, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 1319321096854181985593542976706793487801043610779701827293881441853\ 2040371618144052961/70821901866886155658853957988558366648325466691\ 29930567770501729878836241403428250*c_1001_9^34 + 5365165157252654862739778982634616649388781201715580355326768954195\ 3273217394390250803/70821901866886155658853957988558366648325466691\ 29930567770501729878836241403428250*c_1001_9^33 + 1107994105746564966508465457202308798765541477241711695068563147463\ 73106787426826621127/1416438037337723113177079159771167332966509333\ 8259861135541003459757672482806856500*c_1001_9^32 - 2627823730800622758832915043382447246744132479293214923392587448103\ 6042394746643367409/14164380373377231131770791597711673329665093338\ 259861135541003459757672482806856500*c_1001_9^31 + 1629526776171840974461688625175968348142976398377318344769213237544\ 41181118735316464376/3541095093344307782942697899427918332416273334\ 564965283885250864939418120701714125*c_1001_9^30 + 1145066687882626646895854559100875044838261407173479815054464411466\ 066521452307743927073/708219018668861556588539579885583666483254666\ 9129930567770501729878836241403428250*c_1001_9^29 + 1313904087516005135521165159885170602883865559327129633797177767022\ 10025701238546236821/1416438037337723113177079159771167332966509333\ 8259861135541003459757672482806856500*c_1001_9^28 - 6187854480991689437051561589228948914758622922207127031634049990574\ 831955827205901354839/141643803733772311317707915977116733296650933\ 38259861135541003459757672482806856500*c_1001_9^27 - 9161553694148444875482893821800649373128068996782262523470397253981\ 25360945433581983513/7082190186688615565885395798855836664832546669\ 129930567770501729878836241403428250*c_1001_9^26 + 2397881907930949768209353893893081707208028518763755508534746594073\ 201533923974775994291/283287607467544622635415831954233466593301866\ 7651972227108200691951534496561371300*c_1001_9^25 - 4036086092854596135116217733182015828174931073481669102365623839447\ 0324518217785118017/25753418860685874785037802904930315144845624251\ 3815657009836426541048590596488300*c_1001_9^24 - 1000605583043651174595423344843704437744624017540883911032646552220\ 77212957103503891929/4884269094268010735093376413004025286091411495\ 9516762536348287792267836147609850*c_1001_9^23 - 9793456878258263711744393700108826323996217021262582775271733083892\ 001413388327680626119/708219018668861556588539579885583666483254666\ 9129930567770501729878836241403428250*c_1001_9^22 - 3945134464679794119016696917459729159019025661419552975632848690848\ 819051509479600388167/708219018668861556588539579885583666483254666\ 912993056777050172987883624140342825*c_1001_9^21 - 2370723317661112865983488766519710519400039596094877859832422433166\ 70372375385326179418309/1416438037337723113177079159771167332966509\ 3338259861135541003459757672482806856500*c_1001_9^20 - 7813364272553807517093315897039623037494914153417153071480870981273\ 450453449079440805367/566575214935089245270831663908466933186603733\ 530394445421640138390306899312274260*c_1001_9^19 + 6445952203354067489129890121219751864588123387079803980402099991403\ 1188898214131769914569/70821901866886155658853957988558366648325466\ 69129930567770501729878836241403428250*c_1001_9^18 + 3796864836823944712508312433959580116303063697110089998887725244469\ 1241790835698398710449/14164380373377231131770791597711673329665093\ 338259861135541003459757672482806856500*c_1001_9^17 - 4613800639242692701878936005111543327884258453174052375452709714317\ 2250794689760535949699/14164380373377231131770791597711673329665093\ 338259861135541003459757672482806856500*c_1001_9^16 + 3284939963776991887332505261924131994381119990286750072770225882209\ 497381340721147670783/113315042987017849054166332781693386637320746\ 706078889084328027678061379862454852*c_1001_9^15 - 1055200416002564142009824145473808416826382029746839676792036237943\ 15980898152087592205479/1287670943034293739251890145246515757242281\ 212569078285049182132705242952982441500*c_1001_9^14 - 2469742424955105695182131042896630883705467442937701687132813065970\ 626783293216515417015069/141643803733772311317707915977116733296650\ 93338259861135541003459757672482806856500*c_1001_9^13 - 2567227423493155408999669021702003863070098696371371968738348140572\ 35625573258367821467189/1416438037337723113177079159771167332966509\ 3338259861135541003459757672482806856500*c_1001_9^12 + 1505565043702695132141855227840709381199442632423101915421546627011\ 261452734472935925788873/141643803733772311317707915977116733296650\ 93338259861135541003459757672482806856500*c_1001_9^11 + 5692551555371888320736904386398812784031781630100574350316479841586\ 65772988043361458193483/1416438037337723113177079159771167332966509\ 3338259861135541003459757672482806856500*c_1001_9^10 - 1648468008595276151192193745873552804673046689495002197871132066800\ 81749657997732853662119/7082190186688615565885395798855836664832546\ 669129930567770501729878836241403428250*c_1001_9^9 - 1032236694821146695292379428183787410963551990687374786291872473569\ 62881379394442164414631/7082190186688615565885395798855836664832546\ 669129930567770501729878836241403428250*c_1001_9^8 - 4139453718179525172902029942923425710629654452616904826240659595151\ 2166725080927215780993/14164380373377231131770791597711673329665093\ 338259861135541003459757672482806856500*c_1001_9^7 - 8864695667119669158150710799390944576907363298266718676843334440337\ 190769407776204273878/354109509334430778294269789942791833241627333\ 4564965283885250864939418120701714125*c_1001_9^6 - 3377346714852116594790469549344207597786220658568310362107218872553\ 45346466238481263713/3541095093344307782942697899427918332416273334\ 564965283885250864939418120701714125*c_1001_9^5 + 4964253791300654723033703045877503660143962606145247073352144397366\ 202068961781915388858/354109509334430778294269789942791833241627333\ 4564965283885250864939418120701714125*c_1001_9^4 + 1799041628087261859881673889969638366411557728091846877444643944175\ 803166112912394810502/354109509334430778294269789942791833241627333\ 4564965283885250864939418120701714125*c_1001_9^3 - 1675261409221337830880059903141451378830284845778938874685496710653\ 012860816186075162677/141643803733772311317707915977116733296650933\ 38259861135541003459757672482806856500*c_1001_9^2 - 1266915899794246315215177734878851906956312961300228199794298724120\ 990205514775693716943/141643803733772311317707915977116733296650933\ 38259861135541003459757672482806856500*c_1001_9 - 1791759148218042811482365515918209200944712561530976035135689737996\ 40604366214036900037/1416438037337723113177079159771167332966509333\ 8259861135541003459757672482806856500, c_0011_0 - 1, c_0011_10 - c_1001_9, c_0011_11 - 13600553491888069556370840274312039013898088750653518784116\ 15345033671/7404093112104522672752580601567073369789967273386325398\ 00823397441730*c_1001_9^34 - 23066935203252168079336966760723554832\ 41291829113363115329221631383244/3702046556052261336376290300783536\ 68489498363669316269900411698720865*c_1001_9^33 - 1310103718064516839101554655491950596408580160870823618714154102304\ 643/370204655605226133637629030078353668489498363669316269900411698\ 720865*c_1001_9^32 + 3003501952246520625847309839191184112839945697\ 061234690479208201295077/740409311210452267275258060156707336978996\ 727338632539800823397441730*c_1001_9^31 - 1789871832438804797412737197287697026434012391661301605600855082555\ 4616/37020465560522613363762903007835366848949836366931626990041169\ 8720865*c_1001_9^30 - 938605670590516473572295635660312780228947675\ 74695010813267852576461293/7404093112104522672752580601567073369789\ 96727338632539800823397441730*c_1001_9^29 + 5611813156447120138189524830557336165382794612004829459626645744546\ 1067/74040931121045226727525806015670733697899672733863253980082339\ 7441730*c_1001_9^28 + 278342954483292653874680157375053106689288194\ 526663823373009762256290647/740409311210452267275258060156707336978\ 996727338632539800823397441730*c_1001_9^27 - 4750205285576970958513049589031533148805995609037481696995052353719\ 4656/37020465560522613363762903007835366848949836366931626990041169\ 8720865*c_1001_9^26 - 546098465679632173171479992145595364997189398\ 77804447149147444441155240/7404093112104522672752580601567073369789\ 9672733863253980082339744173*c_1001_9^25 + 9790631999224708422964282205366539373915831614743675843547574506184\ 2107/14808186224209045345505161203134146739579934546772650796016467\ 9488346*c_1001_9^24 + 229805752270418607133935203309262535737167599\ 833457553909855415965418217/148081862242090453455051612031341467395\ 799345467726507960164679488346*c_1001_9^23 + 1130409331056617329907153320517223151782390385359294190711193252885\ 54162/3702046556052261336376290300783536684894983636693162699004116\ 98720865*c_1001_9^22 + 79164616212222431848702667503184822158021651\ 6105952935185061978465259935/14808186224209045345505161203134146739\ 5799345467726507960164679488346*c_1001_9^21 + 9581780163480879346768483842099015384009382607259031174119654726418\ 984187/740409311210452267275258060156707336978996727338632539800823\ 397441730*c_1001_9^20 + 7312154069807893895399230216502745725200230\ 90016814071073592942099191625/1480818622420904534550516120313414673\ 95799345467726507960164679488346*c_1001_9^19 - 4413307836149620990891706764754026680204822231219214018178940114308\ 566777/370204655605226133637629030078353668489498363669316269900411\ 698720865*c_1001_9^18 + 4311350596956086062973829605716006847588238\ 039676702004635712949813644673/740409311210452267275258060156707336\ 978996727338632539800823397441730*c_1001_9^17 - 6983187204282590481119224477048984679258885298940428771940331151964\ 37583/7404093112104522672752580601567073369789967273386325398008233\ 97441730*c_1001_9^16 - 20962349029619575126647368615484053275600000\ 53986365576317011916429860262/7404093112104522672752580601567073369\ 7899672733863253980082339744173*c_1001_9^15 + 3713399380708319144850450920405061891784394757951133327725181925333\ 5127741/37020465560522613363762903007835366848949836366931626990041\ 1698720865*c_1001_9^14 + 767386308462268916549685794299988543333616\ 26350343247089035791293703019197/7404093112104522672752580601567073\ 36978996727338632539800823397441730*c_1001_9^13 - 3805459647174050047345358834033577010789314917719996769278582249224\ 2361793/74040931121045226727525806015670733697899672733863253980082\ 3397441730*c_1001_9^12 - 478257242607659229247955847598928677943844\ 76904799625737662882978757084299/7404093112104522672752580601567073\ 36978996727338632539800823397441730*c_1001_9^11 + 1775131217927344984584294391391832493886195220492304617503937860293\ 814618/370204655605226133637629030078353668489498363669316269900411\ 698720865*c_1001_9^10 + 1148870283695421852764292724713777553389196\ 2748489577811971771983826579449/74040931121045226727525806015670733\ 6978996727338632539800823397441730*c_1001_9^9 + 2189347841143953111260982830613439546077268040206255247969022204980\ 222981/740409311210452267275258060156707336978996727338632539800823\ 397441730*c_1001_9^8 + 16097338618664932949266979228380336988250004\ 29543296589280857590633228199/7404093112104522672752580601567073369\ 78996727338632539800823397441730*c_1001_9^7 + 4882671938370719360386962269284909763664972807092757194269318540251\ 94568/3702046556052261336376290300783536684894983636693162699004116\ 98720865*c_1001_9^6 - 641517960619846309805624706839271371844818553\ 273543539953412917351849549/740409311210452267275258060156707336978\ 996727338632539800823397441730*c_1001_9^5 - 5199602955892272172091272785501193532248293003620360437612702877298\ 92511/7404093112104522672752580601567073369789967273386325398008233\ 97441730*c_1001_9^4 - 240669933464838620603586414823849450675515670\ 44031604472429189347968669/7404093112104522672752580601567073369789\ 96727338632539800823397441730*c_1001_9^3 + 5997110560662105738507558213742876944103426741297928380467499595514\ 7251/74040931121045226727525806015670733697899672733863253980082339\ 7441730*c_1001_9^2 + 1908542343386281356062384821024568141021000734\ 7624486833218157069301299/74040931121045226727525806015670733697899\ 6727338632539800823397441730*c_1001_9 + 1099113630094062100117618134126148236436509175896445752907641131910\ 728/370204655605226133637629030078353668489498363669316269900411698\ 720865, c_0011_12 + 58822097153419091341939835396863305108828740961700202619728\ 2839316465848973/19348924763851145593567094594237652250071843915388\ 103456787109432084792681930*c_1001_9^34 + 1258620872915288345899993997270980076637882594537641234425172026873\ 1744136289/19348924763851145593567094594237652250071843915388103456\ 787109432084792681930*c_1001_9^33 + 3338925920198279369384448194526842110855216270298158958499678170982\ 1293590493/19348924763851145593567094594237652250071843915388103456\ 787109432084792681930*c_1001_9^32 + 7733934357941901459566732088417142857732374183964422788123754036217\ 815609639/193489247638511455935670945942376522500718439153881034567\ 87109432084792681930*c_1001_9^31 - 5839156329583584713337391837067799575458430243486514329062630922697\ 952057452/967446238192557279678354729711882612503592195769405172839\ 3554716042396340965*c_1001_9^30 + 164249585685602921325950705780566\ 101472762444197775158530091396042675905816502/967446238192557279678\ 3547297118826125035921957694051728393554716042396340965*c_1001_9^29 + 30371997645656604622295555029868038496968906077514016128961039039\ 8396258794537/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^28 - 7815159246403681869931185453858061595743046918904001609360330975912\ 62898494511/1934892476385114559356709459423765225007184391538810345\ 6787109432084792681930*c_1001_9^27 - 1910373290458600553483112307868774947436087073053815931111978844196\ 392467936649/193489247638511455935670945942376522500718439153881034\ 56787109432084792681930*c_1001_9^26 + 3325581843920373045650990596568312962403256267026109285279285305476\ 34093294115/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^25 + 7173564201412533294925553066320484205882698182095121609721835439122\ 42472563695/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^24 - 3894694600313382308903105422076323454677354867560476278661805274094\ 2019966211/13344086044035272823149720409819070517290926838198692039\ 1635237462653742634*c_1001_9^23 - 367076145656285302403190135181338\ 9974836085220143090042958737816726256324065181/96744623819255727967\ 83547297118826125035921957694051728393554716042396340965*c_1001_9^2\ 2 - 873089221004336391763400279288243904446056755775413266738622725\ 56073897705009/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^21 - 1754796810678600331837333700732706262081236519930778580781330267533\ 8793994284263/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^20 - 1309719748331973117862213465930061501356502419227921583552040249412\ 8035829083293/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^19 - 1946934767540031837040882109445253430492754617814692351168812934495\ 427073457783/193489247638511455935670945942376522500718439153881034\ 56787109432084792681930*c_1001_9^18 + 3509834849937745201337355136982804809301262597739988894488099563346\ 9013471150943/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^17 - 2899112254515957884207904153537549265868608268753531055521490072323\ 7101429762758/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^16 + 6653713971393723272003839449044145238667826460685021682219244620464\ 354751583797/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^15 + 1236569287568244196138555240344498607494119307511561274819098120446\ 52461076901309/1934892476385114559356709459423765225007184391538810\ 3456787109432084792681930*c_1001_9^14 - 3327459351111911890709984158418304860714259884573934440355041226356\ 47128743717028/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^13 - 1827362466156727700173818429320055392349612691895958479899176212552\ 50520377593428/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^12 + 2304145851621489574351526161372462307537599797465704298582094402987\ 27074131491111/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^11 + 1142119179761975142956824947369203629335919834876377985262475262371\ 38359242759046/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^10 - 1215442215804312885414579172641715821809671876993368009550530401702\ 66779521806067/1934892476385114559356709459423765225007184391538810\ 3456787109432084792681930*c_1001_9^9 - 2752437708590039686290608278563615314979229429632296741296670878254\ 6107994977574/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^8 + 3792633960434247253259976996976341561678934293905183017327775352187\ 146904952583/193489247638511455935670945942376522500718439153881034\ 56787109432084792681930*c_1001_9^7 - 6791362354345824396387952437369575106439736568969400278368052458586\ 693138335409/967446238192557279678354729711882612503592195769405172\ 8393554716042396340965*c_1001_9^6 - 2949084951797233620113558824092895283782526263753383467794287132772\ 057531865303/193489247638511455935670945942376522500718439153881034\ 56787109432084792681930*c_1001_9^5 + 6674355862829868864317628079832190805921280510535688547033751599557\ 351302982573/193489247638511455935670945942376522500718439153881034\ 56787109432084792681930*c_1001_9^4 + 9392836284746178525772910836848460463258220202170529616981300233661\ 37729988741/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9^3 - 3107382794544102868222008567758141601131490204971620844634893676195\ 79279678824/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9^2 - 1465610885772824812055698746575646461477820819302940421050897878427\ 47115326821/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9 - 2142707037900447340726321351391440\ 0133189751396539753284160543302238567302779/96744623819255727967835\ 47297118826125035921957694051728393554716042396340965, c_0011_4 - 1, c_0011_6 + 844276348549771374957422219645221425676731160394596500131734\ 1085819597956093/38697849527702291187134189188475304500143687830776\ 20691357421886416958536386*c_1001_9^34 + 1562604085493453705567749819826857186087202180246186465571142807482\ 1197154990/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9^33 + 2416595014314653127916945329674548194144782899889945637146907320722\ 3862424281/38697849527702291187134189188475304500143687830776206913\ 57421886416958536386*c_1001_9^32 - 1658324752572825192627570971201802687307814361088813448296021524158\ 9125232375/38697849527702291187134189188475304500143687830776206913\ 57421886416958536386*c_1001_9^31 + 2155488259209381403732826889838213694552495615915743249770148763940\ 46040514579/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^30 + 3269874563405462992732328675053884032895930106579225598338373333086\ 49596073878/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^29 - 1941415634511577794284454145519834826617090442118975332257621454105\ 07456506131/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^28 - 9471437546899360527209932342038381955937439392353892371316898042127\ 63285505639/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^27 + 5694244281563789662998050607795045231491987892051446378589887216865\ 2251963326/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9^26 + 3754011743687156330655225260024769664235506197895289924636236580906\ 959111654069/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^25 - 2115504095254837415142523753253290244569166769390408527570702584326\ 787302114891/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^24 - 1453285794881862033015738877991985247189123315647198776386400367349\ 42517826301/6672043022017636411574860204909535258645463419099346019\ 5817618731326871317*c_1001_9^23 - 314892189104413468391178970931170\ 0172349224570780376363820839716450906449229465/38697849527702291187\ 13418918847530450014368783077620691357421886416958536386*c_1001_9^2\ 2 - 121601105819963385550477104155575201771137911374376270829441142\ 39602063229741306/1934892476385114559356709459423765225007184391538\ 810345678710943208479268193*c_1001_9^21 - 6715744032143440319073076299623098872625798293294443192508102427958\ 1376238973427/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^20 - 1915297212704403094102822146726542722124194705536183257943843881574\ 3832986572474/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^19 + 2684865374542361142630186261207101352059854936339783954984887215382\ 9284210333020/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^18 - 4578050085549850635777270869559632413233948032908703694839457756851\ 732364046926/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^17 - 1064405518787980846417152967159896637264605478193127406610778569433\ 2642502160581/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^16 + 6829494706757682859445980279526435090869560789043856469018856749904\ 6824836224280/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^15 - 4225623310336212152009413340668599074759508221362022071703563216025\ 95691107798185/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^14 - 3167887765096819702205213767912227499096951995046859070642859064342\ 76104517814698/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^13 + 1460337658993844100908220856739731648546286582283539198554786834327\ 96496721773337/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^12 + 4072285172701652117528997416582515093595500457039092795138705342714\ 99984950906527/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^11 + 2912252628898252417250378996413032518310087532790818947546488975978\ 4259355340995/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^10 - 1009384771742475116420911875249443526484046718047920567211162196502\ 25882301520427/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^9 - 2439416972350818919639036154781378001788952255196691228455363002711\ 9671496070043/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^8 - 4261445603631854031565407838592252581396026890630265144610829426245\ 494374205067/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^7 - 9732116508609871206456157960929074996162239709346921600097629355831\ 096425407533/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^6 + 3216836668252670350855917863860229094253130132400353412018258622909\ 405721473221/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^5 + 2407022756126567286701832989702058397886226699260466698855822128012\ 609068705221/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^4 + 5358916265394708246447718034327672630410299487051828523771348576709\ 05215637119/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^3 - 5112224538530272554645910996373602772039955766619633846595868704589\ 65101710537/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^2 - 1726763600959056760563929315036675637193191195135747530707165707232\ 89358014903/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9 - 2105345983997100578225061640622659\ 2425463260028809177334999509238925607814775/38697849527702291187134\ 18918847530450014368783077620691357421886416958536386, c_0101_1 - 955682739088406578977977470283396744362477983819910087238647\ 8503925271142646/96744623819255727967835472971188261250359219576940\ 51728393554716042396340965*c_1001_9^34 - 3109580919398558522046301046891573999125607596161176278900810030449\ 5725897588/96744623819255727967835472971188261250359219576940517283\ 93554716042396340965*c_1001_9^33 - 1261685156826110999218024222160906877386647885273830158679594676253\ 7848051111/96744623819255727967835472971188261250359219576940517283\ 93554716042396340965*c_1001_9^32 + 2687014420747880971895231449232436486277959760702724896872055904231\ 0323641077/96744623819255727967835472971188261250359219576940517283\ 93554716042396340965*c_1001_9^31 - 2553592043220049487594852381997572025888105864512399645406015233688\ 36604981767/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9^30 - 6278760705071337653811237292079859791487610175627052996987306372645\ 94436430273/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9^29 + 5230943579378036711841543993471156575444367047949912467716242034483\ 76978071912/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9^28 + 1957626745925334885258824174653163838965917904979632963260074787189\ 062116864437/967446238192557279678354729711882612503592195769405172\ 8393554716042396340965*c_1001_9^27 - 1056452966088457405269430920398408631000836667593713632079755548373\ 158407772682/967446238192557279678354729711882612503592195769405172\ 8393554716042396340965*c_1001_9^26 - 7843634249487932110247822612764696529391364383790358307695869980335\ 18716818621/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^25 + 8522985630961115598969958277578457161374075969293679524576197715454\ 76679885094/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^24 + 5457177017035937705582276364122119774847427338630303511211382655543\ 4929979107/66720430220176364115748602049095352586454634190993460195\ 817618731326871317*c_1001_9^23 - 3752080022253681213564367942841942\ 82312189491607466726436197631041920313254481/9674462381925572796783\ 547297118826125035921957694051728393554716042396340965*c_1001_9^22 + 5433725615569871885563736802046139011951999273848395281630474750936\ 384107450117/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^21 + 6390786393504251225342323743665793708929085922933320008188290791965\ 6177005117767/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^20 + 2467738498434353836612375624899704967531892189493722158696103105176\ 936638092723/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^19 - 7113025250136319806437082665337900721083539510562379248796134297615\ 2643204200384/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^18 + 4178761818319222786070461965122582036460576816317087141784520862128\ 1705242542388/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^17 - 1383010515115268113202105596644504030468576845987097202372220323728\ 744365721678/967446238192557279678354729711882612503592195769405172\ 8393554716042396340965*c_1001_9^16 - 3172090075648109547475836544992976055256662400513084754233115669199\ 7666377762341/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^15 + 5516354688782584482287720933402486275965670967417946737484969681315\ 20960242080657/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^14 + 4817246357216268931456476783078146046130088016503541016064934766497\ 57835905578122/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^13 - 4296863150975499921587190598901370582807091091826066449422886055766\ 81732743974438/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^12 - 2957855626468840083395519279727332634217465133083022831078233263526\ 06619739470884/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^11 + 1313311490620959643817119524966387131903359646405991562967941523282\ 91273967480221/9674462381925572796783547297118826125035921957694051\ 728393554716042396340965*c_1001_9^10 + 7086167330942756925897165559174007143626037362654258616452466122481\ 4582006881839/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^9 - 1153019201183605439678324106077684291117851672049021425325170973020\ 1153184529809/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^8 + 1163437706650834549625397724353081692545912710914657645740660775961\ 2830702781254/96744623819255727967835472971188261250359219576940517\ 28393554716042396340965*c_1001_9^7 + 5672345120517333627429851974934728713121484552357884523398403666688\ 728110027711/967446238192557279678354729711882612503592195769405172\ 8393554716042396340965*c_1001_9^6 - 7338381693722071310288127552836421023625683824244374663871409078364\ 196242681409/967446238192557279678354729711882612503592195769405172\ 8393554716042396340965*c_1001_9^5 - 2355464639527215882314666824627151066022781052968404968254296933784\ 654397874541/967446238192557279678354729711882612503592195769405172\ 8393554716042396340965*c_1001_9^4 + 8812177169919497494045495169549083430432210997207505982546255022685\ 00458214456/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9^3 + 3103296369166309434773033443739048054624236977827658295709234655511\ 88928255696/9674462381925572796783547297118826125035921957694051728\ 393554716042396340965*c_1001_9^2 + 2877734848517519488697758360158252817968497099347233369007523232289\ 0489079394/96744623819255727967835472971188261250359219576940517283\ 93554716042396340965*c_1001_9 + 41302275725267046038023641925677015\ 27993575824803606498460930711556002265961/9674462381925572796783547\ 297118826125035921957694051728393554716042396340965, c_0101_2 + 142320126226035129768946600838156277807981124001998104980787\ 16434309957421429/3869784952770229118713418918847530450014368783077\ 620691357421886416958536386*c_1001_9^34 + 2440126220495117311533447046261189475109075541511339063373183252704\ 1864005825/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9^33 + 1452956586393548264197178054796450675464509787462969238685496536829\ 3754161547/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9^32 - 1549806197085258187260140642314775028318315669853075555162984480369\ 7433905863/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9^31 + 3730037616397505332780861397306972064340254609559286956684749197072\ 78979190421/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^30 + 4982927340194268852753943574842687032881043645863333336589095262176\ 15672451260/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^29 - 2772857523951168935964138357346818389118447291184146372648857720024\ 55589066541/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^28 - 2947083279855528511551089172119084157717190019797306552932399342300\ 488573102523/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^27 + 4452635702458610618913209324441087863205554134316449149501176770518\ 14612763382/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^26 + 2895847239376631168775997665732712163487750104509088695130884993495\ 038731598794/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^25 - 2457748570951616619211760187701709530830415244579966694362740218242\ 365000786897/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^24 - 2120632537981327776340997194792724153029010177715834143141489663923\ 14384342071/6672043022017636411574860204909535258645463419099346019\ 5817618731326871317*c_1001_9^23 - 276487170280783285120624071808123\ 3997984367387807139972346408482164331870281347/38697849527702291187\ 13418918847530450014368783077620691357421886416958536386*c_1001_9^2\ 2 - 206567385903150161080375600031759812716118427563404927375848668\ 05751986422650127/1934892476385114559356709459423765225007184391538\ 810345678710943208479268193*c_1001_9^21 - 5089389176740269523137740375669651016060642132331855595810383264253\ 4487026024750/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^20 - 4159239346994165820266055740377040235984348007401582410897213850977\ 0108957794153/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^19 + 4613021224103160975722054021392115518715053989356262672119782130544\ 6727171597844/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^18 - 4113650490222796288422808377263384253977740914835970237828658865298\ 4512541563045/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^17 + 2115542718639905751431944650016175464423779734700705352762499652005\ 671046195226/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^16 + 2197230010346570500928353995994472570792577843080866681472212499985\ 41414174804867/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^15 - 3839766298903182076544338219965405856070981361224544206679884098559\ 14734778966936/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^14 - 8352058417635905473879657035611864368653161456753808814419785807767\ 80199459715785/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^13 + 1879940291792972557691964383718036418939879912392954467412102307467\ 46423085996319/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^12 + 2649249089613465230124932929870242266751024185349612784320519154693\ 99424308467293/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^11 - 1358012337283372564153897083169683927415430638225908776025857639922\ 2065686856501/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^10 - 1304784329394985599954667684715268808011739415954028314638842242736\ 98788242272355/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^9 - 2381336022056671416842388495282458017955362149387880964288081553997\ 1512212063777/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^8 - 1544872193965681005570777404624094276216404331386468061729675317817\ 9529023934379/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^7 - 1147664452885618421755105448394701811880925833176308750633449922100\ 4594820170665/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^6 + 6527793178241831503873193118127603340298313181640977968382983499371\ 886144287987/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^5 + 2961366775598019233129019745006921380202025960024358152023918781443\ 522002957138/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^4 + 2729001961542832192259088854892682813546092049950743272398884722595\ 41979301579/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^3 - 3406716770237003337601928578511658700155088320912081042141783416717\ 43637596798/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^2 - 9924319702652672057613270578522880049047829481483744945778973905036\ 3078532623/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9 - 11245776699442065265223799336502441\ 866719022085246153753377365735072452290581/193489247638511455935670\ 9459423765225007184391538810345678710943208479268193, c_0101_3 + 283728240046024897413582013595416024536474717320712722530499\ 6161636738815717/38697849527702291187134189188475304500143687830776\ 20691357421886416958536386*c_1001_9^34 + 5819482145161922279788815701451658429611169796379465995448211380537\ 851963157/193489247638511455935670945942376522500718439153881034567\ 8710943208479268193*c_1001_9^33 + 116158278256339887465897324822811\ 67317636686559453785572659401748795771609217/3869784952770229118713\ 418918847530450014368783077620691357421886416958536386*c_1001_9^32 - 4551799693042888342740570496237292906740386422929224117163812411207\ 282798745/386978495277022911871341891884753045001436878307762069135\ 7421886416958536386*c_1001_9^31 + 694318584650698444853286729910768\ 65976667606977726416262848498570891689055353/3869784952770229118713\ 418918847530450014368783077620691357421886416958536386*c_1001_9^30 + 1253083658879424444133077724376097617590626103238463050300923862880\ 66895553207/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^29 + 3553283088610241148189654046339133387010479693569498887857290268396\ 479251541/386978495277022911871341891884753045001436878307762069135\ 7421886416958536386*c_1001_9^28 - 353485340966794873041783665323334\ 376892011886601498965329390382145330670235760/193489247638511455935\ 6709459423765225007184391538810345678710943208479268193*c_1001_9^27 - 87627800368976862255386875467603014449933893537332704576078162529\ 695802505133/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^26 + 1412953724627491881593820966218926582174691617849293520556595053593\ 419527602805/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^25 - 2926296567644641577666807540755508682400821531853354463925522337663\ 31789865087/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^24 - 5834815025701255510847280604944932792105233751483494510209013151956\ 6211261013/66720430220176364115748602049095352586454634190993460195\ 817618731326871317*c_1001_9^23 - 1862294758534087012134041449154889\ 486590724754811287862521011483111109560343845/386978495277022911871\ 3418918847530450014368783077620691357421886416958536386*c_1001_9^22 - 40372131522835663465690981293945998326743917560586483612479637761\ 39914671372118/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^21 - 2587469285152563259163779185594129319227300609721064385390731243855\ 1573000314779/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^20 - 9920327851637265991355521134225898832604731078080068308966225298543\ 286055327380/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^19 + 8690922508801225893697786770682495680264962648695236595589617982844\ 708578914347/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^18 + 2417924193901290449947992578222199693362626374130571092361485005799\ 402644738241/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^17 - 9706985738014323557110238613695645952281144841852120571273268941888\ 738518900763/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^16 + 2402490585723173621622486885797055952176148801094575263842876704612\ 0286973824687/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^15 - 1247560755019547580881109161455062751838916627223727567180353467081\ 45869231472905/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^14 - 1403520266474329954350272517355776284030706008777911694880998869113\ 49425430857095/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^13 + 5627512864475646582465832474592847344129961841049022384767057134426\ 954551755817/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^12 + 1862141359885250927148400305560331913866694871097326068059296952833\ 06395876833241/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^11 + 3541385787948653937187065719257893850519752102925320751492414483636\ 8899412576533/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^10 - 4748458793841092306823025342117882683166445851434687161683835449818\ 3764063125081/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^9 - 1411315131849249092719773175815098435738017658369136347205753314207\ 8064121329187/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^8 - 1140291192747168730832551144479146473695767975134611319889014231979\ 755769099114/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^7 - 4686815132915146700711358473885352329271763823770285987483679385986\ 794049108759/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^6 + 7431743811683407426881811698099176468937703683082686860018483619660\ 70859573897/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^5 + 1177893495584543326740989486703695391872374146283372201161283924051\ 052335524810/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^4 + 3793107507939037574137286223482906164784514572213933460144454785430\ 75449041259/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^3 - 2404562342089838086072714011238817126213915188210427993333814393750\ 55383394563/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^2 - 8756304232531517274235138335857320097462647228254760944871766679953\ 6681284501/38697849527702291187134189188475304500143687830776206913\ 57421886416958536386*c_1001_9 - 11020857891810703837922492748925969\ 390561831782562570538569568996888242909607/386978495277022911871341\ 8918847530450014368783077620691357421886416958536386, c_0101_8 - 256151637848520781846910069532565079231698341799586040336069\ 0124992915611743/38697849527702291187134189188475304500143687830776\ 20691357421886416958536386*c_1001_9^34 - 6569924185963025982571308170237139762414094008491835712445981407467\ 769125649/386978495277022911871341891884753045001436878307762069135\ 7421886416958536386*c_1001_9^33 + 737020110838948180461118822469226\ 831380727388234958320615319262877992487500/193489247638511455935670\ 9459423765225007184391538810345678710943208479268193*c_1001_9^32 + 3649501615141093639978041536128333491394251201057214919030383922570\ 924281608/193489247638511455935670945942376522500718439153881034567\ 8710943208479268193*c_1001_9^31 - 729792164229634466026471723749111\ 06738691370878835734934278152239878113614905/3869784952770229118713\ 418918847530450014368783077620691357421886416958536386*c_1001_9^30 - 1190902767500926721271579635923703189942422479741898297131735713758\ 72754651677/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^29 + 1154567610414642413666805364310683683049807063734743082665524455106\ 25665422849/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^28 + 3884957039976971426400834121987288172932104458287622257128286924773\ 52280155137/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^27 - 5682271005246694618383681255527965003026682138009033461896024740929\ 44382485107/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^26 - 3666161968467804719032453039029984741918672990062945002405033153859\ 28454940849/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^25 + 8402936515300456619525145747551215065127039209891195101838861834042\ 05227073158/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^24 + 1920924585090374769474635544201616310786807931869294032987530082627\ 0350405229/66720430220176364115748602049095352586454634190993460195\ 817618731326871317*c_1001_9^23 - 1010178850130677181752099936695659\ 875270296640217551608377832978008732911537203/386978495277022911871\ 3418918847530450014368783077620691357421886416958536386*c_1001_9^22 + 76663444636506823741812932464350406159759746228211385510236139923\ 64767777490361/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^21 + 5932879914984135177264825296405248289640116734366750067374276200996\ 563268719363/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^20 - 5766819438270379858757036704412767272302876135808805785837477856001\ 225851931231/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^19 - 1741763113409153644216493839515587107236874003571040196159862114159\ 5136828719105/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^18 + 2272841892885276625332811473006665786356413137352798865646032516421\ 6614993533745/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^17 - 1324179434347515996619084878000421434447052315392051142248004027509\ 6051351705505/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^16 - 3453752267163545517786821721521178774103970054094945408751767612933\ 5955993143413/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^15 + 1711137306475404024805718184265459524016565128484511508518231860681\ 43251897044443/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^14 + 1721592473510003726098033536712437010977852515286186478295005637375\ 9188632939283/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^13 - 1457568751126911278934474005533916089427456633482971553991856229346\ 87677854629453/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^12 + 6524244445160031377617603564441642952738483570793416819391296975450\ 85976080286/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^11 + 2579197258751872515884590329218598765373900369492392771611284867154\ 5623730336012/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^10 - 3164917867945722164331013258902018006306880941844686909827693528043\ 629798733933/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^9 - 3337425280361268830057731841827066769052962497604744268183590946805\ 597386702444/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^8 + 2089295200831049557548582777580771721278721190770275682910657186156\ 827341512517/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^7 - 3836260072411001102971418263139825077420152068755208511882420794546\ 56406979510/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^6 - 9020641199777214013757096098320634052326235663556723998713096519927\ 01962313820/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^5 + 3835850912826854541289774279595976345909030125497760664300736644148\ 45016064121/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^4 + 3203248008956070491676706902197036874532986178244434921578645813351\ 18515298573/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^3 - 1773069050746131530882015644414354642560955878406679764028170407812\ 6770164651/38697849527702291187134189188475304500143687830776206913\ 57421886416958536386*c_1001_9^2 - 105851854392746978312689579594993\ 95645369195817927243452323420772270874027865/1934892476385114559356\ 709459423765225007184391538810345678710943208479268193*c_1001_9 - 1752594344879539335393617518737766917019993174140193251528828795302\ 543838057/193489247638511455935670945942376522500718439153881034567\ 8710943208479268193, c_1001_0 + 283728240046024897413582013595416024536474717320712722530499\ 6161636738815717/38697849527702291187134189188475304500143687830776\ 20691357421886416958536386*c_1001_9^34 + 5819482145161922279788815701451658429611169796379465995448211380537\ 851963157/193489247638511455935670945942376522500718439153881034567\ 8710943208479268193*c_1001_9^33 + 116158278256339887465897324822811\ 67317636686559453785572659401748795771609217/3869784952770229118713\ 418918847530450014368783077620691357421886416958536386*c_1001_9^32 - 4551799693042888342740570496237292906740386422929224117163812411207\ 282798745/386978495277022911871341891884753045001436878307762069135\ 7421886416958536386*c_1001_9^31 + 694318584650698444853286729910768\ 65976667606977726416262848498570891689055353/3869784952770229118713\ 418918847530450014368783077620691357421886416958536386*c_1001_9^30 + 1253083658879424444133077724376097617590626103238463050300923862880\ 66895553207/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^29 + 3553283088610241148189654046339133387010479693569498887857290268396\ 479251541/386978495277022911871341891884753045001436878307762069135\ 7421886416958536386*c_1001_9^28 - 353485340966794873041783665323334\ 376892011886601498965329390382145330670235760/193489247638511455935\ 6709459423765225007184391538810345678710943208479268193*c_1001_9^27 - 87627800368976862255386875467603014449933893537332704576078162529\ 695802505133/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^26 + 1412953724627491881593820966218926582174691617849293520556595053593\ 419527602805/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^25 - 2926296567644641577666807540755508682400821531853354463925522337663\ 31789865087/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^24 - 5834815025701255510847280604944932792105233751483494510209013151956\ 6211261013/66720430220176364115748602049095352586454634190993460195\ 817618731326871317*c_1001_9^23 - 1862294758534087012134041449154889\ 486590724754811287862521011483111109560343845/386978495277022911871\ 3418918847530450014368783077620691357421886416958536386*c_1001_9^22 - 40372131522835663465690981293945998326743917560586483612479637761\ 39914671372118/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^21 - 2587469285152563259163779185594129319227300609721064385390731243855\ 1573000314779/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^20 - 9920327851637265991355521134225898832604731078080068308966225298543\ 286055327380/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^19 + 8690922508801225893697786770682495680264962648695236595589617982844\ 708578914347/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^18 + 2417924193901290449947992578222199693362626374130571092361485005799\ 402644738241/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^17 - 9706985738014323557110238613695645952281144841852120571273268941888\ 738518900763/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^16 + 2402490585723173621622486885797055952176148801094575263842876704612\ 0286973824687/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^15 - 1247560755019547580881109161455062751838916627223727567180353467081\ 45869231472905/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^14 - 1403520266474329954350272517355776284030706008777911694880998869113\ 49425430857095/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^13 + 5627512864475646582465832474592847344129961841049022384767057134426\ 954551755817/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^12 + 1862141359885250927148400305560331913866694871097326068059296952833\ 06395876833241/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^11 + 3541385787948653937187065719257893850519752102925320751492414483636\ 8899412576533/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^10 - 4748458793841092306823025342117882683166445851434687161683835449818\ 3764063125081/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^9 - 1411315131849249092719773175815098435738017658369136347205753314207\ 8064121329187/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^8 - 1140291192747168730832551144479146473695767975134611319889014231979\ 755769099114/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^7 - 4686815132915146700711358473885352329271763823770285987483679385986\ 794049108759/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^6 + 7431743811683407426881811698099176468937703683082686860018483619660\ 70859573897/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^5 + 1177893495584543326740989486703695391872374146283372201161283924051\ 052335524810/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^4 + 3793107507939037574137286223482906164784514572213933460144454785430\ 75449041259/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^3 - 2404562342089838086072714011238817126213915188210427993333814393750\ 55383394563/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^2 - 8756304232531517274235138335857320097462647228254760944871766679953\ 6681284501/38697849527702291187134189188475304500143687830776206913\ 57421886416958536386*c_1001_9 - 11020857891810703837922492748925969\ 390561831782562570538569568996888242909607/386978495277022911871341\ 8918847530450014368783077620691357421886416958536386, c_1001_3 + 844276348549771374957422219645221425676731160394596500131734\ 1085819597956093/38697849527702291187134189188475304500143687830776\ 20691357421886416958536386*c_1001_9^34 + 1562604085493453705567749819826857186087202180246186465571142807482\ 1197154990/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9^33 + 2416595014314653127916945329674548194144782899889945637146907320722\ 3862424281/38697849527702291187134189188475304500143687830776206913\ 57421886416958536386*c_1001_9^32 - 1658324752572825192627570971201802687307814361088813448296021524158\ 9125232375/38697849527702291187134189188475304500143687830776206913\ 57421886416958536386*c_1001_9^31 + 2155488259209381403732826889838213694552495615915743249770148763940\ 46040514579/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^30 + 3269874563405462992732328675053884032895930106579225598338373333086\ 49596073878/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^29 - 1941415634511577794284454145519834826617090442118975332257621454105\ 07456506131/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^28 - 9471437546899360527209932342038381955937439392353892371316898042127\ 63285505639/1934892476385114559356709459423765225007184391538810345\ 678710943208479268193*c_1001_9^27 + 5694244281563789662998050607795045231491987892051446378589887216865\ 2251963326/19348924763851145593567094594237652250071843915388103456\ 78710943208479268193*c_1001_9^26 + 3754011743687156330655225260024769664235506197895289924636236580906\ 959111654069/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^25 - 2115504095254837415142523753253290244569166769390408527570702584326\ 787302114891/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^24 - 1453285794881862033015738877991985247189123315647198776386400367349\ 42517826301/6672043022017636411574860204909535258645463419099346019\ 5817618731326871317*c_1001_9^23 - 314892189104413468391178970931170\ 0172349224570780376363820839716450906449229465/38697849527702291187\ 13418918847530450014368783077620691357421886416958536386*c_1001_9^2\ 2 - 121601105819963385550477104155575201771137911374376270829441142\ 39602063229741306/1934892476385114559356709459423765225007184391538\ 810345678710943208479268193*c_1001_9^21 - 6715744032143440319073076299623098872625798293294443192508102427958\ 1376238973427/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^20 - 1915297212704403094102822146726542722124194705536183257943843881574\ 3832986572474/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^19 + 2684865374542361142630186261207101352059854936339783954984887215382\ 9284210333020/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^18 - 4578050085549850635777270869559632413233948032908703694839457756851\ 732364046926/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^17 - 1064405518787980846417152967159896637264605478193127406610778569433\ 2642502160581/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^16 + 6829494706757682859445980279526435090869560789043856469018856749904\ 6824836224280/19348924763851145593567094594237652250071843915388103\ 45678710943208479268193*c_1001_9^15 - 4225623310336212152009413340668599074759508221362022071703563216025\ 95691107798185/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^14 - 3167887765096819702205213767912227499096951995046859070642859064342\ 76104517814698/1934892476385114559356709459423765225007184391538810\ 345678710943208479268193*c_1001_9^13 + 1460337658993844100908220856739731648546286582283539198554786834327\ 96496721773337/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^12 + 4072285172701652117528997416582515093595500457039092795138705342714\ 99984950906527/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^11 + 2912252628898252417250378996413032518310087532790818947546488975978\ 4259355340995/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^10 - 1009384771742475116420911875249443526484046718047920567211162196502\ 25882301520427/3869784952770229118713418918847530450014368783077620\ 691357421886416958536386*c_1001_9^9 - 2439416972350818919639036154781378001788952255196691228455363002711\ 9671496070043/38697849527702291187134189188475304500143687830776206\ 91357421886416958536386*c_1001_9^8 - 4261445603631854031565407838592252581396026890630265144610829426245\ 494374205067/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^7 - 9732116508609871206456157960929074996162239709346921600097629355831\ 096425407533/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^6 + 3216836668252670350855917863860229094253130132400353412018258622909\ 405721473221/386978495277022911871341891884753045001436878307762069\ 1357421886416958536386*c_1001_9^5 + 2407022756126567286701832989702058397886226699260466698855822128012\ 609068705221/193489247638511455935670945942376522500718439153881034\ 5678710943208479268193*c_1001_9^4 + 5358916265394708246447718034327672630410299487051828523771348576709\ 05215637119/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^3 - 5112224538530272554645910996373602772039955766619633846595868704589\ 65101710537/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9^2 - 1726763600959056760563929315036675637193191195135747530707165707232\ 89358014903/3869784952770229118713418918847530450014368783077620691\ 357421886416958536386*c_1001_9 - 2105345983997100578225061640622659\ 2425463260028809177334999509238925607814775/38697849527702291187134\ 18918847530450014368783077620691357421886416958536386, c_1001_9^35 + 4*c_1001_9^34 + 4*c_1001_9^33 - c_1001_9^32 + 25*c_1001_9^31 + 85*c_1001_9^30 + c_1001_9^29 - 229*c_1001_9^28 - 55*c_1001_9^27 + 442*c_1001_9^26 - 115*c_1001_9^25 - 1060*c_1001_9^24 - 684*c_1001_9^23 - 3019*c_1001_9^22 - 8817*c_1001_9^21 - 7007*c_1001_9^20 + 4779*c_1001_9^19 + 741*c_1001_9^18 - 1365*c_1001_9^17 + 15673*c_1001_9^16 - 45202*c_1001_9^15 - 89464*c_1001_9^14 - 6949*c_1001_9^13 + 51662*c_1001_9^12 + 18918*c_1001_9^11 - 9870*c_1001_9^10 - 6695*c_1001_9^9 - 2145*c_1001_9^8 - 1460*c_1001_9^7 + 8*c_1001_9^6 + 660*c_1001_9^5 + 250*c_1001_9^4 - 32*c_1001_9^3 - 40*c_1001_9^2 - 10*c_1001_9 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 17.280 Total time: 17.489 seconds, Total memory usage: 87.12MB