Magma V2.19-8 Wed Aug 21 2013 00:33:46 on localhost [Seed = 121706008] Type ? for help. Type -D to quit. Loading file "K14n21006__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21006 geometric_solution 12.16588936 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 -1 0 1 -13 12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655234296102 0.625886455187 0 5 7 6 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 0 0 0 0 0 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.804281999776 0.715608104228 8 0 10 9 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 0 0 0 -1 0 0 1 12 -12 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871929706339 0.777103476691 8 7 4 0 1023 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 -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.655234296102 0.625886455187 3 11 0 9 2310 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439727366671 0.981152775795 10 1 12 11 1023 0132 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 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.813622097953 0.472324601392 11 7 1 9 0321 3120 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.132541401324 0.688985558166 3 6 12 1 1302 3120 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306033960540 0.617454726122 2 3 10 11 0132 1023 1023 3012 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 1 0 0 -1 1 -1 0 0 -12 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871929706339 0.777103476691 12 6 2 4 0132 2310 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.079103730332 0.972280182269 12 5 8 2 2103 1023 1023 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 -1 13 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608838274885 0.622000600911 6 4 8 5 0321 0132 1230 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 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 0.513497943078 0.542149957748 9 7 10 5 0132 3201 2103 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.722878985825 1.831942119123 ==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' : d['c_0101_5'], 'c_1001_12' : d['c_0011_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : negation(d['c_1001_5']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_0110_5'], 'c_1010_10' : d['c_0110_5'], 's_0_10' : 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_0101_0']), 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_7' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : d['c_1001_11'], 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0101_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_2']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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_12']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_11']), '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' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_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_5'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_0']})} 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_11, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0110_5, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 93567464611772764/1016222685984085375*c_1001_5^5 + 643616393852656706/1016222685984085375*c_1001_5^4 + 4181340368752745504/1016222685984085375*c_1001_5^3 + 3059497797552671818/1016222685984085375*c_1001_5^2 - 11113526646585379574/1016222685984085375*c_1001_5 - 14556850680460196324/1016222685984085375, c_0011_0 - 1, c_0011_11 + 763112/148899175*c_1001_5^5 - 3170248/148899175*c_1001_5^4 - 55942482/148899175*c_1001_5^3 - 41874994/148899175*c_1001_5^2 + 60925392/148899175*c_1001_5 + 104759417/148899175, c_0011_12 - 763112/148899175*c_0110_5*c_1001_5^5 + 3170248/148899175*c_0110_5*c_1001_5^4 + 55942482/148899175*c_0110_5*c_1001_5^3 + 41874994/148899175*c_0110_5*c_1001_5^2 - 60925392/148899175*c_0110_5*c_1001_5 - 104759417/148899175*c_0110_5 - 84536/29779835*c_1001_5^5 + 2225604/29779835*c_1001_5^4 - 10539504/29779835*c_1001_5^3 - 36738688/29779835*c_1001_5^2 - 5705216/29779835*c_1001_5 + 62874054/29779835, c_0011_6 + 763112/148899175*c_0110_5*c_1001_5^5 - 3170248/148899175*c_0110_5*c_1001_5^4 - 55942482/148899175*c_0110_5*c_1001_5^3 - 41874994/148899175*c_0110_5*c_1001_5^2 + 60925392/148899175*c_0110_5*c_1001_5 + 104759417/148899175*c_0110_5 - 112592/148899175*c_1001_5^5 + 4982068/148899175*c_1001_5^4 - 30467438/148899175*c_1001_5^3 - 141289396/148899175*c_1001_5^2 - 17783622/148899175*c_1001_5 + 185246478/148899175, c_0011_7 + 2907368/148899175*c_0110_5*c_1001_5^5 - 25939672/148899175*c_0110_5*c_1001_5^4 - 69525298/148899175*c_0110_5*c_1001_5^3 - 4531616/148899175*c_0110_5*c_1001_5^2 + 83038413/148899175*c_0110_5*c_1001_5 + 40493488/148899175*c_0110_5 - 42268/29779835*c_1001_5^5 + 1112802/29779835*c_1001_5^4 - 5269752/29779835*c_1001_5^3 - 18369344/29779835*c_1001_5^2 - 2852608/29779835*c_1001_5 + 31437027/29779835, c_0101_0 - 2907368/148899175*c_0110_5*c_1001_5^5 + 25939672/148899175*c_0110_5*c_1001_5^4 + 69525298/148899175*c_0110_5*c_1001_5^3 + 4531616/148899175*c_0110_5*c_1001_5^2 - 83038413/148899175*c_0110_5*c_1001_5 - 40493488/148899175*c_0110_5 + 1863184/148899175*c_1001_5^5 - 13971736/148899175*c_1001_5^4 - 66661824/148899175*c_1001_5^3 - 97214008/148899175*c_1001_5^2 + 43503194/148899175*c_1001_5 + 200126369/148899175, c_0101_1 - 465796/148899175*c_1001_5^5 + 3492934/148899175*c_1001_5^4 + 16665456/148899175*c_1001_5^3 + 24303502/148899175*c_1001_5^2 - 85325386/148899175*c_1001_5 - 87256386/148899175, c_0101_10 + c_0110_5 + 1975776/148899175*c_1001_5^5 - 18953804/148899175*c_1001_5^4 - 36194386/148899175*c_1001_5^3 + 44075388/148899175*c_1001_5^2 + 61286816/148899175*c_1001_5 - 134019284/148899175, c_0101_2 - 297316/148899175*c_0110_5*c_1001_5^5 - 322686/148899175*c_0110_5*c_1001_5^4 + 39277026/148899175*c_0110_5*c_1001_5^3 + 17571492/148899175*c_0110_5*c_1001_5^2 - 124499181/148899175*c_0110_5*c_1001_5 - 17503031/148899175*c_0110_5 + 763112/148899175*c_1001_5^5 - 3170248/148899175*c_1001_5^4 - 55942482/148899175*c_1001_5^3 - 41874994/148899175*c_1001_5^2 + 60925392/148899175*c_1001_5 + 104759417/148899175, c_0101_5 + 297316/148899175*c_0110_5*c_1001_5^5 + 322686/148899175*c_0110_5*c_1001_5^4 - 39277026/148899175*c_0110_5*c_1001_5^3 - 17571492/148899175*c_0110_5*c_1001_5^2 + 124499181/148899175*c_0110_5*c_1001_5 + 17503031/148899175*c_0110_5 - 42268/29779835*c_1001_5^5 + 1112802/29779835*c_1001_5^4 - 5269752/29779835*c_1001_5^3 - 18369344/29779835*c_1001_5^2 - 2852608/29779835*c_1001_5 + 31437027/29779835, c_0110_5^2 + 1975776/148899175*c_0110_5*c_1001_5^5 - 18953804/148899175*c_0110_5*c_1001_5^4 - 36194386/148899175*c_0110_5*c_1001_5^3 + 44075388/148899175*c_0110_5*c_1001_5^2 + 61286816/148899175*c_0110_5*c_1001_5 - 134019284/148899175*c_0110_5 - 1622036/148899175*c_1001_5^5 + 21477194/148899175*c_1001_5^4 - 24399004/148899175*c_1001_5^3 - 144290018/148899175*c_1001_5^2 - 664176/148899175*c_1001_5 + 224282474/148899175, c_1001_11 - 931592/148899175*c_1001_5^5 + 6985868/148899175*c_1001_5^4 + 33330912/148899175*c_1001_5^3 + 48607004/148899175*c_1001_5^2 - 21751597/148899175*c_1001_5 - 174512772/148899175, c_1001_5^6 - 17/2*c_1001_5^5 - 61/2*c_1001_5^4 + 25/2*c_1001_5^3 + 95*c_1001_5^2 + 19*c_1001_5 - 463/4 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0110_5, c_1001_11, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 62366351728766384459507679/4039134495740158019119984*c_1001_5^15 - 16732565174162642002621537/504891811967519752389998*c_1001_5^14 - 761269839138025704445749697/2019567247870079009559992*c_1001_5^13 + 146357747710709837662356147/85939031824258681257872*c_1001_5^12 - 5154363464887586771000500035/4039134495740158019119984*c_1001_5^11 - 4668291976745313569468142409/504891811967519752389998*c_1001_5^10 - 477613558659994245441699031/4039134495740158019119984*c_1001_5^9 + 175227661645075717192011386315/4039134495740158019119984*c_1001_5^8 + 6941523156196443242686484249/2019567247870079009559992*c_1001_5^7 - 538615894836962933452878317121/4039134495740158019119984*c_1001_5\ ^6 + 135900325073467351992478805343/1009783623935039504779996*c_100\ 1_5^5 - 6577614549264537267323270048/252445905983759876194999*c_100\ 1_5^4 - 48552435674359994641491068925/2019567247870079009559992*c_1\ 001_5^3 + 58057713923928907839125812929/4039134495740158019119984*c\ _1001_5^2 - 729028832385850852412243767/252445905983759876194999*c_\ 1001_5 + 100607774230073302658296783/504891811967519752389998, c_0011_0 - 1, c_0011_11 - 5111779200175361435686056/252445905983759876194999*c_1001_5\ ^15 - 4109680264166282849160288/252445905983759876194999*c_1001_5^1\ 4 + 154214543675294375178567400/252445905983759876194999*c_1001_5^1\ 3 - 498422821128163138698054/5371189489016167578617*c_1001_5^12 - 759589191472579612963467315/252445905983759876194999*c_1001_5^11 - 337220706235037573295344336/252445905983759876194999*c_1001_5^10 + 2800028793056384898290252067/252445905983759876194999*c_1001_5^9 + 983272044765032053233728189/252445905983759876194999*c_1001_5^8 - 7850773114861382896840974916/252445905983759876194999*c_1001_5^7 + 5368207966100832441279136223/252445905983759876194999*c_1001_5^6 + 1891275621140791875912689978/252445905983759876194999*c_1001_5^5 - 2857440603462810219937037110/252445905983759876194999*c_1001_5^4 + 425753198901843450634604989/252445905983759876194999*c_1001_5^3 + 317841844727468906602221815/252445905983759876194999*c_1001_5^2 - 114285843377649495715709035/252445905983759876194999*c_1001_5 + 10504349076427544599366050/252445905983759876194999, c_0011_12 + 285672078973683001085607/504891811967519752389998*c_1001_5^\ 15 - 24656548859105165088703/252445905983759876194999*c_1001_5^14 - 4578421209163224792996788/252445905983759876194999*c_1001_5^13 + 193383165283902668649099/10742378978032335157234*c_1001_5^12 + 49864796135640062642644387/504891811967519752389998*c_1001_5^11 - 6730579591868431364399504/252445905983759876194999*c_1001_5^10 - 210187287569655340757019755/504891811967519752389998*c_1001_5^9 + 34626796699644391133838425/504891811967519752389998*c_1001_5^8 + 293489475473418580812092172/252445905983759876194999*c_1001_5^7 - 555294868076151069222056167/504891811967519752389998*c_1001_5^6 - 42441353650046065128686767/252445905983759876194999*c_1001_5^5 + 133053488840406534837962214/252445905983759876194999*c_1001_5^4 - 29300305779025749599240455/252445905983759876194999*c_1001_5^3 - 25137687016928929525427159/504891811967519752389998*c_1001_5^2 + 6092364561200459313220713/252445905983759876194999*c_1001_5 - 869891456391000792944201/252445905983759876194999, c_0011_6 + 285672078973683001085607/504891811967519752389998*c_1001_5^1\ 5 - 24656548859105165088703/252445905983759876194999*c_1001_5^14 - 4578421209163224792996788/252445905983759876194999*c_1001_5^13 + 193383165283902668649099/10742378978032335157234*c_1001_5^12 + 49864796135640062642644387/504891811967519752389998*c_1001_5^11 - 6730579591868431364399504/252445905983759876194999*c_1001_5^10 - 210187287569655340757019755/504891811967519752389998*c_1001_5^9 + 34626796699644391133838425/504891811967519752389998*c_1001_5^8 + 293489475473418580812092172/252445905983759876194999*c_1001_5^7 - 555294868076151069222056167/504891811967519752389998*c_1001_5^6 - 42441353650046065128686767/252445905983759876194999*c_1001_5^5 + 133053488840406534837962214/252445905983759876194999*c_1001_5^4 - 29300305779025749599240455/252445905983759876194999*c_1001_5^3 - 25137687016928929525427159/504891811967519752389998*c_1001_5^2 + 6092364561200459313220713/252445905983759876194999*c_1001_5 - 869891456391000792944201/252445905983759876194999, c_0011_7 - 7036038262883578837845015/504891811967519752389998*c_1001_5^\ 15 - 2909501205026837218371145/252445905983759876194999*c_1001_5^14 + 105784549871257830176799907/252445905983759876194999*c_1001_5^13 - 608841398001519105218287/10742378978032335157234*c_1001_5^12 - 1030757328789958908476038349/504891811967519752389998*c_1001_5^11 - 234121257832097188365456100/252445905983759876194999*c_1001_5^10 + 3781563026521058455500587251/504891811967519752389998*c_1001_5^9 + 1310639769902991681553488527/504891811967519752389998*c_1001_5^8 - 5313701330563783071754359515/252445905983759876194999*c_1001_5^7 + 7502839442123021542064715939/504891811967519752389998*c_1001_5^6 + 1177090341893620830416376678/252445905983759876194999*c_1001_5^5 - 1996562277487505843817026374/252445905983759876194999*c_1001_5^4 + 363212568685742670119764069/252445905983759876194999*c_1001_5^3 + 433046330555184888692355301/504891811967519752389998*c_1001_5^2 - 89506214587881054363412130/252445905983759876194999*c_1001_5 + 9295124901349950908569143/252445905983759876194999, c_0101_0 - 7036038262883578837845015/504891811967519752389998*c_1001_5^\ 15 - 2909501205026837218371145/252445905983759876194999*c_1001_5^14 + 105784549871257830176799907/252445905983759876194999*c_1001_5^13 - 608841398001519105218287/10742378978032335157234*c_1001_5^12 - 1030757328789958908476038349/504891811967519752389998*c_1001_5^11 - 234121257832097188365456100/252445905983759876194999*c_1001_5^10 + 3781563026521058455500587251/504891811967519752389998*c_1001_5^9 + 1310639769902991681553488527/504891811967519752389998*c_1001_5^8 - 5313701330563783071754359515/252445905983759876194999*c_1001_5^7 + 7502839442123021542064715939/504891811967519752389998*c_1001_5^6 + 1177090341893620830416376678/252445905983759876194999*c_1001_5^5 - 1996562277487505843817026374/252445905983759876194999*c_1001_5^4 + 363212568685742670119764069/252445905983759876194999*c_1001_5^3 + 433046330555184888692355301/504891811967519752389998*c_1001_5^2 - 89506214587881054363412130/252445905983759876194999*c_1001_5 + 9295124901349950908569143/252445905983759876194999, c_0101_1 + 27102640728985630209155439/1009783623935039504779996*c_1001_\ 5^15 + 11018284466417602534387449/504891811967519752389998*c_1001_5\ ^14 - 408343070313514659637093373/504891811967519752389998*c_1001_5\ ^13 + 2508078207942007952784783/21484757956064670314468*c_1001_5^12 + 4006072551865124164893912739/1009783623935039504779996*c_1001_5^1\ 1 + 906155621601278108822825081/504891811967519752389998*c_1001_5^1\ 0 - 14718880672523978288402632203/1009783623935039504779996*c_1001_\ 5^9 - 5213743656798836812290579767/1009783623935039504779996*c_1001\ _5^8 + 10308372364992958847676345845/252445905983759876194999*c_100\ 1_5^7 - 28515957939718609062385700457/1009783623935039504779996*c_1\ 001_5^6 - 4689283098098859827451277009/504891811967519752389998*c_1\ 001_5^5 + 3751214511639252879206358277/252445905983759876194999*c_1\ 001_5^4 - 1279555939195377084236424665/504891811967519752389998*c_1\ 001_5^3 - 1592946187193397814010208183/1009783623935039504779996*c_\ 1001_5^2 + 322466640967139500536797323/504891811967519752389998*c_1\ 001_5 - 17212261299415745513980683/252445905983759876194999, c_0101_10 + 2515023605007452076280695/1009783623935039504779996*c_1001_\ 5^15 + 2610243097570673609475095/504891811967519752389998*c_1001_5^\ 14 - 36067421669065002290254781/504891811967519752389998*c_1001_5^1\ 3 - 1774967348512504287042345/21484757956064670314468*c_1001_5^12 + 354116353964644710577699903/1009783623935039504779996*c_1001_5^11 + 314528665183217158557846693/504891811967519752389998*c_1001_5^10 - 1004403966051292125854473191/1009783623935039504779996*c_1001_5^9 - 2077589171510195348107854747/1009783623935039504779996*c_1001_5^8 + 678185210948781189069733128/252445905983759876194999*c_1001_5^7 + 1798612673563333396899726171/1009783623935039504779996*c_1001_5^6 - 1405700950339897657456693081/504891811967519752389998*c_1001_5^5 - 81305267347302298022922494/252445905983759876194999*c_1001_5^4 + 526318586862978164887450863/504891811967519752389998*c_1001_5^3 - 81962373638325233779043231/1009783623935039504779996*c_1001_5^2 - 60710788527341626295555335/504891811967519752389998*c_1001_5 + 5877306633587398089046395/252445905983759876194999, c_0101_2 - 745758386481214589138865/252445905983759876194999*c_1001_5^1\ 5 - 342396420744405525373375/504891811967519752389998*c_1001_5^14 + 22840192151691210431652823/252445905983759876194999*c_1001_5^13 - 349737416309634340133605/5371189489016167578617*c_1001_5^12 - 218008694550980804136848271/504891811967519752389998*c_1001_5^11 + 33990733154364625466678663/504891811967519752389998*c_1001_5^10 + 440152036836230293886414468/252445905983759876194999*c_1001_5^9 - 201845582487461301731639947/504891811967519752389998*c_1001_5^8 - 2499293389721942785559954013/504891811967519752389998*c_1001_5^7 + 1462030681010469569161805595/252445905983759876194999*c_1001_5^6 - 230657678142077376640501191/504891811967519752389998*c_1001_5^5 - 632906025417789897908845869/252445905983759876194999*c_1001_5^4 + 275514774272880758342010510/252445905983759876194999*c_1001_5^3 + 44505023933354631154089168/252445905983759876194999*c_1001_5^2 - 85957064658861688017703677/504891811967519752389998*c_1001_5 + 6141007209124722417649124/252445905983759876194999, c_0101_5 - 745758386481214589138865/252445905983759876194999*c_1001_5^1\ 5 - 342396420744405525373375/504891811967519752389998*c_1001_5^14 + 22840192151691210431652823/252445905983759876194999*c_1001_5^13 - 349737416309634340133605/5371189489016167578617*c_1001_5^12 - 218008694550980804136848271/504891811967519752389998*c_1001_5^11 + 33990733154364625466678663/504891811967519752389998*c_1001_5^10 + 440152036836230293886414468/252445905983759876194999*c_1001_5^9 - 201845582487461301731639947/504891811967519752389998*c_1001_5^8 - 2499293389721942785559954013/504891811967519752389998*c_1001_5^7 + 1462030681010469569161805595/252445905983759876194999*c_1001_5^6 - 230657678142077376640501191/504891811967519752389998*c_1001_5^5 - 632906025417789897908845869/252445905983759876194999*c_1001_5^4 + 275514774272880758342010510/252445905983759876194999*c_1001_5^3 + 44505023933354631154089168/252445905983759876194999*c_1001_5^2 - 85957064658861688017703677/504891811967519752389998*c_1001_5 + 6141007209124722417649124/252445905983759876194999, c_0110_5 + 2515023605007452076280695/1009783623935039504779996*c_1001_5\ ^15 + 2610243097570673609475095/504891811967519752389998*c_1001_5^1\ 4 - 36067421669065002290254781/504891811967519752389998*c_1001_5^13 - 1774967348512504287042345/21484757956064670314468*c_1001_5^12 + 354116353964644710577699903/1009783623935039504779996*c_1001_5^11 + 314528665183217158557846693/504891811967519752389998*c_1001_5^10 - 1004403966051292125854473191/1009783623935039504779996*c_1001_5^9 - 2077589171510195348107854747/1009783623935039504779996*c_1001_5^8 + 678185210948781189069733128/252445905983759876194999*c_1001_5^7 + 1798612673563333396899726171/1009783623935039504779996*c_1001_5^6 - 1405700950339897657456693081/504891811967519752389998*c_1001_5^5 - 81305267347302298022922494/252445905983759876194999*c_1001_5^4 + 526318586862978164887450863/504891811967519752389998*c_1001_5^3 - 81962373638325233779043231/1009783623935039504779996*c_1001_5^2 - 60710788527341626295555335/504891811967519752389998*c_1001_5 + 5877306633587398089046395/252445905983759876194999, c_1001_11 + 2207160818885218123200195/1009783623935039504779996*c_1001_\ 5^15 + 952430727099134248012215/504891811967519752389998*c_1001_5^1\ 4 - 33187490882287763541504167/504891811967519752389998*c_1001_5^13 + 136611986807733908278023/21484757956064670314468*c_1001_5^12 + 325653765758982110163825251/1009783623935039504779996*c_1001_5^11 + 80614430730779671040421051/504891811967519752389998*c_1001_5^10 - 1188751966146717893113388631/1009783623935039504779996*c_1001_5^9 - 472030970351993097654364103/1009783623935039504779996*c_1001_5^8 + 833836661121020972840704936/252445905983759876194999*c_1001_5^7 - 2184214533026429673279868453/1009783623935039504779996*c_1001_5^6 - 433365427751624483959730513/504891811967519752389998*c_1001_5^5 + 302099290749548249138858766/252445905983759876194999*c_1001_5^4 - 84967533456339779388690189/504891811967519752389998*c_1001_5^3 - 141328037906317669814386343/1009783623935039504779996*c_1001_5^2 + 25769583740648446520909223/504891811967519752389998*c_1001_5 - 755813362499051353200111/252445905983759876194999, c_1001_5^16 + 4/9*c_1001_5^15 - 274/9*c_1001_5^14 + 139/9*c_1001_5^13 + 1319/9*c_1001_5^12 + 112/9*c_1001_5^11 - 5125/9*c_1001_5^10 + 19/3*c_1001_5^9 + 1598*c_1001_5^8 - 4825/3*c_1001_5^7 + 80/3*c_1001_5^6 + 6188/9*c_1001_5^5 - 2654/9*c_1001_5^4 - 241/9*c_1001_5^3 + 412/9*c_1001_5^2 - 100/9*c_1001_5 + 8/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.750 Total time: 8.960 seconds, Total memory usage: 120.03MB