Magma V2.19-8 Tue Aug 20 2013 18:45:23 on localhost [Seed = 2480025675] Type ? for help. Type -D to quit. Loading file "11_129__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_129 geometric_solution 13.64209587 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 15 1 2 2 3 0132 0132 1023 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 -1 0 0 0 -1 1 10 -10 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.058319154706 0.718522434235 0 4 5 2 0132 0132 0132 1023 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 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730831446388 1.081767093549 3 0 0 1 1023 0132 1023 1023 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 1 0 0 0 1 -1 1 -1 0 0 -11 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.058319154706 0.718522434235 6 2 0 7 0132 1023 0132 0132 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 1 0 -1 0 0 -1 0 1 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730831446388 1.081767093549 6 1 8 9 1023 0132 0132 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 1 0 -1 0 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.119391840133 0.651228573895 6 10 7 1 3120 0132 0132 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 0 0 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592619325380 0.639436069839 3 4 11 5 0132 1023 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592619325380 0.639436069839 12 8 3 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.119391840133 0.651228573895 11 7 10 4 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.786311770716 0.271612445211 12 10 4 13 2310 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450449549078 0.585459121657 14 5 9 8 0132 0132 0213 0132 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 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.860142413133 0.527439594707 12 8 13 6 3120 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.860142413133 0.527439594707 7 14 9 11 0132 2103 3201 3120 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450449549078 0.585459121657 11 14 9 14 2031 0321 0132 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 0 1 -1 0 0 1 -1 -10 11 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450449549078 0.585459121657 10 12 13 13 0132 2103 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 1 -1 11 0 0 -11 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852322667501 0.908015050203 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_0011_11'], 'c_1001_11' : d['c_0101_14'], 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0110_2'], 'c_1001_7' : d['c_0110_2'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_5'], 'c_1010_13' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0101_4'], 'c_1010_10' : d['c_1001_5'], 'c_1010_14' : d['c_0011_11'], '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_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_13']), 'c_0101_10' : negation(d['c_0011_13']), 'c_0101_14' : d['c_0101_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_14' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_13'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1001_13'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : negation(d['c_0101_12']), 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_1001_13'], 'c_1100_13' : d['c_1001_13'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_5'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0110_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0110_2'], 'c_1100_14' : d['c_1001_13'], 'c_1010_9' : d['c_1001_13'], 'c_1010_8' : d['c_0110_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_13'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0101_14'], 'c_0110_13' : d['c_0101_14'], 'c_0110_12' : d['c_0101_6'], 'c_0110_14' : negation(d['c_0011_13']), 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_14'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_13'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_1'], 'c_0101_13' : negation(d['c_0101_12'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0101_0, c_0101_1, c_0101_12, c_0101_14, c_0101_4, c_0101_6, c_0110_2, c_1001_1, c_1001_13, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 1063122829785400569862967507596/130978594620831840066376829*c_1001_\ 5^18 + 398352664947122367517620017196/18711227802975977152339547*c_\ 1001_5^17 - 3589390214817481682018257943136/13097859462083184006637\ 6829*c_1001_5^16 - 9712158037632534475226232752178/1309785946208318\ 40066376829*c_1001_5^15 + 49277960258247789920725533910/18711227802\ 975977152339547*c_1001_5^14 - 6587771818589236018327720674716/13097\ 8594620831840066376829*c_1001_5^13 + 33166076338473942498180255853072/130978594620831840066376829*c_1001\ _5^12 + 40429335432609055079735128699322/13097859462083184006637682\ 9*c_1001_5^11 - 57748540922469588995246922700002/130978594620831840\ 066376829*c_1001_5^10 - 4119377553799849826034897524728/13097859462\ 0831840066376829*c_1001_5^9 - 35014775113980674676456938071393/1309\ 78594620831840066376829*c_1001_5^8 + 72627510061596390820741605180785/261957189241663680132753658*c_1001\ _5^7 + 73809525260303054218214549170839/261957189241663680132753658\ *c_1001_5^6 - 173182690988847465339960064244027/2619571892416636801\ 32753658*c_1001_5^5 + 97676145970418313683465967732647/130978594620\ 831840066376829*c_1001_5^4 - 68230220926045325358155772695893/13097\ 8594620831840066376829*c_1001_5^3 + 41926309193909016263826569294994/130978594620831840066376829*c_1001\ _5^2 - 25401101565273263569624970161467/130978594620831840066376829\ *c_1001_5 + 7069793962388109109487778188290/13097859462083184006637\ 6829, c_0011_0 - 1, c_0011_10 - 41509546352076652452/71569052539084913929*c_1001_5^18 - 263966819279048288772/71569052539084913929*c_1001_5^17 - 397189258021450482008/71569052539084913929*c_1001_5^16 + 449664544810787626952/71569052539084913929*c_1001_5^15 + 1460195022303016159404/71569052539084913929*c_1001_5^14 + 1450386069776545801842/71569052539084913929*c_1001_5^13 + 680704619881720122130/71569052539084913929*c_1001_5^12 - 4752721454956994295488/71569052539084913929*c_1001_5^11 - 6311608845087342787147/71569052539084913929*c_1001_5^10 + 1347091937651934867387/71569052539084913929*c_1001_5^9 + 2917384804461167113566/71569052539084913929*c_1001_5^8 + 5045240334963498784379/71569052539084913929*c_1001_5^7 - 1276866682727345218104/71569052539084913929*c_1001_5^6 - 1853345300604784234203/71569052539084913929*c_1001_5^5 + 4418160579618217663240/71569052539084913929*c_1001_5^4 - 4694388888125500952272/71569052539084913929*c_1001_5^3 + 2183042530458125354574/71569052539084913929*c_1001_5^2 - 1924976488717574355023/71569052539084913929*c_1001_5 + 55285174401060072628/4209944267004994937, c_0011_11 - 643617080000358530668/71569052539084913929*c_1001_5^18 - 1898256443702150042968/71569052539084913929*c_1001_5^17 + 1438276088644600324520/71569052539084913929*c_1001_5^16 + 5951153460923049433220/71569052539084913929*c_1001_5^15 + 1790163826699736876744/71569052539084913929*c_1001_5^14 + 5674393689375023213726/71569052539084913929*c_1001_5^13 - 17341794414311442397536/71569052539084913929*c_1001_5^12 - 28688755932327626750008/71569052539084913929*c_1001_5^11 + 23214067017225693821617/71569052539084913929*c_1001_5^10 + 3674847183454916378366/71569052539084913929*c_1001_5^9 + 23308962416617362216506/71569052539084913929*c_1001_5^8 - 13127864298708721525936/71569052539084913929*c_1001_5^7 - 21796240881476405460258/71569052539084913929*c_1001_5^6 + 45497195006422613300305/71569052539084913929*c_1001_5^5 - 48151283466979360595043/71569052539084913929*c_1001_5^4 + 31687643148617267875076/71569052539084913929*c_1001_5^3 - 20532902546181612380336/71569052539084913929*c_1001_5^2 + 11440605204905340956602/71569052539084913929*c_1001_5 - 159716706304278152779/4209944267004994937, c_0011_13 - 1464746857733916810896/71569052539084913929*c_1001_5^18 - 3929731685806047214752/71569052539084913929*c_1001_5^17 + 4643241079740553813880/71569052539084913929*c_1001_5^16 + 13434851816217288650528/71569052539084913929*c_1001_5^15 + 388632644593924909560/71569052539084913929*c_1001_5^14 + 9765686153689507247440/71569052539084913929*c_1001_5^13 - 44627381021616041558168/71569052539084913929*c_1001_5^12 - 3390105014445924690748/4209944267004994937*c_1001_5^11 + 74575354991552879721972/71569052539084913929*c_1001_5^10 + 6383345608763421409240/71569052539084913929*c_1001_5^9 + 49447606817817578022030/71569052539084913929*c_1001_5^8 - 46014759114122912345452/71569052539084913929*c_1001_5^7 - 50633837895395549129430/71569052539084913929*c_1001_5^6 + 6844379978696210598816/4209944267004994937*c_1001_5^5 - 129941057264938311951472/71569052539084913929*c_1001_5^4 + 89848307919733482295616/71569052539084913929*c_1001_5^3 - 55701262110881400684300/71569052539084913929*c_1001_5^2 + 33167134823886773998534/71569052539084913929*c_1001_5 - 533211078837847035410/4209944267004994937, c_0101_0 + 1571242689543174422048/71569052539084913929*c_1001_5^18 + 4332243997711082030908/71569052539084913929*c_1001_5^17 - 4586248819222137471232/71569052539084913929*c_1001_5^16 - 14507483754379696367064/71569052539084913929*c_1001_5^15 - 1550249918639047809204/71569052539084913929*c_1001_5^14 - 11277369839779463831332/71569052539084913929*c_1001_5^13 + 46542250625249350157854/71569052539084913929*c_1001_5^12 + 64423113169098944184896/71569052539084913929*c_1001_5^11 - 73637759272461639157296/71569052539084913929*c_1001_5^10 - 8465001912441611794305/71569052539084913929*c_1001_5^9 - 54639454789893703245326/71569052539084913929*c_1001_5^8 + 44526393640252976480652/71569052539084913929*c_1001_5^7 + 54700700765382746101510/71569052539084913929*c_1001_5^6 - 120395913779478989141947/71569052539084913929*c_1001_5^5 + 133088861818376270510816/71569052539084913929*c_1001_5^4 - 90490906692369023539626/71569052539084913929*c_1001_5^3 + 56764854583078249413869/71569052539084913929*c_1001_5^2 - 33414452955276273398969/71569052539084913929*c_1001_5 + 510381682713160052221/4209944267004994937, c_0101_1 - 1361313903295967574784/71569052539084913929*c_1001_5^18 - 3930679415795697260788/71569052539084913929*c_1001_5^17 + 3358976272864824335872/71569052539084913929*c_1001_5^16 + 12649190859663246060016/71569052539084913929*c_1001_5^15 + 3032327966363477679876/71569052539084913929*c_1001_5^14 + 11146677483070311798616/71569052539084913929*c_1001_5^13 - 38057828447835421421990/71569052539084913929*c_1001_5^12 - 59447350639817843955104/71569052539084913929*c_1001_5^11 + 53953677321407544187108/71569052539084913929*c_1001_5^10 + 8607722825079742288499/71569052539084913929*c_1001_5^9 + 49117412715434915535168/71569052539084913929*c_1001_5^8 - 31116153881360221837452/71569052539084913929*c_1001_5^7 - 47010222083036201901456/71569052539084913929*c_1001_5^6 + 98469752875292202251762/71569052539084913929*c_1001_5^5 - 105926182129980475770819/71569052539084913929*c_1001_5^4 + 69939106138612359747324/71569052539084913929*c_1001_5^3 - 44887050927118705858938/71569052539084913929*c_1001_5^2 + 25633872182682473346823/71569052539084913929*c_1001_5 - 362474085050277912220/4209944267004994937, c_0101_12 - 41509546352076652452/71569052539084913929*c_1001_5^18 - 263966819279048288772/71569052539084913929*c_1001_5^17 - 397189258021450482008/71569052539084913929*c_1001_5^16 + 449664544810787626952/71569052539084913929*c_1001_5^15 + 1460195022303016159404/71569052539084913929*c_1001_5^14 + 1450386069776545801842/71569052539084913929*c_1001_5^13 + 680704619881720122130/71569052539084913929*c_1001_5^12 - 4752721454956994295488/71569052539084913929*c_1001_5^11 - 6311608845087342787147/71569052539084913929*c_1001_5^10 + 1347091937651934867387/71569052539084913929*c_1001_5^9 + 2917384804461167113566/71569052539084913929*c_1001_5^8 + 5045240334963498784379/71569052539084913929*c_1001_5^7 - 1276866682727345218104/71569052539084913929*c_1001_5^6 - 1853345300604784234203/71569052539084913929*c_1001_5^5 + 4418160579618217663240/71569052539084913929*c_1001_5^4 - 4694388888125500952272/71569052539084913929*c_1001_5^3 + 2183042530458125354574/71569052539084913929*c_1001_5^2 - 1924976488717574355023/71569052539084913929*c_1001_5 + 55285174401060072628/4209944267004994937, c_0101_14 + 1506256404085993463348/71569052539084913929*c_1001_5^18 + 4193698505085095503524/71569052539084913929*c_1001_5^17 - 4246051821719103331872/71569052539084913929*c_1001_5^16 - 816736256531063310440/4209944267004994937*c_1001_5^15 - 1848827666896941068964/71569052539084913929*c_1001_5^14 - 11216072223466053049282/71569052539084913929*c_1001_5^13 + 43946676401734321436038/71569052539084913929*c_1001_5^12 + 62384506700537714038204/71569052539084913929*c_1001_5^11 - 68263746146465536934825/71569052539084913929*c_1001_5^10 - 7730437546415356276627/71569052539084913929*c_1001_5^9 - 52364991622278745135596/71569052539084913929*c_1001_5^8 + 40969518779159413561073/71569052539084913929*c_1001_5^7 + 51910704578122894347534/71569052539084913929*c_1001_5^6 - 114501114337230795945669/71569052539084913929*c_1001_5^5 + 125522896685320094288232/71569052539084913929*c_1001_5^4 - 85153919031607981343344/71569052539084913929*c_1001_5^3 + 53518219580423275329726/71569052539084913929*c_1001_5^2 - 31242158335169199643511/71569052539084913929*c_1001_5 + 477925904436786962782/4209944267004994937, c_0101_4 + c_1001_5, c_0101_6 - 1280912168594346923468/71569052539084913929*c_1001_5^18 - 3482345754438594333984/71569052539084913929*c_1001_5^17 + 3907744769385845200128/71569052539084913929*c_1001_5^16 + 11796223315081413266868/71569052539084913929*c_1001_5^15 + 795634555711310486048/71569052539084913929*c_1001_5^14 + 8845367345726211082942/71569052539084913929*c_1001_5^13 - 38532195825785378363580/71569052539084913929*c_1001_5^12 - 51475522023946022801252/71569052539084913929*c_1001_5^11 + 62682512807053109158897/71569052539084913929*c_1001_5^10 + 6304784682065136130880/71569052539084913929*c_1001_5^9 + 43975666498516974336140/71569052539084913929*c_1001_5^8 - 38254853931653470585516/71569052539084913929*c_1001_5^7 - 44339680676163729359722/71569052539084913929*c_1001_5^6 + 100036319101468936211259/71569052539084913929*c_1001_5^5 - 111166830025945938309859/71569052539084913929*c_1001_5^4 + 76124136674176443605994/71569052539084913929*c_1001_5^3 - 47576443495445509440632/71569052539084913929*c_1001_5^2 + 28263440467248322303714/71569052539084913929*c_1001_5 - 444204214644654072603/4209944267004994937, c_0110_2 + 1361313903295967574784/71569052539084913929*c_1001_5^18 + 3930679415795697260788/71569052539084913929*c_1001_5^17 - 3358976272864824335872/71569052539084913929*c_1001_5^16 - 12649190859663246060016/71569052539084913929*c_1001_5^15 - 3032327966363477679876/71569052539084913929*c_1001_5^14 - 11146677483070311798616/71569052539084913929*c_1001_5^13 + 38057828447835421421990/71569052539084913929*c_1001_5^12 + 59447350639817843955104/71569052539084913929*c_1001_5^11 - 53953677321407544187108/71569052539084913929*c_1001_5^10 - 8607722825079742288499/71569052539084913929*c_1001_5^9 - 49117412715434915535168/71569052539084913929*c_1001_5^8 + 31116153881360221837452/71569052539084913929*c_1001_5^7 + 47010222083036201901456/71569052539084913929*c_1001_5^6 - 98469752875292202251762/71569052539084913929*c_1001_5^5 + 105926182129980475770819/71569052539084913929*c_1001_5^4 - 69939106138612359747324/71569052539084913929*c_1001_5^3 + 44887050927118705858938/71569052539084913929*c_1001_5^2 - 25633872182682473346823/71569052539084913929*c_1001_5 + 362474085050277912220/4209944267004994937, c_1001_1 + 1280912168594346923468/71569052539084913929*c_1001_5^18 + 3482345754438594333984/71569052539084913929*c_1001_5^17 - 3907744769385845200128/71569052539084913929*c_1001_5^16 - 11796223315081413266868/71569052539084913929*c_1001_5^15 - 795634555711310486048/71569052539084913929*c_1001_5^14 - 8845367345726211082942/71569052539084913929*c_1001_5^13 + 38532195825785378363580/71569052539084913929*c_1001_5^12 + 51475522023946022801252/71569052539084913929*c_1001_5^11 - 62682512807053109158897/71569052539084913929*c_1001_5^10 - 6304784682065136130880/71569052539084913929*c_1001_5^9 - 43975666498516974336140/71569052539084913929*c_1001_5^8 + 38254853931653470585516/71569052539084913929*c_1001_5^7 + 44339680676163729359722/71569052539084913929*c_1001_5^6 - 100036319101468936211259/71569052539084913929*c_1001_5^5 + 111166830025945938309859/71569052539084913929*c_1001_5^4 - 76124136674176443605994/71569052539084913929*c_1001_5^3 + 47576443495445509440632/71569052539084913929*c_1001_5^2 - 28263440467248322303714/71569052539084913929*c_1001_5 + 444204214644654072603/4209944267004994937, c_1001_13 - 643617080000358530668/71569052539084913929*c_1001_5^18 - 1898256443702150042968/71569052539084913929*c_1001_5^17 + 1438276088644600324520/71569052539084913929*c_1001_5^16 + 5951153460923049433220/71569052539084913929*c_1001_5^15 + 1790163826699736876744/71569052539084913929*c_1001_5^14 + 5674393689375023213726/71569052539084913929*c_1001_5^13 - 17341794414311442397536/71569052539084913929*c_1001_5^12 - 28688755932327626750008/71569052539084913929*c_1001_5^11 + 23214067017225693821617/71569052539084913929*c_1001_5^10 + 3674847183454916378366/71569052539084913929*c_1001_5^9 + 23308962416617362216506/71569052539084913929*c_1001_5^8 - 13127864298708721525936/71569052539084913929*c_1001_5^7 - 21796240881476405460258/71569052539084913929*c_1001_5^6 + 45497195006422613300305/71569052539084913929*c_1001_5^5 - 48151283466979360595043/71569052539084913929*c_1001_5^4 + 31687643148617267875076/71569052539084913929*c_1001_5^3 - 20532902546181612380336/71569052539084913929*c_1001_5^2 + 11440605204905340956602/71569052539084913929*c_1001_5 - 159716706304278152779/4209944267004994937, c_1001_5^19 + 2*c_1001_5^18 - 5*c_1001_5^17 - 7*c_1001_5^16 + 6*c_1001_5^15 - 13/2*c_1001_5^14 + 35*c_1001_5^13 + 37/2*c_1001_5^12 - 311/4*c_1001_5^11 + 61/2*c_1001_5^10 - 123/4*c_1001_5^9 + 109/2*c_1001_5^8 + 13*c_1001_5^7 - 103*c_1001_5^6 + 143*c_1001_5^5 - 122*c_1001_5^4 + 80*c_1001_5^3 - 195/4*c_1001_5^2 + 87/4*c_1001_5 - 17/4, c_1100_0 - 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0101_0, c_0101_1, c_0101_12, c_0101_14, c_0101_4, c_0101_6, c_0110_2, c_1001_1, c_1001_13, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 92635195825766638505123356433576485354741019502/5447451827229023664\ 02975159003343521979447684125*c_1001_5^21 - 14420672229024957008560287588225165398218034008/1089490365445804732\ 80595031800668704395889536825*c_1001_5^20 - 8941807723121488539659321914982665363195482124/10894903654458047328\ 0595031800668704395889536825*c_1001_5^19 - 1735298221390406402020111586043631415275928773343/54474518272290236\ 6402975159003343521979447684125*c_1001_5^18 - 1120132994432585142637085465145075955738771556496/54474518272290236\ 6402975159003343521979447684125*c_1001_5^17 + 9154780721050558062399159816526810894227231142267/54474518272290236\ 6402975159003343521979447684125*c_1001_5^16 + 9631004863648318867196771580729804853228895196133/54474518272290236\ 6402975159003343521979447684125*c_1001_5^15 - 28311504377157809322436277349427440416962493922/5979639766442396996\ 73957364438357323797417875*c_1001_5^14 - 1789042522445508380238116823991380876770603510112/10894903654458047\ 3280595031800668704395889536825*c_1001_5^13 + 26551645881496555672148453564706138322434437156156/5447451827229023\ 66402975159003343521979447684125*c_1001_5^12 + 4603509369761964172661946230655104288487008114804/54474518272290236\ 6402975159003343521979447684125*c_1001_5^11 - 11179187122764688480994802037622328234721162160248/5447451827229023\ 66402975159003343521979447684125*c_1001_5^10 + 1039075244837340282806650224401113599013361235294/54474518272290236\ 6402975159003343521979447684125*c_1001_5^9 - 172103596027678522748194433518302586707695154986472/544745182722902\ 366402975159003343521979447684125*c_1001_5^8 + 40406993995586271006326538142369926305918099318002/5447451827229023\ 66402975159003343521979447684125*c_1001_5^7 + 341453749904799205394755132622959954490984124603599/544745182722902\ 366402975159003343521979447684125*c_1001_5^6 + 40501797921845417700393822601603297323923478741458/5447451827229023\ 66402975159003343521979447684125*c_1001_5^5 - 77927391757584528657969530701599263595510835450327/1089490365445804\ 73280595031800668704395889536825*c_1001_5^4 + 228732544630392912850593655451914755781281242728407/544745182722902\ 366402975159003343521979447684125*c_1001_5^3 + 247551531276801173276063535709403808657520925737934/544745182722902\ 366402975159003343521979447684125*c_1001_5^2 - 277099363550466510437647576184486252426255767222063/544745182722902\ 366402975159003343521979447684125*c_1001_5 - 194620650152566379244172738962312575921208900911669/544745182722902\ 366402975159003343521979447684125, c_0011_0 - 1, c_0011_10 - 17376159975583323321084919453261131816061/23918559065769587\ 986958294577534292951896715*c_1001_5^21 - 14534463953478047964650771195312838030521/2391855906576958798695829\ 4577534292951896715*c_1001_5^20 - 586384218807205973168127834099081\ 7896707/23918559065769587986958294577534292951896715*c_1001_5^19 + 62666376499822878081144555998324190296535/4783711813153917597391658\ 915506858590379343*c_1001_5^18 + 6907063266485906158216929242666800\ 93857549/23918559065769587986958294577534292951896715*c_1001_5^17 - 757709726525609397076527197397453638369721/239185590657695879869582\ 94577534292951896715*c_1001_5^16 - 653891299246525518380144770404003778717265/478371181315391759739165\ 8915506858590379343*c_1001_5^15 + 154579929217699226378314580436704\ 957035202/4783711813153917597391658915506858590379343*c_1001_5^14 + 4368104399214115558292417300563508983410724/23918559065769587986958\ 294577534292951896715*c_1001_5^13 - 182953046114363336607542187996101432709046/478371181315391759739165\ 8915506858590379343*c_1001_5^12 - 521054750008820685417627162354250\ 9268988224/23918559065769587986958294577534292951896715*c_1001_5^11 - 1839341190896791698531856963208813855210897/239185590657695879869\ 58294577534292951896715*c_1001_5^10 - 861275202837096455435262994317317472648406/478371181315391759739165\ 8915506858590379343*c_1001_5^9 + 2689867834062666338112768122154266\ 1114496113/23918559065769587986958294577534292951896715*c_1001_5^8 + 35065174387321329474608601287123123677927599/2391855906576958798695\ 8294577534292951896715*c_1001_5^7 - 24549778997505657946097490679117538147739068/2391855906576958798695\ 8294577534292951896715*c_1001_5^6 - 58513092224559394325468814724696134469265343/2391855906576958798695\ 8294577534292951896715*c_1001_5^5 + 34623125470340784442982077831584216817124238/2391855906576958798695\ 8294577534292951896715*c_1001_5^4 + 3365092638428013489550286816950924132190547/47837118131539175973916\ 58915506858590379343*c_1001_5^3 - 534751260226678633744517012794528\ 58598453106/23918559065769587986958294577534292951896715*c_1001_5^2 - 30692292582227089442209007306791106140253211/23918559065769587986\ 958294577534292951896715*c_1001_5 + 21603786329805621043192881621963033656377081/2391855906576958798695\ 8294577534292951896715, c_0011_11 - 3940186541505872836329650681799858517279/239185590657695879\ 86958294577534292951896715*c_1001_5^21 + 38188255281130300474193895401057760871/2391855906576958798695829457\ 7534292951896715*c_1001_5^20 - 241336453173496126972307887170940251\ 97798/23918559065769587986958294577534292951896715*c_1001_5^19 + 11870140086759347293905233672504323050115/4783711813153917597391658\ 915506858590379343*c_1001_5^18 + 7418171958831886259495306219089430\ 4469061/23918559065769587986958294577534292951896715*c_1001_5^17 + 117762248818752817507508852170094588239676/239185590657695879869582\ 94577534292951896715*c_1001_5^16 + 51446977267690399944259572513472294990812/4783711813153917597391658\ 915506858590379343*c_1001_5^15 - 7315405258396733133894109923185720\ 6190359/4783711813153917597391658915506858590379343*c_1001_5^14 - 2339319115168040299573063328525308145811369/23918559065769587986958\ 294577534292951896715*c_1001_5^13 + 268641542732148401250210766102126938069389/478371181315391759739165\ 8915506858590379343*c_1001_5^12 + 848278345156325860610683679997715\ 315024894/23918559065769587986958294577534292951896715*c_1001_5^11 - 3132784181156829540785312007700497859248953/23918559065769587986958\ 294577534292951896715*c_1001_5^10 - 532645072221586097403266539487884390189176/478371181315391759739165\ 8915506858590379343*c_1001_5^9 + 2084568768854349798055278823961827\ 584051502/23918559065769587986958294577534292951896715*c_1001_5^8 - 4854290950320727777432523375402050331833499/23918559065769587986958\ 294577534292951896715*c_1001_5^7 + 23244822882936857844842611515238290899733238/2391855906576958798695\ 8294577534292951896715*c_1001_5^6 + 15871804974912552961556292129287077620215443/2391855906576958798695\ 8294577534292951896715*c_1001_5^5 - 11672684055295530816442738896233246231070538/2391855906576958798695\ 8294577534292951896715*c_1001_5^4 - 5259521829645454913066182253844603416099979/47837118131539175973916\ 58915506858590379343*c_1001_5^3 + 265205508001710237654817775355620\ 04296534746/23918559065769587986958294577534292951896715*c_1001_5^2 - 25650867021311517464762840990019901872875884/23918559065769587986\ 958294577534292951896715*c_1001_5 - 23465594602789083691092095501064381259817151/2391855906576958798695\ 8294577534292951896715, c_0011_13 + 3017645428848867635787976523460466603274/478371181315391759\ 7391658915506858590379343*c_1001_5^21 + 351207230872954824485699149068328808775/478371181315391759739165891\ 5506858590379343*c_1001_5^20 + 636520994220433031618872739619317910\ 3500/4783711813153917597391658915506858590379343*c_1001_5^19 - 51183144789481551928428089110591378049415/4783711813153917597391658\ 915506858590379343*c_1001_5^18 - 7405317334595023004009638492042285\ 7437658/4783711813153917597391658915506858590379343*c_1001_5^17 + 102875994776085591161607290732113349581616/478371181315391759739165\ 8915506858590379343*c_1001_5^16 + 229954628899575028979346562316551\ 629047512/4783711813153917597391658915506858590379343*c_1001_5^15 - 221307386324357470455339741673616125257326/478371181315391759739165\ 8915506858590379343*c_1001_5^14 + 192027748213104844508469926610536\ 078131361/4783711813153917597391658915506858590379343*c_1001_5^13 + 34447440760901598441314724286570571498180/4783711813153917597391658\ 915506858590379343*c_1001_5^12 + 2103556231696857223348667587834965\ 84590683/4783711813153917597391658915506858590379343*c_1001_5^11 + 870498936321810413978564806053273556391941/478371181315391759739165\ 8915506858590379343*c_1001_5^10 + 112774249435894315674438120967634\ 9460284599/4783711813153917597391658915506858590379343*c_1001_5^9 - 3562373845919315725249592742914388660996322/47837118131539175973916\ 58915506858590379343*c_1001_5^8 - 671824601862477401511063264649552\ 226002022/4783711813153917597391658915506858590379343*c_1001_5^7 - 176970622482166799239960549344844659465135/478371181315391759739165\ 8915506858590379343*c_1001_5^6 - 1114544008512876209100634123283296\ 39440007/4783711813153917597391658915506858590379343*c_1001_5^5 - 2406099062029365367503081811626662779061913/47837118131539175973916\ 58915506858590379343*c_1001_5^4 + 418074831221762929160370753706077\ 1734944864/4783711813153917597391658915506858590379343*c_1001_5^3 - 2752648117334306743686502835897338338000591/47837118131539175973916\ 58915506858590379343*c_1001_5^2 + 163526448878603301381385072131634\ 0903463370/4783711813153917597391658915506858590379343*c_1001_5 + 4908414315484689344241788873541479939899016/47837118131539175973916\ 58915506858590379343, c_0101_0 - 2366393270718684600120438459584732209193/4783711813153917597\ 391658915506858590379343*c_1001_5^21 + 2036591478738279446152551879496461390160/47837118131539175973916589\ 15506858590379343*c_1001_5^20 - 22965296834745980659063962587506489\ 34413/4783711813153917597391658915506858590379343*c_1001_5^19 + 41546131876855885650479123219218696378004/4783711813153917597391658\ 915506858590379343*c_1001_5^18 + 2032254814577347873198906922977523\ 0590938/4783711813153917597391658915506858590379343*c_1001_5^17 - 181247581188867563792580262882432197624474/478371181315391759739165\ 8915506858590379343*c_1001_5^16 - 103464391973302428680744588537108\ 657331434/4783711813153917597391658915506858590379343*c_1001_5^15 + 586706711735496367844073893285359839942325/478371181315391759739165\ 8915506858590379343*c_1001_5^14 - 285005383333565083345512060832221\ 578663977/4783711813153917597391658915506858590379343*c_1001_5^13 - 606191222815956176284663742625411199754635/478371181315391759739165\ 8915506858590379343*c_1001_5^12 + 297875530693098687047409672595736\ 883963390/4783711813153917597391658915506858590379343*c_1001_5^11 + 107166590504358730538397838792376504571682/478371181315391759739165\ 8915506858590379343*c_1001_5^10 - 611500362431277671644206473758972\ 497112208/4783711813153917597391658915506858590379343*c_1001_5^9 + 3867006877681051581921354063562121306254414/47837118131539175973916\ 58915506858590379343*c_1001_5^8 - 282283816840871433723162869167039\ 5736404256/4783711813153917597391658915506858590379343*c_1001_5^7 - 4834645751486910570049362316654186852252893/47837118131539175973916\ 58915506858590379343*c_1001_5^6 + 441122795198919198564084719589102\ 9470529075/4783711813153917597391658915506858590379343*c_1001_5^5 + 6430459846535304634451511162374013133267408/47837118131539175973916\ 58915506858590379343*c_1001_5^4 - 116698602816375450838177663084196\ 34544637246/4783711813153917597391658915506858590379343*c_1001_5^3 - 472146153039183814927492734469166844466119/478371181315391759739165\ 8915506858590379343*c_1001_5^2 + 7077198410872664087599155660024842\ 923749766/4783711813153917597391658915506858590379343*c_1001_5 - 1484966244332088495026525908604781813848683/47837118131539175973916\ 58915506858590379343, c_0101_1 + 2196064477320767597203996009202175295280/4783711813153917597\ 391658915506858590379343*c_1001_5^21 - 2718012356174107277717108268084425100865/47837118131539175973916589\ 15506858590379343*c_1001_5^20 + 63567078054989008921399402555841387\ 17090/4783711813153917597391658915506858590379343*c_1001_5^19 - 38186435349791623793072182798541388165704/4783711813153917597391658\ 915506858590379343*c_1001_5^18 + 4940520633116888801260555474446970\ 242202/4783711813153917597391658915506858590379343*c_1001_5^17 + 119126253209914385277315479065965869335159/478371181315391759739165\ 8915506858590379343*c_1001_5^16 - 633070402037286639210281714595994\ 19259892/4783711813153917597391658915506858590379343*c_1001_5^15 - 506356672528380672348399978789569632437101/478371181315391759739165\ 8915506858590379343*c_1001_5^14 + 690005226762977206101597623913041\ 566233225/4783711813153917597391658915506858590379343*c_1001_5^13 + 297429698987076495670230179319806823250523/478371181315391759739165\ 8915506858590379343*c_1001_5^12 - 111559815760342793418127395039677\ 303797244/4783711813153917597391658915506858590379343*c_1001_5^11 + 106748431807958929466278863269566688289812/478371181315391759739165\ 8915506858590379343*c_1001_5^10 + 849953509577669054672769669346535\ 918281580/4783711813153917597391658915506858590379343*c_1001_5^9 - 2814048340929819559552806539881207001105181/47837118131539175973916\ 58915506858590379343*c_1001_5^8 + 525485523277333398329668365319478\ 6826784919/4783711813153917597391658915506858590379343*c_1001_5^7 + 792443699207684916052056001103265156284624/478371181315391759739165\ 8915506858590379343*c_1001_5^6 - 6197739115732890902231289476542258\ 752176213/4783711813153917597391658915506858590379343*c_1001_5^5 - 6555398144503996087655913510214847349077775/47837118131539175973916\ 58915506858590379343*c_1001_5^4 + 109265842349828316614207554141325\ 96812742179/4783711813153917597391658915506858590379343*c_1001_5^3 - 7495520776200499471075790105595009315397690/47837118131539175973916\ 58915506858590379343*c_1001_5^2 - 237047112564240023484057178386345\ 7182457605/4783711813153917597391658915506858590379343*c_1001_5 + 2549393093651594212539975524429244485311925/47837118131539175973916\ 58915506858590379343, c_0101_12 + 12216115468489560991518141374361060962136/23918559065769587\ 986958294577534292951896715*c_1001_5^21 + 13228034692321580823762882154244964739291/2391855906576958798695829\ 4577534292951896715*c_1001_5^20 + 220821836974079552991628052967051\ 69592877/23918559065769587986958294577534292951896715*c_1001_5^19 - 41881228918594854758667765884321007519979/4783711813153917597391658\ 915506858590379343*c_1001_5^18 - 5123866704223707188673182511052035\ 58243504/23918559065769587986958294577534292951896715*c_1001_5^17 + 143820599729503665953303723876536476100176/239185590657695879869582\ 94577534292951896715*c_1001_5^16 + 382471958345896399850791942277571598857391/478371181315391759739165\ 8915506858590379343*c_1001_5^15 + 816086710883199281171764698930886\ 75562899/4783711813153917597391658915506858590379343*c_1001_5^14 - 1177013561305616125937567151640551385665549/23918559065769587986958\ 294577534292951896715*c_1001_5^13 - 87445375128119014178531403426214912871243/4783711813153917597391658\ 915506858590379343*c_1001_5^12 + 2554514922821798505792476113268527\ 509397829/23918559065769587986958294577534292951896715*c_1001_5^11 + 2146523123143449981679955537020964406909017/23918559065769587986958\ 294577534292951896715*c_1001_5^10 + 1220200704085130214704413499859830902855166/47837118131539175973916\ 58915506858590379343*c_1001_5^9 - 164138478040344476475909057495942\ 08741289838/23918559065769587986958294577534292951896715*c_1001_5^8 - 20888568522150297050164530689808584451760264/23918559065769587986\ 958294577534292951896715*c_1001_5^7 - 3483419151359183775616885608942880657619247/23918559065769587986958\ 294577534292951896715*c_1001_5^6 + 25300262993530223607904147743778790161324408/2391855906576958798695\ 8294577534292951896715*c_1001_5^5 - 9289694607049907485120417387196657597813508/23918559065769587986958\ 294577534292951896715*c_1001_5^4 + 1468285525819376374575323973286316246827218/47837118131539175973916\ 58915506858590379343*c_1001_5^3 + 130238809455092798480496381801013\ 02861657056/23918559065769587986958294577534292951896715*c_1001_5^2 + 35853612765823238896861401880740656670399911/23918559065769587986\ 958294577534292951896715*c_1001_5 - 1684739983682100310485798428223616189381491/23918559065769587986958\ 294577534292951896715, c_0101_14 - 1032008901418752465913355615780014170785/478371181315391759\ 7391658915506858590379343*c_1001_5^21 - 261285852231293428177577808213574658246/478371181315391759739165891\ 5506858590379343*c_1001_5^20 + 324366830186717911349630539114287033\ 9234/4783711813153917597391658915506858590379343*c_1001_5^19 + 20785147581228023322476790114003182776556/4783711813153917597391658\ 915506858590379343*c_1001_5^18 + 3566393124524397939087493463229530\ 7122809/4783711813153917597391658915506858590379343*c_1001_5^17 - 122777825359221146224644694704183432453909/478371181315391759739165\ 8915506858590379343*c_1001_5^16 - 271419340900629118529352828126432\ 179859874/4783711813153917597391658915506858590379343*c_1001_5^15 + 236188600306019154495491050329793632598101/478371181315391759739165\ 8915506858590379343*c_1001_5^14 + 638218167581699886470970029784591\ 519549035/4783711813153917597391658915506858590379343*c_1001_5^13 - 270398421242482350786073591422316345580289/478371181315391759739165\ 8915506858590379343*c_1001_5^12 - 531206515453281669676759102054796\ 351918079/4783711813153917597391658915506858590379343*c_1001_5^11 + 61436386449331656629619714762430110339624/4783711813153917597391658\ 915506858590379343*c_1001_5^10 + 3589255012480337592691505055425134\ 30206760/4783711813153917597391658915506858590379343*c_1001_5^9 + 2096966107318443146707355094389690474641255/47837118131539175973916\ 58915506858590379343*c_1001_5^8 + 283532117303420648488881411946290\ 7845233467/4783711813153917597391658915506858590379343*c_1001_5^7 - 5606639629772968344342875257612083761071663/47837118131539175973916\ 58915506858590379343*c_1001_5^6 - 664256584620583414351293339618346\ 8861588187/4783711813153917597391658915506858590379343*c_1001_5^5 + 5066686172658175391572332088877511843862146/47837118131539175973916\ 58915506858590379343*c_1001_5^4 + 483337816424738986412561079023724\ 0379017765/4783711813153917597391658915506858590379343*c_1001_5^3 - 8090249015431716705280412619870311147359210/47837118131539175973916\ 58915506858590379343*c_1001_5^2 + 103226403671922989093047891478991\ 0106029340/4783711813153917597391658915506858590379343*c_1001_5 + 3983809269224704146541416638747883493399118/47837118131539175973916\ 58915506858590379343, c_0101_4 - 4046719106619129848707302726966345726196/4783711813153917597\ 391658915506858590379343*c_1001_5^21 - 1569603661486057506009344239938075409334/47837118131539175973916589\ 15506858590379343*c_1001_5^20 - 13629909112724587703164600200387997\ 66108/4783711813153917597391658915506858590379343*c_1001_5^19 + 72815251585165699384913734929779368827214/4783711813153917597391658\ 915506858590379343*c_1001_5^18 + 1302332233775365936905393645113763\ 60465104/4783711813153917597391658915506858590379343*c_1001_5^17 - 226585863383205047402471447810959949435356/478371181315391759739165\ 8915506858590379343*c_1001_5^16 - 621651226769429851261937412033562\ 675260401/4783711813153917597391658915506858590379343*c_1001_5^15 + 382379705916245134092420868506518459068725/478371181315391759739165\ 8915506858590379343*c_1001_5^14 + 724925097241124731721809372662037\ 926835977/4783711813153917597391658915506858590379343*c_1001_5^13 - 404394996903105410571001542117013473787645/478371181315391759739165\ 8915506858590379343*c_1001_5^12 - 853340228250576489156254112188751\ 635798758/4783711813153917597391658915506858590379343*c_1001_5^11 - 371815434942037773627265016627226066146552/478371181315391759739165\ 8915506858590379343*c_1001_5^10 - 213122888343936330341823194008770\ 168409703/4783711813153917597391658915506858590379343*c_1001_5^9 + 5993297963463363613187472803879714040329197/47837118131539175973916\ 58915506858590379343*c_1001_5^8 + 494732240666409655754815975038012\ 2114379758/4783711813153917597391658915506858590379343*c_1001_5^7 - 7781946197932529411203426819773116470034999/47837118131539175973916\ 58915506858590379343*c_1001_5^6 - 959980742250357669472952915892929\ 7231219686/4783711813153917597391658915506858590379343*c_1001_5^5 + 8123402829079462353936124346211746540263171/47837118131539175973916\ 58915506858590379343*c_1001_5^4 + 288318935723968479401397838779513\ 1835229433/4783711813153917597391658915506858590379343*c_1001_5^3 - 10598830775953348142026999393870285232357036/4783711813153917597391\ 658915506858590379343*c_1001_5^2 - 3887851631775707153125315457462372896189729/47837118131539175973916\ 58915506858590379343*c_1001_5 + 74006395713479229433107890310256267\ 22842502/4783711813153917597391658915506858590379343, c_0101_6 + 958374936384520848354263004598802607913/47837118131539175973\ 91658915506858590379343*c_1001_5^21 - 523908885423742203894930393605600533898/478371181315391759739165891\ 5506858590379343*c_1001_5^20 + 596871279126357010037567969827526778\ 0856/4783711813153917597391658915506858590379343*c_1001_5^19 - 12273004210091495084857984521818816750214/4783711813153917597391658\ 915506858590379343*c_1001_5^18 - 6054107044532047536901670824822649\ 364263/4783711813153917597391658915506858590379343*c_1001_5^17 - 14172857056386400490221572495761010715114/4783711813153917597391658\ 915506858590379343*c_1001_5^16 - 1301362499071734365718544527430504\ 21030760/4783711813153917597391658915506858590379343*c_1001_5^15 - 71935996568152322540473620730932733143820/4783711813153917597391658\ 915506858590379343*c_1001_5^14 + 7176728836129170485845693203879970\ 50982333/4783711813153917597391658915506858590379343*c_1001_5^13 - 34628949880311261898347715397734645367172/4783711813153917597391658\ 915506858590379343*c_1001_5^12 - 4405522702520424095607877111764287\ 25572003/4783711813153917597391658915506858590379343*c_1001_5^11 + 667962688425207496499626962079262435927121/478371181315391759739165\ 8915506858590379343*c_1001_5^10 + 112734198358130120945111001976620\ 1656584354/4783711813153917597391658915506858590379343*c_1001_5^9 - 575188180933461332883283422765273148376585/478371181315391759739165\ 8915506858590379343*c_1001_5^8 + 3081681417116230905829231228831546\ 827499605/4783711813153917597391658915506858590379343*c_1001_5^7 - 4151635552957681502885198351569582389965113/47837118131539175973916\ 58915506858590379343*c_1001_5^6 - 706205775223471314257996221021907\ 5891846471/4783711813153917597391658915506858590379343*c_1001_5^5 + 601050041164736985730425207496770332305295/478371181315391759739165\ 8915506858590379343*c_1001_5^4 + 8719747196379060382486924198490197\ 630448085/4783711813153917597391658915506858590379343*c_1001_5^3 - 10317599345759701266965005360440756630771714/4783711813153917597391\ 658915506858590379343*c_1001_5^2 + 1249208853582386435835710214951264523213083/47837118131539175973916\ 58915506858590379343*c_1001_5 + 88028299058490196403387825651264064\ 19578795/4783711813153917597391658915506858590379343, c_0110_2 - 2196064477320767597203996009202175295280/4783711813153917597\ 391658915506858590379343*c_1001_5^21 + 2718012356174107277717108268084425100865/47837118131539175973916589\ 15506858590379343*c_1001_5^20 - 63567078054989008921399402555841387\ 17090/4783711813153917597391658915506858590379343*c_1001_5^19 + 38186435349791623793072182798541388165704/4783711813153917597391658\ 915506858590379343*c_1001_5^18 - 4940520633116888801260555474446970\ 242202/4783711813153917597391658915506858590379343*c_1001_5^17 - 119126253209914385277315479065965869335159/478371181315391759739165\ 8915506858590379343*c_1001_5^16 + 633070402037286639210281714595994\ 19259892/4783711813153917597391658915506858590379343*c_1001_5^15 + 506356672528380672348399978789569632437101/478371181315391759739165\ 8915506858590379343*c_1001_5^14 - 690005226762977206101597623913041\ 566233225/4783711813153917597391658915506858590379343*c_1001_5^13 - 297429698987076495670230179319806823250523/478371181315391759739165\ 8915506858590379343*c_1001_5^12 + 111559815760342793418127395039677\ 303797244/4783711813153917597391658915506858590379343*c_1001_5^11 - 106748431807958929466278863269566688289812/478371181315391759739165\ 8915506858590379343*c_1001_5^10 - 849953509577669054672769669346535\ 918281580/4783711813153917597391658915506858590379343*c_1001_5^9 + 2814048340929819559552806539881207001105181/47837118131539175973916\ 58915506858590379343*c_1001_5^8 - 525485523277333398329668365319478\ 6826784919/4783711813153917597391658915506858590379343*c_1001_5^7 - 792443699207684916052056001103265156284624/478371181315391759739165\ 8915506858590379343*c_1001_5^6 + 6197739115732890902231289476542258\ 752176213/4783711813153917597391658915506858590379343*c_1001_5^5 + 6555398144503996087655913510214847349077775/47837118131539175973916\ 58915506858590379343*c_1001_5^4 - 109265842349828316614207554141325\ 96812742179/4783711813153917597391658915506858590379343*c_1001_5^3 + 7495520776200499471075790105595009315397690/47837118131539175973916\ 58915506858590379343*c_1001_5^2 + 237047112564240023484057178386345\ 7182457605/4783711813153917597391658915506858590379343*c_1001_5 - 2549393093651594212539975524429244485311925/47837118131539175973916\ 58915506858590379343, c_1001_1 - 958374936384520848354263004598802607913/47837118131539175973\ 91658915506858590379343*c_1001_5^21 + 523908885423742203894930393605600533898/478371181315391759739165891\ 5506858590379343*c_1001_5^20 - 596871279126357010037567969827526778\ 0856/4783711813153917597391658915506858590379343*c_1001_5^19 + 12273004210091495084857984521818816750214/4783711813153917597391658\ 915506858590379343*c_1001_5^18 + 6054107044532047536901670824822649\ 364263/4783711813153917597391658915506858590379343*c_1001_5^17 + 14172857056386400490221572495761010715114/4783711813153917597391658\ 915506858590379343*c_1001_5^16 + 1301362499071734365718544527430504\ 21030760/4783711813153917597391658915506858590379343*c_1001_5^15 + 71935996568152322540473620730932733143820/4783711813153917597391658\ 915506858590379343*c_1001_5^14 - 7176728836129170485845693203879970\ 50982333/4783711813153917597391658915506858590379343*c_1001_5^13 + 34628949880311261898347715397734645367172/4783711813153917597391658\ 915506858590379343*c_1001_5^12 + 4405522702520424095607877111764287\ 25572003/4783711813153917597391658915506858590379343*c_1001_5^11 - 667962688425207496499626962079262435927121/478371181315391759739165\ 8915506858590379343*c_1001_5^10 - 112734198358130120945111001976620\ 1656584354/4783711813153917597391658915506858590379343*c_1001_5^9 + 575188180933461332883283422765273148376585/478371181315391759739165\ 8915506858590379343*c_1001_5^8 - 3081681417116230905829231228831546\ 827499605/4783711813153917597391658915506858590379343*c_1001_5^7 + 4151635552957681502885198351569582389965113/47837118131539175973916\ 58915506858590379343*c_1001_5^6 + 706205775223471314257996221021907\ 5891846471/4783711813153917597391658915506858590379343*c_1001_5^5 - 601050041164736985730425207496770332305295/478371181315391759739165\ 8915506858590379343*c_1001_5^4 - 8719747196379060382486924198490197\ 630448085/4783711813153917597391658915506858590379343*c_1001_5^3 + 10317599345759701266965005360440756630771714/4783711813153917597391\ 658915506858590379343*c_1001_5^2 - 1249208853582386435835710214951264523213083/47837118131539175973916\ 58915506858590379343*c_1001_5 - 88028299058490196403387825651264064\ 19578795/4783711813153917597391658915506858590379343, c_1001_13 - 851688140416731405441664341194154522286/2391855906576958798\ 6958294577534292951896715*c_1001_5^21 + 2581356171837580719000458072626944908619/23918559065769587986958294\ 577534292951896715*c_1001_5^20 - 5709918638968237804647609774282313\ 706482/23918559065769587986958294577534292951896715*c_1001_5^19 + 402864123332147790952750849314493700099/478371181315391759739165891\ 5506858590379343*c_1001_5^18 - 439111843656586249104447080667810576\ 47746/23918559065769587986958294577534292951896715*c_1001_5^17 - 46897963536820815056400989691289534664106/2391855906576958798695829\ 4577534292951896715*c_1001_5^16 + 786892726394830366275948802295781\ 26039948/4783711813153917597391658915506858590379343*c_1001_5^15 + 145090049152119653879414719962789939334179/478371181315391759739165\ 8915506858590379343*c_1001_5^14 - 124904530289654494334978327341467\ 7109100296/23918559065769587986958294577534292951896715*c_1001_5^13 - 234012592851837139351863050704392292702217/4783711813153917597391\ 658915506858590379343*c_1001_5^12 + 1354483006103886187193254875884428312835121/23918559065769587986958\ 294577534292951896715*c_1001_5^11 - 207029260969207941712822802695814320386652/239185590657695879869582\ 94577534292951896715*c_1001_5^10 - 594696911359715112047843480278317266395178/478371181315391759739165\ 8915506858590379343*c_1001_5^9 + 7913721358129568663611382898645381\ 57831423/23918559065769587986958294577534292951896715*c_1001_5^8 - 10554116135260426751713632768755683805664526/2391855906576958798695\ 8294577534292951896715*c_1001_5^7 - 2486645118148450330416619757390378949907673/23918559065769587986958\ 294577534292951896715*c_1001_5^6 + 19438483786261012751343518921808301839016912/2391855906576958798695\ 8294577534292951896715*c_1001_5^5 + 8667433849471845887790612858749394569544063/23918559065769587986958\ 294577534292951896715*c_1001_5^4 - 3460225366733605469420741944645594214348106/47837118131539175973916\ 58915506858590379343*c_1001_5^3 + 250674459286274825693432492666417\ 78857323824/23918559065769587986958294577534292951896715*c_1001_5^2 + 19404822753399585285584289915263579256810469/23918559065769587986\ 958294577534292951896715*c_1001_5 - 20548554926456014510601817324567650838076824/2391855906576958798695\ 8294577534292951896715, c_1001_5^22 + c_1001_5^20 - 17*c_1001_5^19 - 24*c_1001_5^18 + 55*c_1001_5^17 + 94*c_1001_5^16 - 145*c_1001_5^15 + c_1001_5^14 + 189*c_1001_5^13 + 19*c_1001_5^12 + 68*c_1001_5^11 + 298*c_1001_5^10 - 1433*c_1001_5^9 - 256*c_1001_5^8 + 1482*c_1001_5^7 - 370*c_1001_5^6 - 2631*c_1001_5^5 + 2433*c_1001_5^4 + 1496*c_1001_5^3 - 1375*c_1001_5^2 + 528*c_1001_5 + 911, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 103.650 Total time: 103.849 seconds, Total memory usage: 801.88MB