Magma V2.19-8 Tue Aug 20 2013 16:19:02 on localhost [Seed = 3970789767] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3186 geometric_solution 6.33650401 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.775450993771 0.526135653209 0 2 3 0 0132 0132 0132 3201 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 -1 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.601978443398 0.727178816667 4 1 5 6 0132 0132 0132 0132 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 0 0 0 0 0 1 -1 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.538315109655 0.754415181948 5 6 4 1 1023 1023 0132 0132 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 -1 0 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.538315109655 0.754415181948 2 4 4 3 0132 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 -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.329871665931 0.772455570706 5 3 5 2 2031 1023 1302 0132 0 0 0 0 0 0 1 -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 0 0 0 0 0 1 -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 0 0 0 0.609873932493 0.492759615560 3 6 2 6 1023 2310 0132 3201 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 1 -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.532960858005 0.951955793604 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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' : 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_2'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0101_1'], '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_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 37 Groebner basis: [ t - 3421193577708178477171557430456123124844632239958653404112781299009\ 304909696912592/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^36 + 1721427292078851141544471999859686744594913163200744575716495175592\ 8634937312722247/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^35 + 3278169981804477943485689328884494532452387481440843463754981420879\ 2122062982306916/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^34 - 2223029826360961863088037966351504283724720080786289738887869768137\ 87865984693961108/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^33 - 1346913502986835002043128730876226835476336641417840365223877220789\ 09729320773620685/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^32 + 1151824214754753202203284849879705494998432563495413184056123969205\ 283891206247539746/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^31 + 1016146817778322868653964804200910626063138222978260843526417745086\ 4733670123933981/11348109315159341130129711078434519302581383866972\ 4612141509639561248654337817*c_0110_6^30 - 3382020505940915760429194350574296668706048642205795791443770465562\ 725449451234245728/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^29 - 2354713493401206448027669099275077788300932532849925750527620501372\ 489552216776098988/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^28 + 5981296364906929896317313681688675809564688041815978187809562810398\ 388445138416801735/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^27 + 5363065883483720001035584698220053339739807610638375618623621315672\ 865943546856838143/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^26 - 5549730668625351200870622638798515221199475723146982897865247998592\ 966242572741844874/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^25 - 6309652367706647462217847178493524216911051024043440347512112972012\ 391677758044921629/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^24 + 1047152321980854854242906154039080989720413415820560227040646286344\ 682484072261685215/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^23 + 2911342120274774060902627819096051465333110436994890343021548886982\ 362422869339273565/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^22 + 2224132292963822510843793206513517996962708590107300854956672898378\ 212954897329818291/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^21 + 1015070095744066225018370160802681663044088322363494345553417482465\ 513075358464207891/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^20 - 1710320237307314446864147162933003765663596562162201703088343751052\ 822839310268487681/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^19 - 2141179923934773032842757247199947389334333945594767783065383173973\ 876054008504710984/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^18 + 8898573176643496775063646592732942301852904604158827563032807349528\ 28298206268774742/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^17 + 1930024375262349049285288504858713682797272271014245916874232814794\ 862808754433970353/669538449594401126677652953627636638852301648151\ 3752116349068734113670605931203*c_0110_6^16 - 2405050263434287705045769758475346569720071826438275024488993464750\ 84240428615882432/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^15 - 9989104528589497872114584002128749574281627320653973462359638631700\ 61828081709557064/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^14 - 6087557998589797253383039185884298374644409143211748963572300660143\ 08585768717308742/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^13 - 2717149098756145718090636752070952367592964596986323146588809302121\ 34699556282316473/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^12 + 3261699914943446491200597037104761162030438356130522904937108511724\ 51380535454099620/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^11 + 3559459662979387102608028553914280766772878750398278778253097867979\ 13270028772675101/6695384495944011266776529536276366388523016481513\ 752116349068734113670605931203*c_0110_6^10 + 8005678143745590997593867487799086683037077637843248930878117107648\ 2427989693543568/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^9 + 2118492781321125023509964109787055328691337388150905237847896015516\ 4078078800424889/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^8 + 2566085408308507357293609081904573987822342960032141555186468907474\ 7360454130971644/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^7 + 3315274094142254361019666631242370913250629458056097481089444849195\ 9400284092066583/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^6 + 3128783876900540123303536408110465912650809898118446090528844914724\ 6638657162197821/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^5 + 2173442744576042785461185566140449648459401346508258989299919499757\ 7784900946673960/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^4 + 7746194574508768104829557784594174119484535692888016804058651456593\ 710504904711804/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^3 - 4598643368496817825453176638190625698270237802906324834700730145872\ 84776347737679/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^2 - 7189223112120918516064724751747825458848828674610417309342741450333\ 93236131898246/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6 - 8606780072356079896249290042476671784883023445305049194804274341827\ 62594371521553/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203, c_0011_0 - 1, c_0011_3 - 339365474021617852914425476860784158062370940680813249823418\ 14598712357039912261/6695384495944011266776529536276366388523016481\ 513752116349068734113670605931203*c_0110_6^36 + 1844252304600722209965114956066390690597271192322361845789646301452\ 47517690737684/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^35 + 2383517665407239714196422173154745642420720400806081553404030873147\ 56439242646282/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^34 - 2228258611306086091150801604629671887407902279244778734927273409005\ 718247461657144/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^33 - 3787323524178012232201791941758103891934895188036745683043038980113\ 79953328641569/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^32 + 1074042593437163448736239858318049474302788997079165987393568084105\ 4673786537706803/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^31 + 3021095353180800894456468734234316628339959086496970120912563127585\ 6848609905512/11348109315159341130129711078434519302581383866972461\ 2141509639561248654337817*c_0110_6^30 - 3042922208779140789130845292568583949775800378503825316836333562655\ 6614364000860574/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^29 - 1168055805427942376348559087987336432817071057154408929643904079413\ 0652325980883427/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^28 + 5319843338416887794756194965411288282545886227620824401141981575103\ 0168373699603413/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^27 + 3065615126644772197393593002829972916306122568929792792365545643571\ 3151573019264267/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^26 - 4766969163839588440341203194696219234637520586261960895190718784111\ 5022155798460596/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^25 - 3725787080152713601374775097375529369976806490649329282199277521956\ 8417117530330163/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^24 + 6116835589848607749555235276229490968250911726495109735828289702731\ 286586772015142/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^23 + 1595395678065739330117147354246670871783209616341751753798628562016\ 2406414416077010/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^22 + 2125339986004617889048182989139001320088234779036493655243346829758\ 2213308563351900/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^21 + 9468995214874612102989087890738192454329269019914287232385422870034\ 413104261174887/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^20 - 1575138482386542707352550017881129997515736865044715245232908010443\ 3387563510595872/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^19 - 1538985577144516861422403239392939263831503183517971828781235297541\ 6165066298848306/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^18 + 9274366609475098739214150390154606969438802859874749132066192993367\ 324368468515565/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^17 + 1206259183955986722227373479192255740467836975912069554173926566682\ 6353819848030664/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^16 - 2742640994676713375273843508559751096626052229792939411042791604653\ 019999872196862/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^15 - 5394238712724808617061695980982022732528763045790558566332224190008\ 916330029716621/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^14 - 5592099115216538017856110320900534100970035143177964245360412579644\ 043335678073566/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^13 - 2827499065735156749419120450501548124863478636437127933768420447017\ 562804123862531/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^12 + 2881869458754452999640338877795709522934695520611352079579848799330\ 070709872066302/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^11 + 2572794864002407265878650236223749943731699427613961842159570348319\ 601846842542548/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^10 + 8306207558665810277835844750693423475342739134185333048021330615997\ 99254106200992/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^9 + 3418610101107762549890790268287216613376702095829583790867720553584\ 87565386056356/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^8 + 2025414831738279994665236246901301673964006011074178828949954715512\ 91148484832696/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^7 + 2744832425397921006514109636214676786286924286805266254435220815101\ 26840867044214/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^6 + 2575887287206923302385832529698276156220464859126105381076829111408\ 52998771350325/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^5 + 2044075553053539251513763059359649253644179712890252291188525063526\ 44362776260595/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^4 + 6063186244385106537001537367353267289344706937546106280321125672202\ 9958196629030/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^3 + 8183575799366547749690802166743867311088091655729937491658558185384\ 240972751296/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203*c_0110_6^2 + 2361380686900739944703180142081199074113645654738363453599982532395\ 571282894116/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203*c_0110_6 - 6127603588458915738162904830142249898254889518665973361510374000962\ 769597841342/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203, c_0101_0 - 519129978688785320696427135548836034110270967733132146026105\ 11573/4744329261940740832329133341928570297940545389583467882906811\ 087*c_0110_6^36 + 2975696921387554302272467730026847917909977711696\ 87135723961043608/4744329261940740832329133341928570297940545389583\ 467882906811087*c_0110_6^35 + 2753747498743204224293183988964618972\ 64722963780563406524636738375/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^34 - 3478641378380746123149709539454755655424279294418332581400615334268\ /4744329261940740832329133341928570297940545389583467882906811087*c\ _0110_6^33 + 407120493033307509748574578998908873395260084089517918\ 001033398371/474432926194074083232913334192857029794054538958346788\ 2906811087*c_0110_6^32 + 162536904836287930418736577531389917581407\ 48023440908104627754631101/4744329261940740832329133341928570297940\ 545389583467882906811087*c_0110_6^31 - 25815347664563989454776903784195600425663581305994298429851435510/8\ 0412360371876963259815819354721530473568565925143523439098493*c_011\ 0_6^30 - 4635365720246411734694888191586311291570211290129462801812\ 0365302884/47443292619407408323291333419285702979405453895834678829\ 06811087*c_0110_6^29 - 66402138225963414966600162020060743237552800\ 56037021440605540129584/4744329261940740832329133341928570297940545\ 389583467882906811087*c_0110_6^28 + 8500409266337712712544227106937347858879165936448550315287077759286\ 8/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^27 + 28653155149935726666511619748958936240085448319736016\ 236393386003759/474432926194074083232913334192857029794054538958346\ 7882906811087*c_0110_6^26 - 852458802533817763680564029901007533664\ 53353940645461876567357282050/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^25 - 4525875099608027511713243014919901355989575134510060887890482851266\ 6/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^24 + 28628204155327957307137309329336195421688187785755214\ 420302364894271/474432926194074083232913334192857029794054538958346\ 7882906811087*c_0110_6^23 + 317387243430171954114041583967035968487\ 58271994094423138183920415533/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^22 + 1765681778263122337933831415790555971729599027328183777277425288189\ 2/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^21 + 36679294470588378610050959932616046746358212648280443\ 2022460919970/47443292619407408323291333419285702979405453895834678\ 82906811087*c_0110_6^20 - 22574373413209448690212457315357542377540\ 344381066649688396115086875/474432926194074083232913334192857029794\ 0545389583467882906811087*c_0110_6^19 - 1607742067339417909026370907253685686362824663127165356402468427313\ 2/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^18 + 19519069298782439922098772212856230213043707278136168\ 419332830170698/474432926194074083232913334192857029794054538958346\ 7882906811087*c_0110_6^17 + 156108975055764880413338116636132332364\ 24020045492105988722235559960/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^16 - 8982134018998949602630031386039444904739560796502181681336721615022\ /4744329261940740832329133341928570297940545389583467882906811087*c\ _0110_6^15 - 102163441830557582033600577397968449419903736303927824\ 58880859621646/4744329261940740832329133341928570297940545389583467\ 882906811087*c_0110_6^14 - 5051477211121809891784241993959763590811\ 465690542545296139156273035/474432926194074083232913334192857029794\ 0545389583467882906811087*c_0110_6^13 + 459729288197706020185623027581525590404333283246557648292073555521/\ 4744329261940740832329133341928570297940545389583467882906811087*c_\ 0110_6^12 + 3890404748708831711773561932451111043367024700559129917\ 639952762813/474432926194074083232913334192857029794054538958346788\ 2906811087*c_0110_6^11 + 232973518103711900971075205702669869286015\ 7315373522907384856712492/47443292619407408323291333419285702979405\ 45389583467882906811087*c_0110_6^10 + 386730852378649498244216400832523846292416597566655538105639826218/\ 4744329261940740832329133341928570297940545389583467882906811087*c_\ 0110_6^9 + 41030020378096793103025199339521469278261198582601375231\ 42976914/4744329261940740832329133341928570297940545389583467882906\ 811087*c_0110_6^8 + 49210542042849759099974209046263751611783795417\ 9459335878317832097/47443292619407408323291333419285702979405453895\ 83467882906811087*c_0110_6^7 + 410459744009523455846555101680883547\ 271866251246447187185242068776/474432926194074083232913334192857029\ 7940545389583467882906811087*c_0110_6^6 + 211034447923291398531370477588128292186770993773023657362414208114/\ 4744329261940740832329133341928570297940545389583467882906811087*c_\ 0110_6^5 + 17431761508186355792299094624877973175779788154090156572\ 3562764003/47443292619407408323291333419285702979405453895834678829\ 06811087*c_0110_6^4 + 387824176496119309758413600899494709861846455\ 61837400208497053222/4744329261940740832329133341928570297940545389\ 583467882906811087*c_0110_6^3 + 26698346192295536558674768376814184\ 21510591600008863024742156558/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^2 - 9745582839853914976231160917766638016061597413859777479961623768/47\ 44329261940740832329133341928570297940545389583467882906811087*c_01\ 10_6 + 154727802378274982912759217558464455383126229059579783869136\ 961/474432926194074083232913334192857029794054538958346788290681108\ 7, c_0101_1 + 563410131851888456449458625793128118122693798697473948558542\ 42579/4744329261940740832329133341928570297940545389583467882906811\ 087*c_0110_6^36 - 3108327835792120729894476878560091289666544897757\ 19149239214919282/4744329261940740832329133341928570297940545389583\ 467882906811087*c_0110_6^35 - 3706981758089514164768465851963802291\ 41682036242178437683753346272/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^34 + 3728006352541225109924476876619320936031054882275679152739391564622\ /4744329261940740832329133341928570297940545389583467882906811087*c\ _0110_6^33 + 360613120405803568537249606854699801213617625859656967\ 692952193025/474432926194074083232913334192857029794054538958346788\ 2906811087*c_0110_6^32 - 178948795765206180673383911894850456997751\ 12185704525612127971790091/4744329261940740832329133341928570297940\ 545389583467882906811087*c_0110_6^31 - 31864261839166789372413695020482186058206856494182662442081495365/8\ 0412360371876963259815819354721530473568565925143523439098493*c_011\ 0_6^30 + 5117446340142037608847762347806508089466046676805544439060\ 8561844043/47443292619407408323291333419285702979405453895834678829\ 06811087*c_0110_6^29 + 16912197539285339760135924243981642391406903\ 315517204590623229242377/474432926194074083232913334192857029794054\ 5389583467882906811087*c_0110_6^28 - 9171786180655788452120028379371820126556672358507973060736701212751\ 1/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^27 - 48293706016168328548087476094346746444167545799677322\ 840776399137407/474432926194074083232913334192857029794054538958346\ 7882906811087*c_0110_6^26 + 871557749873830778498690904933596963481\ 12743684969758886930091069012/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^25 + 6438220286849925515404971362824835915800637808831235667932245975741\ 4/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^24 - 20518062888829969721607587584887249732484493908697890\ 066759605875466/474432926194074083232913334192857029794054538958346\ 7882906811087*c_0110_6^23 - 358392925098244200532817144518258436499\ 90063134024616259597434811545/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^22 - 2873445395498642741143992234042759905995424874927005992511601650388\ 3/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^21 - 78792783407895104985683983822287800797278027329001178\ 22494127822530/4744329261940740832329133341928570297940545389583467\ 882906811087*c_0110_6^20 + 2627136359738190402218444686677917270228\ 4296270102301254643551988572/47443292619407408323291333419285702979\ 40545389583467882906811087*c_0110_6^19 + 2380395008971896275725641125170598765895820273683982793761304026136\ 5/4744329261940740832329133341928570297940545389583467882906811087*\ c_0110_6^18 - 17873961142265845445004696676459687662323359741807911\ 882667661340769/474432926194074083232913334192857029794054538958346\ 7882906811087*c_0110_6^17 - 210477275341300246202494747237710685775\ 39344048485246684043396602428/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^16 + 6295250208477898133791750385468848267829836196278896146689450927064\ /4744329261940740832329133341928570297940545389583467882906811087*c\ _0110_6^15 + 117703785041375184250598097565531697602993036099853679\ 53242438132396/4744329261940740832329133341928570297940545389583467\ 882906811087*c_0110_6^14 + 8042833766089825604745102537281471804170\ 188028696290221814949578994/474432926194074083232913334192857029794\ 0545389583467882906811087*c_0110_6^13 + 1879727072637034543090259344421909900135706523722096249618919911079\ /4744329261940740832329133341928570297940545389583467882906811087*c\ _0110_6^12 - 478800268155824335935372583238729769129463578958963701\ 7720563180181/47443292619407408323291333419285702979405453895834678\ 82906811087*c_0110_6^11 - 38706711505028641229002231165832535989848\ 51951443018000885672143237/4744329261940740832329133341928570297940\ 545389583467882906811087*c_0110_6^10 - 929995196337805666103706845754923799894528201935135618114129458898/\ 4744329261940740832329133341928570297940545389583467882906811087*c_\ 0110_6^9 - 14431045364363546773461599853654037180803931804682235960\ 9918187290/47443292619407408323291333419285702979405453895834678829\ 06811087*c_0110_6^8 - 323604876048172460999044115764596007035038021\ 530788986746637423448/474432926194074083232913334192857029794054538\ 9583467882906811087*c_0110_6^7 - 4653715660250435983617045646539400\ 08732803747696490878731728198317/4744329261940740832329133341928570\ 297940545389583467882906811087*c_0110_6^6 - 390470032285938986115878072427624429647369396107084109981210974678/\ 4744329261940740832329133341928570297940545389583467882906811087*c_\ 0110_6^5 - 24912684107674832699752118922526035051211734301473195492\ 9193249020/47443292619407408323291333419285702979405453895834678829\ 06811087*c_0110_6^4 - 698109584444790844016536115354029500550048611\ 94809151550479110878/4744329261940740832329133341928570297940545389\ 583467882906811087*c_0110_6^3 + 63620946302948335222708821321748727\ 77038208225842656882634563811/4744329261940740832329133341928570297\ 940545389583467882906811087*c_0110_6^2 + 13762252261703268470888042665137347008125974096306212896218832265/4\ 744329261940740832329133341928570297940545389583467882906811087*c_0\ 110_6 + 34382543305775440615311553060465655067289490515984970593190\ 48869/4744329261940740832329133341928570297940545389583467882906811\ 087, c_0101_2 + 463996430191628400379150547385202608928814260796703094442522\ 50805813164659519375/6695384495944011266776529536276366388523016481\ 513752116349068734113670605931203*c_0110_6^36 - 2396581968238355445771460077192620888650368166120802571211649394535\ 65926969264687/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^35 - 4093342060877578584317073339222018873896665468735728678563103761645\ 87627909147640/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^34 + 3050733408725924859172464509077884868734437271454938254032910912782\ 138544191941994/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^33 + 1405761745406135633958020831411865514999197335494119602670771029270\ 527955252472697/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^32 - 1560982741349310733318243191950833232979066161041804320857994089548\ 3633975106708485/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^31 - 1031525844622926094647849299041387634711346573475862001097731722100\ 11657606261731/1134810931515934113012971107843451930258138386697246\ 12141509639561248654337817*c_0110_6^30 + 4588607851514197435421157540735400661543476452426400772368141916908\ 6282133731732510/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^29 + 2581305911450257952513289843710116153348222420626147126677114258505\ 3203771376174087/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^28 - 8267304531009786857455014696539913075124810383950855787431706198617\ 9749128850852228/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^27 - 6090322987888936959123523084639478128802744761952157135888478702622\ 5132089957160396/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^26 + 8096728559330879513535828514508266676923353881145116649257320253319\ 7728621998584528/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^25 + 7264375079486845166532945747905396350087578730289531072236034069678\ 4184262437006874/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^24 - 2405875767368090913328982536025846534646463060016557072073661177083\ 4620375264232252/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^23 - 3396438845263849495501898392735494140283096217051076736618127921795\ 8908658506058328/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^22 - 2159420265524129623839768625817235143455062590076059195261118044862\ 7321934271218988/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^21 - 1107010228652475389888871199836564928775666134319243031739069484349\ 5058284758484415/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^20 + 2097607298911618154758663774263895382072298118804691034026053878174\ 1065246044622194/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^19 + 2434599549393161320638249309539329155540572774404925936785986582534\ 5971811176451025/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^18 - 1433895296330873773888424668192596906889111590001331656192098738072\ 8797078573908392/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^17 - 2291417234514670047464053667902009407665895393669867836970815671226\ 6411210909204003/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^16 + 6482137454242451629066746606945917143648976652395484806400416351881\ 324189888103267/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^15 + 1226217415209630919344981279961503193313056525352212874655955137080\ 2066052985485912/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^14 + 5724270701577344856074020048683887795636436167372893527748165648316\ 026166011570820/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^13 + 2916950538920865429379912155836794972355808501180609155573574462924\ 593125120485117/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^12 - 3730635390156741655949721128940632540026401244426639217464764719181\ 895943025545620/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^11 - 3739053952847182303250890988321619131402555334780249176418297051769\ 180191791893472/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^10 - 6953036772199353432020154822825389042993968673933902770625079573434\ 65767227323036/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^9 - 4926568011009890905214304689008745943720319574734656424116929380612\ 31230876482015/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^8 - 5408041128058758707111438157455691480463530631457355096272025546120\ 60174903803773/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^7 - 4594454907306063443046433023263611510203573628605191972873512936024\ 18622200585089/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^6 - 3655146215199852831326205334464900911884844915875600125852641993569\ 25590509438239/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^5 - 2910628257641905543514151561646570259099239698281729139517785329476\ 85996980227535/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^4 - 1178473360225646658690821162558454784735004504078243418554677003472\ 25960400242649/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^3 - 2600633383587226926501921202518947138759384966940583735159827630554\ 809877445378/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203*c_0110_6^2 - 2909373037427007829233250609451747020798643369913726712180357848764\ 120505545370/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203*c_0110_6 + 9669107082720199354360190597629142385896826205154368232080514052722\ 951353981198/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203, c_0101_4 - 241021355952642875690724636061702949016878715893467352291141\ 0936191239444318189/66953844959440112667765295362763663885230164815\ 13752116349068734113670605931203*c_0110_6^36 + 1528608947662568449145930351248388686375441552512064722348117730137\ 7778663605148/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^35 + 1415846803194176340590925690543555186269425080067289806808933519716\ 2702042891282/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^34 - 2250282329799269468207615615046450549919550551201738681057003103802\ 75765013428972/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^33 + 6104859852202356631306251936601500501637679397982400601114568762753\ 6965571715877/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^32 + 1409483510151649830669979367518750666346459329539167902038803318480\ 669692566934197/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^31 - 9863634172699045890722484623205920219676205543832810786623667742664\ 260793536282/113481093151593411301297110784345193025813838669724612\ 141509639561248654337817*c_0110_6^30 - 5296820652005782696845332487518684202470580960245567364364183216842\ 063338674538393/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^29 + 1309236915955435758511151402297150176029617204794249222200015225541\ 234419973767353/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^28 + 1329851935076059055467847693071466268603473911845485202987638686002\ 9854669120555610/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^27 - 5835315177930861389100777130475174598886293707305087287037937083793\ 9465789054188/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^26 - 2171219695149609833260252719309180677170537317742853654552811523025\ 0602034612118905/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^25 - 4470053187690597487038206685563250160960251866240762885520629665968\ 781121631128700/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^24 + 2010891386871226728327339391946303958144926343959805020305696649338\ 4138932339099531/66953844959440112667765295362763663885230164815137\ 52116349068734113670605931203*c_0110_6^23 + 7909621895306711700996352504064166344111801455986078942434366210423\ 087395949505836/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^22 - 6394970853823646979092318466612144066074585261720020023607174679302\ 503961618357925/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^21 - 5119931456010976676433915214941987327997267156196887420479455517994\ 720019881345304/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^20 - 4691477617561100379387667274029635489025305375731504873086551624186\ 172243760153729/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^19 - 6310962578845407798322820598984025427971674423483371886472552461758\ 91821927135986/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^18 + 6163489437651318631083029127960182052930501652689129152429785259016\ 093627356141453/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^17 + 3291961107714480586302046333653457356166044642786940761492225364865\ 585353124137291/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^16 - 4963264249543346843006849966477980112927386355455878253784327791137\ 299869255031946/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^15 - 3144293595185838999097599554340713756314133609063530444218145589521\ 473177701160912/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^14 + 2180516239919089426012141933275454904152030880714263065877359861609\ 183009777459895/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^13 + 1753117134432596392211887584898337821987868082506037628459230221980\ 368586000217867/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^12 + 1041871788693817665845996236763356935482911027424658186436328240722\ 043400320529781/669538449594401126677652953627636638852301648151375\ 2116349068734113670605931203*c_0110_6^11 + 1316512427319248945901759457487927822719931779633060267730770962850\ 23301350878728/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^10 - 9262983660029921283287724129774905189786518689023547287961624732738\ 77432519311988/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^9 - 4542390051534888500508941221189808197622945754000781758413712846766\ 47540894245228/6695384495944011266776529536276366388523016481513752\ 116349068734113670605931203*c_0110_6^8 - 2294728325009921084113345680507027334142272503092879685039104776979\ 564781128092/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203*c_0110_6^7 - 6779149036503697014800163770316329002903536315224199347727373301956\ 492224710564/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203*c_0110_6^6 - 6001030628970201007811223389289324841394785487349571948719490217194\ 2064558860353/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^5 - 8403235336188375164083014861339914096309448883434416246777530112166\ 0894920339792/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^4 - 4772689611322126543662482086158232526287773485839576839109332976429\ 4778511591039/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^3 - 2959904610326070359755360739366680646299690717586300709344889226217\ 4727111019979/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6^2 - 1133992789988766809681232261419672628711772990042587063883359080253\ 3575791837770/66953844959440112667765295362763663885230164815137521\ 16349068734113670605931203*c_0110_6 + 1129679787422943724878942731125364697504659625906157107020905622306\ 862541029666/669538449594401126677652953627636638852301648151375211\ 6349068734113670605931203, c_0110_6^37 - 116/21*c_0110_6^36 - 142/21*c_0110_6^35 + 473/7*c_0110_6^34 + 137/21*c_0110_6^33 - 2329/7*c_0110_6^32 - 159/7*c_0110_6^31 + 20455/21*c_0110_6^30 + 5396/21*c_0110_6^29 - 38012/21*c_0110_6^28 - 16552/21*c_0110_6^27 + 5654/3*c_0110_6^26 + 7639/7*c_0110_6^25 - 14837/21*c_0110_6^24 - 13646/21*c_0110_6^23 - 8318/21*c_0110_6^22 - 545/7*c_0110_6^21 + 11324/21*c_0110_6^20 + 8381/21*c_0110_6^19 - 2930/7*c_0110_6^18 - 2748/7*c_0110_6^17 + 1457/7*c_0110_6^16 + 4705/21*c_0110_6^15 + 2045/21*c_0110_6^14 + 135/7*c_0110_6^13 - 2207/21*c_0110_6^12 - 1324/21*c_0110_6^11 + 40/21*c_0110_6^10 - 5/7*c_0110_6^9 - 116/21*c_0110_6^8 - 7*c_0110_6^7 - 41/7*c_0110_6^6 - 73/21*c_0110_6^5 - 3/7*c_0110_6^4 + 11/21*c_0110_6^3 + 4/21*c_0110_6^2 + 1/7*c_0110_6 - 1/21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB