Magma V2.19-8 Tue Aug 20 2013 23:40:19 on localhost [Seed = 795429804] Type ? for help. Type -D to quit. Loading file "K12n282__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n282 geometric_solution 10.53723504 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 1 0 -1 -1 0 -1 2 2 0 0 -2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427551205076 0.403545223414 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 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 -1 1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406742669962 0.391644960970 6 0 8 7 0132 0132 0132 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 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.766667362598 1.382110404237 9 6 8 0 0132 1302 0213 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693661118459 0.600664722815 10 11 0 11 0132 0132 0132 0213 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 1 -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.521199645388 0.490450056029 6 1 11 9 1023 0132 3120 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 -1 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.303691286732 1.542927308951 2 5 1 3 0132 1023 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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.316646323695 1.169926862908 10 9 2 1 2031 3201 2031 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 0 0 0 0 0 -1 1 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.446973584188 1.160891041190 10 3 10 2 1023 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134358561667 0.667520751978 3 5 7 11 0132 2310 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.223450564687 0.507701163430 4 8 7 8 0132 1023 1302 0132 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722645091481 0.902167974177 9 4 5 4 3012 0132 3120 0213 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 -1 1 -1 0 1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521199645388 0.490450056029 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_5']), 'c_1001_10' : d['c_0101_1'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0101_2'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_3']), 'c_0101_10' : negation(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' : negation(d['1']), 's_2_7' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_7'], 'c_1100_8' : d['c_0101_7'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : d['c_0101_7'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(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'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_1'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], '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_0011_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_0'], 'c_0101_8' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_2'], '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_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 3/4025*c_1001_0*c_1001_2^2 - 109/805*c_1001_0*c_1001_2 - 688/4025*c_1001_0 + 751/4025*c_1001_2^2 + 172/4025*c_1001_2 - 51/161, c_0011_0 - 1, c_0011_10 + c_1001_0*c_1001_2^2 - c_1001_0 - 2*c_1001_2^2 - c_1001_2 + 2, c_0011_3 - c_1001_2^2 - c_1001_2, c_0011_7 - c_1001_0*c_1001_2^2 + c_1001_0 + c_1001_2^2 + c_1001_2 - 1, c_0101_0 + c_1001_0 - 1, c_0101_1 + c_1001_2, c_0101_2 - c_1001_0*c_1001_2^2 + c_1001_0 + c_1001_2^2 + c_1001_2 - 1, c_0101_5 + c_1001_2^2 - 1, c_0101_7 + c_1001_2^2 + 2*c_1001_2 - 1, c_1001_0^2 - c_1001_0 + 3*c_1001_2^2 - 1, c_1001_1 - 1, c_1001_2^3 - c_1001_2 + 1 ], Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 17515878637310823737887243545/184784240167122765650169584*c_1001_2^\ 15 + 21820312334521832843383388637/184784240167122765650169584*c_10\ 01_2^14 + 117281389326016352294705287915/36956848033424553130033916\ 8*c_1001_2^13 - 7300621265125789294968911739/3695684803342455313003\ 39168*c_1001_2^12 - 189689506786842658803942830989/1847842401671227\ 65650169584*c_1001_2^11 + 131953204296493417695627397979/3695684803\ 34245531300339168*c_1001_2^10 - 417175275357993504808334894829/3695\ 68480334245531300339168*c_1001_2^9 + 1231052828081231744347001336823/369568480334245531300339168*c_1001_\ 2^8 - 116089071321847632027109534447/46196060041780691412542396*c_1\ 001_2^7 + 57208834489709707527667197791/369568480334245531300339168\ *c_1001_2^6 + 287427274942968143916876600703/3695684803342455313003\ 39168*c_1001_2^5 - 46062108611662369650484665/632822740298365635788\ 252*c_1001_2^4 - 88336691452084890270586969637/36956848033424553130\ 0339168*c_1001_2^3 - 8379972798388024263874568291/52795497190606504\ 471477024*c_1001_2^2 + 3389568744561860608611354725/131988742976516\ 26117869256*c_1001_2 - 5929120287034833146669811003/461960600417806\ 91412542396, c_0011_0 - 1, c_0011_10 - 5018330374585882695/4411636180658414683*c_1001_2^15 + 12948524973279463322/4411636180658414683*c_1001_2^14 + 30537210259895671671/8823272361316829366*c_1001_2^13 - 28333153137938192893/4411636180658414683*c_1001_2^12 - 158650073710292144685/8823272361316829366*c_1001_2^11 + 159535425657378430147/8823272361316829366*c_1001_2^10 - 12971212694829108278/4411636180658414683*c_1001_2^9 + 269468483426544893350/4411636180658414683*c_1001_2^8 - 587527714201309260243/8823272361316829366*c_1001_2^7 - 33827195242892365409/8823272361316829366*c_1001_2^6 + 97250530366952770903/4411636180658414683*c_1001_2^5 + 3979338450649447865/8823272361316829366*c_1001_2^4 - 63442677638672035253/8823272361316829366*c_1001_2^3 - 18925905105020356204/4411636180658414683*c_1001_2^2 + 61068280945755573961/8823272361316829366*c_1001_2 - 8140322656896538570/4411636180658414683, c_0011_3 + 14152978022082640055/8823272361316829366*c_1001_2^15 - 3018413684126551803/8823272361316829366*c_1001_2^14 - 109481205764940789149/17646544722633658732*c_1001_2^13 - 113730923360871139227/17646544722633658732*c_1001_2^12 + 114172991026035011813/8823272361316829366*c_1001_2^11 + 198034802698089238639/17646544722633658732*c_1001_2^10 + 485964868051394083595/17646544722633658732*c_1001_2^9 - 651318516222184798377/17646544722633658732*c_1001_2^8 - 23340128221989357530/4411636180658414683*c_1001_2^7 - 20341120764408487241/17646544722633658732*c_1001_2^6 + 53009080487385255999/17646544722633658732*c_1001_2^5 + 8131798969745180621/4411636180658414683*c_1001_2^4 - 40036326237711777529/17646544722633658732*c_1001_2^3 + 26234983474097730875/17646544722633658732*c_1001_2^2 - 885179083286662694/4411636180658414683*c_1001_2 + 9759627761647477729/4411636180658414683, c_0011_7 + 6778229514842514470/4411636180658414683*c_1001_2^15 - 3319870802022019607/4411636180658414683*c_1001_2^14 - 33033663868377295916/4411636180658414683*c_1001_2^13 - 37885683221802461191/8823272361316829366*c_1001_2^12 + 182699598379959808205/8823272361316829366*c_1001_2^11 + 61290760076306503165/4411636180658414683*c_1001_2^10 + 82817709916869091023/8823272361316829366*c_1001_2^9 - 480998072355458448619/8823272361316829366*c_1001_2^8 - 169778164010573757087/8823272361316829366*c_1001_2^7 + 159758510016657554040/4411636180658414683*c_1001_2^6 + 92138726800029657763/8823272361316829366*c_1001_2^5 - 101289885800349861309/8823272361316829366*c_1001_2^4 - 18213221140677833060/4411636180658414683*c_1001_2^3 + 64034735036090720801/8823272361316829366*c_1001_2^2 + 3862348724449452391/8823272361316829366*c_1001_2 - 5059307325137244004/4411636180658414683, c_0101_0 + 749842648954106665/4411636180658414683*c_1001_2^15 - 1200160645368508319/4411636180658414683*c_1001_2^14 - 2349304802528375635/8823272361316829366*c_1001_2^13 + 2922000778191381545/8823272361316829366*c_1001_2^12 + 4051664958194272511/4411636180658414683*c_1001_2^11 - 23778929581392594471/8823272361316829366*c_1001_2^10 + 31942465099611625595/8823272361316829366*c_1001_2^9 - 37136104786377860629/8823272361316829366*c_1001_2^8 + 47658267935251303539/4411636180658414683*c_1001_2^7 - 41519220718573220573/8823272361316829366*c_1001_2^6 - 34804583452251059987/8823272361316829366*c_1001_2^5 + 9131741479428455824/4411636180658414683*c_1001_2^4 + 10505388955036167365/8823272361316829366*c_1001_2^3 - 18056471976072686679/8823272361316829366*c_1001_2^2 - 5190163282911766648/4411636180658414683*c_1001_2 + 2986649866819354757/4411636180658414683, c_0101_1 - 4328087039273691730/4411636180658414683*c_1001_2^15 + 5615120333855231498/4411636180658414683*c_1001_2^14 + 15849263655190941583/4411636180658414683*c_1001_2^13 - 2530702925104995783/4411636180658414683*c_1001_2^12 - 52643770169785518790/4411636180658414683*c_1001_2^11 + 15013062177328691727/4411636180658414683*c_1001_2^10 - 38262997459419942730/4411636180658414683*c_1001_2^9 + 156953212803391687724/4411636180658414683*c_1001_2^8 - 100398306976766225115/4411636180658414683*c_1001_2^7 - 26595120536073899112/4411636180658414683*c_1001_2^6 + 57618150199366437926/4411636180658414683*c_1001_2^5 + 4593411273025988112/4411636180658414683*c_1001_2^4 - 18847720315629758735/4411636180658414683*c_1001_2^3 - 12361450388880293541/4411636180658414683*c_1001_2^2 + 8815145517909370544/4411636180658414683*c_1001_2 - 3769292463409305772/4411636180658414683, c_0101_2 + 4919770520073520070/4411636180658414683*c_1001_2^15 - 683436850707202247/4411636180658414683*c_1001_2^14 - 22716363204633560838/4411636180658414683*c_1001_2^13 - 37853959773201020771/8823272361316829366*c_1001_2^12 + 106340754259092894635/8823272361316829366*c_1001_2^11 + 45178470188719102876/4411636180658414683*c_1001_2^10 + 93369084100238655451/8823272361316829366*c_1001_2^9 - 245163920375619322747/8823272361316829366*c_1001_2^8 - 122969935906026857681/8823272361316829366*c_1001_2^7 + 107929405447814869809/4411636180658414683*c_1001_2^6 - 458057391596504175/8823272361316829366*c_1001_2^5 - 78080313785080159549/8823272361316829366*c_1001_2^4 - 4859817896690185059/4411636180658414683*c_1001_2^3 + 36904999230111497593/8823272361316829366*c_1001_2^2 + 9792761845719234727/8823272361316829366*c_1001_2 - 5977415227975308564/4411636180658414683, c_0101_5 + 11997118296537604175/4411636180658414683*c_1001_2^15 - 11793200504750643240/4411636180658414683*c_1001_2^14 - 85530543976636045783/8823272361316829366*c_1001_2^13 - 10944879789988498754/4411636180658414683*c_1001_2^12 + 250325257550853605773/8823272361316829366*c_1001_2^11 - 11416141434750246331/8823272361316829366*c_1001_2^10 + 155140982225457262044/4411636180658414683*c_1001_2^9 - 394603024021833543372/4411636180658414683*c_1001_2^8 + 408095145577455413285/8823272361316829366*c_1001_2^7 - 20840377173903271097/8823272361316829366*c_1001_2^6 - 58046664183974705822/4411636180658414683*c_1001_2^5 + 22333393103645912461/8823272361316829366*c_1001_2^4 + 42018343620889781453/8823272361316829366*c_1001_2^3 + 19238064186262146788/4411636180658414683*c_1001_2^2 - 46231475043526499143/8823272361316829366*c_1001_2 + 16309135028343161126/4411636180658414683, c_0101_7 + 644492971769599135/4411636180658414683*c_1001_2^15 + 2226259801571391264/4411636180658414683*c_1001_2^14 - 4697798651159341255/8823272361316829366*c_1001_2^13 - 12836113742703029850/4411636180658414683*c_1001_2^12 - 13057361619488973523/8823272361316829366*c_1001_2^11 + 50980745411422076733/8823272361316829366*c_1001_2^10 + 36033689372438255470/4411636180658414683*c_1001_2^9 + 18737571553242249811/4411636180658414683*c_1001_2^8 - 107343719732402991141/8823272361316829366*c_1001_2^7 - 59978233232149366291/8823272361316829366*c_1001_2^6 + 25608910864100826590/4411636180658414683*c_1001_2^5 + 27005234485496962503/8823272361316829366*c_1001_2^4 - 42474535400262980521/8823272361316829366*c_1001_2^3 - 5349910842756304545/4411636180658414683*c_1001_2^2 + 17764681003353652043/8823272361316829366*c_1001_2 + 2885768244224987650/4411636180658414683, c_1001_0 + 749842648954106665/4411636180658414683*c_1001_2^15 - 1200160645368508319/4411636180658414683*c_1001_2^14 - 2349304802528375635/8823272361316829366*c_1001_2^13 + 2922000778191381545/8823272361316829366*c_1001_2^12 + 4051664958194272511/4411636180658414683*c_1001_2^11 - 23778929581392594471/8823272361316829366*c_1001_2^10 + 31942465099611625595/8823272361316829366*c_1001_2^9 - 37136104786377860629/8823272361316829366*c_1001_2^8 + 47658267935251303539/4411636180658414683*c_1001_2^7 - 41519220718573220573/8823272361316829366*c_1001_2^6 - 34804583452251059987/8823272361316829366*c_1001_2^5 + 9131741479428455824/4411636180658414683*c_1001_2^4 + 10505388955036167365/8823272361316829366*c_1001_2^3 - 18056471976072686679/8823272361316829366*c_1001_2^2 - 5190163282911766648/4411636180658414683*c_1001_2 + 2986649866819354757/4411636180658414683, c_1001_1 - 9423048466500908190/4411636180658414683*c_1001_2^15 + 6630616504205429254/4411636180658414683*c_1001_2^14 + 33949055540938940333/4411636180658414683*c_1001_2^13 + 20681449105541908887/4411636180658414683*c_1001_2^12 - 87032144477632917928/4411636180658414683*c_1001_2^11 - 23564350327217766505/4411636180658414683*c_1001_2^10 - 149913601964730800258/4411636180658414683*c_1001_2^9 + 278969546790801867371/4411636180658414683*c_1001_2^8 - 88608557921397928649/4411636180658414683*c_1001_2^7 + 48526770607257490970/4411636180658414683*c_1001_2^6 + 10653426285743882513/4411636180658414683*c_1001_2^5 - 26291147445443712928/4411636180658414683*c_1001_2^4 - 2602651578433308204/4411636180658414683*c_1001_2^3 - 7854890333876406643/4411636180658414683*c_1001_2^2 + 9122710972247452614/4411636180658414683*c_1001_2 - 9506057091421252873/4411636180658414683, c_1001_2^16 - 3/5*c_1001_2^15 - 43/10*c_1001_2^14 - 19/10*c_1001_2^13 + 58/5*c_1001_2^12 + 37/10*c_1001_2^11 + 79/10*c_1001_2^10 - 57/2*c_1001_2^9 + 11/5*c_1001_2^8 + 197/10*c_1001_2^7 - 17/2*c_1001_2^6 - 33/5*c_1001_2^5 + 5/2*c_1001_2^4 + 39/10*c_1001_2^3 - 7/5*c_1001_2^2 - 4/5*c_1001_2 + 4/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.820 Total time: 3.029 seconds, Total memory usage: 64.12MB