Magma V2.19-8 Tue Aug 20 2013 20:06:24 on localhost [Seed = 1966285738] Type ? for help. Type -D to quit. Loading file "11_325__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_325 geometric_solution 13.52403347 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666451735817 1.418220090764 0 5 6 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 2 -2 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118356443645 1.134808800156 7 0 3 8 0132 0132 0213 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 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351887628607 0.374230253217 9 2 4 0 0132 0213 0213 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728588854081 0.577567315550 10 3 0 6 0132 0213 0132 0213 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351887628607 0.374230253217 11 1 12 13 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -2 3 0 0 0 0 -3 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451324508750 1.398699546326 14 1 1 4 0132 0213 0132 0213 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -2 0 2 0 2 -2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426928174880 0.549521228162 2 11 14 12 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848486624583 1.012106005265 14 9 2 9 3012 0213 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 2 0 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.909082415990 0.871723340492 3 8 8 13 0132 0321 0213 1230 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -3 0 0 3 0 2 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.426928174880 0.549521228162 4 12 14 11 0132 1023 0321 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848486624583 1.012106005265 5 7 13 10 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 1 -1 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415420296811 0.376938398435 10 13 7 5 1023 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415420296811 0.376938398435 9 12 5 11 3012 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 1 0 0 -1 -3 0 0 3 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451324508750 1.398699546326 6 7 10 8 0132 1230 0321 1230 0 0 0 0 0 0 0 0 1 0 0 -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 0 1 -1 2 0 0 -2 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034965675120 1.623929163427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_1001_14'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_3'], 'c_1001_13' : d['c_1001_1'], 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_14']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_1001_11'], 'c_1010_12' : d['c_1001_1'], 'c_1010_11' : negation(d['c_0011_14']), 'c_1010_10' : d['c_0101_5'], 'c_1010_14' : d['c_0101_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : d['c_0011_3'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : negation(d['c_0101_10']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : d['c_0101_11'], 'c_1100_8' : d['c_1001_0'], 'c_0011_13' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_14']), 'c_1100_4' : d['c_1010_4'], 'c_1100_7' : negation(d['c_1001_14']), 'c_1100_6' : d['c_1010_4'], 'c_1100_1' : d['c_1010_4'], 'c_1100_0' : d['c_1010_4'], 'c_1100_3' : d['c_1010_4'], 'c_1100_2' : d['c_1001_0'], 'c_1100_14' : d['c_0011_3'], 'c_1100_11' : negation(d['c_1001_14']), 'c_1100_10' : d['c_1001_14'], 'c_1100_13' : negation(d['c_1001_14']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_1010_4'], 'c_1010_5' : d['c_1001_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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_1001_14']), '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_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0101_11'], 'c_0011_6' : negation(d['c_0011_14']), '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_5'], 'c_0110_10' : negation(d['c_0011_14']), 'c_0110_13' : d['c_0101_11'], 'c_0110_12' : d['c_0101_5'], 'c_0110_14' : d['c_0011_8'], 'c_1010_4' : d['c_1010_4'], 'c_0011_7' : d['c_0011_0'], 's_0_8' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_14']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_14']), 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0011_8'], 'c_0110_0' : negation(d['c_0011_14']), 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0101_10']), 's_2_9' : negation(d['1'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_14, c_0011_3, c_0011_8, c_0101_10, c_0101_11, c_0101_5, c_0101_7, c_1001_0, c_1001_1, c_1001_11, c_1001_14, c_1001_2, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 787190734490157784931731/269853615523347317744*c_1010_4^15 + 6595883049604509460416741/134926807761673658872*c_1010_4^14 + 115656324754593813977450615/269853615523347317744*c_1010_4^13 + 130731167400557646551836785/269853615523347317744*c_1010_4^12 - 170238928202826020316779413/134926807761673658872*c_1010_4^11 - 280848133714017849068284269/269853615523347317744*c_1010_4^10 + 240523339906848523329951475/134926807761673658872*c_1010_4^9 + 145887028404181468562245813/269853615523347317744*c_1010_4^8 - 170154911497764407195389685/269853615523347317744*c_1010_4^7 - 109458558537472375636555381/269853615523347317744*c_1010_4^6 + 82229952011126740731047273/269853615523347317744*c_1010_4^5 + 57257676943217578583444949/269853615523347317744*c_1010_4^4 - 4524297108141747190099025/33731701940418414718*c_1010_4^3 - 11726772534347595411575635/269853615523347317744*c_1010_4^2 + 2568627963949992119490213/67463403880836829436*c_1010_4 + 3108857096066889120898953/269853615523347317744, c_0011_0 - 1, c_0011_10 + 1, c_0011_14 - 28856591287722513848/16865850970209207359*c_1010_4^15 - 480853289732395601271/16865850970209207359*c_1010_4^14 - 4195288853536006899545/16865850970209207359*c_1010_4^13 - 4413606297791454665309/16865850970209207359*c_1010_4^12 + 12739071705611742141285/16865850970209207359*c_1010_4^11 + 8845646438993633850422/16865850970209207359*c_1010_4^10 - 18156511819308418165846/16865850970209207359*c_1010_4^9 - 3147342470146626017144/16865850970209207359*c_1010_4^8 + 6171745729460303607792/16865850970209207359*c_1010_4^7 + 3142647382133721739323/16865850970209207359*c_1010_4^6 - 3274145916270339291612/16865850970209207359*c_1010_4^5 - 1687555982500440051539/16865850970209207359*c_1010_4^4 + 1459485331694886451816/16865850970209207359*c_1010_4^3 + 212868964801541484503/16865850970209207359*c_1010_4^2 - 373532109133911162732/16865850970209207359*c_1010_4 - 72678184732353886226/16865850970209207359, c_0011_3 + 28856591287722513848/16865850970209207359*c_1010_4^15 + 480853289732395601271/16865850970209207359*c_1010_4^14 + 4195288853536006899545/16865850970209207359*c_1010_4^13 + 4413606297791454665309/16865850970209207359*c_1010_4^12 - 12739071705611742141285/16865850970209207359*c_1010_4^11 - 8845646438993633850422/16865850970209207359*c_1010_4^10 + 18156511819308418165846/16865850970209207359*c_1010_4^9 + 3147342470146626017144/16865850970209207359*c_1010_4^8 - 6171745729460303607792/16865850970209207359*c_1010_4^7 - 3142647382133721739323/16865850970209207359*c_1010_4^6 + 3274145916270339291612/16865850970209207359*c_1010_4^5 + 1687555982500440051539/16865850970209207359*c_1010_4^4 - 1459485331694886451816/16865850970209207359*c_1010_4^3 - 212868964801541484503/16865850970209207359*c_1010_4^2 + 373532109133911162732/16865850970209207359*c_1010_4 + 72678184732353886226/16865850970209207359, c_0011_8 + 27154384870413924124/16865850970209207359*c_1010_4^15 + 447740639975484355718/16865850970209207359*c_1010_4^14 + 3869843774950662770987/16865850970209207359*c_1010_4^13 + 3481020550416195785829/16865850970209207359*c_1010_4^12 - 12564591175831847752565/16865850970209207359*c_1010_4^11 - 6201250790905265379344/16865850970209207359*c_1010_4^10 + 17906020378136484900569/16865850970209207359*c_1010_4^9 + 102899517094219109073/16865850970209207359*c_1010_4^8 - 5378302143768252351765/16865850970209207359*c_1010_4^7 - 2445930200757927265921/16865850970209207359*c_1010_4^6 + 3368156586141218638985/16865850970209207359*c_1010_4^5 + 1029606831657239603775/16865850970209207359*c_1010_4^4 - 1394839051867864468519/16865850970209207359*c_1010_4^3 - 8795733595131930814/16865850970209207359*c_1010_4^2 + 309410971584574578776/16865850970209207359*c_1010_4 + 37573813624283532106/16865850970209207359, c_0101_10 + 7236270533816321981/16865850970209207359*c_1010_4^15 + 119860077036617101135/16865850970209207359*c_1010_4^14 + 1040482515279996621726/16865850970209207359*c_1010_4^13 + 1009063642406064232935/16865850970209207359*c_1010_4^12 - 3247035951364018041548/16865850970209207359*c_1010_4^11 - 1922102901001606283686/16865850970209207359*c_1010_4^10 + 4466266349018204599873/16865850970209207359*c_1010_4^9 + 438790287695029044265/16865850970209207359*c_1010_4^8 - 1196518364064679938488/16865850970209207359*c_1010_4^7 - 887314483083271186695/16865850970209207359*c_1010_4^6 + 829138150179331553570/16865850970209207359*c_1010_4^5 + 304961610108574645209/16865850970209207359*c_1010_4^4 - 307791567286737906974/16865850970209207359*c_1010_4^3 - 78924927985852400569/16865850970209207359*c_1010_4^2 + 79642448191580399922/16865850970209207359*c_1010_4 + 22534754297621726367/16865850970209207359, c_0101_11 - 47523364891595247534/16865850970209207359*c_1010_4^15 - 794111095706800835077/16865850970209207359*c_1010_4^14 - 6945137075906404331388/16865850970209207359*c_1010_4^13 - 7576170406881226162610/16865850970209207359*c_1010_4^12 + 20762178177955773981926/16865850970209207359*c_1010_4^11 + 15790042489966098974421/16865850970209207359*c_1010_4^10 - 29316851678518102223359/16865850970209207359*c_1010_4^9 - 7035536725154054278155/16865850970209207359*c_1010_4^8 + 9947639764557328160862/16865850970209207359*c_1010_4^7 + 5965653857777612080514/16865850970209207359*c_1010_4^6 - 5062242402178181950827/16865850970209207359*c_1010_4^5 - 3068602227730495366372/16865850970209207359*c_1010_4^4 + 2247404524593480993526/16865850970209207359*c_1010_4^3 + 520966607241735727747/16865850970209207359*c_1010_4^2 - 597087825892126571041/16865850970209207359*c_1010_4 - 150177783998146655726/16865850970209207359, c_0101_5 - 48967252225175611641/16865850970209207359*c_1010_4^15 - 823433198572206594545/16865850970209207359*c_1010_4^14 - 7241266247064449279168/16865850970209207359*c_1010_4^13 - 8538125944621522691335/16865850970209207359*c_1010_4^12 + 20798323702013235616284/16865850970209207359*c_1010_4^11 + 18692967319710903789767/16865850970209207359*c_1010_4^10 - 29336167782630669227090/16865850970209207359*c_1010_4^9 - 10689179102065581434875/16865850970209207359*c_1010_4^8 + 10690122698934203475865/16865850970209207359*c_1010_4^7 + 7041014391744356322512/16865850970209207359*c_1010_4^6 - 4865559615701861068070/16865850970209207359*c_1010_4^5 - 3827381391306234560535/16865850970209207359*c_1010_4^4 + 2162740192935298325845/16865850970209207359*c_1010_4^3 + 813618589239105252011/16865850970209207359*c_1010_4^2 - 651194517378012067754/16865850970209207359*c_1010_4 - 204268095601763923144/16865850970209207359, c_0101_7 + 7236270533816321981/16865850970209207359*c_1010_4^15 + 119860077036617101135/16865850970209207359*c_1010_4^14 + 1040482515279996621726/16865850970209207359*c_1010_4^13 + 1009063642406064232935/16865850970209207359*c_1010_4^12 - 3247035951364018041548/16865850970209207359*c_1010_4^11 - 1922102901001606283686/16865850970209207359*c_1010_4^10 + 4466266349018204599873/16865850970209207359*c_1010_4^9 + 438790287695029044265/16865850970209207359*c_1010_4^8 - 1196518364064679938488/16865850970209207359*c_1010_4^7 - 887314483083271186695/16865850970209207359*c_1010_4^6 + 829138150179331553570/16865850970209207359*c_1010_4^5 + 304961610108574645209/16865850970209207359*c_1010_4^4 - 307791567286737906974/16865850970209207359*c_1010_4^3 - 78924927985852400569/16865850970209207359*c_1010_4^2 + 79642448191580399922/16865850970209207359*c_1010_4 + 22534754297621726367/16865850970209207359, c_1001_0 + c_1010_4, c_1001_1 - 47523364891595247534/16865850970209207359*c_1010_4^15 - 794111095706800835077/16865850970209207359*c_1010_4^14 - 6945137075906404331388/16865850970209207359*c_1010_4^13 - 7576170406881226162610/16865850970209207359*c_1010_4^12 + 20762178177955773981926/16865850970209207359*c_1010_4^11 + 15790042489966098974421/16865850970209207359*c_1010_4^10 - 29316851678518102223359/16865850970209207359*c_1010_4^9 - 7035536725154054278155/16865850970209207359*c_1010_4^8 + 9947639764557328160862/16865850970209207359*c_1010_4^7 + 5965653857777612080514/16865850970209207359*c_1010_4^6 - 5062242402178181950827/16865850970209207359*c_1010_4^5 - 3068602227730495366372/16865850970209207359*c_1010_4^4 + 2247404524593480993526/16865850970209207359*c_1010_4^3 + 520966607241735727747/16865850970209207359*c_1010_4^2 - 597087825892126571041/16865850970209207359*c_1010_4 - 150177783998146655726/16865850970209207359, c_1001_11 - 48967252225175611641/16865850970209207359*c_1010_4^15 - 823433198572206594545/16865850970209207359*c_1010_4^14 - 7241266247064449279168/16865850970209207359*c_1010_4^13 - 8538125944621522691335/16865850970209207359*c_1010_4^12 + 20798323702013235616284/16865850970209207359*c_1010_4^11 + 18692967319710903789767/16865850970209207359*c_1010_4^10 - 29336167782630669227090/16865850970209207359*c_1010_4^9 - 10689179102065581434875/16865850970209207359*c_1010_4^8 + 10690122698934203475865/16865850970209207359*c_1010_4^7 + 7041014391744356322512/16865850970209207359*c_1010_4^6 - 4865559615701861068070/16865850970209207359*c_1010_4^5 - 3827381391306234560535/16865850970209207359*c_1010_4^4 + 2162740192935298325845/16865850970209207359*c_1010_4^3 + 813618589239105252011/16865850970209207359*c_1010_4^2 - 651194517378012067754/16865850970209207359*c_1010_4 - 204268095601763923144/16865850970209207359, c_1001_14 + 36350219278349603802/16865850970209207359*c_1010_4^15 + 604136936692306512504/16865850970209207359*c_1010_4^14 + 5258779357299332554923/16865850970209207359*c_1010_4^13 + 5335759953941678473423/16865850970209207359*c_1010_4^12 - 16241270252194074544519/16865850970209207359*c_1010_4^11 - 10549755838219177049964/16865850970209207359*c_1010_4^10 + 22979568103223786964167/16865850970209207359*c_1010_4^9 + 3358888807961611337815/16865850970209207359*c_1010_4^8 - 7386947024364610830955/16865850970209207359*c_1010_4^7 - 4253678177023692571852/16865850970209207359*c_1010_4^6 + 4220700348181501342788/16865850970209207359*c_1010_4^5 + 1971101587954382503098/16865850970209207359*c_1010_4^4 - 1733922693918984537265/16865850970209207359*c_1010_4^3 - 289139936188021617701/16865850970209207359*c_1010_4^2 + 440045900550965490476/16865850970209207359*c_1010_4 + 96669385321640837492/16865850970209207359, c_1001_2 - 32979654139594530282/16865850970209207359*c_1010_4^15 - 547677735431387145185/16865850970209207359*c_1010_4^14 - 4765192979792884094486/16865850970209207359*c_1010_4^13 - 4799927892326766234178/16865850970209207359*c_1010_4^12 + 14601782766644211240852/16865850970209207359*c_1010_4^11 + 9161839260771950081329/16865850970209207359*c_1010_4^10 - 20351849976465534139224/16865850970209207359*c_1010_4^9 - 2263444799760983802977/16865850970209207359*c_1010_4^8 + 5877121332932338236055/16865850970209207359*c_1010_4^7 + 3486782490790761133115/16865850970209207359*c_1010_4^6 - 3600628133528212350217/16865850970209207359*c_1010_4^5 - 1528933771388869916165/16865850970209207359*c_1010_4^4 + 1489814061585369403404/16865850970209207359*c_1010_4^3 + 147853292552336350222/16865850970209207359*c_1010_4^2 - 352456127822867728040/16865850970209207359*c_1010_4 - 70651734067939940513/16865850970209207359, c_1010_4^16 + 17*c_1010_4^15 + 151*c_1010_4^14 + 202*c_1010_4^13 - 389*c_1010_4^12 - 457*c_1010_4^11 + 517*c_1010_4^10 + 325*c_1010_4^9 - 162*c_1010_4^8 - 188*c_1010_4^7 + 70*c_1010_4^6 + 96*c_1010_4^5 - 27*c_1010_4^4 - 25*c_1010_4^3 + 9*c_1010_4^2 + 7*c_1010_4 + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_14, c_0011_3, c_0011_8, c_0101_10, c_0101_11, c_0101_5, c_0101_7, c_1001_0, c_1001_1, c_1001_11, c_1001_14, c_1001_2, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2891050931871317745908790371862739393522059258549077688230266880627\ 32085807586036654653/1238236798534790674504946683329987135109227176\ 233065034347669436863979219101630*c_1010_4^21 - 4292084635939392872618265010319987808424331767904926487053002810891\ 19600438262300969232607/9117550293211175333271424078253138604854276\ 10766280220291333928677510031665166890*c_1010_4^20 - 3042466366477830603781378088422652016232233319506331926511371613856\ 05836937628200883152861/3907521554233360857116324604965630830651832\ 61756977237267714540861790013570785810*c_1010_4^19 + 1879061039828191894304886421217419370751444915073100613361795384488\ 9289989116643996744400871/27352650879633525999814272234759415814562\ 82832298840660874001786032530094995500670*c_1010_4^18 - 6781765026151212515784486580287518543258359416372550216208195451746\ 7438737902189964249574551/27352650879633525999814272234759415814562\ 82832298840660874001786032530094995500670*c_1010_4^17 + 3904756037080131250612560938562740380099898751387818375068920104049\ 6146463460189996018637677/27352650879633525999814272234759415814562\ 82832298840660874001786032530094995500670*c_1010_4^16 + 1075067919742182263095730211424076709442739805430954241431517226181\ 205529903984445317038537/329550010597994289154388822105535130295937\ 69063841453745469901036536507168620490*c_1010_4^15 - 1490467062006897942226772041785541179321596662187727058465698336513\ 3147212706818690642366609/39075215542333608571163246049656308306518\ 3261756977237267714540861790013570785810*c_1010_4^14 - 5585013330009396025852008732406048267241193595959268811134952671315\ 0936083993845558517493/93036227481746687074198204880134067396472205\ 18023267553993203353852143180256805*c_1010_4^13 + 1782913372540728632897843820614844830459939969316367961906699595353\ 417845173872998201265837/781504310846672171423264920993126166130366\ 52351395447453542908172358002714157162*c_1010_4^12 + 2765345120238598221671829729672968017508436057999702849273717487346\ 440302767087256964518407/273526508796335259998142722347594158145628\ 2832298840660874001786032530094995500670*c_1010_4^11 - 1231312347385106880171668875444020641136937253803749059363482001850\ 936282058804268642482982/151959171553519588887857067970885643414237\ 935127713370048555654779585005277527815*c_1010_4^10 - 1636899804259630246576697892791858566053366301434692579042171089692\ 299547011779424521780231/303918343107039177775714135941771286828475\ 870255426740097111309559170010555055630*c_1010_4^9 + 1286589177604609339800280813267791492340663845170196281811231002708\ 7812809115569408031640521/27352650879633525999814272234759415814562\ 82832298840660874001786032530094995500670*c_1010_4^8 + 1250194247588769089623000576012136209026991332185073702568302187963\ 891688701126261225280866/136763254398167629999071361173797079072814\ 1416149420330437000893016265047497750335*c_1010_4^7 - 5218839758570391008194578734872224139205646325431569568360074386971\ 79486558138893538098059/5470530175926705199962854446951883162912565\ 66459768132174800357206506018999100134*c_1010_4^6 - 8500612293651807883021336828521228193614664853717183797160977253871\ 3001348358056442738539/27352650879633525999814272234759415814562828\ 32298840660874001786032530094995500670*c_1010_4^5 + 2060030236762063590618228168402746129771154147885214900238449346893\ 125637292006538888604/151959171553519588887857067970885643414237935\ 127713370048555654779585005277527815*c_1010_4^4 - 7082321851421831402323671434845311863291478870957179778863887220760\ 851528590440474175066/195376077711668042855816230248281541532591630\ 878488618633857270430895006785392905*c_1010_4^3 - 2635632456088786892272546256710795488244079882929515050667236210748\ 964923672572762231423/136763254398167629999071361173797079072814141\ 6149420330437000893016265047497750335*c_1010_4^2 - 7645597087075519092696375575365966499604621919459619493921050901753\ 20795253181518313/5470530175926705199962854446951883162912565664597\ 68132174800357206506018999100134*c_1010_4 - 3682945183966773483773577476578299328865908819392683739929493695605\ 52555662613759555321/2735265087963352599981427223475941581456282832\ 298840660874001786032530094995500670, c_0011_0 - 1, c_0011_10 + 45660992068410596652553349025960500498713316929407879523202\ 16487666805943182/1644535817641233929004896383948239082940509437980\ 5363433310349255770436145*c_1010_4^21 + 9675049955242590090222815002518805860307924180819374874369833381579\ 236504714/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^20 + 22737289335218386789181614862165492\ 86229532316599688854520019765532995043012/2349336882344619898578423\ 405640341547057870625686480490472907036538633735*c_1010_4^19 - 1333472657135943264160541402897355546904972491886813982108512762323\ 76982895506/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^18 + 470136863521086016147078270386387\ 703605853376920705805493363066939767838484397/164453581764123392900\ 48963839482390829405094379805363433310349255770436145*c_1010_4^17 - 2220290931498789622496610651367043455153211492250013044748218417304\ 89673352072/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^16 - 834402226143553890656024896017500\ 5916172158190524408592817554540568461837318/19813684549894384686805\ 9805294968564209699932286811607630245171756270315*c_1010_4^15 + 9879612285662903649378982731768067281976426952254954474491172811181\ 4581996263/23493368823446198985784234056403415470578706256864804904\ 72907036538633735*c_1010_4^14 + 33106557732428034296686437471135265\ 721358726998182815639889347131051308818506/234933688234461989857842\ 3405640341547057870625686480490472907036538633735*c_1010_4^13 - 6704505807873375088327998883908758556750211212409851197253545754716\ 5022455576/23493368823446198985784234056403415470578706256864804904\ 72907036538633735*c_1010_4^12 - 78347338930158496407227605726304344\ 233829659360510273626736371708213474870619/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^11 + 1791447134149869438479718232543164049642761271347726564000328877993\ 11669735916/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^10 + 126843543183694093261367938927721\ 171815213606595713116009042551640507681485403/164453581764123392900\ 48963839482390829405094379805363433310349255770436145*c_1010_4^9 - 8920184834271727353753015465681259797345639107920905225413258442545\ 9504409501/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 - 34744349330197473602919365498976823\ 454596710517912230443343497847072270121721/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 + 2075042505602068633931444795419236344451363747607422035452812381018\ 2947707533/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^6 + 42329814957405619426735680551785874\ 17933174442901818125516638514374630463342/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^5 - 1806971603224347935445995416198088957137900112325121276944280304078\ 1988686/31028977691344036396318799697136586470575649773217666855302\ 5457656045965*c_1010_4^4 + 1439610044472133783685651654747668913151\ 3900338681266735768266475441823344/46986737646892397971568468112806\ 8309411574125137296098094581407307726747*c_1010_4^3 + 8540079819739775490678989100737029029709880873805702406254900403562\ 5846028/16445358176412339290048963839482390829405094379805363433310\ 349255770436145*c_1010_4^2 - 35658929225096423672639577754484572374\ 467946633785433380323781240677440164/164453581764123392900489638394\ 82390829405094379805363433310349255770436145*c_1010_4 + 7913286535114223445448876491878240536324439103080548638423789634281\ 726482/164453581764123392900489638394823908294050943798053634333103\ 49255770436145, c_0011_14 - 60046831330805794164003025754921360781390007682945041856041\ 5273937413182718/32890716352824678580097927678964781658810188759610\ 72686662069851154087229*c_1010_4^21 - 1815305892582653263261506683954098851336401586259864260330640982220\ 103674694/328907163528246785800979276789647816588101887596107268666\ 2069851154087229*c_1010_4^20 - 670724688032210684751193004105817884\ 94179094165697684198215471621568252102/6712391092413199710224066873\ 2581187058796303591042299727797343901103821*c_1010_4^19 + 1550958185577417824336496266147437606991544660271312862736356515599\ 7462294973/32890716352824678580097927678964781658810188759610726866\ 62069851154087229*c_1010_4^18 - 46204557141211078826971860414958875\ 219111347399418931679053029579383488474880/328907163528246785800979\ 2767896478165881018875961072686662069851154087229*c_1010_4^17 - 2559777179453481579825927179962585384856558512309440518340856676614\ 8227666030/32890716352824678580097927678964781658810188759610726866\ 62069851154087229*c_1010_4^16 + 13771342578099138141199060517119435\ 17056227011945265547934029895556619997660/3962736909978876937361196\ 1058993712841939986457362321526049034351254063*c_1010_4^15 - 2250174179319398623605541563450333004375066554894316992911836672111\ 08772582/6712391092413199710224066873258118705879630359104229972779\ 7343901103821*c_1010_4^14 - 147953276501481940446089496037792701954\ 66476951337642224404669299542984930132/4698673764689239797156846811\ 28068309411574125137296098094581407307726747*c_1010_4^13 + 4777541058433375061924247136645152166100224239840264514788747806317\ 370211252/469867376468923979715684681128068309411574125137296098094\ 581407307726747*c_1010_4^12 + 5710367302196277050960753736831378285\ 4124591293115919457124634604236348143236/32890716352824678580097927\ 67896478165881018875961072686662069851154087229*c_1010_4^11 - 1078691209809485955581601903984958204630942536618188389663285090210\ 9929834248/32890716352824678580097927678964781658810188759610726866\ 62069851154087229*c_1010_4^10 - 33279746437998965702880119962278316\ 950880501321932761438731658889771661420609/328907163528246785800979\ 2767896478165881018875961072686662069851154087229*c_1010_4^9 - 4827258952921930246833926807544837159366820473005240397719802458970\ 348976081/328907163528246785800979276789647816588101887596107268666\ 2069851154087229*c_1010_4^8 + 1255366829700741205376176033752814148\ 2100332947561212692564623066192647163461/32890716352824678580097927\ 67896478165881018875961072686662069851154087229*c_1010_4^7 + 1263488431698480599816457444412349170943210366047812517290283918345\ 295172831/328907163528246785800979276789647816588101887596107268666\ 2069851154087229*c_1010_4^6 - 1847794309312480088120889351630354687\ 818078190402670504434730420913866060618/328907163528246785800979276\ 7896478165881018875961072686662069851154087229*c_1010_4^5 - 8149677057613843687710211876650286696739614510852746231158975100596\ 118441/620579553826880727926375993942731729411512995464353337106050\ 91531209193*c_1010_4^4 - 224789143592831148825419277638923503382378\ 82048673156290133234284675915893/4698673764689239797156846811280683\ 09411574125137296098094581407307726747*c_1010_4^3 - 7931156954254673121763229722309844685714932124143800923991022581822\ 9755816/32890716352824678580097927678964781658810188759610726866620\ 69851154087229*c_1010_4^2 - 547229091113495573195828124159791282591\ 5482984781423573049981079468755124/32890716352824678580097927678964\ 78165881018875961072686662069851154087229*c_1010_4 + 1145755923180382411269801580899158941550244312931768241545539769141\ 5667/32890716352824678580097927678964781658810188759610726866620698\ 51154087229, c_0011_3 + 264553920756528528212405777631455481926390288437822529179281\ 5859358847157058/16445358176412339290048963839482390829405094379805\ 363433310349255770436145*c_1010_4^21 + 5030985708412914249608051513463782160028526215586908609934226174280\ 599658412/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^20 + 24037164839214191998065942873237447\ 5782732938575017677596251001725705084578/46986737646892397971568468\ 1128068309411574125137296098094581407307726747*c_1010_4^19 - 7839033230475991018321775768667772732238299665495027124475609391644\ 6088610169/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^18 + 5812800337829457680494696711910697\ 4379856736301577841315397496622991692067943/32890716352824678580097\ 92767896478165881018875961072686662069851154087229*c_1010_4^17 - 1996731824142829698323523282309679206530864142421005417282439444572\ 90572333373/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^16 - 399142793325946120633489503186232\ 4941181596992560957333665746640443599186799/19813684549894384686805\ 9805294968564209699932286811607630245171756270315*c_1010_4^15 + 1336101760333399266072763085371250187244298547751527593663993713885\ 7671664789/46986737646892397971568468112806830941157412513729609809\ 4581407307726747*c_1010_4^14 - 166986679434835663584768439793537952\ 0011471267629323927762174772358960512596/23493368823446198985784234\ 05640341547057870625686480490472907036538633735*c_1010_4^13 - 4949100019274979174070730366039060844485117984062221009070069330222\ 060764673/335619554620659985511203343662905935293981517955211498638\ 986719505519105*c_1010_4^12 + 6288534835166462164381618237790906158\ 533450517369844202519454038543310299142/328907163528246785800979276\ 7896478165881018875961072686662069851154087229*c_1010_4^11 + 7756221370536855750648451023587469886745219304220845848411984565966\ 4353788269/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^10 + 8640982359034804765902979005480314\ 173591265441500802100086305507493407883202/328907163528246785800979\ 2767896478165881018875961072686662069851154087229*c_1010_4^9 - 5455617174160617095251793872711559639260506045793583957259457468133\ 1660984524/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 + 29285592629626636467457937661873145\ 13663089286251154411254892548554990630978/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^7 + 9559802875643176674787322063347180034884710041422227347348203310643\ 744467783/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^6 - 278794623494863784704861823108964111\ 6812267989351767915183680798540200346076/16445358176412339290048963\ 839482390829405094379805363433310349255770436145*c_1010_4^5 + 4051319816285256983561084593688100022998308286870886056783840961810\ 24662/3102897769134403639631879969713658647057564977321766685530254\ 57656045965*c_1010_4^4 + 161030365700191630305903061530553361294171\ 23592597845721871821965906597283/3356195546206599855112033436629059\ 35293981517955211498638986719505519105*c_1010_4^3 + 1944917578426289400607369945072916071177405875121361848392403998254\ 736916/164453581764123392900489638394823908294050943798053634333103\ 49255770436145*c_1010_4^2 + 124907263726321401300557039236933299372\ 76925826298079419688398759903219756/1644535817641233929004896383948\ 2390829405094379805363433310349255770436145*c_1010_4 + 1473657089765823218391058486200383449627466315352975916826754385369\ 493246/328907163528246785800979276789647816588101887596107268666206\ 9851154087229, c_0011_8 + 196638734484621485255695112044391048189429414850844349652850\ 7189027665297285/32890716352824678580097927678964781658810188759610\ 72686662069851154087229*c_1010_4^21 + 2401461393194291140919932469606596772276880839034364502207948722300\ 1250472003/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^20 + 6005690580689344564300524155186994\ 537077228356102543608711818199325805327621/234933688234461989857842\ 3405640341547057870625686480490472907036538633735*c_1010_4^19 - 5473671275898943811888167429285531405522742650407217091153945798714\ 3349840050/32890716352824678580097927678964781658810188759610726866\ 62069851154087229*c_1010_4^18 + 92338493836869772706268911522855375\ 3741815084222948113605981206965267515874886/16445358176412339290048\ 963839482390829405094379805363433310349255770436145*c_1010_4^17 - 3595198985588318959938880767698205643349295785623380740506914878543\ 7849656432/32890716352824678580097927678964781658810188759610726866\ 62069851154087229*c_1010_4^16 - 18619198136870973050312989898503125\ 496756982786297019218983195911216830979551/198136845498943846868059\ 805294968564209699932286811607630245171756270315*c_1010_4^15 + 1391957507387677302692048556387328217919554809748301241464522492551\ 75186487469/2349336882344619898578423405640341547057870625686480490\ 472907036538633735*c_1010_4^14 + 2340148987190124510040978880118244\ 0304680864078491221107806702857654938196633/46986737646892397971568\ 4681128068309411574125137296098094581407307726747*c_1010_4^13 - 1472415448879280093088876111763192602001685064235642076372751120419\ 0745572233/33561955462065998551120334366290593529398151795521149863\ 8986719505519105*c_1010_4^12 - 420437850338027753266623615614970777\ 529495132041658316279108579098365133039552/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^11 + 4753571509828486968208092551082363469331455277601669978851716654594\ 8714934292/32890716352824678580097927678964781658810188759610726866\ 62069851154087229*c_1010_4^10 + 36329973853179082968478966772194353\ 5849719959033326734351244119891895481715229/16445358176412339290048\ 963839482390829405094379805363433310349255770436145*c_1010_4^9 - 1365293435817392682582131382530147881839551191648323848599583144342\ 3332845111/32890716352824678580097927678964781658810188759610726866\ 62069851154087229*c_1010_4^8 - 101909293691737240930734702127109501\ 146246759766238295205052645781687075862384/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 + 5807915267107384505783052341011187355484672774620404938366812031406\ 107645813/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^6 + 129566342262353702927678624259863190\ 77984925162291457607325528531289368664933/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^5 + 7573846877225885439633135995579394435874099399918613006906695546970\ 0388353/31028977691344036396318799697136586470575649773217666855302\ 5457656045965*c_1010_4^4 + 4294032395228112993821843426168574858987\ 6578665336826192476026039884421974/33561955462065998551120334366290\ 5935293981517955211498638986719505519105*c_1010_4^3 + 5414289271648787425750759755990448982770157619550667814327105942397\ 04463997/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^2 + 4877804332586050495688653658828504605\ 9283020567426327049046567085604604286/16445358176412339290048963839\ 482390829405094379805363433310349255770436145*c_1010_4 + 7395822199599540670485595047066952278179158184322889662720019294050\ 384651/164453581764123392900489638394823908294050943798053634333103\ 49255770436145, c_0101_10 - 18913486197754524524007573345602857751156538945221376859999\ 8106507073369716/16445358176412339290048963839482390829405094379805\ 363433310349255770436145*c_1010_4^21 - 5678766947235794863819082442108472006162093487418049260123534240537\ 01955876/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^20 - 138773535238277215793555735519137020\ 677020481421514484472401660521812283534/234933688234461989857842340\ 5640341547057870625686480490472907036538633735*c_1010_4^19 + 5038377058286948666118515160827226384049125425917793999839513356330\ 484924633/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^18 - 14419175764259183873112456910624929\ 335805834135374777588131471068010644927254/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^17 - 9191948115819714990408010996308291218781319038880209959021545548798\ 185097329/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^16 + 49282767546873053330834053031684720\ 1534256809742541346632231965093131225647/19813684549894384686805980\ 5294968564209699932286811607630245171756270315*c_1010_4^15 - 6807607028996197687816563804069107705622600920365189193186972967522\ 56923926/2349336882344619898578423405640341547057870625686480490472\ 907036538633735*c_1010_4^14 - 8269247049648952866560653062829733581\ 99568401140673541331464577462360032864/3356195546206599855112033436\ 62905935293981517955211498638986719505519105*c_1010_4^13 + 2129638957889498746201037376795477143593407247507049948325019171663\ 192334531/234933688234461989857842340564034154705787062568648049047\ 2907036538633735*c_1010_4^12 + 227100397112680313234618982451075181\ 70151054570120806143401747569046662454263/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^11 - 6177942507564520030521298688875219357221596108643435070267108416364\ 634167283/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^10 - 13777585513561775341097500474893745\ 980354515679223955428211295071205595776261/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^9 - 4996397560633160479445800005599686713465340810847760315632020452080\ 46940727/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^8 + 1293335925404579989585292654167406567\ 132560193945645907180182312361035848484/328907163528246785800979276\ 7896478165881018875961072686662069851154087229*c_1010_4^7 + 2219294799438828666258711341195432047781865810175669415321717233636\ 20194257/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^6 - 2553262400146631504975055624708652706\ 49440619126134056395519270638971829472/3289071635282467858009792767\ 896478165881018875961072686662069851154087229*c_1010_4^5 - 5705249846115575757412561966540026188119441678902740986905871074901\ 985201/310289776913440363963187996971365864705756497732176668553025\ 457656045965*c_1010_4^4 + 15703865117591709787368526853424319530012\ 607577730860882809557929508251151/234933688234461989857842340564034\ 1547057870625686480490472907036538633735*c_1010_4^3 - 1318159900862999743168550340356790631840837464795379996307216446804\ 025337/328907163528246785800979276789647816588101887596107268666206\ 9851154087229*c_1010_4^2 + 2804073321366562825727010877437151687661\ 500577164288891061879891566532559/164453581764123392900489638394823\ 90829405094379805363433310349255770436145*c_1010_4 + 8735279318859574497642264595400915753245415054386258012467431174304\ 49026/1644535817641233929004896383948239082940509437980536343331034\ 9255770436145, c_0101_11 + 58818906727528871619437307199813214258403106679382742225551\ 7522015503138438/16445358176412339290048963839482390829405094379805\ 363433310349255770436145*c_1010_4^21 + 2151984183886270300234941530686176200922948538612641251125381352723\ 812162842/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^20 + 11873007751598164467552149932300032\ 6327318826324199217744022021576725614998/46986737646892397971568468\ 1128068309411574125137296098094581407307726747*c_1010_4^19 - 1351748196803712414704536229043168336071939957763947509256332436450\ 4892847769/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^18 + 6996936464111179674423700274968575\ 796584563538045749231941700312077946350248/328907163528246785800979\ 2767896478165881018875961072686662069851154087229*c_1010_4^17 + 5958434110736329844071613127326304594090251986713957231262862257585\ 3168210257/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^16 - 1412515435210834798456649738195882\ 561438460156580129879970532757284123228814/198136845498943846868059\ 805294968564209699932286811607630245171756270315*c_1010_4^15 - 1313944143067052830973717219321331151119298070633923147418014808320\ 122155228/469867376468923979715684681128068309411574125137296098094\ 581407307726747*c_1010_4^14 + 1893880336402950667367193330052929378\ 1440110879753260050927966560633069314269/23493368823446198985784234\ 05640341547057870625686480490472907036538633735*c_1010_4^13 - 2551164679461059724724521519346218445364558248567782712800724214385\ 5462058/33561955462065998551120334366290593529398151795521149863898\ 6719505519105*c_1010_4^12 - 154681994537721613267240106967293705878\ 02056622223534384204392467406560576293/3289071635282467858009792767\ 896478165881018875961072686662069851154087229*c_1010_4^11 - 8268992037179558380083760985967099088723160294904384118429681567403\ 325489016/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^10 + 78457960783244077947994435346452561\ 83342721047791847963005561774326954356915/3289071635282467858009792\ 767896478165881018875961072686662069851154087229*c_1010_4^9 + 1964531288677107490167650005588944891618001471383559668623630126638\ 9332697306/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 - 13670659351941686282353647311949961\ 349511363192526899506667006012515223740567/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 - 4981699008460988869959815128995060985992113873741064908346410360044\ 527209907/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^6 + 134625391272164443215274217635478066\ 8443152360488627341996073845645140530929/16445358176412339290048963\ 839482390829405094379805363433310349255770436145*c_1010_4^5 + 1960344920498216384031864204157953888044177777005464200829324912153\ 4962202/31028977691344036396318799697136586470575649773217666855302\ 5457656045965*c_1010_4^4 + 6436492786058379616584937273323237668925\ 863176239311245054041786784798303/335619554620659985511203343662905\ 935293981517955211498638986719505519105*c_1010_4^3 + 1448331189516951205494353584881187457142967148834427949744511403857\ 43041066/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^2 + 3902515203410476867225863745980428766\ 3332815877912094139170506057401966321/16445358176412339290048963839\ 482390829405094379805363433310349255770436145*c_1010_4 + 1474062251164744016502131945396526382053048284032316004203661714759\ 791252/328907163528246785800979276789647816588101887596107268666206\ 9851154087229, c_0101_5 - 560895162820035077268803497111479829011446349002869523175017\ 2965040185984452/16445358176412339290048963839482390829405094379805\ 363433310349255770436145*c_1010_4^21 - 2915212092284116854128193350273308636533259202926371793159248023624\ 868884851/328907163528246785800979276789647816588101887596107268666\ 2069851154087229*c_1010_4^20 - 367786785482949494205890370497721655\ 7188864518996038062191834090294349018394/23493368823446198985784234\ 05640341547057870625686480490472907036538633735*c_1010_4^19 + 1533178357181732895906671262668267118027812036837655499330856322867\ 13821714491/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^18 - 500790702512691957111666010749170\ 617195448391923319762304084445677264297457714/164453581764123392900\ 48963839482390829405094379805363433310349255770436145*c_1010_4^17 + 9700353977246755985991876351838830547365261843676970997504981900787\ 140764327/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^16 + 22475403891312585828880718389648831\ 67645009753917404087620625906558049806741/3962736909978876937361196\ 1058993712841939986457362321526049034351254063*c_1010_4^15 - 6042281306785728155372682829327445367546870382911656626967992675811\ 6619270036/23493368823446198985784234056403415470578706256864804904\ 72907036538633735*c_1010_4^14 - 88296278625364874022790518614600800\ 485264761763088098255783693210535283961506/234933688234461989857842\ 3405640341547057870625686480490472907036538633735*c_1010_4^13 + 5386629492382835973043569875782955527929053050069361020049882530197\ 0140060093/23493368823446198985784234056403415470578706256864804904\ 72907036538633735*c_1010_4^12 + 34237724012739160392920233610145302\ 1535223699001346848303901964025747158649403/16445358176412339290048\ 963839482390829405094379805363433310349255770436145*c_1010_4^11 - 1316082008881442408003881337518088123070091747441342481312570679890\ 26448849421/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^10 - 246485984839128402387274191991231\ 029371201914230971899565610107315458149801831/164453581764123392900\ 48963839482390829405094379805363433310349255770436145*c_1010_4^9 + 1911337367034270720306749927756654961763421338943212213774769313313\ 8965130591/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 + 78795997359612588454809173022981293\ 246343561228736662243001123201457928834444/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 + 2201731682900952802206267327751470605879004216244146996265670535017\ 463604326/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^6 - 130173531367847458688532560593340469\ 70646894060543647027524571705595585518988/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^5 - 9776605519905236382281242048802386999075437091682153868819697447970\ 005990/620579553826880727926375993942731729411512995464353337106050\ 91531209193*c_1010_4^4 - 117929495010471611833128556586842896619486\ 285540396205379041908143512290406/234933688234461989857842340564034\ 1547057870625686480490472907036538633735*c_1010_4^3 - 4406675819488632035129696150434618202942500434252750111955590875367\ 18297762/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^2 - 2080079320416084716679088703814692010\ 3315362466715436854942828592561151373/16445358176412339290048963839\ 482390829405094379805363433310349255770436145*c_1010_4 + 4168233442410037829180287053284510613335788083702420288471578281611\ 013756/164453581764123392900489638394823908294050943798053634333103\ 49255770436145, c_0101_7 - 922254711385671385407170894834372851363392948270155187666447\ 88773481428556/3102897769134403639631879969713658647057564977321766\ 68553025457656045965*c_1010_4^21 - 2253150175441616827265309379858954741293880381470236177910917147086\ 65998799/3102897769134403639631879969713658647057564977321766685530\ 25457656045965*c_1010_4^20 - 11180979474810630682372846208728600761\ 773350043561398176720690792169648563/886542219752686754180537134203\ 9024705878757078062190530086441647315599*c_1010_4^19 + 2577448843977285693124485868771527405231451981837755221771951311686\ 070311323/310289776913440363963187996971365864705756497732176668553\ 025457656045965*c_1010_4^18 - 1728271482451361587396628651470415995\ 997599018682486213829489783250477180179/620579553826880727926375993\ 94273172941151299546435333710605091531209193*c_1010_4^17 + 1602561154950656739169768583006302749088289096007817149157184202430\ 842946091/310289776913440363963187996971365864705756497732176668553\ 025457656045965*c_1010_4^16 + 1772059770094420756843449774812999743\ 80103335228672352687290644490340707648/3738431047149883903170939722\ 546576683201885514845502030759342863325855*c_1010_4^15 - 2536751678625044378732504625676906170401694475444574573806557736015\ 04316091/8865422197526867541805371342039024705878757078062190530086\ 441647315599*c_1010_4^14 - 1199778951557563579606632169970841872355\ 057672564162792622426082091820948683/443271109876343377090268567101\ 95123529393785390310952650432208236577995*c_1010_4^13 + 1371724775640306834711412721658984354002744854769417487866583559230\ 48324961/6332444426804905387003836672885017647056255055758707521490\ 315462368285*c_1010_4^12 + 9420325520888761736979134537988677425774\ 17251047587270327128005288420842159/6205795538268807279263759939427\ 3172941151299546435333710605091531209193*c_1010_4^11 - 2461699019637922731489696367436080590327955156969347873761924917584\ 362874378/310289776913440363963187996971365864705756497732176668553\ 025457656045965*c_1010_4^10 - 7611163111178844100906693093490447575\ 84368819056591386843322147930040629689/6205795538268807279263759939\ 4273172941151299546435333710605091531209193*c_1010_4^9 + 7349334562718582198317671369123956930222039509855659365325896423749\ 34190433/3102897769134403639631879969713658647057564977321766685530\ 25457656045965*c_1010_4^8 + 116444153526682507575348491426712872139\ 5547634840680864633050025019356076809/31028977691344036396318799697\ 1365864705756497732176668553025457656045965*c_1010_4^7 - 2299006876268611915855842780092918420267472346904348455366982335486\ 4016886/31028977691344036396318799697136586470575649773217666855302\ 5457656045965*c_1010_4^6 - 2181606833081107153226633917079245913074\ 17849970871800893816768459339230038/3102897769134403639631879969713\ 65864705756497732176668553025457656045965*c_1010_4^5 - 3734135969477778877613690771820438811290493475403643847215955484568\ 6957852/31028977691344036396318799697136586470575649773217666855302\ 5457656045965*c_1010_4^4 - 9362694471743511381735909571558386471567\ 5668698960166513008297770581056/63324444268049053870038366728850176\ 47056255055758707521490315462368285*c_1010_4^3 - 3682709354288803026158740793572244456557329803094151565308867896668\ 993742/310289776913440363963187996971365864705756497732176668553025\ 457656045965*c_1010_4^2 - 49848298034940308208557666665736663930397\ 616073219171130784882896104007/310289776913440363963187996971365864\ 705756497732176668553025457656045965*c_1010_4 + 6926255714699622834906352804792260331607689739158385471771082425774\ 3171/62057955382688072792637599394273172941151299546435333710605091\ 531209193, c_1001_0 - 714007089355299815909293472516404473881226611141500908761078\ 3740869334550446/16445358176412339290048963839482390829405094379805\ 363433310349255770436145*c_1010_4^21 - 1744036986987403211967611055824802617433865533018045769010772916010\ 1108387064/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^20 - 8821262761327553658214415313864586\ 93274213919093692465276322071092103898551/4698673764689239797156846\ 81128068309411574125137296098094581407307726747*c_1010_4^19 + 1979816347281331321197054899346759375519061842950094623256198725929\ 62169329558/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^18 - 134377421038167145512741779291905\ 313100083362690553737986594931753205742546062/328907163528246785800\ 9792767896478165881018875961072686662069851154087229*c_1010_4^17 + 1402474706019636285016810766622658140289793515278541780180004338986\ 65388500521/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^16 + 131085210543339501106306011649336\ 06811949169222902518979410351332621501912768/1981368454989438468680\ 59805294968564209699932286811607630245171756270315*c_1010_4^15 - 1981727729579334776312962935544921102651319375724610429650721487235\ 4083097267/46986737646892397971568468112806830941157412513729609809\ 4581407307726747*c_1010_4^14 - 779986990807439295902733945304466669\ 70931649952262271800357877737460076933438/2349336882344619898578423\ 405640341547057870625686480490472907036538633735*c_1010_4^13 + 9810366881764070807600842170159755443642823119993265706314298355498\ 638831751/335619554620659985511203343662905935293981517955211498638\ 986719505519105*c_1010_4^12 + 5777767262884394072335234653834424727\ 0247808766162390622118902023510224763406/32890716352824678580097927\ 67896478165881018875961072686662069851154087229*c_1010_4^11 - 1466222809080461684319992992564841100619221574191278382347162887609\ 56341284223/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^10 - 511543628080597032387829317264567\ 62910931957474469307385061366419239491316008/3289071635282467858009\ 792767896478165881018875961072686662069851154087229*c_1010_4^9 + 4122151333517025286887275714604673961899431230728398887301123194466\ 7350127023/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 + 63702718998760042737196865300053193\ 636287337676216871182449017361984125742219/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 - 2548490707734784884867797639378000577408798418476858336157695210455\ 55000381/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^6 - 7380475543121662771684098505805518570\ 340698013332111318399779102595829077963/164453581764123392900489638\ 39482390829405094379805363433310349255770436145*c_1010_4^5 - 6267733681349249997704599787177796437879815877792963086805610152017\ 8678934/31028977691344036396318799697136586470575649773217666855302\ 5457656045965*c_1010_4^4 - 3586195981267596113645410149959884254733\ 3058519310192749026719854487067721/33561955462065998551120334366290\ 5935293981517955211498638986719505519105*c_1010_4^3 - 5067999338337470842015633070759993919627484641301398019734449762454\ 53137597/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^2 - 1012507142601268912329382252184300675\ 20297359879443464158579489557773430522/1644535817641233929004896383\ 9482390829405094379805363433310349255770436145*c_1010_4 - 2759287822643248441559919211985750697603781472773182685724797604696\ 446364/328907163528246785800979276789647816588101887596107268666206\ 9851154087229, c_1001_1 - 776469116796168327740929228844992708411363809709663600733690\ 414800544415946/164453581764123392900489638394823908294050943798053\ 63433310349255770436145*c_1010_4^21 - 4121375077663382330512796348683131540485696458823598541427980818845\ 28192910/3289071635282467858009792767896478165881018875961072686662\ 069851154087229*c_1010_4^20 - 6045954974260599823675812967661918631\ 1007126052524401889869633595805521246/33561955462065998551120334366\ 2905935293981517955211498638986719505519105*c_1010_4^19 + 2252788906316784742610172633643424226592288025783355253500196692941\ 3274699483/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^18 - 6561643883977262315569370493446540\ 4583949971415896960407359461925626982202847/16445358176412339290048\ 963839482390829405094379805363433310349255770436145*c_1010_4^17 - 2319158107405137745566490763606179887242124221015882436445256657195\ 9983364689/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^16 + 4894898175119438078886333845817208\ 48696741067276420184756373456444469717988/3962736909978876937361196\ 1058993712841939986457362321526049034351254063*c_1010_4^15 - 1823616055503479477614730521225696872638538999085278350158750407860\ 014945789/335619554620659985511203343662905935293981517955211498638\ 986719505519105*c_1010_4^14 - 2690121888783641892039843163146234576\ 0884418703203971700494040829329216508243/23493368823446198985784234\ 05640341547057870625686480490472907036538633735*c_1010_4^13 + 2169457583657652573928577117833327336241382033488064571374057559137\ 0684907504/23493368823446198985784234056403415470578706256864804904\ 72907036538633735*c_1010_4^12 + 75010888409864761402306261506066807\ 987147712604374375424179191076709285456879/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^11 - 7670120785224291637129424978293516916812011676562606336194003000091\ 9876833463/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^10 - 4539644092858701325172628279859635\ 3213670955747831877825983608314045166980308/16445358176412339290048\ 963839482390829405094379805363433310349255770436145*c_1010_4^9 + 2179760684593877732347939619532247693370085079112540700443744556210\ 9192259953/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 + 30549858179708432789203928528360621\ 538542327228003942395865894525102090956177/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 - 1075332257657072522408346193497321132464021985436097261883477521872\ 9027338757/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^6 - 54601833365296628609806275698123820\ 26216744632483396113457541442943547269614/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^5 + 4699598994600130899185919273913419621949166474002452548792167113567\ 975495/620579553826880727926375993942731729411512995464353337106050\ 91531209193*c_1010_4^4 + 472259393947393326811103204474114648850161\ 04411219024255767280561166877047/2349336882344619898578423405640341\ 547057870625686480490472907036538633735*c_1010_4^3 + 8289686065848725171921114842471670054678774785177026538198331984568\ 4287869/16445358176412339290048963839482390829405094379805363433310\ 349255770436145*c_1010_4^2 + 88031394953646021880088060722765020078\ 210380001938795828285748567042501351/164453581764123392900489638394\ 82390829405094379805363433310349255770436145*c_1010_4 + 3091844556698492400730281570167199663757585514190439969872170061405\ 616883/164453581764123392900489638394823908294050943798053634333103\ 49255770436145, c_1001_11 + 45778391194305971297993938103221374465282697113646540260613\ 70971374518869172/1644535817641233929004896383948239082940509437980\ 5363433310349255770436145*c_1010_4^21 + 9631198922739167542130554472952901124312663300109927190090611385668\ 470439466/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^20 + 23355581254471921944858934128283019\ 37845271181377080407950246098007353830411/2349336882344619898578423\ 405640341547057870625686480490472907036538633735*c_1010_4^19 - 1327708203059106830875830714424035342856155039952229095865013394267\ 20594389486/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^18 + 475329185216523115743486901078806\ 302223395960193641687359530875845907655214716/164453581764123392900\ 48963839482390829405094379805363433310349255770436145*c_1010_4^17 - 2451816554913947087322031973208435175652386130073689811567299570854\ 68686009492/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^16 - 766299040898079473119275025835143\ 2316078044694065202503928566321742859744287/19813684549894384686805\ 9805294968564209699932286811607630245171756270315*c_1010_4^15 + 9684437161842578504626926588164750633632394678582464221025382564332\ 2107221619/23493368823446198985784234056403415470578706256864804904\ 72907036538633735*c_1010_4^14 + 20840004218529327177139166281470349\ 924218009912241770567494267406230520654236/234933688234461989857842\ 3405640341547057870625686480490472907036538633735*c_1010_4^13 - 1141085951652874154167085890557543503304989434502904946361929536489\ 2240165536/46986737646892397971568468112806830941157412513729609809\ 4581407307726747*c_1010_4^12 - 494917740861187450877905591485177291\ 30781232026066822868203698966125129878827/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^11 + 1363904963131603212116410441351325699812923544396370991496836219795\ 70965835346/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^10 + 114395181319805232725939659650510\ 894742675198432765981245237959499438329089304/164453581764123392900\ 48963839482390829405094379805363433310349255770436145*c_1010_4^9 - 7609838246010477392755152940994957848450204705877793163320064854488\ 8986728936/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 - 17945798460412205793664012559835930\ 788063339212507178433287107816900575049722/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 + 2638993447948746700800094181638879277814973212988650924437738554495\ 284984037/328907163528246785800979276789647816588101887596107268666\ 2069851154087229*c_1010_4^6 + 8930731901254636341824012464883146332\ 89986723550952541257977971327710005349/1644535817641233929004896383\ 9482390829405094379805363433310349255770436145*c_1010_4^5 + 2298503360452351783414291089712045091160525762393426028395708381775\ 790991/310289776913440363963187996971365864705756497732176668553025\ 457656045965*c_1010_4^4 + 12757469066917471396974927500362910942375\ 0257393325330313653022802731349887/23493368823446198985784234056403\ 41547057870625686480490472907036538633735*c_1010_4^3 + 1958096849777428947212861353536201279434458933375552933357546368199\ 89154551/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^2 + 6725435848406365545480810789265203173\ 167642401801847257924969411215962593/328907163528246785800979276789\ 6478165881018875961072686662069851154087229*c_1010_4 + 9591266398948987380760174295531245862118014008877253174922391202700\ 427456/164453581764123392900489638394823908294050943798053634333103\ 49255770436145, c_1001_14 + 48449568746322703207103517785145891762384726171447533823957\ 3000464013410202/16445358176412339290048963839482390829405094379805\ 363433310349255770436145*c_1010_4^21 + 1947137675582755154702798695890813341648735757031975567445161303750\ 555876824/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^20 + 51840058473953639734591809746698363\ 4020929092144397160650280342837599698302/23493368823446198985784234\ 05640341547057870625686480490472907036538633735*c_1010_4^19 - 1079823735018599944174928887627167009598819562175628359895260558532\ 3794534236/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^18 + 2329678679978284097417556248690135\ 8762603523036210683176048022654644475954517/16445358176412339290048\ 963839482390829405094379805363433310349255770436145*c_1010_4^17 + 7208798171980643484098518601442491435101107322899123392944479380632\ 7138566658/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^16 - 1495835378104400512096758564730262\ 415026059575381262825502764496267232311128/198136845498943846868059\ 805294968564209699932286811607630245171756270315*c_1010_4^15 - 6894027205613395173549866678998784382442177291030013625217761386569\ 838151167/234933688234461989857842340564034154705787062568648049047\ 2907036538633735*c_1010_4^14 + 221964806577584929685221133569086520\ 17938826631857985863615607960897079753996/2349336882344619898578423\ 405640341547057870625686480490472907036538633735*c_1010_4^13 - 3827659778003598670949984471409246480103172593549106085197777325983\ 982111446/234933688234461989857842340564034154705787062568648049047\ 2907036538633735*c_1010_4^12 - 773343522419061109269075863202374409\ 32766546560950390439508319419604273872859/1644535817641233929004896\ 3839482390829405094379805363433310349255770436145*c_1010_4^11 + 7648150355462995656270609624553073870642284179372671872403424352043\ 997575176/164453581764123392900489638394823908294050943798053634333\ 10349255770436145*c_1010_4^10 + 35149312643216815390277025448904578\ 877185042508014190408786664193846824056113/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^9 + 1478875468052229991377566383892034471598036170056700856715755567017\ 3039521089/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^8 - 16880226556290265922817731861477177\ 299768323936886656779184478536785813098151/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^7 - 6882699319871902461892156942810923393915091556072519559811112839798\ 76372957/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^6 + 1575324771755433477264516938442018698\ 204252399910397786903846727736188209242/164453581764123392900489638\ 39482390829405094379805363433310349255770436145*c_1010_4^5 + 4126005365632562775561109038176035163057997101263124688493117748233\ 680464/310289776913440363963187996971365864705756497732176668553025\ 457656045965*c_1010_4^4 + 10122122989324838860400694983812920561841\ 439475186303234949808379157184616/469867376468923979715684681128068\ 309411574125137296098094581407307726747*c_1010_4^3 + 1451434234582834071470236478748606884649763200997142151079035559863\ 21634058/1644535817641233929004896383948239082940509437980536343331\ 0349255770436145*c_1010_4^2 + 2050844853794537037253397944384370443\ 8196302852724974089719130094998609786/16445358176412339290048963839\ 482390829405094379805363433310349255770436145*c_1010_4 + 1197566757164977426540399785068197895259738855880183394353257396814\ 2097037/16445358176412339290048963839482390829405094379805363433310\ 349255770436145, c_1001_2 - 813993606275303463959939347254804018981815573716188225346358\ 3947060810982608/16445358176412339290048963839482390829405094379805\ 363433310349255770436145*c_1010_4^21 - 1796174075494830373734922190370136489737171012398275772699825122189\ 3544486937/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^20 - 8517464660233528987648467475018482\ 86558832513619415165252978099380636921357/4698673764689239797156846\ 81128068309411574125137296098094581407307726747*c_1010_4^19 + 2354148452235316466915570049327568277366136491969584654403226226277\ 49321654799/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^18 - 163383114272944409645326714972646\ 892718822198265914371804520929634171164673072/328907163528246785800\ 9792767896478165881018875961072686662069851154087229*c_1010_4^17 + 3201955524012570119212877740732588304683616451403365300469735765638\ 02552083698/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^16 + 153776340402273068115035147680701\ 11382894046894255053694009282574000752905889/1981368454989438468680\ 59805294968564209699932286811607630245171756270315*c_1010_4^15 - 3216834809257803077300536073613606543691034481618982517421495869965\ 6752101427/46986737646892397971568468112806830941157412513729609809\ 4581407307726747*c_1010_4^14 - 760302577530084120484592353109342355\ 83992839341086388807876461997697644833539/2349336882344619898578423\ 405640341547057870625686480490472907036538633735*c_1010_4^13 + 1645171059229118851256445621493864557623487249297028692364821314066\ 8417253138/33561955462065998551120334366290593529398151795521149863\ 8986719505519105*c_1010_4^12 + 437688512715722433309864233190281171\ 77090697046905771671374131985236510135025/3289071635282467858009792\ 767896478165881018875961072686662069851154087229*c_1010_4^11 - 3097970186310925635878414033066970547364174612412644963214929094572\ 76070028379/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^10 - 516183362509624387253258290695086\ 91447509051714675654059409173565824043768349/3289071635282467858009\ 792767896478165881018875961072686662069851154087229*c_1010_4^9 + 1392071932969567896557849659715367292332970962849687710547593964405\ 23243425389/1644535817641233929004896383948239082940509437980536343\ 3310349255770436145*c_1010_4^8 + 7921088656404223162804678889663750\ 3059600040055537683400735872821409329132847/16445358176412339290048\ 963839482390829405094379805363433310349255770436145*c_1010_4^7 - 3111875311569928992098418798434171454371087907113863611955130415053\ 1604817223/16445358176412339290048963839482390829405094379805363433\ 310349255770436145*c_1010_4^6 - 11613489486490216595243578614946787\ 325709374247001469606338877471334802346209/164453581764123392900489\ 63839482390829405094379805363433310349255770436145*c_1010_4^5 + 8934400290484637372253696467724527575045681884460419802716646261086\ 971283/310289776913440363963187996971365864705756497732176668553025\ 457656045965*c_1010_4^4 - 13651396128408482965377432517010869296716\ 476466432782263725268332026770243/335619554620659985511203343662905\ 935293981517955211498638986719505519105*c_1010_4^3 - 4922793038673813181138282409317524929568906662002462591893954282806\ 3965266/16445358176412339290048963839482390829405094379805363433310\ 349255770436145*c_1010_4^2 + 93718265965814862537082113749415713862\ 059489683545242710861679753511390189/164453581764123392900489638394\ 82390829405094379805363433310349255770436145*c_1010_4 - 1426173005734832288791901175690547506220220266877035246403015401986\ 15286/3289071635282467858009792767896478165881018875961072686662069\ 851154087229, c_1010_4^22 + 6007/2209*c_1010_4^21 + 10887/2209*c_1010_4^20 - 59005/2209*c_1010_4^19 + 190222/2209*c_1010_4^18 + 18497/2209*c_1010_4^17 - 363157/2209*c_1010_4^16 + 123213/2209*c_1010_4^15 + 253827/2209*c_1010_4^14 - 116305/2209*c_1010_4^13 - 145381/2209*c_1010_4^12 + 32160/2209*c_1010_4^11 + 99343/2209*c_1010_4^10 + 5272/2209*c_1010_4^9 - 29364/2209*c_1010_4^8 - 4474/2209*c_1010_4^7 + 88/47*c_1010_4^6 + 1569/2209*c_1010_4^5 + 577/2209*c_1010_4^4 + 248/2209*c_1010_4^3 + 42/2209*c_1010_4^2 + 3/2209*c_1010_4 + 1/2209 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 107.220 Total time: 107.439 seconds, Total memory usage: 930.00MB