Magma V2.19-8 Thu Sep 12 2013 15:23:17 on localhost [Seed = 4204444701] Type ? for help. Type -D to quit. Loading file "10^2_151__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_151 geometric_solution 16.35274958 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 17 1 2 2 3 0132 0132 0321 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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.197330454881 0.981541071152 0 4 6 5 0132 0132 0132 0132 1 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.697991245110 0.709517460793 7 0 0 8 0132 0132 0321 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.197330454881 0.981541071152 9 10 0 10 0132 0132 0132 0213 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.707205445171 1.249177552147 7 1 11 7 1023 0132 0132 3012 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 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.197330454881 0.981541071152 12 13 1 10 0132 0132 0132 1230 1 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.807536291519 0.559636469550 9 8 14 1 3120 3012 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807536291519 0.559636469550 2 4 4 12 0132 1023 1230 0213 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.197330454881 0.981541071152 6 15 2 15 1230 0132 0132 0213 0 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635440452206 0.964691944899 3 16 13 6 0132 0132 3120 3120 1 1 1 1 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 -1 0 1 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.375680032274 0.472655256283 5 3 16 3 3012 0132 1230 0213 0 1 1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707205445171 1.249177552147 14 13 14 4 1302 0321 0321 0132 1 0 1 1 0 -1 1 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 2 -2 0 2 0 -1 -1 2 -2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.707205445171 1.249177552147 5 16 16 7 0132 1230 1302 0213 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.523806014950 0.722932416394 15 5 9 11 0321 0132 3120 0321 1 1 1 1 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 0 2 -2 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.018170167261 0.770828271118 15 11 11 6 2310 2031 0321 0132 1 1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 -1 1 0 1 0 -1 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656793699565 0.606224979158 13 8 14 8 0321 0132 3201 0213 0 1 1 1 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 -1 1 0 0 0 0 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635440452206 0.964691944899 12 9 12 10 2031 0132 3012 3012 1 0 1 1 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 -1 0 0 0 1 -1 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635440452206 0.964691944899 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_15' : negation(d['c_0011_14']), 'c_1001_14' : negation(d['c_0101_4']), 'c_1001_16' : negation(d['c_0011_12']), 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0110_16'], 'c_1001_13' : d['c_0101_10'], 'c_1001_12' : d['c_0110_16'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_1001_4'], 'c_1010_12' : d['c_0101_16'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_2'], 'c_1010_16' : negation(d['c_0101_10']), 'c_1010_15' : d['c_1001_0'], 'c_1010_14' : d['c_0011_11'], 's_3_11' : negation(d['1']), 's_0_11' : d['1'], 's_0_12' : negation(d['1']), 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : negation(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' : negation(d['c_0011_14']), 'c_0101_10' : d['c_0101_10'], 'c_0101_16' : d['c_0101_16'], 'c_0101_15' : negation(d['c_0101_13']), 'c_0101_14' : d['c_0011_14'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : negation(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' : negation(d['1']), 's_2_15' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_15' : d['c_0011_11'], 'c_0011_14' : d['c_0011_14'], 'c_0011_16' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_0'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : d['c_0101_16'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_0_15' : d['1'], 'c_1100_15' : negation(d['c_0011_14']), 's_0_10' : d['1'], 'c_1100_16' : negation(d['c_0110_16']), 'c_1100_11' : negation(d['c_0101_4']), 'c_1100_10' : d['c_0110_16'], 'c_1100_13' : negation(d['c_0101_9']), 's_3_10' : d['1'], 'c_1100_9' : negation(d['c_0101_13']), 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_16'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_0101_10'], 's_3_12' : negation(d['1']), 'c_1010_3' : d['c_0110_16'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1100_14' : negation(d['c_0101_9']), 's_3_15' : d['1'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : negation(d['c_0011_14']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_16'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : negation(d['c_0101_9']), 'c_0110_13' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_0'], 'c_0110_15' : negation(d['c_0011_12']), 'c_0110_14' : d['c_0101_13'], 'c_0110_16' : d['c_0110_16'], 'c_1010_4' : negation(d['c_0101_7']), 'c_0101_12' : d['c_0011_10'], 'c_0011_7' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 's_0_8' : d['1'], 's_0_9' : d['1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_13'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], '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' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_10'], 'c_0110_4' : d['c_0101_16'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_1']})} 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_11, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_16, c_0101_4, c_0101_7, c_0101_9, c_0110_16, c_1001_0, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 689247102668296183534286582234740155036202592/126504362636433762540\ 351789067556067548219*c_1001_4^13 - 2412180155020163293539470244145573149690302304/12650436263643376254\ 0351789067556067548219*c_1001_4^12 - 2732311732002919757402469484133777331473287370/12650436263643376254\ 0351789067556067548219*c_1001_4^11 - 2798215675929721772874886576930540361268559172/12650436263643376254\ 0351789067556067548219*c_1001_4^10 - 3144209713950125534347195095057665009383677024/12650436263643376254\ 0351789067556067548219*c_1001_4^9 - 1186631338611787181863384068154989344661789290/12650436263643376254\ 0351789067556067548219*c_1001_4^8 + 3335178598791591623260446415312565479300437173/12650436263643376254\ 0351789067556067548219*c_1001_4^7 + 224541585983949679052517867969558005757436504/126504362636433762540\ 351789067556067548219*c_1001_4^6 - 5079449359056338785570348321582415822932167121/12650436263643376254\ 0351789067556067548219*c_1001_4^5 - 5013228688580195941737072773538648992268051966/12650436263643376254\ 0351789067556067548219*c_1001_4^4 - 60307603243486465628786249628386623760389945/1265043626364337625403\ 51789067556067548219*c_1001_4^3 + 272006407480427976714551567156844\ 8701238052328/126504362636433762540351789067556067548219*c_1001_4^2 + 505317370670309249523046981846924565573221800/1265043626364337625\ 40351789067556067548219*c_1001_4 - 503026639204467869897208319231197249291495986/126504362636433762540\ 351789067556067548219, c_0011_0 - 1, c_0011_10 + 152790181198256683504239958435549649072/7325093377905834542\ 0006826327478904197*c_1001_4^13 + 640849699432344636556762938551610\ 114992/73250933779058345420006826327478904197*c_1001_4^12 + 1023583356289226901009034020358917986845/73250933779058345420006826\ 327478904197*c_1001_4^11 + 1207606317736642679492907549745395476714\ /73250933779058345420006826327478904197*c_1001_4^10 + 1356130001575315025487701420119135147579/73250933779058345420006826\ 327478904197*c_1001_4^9 + 1035605957666425603631530184330346118710/\ 73250933779058345420006826327478904197*c_1001_4^8 - 258948330428319443207687837864867840117/732509337790583454200068263\ 27478904197*c_1001_4^7 - 361433848124495730783470108661313366744/73\ 250933779058345420006826327478904197*c_1001_4^6 + 961040941642091477550472851119762601551/732509337790583454200068263\ 27478904197*c_1001_4^5 + 1885296125358271133103903361368194143338/7\ 3250933779058345420006826327478904197*c_1001_4^4 + 1019221752053516993582318654845646098693/73250933779058345420006826\ 327478904197*c_1001_4^3 - 133019430612358279400782378972745331146/7\ 3250933779058345420006826327478904197*c_1001_4^2 - 300360149777705415688206695891335694477/732509337790583454200068263\ 27478904197*c_1001_4 + 62083976990867321913069365678427062/60537961\ 8008746656363692779565941357, c_0011_11 - 343324983512165378124683101987839041776/7325093377905834542\ 0006826327478904197*c_1001_4^13 - 118617808406885748389251821080050\ 0527504/73250933779058345420006826327478904197*c_1001_4^12 - 1390773589337481860475148420287577540697/73250933779058345420006826\ 327478904197*c_1001_4^11 - 1619716196087533902642944880503403397560\ /73250933779058345420006826327478904197*c_1001_4^10 - 1826459280906219931780490385366572339511/73250933779058345420006826\ 327478904197*c_1001_4^9 - 882279894824754850960981929739329056952/7\ 3250933779058345420006826327478904197*c_1001_4^8 + 1257982574210064411268682416045160297189/73250933779058345420006826\ 327478904197*c_1001_4^7 - 171000219843426944502231388123809989828/7\ 3250933779058345420006826327478904197*c_1001_4^6 - 2212403808754197098280726524519874445687/73250933779058345420006826\ 327478904197*c_1001_4^5 - 2451217142014886930490439165313318577494/\ 73250933779058345420006826327478904197*c_1001_4^4 - 522977179225903962994625025666000842945/732509337790583454200068263\ 27478904197*c_1001_4^3 + 800199232834909728980782170961111483254/73\ 250933779058345420006826327478904197*c_1001_4^2 + 181954205357190125173079801694359540765/732509337790583454200068263\ 27478904197*c_1001_4 - 627129025822361513573010386496551358/6053796\ 18008746656363692779565941357, c_0011_12 - 68189891807392984150123546031857373856/73250933779058345420\ 006826327478904197*c_1001_4^13 - 1162971688593499119271923092458333\ 42032/73250933779058345420006826327478904197*c_1001_4^12 + 128443298747470211521037194280464368362/732509337790583454200068263\ 27478904197*c_1001_4^11 + 140819502871509168968268289360875448743/7\ 3250933779058345420006826327478904197*c_1001_4^10 + 181099164963814382869991600508734458090/732509337790583454200068263\ 27478904197*c_1001_4^9 + 424253252362421677823746184193159718343/73\ 250933779058345420006826327478904197*c_1001_4^8 + 518352787594032025035071279653724720220/732509337790583454200068263\ 27478904197*c_1001_4^7 - 497955482030231472228383579936034467360/73\ 250933779058345420006826327478904197*c_1001_4^6 - 383698561348869088959468629842335580880/732509337790583454200068263\ 27478904197*c_1001_4^5 + 246875137025728640609010389680546731039/73\ 250933779058345420006826327478904197*c_1001_4^4 + 729587642013548746456798030184625079238/732509337790583454200068263\ 27478904197*c_1001_4^3 + 319357506326263135108190095233461083790/73\ 250933779058345420006826327478904197*c_1001_4^2 - 219790450486770043442250059960938657240/732509337790583454200068263\ 27478904197*c_1001_4 - 389593523058401928969894626089810892/6053796\ 18008746656363692779565941357, c_0011_14 - 434218397998025662830575051756582065248/7325093377905834542\ 0006826327478904197*c_1001_4^13 - 161248439653323489035741320230762\ 0294704/73250933779058345420006826327478904197*c_1001_4^12 - 2145289178698996537475309805858448038490/73250933779058345420006826\ 327478904197*c_1001_4^11 - 2477512914380402936210108566220766046015\ /73250933779058345420006826327478904197*c_1001_4^10 - 2780495066272184284747505541722434252012/73250933779058345420006826\ 327478904197*c_1001_4^9 - 1660069225334335592390133998256061751056/\ 73250933779058345420006826327478904197*c_1001_4^8 + 1408560657442710834469346318266680501864/73250933779058345420006826\ 327478904197*c_1001_4^7 + 294993263052007451630835621894007894085/7\ 3250933779058345420006826327478904197*c_1001_4^6 - 2804811013633241579435410711507902743075/73250933779058345420006826\ 327478904197*c_1001_4^5 - 3849323885693857308047125216265293291784/\ 73250933779058345420006826327478904197*c_1001_4^4 - 1351202718159886390058983417124534886982/73250933779058345420006826\ 327478904197*c_1001_4^3 + 906908736482477671899488147740792856168/7\ 3250933779058345420006826327478904197*c_1001_4^2 + 517737688466547618917734909170575147254/732509337790583454200068263\ 27478904197*c_1001_4 - 398321436410414048316978223057588214/6053796\ 18008746656363692779565941357, c_0101_0 - 383159966451042016491386348955990128464/73250933779058345420\ 006826327478904197*c_1001_4^13 - 1397834562932250643357434384207505\ 555248/73250933779058345420006826327478904197*c_1001_4^12 - 1752113515470267064519279269868549949011/73250933779058345420006826\ 327478904197*c_1001_4^11 - 1929030222786010849133888486543013136520\ /73250933779058345420006826327478904197*c_1001_4^10 - 2202731808587793523453465701879225440216/73250933779058345420006826\ 327478904197*c_1001_4^9 - 1146067364934939228205868548056841134654/\ 73250933779058345420006826327478904197*c_1001_4^8 + 1481595363881912989668868748727209203522/73250933779058345420006826\ 327478904197*c_1001_4^7 + 219202212803604581047906766223248543786/7\ 3250933779058345420006826327478904197*c_1001_4^6 - 2665781699750640856511215765612835523112/73250933779058345420006826\ 327478904197*c_1001_4^5 - 3091816275100860864687354838018552226922/\ 73250933779058345420006826327478904197*c_1001_4^4 - 747603790979054357749304754915250711265/732509337790583454200068263\ 27478904197*c_1001_4^3 + 1125689037180636949935194732890868860082/7\ 3250933779058345420006826327478904197*c_1001_4^2 + 326043311529857197310939210137147976034/732509337790583454200068263\ 27478904197*c_1001_4 - 1044332180652124945111494849095467432/605379\ 618008746656363692779565941357, c_0101_1 + 1119924709024975197565602635794572173120/7325093377905834542\ 0006826327478904197*c_1001_4^13 + 402421219891948063945468266405090\ 5947840/73250933779058345420006826327478904197*c_1001_4^12 + 4918159108930547510508579023183475487404/73250933779058345420006826\ 327478904197*c_1001_4^11 + 5371663605600031846399236025058203703072\ /73250933779058345420006826327478904197*c_1001_4^10 + 6050452818157621022844620354838669724504/73250933779058345420006826\ 327478904197*c_1001_4^9 + 2969513198563699524312270884776781591164/\ 73250933779058345420006826327478904197*c_1001_4^8 - 4604143975462946438392816769289794945032/73250933779058345420006826\ 327478904197*c_1001_4^7 - 554207338130497989126450491001211656726/7\ 3250933779058345420006826327478904197*c_1001_4^6 + 7746773350531280516913037365590823776680/73250933779058345420006826\ 327478904197*c_1001_4^5 + 8808321080284233956665097847989304068168/\ 73250933779058345420006826327478904197*c_1001_4^4 + 1630252936058919527378382901587652533732/73250933779058345420006826\ 327478904197*c_1001_4^3 - 3465101741357222174556916066304625834798/\ 73250933779058345420006826327478904197*c_1001_4^2 - 984657373840535862560238917766292065051/732509337790583454200068263\ 27478904197*c_1001_4 + 4058411196414075132970920261426528300/605379\ 618008746656363692779565941357, c_0101_10 + 346568326470857824229771164929552207616/7325093377905834542\ 0006826327478904197*c_1001_4^13 + 122919631080449965575991520862098\ 0683840/73250933779058345420006826327478904197*c_1001_4^12 + 1498931878563402189114751598363532986176/73250933779058345420006826\ 327478904197*c_1001_4^11 + 1697461958196234922495110552407262070012\ /73250933779058345420006826327478904197*c_1001_4^10 + 1884615275566608308509593988753123352537/73250933779058345420006826\ 327478904197*c_1001_4^9 + 939866705723840543870036878867740307872/7\ 3250933779058345420006826327478904197*c_1001_4^8 - 1339805791807376689067167935548891291678/73250933779058345420006826\ 327478904197*c_1001_4^7 - 98181805415950300255740347457499808212/73\ 250933779058345420006826327478904197*c_1001_4^6 + 2238226741196544268310489268528560127658/73250933779058345420006826\ 327478904197*c_1001_4^5 + 2687164691593284405222243943690184638826/\ 73250933779058345420006826327478904197*c_1001_4^4 + 574393951010018505850438538834973994016/732509337790583454200068263\ 27478904197*c_1001_4^3 - 952687698898550977024282136333157583240/73\ 250933779058345420006826327478904197*c_1001_4^2 - 289208203497535080709472672141713840354/732509337790583454200068263\ 27478904197*c_1001_4 + 536503502372308568729866671046201318/6053796\ 18008746656363692779565941357, c_0101_13 - 213680646750566874775792826167419882560/7325093377905834542\ 0006826327478904197*c_1001_4^13 - 720873052578094051882713879584596\ 016544/73250933779058345420006826327478904197*c_1001_4^12 - 740863664813694141286510386288959708108/732509337790583454200068263\ 27478904197*c_1001_4^11 - 714313206468130830587779477192378079970/7\ 3250933779058345420006826327478904197*c_1001_4^10 - 796095690578406744221814609355066414475/732509337790583454200068263\ 27478904197*c_1001_4^9 - 151269478286399645345003325954951999578/73\ 250933779058345420006826327478904197*c_1001_4^8 + 1194803590672320608901780551691395863806/73250933779058345420006826\ 327478904197*c_1001_4^7 + 15969454068925564218520774733744781528/73\ 250933779058345420006826327478904197*c_1001_4^6 - 1577281777508029443089062363291984321406/73250933779058345420006826\ 327478904197*c_1001_4^5 - 1333979986306948605996400904220732899174/\ 73250933779058345420006826327478904197*c_1001_4^4 + 233435608276766186817517067153973476176/732509337790583454200068263\ 27478904197*c_1001_4^3 + 957769925425466060623750229355129152962/73\ 250933779058345420006826327478904197*c_1001_4^2 + 195498553709116767504104323008864035990/732509337790583454200068263\ 27478904197*c_1001_4 - 1207067825038089048008031536805649826/605379\ 618008746656363692779565941357, c_0101_16 - 15639918116764458482678319167381999136/73250933779058345420\ 006826327478904197*c_1001_4^13 - 3226094710160293089085430992528722\ 06304/73250933779058345420006826327478904197*c_1001_4^12 - 930507657841626871736429106453700415518/732509337790583454200068263\ 27478904197*c_1001_4^11 - 973011586323041301927478885415891369680/7\ 3250933779058345420006826327478904197*c_1001_4^10 - 1170430999451234024031973687334259634701/73250933779058345420006826\ 327478904197*c_1001_4^9 - 1257149824176917219865490816048075410364/\ 73250933779058345420006826327478904197*c_1001_4^8 - 404799753134005057484215617029567694030/732509337790583454200068263\ 27478904197*c_1001_4^7 + 1058858204960023464230569991943028764800/7\ 3250933779058345420006826327478904197*c_1001_4^6 - 489458874485891215059202685517803420988/732509337790583454200068263\ 27478904197*c_1001_4^5 - 1718743273292609564872065052688328939126/7\ 3250933779058345420006826327478904197*c_1001_4^4 - 1572921855389612582766336922081450986962/73250933779058345420006826\ 327478904197*c_1001_4^3 - 23364483094643631637610121429755953820/73\ 250933779058345420006826327478904197*c_1001_4^2 + 578451630771458838508942212398471157168/732509337790583454200068263\ 27478904197*c_1001_4 - 457987316887198187166553959275215738/6053796\ 18008746656363692779565941357, c_0101_4 + 57827140590744885055284183306597473056/732509337790583454200\ 06826327478904197*c_1001_4^13 + 97346652686220811190091393785662748\ 112/73250933779058345420006826327478904197*c_1001_4^12 - 37207766202655252466552115962987900386/7325093377905834542000682632\ 7478904197*c_1001_4^11 + 124608394418522359513545871087343121657/73\ 250933779058345420006826327478904197*c_1001_4^10 + 105367320581311832322290113690876758409/732509337790583454200068263\ 27478904197*c_1001_4^9 - 57980570310990753767821770862327298216/732\ 50933779058345420006826327478904197*c_1001_4^8 - 107005321863670616917602607394692741550/732509337790583454200068263\ 27478904197*c_1001_4^7 + 552457824644732934567142031671041077645/73\ 250933779058345420006826327478904197*c_1001_4^6 - 5308848440137480119391134805377653380/73250933779058345420006826327\ 478904197*c_1001_4^5 - 121013093487051987785325026389478664672/7325\ 0933779058345420006826327478904197*c_1001_4^4 - 155287134461314214468878850160610628582/732509337790583454200068263\ 27478904197*c_1001_4^3 + 199735835496090794050661007367036105655/73\ 250933779058345420006826327478904197*c_1001_4^2 + 281277998551954760172772476247245871784/732509337790583454200068263\ 27478904197*c_1001_4 - 867373602677048083123178334224358721/6053796\ 18008746656363692779565941357, c_0101_7 + 176515769352508482068652295741609954480/73250933779058345420\ 006826327478904197*c_1001_4^13 + 6763082726046362884546191916378236\ 92208/73250933779058345420006826327478904197*c_1001_4^12 + 926250050083184115588037768662432844109/732509337790583454200068263\ 27478904197*c_1001_4^11 + 1030858218149655244182457508915550416570/\ 73250933779058345420006826327478904197*c_1001_4^10 + 1167010043424812446659746054851254517276/73250933779058345420006826\ 327478904197*c_1001_4^9 + 732309649618520106891362131897248149060/7\ 3250933779058345420006826327478904197*c_1001_4^8 - 587939229101336150754999533322298586026/732509337790583454200068263\ 27478904197*c_1001_4^7 - 220853865842017543604282602586718523200/73\ 250933779058345420006826327478904197*c_1001_4^6 + 1265483132076065949002269968157443804504/73250933779058345420006826\ 327478904197*c_1001_4^5 + 1695360127283140080759098162059834303246/\ 73250933779058345420006826327478904197*c_1001_4^4 + 541690802346612850596156674991401304627/732509337790583454200068263\ 27478904197*c_1001_4^3 - 428955079852568186973688967725470238514/73\ 250933779058345420006826327478904197*c_1001_4^2 - 247158238883085162455729538806045116870/732509337790583454200068263\ 27478904197*c_1001_4 + 59748452334059258394141645347327010/60537961\ 8008746656363692779565941357, c_0101_9 + 98525884115499546811877811012430400608/732509337790583454200\ 06826327478904197*c_1001_4^13 + 42491832925555095037360197667668441\ 3344/73250933779058345420006826327478904197*c_1001_4^12 + 648487602259260585136016356079939578026/732509337790583454200068263\ 27478904197*c_1001_4^11 + 646766368078915780804649039752082654752/7\ 3250933779058345420006826327478904197*c_1001_4^10 + 713785411616452784592755305525291771880/732509337790583454200068263\ 27478904197*c_1001_4^9 + 473965875911089075213581623686558806270/73\ 250933779058345420006826327478904197*c_1001_4^8 - 422298653821536970196594200843711640372/732509337790583454200068263\ 27478904197*c_1001_4^7 - 441948676969208674081836271357183687101/73\ 250933779058345420006826327478904197*c_1001_4^6 + 798876008496878237061308025069457687560/732509337790583454200068263\ 27478904197*c_1001_4^5 + 1255733188935059499924774382234826443123/7\ 3250933779058345420006826327478904197*c_1001_4^4 + 421269895529263003097274250318033353550/732509337790583454200068263\ 27478904197*c_1001_4^3 - 472126801598817466025862915200051795201/73\ 250933779058345420006826327478904197*c_1001_4^2 - 270143617056205614532948432484673559384/732509337790583454200068263\ 27478904197*c_1001_4 + 736820058428281566312727515810384880/6053796\ 18008746656363692779565941357, c_0110_16 + 265738215677102004553622462681888302336/7325093377905834542\ 0006826327478904197*c_1001_4^13 + 930264289340296857445615239234352\ 314976/73250933779058345420006826327478904197*c_1001_4^12 + 1088056443510659161671272559823737696192/73250933779058345420006826\ 327478904197*c_1001_4^11 + 1152566393899762583474808559782929059546\ /73250933779058345420006826327478904197*c_1001_4^10 + 1231295270105928215855288685170775040569/73250933779058345420006826\ 327478904197*c_1001_4^9 + 517422894901979314358521983822244577219/7\ 3250933779058345420006826327478904197*c_1001_4^8 - 1275576622294656125678945682182503423426/73250933779058345420006826\ 327478904197*c_1001_4^7 - 152803062293355295243529320263665669188/7\ 3250933779058345420006826327478904197*c_1001_4^6 + 1768615438472082650809507034013873720674/73250933779058345420006826\ 327478904197*c_1001_4^5 + 2103137838774095499020328929449785440842/\ 73250933779058345420006826327478904197*c_1001_4^4 + 82034024697615622666308686899408049487/7325093377905834542000682632\ 7478904197*c_1001_4^3 - 976863841426118410837254019911130892831/732\ 50933779058345420006826327478904197*c_1001_4^2 - 348065134801721629774557230233846296231/732509337790583454200068263\ 27478904197*c_1001_4 + 1331862580347782241047545389717814024/605379\ 618008746656363692779565941357, c_1001_0 - 1, c_1001_2 + 612480531318373349749857494290792010160/73250933779058345420\ 006826327478904197*c_1001_4^13 + 2441317086526374004148691363044973\ 778096/73250933779058345420006826327478904197*c_1001_4^12 + 3423484838125588077542218762611210072637/73250933779058345420006826\ 327478904197*c_1001_4^11 + 3616355015577182981649146849151282586170\ /73250933779058345420006826327478904197*c_1001_4^10 + 4169258498617434291707253998568551489392/73250933779058345420006826\ 327478904197*c_1001_4^9 + 2554486667398256093416362690059868544596/\ 73250933779058345420006826327478904197*c_1001_4^8 - 2271599201420228541086433683389037373298/73250933779058345420006826\ 327478904197*c_1001_4^7 - 1294029871832553609496997532900022090114/\ 73250933779058345420006826327478904197*c_1001_4^6 + 4732522351744561514659480814422623265506/73250933779058345420006826\ 327478904197*c_1001_4^5 + 6144539534700419035555820794927614065222/\ 73250933779058345420006826327478904197*c_1001_4^4 + 2087090038091900753698124609842728222051/73250933779058345420006826\ 327478904197*c_1001_4^3 - 2060094479511459378921334840816242059224/\ 73250933779058345420006826327478904197*c_1001_4^2 - 1026742562231374457903978919217004264995/73250933779058345420006826\ 327478904197*c_1001_4 + 3314766940586158836649773124742274353/60537\ 9618008746656363692779565941357, c_1001_4^14 + 23/7*c_1001_4^13 + 2519/784*c_1001_4^12 + 1255/392*c_1001_4^11 + 180/49*c_1001_4^10 + 5/7*c_1001_4^9 - 21/4*c_1001_4^8 + 261/392*c_1001_4^7 + 5811/784*c_1001_4^6 + 557/98*c_1001_4^5 - 289/196*c_1001_4^4 - 389/98*c_1001_4^3 + 3/28*c_1001_4^2 + 87/98*c_1001_4 - 121/784 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_14, c_0101_0, c_0101_1, c_0101_10, c_0101_13, c_0101_16, c_0101_4, c_0101_7, c_0101_9, c_0110_16, c_1001_0, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1930264983807574460342613684934080717717793450752839484925504/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^17 - 1188479127284098714673252860362352254798665708398566509142496/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^16 - 3032474241880281957643991675086520655282297545156898024325884/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^15 + 7441969494700389166491812063290865956912392304778541409867236/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^14 - 2586933570038062870460665229292545825965604733463495486562756/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^13 - 7571866429456532479632609812618096833086777409555099154919752/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^12 + 8882972051139565842454233680666872830094110105299597499247108/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^11 - 1026876669058115381151157076932449500103648797935057017861822/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^10 - 4059605988085886492096093793254667846223498810416990020694608/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^9 + 3143607150510337486072425763081840409158095226547328656756208/80228\ 68638373483563507435308919044434196721960241895*c_1001_4^8 - 148088504391460945745613005807114265675691678186160631830963/802286\ 8638373483563507435308919044434196721960241895*c_1001_4^7 - 253003955140447708763980597254273550186274182006182374620404/160457\ 3727674696712701487061783808886839344392048379*c_1001_4^6 + 824660993206332025635938875926057263751825655686234729974503/802286\ 8638373483563507435308919044434196721960241895*c_1001_4^5 - 9475279576047641067145633133038790153849951692014199781872/47193344\ 9316087268441613841701120260835101291778935*c_1001_4^4 - 295096596147666288146047719325387253142499106135701736703/802286863\ 8373483563507435308919044434196721960241895*c_1001_4^3 + 503440352824249712001907158690830861344043884187952706200/160457372\ 7674696712701487061783808886839344392048379*c_1001_4^2 - 963796893117749155992102972834742527613795242623657731662/802286863\ 8373483563507435308919044434196721960241895*c_1001_4 - 220692897984883679198069120855616041038848359618743361568/802286863\ 8373483563507435308919044434196721960241895, c_0011_0 - 1, c_0011_10 + 24725459837326858318985552113012697991152055023467182432/80\ 22868638373483563507435308919044434196721960241895*c_1001_4^17 - 14859619223938564879243420930863715594151139254845356592/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^16 - 36155958811930644529483723188316653948614622732479230922/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^15 + 94359410354495708435523868756204340680971938650071962368/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^14 - 36588284795644690515948563759347557097235502091298478654/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^13 - 88575612741854876017976368161382250487432162143555401574/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^12 + 112891545081809495956267357807541968620774507941635577533/802286863\ 8373483563507435308919044434196721960241895*c_1001_4^11 - 22897210232994900511709524364659135506489127568991259126/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^10 - 44322130067821082831279813544795126821375082340691318563/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^9 + 42112177561803616964866564339045409251603335381999215076/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^8 - 6372776024499554016227582117234150378438472298708281553/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^7 - 14045283037197929884886818997548124516932370769794266746/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^6 + 11313353605856533671088632005720737101589950827353721241/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^5 - 199999804871095859833612677688897100739689787927191104/471933449316\ 087268441613841701120260835101291778935*c_1001_4^4 + 458094691132557230185060090274252345248915954762259053/802286863837\ 3483563507435308919044434196721960241895*c_1001_4^3 + 13878481050239182480841280326624783590898536864733834/1604573727674\ 696712701487061783808886839344392048379*c_1001_4^2 - 1776398396052372362610509220795699968987753171837819/80228686383734\ 83563507435308919044434196721960241895*c_1001_4 + 3493399192375576649460601276559410117625122044350866/80228686383734\ 83563507435308919044434196721960241895, c_0011_11 + 24725459837326858318985552113012697991152055023467182432/80\ 22868638373483563507435308919044434196721960241895*c_1001_4^17 - 14859619223938564879243420930863715594151139254845356592/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^16 - 36155958811930644529483723188316653948614622732479230922/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^15 + 94359410354495708435523868756204340680971938650071962368/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^14 - 36588284795644690515948563759347557097235502091298478654/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^13 - 88575612741854876017976368161382250487432162143555401574/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^12 + 112891545081809495956267357807541968620774507941635577533/802286863\ 8373483563507435308919044434196721960241895*c_1001_4^11 - 22897210232994900511709524364659135506489127568991259126/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^10 - 44322130067821082831279813544795126821375082340691318563/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^9 + 42112177561803616964866564339045409251603335381999215076/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^8 - 6372776024499554016227582117234150378438472298708281553/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^7 - 14045283037197929884886818997548124516932370769794266746/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^6 + 11313353605856533671088632005720737101589950827353721241/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^5 - 199999804871095859833612677688897100739689787927191104/471933449316\ 087268441613841701120260835101291778935*c_1001_4^4 + 458094691132557230185060090274252345248915954762259053/802286863837\ 3483563507435308919044434196721960241895*c_1001_4^3 + 13878481050239182480841280326624783590898536864733834/1604573727674\ 696712701487061783808886839344392048379*c_1001_4^2 - 1776398396052372362610509220795699968987753171837819/80228686383734\ 83563507435308919044434196721960241895*c_1001_4 + 3493399192375576649460601276559410117625122044350866/80228686383734\ 83563507435308919044434196721960241895, c_0011_12 + 19755799755843790319447990666119036479235371754038480512/80\ 22868638373483563507435308919044434196721960241895*c_1001_4^17 - 2503562519880201919189665192355161844916736044031856416/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^16 - 28114934328860670121880104395966534118666245222164456424/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^15 + 75737819289429931728384447486084296028125910552729762298/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^14 - 32249527856455205511991863069001450950150265731560467256/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^13 - 67808340672081481074591731479408534903731376855221830238/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^12 + 90834131604117156969926591621971883398930250013569827922/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^11 - 22701440814252166201335481176740820153854808139938995039/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^10 - 31773128211472759869692184251447675308205249599940594026/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^9 + 33471766806842033998924037336992228895738210090239023893/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^8 - 1417981269931355581310567697787660032036735722364025114/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^7 - 1960861904353556762748899036244715218313672196565148934/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^6 + 9002419064596049043397107605806825839808697372721703082/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^5 - 196046761743439186441489962630724510742334496296386837/471933449316\ 087268441613841701120260835101291778935*c_1001_4^4 + 804588929587787142761518854395419638816423827000285754/802286863837\ 3483563507435308919044434196721960241895*c_1001_4^3 - 80677715419017647931746903405529160324714941819029564/8022868638373\ 483563507435308919044434196721960241895*c_1001_4^2 + 1955551950617352805309362463971149581082257029726550/16045737276746\ 96712701487061783808886839344392048379*c_1001_4 + 3876973272482190132353295852050396311965957404115522/80228686383734\ 83563507435308919044434196721960241895, c_0011_14 + 4240652029020504699626437630145342701543240438800039616/802\ 2868638373483563507435308919044434196721960241895*c_1001_4^17 - 1074045040764525674168075178064316657605915394362822208/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^16 - 8192838574772235151646230029089781360406252367264427364/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^15 + 14861571218441780198418239117798866764330233899625564994/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^14 + 199627760809394365980484528269831572336072737559264164/160457372767\ 4696712701487061783808886839344392048379*c_1001_4^13 - 21832274009561606568375463262882760772480932518149594988/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^12 + 3239750276101215384622442620094327342551776744243835772/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^11 + 1384646509410119893268670922453727536449861124469391399/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^10 - 14588471886500175257132351032948909529028526878830753496/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^9 + 5967565326256978490035341632491216294328994187803020306/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^8 + 3632990782328088624449635035436682673091092855946837128/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^7 - 4937458703082705794665826767591666044210197986216371119/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^6 + 1458089697856847642152346603732590686474378159356954357/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^5 + 48120940650458958442883940798186734091239835239092236/4719334493160\ 87268441613841701120260835101291778935*c_1001_4^4 - 697344817893891563385204346227977634900260935926060882/802286863837\ 3483563507435308919044434196721960241895*c_1001_4^3 + 207099983171234349411399740349278788880079985367014024/802286863837\ 3483563507435308919044434196721960241895*c_1001_4^2 - 10606971214747889679981568534052619292255421610831196/8022868638373\ 483563507435308919044434196721960241895*c_1001_4 - 33169390250815703676384361007927443987743981112588/8022868638373483\ 563507435308919044434196721960241895, c_0101_0 + 38043206882301642602615261045290072260358155548175136/517604\ 42828216022990370550380122867317398206195109*c_1001_4^17 - 18779177218003449577407456137049603772106489554318416/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^16 - 55663612813284679690584373027671990993800202529932846/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^15 + 138973512350622832823574780753749311842564444509457420/517604428282\ 16022990370550380122867317398206195109*c_1001_4^14 - 44418276299825252628719173950762071754876029385275304/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^13 - 134940339209278900401945224653520609729784315104526846/517604428282\ 16022990370550380122867317398206195109*c_1001_4^12 + 159268884204771779576782435732552930626910304649653273/517604428282\ 16022990370550380122867317398206195109*c_1001_4^11 - 25327462666690030249017858716820162034433607249665126/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^10 - 65311078966447381828187272262719627414709190769825230/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^9 + 58761061717510146870283798695722342090737195294314704/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^8 - 6710442429430543777491020582762213493816427325374690/51760442828216\ 022990370550380122867317398206195109*c_1001_4^7 - 20511008265495887244634239204705854630949252848916310/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^6 + 15639900666338860691676861641115799868469216798812586/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^5 - 263785176212483077113730001656074564745117752571076/304473193107153\ 0764139444140007227489258718011477*c_1001_4^4 + 665098909004944309685459389327133336292658405131803/517604428282160\ 22990370550380122867317398206195109*c_1001_4^3 + 149430769096210333454569089373820435977083620505914/517604428282160\ 22990370550380122867317398206195109*c_1001_4^2 + 34067930525105678887507478096116711968238258381602/5176044282821602\ 2990370550380122867317398206195109*c_1001_4 + 36281122259573628734757567283676235733827880717366/5176044282821602\ 2990370550380122867317398206195109, c_0101_1 - c_1001_4, c_0101_10 - 10962970061975807760201511306820997074209405815818866752/80\ 22868638373483563507435308919044434196721960241895*c_1001_4^17 + 1453282607863040792846668169606253716109098028152840544/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^16 + 15192102105102266848424433264592701210071375741152187964/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^15 - 42575503075960845953359805521753228559773083423078084948/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^14 + 19327638810892090565251087815298545475997859181415725186/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^13 + 36560168398023428847097603628626894443332074329332959008/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^12 - 51711829987454505384042875471151588457874581788963221002/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^11 + 14577941035242541427478109755307651415651580721686519464/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^10 + 16874773397862661191691706303325352830297004265920221741/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^9 - 19185546631848900745207094425851063273894281191236522278/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^8 + 945118216118527971682095688783052836476451259824280434/160457372767\ 4696712701487061783808886839344392048379*c_1001_4^7 + 1035734631132661721114334560586252393846419131062599544/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^6 - 5213474035892379875563334618457212366617537933942378562/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^5 + 120893918805572834342797912580033065668943922988130802/471933449316\ 087268441613841701120260835101291778935*c_1001_4^4 - 539092502219377447343790506270302092178838306606432094/802286863837\ 3483563507435308919044434196721960241895*c_1001_4^3 + 61344589958127958288642187761834739041252936169694294/8022868638373\ 483563507435308919044434196721960241895*c_1001_4^2 - 837173546753377158076954681631630210014474615378196/160457372767469\ 6712701487061783808886839344392048379*c_1001_4 - 3100880630513857684111212596061033611626280862215042/80228686383734\ 83563507435308919044434196721960241895, c_0101_13 + 10962970061975807760201511306820997074209405815818866752/80\ 22868638373483563507435308919044434196721960241895*c_1001_4^17 - 1453282607863040792846668169606253716109098028152840544/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^16 - 15192102105102266848424433264592701210071375741152187964/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^15 + 42575503075960845953359805521753228559773083423078084948/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^14 - 19327638810892090565251087815298545475997859181415725186/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^13 - 36560168398023428847097603628626894443332074329332959008/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^12 + 51711829987454505384042875471151588457874581788963221002/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^11 - 14577941035242541427478109755307651415651580721686519464/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^10 - 16874773397862661191691706303325352830297004265920221741/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^9 + 19185546631848900745207094425851063273894281191236522278/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^8 - 945118216118527971682095688783052836476451259824280434/160457372767\ 4696712701487061783808886839344392048379*c_1001_4^7 - 1035734631132661721114334560586252393846419131062599544/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^6 + 5213474035892379875563334618457212366617537933942378562/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^5 - 120893918805572834342797912580033065668943922988130802/471933449316\ 087268441613841701120260835101291778935*c_1001_4^4 + 539092502219377447343790506270302092178838306606432094/802286863837\ 3483563507435308919044434196721960241895*c_1001_4^3 - 61344589958127958288642187761834739041252936169694294/8022868638373\ 483563507435308919044434196721960241895*c_1001_4^2 + 837173546753377158076954681631630210014474615378196/160457372767469\ 6712701487061783808886839344392048379*c_1001_4 + 3100880630513857684111212596061033611626280862215042/80228686383734\ 83563507435308919044434196721960241895, c_0101_16 + 101369592085645464436472824880192/1611979231642822973694687\ 0251*c_1001_4^17 - 64804681755409328010493882443424/161197923164282\ 29736946870251*c_1001_4^16 - 146310118607038526313376877627868/1611\ 9792316428229736946870251*c_1001_4^15 + 392549360551639385428967262447000/16119792316428229736946870251*c_1\ 001_4^14 - 163830094406331604041532260599686/1611979231642822973694\ 6870251*c_1001_4^13 - 358777842654583042430936123883668/16119792316\ 428229736946870251*c_1001_4^12 + 475892590877676807018695168191038/\ 16119792316428229736946870251*c_1001_4^11 - 109021117158332018275364953839126/16119792316428229736946870251*c_1\ 001_4^10 - 179368015675997626657974267128311/1611979231642822973694\ 6870251*c_1001_4^9 + 177618370109312438519653039992276/161197923164\ 28229736946870251*c_1001_4^8 - 31065510511447026283283637197876/161\ 19792316428229736946870251*c_1001_4^7 - 56703185840567574546764226860210/16119792316428229736946870251*c_10\ 01_4^6 + 47749528876977612257149845689898/1611979231642822973694687\ 0251*c_1001_4^5 - 15162428652243278363654170922432/1611979231642822\ 9736946870251*c_1001_4^4 + 2431336664919141883587492370320/16119792\ 316428229736946870251*c_1001_4^3 - 18803301097278858942500927724/16119792316428229736946870251*c_1001_\ 4^2 + 32102213832193636965284293858/16119792316428229736946870251*c\ _1001_4 - 3383521630085766093962127618/1611979231642822973694687025\ 1, c_0101_4 + 2648216766638001360128169163028193737766929792497220608/1604\ 573727674696712701487061783808886839344392048379*c_1001_4^17 - 792961482939657970301559115771612132195009322152906848/160457372767\ 4696712701487061783808886839344392048379*c_1001_4^16 - 4081815879884761421617819907397460663711057807923195312/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^15 + 8814426318879949530560164117187208904393407595146354026/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^14 - 1243781923347764973314042687483896198923221405431456402/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^13 - 9675640312796858776372365739056374786621289415584098616/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^12 + 8915570145320830027839803965030199111572741669278514306/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^11 + 275161546309493517645088684552635544976779484189237957/160457372767\ 4696712701487061783808886839344392048379*c_1001_4^10 - 4342297019343925440571341845389521552250812756280726801/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^9 + 2865699000377832890279750099124217044622847121502664646/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^8 + 210396886917707702084346451676435065504505979118504116/160457372767\ 4696712701487061783808886839344392048379*c_1001_4^7 - 1280281086517798264810010392159876473977654797116566299/16045737276\ 74696712701487061783808886839344392048379*c_1001_4^6 + 705194649484783514047376073026552337981299266375275940/160457372767\ 4696712701487061783808886839344392048379*c_1001_4^5 - 8669121805662420049734077145434064362974588781098526/94386689863217\ 453688322768340224052167020258355787*c_1001_4^4 + 58383099546688552222762877801648699925524891041086396/1604573727674\ 696712701487061783808886839344392048379*c_1001_4^3 - 9786282501767683754476741938652239682960267531061593/16045737276746\ 96712701487061783808886839344392048379*c_1001_4^2 + 3659051552907533599420057214755638439680356068620064/16045737276746\ 96712701487061783808886839344392048379*c_1001_4 + 669877237303592715226664102021001752396072155600771/160457372767469\ 6712701487061783808886839344392048379, c_0101_7 - 38043206882301642602615261045290072260358155548175136/517604\ 42828216022990370550380122867317398206195109*c_1001_4^17 + 18779177218003449577407456137049603772106489554318416/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^16 + 55663612813284679690584373027671990993800202529932846/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^15 - 138973512350622832823574780753749311842564444509457420/517604428282\ 16022990370550380122867317398206195109*c_1001_4^14 + 44418276299825252628719173950762071754876029385275304/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^13 + 134940339209278900401945224653520609729784315104526846/517604428282\ 16022990370550380122867317398206195109*c_1001_4^12 - 159268884204771779576782435732552930626910304649653273/517604428282\ 16022990370550380122867317398206195109*c_1001_4^11 + 25327462666690030249017858716820162034433607249665126/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^10 + 65311078966447381828187272262719627414709190769825230/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^9 - 58761061717510146870283798695722342090737195294314704/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^8 + 6710442429430543777491020582762213493816427325374690/51760442828216\ 022990370550380122867317398206195109*c_1001_4^7 + 20511008265495887244634239204705854630949252848916310/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^6 - 15639900666338860691676861641115799868469216798812586/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^5 + 263785176212483077113730001656074564745117752571076/304473193107153\ 0764139444140007227489258718011477*c_1001_4^4 - 665098909004944309685459389327133336292658405131803/517604428282160\ 22990370550380122867317398206195109*c_1001_4^3 - 149430769096210333454569089373820435977083620505914/517604428282160\ 22990370550380122867317398206195109*c_1001_4^2 - 34067930525105678887507478096116711968238258381602/5176044282821602\ 2990370550380122867317398206195109*c_1001_4 - 36281122259573628734757567283676235733827880717366/5176044282821602\ 2990370550380122867317398206195109, c_0101_9 + 67784392640791757167031023801316701898154227123625984/517604\ 42828216022990370550380122867317398206195109*c_1001_4^17 - 34207149447085141791455354777415228114604827323424320/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^16 - 99075392586605366360993266241608261947801677026151520/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^15 + 248719553251772924454507130651008586765752316215170780/517604428282\ 16022990370550380122867317398206195109*c_1001_4^14 - 81491474178229927755421593754176218603386825424582472/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^13 - 240353252239151902343348339436799593420192538159134952/517604428282\ 16022990370550380122867317398206195109*c_1001_4^12 + 286380650185038200690623415494008206029774821989575888/517604428282\ 16022990370550380122867317398206195109*c_1001_4^11 - 47364947750949819057229961148365931892612346515917592/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^10 - 116577013036592766321369584653874905981787297119211960/517604428282\ 16022990370550380122867317398206195109*c_1001_4^9 + 105852611719707058423320948506392573671823329459534238/517604428282\ 16022990370550380122867317398206195109*c_1001_4^8 - 12732042474425742495553468005144917542152372792453012/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^7 - 36658350463781186203695362586494350469823946114264183/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^6 + 28208279108917287149631517150696107714646533122938024/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^5 - 481857833171329755357898992301273373860316438611665/304473193107153\ 0764139444140007227489258718011477*c_1001_4^4 + 1204753938498988274947002438993743886204928117593868/51760442828216\ 022990370550380122867317398206195109*c_1001_4^3 + 195042997650116473258270587986428055471009580557985/517604428282160\ 22990370550380122867317398206195109*c_1001_4^2 + 34853099988801477669088982622719394402235502025360/5176044282821602\ 2990370550380122867317398206195109*c_1001_4 + 22300982290013108793560381044310707250050988229384/5176044282821602\ 2990370550380122867317398206195109, c_0110_16 - 22705690149400613587441580802163320014871872677016677312/80\ 22868638373483563507435308919044434196721960241895*c_1001_4^17 + 21276800649073405769548745456572319658538420363601976416/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^16 + 29961849020551002037379236705309003414345572387131311588/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^15 - 98346293056328835843533949838029168176057385942125464888/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^14 + 12119341653274518555466792551665817447279138382553599022/1604573727\ 674696712701487061783808886839344392048379*c_1001_4^13 + 74737475511876232797045733362441925266833654525058201966/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^12 - 26397282422916566164753220415229388148298900188108001694/1604573727\ 674696712701487061783808886839344392048379*c_1001_4^11 + 10144267025045021547828702061609269591177370395987923874/1604573727\ 674696712701487061783808886839344392048379*c_1001_4^10 + 38690227983313369791935349490326833547256378711873848957/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^9 - 52427198101558887959129075805756972806939129428803387007/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^8 + 16336610068418053585255048794335981289866202983865309864/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^7 + 12672187818442377682154382399830532118104534460767539778/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^6 - 14655202895424273208783718240025267333620789388137272834/8022868638\ 373483563507435308919044434196721960241895*c_1001_4^5 + 343611293194742560195037612776987765232064929724142418/471933449316\ 087268441613841701120260835101291778935*c_1001_4^4 - 1033380067550361313206315919578852739056814773952586811/80228686383\ 73483563507435308919044434196721960241895*c_1001_4^3 - 11040232312624497780773228611887790215579496244547683/8022868638373\ 483563507435308919044434196721960241895*c_1001_4^2 + 29545575979379933234438687580606759738501116220293417/8022868638373\ 483563507435308919044434196721960241895*c_1001_4 - 564620095200176087850246752660414256794067307639184/802286863837348\ 3563507435308919044434196721960241895, c_1001_0 - 1, c_1001_2 - 38043206882301642602615261045290072260358155548175136/517604\ 42828216022990370550380122867317398206195109*c_1001_4^17 + 18779177218003449577407456137049603772106489554318416/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^16 + 55663612813284679690584373027671990993800202529932846/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^15 - 138973512350622832823574780753749311842564444509457420/517604428282\ 16022990370550380122867317398206195109*c_1001_4^14 + 44418276299825252628719173950762071754876029385275304/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^13 + 134940339209278900401945224653520609729784315104526846/517604428282\ 16022990370550380122867317398206195109*c_1001_4^12 - 159268884204771779576782435732552930626910304649653273/517604428282\ 16022990370550380122867317398206195109*c_1001_4^11 + 25327462666690030249017858716820162034433607249665126/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^10 + 65311078966447381828187272262719627414709190769825230/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^9 - 58761061717510146870283798695722342090737195294314704/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^8 + 6710442429430543777491020582762213493816427325374690/51760442828216\ 022990370550380122867317398206195109*c_1001_4^7 + 20511008265495887244634239204705854630949252848916310/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^6 - 15639900666338860691676861641115799868469216798812586/5176044282821\ 6022990370550380122867317398206195109*c_1001_4^5 + 263785176212483077113730001656074564745117752571076/304473193107153\ 0764139444140007227489258718011477*c_1001_4^4 - 665098909004944309685459389327133336292658405131803/517604428282160\ 22990370550380122867317398206195109*c_1001_4^3 - 149430769096210333454569089373820435977083620505914/517604428282160\ 22990370550380122867317398206195109*c_1001_4^2 - 85828373353321701877878028476239579285636464576711/5176044282821602\ 2990370550380122867317398206195109*c_1001_4 + 15479320568642394255612983096446631583570325477743/5176044282821602\ 2990370550380122867317398206195109, c_1001_4^18 - 1129/1586*c_1001_4^17 - 17447/12688*c_1001_4^16 + 12609/3172*c_1001_4^15 - 12281/6344*c_1001_4^14 - 42555/12688*c_1001_4^13 + 125933/25376*c_1001_4^12 - 4793/3172*c_1001_4^11 - 20685/12688*c_1001_4^10 + 12141/6344*c_1001_4^9 - 3065/6344*c_1001_4^8 - 6611/12688*c_1001_4^7 + 13343/25376*c_1001_4^6 - 315/1586*c_1001_4^5 + 37/976*c_1001_4^4 + 1/1586*c_1001_4^3 - 3/6344*c_1001_4^2 + 1/12688*c_1001_4 + 1/25376 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 110.630 Total time: 110.909 seconds, Total memory usage: 679.91MB