Magma V2.19-8 Tue Aug 20 2013 16:19:06 on localhost [Seed = 3684320929] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3239 geometric_solution 6.37149974 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396749971184 0.759576045142 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508658049754 0.681132016623 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0.508658049754 0.681132016623 3 1 3 2 2310 0132 3201 2310 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 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.122709226609 1.264783612566 2 6 1 6 2310 0132 0132 2310 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 -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 1.385230275215 0.963203656272 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910579926241 0.754408656991 4 4 6 6 3201 0132 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 0 0 0 1 0 -1 0 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.365731044664 0.398811767601 ==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' : 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' : 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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 1239953752681162013960761221457856662860329873556127676539087666045\ 5676278179654673048/32640838115981291441894914062278877704550455931\ 83682329776276782758199943815692659*c_0110_6^33 - 1039645094864499495144095668945723066888678804788635942282922637216\ 147265651520927264023/163204190579906457209474570311394388522752279\ 65918411648881383913790999719078463295*c_0110_6^32 - 6843347075804482276589463871302429202379085167231594968574183801894\ 28205869540330402496/1632041905799064572094745703113943885227522796\ 5918411648881383913790999719078463295*c_0110_6^31 + 1620106255152333146939390037339424709764815284721918987768855483431\ 7871181804410338470239/16320419057990645720947457031139438852275227\ 965918411648881383913790999719078463295*c_0110_6^30 - 1511539163071745650354729859516021133886702480028851934035337407295\ 7089094567251891404457/16320419057990645720947457031139438852275227\ 965918411648881383913790999719078463295*c_0110_6^29 - 1349860418881962560413514065060155604044822241222166496111709537114\ 9054076658926570718223/32640838115981291441894914062278877704550455\ 93183682329776276782758199943815692659*c_0110_6^28 + 2133716786128136074859149701887232335297734984681704520558713973391\ 16650167287300038194352/1632041905799064572094745703113943885227522\ 7965918411648881383913790999719078463295*c_0110_6^27 - 1226835455976223699371466705205972461526227703608886565824962916884\ 2685819105087119433531/32640838115981291441894914062278877704550455\ 93183682329776276782758199943815692659*c_0110_6^26 - 7734070904969270688224280583776536750762581598044014873857400364668\ 02947011398382807220649/1632041905799064572094745703113943885227522\ 7965918411648881383913790999719078463295*c_0110_6^25 + 1149300608662061626248419844444072759591820191291691798960238128986\ 409757284197216568166047/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^24 + 5306703033878933628131265409147378073365961125749686647518131615728\ 95031171287496810833107/1632041905799064572094745703113943885227522\ 7965918411648881383913790999719078463295*c_0110_6^23 - 3209303403435823210131085032293425591575162788587563839450443364983\ 372990161821555042951484/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^22 + 2923984700821367754014252148729441644678300907919654909270234573164\ 261445630392379708041873/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^21 + 3634061424585356160459876882319029294687970333045224014209663486001\ 726321077746986352358896/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^20 - 8282984133711571422140873051180595516000076339603444913361035427712\ 086042389002857194219981/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^19 - 1164274552811964817770787162842633997577488174105604994550584354969\ 10815144838361211720475/3264083811598129144189491406227887770455045\ 593183682329776276782758199943815692659*c_0110_6^18 + 1005142066167095393188640258622014768466122399002162764228485127069\ 7428921943888124052256911/16320419057990645720947457031139438852275\ 227965918411648881383913790999719078463295*c_0110_6^17 - 2971584875116452373608508590585229363790259049342527865876459335144\ 323709230119332654802787/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^16 - 6942840409014654395593121921775367073359471706819989808867180872998\ 631667560959970697211931/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^15 + 7300678764774682363067513390268554137240495927724348413923948584551\ 39190662045055200593415/3264083811598129144189491406227887770455045\ 593183682329776276782758199943815692659*c_0110_6^14 + 3098289951936255254690495537873449884757835228133137630682358141146\ 113130778964930952820394/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^13 - 2227331437832502264014325099461456550516123899416648736304521358565\ 940272779447584715161901/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^12 - 1041688490901381340447824624852146397342259828485824304367123638195\ 496610384008438687523744/163204190579906457209474570311394388522752\ 27965918411648881383913790999719078463295*c_0110_6^11 + 1730671891224585697280870349976597027615178043870272551627351055922\ 89241074929888476917293/3264083811598129144189491406227887770455045\ 593183682329776276782758199943815692659*c_0110_6^10 + 5957948853828236601059168287664595152739955820091449628756143814977\ 5012287050556826453209/32640838115981291441894914062278877704550455\ 93183682329776276782758199943815692659*c_0110_6^9 - 2359242774145918302808650823790456564359356632311607721497180758805\ 58129078260654195629096/1632041905799064572094745703113943885227522\ 7965918411648881383913790999719078463295*c_0110_6^8 - 6946271073730959712388156258250888964103640257934367107176342452305\ 1760640760599647471842/16320419057990645720947457031139438852275227\ 965918411648881383913790999719078463295*c_0110_6^7 + 4729105100984552546714085223502999059526637786418908592437400457871\ 6698127819592676170106/16320419057990645720947457031139438852275227\ 965918411648881383913790999719078463295*c_0110_6^6 + 2334579553942661745767607752714024604396996629486042792106829378160\ 263083441730701491642/326408381159812914418949140622788777045504559\ 3183682329776276782758199943815692659*c_0110_6^5 - 7001786932693412811123449015380163544944332271412946861495223462864\ 294527299526790537448/163204190579906457209474570311394388522752279\ 65918411648881383913790999719078463295*c_0110_6^4 - 1073248029091387097854358725717893560786381533892782901735999000889\ 235393177524659425382/163204190579906457209474570311394388522752279\ 65918411648881383913790999719078463295*c_0110_6^3 + 6181778321132658042524115113224944193323761597763947558492214756843\ 61495722293734465347/1632041905799064572094745703113943885227522796\ 5918411648881383913790999719078463295*c_0110_6^2 + 3809093030696111570989632691226978335920735753063407059356983248292\ 1322340768610632286/16320419057990645720947457031139438852275227965\ 918411648881383913790999719078463295*c_0110_6 - 2239610531573876752485465428823869174904021907990837202407700798286\ 7332298945440351116/16320419057990645720947457031139438852275227965\ 918411648881383913790999719078463295, c_0011_0 - 1, c_0011_4 - 170657535662894523101345805542000702105591395786021669328539\ 62114484171338875940856/7590892585111928242301142805181134349895454\ 8678690286738983180994376742879434713*c_0110_6^33 - 2855391477882111658513792327230121941915041694076721731523387375947\ 62532637699688303/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^32 - 1769551204533699317994393982434787222851905460511121676229254424933\ 07178210047094135/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^31 + 4478778718258554996896500767051692353889161233826426761872106806735\ 509774409335930963/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^30 - 4317283761216235065659665074596740757749616018783302136816133682430\ 047401462739057738/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^29 - 1860640636198484456742417417937456501258791295957477687122246030808\ 5044653479046882002/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^28 + 5957271737846053039054804178751617842939044396651125357796363084008\ 5087876208210286691/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^27 - 1830731316490038494256454088640971835539232548599188996672124743921\ 7009907057488786206/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^26 - 2145654346696654881063670272985214396043539441063657638687071987044\ 96947401521900178195/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^25 + 3247572143647733172901592993613249229535573744422088554833215769934\ 57536310506047020556/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^24 + 1428562300198392400535433731768947462014373160814219267002715403465\ 61796161440097325973/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^23 - 9005283144758771947352464783663564454859833543783187688022677473034\ 47485933743115555866/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^22 + 8311680189019121441972993012440235433312758933590818399757135048190\ 64521605839262604920/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^21 + 1004030123419031609784205509947722689635406759236361225724183528983\ 941655294879189605637/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^20 - 2346107950574842305525464744507627881374045995147862940448775797171\ 773815730367151210000/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^19 - 1163525203252862528178642796219648416042619482787783094334379176055\ 15785621774165417424/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^18 + 2855722421489474770921017410122883706347062032187600980413588944115\ 971533724421705502522/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^17 - 9061725944418983989830951907736444995317853491413872465097994826539\ 28914981151466551356/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^16 - 1979912773484346131872350084416438580151676121663228866277195878841\ 849238566684070442721/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^15 + 1093892050434363301867801290296470598148909291292376348714507467599\ 354950398981506973656/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^14 + 8831667759787841452827686499350516437525411364804084892147814211674\ 54135922465877012331/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^13 - 6707650742205395584166534257396132469854860401105824462790249716194\ 89556031787447176209/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^12 - 2945893963338604014387881699724697983749915225805403729810736722750\ 85454400728099284178/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^11 + 2643843668210723872389771109021786495304679118316416159886098671380\ 36161949745155057820/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^10 + 8395434418272558635880896618563442974268168134867807285976876087838\ 3961630582491919235/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^9 - 7349319284403537747632960685406084696536749874494088318006421885280\ 8326959420503207034/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^8 - 1985138091593880364693195917119420975014405013648628007226686948256\ 6085168292138830360/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^7 + 1502535622201688071331257345514228547799407666239259518044359388583\ 9295791752580054021/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^6 + 3420673598234334850824780942383875592474331724935634206323981867967\ 177990149201942961/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^5 - 2266100282817310677321173841348532759333047013937934681203788050126\ 135170117081093543/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^4 - 3274296359463055280058764200897798072746382226362202686943467952905\ 25172069827089066/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^3 + 2081641045197794827796598645362153722856859311755285691964045198895\ 63945740503845066/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^2 + 1203826365222855807725194594301230462532694620602044280621485724798\ 6654798058278380/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713*c_0110_6 - 7981769627877243185495001331854864050144437168178004672860917976601\ 525853182363388/759089258511192824230114280518113434989545486786902\ 86738983180994376742879434713, c_0101_0 - 585242855083985188474523450403784274957704725139209483664065\ 55550797156815866260528/7590892585111928242301142805181134349895454\ 8678690286738983180994376742879434713*c_0110_6^33 - 9785174792903258503020164694369724001443331676763939396564954146688\ 19118291430122102/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^32 - 5948891490505564507013693332778114442951352738433337656931953747069\ 88032162708661824/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^31 + 1537233393467803939450348019614323963314982084283091567432435351271\ 9016118961987318893/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^30 - 1498215191692147220659270723755417550750800363067892491431470191225\ 0963703707933834132/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^29 - 6372165787795912241437029786093734153349934253867645874735049689341\ 3406296245569483458/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^28 + 2051116674544597160265091671002911792162337066438023212729753145689\ 80099378628249065399/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^27 - 6480492513656594371329271873804671386730867489203597425590992619159\ 8401942769892653222/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^26 - 7361616378239643224238353285060035953198441906581216864258617538394\ 22962603734032944979/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^25 + 1122455790964879570138030107691512125369642358398613877389644368522\ 479183651875702183276/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^24 + 4810926711137684700752744547189365867701698980377565997023706851134\ 36151200356405814332/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^23 - 3099279474666192449621944877726083835048607497310218272945974194093\ 617846510273646157320/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^22 + 2882355734548669502545434018902278401290456714204596696634189707616\ 057278286607057927949/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^21 + 3426340277974289267294495102712638173786026535180633038558663197356\ 329099525312130554803/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^20 - 8098046992501885931640297638880487845972342835256247887476320214466\ 835629893302651374415/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^19 - 3278570872309084796068261295664107107154403857056288269298904941553\ 94386213816061382987/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^18 + 9838494789769406282815178485282771332404473637578565547710831132439\ 886215038324491169724/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^17 - 3208509227927813520367433660997608084875407595188572911477327457392\ 510096373553764621967/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^16 - 6806792374408219707253420982393008553359142775868672814931847981030\ 137679153643283655271/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^15 + 3833400922313659302725920682365055612264580396795285060084405610205\ 320366034535899282657/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^14 + 3025067092399953864434103021646463397381874854793597542659377109455\ 958458902718251721253/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^13 - 2345605501129275674558493519041357240207110359929580974339369104805\ 500499495547867407126/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^12 - 1003691817721909025197566033235390028659978294975575110555011011081\ 870618862682377663069/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^11 + 9256210081613980635666680028087859319033295874959694613668370355946\ 31162833007417788867/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^10 + 2851976271853730286747459733587633720965809714759721110827016846375\ 47301908228572384972/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^9 - 2581296745571238734724635189010812131777132205479643213646665019325\ 10724034362994622842/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^8 - 6757878811620664327071388919314567921465248806637323794263532649490\ 5467522492594426785/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^7 + 5296361105618088983278140837140208405682974052978882968396349750484\ 8156905458991223390/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^6 + 1169708877832288788128414051679248030027544560819043655202433883750\ 7202338554199941881/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^5 - 8009014165883954117925133919366145422613931001910112307692239124563\ 682238734289009769/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^4 - 1125293229187135544641259601198221867004812977092792353728800695034\ 764667604265159199/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^3 + 7385114553379285103984604130136025376867634829667896883702193019028\ 39341041183364870/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^2 + 4211869153311250142233514950071714332512587083251958659386918065812\ 8383413651834974/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713*c_0110_6 - 2847504946007770957959479516880654735871557677323203651466048429154\ 4090670096054556/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713, c_0101_1 + 713263138703482880231045101292533810240215822011027753363562\ 71643148486137478594920/7590892585111928242301142805181134349895454\ 8678690286738983180994376742879434713*c_0110_6^33 + 1193668741214278225905162543656770487362317060817487317770331944211\ 450682098830686629/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^32 + 7442520867319982111604857863212274063778437378656896095379911036186\ 50074716250991098/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^31 - 1871039852906387026288632554940688660636016916639382211044780078886\ 5986787692384077930/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^30 + 1798152034632639732511293799358354462445490970784645161930157796278\ 5862614177759738290/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^29 + 7774084959280588301061891932293448714940251120548444921119151185546\ 9491894291750152490/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^28 - 2486329993045239013490287253415756987679887655933991291091429859472\ 64554554797066602788/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^27 + 7599387028959375478531127768049389428081212712239565839621560781636\ 5436443113623960835/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^26 + 8959245845951688978437993438309296696441615766540472304302442823722\ 21682949991927454649/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^25 - 1353870323195172448910898138997807242232734553043650314436806708212\ 675203254755164066221/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^24 - 5977627695378429671594411801565340391155833586147299567038496885606\ 00538991956622141933/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^23 + 3755900438680356173324220249522720072077219449078467475591457530187\ 447951135329837984100/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^22 - 3463516914137179088882642271847122990354763362134040147300024978667\ 353268006884998939529/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^21 - 4192367735488131766057507597496456551664227150030716829096098339912\ 087868223389269467489/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^20 + 9776265007991573483340464492493385326934043656870706666563292537374\ 924494725610322542471/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^19 + 5016152516825134047652010243291545794980874524933244001083261423330\ 86641502851420377090/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^18 - 1189321649345566606085978443996458730473079031218664999009151707299\ 7307052888803117806569/75908925851119282423011428051811343498954548\ 678690286738983180994376742879434713*c_0110_6^17 + 3751224044532277651340657129888579840141106262509699617077789299313\ 112006096793404337091/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^16 + 8240561466473385371571373814738543779095728581921227289642157977971\ 600287684098412456851/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^15 - 4532772206649056550076221007927658513447317356760146493885209029669\ 397735918886210462514/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^14 - 3675232583767604545347472207076358354124190182851918214233565243570\ 317976524534781294286/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^13 + 2777158761497633021202638158812948434440795744158046373599289420599\ 148069526777027681199/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^12 + 1226945642998533089413865844079857585668254305425758277573524333321\ 039874496753093432351/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^11 - 1092918280644744891123355077130748525610143718048686614523620632481\ 203181722692807325868/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^10 - 3499059416059549483238275207266781395539945145047059016235170353112\ 82690423273783123879/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^9 + 3032298203853660947579248420732699867310395690822335371009130799040\ 37709757871595424027/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^8 + 8264555055378181046023724482940059864576401081178674355233975836990\ 2705749869935988633/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^7 - 6187365805815509272446795531290453885328173552018470760385013972977\ 6373761480019610722/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^6 - 1420967532200270857301439297097992998161778341525595543226543379157\ 1874307969371327469/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^5 + 9312689074491445184697732378638211353062311727426874463722109454288\ 691745228346534434/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^4 + 1356814023247752280774654068555386829901839009437346830307854730450\ 460729071837925695/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^3 - 8514058324769192827110454707943797650521440209692917687579592683385\ 58441376594426581/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^2 - 5046324100054391505548237308955567540190372999160779591683258551118\ 3345493278660238/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713*c_0110_6 + 3239887440090479690550380066136885492684143720076119530806242290998\ 9256797167782654/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713, c_0101_2 - 564658744401342190302444577824152783022826917558817135050615\ 8111543517032776537624/75908925851119282423011428051811343498954548\ 678690286738983180994376742879434713*c_0110_6^33 - 9517122102725355650952183264561838214316167360765672760691561606656\ 5864377021752939/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713*c_0110_6^32 - 7046867658018579370953354210564174256345110405039717863975946690154\ 5421500674091034/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713*c_0110_6^31 + 1469490632400465816542278042403311761780263007317169324397523184075\ 575634564807197206/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^30 - 1251636189234319646775161581182007097316618450873850850934038268516\ 671078939617003897/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^29 - 6254782881286384818445399398399606397750467097849680614542222686788\ 145357806819338790/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^28 + 1890903552919504895448944538769435198319142046634809578029280123761\ 3329069020939674148/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^27 - 3978269492396576292495202239455153149197221688147677320490224591116\ 505637931727297060/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^26 - 7082676910586150339989084099045183190317473880516827892113642641384\ 6673139136845210402/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^25 + 9875637975611878104178465757420229428069435164873612055994444450227\ 4533703252156192121/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^24 + 5674919159510345573727068877000009555621941122364393883989287320112\ 1293659125541312077/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^23 - 2879602891604252753447120143463264662626990540265186200212577167562\ 07589398994164101019/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^22 + 2424209717055411945621036894945057393953829071721565236256430750917\ 09546580965344949152/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^21 + 3520982755676042936176490763895260701156719547120118741183868424120\ 62860166791013922072/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^20 - 7264038492518095026044167204441705872003968405687454271547352154916\ 64843283003963103247/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^19 - 1132546644464459692678208552877188126201297380843523986447536782970\ 61224132279343461569/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^18 + 9082021235458966742296408944847882980511087229998719908054706573027\ 26297500341966901200/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^17 - 1983820469538175695518935563642519587677539653650492127171838903347\ 67891419127715833153/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^16 - 6496754274002794468817968834656534759798532268161351846088029037932\ 28441049429247429193/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^15 + 2833204322201244709880718287533097463352001975090333949511575386475\ 65618858889367984366/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^14 + 3044237930529525019702382221616866640716408052361260952957417390042\ 60705682794245975353/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^13 - 1810024302619894335970867880863158742286606158640284814609354975953\ 59694531530668646673/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^12 - 1080205821743184187943887418842195895154769552990035831077287111050\ 57956987181260314519/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^11 + 7125685803434878950661198615705632509146020531380251814749718922080\ 9528560541653657211/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^10 + 3191057272708877649574502374267462701483128883084196530779903540844\ 5948344397101252931/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^9 - 1926797749832905972239063183075034585958042731136535146607584803115\ 6512536571091978276/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^8 - 7513421824594089034378392293703797072059209013898601728765134745711\ 719717611607865902/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^7 + 3800724979836111465747342523350229411756615120167474704460741411745\ 452541088128674360/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^6 + 1273656857387842865525713072827170357435523427971361850995918177008\ 538001338791950774/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^5 - 5571051187265392599925379860270936939417998665886640790043146838291\ 98053349793220067/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^4 - 1241997236248254033232604353172589330200900760506716225750856344767\ 74568015903002800/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^3 + 4961430433409701390685404841775677395602597574465642422084367538369\ 3703892827420716/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713*c_0110_6^2 + 4886072016757856084679598145441781368178672731059523846224815983057\ 304882267929624/759089258511192824230114280518113434989545486786902\ 86738983180994376742879434713*c_0110_6 - 1781825365831132095773419899225682105237469546361042118661708099177\ 704525265858674/759089258511192824230114280518113434989545486786902\ 86738983180994376742879434713, c_0101_5 + 206558142517881530416052744160871441826004867893884916510508\ 05203959878859757389464/7590892585111928242301142805181134349895454\ 8678690286738983180994376742879434713*c_0110_6^33 + 3481457050153933479135724112830437949683267579675002030753602122376\ 58818385797568779/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^32 + 2577242461043690453583005483504852862533395657087506630403910645136\ 21768119326532060/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^31 - 5376383880073087135087968057992809650187049282713621008495366190740\ 610859789293116808/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^30 + 4577330557829385405478277707725653852884240784658919231306183030815\ 906469176427956360/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^29 + 2289039463587923464967862465426154153421057579490744925363071594121\ 1395765573550286674/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^28 - 6917132122392809747411881562179084031758774664828297967185158538222\ 3457862885050480965/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^27 + 1451493635277929417803244139551348846111178894254696038560622145556\ 8635524175793047308/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^26 + 2591788620257899461126804994333797388740473466564678851309512844894\ 23769126620283489998/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^25 - 3612293734796590008399922177305791372041145086009273721475332636045\ 82041531160683889489/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^24 - 2079429057235114105897052263943158901390389151000561028317049553120\ 77068461938968506832/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^23 + 1053567489988942135554540131564615224577166834240146785400974534751\ 602563486983227386184/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^22 - 8864628153064626117516102384319343386704231293062406423341558220991\ 29754804956219839003/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^21 - 1288704861950758028899341880684696820297936034838385830660175666730\ 509469941766633647626/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^20 + 2657537137512896318560901196989834155988450845076563122578170253107\ 255460565193632049429/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^19 + 4158662151077753001212197650654570442700040601557669018521217367166\ 79884317781549712339/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^18 - 3322509093878753692331414783138184419530538978795596294909102890564\ 654029315909640654470/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^17 + 7229030718125956632388509566848442395573357308193211287919701545754\ 83712875774754352521/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^16 + 2375753595325470504304052443358445029294448720818246375368407374380\ 950094986942826698278/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^15 - 1032985607760897220931837337366794265573644314269770202666513951733\ 900438039884588824241/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^14 - 1112680800544202529475419876188813788344800948857501036880370613821\ 981634553014530775732/759089258511192824230114280518113434989545486\ 78690286738983180994376742879434713*c_0110_6^13 + 6594738061531809735724554266024857722412545027351436479640569005352\ 95812669623216512745/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^12 + 3949038826667455793865563076700064252450261365872640470494103049887\ 76019160985167634343/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^11 - 2592927216202127436748630239206361239313680914330932454691488702668\ 02151368192345649735/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^10 - 1166532637244825243914319235791692918256561540438548363200765559409\ 57286386247151352243/7590892585111928242301142805181134349895454867\ 8690286738983180994376742879434713*c_0110_6^9 + 6996917989891010157947881336208505715948438483723570115403886288730\ 2049103795316116107/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^8 + 2736683870718149892180297229023916720200253482058733748648822531393\ 9180388782734995185/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^7 - 1378743782611946346435710166091823211837904554618517482989857374058\ 4024483907140514209/75908925851119282423011428051811343498954548678\ 690286738983180994376742879434713*c_0110_6^6 - 4614044913185550696649620480682331455683195685895178430108031604677\ 531372480652945605/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^5 + 2028100835143277348049207920283497619685988463834826774360411070915\ 665653981724661576/759089258511192824230114280518113434989545486786\ 90286738983180994376742879434713*c_0110_6^4 + 4476557310172136315301231216191293289709451662131885675666449628411\ 89532638144026826/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^3 - 1815301276227649522400810130417802085522560404955843161509072176994\ 56354488042619077/7590892585111928242301142805181134349895454867869\ 0286738983180994376742879434713*c_0110_6^2 - 1753121515026166078308415621341526231431148661874664914738157178783\ 0230688521422966/75908925851119282423011428051811343498954548678690\ 286738983180994376742879434713*c_0110_6 + 6789143743194819462872822752139539282765648382909066234387812901468\ 413245965175377/759089258511192824230114280518113434989545486786902\ 86738983180994376742879434713, c_0110_6^34 + 137/8*c_0110_6^33 + 17*c_0110_6^32 - 515/2*c_0110_6^31 + 1205/8*c_0110_6^30 + 9415/8*c_0110_6^29 - 12217/4*c_0110_6^28 - 969/4*c_0110_6^27 + 102731/8*c_0110_6^26 - 56361/4*c_0110_6^25 - 121797/8*c_0110_6^24 + 390103/8*c_0110_6^23 - 229163/8*c_0110_6^22 - 604849/8*c_0110_6^21 + 902451/8*c_0110_6^20 + 458745/8*c_0110_6^19 - 1273025/8*c_0110_6^18 - 20469/2*c_0110_6^17 + 517947/4*c_0110_6^16 - 74739/4*c_0110_6^15 - 285021/4*c_0110_6^14 + 143717/8*c_0110_6^13 + 29763*c_0110_6^12 - 15789/2*c_0110_6^11 - 39367/4*c_0110_6^10 + 16459/8*c_0110_6^9 + 19929/8*c_0110_6^8 - 2815/8*c_0110_6^7 - 3693/8*c_0110_6^6 + 87/2*c_0110_6^5 + 115/2*c_0110_6^4 - 7/2*c_0110_6^3 - 33/8*c_0110_6^2 + 1/8*c_0110_6 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB