Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 3633923073] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0921 geometric_solution 4.81504767 oriented_manifold CS_known -0.0000000000000001 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584567621704 0.210343973852 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.900866808034 0.334639581309 1 3 1 4 0132 0132 1023 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 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 1.422900760096 0.437234574212 4 2 5 4 3120 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 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.285498189657 0.630040834966 3 5 2 3 3201 0132 0132 3120 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 0 0 0 0 0 0 0 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.285498189657 0.630040834966 6 4 6 3 0132 0132 1023 0132 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 0 1 -1 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.459171974196 3.070701842069 5 6 5 6 0132 1302 1023 2031 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 -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.344793816319 0.166369614055 ==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' : 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' : 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' : negation(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' : negation(d['c_0011_1']), '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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0011_1']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_5'], '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' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_1']), 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_3'], '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: 22 Groebner basis: [ t - 2054591256421100740473000578726845623292928149141635361468459464497\ /400280394819994991166492932302880995921881643003230238012184216384\ *c_1001_3^21 + 2397818844587900136755856736072989807893556092130182\ 92334729138225/6254381169062421736976452067232515561279400671925472\ 468940378381*c_1001_3^20 + 3511850082174353789504453375292229567409\ 5679132798688329394674590269/40028039481999499116649293230288099592\ 1881643003230238012184216384*c_1001_3^19 - 3511956967033364476644206603879528637141710621954233089671147149899\ 15/4002803948199949911664929323028809959218816430032302380121842163\ 84*c_1001_3^18 - 41353451317893719270054249297124226866853316715452\ 263528862566976835/100070098704998747791623233075720248980470410750\ 807559503046054096*c_1001_3^17 + 4361495965705666667783156156943060\ 545775746649313566937234152658806415/400280394819994991166492932302\ 880995921881643003230238012184216384*c_1001_3^16 - 2381412930725903914019081242369825827068006381383699056861867605248\ 839/400280394819994991166492932302880995921881643003230238012184216\ 384*c_1001_3^15 - 3331808061036951620976161469768224356512780685935\ 868210207809200123559/400280394819994991166492932302880995921881643\ 003230238012184216384*c_1001_3^14 + 2346687121974066438611294670374520905061739755174979455860256339813\ 495/200140197409997495583246466151440497960940821501615119006092108\ 192*c_1001_3^13 - 4133547028412003188093082434807702526268197731953\ 1384879979827342651159/40028039481999499116649293230288099592188164\ 3003230238012184216384*c_1001_3^12 + 1141816603884717461177337649870244949730438434923335706033487995343\ 83441/4002803948199949911664929323028809959218816430032302380121842\ 16384*c_1001_3^11 + 16944817783672854603924123732919881702415034676\ 6740686846915420803520051/40028039481999499116649293230288099592188\ 1643003230238012184216384*c_1001_3^10 - 2859436674286803335977834146161268241897770187828830250062548066001\ 58197/4002803948199949911664929323028809959218816430032302380121842\ 16384*c_1001_3^9 - 157898491790340035713275744754117968457704188913\ 73227979383884527068811/2501752467624968694790580826893006224511760\ 2687701889875761513524*c_1001_3^8 + 2282603640034122699356402597753144888753254844544775583330278035567\ 144/625438116906242173697645206723251556127940067192547246894037838\ 1*c_1001_3^7 + 1643301722131987160322011006116296571809665472916034\ 02358786920458323807/4002803948199949911664929323028809959218816430\ 03230238012184216384*c_1001_3^6 + 511257994989432843164160017830846\ 1392346919273714832321878737719887005/23545905577646764186264290135\ 463587995404802529601778706599071552*c_1001_3^5 - 2685036459152485148764660180570833933235110177410146712975813482049\ 535/250175246762496869479058082689300622451176026877018898757615135\ 24*c_1001_3^4 - 311040107264291243227283256185319203487322978963362\ 93288748816546302527/2001401974099974955832464661514404979609408215\ 01615119006092108192*c_1001_3^3 - 635876783969210654785844298934286\ 2225685537742425729555190343725404979/40028039481999499116649293230\ 2880995921881643003230238012184216384*c_1001_3^2 + 6586372692817793879480816794936548510522052711819768375660979254293\ 417/400280394819994991166492932302880995921881643003230238012184216\ 384*c_1001_3 + 1346292153655761979081448194373013325742154899877336\ 713628891827117569/400280394819994991166492932302880995921881643003\ 230238012184216384, c_0011_0 - 1, c_0011_1 - 259491274229882377919194333748253323960651469607782893523222\ 12/367904774650730690410379533366618562428200039525027792290610493*\ c_1001_3^21 + 19682426160668226334681941758902354638437073931347294\ 4935394742/36790477465073069041037953336661856242820003952502779229\ 0610493*c_1001_3^20 + 419961584262092126603072203571815024422584078\ 013055502131144311/367904774650730690410379533366618562428200039525\ 027792290610493*c_1001_3^19 - 4478029466656906387130320248295687469\ 000059228189734429137694253/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^18 - 1559987401685942297906203045769232279542561018676120382933305887/36\ 7904774650730690410379533366618562428200039525027792290610493*c_100\ 1_3^17 + 5512742296423016949570142323088569541611682538067866978523\ 2891413/36790477465073069041037953336661856242820003952502779229061\ 0493*c_1001_3^16 - 364610410065261652160474004062111935933413017453\ 57946301804794515/3679047746507306904103795333666185624282000395250\ 27792290610493*c_1001_3^15 - 36195692442755412965896835669279401053\ 238137697823243631864398512/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^14 + 61781179725362154504851624737780718675644066541657945478750180069/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3^13 - 529856901505595318343380047895752665122520504854170731769\ 411041066/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^12 + 1505525420681439977176876811720744080598108165\ 542864152094492826663/367904774650730690410379533366618562428200039\ 525027792290610493*c_1001_3^11 + 1949156529385426067725462029023718\ 486413120650441489941184911253352/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^10 - 3786264862041315044491875667954233312114227050757326328664772132745\ /367904774650730690410379533366618562428200039525027792290610493*c_\ 1001_3^9 - 27110604930763735043837514654650206820589678204518185588\ 09177268078/3679047746507306904103795333666185624282000395250277922\ 90610493*c_1001_3^8 + 202680137001082140281353314847295783536730458\ 9070707391749322495638/36790477465073069041037953336661856242820003\ 9525027792290610493*c_1001_3^7 + 1798118452309867845225620900579452\ 169588757818600048345031731596364/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^6 + 968905782603873972087660233737119334791385012961150927725660233357/\ 367904774650730690410379533366618562428200039525027792290610493*c_1\ 001_3^5 - 618198233725752478487348441407677714990014883153203882714\ 102733338/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^4 - 69343227559234925989501377662743889075246257314\ 8318761141672275782/36790477465073069041037953336661856242820003952\ 5027792290610493*c_1001_3^3 - 2685621462410356220164930871237561073\ 3090244585452170802792761734/36790477465073069041037953336661856242\ 8200039525027792290610493*c_1001_3^2 + 71276209614194752231544119634118799167052834963851641976365727907/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3 + 112184256601579763081455531213394318665395139336706194209817\ 15121/3679047746507306904103795333666185624282000395250277922906104\ 93, c_0011_4 + 249165193955242543140434480282422535574640633251560918147591\ 33/367904774650730690410379533366618562428200039525027792290610493*\ c_1001_3^21 - 19110183754049809897160555273293218054741306684250470\ 0001116024/36790477465073069041037953336661856242820003952502779229\ 0610493*c_1001_3^20 - 386379348826130735353946196216406433364829705\ 317356651475704526/367904774650730690410379533366618562428200039525\ 027792290610493*c_1001_3^19 + 4327180891078976176453498810684206802\ 707268922840016340161410635/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^18 + 1121643256574676029493312060014590201936927733359734060910238483/36\ 7904774650730690410379533366618562428200039525027792290610493*c_100\ 1_3^17 - 5290857961108173779796354703937073337805823394021592254652\ 1248867/36790477465073069041037953336661856242820003952502779229061\ 0493*c_1001_3^16 + 395031148646863810417939204255615256912063645739\ 72618366068766960/3679047746507306904103795333666185624282000395250\ 27792290610493*c_1001_3^15 + 29963651143888637360502015981486258785\ 433850066580359082734364732/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^14 - 60558766837288721469478803265923735293127187463012777341559829724/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3^13 + 514348629361328022405027633370052966007810537743411957459\ 477326619/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^12 - 1490878417065673809739939012480143655842637334\ 384958752431042397642/367904774650730690410379533366618562428200039\ 525027792290610493*c_1001_3^11 - 1730827181191174020995856990192557\ 503972664694865745037498813992624/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^10 + 3738857958801203373569675701897800896378841558190324528507436765894\ /367904774650730690410379533366618562428200039525027792290610493*c_\ 1001_3^9 + 22466276652690481023645461807928827323775754445056501799\ 15458465374/3679047746507306904103795333666185624282000395250277922\ 90610493*c_1001_3^8 - 203256131871176538821505628222020270973320800\ 2639140660717808533645/36790477465073069041037953336661856242820003\ 9525027792290610493*c_1001_3^7 - 1516366771815840028641922340322173\ 653486558886190417701761758469980/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^6 - 856115305637068912022272527735044481398542430285843736011609885876/\ 367904774650730690410379533366618562428200039525027792290610493*c_1\ 001_3^5 + 643283458672481647458051623999535053444399805486603192232\ 456290464/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^4 + 59279269717198078246747837915321812886324788120\ 9078158976133697851/36790477465073069041037953336661856242820003952\ 5027792290610493*c_1001_3^3 - 6194107607228823560091672956957035108\ 822896510275685128173998567/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^2 - 58771343402877323774281510371405000709371797407669249681722967682/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3 - 812159380849065329772055786686933613347262574449687382124881\ 8135/36790477465073069041037953336661856242820003952502779229061049\ 3, c_0101_0 - 205345557074341079870748641407668073330270064684641394901637\ 58/367904774650730690410379533366618562428200039525027792290610493*\ c_1001_3^21 + 15476810931171749303692597516492049237818892948100488\ 2672514076/36790477465073069041037953336661856242820003952502779229\ 0610493*c_1001_3^20 + 340203047833168610645422270525082694745822547\ 866685460139804696/367904774650730690410379533366618562428200039525\ 027792290610493*c_1001_3^19 - 3530710683701986521840786535950782225\ 875987871158482745344950827/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^18 - 1410188470790001862199438947934953261660967796675611263405888740/36\ 7904774650730690410379533366618562428200039525027792290610493*c_100\ 1_3^17 + 4363304486391443084530262217430424587067642859761435655125\ 6629378/36790477465073069041037953336661856242820003952502779229061\ 0493*c_1001_3^16 - 267519131355515112589633449631922925202003811983\ 47169732600843506/3679047746507306904103795333666185624282000395250\ 27792290610493*c_1001_3^15 - 30845211862640160282927263160987507006\ 971889454446595007451139862/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^14 + 48270526366883858086260289434016088518938255311956633614715672203/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3^13 - 416710090278880072267829267092816550540051100219448529674\ 728208855/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^12 + 1170291191367209822760058733068076585035645189\ 556965740742807545410/367904774650730690410379533366618562428200039\ 525027792290610493*c_1001_3^11 + 1607876542906313156684890336126136\ 934466342717109188493449776124210/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^10 - 2946779206772559171441375102371338573155457200654378561044419706686\ /367904774650730690410379533366618562428200039525027792290610493*c_\ 1001_3^9 - 23111022165166892833847454590444042103841109266898619951\ 76020883362/3679047746507306904103795333666185624282000395250277922\ 90610493*c_1001_3^8 + 155999555220014921388581721784797871529708233\ 9264038992127345211507/36790477465073069041037953336661856242820003\ 9525027792290610493*c_1001_3^7 + 1520757462531846059922687569618338\ 617356766761607108738916153767412/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^6 + 804502362587955793670636838414872878539987235617523157192794053276/\ 367904774650730690410379533366618562428200039525027792290610493*c_1\ 001_3^5 - 466307241066108923452555864406829898041677151171248210300\ 730291576/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^4 - 58349763758492378961729684997189427337427748752\ 7711377874539106339/36790477465073069041037953336661856242820003952\ 5027792290610493*c_1001_3^3 - 3668274884745269920555024674870056131\ 5928210608917961063687922397/36790477465073069041037953336661856242\ 8200039525027792290610493*c_1001_3^2 + 60838246866777865076629798047669541595199659962571946625896938078/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3 + 102927686386088905652198390668250752806099365954952823379988\ 62038/3679047746507306904103795333666185624282000395250277922906104\ 93, c_0101_1 - 264936189772414182545826926762474166210777192914403098424695\ 82/367904774650730690410379533366618562428200039525027792290610493*\ c_1001_3^21 + 20230074821499146411567200846078555270363583054461661\ 1212763883/36790477465073069041037953336661856242820003952502779229\ 0610493*c_1001_3^20 + 417856523370851826454049700122777137761066442\ 618393313279773689/367904774650730690410379533366618562428200039525\ 027792290610493*c_1001_3^19 - 4588417065282710845148383519924628664\ 157155339713763195767513970/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^18 - 1349394283810873181684555743972547967988926449530915148361178198/36\ 7904774650730690410379533366618562428200039525027792290610493*c_100\ 1_3^17 + 5624468486466910455580221559309370927634722268764103463486\ 7044614/36790477465073069041037953336661856242820003952502779229061\ 0493*c_1001_3^16 - 401197986436050072066781310514197995586711085290\ 18668128877690689/3679047746507306904103795333666185624282000395250\ 27792290610493*c_1001_3^15 - 33599991984698950554859430202046314913\ 747827942198856722877346777/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^14 + 63874695193218684262211950322732526474378203870405467421276371720/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3^13 - 544700712429539583227577606944311446986834486105545594865\ 895236330/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^12 + 1566263500915560661709822262976545274352582832\ 855242772966693963344/367904774650730690410379533366618562428200039\ 525027792290610493*c_1001_3^11 + 1897329130858841175983754617630087\ 765120832996667240010260195480472/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^10 - 3925060758432947381049649498412859876423431342751980615871437282948\ /367904774650730690410379533366618562428200039525027792290610493*c_\ 1001_3^9 - 25244436896148873157844787422994279920441040357492904856\ 41803823706/3679047746507306904103795333666185624282000395250277922\ 90610493*c_1001_3^8 + 211519337602121544417490065383073272509470227\ 9963649915051986643896/36790477465073069041037953336661856242820003\ 9525027792290610493*c_1001_3^7 + 1681633737265183189254441074297788\ 598513897822355802908425471863421/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^6 + 938919003919551496753255918003306788025959493100463379716096222441/\ 367904774650730690410379533366618562428200039525027792290610493*c_1\ 001_3^5 - 658360684046633012536838194734296559649867812420290079094\ 947045789/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^4 - 65424219632232225414810556015357552280353899342\ 7885651091031260714/36790477465073069041037953336661856242820003952\ 5027792290610493*c_1001_3^3 - 4873313103122433011349924007205707181\ 440439512677493995633002620/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^2 + 65227241670181110984692927764192407978527880305927205593555354908/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3 + 953881146436563647253984539326654903237742686922584707842855\ 0127/36790477465073069041037953336661856242820003952502779229061049\ 3, c_0101_5 - 246202087868938938277965588297365980666054391486528257625017\ 00/367904774650730690410379533366618562428200039525027792290610493*\ c_1001_3^21 + 18754326151632721122079110497293534243603944286719052\ 5054232742/36790477465073069041037953336661856242820003952502779229\ 0610493*c_1001_3^20 + 391957133183094213296855483817373923676233470\ 565295145203042508/367904774650730690410379533366618562428200039525\ 027792290610493*c_1001_3^19 - 4258255901287487773933965569672740461\ 374226127967175323266940033/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^18 - 1335659964505011056668253155965606108888349850896466297307418276/36\ 7904774650730690410379533366618562428200039525027792290610493*c_100\ 1_3^17 + 5227676734599513308218239912898490574599538379792743174171\ 0857802/36790477465073069041037953336661856242820003952502779229061\ 0493*c_1001_3^16 - 363061129598532322123894537525968367866733289908\ 80400502104605643/3679047746507306904103795333666185624282000395250\ 27792290610493*c_1001_3^15 - 32306676418669548463854919123322458599\ 101014047197683684349228807/367904774650730690410379533366618562428\ 200039525027792290610493*c_1001_3^14 + 58993027471103288054965923141676768634268203049956296743044903996/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3^13 - 504910767737201766077069601058059142507114173021581992692\ 758136778/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^12 + 1445788042345135837088581355557385173223783234\ 744196415280047727504/367904774650730690410379533366618562428200039\ 525027792290610493*c_1001_3^11 + 1793840219706647218325521997364579\ 516681174256172381005674687817741/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^10 - 3625694076398666341651411456519638619472604251409625968012765858116\ /367904774650730690410379533366618562428200039525027792290610493*c_\ 1001_3^9 - 24281922435020965010309943184769449604100352118764892028\ 93388632491/3679047746507306904103795333666185624282000395250277922\ 90610493*c_1001_3^8 + 194504751916464298773806522849906269399867926\ 5297877839224349299106/36790477465073069041037953336661856242820003\ 9525027792290610493*c_1001_3^7 + 1616769321665162962995699193877762\ 099642877317500825763519417566401/367904774650730690410379533366618\ 562428200039525027792290610493*c_1001_3^6 + 893501180828024810391678028025823259697538876291418000852644426361/\ 367904774650730690410379533366618562428200039525027792290610493*c_1\ 001_3^5 - 602351669973390453160592435836516313236331081151560512581\ 017829299/367904774650730690410379533366618562428200039525027792290\ 610493*c_1001_3^4 - 62620639000131019395899970304056066672549881564\ 5421344796409827882/36790477465073069041037953336661856242820003952\ 5027792290610493*c_1001_3^3 - 1401918915125897858194145421277096262\ 7535469850493578209622567950/36790477465073069041037953336661856242\ 8200039525027792290610493*c_1001_3^2 + 62948499249868714847683170798562981917026667087893394423845014583/3\ 67904774650730690410379533366618562428200039525027792290610493*c_10\ 01_3 + 951493351178089308730669466112674387280034293939486246056357\ 8460/36790477465073069041037953336661856242820003952502779229061049\ 3, c_1001_3^22 - 8*c_1001_3^21 - 13*c_1001_3^20 + 179*c_1001_3^19 - 12*c_1001_3^18 - 2143*c_1001_3^17 + 2287*c_1001_3^16 + 735*c_1001_3^15 - 2886*c_1001_3^14 + 21431*c_1001_3^13 - 66585*c_1001_3^12 - 50267*c_1001_3^11 + 174749*c_1001_3^10 + 41928*c_1001_3^9 - 115712*c_1001_3^8 - 35023*c_1001_3^7 - 11781*c_1001_3^6 + 38040*c_1001_3^5 + 15902*c_1001_3^4 - 8973*c_1001_3^3 - 2641*c_1001_3^2 + 567*c_1001_3 + 136 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB