Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 3137021827] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2377 geometric_solution 5.74553657 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 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 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 -1.475269034183 1.883808345252 0 0 3 2 0132 3201 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.215814285544 0.498616494241 4 5 1 3 0132 0132 0132 1302 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 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.627342686804 0.629820845849 5 4 2 1 2310 2310 2031 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 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.627342686804 0.629820845849 2 4 4 3 0132 1230 3012 3201 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.206129619938 0.797006364755 6 2 3 6 0132 0132 3201 1023 0 0 0 0 0 0 0 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 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.379811958955 0.536806934726 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 0 0 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 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.413099874773 0.679775115160 ==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' : d['c_0011_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_2'], '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' : negation(d['c_0101_4']), '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_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_0011_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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 5277012522386401582048809938707397601440406458422033362477394968216\ 701853/738579574048200367825393594981571237547199548157064553040224\ 8359540549*c_0101_6^34 - 349616949608113254447566058519710337334697\ 33537168492342642487635399832520/7385795740482003678253935949815712\ 375471995481570645530402248359540549*c_0101_6^33 + 1502377869975096485327625005554640288775313963641782470569868742218\ 30615805/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^32 + 1199191443158699577331468802174336548482\ 554965150972214915741518422112755389/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^31 - 1518772725375629134179292507647810248509139154523946321650144497452\ 008331598/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^30 - 169512477416764397445576441157282589929\ 85670883562778580711455975738255578900/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^29 + 3775247647022384077526947637043451380075128425965059638977232989741\ 751018293/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^28 + 130775950375813418934577295971375503350\ 995589899141051114304320145394037529890/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^27 + 4925196018188193434983008446878181305082581458185980736760994378529\ 3087403642/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^26 - 61195501691742380885031674475864871530\ 5191530732046783630617721749445486945022/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^25 - 4997513839375232989786516559937345845789571413830615883344182922320\ 72275297760/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^24 + 1793334785893741043651078143982114307\ 576328700482519700943198965917839696625482/738579574048200367825393\ 5949815712375471995481570645530402248359540549*c_0101_6^23 + 2155564386864493713935265036504166373890856319828893467237520848599\ 163725511546/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^22 - 325292176925325066052572684356202009\ 8275345366399212673093371392153808373750768/73857957404820036782539\ 35949815712375471995481570645530402248359540549*c_0101_6^21 - 5345367731469933126820394029780271255728876650464360737294271876258\ 743750852773/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^20 + 345346436176234273366158948183408880\ 8459148682175004117896149020103426724206756/73857957404820036782539\ 35949815712375471995481570645530402248359540549*c_0101_6^19 + 8372315277452174984473795490326029946813018178420437502783200738813\ 127193107787/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^18 - 163300437431110757994344829852609826\ 2939902457547906922123260471866983049574905/73857957404820036782539\ 35949815712375471995481570645530402248359540549*c_0101_6^17 - 8733453663241033238754691685775117417893414564982025315623171907911\ 829770731645/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^16 - 683958852506081178449133511088271091\ 810582143938066106586171156587078352431490/738579574048200367825393\ 5949815712375471995481570645530402248359540549*c_0101_6^15 + 6281092263983044130922763869734343397432254698441684217705252320072\ 467365477911/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^14 + 164761052219815360758495965282326096\ 3224192587969008433380234847758392920513677/73857957404820036782539\ 35949815712375471995481570645530402248359540549*c_0101_6^13 - 3175467865657509133956098462854128588148456925421494688029832195691\ 257705530655/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^12 - 124094600328143275897722692242507150\ 1892867374935641819250946907472932630623748/73857957404820036782539\ 35949815712375471995481570645530402248359540549*c_0101_6^11 + 1133176221696007168153121711914883227623684379300243223365800868866\ 649959014869/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^10 + 534364694648198247548462360088148965\ 056558150012182982924098179261124054736574/738579574048200367825393\ 5949815712375471995481570645530402248359540549*c_0101_6^9 - 2803321665401602319338283063573334194963230145840276883458828395160\ 77819405155/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^8 - 13972589118759924776429498686031502902\ 0026256392091038771923750367988352106703/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^7 + 4549421262843655921296099876359894136832362555710900310097879512817\ 9960553972/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^6 + 208394960588039025116276039458794340215\ 72297659302302813207835338629550307714/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^5 - 4580791710930526946370990895117400520321549915119773091602621095221\ 191699198/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^4 - 1490485369558779047868124506706944928268\ 732934292911646536140154574429903334/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^3 + 3241251119141833851403953190668468026519851484901848086669792927052\ 29602656/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^2 + 46670845272836973196865187018705893977052\ 957042041945505154750827887911151/738579574048200367825393594981571\ 2375471995481570645530402248359540549*c_0101_6 - 1088393574350197974647648475457134835603616925074731329305939053707\ 8428599/73857957404820036782539359498157123754719954815706455304022\ 48359540549, c_0011_0 - 1, c_0011_2 + 779676819679784162289995769439720790907648421486354660399061\ 30803313459/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^34 + 5190330837455161998461529667249770023\ 16492992101493239715959915447654545/7385795740482003678253935949815\ 712375471995481570645530402248359540549*c_0101_6^33 - 2206044617921630666391461718551701418420374238884278459343316944402\ 314067/738579574048200367825393594981571237547199548157064553040224\ 8359540549*c_0101_6^32 - 178052218151598665517695470317222725885569\ 38528178668475356413500188266752/7385795740482003678253935949815712\ 375471995481570645530402248359540549*c_0101_6^31 + 2196050818398240336490028124031140527833655312672669590286872351438\ 8599976/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^30 + 25174530819259569015573659557780251960236\ 4938311590487148360034203766428829/73857957404820036782539359498157\ 12375471995481570645530402248359540549*c_0101_6^29 - 4883187689189165242225565861515679742027464374148977722062489725726\ 6513774/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^28 - 19422523395694231235186125926364560694220\ 42576952959379513453415712232993977/7385795740482003678253935949815\ 712375471995481570645530402248359540549*c_0101_6^27 - 7838484502808671996697817728341402367213020818879618762891938231431\ 68005985/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^26 + 9083547006823257546308960018251516272347\ 768925733150857983315540941322723625/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^25 + 7670600694923205353979270937861759440327136986940495929878987121308\ 474845725/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^24 - 265770631111002533686029145839571283409\ 09935664994742686729370463617766705168/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^23 - 3282402289602981724882686770381129221846552870413949115757722958181\ 2956571542/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^22 + 48031191026421171552452375001423613947\ 392650479477550269543982811133250241153/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^21 + 8123973442698858734389006731486803673665228369160380779777032292154\ 6403523591/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^20 - 50495996590573363929197557536098022622\ 386155719221188556863311173658251734434/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^19 - 1273480532718972188501308517181382550319211313779057174962835510539\ 10609416804/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^18 + 2278463403937766567464456864649503594\ 7372967759020804359540393652847013066950/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^17 + 1332195115260168194444780046938756295097181620027697930695485837232\ 24422723944/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^16 + 1206112848244924121585489836140152341\ 5896694770837222645820058458259315399115/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^15 - 9629673800534514200675731214420066358949785195556770286466292953341\ 7453280481/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^14 - 26259453987052048644802614079729278350\ 814414533738073056220087764382172867787/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^13 + 4909330815144940692982702534264495080557648597786209928960388210226\ 2776154893/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^12 + 19655430793281378423369191046620791575\ 760300651007934081878764685588128034661/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^11 - 1777407312120043126629044079601079088848528206830665581288736474031\ 8559996788/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^10 - 85332722881866455531269251872244136846\ 31893780618033005968548143097409275279/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^9 + 4515556612240714026346579921526564448656925701282525777164484562952\ 542640725/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^8 + 2271956821009116240189999471490354303828\ 255925026099013718692114670115187605/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^7 - 7715983568493697356585500819507286794583876391915131795851702427632\ 61343374/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^6 - 34958192573367900408626682367021327970594\ 6766165127879530209845694197353804/73857957404820036782539359498157\ 12375471995481570645530402248359540549*c_0101_6^5 + 8502502846088474228657255489217911807124593809329292923281895447609\ 1198802/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^4 + 264301106856513879718334793932035685470682\ 88993901385122102169076879210424/7385795740482003678253935949815712\ 375471995481570645530402248359540549*c_0101_6^3 - 6432840568453583139916130094904002977845449828943927768041070754489\ 576120/738579574048200367825393594981571237547199548157064553040224\ 8359540549*c_0101_6^2 - 8453955952462943830390631206149709916742725\ 39188683663757955227998733705/7385795740482003678253935949815712375\ 471995481570645530402248359540549*c_0101_6 + 2315053012994417129080243520963641138272523649228356109455965021390\ 94625/7385795740482003678253935949815712375471995481570645530402248\ 359540549, c_0101_0 - 198645286513798441340715378217696108725536624763892707968662\ 113686350451/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^34 - 130993938264607403003744117573187367\ 9533826767542608591607964188800028643/73857957404820036782539359498\ 15712375471995481570645530402248359540549*c_0101_6^33 + 5696003506018987993589367509648244463575818032484631201228310109428\ 923880/738579574048200367825393594981571237547199548157064553040224\ 8359540549*c_0101_6^32 + 449665752421226079052690053349279213918355\ 86099641942759459589591774771874/7385795740482003678253935949815712\ 375471995481570645530402248359540549*c_0101_6^31 - 5855874918426036559760589618700243551644718856570367283906453723052\ 1644264/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^30 - 63632494181781441088796586308842564767373\ 9019085482160157474803046405950763/73857957404820036782539359498157\ 12375471995481570645530402248359540549*c_0101_6^29 + 1616497560350768927735365482146495540071053810161724486636188626261\ 29287901/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^28 + 4918306737317974255268068153287348841023\ 079202427425609074670068938288225784/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^27 + 1704014614782214490139765304387297377823523338483907469230929843680\ 585911109/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^26 - 230920343661715687804641477543728304127\ 40500474861486765549924142417502869431/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^25 - 1811523642275943486771181465249357992685835831295626111901011122870\ 5995312020/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^24 + 68079625901178896922783532944922971165\ 507591290662004393097856146458828670729/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^23 + 7912316940021712739326485739992890606796786091480867702996921266167\ 5502967428/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^22 - 12491381592284388138471845937464625201\ 6278222032689863432134044953101498192840/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^21 - 1976378475727942804102370719530332657801572093957607448539453199243\ 19655269267/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^20 + 1360647761939183274076146060937974838\ 17589915657874306090794031220488253596284/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^19 + 3115771142051507131377259267437919556565601082711341720849894797064\ 51160701845/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^18 - 7085545579708796759294707780478310113\ 2574766410909009670910620159229275279512/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^17 - 3274910806120946412029189056578002483371616051637884167347728756688\ 05015117500/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^16 - 1615605189989921347057058721084090156\ 9127040449932350269152643686177867971276/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^15 + 2378840334266246470824659690628873859028790547981785274081019953925\ 09986612686/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^14 + 5536065626844934878074165906457910059\ 3586697073769792302370080188680163551777/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^13 - 1219132316354010982080646682138092645774748321549277825289488239042\ 80219269953/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^12 - 4354783083673773211831181960480005442\ 6683394056108074489315868063382300689445/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^11 + 4433193546291062577382492209414483020253014957850722477356198569568\ 1054595317/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^10 + 19107691851751490208307316108459536984\ 972106157504127123497592191929726224276/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^9 - 1125801672486543586132764627553608814366477731805372741080327936830\ 9824676244/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^8 - 506092624218547347794859834946529356848\ 1058482750043899621492025238813704122/73857957404820036782539359498\ 15712375471995481570645530402248359540549*c_0101_6^7 + 1897640710402670893372447273428327782439860099931056714840028443808\ 453946012/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^6 + 7655334311946537045807568779531946080216\ 39245534143720158765466495146034576/7385795740482003678253935949815\ 712375471995481570645530402248359540549*c_0101_6^5 - 2011202046872938738618953152529559161218879120220861915170810622013\ 65591104/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^4 - 55971772548943763176122548845273941740905\ 751943980944365556780306003195217/738579574048200367825393594981571\ 2375471995481570645530402248359540549*c_0101_6^3 + 1443686042450498783671632104477896357561352903402978415642069526053\ 2327767/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^2 + 173631534955009017522505633254634710168201\ 7942036130754912680064437991181/73857957404820036782539359498157123\ 75471995481570645530402248359540549*c_0101_6 - 4888517012469072395311802674721266860577076406653722693649817004950\ 59079/7385795740482003678253935949815712375471995481570645530402248\ 359540549, c_0101_1 - 135648554149320526356040255098244850584848948035883171342493\ 438837167198/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^34 - 895049180688882450936401677515904615\ 383538854447536510044888240528314894/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^33 + 3885717782468554400689272287544531085245129663180176780621400436587\ 959922/738579574048200367825393594981571237547199548157064553040224\ 8359540549*c_0101_6^32 + 307189039893054774376636436300438841881663\ 05790150865430083991222139555488/7385795740482003678253935949815712\ 375471995481570645530402248359540549*c_0101_6^31 - 3985701359269330506445993924352634911647717285844442361948371148970\ 1905547/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^30 - 43459544639026918708428315888928220901392\ 2422221782276135501333710457414841/73857957404820036782539359498157\ 12375471995481570645530402248359540549*c_0101_6^29 + 1085916269714254255953922473313535612987969543386649569128832702549\ 08144069/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^28 + 3357794981963991010514479363220343087790\ 426932036734624196095519717207424753/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^27 + 1176774188723294593605970029079920616496232594170119454911070132049\ 841986501/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^26 - 157555421848197106906973059272871613891\ 30068288446367556818567746638623953365/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^25 - 1242667313322295930071500882743906532346525467979913864533491429199\ 2825269046/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^24 + 46403531928016243244583112757430721023\ 831498856404852129311486475951681571407/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^23 + 5417098761801103514101162488747613257198061290079040021407469880227\ 1125419566/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^22 - 84993372673605636128909274624714291325\ 743881977995527848785400928645196838464/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^21 - 1351386649410609753774998368369879730111183032753687511810118355457\ 34201274452/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^20 + 9225805040813857013553357112601538461\ 0649395447655624582036303965529231323356/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^19 + 2127974222817291879222462922258467870515094760876219519930340372203\ 27592029051/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^18 - 4750160761743915003549963691530304972\ 1043526622594552466758496950690642708213/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^17 - 2233930272628467519239579913422889671227875553051819189356148897658\ 51669802596/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^16 - 1180534521150125928539224721173862294\ 8805085220268092029719151253005593467357/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^15 + 1620536452308102087746609876509925020935743641893377974921958816798\ 50568758949/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^14 + 3825462687416096397793795450448058386\ 6588544653817827775804270927892416976842/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^13 - 8292894689061878165641168370138733282930083466186456793630185458906\ 2004167114/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^12 - 29914253302834201123518778138790983149\ 286907775450732808762244385721750049478/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^11 + 3010784004813620993233678083868230374435064117491385000612760862035\ 0911795048/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^10 + 13094956618645351856336177043116148844\ 029016987202569272334265117484237311112/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^9 - 7633685060705840646732774805356941257163713710069424127281164744896\ 246048431/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^8 - 3464552274071903923992106882383938800531\ 537139703238694169587528535308324658/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^7 + 1285162656798867149774135527708476690136850517640171670220300976113\ 331681527/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^6 + 5239977161588988312040881754200192924592\ 35336688816693581572283911866195608/7385795740482003678253935949815\ 712375471995481570645530402248359540549*c_0101_6^5 - 1362566432128164278768779205430496793085095099587291395108953593652\ 67922056/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^4 - 38421335309210568347799043572013106650781\ 995640769195896002510019035780029/738579574048200367825393594981571\ 2375471995481570645530402248359540549*c_0101_6^3 + 9813971323583354736549887962486231689798248417582275330042222442395\ 541765/738579574048200367825393594981571237547199548157064553040224\ 8359540549*c_0101_6^2 + 1211404693985254446284092551088797747825869\ 858689897876949642069851719857/738579574048200367825393594981571237\ 5471995481570645530402248359540549*c_0101_6 - 3374696128638059115936047693761856642778473418062074868202040277375\ 95547/7385795740482003678253935949815712375471995481570645530402248\ 359540549, c_0101_3 - 360588942838068716853393948323697547848330688111059743552890\ 510017432430/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^34 - 237996801170904381018892236821999606\ 4923181973817171186254137287767532051/73857957404820036782539359498\ 15712375471995481570645530402248359540549*c_0101_6^33 + 1032639652184963995279345817715784495355136764418294759826654642243\ 1659049/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^32 + 81689616787674174452592329274730162175354\ 629580336917113789078495826232096/738579574048200367825393594981571\ 2375471995481570645530402248359540549*c_0101_6^31 - 1058457735378693192123242093860558791572938793790269308637388197195\ 56590811/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^30 - 1155843006914564902503060802894829945463\ 086320128805357222794991102855504739/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^29 + 2870581288075052023359980270974300231348499412155498895203303175970\ 16987114/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^28 + 8931650298911515598079897686624964077289\ 377937510037604780364278367422553494/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^27 + 3142380080378981913469579514332188289314327130277797296791832006940\ 241862935/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^26 - 419161222901882122055752865758404874535\ 81187133234349625973345384659126402096/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^25 - 3311590070893127814711768809347695739108732032082304914829571553166\ 9346410203/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^24 + 12347502572340246909538354545918865873\ 1049321220098666766324107063058808772597/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^23 + 1443276736249385819990696868116649307584174631670491823317128069920\ 12111471677/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^22 - 2262071718926917681930845144263681039\ 87062832092198529961967604629656332554236/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^21 - 3601153686211149760463400051729040679904853931702218238482112557427\ 11639629428/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^20 + 2455842583759877301048809934908363767\ 10826222446881636731876319948424729842891/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^19 + 5672775738125548585845866638802499707310807234791776369944127071839\ 78058798681/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^18 - 1263904431485845184598230946154436119\ 51043426162481132337187543074461014408008/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^17 - 5958254222240110596194805426496778049823181667606924959810054330182\ 27404681952/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^16 - 3167286237428475172230631797738207585\ 6334811132496724466360779419729307721335/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^15 + 4324776303953279028306125617663941256397906389622156058887395574592\ 89112238515/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^14 + 1022171230397523300353859753974885899\ 73511780948604123335164330099838228179444/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^13 - 2214635348659819849365524360084593409939927310158870567771677064928\ 10436700183/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^12 - 7995760634211940533289512855273771744\ 5399970419316316066199343460748697924949/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^11 + 8046728574418517465551652605652293238110075951519795094102266479877\ 1015247985/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^10 + 35026619744667524882945377868077687263\ 128098265190993485347837313986310186623/738579574048200367825393594\ 9815712375471995481570645530402248359540549*c_0101_6^9 - 2042216133672225239512705885920706105635548764643637763760999081277\ 9620667941/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^8 - 927498011787581662704527548536168550163\ 3819566673046316453005485814450409550/73857957404820036782539359498\ 15712375471995481570645530402248359540549*c_0101_6^7 + 3442291987411080756737723037057271586597111249619126590591493035495\ 191072579/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^6 + 1403856437714213951324992825331406874622\ 286378436909522506914133999788390632/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^5 - 3652784395845461993164599611896715727466781691452409499235258463392\ 31110424/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^4 - 10286233292479413560481524153617123214622\ 4041278535223864731352489272372187/73857957404820036782539359498157\ 12375471995481570645530402248359540549*c_0101_6^3 + 2630830134586483871119529274591001411378031808052095243969919990942\ 3668332/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^2 + 320137397129006695527983219821623410464595\ 5285382578087123850477731197691/73857957404820036782539359498157123\ 75471995481570645530402248359540549*c_0101_6 - 9026082396988950204220173597482190389709909640829803531970920878457\ 96006/7385795740482003678253935949815712375471995481570645530402248\ 359540549, c_0101_4 + 447730401496693711904989813880303841634941238758780215085090\ 454085849666/738579574048200367825393594981571237547199548157064553\ 0402248359540549*c_0101_6^34 + 295089147178820646792652245198256436\ 4453546989539348894083885305830578658/73857957404820036782539359498\ 15712375471995481570645530402248359540549*c_0101_6^33 - 1284912347737169750568827937326622148666748648350510300659453296604\ 5068943/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^32 - 10130549800413060175132874770190994581055\ 6144072960269228527305306021815968/73857957404820036782539359498157\ 12375471995481570645530402248359540549*c_0101_6^31 + 1323611984903094544097087616698771445580701423368650276454500991606\ 92392761/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^30 + 1433773397664222519808495509360962371569\ 902636494076077007798462002420694949/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^29 - 3697254881378720689684945456542267782361971837581483255034682049734\ 34295093/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^28 - 1108454080798931318981999461070835008183\ 3581574154876385019903797882135154765/73857957404820036782539359498\ 15712375471995481570645530402248359540549*c_0101_6^27 - 3798331631695248637869080499929166719456512267261531710063478068326\ 960047902/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^26 + 520652585608660159983491510911375487425\ 04201215758838304270312369176672772532/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^25 + 4062672018466215329251284400094027775619875935685300337453542147750\ 8779612621/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^24 - 15361870691151233439720807357948410859\ 5544980213588687398201310680654111918492/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^23 - 1777196397937867227036592515946301665918153115127927345000105195510\ 82759900284/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^22 + 2823030701975092306145390047871020243\ 12137537264798314863509781521774257273750/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^21 + 4442823954394077948605620024815113899152193429169445748096641916874\ 93100994232/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^20 - 3086229240634032351351410710192772382\ 00535022785279443239503692430822879386276/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^19 - 7009180047198585257694265018043151778517464245772783181727332856573\ 82166416940/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^18 + 1628827613203230732893256420309591558\ 34196775764856591543274649628555438481824/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^17 + 7373624834710387878678469678474758084083928440111057673059245584820\ 33999284112/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^16 + 3293653462450463874835464619385786687\ 2054252355498114865703150760006144993333/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^15 - 5362612511562579899718729529814727025951129905418109990365690063678\ 64662652174/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^14 - 1221514116431004845044394805157751330\ 80479597528445485218832798750407659521884/7385795740482003678253935\ 949815712375471995481570645530402248359540549*c_0101_6^13 + 2753081391169751457079546742116166481410946614194414903517300492024\ 67902217759/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^12 + 9675010417255962823864842814532994158\ 4197305038080223635345774745814425651312/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^11 - 1003542248841925896847565380017624548454901050237803144832183672856\ 75591270958/7385795740482003678253935949815712375471995481570645530\ 402248359540549*c_0101_6^10 - 4253075258205874734855548789209810488\ 0671376596453649714329604078993337040245/73857957404820036782539359\ 49815712375471995481570645530402248359540549*c_0101_6^9 + 2556403223488436738153887956962558161092044697284185527567466002635\ 2845746339/73857957404820036782539359498157123754719954815706455304\ 02248359540549*c_0101_6^8 + 112620083066704570895073937736957253799\ 22805172482507174672707663021312372563/7385795740482003678253935949\ 815712375471995481570645530402248359540549*c_0101_6^7 - 4323600909642312005972290445107111313373641183045101998277541829493\ 634372064/738579574048200367825393594981571237547199548157064553040\ 2248359540549*c_0101_6^6 - 1699885567754909240648957644024513364730\ 331954098000526425862285766808009276/738579574048200367825393594981\ 5712375471995481570645530402248359540549*c_0101_6^5 + 4587893823106435175197655237387871093862633236350116109250771590662\ 15935183/7385795740482003678253935949815712375471995481570645530402\ 248359540549*c_0101_6^4 + 12374262689085823350786233079131767553482\ 1239957174448194485205485224970476/73857957404820036782539359498157\ 12375471995481570645530402248359540549*c_0101_6^3 - 3273940167284482073752108675389681538276628315548509833258189124824\ 5025909/73857957404820036782539359498157123754719954815706455304022\ 48359540549*c_0101_6^2 - 380776205160215836923764002374307029585755\ 9427169993106824181839467487249/73857957404820036782539359498157123\ 75471995481570645530402248359540549*c_0101_6 + 1112876095514936670100245116481979976313978283732952121413383342930\ 039233/738579574048200367825393594981571237547199548157064553040224\ 8359540549, c_0101_6^35 + 7*c_0101_6^34 - 26*c_0101_6^33 - 238*c_0101_6^32 + 203*c_0101_6^31 + 3323*c_0101_6^30 + 485*c_0101_6^29 - 25091*c_0101_6^28 - 18615*c_0101_6^27 + 112784*c_0101_6^26 + 138310*c_0101_6^25 - 305828*c_0101_6^24 - 537199*c_0101_6^23 + 467674*c_0101_6^22 + 1249740*c_0101_6^21 - 282535*c_0101_6^20 - 1846172*c_0101_6^19 - 277458*c_0101_6^18 + 1793645*c_0101_6^17 + 747564*c_0101_6^16 - 1165521*c_0101_6^15 - 762449*c_0101_6^14 + 501840*c_0101_6^13 + 467085*c_0101_6^12 - 135071*c_0101_6^11 - 186309*c_0101_6^10 + 18032*c_0101_6^9 + 48359*c_0101_6^8 + 672*c_0101_6^7 - 7709*c_0101_6^6 - 532*c_0101_6^5 + 690*c_0101_6^4 + 40*c_0101_6^3 - 38*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB