Magma V2.19-8 Tue Aug 20 2013 17:57:11 on localhost [Seed = 2682137495] Type ? for help. Type -D to quit. Loading file "11_7__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_7 geometric_solution 10.80832405 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 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.524998160187 0.733557870646 0 5 6 3 0132 0132 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 -1 1 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.946047228141 0.701416786068 3 0 7 5 1302 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.354825286426 0.901475519296 5 2 1 0 3120 2031 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 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.201070182121 0.695564920905 8 9 0 10 0132 0132 0132 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 -1 1 0 0 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.361923204264 0.619036852777 2 1 10 3 3120 0132 1230 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.946047228141 0.701416786068 8 7 9 1 3120 1023 3201 0132 0 0 0 0 0 -1 1 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 -9 10 -1 0 0 0 0 1 0 0 -1 1 -10 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.564959832087 0.394004390792 6 9 10 2 1023 0321 0213 0132 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 0 0 0 9 0 -9 0 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407968133378 1.168896137619 4 11 11 6 0132 0132 0321 3120 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 0 -1 0 0 0 0 0 1 0 -1 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769935397529 0.821120601491 6 4 11 7 2310 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -9 0 9 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.352485813482 1.187712229445 11 7 4 5 0321 0213 0132 3012 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 -1 0 0 1 -9 9 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.208170750248 1.202979025866 10 8 8 9 0321 0132 0321 0132 0 0 0 0 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 -1 0 1 0 0 9 -9 9 -9 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769935397529 0.821120601491 ==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' : negation(d['c_0011_6']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_10'], 'c_1001_8' : d['c_1001_10'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : negation(d['c_0101_5']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0101_10']), 'c_0101_10' : d['c_0101_10'], '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_1100_9' : d['c_1001_10'], 'c_1100_8' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : negation(d['1']), 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : negation(d['c_1001_5']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_6']), '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'], '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' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], '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_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_10'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_1001_10, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 3661474714132922431653317077/2779163204488538709015648*c_1001_5^21 - 4955442544864742187149727677/2779163204488538709015648*c_1001_5^20 + 1480016282658547401524590327/154397955804918817167536*c_1001_5^19 - 78803291202867749628739739359/2779163204488538709015648*c_1001_5^18 + 48425858035173492713942117693/2779163204488538709015648*c_1001_5^\ 17 + 147216240996487067494964665/926387734829512903005216*c_1001_5^\ 16 - 35129614451040013921957304375/308795911609837634335072*c_1001_\ 5^15 + 1217799495593876524869278542679/2779163204488538709015648*c_\ 1001_5^14 - 677076518106384406266154722547/138958160224426935450782\ 4*c_1001_5^13 + 69686304765828806753399205853/926387734829512903005\ 216*c_1001_5^12 + 482829970698867791023071451057/694790801122134677\ 253912*c_1001_5^11 - 5182843107941446313994041520053/27791632044885\ 38709015648*c_1001_5^10 + 250926527524821399357444807467/1543979558\ 04918817167536*c_1001_5^9 + 102671805553553097260639787647/23159693\ 3707378225751304*c_1001_5^8 - 167628695182162586429629439891/115798\ 466853689112875652*c_1001_5^7 + 33030301497077508696817349165/28949\ 616713422278218913*c_1001_5^6 - 139409933299268036815531470923/1543\ 97955804918817167536*c_1001_5^5 + 118389264509082694616436340951/23\ 1596933707378225751304*c_1001_5^4 - 471126554871049308478147690723/2779163204488538709015648*c_1001_5^3 + 49030421114706049681379318779/694790801122134677253912*c_1001_5^2 - 38570371464261144795227903963/2779163204488538709015648*c_1001_5 + 6155396633925414521010270643/2779163204488538709015648, c_0011_0 - 1, c_0011_10 + 703904994263969412587/2019740700936438015273*c_1001_5^21 - 1485531986480607500470/2019740700936438015273*c_1001_5^20 + 597194511324071806941/224415633437382001697*c_1001_5^19 - 18787503079629814454621/2019740700936438015273*c_1001_5^18 + 17157467033299377530644/2019740700936438015273*c_1001_5^17 + 57404277441839903618/673246900312146005091*c_1001_5^16 - 7105866421454914149272/224415633437382001697*c_1001_5^15 + 283180670459815389251422/2019740700936438015273*c_1001_5^14 - 393961070046257714735902/2019740700936438015273*c_1001_5^13 + 39489081899099490258164/673246900312146005091*c_1001_5^12 + 451545654935375314885553/2019740700936438015273*c_1001_5^11 - 1308764469258873017332003/2019740700936438015273*c_1001_5^10 + 155410525470305581699292/224415633437382001697*c_1001_5^9 + 29736032342844585083578/673246900312146005091*c_1001_5^8 - 435372519778958692452077/673246900312146005091*c_1001_5^7 + 373700414549405549884124/673246900312146005091*c_1001_5^6 - 65178721939444636969578/224415633437382001697*c_1001_5^5 + 82476085980478818528023/673246900312146005091*c_1001_5^4 - 59043134812197467513369/2019740700936438015273*c_1001_5^3 + 476626462360614043802/2019740700936438015273*c_1001_5^2 + 6471274062913204286630/2019740700936438015273*c_1001_5 - 1476367656103965436753/2019740700936438015273, c_0011_11 + 98929474388436812714/673246900312146005091*c_1001_5^21 - 120116455324558107517/673246900312146005091*c_1001_5^20 + 227882723980543612051/224415633437382001697*c_1001_5^19 - 2003774615826783000281/673246900312146005091*c_1001_5^18 + 885990365901631587637/673246900312146005091*c_1001_5^17 + 190043508194763469457/224415633437382001697*c_1001_5^16 - 2928095300850376640697/224415633437382001697*c_1001_5^15 + 31610707714510480259881/673246900312146005091*c_1001_5^14 - 30395683505168846352472/673246900312146005091*c_1001_5^13 - 1766176070801796950167/224415633437382001697*c_1001_5^12 + 59687604956084558253524/673246900312146005091*c_1001_5^11 - 132565596897469452829603/673246900312146005091*c_1001_5^10 + 30349211288451014286461/224415633437382001697*c_1001_5^9 + 25122001115149911714460/224415633437382001697*c_1001_5^8 - 41678625912687145811320/224415633437382001697*c_1001_5^7 + 19717042796122154117411/224415633437382001697*c_1001_5^6 - 9536160334567001698177/224415633437382001697*c_1001_5^5 + 5798200652213866511806/224415633437382001697*c_1001_5^4 - 2212680898971345828878/673246900312146005091*c_1001_5^3 - 2392955200057883915080/673246900312146005091*c_1001_5^2 + 500478294469510262114/673246900312146005091*c_1001_5 - 124204371175330602811/673246900312146005091, c_0011_3 + c_1001_5, c_0011_6 + 792255659451464576833/2019740700936438015273*c_1001_5^21 - 663528521954346965102/2019740700936438015273*c_1001_5^20 + 568136959384921027496/224415633437382001697*c_1001_5^19 - 13842988726123091586472/2019740700936438015273*c_1001_5^18 + 1082572920924433696439/2019740700936438015273*c_1001_5^17 + 2764752248145851565610/673246900312146005091*c_1001_5^16 - 7775019745547035882057/224415633437382001697*c_1001_5^15 + 226309992323202538021439/2019740700936438015273*c_1001_5^14 - 148146103701801082130159/2019740700936438015273*c_1001_5^13 - 49222049161766362521800/673246900312146005091*c_1001_5^12 + 488241178015568125904074/2019740700936438015273*c_1001_5^11 - 892194613555105115328116/2019740700936438015273*c_1001_5^10 + 34919293856248086856775/224415633437382001697*c_1001_5^9 + 317237248172903917110878/673246900312146005091*c_1001_5^8 - 291960699658704416445214/673246900312146005091*c_1001_5^7 + 33248126266432692160243/673246900312146005091*c_1001_5^6 + 5330096484409537556401/224415633437382001697*c_1001_5^5 - 12548090225761265535827/673246900312146005091*c_1001_5^4 + 50626562162837673489404/2019740700936438015273*c_1001_5^3 - 12686199024767576193983/2019740700936438015273*c_1001_5^2 + 266800717015023075898/2019740700936438015273*c_1001_5 + 1769746645840991282110/2019740700936438015273, c_0101_0 + 336884521155334842895/2019740700936438015273*c_1001_5^21 + 6776852725721886874/2019740700936438015273*c_1001_5^20 + 254205983617028680998/224415633437382001697*c_1001_5^19 - 4014973878390523578283/2019740700936438015273*c_1001_5^18 - 2255864410438926512509/2019740700936438015273*c_1001_5^17 - 118374361121578362731/673246900312146005091*c_1001_5^16 - 3306742252863188226223/224415633437382001697*c_1001_5^15 + 70953197885623070328275/2019740700936438015273*c_1001_5^14 - 11731746728022280766660/2019740700936438015273*c_1001_5^13 - 13882848957724557794567/673246900312146005091*c_1001_5^12 + 149365883607324274990990/2019740700936438015273*c_1001_5^11 - 258558707999303429128301/2019740700936438015273*c_1001_5^10 - 3178734228304957945408/224415633437382001697*c_1001_5^9 + 84133334296921676161565/673246900312146005091*c_1001_5^8 - 31728621254704264440040/673246900312146005091*c_1001_5^7 + 13973827061122976761111/673246900312146005091*c_1001_5^6 - 5030630949085073456581/224415633437382001697*c_1001_5^5 + 671301613888730938360/673246900312146005091*c_1001_5^4 + 2854209575810748398252/2019740700936438015273*c_1001_5^3 - 1445788066547673693209/2019740700936438015273*c_1001_5^2 - 3956879858786472773381/2019740700936438015273*c_1001_5 - 46872950715746291627/2019740700936438015273, c_0101_1 - 35728592370656965538/2019740700936438015273*c_1001_5^21 + 82601543086403257165/2019740700936438015273*c_1001_5^20 + 4434602649443310278/224415633437382001697*c_1001_5^19 + 1013730762778428273485/2019740700936438015273*c_1001_5^18 + 1147167642359479829303/2019740700936438015273*c_1001_5^17 - 1252773469373871155990/673246900312146005091*c_1001_5^16 + 105141003026635785839/224415633437382001697*c_1001_5^15 - 15223104691573066052218/2019740700936438015273*c_1001_5^14 - 5958329219535933269393/2019740700936438015273*c_1001_5^13 + 19742148198002884230991/673246900312146005091*c_1001_5^12 - 31850868810709219118564/2019740700936438015273*c_1001_5^11 + 27772255926406664843944/2019740700936438015273*c_1001_5^10 + 6812194540577167023831/224415633437382001697*c_1001_5^9 - 80319082933051752959119/673246900312146005091*c_1001_5^8 + 11023732387585403689841/673246900312146005091*c_1001_5^7 + 61878790299304109849440/673246900312146005091*c_1001_5^6 - 5495996213030984138287/224415633437382001697*c_1001_5^5 + 4314704011348284867880/673246900312146005091*c_1001_5^4 - 34425071753074377870682/2019740700936438015273*c_1001_5^3 - 396942072523513333070/2019740700936438015273*c_1001_5^2 + 1358920173757219929694/2019740700936438015273*c_1001_5 - 1175694720598285269536/2019740700936438015273, c_0101_10 - 918349338404198006983/2019740700936438015273*c_1001_5^21 + 1024658964871697462705/2019740700936438015273*c_1001_5^20 - 658056574439347065069/224415633437382001697*c_1001_5^19 + 18044116325417560744450/2019740700936438015273*c_1001_5^18 - 4168615720053039413468/2019740700936438015273*c_1001_5^17 - 3128542875117590229778/673246900312146005091*c_1001_5^16 + 8759018510575836497559/224415633437382001697*c_1001_5^15 - 286933311737491137367010/2019740700936438015273*c_1001_5^14 + 224607441592085765947262/2019740700936438015273*c_1001_5^13 + 45835062175320711760553/673246900312146005091*c_1001_5^12 - 555613320509614350345370/2019740700936438015273*c_1001_5^11 + 1150095025863416944264076/2019740700936438015273*c_1001_5^10 - 65555305105675342496614/224415633437382001697*c_1001_5^9 - 337082731127051726199335/673246900312146005091*c_1001_5^8 + 352632211735663831575739/673246900312146005091*c_1001_5^7 - 83695901978029855618153/673246900312146005091*c_1001_5^6 + 15163276803865963449152/224415633437382001697*c_1001_5^5 - 12709061141839973046745/673246900312146005091*c_1001_5^4 - 39824685751684921579199/2019740700936438015273*c_1001_5^3 - 5662757335885083093655/2019740700936438015273*c_1001_5^2 - 3013524344540298049009/2019740700936438015273*c_1001_5 - 1797152601005476013722/2019740700936438015273, c_0101_5 - 35728592370656965538/2019740700936438015273*c_1001_5^21 + 82601543086403257165/2019740700936438015273*c_1001_5^20 + 4434602649443310278/224415633437382001697*c_1001_5^19 + 1013730762778428273485/2019740700936438015273*c_1001_5^18 + 1147167642359479829303/2019740700936438015273*c_1001_5^17 - 1252773469373871155990/673246900312146005091*c_1001_5^16 + 105141003026635785839/224415633437382001697*c_1001_5^15 - 15223104691573066052218/2019740700936438015273*c_1001_5^14 - 5958329219535933269393/2019740700936438015273*c_1001_5^13 + 19742148198002884230991/673246900312146005091*c_1001_5^12 - 31850868810709219118564/2019740700936438015273*c_1001_5^11 + 27772255926406664843944/2019740700936438015273*c_1001_5^10 + 6812194540577167023831/224415633437382001697*c_1001_5^9 - 80319082933051752959119/673246900312146005091*c_1001_5^8 + 11023732387585403689841/673246900312146005091*c_1001_5^7 + 61878790299304109849440/673246900312146005091*c_1001_5^6 - 5495996213030984138287/224415633437382001697*c_1001_5^5 + 4314704011348284867880/673246900312146005091*c_1001_5^4 - 34425071753074377870682/2019740700936438015273*c_1001_5^3 - 396942072523513333070/2019740700936438015273*c_1001_5^2 + 1358920173757219929694/2019740700936438015273*c_1001_5 - 1175694720598285269536/2019740700936438015273, c_1001_10 - 387089280050668281116/2019740700936438015273*c_1001_5^21 + 897193922603513037103/2019740700936438015273*c_1001_5^20 - 327215567233773400804/224415633437382001697*c_1001_5^19 + 10768316711316893099693/2019740700936438015273*c_1001_5^18 - 10376443051447668611098/2019740700936438015273*c_1001_5^17 - 521476942053533331059/673246900312146005091*c_1001_5^16 + 3990831866949822306775/224415633437382001697*c_1001_5^15 - 162276384952736192424217/2019740700936438015273*c_1001_5^14 + 233333069381125144133950/2019740700936438015273*c_1001_5^13 - 18572068185563467283021/673246900312146005091*c_1001_5^12 - 276813791859105770708264/2019740700936438015273*c_1001_5^11 + 757251700775819974035676/2019740700936438015273*c_1001_5^10 - 91081309169300813788517/224415633437382001697*c_1001_5^9 - 36728014225572026949916/673246900312146005091*c_1001_5^8 + 282437434707997516512386/673246900312146005091*c_1001_5^7 - 207980376433914404924933/673246900312146005091*c_1001_5^6 + 31092474123847577909483/224415633437382001697*c_1001_5^5 - 38537025761774218628795/673246900312146005091*c_1001_5^4 + 2880976762154998648091/2019740700936438015273*c_1001_5^3 + 14509529391192332055805/2019740700936438015273*c_1001_5^2 - 5186911497808921292423/2019740700936438015273*c_1001_5 + 1968429625354889218795/2019740700936438015273, c_1001_2 - 98929474388436812714/673246900312146005091*c_1001_5^21 + 120116455324558107517/673246900312146005091*c_1001_5^20 - 227882723980543612051/224415633437382001697*c_1001_5^19 + 2003774615826783000281/673246900312146005091*c_1001_5^18 - 885990365901631587637/673246900312146005091*c_1001_5^17 - 190043508194763469457/224415633437382001697*c_1001_5^16 + 2928095300850376640697/224415633437382001697*c_1001_5^15 - 31610707714510480259881/673246900312146005091*c_1001_5^14 + 30395683505168846352472/673246900312146005091*c_1001_5^13 + 1766176070801796950167/224415633437382001697*c_1001_5^12 - 59687604956084558253524/673246900312146005091*c_1001_5^11 + 132565596897469452829603/673246900312146005091*c_1001_5^10 - 30349211288451014286461/224415633437382001697*c_1001_5^9 - 25122001115149911714460/224415633437382001697*c_1001_5^8 + 41678625912687145811320/224415633437382001697*c_1001_5^7 - 19717042796122154117411/224415633437382001697*c_1001_5^6 + 9536160334567001698177/224415633437382001697*c_1001_5^5 - 5798200652213866511806/224415633437382001697*c_1001_5^4 + 2212680898971345828878/673246900312146005091*c_1001_5^3 + 2392955200057883915080/673246900312146005091*c_1001_5^2 - 500478294469510262114/673246900312146005091*c_1001_5 + 124204371175330602811/673246900312146005091, c_1001_5^22 - c_1001_5^21 + 7*c_1001_5^20 - 19*c_1001_5^19 + 7*c_1001_5^18 + 2*c_1001_5^17 - 87*c_1001_5^16 + 302*c_1001_5^15 - 270*c_1001_5^14 - 26*c_1001_5^13 + 529*c_1001_5^12 - 1249*c_1001_5^11 + 826*c_1001_5^10 + 591*c_1001_5^9 - 951*c_1001_5^8 + 621*c_1001_5^7 - 465*c_1001_5^6 + 201*c_1001_5^5 - 40*c_1001_5^4 + 15*c_1001_5^3 + 5*c_1001_5^2 - c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.460 Total time: 2.669 seconds, Total memory usage: 32.09MB