Magma V2.19-8 Tue Aug 20 2013 23:59:59 on localhost [Seed = 1325999641] Type ? for help. Type -D to quit. Loading file "K13n1467__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1467 geometric_solution 11.62189641 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -2 0 1 1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571038383853 0.676646651754 0 5 6 6 0132 0132 0213 0132 0 0 0 0 0 0 0 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 1 -1 0 2 0 0 -2 0 -2 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413073342098 0.620328427486 7 0 4 8 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 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.323242969878 1.182470698396 9 10 11 0 0132 0132 0132 0132 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 -1 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 0 0 0 0.533595382192 0.382478863406 11 6 0 2 0213 0321 0132 0132 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 -1 0 0 0 -1 1 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.008333816759 0.862181506619 12 1 8 10 0132 0132 2103 1230 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 0 -1 1 0 0 0 0 0 -1 0 0 1 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143586532763 0.717369102934 9 1 1 4 2103 0213 0132 0321 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 0 -1 0 0 2 -2 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.804791576595 0.850591954620 2 12 10 11 0132 0132 2031 2031 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 -1 0 1 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.008333816759 0.862181506619 5 10 2 12 2103 0213 0132 1023 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 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.738971973432 0.460949071276 3 12 6 11 0132 0213 2103 1302 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 -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.097444589415 1.030932086909 5 3 8 7 3012 0132 0213 1302 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 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.183953554858 0.866776518890 4 7 9 3 0213 1302 2031 0132 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 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 1.309378570682 0.589128808428 5 7 9 8 0132 0132 0213 1023 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 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.993288587460 0.919845806836 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0110_10']), 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0011_8'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0110_10']), 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(d['1']), 's_0_6' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : negation(d['c_1010_9']), 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1010_9']), 'c_1100_3' : negation(d['c_1010_9']), 'c_1100_2' : negation(d['c_1010_9']), 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_1100_11' : negation(d['c_1010_9']), 'c_1100_10' : d['c_0101_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : d['c_0101_5'], 'c_1100_8' : negation(d['c_1010_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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_1010_9'], 's_1_7' : d['1'], 's_1_6' : negation(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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_2']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0011_10'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_11'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_11'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : negation(d['c_0110_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_4'])})} 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_4, c_0011_8, c_0101_0, c_0101_2, c_0101_5, c_0110_10, c_1001_0, c_1001_2, c_1001_3, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 21189488/214489*c_1001_0*c_1010_9^3 + 28239536/214489*c_1001_0*c_1010_9^2 + 33038277/214489*c_1001_0*c_1010_9 + 12200634/214489*c_1001_0 + 144259576/643467*c_1010_9^3 + 26920914/214489*c_1010_9^2 + 133102676/643467*c_1010_9 - 43877543/643467, c_0011_0 - 1, c_0011_10 + 24/11*c_1001_0*c_1010_9^3 - 10/11*c_1001_0*c_1010_9^2 + 16/11*c_1001_0*c_1010_9 - 21/11*c_1001_0 - 8/11*c_1010_9^3 - 4/11*c_1010_9^2 + 2/11*c_1010_9 + 7/11, c_0011_11 + 16/11*c_1001_0*c_1010_9^3 + 8/11*c_1001_0*c_1010_9^2 + 7/11*c_1001_0*c_1010_9 - 14/11*c_1001_0 + 8/11*c_1010_9^3 + 4/11*c_1010_9^2 - 2/11*c_1010_9 - 7/11, c_0011_4 + 12/11*c_1010_9^3 - 5/11*c_1010_9^2 + 8/11*c_1010_9 - 16/11, c_0011_8 + 16/11*c_1010_9^3 + 8/11*c_1010_9^2 + 7/11*c_1010_9 - 14/11, c_0101_0 - 16/11*c_1001_0*c_1010_9^3 - 8/11*c_1001_0*c_1010_9^2 - 7/11*c_1001_0*c_1010_9 + 14/11*c_1001_0 + 8/11*c_1010_9^3 + 4/11*c_1010_9^2 + 9/11*c_1010_9 - 7/11, c_0101_2 + 16/11*c_1001_0*c_1010_9^3 + 8/11*c_1001_0*c_1010_9^2 + 7/11*c_1001_0*c_1010_9 - 14/11*c_1001_0 + 8/11*c_1010_9^3 + 4/11*c_1010_9^2 + 9/11*c_1010_9 - 7/11, c_0101_5 + 12/11*c_1001_0*c_1010_9^3 - 5/11*c_1001_0*c_1010_9^2 - 3/11*c_1001_0*c_1010_9 - 5/11*c_1001_0 - 8/11*c_1010_9^3 - 4/11*c_1010_9^2 - 9/11*c_1010_9 + 7/11, c_0110_10 + 12/11*c_1001_0*c_1010_9^3 - 5/11*c_1001_0*c_1010_9^2 - 3/11*c_1001_0*c_1010_9 - 5/11*c_1001_0 + 20/11*c_1010_9^3 - 1/11*c_1010_9^2 + 6/11*c_1010_9 - 12/11, c_1001_0^2 + c_1001_0 - 8/11*c_1010_9^3 + 7/11*c_1010_9^2 - 9/11*c_1010_9 + 7/11, c_1001_2 - 12/11*c_1010_9^3 + 5/11*c_1010_9^2 - 8/11*c_1010_9 + 16/11, c_1001_3 + 4/11*c_1010_9^3 + 13/11*c_1010_9^2 - 12/11*c_1010_9 + 2/11, c_1010_9^4 - 3/4*c_1010_9^3 + 1/2*c_1010_9^2 - 5/4*c_1010_9 + 3/4 ], 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_4, c_0011_8, c_0101_0, c_0101_2, c_0101_5, c_0110_10, c_1001_0, c_1001_2, c_1001_3, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 51264041107294847/224891720382112*c_1010_9^18 + 83797066429627221/32127388626016*c_1010_9^17 + 395945807253809473/112445860191056*c_1010_9^16 + 471525954685608437/32127388626016*c_1010_9^15 + 1640779277981098359/224891720382112*c_1010_9^14 + 236847756129071173/8031847156504*c_1010_9^13 - 26006955835473874/7027866261941*c_1010_9^12 + 4016737683417454839/112445860191056*c_1010_9^11 - 1356353097032280241/56222930095528*c_1010_9^10 + 2009018907653003591/56222930095528*c_1010_9^9 - 1880153207954087975/56222930095528*c_1010_9^8 + 6435054641539452077/224891720382112*c_1010_9^7 - 182007430248715724/7027866261941*c_1010_9^6 + 522200296339372071/32127388626016*c_1010_9^5 - 2507050631483933977/224891720382112*c_1010_9^4 + 1387468151270962841/224891720382112*c_1010_9^3 - 57018858606937017/32127388626016*c_1010_9^2 + 132244683266944449/112445860191056*c_1010_9 + 40103092039352563/224891720382112, c_0011_0 - 1, c_0011_10 + 149880456473/138480123388*c_1010_9^18 + 1892110681931/138480123388*c_1010_9^17 + 4303398443469/138480123388*c_1010_9^16 + 5915770643509/69240061694*c_1010_9^15 + 14346784356509/138480123388*c_1010_9^14 + 5315312110523/34620030847*c_1010_9^13 + 3315488445932/34620030847*c_1010_9^12 + 3725471273356/34620030847*c_1010_9^11 + 680770532389/34620030847*c_1010_9^10 + 2556513535295/69240061694*c_1010_9^9 - 1147802379781/69240061694*c_1010_9^8 - 746495082785/138480123388*c_1010_9^7 - 729925321070/34620030847*c_1010_9^6 - 334436651080/34620030847*c_1010_9^5 - 588455805353/138480123388*c_1010_9^4 + 298236174533/69240061694*c_1010_9^3 + 542917119183/138480123388*c_1010_9^2 + 566711666525/138480123388*c_1010_9 + 71679616127/138480123388, c_0011_11 - 24725586171/138480123388*c_1010_9^18 - 163362674147/138480123388*c_1010_9^17 + 1105217247897/138480123388*c_1010_9^16 + 384232041141/34620030847*c_1010_9^15 + 7727517422317/138480123388*c_1010_9^14 + 1528717003547/34620030847*c_1010_9^13 + 3489004838658/34620030847*c_1010_9^12 + 775235488228/34620030847*c_1010_9^11 + 2734413022897/34620030847*c_1010_9^10 - 1468869217295/69240061694*c_1010_9^9 + 3004713773957/69240061694*c_1010_9^8 - 3867574619993/138480123388*c_1010_9^7 + 716045217801/69240061694*c_1010_9^6 - 1174106877745/69240061694*c_1010_9^5 - 148864082123/138480123388*c_1010_9^4 - 52098005669/34620030847*c_1010_9^3 + 303354053705/138480123388*c_1010_9^2 + 384305262623/138480123388*c_1010_9 + 132928309903/138480123388, c_0011_4 - 118066617649/138480123388*c_1010_9^18 - 1408729360731/138480123388*c_1010_9^17 - 2432967692665/138480123388*c_1010_9^16 - 1972816479809/34620030847*c_1010_9^15 - 6577534435307/138480123388*c_1010_9^14 - 3364617160598/34620030847*c_1010_9^13 - 774519963688/34620030847*c_1010_9^12 - 2555683987380/34620030847*c_1010_9^11 + 955898182332/34620030847*c_1010_9^10 - 2634916791653/69240061694*c_1010_9^9 + 2162185952979/69240061694*c_1010_9^8 - 860255113051/138480123388*c_1010_9^7 + 464118799900/34620030847*c_1010_9^6 + 206702056478/34620030847*c_1010_9^5 - 333032178669/138480123388*c_1010_9^4 - 27667461645/69240061694*c_1010_9^3 - 393522317837/138480123388*c_1010_9^2 - 223261962405/138480123388*c_1010_9 - 20642846949/138480123388, c_0011_8 - 7383240311/34620030847*c_1010_9^18 - 83693488602/34620030847*c_1010_9^17 - 216149081665/69240061694*c_1010_9^16 - 1002011842861/69240061694*c_1010_9^15 - 262191683469/34620030847*c_1010_9^14 - 1112073326507/34620030847*c_1010_9^13 + 36167828976/34620030847*c_1010_9^12 - 1347785268153/34620030847*c_1010_9^11 + 846049364970/34620030847*c_1010_9^10 - 1193563560944/34620030847*c_1010_9^9 + 1244658876247/34620030847*c_1010_9^8 - 885720358481/34620030847*c_1010_9^7 + 919799400451/34620030847*c_1010_9^6 - 966509244677/69240061694*c_1010_9^5 + 410653724375/34620030847*c_1010_9^4 - 385321430915/69240061694*c_1010_9^3 + 89269130254/34620030847*c_1010_9^2 - 144976405739/69240061694*c_1010_9 + 10707853766/34620030847, c_0101_0 + 214853845115/138480123388*c_1010_9^18 + 2427949634905/138480123388*c_1010_9^17 + 2805359071947/138480123388*c_1010_9^16 + 2876769576195/34620030847*c_1010_9^15 + 2804453670517/138480123388*c_1010_9^14 + 4417430659987/34620030847*c_1010_9^13 - 2410243843012/34620030847*c_1010_9^12 + 4682927155333/34620030847*c_1010_9^11 - 4993484844858/34620030847*c_1010_9^10 + 9471511010309/69240061694*c_1010_9^9 - 9500187153141/69240061694*c_1010_9^8 + 12648929368265/138480123388*c_1010_9^7 - 2470326587196/34620030847*c_1010_9^6 + 1359621062153/34620030847*c_1010_9^5 - 1622806683169/138480123388*c_1010_9^4 + 633575773317/69240061694*c_1010_9^3 + 255264209535/138480123388*c_1010_9^2 - 91245633257/138480123388*c_1010_9 - 91024272633/138480123388, c_0101_2 - 169716900495/138480123388*c_1010_9^18 - 1988995916437/138480123388*c_1010_9^17 - 3041225084131/138480123388*c_1010_9^16 - 5138506294485/69240061694*c_1010_9^15 - 6494705773923/138480123388*c_1010_9^14 - 4118982640951/34620030847*c_1010_9^13 + 95796821640/34620030847*c_1010_9^12 - 3680723585636/34620030847*c_1010_9^11 + 2186283232861/34620030847*c_1010_9^10 - 5699851628427/69240061694*c_1010_9^9 + 4778988988167/69240061694*c_1010_9^8 - 5811500967497/138480123388*c_1010_9^7 + 1346283318739/34620030847*c_1010_9^6 - 422429458071/34620030847*c_1010_9^5 + 758034283931/138480123388*c_1010_9^4 - 213967796741/69240061694*c_1010_9^3 - 388709722201/138480123388*c_1010_9^2 - 89251376319/138480123388*c_1010_9 + 16022549431/138480123388, c_0101_5 + 61960864183/138480123388*c_1010_9^18 + 675469167971/138480123388*c_1010_9^17 + 480244107307/138480123388*c_1010_9^16 + 598248519290/34620030847*c_1010_9^15 - 1664187153445/138480123388*c_1010_9^14 + 366706696167/34620030847*c_1010_9^13 - 1961148058785/34620030847*c_1010_9^12 + 366049531293/34620030847*c_1010_9^11 - 2322500774719/34620030847*c_1010_9^10 + 2215567631331/69240061694*c_1010_9^9 - 3370566024129/69240061694*c_1010_9^8 + 4016571578089/138480123388*c_1010_9^7 - 1593762399361/69240061694*c_1010_9^6 + 1157045779551/69240061694*c_1010_9^5 - 594859272517/138480123388*c_1010_9^4 + 159348214825/34620030847*c_1010_9^3 - 210513340977/138480123388*c_1010_9^2 - 130737727315/138480123388*c_1010_9 - 198300881787/138480123388, c_0110_10 - 61960864183/138480123388*c_1010_9^18 - 675469167971/138480123388*c_1010_9^17 - 480244107307/138480123388*c_1010_9^16 - 598248519290/34620030847*c_1010_9^15 + 1664187153445/138480123388*c_1010_9^14 - 366706696167/34620030847*c_1010_9^13 + 1961148058785/34620030847*c_1010_9^12 - 366049531293/34620030847*c_1010_9^11 + 2322500774719/34620030847*c_1010_9^10 - 2215567631331/69240061694*c_1010_9^9 + 3370566024129/69240061694*c_1010_9^8 - 4016571578089/138480123388*c_1010_9^7 + 1593762399361/69240061694*c_1010_9^6 - 1157045779551/69240061694*c_1010_9^5 + 594859272517/138480123388*c_1010_9^4 - 159348214825/34620030847*c_1010_9^3 + 210513340977/138480123388*c_1010_9^2 + 130737727315/138480123388*c_1010_9 + 198300881787/138480123388, c_1001_0 + 132928309903/138480123388*c_1010_9^18 + 1619865305007/138480123388*c_1010_9^17 + 3087785492013/138480123388*c_1010_9^16 + 2216101498707/34620030847*c_1010_9^15 + 7900981838549/138480123388*c_1010_9^14 + 3352020963065/34620030847*c_1010_9^13 + 598135954901/34620030847*c_1010_9^12 + 2226912487171/34620030847*c_1010_9^11 - 1306948727840/34620030847*c_1010_9^10 + 2905657478095/69240061694*c_1010_9^9 - 3316549939213/69240061694*c_1010_9^8 + 3162625835393/138480123388*c_1010_9^7 - 2386382761851/69240061694*c_1010_9^6 + 506011405469/34620030847*c_1010_9^5 - 1240850611891/138480123388*c_1010_9^4 + 672609435625/69240061694*c_1010_9^3 + 75463712773/138480123388*c_1010_9^2 + 228359185907/138480123388*c_1010_9 - 118448642817/138480123388, c_1001_2 - 68477252227/138480123388*c_1010_9^18 - 912209743371/138480123388*c_1010_9^17 - 2557632371941/138480123388*c_1010_9^16 - 1670509139017/34620030847*c_1010_9^15 - 10530204997257/138480123388*c_1010_9^14 - 3485115140042/34620030847*c_1010_9^13 - 3538567367256/34620030847*c_1010_9^12 - 2483255509029/34620030847*c_1010_9^11 - 2195353489678/34620030847*c_1010_9^10 - 348910107247/69240061694*c_1010_9^9 - 2365159377385/69240061694*c_1010_9^8 + 4177629874079/138480123388*c_1010_9^7 - 1182153959157/69240061694*c_1010_9^6 + 979646147760/34620030847*c_1010_9^5 - 1175243783101/138480123388*c_1010_9^4 + 459018963461/69240061694*c_1010_9^3 - 786325078581/138480123388*c_1010_9^2 - 276242906491/138480123388*c_1010_9 - 205135093171/138480123388, c_1001_3 - 45829606187/138480123388*c_1010_9^18 - 580913421213/138480123388*c_1010_9^17 - 1351951475757/138480123388*c_1010_9^16 - 939528159998/34620030847*c_1010_9^15 - 4647356610747/138480123388*c_1010_9^14 - 1718126965923/34620030847*c_1010_9^13 - 1073283505113/34620030847*c_1010_9^12 - 1139689674603/34620030847*c_1010_9^11 - 190408832172/34620030847*c_1010_9^10 - 729798584179/69240061694*c_1010_9^9 + 270291802979/69240061694*c_1010_9^8 + 433987612575/138480123388*c_1010_9^7 + 176973680100/34620030847*c_1010_9^6 + 248481708169/69240061694*c_1010_9^5 + 59656675847/138480123388*c_1010_9^4 - 12155860113/34620030847*c_1010_9^3 - 141501057289/138480123388*c_1010_9^2 - 117456099921/138480123388*c_1010_9 - 50579727489/138480123388, c_1010_9^19 + 12*c_1010_9^18 + 22*c_1010_9^17 + 75*c_1010_9^16 + 71*c_1010_9^15 + 159*c_1010_9^14 + 64*c_1010_9^13 + 172*c_1010_9^12 - 16*c_1010_9^11 + 126*c_1010_9^10 - 72*c_1010_9^9 + 69*c_1010_9^8 - 65*c_1010_9^7 + 26*c_1010_9^6 - 27*c_1010_9^5 + 9*c_1010_9^4 - c_1010_9^3 + 4*c_1010_9^2 + 2*c_1010_9 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.950 Total time: 4.150 seconds, Total memory usage: 64.12MB