Magma V2.19-8 Tue Aug 20 2013 23:55:50 on localhost [Seed = 3667702506] Type ? for help. Type -D to quit. Loading file "L14n13247__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13247 geometric_solution 10.97443182 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 2 0132 0132 3120 0213 1 1 1 1 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 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.287199154784 1.713165955019 0 3 0 4 0132 0132 3120 0132 1 1 1 1 0 -1 0 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 1 0 -1 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 0.287199154784 1.713165955019 3 0 5 0 3201 0132 0132 0213 1 1 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.287199154784 1.713165955019 6 1 6 2 0132 0132 2310 2310 1 1 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 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.369420905208 0.184014444191 5 7 1 5 1023 0132 0132 3012 1 1 1 1 0 0 -1 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 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.471161386073 1.160412776246 8 4 4 2 0132 1023 1230 0132 1 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 -1 0 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.471161386073 1.160412776246 3 3 8 7 0132 3201 0321 2103 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 0 0 0 0 0 0 0 0 0 0 0 -1 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.462834999165 1.019976191997 9 4 10 6 0132 0132 0132 2103 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 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 0 0 0.478591496877 0.549681439247 5 11 6 10 0132 0132 0321 3201 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 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.478591496877 0.549681439247 7 11 11 11 0132 1023 1230 1302 0 1 1 1 0 2 -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 -3 1 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 0 0 0 0.494907439965 0.977363439580 10 8 10 7 2031 2310 1302 0132 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 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.667099753504 0.575080785158 9 8 9 9 1023 0132 2031 3012 1 0 1 1 0 0 0 0 -2 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 3 0 -2 -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.494907439965 0.977363439580 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_7']), 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0101_9']), 'c_1010_11' : negation(d['c_0101_9']), 'c_1010_10' : negation(d['c_0101_5']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_10']), '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_1100_9' : d['c_0101_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : negation(d['c_1001_3']), 'c_1010_5' : d['c_0110_4'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : negation(d['c_0101_7']), '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' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0101_7'], 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_2'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_9'], 'c_1100_8' : negation(d['c_0011_10'])})} 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_11, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0101_7, c_0101_9, c_0110_4, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 444706073672655777670537911861306853418892671/451905778470971616930\ 604233171828136121380992*c_1001_3^16 - 2318294460945257625477038847514631971394911147/22595288923548580846\ 5302116585914068060690496*c_1001_3^15 - 199244789367928265585782286359910993125978103/753176297451619361551\ 00705528638022686896832*c_1001_3^14 + 7191588214661431491434100597557701683554170747/15063525949032387231\ 0201411057276045373793664*c_1001_3^13 + 1113703124483159315288898555469347795180111487/56488222308871452116\ 325529146478517015172624*c_1001_3^12 - 46857475322646389879927629819852677914344684601/4519057784709716169\ 30604233171828136121380992*c_1001_3^11 - 9876070613811698439055949884917730399349960365/15063525949032387231\ 0201411057276045373793664*c_1001_3^10 + 40568776993014385818808758093807800512260568475/4519057784709716169\ 30604233171828136121380992*c_1001_3^9 + 6217065505334684698780387419004361379066004133/75317629745161936155\ 100705528638022686896832*c_1001_3^8 - 3345091988829589408384700974024726904827742267/45190577847097161693\ 0604233171828136121380992*c_1001_3^7 - 12351939657040252824285391244657823209578046809/4519057784709716169\ 30604233171828136121380992*c_1001_3^6 - 9713909592700147713789589855135420097617334827/45190577847097161693\ 0604233171828136121380992*c_1001_3^5 - 461037343867647495373950776118462973854765809/251058765817206453850\ 33568509546007562298944*c_1001_3^4 - 2673311218238345612219640717418830778618718869/45190577847097161693\ 0604233171828136121380992*c_1001_3^3 + 1416151060516288427289417987121967560748160689/22595288923548580846\ 5302116585914068060690496*c_1001_3^2 + 3474683558008287846957970478162816053099487/69738546060335126069537\ 6903042944654508304*c_1001_3 + 293351242444661616841826683548032300\ 823983659/451905778470971616930604233171828136121380992, c_0011_0 - 1, c_0011_10 + 84948835399362053324705921/1592638950466206144431775179*c_1\ 001_3^16 + 1039155084805839617386720416/159263895046620614443177517\ 9*c_1001_3^15 + 2029308217484453957719434498/1592638950466206144431\ 775179*c_1001_3^14 - 1843436188616752538322244727/15926389504662061\ 44431775179*c_1001_3^13 - 10782577680144047356998411676/15926389504\ 66206144431775179*c_1001_3^12 - 2497490900464476120336523437/159263\ 8950466206144431775179*c_1001_3^11 + 26825831786177930804136425465/1592638950466206144431775179*c_1001_3\ ^10 + 18549382193908486910470127337/1592638950466206144431775179*c_\ 1001_3^9 - 24832042810520280095574670120/15926389504662061444317751\ 79*c_1001_3^8 - 24241621779482241081350730005/159263895046620614443\ 1775179*c_1001_3^7 - 830911224230004249770146787/159263895046620614\ 4431775179*c_1001_3^6 + 3915432197856757665398243526/15926389504662\ 06144431775179*c_1001_3^5 + 9169269090622012117349149681/1592638950\ 466206144431775179*c_1001_3^4 + 9051865315946146122911055315/159263\ 8950466206144431775179*c_1001_3^3 + 4190375441732618142981884188/1592638950466206144431775179*c_1001_3^\ 2 - 231060649340064431007915418/1592638950466206144431775179*c_1001\ _3 - 1645986959315643400639745813/1592638950466206144431775179, c_0011_11 + 1875181596350476334243442260/1592638950466206144431775179*c\ _1001_3^16 + 21586170572183328549654323402/159263895046620614443177\ 5179*c_1001_3^15 + 23906256045870989720741367242/159263895046620614\ 4431775179*c_1001_3^14 - 107777217597203380328830841106/15926389504\ 66206144431775179*c_1001_3^13 - 121105932449537214135635827688/1592\ 638950466206144431775179*c_1001_3^12 + 256828029746573467684749222704/1592638950466206144431775179*c_1001_\ 3^11 + 285917270041668126188699984052/1592638950466206144431775179*\ c_1001_3^10 - 245221031751765230633835303176/1592638950466206144431\ 775179*c_1001_3^9 - 285129614141340734653860410392/1592638950466206\ 144431775179*c_1001_3^8 + 49631530218434037173900544498/15926389504\ 66206144431775179*c_1001_3^7 + 52607231971436912058869566472/159263\ 8950466206144431775179*c_1001_3^6 + 12932196580912997806373430368/1592638950466206144431775179*c_1001_3\ ^5 + 71336179750490389465394984602/1592638950466206144431775179*c_1\ 001_3^4 + 46020782655676285308190582472/159263895046620614443177517\ 9*c_1001_3^3 - 287687736546876774138438204/159263895046620614443177\ 5179*c_1001_3^2 - 3824408473162665961185827282/15926389504662061444\ 31775179*c_1001_3 + 5337925846580238800120668734/159263895046620614\ 4431775179, c_0101_0 + 2201309391441816501888634554/1592638950466206144431775179*c_\ 1001_3^16 + 22902284921756625533711178766/1592638950466206144431775\ 179*c_1001_3^15 + 5355130705379287145623592837/15926389504662061444\ 31775179*c_1001_3^14 - 107368696071386673681532073031/1592638950466\ 206144431775179*c_1001_3^13 - 40911884382527087635694149418/1592638\ 950466206144431775179*c_1001_3^12 + 234482416045354312800719682713/1592638950466206144431775179*c_1001_\ 3^11 + 133315617745663176370102578468/1592638950466206144431775179*\ c_1001_3^10 - 207689343423029644663968851297/1592638950466206144431\ 775179*c_1001_3^9 - 155581400555785445063952174883/1592638950466206\ 144431775179*c_1001_3^8 + 26231074474042797131027207813/15926389504\ 66206144431775179*c_1001_3^7 + 24785904743428322736009885841/159263\ 8950466206144431775179*c_1001_3^6 + 32736402891875898530639482721/1592638950466206144431775179*c_1001_3\ ^5 + 54385477105490506665296328935/1592638950466206144431775179*c_1\ 001_3^4 + 24433893800632365335042876211/159263895046620614443177517\ 9*c_1001_3^3 - 2158591425045401112552636369/15926389504662061444317\ 75179*c_1001_3^2 - 1382283732292139418448465064/1592638950466206144\ 431775179*c_1001_3 + 3298952639748269412958362951/15926389504662061\ 44431775179, c_0101_1 - 1648380291502125617823520087/1592638950466206144431775179*c_\ 1001_3^16 - 17070569539360529095698117376/1592638950466206144431775\ 179*c_1001_3^15 - 3068225238647440301048553490/15926389504662061444\ 31775179*c_1001_3^14 + 81887357666645386671708655215/15926389504662\ 06144431775179*c_1001_3^13 + 27639991518685081759054047993/15926389\ 50466206144431775179*c_1001_3^12 - 182871408984420175834453593772/1592638950466206144431775179*c_1001_\ 3^11 - 96357127538819703289087291257/1592638950466206144431775179*c\ _1001_3^10 + 172832939179423825670688710103/15926389504662061444317\ 75179*c_1001_3^9 + 122867396061980423210960667473/15926389504662061\ 44431775179*c_1001_3^8 - 34923435305503832345140385405/159263895046\ 6206144431775179*c_1001_3^7 - 33744614851786076702486669138/1592638\ 950466206144431775179*c_1001_3^6 - 24663927151156860307730551550/1592638950466206144431775179*c_1001_3\ ^5 - 33210275659155203122524168419/1592638950466206144431775179*c_1\ 001_3^4 - 12662339278522156428063404790/159263895046620614443177517\ 9*c_1001_3^3 + 3601501159969426594842358619/15926389504662061444317\ 75179*c_1001_3^2 + 1739287904995603073768029222/1592638950466206144\ 431775179*c_1001_3 - 1404647074762713537998286412/15926389504662061\ 44431775179, c_0101_11 - 1, c_0101_2 + c_1001_3, c_0101_5 + 1875181596350476334243442260/1592638950466206144431775179*c_\ 1001_3^16 + 21586170572183328549654323402/1592638950466206144431775\ 179*c_1001_3^15 + 23906256045870989720741367242/1592638950466206144\ 431775179*c_1001_3^14 - 107777217597203380328830841106/159263895046\ 6206144431775179*c_1001_3^13 - 121105932449537214135635827688/15926\ 38950466206144431775179*c_1001_3^12 + 256828029746573467684749222704/1592638950466206144431775179*c_1001_\ 3^11 + 285917270041668126188699984052/1592638950466206144431775179*\ c_1001_3^10 - 245221031751765230633835303176/1592638950466206144431\ 775179*c_1001_3^9 - 285129614141340734653860410392/1592638950466206\ 144431775179*c_1001_3^8 + 49631530218434037173900544498/15926389504\ 66206144431775179*c_1001_3^7 + 52607231971436912058869566472/159263\ 8950466206144431775179*c_1001_3^6 + 12932196580912997806373430368/1592638950466206144431775179*c_1001_3\ ^5 + 71336179750490389465394984602/1592638950466206144431775179*c_1\ 001_3^4 + 46020782655676285308190582472/159263895046620614443177517\ 9*c_1001_3^3 - 287687736546876774138438204/159263895046620614443177\ 5179*c_1001_3^2 - 5417047423628872105617602461/15926389504662061444\ 31775179*c_1001_3 + 5337925846580238800120668734/159263895046620614\ 4431775179, c_0101_7 - 1600186984417361505269388373/1592638950466206144431775179*c_\ 1001_3^16 - 17792461007426499020874046605/1592638950466206144431775\ 179*c_1001_3^15 - 13566485917590825617506070664/1592638950466206144\ 431775179*c_1001_3^14 + 96363361571976681635341969556/1592638950466\ 206144431775179*c_1001_3^13 + 71208935273788609399575245776/1592638\ 950466206144431775179*c_1001_3^12 - 242809434673020350531803063331/1592638950466206144431775179*c_1001_\ 3^11 - 174413287882903193809158371765/1592638950466206144431775179*\ c_1001_3^10 + 269617548699155935438278459052/1592638950466206144431\ 775179*c_1001_3^9 + 190443948677881261010742417849/1592638950466206\ 144431775179*c_1001_3^8 - 104543998840116386096284918263/1592638950\ 466206144431775179*c_1001_3^7 - 54281844632701209315635830460/15926\ 38950466206144431775179*c_1001_3^6 - 2884301624287277172365498800/1592638950466206144431775179*c_1001_3^\ 5 - 44097685183033310523092366792/1592638950466206144431775179*c_10\ 01_3^4 - 19039743933946609212873097683/1592638950466206144431775179\ *c_1001_3^3 + 12174795337044603841313266030/15926389504662061444317\ 75179*c_1001_3^2 + 3722668243461270663824747440/1592638950466206144\ 431775179*c_1001_3 - 5895274790723019352714402970/15926389504662061\ 44431775179, c_0101_9 + 274994611933114828974053887/1592638950466206144431775179*c_1\ 001_3^16 + 3793709564756829528780276797/159263895046620614443177517\ 9*c_1001_3^15 + 10339770128280164103235296578/159263895046620614443\ 1775179*c_1001_3^14 - 11413856025226698693488871550/159263895046620\ 6144431775179*c_1001_3^13 - 49896997175748604736060581912/159263895\ 0466206144431775179*c_1001_3^12 + 14018595073553117152946159373/159\ 2638950466206144431775179*c_1001_3^11 + 111503982158764932379541612287/1592638950466206144431775179*c_1001_\ 3^10 + 24396516947390704804443155876/1592638950466206144431775179*c\ _1001_3^9 - 94685665463459473643117992543/1592638950466206144431775\ 179*c_1001_3^8 - 54912468621682348922384373765/15926389504662061444\ 31775179*c_1001_3^7 - 1674612661264297256766263988/1592638950466206\ 144431775179*c_1001_3^6 + 10047894956625720634007931568/15926389504\ 66206144431775179*c_1001_3^5 + 27238494567457078942302617810/159263\ 8950466206144431775179*c_1001_3^4 + 26981038721729676095317484789/1592638950466206144431775179*c_1001_3\ ^3 + 11887107600497727067174827826/1592638950466206144431775179*c_1\ 001_3^2 - 101740229701395297361079842/1592638950466206144431775179*\ c_1001_3 - 557348944142780552593734236/1592638950466206144431775179\ , c_0110_4 - 2201309391441816501888634554/1592638950466206144431775179*c_\ 1001_3^16 - 22902284921756625533711178766/1592638950466206144431775\ 179*c_1001_3^15 - 5355130705379287145623592837/15926389504662061444\ 31775179*c_1001_3^14 + 107368696071386673681532073031/1592638950466\ 206144431775179*c_1001_3^13 + 40911884382527087635694149418/1592638\ 950466206144431775179*c_1001_3^12 - 234482416045354312800719682713/1592638950466206144431775179*c_1001_\ 3^11 - 133315617745663176370102578468/1592638950466206144431775179*\ c_1001_3^10 + 207689343423029644663968851297/1592638950466206144431\ 775179*c_1001_3^9 + 155581400555785445063952174883/1592638950466206\ 144431775179*c_1001_3^8 - 26231074474042797131027207813/15926389504\ 66206144431775179*c_1001_3^7 - 24785904743428322736009885841/159263\ 8950466206144431775179*c_1001_3^6 - 32736402891875898530639482721/1592638950466206144431775179*c_1001_3\ ^5 - 54385477105490506665296328935/1592638950466206144431775179*c_1\ 001_3^4 - 24433893800632365335042876211/159263895046620614443177517\ 9*c_1001_3^3 + 2158591425045401112552636369/15926389504662061444317\ 75179*c_1001_3^2 + 1382283732292139418448465064/1592638950466206144\ 431775179*c_1001_3 - 3298952639748269412958362951/15926389504662061\ 44431775179, c_1001_3^17 + 194/17*c_1001_3^16 + 219/17*c_1001_3^15 - 795/17*c_1001_3^14 - 1166/17*c_1001_3^13 + 1514/17*c_1001_3^12 + 2928/17*c_1001_3^11 - 587/17*c_1001_3^10 - 3000/17*c_1001_3^9 - 1069/17*c_1001_3^8 + 580/17*c_1001_3^7 + 568/17*c_1001_3^6 + 630/17*c_1001_3^5 + 562/17*c_1001_3^4 + 143/17*c_1001_3^3 - 54/17*c_1001_3^2 + 8/17*c_1001_3 + 27/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.330 seconds, Total memory usage: 32.09MB