Magma V2.19-8 Tue Aug 20 2013 16:16:43 on localhost [Seed = 829468154] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1006 geometric_solution 4.89148964 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.790958487953 0.087898165319 0 2 0 2 0132 0132 1023 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708461111940 0.207862411580 3 1 4 1 0132 0132 0132 1023 0 0 0 0 0 0 0 0 -1 0 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 1 -1 -1 0 0 1 -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.835511803429 1.023956063097 2 5 4 4 0132 0132 0213 2310 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 1 -1 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.282718483847 0.723698138059 3 3 5 2 3201 0213 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.282718483847 0.723698138059 4 3 6 6 2310 0132 0132 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 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.677721557252 2.662246162969 6 5 6 5 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.476347938747 0.370277706095 ==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' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0011_4'], '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_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 1354315757558796383815299065120236896869996540630978439525016523419\ 95730343473616/1607831791917389670241274015367381327609143464454165\ 17265148491471136243998017*c_0101_5^34 + 2798716269823733028804976694097746448875709777318227510562660162467\ 68906024881404/1607831791917389670241274015367381327609143464454165\ 17265148491471136243998017*c_0101_5^33 - 1097084168320473961609196309159176204277671173578641791322953316183\ 881094785456740/160783179191738967024127401536738132760914346445416\ 517265148491471136243998017*c_0101_5^32 - 2809402298316975554839970174074060663294658312837796835166548591929\ 78184972610411/1607831791917389670241274015367381327609143464454165\ 17265148491471136243998017*c_0101_5^31 - 3208599580682351162958442997773274941728692916236199151069166093196\ 60067731178498/1607831791917389670241274015367381327609143464454165\ 17265148491471136243998017*c_0101_5^30 - 3959333927395460209839073055457904925585489833559812399243991544067\ 444945290460626/160783179191738967024127401536738132760914346445416\ 517265148491471136243998017*c_0101_5^29 + 4482867605490759422179643265688264023247320899539581225980182268061\ 6099771053861672/16078317919173896702412740153673813276091434644541\ 6517265148491471136243998017*c_0101_5^28 - 7544716485029673245245505135007901258355652791011343073366383829539\ 8576008747484001/16078317919173896702412740153673813276091434644541\ 6517265148491471136243998017*c_0101_5^27 - 1550463542057127809108005175670393482167285410279380266886428940048\ 3141549965131771/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^26 + 5154229176213087608635115376993642675801101815856626212261047910768\ 20417708915122484/1607831791917389670241274015367381327609143464454\ 16517265148491471136243998017*c_0101_5^25 - 3145942995997288599585924744075214528889808856441313263084364468655\ 68715037460368975/1607831791917389670241274015367381327609143464454\ 16517265148491471136243998017*c_0101_5^24 - 1186838400100652374040507235863387325512389794426203052266593083518\ 742071303642213978/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^23 + 1739260745567583471413240294540018117676703492388545420121748412009\ 426825849164645628/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^22 + 2096419539834837484957116476897536126373832128230173849553952788021\ 46057930900196570/2296902559881985243201820021953401896584490663505\ 9502466449784495876606285431*c_0101_5^21 - 3785431846437073844548030510983083771325975179014301995117452377963\ 343969499183213087/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^20 - 1412847613094910529406775710522230161827455666323334740742530155414\ 874744030705244865/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^19 + 8936367161531014332888425933755471500647558887018890787903692257377\ 17487545693678414/2296902559881985243201820021953401896584490663505\ 9502466449784495876606285431*c_0101_5^18 + 5806059633986754542674688573901279380019910864387762446327306679431\ 60882113201867051/1607831791917389670241274015367381327609143464454\ 16517265148491471136243998017*c_0101_5^17 - 8264922196699625625192427915641916493600529825289541752724112350285\ 835114605306911259/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^16 + 1631224147869123575643497918418031213865389434238324153973719638801\ 345141580249134106/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^15 + 7705928572286930211948731544535688901200028547093601756665099783327\ 659132879566856850/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^14 - 3512388233144344997361712640473177471899730801013222834125675360523\ 807148153165037311/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^13 - 4817986590142309698198940563375274968571760585215197514612994599729\ 900176313997361627/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^12 + 3433025735291775707654545236683467752928375309438851955988469336340\ 091573705439166818/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^11 + 1816453461133110185616520707819897235487048255368475718638828527518\ 939100839601718056/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^10 - 1967942878904462410734392127649373326311286997966452884306699612956\ 297330194917414840/160783179191738967024127401536738132760914346445\ 416517265148491471136243998017*c_0101_5^9 - 1109799393669781684899278646357504893645099093203129255363701944439\ 01892906547789952/1607831791917389670241274015367381327609143464454\ 16517265148491471136243998017*c_0101_5^8 + 8486580769643649559678979114720322502464919772404099033530425172303\ 0117226222494497/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^7 - 2911004946150705129819090243548456660028945517216147347998679493389\ 5590593910023096/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^6 - 5807582823342191166165464473735811772037060572502648032198674665941\ 1136935452625190/16078317919173896702412740153673813276091434644541\ 6517265148491471136243998017*c_0101_5^5 + 4651268171644903530575994879717222953178888477748422698025497240285\ 1788098318104058/16078317919173896702412740153673813276091434644541\ 6517265148491471136243998017*c_0101_5^4 - 7133120960693512805519933280341999250949944871641516955515864560230\ 616509384127029/160783179191738967024127401536738132760914346445416\ 517265148491471136243998017*c_0101_5^3 - 1892014871526912354613928554260121259599716052769663598432246053546\ 402734435639217/160783179191738967024127401536738132760914346445416\ 517265148491471136243998017*c_0101_5^2 + 9497599989050201594906961156398953800438564075890439496956502094217\ 38916075779401/1607831791917389670241274015367381327609143464454165\ 17265148491471136243998017*c_0101_5 - 9991499102432419729101505664514683050260415407027511450648285845514\ 2048787856338/16078317919173896702412740153673813276091434644541651\ 7265148491471136243998017, c_0011_0 - 1, c_0011_4 + 402460545674849505776213433518370578157459656245213216278975\ 00323635174337684/2296902559881985243201820021953401896584490663505\ 9502466449784495876606285431*c_0101_5^34 + 8839780698397466432430815907363112869340921511343057575146123389547\ 9330997739/22969025598819852432018200219534018965844906635059502466\ 449784495876606285431*c_0101_5^33 - 3128046678043984532378955380609271501980425909987033082318242682690\ 18655729133/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^32 - 1197082631196584045412307047220956577532746936198040198568694641988\ 98852834447/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^31 - 1228823383118886348910677498140149578347879858183281598340628953924\ 47215804120/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^30 - 1202130131396076024797765713945566394659086732957048682602154179297\ 653087825151/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^29 + 1315776511207360320043632911958281346783798247277527960019267700562\ 1233604158921/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^28 - 2076589147774393856408444723305566185305911554029205982024135130667\ 7556597261723/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^27 - 3440343412844146814851600462615136986621432042763366486421909686380\ 2318310543887/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^26 + 1480027215273559148019576356038526149706475505491290305943392603443\ 32771750511863/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^25 - 7602362265782549536254873072031565839880864347469505899145134652224\ 9820592638647/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^24 - 3567524507678266469574797994927322816137201543859884146844703317667\ 61540882718306/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^23 + 4693404818077239161490014006310759327196950824828312913465859301722\ 14144848636488/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^22 + 4809150230290456456112818940654792029158851168378839968858810439373\ 51137756433450/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^21 - 1047534193032800494917341139391426974320228695357027961248278532774\ 468212835796071/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^20 - 5294082863913848993103930729507221289901476730338821012585552366336\ 20287611122750/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^19 + 1753056131219689657686512040244046907308331919392784240101991361366\ 636792224014676/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^18 + 3641283858573017177607486397363310114758649940800728052475845709875\ 88230299380066/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^17 - 2343736015540293055860063436039939877331570208214728546320595132682\ 938711461405193/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^16 + 2188719883137685065811362979105135937326755924493712826873431520416\ 55992461929184/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^15 + 2227486661976492698272802185793437738209934791223113373674733572237\ 488648801429018/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^14 - 7760207620485252850172222512893983711111031397061889884075602912573\ 78265108465223/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^13 - 1440122519400698015412287353104568615271296538917966329347003481712\ 952213629565335/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^12 + 8298025789253845327238715830827688339801849690404849182203330346869\ 40837991953698/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^11 + 5815863993044885538187702173636549393184294738671882934832403106236\ 08402283683360/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^10 - 4941547836905729211526891791531574855629207632500298002720035683075\ 67988784186018/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^9 - 6564166761370518139537031710051997732382708429600933296373780675913\ 5345280793994/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^8 + 1561014856129474057233102021795905831747541273795835340635055827363\ 96070004838411/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^7 - 4740213919407463098087464929072295798819547230400404208501728866616\ 1269274340675/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^6 - 1860857907236185265502641927325276233376832660925219309766791316344\ 5254711972789/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^5 + 1089102850991464575198714544984701392653748735837925356726181079806\ 3198601334178/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^4 - 1737582248162466342722198567757264655896234315941854680262603287634\ 503885444188/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^3 - 6372768079517013488420854950337731202448267560930574423047087650688\ 04408724735/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^2 + 2095665467347755742621851239487733737014298805588464858457953759548\ 84210319820/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5 - 224588298635265030061629510648877\ 28282300722833985356199363311884899312711788/2296902559881985243201\ 8200219534018965844906635059502466449784495876606285431, c_0011_6 + 103501183781274368839319419680198902795681781986456566855545\ 6108372149758068/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^34 + 1642667333133331673804324871792812310801612082129986248692767687123\ 993427259/229690255988198524320182002195340189658449066350595024664\ 49784495876606285431*c_0101_5^33 - 9475607048948555940956568831865711428232959413602264248296013302091\ 048939455/229690255988198524320182002195340189658449066350595024664\ 49784495876606285431*c_0101_5^32 + 1789228971211722851133830712892524943701476074770727435013054828552\ 492684809/229690255988198524320182002195340189658449066350595024664\ 49784495876606285431*c_0101_5^31 - 8623659746426941191276660373368632748120282279380697628988751695650\ 07090452/2296902559881985243201820021953401896584490663505950246644\ 9784495876606285431*c_0101_5^30 - 295062248335537903406200291040668\ 50947700722063605302397011954462222083523375/2296902559881985243201\ 8200219534018965844906635059502466449784495876606285431*c_0101_5^29 + 35788820059075576328225960610183454471349851117411497553615968351\ 0415911498083/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^28 - 7391709326425760873046902888135773203180247029791963818593098177189\ 54515359051/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^27 - 5759990952251146903887810527846845331031768580639779971254152049945\ 54803394201/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^26 + 4393018886402842921689579673982885272088482780343594799989698000998\ 225640577496/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^25 - 4298105320161562082472941387637647968041737704682876367935039662299\ 857948334616/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^24 - 8151392063818365545811580481849838394076047155779255767583177918194\ 953482904258/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^23 + 1803181829799622851631533019277976999976929109610446434576906612857\ 4224080419092/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^22 + 4973264812205835527899148561658418753597516885753625802403508653354\ 284309865344/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^21 - 3527822727235409043800719973969369012192064036398503595533805921623\ 7587845488764/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^20 + 3572710255732191659264836423302712810828808095431362023745751736713\ 710564096956/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^19 + 5416261525429507107999054502738694695355837483323104826755760469847\ 9975396754613/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^18 - 1957920025903181820466079831625796477324350378343269346929262770179\ 2315040856513/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^17 - 6665983321975027279681388078363669829814845030543295157248161581485\ 4797959821080/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^16 + 4483615509757002404547116462842527206095928491582971043534985508239\ 0243478525330/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^15 + 5378284439845788973823362356672474677593122413354035915141490828334\ 2720003076037/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^14 - 5812644873749788960798622225413101607113432230940665913773943741274\ 6158753741084/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^13 - 2308564620108011259753849467995586386901844692996442662305414213417\ 3555500926308/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^12 + 4620310907676315704192032254063275049014337537876316699015706242027\ 4878975387433/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^11 - 6044517092827681292580490048543984641746309609637044702781288968113\ 00489863489/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^10 - 2240127857453074800450383712787776104768566910494833302020646598775\ 4654210322164/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^9 + 7930192232829451816460322220075441252029939897973598492402099003749\ 970495189505/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^8 + 4624089667117262869055238258430699189851881421081199013872158214209\ 837427252710/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^7 - 4418840900794344799605530933881160846288656989768960383505632355392\ 914255294875/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^6 + 7483767728781130986167941042571177888282497974892647395357347965411\ 73672200242/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^5 + 5622144785445892191617977783377866634847880151648612490450313823943\ 86807594405/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^4 - 3594174015683051325555355761303329797749618532248887694998745422767\ 07389029701/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^3 + 8789448065731680565643819845890995311526256858493157005740185386792\ 8471329957/22969025598819852432018200219534018965844906635059502466\ 449784495876606285431*c_0101_5^2 + 2736002386277594768580392818652059204463575613080191858314696448264\ 4242267315/22969025598819852432018200219534018965844906635059502466\ 449784495876606285431*c_0101_5 + 2588642435305405344817003832784805\ 802066422750573573270781164032652487283841/229690255988198524320182\ 00219534018965844906635059502466449784495876606285431, c_0101_0 + 249678146801110062430751728515868581490219976963309168043469\ 741106444388294756/229690255988198524320182002195340189658449066350\ 59502466449784495876606285431*c_0101_5^34 + 5381464284562430205349761536507149161868936195738734339416343013046\ 75153260623/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^33 - 1969330726061507032534866829682289468997429384798002632052303078603\ 684517333963/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^32 - 6801613608692315873104641800514314120124505734619510621546291554827\ 70549329988/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^31 - 6919555224490573684830062422587035952134377092884077671462291617901\ 73086099998/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^30 - 7383395119212133579797591868131267622450448265088741432362929583364\ 692243512565/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^29 + 8196714261628456252888156831645136080789427906061574233177733615347\ 8987132426740/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^28 - 1319721820959533695351484757718630020220197605564775374437394706062\ 55684590916144/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^27 - 2100672168449671495060559828184122038442333410869206574246581268947\ 06881958621235/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^26 + 9290358117131011242458495859953125730039288581651342933705570431948\ 06335425120459/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^25 - 5024122352416608163277179823688281945334853682940581469270821319450\ 63000374386986/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^24 - 2213729742976681394667778254271001151389088540207248445956447410977\ 703242961437213/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^23 + 3002672197690845234667232338788139065648298844827343491799747523186\ 325467636445686/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^22 + 2923784779955256842416806062128742450121536202088928591455250488101\ 650809371214848/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^21 - 6665173200905138631137091274653228956800803044471448976630403689903\ 461797080508018/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^20 - 3123535073058513127845409651870595680786367924874302272342897269543\ 552116520946429/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^19 + 1112984059428899479574022961494854296766093051052541166934103026331\ 3560574538169324/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^18 + 1964636503840995589288716363332975489264619428657045027300694007820\ 912661608740705/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^17 - 1484755899592918748465819886420784923649177113781788914712789890771\ 9705654919402374/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^16 + 1779036447466406881855442513777910431991235880741921985635061221295\ 948883167248426/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^15 + 1407139161767755945775841050771786140500542037555695967759870387430\ 1073844972717273/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^14 - 5255939250464171841645409237876384881718783200985417631921324162523\ 910846763019342/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^13 - 9061546688731154126062950642524317890972465200050462866563188950950\ 458497605022714/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^12 + 5484154493435454335257500973712800035331537921703827110948221928137\ 999111601220972/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^11 + 3636943463063773014277966156326862083497725155964580533777773497695\ 182160613470293/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^10 - 3241676458637430184253461897417925289711692071224836155669243612033\ 484062058989335/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^9 - 4002555023628044488390405827516542362521185351208068852582668014027\ 01301181652778/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^8 + 1017608598950210649782818987802879364096155317402692065944283010813\ 949147910447614/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^7 - 3054487812663541431134927468187699846183540235689012610058916822843\ 52942350445960/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^6 - 1195720211716563242726306441573371054204727859819351128586537093250\ 33160848697833/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^5 + 7358741835641110222211321036170268775296240131577472997684337968348\ 7932288371312/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^4 - 9500411715901052844251514961105702803508592781886858330064997397408\ 232906084845/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^3 - 3799446334655601830026797388137959764285275193006699193657266633968\ 574362291943/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^2 + 1484668539762731037822538587198525214407224940284432816602841486077\ 341653412872/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5 - 1134202090144316697692828888497819254018543629340531752606356023726\ 50330585508/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431, c_0101_1 + 112762401037136831060355226108017920885795667417624764286106\ 1978684075974941396/22969025598819852432018200219534018965844906635\ 059502466449784495876606285431*c_0101_5^34 + 2296595776815143183447690495489557062288317919176140494521206782555\ 470313016435/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^33 - 9202271585056520797144251925294277201702990221695028729318598980554\ 793709992363/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^32 - 2062616928665045975001384073936547424007430094728088958179508287926\ 542188031191/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^31 - 2612968839137715089139541785132470744541448362004330219349529223430\ 817585005279/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^30 - 3288707853531068002585000041567528505754130137681438429281418855535\ 0676506919845/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^29 + 3742084974945127741040148171492206169700886270727824107188361962713\ 60676874570208/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^28 - 6393722262841636228224751782527568017385445510254241216456700700034\ 79531124412800/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^27 - 8843468234335010376062087581597287348826583042611795378474840708099\ 20286877100522/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^26 + 4317474189998621005345409252776021705495645649373652764458395628629\ 119270921922245/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^25 - 2748108705597817715939489286518100824804427260291575246001291044375\ 963844686869682/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^24 - 9798878861225800194176796265838529768578720425928093355627491211480\ 194134765849202/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^23 + 1477208078738611938846970081556984488052385981905749657853879703148\ 6167641890679450/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^22 + 1177971166468883256930578099521374692134512434828695319538870378596\ 7945445011301012/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^21 - 3187224677800762384007117561715330808079976204086059352265941544624\ 2054980812659967/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^20 - 1081481652837789528681223000645990517698430757967009534620509362492\ 5829743145443954/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^19 + 5242195008508331228537946194961599107495762461521155594725341899686\ 1249898953130479/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^18 + 3261941738482188824134924025516249119365406591289994726678455634639\ 255807690310331/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^17 - 6893852763281481215351284839736050900656101102336356348729402642962\ 5610224995387114/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^16 + 1565557320649783256027727375837555724946784573244204613342930388866\ 8217936770593365/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^15 + 6373849359328654097349687943422568609211237181823774968449967741897\ 6541028312539545/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^14 - 3118033734537590904879682732103509405976503696702578010095946027788\ 4214164743056268/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^13 - 3924169026701736540504962577795813470962746465980499154976907182257\ 1494672602377494/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^12 + 2981323538449143954403949194214844445335128147744993411423308290479\ 1482009573066152/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^11 + 1427305026108244430863895378808036714623552220640068177723221808484\ 2923315675693890/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^10 - 1687148816215487988175997884561999083234249750873497583272085431710\ 8610473093189330/22969025598819852432018200219534018965844906635059\ 502466449784495876606285431*c_0101_5^9 - 4335682041443702694211819956104171813587900151327289979445784074548\ 11539993365424/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^8 + 4999893235067180506468798112210951101803227869306145740648931513043\ 452795745370661/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^7 - 1848760859508503898610720443636407666578195882232593182946876704006\ 080401411370144/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^6 - 4439114045213824519293377089280569297825174726375338094764196492515\ 77272923608793/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^5 + 4062564201740609532746609050508877416596112751245695166065444183990\ 68672447367813/2296902559881985243201820021953401896584490663505950\ 2466449784495876606285431*c_0101_5^4 - 7016202113165495976349739294585588587075432142949330710567031413150\ 7765975811406/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^3 - 1530579062760749266964106674253073853550952853691521485177803275353\ 0127693588256/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^2 + 8538867641203999954956896277488801242858547100796350164173918851709\ 591566802844/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5 - 1009065100442308826716317177455377650538618624358736514449152357811\ 305626484033/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431, c_0101_2 - 271679158128714645713473956384465568943169578130027516707611\ 231594185007468/229690255988198524320182002195340189658449066350595\ 02466449784495876606285431*c_0101_5^34 - 4304174667192486386632479315011512677892122111611954307150412284697\ 20858761/2296902559881985243201820021953401896584490663505950246644\ 9784495876606285431*c_0101_5^33 + 228519262493074212881663587105076\ 9089135977884276058824695789418350072164104/22969025598819852432018\ 200219534018965844906635059502466449784495876606285431*c_0101_5^32 - 9822147945652975075251486688362946686112255756517917103045346674254\ 80398940/2296902559881985243201820021953401896584490663505950246644\ 9784495876606285431*c_0101_5^31 + 158875757041107729874591987471201\ 2293498979210353718617376038042985660761177/22969025598819852432018\ 200219534018965844906635059502466449784495876606285431*c_0101_5^30 + 8542001261439817700358905510131279816340479037937664729242504323828\ 084481509/229690255988198524320182002195340189658449066350595024664\ 49784495876606285431*c_0101_5^29 - 9272384641347638372561085157713072349812161664765467308193186028173\ 8110893336/22969025598819852432018200219534018965844906635059502466\ 449784495876606285431*c_0101_5^28 + 2011013009889889975840168813513658661657619189924145377569091376431\ 24305162344/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^27 + 8694252962822513928339835958137027190541068930225283630665090715170\ 0731237934/22969025598819852432018200219534018965844906635059502466\ 449784495876606285431*c_0101_5^26 - 1064678415285112402021250333269146283121446243449957927213199761259\ 248468733363/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^25 + 1309683633375126941169629350409983349272151268255254129199750343850\ 037987348074/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^24 + 1465468323346327264127795031973858370462560791952760125872280854124\ 943019927628/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^23 - 4487309793703934833247086993185287469454316795721251639555090506598\ 221254062634/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^22 + 3879016879520161212005094988562957269570023348650687363927327204024\ 89026473189/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^21 + 7403392976140429891161587548406282921557516427014478464405725871388\ 207410553123/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^20 - 3417427059723777869392132216285210713876457522532094070838953281302\ 477833689842/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^19 - 9985453792670547881067316283816823467707532513164665042003167861369\ 458689750264/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^18 + 8158012676870548113669251844983148438184290180598700023296231700547\ 827771598314/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^17 + 1033978799745853691400511313995999527168729498227427075396579160337\ 3814797840938/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^16 - 1428536783527867591883384838191070970840656386815182183353487181119\ 1364020562643/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^15 - 4536933927764430897817746288520855237231167020584837786834107822315\ 217159195613/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^14 + 1530712109785941629457891443284774508296711180484703943214735347642\ 3638537985384/22969025598819852432018200219534018965844906635059502\ 466449784495876606285431*c_0101_5^13 - 3063329659609332085600506620938116121299695471941082114817139495230\ 495302301668/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^12 - 9553131031756847947958555170753435443266852765267575039771837124503\ 310284000627/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^11 + 6028121130365264279549678123593430454134175507373697031901798535954\ 612255209163/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^10 + 2690526572117616335669540717392212990855267030771543258271633798224\ 203415628542/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^9 - 4239208754320666984361940302799315852906975556086962449127780034054\ 653634764673/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^8 + 7909434005989771236922031627236887922566359330946354520576088534859\ 82048011319/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^7 + 1167876846978416113519442156923722609280214763721794392380783908006\ 380396733851/229690255988198524320182002195340189658449066350595024\ 66449784495876606285431*c_0101_5^6 - 8653336941666541223694572674444635881990757670472059960702367811454\ 41497526166/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^5 + 1468063537864593036507004779387127891163710862684244942802445114345\ 43448301702/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^4 + 1122248944539218539445430564183556438672199873443483345810350334409\ 23554529031/2296902559881985243201820021953401896584490663505950246\ 6449784495876606285431*c_0101_5^3 - 8748053088023898705609642891712983244309218636554342311166019540421\ 9507921805/22969025598819852432018200219534018965844906635059502466\ 449784495876606285431*c_0101_5^2 + 5598900212031349363987250251143298893492982765177727688353189733508\ 7656082437/22969025598819852432018200219534018965844906635059502466\ 449784495876606285431*c_0101_5 + 6931318485563991675018117570435024\ 636773669836465245074919258670725626158363/229690255988198524320182\ 00219534018965844906635059502466449784495876606285431, c_0101_5^35 + 7/4*c_0101_5^34 - 35/4*c_0101_5^33 + 1/2*c_0101_5^32 - 7/4*c_0101_5^31 - 57/2*c_0101_5^30 + 1361/4*c_0101_5^29 - 662*c_0101_5^28 - 1247/2*c_0101_5^27 + 4057*c_0101_5^26 - 14127/4*c_0101_5^25 - 32041/4*c_0101_5^24 + 62429/4*c_0101_5^23 + 26907/4*c_0101_5^22 - 62645/2*c_0101_5^21 - 6105/4*c_0101_5^20 + 197439/4*c_0101_5^19 - 41579/4*c_0101_5^18 - 124329/2*c_0101_5^17 + 31401*c_0101_5^16 + 211167/4*c_0101_5^15 - 87819/2*c_0101_5^14 - 27084*c_0101_5^13 + 146005/4*c_0101_5^12 + 5208*c_0101_5^11 - 37327/2*c_0101_5^10 + 7703/2*c_0101_5^9 + 4579*c_0101_5^8 - 11599/4*c_0101_5^7 + 68*c_0101_5^6 + 945/2*c_0101_5^5 - 653/4*c_0101_5^4 + 4*c_0101_5^3 + 45/4*c_0101_5^2 - 3*c_0101_5 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB