Magma V2.19-8 Tue Aug 20 2013 16:17:53 on localhost [Seed = 3953817367] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2115 geometric_solution 5.61283582 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.521170394368 0.466500456681 0 2 3 0 3201 0132 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.836161565757 0.429792656213 3 1 4 5 2103 0132 0132 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 -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 0.951281935933 0.808275131436 4 5 2 1 1023 0132 2103 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.951281935933 0.808275131436 4 3 4 2 2031 1023 1302 0132 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 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.598201550007 0.461049974273 6 3 2 6 0132 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383257146733 0.382603656937 5 6 6 5 0132 3201 2310 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 0 0 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.290255995849 0.825432025084 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : 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' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_1']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0011_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_1001_1'], '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_0101_0, c_0101_2, c_0101_6, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 1492884618696105533350899125728117438936428212487022297822376624203\ 9143/65045526277955134486246434724373451748779509043923470862846479\ 44989334425*c_1001_1^20 + 53006489245923218719347082062387087315426\ 550118154335909193141698191367/195136578833865403458739304173120355\ 24633852713177041258853943834968003275*c_1001_1^19 - 1048256227608181685039442945648198488943443095950947157805118134359\ 76088/1773968898489685485988539128846548684057622973925185568986722\ 166815273025*c_1001_1^18 - 4187999154361483326276334097372559250984\ 473118232931367158959994821946962/650455262779551344862464347243734\ 5174877950904392347086284647944989334425*c_1001_1^17 - 1255080227976341171866191732511150083136549727639680371092258910921\ 921149/929221803970787635517806210348192167839707272056049583754949\ 706427047775*c_1001_1^16 + 9512381723098032577820372309994285132707\ 366755996064288423788849753895954/780546315335461613834957216692481\ 420985354108527081650354157753398720131*c_1001_1^15 + 1242801426617996207122413619014665142438087964160860586344170916875\ 32884232/3902731576677308069174786083462407104926770542635408251770\ 788766993600655*c_1001_1^14 - 4562783869872437870296230503999423925\ 91787458680843366355112220222659828229/6504552627795513448624643472\ 437345174877950904392347086284647944989334425*c_1001_1^13 - 3040128495092066230358220830824396507963987629161239460203841965159\ 878099689/195136578833865403458739304173120355246338527131770412588\ 53943834968003275*c_1001_1^12 + 18090366576645054243300453971677486\ 7801506649015263363629418852735575300509/59132296616322849532951304\ 2948849561352540991308395189662240722271757675*c_1001_1^11 + 8100466046447749683081728196682763195569136325267573095489875493566\ 791776543/195136578833865403458739304173120355246338527131770412588\ 53943834968003275*c_1001_1^10 - 51338841628658337990569676680737809\ 24705419081351058231110511366459778805794/6504552627795513448624643\ 472437345174877950904392347086284647944989334425*c_1001_1^9 - 3691061085073656074589012568969122833102529135545462401414101165946\ 896735268/650455262779551344862464347243734517487795090439234708628\ 4647944989334425*c_1001_1^8 + 7711351372803013424095242010194293977\ 898719863372691570638102951677924824029/650455262779551344862464347\ 2437345174877950904392347086284647944989334425*c_1001_1^7 + 5606714962599554617522013444272802563796232419521311956727559681895\ 065837/116083628098670674276465975117858628938928332618542779648149\ 57665061275*c_1001_1^6 - 192955579663475040891106562201432826573585\ 09117432322518282158965891289886329/1951365788338654034587393041731\ 2035524633852713177041258853943834968003275*c_1001_1^5 - 1054941181258603813809213331081446395714382975711722910773488860192\ 335859944/390273157667730806917478608346240710492677054263540825177\ 0788766993600655*c_1001_1^4 + 9197568942079830410198001828734011152\ 48698720296973696524219105109479299548/1773968898489685485988539128\ 846548684057622973925185568986722166815273025*c_1001_1^3 + 4026291288068430447639145820701941128511374559182165488295357919388\ 0406842/35479377969793709719770782576930973681152459478503711379734\ 4433363054605*c_1001_1^2 - 7817051030016779019278710252677253097089\ 37571107019796108805699398420379866/6504552627795513448624643472437\ 345174877950904392347086284647944989334425*c_1001_1 + 2653643157823483459080847488947667347428891073886627013713054583590\ 97953511/1951365788338654034587393041731203552463385271317704125885\ 3943834968003275, c_0011_0 - 1, c_0011_1 - 1644463493306574884458198895653259961607938900040/4370405480\ 3908361043727049853569314239319207385465561*c_1001_1^20 - 3571946223202410844532914587559131198510232186700/43704054803908361\ 043727049853569314239319207385465561*c_1001_1^19 + 39815038534067091997263191765550809496250297806239/4370405480390836\ 1043727049853569314239319207385465561*c_1001_1^18 + 502675581959259615525891803023675757560284203378401/437040548039083\ 61043727049853569314239319207385465561*c_1001_1^17 + 1439128285081169924519010280886989324503504454769384/43704054803908\ 361043727049853569314239319207385465561*c_1001_1^16 - 1087460799759833327644896545969760686014441010893192/62434364005583\ 37291961007121938473462759886769352223*c_1001_1^15 - 31144962847412969545271898621217992031201295776393733/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^14 + 24487322581908094631237568423338767683609439535725669/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^13 + 154189476078670836509603002460080009640146020282153303/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^12 - 89642606209221955818224575787408577909284607525623346/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^11 - 481762413352018028769009653472258057529005294535998241/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^10 + 27309145365566962571410434014552401780663123482507049/6243436400558\ 337291961007121938473462759886769352223*c_1001_1^9 + 887422322539437630842952466565008284177761987092372912/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^8 - 261431554724399059786002364658520803710486111883240072/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^7 - 1094800324012018663434142059201851302474545633424908028/43704054803\ 908361043727049853569314239319207385465561*c_1001_1^6 + 16925516504753866305213195435554174868919737675901168/6243436400558\ 337291961007121938473462759886769352223*c_1001_1^5 + 115855346516133125437384669831137222956784216388361064/624343640055\ 8337291961007121938473462759886769352223*c_1001_1^4 + 10857041105225849726600901216672983005742212879277979/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^3 - 420202234999664006848839619448838473770629133344907201/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^2 - 85686328264711117533473452908612507063964452089123229/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1 + 72838721666621276906323107491727032308342892544215975/4370405480390\ 8361043727049853569314239319207385465561, c_0011_3 + 212490455365508607849138085300227760729050283062304434418071\ 284/399796013131953121739366211968024798313652314061401947127698418\ 9689*c_1001_1^20 + 253790472791555987540815960769304878878245694890\ 500166889950584/399796013131953121739366211968024798313652314061401\ 9471276984189689*c_1001_1^19 - 503444300374513472166340743165396715\ 210162856710081930007875905/363450921029048292490332919970931634830\ 593012783092679206998562699*c_1001_1^18 - 59832967455378006293643189971316695860018342829901313107905802587/3\ 997960131319531217393662119680247983136523140614019471276984189689*\ c_1001_1^17 - 12398458766500360181802792224233109635514586932961395\ 6037200764074/39979601313195312173936621196802479831365231406140194\ 71276984189689*c_1001_1^16 + 16407437089822029757032872704010785508\ 6417674774808059346746320635/57113716161707588819909458852574971187\ 6646162944859924468140598527*c_1001_1^15 + 3024001425169234591842415984699277048981651112485219176648084974521\ /399796013131953121739366211968024798313652314061401947127698418968\ 9*c_1001_1^14 - 678564776615252569598567057309556911807209449656619\ 4449824832120348/39979601313195312173936621196802479831365231406140\ 19471276984189689*c_1001_1^13 - 15874201982154853062501251049963963\ 423378574364869609665026987093219/399796013131953121739366211968024\ 7983136523140614019471276984189689*c_1001_1^12 + 2660038160284651091165940296339067703883721954128032685414110257682\ /363450921029048292490332919970931634830593012783092679206998562699\ *c_1001_1^11 + 4555418510269926335344986108136012258279676267461133\ 1948885131772235/39979601313195312173936621196802479831365231406140\ 19471276984189689*c_1001_1^10 - 11086185004550281907124165431379082\ 423632984438174307857350936558700/571137161617075888199094588525749\ 711876646162944859924468140598527*c_1001_1^9 - 7388902179040508465853220334284235685897687432441072289694636953814\ 9/39979601313195312173936621196802479831365231406140194712769841896\ 89*c_1001_1^8 + 123330358646187768939056434636883812840724461183900\ 466012697756330803/399796013131953121739366211968024798313652314061\ 4019471276984189689*c_1001_1^7 + 7908015347386572412619803136527903\ 4469751584628404152986468345570502/39979601313195312173936621196802\ 47983136523140614019471276984189689*c_1001_1^6 - 1641334024472627550097088992933483078178443405047212338916425416993\ 7/57113716161707588819909458852574971187664616294485992446814059852\ 7*c_1001_1^5 - 7912459505954479898814493134080006650149899750722117\ 139269338369173/571137161617075888199094588525749711876646162944859\ 924468140598527*c_1001_1^4 + 57971188927949652977967805918179743425\ 95751205314296308783947736334/3634509210290482924903329199709316348\ 30593012783092679206998562699*c_1001_1^3 + 2374109507454315213737983480479318674067559336089878848536062064307\ /363450921029048292490332919970931634830593012783092679206998562699\ *c_1001_1^2 - 17056433528022905972890466765663667063976994598659385\ 142471925633808/399796013131953121739366211968024798313652314061401\ 9471276984189689*c_1001_1 - 311499689729815397790648539380112725397\ 8902332031759611034825215793/39979601313195312173936621196802479831\ 36523140614019471276984189689, c_0101_0 + 876044424708514781988845724428503005594926470097/43704054803\ 908361043727049853569314239319207385465561*c_1001_1^20 + 1668973908848718783655565339950557281645590100237/43704054803908361\ 043727049853569314239319207385465561*c_1001_1^19 - 21987837918071792604647227719191885052014152864295/4370405480390836\ 1043727049853569314239319207385465561*c_1001_1^18 - 262632186265406697543915352918954460974627409548538/437040548039083\ 61043727049853569314239319207385465561*c_1001_1^17 - 688713683960713353632476009646325168782570427551189/437040548039083\ 61043727049853569314239319207385465561*c_1001_1^16 + 620063781138487410350988187804270270845618506257658/624343640055833\ 7291961007121938473462759886769352223*c_1001_1^15 + 15727129378652642152009868122616015578451225564449714/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^14 - 18730703860753035735477676745339142723703723119912145/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^13 - 83347564993593641127273196384768520131857447359747543/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^12 + 73812846893866301113770449952379743368466744023354393/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^11 + 266686184647063722445699533091820101207011928218489871/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^10 - 26145458186870035465238154572897079687124193876638524/6243436400558\ 337291961007121938473462759886769352223*c_1001_1^9 - 516225362369013148550730184457425848416265490555608120/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^8 + 279882473779226109650220680613921995836279471287232242/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^7 + 673619849058866997493710906946567594799332318226929838/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^6 - 30866933245332937782260263844907285589325619032225250/6243436400558\ 337291961007121938473462759886769352223*c_1001_1^5 - 81474571983662407448955986038828257401246631902048379/6243436400558\ 337291961007121938473462759886769352223*c_1001_1^4 + 53526128823567601753492360813586920846974408328348278/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1^3 + 319975475114489129362918474864660814507472825639685295/437040548039\ 08361043727049853569314239319207385465561*c_1001_1^2 + 71202074885683028044869317441320875114092918774587989/4370405480390\ 8361043727049853569314239319207385465561*c_1001_1 - 83224735921359929234909554758269789492874715767389058/4370405480390\ 8361043727049853569314239319207385465561, c_0101_2 + 516840322045431647837028649417390211934363578578041321322516\ 05/3997960131319531217393662119680247983136523140614019471276984189\ 689*c_1001_1^20 + 8026685608358179194874925736964546482175810084907\ 1817613916198/39979601313195312173936621196802479831365231406140194\ 71276984189689*c_1001_1^19 - 11925065878990567362921512127576690425\ 2490630141139905779325212/36345092102904829249033291997093163483059\ 3012783092679206998562699*c_1001_1^18 - 15069879813581086175577093010160680320060840820249846523604258751/3\ 997960131319531217393662119680247983136523140614019471276984189689*\ c_1001_1^17 - 35760548500748009936977857659240114724445424435985477\ 010748711389/399796013131953121739366211968024798313652314061401947\ 1276984189689*c_1001_1^16 + 380154359079413565848834484027764382570\ 19312505913895053033740866/5711371616170758881990945885257497118766\ 46162944859924468140598527*c_1001_1^15 + 841489976796273971346651702649872681875069303333421866275735741984/\ 3997960131319531217393662119680247983136523140614019471276984189689\ *c_1001_1^14 - 1290459540296828731393127729707756588087881275654811\ 921984976800165/399796013131953121739366211968024798313652314061401\ 9471276984189689*c_1001_1^13 - 452884625780725864281975199754716894\ 9123033175661470106097123352564/39979601313195312173936621196802479\ 83136523140614019471276984189689*c_1001_1^12 + 429659589164920115128762153938666448307757702638424515418318572756/\ 363450921029048292490332919970931634830593012783092679206998562699*\ c_1001_1^11 + 14205669960688643254425492404629350782426942796746929\ 175886533424163/399796013131953121739366211968024798313652314061401\ 9471276984189689*c_1001_1^10 - 150232323882928065519345899129796062\ 9228527782328130506391951500339/57113716161707588819909458852574971\ 1876646162944859924468140598527*c_1001_1^9 - 2853544027508959013960168134034405540368078267217156515530539313506\ 7/39979601313195312173936621196802479831365231406140194712769841896\ 89*c_1001_1^8 + 127662224625679639630820947226815879603538482124295\ 69164441902873882/3997960131319531217393662119680247983136523140614\ 019471276984189689*c_1001_1^7 + 40583205750156341583223063629064742\ 042631278567333231963327444041598/399796013131953121739366211968024\ 7983136523140614019471276984189689*c_1001_1^6 - 1178586543380012849139148247862117684601048641824274867469680494576\ /571137161617075888199094588525749711876646162944859924468140598527\ *c_1001_1^5 - 55833259382977510974935755199548818500027466414084359\ 97665298086515/5711371616170758881990945885257497118766461629448599\ 24468140598527*c_1001_1^4 + 113942660046264411642138498274671660846\ 254417132988980225940674792/363450921029048292490332919970931634830\ 593012783092679206998562699*c_1001_1^3 + 2110241381893444868913419781891948160332452768087791588485721665460\ /363450921029048292490332919970931634830593012783092679206998562699\ *c_1001_1^2 - 86712881803979410881273457683136200459107853887336784\ 1690537434364/39979601313195312173936621196802479831365231406140194\ 71276984189689*c_1001_1 - 71217104137454224052438956165390283905400\ 11006303462679339919922958/3997960131319531217393662119680247983136\ 523140614019471276984189689, c_0101_6 - 4063172407659634299476292299417478882221031485195827720715/4\ 4743434818299678996717089741589515552208914536882023785177713*c_100\ 1_1^20 - 6731493123883677839861782154071019452917413043072303632293\ /44743434818299678996717089741589515552208914536882023785177713*c_1\ 001_1^19 + 10180604397881895069904760159991972510781819143510382889\ 5448/44743434818299678996717089741589515552208914536882023785177713\ *c_1001_1^18 + 1189467583735407721730239921213471912876273312118766\ 801480459/447434348182996789967170897415895155522089145368820237851\ 77713*c_1001_1^17 + 29442831202772891654426948310244361609697367994\ 32887791030165/4474343481829967899671708974158951555220891453688202\ 3785177713*c_1001_1^16 - 290199765310339078775418994930192967594166\ 7526677341046233977/63919192597570969995310128202270736503155592195\ 54574826453959*c_1001_1^15 - 66464552470877792801081453774455279793\ 712345070833280367250313/447434348182996789967170897415895155522089\ 14536882023785177713*c_1001_1^14 + 94437553679296515726939199505822090862021943011800272434561668/4474\ 3434818299678996717089741589515552208914536882023785177713*c_1001_1\ ^13 + 3314074624856037439127088553578126344451951256082288494071475\ 65/44743434818299678996717089741589515552208914536882023785177713*c\ _1001_1^12 - 388543860033818349471101938747518146228218123450257854\ 133843107/447434348182996789967170897415895155522089145368820237851\ 77713*c_1001_1^11 - 98235027237287838010225902865429092287742756167\ 9367652748909832/44743434818299678996717089741589515552208914536882\ 023785177713*c_1001_1^10 + 1363227539761236212694011022264177192230\ 01051938411556089016957/6391919259757096999531012820227073650315559\ 219554574826453959*c_1001_1^9 + 16742858750495994000260498304622267\ 81999664820686258692101977657/4474343481829967899671708974158951555\ 2208914536882023785177713*c_1001_1^8 - 1407916874923581781626858086834422614175270611073708104214197124/44\ 743434818299678996717089741589515552208914536882023785177713*c_1001\ _1^7 - 193370762809558804090052371074939489819385820277662399301017\ 2275/44743434818299678996717089741589515552208914536882023785177713\ *c_1001_1^6 + 15307911709076156751639097099530654002843314379166005\ 5323852719/63919192597570969995310128202270736503155592195545748264\ 53959*c_1001_1^5 + 203545053826392962087155494988483013263094800204\ 498971797632086/639191925975709699953101282022707365031555921955457\ 4826453959*c_1001_1^4 - 4452876586098092750732078308584046545548218\ 77178274009029336276/4474343481829967899671708974158951555220891453\ 6882023785177713*c_1001_1^3 - 7344008858484406720069126931641116492\ 98892577761548523219894956/4474343481829967899671708974158951555220\ 8914536882023785177713*c_1001_1^2 + 8142660995159824215336596580345986229117303917571144525453107/44743\ 434818299678996717089741589515552208914536882023785177713*c_1001_1 + 104523224395391278841334689794083617976321136760973719797331300/447\ 43434818299678996717089741589515552208914536882023785177713, c_1001_1^21 + 2*c_1001_1^20 - 25*c_1001_1^19 - 302*c_1001_1^18 - 812*c_1001_1^17 + 4896*c_1001_1^16 + 18390*c_1001_1^15 - 20318*c_1001_1^14 - 96928*c_1001_1^13 + 82479*c_1001_1^12 + 311239*c_1001_1^11 - 215615*c_1001_1^10 - 595083*c_1001_1^9 + 367874*c_1001_1^8 + 750505*c_1001_1^7 - 348679*c_1001_1^6 - 596134*c_1001_1^5 + 203012*c_1001_1^4 + 314743*c_1001_1^3 - 46052*c_1001_1^2 - 69889*c_1001_1 + 11111 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB