Magma V2.19-8 Wed Aug 21 2013 00:52:46 on localhost [Seed = 3599811424] Type ? for help. Type -D to quit. Loading file "L12n1088__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1088 geometric_solution 11.55123092 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 3201 0132 0 1 0 1 0 0 -1 1 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 1 0 -1 0 0 0 0 0 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.822273335702 2.273976009994 0 4 6 5 0132 0132 0132 0132 0 1 1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487846441368 0.308439467240 0 0 7 5 2310 0132 0132 2310 0 1 1 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 1 0 -1 3 0 -3 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.471670273157 0.556312967541 8 7 0 4 0132 0132 0132 2310 0 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 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.256446404082 0.308845194058 3 1 9 8 3201 0132 0132 0321 0 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 -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.044951213158 1.011045801609 2 6 1 8 3201 2103 0132 2103 0 1 0 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 0 1 -1 0 0 0 0 1 -1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.868445381896 0.459236816970 10 5 10 1 0132 2103 3120 0132 0 1 0 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 0 -1 0 0 1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172685612847 0.851103926620 11 3 12 2 0132 0132 0132 0132 0 1 0 1 0 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 -3 3 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.895385165554 0.919035823857 3 4 11 5 0132 0321 3120 2103 0 1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.702348748711 1.279348774752 11 10 12 4 3012 3120 0321 0132 0 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434297673379 0.625008991519 6 9 6 12 0132 3120 3120 2310 1 1 1 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 2 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.172685612847 0.851103926620 7 12 8 9 0132 3120 3120 1230 1 1 1 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502023035795 0.651307782010 10 11 9 7 3201 3120 0321 0132 0 1 1 1 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 -2 3 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348905759199 0.393240698509 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_12' : negation(d['c_1001_11']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0011_10']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_11']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : negation(d['c_1001_11']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(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' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_1001_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_1001_11']), 'c_1100_7' : d['c_0011_5'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_4'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(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_0101_11']), 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_5'], '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' : d['c_0011_9'], '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' : negation(d['c_0011_11']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : negation(d['c_0011_12']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : negation(d['c_0101_4']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0101_11'], 'c_1100_8' : negation(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_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_1001_1, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 155806229771035433292330169515811833/295857398326914926375002260074\ 9236*c_1001_2^15 - 5879683175693443222373766885755939207/8875721949\ 807447791250067802247708*c_1001_2^14 + 28767436949960938154467170073643703541/8875721949807447791250067802\ 247708*c_1001_2^13 - 97642094181524572369121989097960696573/8875721\ 949807447791250067802247708*c_1001_2^12 + 22100426583959577269994403578185286999/1479286991634574631875011300\ 374618*c_1001_2^11 - 32940697577685412188600449801330939401/2218930\ 487451861947812516950561927*c_1001_2^10 + 2447568822156225930274406185489204168727/88757219498074477912500678\ 02247708*c_1001_2^9 - 994491010302942848661490273547710868524/73964\ 3495817287315937505650187309*c_1001_2^8 + 27295885684184516123018006682903734426477/8875721949807447791250067\ 802247708*c_1001_2^7 - 36693964534198399572701272991020832334215/88\ 75721949807447791250067802247708*c_1001_2^6 + 10512424344849953395502129899760641867135/2958573983269149263750022\ 600749236*c_1001_2^5 - 17847252830991081736000977317332382037773/88\ 75721949807447791250067802247708*c_1001_2^4 + 3312336886399639075324055915793798578603/44378609749037238956250339\ 01123854*c_1001_2^3 - 780244903110089968709236635488059056323/44378\ 60974903723895625033901123854*c_1001_2^2 + 72796082213666908315512553842982875697/2958573983269149263750022600\ 749236*c_1001_2 - 1161401628913954345531400738248822329/73964349581\ 7287315937505650187309, c_0011_0 - 1, c_0011_10 + 327826628000318419604484705246081/1479286991634574631875011\ 300374618*c_1001_2^15 - 6205433530751763737262707783865800/22189304\ 87451861947812516950561927*c_1001_2^14 + 30602625954813684756939250987448446/2218930487451861947812516950561\ 927*c_1001_2^13 - 209896250351988214188087594910404445/443786097490\ 3723895625033901123854*c_1001_2^12 + 49258350149744843811052899295934309/7396434958172873159375056501873\ 09*c_1001_2^11 - 156953458977857457225050119732366576/2218930487451\ 861947812516950561927*c_1001_2^10 + 2587192803607578033901537377559479047/22189304874518619478125169505\ 61927*c_1001_2^9 - 4222737541383621209945646108974372165/7396434958\ 17287315937505650187309*c_1001_2^8 + 59349256644153727906162937433905779597/4437860974903723895625033901\ 123854*c_1001_2^7 - 41441887956097542926068755079352821997/22189304\ 87451861947812516950561927*c_1001_2^6 + 12503722840226088784307746252445189958/7396434958172873159375056501\ 87309*c_1001_2^5 - 45293126751210709429619288310335965465/443786097\ 4903723895625033901123854*c_1001_2^4 + 9065908050794238244059711070107872530/22189304874518619478125169505\ 61927*c_1001_2^3 - 2317658991201776692017939781547349385/2218930487\ 451861947812516950561927*c_1001_2^2 + 116249283597598168582639426164545166/739643495817287315937505650187\ 309*c_1001_2 - 8741087982991455990596408051186434/73964349581728731\ 5937505650187309, c_0011_11 - 745077634605052235347072364468409/1479286991634574631875011\ 300374618*c_1001_2^15 + 12681592462041214962832906673519285/2218930\ 487451861947812516950561927*c_1001_2^14 - 54853879270778170939282683696996862/2218930487451861947812516950561\ 927*c_1001_2^13 + 366684297993918791354939557385507869/443786097490\ 3723895625033901123854*c_1001_2^12 - 51912456454386240512494830937247727/7396434958172873159375056501873\ 09*c_1001_2^11 + 330152619474839752050672275772710818/2218930487451\ 861947812516950561927*c_1001_2^10 - 5454604783131971704887264168840308045/22189304874518619478125169505\ 61927*c_1001_2^9 + 7422769982137712387588595506400218703/7396434958\ 17287315937505650187309*c_1001_2^8 - 91322771169349626341456280385410218629/4437860974903723895625033901\ 123854*c_1001_2^7 + 56933943495334622940104356591736762753/22189304\ 87451861947812516950561927*c_1001_2^6 - 15423926724452130532499183178750930361/7396434958172873159375056501\ 87309*c_1001_2^5 + 50060573970281470335841096982697046987/443786097\ 4903723895625033901123854*c_1001_2^4 - 8932329884203333839913422370257871588/22189304874518619478125169505\ 61927*c_1001_2^3 + 2033500738291428477479085691399587013/2218930487\ 451861947812516950561927*c_1001_2^2 - 93606701700409428567665225249912916/7396434958172873159375056501873\ 09*c_1001_2 + 6928164335639118834505546105913228/739643495817287315\ 937505650187309, c_0011_12 + 542362579125849591900435088121678/2218930487451861947812516\ 950561927*c_1001_2^15 - 61945981667305027261600252360774130/1997037\ 4387066757530312652555057343*c_1001_2^14 + 311046205664924736580577145074463079/199703743870667575303126525550\ 57343*c_1001_2^13 - 1091128382756396614178834093326246742/199703743\ 87066757530312652555057343*c_1001_2^12 + 543933012359941912193586401235040979/665679146235558584343755085168\ 5781*c_1001_2^11 - 1950556597948953590725775482989065152/1997037438\ 7066757530312652555057343*c_1001_2^10 + 25601727305817997775527666808255933894/1997037438706675753031265255\ 5057343*c_1001_2^9 - 42818318168014002092567171748358596584/6656791\ 462355585843437550851685781*c_1001_2^8 + 316204931883023329812285137372122411976/199703743870667575303126525\ 55057343*c_1001_2^7 - 466989568518872256258554332886378228246/19970\ 374387066757530312652555057343*c_1001_2^6 + 148963869786934799624112781507495962041/665679146235558584343755085\ 1685781*c_1001_2^5 - 283289215477495006681112489140632281354/199703\ 74387066757530312652555057343*c_1001_2^4 + 117219427495649859127098621071369561857/199703743870667575303126525\ 55057343*c_1001_2^3 - 30125313320189678030758081531144941220/199703\ 74387066757530312652555057343*c_1001_2^2 + 494138576985433297317381981731108239/221893048745186194781251695056\ 1927*c_1001_2 - 13596062681312061660368365849303682/739643495817287\ 315937505650187309, c_0011_5 + 165020306665369278524227148884306/73964349581728731593750565\ 0187309*c_1001_2^15 - 16000118262962561502955375778483083/665679146\ 2355585843437550851685781*c_1001_2^14 + 63602167135828763874703949014753754/6656791462355585843437550851685\ 781*c_1001_2^13 - 206041125564537616439615341335235585/665679146235\ 5585843437550851685781*c_1001_2^12 + 9409127794196150639304241753498384/73964349581728731593750565018730\ 9*c_1001_2^11 - 376052761781053596870811297284445274/66567914623555\ 85843437550851685781*c_1001_2^10 + 7031065746973942620608862893737795432/66567914623555858434375508516\ 85781*c_1001_2^9 - 2834244565863222370712472728314021922/7396434958\ 17287315937505650187309*c_1001_2^8 + 45566116969112538895158656770503343246/6656791462355585843437550851\ 685781*c_1001_2^7 - 47941788711216677087962040688687852727/66567914\ 62355585843437550851685781*c_1001_2^6 + 3437904061675459210988944287564357210/73964349581728731593750565018\ 7309*c_1001_2^5 - 11721978420759733406024565674843006305/6656791462\ 355585843437550851685781*c_1001_2^4 + 2121831151281486369594607063570157132/66567914623555858434375508516\ 85781*c_1001_2^3 + 5827186165031388222647936612559715/6656791462355\ 585843437550851685781*c_1001_2^2 - 14483314855952009812528504842424895/2218930487451861947812516950561\ 927*c_1001_2 + 345081662434411867863364526056047/739643495817287315\ 937505650187309, c_0011_9 - 1324491967101173894026146780039854/2218930487451861947812516\ 950561927*c_1001_2^15 + 131825656862727760687607811279279551/199703\ 74387066757530312652555057343*c_1001_2^14 - 553247861599623773235427344427686565/199703743870667575303126525550\ 57343*c_1001_2^13 + 1860756380585367045164076410271774632/199703743\ 87066757530312652555057343*c_1001_2^12 - 456578000911136218630913852214753011/665679146235558584343755085168\ 5781*c_1001_2^11 + 3908181481307068488607829319040425820/1997037438\ 7066757530312652555057343*c_1001_2^10 - 57175247064809721216850948079802815894/1997037438706675753031265255\ 5057343*c_1001_2^9 + 74185592987381785062131878387373251136/6656791\ 462355585843437550851685781*c_1001_2^8 - 451830429845154289387282096254112278605/199703743870667575303126525\ 55057343*c_1001_2^7 + 574266878761630451945835592047587036969/19970\ 374387066757530312652555057343*c_1001_2^6 - 162464630293113534648217485108598550027/665679146235558584343755085\ 1685781*c_1001_2^5 + 280153262286187548474256391521128312884/199703\ 74387066757530312652555057343*c_1001_2^4 - 107031301756962053596229240248130638933/199703743870667575303126525\ 55057343*c_1001_2^3 + 25942724237025166517581695581416254850/199703\ 74387066757530312652555057343*c_1001_2^2 - 415780761735344435737925811221100256/221893048745186194781251695056\ 1927*c_1001_2 + 32821437469095297513874262265155300/221893048745186\ 1947812516950561927, c_0101_0 - 1, c_0101_1 + 560621029776390688628375061145506/73964349581728731593750565\ 0187309*c_1001_2^15 - 12695478076740184054672814921872467/147928699\ 1634574631875011300374618*c_1001_2^14 + 164034794296230853464242604674629361/443786097490372389562503390112\ 3854*c_1001_2^13 - 546885412993689304116950633455276525/44378609749\ 03723895625033901123854*c_1001_2^12 + 227145176042831490739674702319596997/221893048745186194781251695056\ 1927*c_1001_2^11 - 162890449726452411775981872189148364/73964349581\ 7287315937505650187309*c_1001_2^10 + 8214852072312299732080234130896880981/22189304874518619478125169505\ 61927*c_1001_2^9 - 33264886770407014821438190863552444715/221893048\ 7451861947812516950561927*c_1001_2^8 + 22562934489863018700282577881909647871/7396434958172873159375056501\ 87309*c_1001_2^7 - 167875677687011884572737975192416796897/44378609\ 74903723895625033901123854*c_1001_2^6 + 135941772773179101593637795427447157267/443786097490372389562503390\ 1123854*c_1001_2^5 - 24410713533416945290846798636343582811/1479286\ 991634574631875011300374618*c_1001_2^4 + 12946731072067775172444273182482100938/2218930487451861947812516950\ 561927*c_1001_2^3 - 2892793109541886686331407746906290304/221893048\ 7451861947812516950561927*c_1001_2^2 + 390784547397449421905574957996599900/221893048745186194781251695056\ 1927*c_1001_2 - 9818821626866945283939929920333566/7396434958172873\ 15937505650187309, c_0101_11 + 161386715245248879845930363312134/7396434958172873159375056\ 50187309*c_1001_2^15 - 31291392162908131547688083130902891/13313582\ 924711171686875101703371562*c_1001_2^14 + 124817835563832315814487066590279321/133135829247111716868751017033\ 71562*c_1001_2^13 - 407787451213943475105629604902066549/1331358292\ 4711171686875101703371562*c_1001_2^12 + 30773279236842403097882261413046594/2218930487451861947812516950561\ 927*c_1001_2^11 - 398960251749058418576446886134737146/665679146235\ 5585843437550851685781*c_1001_2^10 + 6887151255427897647859636941276695626/66567914623555858434375508516\ 85781*c_1001_2^9 - 8329443419860136736558480858716494163/2218930487\ 451861947812516950561927*c_1001_2^8 + 45625183864054867735370418065870627431/6656791462355585843437550851\ 685781*c_1001_2^7 - 101501380484284474994300472663034142747/1331358\ 2924711171686875101703371562*c_1001_2^6 + 24645656263100338782690328422916935679/4437860974903723895625033901\ 123854*c_1001_2^5 - 36377004390898434313232018558666859317/13313582\ 924711171686875101703371562*c_1001_2^4 + 6132931345165694225915738525322817775/66567914623555858434375508516\ 85781*c_1001_2^3 - 1408358285270611414060702585358660318/6656791462\ 355585843437550851685781*c_1001_2^2 + 64180910737156354468681934406751409/2218930487451861947812516950561\ 927*c_1001_2 - 957430988347487711749909855931614/739643495817287315\ 937505650187309, c_0101_4 - 1160153649946623382167114949659098/2218930487451861947812516\ 950561927*c_1001_2^15 + 129981134532792136505707884093921530/199703\ 74387066757530312652555057343*c_1001_2^14 - 636861620598304964906288866159660630/199703743870667575303126525550\ 57343*c_1001_2^13 + 2212424802405885817842258436164167852/199703743\ 87066757530312652555057343*c_1001_2^12 - 1029406401241553488360266780364275829/66567914623555858434375508516\ 85781*c_1001_2^11 + 3857643281285416574706671082641725900/199703743\ 87066757530312652555057343*c_1001_2^10 - 54076866272755929289608469307821500848/1997037438706675753031265255\ 5057343*c_1001_2^9 + 87477777911989050369186375946753107502/6656791\ 462355585843437550851685781*c_1001_2^8 - 627172940063690174798089624391386812404/199703743870667575303126525\ 55057343*c_1001_2^7 + 900707514001735474840645005432959841440/19970\ 374387066757530312652555057343*c_1001_2^6 - 279113539141692596004210472534565280199/665679146235558584343755085\ 1685781*c_1001_2^5 + 514565817363774481928517130148971936676/199703\ 74387066757530312652555057343*c_1001_2^4 - 206273055990691074809448679177410895669/199703743870667575303126525\ 55057343*c_1001_2^3 + 51600735333530413219692544982052162130/199703\ 74387066757530312652555057343*c_1001_2^2 - 2500763925798155873488305690891312211/66567914623555858434375508516\ 85781*c_1001_2 + 66151479401697939427268756874662446/22189304874518\ 61947812516950561927, c_1001_1 - 63946361745190537443157544253672/739643495817287315937505650\ 187309*c_1001_2^15 + 2486070162993671501044106664711299/22189304874\ 51861947812516950561927*c_1001_2^14 - 12872785670675325355761577116473263/2218930487451861947812516950561\ 927*c_1001_2^13 + 46026844645669333459384677146090447/2218930487451\ 861947812516950561927*c_1001_2^12 - 24882091787922057713991875884128413/7396434958172873159375056501873\ 09*c_1001_2^11 + 90564227332785120609286333006116706/22189304874518\ 61947812516950561927*c_1001_2^10 - 1018191489635343977904145275725921189/22189304874518619478125169505\ 61927*c_1001_2^9 + 1773832320549626485899030066413635852/7396434958\ 17287315937505650187309*c_1001_2^8 - 13730688143254257219382089648486006782/2218930487451861947812516950\ 561927*c_1001_2^7 + 21249150030205066743110423144448234983/22189304\ 87451861947812516950561927*c_1001_2^6 - 7115405469509296666954664660262308190/73964349581728731593750565018\ 7309*c_1001_2^5 + 14280463471108336936323286037905542941/2218930487\ 451861947812516950561927*c_1001_2^4 - 6296340069533016346003135259636974339/22189304874518619478125169505\ 61927*c_1001_2^3 + 1740219245603358885762314906796713842/2218930487\ 451861947812516950561927*c_1001_2^2 - 90331704340106613757950313202139221/7396434958172873159375056501873\ 09*c_1001_2 + 6433322482172863361428811370910110/739643495817287315\ 937505650187309, c_1001_11 + 19554792489823623194192413334511/73964349581728731593750565\ 0187309*c_1001_2^15 - 3412409881105828224408084248130161/4437860974\ 903723895625033901123854*c_1001_2^14 + 27300603519357884874170452678004633/4437860974903723895625033901123\ 854*c_1001_2^13 - 99771590358125905670870153220053395/4437860974903\ 723895625033901123854*c_1001_2^12 + 138094931697363558696045157162543496/221893048745186194781251695056\ 1927*c_1001_2^11 - 31393578202242326533426053067223927/221893048745\ 1861947812516950561927*c_1001_2^10 + 574224779009077049149195371939258773/221893048745186194781251695056\ 1927*c_1001_2^9 - 5976134867593015054274003224799468822/22189304874\ 51861947812516950561927*c_1001_2^8 + 18301022371938358148345184555755640811/2218930487451861947812516950\ 561927*c_1001_2^7 - 19562912108529791802737093366068419349/14792869\ 91634574631875011300374618*c_1001_2^6 + 57361697967666984883482276006275295403/4437860974903723895625033901\ 123854*c_1001_2^5 - 35986910961838794505545226197311675687/44378609\ 74903723895625033901123854*c_1001_2^4 + 7282792556256940056215516961267157819/22189304874518619478125169505\ 61927*c_1001_2^3 - 617188773219134523062654764489588843/73964349581\ 7287315937505650187309*c_1001_2^2 + 283071969221816255213337282439094662/221893048745186194781251695056\ 1927*c_1001_2 - 8081652970437927065177110210444062/7396434958172873\ 15937505650187309, c_1001_2^16 - 106/9*c_1001_2^15 + 485/9*c_1001_2^14 - 1660/9*c_1001_2^13 + 623/3*c_1001_2^12 - 3128/9*c_1001_2^11 + 45124/9*c_1001_2^10 - 65984/3*c_1001_2^9 + 441919/9*c_1001_2^8 - 608986/9*c_1001_2^7 + 186263/3*c_1001_2^6 - 351178/9*c_1001_2^5 + 151289/9*c_1001_2^4 - 43808/9*c_1001_2^3 + 2744/3*c_1001_2^2 - 106*c_1001_2 + 6 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 12.620 Total time: 12.820 seconds, Total memory usage: 81.00MB