Magma V2.19-8 Wed Aug 21 2013 00:03:38 on localhost [Seed = 1864958325] Type ? for help. Type -D to quit. Loading file "K13n1888__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1888 geometric_solution 12.19785325 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 -1 0 1 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.573104105863 0.911074242445 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 0 1 -1 0 1 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 0.275818244502 0.852762072750 8 0 10 9 0132 0132 0132 0132 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 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.074475926087 0.914863889873 8 5 6 0 2031 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.389767826905 0.885449205220 11 9 0 7 0132 2103 0132 0321 0 0 0 0 0 1 0 -1 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 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.420918738819 0.569839274562 11 1 12 3 1230 0132 0132 3201 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 -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.577869337379 1.044334511373 10 3 1 9 2103 3201 0132 2103 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 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.435997136873 0.628404964707 8 4 12 1 3120 0321 3012 0132 0 0 0 0 0 1 0 -1 0 0 1 -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 -1 0 1 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.112540588247 0.893759617551 2 11 3 7 0132 1230 1302 3120 0 0 0 0 0 -1 0 1 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 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.942485091572 0.914378176119 12 4 2 6 2031 2103 0132 2103 0 0 0 0 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 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.095023667359 0.874150539375 11 12 6 2 3120 3012 2103 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 0 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.459977444431 1.023689987509 4 5 8 10 0132 3012 3012 3120 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 -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 1.088655897551 1.124066012691 10 7 9 5 1230 1230 1302 0132 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 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 0 0 0.430391054295 0.557304587129 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_9'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_0011_9'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : negation(d['c_0101_3']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_0011_9'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_7']), 'c_0101_10' : d['c_0101_0'], '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0110_6']), 'c_1100_8' : d['c_0101_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0110_9']), 'c_1100_6' : negation(d['c_0110_9']), 'c_1100_1' : negation(d['c_0110_9']), 'c_1100_0' : negation(d['c_0011_12']), 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : negation(d['c_0110_6']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0110_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_9'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_0011_7']), '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_0011_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : 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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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_1'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6']})} 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_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0110_6, c_0110_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 4965993538997933193660744332121039293348480098784571601777351719631\ 357565553090875286437344482898095275/431945285229301471155887026905\ 4665575457882175842163411320898412314705115435737338825423060413933\ 2096*c_1001_1^27 - 408929532415195099551913836821491002235836270355\ 92395599220921689326379161528103888271542511354308988105/4319452852\ 2930147115588702690546655754578821758421634113208984123147051154357\ 373388254230604139332096*c_1001_1^26 + 2654966882523029987278169606120781383580804818047257456866979527119\ 2837610965191261715253590176188853737/61706469318471638736555289557\ 9237939351126025120309058760128344616386445062248191260774722916276\ 1728*c_1001_1^25 - 982592080837787008428585021656465910028513027705\ 0275552087796691299658289037555961783768598713602160897/12704273094\ 9794550339966772619254869866408299289475394450614659185726621042227\ 5687889830311886450944*c_1001_1^24 + 3955229797795068951491286486168416319723747849116260511951537966476\ 24224663080622461879530511491429215297/4319452852293014711558870269\ 0546655754578821758421634113208984123147051154357373388254230604139\ 332096*c_1001_1^23 - 3009853338372503874512043130184918888591916838\ 834536079159918237515029194294553525137165313738759728151/939011489\ 6289162416432326671857968642299743860526442198523692200684141555295\ 08117135961534872594176*c_1001_1^22 + 4347164308092341471696693375764251692962360183762653098393476327988\ 4455935797350541364079344722370715673/18780229792578324832864653343\ 7159372845994877210528843970473844013682831105901623427192306974518\ 8352*c_1001_1^21 - 220897938465549333667204786456755313786013887053\ 4460043688798943968615246111045698446800323517416319602557/43194528\ 5229301471155887026905466557545788217584216341132089841231470511543\ 57373388254230604139332096*c_1001_1^20 + 1665521375688989209299883273953924933300872672007446282373406567243\ 58697948053493036060160848679762926995/2159726426146507355779435134\ 5273327877289410879210817056604492061573525577178686694127115302069\ 666048*c_1001_1^19 + 4088398473105759232140351156571858666895752064\ 025743847423632797483462254896707642185575792061693659438009/431945\ 2852293014711558870269054665575457882175842163411320898412314705115\ 4357373388254230604139332096*c_1001_1^18 + 5239628234967785215045812781819925647137157939895472219299297330395\ 542096125467815649879055956765137907/251130979784477599509236643549\ 6898590382489637117536867047033960648084369439382173735711081636007\ 68*c_1001_1^17 - 29305054529346634914523753667591736689107370127101\ 88493320218756905228113429789795388475612645751197037641/4319452852\ 2930147115588702690546655754578821758421634113208984123147051154357\ 373388254230604139332096*c_1001_1^16 - 1845993337593747679521430446158794299061931239029111753426521809730\ 940775083640529678270272131605366264203/617064693184716387365552895\ 5792379393511260251203090587601283446163864450622481912607747229162\ 761728*c_1001_1^15 + 1065757774559670935537430130748277829713122303\ 439994218197400484034071256383177407032307948961879115951481/539931\ 6065366268389448587836318331969322352719802704264151123015393381394\ 294671673531778825517416512*c_1001_1^14 + 6244371851049341917007572298308661266423311527609149151966946367547\ 805582596554741347360881811349040870783/107986321307325367788971756\ 7263666393864470543960540852830224603078676278858934334706355765103\ 4833024*c_1001_1^13 - 183492831598904013642491175999844937032691107\ 0295778410671217847691571088485831051286886146757761479958827/53993\ 1606536626838944858783631833196932235271980270426415112301539338139\ 4294671673531778825517416512*c_1001_1^12 - 2442205402127521786760111612168356519303171638497520029835104995005\ 97746845426426313160507049033521329641/3176068273744863758499169315\ 4813717466602074822368848612653664796431655260556892197245757797161\ 2736*c_1001_1^11 + 194609109994398909323855086164085048519665600304\ 5562473463335271381049416634344733936688745257043631697997/53993160\ 6536626838944858783631833196932235271980270426415112301539338139429\ 4671673531778825517416512*c_1001_1^10 + 4685020577120464490357650536468880618371749323822467014977396209206\ 03850105437468334888266424859326239995/6749145081707835486810734795\ 3979149616529408997533803301889037692417267428683395919147235318967\ 7064*c_1001_1^9 - 9780265152443013076751044194924796207815362180361\ 524992025702545581518404326153205167740361673398240280419/431945285\ 2293014711558870269054665575457882175842163411320898412314705115435\ 7373388254230604139332096*c_1001_1^8 - 1670946867187107229702971966857311246345539713684158205149616986303\ 4714125845593486178302880686571165209205/43194528522930147115588702\ 6905466557545788217584216341132089841231470511543573733882542306041\ 39332096*c_1001_1^7 + 373173789400334326415140383864489267267820459\ 232082723018029660940193195561035255905859895432291544615383/617064\ 6931847163873655528955792379393511260251203090587601283446163864450\ 622481912607747229162761728*c_1001_1^6 + 5906689613380014817450683767590947329625462639375316267423861420358\ 7000789211137401543450864213423967191/45951626088223560761264577330\ 3687827176370444238528022480946639607947352705929504130364155363184\ 384*c_1001_1^5 + 89669408795589202392168058579328404541737891382791\ 62265612011960819360097044106102370812172041375290335/2699658032683\ 1341947242939181591659846611763599013521320755615076966906971473358\ 36765889412758708256*c_1001_1^4 - 288683116208599828127071020681882\ 9550840516048541309443344743666577437749425094356577107620575531989\ 95221/1079863213073253677889717567263666393864470543960540852830224\ 6030786762788589343347063557651034833024*c_1001_1^3 - 6366786500385580095901457563436486637047416604399890689194820204161\ 4601750486350270701269965868779729675/43194528522930147115588702690\ 5466557545788217584216341132089841231470511543573733882542306041393\ 32096*c_1001_1^2 + 401174796934548051091631533598203976450787001583\ 68739936616045599720002797568988045423662948662449544799/1079863213\ 0732536778897175672636663938644705439605408528302246030786762788589\ 343347063557651034833024*c_1001_1 - 2656497693453959674938277072577502268505542715552022985448238399902\ 7469243621942419010514119656019272929/43194528522930147115588702690\ 5466557545788217584216341132089841231470511543573733882542306041393\ 32096, c_0011_0 - 1, c_0011_10 - 80707654371639734476987629387806182467494735436387482783988\ 3337161058504575/53886353055951502024845747227445256405195387980377\ 90660587491792546054953984*c_1001_1^27 + 6110384160647245936542959050191762793051805115560763647698840886239\ 119400865/538863530559515020248457472274452564051953879803779066058\ 7491792546054953984*c_1001_1^26 - 264468999061316386574756453754363\ 11255474695437773867376294215094769418347187/5388635305595150202484\ 574722744525640519538798037790660587491792546054953984*c_1001_1^25 + 1975970152123149334673318655041029894216669295535337577372635300030\ 9465701491/26943176527975751012422873613722628202597693990188953302\ 93745896273027476992*c_1001_1^24 - 5209186967306623261225171668541099798220572328773597621257209123340\ 0873218465/53886353055951502024845747227445256405195387980377906605\ 87491792546054953984*c_1001_1^23 + 1115607386663044659341645168689432730477143211613675915021300988568\ 9670196617/26943176527975751012422873613722628202597693990188953302\ 93745896273027476992*c_1001_1^22 - 2048618913688337204275768512140732507966491581741216490641175935389\ 18832512531/5388635305595150202484574722744525640519538798037790660\ 587491792546054953984*c_1001_1^21 + 2877022049955887013618576181727390881722389509418865485894661326794\ 24700691957/5388635305595150202484574722744525640519538798037790660\ 587491792546054953984*c_1001_1^20 + 6556280571972862244512109334138124494680433273442805967904994546889\ 136738697/269431765279757510124228736137226282025976939901889533029\ 3745896273027476992*c_1001_1^19 - 389721133939471469274815321893133\ 173098997288308720891782730057105053826830397/538863530559515020248\ 4574722744525640519538798037790660587491792546054953984*c_1001_1^18 - 86169495840102838420675040993554025701260931968637796067950476405\ 874214137503/673579413199393775310571840343065705064942349754723832\ 573436474068256869248*c_1001_1^17 + 4253421357207104358963311608110856917089250754230868400162461879356\ 5697995225/53886353055951502024845747227445256405195387980377906605\ 87491792546054953984*c_1001_1^16 + 2035827732143563031819738899450412325353459682865842466713427713133\ 358853780385/538863530559515020248457472274452564051953879803779066\ 0587491792546054953984*c_1001_1^15 + 8079552783455505455892548086868810555296129218897954287663820679462\ 1279618395/13471588263987875506211436806861314101298846995094476651\ 46872948136513738496*c_1001_1^14 - 1057356723803882063792615377892543175369663927346168167337691181271\ 34417485397/1683948532998484438276429600857664262662355874386809581\ 43359118517064217312*c_1001_1^13 - 2241627961585650574443203754093839049934897338437909316058488155556\ 35381471061/1347158826398787550621143680686131410129884699509447665\ 146872948136513738496*c_1001_1^12 + 1025629220152126165755653453649968430042588398595144050201495845473\ 111555863653/134715882639878755062114368068613141012988469950944766\ 5146872948136513738496*c_1001_1^11 + 4578566040476304515196584311054047304904003469903314138093813906466\ 32272102399/1347158826398787550621143680686131410129884699509447665\ 146872948136513738496*c_1001_1^10 - 7164087954670365075500125952815336450711670839789877319072406249051\ 40064097329/1347158826398787550621143680686131410129884699509447665\ 146872948136513738496*c_1001_1^9 - 2070410684881848072334644197171212817398562642364257140794665675082\ 825763903669/538863530559515020248457472274452564051953879803779066\ 0587491792546054953984*c_1001_1^8 + 7138168752512116111766647031999258776331650070484936224179150556430\ 79903645969/5388635305595150202484574722744525640519538798037790660\ 587491792546054953984*c_1001_1^7 + 1155419644892536380112058976449594289639781220203816403257951157441\ 567372290815/538863530559515020248457472274452564051953879803779066\ 0587491792546054953984*c_1001_1^6 + 1293021769758376304148807087761440575604427545367223833483922456971\ 34905526191/2694317652797575101242287361372262820259769399018895330\ 293745896273027476992*c_1001_1^5 - 1241485494680330149444712982845957574571935907789497222876350376520\ 3365282105/33678970659969688765528592017153285253247117487736191628\ 6718237034128434624*c_1001_1^4 - 3316176988454194274909982641350055\ 3633528648519702144652051557507565526367919/13471588263987875506211\ 43680686131410129884699509447665146872948136513738496*c_1001_1^3 - 4738453329164544841834448436240326030383467062424829676181931065257\ 0753811729/53886353055951502024845747227445256405195387980377906605\ 87491792546054953984*c_1001_1^2 - 116106994690446704223070100082710\ 4482226817134703479707467801150444242311439/67357941319939377531057\ 1840343065705064942349754723832573436474068256869248*c_1001_1 + 1778529906034524609895743379522268760481422489392540349165139119017\ 94704345/5388635305595150202484574722744525640519538798037790660587\ 491792546054953984, c_0011_11 - 21742605585086134121276782273236646497063654969724998823381\ 320153241398315625/188602235695830257086960115296058397418183857931\ 32267312056221273911192338944*c_1001_1^27 + 1728242438737079144049657299565603915587726794290173009117022135141\ 71934496725/1886022356958302570869601152960583974181838579313226731\ 2056221273911192338944*c_1001_1^26 - 1109278435783001015981940046111499389421211421700653734857911642898\ 20076569135/2694317652797575101242287361372262820259769399018895330\ 293745896273027476992*c_1001_1^25 + 3374743964339085068788799930082007421613956730533278653792379849314\ 47127399679/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^24 - 1884572796177927358075528840883794595950804946679669757266728730656\ 950993244321/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^23 + 6550654189199351467759631034432828418536605018723135902002255678951\ 50915123795/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^22 - 6053609694212980333834739379780121172789797935423179645948978283648\ 834672516081/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^21 + 1019131625838265808377414134779427110896197353761037565455668779203\ 4368240348813/18860223569583025708696011529605839741818385793132267\ 312056221273911192338944*c_1001_1^20 - 1678726540540806658877651013213621145051630801861791534898325685563\ 248051959337/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^19 - 9180810330634199893623688309540517065182848083466576641594540463040\ 088523960399/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^18 - 8016423847517038362808044883772905164558954160230058660905984444096\ 376925931889/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^17 + 8511125845004139198906521263031894312979327070890164368154979300160\ 252575323429/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^16 + 7576028345831014567614088123264132631736166425583399799809954593521\ 678113767213/269431765279757510124228736137226282025976939901889533\ 0293745896273027476992*c_1001_1^15 - 5267250384788203727134279019283604714339991732108452523173164236806\ 019678209541/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^14 - 4559437885917601720454413225525817217206286863049710838358222510637\ 4362661879427/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^13 + 3422510698884806144139369494491195495049079628936664761987314618309\ 322920786895/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^12 + 5792281303044487673700872761464304450856948553460837910856769488585\ 8101779418951/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^11 + 5909090012880238990919479327164996162527269501631293986680067852810\ 671841548711/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^10 - 4563144551243932607093954644969959793936305120406065806927743325070\ 2383933138781/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^9 - 3020731256516304210284996165096969864855400731801954659815957530384\ 6717254263817/18860223569583025708696011529605839741818385793132267\ 312056221273911192338944*c_1001_1^8 + 3801174845780497186234115653349140038043854410685502143342422590650\ 3039931336507/18860223569583025708696011529605839741818385793132267\ 312056221273911192338944*c_1001_1^7 + 3583255180813036040100293343418636595527250818748991865272667724735\ 384761337805/269431765279757510124228736137226282025976939901889533\ 0293745896273027476992*c_1001_1^6 - 2362133302400821607417205388367629564736287582251685877346870944742\ 021397039925/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^5 - 1009253011669706171436418008246717094045365251790052467986275667538\ 803651412637/235752794619787821358700144120072996772729822414153341\ 4007027659238899042368*c_1001_1^4 - 3415380149223383134570751499778314902220826703920988063170832566705\ 58001641455/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^3 + 4776520736275246326600103800633221756547994720256187190418515748677\ 82943315097/1886022356958302570869601152960583974181838579313226731\ 2056221273911192338944*c_1001_1^2 + 4625171114921430089752792692041053207141989475656740767422302126270\ 9481103277/94301117847915128543480057648029198709091928965661336560\ 28110636955596169472*c_1001_1 - 72573154106866858026885834322720740\ 974672363287821742644025428770613926284543/188602235695830257086960\ 11529605839741818385793132267312056221273911192338944, c_0011_12 - 39272337585250186028130266515411039645995049087289062748232\ 847356632982995525/377204471391660514173920230592116794836367715862\ 64534624112442547822384677888*c_1001_1^27 + 3101694409535770007763169053074580934068246139512378381952975274272\ 81791880155/3772044713916605141739202305921167948363677158626453462\ 4112442547822384677888*c_1001_1^26 - 1980225383863689077274186449881018709614910893175350570802426496171\ 56060409607/5388635305595150202484574722744525640519538798037790660\ 587491792546054953984*c_1001_1^25 + 1181727675769507614221127798873233875572001183837809184473570801222\ 714623783769/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^24 - 3266730368802687818018095911304405017285292292994275720488055868750\ 171557626043/377204471391660514173920230592116794836367715862645346\ 24112442547822384677888*c_1001_1^23 + 1094035365785037647292029609837875181011323740132573544623345707499\ 435732500363/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^22 - 1082938646425367036639427401753704543342861329783971125608294052310\ 1934787349873/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^21 + 1792989716367847870821347559217848332889803866920353509394777523191\ 0047408601159/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^20 - 2553366217465817580023959021495295443139956446282860942376066041335\ 424218139757/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^19 - 1685450769775410340260051613937854642369162706078476362374084714254\ 3393991047567/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^18 - 3777478464809774985227882447994582261849139170741711771199001904751\ 644589852713/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^17 + 1464431152563297922792644047409045956400652610318902748062326645669\ 5934941782323/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^16 + 1383024011982216295042290003222043863062221269769800661178876232659\ 8180441562317/53886353055951502024845747227445256405195387980377906\ 60587491792546054953984*c_1001_1^15 - 3450259465495158051944195776867346899218038034851608645827082024489\ 186488306367/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^14 - 1046337861985602130191084962141481864032697085908660089773094486355\ 5574674663517/23575279461978782135870014412007299677272982241415334\ 14007027659238899042368*c_1001_1^13 + 7989867313934053185362218096249652528128063824238592588153997565019\ 38315468521/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^12 + 5329914278467863355458726065890358182490851797270315584970330794390\ 4544823198579/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^11 + 8265769272191300864290741409120913395695665410465224204411184421364\ 530761947229/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^10 - 4193128708403290669889654818978974007562952253261784443384978687823\ 2153383765639/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^9 - 6459742191934298919938956456286086727383339451505882758487095168560\ 3511546631671/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^8 + 6900162473688062856569332225723419785128268706647833542079696828544\ 5239966170395/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^7 + 7147582585951641645356529079422297157338709312027939257007503607046\ 561951105987/538863530559515020248457472274452564051953879803779066\ 0587491792546054953984*c_1001_1^6 - 3577151496327966300831862431396428616065521789586653121541377718397\ 546152746795/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^5 - 9695285303206665020835870465046007121895601485908287599757967238703\ 14581038565/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^4 - 8310342802721394833730035077065017247547355032101754387911268070057\ 82340519085/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^3 + 8007112017471935367866121233094866874899743780663308765518649251309\ 72349764469/3772044713916605141739202305921167948363677158626453462\ 4112442547822384677888*c_1001_1^2 + 3361268252975006695990310642551309946040829847622707736368264648626\ 4080725599/47150558923957564271740028824014599354545964482830668280\ 14055318477798084736*c_1001_1 - 66552375574657582117479844492295758\ 040741104547811743084677045862796057598957/377204471391660514173920\ 23059211679483636771586264534624112442547822384677888, c_0011_3 + 347283227965763203281560967741688176644304923304258821369246\ 9307077940637425/47150558923957564271740028824014599354545964482830\ 66828014055318477798084736*c_1001_1^27 - 5646739178836044806439000153698170093021857667196498331095680384949\ 0074439045/94301117847915128543480057648029198709091928965661336560\ 28110636955596169472*c_1001_1^26 + 4619517474088627618418838643056599245476788296069634701104094529606\ 201167081/168394853299848443827642960085766426266235587438680958143\ 359118517064217312*c_1001_1^25 - 4811976726757963241578377316367509\ 16183269462713334230673303372390773325735817/9430111784791512854348\ 005764802919870909192896566133656028110636955596169472*c_1001_1^24 + 7027041929182755138442008857228755999096197932159979037875120160846\ 39290565155/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^23 - 1416391844312424166166449233948171517210366844806392535282885927761\ 83132456837/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^22 + 5165249957963129645636587033621499544543037974009790896103130123429\ 61940344441/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^21 - 3646839445748818309453844548042952090113198193054515834623250093342\ 570976989135/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^20 + 4620988987591206311899183257966695389286854358659889047012218599571\ 67058071491/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^19 + 1525991625935874692217918885914402059879278405257730441713627820447\ 42724448049/5893819865494695533967503603001824919318245560353833535\ 01756914809724760592*c_1001_1^18 + 4711810844061940428218525969756344075179166775054759114843560087336\ 311038120797/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^17 - 3417057417830911415257535855788281247670592602634602834603009650172\ 727399615773/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^16 - 1422376818853125289114904442121760258822889320430273031483942007390\ 09942923109/8419742664992422191382148004288321313311779371934047907\ 1679559258532108656*c_1001_1^15 + 621395002394065722780938510505095\ 8026499155917444311406394136520042241865318503/94301117847915128543\ 48005764802919870909192896566133656028110636955596169472*c_1001_1^1\ 4 + 270979704415566296912164573315432728862071804506146015116428065\ 22210951017990991/9430111784791512854348005764802919870909192896566\ 133656028110636955596169472*c_1001_1^13 - 7203965381990512023467613989885117266907599806422397573187870538421\ 217414289093/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^12 - 3410844769177503637861961909567182376279889512892175015462804932024\ 4294665561445/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^11 + 2800783034089826264973033159022158668545058450855723006723533903145\ 340529851171/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^10 + 2664844611763702513173186159571183396380854601041286531976950843854\ 1865839704259/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^9 + 4077844867692122737258448772367969422901607574919399256817579559434\ 366481020897/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^8 - 2858790997968648162294079321099291518396251178458268223405757417146\ 790574504823/235752794619787821358700144120072996772729822414153341\ 4007027659238899042368*c_1001_1^7 - 7351879905459318751775431592023562595990059908866392331350578735329\ 57621077417/1347158826398787550621143680686131410129884699509447665\ 146872948136513738496*c_1001_1^6 + 9284950647716855826530199715723030833897843473138292451308199058402\ 04107931333/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^5 + 4518355868333976984946138192573112887122018511492046033556685516763\ 29387592841/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^4 + 4930580690128249776522831468356614796968115690604989423828699937012\ 8322676467/23575279461978782135870014412007299677272982241415334140\ 07027659238899042368*c_1001_1^3 - 455038418194404259255186808696202\ 66466086449537616935870282379182099507213477/4715055892395756427174\ 002882401459935454596448283066828014055318477798084736*c_1001_1^2 - 1400428529987768423767785491493245319491340705462481780427188681533\ 4015078433/94301117847915128543480057648029198709091928965661336560\ 28110636955596169472*c_1001_1 + 11869246949220659989581243531667190\ 495102387945168521716174875610322353755133/943011178479151285434800\ 5764802919870909192896566133656028110636955596169472, c_0011_7 + 171853258879118589512109747876258747720245341342536844034144\ 78323521266396925/9430111784791512854348005764802919870909192896566\ 133656028110636955596169472*c_1001_1^27 - 1704748412132730713216826865971046211319052183485778141123461829307\ 2609154695/11787639730989391067935007206003649838636491120707667070\ 03513829619449521184*c_1001_1^26 + 8734949944429277949525582861186286788947403592857660200265966159194\ 6220940129/13471588263987875506211436806861314101298846995094476651\ 46872948136513738496*c_1001_1^25 - 1054260851399061221937978735266515824227007846530882322600960273529\ 426154724453/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^24 + 7261505268031702750645848155917357854528967374672054411193089632997\ 79803139229/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^23 - 4817691189695354701975615653727264639608736862349565352158295056075\ 96408389529/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^22 + 4688558108521043220312391223500656758677869664388640373281382633043\ 176578587395/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^21 - 3954962265360711285562476975144802214881737962673402772115427208272\ 587214249883/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^20 + 1179967404355713729808560147751131283225700468335688077613956518445\ 904335765345/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^19 + 7691008870539466035623164309771234793953889896706895196256245142241\ 265671191893/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^18 + 1241500799068926576641405369469158341299847592860254352734857653883\ 8355801570263/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^17 - 1665666010039443654988107133327485623756535063521083039101406718283\ 431243647691/235752794619787821358700144120072996772729822414153341\ 4007027659238899042368*c_1001_1^16 - 6028279281148115667620371836127171982182530576744881229869369087297\ 371988988511/134715882639878755062114368068613141012988469950944766\ 5146872948136513738496*c_1001_1^15 + 8305063596850872897469332172493412963722210505237672601603378246411\ 635296875041/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^14 + 7323331982702554061512511014117337685962296952159171195698359206392\ 3669727890961/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^13 - 5904740542155157549464924416392062276091109498300489947393047825536\ 212229363531/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^12 - 9338734029129544557854072764869418629582882353639177321123382417800\ 1512154199927/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^11 - 8289902957577370342688066898547369995645689529793782033617695262644\ 383287201259/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^10 + 7410749925336725052301451474465994096572950394643425432174454196527\ 7369225447857/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^9 + 7046291690535965066283730136013655618051496219285086120573897893473\ 90409820151/2946909932747347766983751801500912459659122780176916767\ 50878457404862380296*c_1001_1^8 - 314846981603728675095442405694224\ 77381523100901494118857271333862227168437729713/9430111784791512854\ 348005764802919870909192896566133656028110636955596169472*c_1001_1^\ 7 - 169055975518249867181835049216553914238323432598127908826266331\ 684416967262175/841974266499242219138214800428832131331177937193404\ 79071679559258532108656*c_1001_1^6 + 2742542289162190676181812617153727774325025755355752380531292832271\ 52877344667/5893819865494695533967503603001824919318245560353833535\ 01756914809724760592*c_1001_1^5 + 153124926307821302144722279172238\ 4309256092777462164125760575327640670877618413/23575279461978782135\ 87001441200729967727298224141533414007027659238899042368*c_1001_1^4 + 10870939935748598943159809208556768880168499890156897790805399753\ 0728736296233/11787639730989391067935007206003649838636491120707667\ 07003513829619449521184*c_1001_1^3 - 3632081349182428175128801209196455159209611213235375207227493614935\ 95811737101/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^2 - 3023691003471979349648926212159558239912003660593805050649529436673\ 1129097235/94301117847915128543480057648029198709091928965661336560\ 28110636955596169472*c_1001_1 + 21226187835552560626262859354057130\ 710636319414814770909175643390404746881997/471505589239575642717400\ 2882401459935454596448283066828014055318477798084736, c_0011_9 + 424745000392952147251821397121595289478080837949480880655353\ 78073061162755025/3772044713916605141739202305921167948363677158626\ 4534624112442547822384677888*c_1001_1^27 - 3358327375566278971756227077537379836510301425421929172365234807800\ 06267751855/3772044713916605141739202305921167948363677158626453462\ 4112442547822384677888*c_1001_1^26 + 2147031638421553330489758591629433614964783357153741760168310242295\ 70694285147/5388635305595150202484574722744525640519538798037790660\ 587491792546054953984*c_1001_1^25 - 1287463192133442198326115295056304083471157689447495911762118898571\ 577563730173/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^24 + 3577861115042110248738158853683299906167242170390252024002924675114\ 247222122927/377204471391660514173920230592116794836367715862645346\ 24112442547822384677888*c_1001_1^23 - 1208765054829722000736263901736140432472455811539857275450151612655\ 895583579287/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^22 + 1173823211584524165212980701007785038163547993003308201344241468423\ 3214646551005/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^21 - 1942593180725809219607245088591642271719995028230412941622465289545\ 7617592031739/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^20 + 2889616838437953709067903093588128443163245248961321497615645191929\ 846606509145/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^19 + 1812891883286189497093961769498341233914240520441166414194574314918\ 0953954250867/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^18 + 4016194422646042215613178189509595623129483274985796432056127403226\ 281134375333/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^17 - 1523446916143281778127877607651147034794286895236762825596220416245\ 2637128663511/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^16 - 1488558061321946332262842594338198890442994437675156441650613097057\ 9271632054777/53886353055951502024845747227445256405195387980377906\ 60587491792546054953984*c_1001_1^15 + 4060523346416606206002401890468121291449207439720072565077193908833\ 882617086659/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^14 + 5583995795157574515604490267269380953555638847640438046401113705859\ 826298406259/117876397309893910679350072060036498386364911207076670\ 7003513829619449521184*c_1001_1^13 - 1415592038635624830379579424238244313547524950957419721006344354086\ 756711664189/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^12 - 5658222679134966759295892532145223934356296296897685323814951803161\ 1691648539515/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^11 - 8236899194540929899574144439117955916856656636294807312543893250004\ 613466815833/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^10 + 4417788182414327428593058042484430498004994623802859521136061651395\ 7359874750943/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^9 + 6687756129609519782515348505522739751746945116262639582505105603090\ 5605365875675/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^8 - 7138666144580384254508767533193083125470236239115878832358996632155\ 4615392646975/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^7 - 7497748070634538732434472078196828728080630386426009081619770880195\ 875870582887/538863530559515020248457472274452564051953879803779066\ 0587491792546054953984*c_1001_1^6 + 3448906254724878400916802864773986893524884780437942063887368979191\ 187605804543/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^5 + 1017065329156670999128064286570946609275357505124469689592475912464\ 442757907971/235752794619787821358700144120072996772729822414153341\ 4007027659238899042368*c_1001_1^4 + 8806937312523674048853108401008081688673143689980651175855462071853\ 09220864881/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^3 - 7522069816660523369423681363494538725218397484772130916851411370114\ 85950424097/3772044713916605141739202305921167948363677158626453462\ 4112442547822384677888*c_1001_1^2 - 3542617535657057856590285214460733791106054625297730965993470801115\ 5078100099/47150558923957564271740028824014599354545964482830668280\ 14055318477798084736*c_1001_1 + 80243004601419376474051969785233696\ 009116902604148489382115080412654144759081/377204471391660514173920\ 23059211679483636771586264534624112442547822384677888, c_0101_0 + 176446595634424338960385493201587270741897293184742305940395\ 8591229003414975/37720447139166051417392023059211679483636771586264\ 534624112442547822384677888*c_1001_1^27 - 8406499816450665702902588551096770462947783251524115568277597575002\ 346830745/377204471391660514173920230592116794836367715862645346241\ 12442547822384677888*c_1001_1^26 + 2034099119364257676792409549715896504281934905004724051467334904145\ 730571413/538863530559515020248457472274452564051953879803779066058\ 7491792546054953984*c_1001_1^25 + 625066384739931130850299751011273\ 50843644298447305771776114505503881104973025/1886022356958302570869\ 6011529605839741818385793132267312056221273911192338944*c_1001_1^24 - 35177859651283957997350151082256169616279398500989042635988038251\ 9171477777047/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^23 + 3370710403614582940424426828257857537542133128863030742191039934625\ 63554482175/1886022356958302570869601152960583974181838579313226731\ 2056221273911192338944*c_1001_1^22 - 2565210081748403930648912027317913857475315011239994239978229123083\ 39183244173/3772044713916605141739202305921167948363677158626453462\ 4112442547822384677888*c_1001_1^21 + 1046160679797792863626775880371234582286723488265944416468713160455\ 458338708659/377204471391660514173920230592116794836367715862645346\ 24112442547822384677888*c_1001_1^20 - 1755376813383225863922692298926467100564172128293067097863075792752\ 010531322665/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^19 + 3814078675362544488660445889157121654408427561729171745668310995424\ 425337076813/377204471391660514173920230592116794836367715862645346\ 24112442547822384677888*c_1001_1^18 + 4153402309035040320635325054561352884234634612768981458576636848076\ 3420696615/58938198654946955339675036030018249193182455603538335350\ 1756914809724760592*c_1001_1^17 + 160355559400357577735122282442774\ 2785768517799999797643175744838761933787769535/37720447139166051417\ 392023059211679483636771586264534624112442547822384677888*c_1001_1^\ 16 - 12584529541641271760797271283116364108184239619665514727967158\ 22398130543157575/5388635305595150202484574722744525640519538798037\ 790660587491792546054953984*c_1001_1^15 - 2556100267153714614837785868052450415314190266723268386643299243882\ 737543336789/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^14 + 2496957230132161635373995644490185818613898806227251881167705620148\ 793189040385/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^13 + 4508164383536761210561074586460669318960061586335968273350095500920\ 524258225771/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^12 - 7222156027527149307221804319392361611693788477512617751834547556222\ 895963616395/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^11 - 5970669267691859136599609204084519204477044158386293743906892339927\ 771815161105/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^10 + 6824930579954571910952466048233334598656812812287122765057073962259\ 264825709187/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^9 + 2092365323100529021051578825774781263517804528124145881291273066505\ 4310613083725/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^8 - 1459659386485455860685569369100712560501191859471387701591462748580\ 6212186091569/37720447139166051417392023059211679483636771586264534\ 624112442547822384677888*c_1001_1^7 - 1662415374082285067280154396604220744228678313260464002592466914233\ 478661792465/538863530559515020248457472274452564051953879803779066\ 0587491792546054953984*c_1001_1^6 + 1654902768129572553863913366623061070997668878008602530767821086977\ 540633641865/188602235695830257086960115296058397418183857931322673\ 12056221273911192338944*c_1001_1^5 + 2477693741659342840534558535523994927048658562709586930196617161818\ 28761756453/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^4 + 2170553384781200674827089004718584288824658886443299444056572896673\ 4134917167/94301117847915128543480057648029198709091928965661336560\ 28110636955596169472*c_1001_1^3 - 697771184080719484652430381402885\ 441275114120385094030341548707248433190687311/377204471391660514173\ 92023059211679483636771586264534624112442547822384677888*c_1001_1^2 - 46761773266369221332279901453276061460685757721559553492548721833\ 72641574255/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1 + 2180312535913011228632811621860283\ 4505388935490167745959226609537771128247471/37720447139166051417392\ 023059211679483636771586264534624112442547822384677888, c_0101_1 - 461030839667293565810973841928633634306175428965894721581984\ 3905571556505175/47150558923957564271740028824014599354545964482830\ 66828014055318477798084736*c_1001_1^27 + 1821833683684035692918328393143154924305303621788103247493871204274\ 6867889005/23575279461978782135870014412007299677272982241415334140\ 07027659238899042368*c_1001_1^26 - 2329340099788060849148089502485735698073109898639954576455552190837\ 2905837469/67357941319939377531057184034306570506494234975472383257\ 3436474068256869248*c_1001_1^25 + 279284797818340263314058007117933\ 435564103636115778704938244591752598356033351/471505589239575642717\ 4002882401459935454596448283066828014055318477798084736*c_1001_1^24 - 48614264726806782564264535412177140809826644733717295844178490934\ 653304537069/589381986549469553396750360300182491931824556035383353\ 501756914809724760592*c_1001_1^23 + 3292645017447411173056050513647220729121330427914483743819412205445\ 2300851607/58938198654946955339675036030018249193182455603538335350\ 1756914809724760592*c_1001_1^22 - 127644607989102124187126360578753\ 4932672364356998097566521433505842478787063331/47150558923957564271\ 74002882401459935454596448283066828014055318477798084736*c_1001_1^2\ 1 + 105320198832874539588978488002611074064466997615066888771935810\ 5809264874183711/23575279461978782135870014412007299677272982241415\ 33414007027659238899042368*c_1001_1^20 - 3165727144328068624339355536674680582629218650204401295344594600368\ 38538447955/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^19 - 1951442455912529492799024070420765559016254893219929315268460045758\ 413400892683/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^18 - 3494782772193041371775638542652689962957907493268004171989279906286\ 434604071263/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^17 + 2030069618550174948543187302682360427685124712220405573990225455153\ 85271217291/5893819865494695533967503603001824919318245560353833535\ 01756914809724760592*c_1001_1^16 + 1610201559945732474958295410632830003968794477235178896437248336279\ 225209040449/673579413199393775310571840343065705064942349754723832\ 573436474068256869248*c_1001_1^15 - 1721030695327622120470919857799835228110318687395208501187333354787\ 379710880897/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^14 - 1926937844061023916156436901750124513751045700466032310195237109518\ 9825619009231/47150558923957564271740028824014599354545964482830668\ 28014055318477798084736*c_1001_1^13 + 5607507732288646442380673943661088571207992478077041549411711097177\ 00925079391/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^12 + 2438987466344306445232612046088271932376980285338419595084271355806\ 6341935014845/47150558923957564271740028824014599354545964482830668\ 28014055318477798084736*c_1001_1^11 + 3564128533348470995631942304535352908822210196476061544600969373734\ 885835587219/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^10 - 1890053754167738857059054599801026458319203313296798851837247646394\ 3460175088183/47150558923957564271740028824014599354545964482830668\ 28014055318477798084736*c_1001_1^9 - 3582896542760125366219920693388111322663821019827004210285316830021\ 150887887029/235752794619787821358700144120072996772729822414153341\ 4007027659238899042368*c_1001_1^8 + 7523634883966917960766082857335285792587351397245625696585514609662\ 310072964161/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^7 + 1978800912276132889274752045067787994420386388370324769393014122264\ 29388461101/1683948532998484438276429600857664262662355874386809581\ 43359118517064217312*c_1001_1^6 - 160378715874702373858424020076386\ 986426787579848109147780225703084225772608621/117876397309893910679\ 3500720600364983863649112070766707003513829619449521184*c_1001_1^5 - 1038903374430684071886658331727035559495606009127535596046704259863\ 42937130355/2946909932747347766983751801500912459659122780176916767\ 50878457404862380296*c_1001_1^4 - 101738192630502121728881237943284\ 195866760852049938047718838623518463141490821/117876397309893910679\ 3500720600364983863649112070766707003513829619449521184*c_1001_1^3 + 6058985098745788495499186945341625151695009624010892103610117698089\ 1873236299/47150558923957564271740028824014599354545964482830668280\ 14055318477798084736*c_1001_1^2 + 272769394413923380247383113800508\ 97241340519990350911139631493002444951391227/4715055892395756427174\ 002882401459935454596448283066828014055318477798084736*c_1001_1 - 4459144545946057542139460620871746770819482136258901111450931119353\ 451690841/235752794619787821358700144120072996772729822414153341400\ 7027659238899042368, c_0101_3 - 330190862016498176264637850110856010065868675913903224055518\ 0420964463436725/47150558923957564271740028824014599354545964482830\ 66828014055318477798084736*c_1001_1^27 + 5265111605646580390690238236621359337077971822600271536765830712664\ 8435259565/94301117847915128543480057648029198709091928965661336560\ 28110636955596169472*c_1001_1^26 - 8444510333806437042901788741905354275486187129080393625912086498154\ 060628589/336789706599696887655285920171532852532471174877361916286\ 718237034128434624*c_1001_1^25 + 4098103900380378515722527108533009\ 06087566659608750568734963002588388805687285/9430111784791512854348\ 005764802919870909192896566133656028110636955596169472*c_1001_1^24 - 5536279737038668952013653505278851583591834473876211562038360419953\ 07572646339/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^23 + 2174614028766810792826230860393702266859546018903474280585083803033\ 9292320267/58938198654946955339675036030018249193182455603538335350\ 1756914809724760592*c_1001_1^22 - 136620283417583504402329522518551\ 57281330166434642622569820431597863116473097/7367274831868369417459\ 3795037522811491478069504422919187719614351215595074*c_1001_1^21 + 3039833826652416944593719614969240653991985309677357466864868704187\ 948513168395/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^20 - 2160423135505939144680396021548754939517541384495824011790094511255\ 09760485071/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^19 - 4059304251263476912387800666794862552442476993834556973243660932040\ 72673148697/1178763973098939106793500720600364983863649112070766707\ 003513829619449521184*c_1001_1^18 - 4389414509568194477803892321226117755554280484579440472916325058177\ 024849422821/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^17 + 2830657810927743728038470178028139881661089759505463764031928836616\ 793364361969/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^16 + 2908909731776360426325259906221374437926171199151079385448190448673\ 76906918951/1683948532998484438276429600857664262662355874386809581\ 43359118517064217312*c_1001_1^15 - 4210743296772903119067057177302821522875482454457235863005697277460\ 132608585311/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^14 - 2893449177951768100772238311213219087517391502147649638944165932631\ 7098372712283/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^13 + 4417167424401751662341772268959231310226534724610984278171980905459\ 121874593285/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^12 + 3731037176474875697780636130491196796708658501346053420528035164032\ 2592869796417/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^11 + 1240304467986087876769654413630698734406153720559235414498533763393\ 64480304565/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^10 - 3043296867876261596986208040013262471541094195520289523582125699229\ 7292891862319/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^9 - 5876645436511752252750555494064488014693842702700812022855125924402\ 873156649129/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^8 + 8691767942418042411655736248121592599053462467961116637508710004893\ 93177620851/5893819865494695533967503603001824919318245560353833535\ 01756914809724760592*c_1001_1^7 + 840514828637742221433118495382143\ 359361517717137585599970645073859204107681965/134715882639878755062\ 1143680686131410129884699509447665146872948136513738496*c_1001_1^6 - 1335996534271000101022683934985047304408556075747006077263615641810\ 203509771757/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^5 - 5249451366616142192620343974265465340303199720906422426740547776972\ 10614130947/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^4 - 1445824968025531290627455244599096751183718176438002427526823767557\ 3271488481/23575279461978782135870014412007299677272982241415334140\ 07027659238899042368*c_1001_1^3 + 799620560744329141635002865523186\ 62903458497090798379957759786344562532078917/4715055892395756427174\ 002882401459935454596448283066828014055318477798084736*c_1001_1^2 - 3788141802171888133431945126448536066081075551817375832996677079006\ 188969015/943011178479151285434800576480291987090919289656613365602\ 8110636955596169472*c_1001_1 - 101819213493557385971853854890476831\ 63173828391763531619410845135449689458577/9430111784791512854348005\ 764802919870909192896566133656028110636955596169472, c_0110_6 - 709247891269514008780962961863984156280403625398059756453531\ 3781946402637325/94301117847915128543480057648029198709091928965661\ 33656028110636955596169472*c_1001_1^27 + 2806262081162869161591647760108603386194991854783531334361882174985\ 9788998545/47150558923957564271740028824014599354545964482830668280\ 14055318477798084736*c_1001_1^26 - 3593041921378043674362177241274316627831332480835599466096042073597\ 0016804741/13471588263987875506211436806861314101298846995094476651\ 46872948136513738496*c_1001_1^25 + 4331393573298227753252664400344650403438711541019152627633557200740\ 86353768795/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^24 - 7590430278092652580897401390999820732012809846926655384447229309091\ 3075362393/11787639730989391067935007206003649838636491120707667070\ 03513829619449521184*c_1001_1^23 + 2104682853733575754191009190133435052589061542638676042786029002510\ 43173078717/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^22 - 1980045705623897518330765524888663244641343432704982560692986229610\ 893458171303/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^21 + 8173888565876698985899514281362669199666185153432872233136119419720\ 19487801141/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^20 - 5164025268813904560643123876895894515186125002725756005463453203144\ 69146666273/4715055892395756427174002882401459935454596448283066828\ 014055318477798084736*c_1001_1^19 - 2920368731645412795745291246998278876382933830916347301663111046465\ 951394983857/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^18 - 5378224322127918325075778460946621387454031320094875742264795606234\ 351539517877/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^17 + 1238221348332617274201591924719066763027071643765277179344615331752\ 108565320503/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^16 + 2472622619768620187053427847141563425364750389597435318119636925136\ 317065180387/134715882639878755062114368068613141012988469950944766\ 5146872948136513738496*c_1001_1^15 - 2684060007920774879104434487559846813469141747130779941543067998708\ 780797155195/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^14 - 2929723128871457489901103220452626572377890326952270061367679195460\ 2170943073075/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^13 + 8538492985089690228313689177611515290308806138154149924621169875390\ 58304559577/9430111784791512854348005764802919870909192896566133656\ 028110636955596169472*c_1001_1^12 + 3692622552874054818013684717557779636386501447972505429718813969400\ 6580671939645/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^11 + 5575862211562348816380393644576215993034971899836958355976536793424\ 555523587369/943011178479151285434800576480291987090919289656613365\ 6028110636955596169472*c_1001_1^10 - 2830134449936147439071283436770912340951727096341486136109570846036\ 3493029222235/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^9 - 5608616741796030413748908257558264567567459801922316768201639789851\ 797991451129/471505589239575642717400288240145993545459644828306682\ 8014055318477798084736*c_1001_1^8 + 1089503819699110085299301626022634205149479725338205244095393132127\ 7266181211325/94301117847915128543480057648029198709091928965661336\ 56028110636955596169472*c_1001_1^7 + 6155159692165508864697187957754474457318156881697560597123404455913\ 43888107989/6735794131993937753105718403430657050649423497547238325\ 73436474068256869248*c_1001_1^6 - 161850851208862109786655102919366\ 548873701692011064560931602373603634935217061/235752794619787821358\ 7001441200729967727298224141533414007027659238899042368*c_1001_1^5 - 6315958931639191577421479172119279995917004123814967753228173417218\ 68118734675/2357527946197878213587001441200729967727298224141533414\ 007027659238899042368*c_1001_1^4 - 5460798541839657475232860768024503056513201323362910623839222948714\ 337921859/736727483186836941745937950375228114914780695044229191877\ 19614351215595074*c_1001_1^3 + 634364801227591272067517174317598142\ 55786345500432970244169469617129292436045/9430111784791512854348005\ 764802919870909192896566133656028110636955596169472*c_1001_1^2 + 3883876315462854078178191551941691691773329373532670618759614783494\ 6579977961/94301117847915128543480057648029198709091928965661336560\ 28110636955596169472*c_1001_1 - 31148729265052691848014695531792742\ 26416688793168891931098072878962537228681/2357527946197878213587001\ 441200729967727298224141533414007027659238899042368, c_0110_9 + 110367649827901953781558277226009249689221320985019859009346\ 6880969944941775/26943176527975751012422873613722628202597693990188\ 95330293745896273027476992*c_1001_1^27 - 8556212433661761025658829522426102614388448398622916119447159920846\ 018261155/269431765279757510124228736137226282025976939901889533029\ 3745896273027476992*c_1001_1^26 + 375196850229055930361978336440514\ 03846224502992950518266765087598366171490599/2694317652797575101242\ 287361372262820259769399018895330293745896273027476992*c_1001_1^25 - 1482744098385419190799588839296570758006255614440892296015072946042\ 6120050647/67357941319939377531057184034306570506494234975472383257\ 3436474068256869248*c_1001_1^24 + 752481162953475719135434238988401\ 04879503538530516913582062275072364438110439/2694317652797575101242\ 287361372262820259769399018895330293745896273027476992*c_1001_1^23 - 1679451808243313001492370772798106398567984469614955239806810084080\ 3099743825/13471588263987875506211436806861314101298846995094476651\ 46872948136513738496*c_1001_1^22 + 2731844288351237732230747349408258376425196664183829924576222276126\ 46130824175/2694317652797575101242287361372262820259769399018895330\ 293745896273027476992*c_1001_1^21 - 4387106743884047275697293121396168725263844831488924260317955516022\ 40030356851/2694317652797575101242287361372262820259769399018895330\ 293745896273027476992*c_1001_1^20 + 7801920810714587068123030691295158122208264129875699947978812483591\ 971747551/134715882639878755062114368068613141012988469950944766514\ 6872948136513738496*c_1001_1^19 + 603905569162261396732220388563673\ 595067064986175316100056632904210533833819033/269431765279757510124\ 2287361372262820259769399018895330293745896273027476992*c_1001_1^18 + 41800638616788565520346869609993955404868334847382783402068400188\ 3570601843519/13471588263987875506211436806861314101298846995094476\ 65146872948136513738496*c_1001_1^17 - 3332652703068641899107571420544300106596731098069802958151100601973\ 96575213803/2694317652797575101242287361372262820259769399018895330\ 293745896273027476992*c_1001_1^16 - 2854119801932888106627762271022788827067061090408460237460102922378\ 886613510765/269431765279757510124228736137226282025976939901889533\ 0293745896273027476992*c_1001_1^15 + 5954729552138957861654111698972617508034973062902365506902292006712\ 1634991691/13471588263987875506211436806861314101298846995094476651\ 46872948136513738496*c_1001_1^14 + 2557789828547859513307782198392143247624740576134261739561901809485\ 589719523041/134715882639878755062114368068613141012988469950944766\ 5146872948136513738496*c_1001_1^13 + 1270050026841161692725727138311055890550736453269043428406017898615\ 58677314871/1347158826398787550621143680686131410129884699509447665\ 146872948136513738496*c_1001_1^12 - 3290089754627610362347390123140391440724863650436334859843137222751\ 112447433181/134715882639878755062114368068613141012988469950944766\ 5146872948136513738496*c_1001_1^11 - 6487210916939053142094071621181061791449218302501631163062146440613\ 53733952153/1347158826398787550621143680686131410129884699509447665\ 146872948136513738496*c_1001_1^10 + 2652990843816497713096639201058482359567678672812065636544620959713\ 892742273623/134715882639878755062114368068613141012988469950944766\ 5146872948136513738496*c_1001_1^9 + 2010842495317377044727644628521406402361598319363211240484479664984\ 307567677551/269431765279757510124228736137226282025976939901889533\ 0293745896273027476992*c_1001_1^8 - 2253251126530409752209989377969102351636184157564343995088811691908\ 807186111077/269431765279757510124228736137226282025976939901889533\ 0293745896273027476992*c_1001_1^7 - 1445134109222134518732137183080264684037974042107503445129241146149\ 352063188757/269431765279757510124228736137226282025976939901889533\ 0293745896273027476992*c_1001_1^6 + 1384894560721340060218318422207554754890648826714933384785775380262\ 83036543059/1347158826398787550621143680686131410129884699509447665\ 146872948136513738496*c_1001_1^5 + 5374650463129298796032298774436700443041887132175355772063674153276\ 2282651513/33678970659969688765528592017153285253247117487736191628\ 6718237034128434624*c_1001_1^4 + 1941796609156068037172357204425028\ 2522158025842054725270333643397109884197677/67357941319939377531057\ 1840343065705064942349754723832573436474068256869248*c_1001_1^3 - 1571731833550437044150119775436155084783625927809771636428719587833\ 5773566831/26943176527975751012422873613722628202597693990188953302\ 93745896273027476992*c_1001_1^2 - 500360521714549701702847380909234\ 828103644701718271318097666338625601592931/134715882639878755062114\ 3680686131410129884699509447665146872948136513738496*c_1001_1 + 1443473266021649473041826489159349305163464553057119590397337307873\ 332544097/269431765279757510124228736137226282025976939901889533029\ 3745896273027476992, c_1001_1^28 - 36/5*c_1001_1^27 + 744/25*c_1001_1^26 - 883/25*c_1001_1^25 + 1001/25*c_1001_1^24 + 127/25*c_1001_1^23 + 5819/25*c_1001_1^22 - 6492/25*c_1001_1^21 - 4927/25*c_1001_1^20 + 13537/25*c_1001_1^19 + 26273/25*c_1001_1^18 + 3961/25*c_1001_1^17 - 13644/5*c_1001_1^16 - 33249/25*c_1001_1^15 + 114164/25*c_1001_1^14 + 70076/25*c_1001_1^13 - 27928/5*c_1001_1^12 - 112344/25*c_1001_1^11 + 95584/25*c_1001_1^10 + 22443/5*c_1001_1^9 - 18678/25*c_1001_1^8 - 60982/25*c_1001_1^7 - 15573/25*c_1001_1^6 + 13194/25*c_1001_1^5 + 8372/25*c_1001_1^4 + 27*c_1001_1^3 - 507/25*c_1001_1^2 - 39/25*c_1001_1 + 43/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.340 Total time: 6.540 seconds, Total memory usage: 189.56MB