Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 2648441156] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1822 geometric_solution 5.47976416 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 0 -1 1 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 -1 1 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.574013703330 0.174460617001 0 2 0 3 0132 0132 2310 0132 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 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.881155715759 0.576610756873 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 -1 0 0 1 -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 -1 1 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.850080365286 0.928685675166 2 5 1 4 3012 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850080365286 0.928685675166 2 4 3 4 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.013884021151 0.973700073654 3 6 6 2 1023 0132 1023 0132 0 0 0 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.887943407785 0.645786341583 6 5 5 6 3012 0132 1023 1230 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 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 1.655888467575 0.408382944935 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_5'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 495679113265796306716314132738598469720245263388710/193658788941607\ 572645836189577594022858281660379*c_0101_6^25 - 616417995382830054713670408118291332927770039991822/193658788941607\ 572645836189577594022858281660379*c_0101_6^24 + 3833004418497277324378827372208369459812294141287821/19365878894160\ 7572645836189577594022858281660379*c_0101_6^23 - 1177108055041259765608328464561390121162327656172138/19365878894160\ 7572645836189577594022858281660379*c_0101_6^22 - 9758955592826133088005131624318846183428492222882690/19365878894160\ 7572645836189577594022858281660379*c_0101_6^21 + 33593280926334401019102226171749686863253119763293434/1936587889416\ 07572645836189577594022858281660379*c_0101_6^20 + 3313778970930367415845720594090331125786596955666787/19365878894160\ 7572645836189577594022858281660379*c_0101_6^19 - 76430692867246822458000739054666854522502571792624343/1936587889416\ 07572645836189577594022858281660379*c_0101_6^18 + 42849748355862780480056054588812952820188886965754826/1936587889416\ 07572645836189577594022858281660379*c_0101_6^17 + 1143345253602223426803545776071680926198190274717951/19365878894160\ 7572645836189577594022858281660379*c_0101_6^16 - 66958233075857753377019712356638411212935281610474978/1936587889416\ 07572645836189577594022858281660379*c_0101_6^15 + 52539292975369325324100471968448668616559737557194628/1936587889416\ 07572645836189577594022858281660379*c_0101_6^14 - 113797776128329250806642568414008148326784045884644589/193658788941\ 607572645836189577594022858281660379*c_0101_6^13 - 72317364353155989988396049091632773119205507433705205/1936587889416\ 07572645836189577594022858281660379*c_0101_6^12 + 47711330680076984546317555215383714837315225275641263/1936587889416\ 07572645836189577594022858281660379*c_0101_6^11 - 29896748643198363940213214589278479645182389983247114/1936587889416\ 07572645836189577594022858281660379*c_0101_6^10 - 19431316920802020723111580266326074950388175001128022/1936587889416\ 07572645836189577594022858281660379*c_0101_6^9 - 61717394831358041652978655318209392577112988220512156/1936587889416\ 07572645836189577594022858281660379*c_0101_6^8 + 6047701636748489347167538454258436480003446002511757/19365878894160\ 7572645836189577594022858281660379*c_0101_6^7 + 43685137963692167392608571948108531069653733401400935/1936587889416\ 07572645836189577594022858281660379*c_0101_6^6 - 9766546724151533161502039214786049962776094164974119/19365878894160\ 7572645836189577594022858281660379*c_0101_6^5 - 9470636411441549608045536041882758445995058906396598/19365878894160\ 7572645836189577594022858281660379*c_0101_6^4 + 3400832870454629429772395492385820111796918630215875/19365878894160\ 7572645836189577594022858281660379*c_0101_6^3 + 493277992561329360564772901278409776363910948025917/193658788941607\ 572645836189577594022858281660379*c_0101_6^2 - 339845105991592592975327954295388189112174315275268/193658788941607\ 572645836189577594022858281660379*c_0101_6 + 38025327018886588131417843929481733983017009215995/1936587889416075\ 72645836189577594022858281660379, c_0011_0 - 1, c_0011_3 + 10837137514166828378133127836461277375252488265018/193658788\ 941607572645836189577594022858281660379*c_0101_6^25 + 13911122504926353784968959190147681826930543784898/1936587889416075\ 72645836189577594022858281660379*c_0101_6^24 - 83817576554440131753857777906870443234648514505669/1936587889416075\ 72645836189577594022858281660379*c_0101_6^23 + 21822241537095356542928742685017860261795110984406/1936587889416075\ 72645836189577594022858281660379*c_0101_6^22 + 218822386499740710942461047571688234879205884659849/193658788941607\ 572645836189577594022858281660379*c_0101_6^21 - 728282459879362280632324144192810410358978922114999/193658788941607\ 572645836189577594022858281660379*c_0101_6^20 - 112154814641183763578040114190032593086839646120822/193658788941607\ 572645836189577594022858281660379*c_0101_6^19 + 1708032417908637357241326904137698087801446588270010/19365878894160\ 7572645836189577594022858281660379*c_0101_6^18 - 875978490178297712842169673736949599639846845528753/193658788941607\ 572645836189577594022858281660379*c_0101_6^17 - 145760224909030343457951566614075588398764723721104/193658788941607\ 572645836189577594022858281660379*c_0101_6^16 + 1529134649390592230024269442581129610409148137636404/19365878894160\ 7572645836189577594022858281660379*c_0101_6^15 - 1106223537832810196345043023442518450429345682536385/19365878894160\ 7572645836189577594022858281660379*c_0101_6^14 + 2376234073382973383174949648806602425767338637100043/19365878894160\ 7572645836189577594022858281660379*c_0101_6^13 + 1753664023725377576208171382410033896187402542709555/19365878894160\ 7572645836189577594022858281660379*c_0101_6^12 - 1125710195228865603046075621058903213943938675679386/19365878894160\ 7572645836189577594022858281660379*c_0101_6^11 + 571287119745161231695004114796901357144482813231328/193658788941607\ 572645836189577594022858281660379*c_0101_6^10 + 510577264541075792885730540392149425270917540286263/193658788941607\ 572645836189577594022858281660379*c_0101_6^9 + 1325569111297306458960504645365540154445076811530333/19365878894160\ 7572645836189577594022858281660379*c_0101_6^8 - 83432117270300422097545027907928465134917394595069/1936587889416075\ 72645836189577594022858281660379*c_0101_6^7 - 1029832183978587633928880950925652139622166203038920/19365878894160\ 7572645836189577594022858281660379*c_0101_6^6 + 201219480158999698583136220984453301274980462166034/193658788941607\ 572645836189577594022858281660379*c_0101_6^5 + 259263289167200410057684331245371371418750095612071/193658788941607\ 572645836189577594022858281660379*c_0101_6^4 - 82710661422449891283109905178117256076529514513918/1936587889416075\ 72645836189577594022858281660379*c_0101_6^3 - 19312806719819877449114308477730788721389654236985/1936587889416075\ 72645836189577594022858281660379*c_0101_6^2 + 9594708768951874763478456172136706062065743008245/19365878894160757\ 2645836189577594022858281660379*c_0101_6 - 577590611871368798057680931132225924153169369292/193658788941607572\ 645836189577594022858281660379, c_0101_0 + 27728829590573347435027412826991412779477758622014/193658788\ 941607572645836189577594022858281660379*c_0101_6^25 + 39780039834407186512464484616182169536901749387980/1936587889416075\ 72645836189577594022858281660379*c_0101_6^24 - 208746485257361536885080885803023829420303226330911/193658788941607\ 572645836189577594022858281660379*c_0101_6^23 + 23863206498765951522700278645319669309870915481569/1936587889416075\ 72645836189577594022858281660379*c_0101_6^22 + 565392071332816283030859533563237988486256222509082/193658788941607\ 572645836189577594022858281660379*c_0101_6^21 - 1778253909958367863829977184709872360822124752130474/19365878894160\ 7572645836189577594022858281660379*c_0101_6^20 - 559726410691724973897797353153779119619466531704173/193658788941607\ 572645836189577594022858281660379*c_0101_6^19 + 4302819884251297149196905061069553481143012767859385/19365878894160\ 7572645836189577594022858281660379*c_0101_6^18 - 1586811361196790549382385129289869470759904945403805/19365878894160\ 7572645836189577594022858281660379*c_0101_6^17 - 642067376148972577048274357356738258321375434935977/193658788941607\ 572645836189577594022858281660379*c_0101_6^16 + 3825433990091259869075200976957302581564371909324381/19365878894160\ 7572645836189577594022858281660379*c_0101_6^15 - 2273320312245303922025329533078088103229063576350220/19365878894160\ 7572645836189577594022858281660379*c_0101_6^14 + 5715928149224077666879940180710334311465222009377701/19365878894160\ 7572645836189577594022858281660379*c_0101_6^13 + 5361178461009838242129950437830429442298138414400157/19365878894160\ 7572645836189577594022858281660379*c_0101_6^12 - 2149561378523418214257213865854501756964806748256997/19365878894160\ 7572645836189577594022858281660379*c_0101_6^11 + 1092070379438022389041564005129118009023869137658339/19365878894160\ 7572645836189577594022858281660379*c_0101_6^10 + 1430370921681553572237947164323874502177382768266632/19365878894160\ 7572645836189577594022858281660379*c_0101_6^9 + 3575279975313189993664877362332068187080410982491665/19365878894160\ 7572645836189577594022858281660379*c_0101_6^8 + 317299238977191278959908156823795281401936418361157/193658788941607\ 572645836189577594022858281660379*c_0101_6^7 - 2641413118902644915145195347422484823634751978559155/19365878894160\ 7572645836189577594022858281660379*c_0101_6^6 + 102173642548186644042649592906487532533126760665582/193658788941607\ 572645836189577594022858281660379*c_0101_6^5 + 674562762450057405095954693559993192513565423271121/193658788941607\ 572645836189577594022858281660379*c_0101_6^4 - 103443244197214829736321497442329725676870330216627/193658788941607\ 572645836189577594022858281660379*c_0101_6^3 - 59575704431884188341648365786591773033628212630938/1936587889416075\ 72645836189577594022858281660379*c_0101_6^2 + 14065655754930341683847309674978252294983535519680/1936587889416075\ 72645836189577594022858281660379*c_0101_6 - 50108335951286776518481244207404277090742929441/1936587889416075726\ 45836189577594022858281660379, c_0101_1 + 46996295492011735830527802887972152581677372130972/193658788\ 941607572645836189577594022858281660379*c_0101_6^25 + 64685427755087712656052443279883285552040571166930/1936587889416075\ 72645836189577594022858281660379*c_0101_6^24 - 354830518740756627996644605163870561343323747380188/193658788941607\ 572645836189577594022858281660379*c_0101_6^23 + 64877827927473417151416780281703083658741302196281/1936587889416075\ 72645836189577594022858281660379*c_0101_6^22 + 934340848666746367411215654759436129077063954216034/193658788941607\ 572645836189577594022858281660379*c_0101_6^21 - 3064215379014872774773317269319038473190239731612391/19365878894160\ 7572645836189577594022858281660379*c_0101_6^20 - 719508303407567236181437033214410203539137076792997/193658788941607\ 572645836189577594022858281660379*c_0101_6^19 + 7158927641048183700361607727834830357031175908366175/19365878894160\ 7572645836189577594022858281660379*c_0101_6^18 - 3141201741762718905462077699587549137883559129209780/19365878894160\ 7572645836189577594022858281660379*c_0101_6^17 - 521823515987029839054645840410495582052854710111198/193658788941607\ 572645836189577594022858281660379*c_0101_6^16 + 6340342050796988188185901188421581092693884659699295/19365878894160\ 7572645836189577594022858281660379*c_0101_6^15 - 4188625411142913208840159955270172880382816633656007/19365878894160\ 7572645836189577594022858281660379*c_0101_6^14 + 10245711749113274476064330636650459569476603469395705/1936587889416\ 07572645836189577594022858281660379*c_0101_6^13 + 8266131593201252929941827027352782339927280821840322/19365878894160\ 7572645836189577594022858281660379*c_0101_6^12 - 3481768745095381220655525695026730535482104445478230/19365878894160\ 7572645836189577594022858281660379*c_0101_6^11 + 2479926331018976900401308105066457374094371903693052/19365878894160\ 7572645836189577594022858281660379*c_0101_6^10 + 2200996929669483700919338685343085188661184793146724/19365878894160\ 7572645836189577594022858281660379*c_0101_6^9 + 6101076047654719787848120346503622942280147259691008/19365878894160\ 7572645836189577594022858281660379*c_0101_6^8 + 269103516159134821179577744057039278492034860776068/193658788941607\ 572645836189577594022858281660379*c_0101_6^7 - 4103903772050071178359259017378887719153015448393066/19365878894160\ 7572645836189577594022858281660379*c_0101_6^6 + 432209915559525586809156772806281121125477764905308/193658788941607\ 572645836189577594022858281660379*c_0101_6^5 + 936956484482244050493292964690529176264660514537981/193658788941607\ 572645836189577594022858281660379*c_0101_6^4 - 228507427006113836323855505655348701980366936964302/193658788941607\ 572645836189577594022858281660379*c_0101_6^3 - 64537551189098037273410124300264045971765356286857/1936587889416075\ 72645836189577594022858281660379*c_0101_6^2 + 26704050394880891221932783392961468384524986421289/1936587889416075\ 72645836189577594022858281660379*c_0101_6 - 2097269631160055624162463817873360877999723620384/19365878894160757\ 2645836189577594022858281660379, c_0101_2 + 20954776570969226793816662079124487200443027922032/193658788\ 941607572645836189577594022858281660379*c_0101_6^25 + 23400332391352281780255857900301377734723907899110/1936587889416075\ 72645836189577594022858281660379*c_0101_6^24 - 165499958152346581966761469279627138476923967924822/193658788941607\ 572645836189577594022858281660379*c_0101_6^23 + 69862771709592237243154504329006307439886753893095/1936587889416075\ 72645836189577594022858281660379*c_0101_6^22 + 407171046559515622522907543124655083836398521004672/193658788941607\ 572645836189577594022858281660379*c_0101_6^21 - 1470756846454751824275079377063447989306673469947414/19365878894160\ 7572645836189577594022858281660379*c_0101_6^20 + 35870399028589537820513238830500461232257474551324/1936587889416075\ 72645836189577594022858281660379*c_0101_6^19 + 3254572085212178048984269662225089107925990343857411/19365878894160\ 7572645836189577594022858281660379*c_0101_6^18 - 2201239925077622351526852957212168638552449920018157/19365878894160\ 7572645836189577594022858281660379*c_0101_6^17 + 154183022518349836708248241582259887137781533398726/193658788941607\ 572645836189577594022858281660379*c_0101_6^16 + 2811882291114995127930735357856820115630041103515997/19365878894160\ 7572645836189577594022858281660379*c_0101_6^15 - 2547665976181458059225993245270501822587004663440364/19365878894160\ 7572645836189577594022858281660379*c_0101_6^14 + 5060171577298636321393188575618696161319681441749399/19365878894160\ 7572645836189577594022858281660379*c_0101_6^13 + 2433928217597850635150345848180123012765240051628997/19365878894160\ 7572645836189577594022858281660379*c_0101_6^12 - 2405778363023497483793217079275999216958150817420532/19365878894160\ 7572645836189577594022858281660379*c_0101_6^11 + 1424228543849030052297542897997154103747362982186256/19365878894160\ 7572645836189577594022858281660379*c_0101_6^10 + 659524130967322858053519263432738462992709244198108/193658788941607\ 572645836189577594022858281660379*c_0101_6^9 + 2517675087819683559800888376470086025841718920651066/19365878894160\ 7572645836189577594022858281660379*c_0101_6^8 - 615226368596679086022097713621923135684047707264020/193658788941607\ 572645836189577594022858281660379*c_0101_6^7 - 1835166610553090011436921653507201932612449746113166/19365878894160\ 7572645836189577594022858281660379*c_0101_6^6 + 613924728852030304093045619962555153519088525337192/193658788941607\ 572645836189577594022858281660379*c_0101_6^5 + 373858058600630289075715651320816335353233274193168/193658788941607\ 572645836189577594022858281660379*c_0101_6^4 - 180753293167297346244712192754622575713872883253603/193658788941607\ 572645836189577594022858281660379*c_0101_6^3 - 13140968416108774529770214202597459103189612104050/1936587889416075\ 72645836189577594022858281660379*c_0101_6^2 + 16947333307033323300281166009297582146197355768011/1936587889416075\ 72645836189577594022858281660379*c_0101_6 - 2111954963276133380177564563020835120979077355456/19365878894160757\ 2645836189577594022858281660379, c_0101_5 - 11453640486390531405751728326644741858912798722396/193658788\ 941607572645836189577594022858281660379*c_0101_6^25 - 11649541173199729061077696774162986878716386533100/1936587889416075\ 72645836189577594022858281660379*c_0101_6^24 + 91833018020912851891074839527957216165179222642572/1936587889416075\ 72645836189577594022858281660379*c_0101_6^23 - 47044401783929375372803348120301353690255975223002/1936587889416075\ 72645836189577594022858281660379*c_0101_6^22 - 219443993806887462774640524732717186030630620218023/193658788941607\ 572645836189577594022858281660379*c_0101_6^21 + 826112246323145698350674326465591251953471056382082/193658788941607\ 572645836189577594022858281660379*c_0101_6^20 - 97927289448022218555223904723352082637012735749674/1936587889416075\ 72645836189577594022858281660379*c_0101_6^19 - 1782942886083285053625133471362931350110698109607080/19365878894160\ 7572645836189577594022858281660379*c_0101_6^18 + 1378300998636140551095223002073774290517096969854498/19365878894160\ 7572645836189577594022858281660379*c_0101_6^17 - 191456658509817697881459897987562221666672324350659/193658788941607\ 572645836189577594022858281660379*c_0101_6^16 - 1532287882399515992097622947775866086312342834628377/19365878894160\ 7572645836189577594022858281660379*c_0101_6^15 + 1547406443520750374842631625669544551735235105314976/19365878894160\ 7572645836189577594022858281660379*c_0101_6^14 - 2894657579581796272322796503328223829365398912429820/19365878894160\ 7572645836189577594022858281660379*c_0101_6^13 - 1059661876717309343880038313955740484204302868562034/19365878894160\ 7572645836189577594022858281660379*c_0101_6^12 + 1470062424599001464136872491618889442486475167221576/19365878894160\ 7572645836189577594022858281660379*c_0101_6^11 - 891791426126236960225882328068774255502388980215966/193658788941607\ 572645836189577594022858281660379*c_0101_6^10 - 279069635379998028897753858793110633353905064870672/193658788941607\ 572645836189577594022858281660379*c_0101_6^9 - 1334647731768745453180159037212757545823275983154053/19365878894160\ 7572645836189577594022858281660379*c_0101_6^8 + 478064905288425770068780321373728228919545758888245/193658788941607\ 572645836189577594022858281660379*c_0101_6^7 + 985104648699106549703221213785053657264677794510130/193658788941607\ 572645836189577594022858281660379*c_0101_6^6 - 432749897971672209131293468481253974505902224620043/193658788941607\ 572645836189577594022858281660379*c_0101_6^5 - 175140626415553480983660909411570306993612026892360/193658788941607\ 572645836189577594022858281660379*c_0101_6^4 + 117363708930276459336535118471979056041982037138697/193658788941607\ 572645836189577594022858281660379*c_0101_6^3 - 1700880722462689374773085352485265455702667750757/19365878894160757\ 2645836189577594022858281660379*c_0101_6^2 - 9889971390360025149700114201068835927663587286158/19365878894160757\ 2645836189577594022858281660379*c_0101_6 + 1893182365526764470095291212424351235176565534835/19365878894160757\ 2645836189577594022858281660379, c_0101_6^26 + 5/3*c_0101_6^25 - 131/18*c_0101_6^24 - c_0101_6^23 + 191/9*c_0101_6^22 - 119/2*c_0101_6^21 - 331/9*c_0101_6^20 + 1403/9*c_0101_6^19 - 178/9*c_0101_6^18 - 893/18*c_0101_6^17 + 138*c_0101_6^16 - 859/18*c_0101_6^15 + 526/3*c_0101_6^14 + 4475/18*c_0101_6^13 - 446/9*c_0101_6^12 + 109/18*c_0101_6^11 + 69*c_0101_6^10 + 2483/18*c_0101_6^9 + 667/18*c_0101_6^8 - 925/9*c_0101_6^7 - 335/18*c_0101_6^6 + 101/3*c_0101_6^5 + 7/6*c_0101_6^4 - 16/3*c_0101_6^3 + 4/9*c_0101_6^2 + 1/3*c_0101_6 - 1/18 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB