Magma V2.19-8 Wed Aug 21 2013 00:18:17 on localhost [Seed = 1949440461] Type ? for help. Type -D to quit. Loading file "K14a12198__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a12198 geometric_solution 10.34849219 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 -1 1 -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 -1 16 -15 15 0 -15 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.247360214228 0.694493816115 0 0 4 4 0132 1302 1302 0132 0 0 0 0 0 0 1 -1 1 0 -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 -16 16 -15 0 15 0 0 15 0 -15 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544882726348 1.277796969677 5 0 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 1 -1 0 0 0 0 0 0 0 0 0 -16 1 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.698432713597 2.361785718637 8 8 9 0 0132 3201 0132 0132 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 16 -16 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.679640631551 3.316293919253 1 9 1 9 2031 1230 0132 2031 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 0 -16 16 16 0 0 -16 -1 1 0 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.717627933313 0.662186840741 2 7 10 10 0132 3120 0132 1302 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 -16 16 0 0 0 -15 15 16 0 0 -16 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276570361872 0.681068022326 7 11 2 11 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.158124571611 0.590635456766 12 5 6 2 0132 3120 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -1 0 1 0 0 0 0 15 0 0 -15 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.138800578335 1.809948140170 3 11 3 11 0132 2310 2310 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.584372577722 0.614334409814 12 4 4 3 3120 1302 3012 0132 0 0 0 0 0 -1 0 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 16 0 -16 -15 0 0 15 16 -16 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.247360214228 0.694493816115 12 12 5 5 1302 3201 2031 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 16 -16 -15 0 0 15 -1 0 0 1 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276570361872 0.681068022326 6 6 8 8 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.397918426479 0.102504618367 7 10 10 9 0132 2031 2310 3120 0 0 0 0 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 1 0 -1 0 0 -15 15 16 0 0 -16 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732806563231 0.689895866112 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : negation(d['c_0101_5']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : negation(d['c_1001_0']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_0101_5'], '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_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_4']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_0011_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0110_11']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_0']), 'c_1010_8' : negation(d['c_0110_11']), 'c_1100_8' : d['c_0011_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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_11']), '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_5'], 'c_0110_12' : d['c_0101_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_11'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0101_11']), '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_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_11, c_0101_12, c_0101_5, c_0110_11, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 74/27*c_1001_4^2 + 232/27*c_1001_4 - 193/27, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + c_1001_4^2 - c_1001_4 - 2, c_0011_12 + c_1001_4^2 - c_1001_4 - 2, c_0011_3 - c_1001_4^2 + 2, c_0011_4 + c_1001_4^2 - 2, c_0101_0 + c_1001_4^2 - c_1001_4 - 2, c_0101_11 + 1, c_0101_12 - c_1001_4, c_0101_5 - c_1001_4^2 + 2, c_0110_11 + c_1001_4, c_1001_0 - 1, c_1001_4^3 - 2*c_1001_4^2 - c_1001_4 + 3 ], 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_0011_4, c_0101_0, c_0101_11, c_0101_12, c_0101_5, c_0110_11, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 9 Groebner basis: [ t - 385731151721/1601159127*c_1001_4^8 - 2546701354625/1601159127*c_1001_4^7 - 2690770691434/1601159127*c_1001_4^6 + 289853639929/43274571*c_1001_4^5 + 221414408258/22551537*c_1001_4^4 - 588578400721/43274571*c_1001_4^3 - 25742403449/1186923*c_1001_4^2 + 19586799710465/1601159127*c_1001_4 + 32643660052279/1601159127, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 + 5982/49913*c_1001_4^8 + 28322/49913*c_1001_4^7 - 8299/49913*c_1001_4^6 - 3571/1349*c_1001_4^5 + 755/703*c_1001_4^4 + 7504/1349*c_1001_4^3 - 1663/703*c_1001_4^2 - 248686/49913*c_1001_4 + 99995/49913, c_0011_12 - 525/49913*c_1001_4^8 - 1985/49913*c_1001_4^7 + 453/49913*c_1001_4^6 + 80/1349*c_1001_4^5 + 18/703*c_1001_4^4 + 547/1349*c_1001_4^3 - 116/703*c_1001_4^2 - 55422/49913*c_1001_4 + 17282/49913, c_0011_3 + 640/49913*c_1001_4^8 + 43/49913*c_1001_4^7 - 13387/49913*c_1001_4^6 - 226/1349*c_1001_4^5 + 902/703*c_1001_4^4 + 1119/1349*c_1001_4^3 - 1673/703*c_1001_4^2 - 116403/49913*c_1001_4 + 93970/49913, c_0011_4 - 454/49913*c_1001_4^8 - 3618/49913*c_1001_4^7 - 1890/49913*c_1001_4^6 + 506/1349*c_1001_4^5 - 117/703*c_1001_4^4 - 1228/1349*c_1001_4^3 + 754/703*c_1001_4^2 + 42487/49913*c_1001_4 - 80698/49913, c_0101_0 - 525/49913*c_1001_4^8 - 1985/49913*c_1001_4^7 + 453/49913*c_1001_4^6 + 80/1349*c_1001_4^5 + 18/703*c_1001_4^4 + 547/1349*c_1001_4^3 - 116/703*c_1001_4^2 - 55422/49913*c_1001_4 + 17282/49913, c_0101_11 + 3543/49913*c_1001_4^8 + 14822/49913*c_1001_4^7 - 21311/49913*c_1001_4^6 - 2891/1349*c_1001_4^5 + 927/703*c_1001_4^4 + 6083/1349*c_1001_4^3 - 1756/703*c_1001_4^2 - 200408/49913*c_1001_4 + 99851/49913, c_0101_12 - c_1001_4, c_0101_5 + 454/49913*c_1001_4^8 + 3618/49913*c_1001_4^7 + 1890/49913*c_1001_4^6 - 506/1349*c_1001_4^5 + 117/703*c_1001_4^4 + 1228/1349*c_1001_4^3 - 754/703*c_1001_4^2 - 42487/49913*c_1001_4 + 80698/49913, c_0110_11 + 2073/49913*c_1001_4^8 + 9264/49913*c_1001_4^7 - 10060/49913*c_1001_4^6 - 1318/1349*c_1001_4^5 + 1118/703*c_1001_4^4 + 3028/1349*c_1001_4^3 - 2362/703*c_1001_4^2 - 145955/49913*c_1001_4 + 138258/49913, c_1001_0 - 3543/49913*c_1001_4^8 - 14822/49913*c_1001_4^7 + 21311/49913*c_1001_4^6 + 2891/1349*c_1001_4^5 - 927/703*c_1001_4^4 - 6083/1349*c_1001_4^3 + 1756/703*c_1001_4^2 + 200408/49913*c_1001_4 - 99851/49913, c_1001_4^9 + 6*c_1001_4^8 + 3*c_1001_4^7 - 32*c_1001_4^6 - 24*c_1001_4^5 + 81*c_1001_4^4 + 56*c_1001_4^3 - 105*c_1001_4^2 - 54*c_1001_4 + 51 ], 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_0011_4, c_0101_0, c_0101_11, c_0101_12, c_0101_5, c_0110_11, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 8114734143447844461097451575144474057169216168233003938905279631337\ 2588741373354/54952922022514071438073074032639762642709186335495271\ 9518083830182604521429404840069*c_1001_4^27 - 1195450182621582876138826612402952734963986957800231298549514522444\ 25477474013615/5495292202251407143807307403263976264270918633549527\ 19518083830182604521429404840069*c_1001_4^26 + 1316439013291390409389188537056382221371465440010676666075173007737\ 564759275441076/549529220225140714380730740326397626427091863354952\ 719518083830182604521429404840069*c_1001_4^25 + 3465242637982564743092695446450689073563703636794395475031031718554\ 701131331664514/549529220225140714380730740326397626427091863354952\ 719518083830182604521429404840069*c_1001_4^24 - 1104650607742271671700466306588139671072460974132753417300482336256\ 1221836330784570/54952922022514071438073074032639762642709186335495\ 2719518083830182604521429404840069*c_1001_4^23 - 4528406948350374556612617262080290995643349000962458970626040423456\ 3867633189057088/54952922022514071438073074032639762642709186335495\ 2719518083830182604521429404840069*c_1001_4^22 + 6341528169429777449927914196719952288887412686878698384713628912976\ 0168837267336030/54952922022514071438073074032639762642709186335495\ 2719518083830182604521429404840069*c_1001_4^21 + 1254506317915436702262179172658528863247407774088067396925979910094\ 5468701975538315/18949283456039334978645887597461987118175581494998\ 369638554614833882914532048442761*c_1001_4^20 - 2970397066968405515984725641745364707749821870771879892965632562161\ 56109361667344867/5495292202251407143807307403263976264270918633549\ 52719518083830182604521429404840069*c_1001_4^19 - 2040117287188164623735204867451128198137286997368353382655285399581\ 349143048086433817/549529220225140714380730740326397626427091863354\ 952719518083830182604521429404840069*c_1001_4^18 + 1235232721374537941220950113337874579538550914149445758062629110629\ 580761595086451257/549529220225140714380730740326397626427091863354\ 952719518083830182604521429404840069*c_1001_4^17 + 8474178481353783440947778043612962188656664205511602707183918314133\ 234246247192663854/549529220225140714380730740326397626427091863354\ 952719518083830182604521429404840069*c_1001_4^16 - 1935591772385494082897238464401524456342653006102627947261828772505\ 76025180160037297/2389257479239742236437959740549554897509095058065\ 0118239916688268808892236061080003*c_1001_4^15 - 2684933841200771944496655002749569490081931905067158844944920174775\ 7460531137616934133/54952922022514071438073074032639762642709186335\ 4952719518083830182604521429404840069*c_1001_4^14 + 1292811251932045506429233329026653840214933074376267209739078886077\ 0337169013641273428/54952922022514071438073074032639762642709186335\ 4952719518083830182604521429404840069*c_1001_4^13 + 6556767185522768822833970825443779361830603861524245160041705407985\ 9859215216841722386/54952922022514071438073074032639762642709186335\ 4952719518083830182604521429404840069*c_1001_4^12 - 2846755848880777961899638926739710266287173332989345415832700960549\ 1077081091385367049/54952922022514071438073074032639762642709186335\ 4952719518083830182604521429404840069*c_1001_4^11 - 5345188568342946939677347510920383406104857277510542608405502569491\ 904530904617122602/238925747923974223643795974054955489750909505806\ 50118239916688268808892236061080003*c_1001_4^10 + 4523873105927716515100223194410921785603013476695858829103664703205\ 6201378728433130389/54952922022514071438073074032639762642709186335\ 4952719518083830182604521429404840069*c_1001_4^9 + 1736775627280061583091530005614106036579743976880198659975775456309\ 48869806881776173705/5495292202251407143807307403263976264270918633\ 54952719518083830182604521429404840069*c_1001_4^8 - 2108616946550210757222359093834648399585781488080251587247481052814\ 107379374510260436/238925747923974223643795974054955489750909505806\ 50118239916688268808892236061080003*c_1001_4^7 - 1777652917668273563442033412663181840369747685174461920946850553037\ 97593538941921242429/5495292202251407143807307403263976264270918633\ 54952719518083830182604521429404840069*c_1001_4^6 + 3039441478356871145159037711882324987069629010088339966651408951686\ 5389593179650342225/54952922022514071438073074032639762642709186335\ 4952719518083830182604521429404840069*c_1001_4^5 + 1221924555454560945859365693132875102009615573955050826550012438169\ 21794531879111599280/5495292202251407143807307403263976264270918633\ 54952719518083830182604521429404840069*c_1001_4^4 - 6163012054992658680787656483243374543980145754323053829172001303218\ 863398101248076609/549529220225140714380730740326397626427091863354\ 952719518083830182604521429404840069*c_1001_4^3 - 4795913691680556162858108612951077445836816658494933431323592014404\ 5047833139091608418/54952922022514071438073074032639762642709186335\ 4952719518083830182604521429404840069*c_1001_4^2 - 2598874307089411156434986130341366416167444911664478438425928979472\ 286369758829931357/549529220225140714380730740326397626427091863354\ 952719518083830182604521429404840069*c_1001_4 + 6802530035814229777898202405934525780002961500421398686473351862603\ 030516553706375321/549529220225140714380730740326397626427091863354\ 952719518083830182604521429404840069, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 13550751255600200756004052393560192075711032045266515503042\ 200703830/637151758437266636442477249194173721711339854707637648634\ 7897575783453*c_1001_4^27 - 135156545671929598850042584926856191994\ 59131256168763619918671310857/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^26 + 2256037394806255384731787969640531529498428976827988826938172145840\ 04/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^25 + 4793890577043480069341541572945497964552377858\ 90258892621721673883622/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^24 - 2061795049216428977812081275659026456142496479058923081318956836536\ 927/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^23 - 669185124378921835978215475287663973047234797\ 7566260815995900590719835/63715175843726663644247724919417372171133\ 98547076376486347897575783453*c_1001_4^22 + 1351265041256632278489789407810344281513788843821572636415758089778\ 7782/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^21 + 55345886053954016412047185302538872927255182\ 573801974469324908391582202/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^20 - 7268707493731331169126341684427951238408355618483380344693352702698\ 8574/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^19 - 31368070689931018535108048646191821648386266\ 1558657296414599447753163348/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^18 + 3307499439067986799302613665634781486946880522775055065142765774921\ 04719/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^17 + 1304767856793968431596064990768458575078488\ 365041543481592345081270799679/637151758437266636442477249194173721\ 7113398547076376486347897575783453*c_1001_4^16 - 1236120874270800366120719251565983391663982351115195113505910191257\ 190058/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^15 - 412639838634080545866124266553609069542539\ 2462888554864826134018308984509/63715175843726663644247724919417372\ 17113398547076376486347897575783453*c_1001_4^14 + 3643959777892343882373607368877535888092737444545487822155261442696\ 035677/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^13 + 100875293359498228661577965456225256094027\ 99741976812122893985942237852746/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^12 - 8218671332279975158773266892325430477830305613944727998094857264445\ 621651/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^11 - 191200517846313296881151154527525305179742\ 10434855252247551510339191836818/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^10 + 1380678567111674561725837143713512242182665684745949398611998512164\ 4150618/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^9 + 278284015694954406876375737884478662160013\ 36866084765329100662094212865598/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^8 - 1666619226353691949474023301557155330944913995730571991327261801685\ 0603445/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^7 - 303198453353173105054852189028451737506480\ 24113280519128724507849868031455/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^6 + 1358643135273033580830669717666155168213848753494971147183949752377\ 9680422/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^5 + 235004136808421745984783264584185620648033\ 89676638788812937836787032395586/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^4 - 6584409057565287827387388913061614034122440035225815868736173725977\ 220443/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^3 - 1166748648632928135418035637523719654392922\ 4450201323731702673062102556036/63715175843726663644247724919417372\ 17113398547076376486347897575783453*c_1001_4^2 + 1372353797939207125975999010564741286232465171438321396390945100030\ 634290/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4 + 281920476358349163807052247102894826677281464\ 0209565589803492163305458858/63715175843726663644247724919417372171\ 13398547076376486347897575783453, c_0011_12 - 23233922098698657242291715212069868848537268372896160707770\ 921899872/637151758437266636442477249194173721711339854707637648634\ 7897575783453*c_1001_4^27 - 192185531891076696659530875860788914240\ 38435453755201217985149630630/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^26 + 3867472028964191606634106942471605012201540160042268795999040491143\ 87/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^25 + 7590656439020611408299096086823349544850119264\ 24286146190961652370494/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^24 - 3613757546393105651344043833471422926345819064662914992701980590045\ 076/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^23 - 108469394792278909693377229400857805002950419\ 42644729203985999345876610/6371517584372666364424772491941737217113\ 398547076376486347897575783453*c_1001_4^22 + 2446701974484383013256867463598771481129000469848101961068394723600\ 2135/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^21 + 90278844143665380527819014135545825146662611\ 725341794552961603002929490/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^20 - 1353423296506910535182386093475634864768539211111631616939236151514\ 47952/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^19 - 5112332097160325121707691944351921454587001\ 47460696440238905601498758871/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^18 + 6236692139738479972769696421210123492648942484854781298223210848608\ 46103/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^17 + 2118305636289048163257872087884085589677298\ 160085775359719120915330027978/637151758437266636442477249194173721\ 7113398547076376486347897575783453*c_1001_4^16 - 2331234274601873818472866926831108501426326833468995772283743097709\ 240031/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^15 - 666998125061914536293198312164069034195508\ 1620327723742356803124983160023/63715175843726663644247724919417372\ 17113398547076376486347897575783453*c_1001_4^14 + 6843129492908145279747096850727722240661304465414446486429753893600\ 442175/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^13 + 162602110447353721038418650838005719465682\ 75179368699981102957931133712936/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^12 - 1539361032542763894158520110704906021567483624318520355767358327614\ 0717060/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^11 - 30836089320147005749406753238102515685960\ 391738694606407340641907934414689/637151758437266636442477249194173\ 7217113398547076376486347897575783453*c_1001_4^10 + 2592229241320271749569524009033380175639744454261306561141801479734\ 0987137/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^9 + 451230961511886540316247241123371213978896\ 94271170268254377866856115310907/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^8 - 3160386170186315254149043183175690767537921540500714319388936194732\ 5329304/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^7 - 497338759823182696065954943222131124449177\ 85136896853916385193092925160850/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^6 + 2630859794878002836435988791244702331963450662030288902423837006221\ 1860574/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^5 + 392847157842922060553768161756304967089809\ 49621783380296270832221168213825/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^4 - 1326219470906253039585672859611041192186249514086727322101912086378\ 5255184/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^3 - 200484957123338513483120805721853828377546\ 99586289253849192079179253771750/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^2 + 2990390869236388001306876115749342969708618809770085547742462746471\ 749452/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4 + 502617746300487922123553719420176763750053399\ 6351061914899810635315943232/63715175843726663644247724919417372171\ 13398547076376486347897575783453, c_0011_3 + 439505111165929532625868231954149922750717495166528286305359\ 697618/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^27 + 486406274678997080611314710412343326390255\ 026403659803757615147817/637151758437266636442477249194173721711339\ 8547076376486347897575783453*c_1001_4^26 - 8065448504857067989203418207621234085858788463925930466159356840829\ /637151758437266636442477249194173721711339854707637648634789757578\ 3453*c_1001_4^25 - 171150038967147794121224554070151114593208810381\ 31278820210996524721/6371517584372666364424772491941737217113398547\ 076376486347897575783453*c_1001_4^24 + 7769286000610506176270854071150593794094009500141386398206529258774\ 5/63715175843726663644247724919417372171133985470763764863478975757\ 83453*c_1001_4^23 + 25115303999079847942462979405591994583421897241\ 0971225399280148631992/63715175843726663644247724919417372171133985\ 47076376486347897575783453*c_1001_4^22 - 5247617886831827567973805521879853712293328667598162627786739022056\ 65/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^21 - 2203785979928072473923313221323546407542568921\ 474175039492972124058280/637151758437266636442477249194173721711339\ 8547076376486347897575783453*c_1001_4^20 + 2866529593075376999710115241439816666521042610809580571458246910856\ 476/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^19 + 132867909297590254454220821382829006285856879\ 21232585943422355101970719/6371517584372666364424772491941737217113\ 398547076376486347897575783453*c_1001_4^18 - 1336716325112461456646215758257225389173000578033161782899999298892\ 2528/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^17 - 58847521509676506776013985434997598338628150\ 072423944599372860959397826/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^16 + 5226640326196498606697715921129731476527328143781424250474420858091\ 1179/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^15 + 19816277710391932040190068785128432624368985\ 6685568968254787420122079385/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^14 - 1642226225034430908505524182666056873843440857505212560780163700324\ 25163/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^13 - 5153879689234181864629253086786920372672479\ 98355623602485803845511870251/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^12 + 3991736712304025743254580113391289862766240970979796310140684905803\ 82064/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^11 + 1037641726364449174973305306747278176967438\ 267864065894266004097899060087/637151758437266636442477249194173721\ 7113398547076376486347897575783453*c_1001_4^10 - 7263722592381040137212285826407825035903558699241323369683933403234\ 89721/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^9 - 16005041931091738492152398409070485847239826\ 49070192044327449824700887457/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^8 + 9487668824773155278800356247555176960355050402752646902702436171070\ 42386/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^7 + 18424843546426601985926196755531499508700731\ 84888551433193977419783270025/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^6 - 8299618952715275195818861881144458694846028083450777665486073194407\ 32122/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^5 - 15031527427266203995326981077684354263602298\ 05554918892391708320615685148/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^4 + 4216626148204258612686447479929260752023830718457387180011350227457\ 03228/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^3 + 78156713811012839229895732403819328149080942\ 3614810732658669120663710205/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^2 - 9131985912085015702987910970940713617985380721466108649402284239515\ 5919/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4 - 19634393655734818240303249524326206361603670041\ 8359571645446183507701304/63715175843726663644247724919417372171133\ 98547076376486347897575783453, c_0011_4 - 152976326926931428070037418469057082467204264653660157620048\ 445450/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^27 + 325542814305207255507369921397624835439382\ 312185229064094095602991/637151758437266636442477249194173721711339\ 8547076376486347897575783453*c_1001_4^26 + 2989606868209324755592767816850991536885570825341891717576280711775\ /637151758437266636442477249194173721711339854707637648634789757578\ 3453*c_1001_4^25 - 196688223632661770766993377538650386626841117676\ 7099759460777562547/63715175843726663644247724919417372171133985470\ 76376486347897575783453*c_1001_4^24 - 3903210390262009096619772679220203817716230693182605825708059768626\ 7/63715175843726663644247724919417372171133985470763764863478975757\ 83453*c_1001_4^23 - 11537314090835609176543697495340823016559509174\ 998807036802065742326/637151758437266636442477249194173721711339854\ 7076376486347897575783453*c_1001_4^22 + 3625046088931691610331212042437535267135141379152717209144661724940\ 65/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^21 + 2191477861948218786747533857815209909827507563\ 40484567274008758986723/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^20 - 2452782434166011989659441253226062712688190173183745939871143950727\ 487/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^19 - 140193417340054215456854537368472143918605011\ 8557139252501462153356998/63715175843726663644247724919417372171133\ 98547076376486347897575783453*c_1001_4^18 + 1233333236298592145106020194488758349427820722766591052261598634128\ 6649/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^17 + 52735358079722228887158831146961043340914586\ 71867376454897409456593182/6371517584372666364424772491941737217113\ 398547076376486347897575783453*c_1001_4^16 - 4681038409300902219906096427145941117275298796898259287820517843074\ 7758/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^15 - 13160173817376965625182982353792209444975680\ 549457065870870453833399611/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^14 + 1352339588400713489542449488872530553073595476772025748328464053214\ 21657/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^13 + 2361745290046449075412909625156582142045215\ 9248186781543098392978675599/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^12 - 2973556688789082445764217282876847182710383962679435048456460207662\ 32940/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^11 - 3581067628151017728464330926624218758363932\ 0012097745164573350963255622/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^10 + 4923212390423754199596535999837036005634607250931510381260465152394\ 00664/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^9 + 58219260677564394451857623320681817604074979\ 042847723259809510535475413/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^8 - 5979922745246114473154013796147088110310488213484615564840060068762\ 84042/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^7 - 97898839250510466781912708595884547770122734\ 717439289751649683595573630/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^6 + 5058147280852441136254028434855049885469346575955587945550942819069\ 79871/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^5 + 12467954314521369376663789152273549458763265\ 7412010683035354486471553851/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^4 - 2674305163863211392944177589552751846623886037520230880401813811859\ 47990/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^3 - 90620176074887981519827499642339031440496218\ 778013926914708814237577212/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^2 + 6676694863987473486746520719563686723433478436768790166415326930783\ 9577/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4 + 22106474530235335189873766302519986278679708115\ 485562322796284525765742/637151758437266636442477249194173721711339\ 8547076376486347897575783453, c_0101_0 + 363407085452802231193708609918941898115017486436546912566999\ 137414/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^27 + 390569867461980989922812398468933238976206\ 385063744948737225894837/637151758437266636442477249194173721711339\ 8547076376486347897575783453*c_1001_4^26 - 6232693944801611187572660098927680566691801151844813020728595503138\ /637151758437266636442477249194173721711339854707637648634789757578\ 3453*c_1001_4^25 - 134569205325997570002626264622316844247332436601\ 40518079508316184718/6371517584372666364424772491941737217113398547\ 076376486347897575783453*c_1001_4^24 + 5706152031056605666856200959690149263337150601399267343019009930917\ 2/63715175843726663644247724919417372171133985470763764863478975757\ 83453*c_1001_4^23 + 18922282143428627379185175628968999775879146255\ 2364228829629035684141/63715175843726663644247724919417372171133985\ 47076376486347897575783453*c_1001_4^22 - 3715415131169346331972441889923965177376395602077492310254646599713\ 54/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^21 - 1579735322187225428669044193845573105538403304\ 090325685307911480841805/637151758437266636442477249194173721711339\ 8547076376486347897575783453*c_1001_4^20 + 1983104598643454126125216453387578015818202764419016381760221499514\ 284/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^19 + 902838180681488956693773840157269612192749274\ 2480500836142062162264523/63715175843726663644247724919417372171133\ 98547076376486347897575783453*c_1001_4^18 - 9032462056464629689944628748519877150197613331157285645565979328928\ 378/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^17 - 377772897334632200557259514706237884430720671\ 82690158941548771731982416/6371517584372666364424772491941737217113\ 398547076376486347897575783453*c_1001_4^16 + 3399427614489188049578479735478041628056842407130838844883120006031\ 4792/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^15 + 11977835621047483864464381364723542154152297\ 3839154812447040622528045281/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^14 - 1009307046343473336576501719348964261738528930915370600531046751451\ 18446/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^13 - 2922910593157735721891035434587196982423248\ 85600703151276920827211651366/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^12 + 2281181367313526027063516192799619610006911841277534820123718213950\ 66736/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^11 + 5500316486752886133816035546624907120271794\ 09855056005497509862374290137/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^10 - 3808108502258583069104493656133774976199275310393266516533349339766\ 59874/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^9 - 78949405337778753329428809955070143048428209\ 3665190448103896732115206311/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^8 + 4512307341364841890170024812612836123043650233084877444992208794921\ 98196/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^7 + 84119895590984797076359640355916054647492838\ 0925690103330638613044535718/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^6 - 3545552029340406939109398665211781410241461325807321160113968100137\ 23847/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^5 - 63070357859649403857559555089373853893730224\ 4138933620072628075194460362/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^4 + 1629701192499139583459678245033114082964058242859532865813449909969\ 18206/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^3 + 29840249159397978941010299596164825599248735\ 2934624562006556412991411623/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^2 - 3521845393756806054826771228934271653447052587788223057773490044326\ 2910/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4 - 67161538742160289703974541134914038510013386057\ 742496151309858719931481/637151758437266636442477249194173721711339\ 8547076376486347897575783453, c_0101_11 + 17691437851523745992131590754562498925426498140905289863318\ 815594/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^27 - 331723970590042863704079207515835986292118\ 09879801963665598513409/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^26 + 895419615513775265826351062406184910757177778189812132993226475748/\ 6371517584372666364424772491941737217113398547076376486347897575783\ 453*c_1001_4^25 + 1453321324442314595536900219661578653364240040860\ 327967546926247952/637151758437266636442477249194173721711339854707\ 6376486347897575783453*c_1001_4^24 - 1489320515917437405586273104105786344961822120013399055267001472110\ 1/63715175843726663644247724919417372171133985470763764863478975757\ 83453*c_1001_4^23 - 41389978381275605194642619383934200166545500611\ 790574223207247520673/637151758437266636442477249194173721711339854\ 7076376486347897575783453*c_1001_4^22 + 1252575856474234436077790327849254092219218870147399848308221097308\ 12/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^21 + 5433406730048282438798397037737627550099117613\ 61473822654485027385847/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^20 - 7548780497356038202212578242764958846310277555443537846007453069556\ 09/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^19 - 4289401280846988767297432332850427394462302128\ 447206090035371784557500/637151758437266636442477249194173721711339\ 8547076376486347897575783453*c_1001_4^18 + 3933142485814610597154606475092644306304281982385689213641290985466\ 031/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^17 + 278851713454153990359252267811508627833357575\ 315471518237244134553712/767652721008754983665635239992980387604023\ 92133450319112625271997391*c_1001_4^16 - 1804873268792261457342409383911031497352688786140804078425756394047\ 2770/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^15 - 90837902384664487927557530095769431077370059\ 201473006660931013324786139/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^14 + 6756000876735196556849620754237543531610588498214524987621425632639\ 0561/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^13 + 26746030659370928839944898200565858656645485\ 1143574497720330330615623444/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^12 - 1928725456513830625427357103340663642531800125520929834196090952768\ 95140/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^11 - 5975341538108033155218347798150329218852555\ 49170757966945237503311593473/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^10 + 4030096195928971615810669186264976371472982773826809273398964445725\ 38560/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^9 + 10086686128456032653551770049235771189063761\ 63024231915024858613601762320/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^8 - 5938393850459987554806968469598135056726575343132069363727121501309\ 52167/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^7 - 12592227894671932708602660860081840547116332\ 94427736864131009218743703986/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^6 + 5771859799582882869485701145938449501915557807994766598200451944905\ 40323/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^5 + 11083492192111440666252817881805383941080150\ 28009104888035258510103761493/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^4 - 3241808317534980297483959015171330670784114453100359654034139767159\ 79633/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^3 - 62136763623805461858963409984849682760325158\ 6968518379985045964321238135/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^2 + 7093842693795263324135168126677417577832245946797225971194549954381\ 3645/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4 + 16929924817178509244437938562059518285474162327\ 4702610251369386955426776/63715175843726663644247724919417372171133\ 98547076376486347897575783453, c_0101_12 + 19337001636708197036302565578105712967601227507176552333739\ 402620474/637151758437266636442477249194173721711339854707637648634\ 7897575783453*c_1001_4^27 + 180589765576349369480578287958254690578\ 93312356876583379766625166027/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^26 - 3204967913159410976612857771205179533302642814533476286964665459793\ 24/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^25 - 6613613862206712981534100302907283419457768780\ 35010464392006730959789/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^24 + 2949733399022773924946696081366772363423365830950251605777002082855\ 501/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^23 + 928168167351634325388218857338240726291557381\ 8089768910576084426308442/63715175843726663644247724919417372171133\ 98547076376486347897575783453*c_1001_4^22 - 1960745276506803233637649999990109682969941317951008595011075983684\ 8148/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^21 - 76784996897412593578975855622898419132699152\ 794838526217756354737920040/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^20 + 1070836013836491027928443918946425759177910647205693087485950357519\ 87166/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^19 + 4344202078198344365493889874765655684625211\ 25159155769812658097397488824/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^18 - 4919049331861339965999642901322302360803310311033952758283875582164\ 88027/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^17 - 1802293110389838253095872834121071819662399\ 391790984519140092890628487868/637151758437266636442477249194173721\ 7113398547076376486347897575783453*c_1001_4^16 + 1845430345904356965991251140244651221625882556014966381187751287274\ 773159/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^15 + 568456840346402565409316924288852299930158\ 9290162151138187052270596300797/63715175843726663644247724919417372\ 17113398547076376486347897575783453*c_1001_4^14 - 5450306690327986157226760547953815408563729081916137748015022466541\ 969385/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^13 - 138713101329304896095707028507341185644225\ 65300101356239247719663935138951/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^12 + 1233391354038278847086588100085843946701920295086895515869596613931\ 8101098/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^11 + 26296311809251258275684584379208390176276\ 530529952353682751974247733358661/637151758437266636442477249194173\ 7217113398547076376486347897575783453*c_1001_4^10 - 2086682940318714792292405720723951425056988389921236806043160276891\ 5501205/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^9 - 384118414092990006525772984584593744850050\ 14891696963511401864583854668733/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^8 + 2550718659523176484809946569805999137527377277258787465859498583123\ 0280572/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^7 + 422141890025165762449413732156626005339135\ 78323014717901087416973595606977/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^6 - 2122312076047814820307238320333310366558011750590973763829627439440\ 6332281/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^5 - 332293290591690319975182617874211339529706\ 39466349906688761713585996057388/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^4 + 1063037749375655981474702311925718202634254955346674774124252479236\ 3460089/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^3 + 168949798328261522245021788964773033472049\ 54069348396310722849380440226979/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^2 - 2341152945478001528518323714626087713802471106060796906764755482763\ 638992/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4 - 421699940705711832726232845254449591886953173\ 1580171449912727094309939396/63715175843726663644247724919417372171\ 13398547076376486347897575783453, c_0101_5 - 242832401776866926338034639798702451798105822894652514717890\ 19567492/6371517584372666364424772491941737217113398547076376486347\ 897575783453*c_1001_4^27 - 2387695399224413687896646215286263877276\ 6812717125818664803024173804/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^26 + 4065593919885109791281046962662792635354046059064927966645034247389\ 69/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^25 + 8549337036654116687048427945150717869423168180\ 35337824228084875299219/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^24 - 3739429502937136041318970342707861018230773318085688818791258559127\ 358/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^23 - 120042536001639404136991229055274488860700346\ 36159884574929812391696213/6371517584372666364424772491941737217113\ 398547076376486347897575783453*c_1001_4^22 + 2469694503668665428176716255567930060601911267549159077242477042137\ 7353/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^21 + 99776544927826887879697522804094521794446873\ 863857251101871188099805373/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^20 - 1337789774773557248203787492936618893590821213240160610337415282428\ 01649/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^19 - 5683021598898977327105705312658843820984905\ 67312088810530603147016178099/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^18 + 6121944920675784204126186304702212026284472222486590968915929294144\ 66264/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^17 + 2376557571657124630926506969116179400564317\ 826728458211790863051396786857/637151758437266636442477249194173721\ 7113398547076376486347897575783453*c_1001_4^16 - 2300239491389527541184065267951360914871358092511466906992617379769\ 940728/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^15 - 756252861216437361229170917299107152874687\ 1200974852440437336053864638935/63715175843726663644247724919417372\ 17113398547076376486347897575783453*c_1001_4^14 + 6827172505844487400044221674165906509466875055548184169787883368020\ 535332/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4^13 + 186263519563811671843783549551799537130964\ 27970167125276138234624487987913/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^12 - 1554611056022681377051996480393901636190100500769378915257956921965\ 0118185/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^11 - 35637435051385509818745307979414975029950\ 840840274488434059057314893333117/637151758437266636442477249194173\ 7217113398547076376486347897575783453*c_1001_4^10 + 2646939853535478260233581886127687877999895864118108705752996639491\ 9712818/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^9 + 524978460874383672528267590610585766967127\ 80384411028520644725491838773908/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^8 - 3254621746135008481398899885635153271191003345803226331861014400899\ 9114072/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^7 - 581076246900137449778213642402221570905729\ 72002766224113308448763608564022/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^6 + 2721344431169338196819373791377885482880517022660847680835205959005\ 0735881/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^5 + 459962970350888070840410222894194966597242\ 59081910334133854311995969600486/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^4 - 1366977068248811336508161653088145333101995770971889994740606081475\ 8858328/63715175843726663644247724919417372171133985470763764863478\ 97575783453*c_1001_4^3 - 235040706210396119255579135032008257555785\ 69860182405281032952164380406831/6371517584372666364424772491941737\ 217113398547076376486347897575783453*c_1001_4^2 + 2997786649850023850464278669405450237953865290207716027672767143058\ 351454/637151758437266636442477249194173721711339854707637648634789\ 7575783453*c_1001_4 + 592281881226040776999793014601544710684057519\ 8131376063893979852559982133/63715175843726663644247724919417372171\ 13398547076376486347897575783453, c_0110_11 - 14050708368110477996553982777790370648607015838314335340127\ 61351010/6371517584372666364424772491941737217113398547076376486347\ 897575783453*c_1001_4^27 - 1434524645307081064710461045815814284615\ 360528051719763614226031051/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^26 + 2159486760011993069178184084083873298536424375883661480313775062571\ 8/63715175843726663644247724919417372171133985470763764863478975757\ 83453*c_1001_4^25 + 48296761669896295089569037227947236130696889878\ 347607553937630650987/637151758437266636442477249194173721711339854\ 7076376486347897575783453*c_1001_4^24 - 1847354489446356537250688849967439733572535657252770669844227331741\ 62/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^23 - 6349429858831289103968409999040343670451103064\ 29241725193342923393265/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^22 + 1141225965440558100136400378258572552864041493582988699696361891188\ 950/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^21 + 492026100919628107399354887701736492135267261\ 2231462412309659021630037/63715175843726663644247724919417372171133\ 98547076376486347897575783453*c_1001_4^20 - 5882051105441392439274476966002900869159148856811555588478712949090\ 384/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^19 - 259018433053983956958985502706275074412342424\ 07480262184355233697988034/6371517584372666364424772491941737217113\ 398547076376486347897575783453*c_1001_4^18 + 2565888964400772826263695020520592948231982109407894742240434747654\ 8590/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^17 + 98755247252357562676379270941739571518635194\ 125529112002961370750880078/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^16 - 9015859243268992200174308843301058606047022953224510096344419087185\ 2510/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^15 - 28078770852227024049316335649458731219746953\ 4788750821495715321785535333/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^14 + 2408006284478434543262382278168433240333095892653127464122236795962\ 07720/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^13 + 5998306085751866591013280369083879524899982\ 00236748212912880175232813084/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^12 - 4666124365663907455909812719251457603235831658644671477558158135724\ 94853/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^11 - 9512006866659805446263261618109199857112335\ 36577383976563805155973709494/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^10 + 6186534753472145215638333495584664993624463478444596012655467649541\ 50928/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^9 + 10768431151334271069654881169674164219373499\ 45593480258646546855497286583/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^8 - 5011645309373344109874472417403778519201563432580886039674895879977\ 69210/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^7 - 78960106978291272620317063454340845288407315\ 8632815470985915814108460181/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^6 + 1691092192414177712928088781998815245785276432776460749081831452908\ 42250/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^5 + 26863869373069718179652193827233167555913447\ 7166600514774801031151586683/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^4 + 4805145610435723246956980318059513624509472091456887173615488865626\ 6792/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^3 + 662799892444276605456683072717216255946026809\ 36316885015719947598569798/6371517584372666364424772491941737217113\ 398547076376486347897575783453*c_1001_4^2 - 3004711676873483110328244820112021989574312557133242421247028802666\ 3713/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4 - 73738483422940394246254894632546465755540029969\ 493835999833365049881864/637151758437266636442477249194173721711339\ 8547076376486347897575783453, c_1001_0 - 176914378515237459921315907545624989254264981409052898633188\ 15594/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^27 + 3317239705900428637040792075158359862921180\ 9879801963665598513409/63715175843726663644247724919417372171133985\ 47076376486347897575783453*c_1001_4^26 - 895419615513775265826351062406184910757177778189812132993226475748/\ 6371517584372666364424772491941737217113398547076376486347897575783\ 453*c_1001_4^25 - 1453321324442314595536900219661578653364240040860\ 327967546926247952/637151758437266636442477249194173721711339854707\ 6376486347897575783453*c_1001_4^24 + 1489320515917437405586273104105786344961822120013399055267001472110\ 1/63715175843726663644247724919417372171133985470763764863478975757\ 83453*c_1001_4^23 + 41389978381275605194642619383934200166545500611\ 790574223207247520673/637151758437266636442477249194173721711339854\ 7076376486347897575783453*c_1001_4^22 - 1252575856474234436077790327849254092219218870147399848308221097308\ 12/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^21 - 5433406730048282438798397037737627550099117613\ 61473822654485027385847/6371517584372666364424772491941737217113398\ 547076376486347897575783453*c_1001_4^20 + 7548780497356038202212578242764958846310277555443537846007453069556\ 09/6371517584372666364424772491941737217113398547076376486347897575\ 783453*c_1001_4^19 + 4289401280846988767297432332850427394462302128\ 447206090035371784557500/637151758437266636442477249194173721711339\ 8547076376486347897575783453*c_1001_4^18 - 3933142485814610597154606475092644306304281982385689213641290985466\ 031/637151758437266636442477249194173721711339854707637648634789757\ 5783453*c_1001_4^17 - 278851713454153990359252267811508627833357575\ 315471518237244134553712/767652721008754983665635239992980387604023\ 92133450319112625271997391*c_1001_4^16 + 1804873268792261457342409383911031497352688786140804078425756394047\ 2770/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^15 + 90837902384664487927557530095769431077370059\ 201473006660931013324786139/637151758437266636442477249194173721711\ 3398547076376486347897575783453*c_1001_4^14 - 6756000876735196556849620754237543531610588498214524987621425632639\ 0561/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4^13 - 26746030659370928839944898200565858656645485\ 1143574497720330330615623444/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^12 + 1928725456513830625427357103340663642531800125520929834196090952768\ 95140/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^11 + 5975341538108033155218347798150329218852555\ 49170757966945237503311593473/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^10 - 4030096195928971615810669186264976371472982773826809273398964445725\ 38560/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^9 - 10086686128456032653551770049235771189063761\ 63024231915024858613601762320/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^8 + 5938393850459987554806968469598135056726575343132069363727121501309\ 52167/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^7 + 12592227894671932708602660860081840547116332\ 94427736864131009218743703986/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^6 - 5771859799582882869485701145938449501915557807994766598200451944905\ 40323/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^5 - 11083492192111440666252817881805383941080150\ 28009104888035258510103761493/6371517584372666364424772491941737217\ 113398547076376486347897575783453*c_1001_4^4 + 3241808317534980297483959015171330670784114453100359654034139767159\ 79633/6371517584372666364424772491941737217113398547076376486347897\ 575783453*c_1001_4^3 + 62136763623805461858963409984849682760325158\ 6968518379985045964321238135/63715175843726663644247724919417372171\ 13398547076376486347897575783453*c_1001_4^2 - 7093842693795263324135168126677417577832245946797225971194549954381\ 3645/63715175843726663644247724919417372171133985470763764863478975\ 75783453*c_1001_4 - 16929924817178509244437938562059518285474162327\ 4702610251369386955426776/63715175843726663644247724919417372171133\ 98547076376486347897575783453, c_1001_4^28 - 1/2*c_1001_4^27 - 18*c_1001_4^26 - 21/2*c_1001_4^25 + 203*c_1001_4^24 + 264*c_1001_4^23 - 3431/2*c_1001_4^22 - 5111/2*c_1001_4^21 + 11321*c_1001_4^20 + 14842*c_1001_4^19 - 116303/2*c_1001_4^18 - 116971/2*c_1001_4^17 + 231429*c_1001_4^16 + 328375/2*c_1001_4^15 - 712398*c_1001_4^14 - 668533/2*c_1001_4^13 + 3386935/2*c_1001_4^12 + 492428*c_1001_4^11 - 3090540*c_1001_4^10 - 1034475/2*c_1001_4^9 + 4270578*c_1001_4^8 + 771137/2*c_1001_4^7 - 8702967/2*c_1001_4^6 - 222967*c_1001_4^5 + 6228489/2*c_1001_4^4 + 254705/2*c_1001_4^3 - 2849367/2*c_1001_4^2 - 112531/2*c_1001_4 + 652081/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.930 Total time: 2.140 seconds, Total memory usage: 32.09MB