Magma V2.19-8 Wed Aug 21 2013 00:00:19 on localhost [Seed = 2968967565] Type ? for help. Type -D to quit. Loading file "K13n1528__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1528 geometric_solution 11.39762299 oriented_manifold CS_known -0.0000000000000002 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326731634187 1.128567732903 0 4 6 5 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.129942222031 0.838500470174 4 0 6 5 1302 0132 0321 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.578291581777 0.750246456224 7 8 9 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402662781407 1.381974823319 6 2 0 1 0321 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523726347937 0.815440081519 10 9 1 2 0132 1230 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.775903484623 0.631482746953 4 10 2 1 0321 3201 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.324465318276 0.335625745460 3 11 12 9 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.220649302389 0.954871737065 11 3 9 11 0132 0132 3201 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205343917393 0.637263676275 8 7 5 3 2310 0321 3012 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 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.855522012183 0.954373606882 5 12 6 12 0132 3201 2310 3120 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 9 1 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402700847921 0.833243493463 8 7 12 8 0132 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205343917393 0.637263676275 10 11 10 7 3120 3201 2310 0132 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 10 -1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402700847921 0.833243493463 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0110_2']), 'c_1001_7' : negation(d['c_1001_11']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_9']), 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : negation(d['c_0110_2']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_12' : negation(d['c_1001_11']), 'c_1010_11' : negation(d['c_1001_11']), 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_6']), 'c_0101_11' : negation(d['c_0011_12']), '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_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_1100_9' : negation(d['c_1001_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_2']), 'c_1100_4' : negation(d['c_1001_5']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0110_2']), 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_1001_5']), 'c_1100_3' : negation(d['c_1001_5']), 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : negation(d['c_0011_6']), 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_9']), 'c_1010_2' : negation(d['c_0101_9']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0110_2']), 'c_1010_9' : d['c_1001_11'], 'c_1010_8' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0011_9']), '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_0011_10'], '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_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_9']), 'c_0101_2' : negation(d['c_0011_4']), 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_9'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_9']), 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : negation(d['c_0011_4']), 's_2_9' : d['1']})} 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_4, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_9, c_0110_2, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 5794627385272129152448289678769548626/91910567851954804981001917548\ 31419*c_1001_5^15 - 57504375237310322377456655050597455913/18382113\ 570390960996200383509662838*c_1001_5^14 - 21105059774909053083898213782393989015/6127371190130320332066794503\ 220946*c_1001_5^13 + 627267087409264431017296862858501921869/183821\ 13570390960996200383509662838*c_1001_5^12 + 58105676545647091005737629225255237483/1838211357039096099620038350\ 9662838*c_1001_5^11 - 523868947694223523588133305639197750907/30636\ 85595065160166033397251610473*c_1001_5^10 + 135705107301479498682853220312611115813/183821135703909609962003835\ 09662838*c_1001_5^9 + 4754966524883076101850884154325565177329/9191\ 056785195480498100191754831419*c_1001_5^8 + 936729029682962555629102063693433794363/183821135703909609962003835\ 09662838*c_1001_5^7 - 18329245644390733618490495097560029918225/183\ 82113570390960996200383509662838*c_1001_5^6 - 293269144584917432819409297676138484150/707004368091960038315399365\ 756263*c_1001_5^5 + 18008138441013654041943140355883341470513/18382\ 113570390960996200383509662838*c_1001_5^4 + 1054092859203859997976847659439839161671/14140087361839200766307987\ 31512526*c_1001_5^3 - 2596200806951772807160069856460518742343/9191\ 056785195480498100191754831419*c_1001_5^2 - 1294300344957181454088786323194094314307/30636855950651601660333972\ 51610473*c_1001_5 - 17308269508807948462104955332904872349/15711208\ 1798213341847866525723614, c_0011_0 - 1, c_0011_10 - 7646646377379061412918983370/36588747507734825768017355781*\ c_1001_5^15 + 43352969346473356867233510443/36588747507734825768017\ 355781*c_1001_5^14 + 7862479713824747752439524744/36588747507734825\ 768017355781*c_1001_5^13 - 399943849603093979122513627150/365887475\ 07734825768017355781*c_1001_5^12 + 240890913653298658711166121286/36588747507734825768017355781*c_1001\ _5^11 + 1735692766770420567788155715606/365887475077348257680173557\ 81*c_1001_5^10 - 1151711757293062749435550670489/365887475077348257\ 68017355781*c_1001_5^9 - 4792305040767677847249482463121/3658874750\ 7734825768017355781*c_1001_5^8 + 673657103064022019960585210863/121\ 96249169244941922672451927*c_1001_5^7 + 2985970417773409622035264706629/12196249169244941922672451927*c_100\ 1_5^6 + 18906646706777217965764965857/2814519039056525059078258137*\ c_1001_5^5 - 8987868655124650140185211868465/3658874750773482576801\ 7355781*c_1001_5^4 - 99841745229160862918877019745/9381730130188416\ 86359419379*c_1001_5^3 + 3090699372435744342014896904206/3658874750\ 7734825768017355781*c_1001_5^2 + 2829476681380441303491587065400/36\ 588747507734825768017355781*c_1001_5 + 15351316704465903247014154826/938173013018841686359419379, c_0011_11 + 18634176991142175414932116169/12196249169244941922672451927\ *c_1001_5^15 - 94974569869449261168278757628/1219624916924494192267\ 2451927*c_1001_5^14 - 85888620525137607709317547325/121962491692449\ 41922672451927*c_1001_5^13 + 1001468611327466846274929915007/121962\ 49169244941922672451927*c_1001_5^12 - 38490836247499791203148370776/12196249169244941922672451927*c_1001_\ 5^11 - 4885348983712162891688693710203/1219624916924494192267245192\ 7*c_1001_5^10 + 718564780250480275100955231648/12196249169244941922\ 672451927*c_1001_5^9 + 14528121454175516912796036384925/12196249169\ 244941922672451927*c_1001_5^8 + 293426225714794519862051028433/1219\ 6249169244941922672451927*c_1001_5^7 - 27781077739278672431507509074226/12196249169244941922672451927*c_10\ 01_5^6 - 779359173230969937384948948739/938173013018841686359419379\ *c_1001_5^5 + 27184497307959440149148470616253/12196249169244941922\ 672451927*c_1001_5^4 + 1522157560315740968455043498092/938173013018\ 841686359419379*c_1001_5^3 - 7756685908764368388631600444732/121962\ 49169244941922672451927*c_1001_5^2 - 11505700226502769667699226809249/12196249169244941922672451927*c_10\ 01_5 - 239329237794171674155383487214/938173013018841686359419379, c_0011_12 - 13886702452414948494715105069/36588747507734825768017355781\ *c_1001_5^15 + 68086438890461590084647575974/3658874750773482576801\ 7355781*c_1001_5^14 + 81216717488864535642503550011/365887475077348\ 25768017355781*c_1001_5^13 - 755513318928488607960396750977/3658874\ 7507734825768017355781*c_1001_5^12 - 107930158683331485152338945849/36588747507734825768017355781*c_1001\ _5^11 + 3821570828181894316648615735222/365887475077348257680173557\ 81*c_1001_5^10 - 28706369641825645258193607835/36588747507734825768\ 017355781*c_1001_5^9 - 11598032607949462867161451666256/36588747507\ 734825768017355781*c_1001_5^8 - 489193752050921033589566283670/1219\ 6249169244941922672451927*c_1001_5^7 + 7442417148927965418837603367771/12196249169244941922672451927*c_100\ 1_5^6 + 756764033353292696629075643815/2814519039056525059078258137\ *c_1001_5^5 - 21779183224085210887686548684828/36588747507734825768\ 017355781*c_1001_5^4 - 443468785593099011754479067173/9381730130188\ 41686359419379*c_1001_5^3 + 5961153908416536410761162575032/3658874\ 7507734825768017355781*c_1001_5^2 + 9772030034394416775119466211588/36588747507734825768017355781*c_100\ 1_5 + 70026347557383020764838684024/938173013018841686359419379, c_0011_4 - 68108136040380621254214783253/36588747507734825768017355781*\ c_1001_5^15 + 351932182557432139923871604311/3658874750773482576801\ 7355781*c_1001_5^14 + 286656869544169811391293832605/36588747507734\ 825768017355781*c_1001_5^13 - 3666673958110986948758201103356/36588\ 747507734825768017355781*c_1001_5^12 + 404938623792173143591830358970/36588747507734825768017355781*c_1001\ _5^11 + 17679130127663714592512716354270/36588747507734825768017355\ 781*c_1001_5^10 - 3776229191738410405478854104778/36588747507734825\ 768017355781*c_1001_5^9 - 52166601872768450912006841933725/36588747\ 507734825768017355781*c_1001_5^8 + 678862366073028163785816694344/12196249169244941922672451927*c_1001\ _5^7 + 33191742839794355507638852601336/121962491692449419226724519\ 27*c_1001_5^6 + 2407142357724566622671343222784/2814519039056525059\ 078258137*c_1001_5^5 - 98151983584128014465468698147223/36588747507\ 734825768017355781*c_1001_5^4 - 1702562051067670777197962347014/938\ 173013018841686359419379*c_1001_5^3 + 29312212515022910981531614156151/36588747507734825768017355781*c_10\ 01_5^2 + 39512937570898324403795010163762/3658874750773482576801735\ 5781*c_1001_5 + 262286424984577339609283727334/93817301301884168635\ 9419379, c_0011_6 - 44291869277890085213690998274/36588747507734825768017355781*\ c_1001_5^15 + 228638421196996748752181343689/3658874750773482576801\ 7355781*c_1001_5^14 + 188080107239142758713101542389/36588747507734\ 825768017355781*c_1001_5^13 - 2386781422783770863337068779651/36588\ 747507734825768017355781*c_1001_5^12 + 254094889605645894945559638139/36588747507734825768017355781*c_1001\ _5^11 + 11520266227015727426638623607073/36588747507734825768017355\ 781*c_1001_5^10 - 2436609928907146812582112939322/36588747507734825\ 768017355781*c_1001_5^9 - 34001716043080344804693311776834/36588747\ 507734825768017355781*c_1001_5^8 + 433344019312968397557534572375/12196249169244941922672451927*c_1001\ _5^7 + 21630456446579169401297004845704/121962491692449419226724519\ 27*c_1001_5^6 + 1568185709476261031951886219773/2814519039056525059\ 078258137*c_1001_5^5 - 63948881858424871803787137070027/36588747507\ 734825768017355781*c_1001_5^4 - 1107952229816579454682102488330/938\ 173013018841686359419379*c_1001_5^3 + 19078584523700422447911667856689/36588747507734825768017355781*c_10\ 01_5^2 + 25683853838477879258729673310448/3658874750773482576801735\ 5781*c_1001_5 + 170926813183053686498355337648/93817301301884168635\ 9419379, c_0011_9 + 27509794492743769249806459433/36588747507734825768017355781*\ c_1001_5^15 - 139248082208912814298814075569/3658874750773482576801\ 7355781*c_1001_5^14 - 133155117393790184631778826843/36588747507734\ 825768017355781*c_1001_5^13 + 1482554061407335563615999956804/36588\ 747507734825768017355781*c_1001_5^12 - 5810442396704914299297235316/36588747507734825768017355781*c_1001_5\ ^11 - 7288374979282160803722788150800/36588747507734825768017355781\ *c_1001_5^10 + 874419352308084406062925422403/365887475077348257680\ 17355781*c_1001_5^9 + 21779972609588202947494321363100/365887475077\ 34825768017355781*c_1001_5^8 + 294557074536434675620207010455/12196\ 249169244941922672451927*c_1001_5^7 - 13914159076031362190952133574956/12196249169244941922672451927*c_10\ 01_5^6 - 1214684573386689755051821295617/28145190390565250590782581\ 37*c_1001_5^5 + 40900877221257438085833163924085/365887475077348257\ 68017355781*c_1001_5^4 + 774671704846922888226956568653/93817301301\ 8841686359419379*c_1001_5^3 - 11609147350862075852362806267617/3658\ 8747507734825768017355781*c_1001_5^2 - 17473546876096323908336971330123/36588747507734825768017355781*c_10\ 01_5 - 121921721131569406038016744659/938173013018841686359419379, c_0101_0 + 3120165068169026055870275485/36588747507734825768017355781*c\ _1001_5^15 - 21599091274084337163917922538/365887475077348257680173\ 55781*c_1001_5^14 + 20836415239763998731528104617/36588747507734825\ 768017355781*c_1001_5^13 + 155921044815749143329793360229/365887475\ 07734825768017355781*c_1001_5^12 - 301198886050780872619841056541/36588747507734825768017355781*c_1001\ _5^11 - 484869920606531505248504793637/3658874750773482576801735578\ 1*c_1001_5^10 + 1259521026003536451865491992881/3658874750773482576\ 8017355781*c_1001_5^9 + 963413295691715443947048199604/365887475077\ 34825768017355781*c_1001_5^8 - 938315138464291279180907356607/12196\ 249169244941922672451927*c_1001_5^7 - 532531575996064071908616083302/12196249169244941922672451927*c_1001\ _5^6 + 270157348640888765283063776432/2814519039056525059078258137*\ c_1001_5^5 + 1952808868236056795778042448202/3658874750773482576801\ 7355781*c_1001_5^4 - 56761321824867623488923169540/9381730130188416\ 86359419379*c_1001_5^3 - 1343467926054358923909686218598/3658874750\ 7734825768017355781*c_1001_5^2 + 471698115770878961421988400276/365\ 88747507734825768017355781*c_1001_5 + 9514251033973182653963624756/938173013018841686359419379, c_0101_10 + 44291869277890085213690998274/36588747507734825768017355781\ *c_1001_5^15 - 228638421196996748752181343689/365887475077348257680\ 17355781*c_1001_5^14 - 188080107239142758713101542389/3658874750773\ 4825768017355781*c_1001_5^13 + 2386781422783770863337068779651/3658\ 8747507734825768017355781*c_1001_5^12 - 254094889605645894945559638139/36588747507734825768017355781*c_1001\ _5^11 - 11520266227015727426638623607073/36588747507734825768017355\ 781*c_1001_5^10 + 2436609928907146812582112939322/36588747507734825\ 768017355781*c_1001_5^9 + 34001716043080344804693311776834/36588747\ 507734825768017355781*c_1001_5^8 - 433344019312968397557534572375/12196249169244941922672451927*c_1001\ _5^7 - 21630456446579169401297004845704/121962491692449419226724519\ 27*c_1001_5^6 - 1568185709476261031951886219773/2814519039056525059\ 078258137*c_1001_5^5 + 63948881858424871803787137070027/36588747507\ 734825768017355781*c_1001_5^4 + 1107952229816579454682102488330/938\ 173013018841686359419379*c_1001_5^3 - 19078584523700422447911667856689/36588747507734825768017355781*c_10\ 01_5^2 - 25720442585985614084497690666229/3658874750773482576801735\ 5781*c_1001_5 - 171864986196072528184714757027/93817301301884168635\ 9419379, c_0101_9 + 17006867520583974550585380554/36588747507734825768017355781*\ c_1001_5^15 - 89685530164545927248565498512/36588747507734825768017\ 355781*c_1001_5^14 - 60380302249100536910975445394/3658874750773482\ 5768017355781*c_1001_5^13 + 911434363744237751290190111206/36588747\ 507734825768017355781*c_1001_5^12 - 193268727367449387467502110692/36588747507734825768017355781*c_1001\ _5^11 - 4306440748788425821897120528859/365887475077348257680173557\ 81*c_1001_5^10 + 1288227395645362097123685600716/365887475077348257\ 68017355781*c_1001_5^9 + 12561445903641178311108499865860/365887475\ 07734825768017355781*c_1001_5^8 - 449121386413370245591341072937/12\ 196249169244941922672451927*c_1001_5^7 - 7974948724924029490746219451073/12196249169244941922672451927*c_100\ 1_5^6 - 486606684712403931346011867383/2814519039056525059078258137\ *c_1001_5^5 + 23731992092321267683464591133030/36588747507734825768\ 017355781*c_1001_5^4 + 386707463768231388265555897633/9381730130188\ 41686359419379*c_1001_5^3 - 7304621834470895334670848793630/3658874\ 7507734825768017355781*c_1001_5^2 - 9263743171115802987929460455531/36588747507734825768017355781*c_100\ 1_5 - 60512096523409838110875059268/938173013018841686359419379, c_0110_2 + 12785413204434015053291901980/36588747507734825768017355781*\ c_1001_5^15 - 64871119408879654121356641833/36588747507734825768017\ 355781*c_1001_5^14 - 61595012436550018020158323687/3658874750773482\ 5768017355781*c_1001_5^13 + 693706546807746921937810184797/36588747\ 507734825768017355781*c_1001_5^12 - 18104307827883986631219365080/36588747507734825768017355781*c_1001_\ 5^11 - 3406494172237577416951309364096/3658874750773482576801735578\ 1*c_1001_5^10 + 514609544464037831848045211900/36588747507734825768\ 017355781*c_1001_5^9 + 10141523362254666423798388154626/36588747507\ 734825768017355781*c_1001_5^8 + 18318457157427044527848648608/12196\ 249169244941922672451927*c_1001_5^7 - 6462033950349714917930138981656/12196249169244941922672451927*c_100\ 1_5^6 - 511021696654189690072674527345/2814519039056525059078258137\ *c_1001_5^5 + 19059701102885119898623731176182/36588747507734825768\ 017355781*c_1001_5^4 + 340065492979148223484834571386/9381730130188\ 41686359419379*c_1001_5^3 - 5615899852861825578497375654872/3658874\ 7507734825768017355781*c_1001_5^2 - 7770594119123981240216645229365/36588747507734825768017355781*c_100\ 1_5 - 52629410649121235796249709170/938173013018841686359419379, c_1001_11 + 28436279414269229701946217019/36588747507734825768017355781\ *c_1001_5^15 - 142796198480643315797923128106/365887475077348257680\ 17355781*c_1001_5^14 - 144556596965363578758485218874/3658874750773\ 4825768017355781*c_1001_5^13 + 1535090263620778852064402432216/3658\ 8747507734825768017355781*c_1001_5^12 + 46081999716269539732948692046/36588747507734825768017355781*c_1001_\ 5^11 - 7586887359214070147368358759983/3658874750773482576801735578\ 1*c_1001_5^10 + 711944352762139057641716164018/36588747507734825768\ 017355781*c_1001_5^9 + 22707393563308242217225698793871/36588747507\ 734825768017355781*c_1001_5^8 + 466382124532046188345328129827/1219\ 6249169244941922672451927*c_1001_5^7 - 14488084348488168995545128901057/12196249169244941922672451927*c_10\ 01_5^6 - 1322693664173208590297015274160/28145190390565250590782581\ 37*c_1001_5^5 + 42350825077332841464908880872858/365887475077348257\ 68017355781*c_1001_5^4 + 820921025825997125990617967954/93817301301\ 8841686359419379*c_1001_5^3 - 11799267682511393307311444064728/3658\ 8747507734825768017355781*c_1001_5^2 - 18334841856472731490484830615774/36588747507734825768017355781*c_10\ 01_5 - 128993990690545162461529826521/938173013018841686359419379, c_1001_5^16 - 47/11*c_1001_5^15 - 97/11*c_1001_5^14 + 50*c_1001_5^13 + 464/11*c_1001_5^12 - 2906/11*c_1001_5^11 - 1948/11*c_1001_5^10 + 8935/11*c_1001_5^9 + 7230/11*c_1001_5^8 - 16275/11*c_1001_5^7 - 19487/11*c_1001_5^6 + 11140/11*c_1001_5^5 + 24921/11*c_1001_5^4 + 460*c_1001_5^3 - 10568/11*c_1001_5^2 - 7449/11*c_1001_5 - 1521/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 28.930 Total time: 29.140 seconds, Total memory usage: 149.38MB