Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 2564359256] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0387 geometric_solution 4.45442899 oriented_manifold CS_known 0.0000000000000002 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 -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.703392923652 0.098981045585 2 0 2 0 0132 2310 1023 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 -1 1 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.902531994192 0.097192394061 1 3 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.901440159209 0.213515777119 4 2 5 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.176710675255 0.433542056877 3 5 5 6 0132 1230 3012 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.130909510956 0.758642352226 6 4 4 3 3201 1230 3012 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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 1.130909510956 0.758642352226 6 6 4 5 1230 3012 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 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.821980680325 0.806808245756 ==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' : negation(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' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), '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_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0011_6']), '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_1']), 'c_0011_4' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_1001_4' : d['c_0011_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : 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_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 4557072846644775307066027678011979919588498132469722813257430589/29\ 1873748755170643232850684175534006871391079042339717383294536*c_010\ 1_4^22 + 4026069357409503031937930846440199853817499448705432342212\ 3181949/58374749751034128646570136835106801374278215808467943476658\ 9072*c_0101_4^21 - 105511043854376699652666713441660893584716936226\ 069561851434797879/291873748755170643232850684175534006871391079042\ 339717383294536*c_0101_4^20 - 1300159242514736146186033698383852229\ 912102511049668133813120433263/583747497510341286465701368351068013\ 742782158084679434766589072*c_0101_4^19 + 2008579931284162991105709945854773545953172603567805698961123710159\ /583747497510341286465701368351068013742782158084679434766589072*c_\ 0101_4^18 + 1183296196492898653458471280484570220592977273999813079\ 9022613084837/29187374875517064323285068417553400687139107904233971\ 7383294536*c_0101_4^17 + 251236180827057355679561441858620700130539\ 408379977499881208621857/307235525005442782350369141237404217759359\ 03057088391303504688*c_0101_4^16 - 2240557401057962687806328441083416568977408796474897743448148016875\ 75/583747497510341286465701368351068013742782158084679434766589072*\ c_0101_4^15 - 18201622446926739399288139330753040057476068405394564\ 8247761661936249/58374749751034128646570136835106801374278215808467\ 9434766589072*c_0101_4^14 + 272467209996721934220686916254109325101\ 514423305359157209592441767381/145936874377585321616425342087767003\ 435695539521169858691647268*c_0101_4^13 + 8812166755511931500095921726966084367548358470982919988275593452940\ 55/583747497510341286465701368351068013742782158084679434766589072*\ c_0101_4^12 - 68259702000048837638657422740109658223748789591248391\ 0207653781352139/14593687437758532161642534208776700343569553952116\ 9858691647268*c_0101_4^11 - 777206961126453416633519775689399572608\ 008160359884118757414352233319/291873748755170643232850684175534006\ 871391079042339717383294536*c_0101_4^10 + 2077297667002823669696696373824480424094819397378958597310525300415\ 57/30723552500544278235036914123740421775935903057088391303504688*c\ _0101_4^9 + 1391751094577639535059422989542695726842230203552405825\ 24329215444211/5306795431912193513324557894100618306752565073497085\ 7706053552*c_0101_4^8 - 2826158968842045628588616838367119200070631\ 036840185992931452652840691/583747497510341286465701368351068013742\ 782158084679434766589072*c_0101_4^7 - 6036683932419760890424001238878946968959897122218870803299333990251\ 65/583747497510341286465701368351068013742782158084679434766589072*\ c_0101_4^6 + 501487054882051758341774613359501630226011318839724742\ 166001161229441/291873748755170643232850684175534006871391079042339\ 717383294536*c_0101_4^5 + 63500080458388037189737867374266361301748\ 3260880465075425826299191/13266988579780483783311394735251545766881\ 412683742714426513388*c_0101_4^4 - 1820960719158546755668535388529177337730876686428934879924897226652\ 23/583747497510341286465701368351068013742782158084679434766589072*\ c_0101_4^3 + 110104879770894883167180516538003409693455341946928923\ 45375003188689/5837474975103412864657013683510680137427821580846794\ 34766589072*c_0101_4^2 + 165182205433549833738261553593845791157828\ 78722007937387908548140803/5837474975103412864657013683510680137427\ 82158084679434766589072*c_0101_4 - 1398036578979932536316366279509212270349781612123537626340105455139\ /583747497510341286465701368351068013742782158084679434766589072, c_0011_0 - 1, c_0011_1 + 28397811692190035004317680980224093811220246222893854924679/\ 6633494289890241891655697367625772883440706341871357213256694*c_010\ 1_4^22 + 6653629329693134519544678480143594839277586252248612631223\ 9/3316747144945120945827848683812886441720353170935678606628347*c_0\ 101_4^21 - 62056879110324656791479032195524112968678497435445848277\ 7217/6633494289890241891655697367625772883440706341871357213256694*\ c_0101_4^20 - 42140167668053453696502306971651061122548519263531224\ 51688425/6633494289890241891655697367625772883440706341871357213256\ 694*c_0101_4^19 + 2547220257990722250062041394147322376055182521963\ 316042025336/331674714494512094582784868381288644172035317093567860\ 6628347*c_0101_4^18 + 749807223559379798823285200924510085469545676\ 78346631363578169/6633494289890241891655697367625772883440706341871\ 357213256694*c_0101_4^17 + 1864912319725126181879759484261994459444\ 375186811130852659699/349131278415275889034510387769777520181089807\ 466913537539826*c_0101_4^16 - 6861177479303480783742024775474557130\ 11499296716839737985869577/6633494289890241891655697367625772883440\ 706341871357213256694*c_0101_4^15 - 377008598979812435060570086898470868148808622440901492532282296/331\ 6747144945120945827848683812886441720353170935678606628347*c_0101_4\ ^14 + 3168486991861901852129808294358283065746624594171743480399737\ 505/6633494289890241891655697367625772883440706341871357213256694*c\ _0101_4^13 + 180348095564215119706459459779960730553317308746117516\ 7270913570/33167471449451209458278486838128864417203531709356786066\ 28347*c_0101_4^12 - 37089436689238755932737291516529130064554372713\ 29373734846687265/3316747144945120945827848683812886441720353170935\ 678606628347*c_0101_4^11 - 6899850252857167330021853722966157727610\ 204472617253078947069715/663349428989024189165569736762577288344070\ 6341871357213256694*c_0101_4^10 + 536861226760839068677953392251402\ 048877683635844436905651218397/349131278415275889034510387769777520\ 181089807466913537539826*c_0101_4^9 + 7732284895576674305257176098879165097270549826056566443737381513/66\ 33494289890241891655697367625772883440706341871357213256694*c_0101_\ 4^8 - 6553265701509173279540340372578720279899438371883650050044918\ 995/6633494289890241891655697367625772883440706341871357213256694*c\ _0101_4^7 - 1946120910024691661312395651474932862854522751347251366\ 571207817/331674714494512094582784868381288644172035317093567860662\ 8347*c_0101_4^6 + 1058696123537160518166971949369037687170641037789\ 352885619802550/331674714494512094582784868381288644172035317093567\ 8606628347*c_0101_4^5 + 7714300005248647675721001974879096427896457\ 82550738946777724667/6633494289890241891655697367625772883440706341\ 871357213256694*c_0101_4^4 - 41866803817834963538260195866255201407\ 5140649818429797260268661/66334942898902418916556973676257728834407\ 06341871357213256694*c_0101_4^3 - 944215874878259521762623111883603\ 32567061298749404210350463659/6633494289890241891655697367625772883\ 440706341871357213256694*c_0101_4^2 + 38535055586208428748317112014111005552238237690860728041893431/6633\ 494289890241891655697367625772883440706341871357213256694*c_0101_4 + 2211590414509646839314709940406573263528043299685543224293673/33167\ 47144945120945827848683812886441720353170935678606628347, c_0011_6 + 40239449009774792481552923366620063826732191524556777189967/\ 26533977159560967566622789470503091533762825367485428853026776*c_01\ 01_4^22 + 481478006838377374356070287497028620906852294333034704215\ 99/6633494289890241891655697367625772883440706341871357213256694*c_\ 0101_4^21 - 8596991982099667319300351741594193174659615370679056537\ 25831/2653397715956096756662278947050309153376282536748542885302677\ 6*c_0101_4^20 - 605389873123329246039495032194457713186225003234376\ 8701983075/26533977159560967566622789470503091533762825367485428853\ 026776*c_0101_4^19 + 8259691202061132685508933096978305084222226085\ 67284345495700/3316747144945120945827848683812886441720353170935678\ 606628347*c_0101_4^18 + 1068002463283405012009197738753623266725024\ 61782020568761344319/2653397715956096756662278947050309153376282536\ 7485428853026776*c_0101_4^17 + 320233125109894103762906436207358176\ 2889413103692208297682875/13965251136611035561380415510791100807243\ 59229867654150159304*c_0101_4^16 - 964284316284205832149654580522837124549009844828505351086914503/265\ 33977159560967566622789470503091533762825367485428853026776*c_0101_\ 4^15 - 580820588350724681258201030004965189011803872513691670957126\ 947/13266988579780483783311394735251545766881412683742714426513388*\ c_0101_4^14 + 43554990147026354521188832407402433163519188285291059\ 30492553405/2653397715956096756662278947050309153376282536748542885\ 3026776*c_0101_4^13 + 137593966744031893200668216016115330528608080\ 8631107993983682985/66334942898902418916556973676257728834407063418\ 71357213256694*c_0101_4^12 - 12316150009159641701054985375312390813\ 69011509412716976932778408/3316747144945120945827848683812886441720\ 353170935678606628347*c_0101_4^11 - 10530595838950011857270187710077603015490541101692693426895213117/2\ 6533977159560967566622789470503091533762825367485428853026776*c_010\ 1_4^10 + 6827546180942795119335903945344057079267531343598242658066\ 02371/1396525113661103556138041551079110080724359229867654150159304\ *c_0101_4^9 + 11772398345124632161986415811828894996692633333074614\ 129071279357/265339771595609675666227894705030915337628253674854288\ 53026776*c_0101_4^8 - 718690861056468633761374163315870734277705222\ 6245674489547092555/26533977159560967566622789470503091533762825367\ 485428853026776*c_0101_4^7 - 29581693369466003091606431221340082537\ 88491360341365223322685375/1326698857978048378331139473525154576688\ 1412683742714426513388*c_0101_4^6 + 789040583821808883710036832833335878286956810825162225031598225/132\ 66988579780483783311394735251545766881412683742714426513388*c_0101_\ 4^5 + 1248579782958356992237463163067723002795177088377292465334650\ 201/26533977159560967566622789470503091533762825367485428853026776*\ c_0101_4^4 - 263065543855490324753623392178704575220386108079590638\ 759911395/265339771595609675666227894705030915337628253674854288530\ 26776*c_0101_4^3 - 200539222933036819328097562969022510709142592039\ 139151394307245/265339771595609675666227894705030915337628253674854\ 28853026776*c_0101_4^2 + 247084675215590173590148049746176824931449\ 76960819465894981775/2653397715956096756662278947050309153376282536\ 7485428853026776*c_0101_4 + 221839017725630158238893940282663621485\ 4522502757286026203122/33167471449451209458278486838128864417203531\ 70935678606628347, c_0101_0 - 168770361680411052797988854794700882329020869126288922171605\ /13266988579780483783311394735251545766881412683742714426513388*c_0\ 101_4^22 - 18495298423546551004060707116501275932371132143886457243\ 9695/3316747144945120945827848683812886441720353170935678606628347*\ c_0101_4^21 + 39339842326469990540903463961713009470486477424618074\ 02732245/1326698857978048378331139473525154576688141268374271442651\ 3388*c_0101_4^20 + 239438091169086072363551660868546267303086466000\ 19985867764033/1326698857978048378331139473525154576688141268374271\ 4426513388*c_0101_4^19 - 951337934848695982409415549723297727065877\ 7591287994195265660/33167471449451209458278486838128864417203531709\ 35678606628347*c_0101_4^18 - 43702342709483101031943885311109614895\ 9681002232147455009442909/13266988579780483783311394735251545766881\ 412683742714426513388*c_0101_4^17 - 3827144525561414615812196619790656419672301753062855207261849/69826\ 2556830551778069020775539555040362179614933827075079652*c_0101_4^16 + 4153650985842080585489391084925188838717676131101346300521294149/\ 13266988579780483783311394735251545766881412683742714426513388*c_01\ 01_4^15 + 160983102768271783339006842778542946255782824699336150775\ 6909049/66334942898902418916556973676257728834407063418713572132566\ 94*c_0101_4^14 - 20321075044824546948396653788909879191501576299793\ 248072898980599/132669885797804837833113947352515457668814126837427\ 14426513388*c_0101_4^13 - 38880459556283011710280351546040657630179\ 77315400369521231596288/3316747144945120945827848683812886441720353\ 170935678606628347*c_0101_4^12 + 1282091767565340651984533119392161\ 5239538950943276670560478997291/33167471449451209458278486838128864\ 41720353170935678606628347*c_0101_4^11 + 26676361533374442477209573724032428619937749423860940210618146091/1\ 3266988579780483783311394735251545766881412683742714426513388*c_010\ 1_4^10 - 3922800966473744590601274280400084442812664199760497814352\ 877021/698262556830551778069020775539555040362179614933827075079652\ *c_0101_4^9 - 24937244523774675008654419576052373650453036471574852\ 723831648895/132669885797804837833113947352515457668814126837427144\ 26513388*c_0101_4^8 + 538211626980626941582144845466002344163577450\ 18533506159791946693/1326698857978048378331139473525154576688141268\ 3742714426513388*c_0101_4^7 + 4168207031339751696728100345101977041\ 537578411204152351578469319/663349428989024189165569736762577288344\ 0706341871357213256694*c_0101_4^6 - 9658146299873063503264596278016135441115615051298250161128377235/66\ 33494289890241891655697367625772883440706341871357213256694*c_0101_\ 4^5 + 5863051978765409972565836862717863057675226070987537692946818\ 93/13266988579780483783311394735251545766881412683742714426513388*c\ _0101_4^4 + 3524856571209116988224965685986929456310671478828745929\ 507395333/132669885797804837833113947352515457668814126837427144265\ 13388*c_0101_4^3 - 409338731963750662301471353647899287866120746260\ 202111339527593/132669885797804837833113947352515457668814126837427\ 14426513388*c_0101_4^2 - 326339095897387168792923494460370307030520\ 688087546192261017209/132669885797804837833113947352515457668814126\ 83742714426513388*c_0101_4 + 12019418546902565295182649705914245016\ 871405314327190205899980/331674714494512094582784868381288644172035\ 3170935678606628347, c_0101_1 + 94358895609757624239621242064173274568364352898499143590345/\ 6633494289890241891655697367625772883440706341871357213256694*c_010\ 1_4^22 + 2116785835670687150065908148071452946449896587102763775375\ 77/3316747144945120945827848683812886441720353170935678606628347*c_\ 0101_4^21 - 2151269750110123205230784588250481463384833750208162834\ 935037/663349428989024189165569736762577288344070634187135721325669\ 4*c_0101_4^20 - 135922719484692988184333639556879428974897062207346\ 06098381801/6633494289890241891655697367625772883440706341871357213\ 256694*c_0101_4^19 + 9878639811371717177288349708030386601902243695\ 719321141517517/331674714494512094582784868381288644172035317093567\ 8606628347*c_0101_4^18 + 245825804977753031468527426116732720917228\ 173165564311737395933/663349428989024189165569736762577288344070634\ 1871357213256694*c_0101_4^17 + 354728401734364491946208533403775462\ 4874569908235188939085229/34913127841527588903451038776977752018108\ 9807466913537539826*c_0101_4^16 - 230484835271770659279562737690350\ 8230144837415427037675603157345/66334942898902418916556973676257728\ 83440706341871357213256694*c_0101_4^15 - 1021582810010002314182150234078334450765873928431737691733441970/33\ 16747144945120945827848683812886441720353170935678606628347*c_0101_\ 4^14 + 110472661997718282480924421800679507119784098767786690140262\ 13459/6633494289890241891655697367625772883440706341871357213256694\ *c_0101_4^13 + 4911569345000893737278633187042330166631256126635691\ 523988803124/331674714494512094582784868381288644172035317093567860\ 6628347*c_0101_4^12 - 135735872693632280668491562192476770145588881\ 63425184684752566565/3316747144945120945827848683812886441720353170\ 935678606628347*c_0101_4^11 - 1768078966574233748573750545085824178\ 3862360610307512778979440905/66334942898902418916556973676257728834\ 40706341871357213256694*c_0101_4^10 + 2034843811818642593836882393135235797996327700771587317312727725/34\ 9131278415275889034510387769777520181089807466913537539826*c_0101_4\ ^9 + 18083263313908911686143132396072314057630849914170005021200627\ 733/6633494289890241891655697367625772883440706341871357213256694*c\ _0101_4^8 - 2685729954615564200027854680300091366878928487535684805\ 4772771695/66334942898902418916556973676257728834407063418713572132\ 56694*c_0101_4^7 - 381039078346522872036855244612533316161643825411\ 8764393033417869/33167471449451209458278486838128864417203531709356\ 78606628347*c_0101_4^6 + 465369436741518154890413442925339669044837\ 2486641579150881091929/33167471449451209458278486838128864417203531\ 70935678606628347*c_0101_4^5 + 693765427154499747262459337949866733\ 029262032769719424220449639/663349428989024189165569736762577288344\ 0706341871357213256694*c_0101_4^4 - 1715332616615579203590484112577844230424062470960035187288673909/66\ 33494289890241891655697367625772883440706341871357213256694*c_0101_\ 4^3 + 3719798230183252531216083549710188655662873209445868269169841\ 5/6633494289890241891655697367625772883440706341871357213256694*c_0\ 101_4^2 + 148650720802006250939759048691638363062732373308723669971\ 016945/663349428989024189165569736762577288344070634187135721325669\ 4*c_0101_4 - 286076985620826234471360332017341371778307097201988651\ 9870735/33167471449451209458278486838128864417203531709356786066283\ 47, c_0101_3 + 22222547742956933451890687361609883584645942205167583641589/\ 6633494289890241891655697367625772883440706341871357213256694*c_010\ 1_4^22 + 5211028619276362393535168724043887947505704807125228232491\ 2/3316747144945120945827848683812886441720353170935678606628347*c_0\ 101_4^21 - 48701728791477249408221853399127536333607556556675389944\ 5501/6633494289890241891655697367625772883440706341871357213256694*\ c_0101_4^20 - 33053258857507717754840566338257743682466001934913888\ 26782589/6633494289890241891655697367625772883440706341871357213256\ 694*c_0101_4^19 + 2011053539394201925516007793303670902606823280588\ 112073029605/331674714494512094582784868381288644172035317093567860\ 6628347*c_0101_4^18 + 588888675825396112847405741546702641424643909\ 02035326389698317/6633494289890241891655697367625772883440706341871\ 357213256694*c_0101_4^17 + 1438430365228612779452817863409180761980\ 780267748500971943021/349131278415275889034510387769777520181089807\ 466913537539826*c_0101_4^16 - 5406933944123466892649894142439251903\ 79540720826862400879606891/6633494289890241891655697367625772883440\ 706341871357213256694*c_0101_4^15 - 294257948650786095691880525540379920585727936530152223476669849/331\ 6747144945120945827848683812886441720353170935678606628347*c_0101_4\ ^14 + 2516351027984837926786102804622879045290485822102218584753474\ 683/6633494289890241891655697367625772883440706341871357213256694*c\ _0101_4^13 + 141070960939819741162699714824991155436251685123598795\ 1145689342/33167471449451209458278486838128864417203531709356786066\ 28347*c_0101_4^12 - 29945494622079545731052009749497380206982877863\ 85758064337894327/3316747144945120945827848683812886441720353170935\ 678606628347*c_0101_4^11 - 5357883241881559702196544408610021096885\ 440837680706233034830341/663349428989024189165569736762577288344070\ 6341871357213256694*c_0101_4^10 + 441612868072317324142363498327735\ 953981651839121370305433202003/349131278415275889034510387769777520\ 181089807466913537539826*c_0101_4^9 + 5850368876106824041281286749280430363578356406362130653546621889/66\ 33494289890241891655697367625772883440706341871357213256694*c_0101_\ 4^8 - 5522673703545649513510858986935508207371187413414646425046502\ 071/6633494289890241891655697367625772883440706341871357213256694*c\ _0101_4^7 - 1417190262884727965147588038044118177622033517298420466\ 973947127/331674714494512094582784868381288644172035317093567860662\ 8347*c_0101_4^6 + 8940114458887195054630774428994848508832632800906\ 64129944518545/3316747144945120945827848683812886441720353170935678\ 606628347*c_0101_4^5 + 54272790515368859358260901657373221409147751\ 1804082982106059999/66334942898902418916556973676257728834407063418\ 71357213256694*c_0101_4^4 - 342722306089634887241383532048564688597\ 601584756783818174712703/663349428989024189165569736762577288344070\ 6341871357213256694*c_0101_4^3 - 7763837222107545533202571127588693\ 9027056108351682369407737887/66334942898902418916556973676257728834\ 40706341871357213256694*c_0101_4^2 + 30726367010568899432934814436341981594683533265614336090247981/6633\ 494289890241891655697367625772883440706341871357213256694*c_0101_4 + 2662152270240816452313702068817879774436029738757174836863585/33167\ 47144945120945827848683812886441720353170935678606628347, c_0101_4^23 + 4*c_0101_4^22 - 25*c_0101_4^21 - 133*c_0101_4^20 + 280*c_0101_4^19 + 2505*c_0101_4^18 - 561*c_0101_4^17 - 24809*c_0101_4^16 - 9706*c_0101_4^15 + 127987*c_0101_4^14 + 46780*c_0101_4^13 - 340304*c_0101_4^12 - 45515*c_0101_4^11 + 505183*c_0101_4^10 - 12997*c_0101_4^9 - 381437*c_0101_4^8 + 63686*c_0101_4^7 + 138374*c_0101_4^6 - 43281*c_0101_4^5 - 21317*c_0101_4^4 + 9661*c_0101_4^3 + 1265*c_0101_4^2 - 904*c_0101_4 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB