Magma V2.19-8 Wed Aug 21 2013 00:52:45 on localhost [Seed = 3448494200] Type ? for help. Type -D to quit. Loading file "L12n1071__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n1071 geometric_solution 11.82714430 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 7 1 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.407517629140 1.636358582727 0 3 6 5 0132 3120 0132 0132 0 0 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 0 0 0 0 0 0 0 0 0 0 0 -7 8 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338520151689 0.339155844446 7 0 8 7 0132 0132 0132 2031 0 0 1 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 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.908698605436 1.649143420090 5 1 9 0 0132 3120 0132 0132 0 0 1 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 -1 0 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582972352691 0.692152341280 10 11 0 9 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410117962544 0.761170618444 3 10 1 8 0132 1230 0132 0132 0 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 0 0 0 0 0 -1 0 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.815763677258 0.800510426312 12 11 7 1 0132 1023 2031 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 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.138866744198 0.715396197899 2 2 12 6 0132 1302 3120 1302 0 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 0 0 0 0 0 1 -1 0 -1 0 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.743696968940 0.465149230662 11 9 5 2 2310 3201 0132 0132 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480042106200 0.518623655257 4 11 8 3 3201 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609437028408 0.831859816918 4 12 5 12 0132 0132 3012 0213 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 0 0 0 0 0 0 0 1 -1 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.331722099360 1.379923802450 6 4 8 9 1023 0132 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563292533209 0.550932912584 6 10 7 10 0132 0132 3120 0213 1 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 0 0 0 0 -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.331722099360 1.379923802450 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_3']), 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0110_11'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0110_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_2']), 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_0011_3'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0101_7']), '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'], 'c_0101_12' : d['c_0101_1'], 'c_0101_11' : d['c_0101_11'], '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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_1010_7']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : negation(d['c_1010_7']), 'c_1100_1' : negation(d['c_1010_7']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : negation(d['c_1010_7']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : d['c_0011_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : d['c_0110_11'], 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_1010_7']), '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' : negation(d['c_0101_7']), '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_8'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0101_1']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_3'], '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' : negation(d['c_0101_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_1'], 's_2_9' : d['1']})} 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_3, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_7, c_0110_11, c_1001_2, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 3128491766210392189800269011932127415167/18452994157825235474421690\ 65356966057460*c_1010_7^14 + 57189654741726529977615394067207500923\ 43/922649707891261773721084532678483028730*c_1010_7^13 - 5677353292975861875235752411093239533741/92264970789126177372108453\ 2678483028730*c_1010_7^12 + 230639003852861283532727784075390188817\ 31/461324853945630886860542266339241514365*c_1010_7^11 + 8415603110848953585513889864701236984874/65903550563661555265791752\ 334177359195*c_1010_7^10 - 3463836976149371284696622780356794950795\ 4/92264970789126177372108453267848302873*c_1010_7^9 + 51898251539400074737908012816739581024417/9226497078912617737210845\ 3267848302873*c_1010_7^8 - 1865796747237281650113027563218710265045\ /2250365141198199448100206177264592753*c_1010_7^7 + 332574448678067868793570394834543042581471/263614202254646221063167\ 009336709436780*c_1010_7^6 - 37876831888088206165304992194638783901\ 3953/131807101127323110531583504668354718390*c_1010_7^5 + 2214267181974473484297780811016879990615341/18452994157825235474421\ 69065356966057460*c_1010_7^4 + 664673275363609548502494431557186777\ 730463/461324853945630886860542266339241514365*c_1010_7^3 - 338464827654875078920651869422554197942763/131807101127323110531583\ 504668354718390*c_1010_7^2 - 17384824643416811989581508198954509377\ 92153/922649707891261773721084532678483028730*c_1010_7 + 1375380112771395382348711445671474508577329/36905988315650470948843\ 3813071393211492, c_0011_0 - 1, c_0011_10 - 358250857276348555563374325/91553437704595791595498183987*c\ _1010_7^14 - 1381287338926099945518439400/9155343770459579159549818\ 3987*c_1010_7^13 + 966057569744334479692223988/91553437704595791595\ 498183987*c_1010_7^12 - 10590697090960501410054619269/9155343770459\ 5791595498183987*c_1010_7^11 - 28879495761161371428339659666/915534\ 37704595791595498183987*c_1010_7^10 + 72028761389710184214178371989/91553437704595791595498183987*c_1010_\ 7^9 - 108919335027045746854621204536/91553437704595791595498183987*\ c_1010_7^8 + 4050355562940959000719867807/2233010675721848575499955\ 707*c_1010_7^7 - 247680179048226588541220079467/9155343770459579159\ 5498183987*c_1010_7^6 + 583141226168460111910955127610/915534377045\ 95791595498183987*c_1010_7^5 - 196468563391669290599898373527/91553\ 437704595791595498183987*c_1010_7^4 - 227920491667312144228405174347/91553437704595791595498183987*c_1010\ _7^3 + 430436382623299385941676177888/91553437704595791595498183987\ *c_1010_7^2 + 465057483607504138023670973582/9155343770459579159549\ 8183987*c_1010_7 - 560175681368381129202031244427/91553437704595791\ 595498183987, c_0011_3 + 373887272583456378017841061/183106875409191583190996367974*c\ _1010_7^14 + 663666923254145874023350076/91553437704595791595498183\ 987*c_1010_7^13 - 709178804041732829050921237/915534377045957915954\ 98183987*c_1010_7^12 + 5799371755356531344712687237/915534377045957\ 91595498183987*c_1010_7^11 + 13648664423657281283328795915/91553437\ 704595791595498183987*c_1010_7^10 - 41513786338671703858294579325/91553437704595791595498183987*c_1010_\ 7^9 + 71386357564211100666727031427/91553437704595791595498183987*c\ _1010_7^8 - 2462074522428586588844324553/22330106757218485754999557\ 07*c_1010_7^7 + 313577127879748605931538414467/18310687540919158319\ 0996367974*c_1010_7^6 - 342519250831562329370052122086/915534377045\ 95791595498183987*c_1010_7^5 + 333434070256161026241466042127/18310\ 6875409191583190996367974*c_1010_7^4 + 113713348589002874456858060677/91553437704595791595498183987*c_1010\ _7^3 - 342159867911539108149221214977/91553437704595791595498183987\ *c_1010_7^2 - 149770665770222134499823400653/9155343770459579159549\ 8183987*c_1010_7 + 774175503043915744712888423071/18310687540919158\ 3190996367974, c_0011_8 + 203153901672025648398356367/91553437704595791595498183987*c_\ 1010_7^14 + 755878190683485267312869106/915534377045957915954981839\ 87*c_1010_7^13 - 688314358170236714025370070/9155343770459579159549\ 8183987*c_1010_7^12 + 5922902401494264027788250223/9155343770459579\ 1595498183987*c_1010_7^11 + 15618364672124657137046381838/915534377\ 04595791595498183987*c_1010_7^10 - 43643751014842256673119668778/91553437704595791595498183987*c_1010_\ 7^9 + 64556565965567781740155704274/91553437704595791595498183987*c\ _1010_7^8 - 2351290101728576102881562473/22330106757218485754999557\ 07*c_1010_7^7 + 155983677821847465753035867255/91553437704595791595\ 498183987*c_1010_7^6 - 330136235561606525407299895113/9155343770459\ 5791595498183987*c_1010_7^5 + 115414488472782280188661333985/915534\ 37704595791595498183987*c_1010_7^4 + 162939825112131139677457244975/91553437704595791595498183987*c_1010\ _7^3 - 258286711580423315223936735302/91553437704595791595498183987\ *c_1010_7^2 - 266454337293698560776294472057/9155343770459579159549\ 8183987*c_1010_7 + 359017132643679413687546013631/91553437704595791\ 595498183987, c_0101_0 + 1517432059082024957979352021/183106875409191583190996367974*\ c_1010_7^14 + 2866466988001825856615395698/915534377045957915954981\ 83987*c_1010_7^13 - 2338202794899757422465531491/915534377045957915\ 95498183987*c_1010_7^12 + 22450739028139306627042779221/91553437704\ 595791595498183987*c_1010_7^11 + 60290698096700796933037857703/9155\ 3437704595791595498183987*c_1010_7^10 - 158240188791924799063708329436/91553437704595791595498183987*c_1010\ _7^9 + 241046603048983445136236225817/91553437704595791595498183987\ *c_1010_7^8 - 8329505446213087293018071727/223301067572184857549995\ 5707*c_1010_7^7 + 1073359723455750772698657337585/18310687540919158\ 3190996367974*c_1010_7^6 - 1240417189876720842897890671262/91553437\ 704595791595498183987*c_1010_7^5 + 814255440951957765575606198823/183106875409191583190996367974*c_101\ 0_7^4 + 585534642584070075992532934706/9155343770459579159549818398\ 7*c_1010_7^3 - 1137565270750990150018234936638/91553437704595791595\ 498183987*c_1010_7^2 - 1069276511713353539199522133079/915534377045\ 95791595498183987*c_1010_7 + 2977835146610429299908531829337/183106\ 875409191583190996367974, c_0101_1 - 1, c_0101_10 + 293485601211538158197314882/91553437704595791595498183987*c\ _1010_7^14 + 1082840675303518217329606792/9155343770459579159549818\ 3987*c_1010_7^13 - 997889376638470761965947297/91553437704595791595\ 498183987*c_1010_7^12 + 8699899764501126802636889934/91553437704595\ 791595498183987*c_1010_7^11 + 22218986366498027349084101229/9155343\ 7704595791595498183987*c_1010_7^10 - 62839237037144083610133461212/91553437704595791595498183987*c_1010_\ 7^9 + 96961426211076371449236790492/91553437704595791595498183987*c\ _1010_7^8 - 3609251092419814350462184936/22330106757218485754999557\ 07*c_1010_7^7 + 241017017790507677587882445601/91553437704595791595\ 498183987*c_1010_7^6 - 516217617514431972679482349188/9155343770459\ 5791595498183987*c_1010_7^5 + 228398406321822631230313069723/915534\ 37704595791595498183987*c_1010_7^4 + 201520814383094169256859978720/91553437704595791595498183987*c_1010\ _7^3 - 405425148897016419503410583650/91553437704595791595498183987\ *c_1010_7^2 - 370321661028468155374361751998/9155343770459579159549\ 8183987*c_1010_7 + 478257192402887416261729391483/91553437704595791\ 595498183987, c_0101_11 - 286461654350374700582256456/91553437704595791595498183987*c\ _1010_7^14 - 1085255804619879767620848538/9155343770459579159549818\ 3987*c_1010_7^13 + 871163984200922467489705719/91553437704595791595\ 498183987*c_1010_7^12 - 8461946324811228492434393526/91553437704595\ 791595498183987*c_1010_7^11 - 22720591071651900991222042461/9155343\ 7704595791595498183987*c_1010_7^10 + 59985548725016597946464888312/91553437704595791595498183987*c_1010_\ 7^9 - 90014460779353707316549265234/91553437704595791595498183987*c\ _1010_7^8 + 3210658271718451945285032578/22330106757218485754999557\ 07*c_1010_7^7 - 192302796987705064635881252990/91553437704595791595\ 498183987*c_1010_7^6 + 455764473495902892207318551992/9155343770459\ 5791595498183987*c_1010_7^5 - 138420821643945166550828764168/915534\ 37704595791595498183987*c_1010_7^4 - 265374574273793486693570307454/91553437704595791595498183987*c_1010\ _7^3 + 432458644159915898260021604315/91553437704595791595498183987\ *c_1010_7^2 + 427351616027039692383736288614/9155343770459579159549\ 8183987*c_1010_7 - 538335080784376896828586249116/91553437704595791\ 595498183987, c_0101_3 - 31135791138485465562002902/91553437704595791595498183987*c_1\ 010_7^14 - 164181259379889155395069918/9155343770459579159549818398\ 7*c_1010_7^13 - 35382046827798264426245311/915534377045957915954981\ 83987*c_1010_7^12 - 569261913604870737453133716/9155343770459579159\ 5498183987*c_1010_7^11 - 3754548042319866447821474391/9155343770459\ 5791595498183987*c_1010_7^10 + 4308696746843218782289706560/9155343\ 7704595791595498183987*c_1010_7^9 + 4156943187485197952113737475/91553437704595791595498183987*c_1010_7\ ^8 - 128819626305045414468980180/2233010675721848575499955707*c_101\ 0_7^7 + 11489518602520607259439784650/91553437704595791595498183987\ *c_1010_7^6 - 11957991574967298933872772610/91553437704595791595498\ 183987*c_1010_7^5 + 76586495016594214737640767817/91553437704595791\ 595498183987*c_1010_7^4 - 94701121367533354790224270458/91553437704\ 595791595498183987*c_1010_7^3 - 35170439944904041441279379957/91553\ 437704595791595498183987*c_1010_7^2 + 44519876348088001092813094222/91553437704595791595498183987*c_1010_\ 7 + 2230146900236861307671288189/91553437704595791595498183987, c_0101_7 - 842698857676949805714958443/183106875409191583190996367974*c\ _1010_7^14 - 1678422844723744562642823508/9155343770459579159549818\ 3987*c_1010_7^13 + 899834708394975551813822893/91553437704595791595\ 498183987*c_1010_7^12 - 12506214960293692428690973999/9155343770459\ 5791595498183987*c_1010_7^11 - 35863365461108947836988936186/915534\ 37704595791595498183987*c_1010_7^10 + 79385922833771449575311898233/91553437704595791595498183987*c_1010_\ 7^9 - 122526619716032731362152282247/91553437704595791595498183987*\ c_1010_7^8 + 4305109131744758529770185211/2233010675721848575499955\ 707*c_1010_7^7 - 534415238740854026062400783965/1831068754091915831\ 90996367974*c_1010_7^6 + 634345421703278712744174733429/91553437704\ 595791595498183987*c_1010_7^5 - 230753984759571538315132343347/1831\ 06875409191583190996367974*c_1010_7^4 - 331554205356572140238858278629/91553437704595791595498183987*c_1010\ _7^3 + 604677842540452748027188543123/91553437704595791595498183987\ *c_1010_7^2 + 555700600697667342414013661153/9155343770459579159549\ 8183987*c_1010_7 - 1409960968208625161655994273367/1831068754091915\ 83190996367974, c_0110_11 - 20073112746679578246059969/91553437704595791595498183987*c_\ 1010_7^14 - 98191769293877086067173424/9155343770459579159549818398\ 7*c_1010_7^13 + 2166357681729900483653412/9155343770459579159549818\ 3987*c_1010_7^12 - 355501428874623824356303940/91553437704595791595\ 498183987*c_1010_7^11 - 1978379003252024796710653300/91553437704595\ 791595498183987*c_1010_7^10 + 3055527740584961869333583152/91553437\ 704595791595498183987*c_1010_7^9 + 1720930193725551896068074571/91553437704595791595498183987*c_1010_7\ ^8 + 106573169616736212450426510/2233010675721848575499955707*c_101\ 0_7^7 - 9483605136314508692516765475/91553437704595791595498183987*\ c_1010_7^6 + 4440784499974719540448212206/9155343770459579159549818\ 3987*c_1010_7^5 + 36246380880631365325167977896/9155343770459579159\ 5498183987*c_1010_7^4 - 51500331381370214269952356608/9155343770459\ 5791595498183987*c_1010_7^3 - 6092253138257404237195057833/91553437\ 704595791595498183987*c_1010_7^2 + 49608934419608246770201137834/91553437704595791595498183987*c_1010_\ 7 - 832459416527679294292110009/91553437704595791595498183987, c_1001_2 - 336252626882016878764000592/91553437704595791595498183987*c_\ 1010_7^14 - 1259018248691309254328888414/91553437704595791595498183\ 987*c_1010_7^13 + 1097851919916441884920256139/91553437704595791595\ 498183987*c_1010_7^12 - 9868149975856890474245152508/91553437704595\ 791595498183987*c_1010_7^11 - 26268292518128590715025238536/9155343\ 7704595791595498183987*c_1010_7^10 + 71361988841322794207613640990/91553437704595791595498183987*c_1010_\ 7^9 - 106788348132253759276043116305/91553437704595791595498183987*\ c_1010_7^8 + 3760728672446467078964622206/2233010675721848575499955\ 707*c_1010_7^7 - 248575094776679166020608008399/9155343770459579159\ 5498183987*c_1010_7^6 + 555845642590957392163605763758/915534377045\ 95791595498183987*c_1010_7^5 - 209142041872293217747917628844/91553\ 437704595791595498183987*c_1010_7^4 - 244304686428410308239071260016/91553437704595791595498183987*c_1010\ _7^3 + 491165524009919079712709544858/91553437704595791595498183987\ *c_1010_7^2 + 414320854685990653810801021752/9155343770459579159549\ 8183987*c_1010_7 - 602146450516689223524481752213/91553437704595791\ 595498183987, c_1010_7^15 + 3*c_1010_7^14 - 6*c_1010_7^13 + 32*c_1010_7^12 + 56*c_1010_7^11 - 270*c_1010_7^10 + 480*c_1010_7^9 - 710*c_1010_7^8 + 1071*c_1010_7^7 - 2191*c_1010_7^6 + 1833*c_1010_7^5 + 351*c_1010_7^4 - 2086*c_1010_7^3 - 108*c_1010_7^2 + 2895*c_1010_7 - 1505 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.330 seconds, Total memory usage: 32.09MB