Magma V2.19-8 Fri Sep 13 2013 09:56:03 on localhost [Seed = 477976335] Type ? for help. Type -D to quit. Loading file "11_120__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_120 geometric_solution 15.59771415 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 17 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708131747767 0.894552192070 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.706731099716 0.536993781006 8 0 9 4 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345286053051 0.328690871304 10 11 8 0 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.455983878567 0.687232023537 10 9 0 2 3120 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -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.547905457094 0.553123387527 11 1 12 13 0213 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.220662337388 0.817342131009 10 14 1 7 2103 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 1.010165875219 0.812647101746 6 15 14 1 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.408371199937 0.631249127868 2 11 3 9 0132 0213 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.519342731832 1.446319890197 11 4 8 2 3012 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1.113106799249 1.494257328300 3 12 6 4 0132 3012 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 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.311029550974 0.665604378971 5 3 8 9 0213 0132 0213 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.885878061483 1.083843815398 10 15 13 5 1230 0321 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.501075567662 0.567504030987 12 15 5 16 2103 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880505333015 0.891187293315 16 6 16 7 3120 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.322687664703 0.650905231040 16 7 13 12 1023 0132 0213 0321 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250916256074 0.595891651272 14 15 13 14 2103 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 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.388623267991 1.233230632993 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_15' : d['c_1001_1'], 'c_1001_14' : d['c_0011_15'], 'c_1001_16' : d['c_0011_13'], 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_13' : d['c_1001_1'], 'c_1001_12' : d['c_0011_13'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_9'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_0011_13'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_0101_9'], 'c_1010_10' : negation(d['c_0011_4']), 'c_1010_16' : negation(d['c_0011_12']), 'c_1010_15' : d['c_1001_5'], 'c_1010_14' : d['c_1001_5'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_0_15' : d['1'], 's_0_16' : d['1'], 's_3_16' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_0'], 'c_0101_10' : d['c_0101_0'], 'c_0101_16' : d['c_0101_14'], 'c_0101_15' : d['c_0011_13'], 'c_0101_14' : d['c_0101_14'], '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' : negation(d['1']), 's_2_16' : d['1'], 's_2_14' : d['1'], 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_15' : d['c_0011_15'], 'c_0011_14' : d['c_0011_12'], 'c_0011_16' : d['c_0011_15'], 'c_1100_9' : negation(d['c_0101_2']), 'c_1100_8' : d['c_0101_9'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_14']), 'c_1100_4' : d['c_1001_0'], 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : negation(d['c_0101_2']), 'c_1100_14' : negation(d['c_0101_7']), 'c_1100_15' : d['c_0011_13'], 's_3_11' : d['1'], 'c_1100_16' : negation(d['c_0101_14']), 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : negation(d['c_0101_1']), 'c_1100_13' : negation(d['c_0101_14']), 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_15'], '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_5'], 'c_1010_0' : d['c_1001_2'], 's_3_15' : d['1'], 'c_1010_9' : d['c_1001_2'], 's_3_14' : d['1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_14']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_15']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : d['c_0101_3'], 'c_0110_13' : d['c_0101_14'], 'c_0110_12' : d['c_0011_10'], 'c_0110_15' : negation(d['c_0011_12']), 'c_0110_14' : d['c_0101_7'], 'c_0110_16' : d['c_0101_7'], 'c_1010_4' : negation(d['c_0101_2']), 'c_0101_12' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 'c_1010_8' : d['c_0101_2'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_3']), 's_1_16' : d['1'], 's_1_15' : d['1'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10'], 'c_0101_13' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_15, c_0011_4, c_0101_0, c_0101_1, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_0101_9, c_1001_0, c_1001_1, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 2852893298142483020814248/84399187498181682291*c_1001_5^11 + 8076990134789401026364238/84399187498181682291*c_1001_5^10 - 12957867330618130397153425/28133062499393894097*c_1001_5^9 + 51320431808221735617276583/84399187498181682291*c_1001_5^8 - 103697778220426180568158301/84399187498181682291*c_1001_5^7 + 67373301825987712887725296/84399187498181682291*c_1001_5^6 - 195319769305364594748927760/84399187498181682291*c_1001_5^5 + 10738958402018263872153164/7672653408925607481*c_1001_5^4 - 286457853260053906018514777/84399187498181682291*c_1001_5^3 + 90313062618474900795372713/84399187498181682291*c_1001_5^2 - 14054130395942754714383659/28133062499393894097*c_1001_5 + 13248506067686526718401766/84399187498181682291, c_0011_0 - 1, c_0011_10 - 2758604006/5492106153*c_1001_5^11 + 7582102214/5492106153*c_1001_5^10 - 12230278666/1830702051*c_1001_5^9 + 45618865063/5492106153*c_1001_5^8 - 92367865229/5492106153*c_1001_5^7 + 50677285936/5492106153*c_1001_5^6 - 173867323267/5492106153*c_1001_5^5 + 93091870321/5492106153*c_1001_5^4 - 253068050174/5492106153*c_1001_5^3 + 49557010745/5492106153*c_1001_5^2 - 3470124925/1830702051*c_1001_5 + 3555153319/5492106153, c_0011_12 + 1780735031/5492106153*c_1001_5^11 - 4638485396/5492106153*c_1001_5^10 + 7660515466/1830702051*c_1001_5^9 - 26354745046/5492106153*c_1001_5^8 + 55854442874/5492106153*c_1001_5^7 - 26819853874/5492106153*c_1001_5^6 + 107175590482/5492106153*c_1001_5^5 - 44722125415/5492106153*c_1001_5^4 + 151292692568/5492106153*c_1001_5^3 - 20875613273/5492106153*c_1001_5^2 - 478227767/1830702051*c_1001_5 + 458729021/5492106153, c_0011_13 - 773624402/5492106153*c_1001_5^11 + 2475823826/5492106153*c_1001_5^10 - 3769979293/1830702051*c_1001_5^9 + 17449636411/5492106153*c_1001_5^8 - 32055077504/5492106153*c_1001_5^7 + 25186081165/5492106153*c_1001_5^6 - 55476833089/5492106153*c_1001_5^5 + 47176556140/5492106153*c_1001_5^4 - 85136113055/5492106153*c_1001_5^3 + 40049824688/5492106153*c_1001_5^2 - 2492367898/1830702051*c_1001_5 + 3769989991/5492106153, c_0011_15 - 1188225818/1830702051*c_1001_5^11 + 3161347544/1830702051*c_1001_5^10 - 5189437735/610234017*c_1001_5^9 + 18494430247/1830702051*c_1001_5^8 - 39010711034/1830702051*c_1001_5^7 + 20272002541/1830702051*c_1001_5^6 - 76086431869/1830702051*c_1001_5^5 + 36011666206/1830702051*c_1001_5^4 - 110019266291/1830702051*c_1001_5^3 + 17163181610/1830702051*c_1001_5^2 - 3110847115/610234017*c_1001_5 + 5546088925/1830702051, c_0011_4 + 2334676996/1830702051*c_1001_5^11 - 6248592772/1830702051*c_1001_5^10 + 10223162147/610234017*c_1001_5^9 - 36737878013/1830702051*c_1001_5^8 + 76790413186/1830702051*c_1001_5^7 - 40159846388/1830702051*c_1001_5^6 + 147974172476/1830702051*c_1001_5^5 - 71285480423/1830702051*c_1001_5^4 + 213493867405/1830702051*c_1001_5^3 - 35116646707/1830702051*c_1001_5^2 + 4677953849/610234017*c_1001_5 - 7440871241/1830702051, c_0101_0 + 2334676996/1830702051*c_1001_5^11 - 6248592772/1830702051*c_1001_5^10 + 10223162147/610234017*c_1001_5^9 - 36737878013/1830702051*c_1001_5^8 + 76790413186/1830702051*c_1001_5^7 - 40159846388/1830702051*c_1001_5^6 + 147974172476/1830702051*c_1001_5^5 - 71285480423/1830702051*c_1001_5^4 + 213493867405/1830702051*c_1001_5^3 - 35116646707/1830702051*c_1001_5^2 + 4677953849/610234017*c_1001_5 - 7440871241/1830702051, c_0101_1 - 2758604006/5492106153*c_1001_5^11 + 7582102214/5492106153*c_1001_5^10 - 12230278666/1830702051*c_1001_5^9 + 45618865063/5492106153*c_1001_5^8 - 92367865229/5492106153*c_1001_5^7 + 50677285936/5492106153*c_1001_5^6 - 173867323267/5492106153*c_1001_5^5 + 93091870321/5492106153*c_1001_5^4 - 253068050174/5492106153*c_1001_5^3 + 49557010745/5492106153*c_1001_5^2 - 3470124925/1830702051*c_1001_5 + 3555153319/5492106153, c_0101_14 + 463602457/610234017*c_1001_5^11 - 1260469717/610234017*c_1001_5^10 + 2044449941/203411339*c_1001_5^9 - 7556878697/610234017*c_1001_5^8 + 15511514998/610234017*c_1001_5^7 - 8791337912/610234017*c_1001_5^6 + 29732135000/610234017*c_1001_5^5 - 15608827229/610234017*c_1001_5^4 + 42502079815/610234017*c_1001_5^3 - 9685182898/610234017*c_1001_5^2 + 999222377/203411339*c_1001_5 - 1551509447/610234017, c_0101_2 + 463602457/610234017*c_1001_5^11 - 1260469717/610234017*c_1001_5^10 + 2044449941/203411339*c_1001_5^9 - 7556878697/610234017*c_1001_5^8 + 15511514998/610234017*c_1001_5^7 - 8791337912/610234017*c_1001_5^6 + 29732135000/610234017*c_1001_5^5 - 15608827229/610234017*c_1001_5^4 + 42502079815/610234017*c_1001_5^3 - 9685182898/610234017*c_1001_5^2 + 999222377/203411339*c_1001_5 - 1551509447/610234017, c_0101_3 - 1, c_0101_7 + 4384268648/5492106153*c_1001_5^11 - 11665056278/5492106153*c_1001_5^10 + 19112183785/1830702051*c_1001_5^9 - 67835520046/5492106153*c_1001_5^8 + 142127361434/5492106153*c_1001_5^7 - 71425547017/5492106153*c_1001_5^6 + 274422951517/5492106153*c_1001_5^5 - 126654885883/5492106153*c_1001_5^4 + 394649102612/5492106153*c_1001_5^3 - 55810925612/5492106153*c_1001_5^2 + 7373638039/1830702051*c_1001_5 - 12593335822/5492106153, c_0101_9 + 773624402/5492106153*c_1001_5^11 - 2475823826/5492106153*c_1001_5^10 + 3769979293/1830702051*c_1001_5^9 - 17449636411/5492106153*c_1001_5^8 + 32055077504/5492106153*c_1001_5^7 - 25186081165/5492106153*c_1001_5^6 + 55476833089/5492106153*c_1001_5^5 - 47176556140/5492106153*c_1001_5^4 + 85136113055/5492106153*c_1001_5^3 - 40049824688/5492106153*c_1001_5^2 + 2492367898/1830702051*c_1001_5 - 3769989991/5492106153, c_1001_0 - 6952382314/5492106153*c_1001_5^11 + 18727953313/5492106153*c_1001_5^10 - 30542173679/1830702051*c_1001_5^9 + 110918568944/5492106153*c_1001_5^8 - 230219339062/5492106153*c_1001_5^7 + 122868825125/5492106153*c_1001_5^6 - 441068199281/5492106153*c_1001_5^5 + 216643383218/5492106153*c_1001_5^4 - 635397637189/5492106153*c_1001_5^3 + 110538219931/5492106153*c_1001_5^2 - 12672748439/1830702051*c_1001_5 + 21136272350/5492106153, c_1001_1 - 843311047/610234017*c_1001_5^11 + 2293063363/610234017*c_1001_5^10 - 3726488417/203411339*c_1001_5^9 + 13774361639/610234017*c_1001_5^8 - 28399932082/610234017*c_1001_5^7 + 15918616100/610234017*c_1001_5^6 - 54246005267/610234017*c_1001_5^5 + 28123875932/610234017*c_1001_5^4 - 78287945137/610234017*c_1001_5^3 + 16436520364/610234017*c_1001_5^2 - 1765599949/203411339*c_1001_5 + 2913966431/610234017, c_1001_2 - 773624402/5492106153*c_1001_5^11 + 2475823826/5492106153*c_1001_5^10 - 3769979293/1830702051*c_1001_5^9 + 17449636411/5492106153*c_1001_5^8 - 32055077504/5492106153*c_1001_5^7 + 25186081165/5492106153*c_1001_5^6 - 55476833089/5492106153*c_1001_5^5 + 47176556140/5492106153*c_1001_5^4 - 85136113055/5492106153*c_1001_5^3 + 40049824688/5492106153*c_1001_5^2 - 2492367898/1830702051*c_1001_5 + 3769989991/5492106153, c_1001_5^12 - 3*c_1001_5^11 + 14*c_1001_5^10 - 20*c_1001_5^9 + 38*c_1001_5^8 - 28*c_1001_5^7 + 69*c_1001_5^6 - 51*c_1001_5^5 + 101*c_1001_5^4 - 45*c_1001_5^3 + 11*c_1001_5^2 - 5*c_1001_5 + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_15, c_0011_4, c_0101_0, c_0101_1, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_0101_9, c_1001_0, c_1001_1, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 449659254397899094212924010293891538205/178510848803511836315526704\ 72448*c_1001_5^15 - 337425259079796386764739454374537078131/8925542\ 440175591815776335236224*c_1001_5^14 + 5410753761999323127288964438047932459/12268786859347892530276749465\ 6*c_1001_5^13 - 577712431808472177143825639304791712395/99172693779\ 7287979530703915136*c_1001_5^12 + 411522145367855560378518855622765\ 0459121/5950361626783727877184223490816*c_1001_5^11 + 17404403007587274453835697935457777071169/1785108488035118363155267\ 0472448*c_1001_5^10 - 7354799685093539413352714304376817515891/3570\ 2169760702367263105340944896*c_1001_5^9 - 53078397797944926856418327432656902547103/8925542440175591815776335\ 236224*c_1001_5^8 + 238003101731016018092662191193920867877561/3570\ 2169760702367263105340944896*c_1001_5^7 + 31659589968254851375122018181118536748993/1190072325356745575436844\ 6981632*c_1001_5^6 - 20961939798268131376158749371074587164069/3966\ 907751189151918122815660544*c_1001_5^5 + 69946997771335817432757902004162045443269/3570216976070236726310534\ 0944896*c_1001_5^4 - 6021550047248477556919381230028921212947/59503\ 61626783727877184223490816*c_1001_5^3 - 22057173689882477191897991352219744870349/1785108488035118363155267\ 0472448*c_1001_5^2 + 35984261763883263665001907072937557241461/3570\ 2169760702367263105340944896*c_1001_5 - 3603157175878740214326065849322430974173/89255424401755918157763352\ 36224, c_0011_0 - 1, c_0011_10 + 894381262669117612417/5379114161853728927868*c_1001_5^15 - 195398461388012929625/896519026975621487978*c_1001_5^14 + 1067496142760174638535/3586076107902485951912*c_1001_5^13 - 3389903069481134305023/896519026975621487978*c_1001_5^12 + 7025303652296332447653/1793038053951242975956*c_1001_5^11 + 33305406690249906590677/5379114161853728927868*c_1001_5^10 - 1954894278998683023405/3586076107902485951912*c_1001_5^9 - 101033267292593399698813/2689557080926864463934*c_1001_5^8 + 424499816656761355005061/10758228323707457855736*c_1001_5^7 + 185196676080166484747719/10758228323707457855736*c_1001_5^6 - 357362202277173056556281/10758228323707457855736*c_1001_5^5 + 48837211262852180264075/3586076107902485951912*c_1001_5^4 - 5739935492367944669703/1793038053951242975956*c_1001_5^3 - 31359128470752558866669/5379114161853728927868*c_1001_5^2 + 72178183000537159846657/10758228323707457855736*c_1001_5 - 2343054294368580005821/896519026975621487978, c_0011_12 - 418430652219356788339/2689557080926864463934*c_1001_5^15 + 67011125893668505277/448259513487810743989*c_1001_5^14 - 409997264345017558173/1793038053951242975956*c_1001_5^13 + 1557546595826195786090/448259513487810743989*c_1001_5^12 - 2206101388023183332473/896519026975621487978*c_1001_5^11 - 17656540389554856932527/2689557080926864463934*c_1001_5^10 - 3845775273030010642321/1793038053951242975956*c_1001_5^9 + 46269265556720582815108/1344778540463432231967*c_1001_5^8 - 132595247259714235311715/5379114161853728927868*c_1001_5^7 - 126976038604812266082049/5379114161853728927868*c_1001_5^6 + 107935013423464106423111/5379114161853728927868*c_1001_5^5 - 8030694861501127402253/1793038053951242975956*c_1001_5^4 + 1199126098951466663729/896519026975621487978*c_1001_5^3 + 18494255634124421085797/2689557080926864463934*c_1001_5^2 - 19923970155015988815187/5379114161853728927868*c_1001_5 + 357154006638711247272/448259513487810743989, c_0011_13 - 129831926424015441886/4034335621390296695901*c_1001_5^15 - 136441698168672968894/4034335621390296695901*c_1001_5^14 - 40131193236108436775/1344778540463432231967*c_1001_5^13 + 288706480861832952423/448259513487810743989*c_1001_5^12 + 1149030824683102080797/1344778540463432231967*c_1001_5^11 - 5693926705341005145130/4034335621390296695901*c_1001_5^10 - 13927997690935697506307/4034335621390296695901*c_1001_5^9 + 19314186500842501289459/4034335621390296695901*c_1001_5^8 + 31060530589314937810391/4034335621390296695901*c_1001_5^7 - 9006297399398855979065/1344778540463432231967*c_1001_5^6 - 4243154729426083703631/448259513487810743989*c_1001_5^5 + 13945089970709250498275/4034335621390296695901*c_1001_5^4 - 1209012873106155371846/1344778540463432231967*c_1001_5^3 + 1982327731570490486030/4034335621390296695901*c_1001_5^2 + 9461570467875573023618/4034335621390296695901*c_1001_5 - 4500836127948098675467/4034335621390296695901, c_0011_15 - 337295902872082004618/4034335621390296695901*c_1001_5^15 + 352715326115724231590/4034335621390296695901*c_1001_5^14 - 160809031457303159965/1344778540463432231967*c_1001_5^13 + 838703808968563049429/448259513487810743989*c_1001_5^12 - 1965030039218425782725/1344778540463432231967*c_1001_5^11 - 14676515873373192854990/4034335621390296695901*c_1001_5^10 - 3009557578584917158291/4034335621390296695901*c_1001_5^9 + 76246178542473244408633/4034335621390296695901*c_1001_5^8 - 58747720102351033810583/4034335621390296695901*c_1001_5^7 - 18259161072663380783629/1344778540463432231967*c_1001_5^6 + 5908310317862745200933/448259513487810743989*c_1001_5^5 - 9983579908333025799035/4034335621390296695901*c_1001_5^4 + 868114215956680583060/1344778540463432231967*c_1001_5^3 + 15340184068081103094166/4034335621390296695901*c_1001_5^2 - 7900287418273495453685/4034335621390296695901*c_1001_5 + 3386231027561898376333/4034335621390296695901, c_0011_4 - 27540931457230432370/448259513487810743989*c_1001_5^15 + 79289024680203996628/1344778540463432231967*c_1001_5^14 - 50246806550181864455/448259513487810743989*c_1001_5^13 + 605768387880811909190/448259513487810743989*c_1001_5^12 - 441766149123050757741/448259513487810743989*c_1001_5^11 - 975945139375554861027/448259513487810743989*c_1001_5^10 - 384931381256319125198/1344778540463432231967*c_1001_5^9 + 5590230919124535555216/448259513487810743989*c_1001_5^8 - 15396071289929340825551/1344778540463432231967*c_1001_5^7 - 8321084586116550489559/1344778540463432231967*c_1001_5^6 + 16370317797665410402949/1344778540463432231967*c_1001_5^5 - 10182556446101082009553/1344778540463432231967*c_1001_5^4 - 293709914628133382015/448259513487810743989*c_1001_5^3 + 848216623999064927097/448259513487810743989*c_1001_5^2 - 3839142559089445887023/1344778540463432231967*c_1001_5 + 1863649666333066463030/1344778540463432231967, c_0101_0 - 27540931457230432370/448259513487810743989*c_1001_5^15 + 79289024680203996628/1344778540463432231967*c_1001_5^14 - 50246806550181864455/448259513487810743989*c_1001_5^13 + 605768387880811909190/448259513487810743989*c_1001_5^12 - 441766149123050757741/448259513487810743989*c_1001_5^11 - 975945139375554861027/448259513487810743989*c_1001_5^10 - 384931381256319125198/1344778540463432231967*c_1001_5^9 + 5590230919124535555216/448259513487810743989*c_1001_5^8 - 15396071289929340825551/1344778540463432231967*c_1001_5^7 - 8321084586116550489559/1344778540463432231967*c_1001_5^6 + 16370317797665410402949/1344778540463432231967*c_1001_5^5 - 10182556446101082009553/1344778540463432231967*c_1001_5^4 - 293709914628133382015/448259513487810743989*c_1001_5^3 + 848216623999064927097/448259513487810743989*c_1001_5^2 - 3839142559089445887023/1344778540463432231967*c_1001_5 + 1863649666333066463030/1344778540463432231967, c_0101_1 + 894381262669117612417/5379114161853728927868*c_1001_5^15 - 195398461388012929625/896519026975621487978*c_1001_5^14 + 1067496142760174638535/3586076107902485951912*c_1001_5^13 - 3389903069481134305023/896519026975621487978*c_1001_5^12 + 7025303652296332447653/1793038053951242975956*c_1001_5^11 + 33305406690249906590677/5379114161853728927868*c_1001_5^10 - 1954894278998683023405/3586076107902485951912*c_1001_5^9 - 101033267292593399698813/2689557080926864463934*c_1001_5^8 + 424499816656761355005061/10758228323707457855736*c_1001_5^7 + 185196676080166484747719/10758228323707457855736*c_1001_5^6 - 357362202277173056556281/10758228323707457855736*c_1001_5^5 + 48837211262852180264075/3586076107902485951912*c_1001_5^4 - 5739935492367944669703/1793038053951242975956*c_1001_5^3 - 31359128470752558866669/5379114161853728927868*c_1001_5^2 + 72178183000537159846657/10758228323707457855736*c_1001_5 - 2343054294368580005821/896519026975621487978, c_0101_14 + 1141950596282705383063/16137342485561186783604*c_1001_5^15 - 682046283843476326781/8068671242780593391802*c_1001_5^14 + 1421618361739251068881/10758228323707457855736*c_1001_5^13 - 1421375447943694340735/896519026975621487978*c_1001_5^12 + 8040167274013851894319/5379114161853728927868*c_1001_5^11 + 40529275656942877043911/16137342485561186783604*c_1001_5^10 - 6605482584773358149249/32274684971122373567208*c_1001_5^9 - 122772838212875554422037/8068671242780593391802*c_1001_5^8 + 514933252112382552076211/32274684971122373567208*c_1001_5^7 + 71647631555526439503755/10758228323707457855736*c_1001_5^6 - 163439381741383606121933/10758228323707457855736*c_1001_5^5 + 263761575717684100142495/32274684971122373567208*c_1001_5^4 - 4444663013692803181801/5379114161853728927868*c_1001_5^3 - 44687640924516567452759/16137342485561186783604*c_1001_5^2 + 123620475708630804887663/32274684971122373567208*c_1001_5 - 9608655360582498455245/8068671242780593391802, c_0101_2 - 1456977569522496884351/16137342485561186783604*c_1001_5^15 + 1103579790087891815557/8068671242780593391802*c_1001_5^14 - 1725229297117090727609/10758228323707457855736*c_1001_5^13 + 1857341169317919840091/896519026975621487978*c_1001_5^12 - 13487395963810568470115/5379114161853728927868*c_1001_5^11 - 56233681355827260918467/16137342485561186783604*c_1001_5^10 + 37866903970655817231745/32274684971122373567208*c_1001_5^9 + 172028448179926876814291/8068671242780593391802*c_1001_5^8 - 801142705011628430196571/32274684971122373567208*c_1001_5^7 - 106737027912295451384555/10758228323707457855736*c_1001_5^6 + 79804051007019395902311/3586076107902485951912*c_1001_5^5 - 245597046467872290738439/32274684971122373567208*c_1001_5^4 + 9512809030906371941525/5379114161853728927868*c_1001_5^3 + 75488368432208619652375/16137342485561186783604*c_1001_5^2 - 147009480034833266714311/32274684971122373567208*c_1001_5 + 10037717630847844351481/8068671242780593391802, c_0101_3 - 1, c_0101_7 + 78756743309947875322/4034335621390296695901*c_1001_5^15 - 210766753122207744388/4034335621390296695901*c_1001_5^14 + 37951366922229957341/1344778540463432231967*c_1001_5^13 - 217982860687112749678/448259513487810743989*c_1001_5^12 + 1361807172449179143949/1344778540463432231967*c_1001_5^11 + 3926101424721095968639/4034335621390296695901*c_1001_5^10 - 3907677673235307385312/4034335621390296695901*c_1001_5^9 - 24627804983525661196127/4034335621390296695901*c_1001_5^8 + 35776181612405734765045/4034335621390296695901*c_1001_5^7 + 1462058181532042161700/448259513487810743989*c_1001_5^6 - 9496596409959322698125/1344778540463432231967*c_1001_5^5 - 2270566156226476175507/4034335621390296695901*c_1001_5^4 - 1267036504303392189931/1344778540463432231967*c_1001_5^3 - 7700181876923013049904/4034335621390296695901*c_1001_5^2 + 2923625540775307728331/4034335621390296695901*c_1001_5 - 214531135132672948118/4034335621390296695901, c_0101_9 - 450868224489890913895/4034335621390296695901*c_1001_5^15 + 637211312023257600700/4034335621390296695901*c_1001_5^14 - 506493280733623161109/2689557080926864463934*c_1001_5^13 + 1148979092853432520899/448259513487810743989*c_1001_5^12 - 3837274910315800512766/1344778540463432231967*c_1001_5^11 - 17922662716577179942471/4034335621390296695901*c_1001_5^10 + 5282248238940967864889/8068671242780593391802*c_1001_5^9 + 105809049754534506783923/4034335621390296695901*c_1001_5^8 - 224915922548368446313595/8068671242780593391802*c_1001_5^7 - 35926799515361030989403/2689557080926864463934*c_1001_5^6 + 62494217985667666233701/2689557080926864463934*c_1001_5^5 - 60232114061596544420687/8068671242780593391802*c_1001_5^4 + 3070162738047194196913/1344778540463432231967*c_1001_5^3 + 22820071034640566583029/4034335621390296695901*c_1001_5^2 - 39025230484924537286255/8068671242780593391802*c_1001_5 + 4157146192321104373697/4034335621390296695901, c_1001_0 + 643922199881707747061/16137342485561186783604*c_1001_5^15 - 535706759213290961515/8068671242780593391802*c_1001_5^14 + 1055992944680343030131/10758228323707457855736*c_1001_5^13 - 839200991068547002339/896519026975621487978*c_1001_5^12 + 6882655132603816651001/5379114161853728927868*c_1001_5^11 + 15536199347279673845897/16137342485561186783604*c_1001_5^10 - 19683893712959117203147/32274684971122373567208*c_1001_5^9 - 71102652214341047538089/8068671242780593391802*c_1001_5^8 + 425940789500936192649097/32274684971122373567208*c_1001_5^7 - 5514939007733681375543/10758228323707457855736*c_1001_5^6 - 94962958143796161230503/10758228323707457855736*c_1001_5^5 + 174550019129378318503285/32274684971122373567208*c_1001_5^4 - 1924823120497956377855/5379114161853728927868*c_1001_5^3 - 3409402981775674570561/16137342485561186783604*c_1001_5^2 + 59719348246263350480941/32274684971122373567208*c_1001_5 - 5910173470202864504813/8068671242780593391802, c_1001_1 + 84896225451591576473/896519026975621487978*c_1001_5^15 - 178959736598591731967/1344778540463432231967*c_1001_5^14 + 276771890166039469973/1793038053951242975956*c_1001_5^13 - 975427826240063045472/448259513487810743989*c_1001_5^12 + 2154669645742106372501/896519026975621487978*c_1001_5^11 + 3462575053110839164895/896519026975621487978*c_1001_5^10 - 2063807974204861958501/5379114161853728927868*c_1001_5^9 - 10111345086509559232832/448259513487810743989*c_1001_5^8 + 123621275751470426739199/5379114161853728927868*c_1001_5^7 + 66447227204032648251257/5379114161853728927868*c_1001_5^6 - 96638587348602456602035/5379114161853728927868*c_1001_5^5 + 21836528597299443334067/5379114161853728927868*c_1001_5^4 - 2867824240492350241931/896519026975621487978*c_1001_5^3 - 3202205773468735151335/896519026975621487978*c_1001_5^2 + 20762946382752883408003/5379114161853728927868*c_1001_5 - 949901338273105041070/1344778540463432231967, c_1001_2 + 450868224489890913895/4034335621390296695901*c_1001_5^15 - 637211312023257600700/4034335621390296695901*c_1001_5^14 + 506493280733623161109/2689557080926864463934*c_1001_5^13 - 1148979092853432520899/448259513487810743989*c_1001_5^12 + 3837274910315800512766/1344778540463432231967*c_1001_5^11 + 17922662716577179942471/4034335621390296695901*c_1001_5^10 - 5282248238940967864889/8068671242780593391802*c_1001_5^9 - 105809049754534506783923/4034335621390296695901*c_1001_5^8 + 224915922548368446313595/8068671242780593391802*c_1001_5^7 + 35926799515361030989403/2689557080926864463934*c_1001_5^6 - 62494217985667666233701/2689557080926864463934*c_1001_5^5 + 60232114061596544420687/8068671242780593391802*c_1001_5^4 - 3070162738047194196913/1344778540463432231967*c_1001_5^3 - 22820071034640566583029/4034335621390296695901*c_1001_5^2 + 39025230484924537286255/8068671242780593391802*c_1001_5 - 4157146192321104373697/4034335621390296695901, c_1001_5^16 - 2*c_1001_5^15 + 5/2*c_1001_5^14 - 24*c_1001_5^13 + 39*c_1001_5^12 + 25*c_1001_5^11 - 55/2*c_1001_5^10 - 232*c_1001_5^9 + 765/2*c_1001_5^8 - 53/2*c_1001_5^7 - 525/2*c_1001_5^6 + 365/2*c_1001_5^5 - 79*c_1001_5^4 - 29*c_1001_5^3 + 129/2*c_1001_5^2 - 36*c_1001_5 + 8 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_15, c_0011_4, c_0101_0, c_0101_1, c_0101_14, c_0101_2, c_0101_3, c_0101_7, c_0101_9, c_1001_0, c_1001_1, c_1001_2, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 4574710180726515544631200675/1040504735543625964490752*c_1001_5^18 - 476394119803352653395818061/1040504735543625964490752*c_1001_5^17 - 4857081326561185029372551823/65031545971476622780672*c_1001_5^16 + 6588633648998034608759893943/260126183885906491122688*c_1001_5^15 + 222718360066650839468845605729/520252367771812982245376*c_1001_5^14 - 260756375290028031685076585483/1040504735543625964490752*c_1001_5\ ^13 - 987572042568499535349851559797/1040504735543625964490752*c_10\ 01_5^12 + 1132983057860476149213233539169/1040504735543625964490752\ *c_1001_5^11 + 1445005716370124813529527896659/10405047355436259644\ 90752*c_1001_5^10 - 489413042312846086271476453473/2601261838859064\ 91122688*c_1001_5^9 - 14975857308647413411526719445/179397368197176\ 89042944*c_1001_5^8 + 1007245799889572579326861238507/5202523677718\ 12982245376*c_1001_5^7 - 44843024627841184679433300737/104050473554\ 3625964490752*c_1001_5^6 - 1209747990640945602037305584981/10405047\ 35543625964490752*c_1001_5^5 + 1751452777310594243222386475/4484934\ 204929422260736*c_1001_5^4 + 433113262026532534746141299731/1040504\ 735543625964490752*c_1001_5^3 - 213777018497618818154656717135/1040\ 504735543625964490752*c_1001_5^2 - 68701054859270511243278150779/1040504735543625964490752*c_1001_5 + 41668080020090074267448872269/1040504735543625964490752, c_0011_0 - 1, c_0011_10 - 14150397712487633/121450774613556712*c_1001_5^18 + 7139353750076431/121450774613556712*c_1001_5^17 + 28803172434370555/15181346826694589*c_1001_5^16 - 42636252281255451/30362693653389178*c_1001_5^15 - 595935045135520559/60725387306778356*c_1001_5^14 + 1202944245430456641/121450774613556712*c_1001_5^13 + 1941411295437223175/121450774613556712*c_1001_5^12 - 3685966898449695387/121450774613556712*c_1001_5^11 - 1851244535262111873/121450774613556712*c_1001_5^10 + 1213451330272148821/30362693653389178*c_1001_5^9 - 221797100166554653/60725387306778356*c_1001_5^8 - 1644741658778632533/60725387306778356*c_1001_5^7 + 1534324112937109339/121450774613556712*c_1001_5^6 + 1151251515562150631/121450774613556712*c_1001_5^5 - 118712465575638436/15181346826694589*c_1001_5^4 - 241577848739964441/121450774613556712*c_1001_5^3 + 375679718021143053/121450774613556712*c_1001_5^2 + 31865463990585217/121450774613556712*c_1001_5 - 116062087276713543/121450774613556712, c_0011_12 - 15354328989944709/60725387306778356*c_1001_5^18 + 15141639470074167/60725387306778356*c_1001_5^17 + 63725917107437028/15181346826694589*c_1001_5^16 - 77728920248906727/15181346826694589*c_1001_5^15 - 670097196313972079/30362693653389178*c_1001_5^14 + 2048086096404402405/60725387306778356*c_1001_5^13 + 2131914774139705847/60725387306778356*c_1001_5^12 - 5795228108834276515/60725387306778356*c_1001_5^11 - 872036085469720041/60725387306778356*c_1001_5^10 + 2076251983353864556/15181346826694589*c_1001_5^9 - 1316322174409298023/30362693653389178*c_1001_5^8 - 2707298244733996329/30362693653389178*c_1001_5^7 + 4275028691719110631/60725387306778356*c_1001_5^6 + 1198379089230127279/60725387306778356*c_1001_5^5 - 590378362432920789/15181346826694589*c_1001_5^4 + 365560252910747943/60725387306778356*c_1001_5^3 + 529640282386315325/60725387306778356*c_1001_5^2 - 175133505216335191/60725387306778356*c_1001_5 + 23102253982446277/60725387306778356, c_0011_13 - 1900917964998012/15181346826694589*c_1001_5^18 + 7769376345710441/30362693653389178*c_1001_5^17 + 30082381026496802/15181346826694589*c_1001_5^16 - 70914968511227054/15181346826694589*c_1001_5^15 - 134295510287567743/15181346826694589*c_1001_5^14 + 416018231960124090/15181346826694589*c_1001_5^13 + 112092178085561001/30362693653389178*c_1001_5^12 - 947156530499407435/15181346826694589*c_1001_5^11 + 941000442998900379/30362693653389178*c_1001_5^10 + 1157940175638659736/15181346826694589*c_1001_5^9 - 1064272221482824023/15181346826694589*c_1001_5^8 - 432712435866046085/15181346826694589*c_1001_5^7 + 959872173031275860/15181346826694589*c_1001_5^6 - 387116629521993253/30362693653389178*c_1001_5^5 - 416859396481385764/15181346826694589*c_1001_5^4 + 225543422863414949/15181346826694589*c_1001_5^3 + 126224907090863883/30362693653389178*c_1001_5^2 - 51219937610791175/15181346826694589*c_1001_5 + 20134694380683633/30362693653389178, c_0011_15 + 1310992995033360/15181346826694589*c_1001_5^18 + 3987720275901353/30362693653389178*c_1001_5^17 - 22284536576284224/15181346826694589*c_1001_5^16 - 27910328390832292/15181346826694589*c_1001_5^15 + 136963976517405775/15181346826694589*c_1001_5^14 + 121081481569463777/15181346826694589*c_1001_5^13 - 780243983846739159/30362693653389178*c_1001_5^12 - 70143958062792459/15181346826694589*c_1001_5^11 + 1808326607665559599/30362693653389178*c_1001_5^10 - 29965349060215821/15181346826694589*c_1001_5^9 - 980673854230488572/15181346826694589*c_1001_5^8 + 423989761888890859/15181346826694589*c_1001_5^7 + 657735062501471125/15181346826694589*c_1001_5^6 - 1000162887735281999/30362693653389178*c_1001_5^5 - 140006303629592939/15181346826694589*c_1001_5^4 + 284804672234486303/15181346826694589*c_1001_5^3 - 2986939188368027/30362693653389178*c_1001_5^2 - 49220036937282958/15181346826694589*c_1001_5 + 23673912980213271/30362693653389178, c_0011_4 + 57312767249603/15181346826694589*c_1001_5^18 - 4454156173666761/15181346826694589*c_1001_5^17 + 1526282011267599/15181346826694589*c_1001_5^16 + 72971109360164820/15181346826694589*c_1001_5^15 - 52321536536753686/15181346826694589*c_1001_5^14 - 380209443237923255/15181346826694589*c_1001_5^13 + 390860853838821845/15181346826694589*c_1001_5^12 + 629118235394271604/15181346826694589*c_1001_5^11 - 1202821395675328718/15181346826694589*c_1001_5^10 - 573178179187112870/15181346826694589*c_1001_5^9 + 1634073705275508217/15181346826694589*c_1001_5^8 - 190988479377003847/15181346826694589*c_1001_5^7 - 1107567168714707759/15181346826694589*c_1001_5^6 + 571973233215948744/15181346826694589*c_1001_5^5 + 362234529905622223/15181346826694589*c_1001_5^4 - 353571215706793605/15181346826694589*c_1001_5^3 - 50858579927597006/15181346826694589*c_1001_5^2 + 67423877313352184/15181346826694589*c_1001_5 + 1624961116925854/15181346826694589, c_0101_0 + 57312767249603/15181346826694589*c_1001_5^18 - 4454156173666761/15181346826694589*c_1001_5^17 + 1526282011267599/15181346826694589*c_1001_5^16 + 72971109360164820/15181346826694589*c_1001_5^15 - 52321536536753686/15181346826694589*c_1001_5^14 - 380209443237923255/15181346826694589*c_1001_5^13 + 390860853838821845/15181346826694589*c_1001_5^12 + 629118235394271604/15181346826694589*c_1001_5^11 - 1202821395675328718/15181346826694589*c_1001_5^10 - 573178179187112870/15181346826694589*c_1001_5^9 + 1634073705275508217/15181346826694589*c_1001_5^8 - 190988479377003847/15181346826694589*c_1001_5^7 - 1107567168714707759/15181346826694589*c_1001_5^6 + 571973233215948744/15181346826694589*c_1001_5^5 + 362234529905622223/15181346826694589*c_1001_5^4 - 353571215706793605/15181346826694589*c_1001_5^3 - 50858579927597006/15181346826694589*c_1001_5^2 + 67423877313352184/15181346826694589*c_1001_5 + 1624961116925854/15181346826694589, c_0101_1 - 14150397712487633/121450774613556712*c_1001_5^18 + 7139353750076431/121450774613556712*c_1001_5^17 + 28803172434370555/15181346826694589*c_1001_5^16 - 42636252281255451/30362693653389178*c_1001_5^15 - 595935045135520559/60725387306778356*c_1001_5^14 + 1202944245430456641/121450774613556712*c_1001_5^13 + 1941411295437223175/121450774613556712*c_1001_5^12 - 3685966898449695387/121450774613556712*c_1001_5^11 - 1851244535262111873/121450774613556712*c_1001_5^10 + 1213451330272148821/30362693653389178*c_1001_5^9 - 221797100166554653/60725387306778356*c_1001_5^8 - 1644741658778632533/60725387306778356*c_1001_5^7 + 1534324112937109339/121450774613556712*c_1001_5^6 + 1151251515562150631/121450774613556712*c_1001_5^5 - 118712465575638436/15181346826694589*c_1001_5^4 - 241577848739964441/121450774613556712*c_1001_5^3 + 375679718021143053/121450774613556712*c_1001_5^2 + 31865463990585217/121450774613556712*c_1001_5 - 116062087276713543/121450774613556712, c_0101_14 - 4661981488663796/15181346826694589*c_1001_5^18 + 1561609491000565/30362693653389178*c_1001_5^17 + 77480040701624285/15181346826694589*c_1001_5^16 - 30796643412438004/15181346826694589*c_1001_5^15 - 424828776435345402/15181346826694589*c_1001_5^14 + 270419129683646117/15181346826694589*c_1001_5^13 + 1697537441372261221/30362693653389178*c_1001_5^12 - 1054680191757349456/15181346826694589*c_1001_5^11 - 2351668445844790149/30362693653389178*c_1001_5^10 + 1608091146298368615/15181346826694589*c_1001_5^9 + 562315630444674482/15181346826694589*c_1001_5^8 - 1462936780969257337/15181346826694589*c_1001_5^7 + 88962984642326816/15181346826694589*c_1001_5^6 + 1531830850793013143/30362693653389178*c_1001_5^5 - 298429908467747310/15181346826694589*c_1001_5^4 - 253479218117936664/15181346826694589*c_1001_5^3 + 226571286497590047/30362693653389178*c_1001_5^2 + 27658187774457229/15181346826694589*c_1001_5 - 34819661220202469/30362693653389178, c_0101_2 - 5388687336843169/121450774613556712*c_1001_5^18 - 14150397712487633/121450774613556712*c_1001_5^17 + 12343379809551288/15181346826694589*c_1001_5^16 + 52217657531897941/30362693653389178*c_1001_5^15 - 349318184067826183/60725387306778356*c_1001_5^14 - 938601785439412175/121450774613556712*c_1001_5^13 + 2399232834209640159/121450774613556712*c_1001_5^12 + 723567957310666981/121450774613556712*c_1001_5^11 - 5528897967650059185/121450774613556712*c_1001_5^10 + 72016084366156555/30362693653389178*c_1001_5^9 + 3057379078954948415/60725387306778356*c_1001_5^8 - 1364198815577306481/60725387306778356*c_1001_5^7 - 3478087374346775981/121450774613556712*c_1001_5^6 + 2978492319211078631/121450774613556712*c_1001_5^5 + 101470526667628873/15181346826694589*c_1001_5^4 - 1515511894973640233/121450774613556712*c_1001_5^3 - 36807729939924019/121450774613556712*c_1001_5^2 + 362002690144449721/121450774613556712*c_1001_5 - 11244034704160135/121450774613556712, c_0101_3 - 1, c_0101_7 - 5388687336843169/121450774613556712*c_1001_5^18 - 14150397712487633/121450774613556712*c_1001_5^17 + 12343379809551288/15181346826694589*c_1001_5^16 + 52217657531897941/30362693653389178*c_1001_5^15 - 349318184067826183/60725387306778356*c_1001_5^14 - 938601785439412175/121450774613556712*c_1001_5^13 + 2399232834209640159/121450774613556712*c_1001_5^12 + 723567957310666981/121450774613556712*c_1001_5^11 - 5528897967650059185/121450774613556712*c_1001_5^10 + 72016084366156555/30362693653389178*c_1001_5^9 + 3057379078954948415/60725387306778356*c_1001_5^8 - 1364198815577306481/60725387306778356*c_1001_5^7 - 3478087374346775981/121450774613556712*c_1001_5^6 + 2978492319211078631/121450774613556712*c_1001_5^5 + 101470526667628873/15181346826694589*c_1001_5^4 - 1515511894973640233/121450774613556712*c_1001_5^3 - 36807729939924019/121450774613556712*c_1001_5^2 + 362002690144449721/121450774613556712*c_1001_5 - 11244034704160135/121450774613556712, c_0101_9 + c_1001_5, c_1001_0 - 24243723639566967/121450774613556712*c_1001_5^18 + 5847189474839993/121450774613556712*c_1001_5^17 + 48832556274473998/15181346826694589*c_1001_5^16 - 45877919236134345/30362693653389178*c_1001_5^15 - 1000493335961917985/60725387306778356*c_1001_5^14 + 1419519086901270327/121450774613556712*c_1001_5^13 + 3279032887519892809/121450774613556712*c_1001_5^12 - 4751427546041199941/121450774613556712*c_1001_5^11 - 3981975558888396863/121450774613556712*c_1001_5^10 + 1382771271788878835/30362693653389178*c_1001_5^9 + 399770780348570549/60725387306778356*c_1001_5^8 - 1660753669441112551/60725387306778356*c_1001_5^7 + 351959468753738341/121450774613556712*c_1001_5^6 + 1114867960033061065/121450774613556712*c_1001_5^5 + 8742369652974050/15181346826694589*c_1001_5^4 - 459478956250584735/121450774613556712*c_1001_5^3 - 391796332377163861/121450774613556712*c_1001_5^2 + 114813563310487311/121450774613556712*c_1001_5 + 104889313859388727/121450774613556712, c_1001_1 + 1656101990373424/15181346826694589*c_1001_5^18 + 5742282578693947/30362693653389178*c_1001_5^17 - 27178406993962369/15181346826694589*c_1001_5^16 - 41591430359352174/15181346826694589*c_1001_5^15 + 158555328614573497/15181346826694589*c_1001_5^14 + 196857853196231617/15181346826694589*c_1001_5^13 - 853023929594295503/30362693653389178*c_1001_5^12 - 237892014576123487/15181346826694589*c_1001_5^11 + 2165781610025145825/30362693653389178*c_1001_5^10 + 319408242721185670/15181346826694589*c_1001_5^9 - 1240456366966828065/15181346826694589*c_1001_5^8 + 140790478375383266/15181346826694589*c_1001_5^7 + 1009282669628957513/15181346826694589*c_1001_5^6 - 849445105496290455/30362693653389178*c_1001_5^5 - 389625263974930473/15181346826694589*c_1001_5^4 + 323756078086192858/15181346826694589*c_1001_5^3 + 138182479717325663/30362693653389178*c_1001_5^2 - 66388456370987994/15181346826694589*c_1001_5 + 26352480800045269/30362693653389178, c_1001_2 - c_1001_5, c_1001_5^19 - 17*c_1001_5^17 + 4*c_1001_5^16 + 98*c_1001_5^15 - 47*c_1001_5^14 - 222*c_1001_5^13 + 226*c_1001_5^12 + 342*c_1001_5^11 - 397*c_1001_5^10 - 234*c_1001_5^9 + 424*c_1001_5^8 + 35*c_1001_5^7 - 268*c_1001_5^6 + 63*c_1001_5^5 + 105*c_1001_5^4 - 38*c_1001_5^3 - 20*c_1001_5^2 + 8*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 630.360 Total time: 630.570 seconds, Total memory usage: 1994.84MB