Magma V2.19-8 Wed Aug 21 2013 00:49:16 on localhost [Seed = 2345508735] Type ? for help. Type -D to quit. Loading file "K14n9158__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9158 geometric_solution 11.35965423 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634104052698 0.971217538638 0 0 5 4 0132 1302 0132 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528670334138 0.721906185614 6 0 8 7 0132 0132 0132 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 1 0 -1 -1 0 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 1.208556133564 1.139739738413 4 9 10 0 0132 0132 0132 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 -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.562922992590 0.340028428041 3 6 1 11 0132 0213 0132 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 1.271235351391 0.733169079822 7 11 11 1 3120 2031 1230 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 1 0 0 0 0 0 -8 9 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.350464665622 0.956105230388 2 8 4 12 0132 3120 0213 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 1 0 0 -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.687398608082 0.885157861190 12 10 2 5 0213 1023 0132 3120 0 0 0 0 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 1 -1 1 0 -1 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534813858947 1.225561283451 10 6 9 2 1230 3120 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134511606752 0.968060610885 12 3 10 8 1023 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.340791876287 0.788427345373 7 8 9 3 1023 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966243090754 0.754196288904 5 12 4 5 1302 0321 0132 3012 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 1 0 0 -1 1 -1 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694786618352 0.344490816671 7 9 6 11 0213 1023 0132 0321 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 8 0 1 -9 -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.048462451882 1.174302020636 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0110_11']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_1001_4']), 'c_1010_12' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : negation(d['c_0101_8']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_5']), '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_12' : 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_1001_4'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_11'], 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_0110_11'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : negation(d['c_1001_4']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0101_5']), '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'], 'c_1100_12' : d['c_1001_11'], '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_12'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_12']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_5']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0011_11'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0011_11'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_5']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_12'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_5, c_0011_8, c_0101_0, c_0101_10, c_0101_5, c_0101_8, c_0110_11, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 3012993840571475106113/51740366845680014025*c_1001_4^18 - 1479540825579606664931/51740366845680014025*c_1001_4^17 + 30983933043038092962739/51740366845680014025*c_1001_4^16 - 1651677652471015585589/3449357789712000935*c_1001_4^15 - 72492088222216305203641/17246788948560004675*c_1001_4^14 + 108699881864024340869384/51740366845680014025*c_1001_4^13 + 639280645796621438484038/51740366845680014025*c_1001_4^12 - 102341337814211590006501/17246788948560004675*c_1001_4^11 - 35628891844071776144891/1784150580885517725*c_1001_4^10 + 92553674047419906965399/10348073369136002805*c_1001_4^9 + 830495826449808015193378/51740366845680014025*c_1001_4^8 - 451356538134809601883829/51740366845680014025*c_1001_4^7 - 3850879851733846682536/689871557942400187*c_1001_4^6 + 250995681834566400019787/51740366845680014025*c_1001_4^5 - 18209481776569845311619/17246788948560004675*c_1001_4^4 - 16338035246946354722821/10348073369136002805*c_1001_4^3 + 18833154907230902134103/17246788948560004675*c_1001_4^2 - 496539371726751449174/17246788948560004675*c_1001_4 - 3399805068867853996367/51740366845680014025, c_0011_0 - 1, c_0011_10 - 3624869392214455/4555278078856641*c_1001_4^18 - 4682689459674935/4555278078856641*c_1001_4^17 + 35030429658296603/4555278078856641*c_1001_4^16 - 910069685174239/4555278078856641*c_1001_4^15 - 277056687070409837/4555278078856641*c_1001_4^14 - 26693397787973926/1518426026285547*c_1001_4^13 + 89698336668856656/506142008761849*c_1001_4^12 + 242518311325285739/4555278078856641*c_1001_4^11 - 1330934571384369988/4555278078856641*c_1001_4^10 - 437283943222279327/4555278078856641*c_1001_4^9 + 1079074970358969913/4555278078856641*c_1001_4^8 + 269512895095842899/4555278078856641*c_1001_4^7 - 456265551315955123/4555278078856641*c_1001_4^6 - 34773160551443053/4555278078856641*c_1001_4^5 + 13030259166122527/1518426026285547*c_1001_4^4 - 95063034765472480/4555278078856641*c_1001_4^3 - 13141910570783338/4555278078856641*c_1001_4^2 + 17230275862327264/4555278078856641*c_1001_4 + 7389449413222417/4555278078856641, c_0011_11 + 2411845205381293/4555278078856641*c_1001_4^18 + 3354822614401022/4555278078856641*c_1001_4^17 - 23027565037330904/4555278078856641*c_1001_4^16 - 1690684909429868/4555278078856641*c_1001_4^15 + 184886011376177861/4555278078856641*c_1001_4^14 + 23657454633881275/1518426026285547*c_1001_4^13 - 59480294281930531/506142008761849*c_1001_4^12 - 208791716806885937/4555278078856641*c_1001_4^11 + 883766785575977377/4555278078856641*c_1001_4^10 + 357801626571760684/4555278078856641*c_1001_4^9 - 716032872279428383/4555278078856641*c_1001_4^8 - 212646165100533791/4555278078856641*c_1001_4^7 + 306423440831170372/4555278078856641*c_1001_4^6 + 23148155022667048/4555278078856641*c_1001_4^5 - 6197571596083321/1518426026285547*c_1001_4^4 + 66852559494768946/4555278078856641*c_1001_4^3 + 1147650349782820/4555278078856641*c_1001_4^2 - 11929694040610594/4555278078856641*c_1001_4 - 1359356537130301/4555278078856641, c_0011_12 + 3624869392214455/4555278078856641*c_1001_4^18 + 4682689459674935/4555278078856641*c_1001_4^17 - 35030429658296603/4555278078856641*c_1001_4^16 + 910069685174239/4555278078856641*c_1001_4^15 + 277056687070409837/4555278078856641*c_1001_4^14 + 26693397787973926/1518426026285547*c_1001_4^13 - 89698336668856656/506142008761849*c_1001_4^12 - 242518311325285739/4555278078856641*c_1001_4^11 + 1330934571384369988/4555278078856641*c_1001_4^10 + 437283943222279327/4555278078856641*c_1001_4^9 - 1079074970358969913/4555278078856641*c_1001_4^8 - 269512895095842899/4555278078856641*c_1001_4^7 + 456265551315955123/4555278078856641*c_1001_4^6 + 34773160551443053/4555278078856641*c_1001_4^5 - 13030259166122527/1518426026285547*c_1001_4^4 + 95063034765472480/4555278078856641*c_1001_4^3 + 13141910570783338/4555278078856641*c_1001_4^2 - 17230275862327264/4555278078856641*c_1001_4 - 7389449413222417/4555278078856641, c_0011_5 - 2675098255849580/4555278078856641*c_1001_4^18 - 3389255531139313/4555278078856641*c_1001_4^17 + 25475255516206267/4555278078856641*c_1001_4^16 - 1668007865573789/4555278078856641*c_1001_4^15 - 200275176525656689/4555278078856641*c_1001_4^14 - 18902117427118514/1518426026285547*c_1001_4^13 + 63109644434215307/506142008761849*c_1001_4^12 + 166809144727003057/4555278078856641*c_1001_4^11 - 918743816643560594/4555278078856641*c_1001_4^10 - 298513247713926575/4555278078856641*c_1001_4^9 + 727312713166557383/4555278078856641*c_1001_4^8 + 158816183320027498/4555278078856641*c_1001_4^7 - 328198832728302935/4555278078856641*c_1001_4^6 + 6448314995966155/4555278078856641*c_1001_4^5 + 16511770290588443/1518426026285547*c_1001_4^4 - 86277387153964196/4555278078856641*c_1001_4^3 - 20760592041936632/4555278078856641*c_1001_4^2 + 13862812044697262/4555278078856641*c_1001_4 + 3515134614290150/4555278078856641, c_0011_8 - 1087144542378563/1518426026285547*c_1001_4^18 - 1517280723149941/1518426026285547*c_1001_4^17 + 10364123230751842/1518426026285547*c_1001_4^16 + 797095423713400/1518426026285547*c_1001_4^15 - 83235672102230173/1518426026285547*c_1001_4^14 - 10789679840775979/506142008761849*c_1001_4^13 + 80123465838324112/506142008761849*c_1001_4^12 + 95184095040669751/1518426026285547*c_1001_4^11 - 395606930581267109/1518426026285547*c_1001_4^10 - 162691780064909099/1518426026285547*c_1001_4^9 + 319731012021342107/1518426026285547*c_1001_4^8 + 95225271811135771/1518426026285547*c_1001_4^7 - 138893175244631729/1518426026285547*c_1001_4^6 - 5686762548261239/1518426026285547*c_1001_4^5 + 4209089711297189/506142008761849*c_1001_4^4 - 34463370463374695/1518426026285547*c_1001_4^3 - 2432958261125522/1518426026285547*c_1001_4^2 + 5513604338321462/1518426026285547*c_1001_4 + 599347568324264/1518426026285547, c_0101_0 - 341808195375431/4555278078856641*c_1001_4^18 - 1294789180008721/4555278078856641*c_1001_4^17 + 2839960160504263/4555278078856641*c_1001_4^16 + 8581221947994172/4555278078856641*c_1001_4^15 - 32750968326788686/4555278078856641*c_1001_4^14 - 22892677986628247/1518426026285547*c_1001_4^13 + 11463549492344319/506142008761849*c_1001_4^12 + 199609714995297067/4555278078856641*c_1001_4^11 - 201443525289785156/4555278078856641*c_1001_4^10 - 323376141961742897/4555278078856641*c_1001_4^9 + 211969801600091633/4555278078856641*c_1001_4^8 + 249696889549711702/4555278078856641*c_1001_4^7 - 148664143448026487/4555278078856641*c_1001_4^6 - 92010630083728475/4555278078856641*c_1001_4^5 + 19753479373434995/1518426026285547*c_1001_4^4 - 6884264701215692/4555278078856641*c_1001_4^3 - 24810484155851690/4555278078856641*c_1001_4^2 + 2930545611312458/4555278078856641*c_1001_4 + 4198140906309245/4555278078856641, c_0101_10 - 438686167842491/4555278078856641*c_1001_4^18 - 1288274589596887/4555278078856641*c_1001_4^17 + 3189842123376109/4555278078856641*c_1001_4^16 + 6748746151397149/4555278078856641*c_1001_4^15 - 32639547394318984/4555278078856641*c_1001_4^14 - 21753230366118383/1518426026285547*c_1001_4^13 + 8209521289194218/506142008761849*c_1001_4^12 + 189298033350282157/4555278078856641*c_1001_4^11 - 93010978639920701/4555278078856641*c_1001_4^10 - 314898532699571207/4555278078856641*c_1001_4^9 + 19318269611322818/4555278078856641*c_1001_4^8 + 243598849952440429/4555278078856641*c_1001_4^7 + 1962491142389980/4555278078856641*c_1001_4^6 - 99727616874505031/4555278078856641*c_1001_4^5 + 5246321023472711/1518426026285547*c_1001_4^4 + 5689821410307517/4555278078856641*c_1001_4^3 - 35221493391827666/4555278078856641*c_1001_4^2 - 2641735090853818/4555278078856641*c_1001_4 + 4611118974353792/4555278078856641, c_0101_5 + 2734640251072228/4555278078856641*c_1001_4^18 + 3607169100534122/4555278078856641*c_1001_4^17 - 25732288327881815/4555278078856641*c_1001_4^16 + 400116426055504/4555278078856641*c_1001_4^15 + 203427722830517519/4555278078856641*c_1001_4^14 + 23284195360568983/1518426026285547*c_1001_4^13 - 63076300304772425/506142008761849*c_1001_4^12 - 207200128476679739/4555278078856641*c_1001_4^11 + 899093447073579136/4555278078856641*c_1001_4^10 + 375377776568080540/4555278078856641*c_1001_4^9 - 668859584547600124/4555278078856641*c_1001_4^8 - 237532108278695402/4555278078856641*c_1001_4^7 + 263933971889340295/4555278078856641*c_1001_4^6 + 52097355027105829/4555278078856641*c_1001_4^5 - 2927291773208779/1518426026285547*c_1001_4^4 + 58239418880321146/4555278078856641*c_1001_4^3 + 15700005763414390/4555278078856641*c_1001_4^2 - 2516396273069287/4555278078856641*c_1001_4 - 5053552164034225/4555278078856641, c_0101_8 + 32945908933504/506142008761849*c_1001_4^18 + 67975364529486/506142008761849*c_1001_4^17 - 319758008126073/506142008761849*c_1001_4^16 - 244580545743499/506142008761849*c_1001_4^15 + 2833751773200099/506142008761849*c_1001_4^14 + 2292930419673604/506142008761849*c_1001_4^13 - 8708982122320733/506142008761849*c_1001_4^12 - 6580836863980134/506142008761849*c_1001_4^11 + 14497464110416745/506142008761849*c_1001_4^10 + 10722265991972154/506142008761849*c_1001_4^9 - 10694792593587928/506142008761849*c_1001_4^8 - 8919732242807878/506142008761849*c_1001_4^7 + 1972307010251140/506142008761849*c_1001_4^6 + 4922633346968704/506142008761849*c_1001_4^5 + 1204700117460136/506142008761849*c_1001_4^4 - 1249068779942005/506142008761849*c_1001_4^3 + 24621499793639/506142008761849*c_1001_4^2 + 185219407469452/506142008761849*c_1001_4 - 387271521439049/506142008761849, c_0110_11 - 356801676023974/1518426026285547*c_1001_4^18 - 440929293421427/1518426026285547*c_1001_4^17 + 3319567795931963/1518426026285547*c_1001_4^16 - 469831544008624/1518426026285547*c_1001_4^15 - 25764608207773247/1518426026285547*c_1001_4^14 - 2172939167270170/506142008761849*c_1001_4^13 + 22722454329963883/506142008761849*c_1001_4^12 + 16958520646663787/1518426026285547*c_1001_4^11 - 98123884650663127/1518426026285547*c_1001_4^10 - 28349069979923425/1518426026285547*c_1001_4^9 + 52538151150936193/1518426026285547*c_1001_4^8 + 7715167777266023/1518426026285547*c_1001_4^7 - 1120924666033891/1518426026285547*c_1001_4^6 + 5278483902749918/1518426026285547*c_1001_4^5 - 4832467225156007/506142008761849*c_1001_4^4 - 10518858655939936/1518426026285547*c_1001_4^3 - 126272975822260/1518426026285547*c_1001_4^2 + 715841809363411/1518426026285547*c_1001_4 + 707733882625357/1518426026285547, c_1001_11 + 880568986217644/1518426026285547*c_1001_4^18 + 1477789933568477/1518426026285547*c_1001_4^17 - 7966929167492408/1518426026285547*c_1001_4^16 - 2960315642116424/1518426026285547*c_1001_4^15 + 66528023172159581/1518426026285547*c_1001_4^14 + 15278767899211991/506142008761849*c_1001_4^13 - 60781628753413508/506142008761849*c_1001_4^12 - 133107801082779896/1518426026285547*c_1001_4^11 + 288252591142862653/1518426026285547*c_1001_4^10 + 225912576310247509/1518426026285547*c_1001_4^9 - 210616879696053934/1518426026285547*c_1001_4^8 - 153755657203700186/1518426026285547*c_1001_4^7 + 91573300487892892/1518426026285547*c_1001_4^6 + 39833521643283949/1518426026285547*c_1001_4^5 - 4498675310377462/506142008761849*c_1001_4^4 + 27008560756888564/1518426026285547*c_1001_4^3 + 13977037346145217/1518426026285547*c_1001_4^2 - 4266239169416272/1518426026285547*c_1001_4 - 1904105938265209/1518426026285547, c_1001_4^19 + c_1001_4^18 - 10*c_1001_4^17 + 3*c_1001_4^16 + 76*c_1001_4^15 + c_1001_4^14 - 228*c_1001_4^13 - 8*c_1001_4^12 + 387*c_1001_4^11 + 27*c_1001_4^10 - 341*c_1001_4^9 - c_1001_4^8 + 162*c_1001_4^7 - 24*c_1001_4^6 - 22*c_1001_4^5 + 31*c_1001_4^4 - 3*c_1001_4^3 - 8*c_1001_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.170 Total time: 7.370 seconds, Total memory usage: 96.16MB