Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 509575885] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1403 geometric_solution 5.24787001 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 2310 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.705986281516 0.310822675333 0 0 3 2 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 1 0 0 -1 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.134860354752 1.239552921673 4 5 1 3 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.951633237920 0.817183039624 5 4 2 1 3201 2310 1230 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.951633237920 0.817183039624 2 6 6 3 0132 0132 3201 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 1 -1 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.233131906408 0.518416024385 5 2 5 3 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.593349883862 0.462505565031 4 4 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.976455069587 0.821583277453 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 9589888339866142090384676386206549696483828428442491599/50575087704\ 2660272967095056163553648611257527282708480*c_0101_6^24 + 4981959067698518199639219604387784301870637776411350533/10115017540\ 8532054593419011232710729722251505456541696*c_0101_6^23 + 30726299482394128782360380899756804147671428767640349321/6321885963\ 0332534120886882020444206076407190910338560*c_0101_6^22 - 295906291207250385837412417322570729203774612194553911949/252875438\ 521330136483547528081776824305628763641354240*c_0101_6^21 - 1793569236734990283733040769067940552357259710695032326387/50575087\ 7042660272967095056163553648611257527282708480*c_0101_6^20 + 742153008820729549118495485866349531712454645619548467329/101150175\ 408532054593419011232710729722251505456541696*c_0101_6^19 - 193753253386639888636268038607406452342740472744157788267/632188596\ 30332534120886882020444206076407190910338560*c_0101_6^18 + 1689515611298821179539523615536327714540865610636327083889/25287543\ 8521330136483547528081776824305628763641354240*c_0101_6^17 + 12766610410369368105071891924676561800701639919137676942079/1264377\ 19260665068241773764040888412152814381820677120*c_0101_6^16 - 2591763217972617713243315771408240215143280231489126836253/22988676\ 229211830589413411643797893118693523967395840*c_0101_6^15 - 36302391863743853380368568859896713174905853632915208624193/5057508\ 77042660272967095056163553648611257527282708480*c_0101_6^14 + 11239480602194456945877997864345519193185645946625063310717/2528754\ 38521330136483547528081776824305628763641354240*c_0101_6^13 - 9770649254675565183790449270635683644079468188939584303057/31609429\ 815166267060443441010222103038203595455169280*c_0101_6^12 + 76892325624422573868361879454694015903034583595673301406137/5057508\ 77042660272967095056163553648611257527282708480*c_0101_6^11 + 55203189004325759256922839133913936733544531473574701818873/5057508\ 77042660272967095056163553648611257527282708480*c_0101_6^10 + 117510912202173558375441053665492656243196359807083900365341/505750\ 877042660272967095056163553648611257527282708480*c_0101_6^9 + 51997005907345334143920316858107795834076651853430422198413/5057508\ 77042660272967095056163553648611257527282708480*c_0101_6^8 + 490076129026775351035584494184039316506254298205498381803/158047149\ 07583133530221720505111051519101797727584640*c_0101_6^7 - 11581174353881660873487793037902324433799576105415717590689/2528754\ 38521330136483547528081776824305628763641354240*c_0101_6^6 - 3214235543100042291186523467842440461510797920180599256143/50575087\ 7042660272967095056163553648611257527282708480*c_0101_6^5 + 2142418201846384287050246626228539323189180053520064175239/25287543\ 8521330136483547528081776824305628763641354240*c_0101_6^4 - 35680212890436011316641263166123605090980119049047185453/1149433811\ 4605915294706705821898946559346761983697920*c_0101_6^3 - 1355160358180097409925600498335803803171977095268616203/79023574537\ 9156676511086025255552575955089886379232*c_0101_6^2 + 10314593339346890734230271249299893983852450508549202351/4597735245\ 8423661178826823287595786237387047934791680*c_0101_6 + 44182596721347019050389033223249827801057016266983269843/5057508770\ 42660272967095056163553648611257527282708480, c_0011_0 - 1, c_0011_2 + 2332881387757389635445263821572441906842851315121/4489975826\ 017935661994806961679275999744828899882*c_0101_6^24 - 2212599985488820603056648577147646046621725438557/22449879130089678\ 30997403480839637999872414449941*c_0101_6^23 - 31958474690272938563784242729186531647393007055547/2244987913008967\ 830997403480839637999872414449941*c_0101_6^22 + 50958240562517265780031176406599786527599691541005/2244987913008967\ 830997403480839637999872414449941*c_0101_6^21 + 533571655815384281526318090148134582365592129314387/448997582601793\ 5661994806961679275999744828899882*c_0101_6^20 - 296876468298605073107853695904227602327931360046852/224498791300896\ 7830997403480839637999872414449941*c_0101_6^19 - 111420356838550775415332503658451595972511146012626/224498791300896\ 7830997403480839637999872414449941*c_0101_6^18 - 285881286223664766021795996244690309834515202913641/224498791300896\ 7830997403480839637999872414449941*c_0101_6^17 - 6516315044322564403214889654952341092795702663351308/22449879130089\ 67830997403480839637999872414449941*c_0101_6^16 + 2567400230879664734708105213915428324588993403008426/22449879130089\ 67830997403480839637999872414449941*c_0101_6^15 + 17821715719911084320673655839663803010151750352207473/4489975826017\ 935661994806961679275999744828899882*c_0101_6^14 + 535916651306758596644753029140260550818945171835165/448997582601793\ 5661994806961679275999744828899882*c_0101_6^13 + 35382968191582943951553561710947324894850100413154105/4489975826017\ 935661994806961679275999744828899882*c_0101_6^12 + 4234794092717966930787863206422945876538399292168391/22449879130089\ 67830997403480839637999872414449941*c_0101_6^11 - 24597279573133518237173484918865462171914033374835573/4489975826017\ 935661994806961679275999744828899882*c_0101_6^10 - 18091641023755737881493836857761971915445285928822931/2244987913008\ 967830997403480839637999872414449941*c_0101_6^9 - 33845147274725711031112536289924409938396067857189605/4489975826017\ 935661994806961679275999744828899882*c_0101_6^8 - 15191234648648390510015625507219444822605775553162697/4489975826017\ 935661994806961679275999744828899882*c_0101_6^7 - 91545218708420629284692284424590021174892445202545/4489975826017935\ 661994806961679275999744828899882*c_0101_6^6 + 1366651543053916579778711646697354966334755473666293/22449879130089\ 67830997403480839637999872414449941*c_0101_6^5 - 598563494346082375459109051608768818579002607941682/224498791300896\ 7830997403480839637999872414449941*c_0101_6^4 - 188632416720341700589775386662425706006414146178321/224498791300896\ 7830997403480839637999872414449941*c_0101_6^3 + 187328099113231994167252905103508040709874613878649/224498791300896\ 7830997403480839637999872414449941*c_0101_6^2 + 28803841761786393204296463032174459108951557970575/4489975826017935\ 661994806961679275999744828899882*c_0101_6 - 12267192523746473958759724002619711813737679154631/2244987913008967\ 830997403480839637999872414449941, c_0101_0 - 11595137355476012301723643658704801402803680295755/718396132\ 16286970591916911386868415995917262398112*c_0101_6^24 + 26685926930290483246414631740120269633646733843287/7183961321628697\ 0591916911386868415995917262398112*c_0101_6^23 + 76038207426437527021558719496991348039436597392897/1795990330407174\ 2647979227846717103998979315599528*c_0101_6^22 - 311555904501646552876653949269930753064571858025139/359198066081434\ 85295958455693434207997958631199056*c_0101_6^21 - 2328449699047339713875220548305196598920119969553111/71839613216286\ 970591916911386868415995917262398112*c_0101_6^20 + 3740463566104679647632395369202321372553329624167731/71839613216286\ 970591916911386868415995917262398112*c_0101_6^19 - 236954550405262121289636450811886544557165199736449/179599033040717\ 42647979227846717103998979315599528*c_0101_6^18 + 2078322286701554477902833278687352850781179852563311/35919806608143\ 485295958455693434207997958631199056*c_0101_6^17 + 15707331789266303359059244560348571730869063158531977/1795990330407\ 1742647979227846717103998979315599528*c_0101_6^16 - 24994523728209125435011061333503699135277578081632275/3591980660814\ 3485295958455693434207997958631199056*c_0101_6^15 - 53573993260960579404627888502037250028678804491161153/7183961321628\ 6970591916911386868415995917262398112*c_0101_6^14 + 1512943530578849078937381899341713089835152645101511/17959903304071\ 742647979227846717103998979315599528*c_0101_6^13 - 95386315161106397648141992283175315771156729107126301/3591980660814\ 3485295958455693434207997958631199056*c_0101_6^12 + 38131048984621418037903732737258107779684463873508411/7183961321628\ 6970591916911386868415995917262398112*c_0101_6^11 + 62073049218611670274036182224287279461300618262363181/7183961321628\ 6970591916911386868415995917262398112*c_0101_6^10 + 167051058861123500152298446430538225775042152380735851/718396132162\ 86970591916911386868415995917262398112*c_0101_6^9 + 116829954240477732890530984676886347016379207635754117/718396132162\ 86970591916911386868415995917262398112*c_0101_6^8 + 32859750026457602802006709882353654565160809504346707/3591980660814\ 3485295958455693434207997958631199056*c_0101_6^7 - 431680753221207442170887141275955835099646730694775/179599033040717\ 42647979227846717103998979315599528*c_0101_6^6 - 1438481866859847868563814032407250579809730470521353/71839613216286\ 970591916911386868415995917262398112*c_0101_6^5 + 1958928209145530544282785877283925287376255520011005/35919806608143\ 485295958455693434207997958631199056*c_0101_6^4 - 178393371734955037658696188601186452037011539920559/179599033040717\ 42647979227846717103998979315599528*c_0101_6^3 - 80399718724161386716008244842085473310931014926089/8979951652035871\ 323989613923358551999489657799764*c_0101_6^2 - 117948632062958622208430625256718302131746637412495/718396132162869\ 70591916911386868415995917262398112*c_0101_6 + 21648766688468136501250175080223380472213628829081/7183961321628697\ 0591916911386868415995917262398112, c_0101_1 - 289699388634084067109352152084292969012257529501/44899758260\ 17935661994806961679275999744828899882*c_0101_6^24 - 41752366917095424306358605063109812024137791737/2244987913008967830\ 997403480839637999872414449941*c_0101_6^23 + 4722386327891826138399450549658440893847126263580/22449879130089678\ 30997403480839637999872414449941*c_0101_6^22 + 1924056277746677318830615866474388857365197713133/22449879130089678\ 30997403480839637999872414449941*c_0101_6^21 - 101650722000820304773945619029596944989865025575065/448997582601793\ 5661994806961679275999744828899882*c_0101_6^20 - 25527001692175868980572357221788174428722855922966/2244987913008967\ 830997403480839637999872414449941*c_0101_6^19 + 121564393386260742058239404030767704880260439871458/224498791300896\ 7830997403480839637999872414449941*c_0101_6^18 + 2755959022206180616045949176551919044271389777146/22449879130089678\ 30997403480839637999872414449941*c_0101_6^17 + 921302733520182564986765807710415146297529524501041/224498791300896\ 7830997403480839637999872414449941*c_0101_6^16 + 1389508194459057131684395809597071606305836182941045/22449879130089\ 67830997403480839637999872414449941*c_0101_6^15 - 5223462382697679602477535494965916173762370303147795/44899758260179\ 35661994806961679275999744828899882*c_0101_6^14 - 2854300667175806674018571734078007885117092007694453/44899758260179\ 35661994806961679275999744828899882*c_0101_6^13 - 3710386012080209876950801300468149077769365598114341/44899758260179\ 35661994806961679275999744828899882*c_0101_6^12 - 5735353793732747242652096302171957244915280699014417/22449879130089\ 67830997403480839637999872414449941*c_0101_6^11 + 5925505341600444156579748023466288118679096562099451/44899758260179\ 35661994806961679275999744828899882*c_0101_6^10 + 3994831490507139770938780395620799860833412784047522/22449879130089\ 67830997403480839637999872414449941*c_0101_6^9 + 12828666952916555213129870241157233210378869222611391/4489975826017\ 935661994806961679275999744828899882*c_0101_6^8 + 7508286627688069067973329929646650120173705961054991/44899758260179\ 35661994806961679275999744828899882*c_0101_6^7 + 2909295681346275102911097870377741121847746170945255/44899758260179\ 35661994806961679275999744828899882*c_0101_6^6 - 385311998987203801807462189279272145955156495978863/224498791300896\ 7830997403480839637999872414449941*c_0101_6^5 + 44895577801787185249699159862427193159950965626358/2244987913008967\ 830997403480839637999872414449941*c_0101_6^4 + 153016355269056533549790138145022020281641734394702/224498791300896\ 7830997403480839637999872414449941*c_0101_6^3 - 46391567864112580935262460816572792897461202424088/2244987913008967\ 830997403480839637999872414449941*c_0101_6^2 - 36911421371103186322781669004052412220051859653467/4489975826017935\ 661994806961679275999744828899882*c_0101_6 + 3339406638172147685385709797559280654654506467536/22449879130089678\ 30997403480839637999872414449941, c_0101_3 - 13653232672622787307931560454012950706246948201880/224498791\ 3008967830997403480839637999872414449941*c_0101_6^24 + 31209977953339569367987369923756515489024888658524/2244987913008967\ 830997403480839637999872414449941*c_0101_6^23 + 359647574102926432453198934652037617116453970281296/224498791300896\ 7830997403480839637999872414449941*c_0101_6^22 - 730734153143655353669997988546084320780204462113409/224498791300896\ 7830997403480839637999872414449941*c_0101_6^21 - 2779357876505114032365295946250491068964917149704891/22449879130089\ 67830997403480839637999872414449941*c_0101_6^20 + 4423179902205196866658565615069399401127069411900208/22449879130089\ 67830997403480839637999872414449941*c_0101_6^19 - 855479402384906650074963120181717390179530625588401/224498791300896\ 7830997403480839637999872414449941*c_0101_6^18 + 4495741855012165754035691452576228731095814876287597/22449879130089\ 67830997403480839637999872414449941*c_0101_6^17 + 74215934843771182123312895872753751146493807292027602/2244987913008\ 967830997403480839637999872414449941*c_0101_6^16 - 58087060611790400096243466978707377717046840599080897/2244987913008\ 967830997403480839637999872414449941*c_0101_6^15 - 69437368187342700760880726918477271923311056174027031/2244987913008\ 967830997403480839637999872414449941*c_0101_6^14 + 11928306230247847094605920711527536187675491358938285/2244987913008\ 967830997403480839637999872414449941*c_0101_6^13 - 220724844590184996470490273187470455737651221113832358/224498791300\ 8967830997403480839637999872414449941*c_0101_6^12 + 39584111640390455857057023630319226153978217592926799/2244987913008\ 967830997403480839637999872414449941*c_0101_6^11 + 90613422917581231691938412141574660364456696845529757/2244987913008\ 967830997403480839637999872414449941*c_0101_6^10 + 190198798796576733363623505829747462448299859755006427/224498791300\ 8967830997403480839637999872414449941*c_0101_6^9 + 135436221760392208859194888930460716074359559828131733/224498791300\ 8967830997403480839637999872414449941*c_0101_6^8 + 66260800762513867806071929077627474327585601062866330/2244987913008\ 967830997403480839637999872414449941*c_0101_6^7 - 7555486667799738235973782993830226280539573027955350/22449879130089\ 67830997403480839637999872414449941*c_0101_6^6 - 4164536344565579847136208362348066807046626962005582/22449879130089\ 67830997403480839637999872414449941*c_0101_6^5 + 6496197237041626578507526491851590558895160391340102/22449879130089\ 67830997403480839637999872414449941*c_0101_6^4 - 229430926020970278443290733396941223898759235530761/224498791300896\ 7830997403480839637999872414449941*c_0101_6^3 - 1047136834031878802276285656967533698575469935922243/22449879130089\ 67830997403480839637999872414449941*c_0101_6^2 + 16888710486359337557523933431346857733727118168712/2244987913008967\ 830997403480839637999872414449941*c_0101_6 + 46899170178500917272918624338955128555941959359029/2244987913008967\ 830997403480839637999872414449941, c_0101_4 - 47886143528922355263968317296514529967244957090135/718396132\ 16286970591916911386868415995917262398112*c_0101_6^24 + 92661344793108252336398313189266413562958382406579/7183961321628697\ 0591916911386868415995917262398112*c_0101_6^23 + 326520361843749854355655219423339495943392131741821/179599033040717\ 42647979227846717103998979315599528*c_0101_6^22 - 1068031569253051468605903331453448584745889057813039/35919806608143\ 485295958455693434207997958631199056*c_0101_6^21 - 10809016932380927360944064082623407136119352584763891/7183961321628\ 6970591916911386868415995917262398112*c_0101_6^20 + 12464372232399219611727206312718248973234250701279551/7183961321628\ 6970591916911386868415995917262398112*c_0101_6^19 + 908363954786235228520984843730243374482688065848203/179599033040717\ 42647979227846717103998979315599528*c_0101_6^18 + 6214858114051958989959504152428306749342498926436523/35919806608143\ 485295958455693434207997958631199056*c_0101_6^17 + 66692522842521227456789366201926284989750821768842181/1795990330407\ 1742647979227846717103998979315599528*c_0101_6^16 - 57369520449053514887746099814723679929661462683245807/3591980660814\ 3485295958455693434207997958631199056*c_0101_6^15 - 348614161404944620462528970936845058927141737379935781/718396132162\ 86970591916911386868415995917262398112*c_0101_6^14 - 2392211889014375311809639083971001676182633384013477/17959903304071\ 742647979227846717103998979315599528*c_0101_6^13 - 368087254417779779867578386560210667368216598602312609/359198066081\ 43485295958455693434207997958631199056*c_0101_6^12 - 142543318068517349890769799811446244669228156260328825/718396132162\ 86970591916911386868415995917262398112*c_0101_6^11 + 471117503515457325855019350785782334063757854829208353/718396132162\ 86970591916911386868415995917262398112*c_0101_6^10 + 737242300946853482255152317932136663814830975377122103/718396132162\ 86970591916911386868415995917262398112*c_0101_6^9 + 679928792069488788751434771471661604228195898580534521/718396132162\ 86970591916911386868415995917262398112*c_0101_6^8 + 158701389936271344918986366468101983059464121849544687/359198066081\ 43485295958455693434207997958631199056*c_0101_6^7 + 2433904931253156077456579734914034808956647417566877/17959903304071\ 742647979227846717103998979315599528*c_0101_6^6 - 47404364140419317346181888632994143407045831301013517/7183961321628\ 6970591916911386868415995917262398112*c_0101_6^5 + 12101667952972251173914871759663248838930772107493745/3591980660814\ 3485295958455693434207997958631199056*c_0101_6^4 + 1625001397520431573642826450472510664420758920464165/17959903304071\ 742647979227846717103998979315599528*c_0101_6^3 - 846678290687701865385968680104221949311245322411237/897995165203587\ 1323989613923358551999489657799764*c_0101_6^2 - 487263270346958590583867111366708678036806855082187/718396132162869\ 70591916911386868415995917262398112*c_0101_6 + 420932932046967550000135064490983917256399696623069/718396132162869\ 70591916911386868415995917262398112, c_0101_6^25 - 2*c_0101_6^24 - 27*c_0101_6^23 + 46*c_0101_6^22 + 219*c_0101_6^21 - 266*c_0101_6^20 - 31*c_0101_6^19 - 310*c_0101_6^18 - 5530*c_0101_6^17 + 2702*c_0101_6^16 + 6329*c_0101_6^15 + 565*c_0101_6^14 + 15890*c_0101_6^13 + 1721*c_0101_6^12 - 7546*c_0101_6^11 - 15830*c_0101_6^10 - 13874*c_0101_6^9 - 7615*c_0101_6^8 - 770*c_0101_6^7 + 503*c_0101_6^6 - 381*c_0101_6^5 - 118*c_0101_6^4 + 84*c_0101_6^3 + 21*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB