Magma V2.19-8 Wed Aug 21 2013 00:22:02 on localhost [Seed = 4256952230] Type ? for help. Type -D to quit. Loading file "K14n11434__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11434 geometric_solution 11.95443504 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953012329319 0.915256670464 0 5 7 6 0132 0132 0132 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 1 -1 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823151603450 0.708658687836 8 0 6 9 0132 0132 0213 0132 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 1 0 0 -1 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.308005853825 1.536461305314 6 10 11 0 0132 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 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.547791763586 0.429645596347 10 5 0 9 3201 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393106669362 0.963761218424 12 1 4 6 0132 0132 0213 0213 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 -1 1 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346851573234 0.769524385663 3 2 1 5 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.238748772010 0.612534214507 12 11 11 1 2031 3012 3120 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 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.242500802834 0.770969915357 2 10 9 12 0132 0213 0213 1023 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 -1 0 0 1 0 -4 0 4 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637040064998 0.743637186136 11 8 2 4 1023 0213 0132 0213 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 -1 0 1 0 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389640996079 0.410638888230 12 3 8 4 1302 0132 0213 2310 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 0 0 0 -1 0 4 -3 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.189297903372 1.220108029516 7 9 7 3 1230 1023 3120 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 -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.648432997730 0.659964175863 5 10 7 8 0132 2031 1302 1023 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 1 -1 0 0 0 0 0 4 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742657548424 0.537260094091 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0101_1'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0110_4']), 'c_1010_10' : negation(d['c_0110_4']), '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_0011_0'], 's_2_0' : 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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1010_4'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_1010_4'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1010_4'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : d['c_1010_4'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0101_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : 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_0101_7'], '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' : d['c_0011_11'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : 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_0011_7'], 'c_0110_10' : negation(d['c_0101_1']), 'c_0110_12' : d['c_0011_4'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_4']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_7']})} 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_4, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_7, c_0110_4, c_1001_0, c_1001_2, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 5450990948039794506620784860773192513104751/56246035820561181296212\ 9664366876657871*c_1010_4^18 + 230587134132623972445943279886766662\ 2767142/187486786068537270987376554788958885957*c_1010_4^17 - 16936333209311195644346600201147211618501794/1874867860685372709873\ 76554788958885957*c_1010_4^16 - 57570440926022016478290755894166093\ 56848085/62495595356179090329125518262986295319*c_1010_4^15 - 18139535898625524995015611479082862740164451/4326618140043167792016\ 3820335913589067*c_1010_4^14 - 136567166823833811626363171148442614\ 279636716/562460358205611812962129664366876657871*c_1010_4^13 - 818668197329942848201993587082578049055780074/562460358205611812962\ 129664366876657871*c_1010_4^12 - 1561248446863673188425472050020748\ 222632328815/562460358205611812962129664366876657871*c_1010_4^11 - 1014699306140134520346559876154315761882856930/56246035820561181296\ 2129664366876657871*c_1010_4^10 + 342470720147203741334942106878513\ 7875576284561/562460358205611812962129664366876657871*c_1010_4^9 + 541965337356400312783966193074385303349902966/624955953561790903291\ 25518262986295319*c_1010_4^8 - 766950176266873420620722823575592511\ 499265412/187486786068537270987376554788958885957*c_1010_4^7 - 82575976009953072724894604128615164004743467/1147878282052269006045\ 1625803405646079*c_1010_4^6 + 3009524698291484627852241944661473478\ 331696907/562460358205611812962129664366876657871*c_1010_4^5 + 938391890925474062146103684957296507193347232/562460358205611812962\ 129664366876657871*c_1010_4^4 - 48692334253199466785205204247041656\ 17358509552/562460358205611812962129664366876657871*c_1010_4^3 + 1206708583078122992791432804653090451130278063/56246035820561181296\ 2129664366876657871*c_1010_4^2 + 3689337723445387148685168697816542\ 3096435866/8151599394284229173364198034302560259*c_1010_4 - 1128618425554019037258710109346785283923778955/56246035820561181296\ 2129664366876657871, c_0011_0 - 1, c_0011_10 + 328711104684461428036354644417/1022930402213140529756941452\ 7157*c_1010_4^18 - 157356925268821905739398165363/10229304022131405\ 297569414527157*c_1010_4^17 + 2944773880080854587318481758758/10229\ 304022131405297569414527157*c_1010_4^16 + 5391326603851167735717967201893/10229304022131405297569414527157*c_\ 1010_4^15 + 18633944638879426904493305828678/1022930402213140529756\ 9414527157*c_1010_4^14 + 22399423956271450095476556784534/102293040\ 22131405297569414527157*c_1010_4^13 + 67260549274074078364357858155475/10229304022131405297569414527157*c\ _1010_4^12 + 144684906645468826883083207607725/10229304022131405297\ 569414527157*c_1010_4^11 + 176653911569644567024615370308402/102293\ 04022131405297569414527157*c_1010_4^10 - 75671623724773264541904812874564/10229304022131405297569414527157*c\ _1010_4^9 - 361907755071291162660822535777570/102293040221314052975\ 69414527157*c_1010_4^8 - 161612177516295500386433692733120/10229304\ 022131405297569414527157*c_1010_4^7 + 144021513293612875629273990112760/10229304022131405297569414527157*\ c_1010_4^6 - 44886503962778716424318327261643/102293040221314052975\ 69414527157*c_1010_4^5 - 101457979789738313622116261935556/10229304\ 022131405297569414527157*c_1010_4^4 + 203254355524650127446978232205583/10229304022131405297569414527157*\ c_1010_4^3 + 110863403049445943964403431204783/10229304022131405297\ 569414527157*c_1010_4^2 - 75271984901727001338024779046850/10229304\ 022131405297569414527157*c_1010_4 - 21374839881098597035480325515870/10229304022131405297569414527157, c_0011_11 - 104005683378035198471262782749/1022930402213140529756941452\ 7157*c_1010_4^18 + 65790037323374483648842343894/102293040221314052\ 97569414527157*c_1010_4^17 - 973292159706684232685840824299/1022930\ 4022131405297569414527157*c_1010_4^16 - 1533867092360561715719001239979/10229304022131405297569414527157*c_\ 1010_4^15 - 5972461187513069927154801254460/10229304022131405297569\ 414527157*c_1010_4^14 - 6610043822116478617499267010441/10229304022\ 131405297569414527157*c_1010_4^13 - 22171591219186427411102472887689/10229304022131405297569414527157*c\ _1010_4^12 - 44634691915973250044609418675800/102293040221314052975\ 69414527157*c_1010_4^11 - 56509840299375775535764778750958/10229304\ 022131405297569414527157*c_1010_4^10 + 17738637058580505839576831565647/10229304022131405297569414527157*c\ _1010_4^9 + 91929221295058620171560230050188/1022930402213140529756\ 9414527157*c_1010_4^8 + 33013295530571151605726039190330/1022930402\ 2131405297569414527157*c_1010_4^7 - 35309907804573318206712491247840/10229304022131405297569414527157*c\ _1010_4^6 + 23811018271415915261346129863074/1022930402213140529756\ 9414527157*c_1010_4^5 + 27882263423708336190894936018518/1022930402\ 2131405297569414527157*c_1010_4^4 - 57691819545774172612061384495669/10229304022131405297569414527157*c\ _1010_4^3 - 17183440332274416658234889836300/1022930402213140529756\ 9414527157*c_1010_4^2 + 23887592054948750396808446665552/1022930402\ 2131405297569414527157*c_1010_4 - 41742191225992955321884119337/102\ 29304022131405297569414527157, c_0011_4 - 510560167787684729613137829138/10229304022131405297569414527\ 157*c_1010_4^18 + 179609900473063258256346591513/102293040221314052\ 97569414527157*c_1010_4^17 - 4533777703783839749632195442103/102293\ 04022131405297569414527157*c_1010_4^16 - 9009928881644391783726111601554/10229304022131405297569414527157*c_\ 1010_4^15 - 29876638714222506126234923014392/1022930402213140529756\ 9414527157*c_1010_4^14 - 38869987994277755484149134466534/102293040\ 22131405297569414527157*c_1010_4^13 - 108898723187180156536686666783271/10229304022131405297569414527157*\ c_1010_4^12 - 240798970130507689738696826159676/1022930402213140529\ 7569414527157*c_1010_4^11 - 303917864034314786847382435181176/10229\ 304022131405297569414527157*c_1010_4^10 + 72964267457979186739506595957728/10229304022131405297569414527157*c\ _1010_4^9 + 560725546905948275820240377133559/102293040221314052975\ 69414527157*c_1010_4^8 + 284439745501180146077863440915749/10229304\ 022131405297569414527157*c_1010_4^7 - 207239407474661117885449135162441/10229304022131405297569414527157*\ c_1010_4^6 + 50834507950264045485860997695249/102293040221314052975\ 69414527157*c_1010_4^5 + 183016314686524777981961308514769/10229304\ 022131405297569414527157*c_1010_4^4 - 291216690363815382227451241940250/10229304022131405297569414527157*\ c_1010_4^3 - 193040914282054744085637503336672/10229304022131405297\ 569414527157*c_1010_4^2 + 118275248424884917921436578943819/1022930\ 4022131405297569414527157*c_1010_4 + 35166495688117573927147493735705/10229304022131405297569414527157, c_0011_7 - 122444320216369782437321249541/10229304022131405297569414527\ 157*c_1010_4^18 + 81550902673606927681265400143/1022930402213140529\ 7569414527157*c_1010_4^17 - 1123558615092858140502211615316/1022930\ 4022131405297569414527157*c_1010_4^16 - 1802152737644478140264814402528/10229304022131405297569414527157*c_\ 1010_4^15 - 6698990696713753642101761082016/10229304022131405297569\ 414527157*c_1010_4^14 - 7391334417728850200668621478535/10229304022\ 131405297569414527157*c_1010_4^13 - 24452348579269338159452761452858/10229304022131405297569414527157*c\ _1010_4^12 - 50863134029962668166682576530748/102293040221314052975\ 69414527157*c_1010_4^11 - 59732716209410872644481444698712/10229304\ 022131405297569414527157*c_1010_4^10 + 30879739456687461005199664252064/10229304022131405297569414527157*c\ _1010_4^9 + 116188664492241853868859351612878/102293040221314052975\ 69414527157*c_1010_4^8 + 29714906637398770799513441403644/102293040\ 22131405297569414527157*c_1010_4^7 - 59262976022324970127724495156034/10229304022131405297569414527157*c\ _1010_4^6 + 23227068813864335435484078192373/1022930402213140529756\ 9414527157*c_1010_4^5 + 23599386181272201364756861463979/1022930402\ 2131405297569414527157*c_1010_4^4 - 73067356720812744870962222274648/10229304022131405297569414527157*c\ _1010_4^3 - 15542954276727395969249885612295/1022930402213140529756\ 9414527157*c_1010_4^2 + 30311833593664137814072668104301/1022930402\ 2131405297569414527157*c_1010_4 + 2969330202198553892736042613611/1\ 0229304022131405297569414527157, c_0101_0 - 396904350137513077276501916158/10229304022131405297569414527\ 157*c_1010_4^18 + 235710391746280499601681425959/102293040221314052\ 97569414527157*c_1010_4^17 - 3530037472777776882775379413541/102293\ 04022131405297569414527157*c_1010_4^16 - 6092947147295951773062332604120/10229304022131405297569414527157*c_\ 1010_4^15 - 21284227408152171837207367713514/1022930402213140529756\ 9414527157*c_1010_4^14 - 23448331215283129844374202077043/102293040\ 22131405297569414527157*c_1010_4^13 - 74340010455000199625652495270680/10229304022131405297569414527157*c\ _1010_4^12 - 159738093040137162069484757359360/10229304022131405297\ 569414527157*c_1010_4^11 - 177816544021891342918528446835276/102293\ 04022131405297569414527157*c_1010_4^10 + 146585860651445202371081664171473/10229304022131405297569414527157*\ c_1010_4^9 + 479540269718843858046885255369773/10229304022131405297\ 569414527157*c_1010_4^8 + 174379954954641556534612603734619/1022930\ 4022131405297569414527157*c_1010_4^7 - 217474831802602050430373705910108/10229304022131405297569414527157*\ c_1010_4^6 + 25798805701952150954661024083164/102293040221314052975\ 69414527157*c_1010_4^5 + 101526958174993032745447578169483/10229304\ 022131405297569414527157*c_1010_4^4 - 270944533652519288340353414168643/10229304022131405297569414527157*\ c_1010_4^3 - 129652298055419497820126772537620/10229304022131405297\ 569414527157*c_1010_4^2 + 111274942263173516433367953970547/1022930\ 4022131405297569414527157*c_1010_4 + 24489003755962611563589527632420/10229304022131405297569414527157, c_0101_1 - 281701291436199552229897169909/10229304022131405297569414527\ 157*c_1010_4^18 + 135518312724839166116521728687/102293040221314052\ 97569414527157*c_1010_4^17 - 2511784826485087318742006774068/102293\ 04022131405297569414527157*c_1010_4^16 - 4590610788118875486448037428167/10229304022131405297569414527157*c_\ 1010_4^15 - 15858889222091127493161790153936/1022930402213140529756\ 9414527157*c_1010_4^14 - 18686199043588087251965872527228/102293040\ 22131405297569414527157*c_1010_4^13 - 56365818780543083270618002502499/10229304022131405297569414527157*c\ _1010_4^12 - 121227918963898355750582252851159/10229304022131405297\ 569414527157*c_1010_4^11 - 145915979371184360456499536248737/102293\ 04022131405297569414527157*c_1010_4^10 + 77507373767965481203499833315621/10229304022131405297569414527157*c\ _1010_4^9 + 332507757841344572594703253016122/102293040221314052975\ 69414527157*c_1010_4^8 + 155491919464982337211827729973961/10229304\ 022131405297569414527157*c_1010_4^7 - 131981903654236441422530217450596/10229304022131405297569414527157*\ c_1010_4^6 + 11371236289951344209527886127931/102293040221314052975\ 69414527157*c_1010_4^5 + 81236705689789229102371631802427/102293040\ 22131405297569414527157*c_1010_4^4 - 173310391768653093830885286023856/10229304022131405297569414527157*\ c_1010_4^3 - 108621053662563218282366999425886/10229304022131405297\ 569414527157*c_1010_4^2 + 64054411426395129292556736888898/10229304\ 022131405297569414527157*c_1010_4 + 26316846324835407876797020432278/10229304022131405297569414527157, c_0101_11 - 233345214818335755762990062497/1022930402213140529756941452\ 7157*c_1010_4^18 + 88482153847333355809775360569/102293040221314052\ 97569414527157*c_1010_4^17 - 2055991420636099964412640768390/102293\ 04022131405297569414527157*c_1010_4^16 - 4083301996186313215949652177476/10229304022131405297569414527157*c_\ 1010_4^15 - 13344244118083085291855353584199/1022930402213140529756\ 9414527157*c_1010_4^14 - 17232602979409764622016769816819/102293040\ 22131405297569414527157*c_1010_4^13 - 48194162601491402755915937674098/10229304022131405297569414527157*c\ _1010_4^12 - 107865442452633655222918412221226/10229304022131405297\ 569414527157*c_1010_4^11 - 131439741406401342547378895085866/102293\ 04022131405297569414527157*c_1010_4^10 + 44066185517313409000232415098334/10229304022131405297569414527157*c\ _1010_4^9 + 265804555402243518245675385101317/102293040221314052975\ 69414527157*c_1010_4^8 + 122771031822530338772451076586168/10229304\ 022131405297569414527157*c_1010_4^7 - 98917132906563408862495447936732/10229304022131405297569414527157*c\ _1010_4^6 + 31029748802466954792915134443027/1022930402213140529756\ 9414527157*c_1010_4^5 + 87926149667345374457601938710849/1022930402\ 2131405297569414527157*c_1010_4^4 - 144589006706927915390773516215167/10229304022131405297569414527157*\ c_1010_4^3 - 86072729066799783543128810243540/102293040221314052975\ 69414527157*c_1010_4^2 + 58570966395876219595231773904192/102293040\ 22131405297569414527157*c_1010_4 + 8820079232452828113199394558129/10229304022131405297569414527157, c_0101_7 - 16843447271059828821648161474/102293040221314052975694145271\ 57*c_1010_4^18 + 834679916749779166134738438/1022930402213140529756\ 9414527157*c_1010_4^17 - 127496029955065127962471445168/10229304022\ 131405297569414527157*c_1010_4^16 - 351194912200196590355869400625/10229304022131405297569414527157*c_1\ 010_4^15 - 891468329878688454759124910856/1022930402213140529756941\ 4527157*c_1010_4^14 - 1234455576330268013776746850499/1022930402213\ 1405297569414527157*c_1010_4^13 - 2807323990519927274362516334598/1\ 0229304022131405297569414527157*c_1010_4^12 - 7470984021058674832807998337608/10229304022131405297569414527157*c_\ 1010_4^11 - 8132461243642696555927437197601/10229304022131405297569\ 414527157*c_1010_4^10 + 8985346917421141831506155229440/10229304022\ 131405297569414527157*c_1010_4^9 + 30632610067696161225714682486998/10229304022131405297569414527157*c\ _1010_4^8 + 12917535820158598418249087687763/1022930402213140529756\ 9414527157*c_1010_4^7 - 25870600942218004832992344010599/1022930402\ 2131405297569414527157*c_1010_4^6 - 13027723895047472068235598279407/10229304022131405297569414527157*c\ _1010_4^5 + 4119910668426090432211025517100/10229304022131405297569\ 414527157*c_1010_4^4 - 18061749712738881324666204497571/10229304022\ 131405297569414527157*c_1010_4^3 - 11287361054413674564256693697270/10229304022131405297569414527157*c\ _1010_4^2 + 15859783047421100170144849805812/1022930402213140529756\ 9414527157*c_1010_4 + 4941541856694956990743682648075/1022930402213\ 1405297569414527157, c_0110_4 - 1078065561849571291147857028/1022930402213140529756941452715\ 7*c_1010_4^18 - 17006169374130363790316186984/102293040221314052975\ 69414527157*c_1010_4^17 - 230909579533780484210833099/1022930402213\ 1405297569414527157*c_1010_4^16 - 165561322785777927950916633290/10\ 229304022131405297569414527157*c_1010_4^15 - 355664275906020854539580071682/10229304022131405297569414527157*c_1\ 010_4^14 - 938099135190627523605775223906/1022930402213140529756941\ 4527157*c_1010_4^13 - 1328696097609595485025357501683/1022930402213\ 1405297569414527157*c_1010_4^12 - 3430892800124369339875212261568/1\ 0229304022131405297569414527157*c_1010_4^11 - 7922118268569694995643782173191/10229304022131405297569414527157*c_\ 1010_4^10 - 6443386621254282329498259312675/10229304022131405297569\ 414527157*c_1010_4^9 + 8443454183605622279256016024402/102293040221\ 31405297569414527157*c_1010_4^8 + 23610633745611748443592843448071/\ 10229304022131405297569414527157*c_1010_4^7 + 5941879942830956839244472728028/10229304022131405297569414527157*c_\ 1010_4^6 - 7578987928366969934883357266522/102293040221314052975694\ 14527157*c_1010_4^5 + 9995821193833261075034558530293/1022930402213\ 1405297569414527157*c_1010_4^4 + 821096864078554526967382017087/102\ 29304022131405297569414527157*c_1010_4^3 - 6143646910828680790070266068055/10229304022131405297569414527157*c_\ 1010_4^2 - 4253814296419600004717632778149/102293040221314052975694\ 14527157*c_1010_4 + 2849339753105597178263818937016/102293040221314\ 05297569414527157, c_1001_0 + 406554484409649531141875046389/10229304022131405297569414527\ 157*c_1010_4^18 - 113819863149688774607504247619/102293040221314052\ 97569414527157*c_1010_4^17 + 3560485544077155516946354617804/102293\ 04022131405297569414527157*c_1010_4^16 + 7476061789283830068007110361575/10229304022131405297569414527157*c_\ 1010_4^15 + 23904177526709436199080121759932/1022930402213140529756\ 9414527157*c_1010_4^14 + 32259944172161276866649867456093/102293040\ 22131405297569414527157*c_1010_4^13 + 86727131967993729125584193895582/10229304022131405297569414527157*c\ _1010_4^12 + 196164278214534439694087407483876/10229304022131405297\ 569414527157*c_1010_4^11 + 247408023734939011311617656430218/102293\ 04022131405297569414527157*c_1010_4^10 - 55225630399398680899929764392081/10229304022131405297569414527157*c\ _1010_4^9 - 468796325610889655648680147083371/102293040221314052975\ 69414527157*c_1010_4^8 - 251426449970608994472137401725419/10229304\ 022131405297569414527157*c_1010_4^7 + 171929499670087799678736643914601/10229304022131405297569414527157*\ c_1010_4^6 - 27023489678848130224514867832175/102293040221314052975\ 69414527157*c_1010_4^5 - 155134051262816441791066372496251/10229304\ 022131405297569414527157*c_1010_4^4 + 233524870818041209615389857444581/10229304022131405297569414527157*\ c_1010_4^3 + 175857473949780327427402613500372/10229304022131405297\ 569414527157*c_1010_4^2 - 94387656369936167524628132278267/10229304\ 022131405297569414527157*c_1010_4 - 35208237879343566882469377855042/10229304022131405297569414527157, c_1001_2 + 506793995764327556623985253560/10229304022131405297569414527\ 157*c_1010_4^18 - 149493296814454961036947208589/102293040221314052\ 97569414527157*c_1010_4^17 + 4416312693843099334057098941034/102293\ 04022131405297569414527157*c_1010_4^16 + 9269444958899503969564078074248/10229304022131405297569414527157*c_\ 1010_4^15 + 29417282131663629332279293056132/1022930402213140529756\ 9414527157*c_1010_4^14 + 39421869832982942495175610918488/102293040\ 22131405297569414527157*c_1010_4^13 + 106024300700145196771706951881829/10229304022131405297569414527157*\ c_1010_4^12 + 241161442682297035164005848363650/1022930402213140529\ 7569414527157*c_1010_4^11 + 298756339827874789981810309179731/10229\ 304022131405297569414527157*c_1010_4^10 - 84785895564612484234939741615072/10229304022131405297569414527157*c\ _1010_4^9 - 599307420027377430422057193096942/102293040221314052975\ 69414527157*c_1010_4^8 - 307003410577256014622799717501181/10229304\ 022131405297569414527157*c_1010_4^7 + 228498145284392991668950642208827/10229304022131405297569414527157*\ c_1010_4^6 - 29661011395951315481958019266278/102293040221314052975\ 69414527157*c_1010_4^5 - 186021132670206586385565479236074/10229304\ 022131405297569414527157*c_1010_4^4 + 308669279566876150981059250861722/10229304022131405297569414527157*\ c_1010_4^3 + 207924849969610722127438123383648/10229304022131405297\ 569414527157*c_1010_4^2 - 132111813678244370085869772215716/1022930\ 4022131405297569414527157*c_1010_4 - 35122408533521883681054222159929/10229304022131405297569414527157, c_1010_4^19 - c_1010_4^18 + 9*c_1010_4^17 + 12*c_1010_4^16 + 46*c_1010_4^15 + 37*c_1010_4^14 + 158*c_1010_4^13 + 328*c_1010_4^12 + 267*c_1010_4^11 - 570*c_1010_4^10 - 1055*c_1010_4^9 + 174*c_1010_4^8 + 833*c_1010_4^7 - 358*c_1010_4^6 - 309*c_1010_4^5 + 843*c_1010_4^4 + 13*c_1010_4^3 - 512*c_1010_4^2 + 86*c_1010_4 + 49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.520 Total time: 4.730 seconds, Total memory usage: 84.88MB