Magma V2.19-8 Wed Aug 21 2013 00:52:35 on localhost [Seed = 813049227] Type ? for help. Type -D to quit. Loading file "L12a897__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12a897 geometric_solution 11.85366669 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 2310 0132 1 1 1 1 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 1 -1 0 1 0 -1 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669304283139 0.458855276423 0 0 2 3 0132 3201 2103 2103 1 1 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 0 0 0 -1 0 1 -1 0 1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033721885721 1.434335908912 1 0 5 4 2103 0132 0132 0132 1 1 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 0 0 0 -1 1 0 -1 0 0 1 0 2 0 -2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.468881982603 0.719631781514 5 4 0 1 0132 0132 0132 2103 1 1 1 1 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 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.468881982603 0.719631781514 6 3 2 7 0132 0132 0132 0132 1 1 1 1 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 -1 1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170098554738 0.597134047054 3 8 9 2 0132 0132 0132 0132 1 1 1 1 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 1 0 -1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170098554738 0.597134047054 4 10 9 11 0132 0132 2310 0132 1 1 1 1 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 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826458533334 1.441445377085 12 8 4 12 0132 0213 0132 2031 1 1 0 1 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 1 0 -1 0 -2 -1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.913304074179 0.991727033092 10 5 7 10 0132 0132 0213 2103 1 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 0 0 0 -1 0 1 -1 0 1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.913304074179 0.991727033092 11 6 12 5 0132 3201 2031 0132 1 1 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 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.826458533334 1.441445377085 8 6 12 8 0132 0132 0321 2103 1 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 0 0 0 0 0 1 -1 1 0 -1 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.913304074179 0.991727033092 9 11 6 11 0132 2310 0132 3201 1 1 1 1 0 -1 0 1 -1 0 0 1 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 -1 0 1 -1 0 0 1 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.299354892648 0.522111768118 7 7 10 9 0132 1302 0321 1302 1 1 1 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 -1 1 -1 0 1 0 0 0 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497534914901 0.545610407492 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_2'], 'c_1001_6' : negation(d['c_1001_5']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_6']), 'c_1001_8' : d['c_1001_2'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_1001_5']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1010_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_12']), 'c_1100_4' : negation(d['c_1010_12']), 'c_1100_7' : negation(d['c_1010_12']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_1010_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0101_9'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_5'], 'c_1010_8' : d['c_1001_5'], 'c_1100_8' : d['c_0011_12'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_9'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_9'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_6'], 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : d['c_0101_11']})} 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_0101_1, c_0101_10, c_0101_11, c_0101_6, c_0101_9, c_1001_0, c_1001_2, c_1001_5, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 295998978528428607023769148128436707545037/295472605196778233550996\ 9007600133821825024*c_1010_12^21 + 3199979978365671489365463509457676166321273/29547260519677823355099\ 69007600133821825024*c_1010_12^20 - 2069723136400372702240707059054551987161231/36934075649597279193874\ 6125950016727728128*c_1010_12^19 + 27631231121261057494137147005768936990944695/1477363025983891167754\ 984503800066910912512*c_1010_12^18 - 36061601339609618148206358874431177971078975/7386815129919455838774\ 92251900033455456256*c_1010_12^17 + 170599643230605878193520154400120740115217365/147736302598389116775\ 4984503800066910912512*c_1010_12^16 - 754233659475022367782926890474868670759604119/295472605196778233550\ 9969007600133821825024*c_1010_12^15 + 1478202621271500377342904335927445585072318413/29547260519677823355\ 09969007600133821825024*c_1010_12^14 - 2541322470493364284457630723981799643802406617/29547260519677823355\ 09969007600133821825024*c_1010_12^13 + 3997352143762750530940738908844074913128226353/29547260519677823355\ 09969007600133821825024*c_1010_12^12 - 2925955889532986539318537807701404439319481297/14773630259838911677\ 54984503800066910912512*c_1010_12^11 + 3877287757253544718290639730339856067946777381/14773630259838911677\ 54984503800066910912512*c_1010_12^10 - 54441407533459202683210704962585165483933553/1748358610631823867165\ 6621346746353975296*c_1010_12^9 + 999226738209345990138547710677468\ 3241605736521/2954726051967782335509969007600133821825024*c_1010_12\ ^8 - 711019537775693811752596415655723877447609873/2110518608548415\ 95393569214828580987273216*c_1010_12^7 + 2202444132312425693673879457180920621023545915/73868151299194558387\ 7492251900033455456256*c_1010_12^6 - 6727481946698491223834678584588537225390700807/29547260519677823355\ 09969007600133821825024*c_1010_12^5 + 4465680883435537594235278036990683780101532787/29547260519677823355\ 09969007600133821825024*c_1010_12^4 - 1266487998457016330639981351710104759361210691/14773630259838911677\ 54984503800066910912512*c_1010_12^3 + 561110842314841046953363044681025857427885211/147736302598389116775\ 4984503800066910912512*c_1010_12^2 - 26335548165557854555625752902998544340183041/2272866193821371027315\ 36077507702601678848*c_1010_12 + 7203840626536352316571528565657690\ 2610399233/2954726051967782335509969007600133821825024, c_0011_0 - 1, c_0011_10 - c_1010_12, c_0011_11 + 58853981960410426263867875/1816776906875213411653749116*c_1\ 010_12^21 - 568916433183099056582571083/181677690687521341165374911\ 6*c_1010_12^20 + 672781977836138469731263220/4541942267188033529134\ 37279*c_1010_12^19 - 4186624761300720284854604995/90838845343760670\ 5826874558*c_1010_12^18 + 5299389580164137644098484564/454194226718\ 803352913437279*c_1010_12^17 - 12442922153850103327808320304/454194\ 226718803352913437279*c_1010_12^16 + 108047727252084004819834769999/1816776906875213411653749116*c_1010_\ 12^15 - 204990916194454313523398937129/1816776906875213411653749116\ *c_1010_12^14 + 344853794237874859365268101651/18167769068752134116\ 53749116*c_1010_12^13 - 536010024826515566336802149459/181677690687\ 5213411653749116*c_1010_12^12 + 192518014023134520350699464768/4541\ 94226718803352913437279*c_1010_12^11 - 496755389138647622895039374475/908388453437606705826874558*c_1010_1\ 2^10 + 1158327809014344526264387452775/1816776906875213411653749116\ *c_1010_12^9 - 1238523133137132142206535890609/18167769068752134116\ 53749116*c_1010_12^8 + 603224081854045039946981992609/9083884534376\ 06705826874558*c_1010_12^7 - 517139982035399959166629761959/9083884\ 53437606705826874558*c_1010_12^6 + 773863112475266675760285204003/1816776906875213411653749116*c_1010_\ 12^5 - 502135337003781886241019719333/1816776906875213411653749116*\ c_1010_12^4 + 134918729870440236084353568457/9083884534376067058268\ 74558*c_1010_12^3 - 28203971542703967745556408039/45419422671880335\ 2913437279*c_1010_12^2 + 35498567931161494350970435597/181677690687\ 5213411653749116*c_1010_12 - 5817380129062995022777101613/181677690\ 6875213411653749116, c_0011_12 + 1, c_0101_1 + 12027662123850553585148005/1816776906875213411653749116*c_10\ 10_12^21 - 114804057227705077854299443/1816776906875213411653749116\ *c_1010_12^20 + 260524786082422001005217257/90838845343760670582687\ 4558*c_1010_12^19 - 377668537350882903228216532/4541942267188033529\ 13437279*c_1010_12^18 + 1770233648142346126330780555/90838845343760\ 6705826874558*c_1010_12^17 - 3997757532362572770123881181/908388453\ 437606705826874558*c_1010_12^16 + 16977591447600611175547784895/181\ 6776906875213411653749116*c_1010_12^15 - 30433524164702238837292906635/1816776906875213411653749116*c_1010_1\ 2^14 + 46917422931177163894813819615/1816776906875213411653749116*c\ _1010_12^13 - 68279646942635250303754737521/18167769068752134116537\ 49116*c_1010_12^12 + 46697519583301594847007437251/9083884534376067\ 05826874558*c_1010_12^11 - 27418791381298328111044314237/4541942267\ 18803352913437279*c_1010_12^10 + 111002772901941039986621900235/181\ 6776906875213411653749116*c_1010_12^9 - 105893336870262377813148212285/1816776906875213411653749116*c_1010_\ 12^8 + 46288057084617441101488939233/908388453437606705826874558*c_\ 1010_12^7 - 30686261551076036510493396907/9083884534376067058268745\ 58*c_1010_12^6 + 26600713619091586186474302951/18167769068752134116\ 53749116*c_1010_12^5 - 10003769170808990860395149753/18167769068752\ 13411653749116*c_1010_12^4 + 806246052981192118479605587/9083884534\ 37606705826874558*c_1010_12^3 + 1733628187650875572349887853/908388\ 453437606705826874558*c_1010_12^2 - 1469435758248012845173592307/1816776906875213411653749116*c_1010_12 - 775593174789026028967271713/1816776906875213411653749116, c_0101_10 + 49246460805773143876441853/1816776906875213411653749116*c_1\ 010_12^21 - 474202979667055382765878609/181677690687521341165374911\ 6*c_1010_12^20 + 1115371764000690719873519987/908388453437606705826\ 874558*c_1010_12^19 - 3443689754164022164594168465/9083884534376067\ 05826874558*c_1010_12^18 + 8654833269164150208105683999/90838845343\ 7606705826874558*c_1010_12^17 - 20251489895049262856646729027/90838\ 8453437606705826874558*c_1010_12^16 + 87780610238078772336988592077/1816776906875213411653749116*c_1010_1\ 2^15 - 165797981494230853681204700817/1816776906875213411653749116*\ c_1010_12^14 + 277106264961792994465390133767/181677690687521341165\ 3749116*c_1010_12^13 - 428754199399279082894884064905/1816776906875\ 213411653749116*c_1010_12^12 + 307287342035197463448831893089/90838\ 8453437606705826874558*c_1010_12^11 - 197258473627998114553197363125/454194226718803352913437279*c_1010_1\ 2^10 + 913074978972689720517148285207/1816776906875213411653749116*\ c_1010_12^9 - 971127736483528286224853692613/1816776906875213411653\ 749116*c_1010_12^8 + 235926462367618808795971529305/454194226718803\ 352913437279*c_1010_12^7 - 200519586362636230318813438624/454194226\ 718803352913437279*c_1010_12^6 + 591762574945100616913078607045/181\ 6776906875213411653749116*c_1010_12^5 - 380453211946922758615012622265/1816776906875213411653749116*c_1010_\ 12^4 + 51453717618430984440662131095/454194226718803352913437279*c_\ 1010_12^3 - 42598667598740468830671778297/9083884534376067058268745\ 58*c_1010_12^2 + 26159133278740317201878173423/18167769068752134116\ 53749116*c_1010_12 - 4827949094198719567230249375/18167769068752134\ 11653749116, c_0101_11 + 35169448504706595/2602424868376532932*c_1010_12^21 - 333482661544306015/2602424868376532932*c_1010_12^20 + 383351179362849136/650606217094133233*c_1010_12^19 - 2301512930346303013/1301212434188266466*c_1010_12^18 + 2830103295076139347/650606217094133233*c_1010_12^17 - 13153823580471064189/1301212434188266466*c_1010_12^16 + 56657965414680770297/2602424868376532932*c_1010_12^15 - 105135829384199612339/2602424868376532932*c_1010_12^14 + 172267278076465459463/2602424868376532932*c_1010_12^13 - 263794740502288563383/2602424868376532932*c_1010_12^12 + 187150216858739760559/1301212434188266466*c_1010_12^11 - 235146276039800856309/1301212434188266466*c_1010_12^10 + 532097994773695235871/2602424868376532932*c_1010_12^9 - 557933059729227660051/2602424868376532932*c_1010_12^8 + 265274283326263255837/1301212434188266466*c_1010_12^7 - 107966626320346127960/650606217094133233*c_1010_12^6 + 303372610789643034145/2602424868376532932*c_1010_12^5 - 185978130794698000041/2602424868376532932*c_1010_12^4 + 45241231096357551525/1301212434188266466*c_1010_12^3 - 13382604653880018303/1301212434188266466*c_1010_12^2 + 5991728775217387199/2602424868376532932*c_1010_12 + 1787037137751916901/2602424868376532932, c_0101_6 + 30646057601717317058573605/1816776906875213411653749116*c_10\ 10_12^21 - 288095538120687563616032133/1816776906875213411653749116\ *c_1010_12^20 + 329861579172424800110670623/45419422671880335291343\ 7279*c_1010_12^19 - 990331356962472026938745196/4541942267188033529\ 13437279*c_1010_12^18 + 2444480054215060462156599250/45419422671880\ 3352913437279*c_1010_12^17 - 5688355777001444591102082124/454194226\ 718803352913437279*c_1010_12^16 + 48961113716892527767051427083/181\ 6776906875213411653749116*c_1010_12^15 - 90987089932532208695072393757/1816776906875213411653749116*c_1010_1\ 2^14 + 149754869648197897725595965249/1816776906875213411653749116*\ c_1010_12^13 - 229854684465065457570158941389/181677690687521341165\ 3749116*c_1010_12^12 + 81646272891809181059665383355/45419422671880\ 3352913437279*c_1010_12^11 - 103186113301379706767572968584/4541942\ 26718803352913437279*c_1010_12^10 + 471226822781921372961491170055/1816776906875213411653749116*c_1010_\ 12^9 - 497728332164395869637146532915/1816776906875213411653749116*\ c_1010_12^8 + 239674431833219475531728211899/9083884534376067058268\ 74558*c_1010_12^7 - 99972206496798855867336984446/45419422671880335\ 2913437279*c_1010_12^6 + 290545340870299401074352862797/18167769068\ 75213411653749116*c_1010_12^5 - 187408653842286645288394105857/1816\ 776906875213411653749116*c_1010_12^4 + 50244755084396524050513980105/908388453437606705826874558*c_1010_12\ ^3 - 20043597568690759020778330947/908388453437606705826874558*c_10\ 10_12^2 + 13598295388192839295016140631/181677690687521341165374911\ 6*c_1010_12 - 3229317145993364800210595843/181677690687521341165374\ 9116, c_0101_9 + 24180765936845734187495711/908388453437606705826874558*c_101\ 0_12^21 - 232451852103287666880070449/908388453437606705826874558*c\ _1010_12^20 + 547946754440131251013704742/4541942267188033529134372\ 79*c_1010_12^19 - 1703174197340273181238749624/45419422671880335291\ 3437279*c_1010_12^18 + 4320220207207069644765276401/454194226718803\ 352913437279*c_1010_12^17 - 10166275796455350857273142383/454194226\ 718803352913437279*c_1010_12^16 + 44178000691418676980922480613/908\ 388453437606705826874558*c_1010_12^15 - 83913066595190319691149968829/908388453437606705826874558*c_1010_12\ ^14 + 141590513498374599829197366099/908388453437606705826874558*c_\ 1010_12^13 - 220791922010410941585755848299/90838845343760670582687\ 4558*c_1010_12^12 + 159044434926545699773512553845/4541942267188033\ 52913437279*c_1010_12^11 - 205954217281502015160970190517/454194226\ 718803352913437279*c_1010_12^10 + 482603419246315180554221987945/90\ 8388453437606705826874558*c_1010_12^9 - 518098574844369707082222221679/908388453437606705826874558*c_1010_1\ 2^8 + 253348124450566452658735358146/454194226718803352913437279*c_\ 1010_12^7 - 218390532711693441871794721306/454194226718803352913437\ 279*c_1010_12^6 + 328867805167248909502663021737/908388453437606705\ 826874558*c_1010_12^5 - 214286907923187617499180999793/908388453437\ 606705826874558*c_1010_12^4 + 57952693744060452013040893381/4541942\ 26718803352913437279*c_1010_12^3 - 24867668511598612332903118471/454194226718803352913437279*c_1010_12\ ^2 + 15959366604441998024301571399/908388453437606705826874558*c_10\ 10_12 - 2962355396441931969983242737/908388453437606705826874558, c_1001_0 - 12027662123850553585148005/1816776906875213411653749116*c_10\ 10_12^21 + 114804057227705077854299443/1816776906875213411653749116\ *c_1010_12^20 - 260524786082422001005217257/90838845343760670582687\ 4558*c_1010_12^19 + 377668537350882903228216532/4541942267188033529\ 13437279*c_1010_12^18 - 1770233648142346126330780555/90838845343760\ 6705826874558*c_1010_12^17 + 3997757532362572770123881181/908388453\ 437606705826874558*c_1010_12^16 - 16977591447600611175547784895/181\ 6776906875213411653749116*c_1010_12^15 + 30433524164702238837292906635/1816776906875213411653749116*c_1010_1\ 2^14 - 46917422931177163894813819615/1816776906875213411653749116*c\ _1010_12^13 + 68279646942635250303754737521/18167769068752134116537\ 49116*c_1010_12^12 - 46697519583301594847007437251/9083884534376067\ 05826874558*c_1010_12^11 + 27418791381298328111044314237/4541942267\ 18803352913437279*c_1010_12^10 - 111002772901941039986621900235/181\ 6776906875213411653749116*c_1010_12^9 + 105893336870262377813148212285/1816776906875213411653749116*c_1010_\ 12^8 - 46288057084617441101488939233/908388453437606705826874558*c_\ 1010_12^7 + 30686261551076036510493396907/9083884534376067058268745\ 58*c_1010_12^6 - 26600713619091586186474302951/18167769068752134116\ 53749116*c_1010_12^5 + 10003769170808990860395149753/18167769068752\ 13411653749116*c_1010_12^4 - 806246052981192118479605587/9083884534\ 37606705826874558*c_1010_12^3 - 1733628187650875572349887853/908388\ 453437606705826874558*c_1010_12^2 + 1469435758248012845173592307/1816776906875213411653749116*c_1010_12 + 775593174789026028967271713/1816776906875213411653749116, c_1001_2 + 35169448504706595/2602424868376532932*c_1010_12^21 - 333482661544306015/2602424868376532932*c_1010_12^20 + 383351179362849136/650606217094133233*c_1010_12^19 - 2301512930346303013/1301212434188266466*c_1010_12^18 + 2830103295076139347/650606217094133233*c_1010_12^17 - 13153823580471064189/1301212434188266466*c_1010_12^16 + 56657965414680770297/2602424868376532932*c_1010_12^15 - 105135829384199612339/2602424868376532932*c_1010_12^14 + 172267278076465459463/2602424868376532932*c_1010_12^13 - 263794740502288563383/2602424868376532932*c_1010_12^12 + 187150216858739760559/1301212434188266466*c_1010_12^11 - 235146276039800856309/1301212434188266466*c_1010_12^10 + 532097994773695235871/2602424868376532932*c_1010_12^9 - 557933059729227660051/2602424868376532932*c_1010_12^8 + 265274283326263255837/1301212434188266466*c_1010_12^7 - 107966626320346127960/650606217094133233*c_1010_12^6 + 303372610789643034145/2602424868376532932*c_1010_12^5 - 185978130794698000041/2602424868376532932*c_1010_12^4 + 45241231096357551525/1301212434188266466*c_1010_12^3 - 13382604653880018303/1301212434188266466*c_1010_12^2 + 5991728775217387199/2602424868376532932*c_1010_12 + 1787037137751916901/2602424868376532932, c_1001_5 - 30646057601717317058573605/1816776906875213411653749116*c_10\ 10_12^21 + 288095538120687563616032133/1816776906875213411653749116\ *c_1010_12^20 - 329861579172424800110670623/45419422671880335291343\ 7279*c_1010_12^19 + 990331356962472026938745196/4541942267188033529\ 13437279*c_1010_12^18 - 2444480054215060462156599250/45419422671880\ 3352913437279*c_1010_12^17 + 5688355777001444591102082124/454194226\ 718803352913437279*c_1010_12^16 - 48961113716892527767051427083/181\ 6776906875213411653749116*c_1010_12^15 + 90987089932532208695072393757/1816776906875213411653749116*c_1010_1\ 2^14 - 149754869648197897725595965249/1816776906875213411653749116*\ c_1010_12^13 + 229854684465065457570158941389/181677690687521341165\ 3749116*c_1010_12^12 - 81646272891809181059665383355/45419422671880\ 3352913437279*c_1010_12^11 + 103186113301379706767572968584/4541942\ 26718803352913437279*c_1010_12^10 - 471226822781921372961491170055/1816776906875213411653749116*c_1010_\ 12^9 + 497728332164395869637146532915/1816776906875213411653749116*\ c_1010_12^8 - 239674431833219475531728211899/9083884534376067058268\ 74558*c_1010_12^7 + 99972206496798855867336984446/45419422671880335\ 2913437279*c_1010_12^6 - 290545340870299401074352862797/18167769068\ 75213411653749116*c_1010_12^5 + 187408653842286645288394105857/1816\ 776906875213411653749116*c_1010_12^4 - 50244755084396524050513980105/908388453437606705826874558*c_1010_12\ ^3 + 20043597568690759020778330947/908388453437606705826874558*c_10\ 10_12^2 - 13598295388192839295016140631/181677690687521341165374911\ 6*c_1010_12 + 3229317145993364800210595843/181677690687521341165374\ 9116, c_1010_12^22 - 10*c_1010_12^21 + 49*c_1010_12^20 - 158*c_1010_12^19 + 410*c_1010_12^18 - 974*c_1010_12^17 + 2141*c_1010_12^16 - 4152*c_1010_12^15 + 7146*c_1010_12^14 - 11310*c_1010_12^13 + 16571*c_1010_12^12 - 21972*c_1010_12^11 + 26375*c_1010_12^10 - 29030*c_1010_12^9 + 29263*c_1010_12^8 - 26314*c_1010_12^7 + 20879*c_1010_12^6 - 14566*c_1010_12^5 + 8753*c_1010_12^4 - 4308*c_1010_12^3 + 1719*c_1010_12^2 - 498*c_1010_12 + 97 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB