Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 4105529551] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0109 geometric_solution 3.63476854 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 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.467240450741 0.035577985694 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.274918377604 0.054137593157 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.885917685902 0.518219066045 2 4 4 2 0132 0132 3201 1023 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.108141110623 0.208696622849 3 3 5 6 2310 0132 0132 0132 0 0 0 0 0 1 0 -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 -1 0 1 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.060999946413 1.978958568205 6 6 6 4 1302 1023 2031 0132 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 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.499966299722 0.505150958927 5 5 4 5 1023 2031 0132 1302 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.499966299722 0.505150958927 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 25865835393134613739819240923033649587316554241532/2146707465188320\ 31563517081179344721802892826219*c_0101_4^26 + 9026919625150838821433597150640853622049474003471/21467074651883203\ 1563517081179344721802892826219*c_0101_4^25 - 1160269829748993850307088979720148274221164408890987/21467074651883\ 2031563517081179344721802892826219*c_0101_4^24 - 3250766787048395497821493019977261095325752876517275/21467074651883\ 2031563517081179344721802892826219*c_0101_4^23 + 14361220303954221418362840248231203090401965646104484/2146707465188\ 32031563517081179344721802892826219*c_0101_4^22 + 41113388265190156736903471278728376341426382980007637/2146707465188\ 32031563517081179344721802892826219*c_0101_4^21 - 80163102010080370298880614700542813277670244667553014/2146707465188\ 32031563517081179344721802892826219*c_0101_4^20 - 229092630560644957903651202083594462467416279585490000/214670746518\ 832031563517081179344721802892826219*c_0101_4^19 + 217121413896750324034415085642902702662345098149304828/214670746518\ 832031563517081179344721802892826219*c_0101_4^18 + 744437930603382474268398201998988837398668326712928372/214670746518\ 832031563517081179344721802892826219*c_0101_4^17 - 204787973903547439612651249900946088024487189715726810/214670746518\ 832031563517081179344721802892826219*c_0101_4^16 - 1561731148839432542945672751536746484530490133220180309/21467074651\ 8832031563517081179344721802892826219*c_0101_4^15 - 351837110132788611122729829108237591181389938761200264/214670746518\ 832031563517081179344721802892826219*c_0101_4^14 + 2206048097472949986888392997347219718347059477902088895/21467074651\ 8832031563517081179344721802892826219*c_0101_4^13 + 1223767378242785398309217875565625927543469939874771508/21467074651\ 8832031563517081179344721802892826219*c_0101_4^12 - 2171277243576940602579478578937053058226630202979309077/21467074651\ 8832031563517081179344721802892826219*c_0101_4^11 - 1491048269870493200912028816993378734785332912049924273/21467074651\ 8832031563517081179344721802892826219*c_0101_4^10 + 1558872375396981420241066103353920375101719572323402732/21467074651\ 8832031563517081179344721802892826219*c_0101_4^9 + 980006702203750018643656400238984444732857558299891342/214670746518\ 832031563517081179344721802892826219*c_0101_4^8 - 799414844851396626640718612611329354690114989219392138/214670746518\ 832031563517081179344721802892826219*c_0101_4^7 - 380941746446733093735207838603648587205455501443241911/214670746518\ 832031563517081179344721802892826219*c_0101_4^6 + 253027499138770778993026347260036511453339833558467115/214670746518\ 832031563517081179344721802892826219*c_0101_4^5 + 83758450864006088697762601005962042380629582211496925/2146707465188\ 32031563517081179344721802892826219*c_0101_4^4 - 41228810554847687293675955365381034381189386504629145/2146707465188\ 32031563517081179344721802892826219*c_0101_4^3 - 8823073173659931762411438362811376846570507594828076/21467074651883\ 2031563517081179344721802892826219*c_0101_4^2 + 2884904640880021615524264817093429956533506739114573/21467074651883\ 2031563517081179344721802892826219*c_0101_4 + 88840797168573834713167506596595115453856567921190/2146707465188320\ 31563517081179344721802892826219, c_0011_0 - 1, c_0011_1 - 70953870888138358324128212547712652859560947258/150269522563\ 1824220944619568255413052620249783533*c_0101_4^26 - 419892944289025936871430179680156734087372989946/150269522563182422\ 0944619568255413052620249783533*c_0101_4^25 + 3502021026124005017364630152859500842049587051955/15026952256318242\ 20944619568255413052620249783533*c_0101_4^24 + 26413313154421450045512894009373147265397340656819/1502695225631824\ 220944619568255413052620249783533*c_0101_4^23 - 10007104219710973519085756517328104410843685946085/1502695225631824\ 220944619568255413052620249783533*c_0101_4^22 - 372405212079841574028197150994863554174239548516516/150269522563182\ 4220944619568255413052620249783533*c_0101_4^21 - 121970358277173669117899327606718601247291580227419/150269522563182\ 4220944619568255413052620249783533*c_0101_4^20 + 2332186015755744525291287509475291881019141638269512/15026952256318\ 24220944619568255413052620249783533*c_0101_4^19 + 1103406436847589742691833130884236327614737035094160/15026952256318\ 24220944619568255413052620249783533*c_0101_4^18 - 7824216395065007727468837414833674528990126611105029/15026952256318\ 24220944619568255413052620249783533*c_0101_4^17 - 5011657275584352523607857016154093473052282468192102/15026952256318\ 24220944619568255413052620249783533*c_0101_4^16 + 15355149403223962892378547802244506302106696269254030/1502695225631\ 824220944619568255413052620249783533*c_0101_4^15 + 14831335226900534991046299984647823008097474760207703/1502695225631\ 824220944619568255413052620249783533*c_0101_4^14 - 2697855335542744166383105986279102866087275394150260/21467074651883\ 2031563517081179344721802892826219*c_0101_4^13 - 28259124909114288228623594753905357926371654964877131/1502695225631\ 824220944619568255413052620249783533*c_0101_4^12 + 16903838414157350781804270887045828713754206969668651/1502695225631\ 824220944619568255413052620249783533*c_0101_4^11 + 33571052684354122713306232663950275447104205564700555/1502695225631\ 824220944619568255413052620249783533*c_0101_4^10 - 14113191711957789401848096173199872179642254681387975/1502695225631\ 824220944619568255413052620249783533*c_0101_4^9 - 24165817387975532659666867284557695632552462008259271/1502695225631\ 824220944619568255413052620249783533*c_0101_4^8 + 10286770960680359188269993469299641492895727424467389/1502695225631\ 824220944619568255413052620249783533*c_0101_4^7 + 9938789259186860122924887875755963180092015128216663/15026952256318\ 24220944619568255413052620249783533*c_0101_4^6 - 4571297684719466380402519907785061056583230340631442/15026952256318\ 24220944619568255413052620249783533*c_0101_4^5 - 2084331943713831980541356421089137834167319676763002/15026952256318\ 24220944619568255413052620249783533*c_0101_4^4 + 947452268064071833737224209146028145771834922190817/150269522563182\ 4220944619568255413052620249783533*c_0101_4^3 + 196711393330217721123710335428189339713703613435315/150269522563182\ 4220944619568255413052620249783533*c_0101_4^2 - 85884072527229874598863945156207090567698593945524/1502695225631824\ 220944619568255413052620249783533*c_0101_4 + 2605437440603773345406645846232458407205223519661/15026952256318242\ 20944619568255413052620249783533, c_0011_5 + 183326437229829001089525374499918363387809507397/15026952256\ 31824220944619568255413052620249783533*c_0101_4^26 + 61440899918084770406244737619997909481174772612/1502695225631824220\ 944619568255413052620249783533*c_0101_4^25 - 8165418123748167577194431163468259170407009958131/15026952256318242\ 20944619568255413052620249783533*c_0101_4^24 - 22949500950848932971693925749044305303371196167466/1502695225631824\ 220944619568255413052620249783533*c_0101_4^23 + 99506443244795030497055122196651063667040978898816/1502695225631824\ 220944619568255413052620249783533*c_0101_4^22 + 284490188117789079815094248685799696223659309166490/150269522563182\ 4220944619568255413052620249783533*c_0101_4^21 - 536665891384602058897617290636208519484876291676801/150269522563182\ 4220944619568255413052620249783533*c_0101_4^20 - 1551161860164573579763391098593243722074735566879610/15026952256318\ 24220944619568255413052620249783533*c_0101_4^19 + 1348463266841101780742911305985423987065189697950265/15026952256318\ 24220944619568255413052620249783533*c_0101_4^18 + 4921906781383784862027497073663623805176248843339954/15026952256318\ 24220944619568255413052620249783533*c_0101_4^17 - 890043938970742569740507780573179767464193559480843/150269522563182\ 4220944619568255413052620249783533*c_0101_4^16 - 9983029637050178726966549709786371908564538489092929/15026952256318\ 24220944619568255413052620249783533*c_0101_4^15 - 3276651575442302279935067488079006385425250650360013/15026952256318\ 24220944619568255413052620249783533*c_0101_4^14 + 1903481681104218858453835006614509138213278340143671/21467074651883\ 2031563517081179344721802892826219*c_0101_4^13 + 8916782558320780086402024534318619503412377747494666/15026952256318\ 24220944619568255413052620249783533*c_0101_4^12 - 11984614649006666795792638988579097481124643315881777/1502695225631\ 824220944619568255413052620249783533*c_0101_4^11 - 9930646577033777576628473756109112913516420519030324/15026952256318\ 24220944619568255413052620249783533*c_0101_4^10 + 7694473910327986690587279327560255491909591458991219/15026952256318\ 24220944619568255413052620249783533*c_0101_4^9 + 6190749270806408042692500200836772446610439303087542/15026952256318\ 24220944619568255413052620249783533*c_0101_4^8 - 3507830171111634967084545326189336350518499263709932/15026952256318\ 24220944619568255413052620249783533*c_0101_4^7 - 2381446725579576117564215524562575324328715796642035/15026952256318\ 24220944619568255413052620249783533*c_0101_4^6 + 941197731067398572973092758795550509381922657678710/150269522563182\ 4220944619568255413052620249783533*c_0101_4^5 + 517074359686773613334286663784644414377342052244174/150269522563182\ 4220944619568255413052620249783533*c_0101_4^4 - 121772269743826037920969968988075906154102118591492/150269522563182\ 4220944619568255413052620249783533*c_0101_4^3 - 46446665328969931607099194680981398651847412796736/1502695225631824\ 220944619568255413052620249783533*c_0101_4^2 + 7418320357845544481566997478553766589074767698724/15026952256318242\ 20944619568255413052620249783533*c_0101_4 + 477674633937316834673639371692718194930452360782/150269522563182422\ 0944619568255413052620249783533, c_0101_0 + 387617403500038588733476668905151426383017148861/15026952256\ 31824220944619568255413052620249783533*c_0101_4^26 + 462057578157332024784176214688272731527863881653/150269522563182422\ 0944619568255413052620249783533*c_0101_4^25 - 17485767345771861836073394130483321413873786017012/1502695225631824\ 220944619568255413052620249783533*c_0101_4^24 - 63207611401000912885260043208580578538293147777673/1502695225631824\ 220944619568255413052620249783533*c_0101_4^23 + 183553806869301514866114210498343954300377152101529/150269522563182\ 4220944619568255413052620249783533*c_0101_4^22 + 813603320132486326528070552913515861402122172055238/150269522563182\ 4220944619568255413052620249783533*c_0101_4^21 - 821135503399616578376179355313929725041809815192634/150269522563182\ 4220944619568255413052620249783533*c_0101_4^20 - 4634031152529810965491857697155916352066108322972072/15026952256318\ 24220944619568255413052620249783533*c_0101_4^19 + 1271370412369716098251635218582115019062454402429336/15026952256318\ 24220944619568255413052620249783533*c_0101_4^18 + 14846738689934992917106684988973004080409234965683673/1502695225631\ 824220944619568255413052620249783533*c_0101_4^17 + 3245124474507915558805708171154303506739611115610132/15026952256318\ 24220944619568255413052620249783533*c_0101_4^16 - 29126878905781179209499552017862343445258037307623542/1502695225631\ 824220944619568255413052620249783533*c_0101_4^15 - 19102613665281978743417341031549919271171803685656737/1502695225631\ 824220944619568255413052620249783533*c_0101_4^14 + 5198415181853439394231110275683650711207354835823332/21467074651883\ 2031563517081179344721802892826219*c_0101_4^13 + 39483204509810839394340404020265034777235399086705116/1502695225631\ 824220944619568255413052620249783533*c_0101_4^12 - 30941469467692758696191388116340915505239494070808973/1502695225631\ 824220944619568255413052620249783533*c_0101_4^11 - 44340087827678472124428468859176000348291633632332081/1502695225631\ 824220944619568255413052620249783533*c_0101_4^10 + 20939510432374873344734482938381902268020916804394802/1502695225631\ 824220944619568255413052620249783533*c_0101_4^9 + 29742107465060131277466993289421273263617201724213448/1502695225631\ 824220944619568255413052620249783533*c_0101_4^8 - 11724435455795219063713373091606579997164941011651533/1502695225631\ 824220944619568255413052620249783533*c_0101_4^7 - 11942728917272806847331097196225000414894773191268536/1502695225631\ 824220944619568255413052620249783533*c_0101_4^6 + 4179282944640432487300844260728430904649781218505085/15026952256318\ 24220944619568255413052620249783533*c_0101_4^5 + 2552786049492434992049086409778533916071323652482823/15026952256318\ 24220944619568255413052620249783533*c_0101_4^4 - 729921613538807240437719551272267333505615254352351/150269522563182\ 4220944619568255413052620249783533*c_0101_4^3 - 242916101313006456479112249646227161250028750103520/150269522563182\ 4220944619568255413052620249783533*c_0101_4^2 + 60052084366437881072188760553184615860657293021640/1502695225631824\ 220944619568255413052620249783533*c_0101_4 + 401692556701757114252850532417212596870858215635/150269522563182422\ 0944619568255413052620249783533, c_0101_2 + 219077260862187586264026688614533368906298952066/15026952256\ 31824220944619568255413052620249783533*c_0101_4^26 + 76763148693077837638997082427190074275671804386/1502695225631824220\ 944619568255413052620249783533*c_0101_4^25 - 9722917790094329515830621374788464277401947536594/15026952256318242\ 20944619568255413052620249783533*c_0101_4^24 - 27539582580334249156670248898731290926851400549495/1502695225631824\ 220944619568255413052620249783533*c_0101_4^23 + 116952297840709242810127669121557775530638289589442/150269522563182\ 4220944619568255413052620249783533*c_0101_4^22 + 336610713300555014523190872285803459340573821163854/150269522563182\ 4220944619568255413052620249783533*c_0101_4^21 - 618715441600795331972155806822291496361565514604888/150269522563182\ 4220944619568255413052620249783533*c_0101_4^20 - 1796542330463708429803068499077159159003984297984650/15026952256318\ 24220944619568255413052620249783533*c_0101_4^19 + 1489098243743827630174773721731042928884508042229859/15026952256318\ 24220944619568255413052620249783533*c_0101_4^18 + 5535169391067829257631815806385774523444755572962728/15026952256318\ 24220944619568255413052620249783533*c_0101_4^17 - 723903237140681130268384686426503082066947651978620/150269522563182\ 4220944619568255413052620249783533*c_0101_4^16 - 10804211147248456416948521841683126067939381574170703/1502695225631\ 824220944619568255413052620249783533*c_0101_4^15 - 4263292573632482407157914897239999428907843999678666/15026952256318\ 24220944619568255413052620249783533*c_0101_4^14 + 1950147108884055946789103973551622900373542734607980/21467074651883\ 2031563517081179344721802892826219*c_0101_4^13 + 10185091670383574803924107195386673731427239784768193/1502695225631\ 824220944619568255413052620249783533*c_0101_4^12 - 11217453234471218508073137891383932980544136809342775/1502695225631\ 824220944619568255413052620249783533*c_0101_4^11 - 10221588344774112505126058092915079833310204045731750/1502695225631\ 824220944619568255413052620249783533*c_0101_4^10 + 6150069712116050124666115773189157749319413827379937/15026952256318\ 24220944619568255413052620249783533*c_0101_4^9 + 5690452874619358685285899374795384248105601136036981/15026952256318\ 24220944619568255413052620249783533*c_0101_4^8 - 2027132494157327897283301456395271908175561600206217/15026952256318\ 24220944619568255413052620249783533*c_0101_4^7 - 2029463197812360335836038751601473015188136456373431/15026952256318\ 24220944619568255413052620249783533*c_0101_4^6 + 147073210825298656605428281592496155015737467972443/150269522563182\ 4220944619568255413052620249783533*c_0101_4^5 + 422358935360717772946971817233130413954683110609668/150269522563182\ 4220944619568255413052620249783533*c_0101_4^4 + 72101272696494297281871181998577153942121335490619/1502695225631824\ 220944619568255413052620249783533*c_0101_4^3 - 33604533898173415227294386363080798958144155796107/1502695225631824\ 220944619568255413052620249783533*c_0101_4^2 - 12937550988505664217466822918101613378846345227051/1502695225631824\ 220944619568255413052620249783533*c_0101_4 + 1452058942083353700061794702140875639634571312192/15026952256318242\ 20944619568255413052620249783533, c_0101_3 + 110927823248240232383863699428725611158830448018/15026952256\ 31824220944619568255413052620249783533*c_0101_4^26 + 195875182967310349763857360998931250344670072898/150269522563182422\ 0944619568255413052620249783533*c_0101_4^25 - 5047425868687915356523821201170906404027260943340/15026952256318242\ 20944619568255413052620249783533*c_0101_4^24 - 20907861344652455164099523316125226348565685488397/1502695225631824\ 220944619568255413052620249783533*c_0101_4^23 + 47446554401904184186629766692856804095881432925220/1502695225631824\ 220944619568255413052620249783533*c_0101_4^22 + 273802618737501260723163543747900636732341518542167/150269522563182\ 4220944619568255413052620249783533*c_0101_4^21 - 175530958531556183438027886898511395966808092965958/150269522563182\ 4220944619568255413052620249783533*c_0101_4^20 - 1590769346657633034988890337339176438926717168267091/15026952256318\ 24220944619568255413052620249783533*c_0101_4^19 + 67337197228662496038667216225275982280820625274285/1502695225631824\ 220944619568255413052620249783533*c_0101_4^18 + 5128785591656429627615507035412135352204831005422408/15026952256318\ 24220944619568255413052620249783533*c_0101_4^17 + 1878898047270376417009567793449796757693559526555724/15026952256318\ 24220944619568255413052620249783533*c_0101_4^16 - 9954553074698160222830114253490631848432576410686191/15026952256318\ 24220944619568255413052620249783533*c_0101_4^15 - 7730966312444105107031294896770013080554994791171615/15026952256318\ 24220944619568255413052620249783533*c_0101_4^14 + 1735735899204597332466417730319662115559626787419694/21467074651883\ 2031563517081179344721802892826219*c_0101_4^13 + 15195996389012976570299101711648732734229813925120495/1502695225631\ 824220944619568255413052620249783533*c_0101_4^12 - 10206630491148332490466395266449165406274301784940329/1502695225631\ 824220944619568255413052620249783533*c_0101_4^11 - 17142111715976618899726313602757765169990118902906543/1502695225631\ 824220944619568255413052620249783533*c_0101_4^10 + 7254875757706597606282647833730277217753939496460820/15026952256318\ 24220944619568255413052620249783533*c_0101_4^9 + 11659474594018213067407997943708755077963507531400354/1502695225631\ 824220944619568255413052620249783533*c_0101_4^8 - 4484466169909437747620297651602394752685278059262166/15026952256318\ 24220944619568255413052620249783533*c_0101_4^7 - 4677065834590341217778823241229575481371141071798269/15026952256318\ 24220944619568255413052620249783533*c_0101_4^6 + 1757851606019182529259871665720772707718354198189536/15026952256318\ 24220944619568255413052620249783533*c_0101_4^5 + 975538901396532973113408772344669822538844563586757/150269522563182\ 4220944619568255413052620249783533*c_0101_4^4 - 334434614470028629261486005110571637737062556729015/150269522563182\ 4220944619568255413052620249783533*c_0101_4^3 - 89980513672107397561614841681844599889906359916263/1502695225631824\ 220944619568255413052620249783533*c_0101_4^2 + 30192667859185804966403054158268161320122298564085/1502695225631824\ 220944619568255413052620249783533*c_0101_4 - 106382848106107023185519999561338928874190377410/150269522563182422\ 0944619568255413052620249783533, c_0101_4^27 - 45*c_0101_4^25 - 110*c_0101_4^24 + 600*c_0101_4^23 + 1397*c_0101_4^22 - 3668*c_0101_4^21 - 7789*c_0101_4^20 + 11579*c_0101_4^19 + 25910*c_0101_4^18 - 18284*c_0101_4^17 - 57797*c_0101_4^16 + 8114*c_0101_4^15 + 90527*c_0101_4^14 + 16682*c_0101_4^13 - 101431*c_0101_4^12 - 27364*c_0101_4^11 + 81579*c_0101_4^10 + 15794*c_0101_4^9 - 44934*c_0101_4^8 - 3094*c_0101_4^7 + 15159*c_0101_4^6 - 565*c_0101_4^5 - 2720*c_0101_4^4 + 304*c_0101_4^3 + 218*c_0101_4^2 - 45*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB