Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 3751691035] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0451 geometric_solution 4.49183876 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.725372126142 0.080315468066 0 0 2 2 0132 3201 2310 0132 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 1 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 0 0 0 1.832049779147 0.410736014186 3 1 1 3 0132 3201 0132 1023 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 0 1 -1 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 1.184004394239 0.264365605539 2 4 5 2 0132 0132 0132 1023 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 1 -1 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.678537269873 0.559367749699 6 3 5 5 0132 0132 1302 2031 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 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 0 0 0 0.403520002078 0.420792282571 4 4 6 3 2031 1302 0132 0132 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 1 0 -1 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.403520002078 0.420792282571 4 6 6 5 0132 3201 2310 0132 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 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 0 0 0 0.295902910019 1.135464480734 ==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_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_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_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 417460171325664281009857920678913811536684180/653777954211074159482\ 2845844447005430905953*c_0101_6^31 + 131819650858161711687284583273885674433787197/653777954211074159482\ 2845844447005430905953*c_0101_6^30 - 6654068893168609264092143416791936457941092610/65377795421107415948\ 22845844447005430905953*c_0101_6^29 - 1248844786265074731884560516426835455038293443/65377795421107415948\ 22845844447005430905953*c_0101_6^28 + 49533470042453668964959530245672744336188636063/6537779542110741594\ 822845844447005430905953*c_0101_6^27 + 6987575382105954717227868271128083040656663990/65377795421107415948\ 22845844447005430905953*c_0101_6^26 - 235388290555169315929022832254849941896935748046/653777954211074159\ 4822845844447005430905953*c_0101_6^25 - 29475429672966793169154320883451496082585263004/6537779542110741594\ 822845844447005430905953*c_0101_6^24 + 791855622709129975379138899651627173081913666788/653777954211074159\ 4822845844447005430905953*c_0101_6^23 + 91734654106327375763529056661338373346403337780/6537779542110741594\ 822845844447005430905953*c_0101_6^22 - 1993432592093872153560725623854871559887641227427/65377795421107415\ 94822845844447005430905953*c_0101_6^21 - 213223610733761854306108252712478994287639682739/653777954211074159\ 4822845844447005430905953*c_0101_6^20 + 3886265663472761951483627720732832574662442975194/65377795421107415\ 94822845844447005430905953*c_0101_6^19 + 172336166671844872505023358915581051052126326756/653777954211074159\ 4822845844447005430905953*c_0101_6^18 - 5960646020452612670201565716247556657554084559362/65377795421107415\ 94822845844447005430905953*c_0101_6^17 + 924209885331172736648270762530554321959132704651/653777954211074159\ 4822845844447005430905953*c_0101_6^16 + 7292229005818944363119773860430545786030409210316/65377795421107415\ 94822845844447005430905953*c_0101_6^15 - 3647519817973769849376558296341608228239272348687/65377795421107415\ 94822845844447005430905953*c_0101_6^14 - 7281704372617964740025661568274391165157862958571/65377795421107415\ 94822845844447005430905953*c_0101_6^13 + 6222488086513909337413702365156988664991814158981/65377795421107415\ 94822845844447005430905953*c_0101_6^12 + 6003333559485813119560338680719966836183877692556/65377795421107415\ 94822845844447005430905953*c_0101_6^11 - 6080246684347360205319668718884596026537578895405/65377795421107415\ 94822845844447005430905953*c_0101_6^10 - 3894709650458679030853718160875925022761921996395/65377795421107415\ 94822845844447005430905953*c_0101_6^9 + 3596104308808935850816401377401384466540771461389/65377795421107415\ 94822845844447005430905953*c_0101_6^8 + 1736871614771577753830274343887046373892680967252/65377795421107415\ 94822845844447005430905953*c_0101_6^7 - 1281000655363852310271121902659468707696026013097/65377795421107415\ 94822845844447005430905953*c_0101_6^6 - 423831753346938348476854127408148850540100903298/653777954211074159\ 4822845844447005430905953*c_0101_6^5 + 272096072750509643318140789033839987283896302596/653777954211074159\ 4822845844447005430905953*c_0101_6^4 + 43967065034602535466263062271767770790635437139/6537779542110741594\ 822845844447005430905953*c_0101_6^3 - 28782785375460531703873728536324801577390684706/6537779542110741594\ 822845844447005430905953*c_0101_6^2 - 7951691925376095372299327496219148022801681596/65377795421107415948\ 22845844447005430905953*c_0101_6 - 4162709758901300066688959983285428358563718136/65377795421107415948\ 22845844447005430905953, c_0011_0 - 1, c_0011_2 - 1436139046175220448437352135660568739795531/6537779542110741\ 594822845844447005430905953*c_0101_6^31 + 1724309072605339258949124351363254117214626/65377795421107415948228\ 45844447005430905953*c_0101_6^30 + 21735059546564695488376834393089819271774413/6537779542110741594822\ 845844447005430905953*c_0101_6^29 - 29356168908198595408282942360774648034778015/6537779542110741594822\ 845844447005430905953*c_0101_6^28 - 148520046312653633460074499363071023898793438/653777954211074159482\ 2845844447005430905953*c_0101_6^27 + 214426963954312510145580391271665050861793357/653777954211074159482\ 2845844447005430905953*c_0101_6^26 + 645765930810654152792775398660712371323475485/653777954211074159482\ 2845844447005430905953*c_0101_6^25 - 976767068852198462340909887515921210848533768/653777954211074159482\ 2845844447005430905953*c_0101_6^24 - 1974923848271160232967387583106942449301902541/65377795421107415948\ 22845844447005430905953*c_0101_6^23 + 3127820654194332757399587552478563773405804560/65377795421107415948\ 22845844447005430905953*c_0101_6^22 + 4463701052910163588477276444920117947357488460/65377795421107415948\ 22845844447005430905953*c_0101_6^21 - 7456877548540641291015937634561258475953471965/65377795421107415948\ 22845844447005430905953*c_0101_6^20 - 7677174998674758509695416942058325286707769368/65377795421107415948\ 22845844447005430905953*c_0101_6^19 + 14402381729801674397019271635201948117532362994/6537779542110741594\ 822845844447005430905953*c_0101_6^18 + 9005875072060994251445987745017041494526829575/65377795421107415948\ 22845844447005430905953*c_0101_6^17 - 23652425270723605592148947799731906148046360574/6537779542110741594\ 822845844447005430905953*c_0101_6^16 - 3500583279031638751014862524256524447468825794/65377795421107415948\ 22845844447005430905953*c_0101_6^15 + 31045746645609836068953465047111557239942205694/6537779542110741594\ 822845844447005430905953*c_0101_6^14 - 8579189632344151746434429342885616411193271712/65377795421107415948\ 22845844447005430905953*c_0101_6^13 - 29682606399679156642369625151121435131596396620/6537779542110741594\ 822845844447005430905953*c_0101_6^12 + 17004527018035653562907972334905770440757684885/6537779542110741594\ 822845844447005430905953*c_0101_6^11 + 19593634692638812564804901978362579829665270732/6537779542110741594\ 822845844447005430905953*c_0101_6^10 - 14935262388192170082128572682014066884637590780/6537779542110741594\ 822845844447005430905953*c_0101_6^9 - 8459299176079298040852676501344184880190541891/65377795421107415948\ 22845844447005430905953*c_0101_6^8 + 7649910138718585830590695975205742979222746629/65377795421107415948\ 22845844447005430905953*c_0101_6^7 + 1960975563646857923778252882691992325306963090/65377795421107415948\ 22845844447005430905953*c_0101_6^6 - 2283584555549118034091707863689175063372260520/65377795421107415948\ 22845844447005430905953*c_0101_6^5 - 90031166398138328439239117788843747310409901/6537779542110741594822\ 845844447005430905953*c_0101_6^4 + 333145328280281461183064369125770846690330564/653777954211074159482\ 2845844447005430905953*c_0101_6^3 - 1511960136159909589975391692919405516459331/65377795421107415948228\ 45844447005430905953*c_0101_6^2 - 821432048751452925291479125107995\ 7725336690/6537779542110741594822845844447005430905953*c_0101_6 - 3937477205959385897614895141359346166322275/65377795421107415948228\ 45844447005430905953, c_0011_5 - 146675963944209535057003337294059695397105/65377795421107415\ 94822845844447005430905953*c_0101_6^31 + 1847769786254064652513103402236720863527226/65377795421107415948228\ 45844447005430905953*c_0101_6^30 + 2217941144614804423643105719625575314056212/65377795421107415948228\ 45844447005430905953*c_0101_6^29 - 28046382093060555812382922326096508782058720/6537779542110741594822\ 845844447005430905953*c_0101_6^28 - 11772317541215504603842787524107679441835642/6537779542110741594822\ 845844447005430905953*c_0101_6^27 + 195258653770784127906902502872064457724964361/653777954211074159482\ 2845844447005430905953*c_0101_6^26 + 35525014075700316186398952920627181638524575/6537779542110741594822\ 845844447005430905953*c_0101_6^25 - 866294378166503511033623915932815555065876067/653777954211074159482\ 2845844447005430905953*c_0101_6^24 - 60899367272577835919920823065515470974305716/6537779542110741594822\ 845844447005430905953*c_0101_6^23 + 2706214569299756507824491218247690616771145026/65377795421107415948\ 22845844447005430905953*c_0101_6^22 + 9142520868151309970119038738086727479041290/65377795421107415948228\ 45844447005430905953*c_0101_6^21 - 6289798147520803013878478921894117123920648692/65377795421107415948\ 22845844447005430905953*c_0101_6^20 + 262294696029998486867947444225829238205591947/653777954211074159482\ 2845844447005430905953*c_0101_6^19 + 11320096537106363032600546459955992849687319235/6537779542110741594\ 822845844447005430905953*c_0101_6^18 - 1783304020369062093305059259442960497829367868/65377795421107415948\ 22845844447005430905953*c_0101_6^17 - 15794325258208122914281585176446621852017262555/6537779542110741594\ 822845844447005430905953*c_0101_6^16 + 7146412026227451946309790545862769681286083265/65377795421107415948\ 22845844447005430905953*c_0101_6^15 + 16606318120323020705678367775173734819444808669/6537779542110741594\ 822845844447005430905953*c_0101_6^14 - 15279516779596978359121030739461117474998756007/6537779542110741594\ 822845844447005430905953*c_0101_6^13 - 13053114022240767348453762031296498668623549472/6537779542110741594\ 822845844447005430905953*c_0101_6^12 + 18506441843202538833420764408318702106612976607/6537779542110741594\ 822845844447005430905953*c_0101_6^11 + 8039576336852247562157231465101452202754422673/65377795421107415948\ 22845844447005430905953*c_0101_6^10 - 13337230060339277556405428666528043898849104918/6537779542110741594\ 822845844447005430905953*c_0101_6^9 - 3860410516648330456467386310328840929207403567/65377795421107415948\ 22845844447005430905953*c_0101_6^8 + 5709657258745324767223960567926227353352378406/65377795421107415948\ 22845844447005430905953*c_0101_6^7 + 1109352284894446019109806432384839599807342074/65377795421107415948\ 22845844447005430905953*c_0101_6^6 - 1371280199550118129249934649633509302563091874/65377795421107415948\ 22845844447005430905953*c_0101_6^5 - 134589360461626199773930063795071827021130157/653777954211074159482\ 2845844447005430905953*c_0101_6^4 + 195186687321391814633198735891758661763043959/653777954211074159482\ 2845844447005430905953*c_0101_6^3 + 41887758247439965190217103757443749863490100/6537779542110741594822\ 845844447005430905953*c_0101_6^2 - 6098835958099969267470182967413645078591765/65377795421107415948228\ 45844447005430905953*c_0101_6 - 26663860576973111561843540145148375\ 95113732/6537779542110741594822845844447005430905953, c_0101_0 - 3185982961600842509283938150855064191085776/6537779542110741\ 594822845844447005430905953*c_0101_6^31 + 4366369494159683033714252745786692456282382/65377795421107415948228\ 45844447005430905953*c_0101_6^30 + 48035339114930882399878258664362273193672208/6537779542110741594822\ 845844447005430905953*c_0101_6^29 - 72531780703644184427244342389746222945030692/6537779542110741594822\ 845844447005430905953*c_0101_6^28 - 325797830765503322125494023208225494672950489/653777954211074159482\ 2845844447005430905953*c_0101_6^27 + 521333575631899070613829663431220481716836668/653777954211074159482\ 2845844447005430905953*c_0101_6^26 + 1407393401946527770257682113495368925720970995/65377795421107415948\ 22845844447005430905953*c_0101_6^25 - 2344950258444232907501188916325418551543778487/65377795421107415948\ 22845844447005430905953*c_0101_6^24 - 4278566273178765389599201071205015359875348246/65377795421107415948\ 22845844447005430905953*c_0101_6^23 + 7414170974506902340053814240812885789970477766/65377795421107415948\ 22845844447005430905953*c_0101_6^22 + 9612994239240477575272475530212223961472696119/65377795421107415948\ 22845844447005430905953*c_0101_6^21 - 17448403399054873481716737141688094904836611408/6537779542110741594\ 822845844447005430905953*c_0101_6^20 - 16440414629132945696589330322799640172773533583/6537779542110741594\ 822845844447005430905953*c_0101_6^19 + 33193668923398231560037055694904384101474788876/6537779542110741594\ 822845844447005430905953*c_0101_6^18 + 18815409878638958886586151019049278710631172448/6537779542110741594\ 822845844447005430905953*c_0101_6^17 - 53434598505755046051760978848392572943486101878/6537779542110741594\ 822845844447005430905953*c_0101_6^16 - 5570059792116454547670682935211773936523155917/65377795421107415948\ 22845844447005430905953*c_0101_6^15 + 68617695639626136868599827525618204567615874143/6537779542110741594\ 822845844447005430905953*c_0101_6^14 - 21547992335011638141936761649175459698098427981/6537779542110741594\ 822845844447005430905953*c_0101_6^13 - 64471542482001184886849432439506480791867336002/6537779542110741594\ 822845844447005430905953*c_0101_6^12 + 38699038481295839623459356139485707468395552465/6537779542110741594\ 822845844447005430905953*c_0101_6^11 + 42226109275875245401622634607766105217711289047/6537779542110741594\ 822845844447005430905953*c_0101_6^10 - 32311916248284202932773252259352203755786398117/6537779542110741594\ 822845844447005430905953*c_0101_6^9 - 18191290765369783189401984642115736445735767274/6537779542110741594\ 822845844447005430905953*c_0101_6^8 + 15785173907831286532511124772960499906305599657/6537779542110741594\ 822845844447005430905953*c_0101_6^7 + 4213780346124524405652685459117436103554120308/65377795421107415948\ 22845844447005430905953*c_0101_6^6 - 4473798734996743999548783105107131716735643324/65377795421107415948\ 22845844447005430905953*c_0101_6^5 - 270287259646270013123724643928376209094573048/653777954211074159482\ 2845844447005430905953*c_0101_6^4 + 621266816442184907839626510676271630059758276/653777954211074159482\ 2845844447005430905953*c_0101_6^3 + 31036348916550979983017468170712209633453041/6537779542110741594822\ 845844447005430905953*c_0101_6^2 - 15983596489939092904888935661125651747039161/6537779542110741594822\ 845844447005430905953*c_0101_6 - 8471220545349192670993262567082350\ 830446130/6537779542110741594822845844447005430905953, c_0101_1 + 4533238069345436779870129633287435240281104/6537779542110741\ 594822845844447005430905953*c_0101_6^31 - 2861855933411117092212159321251808753384111/65377795421107415948228\ 45844447005430905953*c_0101_6^30 - 69002155490273199694240185583519535371987847/6537779542110741594822\ 845844447005430905953*c_0101_6^29 + 52509480991877217568118498330279666943973120/6537779542110741594822\ 845844447005430905953*c_0101_6^28 + 480369310815694647270001357051373441534937231/653777954211074159482\ 2845844447005430905953*c_0101_6^27 - 388538730830678002955462461275081793276802060/653777954211074159482\ 2845844447005430905953*c_0101_6^26 - 2135650675557478304045129797463303876700341562/65377795421107415948\ 22845844447005430905953*c_0101_6^25 + 1764910236045999409926076606876023613055109794/65377795421107415948\ 22845844447005430905953*c_0101_6^24 + 6702000803920649556760917998068645500912751672/65377795421107415948\ 22845844447005430905953*c_0101_6^23 - 5621067508291273753313910141031514499730839801/65377795421107415948\ 22845844447005430905953*c_0101_6^22 - 15649737104251453261673685472038546979833976949/6537779542110741594\ 822845844447005430905953*c_0101_6^21 + 13329705414022415564445653809406817041917743714/6537779542110741594\ 822845844447005430905953*c_0101_6^20 + 28091841823316547795497972557778928119016591709/6537779542110741594\ 822845844447005430905953*c_0101_6^19 - 26605176471949647437505793014674189747754986347/6537779542110741594\ 822845844447005430905953*c_0101_6^18 - 37038950378249504214601277581209816224794807468/6537779542110741594\ 822845844447005430905953*c_0101_6^17 + 48119622225725513613869677056925024489082177284/6537779542110741594\ 822845844447005430905953*c_0101_6^16 + 30158706142333945966815389406422964471535809752/6537779542110741594\ 822845844447005430905953*c_0101_6^15 - 71101160005398834516159938037451339410967029143/6537779542110741594\ 822845844447005430905953*c_0101_6^14 - 7025996057876976960512251470916660042395815621/65377795421107415948\ 22845844447005430905953*c_0101_6^13 + 75696567537910109390249451904998328012248653881/6537779542110741594\ 822845844447005430905953*c_0101_6^12 - 12591200668427704892987403517079054157253384896/6537779542110741594\ 822845844447005430905953*c_0101_6^11 - 54795299512551385923849082853480862837095819175/6537779542110741594\ 822845844447005430905953*c_0101_6^10 + 15508259837633541778133504988987670114657964338/6537779542110741594\ 822845844447005430905953*c_0101_6^9 + 25672632285190359722769170963494945466024976069/6537779542110741594\ 822845844447005430905953*c_0101_6^8 - 9036585614145529424070272120340490016512300384/65377795421107415948\ 22845844447005430905953*c_0101_6^7 - 6888988512257168332605580672759619674543116042/65377795421107415948\ 22845844447005430905953*c_0101_6^6 + 3098619209190544970839329883468965156766031746/65377795421107415948\ 22845844447005430905953*c_0101_6^5 + 821563456223913463615331491824781510731933768/653777954211074159482\ 2845844447005430905953*c_0101_6^4 - 525273037715604894548274946510771006035565315/653777954211074159482\ 2845844447005430905953*c_0101_6^3 - 33604920822301747728667734197842676816345206/6537779542110741594822\ 845844447005430905953*c_0101_6^2 + 9675250393771984005996897223736135722170628/65377795421107415948228\ 45844447005430905953*c_0101_6 - 71891786714261748341142639893147070\ 2870619/6537779542110741594822845844447005430905953, c_0101_3 - 2111515924563552097119505195322633220527975/6537779542110741\ 594822845844447005430905953*c_0101_6^31 + 2693928336684373447433805618655428088314860/65377795421107415948228\ 45844447005430905953*c_0101_6^30 + 32195267800281086829603157611662170055496904/6537779542110741594822\ 845844447005430905953*c_0101_6^29 - 45052395321483302683640106729091818197814235/6537779542110741594822\ 845844447005430905953*c_0101_6^28 - 221776056568968558153950049833794206352856475/653777954211074159482\ 2845844447005430905953*c_0101_6^27 + 325185044228805450017896114938001091423717142/653777954211074159482\ 2845844447005430905953*c_0101_6^26 + 974523111398085237850785934415857471282073118/653777954211074159482\ 2845844447005430905953*c_0101_6^25 - 1467030729838032171982057255828037385764064930/65377795421107415948\ 22845844447005430905953*c_0101_6^24 - 3022510403336436771483660992173140909399840458/65377795421107415948\ 22845844447005430905953*c_0101_6^23 + 4651302160758331455236799675314247909101920103/65377795421107415948\ 22845844447005430905953*c_0101_6^22 + 6957269669838735015002017536448774541109210665/65377795421107415948\ 22845844447005430905953*c_0101_6^21 - 10980709931526544742485557499006568326830268473/6537779542110741594\ 822845844447005430905953*c_0101_6^20 - 12258659423097777053709132089796389753593206188/6537779542110741594\ 822845844447005430905953*c_0101_6^19 + 21016174900824261475744205575433266105991701952/6537779542110741594\ 822845844447005430905953*c_0101_6^18 + 14993344327909017891515063914295160780582673182/6537779542110741594\ 822845844447005430905953*c_0101_6^17 - 34364960275946227854394616094552183902473426084/6537779542110741594\ 822845844447005430905953*c_0101_6^16 - 7563629748985830308526507734026900004351155911/65377795421107415948\ 22845844447005430905953*c_0101_6^15 + 45511008913458702856279364746288778016473292467/6537779542110741594\ 822845844447005430905953*c_0101_6^14 - 9596516922586152166096861960169248618006023933/65377795421107415948\ 22845844447005430905953*c_0101_6^13 - 44807813067059183897666025185124521752229121245/6537779542110741594\ 822845844447005430905953*c_0101_6^12 + 21523105184977613930115173026409937904071094316/6537779542110741594\ 822845844447005430905953*c_0101_6^11 + 31097388037792263594523314011922531397282481297/6537779542110741594\ 822845844447005430905953*c_0101_6^10 - 18911024311133123090038371337719821720331450937/6537779542110741594\ 822845844447005430905953*c_0101_6^9 - 14218904718668504743296494029103921094719770374/6537779542110741594\ 822845844447005430905953*c_0101_6^8 + 9512886098092791623555228926412467751135563213/65377795421107415948\ 22845844447005430905953*c_0101_6^7 + 3503134613587481832642674034791475495835875465/65377795421107415948\ 22845844447005430905953*c_0101_6^6 - 2846842721265249710561975447428776728458962708/65377795421107415948\ 22845844447005430905953*c_0101_6^5 - 226217040367505891150670283050840995119279391/653777954211074159482\ 2845844447005430905953*c_0101_6^4 + 463826980127719101470030698687016617388034030/653777954211074159482\ 2845844447005430905953*c_0101_6^3 - 5710832169977561919893640051937166601759064/65377795421107415948228\ 45844447005430905953*c_0101_6^2 - 111166060161982801743543992542890\ 04937953487/6537779542110741594822845844447005430905953*c_0101_6 - 1025563233336711831339924347337623880326060/65377795421107415948228\ 45844447005430905953, c_0101_6^32 - 16*c_0101_6^30 + 2*c_0101_6^29 + 119*c_0101_6^28 - 20*c_0101_6^27 - 565*c_0101_6^26 + 102*c_0101_6^25 + 1901*c_0101_6^24 - 354*c_0101_6^23 - 4789*c_0101_6^22 + 915*c_0101_6^21 + 9346*c_0101_6^20 - 2328*c_0101_6^19 - 14199*c_0101_6^18 + 6333*c_0101_6^17 + 16533*c_0101_6^16 - 13602*c_0101_6^15 - 14617*c_0101_6^14 + 19545*c_0101_6^13 + 9971*c_0101_6^12 - 18290*c_0101_6^11 - 5295*c_0101_6^10 + 11085*c_0101_6^9 + 1947*c_0101_6^8 - 4258*c_0101_6^7 - 311*c_0101_6^6 + 1004*c_0101_6^5 - 24*c_0101_6^4 - 137*c_0101_6^3 - 3*c_0101_6^2 + 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB