Magma V2.19-8 Tue Aug 20 2013 23:47:38 on localhost [Seed = 2277633492] Type ? for help. Type -D to quit. Loading file "K10a37__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a37 geometric_solution 12.42163051 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 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.419659947864 0.759901941833 0 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499444515682 0.424963363107 0 0 7 6 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634774826291 0.831179273857 1 5 7 0 3012 3201 0321 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 -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.569255176873 1.156240370502 5 1 6 8 0321 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 0 0 0 0 0 -1 1 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.769571244792 0.811439687743 4 9 3 1 0321 0132 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 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.638144369705 0.992772415448 10 9 2 4 0132 2310 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 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464357594470 0.743278774578 10 10 3 2 2103 1302 0321 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 2 -1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529213647494 0.866940873520 11 9 4 12 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.266368648982 0.887225341138 11 5 8 6 3012 0132 0213 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 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.268332783473 0.558236929641 6 12 7 7 0132 2103 2103 2031 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -2 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.529213647494 0.866940873520 8 12 12 9 0132 3012 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.175006408343 0.570920051280 11 10 8 11 1230 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.175006408343 0.570920051280 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_0101_10']), 'c_1001_7' : d['c_0101_6'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0011_12'], '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_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : d['c_0101_4'], 'c_1100_6' : d['c_0101_4'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_9'], 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0110_9']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_10']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_0110_9'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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_0110_9'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_12'], 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0011_5']), 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0011_11'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_3'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_5']), '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_0011_11'], 'c_0110_1' : d['c_0011_3'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_10']})} 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_5, c_0101_10, c_0101_2, c_0101_4, c_0101_6, c_0110_9, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 358644763202555969659668159/54803186172691898562052096*c_1001_1^25 - 675541655840187695000116195/54803186172691898562052096*c_1001_1^24 + 14175895539627854397483985/195029132287159781359616*c_1001_1^23 + 9496146155367535962111491971/54803186172691898562052096*c_1001_1^22 - 3019518948665467967216783107/7829026596098842651721728*c_1001_1^2\ 1 - 66005856671116613715056491559/54803186172691898562052096*c_1001\ _1^20 + 15080189065714781531196459677/13700796543172974640513024*c_\ 1001_1^19 + 5123708913097881906176343291/978628324512355331465216*c\ _1001_1^18 - 31819794307964944955143913197/274015930863459492810260\ 48*c_1001_1^17 - 423449528415712444284218357011/2740159308634594928\ 1026048*c_1001_1^16 - 193987023337905820021861969979/54803186172691\ 898562052096*c_1001_1^15 + 248836389069245271861096778229/782902659\ 6098842651721728*c_1001_1^14 + 498148459563361513550971212185/27401\ 593086345949281026048*c_1001_1^13 - 617184794968340495302801247109/13700796543172974640513024*c_1001_1^\ 12 - 1081422451651668174886464675715/27401593086345949281026048*c_1\ 001_1^11 + 1156843176415166974325319828251/274015930863459492810260\ 48*c_1001_1^10 + 348221206661096400466343146209/6850398271586487320\ 256512*c_1001_1^9 - 82853107307832355411327153739/34251991357932436\ 60128256*c_1001_1^8 - 2214589076376848802672802577451/5480318617269\ 1898562052096*c_1001_1^7 + 58288699643051383685888379765/7829026596\ 098842651721728*c_1001_1^6 + 260118812189141351913628541995/1370079\ 6543172974640513024*c_1001_1^5 - 78105539387190128487508905709/5480\ 3186172691898562052096*c_1001_1^4 - 62404016394381773440713544609/13700796543172974640513024*c_1001_1^3 + 11785713166427055739348185843/13700796543172974640513024*c_1001_1\ ^2 + 1153114865400572018061000929/3425199135793243660128256*c_1001_\ 1 - 1269067341148483411486687269/3425199135793243660128256, c_0011_0 - 1, c_0011_10 - 173938741337669121/550989751027153072*c_1001_1^25 - 1077014604571318995/550989751027153072*c_1001_1^24 - 1426048505024715/1960817619313712*c_1001_1^23 + 10375205493583115699/550989751027153072*c_1001_1^22 + 17395845165026362271/550989751027153072*c_1001_1^21 - 45177084899760626231/550989751027153072*c_1001_1^20 - 66976133595069089483/275494875513576536*c_1001_1^19 + 19284085536020291263/137747437756788268*c_1001_1^18 + 275099045277107224217/275494875513576536*c_1001_1^17 + 76425296434948548465/275494875513576536*c_1001_1^16 - 1396214675140753628777/550989751027153072*c_1001_1^15 - 1230724618665834009385/550989751027153072*c_1001_1^14 + 134334677557085591748/34436859439197067*c_1001_1^13 + 845815703020468732063/137747437756788268*c_1001_1^12 - 770794868219878218473/275494875513576536*c_1001_1^11 - 2614871465908799724889/275494875513576536*c_1001_1^10 - 172110454291394780985/137747437756788268*c_1001_1^9 + 579924235691902620045/68873718878394134*c_1001_1^8 + 2386131184596858216107/550989751027153072*c_1001_1^7 - 2075788005053211460417/550989751027153072*c_1001_1^6 - 942323785967159706813/275494875513576536*c_1001_1^5 + 216200157151285913449/550989751027153072*c_1001_1^4 + 268564706775918729621/275494875513576536*c_1001_1^3 + 10845081202525713349/68873718878394134*c_1001_1^2 + 642727756935176995/34436859439197067*c_1001_1 + 1330550764584762246/34436859439197067, c_0011_11 - 976682635570346441/550989751027153072*c_1001_1^25 - 2360875620101405781/550989751027153072*c_1001_1^24 + 34882419176495115/1960817619313712*c_1001_1^23 + 31194959507868774969/550989751027153072*c_1001_1^22 - 43857040567657043407/550989751027153072*c_1001_1^21 - 205798003944776350821/550989751027153072*c_1001_1^20 + 9284630996957318933/68873718878394134*c_1001_1^19 + 211390226888796574743/137747437756788268*c_1001_1^18 + 97875816406063330821/275494875513576536*c_1001_1^17 - 1167129858715202993957/275494875513576536*c_1001_1^16 - 1552232100346802712357/550989751027153072*c_1001_1^15 + 4383094373580539619661/550989751027153072*c_1001_1^14 + 2337766957871145855713/275494875513576536*c_1001_1^13 - 335445536825842538266/34436859439197067*c_1001_1^12 - 4220873102674742006257/275494875513576536*c_1001_1^11 + 1856356352770070969741/275494875513576536*c_1001_1^10 + 607850938061102320533/34436859439197067*c_1001_1^9 - 73068865671326213243/68873718878394134*c_1001_1^8 - 7063225656972299272077/550989751027153072*c_1001_1^7 - 1122726127846889023195/550989751027153072*c_1001_1^6 + 376676331289149975699/68873718878394134*c_1001_1^5 + 788282120224306172209/550989751027153072*c_1001_1^4 - 156449627889059990235/137747437756788268*c_1001_1^3 - 6916719564598683516/34436859439197067*c_1001_1^2 + 1953032966001866450/34436859439197067*c_1001_1 - 1958797966104475581/34436859439197067, c_0011_12 - 495353392384580059/550989751027153072*c_1001_1^25 - 562953556771747201/550989751027153072*c_1001_1^24 + 25064100628720251/1960817619313712*c_1001_1^23 + 11186120435358223037/550989751027153072*c_1001_1^22 - 46486515648803158591/550989751027153072*c_1001_1^21 - 96222028737456968041/550989751027153072*c_1001_1^20 + 89420781653491423593/275494875513576536*c_1001_1^19 + 31210934300869459118/34436859439197067*c_1001_1^18 - 196785131429860333969/275494875513576536*c_1001_1^17 - 863677090098480416117/275494875513576536*c_1001_1^16 + 280422063457483636421/550989751027153072*c_1001_1^15 + 4138803387875839821701/550989751027153072*c_1001_1^14 + 280051504476459139601/137747437756788268*c_1001_1^13 - 854895505528762892321/68873718878394134*c_1001_1^12 - 2122476889983090818547/275494875513576536*c_1001_1^11 + 3723494628355949615141/275494875513576536*c_1001_1^10 + 1802255558123824265251/137747437756788268*c_1001_1^9 - 297074692027875362426/34436859439197067*c_1001_1^8 - 6985945829236106924247/550989751027153072*c_1001_1^7 + 1186593683471973871909/550989751027153072*c_1001_1^6 + 1886169005191380941155/275494875513576536*c_1001_1^5 + 323918610675216128519/550989751027153072*c_1001_1^4 - 456090421492310360349/275494875513576536*c_1001_1^3 - 37680310765339392675/137747437756788268*c_1001_1^2 + 1420883912597763719/68873718878394134*c_1001_1 - 2525134563769928362/34436859439197067, c_0011_3 + 147363928953/54778863856*c_1001_1^25 + 323721338665/54778863856*c_1001_1^24 - 5647491551/194942576*c_1001_1^23 - 4471961849845/54778863856*c_1001_1^22 + 7876518213403/54778863856*c_1001_1^21 + 30661738916321/54778863856*c_1001_1^20 - 4631164891237/13694715964*c_1001_1^19 - 32836720800707/13694715964*c_1001_1^18 - 2012435377073/27389431928*c_1001_1^17 + 190272197700233/27389431928*c_1001_1^16 + 178918907108541/54778863856*c_1001_1^15 - 760539724478889/54778863856*c_1001_1^14 - 320112259118135/27389431928*c_1001_1^13 + 127768443784679/6847357982*c_1001_1^12 + 634786953553053/27389431928*c_1001_1^11 - 423232838218129/27389431928*c_1001_1^10 - 197482146409535/6847357982*c_1001_1^9 + 39708163240313/6847357982*c_1001_1^8 + 1234577802565885/54778863856*c_1001_1^7 + 77828744002415/54778863856*c_1001_1^6 - 141384219166449/13694715964*c_1001_1^5 - 113672325080785/54778863856*c_1001_1^4 + 7716293484743/3423678991*c_1001_1^3 + 2648413196699/6847357982*c_1001_1^2 - 551325693245/6847357982*c_1001_1 + 364784349877/3423678991, c_0011_5 + 495353392384580059/550989751027153072*c_1001_1^25 + 562953556771747201/550989751027153072*c_1001_1^24 - 25064100628720251/1960817619313712*c_1001_1^23 - 11186120435358223037/550989751027153072*c_1001_1^22 + 46486515648803158591/550989751027153072*c_1001_1^21 + 96222028737456968041/550989751027153072*c_1001_1^20 - 89420781653491423593/275494875513576536*c_1001_1^19 - 31210934300869459118/34436859439197067*c_1001_1^18 + 196785131429860333969/275494875513576536*c_1001_1^17 + 863677090098480416117/275494875513576536*c_1001_1^16 - 280422063457483636421/550989751027153072*c_1001_1^15 - 4138803387875839821701/550989751027153072*c_1001_1^14 - 280051504476459139601/137747437756788268*c_1001_1^13 + 854895505528762892321/68873718878394134*c_1001_1^12 + 2122476889983090818547/275494875513576536*c_1001_1^11 - 3723494628355949615141/275494875513576536*c_1001_1^10 - 1802255558123824265251/137747437756788268*c_1001_1^9 + 297074692027875362426/34436859439197067*c_1001_1^8 + 6985945829236106924247/550989751027153072*c_1001_1^7 - 1186593683471973871909/550989751027153072*c_1001_1^6 - 1886169005191380941155/275494875513576536*c_1001_1^5 - 323918610675216128519/550989751027153072*c_1001_1^4 + 456090421492310360349/275494875513576536*c_1001_1^3 + 37680310765339392675/137747437756788268*c_1001_1^2 - 1420883912597763719/68873718878394134*c_1001_1 + 2525134563769928362/34436859439197067, c_0101_10 - 28993480759/54778863856*c_1001_1^25 - 63051573411/54778863856*c_1001_1^24 + 1109301589/194942576*c_1001_1^23 + 868997576079/54778863856*c_1001_1^22 - 1549910962521/54778863856*c_1001_1^21 - 5947794335347/54778863856*c_1001_1^20 + 230407827900/3423678991*c_1001_1^19 + 6359565739509/13694715964*c_1001_1^18 + 218702807727/27389431928*c_1001_1^17 - 36802214375483/27389431928*c_1001_1^16 - 33623586008427/54778863856*c_1001_1^15 + 146991935183035/54778863856*c_1001_1^14 + 60736074631143/27389431928*c_1001_1^13 - 12355001685088/3423678991*c_1001_1^12 - 120630571170923/27389431928*c_1001_1^11 + 82290633070947/27389431928*c_1001_1^10 + 18762508571787/3423678991*c_1001_1^9 - 7965007766767/6847357982*c_1001_1^8 - 234734134135011/54778863856*c_1001_1^7 - 12445042203101/54778863856*c_1001_1^6 + 13484906149475/6847357982*c_1001_1^5 + 20568598689215/54778863856*c_1001_1^4 - 5952394897005/13694715964*c_1001_1^3 - 476084284971/6847357982*c_1001_1^2 + 116484851397/6847357982*c_1001_1 - 70056491971/3423678991, c_0101_2 - 49556612762071004/34436859439197067*c_1001_1^25 - 147359484306217347/34436859439197067*c_1001_1^24 + 1453813220812664/122551101207107*c_1001_1^23 + 1787747727363946602/34436859439197067*c_1001_1^22 - 1179493911950697837/34436859439197067*c_1001_1^21 - 10832793287485200570/34436859439197067*c_1001_1^20 - 2354487163987426754/34436859439197067*c_1001_1^19 + 40027508513859803362/34436859439197067*c_1001_1^18 + 31459411617399911256/34436859439197067*c_1001_1^17 - 95382315835398374595/34436859439197067*c_1001_1^16 - 125882456215744681688/34436859439197067*c_1001_1^15 + 140054601067235655699/34436859439197067*c_1001_1^14 + 293810956998617466992/34436859439197067*c_1001_1^13 - 93715969003952017559/34436859439197067*c_1001_1^12 - 433791187646402444780/34436859439197067*c_1001_1^11 - 55338547736892441823/34436859439197067*c_1001_1^10 + 398270453122929969385/34436859439197067*c_1001_1^9 + 168113307638088808763/34436859439197067*c_1001_1^8 - 211763306166015000252/34436859439197067*c_1001_1^7 - 136843834098377906829/34436859439197067*c_1001_1^6 + 54820715161922775428/34436859439197067*c_1001_1^5 + 44690265363031754469/34436859439197067*c_1001_1^4 - 5432880010571816687/34436859439197067*c_1001_1^3 - 1619586578542934136/34436859439197067*c_1001_1^2 + 1814531987765443429/34436859439197067*c_1001_1 - 516319056064510699/34436859439197067, c_0101_4 + 279564091829517801/550989751027153072*c_1001_1^25 + 834203881242561993/550989751027153072*c_1001_1^24 - 7986130004438031/1960817619313712*c_1001_1^23 - 10011094129716212277/550989751027153072*c_1001_1^22 + 5978766364850056043/550989751027153072*c_1001_1^21 + 59805620236954699985/550989751027153072*c_1001_1^20 + 4213333217272234203/137747437756788268*c_1001_1^19 - 54061884935457339407/137747437756788268*c_1001_1^18 - 93811424942052958929/275494875513576536*c_1001_1^17 + 248123591593283794769/275494875513576536*c_1001_1^16 + 721011368819811084813/550989751027153072*c_1001_1^15 - 669258536799038488649/550989751027153072*c_1001_1^14 - 814029520745409284055/275494875513576536*c_1001_1^13 + 36619251145719369035/68873718878394134*c_1001_1^12 + 1149264957728770869901/275494875513576536*c_1001_1^11 + 306234847941582776087/275494875513576536*c_1001_1^10 - 243146219636113451005/68873718878394134*c_1001_1^9 - 146438274128850493883/68873718878394134*c_1001_1^8 + 852394438641565015277/550989751027153072*c_1001_1^7 + 835600063114570425471/550989751027153072*c_1001_1^6 - 23888422127419388237/137747437756788268*c_1001_1^5 - 230752576849731559665/550989751027153072*c_1001_1^4 - 1861328952015287732/34436859439197067*c_1001_1^3 - 426436287885159763/68873718878394134*c_1001_1^2 - 1099942487137528465/68873718878394134*c_1001_1 + 10963928594250601/34436859439197067, c_0101_6 - 25217360807659097/550989751027153072*c_1001_1^25 + 476799282572254287/550989751027153072*c_1001_1^24 + 6825258317905539/1960817619313712*c_1001_1^23 - 3353258621910069335/550989751027153072*c_1001_1^22 - 20904394038079284151/550989751027153072*c_1001_1^21 + 4309671912586602139/550989751027153072*c_1001_1^20 + 7424233247898141914/34436859439197067*c_1001_1^19 + 8188161087116822637/68873718878394134*c_1001_1^18 - 205725092759089974015/275494875513576536*c_1001_1^17 - 231270218067879649961/275494875513576536*c_1001_1^16 + 893490605150732214939/550989751027153072*c_1001_1^15 + 1599560429713671861273/550989751027153072*c_1001_1^14 - 535491404303171796199/275494875513576536*c_1001_1^13 - 855951318657777708697/137747437756788268*c_1001_1^12 + 59328584213561562623/275494875513576536*c_1001_1^11 + 2325077937499917857721/275494875513576536*c_1001_1^10 + 109767556810702037027/34436859439197067*c_1001_1^9 - 236471228316521860983/34436859439197067*c_1001_1^8 - 2721557641614872760029/550989751027153072*c_1001_1^7 + 1552387625744278886281/550989751027153072*c_1001_1^6 + 228428782011075922289/68873718878394134*c_1001_1^5 - 110746648917749256091/550989751027153072*c_1001_1^4 - 61544149559661248949/68873718878394134*c_1001_1^3 - 18053965475659265473/137747437756788268*c_1001_1^2 - 548175215818578985/68873718878394134*c_1001_1 - 1216966249982985198/34436859439197067, c_0110_9 + 1943296683418064/34436859439197067*c_1001_1^25 - 28718328774609813/34436859439197067*c_1001_1^24 - 1759283567512451/490204404828428*c_1001_1^23 + 782387343126441109/137747437756788268*c_1001_1^22 + 5290963910305565297/137747437756788268*c_1001_1^21 - 711685059539340485/137747437756788268*c_1001_1^20 - 29790397326692081117/137747437756788268*c_1001_1^19 - 17870963693988440187/137747437756788268*c_1001_1^18 + 25615181621338924224/34436859439197067*c_1001_1^17 + 29938314710463982480/34436859439197067*c_1001_1^16 - 110346096019104819213/68873718878394134*c_1001_1^15 - 203815759960425768105/68873718878394134*c_1001_1^14 + 260074593850390651165/137747437756788268*c_1001_1^13 + 865529738566608601087/137747437756788268*c_1001_1^12 - 8258560134322482925/68873718878394134*c_1001_1^11 - 292376577958636823402/34436859439197067*c_1001_1^10 - 226486730306068900187/68873718878394134*c_1001_1^9 + 473941371992402463245/68873718878394134*c_1001_1^8 + 172204604328371799358/34436859439197067*c_1001_1^7 - 96881493234777200155/34436859439197067*c_1001_1^6 - 459162384554940948163/137747437756788268*c_1001_1^5 + 27442447344717292823/137747437756788268*c_1001_1^4 + 30775860188321859831/34436859439197067*c_1001_1^3 + 17931182071900327219/137747437756788268*c_1001_1^2 + 269419062065009533/34436859439197067*c_1001_1 + 1214979109880717417/34436859439197067, c_1001_0 - 224749522084706745/137747437756788268*c_1001_1^25 - 192956180706974407/68873718878394134*c_1001_1^24 + 9738109790498269/490204404828428*c_1001_1^23 + 5947271274194641903/137747437756788268*c_1001_1^22 - 15806095602557707911/137747437756788268*c_1001_1^21 - 44337441359010992111/137747437756788268*c_1001_1^20 + 12731696117209658588/34436859439197067*c_1001_1^19 + 205935007648055258547/137747437756788268*c_1001_1^18 - 37978713467043860455/68873718878394134*c_1001_1^17 - 162180027352290899818/34436859439197067*c_1001_1^16 - 83852378141412466589/137747437756788268*c_1001_1^15 + 712903563168849475951/68873718878394134*c_1001_1^14 + 359468640393822188857/68873718878394134*c_1001_1^13 - 2161442110753293158761/137747437756788268*c_1001_1^12 - 453740353609182164579/34436859439197067*c_1001_1^11 + 535479318788841687812/34436859439197067*c_1001_1^10 + 655798695630365671979/34436859439197067*c_1001_1^9 - 601626057190957905229/68873718878394134*c_1001_1^8 - 2305704269719495452485/137747437756788268*c_1001_1^7 + 48705053492677022528/34436859439197067*c_1001_1^6 + 291244146549874732589/34436859439197067*c_1001_1^5 + 69673226408820788175/68873718878394134*c_1001_1^4 - 271019660808961369759/137747437756788268*c_1001_1^3 - 43808562227881809967/137747437756788268*c_1001_1^2 + 1280941558249507852/34436859439197067*c_1001_1 - 3003998498066388557/34436859439197067, c_1001_1^26 + 3*c_1001_1^25 - 9*c_1001_1^24 - 39*c_1001_1^23 + 29*c_1001_1^22 + 251*c_1001_1^21 + 42*c_1001_1^20 - 992*c_1001_1^19 - 746*c_1001_1^18 + 2558*c_1001_1^17 + 3297*c_1001_1^16 - 4175*c_1001_1^15 - 8508*c_1001_1^14 + 3416*c_1001_1^13 + 14210*c_1001_1^12 + 1234*c_1001_1^11 - 15348*c_1001_1^10 - 6528*c_1001_1^9 + 10101*c_1001_1^8 + 7313*c_1001_1^7 - 3394*c_1001_1^6 - 3877*c_1001_1^5 + 206*c_1001_1^4 + 820*c_1001_1^3 + 88*c_1001_1^2 + 16*c_1001_1 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.390 Total time: 1.590 seconds, Total memory usage: 32.09MB