Magma V2.19-8 Tue Aug 20 2013 23:48:50 on localhost [Seed = 492533636] Type ? for help. Type -D to quit. Loading file "L12n1057__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1057 geometric_solution 11.22956273 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 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 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112962458931 0.546217948549 0 5 6 3 0132 0132 0132 0321 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.063525705089 1.177063783481 5 0 8 7 0132 0132 0132 0132 0 0 1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.331386854501 1.240125336616 6 1 9 0 0132 0321 0132 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.743313716824 0.730271504614 9 5 0 10 0132 1302 0132 0132 0 1 0 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 0 0 0 0 0 0 0 0 -1 -1 2 0 0 1 -1 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.219754434000 1.789628675598 2 1 7 4 0132 0132 0213 2031 0 0 1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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.131370637973 1.177550401976 3 8 8 1 0132 0132 1302 0132 0 1 1 1 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 -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.321480012334 1.083122946401 10 5 2 11 0321 0213 0132 0132 0 0 0 1 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 0 1 -2 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.517206224810 0.539118342615 6 6 9 2 2031 0132 3012 0132 0 0 1 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748156032275 0.848506811903 4 8 10 3 0132 1230 0132 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360466711010 0.916751215352 7 11 4 9 0321 1302 0132 0132 0 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 0 0 0 0 2 -2 0 -1 0 1 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.073357660064 0.965900753973 11 11 7 10 1302 2031 0132 2031 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580999885344 0.919093963067 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_0110_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0011_4'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_9'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : negation(d['c_0011_7']), '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_1001_9']), 'c_1100_5' : negation(d['c_0110_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : d['c_0101_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1001_9']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : negation(d['c_1001_9']), 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_2'], '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_7']), 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0011_7'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_7, c_0101_1, c_0101_2, c_0101_8, c_0110_11, c_1001_0, c_1001_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 79392998670207693847574171682513165128311903/1931115758009478700005\ 11657350775304454814720*c_1001_9^14 + 119749622677391088332695793344057838398344987/482778939502369675001\ 27914337693826113703680*c_1001_9^13 - 1659223565085537931763462241010998344015805719/96555787900473935000\ 255828675387652227407360*c_1001_9^12 - 7120858162450318959434793805828217293630406857/96555787900473935000\ 255828675387652227407360*c_1001_9^11 + 108925322893819816937977863833970667217847819971/965557879004739350\ 00255828675387652227407360*c_1001_9^10 + 11716280374997604935635388601076448597645104981/1755559780008617000\ 004651430461593676861952*c_1001_9^9 + 146708227901182889041728717570821396483404056359/193111575800947870\ 00051165735077530445481472*c_1001_9^8 - 2255690216353371994742325876781677148821963743/54861243125269281250\ 1453572019248024019360*c_1001_9^7 - 2260868654997897560056879099743664076076383253303/19311157580094787\ 0000511657350775304454814720*c_1001_9^6 + 170856315527678002963646256875552012875888935963/965557879004739350\ 00255828675387652227407360*c_1001_9^5 + 154063062782610577370931878873704113328422584941/877779890004308500\ 0023257152307968384309760*c_1001_9^4 + 813158862381048948397759726524016642466929251389/482778939502369675\ 00127914337693826113703680*c_1001_9^3 + 1505989912644272154547893745684049542263459495437/19311157580094787\ 0000511657350775304454814720*c_1001_9^2 + 105706275384124330585106070793623620037812273743/482778939502369675\ 00127914337693826113703680*c_1001_9 - 3099306020777711786937322044708526193898706081/12069473487559241875\ 031978584423456528425920, c_0011_0 - 1, c_0011_10 + 58383029696899690939446016150960367215/27430621562634640625\ 072678600962401200968*c_1001_9^14 + 177383525935360628831354004460589104495/137153107813173203125363393\ 00481200600484*c_1001_9^13 - 12130091999717243141339043290195690560\ 31/13715310781317320312536339300481200600484*c_1001_9^12 - 5291646666834353512435863192983229585143/13715310781317320312536339\ 300481200600484*c_1001_9^11 + 7989716838400416832629598926338410132\ 8869/13715310781317320312536339300481200600484*c_1001_9^10 + 477395737975447456469227861651968815403989/137153107813173203125363\ 39300481200600484*c_1001_9^9 + 558497336553311251855701709000687485\ 129189/13715310781317320312536339300481200600484*c_1001_9^8 - 137454820379042340609950685787344573591217/685765539065866015626816\ 9650240600300242*c_1001_9^7 - 1689810068889006875378644567697646485\ 328807/27430621562634640625072678600962401200968*c_1001_9^6 + 49324843075327911846547940465598146533055/6857655390658660156268169\ 650240600300242*c_1001_9^5 + 12567648703918802926909487200474488708\ 52245/13715310781317320312536339300481200600484*c_1001_9^4 + 308856138476110467624984554548658788395470/342882769532933007813408\ 4825120300150121*c_1001_9^3 + 1186534806505510929521430568790635802\ 722261/27430621562634640625072678600962401200968*c_1001_9^2 + 177617220500440522098876266160030988401389/137153107813173203125363\ 39300481200600484*c_1001_9 - 30274564390787929537841778861118330836\ 10/3428827695329330078134084825120300150121, c_0011_3 + 146015033269135204923694988442563877035/27430621562634640625\ 072678600962401200968*c_1001_9^14 + 448709703430079549320674109432631274313/137153107813173203125363393\ 00481200600484*c_1001_9^13 - 30032183183701228325360664490832663373\ 11/13715310781317320312536339300481200600484*c_1001_9^12 - 13448912495400802720812611585718147612635/1371531078131732031253633\ 9300481200600484*c_1001_9^11 + 198906719777533252119522959803549042\ 823133/13715310781317320312536339300481200600484*c_1001_9^10 + 1207983125641740026576726489894564545708757/13715310781317320312536\ 339300481200600484*c_1001_9^9 + 14791350688421521012198667410173084\ 53251017/13715310781317320312536339300481200600484*c_1001_9^8 - 300221228011713040486748823997793539341373/685765539065866015626816\ 9650240600300242*c_1001_9^7 - 4384443943244581607599800036636334972\ 504531/27430621562634640625072678600962401200968*c_1001_9^6 + 20661071915894090831079990215299681543347/3428827695329330078134084\ 825120300150121*c_1001_9^5 + 32116782440991615515950609385626562978\ 76977/13715310781317320312536339300481200600484*c_1001_9^4 + 838860253325170675739207230301957809554424/342882769532933007813408\ 4825120300150121*c_1001_9^3 + 3274430978118451719545598493385508321\ 456721/27430621562634640625072678600962401200968*c_1001_9^2 + 458185465535222639310530898712743807029183/137153107813173203125363\ 39300481200600484*c_1001_9 - 52155484905738179232919758381962558072\ 20/3428827695329330078134084825120300150121, c_0011_4 - 116825920192377245242872935621277464673/27430621562634640625\ 072678600962401200968*c_1001_9^14 - 350088317300459617732048579196433500123/137153107813173203125363393\ 00481200600484*c_1001_9^13 + 24544056504110089901154380331646887920\ 77/13715310781317320312536339300481200600484*c_1001_9^12 + 10372770727773935973637418439537327544357/1371531078131732031253633\ 9300481200600484*c_1001_9^11 - 160654945144509047443656572375800908\ 244255/13715310781317320312536339300481200600484*c_1001_9^10 - 941569369215431113796451633448339871960095/137153107813173203125363\ 39300481200600484*c_1001_9^9 - 104470749352482512254472413433741720\ 5377439/13715310781317320312536339300481200600484*c_1001_9^8 + 302785430596234006886599068369622393342467/685765539065866015626816\ 9650240600300242*c_1001_9^7 + 3214304753575828736471558753209333254\ 268849/27430621562634640625072678600962401200968*c_1001_9^6 - 77590150988174564544650872523568291355111/3428827695329330078134084\ 825120300150121*c_1001_9^5 - 24371532533593376617262880612858479501\ 47363/13715310781317320312536339300481200600484*c_1001_9^4 - 571337583231471186645727064909956561260102/342882769532933007813408\ 4825120300150121*c_1001_9^3 - 2153123741338675246914580465073582699\ 307419/27430621562634640625072678600962401200968*c_1001_9^2 - 330775336152782729523124705169604709580105/137153107813173203125363\ 39300481200600484*c_1001_9 + 47522035883239229992094462487556481321\ 60/3428827695329330078134084825120300150121, c_0011_7 - 6433089259370988321916129780434533497/1371531078131732031253\ 6339300481200600484*c_1001_9^14 - 205544477949197895535312378217338\ 73679/6857655390658660156268169650240600300242*c_1001_9^13 + 127659040537710832541885385860989119883/685765539065866015626816965\ 0240600300242*c_1001_9^12 + 625999925911385700836388261102992456691\ /6857655390658660156268169650240600300242*c_1001_9^11 - 8625325004936621034404936463299211618987/68576553906586601562681696\ 50240600300242*c_1001_9^10 - 55398437523220243636038949021498484101\ 805/6857655390658660156268169650240600300242*c_1001_9^9 - 77703161861196732066733316403686191253439/6857655390658660156268169\ 650240600300242*c_1001_9^8 + 68654264390204576857605613000637300455\ 79/3428827695329330078134084825120300150121*c_1001_9^7 + 215096861244078134763517934984306376422293/137153107813173203125363\ 39300481200600484*c_1001_9^6 + 833394354044660086238392036034360260\ 7030/3428827695329330078134084825120300150121*c_1001_9^5 - 150371850803935935243766552242356946535783/685765539065866015626816\ 9650240600300242*c_1001_9^4 - 9010324643482003232608908144064099395\ 1511/3428827695329330078134084825120300150121*c_1001_9^3 - 186959861133600401325582601744929747512611/137153107813173203125363\ 39300481200600484*c_1001_9^2 - 307941201274748100717897366635689457\ 17397/6857655390658660156268169650240600300242*c_1001_9 - 1871277185510513194482530597853438902865/34288276953293300781340848\ 25120300150121, c_0101_1 - 10476356112784054620354583075928679648/342882769532933007813\ 4084825120300150121*c_1001_9^14 - 127046835267928109999557600076365\ 865339/6857655390658660156268169650240600300242*c_1001_9^13 + 436927320734853887600720671187097301077/342882769532933007813408482\ 5120300150121*c_1001_9^12 + 189814213514266909557682601204745740833\ 2/3428827695329330078134084825120300150121*c_1001_9^11 - 28730905519959558245981576649900531299493/3428827695329330078134084\ 825120300150121*c_1001_9^10 - 1711016929139385290350452474355054815\ 59484/3428827695329330078134084825120300150121*c_1001_9^9 - 196070561299916334767881692217354346195157/342882769532933007813408\ 4825120300150121*c_1001_9^8 + 1141232833839447571716015381623339375\ 71349/3428827695329330078134084825120300150121*c_1001_9^7 + 315252623051134525649215761860449437664896/342882769532933007813408\ 4825120300150121*c_1001_9^6 - 1123400840462158243319087684114179982\ 16413/6857655390658660156268169650240600300242*c_1001_9^5 - 475163132372983885804755524727604006430086/342882769532933007813408\ 4825120300150121*c_1001_9^4 - 4228526841500359727066313571562259180\ 09333/3428827695329330078134084825120300150121*c_1001_9^3 - 166941819621456201106976997972237611572496/342882769532933007813408\ 4825120300150121*c_1001_9^2 - 8439694363024423143747115196609301497\ 9861/6857655390658660156268169650240600300242*c_1001_9 + 7544823018873321707821902615210547366185/34288276953293300781340848\ 25120300150121, c_0101_2 - 22633609589192208371952261646901754683/137153107813173203125\ 36339300481200600484*c_1001_9^14 - 34080491903476279212822826135726893348/3428827695329330078134084825\ 120300150121*c_1001_9^13 + 474094300722192314360123357237691940789/\ 6857655390658660156268169650240600300242*c_1001_9^12 + 2027062404233758185026999928699346218571/68576553906586601562681696\ 50240600300242*c_1001_9^11 - 31091656177438915939281438075360135102\ 755/6857655390658660156268169650240600300242*c_1001_9^10 - 183438402618473680694121921131621893658671/685765539065866015626816\ 9650240600300242*c_1001_9^9 - 2061324627756724258257369454377845969\ 44319/6857655390658660156268169650240600300242*c_1001_9^8 + 60181437282066371104295919960498349969745/3428827695329330078134084\ 825120300150121*c_1001_9^7 + 64371835595415055455656547469483222231\ 2207/13715310781317320312536339300481200600484*c_1001_9^6 - 62104684089456747068715128165607646152119/6857655390658660156268169\ 650240600300242*c_1001_9^5 - 48725180130221104090119198064706248700\ 0609/6857655390658660156268169650240600300242*c_1001_9^4 - 222094799547364229923723595980322858947564/342882769532933007813408\ 4825120300150121*c_1001_9^3 - 3972665147879118473543932536527625600\ 77657/13715310781317320312536339300481200600484*c_1001_9^2 - 32978727122749995303810715180807599174958/3428827695329330078134084\ 825120300150121*c_1001_9 + 2007662134990731024161023598338281149454\ /3428827695329330078134084825120300150121, c_0101_8 - 118961197621171500605338751112336631939/27430621562634640625\ 072678600962401200968*c_1001_9^14 - 358139789627980799534217136383108398081/137153107813173203125363393\ 00481200600484*c_1001_9^13 + 24911740744641779683888726533998072977\ 03/13715310781317320312536339300481200600484*c_1001_9^12 + 10640845451570605913172792454325967239655/1371531078131732031253633\ 9300481200600484*c_1001_9^11 - 163382072267293559216822139519013649\ 536133/13715310781317320312536339300481200600484*c_1001_9^10 - 963556127618752919333749074665916108784477/137153107813173203125363\ 39300481200600484*c_1001_9^9 - 108527199626627614450626061389898134\ 1245781/13715310781317320312536339300481200600484*c_1001_9^8 + 305475771176829388028979559003874159251671/685765539065866015626816\ 9650240600300242*c_1001_9^7 + 3330296762813909038604634853477526936\ 775243/27430621562634640625072678600962401200968*c_1001_9^6 - 71597742137416008751874541412319912359282/3428827695329330078134084\ 825120300150121*c_1001_9^5 - 25213820786381403592917400903141014649\ 03249/13715310781317320312536339300481200600484*c_1001_9^4 - 595562206863062261234964488941121992501453/342882769532933007813408\ 4825120300150121*c_1001_9^3 - 2210556916721353658639677763120341839\ 140865/27430621562634640625072678600962401200968*c_1001_9^2 - 326632785420689768184298501081403787152871/137153107813173203125363\ 39300481200600484*c_1001_9 + 36965060498918955035868920558935425271\ 70/3428827695329330078134084825120300150121, c_0110_11 + 61588782398188159478890418083330945261/27430621562634640625\ 072678600962401200968*c_1001_9^14 + 186385257770304148938660325499960079201/137153107813173203125363393\ 00481200600484*c_1001_9^13 - 12827467733586835312092721949975696838\ 37/13715310781317320312536339300481200600484*c_1001_9^12 - 5544701572906127708555294071287425101897/13715310781317320312536339\ 300481200600484*c_1001_9^11 + 8435479388305568843074184494816180561\ 6187/13715310781317320312536339300481200600484*c_1001_9^10 + 501408505284942251466951919958263463617903/137153107813173203125363\ 39300481200600484*c_1001_9^9 + 580980997709792193688522173759651988\ 813083/13715310781317320312536339300481200600484*c_1001_9^8 - 143002046903295090424974418750857789698633/685765539065866015626816\ 9650240600300242*c_1001_9^7 - 1754271018208916944705289896866550931\ 143589/27430621562634640625072678600962401200968*c_1001_9^6 + 52652952788693979732769572536536638086861/6857655390658660156268169\ 650240600300242*c_1001_9^5 + 13066703716104094984375786912193809595\ 58643/13715310781317320312536339300481200600484*c_1001_9^4 + 325700775198155544509153377327650767192251/342882769532933007813408\ 4825120300150121*c_1001_9^3 + 1256438560096206091055321539442547283\ 621391/27430621562634640625072678600962401200968*c_1001_9^2 + 179763698654782548027336698568687303555719/137153107813173203125363\ 39300481200600484*c_1001_9 - 29891508056714437203982751804004083112\ 04/3428827695329330078134084825120300150121, c_1001_0 - 1, c_1001_9^15 + 6*c_1001_9^14 - 42*c_1001_9^13 - 178*c_1001_9^12 + 2750*c_1001_9^11 + 16142*c_1001_9^10 + 17934*c_1001_9^9 - 10636*c_1001_9^8 - 28137*c_1001_9^7 + 5320*c_1001_9^6 + 42582*c_1001_9^5 + 39472*c_1001_9^4 + 17515*c_1001_9^3 + 4666*c_1001_9^2 - 808*c_1001_9 + 32, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB