Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 2884253556] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1799 geometric_solution 5.47027727 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.630627193584 0.174242978353 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.896121274026 0.232818019774 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1.159396089525 0.425696401067 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.651239825269 0.548758894191 5 6 2 3 1023 0132 0132 3120 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 1 0 -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.651239825269 0.548758894191 5 4 3 5 3201 1023 0132 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 -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.634379508754 0.574596224752 6 4 6 3 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.884536430865 1.277197848893 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], '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_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 3716468183444777257901561672761720092743512720763432680573012313255\ 9894233/10583847194708678014722037193560946123385446151239040017604\ 131057386823127150*c_1001_3^20 + 3122005375696014647308317944084013\ 4420535753116726232509897689598695009253/52919235973543390073610185\ 96780473061692723075619520008802065528693411563575*c_1001_3^19 - 1422907206166139364763813152406402314203875405039459081552514901551\ 8301597/48108396339584900066918350879822482379024755232904727352746\ 0502608491960325*c_1001_3^18 - 179891528174141756140073756044001630\ 80624085638746985372715432409305749601/5291923597354339007361018596\ 780473061692723075619520008802065528693411563575*c_1001_3^17 - 8016536276363541256304022930622132318694603640464536638926750974601\ 403703429/529192359735433900736101859678047306169272307561952000880\ 2065528693411563575*c_1001_3^16 + 146322086637573430043275253425021\ 7194279738174310659353744039988123456800257/23519660432685951143826\ 7493190243247186343247805312000391202912386373847270*c_1001_3^15 - 1489662122689247212747102707656852971319617665550397637439272373670\ 73300515411/1058384719470867801472203719356094612338544615123904001\ 7604131057386823127150*c_1001_3^14 + 7559454700480697138167643860035218238760937036401236050449455966473\ 5582486271/17639745324514463357870061989268243538975743585398400029\ 34021842897803854525*c_1001_3^13 - 7423231625947395368867801199700853804524908932501500585734237791728\ 58424325073/1058384719470867801472203719356094612338544615123904001\ 7604131057386823127150*c_1001_3^12 + 6187472018335021101207965268066074480720331458046332063581305720889\ 04517782453/1058384719470867801472203719356094612338544615123904001\ 7604131057386823127150*c_1001_3^11 - 2167886493996130403341561837208621958509660357846538466243053375203\ 697047088841/105838471947086780147220371935609461233854461512390400\ 17604131057386823127150*c_1001_3^10 + 3866804651226878776882191311478003428950014883881804858498962169671\ 7516074261/55704458919519357972221248387162874333607611322310736934\ 7585845125622269850*c_1001_3^9 - 1620772616674053484800607579993578\ 150525308494704373332600657610199022115443929/105838471947086780147\ 22037193560946123385446151239040017604131057386823127150*c_1001_3^8 + 83327107335946191955356819810136341960914085677670490324481549967\ 2467624712084/52919235973543390073610185967804730616927230756195200\ 08802065528693411563575*c_1001_3^7 + 3637602209887439917357955740347719371757507823875143737859697682691\ 63728147159/1175983021634297557191337465951216235931716239026560001\ 956014561931869236350*c_1001_3^6 + 2233151917429550650145187164212608649593971203249133205313184691157\ 669890899267/529192359735433900736101859678047306169272307561952000\ 8802065528693411563575*c_1001_3^5 + 1800541814212340996339889749380574941631363759253693184065390134543\ 42020082938/5879915108171487785956687329756081179658581195132800009\ 78007280965934618175*c_1001_3^4 - 292524074878736809818017479323049\ 0576259574152212071631864453213658946985798052/52919235973543390073\ 61018596780473061692723075619520008802065528693411563575*c_1001_3^3 - 87749418290983913877448312357317809444953604661160407548151489737\ 8852424239417/52919235973543390073610185967804730616927230756195200\ 08802065528693411563575*c_1001_3^2 - 1167529759321787438218876465727067561041494568839422623506911478442\ 054862360439/105838471947086780147220371935609461233854461512390400\ 17604131057386823127150*c_1001_3 + 2167905782900923321125630264738145684539393413645647369074050596856\ 87833882112/1763974532451446335787006198926824353897574358539840002\ 934021842897803854525, c_0011_0 - 1, c_0011_1 - 625592521751458854992779708724514202072082765269677897062190\ /139968729467265142062406930945831008508444159710810908336674497661\ *c_1001_3^20 - 1650019184410979106297219488474172369771775177409121\ 044793292/139968729467265142062406930945831008508444159710810908336\ 674497661*c_1001_3^19 + 3159318131694293528876747886039124275682365\ 81006109694530657/1272442995156955836930972099507554622804037815552\ 8264394243136151*c_1001_3^18 + 398764538310667484889337177096056738\ 0116601386861880517735179/13996872946726514206240693094583100850844\ 4159710810908336674497661*c_1001_3^17 + 276201646115356702425200129253148952033755550652875424428926950/139\ 968729467265142062406930945831008508444159710810908336674497661*c_1\ 001_3^16 - 84637398723374248642152980013211843198040499452932039383\ 0166827/13996872946726514206240693094583100850844415971081090833667\ 4497661*c_1001_3^15 + 179058182953859549342913144814956455855096196\ 9500027068012229786/13996872946726514206240693094583100850844415971\ 0810908336674497661*c_1001_3^14 - 648667887168985794520896711530414\ 0230097504922178192990289286882/13996872946726514206240693094583100\ 8508444159710810908336674497661*c_1001_3^13 + 7881488486760578972488523556828414866544290674375017523715845716/13\ 9968729467265142062406930945831008508444159710810908336674497661*c_\ 1001_3^12 - 7514779483928384397374734318010646590995879512813047907\ 815391785/139968729467265142062406930945831008508444159710810908336\ 674497661*c_1001_3^11 + 4017767513309400974915356978638909237403914\ 3660719516967544242571/13996872946726514206240693094583100850844415\ 9710810908336674497661*c_1001_3^10 + 10744444328094368042760032007679180843640921722170905583162140258/1\ 39968729467265142062406930945831008508444159710810908336674497661*c\ _1001_3^9 + 6694044060771629124619837662069683397825790940053403934\ 5801202066/13996872946726514206240693094583100850844415971081090833\ 6674497661*c_1001_3^8 - 6776299437680165109562156398686264852277612\ 942131884476778273375/139968729467265142062406930945831008508444159\ 710810908336674497661*c_1001_3^7 - 39760186569275112182216461680702851600079419271636118553400762658/1\ 39968729467265142062406930945831008508444159710810908336674497661*c\ _1001_3^6 - 1655706387369779363629104346453256240647810505908369920\ 35273771873/1399687294672651420624069309458310085084441597108109083\ 36674497661*c_1001_3^5 - 227728688125922337720487335191270760734012\ 604865535238110484348570/139968729467265142062406930945831008508444\ 159710810908336674497661*c_1001_3^4 - 115879359050758433757997232587792075050959257689460642483263320488/\ 139968729467265142062406930945831008508444159710810908336674497661*\ c_1001_3^3 - 136635776683111660668576697139982173762862373073773407\ 71029226858/1399687294672651420624069309458310085084441597108109083\ 36674497661*c_1001_3^2 + 834254436502109170352929843395331199012140\ 10325129184926957262436/1399687294672651420624069309458310085084441\ 59710810908336674497661*c_1001_3 + 69882907423204117409936536257018969324508128451189736224703459531/1\ 39968729467265142062406930945831008508444159710810908336674497661, c_0011_4 + 258788204630224076455439908025853218082271220974670406451964\ 91673/2756964064316721503203229318840033374590824613823842461507477\ 580428717*c_1001_3^20 + 4568972044707140483617473017735373181788143\ 4355172903512413145015/27569640643167215032032293188400333745908246\ 13823842461507477580428717*c_1001_3^19 - 19547918791392473709657350602503321115667225113859995914950121674/2\ 5063309675606559120029357444000303405371132852944022377340705276624\ 7*c_1001_3^18 - 389720088029380881984090715575255045639217626159979\ 93090007036912/2756964064316721503203229318840033374590824613823842\ 461507477580428717*c_1001_3^17 - 1115475206394178974676122575716521\ 6238557247555254979205174816034125/27569640643167215032032293188400\ 33374590824613823842461507477580428717*c_1001_3^16 + 4482720761411605993125135728950160790343331270113795967047283100212\ 7/27569640643167215032032293188400333745908246138238424615074775804\ 28717*c_1001_3^15 - 99452112543247672465052937809448142944753671610\ 923062002974915932990/275696406431672150320322931884003337459082461\ 3823842461507477580428717*c_1001_3^14 + 3031307303288160658605248923533130413039527727448210703096590339183\ 74/2756964064316721503203229318840033374590824613823842461507477580\ 428717*c_1001_3^13 - 4743710852787823047342988072945209995658398130\ 36780284000770297509340/2756964064316721503203229318840033374590824\ 613823842461507477580428717*c_1001_3^12 + 3496740054175340219567960116322665539903257958771562870818502305502\ 17/2756964064316721503203229318840033374590824613823842461507477580\ 428717*c_1001_3^11 - 1390509323112803126192313892564431246053841740\ 926589652500174719731996/275696406431672150320322931884003337459082\ 4613823842461507477580428717*c_1001_3^10 + 2720374184387507362966416739814569218315576893204836399514624363304\ 04/2756964064316721503203229318840033374590824613823842461507477580\ 428717*c_1001_3^9 - 10634243442042952717232651707594664891664742471\ 57420403897047777155173/2756964064316721503203229318840033374590824\ 613823842461507477580428717*c_1001_3^8 + 1056456119746134487917318013726298891249217323584530088246084990716\ 193/275696406431672150320322931884003337459082461382384246150747758\ 0428717*c_1001_3^7 + 2181634833892592055822124506848688685606982070\ 209066096183641109470882/275696406431672150320322931884003337459082\ 4613823842461507477580428717*c_1001_3^6 + 3822609885706068973895610258971089354206979216753730606472635091138\ 397/275696406431672150320322931884003337459082461382384246150747758\ 0428717*c_1001_3^5 + 2096395446328795572351435974266350925958575094\ 287081393426887235103883/275696406431672150320322931884003337459082\ 4613823842461507477580428717*c_1001_3^4 - 2162971628712193596950786177509595509676078867725887015232337565300\ 436/275696406431672150320322931884003337459082461382384246150747758\ 0428717*c_1001_3^3 - 9623991366516801629389292633591196942386901688\ 19181450242661218478228/2756964064316721503203229318840033374590824\ 613823842461507477580428717*c_1001_3^2 + 1450907801239903246346623168711370092789601493642206345374305733484\ 591/275696406431672150320322931884003337459082461382384246150747758\ 0428717*c_1001_3 + 982431323046736447909251513733543383707820400700\ 365311773138712365242/275696406431672150320322931884003337459082461\ 3823842461507477580428717, c_0101_0 + 127891881822490384297197754746703932161341744455245653350288\ 5/41990618840179542618722079283749302552533247913243272501002349298\ 3*c_1001_3^20 + 319522587253495308653039319959672240053133112549885\ 5810224426/41990618840179542618722079283749302552533247913243272501\ 0023492983*c_1001_3^19 - 924275174537505509469749222857768111424833\ 089371963599122983/381732898547086751079291629852266386841211344665\ 84793182729408453*c_1001_3^18 - 15968190613422889839540851510205882\ 253673689779251349441440912/419906188401795426187220792837493025525\ 332479132432725010023492983*c_1001_3^17 - 550211339361779419470720366526973156983749216787701276132285934/419\ 906188401795426187220792837493025525332479132432725010023492983*c_1\ 001_3^16 + 61484550681927254038331045796685549089887777705797415997\ 8236943/13996872946726514206240693094583100850844415971081090833667\ 4497661*c_1001_3^15 - 277326319486825250189321772829052972150273422\ 2571996406827522462/41990618840179542618722079283749302552533247913\ 2432725010023492983*c_1001_3^14 + 370604970237718977404358226381811\ 9561476471415708389616543846789/13996872946726514206240693094583100\ 8508444159710810908336674497661*c_1001_3^13 - 14993307365509899386158116633447903940524272161473331174030023463/4\ 19906188401795426187220792837493025525332479132432725010023492983*c\ _1001_3^12 + 294393433779178199250376252025700867901665991336726389\ 4516255555/41990618840179542618722079283749302552533247913243272501\ 0023492983*c_1001_3^11 - 869312594121826737316241420593311434843072\ 99844771136217598287885/4199061884017954261872207928374930255253324\ 79132432725010023492983*c_1001_3^10 + 32366802993871203426532382595035054901511577135164139516148577042/4\ 19906188401795426187220792837493025525332479132432725010023492983*c\ _1001_3^9 - 6138717717214759356114844028194698809970111861052810829\ 2892467009/41990618840179542618722079283749302552533247913243272501\ 0023492983*c_1001_3^8 + 2579583324462123133304395920466721903503758\ 09521241021236243696705/4199061884017954261872207928374930255253324\ 79132432725010023492983*c_1001_3^7 + 51145598357662909327524297863579710964776581244942145155947894863/1\ 39968729467265142062406930945831008508444159710810908336674497661*c\ _1001_3^6 + 4387850281777365333008881096195532541462035754516319246\ 05454006574/4199061884017954261872207928374930255253324791324327250\ 10023492983*c_1001_3^5 + 309648375225232626697042799297775784518858\ 46682304882793778189443/1399687294672651420624069309458310085084441\ 59710810908336674497661*c_1001_3^4 - 463502825340787711803122580350633741561991879419033255759007534128/\ 419906188401795426187220792837493025525332479132432725010023492983*\ c_1001_3^3 - 643471626619235737673170473735433712883804163999801368\ 150371413084/419906188401795426187220792837493025525332479132432725\ 010023492983*c_1001_3^2 - 47982464796155773305736814653946170688585\ 5734589346934192332629508/41990618840179542618722079283749302552533\ 2479132432725010023492983*c_1001_3 + 81399839086323562265884969631050644623411743945654898524355626925/1\ 39968729467265142062406930945831008508444159710810908336674497661, c_0101_1 + 90867121012774957409164574797399099913717668296578899670955/\ 139968729467265142062406930945831008508444159710810908336674497661*\ c_1001_3^20 + 41169973047933792654115371458844121926350630675921450\ 8812847/13996872946726514206240693094583100850844415971081090833667\ 4497661*c_1001_3^19 + 702059333312621784511450529084962816161794362\ 12501378810388/1272442995156955836930972099507554622804037815552826\ 4394243136151*c_1001_3^18 - 256528041155464970759032011856020447918\ 994922982379606016000/139968729467265142062406930945831008508444159\ 710810908336674497661*c_1001_3^17 - 47602084538655394620717384964405819487490753081429946815909235/1399\ 68729467265142062406930945831008508444159710810908336674497661*c_10\ 01_3^16 + 486368424162273851075590484459467250015868818043800909859\ 38128/1399687294672651420624069309458310085084441597108109083366744\ 97661*c_1001_3^15 - 38757719542204558228777952009368214757065312818\ 6385721439346487/13996872946726514206240693094583100850844415971081\ 0908336674497661*c_1001_3^14 + 195245860178396544824086585103733030\ 2109953851276181430700225432/13996872946726514206240693094583100850\ 8444159710810908336674497661*c_1001_3^13 - 3157669927308308093388431302019262850167446408531377678436114679/13\ 9968729467265142062406930945831008508444159710810908336674497661*c_\ 1001_3^12 + 1050806411476280682461446168040100161374793640066283613\ 5462409345/13996872946726514206240693094583100850844415971081090833\ 6674497661*c_1001_3^11 - 239165324908019392920853039880798571457407\ 37320399703795940926609/1399687294672651420624069309458310085084441\ 59710810908336674497661*c_1001_3^10 + 10349096111885268042377066683356650215378321702847197602380288351/1\ 39968729467265142062406930945831008508444159710810908336674497661*c\ _1001_3^9 - 7102665153242348581431152832098175538710474272834035586\ 5398239259/13996872946726514206240693094583100850844415971081090833\ 6674497661*c_1001_3^8 + 7919209417138536154890781830053029748113828\ 782954345608138458882/139968729467265142062406930945831008508444159\ 710810908336674497661*c_1001_3^7 - 53637379828950882387544343670957037958879581965079568165125887551/1\ 39968729467265142062406930945831008508444159710810908336674497661*c\ _1001_3^6 + 5364286060615841927195489310948377251862549892354426687\ 2063598801/13996872946726514206240693094583100850844415971081090833\ 6674497661*c_1001_3^5 + 9895896268515712538261636248835437814291580\ 7299583359937913292752/13996872946726514206240693094583100850844415\ 9710810908336674497661*c_1001_3^4 + 129938366846072569201947258745957847786517288049371555817961888015/\ 139968729467265142062406930945831008508444159710810908336674497661*\ c_1001_3^3 + 703413453991777878912557923444151632343509285645970464\ 55976331729/1399687294672651420624069309458310085084441597108109083\ 36674497661*c_1001_3^2 - 558620482042532878354142741262273429233889\ 17119194398769194576665/1399687294672651420624069309458310085084441\ 59710810908336674497661*c_1001_3 + 62735040675452294339160325959824633698627738411202151992786747764/1\ 39968729467265142062406930945831008508444159710810908336674497661, c_0101_5 - 271856365542811914381859710014380279873833824472110815009175\ 071330/827089219295016450960968795652010012377247384147152738452243\ 2741286151*c_1001_3^20 - 629949976625920382534205724355949920921012\ 943194911510798964898731/827089219295016450960968795652010012377247\ 3841471527384522432741286151*c_1001_3^19 + 172223202989885346437478124047405469905264831355206271324727931463/\ 7518992902681967736008807233200091021611339855883206713202211582987\ 41*c_1001_3^18 + 15075776831835868448717028168059000062516172688627\ 08458014316319683/8270892192950164509609687956520100123772473841471\ 527384522432741286151*c_1001_3^17 + 1181825426792336481564381797416007489019495005170543017483035040127\ 22/8270892192950164509609687956520100123772473841471527384522432741\ 286151*c_1001_3^16 - 1355436159532203112158559507102717599847052174\ 33806091042662745122253/2756964064316721503203229318840033374590824\ 613823842461507477580428717*c_1001_3^15 + 8285947658195531374828254942624146189861877412682802672724651695222\ 32/8270892192950164509609687956520100123772473841471527384522432741\ 286151*c_1001_3^14 - 9304946485707748052176585542947808859057075696\ 00777530372912292926544/2756964064316721503203229318840033374590824\ 613823842461507477580428717*c_1001_3^13 + 3699113503638454321276939159106318339858940403572527528665264799000\ 051/827089219295016450960968795652010012377247384147152738452243274\ 1286151*c_1001_3^12 - 232385154807445100809066785522010933751322181\ 7491282327698024656604467/82708921929501645096096879565201001237724\ 73841471527384522432741286151*c_1001_3^11 + 1487876744656130908110348515033916366706683864251780693132376928649\ 5690/82708921929501645096096879565201001237724738414715273845224327\ 41286151*c_1001_3^10 + 28944724299165776814291993539416463295973052\ 45130755570885632762841476/8270892192950164509609687956520100123772\ 473841471527384522432741286151*c_1001_3^9 + 1524157777681650410236776335850331222088729225833680370268786326577\ 2001/82708921929501645096096879565201001237724738414715273845224327\ 41286151*c_1001_3^8 - 517247723401710451427279062435494916822829749\ 6691477230270582206493516/82708921929501645096096879565201001237724\ 73841471527384522432741286151*c_1001_3^7 - 8056828503314020190230262191060582512532060232202292287319558681830\ 343/275696406431672150320322931884003337459082461382384246150747758\ 0428717*c_1001_3^6 - 5208854070585946129533598537834559385599547939\ 7913149962467304561981817/82708921929501645096096879565201001237724\ 73841471527384522432741286151*c_1001_3^5 - 1761414440290089997130384724743009135131739488329068520488588226774\ 1328/27569640643167215032032293188400333745908246138238424615074775\ 80428717*c_1001_3^4 + 680447344863827640303413716577699664481397700\ 6955840038467025416326918/82708921929501645096096879565201001237724\ 73841471527384522432741286151*c_1001_3^3 + 2053286368777894637821097590366917479989886853157805750892051440888\ 3156/82708921929501645096096879565201001237724738414715273845224327\ 41286151*c_1001_3^2 + 169133467307191609576147628850835103400981949\ 06202904431803455661961314/8270892192950164509609687956520100123772\ 473841471527384522432741286151*c_1001_3 - 3997575991498631960297699748042228918153402441399530631718061075877\ 29/2756964064316721503203229318840033374590824613823842461507477580\ 428717, c_1001_3^21 + 2*c_1001_3^20 - 8*c_1001_3^19 - 4*c_1001_3^18 - 431*c_1001_3^17 + 1635*c_1001_3^16 - 3392*c_1001_3^15 + 10782*c_1001_3^14 - 15866*c_1001_3^13 + 9446*c_1001_3^12 - 52507*c_1001_3^11 + 2108*c_1001_3^10 - 33128*c_1001_3^9 + 37186*c_1001_3^8 + 105027*c_1001_3^7 + 149863*c_1001_3^6 + 110733*c_1001_3^5 - 157003*c_1001_3^4 - 124058*c_1001_3^3 - 45418*c_1001_3^2 + 49074*c_1001_3 + 20205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB