Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 3448525090] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0672 geometric_solution 4.64611855 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -1 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.194900289664 0.440681562028 2 2 3 0 1023 3012 0132 0132 0 0 0 0 0 1 0 -1 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 -1 0 1 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.374492312804 1.164880427032 1 1 0 3 1230 1023 0132 2310 0 0 0 0 0 0 1 -1 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 -1 0 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.374492312804 1.164880427032 2 4 4 1 3201 0132 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379810658232 0.512554870153 3 3 5 5 2310 0132 2310 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 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.507942755968 2.304560640603 6 4 4 6 0132 3201 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 1 0 -1 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.165641566521 0.102068735061 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7.255058801730 2.741877977017 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0011_1']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_1']), 'c_1010_2' : d['c_0101_0'], '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_3, c_0011_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 828828793969169961005909109734093702075970274635464203536721/728880\ 63692387158104936575700057481968922503366812024336701*c_0101_6^25 - 367465140153779030369229173344600897567207059686017323357268/728880\ 63692387158104936575700057481968922503366812024336701*c_0101_6^24 - 6294179773502103040552303387404868370392364904237658008599965/72888\ 063692387158104936575700057481968922503366812024336701*c_0101_6^23 - 36301573376909487930798628763392406468541205317124686654024755/7288\ 8063692387158104936575700057481968922503366812024336701*c_0101_6^22 - 10662679205630950484136220426062603517430805759069493182185129/25\ 13381506634039934652985368967499378238707012648690494369*c_0101_6^2\ 1 - 881280285313538160006720296595315556589401354462024418852681810\ /72888063692387158104936575700057481968922503366812024336701*c_0101\ _6^20 - 63648001203819852610614331773532654730491931137560541031529\ 1336/72888063692387158104936575700057481968922503366812024336701*c_\ 0101_6^19 + 3060302151908099794842422654565949151070557288873860821\ 36341735/6626187608398832554994234154550680178992954851528365848791\ *c_0101_6^18 + 1118298180517859809309742250386121829278419722033103\ 0673570810359/72888063692387158104936575700057481968922503366812024\ 336701*c_0101_6^17 + 9451790256724384005832739571216198332836904839\ 136187120022559712/728880636923871581049365757000574819689225033668\ 12024336701*c_0101_6^16 - 45697024825197819967758937459823817094396\ 38526473341832156382563/7288806369238715810493657570005748196892250\ 3366812024336701*c_0101_6^15 - 999518332165646238722977106873310105\ 2750733136302659848888300456/72888063692387158104936575700057481968\ 922503366812024336701*c_0101_6^14 - 1604912218380415964420539181402431377258287971348964047915213368/72\ 888063692387158104936575700057481968922503366812024336701*c_0101_6^\ 13 + 74548342666024233523633189576199344395722748503794113398475776\ 4/3836213878546692531838767142108288524680131756148001280879*c_0101\ _6^12 + 59465976589461037652999365616752865063120416903198142031214\ 424/2513381506634039934652985368967499378238707012648690494369*c_01\ 01_6^11 - 166172284396338493313796531943824623686546904788251030396\ 99398678/7288806369238715810493657570005748196892250336681202433670\ 1*c_0101_6^10 + 828392431792117843931401289235918969900673711769169\ 817471364636/728880636923871581049365757000574819689225033668120243\ 36701*c_0101_6^9 + 899235763754498362323695414678757596971558179670\ 0379166839922818/72888063692387158104936575700057481968922503366812\ 024336701*c_0101_6^8 - 21845202706457138254532011827549767357227689\ 3424848690722296829/66261876083988325549942341545506801789929548515\ 28365848791*c_0101_6^7 - 319741712195596872596450743192189931676915\ 8003123624520097172418/72888063692387158104936575700057481968922503\ 366812024336701*c_0101_6^6 + 10007958143719026909333334220791185300\ 31269527141959132069749436/7288806369238715810493657570005748196892\ 2503366812024336701*c_0101_6^5 + 8658459315931994563001007044794216\ 28818382417773827124500629714/7288806369238715810493657570005748196\ 8922503366812024336701*c_0101_6^4 - 131609039278394142098403484393714854247950773588551863826317176/728\ 88063692387158104936575700057481968922503366812024336701*c_0101_6^3 - 125305323130155116584189576504671863599672289231154715327708159/7\ 2888063692387158104936575700057481968922503366812024336701*c_0101_6\ ^2 + 1216114250347126725768047366120013838988017907600934995644327/\ 6626187608398832554994234154550680178992954851528365848791*c_0101_6 + 7325480787715586184623937900115508856363294663063082137636852/728\ 88063692387158104936575700057481968922503366812024336701, c_0011_0 - 1, c_0011_1 - 741756645722080612858145572793619110774397380255027891/12025\ 748835569569065325288846734446785831134031811916241*c_0101_6^25 + 840196408034496716899039020867740785882564421948155178/120257488355\ 69569065325288846734446785831134031811916241*c_0101_6^24 + 4706713701325037316574275668605059407867158021528935541/12025748835\ 569569065325288846734446785831134031811916241*c_0101_6^23 + 29426321898621891282257701114543299384314066764476729430/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^22 + 258922476057107150471575683191485130121315977412791389432/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^21 + 625299742503894747805018284017114204664399116227782083873/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^20 + 267786825923624328631104231346201859121007520624067472313/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^19 - 2832974543439200501583530116386088278645008692823707388354/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^18 - 7766166377651092558003508744977901173642592248020249012343/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^17 - 4394825510663778261415771088807191529064674297172659019062/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^16 + 2643176349323068924442420090873980866547796028169777874786/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^15 + 2985613563811968256486937162684272054224787619975738909764/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^14 - 146387700831302099878908222244958276811900323942230629324/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^13 - 9876778568285709571079656756792975557486955896743685070445/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^12 + 6138487482216815735762996803033546219924387255879387586406/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^11 + 5681975250389084198348584617348595337314332274734328801037/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^10 - 4786931958857031192432994539234757982389540151427953192614/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^9 + 122972928413663469294340278845807569317448139633523292742/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^8 + 1627413723332447646022849516382072166322464377300207493105/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^7 + 36874860663092027540365342386234685183088311618587779154/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^6 - 274761739721360369279581918924204219930497766956924960624/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^5 + 55288966888869326369849870900749600145039920705601167894/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^4 + 12723726343382401481887838344722525539031070249341736271/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^3 - 44639758793274045879332783178816005415621482081687389393/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^2 + 830151655200211306690742642628203095979098634995791886/120257488355\ 69569065325288846734446785831134031811916241*c_0101_6 - 3217494117467790282724118832323127624068038587010162066/12025748835\ 569569065325288846734446785831134031811916241, c_0011_3 + 8445214154246093817645793246994867274117007710975295102/1202\ 5748835569569065325288846734446785831134031811916241*c_0101_6^25 - 8352917496462552498683157870763784928506001411011295027/12025748835\ 569569065325288846734446785831134031811916241*c_0101_6^24 - 58598813719388041854486684111200194813276925400271088374/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^23 - 338993195074859454319835449285229858559922174942183585659/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^22 - 2972278700994450445490826918332703964991153638902362688741/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^21 - 7396196841726108963533558924078290413158781015674917424633/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^20 - 2788707835025253378792174698079705358564579976745156603612/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^19 + 35004692340545527260503104642925196915687013551531984878796/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^18 + 94589072657782310687785035832741714411176700607895906116275/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^17 + 48703964511587173006622551163790816077710871401798697342237/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^16 - 62661767872207022166040249221871879034769453900693805297010/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^15 - 62839187878755998290453763452089984094606691245652536441879/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^14 + 10979853558426532994192615143973201649854315533895831193019/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^13 + 131783157158250577201102548492150380062762022902569931506709/120257\ 48835569569065325288846734446785831134031811916241*c_0101_6^12 - 53567658604927439039349786647771363456073320479173070268488/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^11 - 125680922881378950153889690131562024132985844517542925198482/120257\ 48835569569065325288846734446785831134031811916241*c_0101_6^10 + 69374271055595187695231167306502724786828407261536843726017/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^9 + 41639215340102858431009551785806245233868290939279876570091/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^8 - 39045645700967343380264248726332121288736073130147867962155/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^7 - 8564271416497189982607331746045933209203558020088453433703/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^6 + 11339809982005624980547699117444319328480309130501034540155/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^5 + 2243432334620189318640329529746304047388211903690918676595/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^4 - 1722474695667863268075285409292479816976188994784049420599/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^3 - 123878505665309693455767037578657751759600475568306396746/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^2 + 127355722326523817196302662888093600398118303018774110869/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6 - 4137644442409038465163664661571218697570519837868839567/12025748835\ 569569065325288846734446785831134031811916241, c_0011_5 + 974689858741170003610488457978406212049326366682487358/12025\ 748835569569065325288846734446785831134031811916241*c_0101_6^25 - 883269866459772035402542089874717193120598928691419872/120257488355\ 69569065325288846734446785831134031811916241*c_0101_6^24 - 6914137476837713384791294173296406284606082273054376973/12025748835\ 569569065325288846734446785831134031811916241*c_0101_6^23 - 39562820996967303476667153655256903389620107817320184826/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^22 - 345877022678603475259468189301294636574893536136300434884/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^21 - 879504069989035747289965207644366388915826584577088573638/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^20 - 369372701009234004652115971875568402884958377148154535652/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^19 + 4059020340574313947038072363565285818835716228742737774465/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^18 + 11243079276140691661550074910877204957309040113336565840484/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^17 + 6245461376456131169959501359026101491025736496284184163868/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^16 - 7335254368440194220877666667220530684862145616220720918728/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^15 - 7825867647464830722419402103428854657338851366367062939241/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^14 + 1100117834560140796504300124293333946619757655180145597452/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^13 + 15229942248706057961606866029833618936469105494316456783670/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^12 - 5290185239884827539279145175812500231263461490670776931163/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^11 - 15933118479016142396153993152797920760572977495552095671261/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^10 + 8051442230926421821336560881889030430233314865239566134317/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^9 + 5704116266429035502912253891354299767479132646042302434148/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^8 - 5180245158605819827267118444425721117507295848233312288610/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^7 - 1053024471248916148774994144235847809543622951073256908720/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^6 + 1553773885922159349073957551369846390520056879534944127892/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^5 + 234010923768162484354879574831060978163394020647110667961/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^4 - 230620961275688435966106646401500983485905311595156999009/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^3 - 3922199862529168927628930625893861281940371260326628559/12025748835\ 569569065325288846734446785831134031811916241*c_0101_6^2 + 43592013576838005016542927901678083008458456377282164858/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6 - 924733303406785425552288978541173880687252412002980069/120257488355\ 69569065325288846734446785831134031811916241, c_0101_0 + 11094852180042367814617159551715858475250107382996219943/120\ 25748835569569065325288846734446785831134031811916241*c_0101_6^25 - 11662211554021271089217239540729230397046937869011902125/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^24 - 76051664714606465523468151410765593730183564876508111713/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^23 - 441088231563893870362314998545076572772213954087528379767/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^22 - 3878571696779411714105832566112349929860942257194706376341/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^21 - 9482727294605312676148175695363038159798461382666892627383/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^20 - 3138645579318419243917583596685839645640219769753101217268/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^19 + 46086112522942492027993933180081144724368676944991082944704/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^18 + 121537771791491584877998199686153425454018304091251965059571/120257\ 48835569569065325288846734446785831134031811916241*c_0101_6^17 + 57355072063341036221635632470203781978793769631505710462011/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^16 - 84567424256373430925236968982837278762744879363306516604888/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^15 - 78673057129877429653692655100420298235058752984171945237739/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^14 + 16728003405957802947148909441057393949042198995692586613965/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^13 + 172167892739778246702010747410740050520674843920233014561114/120257\ 48835569569065325288846734446785831134031811916241*c_0101_6^12 - 79419817753015793313212897224711629942773870234895703245375/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^11 - 157089562720195241567910262405284318080511218792150684397597/120257\ 48835569569065325288846734446785831134031811916241*c_0101_6^10 + 96137137396036213550078877063157726338799808578331606695310/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^9 + 48098531282105392398203730217467419333129632161530299814803/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^8 - 50249976213516142045371511515031586191180566138931592130153/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^7 - 9329741306753511963333528045363720685166531445856533590308/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^6 + 14231341517587624639819762439814185982346450797922700865488/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^5 + 2721287227101423558472794216695042356400751521539218061236/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^4 - 2203713005670328609345086457095893730616721764511743935088/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^3 - 202154554059261089992928782735583504777334758456445285889/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^2 + 142670727075693541569096238057517766818379459014854110587/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6 - 4164698961916161635963676393997776630103970149512771202/12025748835\ 569569065325288846734446785831134031811916241, c_0101_4 - 4109374319430593951199864918779111922214789503608390415/1202\ 5748835569569065325288846734446785831134031811916241*c_0101_6^25 + 3862865584473000190991623002219785424146483207858465681/12025748835\ 569569065325288846734446785831134031811916241*c_0101_6^24 + 28862683315703320483004121478330489287011639062741181535/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^23 + 166087148875487402278226915581352245235851302001534385532/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^22 + 1453522710553392026480862063303072559497455347224804595959/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^21 + 3664590280328881906393662589907986007072221770849322732380/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^20 + 1485086444878886468317102777097683311643689196038597113631/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^19 - 17059487195920086556757445974423637827472321138002748227532/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^18 - 46833423004514570393420013072138760480873573170877600245779/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^17 - 25351471510190505013395824388115877900454037165473756707638/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^16 + 30511951324677487095611585801283543394110012078626889460314/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^15 + 31906298299858214121780281489974914393644695908222184762001/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^14 - 4961335456389233667132724400989527575013736361796144537645/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^13 - 64378868505521294186665252053934379571526032136919120660548/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^12 + 23658705006092095552073619522558922808000121941811759954824/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^11 + 64426153725338162750538343478865454522858477385868158988705/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^10 - 33383908105702965749795523910234782433893365580582967169503/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^9 - 22486363216099621232790628874415054613072313666161557312420/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^8 + 20257162594596551736596773801092466742163040137997403712928/1202574\ 8835569569065325288846734446785831134031811916241*c_0101_6^7 + 4470567867788482394962003852754880623638387016110715439932/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^6 - 5996151228276631286403868630942264867134592519570903523935/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^5 - 1065721637633276885461904371640847390258127046327971935701/12025748\ 835569569065325288846734446785831134031811916241*c_0101_6^4 + 898664737112847786970520610417317566884989447718218893324/120257488\ 35569569065325288846734446785831134031811916241*c_0101_6^3 + 38857872693682279282872488910805027836681132950815596302/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6^2 - 87099647590154122652283498855411812829644000089059971311/1202574883\ 5569569065325288846734446785831134031811916241*c_0101_6 + 2913027442862337898462060629408623123607100488768258541/12025748835\ 569569065325288846734446785831134031811916241, c_0101_6^26 - c_0101_6^25 - 7*c_0101_6^24 - 40*c_0101_6^23 - 351*c_0101_6^22 - 869*c_0101_6^21 - 295*c_0101_6^20 + 4214*c_0101_6^19 + 11184*c_0101_6^18 + 5346*c_0101_6^17 - 8320*c_0101_6^16 - 7844*c_0101_6^15 + 1901*c_0101_6^14 + 16193*c_0101_6^13 - 6556*c_0101_6^12 - 15946*c_0101_6^11 + 8732*c_0101_6^10 + 5986*c_0101_6^9 - 5199*c_0101_6^8 - 1388*c_0101_6^7 + 1665*c_0101_6^6 + 355*c_0101_6^5 - 301*c_0101_6^4 - 44*c_0101_6^3 + 30*c_0101_6^2 + 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB