Magma V2.19-8 Tue Aug 20 2013 23:48:34 on localhost [Seed = 1781268684] Type ? for help. Type -D to quit. Loading file "K11a245__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a245 geometric_solution 12.47307775 oriented_manifold CS_known -0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 1230 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 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 13 -12 -13 0 0 13 -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.702339291354 0.807588636289 0 4 4 0 0132 0132 1302 3012 0 0 0 0 0 0 1 -1 -1 0 0 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 0 -12 12 13 0 0 -13 -12 12 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386860214520 0.705022101576 3 0 6 5 0213 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 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.964484052684 0.670304612932 2 5 0 4 0213 0132 0132 3012 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 0 12 -12 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 0 0.171580605145 0.579383014735 1 1 3 7 2031 0132 1230 0132 0 0 0 0 0 0 1 -1 -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 0 -13 13 12 0 0 -12 1 0 0 -1 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401809105177 1.090155529006 8 3 2 9 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202551524333 0.897750319110 8 9 10 2 1230 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 -1 1 0 0 0 0 1 0 0 -1 -13 1 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671259629816 0.863056017680 11 11 4 8 0132 1302 0132 2103 0 0 0 0 0 -1 1 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 13 -13 0 0 0 12 -12 -13 0 0 13 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401809105177 1.090155529006 5 6 10 7 0132 3012 2310 2103 0 0 0 0 0 -1 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 13 0 -13 0 0 -12 12 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.637239711328 1.279046757606 12 6 5 12 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.503170404104 1.271381333295 11 8 12 6 2103 3201 2031 0132 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -13 0 13 0 12 0 0 -12 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233263925964 0.387820360770 7 12 10 7 0132 1230 2103 2031 0 0 0 0 0 -1 1 0 0 0 -1 1 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 12 -12 0 0 0 13 -13 0 -1 0 1 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386860214520 0.705022101576 9 9 11 10 0132 1302 3012 1302 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 0 13 -13 0 0 -12 12 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.730866046369 0.680031818269 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : negation(d['c_0101_4']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0011_12'], '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_0011_10']), 'c_0101_10' : negation(d['c_0011_10']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_12']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : negation(d['c_1010_12']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_1010_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : negation(d['c_1010_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_6'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0101_6']), 's_3_1' : d['1'], 's_3_0' : negation(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_0011_10']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_12'], '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_0101_7'], 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1010_12']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10']})} 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_11, c_0011_12, c_0011_3, c_0101_0, c_0101_4, c_0101_5, c_0101_6, c_0101_7, c_0101_8, c_1001_2, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 894239067637/859006390112*c_1010_12^13 + 1343176014775/429503195056*c_1010_12^12 + 5045307464721/429503195056*c_1010_12^11 + 4855505756077/214751597528*c_1010_12^10 + 5012297170983/107375798764*c_1010_12^9 + 55407277823871/859006390112*c_1010_12^8 + 1845534374122/26843949691*c_1010_12^7 + 1301454079187/33038707312*c_1010_12^6 - 16687441278333/859006390112*c_1010_12^5 - 74683117552073/859006390112*c_1010_12^4 - 112789497017893/859006390112*c_1010_12^3 - 59223924441291/859006390112*c_1010_12^2 + 3631043793451/429503195056*c_1010_12 + 2900132055463/107375798764, c_0011_0 - 1, c_0011_10 + 2094439363/107375798764*c_1010_12^13 + 4493053055/107375798764*c_1010_12^12 + 4500213628/26843949691*c_1010_12^11 + 7261414044/26843949691*c_1010_12^10 + 29422897565/53687899382*c_1010_12^9 + 81935524443/107375798764*c_1010_12^8 + 59297569465/107375798764*c_1010_12^7 + 1483990580/2064919207*c_1010_12^6 - 4824167865/107375798764*c_1010_12^5 - 1779752228/26843949691*c_1010_12^4 - 9132827427/26843949691*c_1010_12^3 + 11886971881/26843949691*c_1010_12^2 - 14530905913/107375798764*c_1010_12 - 31950242487/26843949691, c_0011_11 - 1, c_0011_12 - 2722339099/53687899382*c_1010_12^13 - 5312084545/53687899382*c_1010_12^12 - 13116741399/26843949691*c_1010_12^11 - 16694933107/26843949691*c_1010_12^10 - 48987269770/26843949691*c_1010_12^9 - 81961764805/53687899382*c_1010_12^8 - 143140567781/53687899382*c_1010_12^7 - 521580401/2064919207*c_1010_12^6 - 34773686089/53687899382*c_1010_12^5 + 84051207127/26843949691*c_1010_12^4 + 45843376573/26843949691*c_1010_12^3 + 48107140873/26843949691*c_1010_12^2 - 45506149881/53687899382*c_1010_12 + 24296351733/26843949691, c_0011_3 + 1926905437/107375798764*c_1010_12^13 + 1365180997/107375798764*c_1010_12^12 + 4318914527/26843949691*c_1010_12^11 + 1125585674/26843949691*c_1010_12^10 + 33104135915/53687899382*c_1010_12^9 - 12917932179/107375798764*c_1010_12^8 + 112166222643/107375798764*c_1010_12^7 - 1879138187/2064919207*c_1010_12^6 + 100232099437/107375798764*c_1010_12^5 - 51686505555/26843949691*c_1010_12^4 + 24910279752/26843949691*c_1010_12^3 - 32783042371/26843949691*c_1010_12^2 + 32796025437/107375798764*c_1010_12 - 17342989387/26843949691, c_0101_0 - 2094439363/107375798764*c_1010_12^13 - 4493053055/107375798764*c_1010_12^12 - 4500213628/26843949691*c_1010_12^11 - 7261414044/26843949691*c_1010_12^10 - 29422897565/53687899382*c_1010_12^9 - 81935524443/107375798764*c_1010_12^8 - 59297569465/107375798764*c_1010_12^7 - 1483990580/2064919207*c_1010_12^6 + 4824167865/107375798764*c_1010_12^5 + 1779752228/26843949691*c_1010_12^4 + 9132827427/26843949691*c_1010_12^3 - 11886971881/26843949691*c_1010_12^2 + 14530905913/107375798764*c_1010_12 + 31950242487/26843949691, c_0101_4 - 359143077/26843949691*c_1010_12^13 + 36012230/26843949691*c_1010_12^12 - 2266733643/26843949691*c_1010_12^11 + 1593301562/26843949691*c_1010_12^10 - 5990066137/26843949691*c_1010_12^9 + 8663692998/26843949691*c_1010_12^8 + 486841012/26843949691*c_1010_12^7 + 1409221909/2064919207*c_1010_12^6 + 12981856751/26843949691*c_1010_12^5 + 15146764746/26843949691*c_1010_12^4 + 7189289165/26843949691*c_1010_12^3 - 27061159644/26843949691*c_1010_12^2 - 107796216/26843949691*c_1010_12 - 22408297799/26843949691, c_0101_5 + 3014743293/53687899382*c_1010_12^13 + 3074542195/53687899382*c_1010_12^12 + 12375403380/26843949691*c_1010_12^11 + 7413178060/26843949691*c_1010_12^10 + 41964499131/26843949691*c_1010_12^9 + 20933324119/53687899382*c_1010_12^8 + 98336760071/53687899382*c_1010_12^7 - 1669753539/2064919207*c_1010_12^6 + 10300410305/53687899382*c_1010_12^5 - 69046734979/26843949691*c_1010_12^4 - 7646896327/26843949691*c_1010_12^3 + 14132081337/26843949691*c_1010_12^2 - 1386951505/53687899382*c_1010_12 - 3032000271/26843949691, c_0101_6 + 359143077/26843949691*c_1010_12^13 - 36012230/26843949691*c_1010_12^12 + 2266733643/26843949691*c_1010_12^11 - 1593301562/26843949691*c_1010_12^10 + 5990066137/26843949691*c_1010_12^9 - 8663692998/26843949691*c_1010_12^8 - 486841012/26843949691*c_1010_12^7 - 1409221909/2064919207*c_1010_12^6 - 12981856751/26843949691*c_1010_12^5 - 15146764746/26843949691*c_1010_12^4 - 7189289165/26843949691*c_1010_12^3 + 27061159644/26843949691*c_1010_12^2 + 107796216/26843949691*c_1010_12 + 22408297799/26843949691, c_0101_7 - 1496761511/107375798764*c_1010_12^13 - 3479641323/107375798764*c_1010_12^12 - 4675400972/26843949691*c_1010_12^11 - 7306028101/26843949691*c_1010_12^10 - 43256812073/53687899382*c_1010_12^9 - 91568438711/107375798764*c_1010_12^8 - 175452340173/107375798764*c_1010_12^7 - 1588239228/2064919207*c_1010_12^6 - 105214829315/107375798764*c_1010_12^5 + 33929566116/26843949691*c_1010_12^4 + 17687619762/26843949691*c_1010_12^3 + 52349062102/26843949691*c_1010_12^2 + 20801008949/107375798764*c_1010_12 + 2901597235/26843949691, c_0101_8 + 1108912973/107375798764*c_1010_12^13 + 2545485281/107375798764*c_1010_12^12 + 2181813716/26843949691*c_1010_12^11 + 3375646616/26843949691*c_1010_12^10 + 11229265525/53687899382*c_1010_12^9 + 25069177521/107375798764*c_1010_12^8 - 4714121721/107375798764*c_1010_12^7 - 719857292/2064919207*c_1010_12^6 - 72170626295/107375798764*c_1010_12^5 - 31833377292/26843949691*c_1010_12^4 - 14037851773/26843949691*c_1010_12^3 - 7189289165/26843949691*c_1010_12^2 + 28591664137/107375798764*c_1010_12 - 3218942703/26843949691, c_1001_2 + 1496761511/107375798764*c_1010_12^13 + 3479641323/107375798764*c_1010_12^12 + 4675400972/26843949691*c_1010_12^11 + 7306028101/26843949691*c_1010_12^10 + 43256812073/53687899382*c_1010_12^9 + 91568438711/107375798764*c_1010_12^8 + 175452340173/107375798764*c_1010_12^7 + 1588239228/2064919207*c_1010_12^6 + 105214829315/107375798764*c_1010_12^5 - 33929566116/26843949691*c_1010_12^4 - 17687619762/26843949691*c_1010_12^3 - 52349062102/26843949691*c_1010_12^2 - 20801008949/107375798764*c_1010_12 - 2901597235/26843949691, c_1010_12^14 + c_1010_12^13 + 8*c_1010_12^12 + 4*c_1010_12^11 + 26*c_1010_12^10 + c_1010_12^9 + 27*c_1010_12^8 - 32*c_1010_12^7 + c_1010_12^6 - 68*c_1010_12^5 + 4*c_1010_12^4 + 25*c_1010_12^2 - 12*c_1010_12 + 16 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_4, c_0101_5, c_0101_6, c_0101_7, c_0101_8, c_1001_2, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 8168283268898487687818433742610135874099552465147169338451139010570\ 706504/146826811592599901564220040708448143079416714344052005387152\ 218065837311261*c_1010_12^23 + 126475794897618741212056991308300191\ 222016820846208459001711866833165116528/146826811592599901564220040\ 708448143079416714344052005387152218065837311261*c_1010_12^22 + 5246564705846560991445549629962699122685959595463105312496502181225\ 61835/2188179010321906133594933542599823294775211838212399484160241\ 69993796291*c_1010_12^21 + 4560985808368806969480753875564485652641\ 4644343496226303390476589827490691/13347891962963627414929094609858\ 922098128792213095636853377474369621573751*c_1010_12^20 - 5319568955877046737718823875495515302920032802861412630739002537743\ 8692397/86368712701529353861305906299087142987892184908265885521854\ 24592108077133*c_1010_12^19 - 5061186865298700995897954306853427767\ 536505865804370319991355076452483564291/146826811592599901564220040\ 708448143079416714344052005387152218065837311261*c_1010_12^18 - 3463686071757963346018784158943065839913949770717369961231076450808\ 7184958730/14682681159259990156422004070844814307941671434405200538\ 7152218065837311261*c_1010_12^17 - 3648780164108622990450666174182814056304115527659482964610952089517\ 9438729151/14682681159259990156422004070844814307941671434405200538\ 7152218065837311261*c_1010_12^16 + 1333762394607278087590565099714503601520971395320839023521854501162\ 14579325239/1468268115925999015642200407084481430794167143440520053\ 87152218065837311261*c_1010_12^15 + 3685388766687428527169114411452432595113646209374805126582325421027\ 88815404417/1468268115925999015642200407084481430794167143440520053\ 87152218065837311261*c_1010_12^14 + 1882307764814844627182609916861697177382259588564284509770285108004\ 555665015/785170115468448671466417329991701299889928953711508050198\ 674962918916103*c_1010_12^13 + 676366120298379948933917367479986772\ 321727056255610636227511133936431570489741/146826811592599901564220\ 040708448143079416714344052005387152218065837311261*c_1010_12^12 + 1074019194962107083107855367815258588265478353847766231330440936129\ 951715491390/146826811592599901564220040708448143079416714344052005\ 387152218065837311261*c_1010_12^11 + 7647420395253472049801286723193327573386738907915659011832548996106\ 01674725067/1468268115925999015642200407084481430794167143440520053\ 87152218065837311261*c_1010_12^10 + 1166892603550254049534712957830773426627145650022583538411378189652\ 138360491240/146826811592599901564220040708448143079416714344052005\ 387152218065837311261*c_1010_12^9 + 1052828101799091255279509512972922504996377590691836967964230162495\ 251339897367/146826811592599901564220040708448143079416714344052005\ 387152218065837311261*c_1010_12^8 + 8433527159047255327101000766749884037878734779246097185203242229423\ 98636267638/1468268115925999015642200407084481430794167143440520053\ 87152218065837311261*c_1010_12^7 - 4825366743880727174872599546309697544667781432485633268890203126803\ 22573014599/1468268115925999015642200407084481430794167143440520053\ 87152218065837311261*c_1010_12^6 - 2954960434976827794532411105942027330578083464153220945257659378079\ 288533613766/146826811592599901564220040708448143079416714344052005\ 387152218065837311261*c_1010_12^5 - 1774129715957066093258913232590792128443590271870828463795658455471\ 522443888042/146826811592599901564220040708448143079416714344052005\ 387152218065837311261*c_1010_12^4 - 2459869356362205271305920752789169495069322512346306785888980912695\ 8473637366/14682681159259990156422004070844814307941671434405200538\ 7152218065837311261*c_1010_12^3 + 135523141360188093423834971851575\ 0436953246412491705323400064706071859523615158/14682681159259990156\ 4220040708448143079416714344052005387152218065837311261*c_1010_12^2 + 45907131847479917052562204593404744986932528243034647871262608617\ 355335490367/863687127015293538613059062990871429878921849082658855\ 2185424592108077133*c_1010_12 + 21052821293928480595283235524812708\ 2798958440552482138260301961169349490766579/14682681159259990156422\ 0040708448143079416714344052005387152218065837311261, c_0011_0 - 1, c_0011_10 - 44169084333212705274023054588959218886453421350546595188654\ 709/250701920591038269426942470747131805350147606234542876965636906\ 071*c_1010_12^23 - 599402390474459975726397991083822279389383107531\ 6207947126932/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^22 + 45372710636336109469303626344521949929\ 436312754795795917638882/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^21 + 512139447249466717740306031748558902204901998650265630580395985/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 + 6038947403220029165037591728267027953917788639802568884\ 8562875/14747171799472839378055439455713635608832212131443698645037\ 465063*c_1010_12^19 + 671549882947656387146701313108244516589727367\ 5999963944035994899/25070192059103826942694247074713180535014760623\ 4542876965636906071*c_1010_12^18 - 13715794585968519389512749387817748539763440300206647755100586326/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^17 - 45305057067736783272721968571035547689168633702107995\ 645390070776/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^16 - 274359174004604458230644744241879252049\ 343225561850603868288893/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^15 + 55750124365586833719732364972414070694443525421284385819152276887/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 - 75984727994721281573408353237950393821457837244990777\ 42763747312/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12^13 + 67583464351805150549128962610897860169329\ 206057001908416739714423/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^12 + 179162459540605874313942161862687751635693242347001753615221391824/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^11 - 2158330586225850345225815599499949552567391359096121\ 31070826102467/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^10 + 3984506448699659492362792073330433977\ 83415514395774476899662083278/2507019205910382694269424707471318053\ 50147606234542876965636906071*c_1010_12^9 - 53683757860676165665628395325610003033271652500605715210430311468/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^8 + 626850579431742314586358481440943838599110525590676326\ 228187055195/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 + 2798922875701303178304636186513044774359\ 51825872800201806966261570/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^6 - 1018415873731120330300655455207018466005441180685719994985658040422\ /250701920591038269426942470747131805350147606234542876965636906071\ *c_1010_12^5 + 7405824176646759675217806129077915676564453374895236\ 05559290557850/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^4 - 21806953513746714269346542176694091467\ 6472918673104365818692805514/25070192059103826942694247074713180535\ 0147606234542876965636906071*c_1010_12^3 + 448255438903447230441879207523732522730364208290394224941268990307/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 - 15917851087078752342290055752665474746270254278415082\ 630379743537/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12 + 7422942485641336639375018001221994872955223\ 4132743146154158887424/25070192059103826942694247074713180535014760\ 6234542876965636906071, c_0011_11 - 52512737236181541884450522693895207876289333007703086897023\ 080/250701920591038269426942470747131805350147606234542876965636906\ 071*c_1010_12^23 - 339547998794668810541178850570178393383465111354\ 89600978822366/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^22 + 1174005324609691307792721538599027018\ 0182033201140580009185960/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^21 + 579189307940060425866432633382778162567935848565480216940084261/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 + 8738749890403067880011996347622349481737510691595558321\ 1934297/14747171799472839378055439455713635608832212131443698645037\ 465063*c_1010_12^19 + 900363674748452574894568694594539814757368680\ 4218607606173213374/25070192059103826942694247074713180535014760623\ 4542876965636906071*c_1010_12^18 - 10821642698821721971402123481964647979194855908262788291095798482/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^17 - 54355845439994580833279443213718139359653875718509725\ 303599930878/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^16 - 292028693127978979661407124811312015112\ 61452609063988031119624457/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^15 + 26122766044930958653547006205685339713672693138568791398066930107/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 - 10447595588078637037515683125690912034222700712838942\ 854692968210/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12^13 - 2655606614096062169547871756962676247945\ 9404006496162947061088419/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^12 + 105789640571847388035968803194638913028659482855677274295183111353/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^11 - 3055520675828523279757988842811741572058243431826549\ 64889947474930/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^10 + 2325006527910456476928402768884582896\ 24861256655063177836089608707/2507019205910382694269424707471318053\ 50147606234542876965636906071*c_1010_12^9 - 93670441948929016171360708626505140444246687260079300071641836266/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^8 + 574768072969373560671200368310933668557296534519542280\ 461165073910/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 + 4083393445528845399956832932600123705158\ 84742196718181115606049041/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^6 - 822227459578719050244463417268382161369056978676649732499363544389/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^5 + 52342213361202178286491288909498539070820774756146779\ 2637806423757/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^4 - 221252976324443788534402721456421243566\ 943133282309001237692983938/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^3 + 282360722809097586933191152538582288057260320095584129994372966418/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 - 11693868580788846745054095242693057658102555875678152\ 919551019252/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12 + 1440045021106338382483094002618680102430720\ 08419229490657266143080/2507019205910382694269424707471318053501476\ 06234542876965636906071, c_0011_12 + 12301561991699939693521392467321617775000830489257169328279\ 3861/25070192059103826942694247074713180535014760623454287696563690\ 6071*c_1010_12^23 + 19005479257793642628874788383537493865401481422\ 0672013482378619/25070192059103826942694247074713180535014760623454\ 2876965636906071*c_1010_12^22 + 67726034309532612663943339645707854\ 902883460117104587085301398/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^21 - 1309648192051776805539417407703607112062361435374900055219158601/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^20 - 271817574010494938598517415549361343839173105269751900\ 390252150/147471717994728393780554394557136356088322121314436986450\ 37465063*c_1010_12^19 - 2440704383665814648415591916873337918462368\ 8402222806321838229684/25070192059103826942694247074713180535014760\ 6234542876965636906071*c_1010_12^18 + 5202112325592222179189435498528461579087325293107001691504692393/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^17 + 144061856978400205743735251322854164851501696945472693\ 482914997243/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^16 + 176180417720013156813608759485897737996\ 476397761176009367102776232/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^15 + 26320991742625153670163023567870320974064001976445010589843826156/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 + 25288228662418925021992256618227919256983765065305054\ 383861585524/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12^13 + 5000543314421894102612413455543785269298\ 72197962708946740172616917/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^12 - 64375066804564121668248668886124098666847127411846789435475955204/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^11 + 78473418669486709172774997786242269263927018096255896\ 9412006458966/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^10 + 33942502194658393783019862953610087921\ 2110368222096521161352490868/25070192059103826942694247074713180535\ 0147606234542876965636906071*c_1010_12^9 + 64563576873217216975605301692102672817539932326921701493550085697/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^8 - 592639880810341123743667497855658644166560066721287662\ 528313495575/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 - 1611039365651429975458116283179598414698\ 485153193982466613530745254/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^6 + 1122846562222472995144547726272815208274126776475178438259306018005\ /250701920591038269426942470747131805350147606234542876965636906071\ *c_1010_12^5 + 5163624189657304439288689488314939725469006009651063\ 83391953838049/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^4 - 47376789162252855962355024257016146203\ 013163071448228877918997440/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^3 - 402649026009089833347382933058307731342755267090673546026021299413/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 - 51314509269479507232068336464525990476519801247908966\ 20916007816/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12 + 14236837993061905311713579201571916695658190\ 2665004367577295230426/25070192059103826942694247074713180535014760\ 6234542876965636906071, c_0011_3 - 889055134876023283765172042129984933464503627147282828960414\ 12/2507019205910382694269424707471318053501476062345428769656369060\ 71*c_1010_12^23 - 1606557272362082576256835943037785440721247746575\ 92227144140678/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^22 - 1308401505247544551380000053537260861\ 95064019589128924472964793/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^21 + 872468649427543218721593207782578869082277725532698522093511689/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 + 2077351295424423493998464849831581930080473057321775726\ 22414152/1474717179947283937805543945571363560883221213144369864503\ 7465063*c_1010_12^19 + 18967544522719205506195050117202695965713180\ 972158347167799715156/250701920591038269426942470747131805350147606\ 234542876965636906071*c_1010_12^18 + 2436215578972893847519780629353518258162550529245701721186055787/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^17 - 958645078622367581167854043566387163744887027741110493\ 23948008308/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^16 - 1570876378722801590037218886280416342422\ 95535058659189767919187555/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^15 - 96979840208422719956690107340495814422513577255218655224357777037/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 - 22142164405295476238160233390593472730187548306409177\ 443326350518/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12^13 - 4798545630092590313747396817694871738811\ 94456089821760186304912512/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^12 - 256567987245223164494113427184999724557710392699565850224477140661/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^11 - 7301768110927644655977135668545711960802483342677499\ 99060888234377/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^10 - 5048610468572374157894982102649540323\ 06550797035149784117734606160/2507019205910382694269424707471318053\ 50147606234542876965636906071*c_1010_12^9 - 461846213606335713330886558960417974941739002177758788525962951983/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^8 + 23980580449030520612778703513565346285220163933584535\ 7070609039409/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^7 + 105507697146408996668962810751115898509\ 6385175528385391144369111803/25070192059103826942694247074713180535\ 0147606234542876965636906071*c_1010_12^6 - 275870357594183907247230119319876104438992114337618500547102873798/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^5 - 29887061569787992528375823399973521542559051545199602\ 3346280102846/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^4 - 254729292005932603123130730476029479791\ 293712691717220635210972049/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^3 + 214024626729204739884196421540607562148693519009621735260927749182/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 + 71617356004458774925777178123774997067077712951315891\ 95255835152/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12 - 98415429738719923647804244072380306823214195\ 707055789055454364712/250701920591038269426942470747131805350147606\ 234542876965636906071, c_0101_0 - 599233901979143271332814085148023453582193359621582074852515\ 4/25070192059103826942694247074713180535014760623454287696563690607\ 1*c_1010_12^23 + 25545397304553755264989178422640154846098099960367\ 746648157700/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^22 + 862461506933387874961754317438490109495\ 58673720288681272091298/2507019205910382694269424707471318053501476\ 06234542876965636906071*c_1010_12^21 + 176721956744113882912188713985302268385094960446163586397767984/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 - 3887825871931009001227205586861769197352340635763211195\ 994454/147471717994728393780554394557136356088322121314436986450374\ 65063*c_1010_12^19 - 4796239855526124426206594638090735875082626779\ 21145367129786788/2507019205910382694269424707471318053501476062345\ 42876965636906071*c_1010_12^18 - 8923795392905324664875603991717178\ 701398384407893044001891686427/250701920591038269426942470747131805\ 350147606234542876965636906071*c_1010_12^17 - 14100677517960791889172700275082032941306366869848973972448435043/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^16 + 26036571455569384119922161888482833485114231310650925\ 117343937850/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^15 + 922044317019659056540982822316354644797\ 52066386064218099637929652/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^14 + 4907334768808418930987730363955796900819562238701070086307581933/14\ 747171799472839378055439455713635608832212131443698645037465063*c_1\ 010_12^13 + 1620555787738196782613963587112581124548745903475940698\ 11487381243/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^12 + 2753307235176212205581843105734167835948\ 53941096815182068746776937/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^11 + 216473799395909414671343088529942057627850181613043629176273605330/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^10 + 3306955890598276872432027902568652852032053692562339\ 99418072265981/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^9 + 27811142777248708212146688008584554684\ 8261104079626386980272452252/25070192059103826942694247074713180535\ 0147606234542876965636906071*c_1010_12^8 + 331540760117662293445647762804523932044195574805819499613952239708/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^7 + 19068444036308568123540075276603296685404743956177453\ 00944132729/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^6 - 77377987846570702673614378181338881520189\ 6912228911094534646891587/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^5 - 376369393013316582915948396834830316552723699976229391889388921473/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^4 - 59489469517845550291106854053809867855115823912141162\ 243705757306/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^3 + 4060305029986463853606102336823547519488\ 37283719948855759435545514/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^2 + 6572092812945756845344624009319678481558685370248260223527139564/14\ 747171799472839378055439455713635608832212131443698645037465063*c_1\ 010_12 - 2683963561405803953922089509927977702990665288964852783922\ 16469714/2507019205910382694269424707471318053501476062345428769656\ 36906071, c_0101_4 - 126602904573021966838473219477947143508191696336189399032373\ 19/2507019205910382694269424707471318053501476062345428769656369060\ 71*c_1010_12^23 - 2734930221675691389584467075278741557162084254599\ 3047142557931/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^22 - 41300915801498059882804988848463666637\ 482375149551801300513249/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^21 + 111091553258395720057909777877688502342624835681956079028693520/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 + 3248753019139372684446840998148691042017554650110604693\ 9947611/14747171799472839378055439455713635608832212131443698645037\ 465063*c_1010_12^19 + 307425059406386136676412638828482660420017638\ 7776975781560102325/25070192059103826942694247074713180535014760623\ 4542876965636906071*c_1010_12^18 + 1732042176568893410782305925073308276975337034010584094178957624/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^17 - 110539857737161589290256155699225907427490385397019654\ 60700832666/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^16 - 3105287371951148035688853988398463038698\ 3303783464513727757432031/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^15 - 37549441504087419749777605425118018231063610408585684993776851976/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 - 41668043308360283221736526376836979225690496736164464\ 63178282587/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12^13 - 76879204244066020607418279401570194121413\ 652246855943756944394385/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^12 - 78324991508516276190181071666889540166765830062037276666078309122/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^11 - 59567772016762316213654419545683406164256487543167952\ 500686014567/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^10 - 342878585986532029664616075142549861808\ 09798832801207492950710146/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^9 - 36207061192991118278341014403651854021511703232406884441098622506/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^8 + 216598248785906175412247432490476706981656246040857638\ 555655626669/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 + 2856656490963543930662123542804774290560\ 90799580054552025323251086/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^6 + 410186154353709649242637525563550957236634254341092878778224506313/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^5 + 94128798167496957090305217977075732645867137073126482\ 557909087211/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^4 - 5876280611197785795904685056707433817156\ 796120045118715309900357/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^3 + 12293738547313022997965438293012308886666728341184571623450720399/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^2 - 823188319858696256486401563015779381850019960037185041\ 4072307552/14747171799472839378055439455713635608832212131443698645\ 037465063*c_1010_12 + 120480829003172616074643192884538458955404032\ 634794634103431739900/250701920591038269426942470747131805350147606\ 234542876965636906071, c_0101_5 + 674382164864005519485629145612549459338605572571938734485008\ 10/2507019205910382694269424707471318053501476062345428769656369060\ 71*c_1010_12^23 + 1040427628775992618381216163967766126169847478716\ 69675647103655/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^22 + 4720189759655191480848194204302652055\ 8939706343346692344230691/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^21 - 739679140796951106173548834207272711900092438362587741945888573/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 - 1504819831106549067351133187711759608005647112289442150\ 07154966/1474717179947283937805543945571363560883221213144369864503\ 7465063*c_1010_12^19 - 13504271886736237482014334944433727552167340\ 727578562796889778876/250701920591038269426942470747131805350147606\ 234542876965636906071*c_1010_12^18 + 2882053410760143747417102825235834316879170753249208376977093356/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^17 + 780239159033402186450609975338184582735400420175559916\ 42357146167/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^16 + 1037118253175980493127751884019469686173\ 35730378227263856378992681/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^15 + 20621230247842448518573544361394898933152001235855748134535943814/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 + 12632501154435901513522329065087232650691850460757755\ 430710740404/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12^13 + 2458140685566470829668683031096901475370\ 12735292812217781950494241/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^12 - 2424328115324461296431419285041271991052694932619107123400585326/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^11 + 318977564422554837680706760271590415287801966991342563\ 968029041593/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^10 + 954176555026739554665015792271515452805\ 52645895959701451104331951/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^9 + 28325188794692203837318666389084166530359594331084850143344880255/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^8 - 611943499655567628736361297958866648430951428814353015\ 134893475242/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 - 8973687715149446189000705183534468748237\ 99029496200537438622581449/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^6 + 359612278164583124353903081773197652609123909664404198589167221507/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^5 + 33896678709462080290790917889107440376439856338105237\ 3552825061315/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^4 + 106578617078443983069415047958752646421\ 683270326572054751785637518/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^3 - 522607727292743789696124916176110338674551544754818651862955614500/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 - 11129319854255499491108055415568179114756723127179839\ 75771083251/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12 + 44889112113069273408825559543985935437983789\ 308823270568160703890/250701920591038269426942470747131805350147606\ 234542876965636906071, c_0101_6 + 886461673993484385879600837680094295993167818942621361585936\ 03/2507019205910382694269424707471318053501476062345428769656369060\ 71*c_1010_12^23 + 6642138827466570367009991715996931924432613423513\ 9477541166724/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^22 + 19019207258924230732686232998552378833\ 267671682692123040444093/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^21 - 909508514283998709098211164853332220630495239144230185188263521/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 - 1510217013612953288005453670356249866986349047828140807\ 39175793/1474717179947283937805543945571363560883221213144369864503\ 7465063*c_1010_12^19 - 15768268475927903741818463347631240232485611\ 976150938121462373245/250701920591038269426942470747131805350147606\ 234542876965636906071*c_1010_12^18 + 15298019496307858237709210753644188004906176838530438009248612851/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^17 + 86497501887824142770772586282823760681189057073280565\ 137691271157/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^16 + 561328947451720872667684533026318327940\ 34735061830133307775129101/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^15 + 589589168890287316790791523174272582746114050518831887516233694/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^14 + 2100739562729240844130751820484723731052365807919520656\ 3542554995/14747171799472839378055439455713635608832212131443698645\ 037465063*c_1010_12^13 + 106493621640441455643655497152971781510073\ 259398329436315580517539/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^12 - 30956182507042346257128364825062279133792349302811610708855731631/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^11 + 74359634735419811004214482826644458024942553152839107\ 2362498109044/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^10 - 27438473013651308831012690110632763883\ 3322242391303077799101660805/25070192059103826942694247074713180535\ 0147606234542876965636906071*c_1010_12^9 + 455726619138256023525029263639067636416812205311804932455500840546/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^8 - 65238159411655741410697573611878737248119107319608113\ 5578217625877/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^7 - 638831890250427531542348103387917100852\ 151559338862240214000556398/250701920591038269426942470747131805350\ 147606234542876965636906071*c_1010_12^6 + 1340451509499695255994302018999912313557763560350349403488556062303\ /250701920591038269426942470747131805350147606234542876965636906071\ *c_1010_12^5 - 1222403914322863637806942699240767325465526063421340\ 953716209233360/250701920591038269426942470747131805350147606234542\ 876965636906071*c_1010_12^4 + 6205907282605658499126534385326678413\ 40468522425286967843571318447/2507019205910382694269424707471318053\ 50147606234542876965636906071*c_1010_12^3 - 584881211424890953070781706080308852960691240010761950981481647646/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 + 17089232033379196852809821703746594319161187001656670\ 377566617098/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12 - 2267894273165780407635548243705233013880784\ 99419993284359429856903/2507019205910382694269424707471318053501476\ 06234542876965636906071, c_0101_7 + 226108929085760231263908043713858542608285077145545247588384\ 07/2507019205910382694269424707471318053501476062345428769656369060\ 71*c_1010_12^23 + 4403857163680919066867568083581330049287535739318\ 9709821721054/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^22 + 54226738777214566217663990060965779315\ 376499400960937957933338/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^21 - 186831782910248014948466580548145649725856315712921164261224936/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 - 5342677746779958027910900629839595041926682610692002179\ 3900382/14747171799472839378055439455713635608832212131443698645037\ 465063*c_1010_12^19 - 511790414799031042733754583893378161544860565\ 0712983080866973009/25070192059103826942694247074713180535014760623\ 4542876965636906071*c_1010_12^18 - 1928665606776995611612761422665950061718959089181749034620941411/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^17 + 210194372333482062823969789028911589194903424436199501\ 10321878279/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^16 + 4273543629647799536682441393588736091091\ 1253068503754724611417292/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^15 + 48086513899987029855913526572083225423397830106176384814185477113/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 + 76860181968154881842923703385179066669734666123891775\ 54112721794/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12^13 + 14444679096870058602131986389602027166874\ 7956235969275064687722156/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^12 + 129675747738528116936644668071538808017223987899220272224813996759/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^11 + 2948250232932931321329344097904218695796381218488167\ 79818114362629/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^10 + 2137095565564283223172841518480497307\ 36973110368112700782670600443/2507019205910382694269424707471318053\ 50147606234542876965636906071*c_1010_12^9 + 196201640110137164220989078548544817184933972360736297615585619650/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^8 + 95148832388623398560065881604175233628825925520089023\ 310413733406/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 - 1926261571545250374604381078583564976485\ 89316083825529809602392510/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^6 - 68857577198975677955681196794244426505076431687992860721761345121/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^5 + 763384473707213719257580796751941821111860172384569947\ 2552399219/25070192059103826942694247074713180535014760623454287696\ 5636906071*c_1010_12^4 + 117752706169613266541935807685895884938924\ 460877607209332291790019/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^3 + 174860518279121800287307557726653906001313134676007227981132223894/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 - 43252936593932521033170472070460411744327272760410614\ 50206739398/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12 - 14588986286349756662549226489276877206809705\ 7591930270742065432522/25070192059103826942694247074713180535014760\ 6234542876965636906071, c_0101_8 - 720567889227118576101972337438708051853320020705188227386791\ 70/2507019205910382694269424707471318053501476062345428769656369060\ 71*c_1010_12^23 - 1157104923443675300123131514083931997600484760868\ 55347172562629/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^22 - 4820556477027477553683160428275975322\ 0396358989191626215890492/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^21 + 761779479591413281347078872914407905497756921888814388884316222/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 + 1617645809046365848854175530894515617262751895707504394\ 73079324/1474717179947283937805543945571363560883221213144369864503\ 7465063*c_1010_12^19 + 14480422580561350514692194156453693129853093\ 566601927554592544938/250701920591038269426942470747131805350147606\ 234542876965636906071*c_1010_12^18 - 2107292140515596486799648822452286906154435811337827191765679257/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^17 - 841867067441800560432797431467894340228139878562225271\ 51034089154/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^16 - 1083268785891632599889086580660950718417\ 85667701808441028015051347/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^15 - 23452682261227192366278549028638873779598379396909890581851688864/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 - 15077805763479421421366671880597553750819719874233365\ 796582683676/147471717994728393780554394557136356088322121314436986\ 45037465063*c_1010_12^13 - 3106972068094548756967194088222774291408\ 61512177187152436717816886/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^12 + 13764679984130294327799231081649891085547850110935005974478048415/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^11 - 46258739317369963873960847413684069308771326833441191\ 2342739699327/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^10 - 23326169415020839394606900780631462085\ 2268759846033342620954919398/25070192059103826942694247074713180535\ 0147606234542876965636906071*c_1010_12^9 - 52557378530252221705565508743220055428043553773971608648074934618/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^8 + 346018781584509097377616372146440893552021466607834276\ 579789898245/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 + 9622261642121066198961236937927970102207\ 18131021618726248279022124/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^6 - 571149140444491980021498946674323877617610808398375907574164676687/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^5 - 31579548707491110582630509622053547483925619039630143\ 0892668618128/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^4 + 220587970678403453696775297784392688923\ 77608061430042922101648740/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^3 + 221695849287232385612532354412164603078585259711722781515650891438/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 - 62300448920321655277076728590866082407559194397303546\ 0306698075/14747171799472839378055439455713635608832212131443698645\ 037465063*c_1010_12 - 858995153595900983222995085340668161202780154\ 39836664658121745329/2507019205910382694269424707471318053501476062\ 34542876965636906071, c_1001_2 - 226108929085760231263908043713858542608285077145545247588384\ 07/2507019205910382694269424707471318053501476062345428769656369060\ 71*c_1010_12^23 - 4403857163680919066867568083581330049287535739318\ 9709821721054/25070192059103826942694247074713180535014760623454287\ 6965636906071*c_1010_12^22 - 54226738777214566217663990060965779315\ 376499400960937957933338/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^21 + 186831782910248014948466580548145649725856315712921164261224936/250\ 701920591038269426942470747131805350147606234542876965636906071*c_1\ 010_12^20 + 5342677746779958027910900629839595041926682610692002179\ 3900382/14747171799472839378055439455713635608832212131443698645037\ 465063*c_1010_12^19 + 511790414799031042733754583893378161544860565\ 0712983080866973009/25070192059103826942694247074713180535014760623\ 4542876965636906071*c_1010_12^18 + 1928665606776995611612761422665950061718959089181749034620941411/25\ 0701920591038269426942470747131805350147606234542876965636906071*c_\ 1010_12^17 - 210194372333482062823969789028911589194903424436199501\ 10321878279/2507019205910382694269424707471318053501476062345428769\ 65636906071*c_1010_12^16 - 4273543629647799536682441393588736091091\ 1253068503754724611417292/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^15 - 48086513899987029855913526572083225423397830106176384814185477113/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^14 - 76860181968154881842923703385179066669734666123891775\ 54112721794/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12^13 - 14444679096870058602131986389602027166874\ 7956235969275064687722156/25070192059103826942694247074713180535014\ 7606234542876965636906071*c_1010_12^12 - 129675747738528116936644668071538808017223987899220272224813996759/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^11 - 2948250232932931321329344097904218695796381218488167\ 79818114362629/2507019205910382694269424707471318053501476062345428\ 76965636906071*c_1010_12^10 - 2137095565564283223172841518480497307\ 36973110368112700782670600443/2507019205910382694269424707471318053\ 50147606234542876965636906071*c_1010_12^9 - 196201640110137164220989078548544817184933972360736297615585619650/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^8 - 95148832388623398560065881604175233628825925520089023\ 310413733406/250701920591038269426942470747131805350147606234542876\ 965636906071*c_1010_12^7 + 1926261571545250374604381078583564976485\ 89316083825529809602392510/2507019205910382694269424707471318053501\ 47606234542876965636906071*c_1010_12^6 + 68857577198975677955681196794244426505076431687992860721761345121/2\ 50701920591038269426942470747131805350147606234542876965636906071*c\ _1010_12^5 - 763384473707213719257580796751941821111860172384569947\ 2552399219/25070192059103826942694247074713180535014760623454287696\ 5636906071*c_1010_12^4 - 117752706169613266541935807685895884938924\ 460877607209332291790019/250701920591038269426942470747131805350147\ 606234542876965636906071*c_1010_12^3 - 174860518279121800287307557726653906001313134676007227981132223894/\ 250701920591038269426942470747131805350147606234542876965636906071*\ c_1010_12^2 + 43252936593932521033170472070460411744327272760410614\ 50206739398/1474717179947283937805543945571363560883221213144369864\ 5037465063*c_1010_12 + 14588986286349756662549226489276877206809705\ 7591930270742065432522/25070192059103826942694247074713180535014760\ 6234542876965636906071, c_1010_12^24 + c_1010_12^23 - 11*c_1010_12^21 - 32*c_1010_12^20 - 181*c_1010_12^19 + 145*c_1010_12^18 + 1105*c_1010_12^17 + 895*c_1010_12^16 - 316*c_1010_12^15 + 3267*c_1010_12^14 + 1872*c_1010_12^13 - 1493*c_1010_12^12 + 6081*c_1010_12^11 - 1545*c_1010_12^10 + 1592*c_1010_12^9 - 7444*c_1010_12^8 - 9723*c_1010_12^7 + 14515*c_1010_12^6 - 699*c_1010_12^5 + 2597*c_1010_12^4 - 7588*c_1010_12^3 + 1924*c_1010_12^2 + 835*c_1010_12 + 671 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.090 Total time: 1.310 seconds, Total memory usage: 32.09MB