Magma V2.19-8 Tue Aug 20 2013 18:21:28 on localhost [Seed = 2816876056] Type ? for help. Type -D to quit. Loading file "11_427__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_427 geometric_solution 12.72541391 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118101807252 0.446123259497 0 5 5 4 0132 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.723958398884 1.296792596250 6 0 8 7 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 8 0 0 -8 -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.228742302582 2.417231510323 9 10 9 0 0132 0132 2031 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.494844745699 0.707128167756 11 1 0 8 0132 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.060330310923 0.920130799561 11 1 1 10 3201 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723958398884 1.296792596250 2 11 12 13 0132 3201 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 0 0 0 -8 0 1 7 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.491108544832 0.248787747485 13 10 2 10 3120 0213 0132 2310 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 -1 1 -7 0 8 -1 -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.490716035898 0.621552276040 12 4 9 2 1302 0321 2310 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 0.076023717098 0.679059993618 3 8 11 3 0132 3201 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0.930107248620 0.612363476546 7 3 7 5 3201 0132 0213 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.490716035898 0.621552276040 4 9 6 5 0132 0213 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.455345613990 0.576856506689 13 8 13 6 1230 2031 3201 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 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.244809748550 1.013503611273 12 12 6 7 2310 3012 0132 3120 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 -7 7 -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.472731993679 0.634430306585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0101_13']), 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_1001_8'], 'c_1010_13' : negation(d['c_0011_7']), 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : negation(d['c_0101_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' : d['1'], 'c_0101_11' : negation(d['c_0011_8']), 'c_0101_10' : 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_12' : d['1'], 's_2_13' : 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_3'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_10'], 'c_1100_4' : d['c_1001_8'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0011_13']), 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : d['c_1001_8'], 'c_1100_3' : d['c_1001_8'], 'c_1100_2' : d['c_0011_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_0'], 'c_1100_10' : negation(d['c_0110_10']), 'c_1100_13' : negation(d['c_0011_13']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0110_10']), 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_0110_10'], '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_1001_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_8']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 'c_0101_13' : d['c_0101_13'], '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' : negation(d['c_0011_13']), '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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0110_10'], 'c_0110_13' : negation(d['c_0011_7']), 'c_0110_12' : d['c_0011_13'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_13'], 'c_0101_6' : d['c_0011_13'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_13'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0011_13'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : negation(d['c_0011_7']), 'c_0110_6' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_7, c_0011_8, c_0101_1, c_0101_13, c_0101_3, c_0110_10, c_1001_0, c_1001_2, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 13 Groebner basis: [ t - 22849606315880428923214778143468753437264/3182030092296959082091929\ 474324185*c_1001_8^12 + 277302539732516603703565582654906072188702/\ 3182030092296959082091929474324185*c_1001_8^11 - 135891551812426846279604279832172895406706/636406018459391816418385\ 894864837*c_1001_8^10 + 1134140372979632524163515257885988295776007\ /3182030092296959082091929474324185*c_1001_8^9 - 519967843295132442382227860359887020391749/318203009229695908209192\ 9474324185*c_1001_8^8 - 583123797551199024718770949319548395390678/\ 3182030092296959082091929474324185*c_1001_8^7 + 1334401387913308310077543539443113714140757/31820300922969590820919\ 29474324185*c_1001_8^6 - 200267976581799566883089780812175476815340\ /636406018459391816418385894864837*c_1001_8^5 - 130869148655284094573561958608176856120912/318203009229695908209192\ 9474324185*c_1001_8^4 + 414151769501059285269025337884580894634327/\ 3182030092296959082091929474324185*c_1001_8^3 - 225584055820151130386851449082485204448297/318203009229695908209192\ 9474324185*c_1001_8^2 + 18258096950985517166515063732483323610971/6\ 36406018459391816418385894864837*c_1001_8 - 21448206139373337612214277877782404994721/3182030092296959082091929\ 474324185, c_0011_0 - 1, c_0011_10 + 3432361931453235717401964363/1247602971281078167386558979*c\ _1001_8^12 - 38817934637862722323744463701/124760297128107816738655\ 8979*c_1001_8^11 + 70180838588455625290040476278/124760297128107816\ 7386558979*c_1001_8^10 - 114607513077669310215509788063/12476029712\ 81078167386558979*c_1001_8^9 - 12889796841063403556160018326/124760\ 2971281078167386558979*c_1001_8^8 + 70912215721646345714897480949/1247602971281078167386558979*c_1001_8\ ^7 - 144990517642709344364224925113/1247602971281078167386558979*c_\ 1001_8^6 + 36701245848195891394189940244/12476029712810781673865589\ 79*c_1001_8^5 + 38804254275552826826601997087/124760297128107816738\ 6558979*c_1001_8^4 - 30374252015858412942794657311/1247602971281078\ 167386558979*c_1001_8^3 + 13316293389358457033071044461/12476029712\ 81078167386558979*c_1001_8^2 - 6413938521793676443706986164/1247602\ 971281078167386558979*c_1001_8 + 539793902206569790246504044/124760\ 2971281078167386558979, c_0011_11 + 4943058101919273105560699415/1247602971281078167386558979*c\ _1001_8^12 - 56695413485145573116364390589/124760297128107816738655\ 8979*c_1001_8^11 + 109989697633621978505690970072/12476029712810781\ 67386558979*c_1001_8^10 - 180496766200740001520471326644/1247602971\ 281078167386558979*c_1001_8^9 + 3848115783212513610678714133/124760\ 2971281078167386558979*c_1001_8^8 + 112182242917435001200408030426/1247602971281078167386558979*c_1001_\ 8^7 - 233904252124736895033464636440/1247602971281078167386558979*c\ _1001_8^6 + 85089575039070475333245531574/1247602971281078167386558\ 979*c_1001_8^5 + 52234158410240071639934052860/12476029712810781673\ 86558979*c_1001_8^4 - 57718123618651558418255557642/124760297128107\ 8167386558979*c_1001_8^3 + 25273122869416694311277845208/1247602971\ 281078167386558979*c_1001_8^2 - 8686841012806873680898635185/124760\ 2971281078167386558979*c_1001_8 + 833470406266459418182905260/12476\ 02971281078167386558979, c_0011_12 + 5078361367517957772904192453/1247602971281078167386558979*c\ _1001_8^12 - 58324718882608518352572036352/124760297128107816738655\ 8979*c_1001_8^11 + 114149666796347430083970987760/12476029712810781\ 67386558979*c_1001_8^10 - 190136363651327162559814211731/1247602971\ 281078167386558979*c_1001_8^9 + 12521934389403745025162668503/12476\ 02971281078167386558979*c_1001_8^8 + 104102710385971292140036222465/1247602971281078167386558979*c_1001_\ 8^7 - 237982181629723432817804309946/1247602971281078167386558979*c\ _1001_8^6 + 89234900222068302982892709990/1247602971281078167386558\ 979*c_1001_8^5 + 44244911447049979502113931035/12476029712810781673\ 86558979*c_1001_8^4 - 55447650299817649520237239887/124760297128107\ 8167386558979*c_1001_8^3 + 26298161797159978934133318071/1247602971\ 281078167386558979*c_1001_8^2 - 9209700238066922998531663856/124760\ 2971281078167386558979*c_1001_8 + 936520213494136524428282636/12476\ 02971281078167386558979, c_0011_13 - 7856960972511499968067378462/1247602971281078167386558979*c\ _1001_8^12 + 89493283629680299750767106361/124760297128107816738655\ 8979*c_1001_8^11 - 167652940417668101685734068329/12476029712810781\ 67386558979*c_1001_8^10 + 272974347028627937358413960528/1247602971\ 281078167386558979*c_1001_8^9 + 14978214067927275666356459394/12476\ 02971281078167386558979*c_1001_8^8 - 176233934136736462331232668319/1247602971281078167386558979*c_1001_\ 8^7 + 351892910450267425956470323522/1247602971281078167386558979*c\ _1001_8^6 - 106292162148406189996016630171/124760297128107816738655\ 8979*c_1001_8^5 - 93682588515814240837611658737/1247602971281078167\ 386558979*c_1001_8^4 + 81496682864843578583548723354/12476029712810\ 78167386558979*c_1001_8^3 - 34402264094588748876499194571/124760297\ 1281078167386558979*c_1001_8^2 + 12753031443302042683554435075/1247\ 602971281078167386558979*c_1001_8 - 974582196882998844060304983/1247602971281078167386558979, c_0011_7 - 4489530496873290065240212043/1247602971281078167386558979*c_\ 1001_8^12 + 51366834131002656392473558502/1247602971281078167386558\ 979*c_1001_8^11 - 98332625578843468645958478075/1247602971281078167\ 386558979*c_1001_8^10 + 159946405505497224139499329591/124760297128\ 1078167386558979*c_1001_8^9 + 2358230476908420348954228629/12476029\ 71281078167386558979*c_1001_8^8 - 103799425283426647321486494280/12\ 47602971281078167386558979*c_1001_8^7 + 206025959417877860734735473515/1247602971281078167386558979*c_1001_\ 8^6 - 69529681041578972699179229351/1247602971281078167386558979*c_\ 1001_8^5 - 52567437104687135674387852173/12476029712810781673865589\ 79*c_1001_8^4 + 48321472234966945956015634511/124760297128107816738\ 6558979*c_1001_8^3 - 20791120968379164609177037767/1247602971281078\ 167386558979*c_1001_8^2 + 7746304105649297491841474884/124760297128\ 1078167386558979*c_1001_8 - 916347408209232344652555229/12476029712\ 81078167386558979, c_0011_8 + 720005005225409297056151316/1247602971281078167386558979*c_1\ 001_8^12 - 8269742428748764585686341542/124760297128107816738655897\ 9*c_1001_8^11 + 15902835028006218031569081486/124760297128107816738\ 6558979*c_1001_8^10 - 23947524786289578642854059990/124760297128107\ 8167386558979*c_1001_8^9 - 1476172603216304393217546936/12476029712\ 81078167386558979*c_1001_8^8 + 19199166747091500897501459029/124760\ 2971281078167386558979*c_1001_8^7 - 23580204700266645774028883836/1247602971281078167386558979*c_1001_8\ ^6 + 4195997731026254388177765376/1247602971281078167386558979*c_10\ 01_8^5 + 18029753003305131547360785708/1247602971281078167386558979\ *c_1001_8^4 - 4965783234253588170443412120/124760297128107816738655\ 8979*c_1001_8^3 - 626241238442756846483008018/124760297128107816738\ 6558979*c_1001_8^2 + 17064746243596299552767573/1247602971281078167\ 386558979*c_1001_8 - 925609404141209391091426439/124760297128107816\ 7386558979, c_0101_1 - 1173532610271392337376638688/1247602971281078167386558979*c_\ 1001_8^12 + 13598321782891681309577173629/1247602971281078167386558\ 979*c_1001_8^11 - 27559907082784727891301573483/1247602971281078167\ 386558979*c_1001_8^10 + 44497885481532356023826057043/1247602971281\ 078167386558979*c_1001_8^9 - 4730173656904629566415395826/124760297\ 1281078167386558979*c_1001_8^8 - 27581984381099854776422995175/1247\ 602971281078167386558979*c_1001_8^7 + 51458497407125680072758046761/1247602971281078167386558979*c_1001_8\ ^6 - 19755891728517757022244067599/1247602971281078167386558979*c_1\ 001_8^5 - 17696474308858067512906986395/124760297128107816738655897\ 9*c_1001_8^4 + 14362434617938200632683335251/1247602971281078167386\ 558979*c_1001_8^3 - 3855760662594772855617799423/124760297128107816\ 7386558979*c_1001_8^2 + 923472160913979889504392728/124760297128107\ 8167386558979*c_1001_8 + 1008486406083982317561076408/1247602971281\ 078167386558979, c_0101_13 - 89157276139018488847918229/8975560944468188254579561*c_1001\ _8^12 + 1017882371066463483127370410/8975560944468188254579561*c_10\ 01_8^11 - 1931271578377387461446983425/8975560944468188254579561*c_\ 1001_8^10 + 3170669201260400448805743039/8975560944468188254579561*\ c_1001_8^9 + 45141909684787235686805635/8975560944468188254579561*c\ _1001_8^8 - 1915966100226634358747299573/8975560944468188254579561*\ c_1001_8^7 + 4011577559933443480024117597/8975560944468188254579561\ *c_1001_8^6 - 1284919990738755759901426701/897556094446818825457956\ 1*c_1001_8^5 - 969692451168174672519167710/897556094446818825457956\ 1*c_1001_8^4 + 922500659124059441071149599/897556094446818825457956\ 1*c_1001_8^3 - 401935066884919414827391637/897556094446818825457956\ 1*c_1001_8^2 + 145484644827542855625521092/897556094446818825457956\ 1*c_1001_8 - 9142107143315362823371632/8975560944468188254579561, c_0101_3 - 50055795910130321047992900/1247602971281078167386558979*c_10\ 01_8^12 + 1025245548463418084012746392/1247602971281078167386558979\ *c_1001_8^11 - 6275972916521790886617016563/12476029712810781673865\ 58979*c_1001_8^10 + 11710755641282304312131457778/12476029712810781\ 67386558979*c_1001_8^9 - 16024633986470267675920436899/124760297128\ 1078167386558979*c_1001_8^8 - 1822393248981587831129896660/12476029\ 71281078167386558979*c_1001_8^7 + 12914056902882466606975330398/124\ 7602971281078167386558979*c_1001_8^6 - 20724530752379973939706189877/1247602971281078167386558979*c_1001_8\ ^5 + 2853497236173967299165489024/1247602971281078167386558979*c_10\ 01_8^4 + 8625177084517833285760227071/1247602971281078167386558979*\ c_1001_8^3 - 6007944450224099043315553549/1247602971281078167386558\ 979*c_1001_8^2 + 1633634824880074713392958829/124760297128107816738\ 6558979*c_1001_8 - 68816659040512724414615281/124760297128107816738\ 6558979, c_0110_10 + 1082178951756946395856163114/1247602971281078167386558979*c\ _1001_8^12 - 12004957697798485911514793677/124760297128107816738655\ 8979*c_1001_8^11 + 19377825614300915172365589064/124760297128107816\ 7386558979*c_1001_8^10 - 30169691528270272682133406798/124760297128\ 1078167386558979*c_1001_8^9 - 13906021752821062881610876899/1247602\ 971281078167386558979*c_1001_8^8 + 23940166766264351862983150264/1247602971281078167386558979*c_1001_8\ ^7 - 38709728878584174655232157118/1247602971281078167386558979*c_1\ 001_8^6 - 3060578095897715093201399219/1247602971281078167386558979\ *c_1001_8^5 + 18612825351728436074951775531/12476029712810781673865\ 58979*c_1001_8^4 - 7184241005368641304942646488/1247602971281078167\ 386558979*c_1001_8^3 + 101467532632531731926773655/1247602971281078\ 167386558979*c_1001_8^2 - 662684911938910132900159896/1247602971281\ 078167386558979*c_1001_8 - 104253296086281665713865657/124760297128\ 1078167386558979, c_1001_0 + 3014109279158114493129287108/1247602971281078167386558979*c_\ 1001_8^12 - 34017996661805905462910147998/1247602971281078167386558\ 979*c_1001_8^11 + 60875645379360635804858779015/1247602971281078167\ 386558979*c_1001_8^10 - 99685126809969201358243769574/1247602971281\ 078167386558979*c_1001_8^9 - 12007215017642348429277756617/12476029\ 71281078167386558979*c_1001_8^8 + 57576045901823453967866360574/124\ 7602971281078167386558979*c_1001_8^7 - 119530806846641395785658485981/1247602971281078167386558979*c_1001_\ 8^6 + 22707385579860830266170299985/1247602971281078167386558979*c_\ 1001_8^5 + 36139409240140459587967745339/12476029712810781673865589\ 79*c_1001_8^4 - 23273371409273892663199232467/124760297128107816738\ 6558979*c_1001_8^3 + 6820986908364506311166057231/12476029712810781\ 67386558979*c_1001_8^2 - 4201438356467821005517205629/1247602971281\ 078167386558979*c_1001_8 + 170487688512245725336672055/124760297128\ 1078167386558979, c_1001_2 + 1727088528165198228992808981/1247602971281078167386558979*c_\ 1001_8^12 - 20027565156411443406619135095/1247602971281078167386558\ 979*c_1001_8^11 + 41025069454605168954763288434/1247602971281078167\ 386558979*c_1001_8^10 - 69059869199819625920434960619/1247602971281\ 078167386558979*c_1001_8^9 + 12521410439674805854017088487/12476029\ 71281078167386558979*c_1001_8^8 + 32838621669459037463082307589/124\ 7602971281078167386558979*c_1001_8^7 - 80996137708180166435664159399/1247602971281078167386558979*c_1001_8\ ^6 + 37895077179850645799910886274/1247602971281078167386558979*c_1\ 001_8^5 + 12372072381080342613721116318/124760297128107816738655897\ 9*c_1001_8^4 - 19192841905688812014260442340/1247602971281078167386\ 558979*c_1001_8^3 + 11376106071332008200378259516/12476029712810781\ 67386558979*c_1001_8^2 - 4906434522780962812713760913/1247602971281\ 078167386558979*c_1001_8 + 711472586119097020980691936/124760297128\ 1078167386558979, c_1001_8^13 - 676/59*c_1001_8^12 + 1307/59*c_1001_8^11 - 2167/59*c_1001_8^10 + 91/59*c_1001_8^9 + 1209/59*c_1001_8^8 - 2690/59*c_1001_8^7 + 977/59*c_1001_8^6 + 547/59*c_1001_8^5 - 614/59*c_1001_8^4 + 294/59*c_1001_8^3 - 117/59*c_1001_8^2 + 16/59*c_1001_8 - 1/59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 127.160 Total time: 127.370 seconds, Total memory usage: 444.00MB