Magma V2.19-8 Tue Aug 20 2013 16:16:11 on localhost [Seed = 1663238055] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0441 geometric_solution 4.48790848 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483612900379 0.056872467141 2 0 2 0 0132 2310 1023 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476823873686 0.182978439354 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -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.636608533483 4.045100168446 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 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 1 0 -1 -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.186601296329 0.430851339230 5 5 3 6 1230 3012 0132 0132 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 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.209931961948 1.269872350372 4 4 6 3 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.209931961948 1.269872350372 5 6 4 6 2310 2310 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 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.188487782123 0.810404354235 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_6, c_0101_0, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 1126206857340476660045013999287650092352620055930004077223594280646\ 7/2343885107916369942573003848353600800802135224874472439315512429*\ c_0101_5^23 - 55919428528748457607511608405090701615754317882069681\ 665146004746121/234388510791636994257300384835360080080213522487447\ 2439315512429*c_0101_5^22 - 699689706359065673554998317342194444883\ 045450067665469401786783955923/234388510791636994257300384835360080\ 0802135224874472439315512429*c_0101_5^21 - 1558383624420511033542854834451401074178184014927505808824861010090\ 015/234388510791636994257300384835360080080213522487447243931551242\ 9*c_0101_5^20 - 883587758967125334355947360910578862318692353832650\ 2896385085613903228/23438851079163699425730038483536008008021352248\ 74472439315512429*c_0101_5^19 + 19860563402246358704096835612165220\ 345270842105415161411524077385660539/234388510791636994257300384835\ 3600800802135224874472439315512429*c_0101_5^18 - 9188611303012002278950291137727777729243617996934814284684632371978\ 0629/23438851079163699425730038483536008008021352248744724393155124\ 29*c_0101_5^17 + 60209339966873059429945851169156394498550946897429\ 97868862684996695175/1019080481702769540249132107979826435131363141\ 24977062578935323*c_0101_5^16 - 88129110688656046091140577493747814\ 252037053604125276624289499560018012/234388510791636994257300384835\ 3600800802135224874472439315512429*c_0101_5^15 + 2253432303161381678858591304851255182531037239455434949620631736423\ 88733/2343885107916369942573003848353600800802135224874472439315512\ 429*c_0101_5^14 - 9083233648568589053116419770791541358458739417980\ 918193932167078123636/234388510791636994257300384835360080080213522\ 4874472439315512429*c_0101_5^13 - 583770491350950912554132336051899\ 178649392706389470362260856938457669978/234388510791636994257300384\ 8353600800802135224874472439315512429*c_0101_5^12 + 8953237075104688202391896346813349462037701008495139309760783031875\ 95792/2343885107916369942573003848353600800802135224874472439315512\ 429*c_0101_5^11 - 8453972541364157323171463905383561975492473187914\ 53616408114136263881323/2343885107916369942573003848353600800802135\ 224874472439315512429*c_0101_5^10 + 3786341632563696420307434406544616709813672937774330455288816608579\ 93247/2343885107916369942573003848353600800802135224874472439315512\ 429*c_0101_5^9 - 76920945714804054810897801010504103680107340835350\ 704655913947086749896/234388510791636994257300384835360080080213522\ 4874472439315512429*c_0101_5^8 - 8144670166499597100038409770770782\ 4531962097813021997409926101076590834/23438851079163699425730038483\ 53600800802135224874472439315512429*c_0101_5^7 + 9422054570116229025813561511735223260832071318461064622715259757761\ 4357/23438851079163699425730038483536008008021352248744724393155124\ 29*c_0101_5^6 + 129994772124441779697117271793581365632331612506554\ 59874861219150918241/2343885107916369942573003848353600800802135224\ 874472439315512429*c_0101_5^5 + 15237159692586317730500127678669113\ 501949526280801998119206205359403782/234388510791636994257300384835\ 3600800802135224874472439315512429*c_0101_5^4 + 5404771810862468087705907978731855620471144013314120252951813793708\ 196/234388510791636994257300384835360080080213522487447243931551242\ 9*c_0101_5^3 - 1371856985699774094772224048414586845601700959585146\ 974573331683348165/234388510791636994257300384835360080080213522487\ 4472439315512429*c_0101_5^2 - 2116036514077126246966175015591374286\ 54429865533499152831254274085198/2343885107916369942573003848353600\ 800802135224874472439315512429*c_0101_5 + 1341467133520291746746888904830979467990263648928840324961568674035\ 3/2343885107916369942573003848353600800802135224874472439315512429, c_0011_0 - 1, c_0011_1 - 339659082523362796701287540277017614020348267569020481051459\ 741/75609197029560320728161414463019380671036620157241046429532659*\ c_0101_5^23 + 17517877916554670117416265838124700486423924204075876\ 10934143343/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^22 + 207821618887255747481359282074455390313277300\ 58555251652040572738/7560919702956032072816141446301938067103662015\ 7241046429532659*c_0101_5^21 + 429248243888607911784965967552672889\ 44400364247781096885371048916/7560919702956032072816141446301938067\ 1036620157241046429532659*c_0101_5^20 + 257205141522196159583855271484051821310837302083818233221387369676/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^19 - 650767396854577123171452680584160558135133315957234041827\ 248740207/756091970295603207281614144630193806710366201572410464295\ 32659*c_0101_5^18 + 28832223471109250928210306269587570188661754307\ 36022253945305427426/7560919702956032072816141446301938067103662015\ 7241046429532659*c_0101_5^17 - 204449848281424398603978981854979654\ 204848744750165443323785159674/328735639258957916209397454187040785\ 5262461745967002018675333*c_0101_5^16 + 3428621181514809595510261549321186892601281738552653274938313587111\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^15 - 72599790440791122363600791900172781649174321257421619968\ 87127185530/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^14 + 155141917001910418974861731217889944121788508\ 0546762145221922189318/75609197029560320728161414463019380671036620\ 157241046429532659*c_0101_5^13 + 1763191737466875815818759911244624\ 8247582875219296887728354493271232/75609197029560320728161414463019\ 380671036620157241046429532659*c_0101_5^12 - 3038574904738938550824275581615617037238558347477730536696476439924\ 2/75609197029560320728161414463019380671036620157241046429532659*c_\ 0101_5^11 + 3048158560713796031060726759567002369332873200730820685\ 5988582199661/75609197029560320728161414463019380671036620157241046\ 429532659*c_0101_5^10 - 1601558940245864505605541928738108115248227\ 2860024556737519782060995/75609197029560320728161414463019380671036\ 620157241046429532659*c_0101_5^9 + 4231714885061655928771447250317612810008142000519890961139742474674\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^8 + 213148170386808725150063758190326924189931164530443710381\ 7566818320/75609197029560320728161414463019380671036620157241046429\ 532659*c_0101_5^7 - 33373418408072611623649020925782934725133359992\ 99030108972630049086/7560919702956032072816141446301938067103662015\ 7241046429532659*c_0101_5^6 + 1255128917311037526959716493814050440\ 21419237156697806577383492827/7560919702956032072816141446301938067\ 1036620157241046429532659*c_0101_5^5 - 352594271166915687527198862820002936805444972884924192337877198378/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^4 - 6889491968840078203204542420736364025500658090796051065942\ 0620662/75609197029560320728161414463019380671036620157241046429532\ 659*c_0101_5^3 + 78769277470770346000896956719854857098787931213899\ 635533067791010/756091970295603207281614144630193806710366201572410\ 46429532659*c_0101_5^2 + 613659906277484169237973164492270912150476\ 457327726951403732178/756091970295603207281614144630193806710366201\ 57241046429532659*c_0101_5 - 20204482448075084615229500772200913237\ 94611760546814264827056544/7560919702956032072816141446301938067103\ 6620157241046429532659, c_0011_4 - 900547369647154194174736409480250201178585823213670864209117\ 28/75609197029560320728161414463019380671036620157241046429532659*c\ _0101_5^23 + 461621371308697928694604211299136543211065161090860761\ 481315802/756091970295603207281614144630193806710366201572410464295\ 32659*c_0101_5^22 + 55238068152591190137854468352611231432386011501\ 10217382525948734/7560919702956032072816141446301938067103662015724\ 1046429532659*c_0101_5^21 + 115585118035041573503870830675330236525\ 98798982402979386386236384/7560919702956032072816141446301938067103\ 6620157241046429532659*c_0101_5^20 + 68603820905429596441270857465552478729965142277675940105029171435/7\ 5609197029560320728161414463019380671036620157241046429532659*c_010\ 1_5^19 - 1702812009337732232161569519676341516393899695828312110736\ 03488685/7560919702956032072816141446301938067103662015724104642953\ 2659*c_0101_5^18 + 759658380357128271228800480534278433903373049030\ 171042332425338369/756091970295603207281614144630193806710366201572\ 41046429532659*c_0101_5^17 - 53227620194358720152424650673176597469\ 230176066100296975195589184/328735639258957916209397454187040785526\ 2461745967002018675333*c_0101_5^16 + 876863520999025140601492321413950814341039613398450180070102669443/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^15 - 190739215351437099717546836384942722682612662864671922748\ 4001786633/75609197029560320728161414463019380671036620157241046429\ 532659*c_0101_5^14 + 3586706647505754506905310896574731418390239587\ 77370962597534879647/7560919702956032072816141446301938067103662015\ 7241046429532659*c_0101_5^13 + 466972444558801482692317709500813360\ 7810703398100155065426360878064/75609197029560320728161414463019380\ 671036620157241046429532659*c_0101_5^12 - 7906370470459080691569362686361006461310407732149167552474749707565\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^11 + 78710740561430283433157625096277289703394190719943362784\ 27091645559/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^10 - 406327611805675603832686972719625507058561433\ 9515229042908459383458/75609197029560320728161414463019380671036620\ 157241046429532659*c_0101_5^9 + 10601198895466755961103346861074509\ 53316733852579439540818709026778/7560919702956032072816141446301938\ 0671036620157241046429532659*c_0101_5^8 + 562885997191708502377962510188984151819398454740388062678496794073/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^7 - 8554857643744071565531414540013048399666348590546763574272\ 45529136/7560919702956032072816141446301938067103662015724104642953\ 2659*c_0101_5^6 + 9137646703484363990106669134653456983619440238711\ 504333566224975/756091970295603207281614144630193806710366201572410\ 46429532659*c_0101_5^5 - 992735286358687768511364949690406601654597\ 97524420049751074144093/7560919702956032072816141446301938067103662\ 0157241046429532659*c_0101_5^4 - 2153141964883499411342043360128962\ 2320901054605573229129333920898/75609197029560320728161414463019380\ 671036620157241046429532659*c_0101_5^3 + 19053714210304435946236374660809740701605192410052703818101170716/7\ 5609197029560320728161414463019380671036620157241046429532659*c_010\ 1_5^2 + 56648306519240533996108285543327232959332543338240835459590\ 1184/75609197029560320728161414463019380671036620157241046429532659\ *c_0101_5 - 4545270405476248675720957829117783003678734847641585381\ 88975792/7560919702956032072816141446301938067103662015724104642953\ 2659, c_0011_6 + 111545301390170353007745614060899253828409105373666967248094\ 008/75609197029560320728161414463019380671036620157241046429532659*\ c_0101_5^23 - 57471367290026346305777599383601330021807188543381177\ 3046815303/75609197029560320728161414463019380671036620157241046429\ 532659*c_0101_5^22 - 6827599400895684284819856655597382533134549059\ 957364775331583954/756091970295603207281614144630193806710366201572\ 41046429532659*c_0101_5^21 - 14133828562470797309312788686723326991\ 650965688400888700301624098/756091970295603207281614144630193806710\ 36620157241046429532659*c_0101_5^20 - 84560789501320224867942972348099191742255593594568587983277442145/7\ 5609197029560320728161414463019380671036620157241046429532659*c_010\ 1_5^19 + 2132315683906119543334781637878096600697820902901088082612\ 85754726/7560919702956032072816141446301938067103662015724104642953\ 2659*c_0101_5^18 - 946004306206321181608703022104467153164905407977\ 046732186774056008/756091970295603207281614144630193806710366201572\ 41046429532659*c_0101_5^17 + 66954580271824931287398948863386455282\ 487616156881352198639024264/328735639258957916209397454187040785526\ 2461745967002018675333*c_0101_5^16 - 1120691858558365354603691620932099631603186742324486091196120868894\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^15 + 23826883162653769806933885338649784213936198175609939231\ 00132439437/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^14 - 500069757681181601717717484880115881941142564\ 533399191906242692617/756091970295603207281614144630193806710366201\ 57241046429532659*c_0101_5^13 - 57860969745022332906405695832877032\ 06300015909083406094272007749782/7560919702956032072816141446301938\ 0671036620157241046429532659*c_0101_5^12 + 9947687237737422858255764775013614474201435460259840641719606100066\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^11 - 99755091315969119271193625483414219109324170265917591366\ 27984164746/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^10 + 523524909078413001518035595725806740849348078\ 8058352763129265213388/75609197029560320728161414463019380671036620\ 157241046429532659*c_0101_5^9 - 13897311313036153890171904373037011\ 00579280518403185913627838872550/7560919702956032072816141446301938\ 0671036620157241046429532659*c_0101_5^8 - 693294759205430642957047928496183944249285130651207237931365353739/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^7 + 1088402472651397494640393293084080478216895288222035464234\ 179780268/756091970295603207281614144630193806710366201572410464295\ 32659*c_0101_5^6 - 372316602559873107130063775534735777078806521536\ 07642515227940466/7560919702956032072816141446301938067103662015724\ 1046429532659*c_0101_5^5 + 1184425013250084582689609839978426740647\ 54245804584056433272671102/7560919702956032072816141446301938067103\ 6620157241046429532659*c_0101_5^4 + 23393765277866470077077585933684587535936870261428595869629902709/7\ 5609197029560320728161414463019380671036620157241046429532659*c_010\ 1_5^3 - 25174358722523119739920820239174462321055376093852790632900\ 145403/756091970295603207281614144630193806710366201572410464295326\ 59*c_0101_5^2 - 289562741925543049581127740209964338844865023902632\ 984196137686/756091970295603207281614144630193806710366201572410464\ 29532659*c_0101_5 + 62715176380161701633689708892323097301585372741\ 1008936119594146/75609197029560320728161414463019380671036620157241\ 046429532659, c_0101_0 + 146105211692344500391223311027845570279144256487279124496631\ 208/75609197029560320728161414463019380671036620157241046429532659*\ c_0101_5^23 - 75334598637286003324170446946334834518311680024393266\ 5775715799/75609197029560320728161414463019380671036620157241046429\ 532659*c_0101_5^22 - 8941672884576740370605739913798996909395113201\ 445927462969961790/756091970295603207281614144630193806710366201572\ 41046429532659*c_0101_5^21 - 18469546387276738617877200951829367240\ 906232446220820004462528861/756091970295603207281614144630193806710\ 36620157241046429532659*c_0101_5^20 - 110589185099887872788186355087869278430752720378372117006697739269/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^19 + 279927964753661522972205294442320439643591564168266714515\ 979229764/756091970295603207281614144630193806710366201572410464295\ 32659*c_0101_5^18 - 12389717151116111255958648491078871245973382446\ 83763563336102560942/7560919702956032072816141446301938067103662015\ 7241046429532659*c_0101_5^17 + 877707507057319755237553215648490518\ 58258294960965948155885027279/3287356392589579162093974541870407855\ 262461745967002018675333*c_0101_5^16 - 1461753245846168521532752852988523653009078207827624483581834023287\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^15 + 31031508207129981920953927328433421392481723195297636112\ 16672505635/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^14 - 648786128349406305133792750435409907247930282\ 062070074529454065734/756091970295603207281614144630193806710366201\ 57241046429532659*c_0101_5^13 - 76130677079371056063026198180724770\ 55467286137556410105514667299253/7560919702956032072816141446301938\ 0671036620157241046429532659*c_0101_5^12 + 1306988450654654610384713983820125499614223566598900874797435723941\ 1/75609197029560320728161414463019380671036620157241046429532659*c_\ 0101_5^11 - 1303494168436067225515490763962955331010272174766522084\ 9363140928739/75609197029560320728161414463019380671036620157241046\ 429532659*c_0101_5^10 + 6758617674603214109567860360229454251256735\ 440728534992110701594197/756091970295603207281614144630193806710366\ 20157241046429532659*c_0101_5^9 - 168908456989845653323747888669170\ 7149386613089038948369907340391719/75609197029560320728161414463019\ 380671036620157241046429532659*c_0101_5^8 - 993176104244356631396589079121458844738607502401070330776606374283/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^7 + 1462072560967740666237158309097383700496792191179576978343\ 264460436/756091970295603207281614144630193806710366201572410464295\ 32659*c_0101_5^6 - 512646267990416340795536522577555442101199402755\ 05144348512925561/7560919702956032072816141446301938067103662015724\ 1046429532659*c_0101_5^5 + 1419445053599921488273817507418881771254\ 64095052290556489511033428/7560919702956032072816141446301938067103\ 6620157241046429532659*c_0101_5^4 + 30481931690711736393943226799407460391229333122141358763449394216/7\ 5609197029560320728161414463019380671036620157241046429532659*c_010\ 1_5^3 - 35223126596503984738178749484469519982683839231508535918124\ 744849/756091970295603207281614144630193806710366201572410464295326\ 59*c_0101_5^2 - 380159388875973062020082059265589204082936024915284\ 919634774385/756091970295603207281614144630193806710366201572410464\ 29532659*c_0101_5 + 96710538055609668016003353115155241684875671194\ 2317719726145885/75609197029560320728161414463019380671036620157241\ 046429532659, c_0101_4 + 104153617201888953340733663554339051205129182760555059720139\ 833/75609197029560320728161414463019380671036620157241046429532659*\ c_0101_5^23 - 53510844939258566144409336060585484154152167046890229\ 5697697802/75609197029560320728161414463019380671036620157241046429\ 532659*c_0101_5^22 - 6382757159306642057919398241261466927198773979\ 812752532484281999/756091970295603207281614144630193806710366201572\ 41046429532659*c_0101_5^21 - 13291572089622227365657199472480557356\ 942402330225251414104632255/756091970295603207281614144630193806710\ 36620157241046429532659*c_0101_5^20 - 79164679376702010582810102390661614901820500087645713822564117194/7\ 5609197029560320728161414463019380671036620157241046429532659*c_010\ 1_5^19 + 1979170904175595888369609837910566715107711634558293770626\ 00884112/7560919702956032072816141446301938067103662015724104642953\ 2659*c_0101_5^18 - 880596308874889343255436608500295949302222000596\ 450426918767802857/756091970295603207281614144630193806710366201572\ 41046429532659*c_0101_5^17 + 61976169856226843513908751120139928069\ 908219949821752043890641610/328735639258957916209397454187040785526\ 2461745967002018675333*c_0101_5^16 - 1027515228433698776787912724775615181773859612510857255289013304793\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^15 + 22129178147249824630834612786516784266954200978241410235\ 61973960578/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^14 - 437449422297174935732262533694033375843323437\ 665786996126543819804/756091970295603207281614144630193806710366201\ 57241046429532659*c_0101_5^13 - 54033358844743480849894516307213808\ 03939545937298939267258257720301/7560919702956032072816141446301938\ 0671036620157241046429532659*c_0101_5^12 + 9207696031244937513238550487474079638258552519108443479057895045332\ /75609197029560320728161414463019380671036620157241046429532659*c_0\ 101_5^11 - 91894947282715607356965205955974798737825570216755484763\ 52045613830/7560919702956032072816141446301938067103662015724104642\ 9532659*c_0101_5^10 + 477297417267384217610067489039447175648039423\ 8766575964614535076254/75609197029560320728161414463019380671036620\ 157241046429532659*c_0101_5^9 - 12507399981352780872524479059119967\ 16529628262350692704265916704524/7560919702956032072816141446301938\ 0671036620157241046429532659*c_0101_5^8 - 648411418822217161906884214058796359338121036362595489038011303501/\ 75609197029560320728161414463019380671036620157241046429532659*c_01\ 01_5^7 + 9963090486569855411262254973957296540154416862040068242476\ 14623650/7560919702956032072816141446301938067103662015724104642953\ 2659*c_0101_5^6 - 1673273156046962564906380627784169226783824687719\ 1746554637659541/75609197029560320728161414463019380671036620157241\ 046429532659*c_0101_5^5 + 11056043269137956799132901851181115084144\ 0731259774057885772302069/75609197029560320728161414463019380671036\ 620157241046429532659*c_0101_5^4 + 23227042161709841186821958364222149023798131089246502141002486099/7\ 5609197029560320728161414463019380671036620157241046429532659*c_010\ 1_5^3 - 22545112206479251660644435329933071316356152084143437891791\ 573172/756091970295603207281614144630193806710366201572410464295326\ 59*c_0101_5^2 - 616960150824151956316889192849968129962538622751523\ 546212857813/756091970295603207281614144630193806710366201572410464\ 29532659*c_0101_5 + 55626662407225535522382028812536238570394636073\ 1220110710214964/75609197029560320728161414463019380671036620157241\ 046429532659, c_0101_5^24 - 5*c_0101_5^23 - 62*c_0101_5^22 - 136*c_0101_5^21 - 777*c_0101_5^20 + 1797*c_0101_5^19 - 8185*c_0101_5^18 + 12503*c_0101_5^17 - 7894*c_0101_5^16 + 19753*c_0101_5^15 - 1180*c_0101_5^14 - 52679*c_0101_5^13 + 81291*c_0101_5^12 - 75527*c_0101_5^11 + 32814*c_0101_5^10 - 4836*c_0101_5^9 - 8331*c_0101_5^8 + 8856*c_0101_5^7 + 1195*c_0101_5^6 + 959*c_0101_5^5 + 364*c_0101_5^4 - 202*c_0101_5^3 - 39*c_0101_5^2 + 6*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB