Magma V2.19-8 Tue Aug 20 2013 23:44:54 on localhost [Seed = 1814694351] Type ? for help. Type -D to quit. Loading file "K13n2122__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2122 geometric_solution 10.96944719 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.022836393618 0.912070197416 0 5 2 6 0132 0132 2031 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 0 0 0 0 0 0 0 -1 0 1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.019033431637 0.827700490829 5 0 7 1 0132 0132 0132 1302 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 0 -1 1 0 0 0 6 -6 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.223633118906 1.021245438319 8 9 7 0 0132 0132 3201 0132 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 0 -6 0 6 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.459070938055 0.708494893537 10 11 0 6 0132 0132 0132 3201 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 1 -1 0 0 0 0 1 -1 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269713313540 0.630861845940 2 1 10 11 0132 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.273407564596 1.236462082385 7 4 1 9 1023 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.481014749736 1.569879942263 3 6 8 2 2310 1023 1023 0132 0 0 0 0 0 0 0 0 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 0 1 -1 1 0 5 -6 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306847953572 1.110899037475 3 11 7 10 0132 1230 1023 2103 0 0 0 0 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 0 0 0 0 0 -5 5 6 0 -1 -5 -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.820506367162 0.841766775773 10 3 6 11 2103 0132 1230 0213 0 0 0 0 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 5 0 0 -5 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.205405618571 0.807236464583 4 5 9 8 0132 0213 2103 2103 0 0 0 0 0 0 0 0 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 0 0 0 0 0 -5 5 5 0 0 -5 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.377468917054 0.948966321749 5 4 8 9 3120 0132 3012 0213 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 0 -5 0 5 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457472552346 1.334572808355 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0110_6'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : d['c_0110_6'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : d['c_0110_6'], 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_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_0110_6'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : d['c_0101_2'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0110_6'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0101_1']), '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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], '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_0101_2'], 'c_0110_10' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), '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_10'], 'c_0101_8' : d['c_0101_0'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} 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_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_7, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 89549508552544640835748149423/2852119423696910713881469585*c_1001_0\ ^17 - 539671838637620860120499790885/3992967193175674999434057419*c\ _1001_0^16 + 22821378792337467248400954680791/598945078976351249915\ 10861285*c_1001_0^15 - 16577802788055778957803158117258/25669074813\ 272196424933226265*c_1001_0^14 + 55809118313800462635979755080029/5\ 9894507897635124991510861285*c_1001_0^13 - 134668516949097532041242027786369/179683523692905374974532583855*c_\ 1001_0^12 + 7646187924806703661411955672449/25669074813272196424933\ 226265*c_1001_0^11 + 108855018346754867625955511905871/179683523692\ 905374974532583855*c_1001_0^10 - 37363983013038620520214697161529/5\ 9894507897635124991510861285*c_1001_0^9 + 74421855605641835380566421587584/59894507897635124991510861285*c_10\ 01_0^8 - 21759098554379722868667129701345/1197890157952702499830217\ 2257*c_1001_0^7 + 133745941531664583100335055042022/598945078976351\ 24991510861285*c_1001_0^6 - 3103596966999463494681417006538/3390255\ 164017082546689294035*c_1001_0^5 + 8833174813036056400160355667564/25669074813272196424933226265*c_100\ 1_0^4 - 10462256255788860034134425243416/59894507897635124991510861\ 285*c_1001_0^3 + 53988328170512864227242038013023/17968352369290537\ 4974532583855*c_1001_0^2 - 7001515624077510839748270151/17968352369\ 2905374974532583855*c_1001_0 + 1710265779218867700397853990792/2566\ 9074813272196424933226265, c_0011_0 - 1, c_0011_10 - 4550669710942849407/1312430854630465343039*c_1001_0^17 - 1250072132389844531076/1312430854630465343039*c_1001_0^16 + 3973744215788590290003/1312430854630465343039*c_1001_0^15 - 12019363897174355519353/1312430854630465343039*c_1001_0^14 + 22964624067813834587249/1312430854630465343039*c_1001_0^13 - 42735242514173726855844/1312430854630465343039*c_1001_0^12 + 55646496903910495795532/1312430854630465343039*c_1001_0^11 - 74881881269136049431257/1312430854630465343039*c_1001_0^10 + 81679023612615166490446/1312430854630465343039*c_1001_0^9 - 90243347821418332232745/1312430854630465343039*c_1001_0^8 + 76203159469226635551796/1312430854630465343039*c_1001_0^7 - 67465603993860524616909/1312430854630465343039*c_1001_0^6 + 839502029644818946299/24762846313782364963*c_1001_0^5 - 31276924548888117142419/1312430854630465343039*c_1001_0^4 + 16396697683560698343380/1312430854630465343039*c_1001_0^3 - 209152490801407899741/26784303155723782511*c_1001_0^2 + 1792812962836960080152/1312430854630465343039*c_1001_0 - 104536680529129131340/187490122090066477577, c_0011_3 + 1515909695202443041812/1312430854630465343039*c_1001_0^17 - 4869256394482282561149/1312430854630465343039*c_1001_0^16 + 16014552009082731804900/1312430854630465343039*c_1001_0^15 - 32820300519423251613089/1312430854630465343039*c_1001_0^14 + 65909924577185718505899/1312430854630465343039*c_1001_0^13 - 95613949846878608079812/1312430854630465343039*c_1001_0^12 + 140530844715093106137127/1312430854630465343039*c_1001_0^11 - 166029897664290968028724/1312430854630465343039*c_1001_0^10 + 193515291713313948324384/1312430854630465343039*c_1001_0^9 - 186894112840311596173564/1312430854630465343039*c_1001_0^8 + 25372276757304406544084/187490122090066477577*c_1001_0^7 - 138426896598345254587189/1312430854630465343039*c_1001_0^6 + 1958421036154023212979/24762846313782364963*c_1001_0^5 - 62955515594772552498612/1312430854630465343039*c_1001_0^4 + 36894814224878174156432/1312430854630465343039*c_1001_0^3 - 16233425806156843022139/1312430854630465343039*c_1001_0^2 + 7340153603338401129642/1312430854630465343039*c_1001_0 - 223198231721737509606/187490122090066477577, c_0011_6 + 13421153191590546349194/1312430854630465343039*c_1001_0^17 - 51406701069569004388053/1312430854630465343039*c_1001_0^16 + 158341408422950633239218/1312430854630465343039*c_1001_0^15 - 334519597226276715439685/1312430854630465343039*c_1001_0^14 + 629280865896852130912976/1312430854630465343039*c_1001_0^13 - 911433883075012153564499/1312430854630465343039*c_1001_0^12 + 1216521699637996677318541/1312430854630465343039*c_1001_0^11 - 1414785357554075954516205/1312430854630465343039*c_1001_0^10 + 1549562227232717295120441/1312430854630465343039*c_1001_0^9 - 207299334279047031211753/187490122090066477577*c_1001_0^8 + 1246976982855305281507283/1312430854630465343039*c_1001_0^7 - 915944649932779135149718/1312430854630465343039*c_1001_0^6 + 11579494337533715183121/24762846313782364963*c_1001_0^5 - 352125152308157420406047/1312430854630465343039*c_1001_0^4 + 187895557225479206584275/1312430854630465343039*c_1001_0^3 - 68927081901380786855335/1312430854630465343039*c_1001_0^2 + 16756221200002767999983/1312430854630465343039*c_1001_0 - 238077158428168964118/187490122090066477577, c_0101_0 + 8224535429667822218013/1312430854630465343039*c_1001_0^17 - 666545880162729726504/26784303155723782511*c_1001_0^16 + 101134831619100478433499/1312430854630465343039*c_1001_0^15 - 217330536484295007163506/1312430854630465343039*c_1001_0^14 + 410163989633637026877470/1312430854630465343039*c_1001_0^13 - 603781733683610605977421/1312430854630465343039*c_1001_0^12 + 806615198834937076921394/1312430854630465343039*c_1001_0^11 - 135289912522916114638263/187490122090066477577*c_1001_0^10 + 1037583888841511521722549/1312430854630465343039*c_1001_0^9 - 985746940696692982207245/1312430854630465343039*c_1001_0^8 + 846416722072023565295613/1312430854630465343039*c_1001_0^7 - 631024979787121600357813/1312430854630465343039*c_1001_0^6 + 7961599877887933551532/24762846313782364963*c_1001_0^5 - 247227349213260494605060/1312430854630465343039*c_1001_0^4 + 130174233382457489190380/1312430854630465343039*c_1001_0^3 - 52287627316567992529767/1312430854630465343039*c_1001_0^2 + 12639710995258162094858/1312430854630465343039*c_1001_0 - 318706714515378622269/187490122090066477577, c_0101_1 - 1248249881009211218937/1312430854630465343039*c_1001_0^17 + 7631504714037497869278/1312430854630465343039*c_1001_0^16 - 24723530530338094387404/1312430854630465343039*c_1001_0^15 + 61657873450704865754575/1312430854630465343039*c_1001_0^14 - 120455870199170330896276/1312430854630465343039*c_1001_0^13 + 200602147249051408987200/1312430854630465343039*c_1001_0^12 - 274398921687506248345766/1312430854630465343039*c_1001_0^11 + 346911836408908283837336/1312430854630465343039*c_1001_0^10 - 389061095832135648156775/1312430854630465343039*c_1001_0^9 + 57417926830192330464325/187490122090066477577*c_1001_0^8 - 358664086032275208677852/1312430854630465343039*c_1001_0^7 + 292478655597947735624151/1312430854630465343039*c_1001_0^6 - 3877717925482253358040/24762846313782364963*c_1001_0^5 + 131563551254012394399299/1312430854630465343039*c_1001_0^4 - 72104786430946849766839/1312430854630465343039*c_1001_0^3 + 35579867060408764346206/1312430854630465343039*c_1001_0^2 - 10708842423074623414810/1312430854630465343039*c_1001_0 + 394049887795260958375/187490122090066477577, c_0101_10 + 12424587111429866460/26784303155723782511*c_1001_0^17 - 56647184596890025734/26784303155723782511*c_1001_0^16 + 1231734293332507237044/187490122090066477577*c_1001_0^15 - 2759795492760871949978/187490122090066477577*c_1001_0^14 + 5234521809881318611256/187490122090066477577*c_1001_0^13 - 8029205859703467939793/187490122090066477577*c_1001_0^12 + 10771499995108452865970/187490122090066477577*c_1001_0^11 - 13064594823191005759817/187490122090066477577*c_1001_0^10 + 14694974945016507859062/187490122090066477577*c_1001_0^9 - 14567162277150502172080/187490122090066477577*c_1001_0^8 + 12740198832036028503949/187490122090066477577*c_1001_0^7 - 10225410578142762050641/187490122090066477577*c_1001_0^6 + 135515355380207816591/3537549473397480709*c_1001_0^5 - 663196589893788122720/26784303155723782511*c_1001_0^4 + 2505488623458930235520/187490122090066477577*c_1001_0^3 - 1312515411608857047054/187490122090066477577*c_1001_0^2 + 279556969249643734813/187490122090066477577*c_1001_0 - 28281922906703452900/26784303155723782511, c_0101_11 - 3848530281340270880331/1312430854630465343039*c_1001_0^17 + 11093100590116981077219/1312430854630465343039*c_1001_0^16 - 31482262075053999659253/1312430854630465343039*c_1001_0^15 + 53368050753727263259354/1312430854630465343039*c_1001_0^14 - 91223226614647215440085/1312430854630465343039*c_1001_0^13 + 94781068692854554872989/1312430854630465343039*c_1001_0^12 - 110304531091065721050906/1312430854630465343039*c_1001_0^11 + 90683718553594345863441/1312430854630465343039*c_1001_0^10 - 82180704474449586795976/1312430854630465343039*c_1001_0^9 + 22305986264217498300719/1312430854630465343039*c_1001_0^8 + 4304008584876176278988/1312430854630465343039*c_1001_0^7 - 44791543690648290798747/1312430854630465343039*c_1001_0^6 + 810373884482628401797/24762846313782364963*c_1001_0^5 - 43478199966419971647273/1312430854630465343039*c_1001_0^4 + 25257482218493259963444/1312430854630465343039*c_1001_0^3 - 3100052575484993000470/187490122090066477577*c_1001_0^2 + 8915698324198990249676/1312430854630465343039*c_1001_0 - 353351381516704201270/187490122090066477577, c_0101_2 + 699203048619523797837/187490122090066477577*c_1001_0^17 - 20498173409248257838176/1312430854630465343039*c_1001_0^16 + 63706753459984536189021/1312430854630465343039*c_1001_0^15 - 20005411312107852074396/187490122090066477577*c_1001_0^14 + 265390459349266651861137/1312430854630465343039*c_1001_0^13 - 398878943321409994676675/1312430854630465343039*c_1001_0^12 + 10903823353600348483691/26784303155723782511*c_1001_0^11 - 635678023747516489745725/1312430854630465343039*c_1001_0^10 + 699911122503725192996834/1312430854630465343039*c_1001_0^9 - 673888283689995042992121/1312430854630465343039*c_1001_0^8 + 584566301095937659311359/1312430854630465343039*c_1001_0^7 - 441029239976856588945134/1312430854630465343039*c_1001_0^6 + 5650514195025480025104/24762846313782364963*c_1001_0^5 - 24999476122057439821753/187490122090066477577*c_1001_0^4 + 94762207358302986883121/1312430854630465343039*c_1001_0^3 - 36912975300712711170287/1312430854630465343039*c_1001_0^2 + 9457460547202407956326/1312430854630465343039*c_1001_0 - 101776726960555494586/187490122090066477577, c_0101_7 + 3025656319589748337158/1312430854630465343039*c_1001_0^17 - 10974016686195115817265/1312430854630465343039*c_1001_0^16 + 31328108150207371456305/1312430854630465343039*c_1001_0^15 - 61898007341186970839621/1312430854630465343039*c_1001_0^14 + 15373445590529229634525/187490122090066477577*c_1001_0^13 - 140835064687830596366771/1312430854630465343039*c_1001_0^12 + 166311003995046970076210/1312430854630465343039*c_1001_0^11 - 177820723308272404191542/1312430854630465343039*c_1001_0^10 + 170666909892796341597857/1312430854630465343039*c_1001_0^9 - 132759273009040178364389/1312430854630465343039*c_1001_0^8 + 81598388880625853186045/1312430854630465343039*c_1001_0^7 - 35917438400874861110215/1312430854630465343039*c_1001_0^6 + 49344233434061148354/24762846313782364963*c_1001_0^5 + 10765907820991241291845/1312430854630465343039*c_1001_0^4 - 13097882761793198156682/1312430854630465343039*c_1001_0^3 + 13164689598630590071887/1312430854630465343039*c_1001_0^2 - 8434044292600009479966/1312430854630465343039*c_1001_0 + 261117524839399502884/187490122090066477577, c_0110_6 + 346803386667637941000/1312430854630465343039*c_1001_0^17 - 2725839675751248130167/1312430854630465343039*c_1001_0^16 + 9715601857470122029590/1312430854630465343039*c_1001_0^15 - 25470042967256650588512/1312430854630465343039*c_1001_0^14 + 51831720319170548223433/1312430854630465343039*c_1001_0^13 - 88737580497323031729001/1312430854630465343039*c_1001_0^12 + 124813570566483403821927/1312430854630465343039*c_1001_0^11 - 156143145661048127023464/1312430854630465343039*c_1001_0^10 + 176991860680438683901384/1312430854630465343039*c_1001_0^9 - 183172191752644931503888/1312430854630465343039*c_1001_0^8 + 3331954026062872280812/26784303155723782511*c_1001_0^7 - 129688574774724669487592/1312430854630465343039*c_1001_0^6 + 1676806335213161527507/24762846313782364963*c_1001_0^5 - 53740356775964211102740/1312430854630465343039*c_1001_0^4 + 26839628869950574755663/1312430854630465343039*c_1001_0^3 - 12106898446317622672112/1312430854630465343039*c_1001_0^2 + 2623093601721642522786/1312430854630465343039*c_1001_0 + 114891057390688648611/187490122090066477577, c_1001_0^18 - 4*c_1001_0^17 + 113/9*c_1001_0^16 - 739/27*c_1001_0^15 + 1418/27*c_1001_0^14 - 2131/27*c_1001_0^13 + 2917/27*c_1001_0^12 - 1166/9*c_1001_0^11 + 3922/27*c_1001_0^10 - 425/3*c_1001_0^9 + 1142/9*c_1001_0^8 - 889/9*c_1001_0^7 + 1901/27*c_1001_0^6 - 1178/27*c_1001_0^5 + 680/27*c_1001_0^4 - 305/27*c_1001_0^3 + 116/27*c_1001_0^2 - 31/27*c_1001_0 + 7/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.770 Total time: 1.980 seconds, Total memory usage: 64.12MB