Magma V2.19-8 Wed Aug 21 2013 00:03:08 on localhost [Seed = 3431638316] Type ? for help. Type -D to quit. Loading file "K13n1756__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1756 geometric_solution 11.60521806 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 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 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511309607628 0.348387048865 0 5 6 3 0132 0132 0132 0132 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 1 2 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.328791051725 0.620461952633 3 0 5 7 0321 0132 1302 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 2 0 -2 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.483151252151 0.532834422260 2 8 1 0 0321 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 1 0 -1 1 0 0 -1 0 1 0 -1 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239434561626 0.761043134385 9 7 0 10 0132 2031 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 1 0 -1 0 1 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.452638135744 0.913950139273 2 1 11 12 2031 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.013193243122 0.516899039983 9 10 12 1 3120 1023 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 1.411891550165 1.673688838875 4 8 2 12 1302 0213 0132 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 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.273292837407 0.624859013942 9 3 7 11 1023 0132 0213 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 1 -1 -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.760555460990 0.463790880836 4 8 11 6 0132 1023 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.532958714311 1.165043049499 6 11 4 12 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263804143841 0.658940403805 10 8 9 5 1023 0321 1023 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050928852021 1.377380245236 7 10 5 6 3201 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.209860706681 0.832097410899 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0011_7'], 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_1001_3'], 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_0110_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_0011_12'], 's_3_11' : 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' : d['c_0011_7'], '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_1100_8' : d['c_0101_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_1010_12']), 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : negation(d['c_1010_12']), 'c_1100_1' : negation(d['c_1010_12']), 'c_1100_0' : negation(d['c_1010_12']), 'c_1100_3' : negation(d['c_1010_12']), 'c_1100_2' : d['c_0011_12'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_6']), 'c_1100_11' : d['c_0101_6'], 'c_1100_10' : negation(d['c_1010_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0110_10'], 'c_1010_5' : d['c_0110_10'], 'c_1010_4' : d['c_0011_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_3'], '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' : d['c_0101_6'], '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : d['c_0011_7'], '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_0011_12'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_12'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_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_12, c_0011_3, c_0011_7, c_0101_1, c_0101_10, c_0101_12, c_0101_6, c_0110_10, c_1001_0, c_1001_3, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 269596501486635023/60912101465511725*c_1010_12^20 - 365068209609151319/12182420293102345*c_1010_12^19 - 30634935853211791/3583064792088925*c_1010_12^18 + 14806087053490088437/60912101465511725*c_1010_12^17 + 19865972113038793772/60912101465511725*c_1010_12^16 - 5177796304800737713/5537463769591975*c_1010_12^15 - 159267671594872457671/60912101465511725*c_1010_12^14 - 9077750859149724864/12182420293102345*c_1010_12^13 + 355102196073740463932/60912101465511725*c_1010_12^12 + 47157499027505927196/4685546266577825*c_1010_12^11 + 331081259058908484781/60912101465511725*c_1010_12^10 - 35602344136576956851/12182420293102345*c_1010_12^9 - 23956508707486225752/5537463769591975*c_1010_12^8 + 9638966811368468933/5537463769591975*c_1010_12^7 + 76362333037596579439/12182420293102345*c_1010_12^6 + 25558324736039441984/5537463769591975*c_1010_12^5 + 49376078204285597018/60912101465511725*c_1010_12^4 - 47355384362415884571/60912101465511725*c_1010_12^3 - 25222741247015813947/60912101465511725*c_1010_12^2 + 28943128132700376/12182420293102345*c_1010_12 + 2410677370824612869/60912101465511725, c_0011_0 - 1, c_0011_10 - 1040693304/346448219*c_1010_12^20 + 4007133387/346448219*c_1010_12^19 + 9166246933/346448219*c_1010_12^18 - 14788118225/346448219*c_1010_12^17 - 74266524289/346448219*c_1010_12^16 - 40431073246/346448219*c_1010_12^15 + 169156882490/346448219*c_1010_12^14 + 20897478436/20379307*c_1010_12^13 + 181186904391/346448219*c_1010_12^12 - 16457212504/26649863*c_1010_12^11 - 19454081545/20379307*c_1010_12^10 - 600851859/20379307*c_1010_12^9 + 16661090939/20379307*c_1010_12^8 + 207801361206/346448219*c_1010_12^7 - 49036398304/346448219*c_1010_12^6 - 145701090355/346448219*c_1010_12^5 - 70105937960/346448219*c_1010_12^4 + 8343286941/346448219*c_1010_12^3 + 936760551/20379307*c_1010_12^2 + 2586132014/346448219*c_1010_12 - 1891438297/346448219, c_0011_12 - 970532308/346448219*c_1010_12^20 + 4123879524/346448219*c_1010_12^19 + 7286721723/346448219*c_1010_12^18 - 17922220327/346448219*c_1010_12^17 - 66501490243/346448219*c_1010_12^16 - 7366851049/346448219*c_1010_12^15 + 190955806135/346448219*c_1010_12^14 + 16711807010/20379307*c_1010_12^13 + 2823764510/346448219*c_1010_12^12 - 27280538905/26649863*c_1010_12^11 - 17545391406/20379307*c_1010_12^10 + 7347730522/20379307*c_1010_12^9 + 18614425604/20379307*c_1010_12^8 + 92827379344/346448219*c_1010_12^7 - 173458308892/346448219*c_1010_12^6 - 166151386086/346448219*c_1010_12^5 - 25772829112/346448219*c_1010_12^4 + 40387402208/346448219*c_1010_12^3 + 1178002665/20379307*c_1010_12^2 - 132550311/346448219*c_1010_12 - 2509721644/346448219, c_0011_3 + 1484723763/346448219*c_1010_12^20 - 1363742501/346448219*c_1010_12^19 - 26263184360/346448219*c_1010_12^18 - 28227647860/346448219*c_1010_12^17 + 128032800299/346448219*c_1010_12^16 + 387139004839/346448219*c_1010_12^15 + 195348939090/346448219*c_1010_12^14 - 50760680018/20379307*c_1010_12^13 - 2035439169878/346448219*c_1010_12^12 - 145542627673/26649863*c_1010_12^11 - 24277004343/20379307*c_1010_12^10 + 39775910412/20379307*c_1010_12^9 + 9826656323/20379307*c_1010_12^8 - 1017690858240/346448219*c_1010_12^7 - 1375951319050/346448219*c_1010_12^6 - 756866170717/346448219*c_1010_12^5 - 81257386049/346448219*c_1010_12^4 + 128790565924/346448219*c_1010_12^3 + 3525900992/20379307*c_1010_12^2 + 275091680/346448219*c_1010_12 - 5140817268/346448219, c_0011_7 - 1916011931/346448219*c_1010_12^20 + 4140098411/346448219*c_1010_12^19 + 27220895024/346448219*c_1010_12^18 + 7857336584/346448219*c_1010_12^17 - 159539089403/346448219*c_1010_12^16 - 316078993188/346448219*c_1010_12^15 + 27913449053/346448219*c_1010_12^14 + 57139769446/20379307*c_1010_12^13 + 1606761163018/346448219*c_1010_12^12 + 78795050562/26649863*c_1010_12^11 - 12428868352/20379307*c_1010_12^10 - 36159193168/20379307*c_1010_12^9 + 9425614599/20379307*c_1010_12^8 + 965625281953/346448219*c_1010_12^7 + 890234622179/346448219*c_1010_12^6 + 285942086634/346448219*c_1010_12^5 - 104944289254/346448219*c_1010_12^4 - 121169026468/346448219*c_1010_12^3 - 1686906925/20379307*c_1010_12^2 + 7107357188/346448219*c_1010_12 + 3808078960/346448219, c_0101_1 - 1484723763/346448219*c_1010_12^20 + 1363742501/346448219*c_1010_12^19 + 26263184360/346448219*c_1010_12^18 + 28227647860/346448219*c_1010_12^17 - 128032800299/346448219*c_1010_12^16 - 387139004839/346448219*c_1010_12^15 - 195348939090/346448219*c_1010_12^14 + 50760680018/20379307*c_1010_12^13 + 2035439169878/346448219*c_1010_12^12 + 145542627673/26649863*c_1010_12^11 + 24277004343/20379307*c_1010_12^10 - 39775910412/20379307*c_1010_12^9 - 9826656323/20379307*c_1010_12^8 + 1017690858240/346448219*c_1010_12^7 + 1375951319050/346448219*c_1010_12^6 + 756866170717/346448219*c_1010_12^5 + 81257386049/346448219*c_1010_12^4 - 128790565924/346448219*c_1010_12^3 - 3525900992/20379307*c_1010_12^2 - 275091680/346448219*c_1010_12 + 5140817268/346448219, c_0101_10 - 669566050/346448219*c_1010_12^20 + 2736401014/346448219*c_1010_12^19 + 5811033660/346448219*c_1010_12^18 - 12359354458/346448219*c_1010_12^17 - 52331253948/346448219*c_1010_12^16 - 11579959558/346448219*c_1010_12^15 + 158501236354/346448219*c_1010_12^14 + 15120347038/20379307*c_1010_12^13 + 5359249665/346448219*c_1010_12^12 - 30298435782/26649863*c_1010_12^11 - 25305065039/20379307*c_1010_12^10 - 1345938707/20379307*c_1010_12^9 + 16235695856/20379307*c_1010_12^8 + 131895879566/346448219*c_1010_12^7 - 174130831091/346448219*c_1010_12^6 - 248174963654/346448219*c_1010_12^5 - 114815420364/346448219*c_1010_12^4 + 1138277914/346448219*c_1010_12^3 + 1143994699/20379307*c_1010_12^2 + 4946948662/346448219*c_1010_12 - 1107347412/346448219, c_0101_12 + 73009315/26649863*c_1010_12^20 - 172216168/26649863*c_1010_12^19 - 972282777/26649863*c_1010_12^18 - 205243547/26649863*c_1010_12^17 + 5757769634/26649863*c_1010_12^16 + 11229113464/26649863*c_1010_12^15 - 776892115/26649863*c_1010_12^14 - 2033605992/1567639*c_1010_12^13 - 59084137249/26649863*c_1010_12^12 - 40074099448/26649863*c_1010_12^11 + 367686693/1567639*c_1010_12^10 + 1489382421/1567639*c_1010_12^9 - 114588398/1567639*c_1010_12^8 - 35252931269/26649863*c_1010_12^7 - 35413466004/26649863*c_1010_12^6 - 11547389665/26649863*c_1010_12^5 + 5393470078/26649863*c_1010_12^4 + 6086114837/26649863*c_1010_12^3 + 84685365/1567639*c_1010_12^2 - 417761099/26649863*c_1010_12 - 203950944/26649863, c_0101_6 + 1459304450/346448219*c_1010_12^20 - 4313181036/346448219*c_1010_12^19 - 16790865072/346448219*c_1010_12^18 + 5956366372/346448219*c_1010_12^17 + 110483454746/346448219*c_1010_12^16 + 154103259041/346448219*c_1010_12^15 - 104700426208/346448219*c_1010_12^14 - 35004946254/20379307*c_1010_12^13 - 776859410074/346448219*c_1010_12^12 - 28970149559/26649863*c_1010_12^11 + 8607666027/20379307*c_1010_12^10 + 9500843594/20379307*c_1010_12^9 - 13795852623/20379307*c_1010_12^8 - 486520124891/346448219*c_1010_12^7 - 358867036234/346448219*c_1010_12^6 - 112897449042/346448219*c_1010_12^5 + 8541727906/346448219*c_1010_12^4 + 13660804132/346448219*c_1010_12^3 + 98866579/20379307*c_1010_12^2 - 465767056/346448219*c_1010_12 + 823292440/346448219, c_0110_10 + 2753037845/346448219*c_1010_12^20 - 7551647158/346448219*c_1010_12^19 - 33708939785/346448219*c_1010_12^18 + 5534308627/346448219*c_1010_12^17 + 213273037215/346448219*c_1010_12^16 + 334523769796/346448219*c_1010_12^15 - 152468306356/346448219*c_1010_12^14 - 70293104814/20379307*c_1010_12^13 - 1709158106670/346448219*c_1010_12^12 - 71691197429/26649863*c_1010_12^11 + 18434443688/20379307*c_1010_12^10 + 32208860479/20379307*c_1010_12^9 - 18728191392/20379307*c_1010_12^8 - 1054014807095/346448219*c_1010_12^7 - 882791221881/346448219*c_1010_12^6 - 262335268080/346448219*c_1010_12^5 + 104651838584/346448219*c_1010_12^4 + 110771113221/346448219*c_1010_12^3 + 1471008655/20379307*c_1010_12^2 - 7047849304/346448219*c_1010_12 - 3207063270/346448219, c_1001_0 - 4148050131/346448219*c_1010_12^20 + 9915370687/346448219*c_1010_12^19 + 55165312601/346448219*c_1010_12^18 + 8878430170/346448219*c_1010_12^17 - 330310414054/346448219*c_1010_12^16 - 617821505945/346448219*c_1010_12^15 + 89080744732/346448219*c_1010_12^14 + 114177273586/20379307*c_1010_12^13 + 3168263738831/346448219*c_1010_12^12 + 160418234073/26649863*c_1010_12^11 - 13574583043/20379307*c_1010_12^10 - 59705942713/20379307*c_1010_12^9 + 21799849587/20379307*c_1010_12^8 + 1853294476593/346448219*c_1010_12^7 + 1759462164368/346448219*c_1010_12^6 + 674651153896/346448219*c_1010_12^5 - 83335828327/346448219*c_1010_12^4 - 181375546994/346448219*c_1010_12^3 - 3113974946/20379307*c_1010_12^2 + 6805749280/346448219*c_1010_12 + 5123996274/346448219, c_1001_3 - 2542345106/346448219*c_1010_12^20 + 4438319009/346448219*c_1010_12^19 + 38815454845/346448219*c_1010_12^18 + 24072224481/346448219*c_1010_12^17 - 211906410318/346448219*c_1010_12^16 - 504132373820/346448219*c_1010_12^15 - 104240398461/346448219*c_1010_12^14 + 78812802126/20379307*c_1010_12^13 + 2615430413308/346448219*c_1010_12^12 + 158936905101/26649863*c_1010_12^11 + 6899918450/20379307*c_1010_12^10 - 54333457679/20379307*c_1010_12^9 + 887846061/20379307*c_1010_12^8 + 1430535813389/346448219*c_1010_12^7 + 1614302184007/346448219*c_1010_12^6 + 734442525332/346448219*c_1010_12^5 - 22842555501/346448219*c_1010_12^4 - 180824180650/346448219*c_1010_12^3 - 3796486618/20379307*c_1010_12^2 + 4634379538/346448219*c_1010_12 + 6608720037/346448219, c_1010_12^21 - 2*c_1010_12^20 - 14*c_1010_12^19 - 8*c_1010_12^18 + 76*c_1010_12^17 + 181*c_1010_12^16 + 55*c_1010_12^15 - 451*c_1010_12^14 - 966*c_1010_12^13 - 902*c_1010_12^12 - 265*c_1010_12^11 + 221*c_1010_12^10 + 51*c_1010_12^9 - 446*c_1010_12^8 - 642*c_1010_12^7 - 412*c_1010_12^6 - 95*c_1010_12^5 + 46*c_1010_12^4 + 40*c_1010_12^3 + 8*c_1010_12^2 - 2*c_1010_12 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.210 Total time: 5.419 seconds, Total memory usage: 80.81MB