Magma V2.19-8 Tue Aug 20 2013 16:17:33 on localhost [Seed = 1031578081] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1785 geometric_solution 5.46175268 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 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 0 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.391890850260 0.723227384306 3 2 4 0 0132 3012 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 0 0 0 0 0 0 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.831924022630 1.028194360144 1 3 0 4 1230 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -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 -1 1 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.831924022630 1.028194360144 1 2 5 5 0132 0132 0132 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663179146792 1.154306303529 2 6 6 1 3201 0132 3201 0132 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 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.009731465592 0.543109068796 3 5 5 3 3201 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.750126378226 0.434146838037 4 4 6 6 2310 0132 1230 3012 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 0 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.234147185047 0.745721357873 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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' : negation(d['1']), 's_0_6' : 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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 13286295127631716185326811964496330173061489871015607/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^25 - 79055577413068910545737793981857324023233265541988328/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^24 - 98791019412753641813928572781526663964290757357195533/2758958216957\ 36521416889804556000349270688241150285*c_0101_6^23 + 2919608487959567299832064171025224097426840301976936974/27589582169\ 5736521416889804556000349270688241150285*c_0101_6^22 + 5867030356711668209165971303345884451461718180984901918/27589582169\ 5736521416889804556000349270688241150285*c_0101_6^21 + 9746769379796155970336435257254419276722587674980699072/27589582169\ 5736521416889804556000349270688241150285*c_0101_6^20 + 21733502790513875260136265615675445119748108094598946991/2758958216\ 95736521416889804556000349270688241150285*c_0101_6^19 + 13768051116211999421304146391473178869280336463014026704/2758958216\ 95736521416889804556000349270688241150285*c_0101_6^18 - 12001824818377789623082229941037420450924335054697650119/2758958216\ 95736521416889804556000349270688241150285*c_0101_6^17 + 6067122971252766513083661918978754059481851552485543476/27589582169\ 5736521416889804556000349270688241150285*c_0101_6^16 + 46849826481625415122872374107805001318419812401418863852/2758958216\ 95736521416889804556000349270688241150285*c_0101_6^15 + 36390246219866532402472631761804297525885015250069355757/2758958216\ 95736521416889804556000349270688241150285*c_0101_6^14 + 2422447828050021463998261535037619750928941302759096212/27589582169\ 5736521416889804556000349270688241150285*c_0101_6^13 + 13714303909072267553247987846003066433145144832121265112/2758958216\ 95736521416889804556000349270688241150285*c_0101_6^12 + 7362534946515402441219500466558780245309461279673385545/55179164339\ 147304283377960911200069854137648230057*c_0101_6^11 + 8883146347375302248050685086261901417507703062883374532/27589582169\ 5736521416889804556000349270688241150285*c_0101_6^10 - 3442757223896847783220030866079950591097045344683747686/55179164339\ 147304283377960911200069854137648230057*c_0101_6^9 + 4360413916817408171482722521345057646298879861668342029/55179164339\ 147304283377960911200069854137648230057*c_0101_6^8 + 8183789653778488790945304540034328429167728917121276716/55179164339\ 147304283377960911200069854137648230057*c_0101_6^7 - 4332795120767850815989546372569957999570300998018403336/27589582169\ 5736521416889804556000349270688241150285*c_0101_6^6 - 22618598812581582737398415483626505725285703776362154864/2758958216\ 95736521416889804556000349270688241150285*c_0101_6^5 - 3169322527042443950828079127152178314278047086310027/27589582169573\ 6521416889804556000349270688241150285*c_0101_6^4 + 1269883889331703150952847347054278968029005502524199938/55179164339\ 147304283377960911200069854137648230057*c_0101_6^3 - 115649819738002016129820017722482263920105761821746465/551791643391\ 47304283377960911200069854137648230057*c_0101_6^2 - 158993909228495649018119911344116305408617019871382066/551791643391\ 47304283377960911200069854137648230057*c_0101_6 + 179881610286255721181908072298450105790066401406143651/275895821695\ 736521416889804556000349270688241150285, c_0011_0 - 1, c_0011_1 + 123176045662834361692656812662491821177574446081295/55179164\ 339147304283377960911200069854137648230057*c_0101_6^25 + 788393511405199634753395119893966218661261266504605/551791643391473\ 04283377960911200069854137648230057*c_0101_6^24 + 533260421495883596508143019092780667116030432078926/551791643391473\ 04283377960911200069854137648230057*c_0101_6^23 - 5204038769118182524000765142613059626720943519573308/55179164339147\ 304283377960911200069854137648230057*c_0101_6^22 - 13237979945544794719454319529893160825417333117295087/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^21 - 23828927570634224459081772733985242483195918175131565/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^20 - 50545203241334729642252224341295925256394238657959536/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^19 - 47379958760432762297573697568250968481962615050044633/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^18 + 2866267100285656198114640403450005304909069367581083/55179164339147\ 304283377960911200069854137648230057*c_0101_6^17 - 8274924888864627067851512943447452762012449528791406/55179164339147\ 304283377960911200069854137648230057*c_0101_6^16 - 90603142477581165449939728560730210755708320004527058/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^15 - 107625278789456153749582757622637773348619092497842473/551791643391\ 47304283377960911200069854137648230057*c_0101_6^14 - 49572025209454521729754495982052102254824898627950353/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^13 - 44016333123378421787017871604268372776537453280877322/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^12 - 85974118042842054976857414217967751843608972517045127/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^11 - 53089881181929297766425645815558953751731040766676300/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^10 + 11290684884380717187615627937555476272890908476539581/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^9 - 33491432461339539803957409415676060145571675811013228/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^8 - 91045757814807882515389442278071440635789763021718743/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^7 - 31290744783804061017121603034623327405387612025425247/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^6 + 30962033538107067473524861715929361530099755863444967/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^5 + 15003837963424697547296954490985225629228316845471707/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^4 - 5700791284619671093752276635813824686321364938921065/55179164339147\ 304283377960911200069854137648230057*c_0101_6^3 - 1867588617338470027441056329365477614911886150734171/55179164339147\ 304283377960911200069854137648230057*c_0101_6^2 + 651953695861294026093987776592217642432518534984403/551791643391473\ 04283377960911200069854137648230057*c_0101_6 + 19700947540159390355035528602054001260045948596875/5517916433914730\ 4283377960911200069854137648230057, c_0011_4 - 130323581443505693874768575927484359727990511986905/55179164\ 339147304283377960911200069854137648230057*c_0101_6^25 - 828299977517207955645060944863743387485484664644580/551791643391473\ 04283377960911200069854137648230057*c_0101_6^24 - 537664830608184771467599681034660470178695554220324/551791643391473\ 04283377960911200069854137648230057*c_0101_6^23 + 5472242626042310041287750046122304536936100336860839/55179164339147\ 304283377960911200069854137648230057*c_0101_6^22 + 13767604232637182010645961891752228171810726091066597/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^21 + 25027073769332209225395807750889419866686775073768967/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^20 + 53089612593083621120436000849327956204273174710227428/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^19 + 49173049410508227544974041836820589289193115758723095/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^18 - 2109308801895458920056815208299797437843630013715602/55179164339147\ 304283377960911200069854137648230057*c_0101_6^17 + 10228139513062578066028962933368506803352591163512306/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^16 + 94353915745049255677079567387428014282027644298695839/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^15 + 111611978928452845985573778442992497996336058577258035/551791643391\ 47304283377960911200069854137648230057*c_0101_6^14 + 53339460242353990604962414530341733718779232172707120/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^13 + 48169059121458911557494187209421781065567228421563761/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^12 + 90156569054470444326751552859004284400737875714345765/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^11 + 55397501592846421882370225327874466331208548387565897/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^10 - 9742717266978728526617640211868564278021230168826259/55179164339147\ 304283377960911200069854137648230057*c_0101_6^9 + 36553984884168321135932918677100025915594785128561263/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^8 + 93761684203216167322465367618483981481040224868983628/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^7 + 32888080302368246470018424363351096337903033072938424/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^6 - 30168490709643124100918102400150675436602546444026325/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^5 - 15179671360846540400481262718371626165862992805156981/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^4 + 5232338301281471606714044286308931219020782687305841/55179164339147\ 304283377960911200069854137648230057*c_0101_6^3 + 1926665957404503812507253020997418262214360453769688/55179164339147\ 304283377960911200069854137648230057*c_0101_6^2 - 621728236918741115004590988593977385668846225983442/551791643391473\ 04283377960911200069854137648230057*c_0101_6 - 18368276129721647007750908527321471471743346261054/5517916433914730\ 4283377960911200069854137648230057, c_0011_5 + 85040114797125508638321839896678988079595767058980/551791643\ 39147304283377960911200069854137648230057*c_0101_6^25 + 526227214593736066490049937438888277214367118705480/551791643391473\ 04283377960911200069854137648230057*c_0101_6^24 + 257169552372095248456380354924329708721773441888194/551791643391473\ 04283377960911200069854137648230057*c_0101_6^23 - 3648632593484137424483495286644452863462458962702729/55179164339147\ 304283377960911200069854137648230057*c_0101_6^22 - 8397560233667254086934757723223040571237664694804974/55179164339147\ 304283377960911200069854137648230057*c_0101_6^21 - 14704891472885120444759503182153637969773577337713010/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^20 - 31592881124688272861670861580921934719337478863635778/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^19 - 25657491558912872060825421317051368636482416225232320/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^18 + 8059375004828711797335748821428628928657579766850291/55179164339147\ 304283377960911200069854137648230057*c_0101_6^17 - 5629258793360060443603481494301906324243921965455225/55179164339147\ 304283377960911200069854137648230057*c_0101_6^16 - 60097262790790154956367056113429263852721361778081633/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^15 - 61986840474045925720662114404770266998539658411256322/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^14 - 20485424733037711878693792976493817537102307530227029/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^13 - 22835995001734510531377388902608910336688515179256707/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^12 - 51589869774843509816932947460939816364524663013605875/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^11 - 24616698080633849824143014471686851599745018449418140/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^10 + 14705252811218486192662678746564181983061350419857378/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^9 - 23185654528775543157466637017762231625296989240392102/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^8 - 56683168744332110262730709705241267064896133549692278/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^7 - 10129660044982526896746723295890263252872455436794652/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^6 + 25363779770134300668887453271174889461849715374193987/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^5 + 7792032924590613715037280083002888869114410807298100/55179164339147\ 304283377960911200069854137648230057*c_0101_6^4 - 5234144680580712845964730632737150969752103041699824/55179164339147\ 304283377960911200069854137648230057*c_0101_6^3 - 1033756013658499285183538635393721702288502330225581/55179164339147\ 304283377960911200069854137648230057*c_0101_6^2 + 565462518849767485620016032686837809389949552273795/551791643391473\ 04283377960911200069854137648230057*c_0101_6 + 30767922127013684668229315292682300699643112682251/5517916433914730\ 4283377960911200069854137648230057, c_0101_0 - 160547086271098459426997375463900058226512179087480/55179164\ 339147304283377960911200069854137648230057*c_0101_6^25 - 1008699224262103512634624166702370688626351658958295/55179164339147\ 304283377960911200069854137648230057*c_0101_6^24 - 575790103261618058698698723819085468758738329130194/551791643391473\ 04283377960911200069854137648230057*c_0101_6^23 + 6859083230565049220252110586835286184589981253001972/55179164339147\ 304283377960911200069854137648230057*c_0101_6^22 + 16480134621838772917857844207248034634951881933582343/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^21 + 29115727400333657943013074100022612514306887744500133/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^20 + 62190232872252334185074455488953217020261544594832723/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^19 + 53816751299186806562919840182922692142977043584503319/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^18 - 11199214436260047362871321715209236097705066163403764/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^17 + 9939507403232106874420130501531683422635106753945582/55179164339147\ 304283377960911200069854137648230057*c_0101_6^16 + 115108750993347954937038485743660713330150006742589361/551791643391\ 47304283377960911200069854137648230057*c_0101_6^15 + 126908886170093163557749457705972767635647145923441340/551791643391\ 47304283377960911200069854137648230057*c_0101_6^14 + 48817985601521212375972195178286569586643373270673669/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^13 + 47457812044572497835110054685258388583158823577433158/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^12 + 102368249390338620049316252113107813257618301423669675/551791643391\ 47304283377960911200069854137648230057*c_0101_6^11 + 55184999504908907928917166329496748917491201294257347/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^10 - 23502814385419357487102966880971145804206737358321179/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^9 + 42681427919776551968773742354974440135656105668070037/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^8 + 111753550346546328888504009136842597178666407979773729/551791643391\ 47304283377960911200069854137648230057*c_0101_6^7 + 28018106413128348201931675359812694662988893134363471/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^6 - 45676089974365633262081463901117908018211503205283338/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^5 - 17889051164076180109837413880296552840763415651420452/5517916433914\ 7304283377960911200069854137648230057*c_0101_6^4 + 8838306507165587479596699276131848147948057657697040/55179164339147\ 304283377960911200069854137648230057*c_0101_6^3 + 2537765120980932151461436920165502227855110351008368/55179164339147\ 304283377960911200069854137648230057*c_0101_6^2 - 929591778001605223772417085581600968605076702028567/551791643391473\ 04283377960911200069854137648230057*c_0101_6 - 56784072866463258507692497948826561296101913259754/5517916433914730\ 4283377960911200069854137648230057, c_0101_1 + 9376173016919721785134214088655493630066238431595/5517916433\ 9147304283377960911200069854137648230057*c_0101_6^25 + 50900463485361607838795074368736299663147191649090/5517916433914730\ 4283377960911200069854137648230057*c_0101_6^24 - 11199489240700161980658101837494089196344676411749/5517916433914730\ 4283377960911200069854137648230057*c_0101_6^23 - 398775364620011946158171177012982987553238268617445/551791643391473\ 04283377960911200069854137648230057*c_0101_6^22 - 621706343579256075044338521247692798278070666568870/551791643391473\ 04283377960911200069854137648230057*c_0101_6^21 - 1106160786080945121036039697554504892501649250852700/55179164339147\ 304283377960911200069854137648230057*c_0101_6^20 - 2577856045424749094705019063542509498370389302871378/55179164339147\ 304283377960911200069854137648230057*c_0101_6^19 - 789445203970197334675171535471615705555308846358662/551791643391473\ 04283377960911200069854137648230057*c_0101_6^18 + 1676768263073098737432881613181925494598766563118619/55179164339147\ 304283377960911200069854137648230057*c_0101_6^17 - 1927836169867314461738342282230281044998940265947508/55179164339147\ 304283377960911200069854137648230057*c_0101_6^16 - 5604039812451811035084194787603391333894915437808274/55179164339147\ 304283377960911200069854137648230057*c_0101_6^15 - 2654544205773416534496833248500443220321818903882860/55179164339147\ 304283377960911200069854137648230057*c_0101_6^14 + 304556486407681237590825362946037662650650526482626/551791643391473\ 04283377960911200069854137648230057*c_0101_6^13 - 2576134331667108966440585556688140966844671770939896/55179164339147\ 304283377960911200069854137648230057*c_0101_6^12 - 4240336738685984330007162597768997799618234640172285/55179164339147\ 304283377960911200069854137648230057*c_0101_6^11 + 243410820344023307854627563641183251320310973649137/551791643391473\ 04283377960911200069854137648230057*c_0101_6^10 + 1591453899387391976630519178563819852590969949681321/55179164339147\ 304283377960911200069854137648230057*c_0101_6^9 - 4031557592599510461100382798278655875171306638444312/55179164339147\ 304283377960911200069854137648230057*c_0101_6^8 - 3803288123013645262217672265140445562605024681537659/55179164339147\ 304283377960911200069854137648230057*c_0101_6^7 + 1894234573732841062611036133653050200399869344945444/55179164339147\ 304283377960911200069854137648230057*c_0101_6^6 + 1766428721975118225794001638080145028084487479096242/55179164339147\ 304283377960911200069854137648230057*c_0101_6^5 - 853386759559451315507399978395269753576242299245186/551791643391473\ 04283377960911200069854137648230057*c_0101_6^4 - 499048577134354912164306196479666945860117048200332/551791643391473\ 04283377960911200069854137648230057*c_0101_6^3 + 286010258893642648709394055717016141420395023800554/551791643391473\ 04283377960911200069854137648230057*c_0101_6^2 + 92189118623333183626404422370051844781429835757195/5517916433914730\ 4283377960911200069854137648230057*c_0101_6 - 3438175210232971789798003076351824775142806933769/55179164339147304\ 283377960911200069854137648230057, c_0101_6^26 + 6*c_0101_6^25 + 9/5*c_0101_6^24 - 219/5*c_0101_6^23 - 453/5*c_0101_6^22 - 759/5*c_0101_6^21 - 335*c_0101_6^20 - 1123/5*c_0101_6^19 + 838/5*c_0101_6^18 - 399/5*c_0101_6^17 - 3527/5*c_0101_6^16 - 2938/5*c_0101_6^15 - 353/5*c_0101_6^14 - 1028/5*c_0101_6^13 - 2797/5*c_0101_6^12 - 821/5*c_0101_6^11 + 1248/5*c_0101_6^10 - 309*c_0101_6^9 - 629*c_0101_6^8 + 133/5*c_0101_6^7 + 1713/5*c_0101_6^6 + 25*c_0101_6^5 - 468/5*c_0101_6^4 + c_0101_6^3 + 12*c_0101_6^2 - 8/5*c_0101_6 - 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB