Magma V2.19-8 Wed Aug 21 2013 00:17:56 on localhost [Seed = 374373202] Type ? for help. Type -D to quit. Loading file "K13n985__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n985 geometric_solution 12.32153641 oriented_manifold CS_known -0.0000000000000004 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 -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 -1 1 0 0 0 0 0 3 0 0 -3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705397932682 0.925364305903 0 5 7 6 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 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688373285659 1.035746403246 8 0 7 9 0132 0132 0321 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 -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 0 0 0 0 0.705397932682 0.925364305903 10 11 7 0 0132 0132 3012 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 -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.746895361028 0.733380823207 10 6 0 5 3120 0321 0132 1023 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 0 0 0 0 0 0 0 0 3 0 -3 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605185505362 0.766721453858 9 1 11 4 1023 0132 1023 1023 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550576860396 0.302648913161 8 11 1 4 2031 1023 0132 0321 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 -3 0 0 3 -1 4 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631637426657 0.526278337545 12 3 2 1 0132 1230 0321 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 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.420502891512 1.218423960896 2 12 6 10 0132 1230 1302 1302 0 0 0 0 0 1 -1 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 -4 3 1 0 0 0 0 0 -4 0 4 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392096117990 0.537560806997 12 5 2 11 1230 1023 0132 1023 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 0 0 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605185505362 0.766721453858 3 12 8 4 0132 1302 2031 3120 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 4 -4 0 1 0 -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 0.696874047461 0.617088578333 6 3 5 9 1023 0132 1023 1023 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 0 0 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.938239760600 0.619924476670 7 9 8 10 0132 3012 3012 2031 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 0 0 0 0 0 4 -4 -1 0 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.195696549408 0.712218333689 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_12' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_0011_4']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0011_4']), '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' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_7'], 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_1001_7']), 'c_1100_3' : negation(d['c_1001_7']), 'c_1100_2' : d['c_1001_7'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_7']), 'c_1100_10' : negation(d['c_0101_1']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_0110_11'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_11'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0110_11'], 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : d['c_0101_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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_0011_4'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_10'], '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_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0101_2']), 'c_0101_12' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_2']), '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_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : 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' : negation(d['c_0011_10']), 'c_0110_5' : d['c_0110_11'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_1'], '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_12, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0110_11, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 155932613246873/34628213780*c_1001_7^7 + 6434237591988081/1073474627180*c_1001_7^6 + 142304207636967/17314106890*c_1001_7^5 + 5547676650759917/536737313590*c_1001_7^4 + 3102840747654102/268368656795*c_1001_7^3 + 6898194851402927/1073474627180*c_1001_7^2 + 83811145718479/34628213780*c_1001_7 + 490252609087477/1073474627180, c_0011_0 - 1, c_0011_10 + 250201/14890*c_1001_7^7 + 125602/7445*c_1001_7^6 + 30852/1489*c_1001_7^5 + 201541/7445*c_1001_7^4 + 423003/14890*c_1001_7^3 + 49337/7445*c_1001_7^2 - 20479/14890*c_1001_7 - 13683/14890, c_0011_12 - c_1001_7, c_0011_4 - 24366/7445*c_1001_7^7 + 19116/7445*c_1001_7^6 + 443/1489*c_1001_7^5 + 8693/7445*c_1001_7^4 + 12057/7445*c_1001_7^3 + 52431/7445*c_1001_7^2 + 7184/7445*c_1001_7 - 1682/7445, c_0101_0 + 57102/7445*c_1001_7^7 + 9222/1489*c_1001_7^6 + 71737/7445*c_1001_7^5 + 78868/7445*c_1001_7^4 + 85613/7445*c_1001_7^3 + 19378/7445*c_1001_7^2 - 862/1489*c_1001_7 - 10073/7445, c_0101_1 - 255161/14890*c_1001_7^7 - 109562/7445*c_1001_7^6 - 65073/2978*c_1001_7^5 - 393337/14890*c_1001_7^4 - 419753/14890*c_1001_7^3 - 96469/14890*c_1001_7^2 - 15151/14890*c_1001_7 + 6604/7445, c_0101_11 + 117738/7445*c_1001_7^7 + 115522/7445*c_1001_7^6 + 31970/1489*c_1001_7^5 + 360587/14890*c_1001_7^4 + 202599/7445*c_1001_7^3 + 46212/7445*c_1001_7^2 - 19699/14890*c_1001_7 - 33473/14890, c_0101_2 - 81468/7445*c_1001_7^7 - 26994/7445*c_1001_7^6 - 69522/7445*c_1001_7^5 - 14035/1489*c_1001_7^4 - 73556/7445*c_1001_7^3 + 33053/7445*c_1001_7^2 + 4049/7445*c_1001_7 + 946/7445, c_0101_3 - c_1001_7, c_0101_5 + 72881/2978*c_1001_7^7 + 171712/7445*c_1001_7^6 + 225997/7445*c_1001_7^5 + 280409/7445*c_1001_7^4 + 594229/14890*c_1001_7^3 + 13743/1489*c_1001_7^2 - 29099/14890*c_1001_7 - 33829/14890, c_0110_11 - 496/1489*c_1001_7^7 + 3208/1489*c_1001_7^6 - 3369/2978*c_1001_7^5 + 1949/2978*c_1001_7^4 + 325/1489*c_1001_7^3 + 441/2978*c_1001_7^2 - 2074/1489*c_1001_7 - 95/2978, c_1001_2 - 418097/14890*c_1001_7^7 - 136556/7445*c_1001_7^6 - 464409/14890*c_1001_7^5 - 533687/14890*c_1001_7^4 - 113373/2978*c_1001_7^3 - 30363/14890*c_1001_7^2 - 7053/14890*c_1001_7 + 1510/1489, c_1001_7^8 + 32/31*c_1001_7^7 + 44/31*c_1001_7^6 + 54/31*c_1001_7^5 + 58/31*c_1001_7^4 + 20/31*c_1001_7^3 + 3/31*c_1001_7^2 - 2/31*c_1001_7 - 1/31 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_3, c_0101_5, c_0110_11, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 40058868935559/45918791830400*c_1001_7^14 + 152567508739583/22959395915200*c_1001_7^13 + 212347032608443/11479697957600*c_1001_7^12 + 48411667984063/1434962244700*c_1001_7^11 + 1539179932861883/22959395915200*c_1001_7^10 + 1353111320026341/11479697957600*c_1001_7^9 + 4000304696987379/45918791830400*c_1001_7^8 + 3425132670838373/22959395915200*c_1001_7^7 + 232390264906701/22959395915200*c_1001_7^6 + 2812923191281341/45918791830400*c_1001_7^5 - 1403507940470097/9183758366080*c_1001_7^4 - 158032306739389/2869924489400*c_1001_7^3 - 2897540851144221/45918791830400*c_1001_7^2 + 2219544088438203/45918791830400*c_1001_7 + 72874514918701/2869924489400, c_0011_0 - 1, c_0011_10 + 20687194381/1434962244700*c_1001_7^14 + 118902015949/1434962244700*c_1001_7^13 + 181218614423/1434962244700*c_1001_7^12 + 236267390809/1434962244700*c_1001_7^11 + 645276139429/1434962244700*c_1001_7^10 + 520486912731/1434962244700*c_1001_7^9 - 744265332777/717481122350*c_1001_7^8 + 646452389176/358740561175*c_1001_7^7 - 3725529735761/717481122350*c_1001_7^6 + 2854186612269/1434962244700*c_1001_7^5 - 432084409551/71748112235*c_1001_7^4 + 263143630201/358740561175*c_1001_7^3 - 4293024882799/1434962244700*c_1001_7^2 + 358826245293/358740561175*c_1001_7 + 589217205031/358740561175, c_0011_12 - 14014575296/358740561175*c_1001_7^14 - 105474892789/358740561175*c_1001_7^13 - 299542728943/358740561175*c_1001_7^12 - 606691632584/358740561175*c_1001_7^11 - 1272254128449/358740561175*c_1001_7^10 - 2194480160651/358740561175*c_1001_7^9 - 2005152281846/358740561175*c_1001_7^8 - 3676121062579/358740561175*c_1001_7^7 - 718021093833/358740561175*c_1001_7^6 - 2505994210779/358740561175*c_1001_7^5 + 85959790016/14349622447*c_1001_7^4 + 372963268866/358740561175*c_1001_7^3 + 1720754145094/358740561175*c_1001_7^2 - 198349702672/358740561175*c_1001_7 - 558222590614/358740561175, c_0011_4 + 55061973437/1434962244700*c_1001_7^14 + 218427550489/717481122350*c_1001_7^13 + 327627048274/358740561175*c_1001_7^12 + 645641748602/358740561175*c_1001_7^11 + 2580241119909/717481122350*c_1001_7^10 + 2316250282723/358740561175*c_1001_7^9 + 8827433310177/1434962244700*c_1001_7^8 + 6472570866949/717481122350*c_1001_7^7 + 2603486382433/717481122350*c_1001_7^6 + 6254489735663/1434962244700*c_1001_7^5 - 1323993019119/286992448940*c_1001_7^4 - 1729463700168/358740561175*c_1001_7^3 - 5197222673683/1434962244700*c_1001_7^2 - 23914035111/1434962244700*c_1001_7 + 376437602482/358740561175, c_0101_0 + 1, c_0101_1 - 68771699369/717481122350*c_1001_7^14 - 1064927543967/1434962244700*c_1001_7^13 - 2974522202879/1434962244700*c_1001_7^12 - 5187996552577/1434962244700*c_1001_7^11 - 10177344043647/1434962244700*c_1001_7^10 - 18516730556903/1434962244700*c_1001_7^9 - 12890191395663/1434962244700*c_1001_7^8 - 9984955194681/717481122350*c_1001_7^7 - 1472737196231/358740561175*c_1001_7^6 - 804756568328/358740561175*c_1001_7^5 + 697243153771/57398489788*c_1001_7^4 + 2854504368262/358740561175*c_1001_7^3 + 1321043207091/717481122350*c_1001_7^2 - 6231480198241/1434962244700*c_1001_7 - 705075485998/358740561175, c_0101_11 + 22485130229/1434962244700*c_1001_7^14 + 36559453234/358740561175*c_1001_7^13 + 288947974057/1434962244700*c_1001_7^12 + 196211848083/717481122350*c_1001_7^11 + 1033102375551/1434962244700*c_1001_7^10 + 841723476787/717481122350*c_1001_7^9 - 113376983023/717481122350*c_1001_7^8 + 1640355036323/717481122350*c_1001_7^7 - 366337241127/358740561175*c_1001_7^6 + 1326694566921/1434962244700*c_1001_7^5 - 68213174121/57398489788*c_1001_7^4 - 67974000209/1434962244700*c_1001_7^3 + 938403988547/717481122350*c_1001_7^2 - 162271796793/358740561175*c_1001_7 + 162714576859/358740561175, c_0101_2 - 55061973437/1434962244700*c_1001_7^14 - 218427550489/717481122350*c_1001_7^13 - 327627048274/358740561175*c_1001_7^12 - 645641748602/358740561175*c_1001_7^11 - 2580241119909/717481122350*c_1001_7^10 - 2316250282723/358740561175*c_1001_7^9 - 8827433310177/1434962244700*c_1001_7^8 - 6472570866949/717481122350*c_1001_7^7 - 2603486382433/717481122350*c_1001_7^6 - 6254489735663/1434962244700*c_1001_7^5 + 1323993019119/286992448940*c_1001_7^4 + 1729463700168/358740561175*c_1001_7^3 + 5197222673683/1434962244700*c_1001_7^2 + 23914035111/1434962244700*c_1001_7 - 376437602482/358740561175, c_0101_3 - 14014575296/358740561175*c_1001_7^14 - 105474892789/358740561175*c_1001_7^13 - 299542728943/358740561175*c_1001_7^12 - 606691632584/358740561175*c_1001_7^11 - 1272254128449/358740561175*c_1001_7^10 - 2194480160651/358740561175*c_1001_7^9 - 2005152281846/358740561175*c_1001_7^8 - 3676121062579/358740561175*c_1001_7^7 - 718021093833/358740561175*c_1001_7^6 - 2505994210779/358740561175*c_1001_7^5 + 85959790016/14349622447*c_1001_7^4 + 372963268866/358740561175*c_1001_7^3 + 1720754145094/358740561175*c_1001_7^2 - 198349702672/358740561175*c_1001_7 - 558222590614/358740561175, c_0101_5 + 1486581843/1434962244700*c_1001_7^14 + 75482378747/1434962244700*c_1001_7^13 + 508193877769/1434962244700*c_1001_7^12 + 1262684024027/1434962244700*c_1001_7^11 + 1901763939837/1434962244700*c_1001_7^10 + 3679199622743/1434962244700*c_1001_7^9 + 1623129140872/358740561175*c_1001_7^8 + 540076556728/358740561175*c_1001_7^7 + 2668658639067/717481122350*c_1001_7^6 - 347642602893/1434962244700*c_1001_7^5 - 97992228473/71748112235*c_1001_7^4 - 1554508036022/358740561175*c_1001_7^3 - 3484391245597/1434962244700*c_1001_7^2 + 1100744293333/717481122350*c_1001_7 + 524832475843/358740561175, c_0110_11 - 106131182951/1434962244700*c_1001_7^14 - 398257266707/717481122350*c_1001_7^13 - 2140896709933/1434962244700*c_1001_7^12 - 942607342711/358740561175*c_1001_7^11 - 7723789136329/1434962244700*c_1001_7^10 - 6827809527443/717481122350*c_1001_7^9 - 4463578224443/717481122350*c_1001_7^8 - 8822916724057/717481122350*c_1001_7^7 - 731750125802/358740561175*c_1001_7^6 - 4485208958799/1434962244700*c_1001_7^5 + 2574294324221/286992448940*c_1001_7^4 + 7470175143951/1434962244700*c_1001_7^3 + 2374125693937/717481122350*c_1001_7^2 - 539394068288/358740561175*c_1001_7 - 550512176966/358740561175, c_1001_2 - 14281171718/358740561175*c_1001_7^14 - 381977434553/1434962244700*c_1001_7^13 - 818502991101/1434962244700*c_1001_7^12 - 1227182577153/1434962244700*c_1001_7^11 - 2920780793053/1434962244700*c_1001_7^10 - 4683464314537/1434962244700*c_1001_7^9 - 137767563857/1434962244700*c_1001_7^8 - 4084650595259/717481122350*c_1001_7^7 + 995047569821/358740561175*c_1001_7^6 - 1725613311639/717481122350*c_1001_7^5 + 1379239654451/286992448940*c_1001_7^4 - 347525659152/358740561175*c_1001_7^3 + 61336626159/717481122350*c_1001_7^2 + 748368121601/1434962244700*c_1001_7 - 75699524732/358740561175, c_1001_7^15 + 8*c_1001_7^14 + 24*c_1001_7^13 + 46*c_1001_7^12 + 90*c_1001_7^11 + 162*c_1001_7^10 + 145*c_1001_7^9 + 198*c_1001_7^8 + 74*c_1001_7^7 + 51*c_1001_7^6 - 149*c_1001_7^5 - 146*c_1001_7^4 - 93*c_1001_7^3 + 21*c_1001_7^2 + 52*c_1001_7 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.280 Total time: 6.490 seconds, Total memory usage: 134.22MB