Magma V2.19-8 Tue Aug 20 2013 18:58:15 on localhost [Seed = 627344378] Type ? for help. Type -D to quit. Loading file "11_173__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_173 geometric_solution 13.45778475 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 15 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962021385265 0.830377992590 0 4 5 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.159722795163 0.635239568692 0 0 7 6 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -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.404325828684 0.514161878510 8 9 0 10 0132 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 -1 1 0 0 0 0 5 -5 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514963168421 1.061137392391 1 1 11 12 3012 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.757282734896 0.572496736938 9 13 14 1 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.141073318369 0.757249384620 9 13 2 7 2103 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 5 -4 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.191348342633 1.028323757021 8 9 6 2 3012 0321 1230 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.054964203247 1.201756964426 3 14 10 7 0132 3012 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 -1 0 0 1 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.133231648287 0.841970561798 5 3 6 7 0213 0132 2103 0321 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 1 0 -1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.117978767565 0.798841386725 11 13 3 8 2103 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 5 0 -5 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.065939888160 0.815939418639 12 14 10 4 3120 0132 2103 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 -1 0 1 0 0 -1 0 1 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226534905398 0.568719140697 14 13 4 11 2031 0213 0132 3120 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 -4 0 4 -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.296358434074 1.023919505505 6 5 12 10 1230 0132 0213 2031 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 -5 0 0 0 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.825044680670 0.381303969832 8 11 12 5 1230 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664437007442 1.688128973362 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_0101_4'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_6'], 'c_1001_13' : d['c_1001_1'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_0110_6']), 'c_1001_6' : negation(d['c_0011_13']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_13']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_11'], 'c_1010_13' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0101_4'], 'c_1010_10' : d['c_0011_11'], 'c_1010_14' : d['c_0011_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : 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' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 'c_0101_14' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : negation(d['c_0011_11']), 'c_1100_9' : negation(d['c_0110_6']), 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_12'], 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : d['c_0110_6'], 'c_1100_6' : d['c_0110_6'], 'c_1100_1' : d['c_0101_12'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0110_6'], 'c_1100_14' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0101_2'], 'c_1100_13' : negation(d['c_0011_11']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : negation(d['c_0011_13']), 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : d['c_0101_2'], '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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), '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' : 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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_13']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0011_12'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_4'], 'c_0110_10' : d['c_0101_10'], 'c_0110_13' : d['c_0011_6'], 'c_0110_12' : d['c_0101_4'], 'c_0110_14' : negation(d['c_0011_3']), 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_7'], 'c_0110_0' : d['c_0011_7'], 's_3_12' : d['1'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : negation(d['c_0011_13']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_7'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_13']), 'c_0101_8' : d['c_0101_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : negation(d['c_0011_13']), 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} 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_12, c_0011_13, c_0011_3, c_0011_6, c_0011_7, c_0101_10, c_0101_12, c_0101_2, c_0101_4, c_0110_6, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 5716682373774710812276890882839/63721969034276905315205094522880*c_\ 1001_2^20 - 1895103821006778391284864065663/12744393806855381063041\ 018904576*c_1001_2^19 - 35857168780103384709894354182959/1593049225\ 8569226328801273630720*c_1001_2^18 - 110036185302856876138386751038681/31860984517138452657602547261440*\ c_1001_2^17 - 1510942899557493503961880634717769/637219690342769053\ 15205094522880*c_1001_2^16 - 2222514190707899143678638535219341/637\ 21969034276905315205094522880*c_1001_2^15 - 9081258996499522386160262455310751/63721969034276905315205094522880\ *c_1001_2^14 - 676799578619142250306350097989701/335378784390931080\ 6063426027520*c_1001_2^13 - 4135055216940885132358141128423831/7965\ 246129284613164400636815360*c_1001_2^12 - 11102232143977647823497389947264587/1593049225856922632880127363072\ 0*c_1001_2^11 - 8668389458658835213047132443805911/7965246129284613\ 164400636815360*c_1001_2^10 - 2539337298463837416477666578347341/19\ 91311532321153291100159203840*c_1001_2^9 - 12818525920513684393829184404083/15557121346259010086719993780*c_10\ 01_2^8 - 32763010504408941394102533881439/9956557661605766455500796\ 0192*c_1001_2^7 + 39001678821257463530751324001457/3111424269251802\ 0173439987560*c_1001_2^6 + 359826932405098608911095670319167/124456\ 970770072080693759950240*c_1001_2^5 + 1104639854672260197805561652207/379441984055097806993170580*c_1001_\ 2^4 + 6567960637867002513475219181049/3275183441317686334046314480*\ c_1001_2^3 - 1561694635292634484512557915343/2222445906608430012388\ 570540*c_1001_2^2 - 13231257440674962039538710010569/38892803365647\ 52521679998445*c_1001_2 - 8698442839590730658816522314261/388928033\ 6564752521679998445, c_0011_0 - 1, c_0011_10 - 281969725262606332645/8229346429575773681266688*c_1001_2^20 + 176349601299577511255/4114673214787886840633344*c_1001_2^19 - 6066424270622471808019/8229346429575773681266688*c_1001_2^18 + 2341649282863272521651/2057336607393943420316672*c_1001_2^17 - 51920513391556672984913/8229346429575773681266688*c_1001_2^16 + 50524343032278397833503/4114673214787886840633344*c_1001_2^15 - 111804716871803305245379/4114673214787886840633344*c_1001_2^14 + 156811567871607767295557/2057336607393943420316672*c_1001_2^13 - 343276285955058955271523/8229346429575773681266688*c_1001_2^12 + 1195529373240764979186225/4114673214787886840633344*c_1001_2^11 + 256983752457866055116853/2057336607393943420316672*c_1001_2^10 + 344048727158570261689563/514334151848485855079168*c_1001_2^9 + 178094254518736327692989/257167075924242927539584*c_1001_2^8 + 171026276306692527852867/257167075924242927539584*c_1001_2^7 + 55482696590276251703863/64291768981060731884896*c_1001_2^6 - 7655230474310119706545/16072942245265182971224*c_1001_2^5 - 23839255945128183432901/32145884490530365942448*c_1001_2^4 - 39633724918827888482745/16072942245265182971224*c_1001_2^3 - 2388846215212919950951/2009117780658147871403*c_1001_2^2 + 711127881934441166179/4018235561316295742806*c_1001_2 + 2375094419154892273505/2009117780658147871403, c_0011_11 - 1099544908489023232357/16458692859151547362533376*c_1001_2^\ 20 - 172031715597436771235/16458692859151547362533376*c_1001_2^19 - 13566099675241651703483/8229346429575773681266688*c_1001_2^18 - 1971255023639544357503/8229346429575773681266688*c_1001_2^17 - 283274486384369979057519/16458692859151547362533376*c_1001_2^16 - 57186334749672687360645/16458692859151547362533376*c_1001_2^15 - 1687863393265125394728443/16458692859151547362533376*c_1001_2^14 - 478450264474639702714399/16458692859151547362533376*c_1001_2^13 - 3061352959456639894187573/8229346429575773681266688*c_1001_2^12 - 606068891431162850998717/4114673214787886840633344*c_1001_2^11 - 1642246687975837009560305/2057336607393943420316672*c_1001_2^10 - 423701952269967490639833/1028668303696971710158336*c_1001_2^9 - 420727300825691191001901/514334151848485855079168*c_1001_2^8 - 121557648331893534800539/257167075924242927539584*c_1001_2^7 - 4328447004764833415941/64291768981060731884896*c_1001_2^6 + 38267291683264250324193/64291768981060731884896*c_1001_2^5 + 1407321627895650613575/8036471122632591485612*c_1001_2^4 + 11482811261603716737121/16072942245265182971224*c_1001_2^3 + 1310856975326990984117/8036471122632591485612*c_1001_2^2 - 4105892410610321888703/4018235561316295742806*c_1001_2 - 1290536448818869016580/2009117780658147871403, c_0011_12 + 43827699804718674973/4114673214787886840633344*c_1001_2^20 - 17007403190759882005/8229346429575773681266688*c_1001_2^19 + 2014968130168418912239/8229346429575773681266688*c_1001_2^18 - 407401633097658028719/4114673214787886840633344*c_1001_2^17 + 4694698092687130985949/2057336607393943420316672*c_1001_2^16 - 11897759666597882217935/8229346429575773681266688*c_1001_2^15 + 93567654272403246106459/8229346429575773681266688*c_1001_2^14 - 92323940358914541857671/8229346429575773681266688*c_1001_2^13 + 238106320548092728677707/8229346429575773681266688*c_1001_2^12 - 217847401589771559823099/4114673214787886840633344*c_1001_2^11 + 30080851391704404081183/2057336607393943420316672*c_1001_2^10 - 20152727548072978391449/128583537962121463769792*c_1001_2^9 - 14507196443442384580413/128583537962121463769792*c_1001_2^8 - 67808454233549466403989/257167075924242927539584*c_1001_2^7 - 26938809724912892496081/128583537962121463769792*c_1001_2^6 - 13253178153883400727709/64291768981060731884896*c_1001_2^5 + 1797893447190775816639/16072942245265182971224*c_1001_2^4 - 2081628508542427421763/16072942245265182971224*c_1001_2^3 + 1040054923940769328975/4018235561316295742806*c_1001_2^2 - 1882977932794982080139/2009117780658147871403*c_1001_2 - 438799152980074014450/2009117780658147871403, c_0011_13 + 1, c_0011_3 - 180021357690141563065/16458692859151547362533376*c_1001_2^20 - 310405063275036164763/16458692859151547362533376*c_1001_2^19 - 2321947168034581330313/8229346429575773681266688*c_1001_2^18 - 3351450886489912539535/8229346429575773681266688*c_1001_2^17 - 50449037386759432033843/16458692859151547362533376*c_1001_2^16 - 60887906239280867668205/16458692859151547362533376*c_1001_2^15 - 312883438003539731883459/16458692859151547362533376*c_1001_2^14 - 309465470106411244613263/16458692859151547362533376*c_1001_2^13 - 587887275139314950581203/8229346429575773681266688*c_1001_2^12 - 223365964148684088200507/4114673214787886840633344*c_1001_2^11 - 317513419349405252996911/2057336607393943420316672*c_1001_2^10 - 37275849186142529611785/514334151848485855079168*c_1001_2^9 - 33248194698737162341683/257167075924242927539584*c_1001_2^8 + 3861310273904755241137/128583537962121463769792*c_1001_2^7 + 4736763387060238053891/64291768981060731884896*c_1001_2^6 + 10426147646988969525175/64291768981060731884896*c_1001_2^5 - 4107674308866788937217/32145884490530365942448*c_1001_2^4 - 114424376474264807183/2009117780658147871403*c_1001_2^3 - 1933021999247834586985/2009117780658147871403*c_1001_2^2 - 468103400890326915287/4018235561316295742806*c_1001_2 + 2265521775011589617630/2009117780658147871403, c_0011_6 - 29304247910252900837/16458692859151547362533376*c_1001_2^20 + 132882142358881191833/16458692859151547362533376*c_1001_2^19 - 421274889568356425937/8229346429575773681266688*c_1001_2^18 + 1180602750582909846237/8229346429575773681266688*c_1001_2^17 - 11038303778494392878807/16458692859151547362533376*c_1001_2^16 + 14333919425327384925087/16458692859151547362533376*c_1001_2^15 - 83013955773033365201743/16458692859151547362533376*c_1001_2^14 + 30439188167684494833941/16458692859151547362533376*c_1001_2^13 - 195273532092037824250939/8229346429575773681266688*c_1001_2^12 - 24318096496251076647479/4114673214787886840633344*c_1001_2^11 - 141672644810484667182033/2057336607393943420316672*c_1001_2^10 - 19876382591532635210407/514334151848485855079168*c_1001_2^9 - 14036879981856970083151/128583537962121463769792*c_1001_2^8 - 4180168849400843075521/64291768981060731884896*c_1001_2^7 - 276496201405614473915/8036471122632591485612*c_1001_2^6 + 4479101307404620536629/64291768981060731884896*c_1001_2^5 + 295038890219683493475/32145884490530365942448*c_1001_2^4 + 304694281185488093935/4018235561316295742806*c_1001_2^3 - 651199130422646292722/2009117780658147871403*c_1001_2^2 - 409494905069821113613/4018235561316295742806*c_1001_2 - 1914900176573840217846/2009117780658147871403, c_0011_7 - 81093195134567046335/16458692859151547362533376*c_1001_2^20 + 69623914645321615893/16458692859151547362533376*c_1001_2^19 - 375737369398922938861/4114673214787886840633344*c_1001_2^18 + 1008647131985987394691/8229346429575773681266688*c_1001_2^17 - 10317166363015879302521/16458692859151547362533376*c_1001_2^16 + 21975696654333124193011/16458692859151547362533376*c_1001_2^15 - 32875403449769620171263/16458692859151547362533376*c_1001_2^14 + 132152182093353075848041/16458692859151547362533376*c_1001_2^13 - 1180603295702387020497/2057336607393943420316672*c_1001_2^12 + 115943515145282620247147/4114673214787886840633344*c_1001_2^11 + 1770256781129164943399/128583537962121463769792*c_1001_2^10 + 56294041166979144836789/1028668303696971710158336*c_1001_2^9 + 17804932570282729633053/514334151848485855079168*c_1001_2^8 + 510930184687637680611/16072942245265182971224*c_1001_2^7 - 1841718995481859461299/128583537962121463769792*c_1001_2^6 + 349654563805880324939/64291768981060731884896*c_1001_2^5 - 1189472876831699474903/32145884490530365942448*c_1001_2^4 + 2282449794677803261681/16072942245265182971224*c_1001_2^3 + 175060921787797906917/8036471122632591485612*c_1001_2^2 + 957450088286920108923/2009117780658147871403*c_1001_2 + 29304247910252900837/2009117780658147871403, c_0101_10 + 294758131379981338339/8229346429575773681266688*c_1001_2^20 + 265732380088120985631/8229346429575773681266688*c_1001_2^19 + 3600138460304316420893/4114673214787886840633344*c_1001_2^18 + 1332227014879199680061/2057336607393943420316672*c_1001_2^17 + 73771472117641996419169/8229346429575773681266688*c_1001_2^16 + 47224237036165034962429/8229346429575773681266688*c_1001_2^15 + 431189895909668278407653/8229346429575773681266688*c_1001_2^14 + 247193510262735971216809/8229346429575773681266688*c_1001_2^13 + 761217499642092818585453/4114673214787886840633344*c_1001_2^12 + 395791507707593631195271/4114673214787886840633344*c_1001_2^11 + 778953832445197130325077/2057336607393943420316672*c_1001_2^10 + 175849751459744250357073/1028668303696971710158336*c_1001_2^9 + 21172086761216237676263/64291768981060731884896*c_1001_2^8 + 4337480292023479250661/64291768981060731884896*c_1001_2^7 - 2255303344510315136033/128583537962121463769792*c_1001_2^6 - 18500160382878117792965/64291768981060731884896*c_1001_2^5 + 8002309987408244840501/32145884490530365942448*c_1001_2^4 - 475103477706388703631/4018235561316295742806*c_1001_2^3 + 12035710666623994757765/8036471122632591485612*c_1001_2^2 + 744445935889779629662/2009117780658147871403*c_1001_2 - 2423583866653613546601/2009117780658147871403, c_0101_12 + 1174125186434570388863/16458692859151547362533376*c_1001_2^\ 20 + 730601519700316888969/16458692859151547362533376*c_1001_2^19 + 14284526579892445092141/8229346429575773681266688*c_1001_2^18 + 7100066389267836223997/8229346429575773681266688*c_1001_2^17 + 292600753287721576918245/16458692859151547362533376*c_1001_2^16 + 126743548877936048059055/16458692859151547362533376*c_1001_2^15 + 1718262101088119437662809/16458692859151547362533376*c_1001_2^14 + 685259209417524351255869/16458692859151547362533376*c_1001_2^13 + 3073630093567478124193191/8229346429575773681266688*c_1001_2^12 + 579011495417676961994075/4114673214787886840633344*c_1001_2^11 + 400215218649597524170519/514334151848485855079168*c_1001_2^10 + 4166797971651595703493/16072942245265182971224*c_1001_2^9 + 167019007263564943060179/257167075924242927539584*c_1001_2^8 + 21641287433610004328279/257167075924242927539584*c_1001_2^7 - 69048469992592599002799/128583537962121463769792*c_1001_2^6 - 9754437041673675857235/16072942245265182971224*c_1001_2^5 - 21452445820837046274209/16072942245265182971224*c_1001_2^4 + 58982162662070886685/16072942245265182971224*c_1001_2^3 + 1918521690226753639629/8036471122632591485612*c_1001_2^2 + 1491593126269540069026/2009117780658147871403*c_1001_2 + 609355368585203102285/2009117780658147871403, c_0101_2 + 81093195134567046335/16458692859151547362533376*c_1001_2^20 - 69623914645321615893/16458692859151547362533376*c_1001_2^19 + 375737369398922938861/4114673214787886840633344*c_1001_2^18 - 1008647131985987394691/8229346429575773681266688*c_1001_2^17 + 10317166363015879302521/16458692859151547362533376*c_1001_2^16 - 21975696654333124193011/16458692859151547362533376*c_1001_2^15 + 32875403449769620171263/16458692859151547362533376*c_1001_2^14 - 132152182093353075848041/16458692859151547362533376*c_1001_2^13 + 1180603295702387020497/2057336607393943420316672*c_1001_2^12 - 115943515145282620247147/4114673214787886840633344*c_1001_2^11 - 1770256781129164943399/128583537962121463769792*c_1001_2^10 - 56294041166979144836789/1028668303696971710158336*c_1001_2^9 - 17804932570282729633053/514334151848485855079168*c_1001_2^8 - 510930184687637680611/16072942245265182971224*c_1001_2^7 + 1841718995481859461299/128583537962121463769792*c_1001_2^6 - 349654563805880324939/64291768981060731884896*c_1001_2^5 + 1189472876831699474903/32145884490530365942448*c_1001_2^4 - 2282449794677803261681/16072942245265182971224*c_1001_2^3 - 175060921787797906917/8036471122632591485612*c_1001_2^2 - 2966567868945067980326/2009117780658147871403*c_1001_2 - 29304247910252900837/2009117780658147871403, c_0101_4 + 85484679187477756175/16458692859151547362533376*c_1001_2^20 + 1493747728325075739339/16458692859151547362533376*c_1001_2^19 + 87090216897216289499/514334151848485855079168*c_1001_2^18 + 18251226598474147358455/8229346429575773681266688*c_1001_2^17 + 37659366059154551234337/16458692859151547362533376*c_1001_2^16 + 375207874288473531216917/16458692859151547362533376*c_1001_2^15 + 311787129874998060072115/16458692859151547362533376*c_1001_2^14 + 2179159902802125365648259/16458692859151547362533376*c_1001_2^13 + 435310445237871281487051/4114673214787886840633344*c_1001_2^12 + 939993453199137737739239/2057336607393943420316672*c_1001_2^11 + 827991738761072014088401/2057336607393943420316672*c_1001_2^10 + 441198336370900399738859/514334151848485855079168*c_1001_2^9 + 121270312608736263730179/128583537962121463769792*c_1001_2^8 + 26570927518401563238401/64291768981060731884896*c_1001_2^7 + 124693400391696806952791/128583537962121463769792*c_1001_2^6 - 75006401243985865411447/64291768981060731884896*c_1001_2^5 - 32345711595273417958379/32145884490530365942448*c_1001_2^4 - 8603551254912203019465/8036471122632591485612*c_1001_2^3 - 13965622655789528599687/8036471122632591485612*c_1001_2^2 + 1045094388780207028926/2009117780658147871403*c_1001_2 + 3600807028337633127733/2009117780658147871403, c_0110_6 - 81093195134567046335/16458692859151547362533376*c_1001_2^20 + 69623914645321615893/16458692859151547362533376*c_1001_2^19 - 375737369398922938861/4114673214787886840633344*c_1001_2^18 + 1008647131985987394691/8229346429575773681266688*c_1001_2^17 - 10317166363015879302521/16458692859151547362533376*c_1001_2^16 + 21975696654333124193011/16458692859151547362533376*c_1001_2^15 - 32875403449769620171263/16458692859151547362533376*c_1001_2^14 + 132152182093353075848041/16458692859151547362533376*c_1001_2^13 - 1180603295702387020497/2057336607393943420316672*c_1001_2^12 + 115943515145282620247147/4114673214787886840633344*c_1001_2^11 + 1770256781129164943399/128583537962121463769792*c_1001_2^10 + 56294041166979144836789/1028668303696971710158336*c_1001_2^9 + 17804932570282729633053/514334151848485855079168*c_1001_2^8 + 510930184687637680611/16072942245265182971224*c_1001_2^7 - 1841718995481859461299/128583537962121463769792*c_1001_2^6 + 349654563805880324939/64291768981060731884896*c_1001_2^5 - 1189472876831699474903/32145884490530365942448*c_1001_2^4 + 2282449794677803261681/16072942245265182971224*c_1001_2^3 + 175060921787797906917/8036471122632591485612*c_1001_2^2 + 957450088286920108923/2009117780658147871403*c_1001_2 + 29304247910252900837/2009117780658147871403, c_1001_1 + 1894370021336084618663/16458692859151547362533376*c_1001_2^2\ 0 + 1473766420324390951119/16458692859151547362533376*c_1001_2^19 + 2907747946249044361415/1028668303696971710158336*c_1001_2^18 + 16170240354753215909021/8229346429575773681266688*c_1001_2^17 + 480420716333240020373737/16458692859151547362533376*c_1001_2^16 + 325891466449405144503049/16458692859151547362533376*c_1001_2^15 + 2827725959318943110538795/16458692859151547362533376*c_1001_2^14 + 1953048607990366492495771/16458692859151547362533376*c_1001_2^13 + 2513400746876041831364249/4114673214787886840633344*c_1001_2^12 + 1824482996200121144615965/4114673214787886840633344*c_1001_2^11 + 639810515634651295817605/514334151848485855079168*c_1001_2^10 + 975171140301116071921857/1028668303696971710158336*c_1001_2^9 + 60127361926604081594051/64291768981060731884896*c_1001_2^8 + 90411481881272697885241/128583537962121463769792*c_1001_2^7 - 17434258434585479192631/16072942245265182971224*c_1001_2^6 - 87505074550406289213125/64291768981060731884896*c_1001_2^5 - 17384110377469236260491/8036471122632591485612*c_1001_2^4 - 17850730138246866159549/16072942245265182971224*c_1001_2^3 + 610919463879374359645/2009117780658147871403*c_1001_2^2 + 3618932429313258434235/2009117780658147871403*c_1001_2 + 921025523693946692247/2009117780658147871403, c_1001_2^21 + c_1001_2^20 + 24*c_1001_2^19 + 22*c_1001_2^18 + 239*c_1001_2^17 + 215*c_1001_2^16 + 1333*c_1001_2^15 + 1205*c_1001_2^14 + 4308*c_1001_2^13 + 3964*c_1001_2^12 + 7024*c_1001_2^11 + 6240*c_1001_2^10 - 160*c_1001_2^9 - 2368*c_1001_2^8 - 16384*c_1001_2^7 - 23040*c_1001_2^6 - 11264*c_1001_2^5 - 1024*c_1001_2^4 + 22528*c_1001_2^3 + 32768*c_1001_2^2 - 16384 ], 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_12, c_0011_13, c_0011_3, c_0011_6, c_0011_7, c_0101_10, c_0101_12, c_0101_2, c_0101_4, c_0110_6, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 199269413863582619234848/471608053509715775*c_1001_2^27 + 1216221597388114328419956/471608053509715775*c_1001_2^26 - 5184931763504575521149194/471608053509715775*c_1001_2^25 + 638079394346284110398374/94321610701943155*c_1001_2^24 - 13761197599690589774072804/471608053509715775*c_1001_2^23 - 65244675505270326580513/471608053509715775*c_1001_2^22 - 464245119687275628208179/8898265160560675*c_1001_2^21 - 137325152993679723128209/8898265160560675*c_1001_2^20 - 7949055249109475815805677/94321610701943155*c_1001_2^19 - 11490113268838056885571876/471608053509715775*c_1001_2^18 - 50760946129203094658480739/471608053509715775*c_1001_2^17 - 16529030921126542541470641/471608053509715775*c_1001_2^16 - 55980587505530226144335046/471608053509715775*c_1001_2^15 - 412899938520526141077736/8898265160560675*c_1001_2^14 - 12458276357241425553107184/94321610701943155*c_1001_2^13 - 1200804835890012199103663/18864322140388631*c_1001_2^12 - 13212175663772564891543157/94321610701943155*c_1001_2^11 - 35665669571901950305725271/471608053509715775*c_1001_2^10 - 56948104408378065845500182/471608053509715775*c_1001_2^9 - 26751997040495262742659306/471608053509715775*c_1001_2^8 - 35035480465245001032086654/471608053509715775*c_1001_2^7 - 11000873779013488866264669/471608053509715775*c_1001_2^6 - 13886506976964938301353339/471608053509715775*c_1001_2^5 - 2061960176873788578536454/471608053509715775*c_1001_2^4 - 626543520631537522198532/94321610701943155*c_1001_2^3 - 33150203604066111680041/471608053509715775*c_1001_2^2 - 60854636924187027043614/94321610701943155*c_1001_2 + 27922259673667057442747/471608053509715775, c_0011_0 - 1, c_0011_10 - 1725872557089/16455396275*c_1001_2^27 + 5323705097733/16455396275*c_1001_2^26 - 13989248944042/16455396275*c_1001_2^25 - 20813173853468/3291079255*c_1001_2^24 - 49466191823572/16455396275*c_1001_2^23 - 385026822202134/16455396275*c_1001_2^22 - 4813126294472/310479175*c_1001_2^21 - 15025499412262/310479175*c_1001_2^20 - 130334957714836/3291079255*c_1001_2^19 - 1323804954089268/16455396275*c_1001_2^18 - 967564644572077/16455396275*c_1001_2^17 - 1765032771687838/16455396275*c_1001_2^16 - 1208421135159553/16455396275*c_1001_2^15 - 38092086012173/310479175*c_1001_2^14 - 291623624776572/3291079255*c_1001_2^13 - 91971680507077/658215851*c_1001_2^12 - 351899941095551/3291079255*c_1001_2^11 - 2522609384193428/16455396275*c_1001_2^10 - 1895968358905126/16455396275*c_1001_2^9 - 2245468048045358/16455396275*c_1001_2^8 - 1455977464891747/16455396275*c_1001_2^7 - 1422102881339617/16455396275*c_1001_2^6 - 687213056318252/16455396275*c_1001_2^5 - 583667183137847/16455396275*c_1001_2^4 - 35372489360726/3291079255*c_1001_2^3 - 137849641163663/16455396275*c_1001_2^2 - 3806453084407/3291079255*c_1001_2 - 14192539945254/16455396275, c_0011_11 - 27060682910/658215851*c_1001_2^27 + 136306754112/658215851*c_1001_2^26 - 504845830665/658215851*c_1001_2^25 - 456480310318/658215851*c_1001_2^24 - 826567471857/658215851*c_1001_2^23 - 2265086654210/658215851*c_1001_2^22 - 37367872715/12419167*c_1001_2^21 - 81168428582/12419167*c_1001_2^20 - 4060082384669/658215851*c_1001_2^19 - 6288516290153/658215851*c_1001_2^18 - 4692663548859/658215851*c_1001_2^17 - 8200908121650/658215851*c_1001_2^16 - 5340112342792/658215851*c_1001_2^15 - 172595753273/12419167*c_1001_2^14 - 6619752915832/658215851*c_1001_2^13 - 10691187707062/658215851*c_1001_2^12 - 7658596668444/658215851*c_1001_2^11 - 11167230605900/658215851*c_1001_2^10 - 6943637387049/658215851*c_1001_2^9 - 8242035553299/658215851*c_1001_2^8 - 3805398147918/658215851*c_1001_2^7 - 4239225856952/658215851*c_1001_2^6 - 945828083838/658215851*c_1001_2^5 - 1595309887500/658215851*c_1001_2^4 - 4660287417/658215851*c_1001_2^3 - 408634308599/658215851*c_1001_2^2 + 27253140401/658215851*c_1001_2 - 50332204841/658215851, c_0011_12 + 3709792736528/16455396275*c_1001_2^27 - 31626436246666/16455396275*c_1001_2^26 + 150751748249134/16455396275*c_1001_2^25 - 57857839771264/3291079255*c_1001_2^24 + 383150060141344/16455396275*c_1001_2^23 - 604863264494182/16455396275*c_1001_2^22 + 7692991203844/310479175*c_1001_2^21 - 18147961446976/310479175*c_1001_2^20 + 66157549688652/3291079255*c_1001_2^19 - 1583241204499214/16455396275*c_1001_2^18 + 301777782960754/16455396275*c_1001_2^17 - 1990733341233374/16455396275*c_1001_2^16 + 134359804176456/16455396275*c_1001_2^15 - 40283136039304/310479175*c_1001_2^14 - 1010060207451/3291079255*c_1001_2^13 - 91402967188875/658215851*c_1001_2^12 - 63527421665978/3291079255*c_1001_2^11 - 2371759743800319/16455396275*c_1001_2^10 - 751165332765698/16455396275*c_1001_2^9 - 2144864533697434/16455396275*c_1001_2^8 - 725206625460656/16455396275*c_1001_2^7 - 1432143234728266/16455396275*c_1001_2^6 - 344917525599921/16455396275*c_1001_2^5 - 608262297305831/16455396275*c_1001_2^4 - 16206707555488/3291079255*c_1001_2^3 - 142822270177149/16455396275*c_1001_2^2 - 1517148562726/3291079255*c_1001_2 - 13987904057167/16455396275, c_0011_13 + 5883301986112/16455396275*c_1001_2^27 - 34380805552814/16455396275*c_1001_2^26 + 143911942209786/16455396275*c_1001_2^25 - 11062554541516/3291079255*c_1001_2^24 + 385297257945876/16455396275*c_1001_2^23 + 107218013630372/16455396275*c_1001_2^22 + 13859765347926/310479175*c_1001_2^21 + 7706492479946/310479175*c_1001_2^20 + 249012459561758/3291079255*c_1001_2^19 + 655595856986644/16455396275*c_1001_2^18 + 1613880096113516/16455396275*c_1001_2^17 + 895097440590629/16455396275*c_1001_2^16 + 1812553537387849/16455396275*c_1001_2^15 + 20742280739734/310479175*c_1001_2^14 + 408988419080661/3291079255*c_1001_2^13 + 55653913455296/658215851*c_1001_2^12 + 444797570335858/3291079255*c_1001_2^11 + 1594629930783574/16455396275*c_1001_2^10 + 2001864225521558/16455396275*c_1001_2^9 + 1264238511818639/16455396275*c_1001_2^8 + 1281096251832601/16455396275*c_1001_2^7 + 621285885624836/16455396275*c_1001_2^6 + 519269499917391/16455396275*c_1001_2^5 + 180588695205951/16455396275*c_1001_2^4 + 23524352704653/3291079255*c_1001_2^3 + 28581644874229/16455396275*c_1001_2^2 + 2255324338616/3291079255*c_1001_2 + 1908941865582/16455396275, c_0011_3 + 3050196362722/3291079255*c_1001_2^27 - 17735588530444/3291079255*c_1001_2^26 + 74026932909026/3291079255*c_1001_2^25 - 5222001428684/658215851*c_1001_2^24 + 197290145940706/3291079255*c_1001_2^23 + 62321056270752/3291079255*c_1001_2^22 + 7143503906286/62095835*c_1001_2^21 + 4198824628246/62095835*c_1001_2^20 + 129010053004660/658215851*c_1001_2^19 + 356417655517834/3291079255*c_1001_2^18 + 835926262301746/3291079255*c_1001_2^17 + 485286915023049/3291079255*c_1001_2^16 + 940129534597229/3291079255*c_1001_2^15 + 11181122042429/62095835*c_1001_2^14 + 212524454012204/658215851*c_1001_2^13 + 149232879444802/658215851*c_1001_2^12 + 231612034265665/658215851*c_1001_2^11 + 852009663119544/3291079255*c_1001_2^10 + 1045255689109728/3291079255*c_1001_2^9 + 676123482695459/3291079255*c_1001_2^8 + 669522808901431/3291079255*c_1001_2^7 + 334954764780321/3291079255*c_1001_2^6 + 270765830830286/3291079255*c_1001_2^5 + 99067835076931/3291079255*c_1001_2^4 + 12198461861550/658215851*c_1001_2^3 + 16133689025984/3291079255*c_1001_2^2 + 1158972739471/658215851*c_1001_2 + 1123746920422/3291079255, c_0011_6 - c_1001_2^27 + 7*c_1001_2^26 - 32*c_1001_2^25 + 43*c_1001_2^24 - 100*c_1001_2^23 + 84*c_1001_2^22 - 166*c_1001_2^21 + 112*c_1001_2^20 - 226*c_1001_2^19 + 172*c_1001_2^18 - 278*c_1001_2^17 + 230*c_1001_2^16 - 294*c_1001_2^15 + 246*c_1001_2^14 - 298*c_1001_2^13 + 236*c_1001_2^12 - 280*c_1001_2^11 + 223*c_1001_2^10 - 194*c_1001_2^9 + 225*c_1001_2^8 - 84*c_1001_2^7 + 204*c_1001_2^6 - 20*c_1001_2^5 + 130*c_1001_2^4 - 2*c_1001_2^3 + 51*c_1001_2^2 + 10, c_0011_7 + c_1001_2^27 - 6*c_1001_2^26 + 26*c_1001_2^25 - 17*c_1001_2^24 + 83*c_1001_2^23 - c_1001_2^22 + 165*c_1001_2^21 + 53*c_1001_2^20 + 279*c_1001_2^19 + 107*c_1001_2^18 + 385*c_1001_2^17 + 155*c_1001_2^16 + 449*c_1001_2^15 + 203*c_1001_2^14 + 501*c_1001_2^13 + 265*c_1001_2^12 + 545*c_1001_2^11 + 322*c_1001_2^10 + 516*c_1001_2^9 + 291*c_1001_2^8 + 375*c_1001_2^7 + 171*c_1001_2^6 + 191*c_1001_2^5 + 61*c_1001_2^4 + 63*c_1001_2^3 + 12*c_1001_2^2 + 12*c_1001_2 + 1, c_0101_10 - 1263077756443/16455396275*c_1001_2^27 + 8460311045746/16455396275*c_1001_2^26 - 38075595305454/16455396275*c_1001_2^25 + 8701482998879/3291079255*c_1001_2^24 - 114743891814989/16455396275*c_1001_2^23 + 57556874730417/16455396275*c_1001_2^22 - 3582785475989/310479175*c_1001_2^21 + 686772119781/310479175*c_1001_2^20 - 56893609971327/3291079255*c_1001_2^19 + 45405204970959/16455396275*c_1001_2^18 - 377529453998649/16455396275*c_1001_2^17 + 43468336706394/16455396275*c_1001_2^16 - 410812092551536/16455396275*c_1001_2^15 + 205792198824/310479175*c_1001_2^14 - 88035525549509/3291079255*c_1001_2^13 - 1163108480322/658215851*c_1001_2^12 - 90393465041497/3291079255*c_1001_2^11 - 73580317519836/16455396275*c_1001_2^10 - 380279695850787/16455396275*c_1001_2^9 - 61302665607396/16455396275*c_1001_2^8 - 247014556766964/16455396275*c_1001_2^7 - 8048855586704/16455396275*c_1001_2^6 - 114282713960799/16455396275*c_1001_2^5 + 13005446502611/16455396275*c_1001_2^4 - 6397177648612/3291079255*c_1001_2^3 + 6152865778644/16455396275*c_1001_2^2 - 788347995584/3291079255*c_1001_2 + 783426641427/16455396275, c_0101_12 + 16902557964768/16455396275*c_1001_2^27 - 122869828554296/16455396275*c_1001_2^26 + 559949424082104/16455396275*c_1001_2^25 - 157475061659724/3291079255*c_1001_2^24 + 1507193072908164/16455396275*c_1001_2^23 - 1467080915432842/16455396275*c_1001_2^22 + 39630899150364/310479175*c_1001_2^21 - 39196642967856/310479175*c_1001_2^20 + 505942837339032/3291079255*c_1001_2^19 - 3445437760912484/16455396275*c_1001_2^18 + 2849706522524599/16455396275*c_1001_2^17 - 4429051921005619/16455396275*c_1001_2^16 + 2663623194244486/16455396275*c_1001_2^15 - 87782187352749/310479175*c_1001_2^14 + 505519782391094/3291079255*c_1001_2^13 - 187393906267852/658215851*c_1001_2^12 + 387035059792142/3291079255*c_1001_2^11 - 4731212321916964/16455396275*c_1001_2^10 + 406536124273312/16455396275*c_1001_2^9 - 4673928888974954/16455396275*c_1001_2^8 - 642358319413186/16455396275*c_1001_2^7 - 3618753933822146/16455396275*c_1001_2^6 - 553895341580676/16455396275*c_1001_2^5 - 1775711841945636/16455396275*c_1001_2^4 - 34742096522348/3291079255*c_1001_2^3 - 474950900239294/16455396275*c_1001_2^2 - 3985618391506/3291079255*c_1001_2 - 52715425748402/16455396275, c_0101_2 - 1908941865582/16455396275*c_1001_2^27 + 17336953179604/16455396275*c_1001_2^26 - 84013294057946/16455396275*c_1001_2^25 + 35272790784936/3291079255*c_1001_2^24 - 213754947550886/16455396275*c_1001_2^23 + 387206199811458/16455396275*c_1001_2^22 - 3919950833786/310479175*c_1001_2^21 + 11950823482344/310479175*c_1001_2^20 - 24830135812048/3291079255*c_1001_2^19 + 1040805518191516/16455396275*c_1001_2^18 - 79346761262426/16455396275*c_1001_2^17 + 1317994106948306/16455396275*c_1001_2^16 + 37982542944311/16455396275*c_1001_2^15 + 26887515824051/310479175*c_1001_2^14 + 28592200909864/3291079255*c_1001_2^13 + 61562900040963/658215851*c_1001_2^12 + 70194903928042/3291079255*c_1001_2^11 + 1609308570961886/16455396275*c_1001_2^10 + 609615928143262/16455396275*c_1001_2^9 + 1446362142637196/16455396275*c_1001_2^8 + 548385312225389/16455396275*c_1001_2^7 + 954667192818079/16455396275*c_1001_2^6 + 256677989298674/16455396275*c_1001_2^5 + 402824046116889/16455396275*c_1001_2^4 + 12065071534857/3291079255*c_1001_2^3 + 94714461136281/16455396275*c_1001_2^2 + 1131577418194/3291079255*c_1001_2 + 9367679827498/16455396275, c_0101_4 - 12380639555712/16455396275*c_1001_2^27 + 67556609755914/16455396275*c_1001_2^26 - 276295861689236/16455396275*c_1001_2^25 + 1496452619041/3291079255*c_1001_2^24 - 799217500683151/16455396275*c_1001_2^23 - 537091638005572/16455396275*c_1001_2^22 - 32120572678251/310479175*c_1001_2^21 - 28371098260221/310479175*c_1001_2^20 - 616274456218863/3291079255*c_1001_2^19 - 2495778229499669/16455396275*c_1001_2^18 - 4145055393227616/16455396275*c_1001_2^17 - 3334765900440354/16455396275*c_1001_2^16 - 4784772366867599/16455396275*c_1001_2^15 - 74846446330984/310479175*c_1001_2^14 - 1091983695622916/3291079255*c_1001_2^13 - 191839858894700/658215851*c_1001_2^12 - 1223351099771708/3291079255*c_1001_2^11 - 5425605040257574/16455396275*c_1001_2^10 - 5835745402947058/16455396275*c_1001_2^9 - 4561302168321914/16455396275*c_1001_2^8 - 3979645209989601/16455396275*c_1001_2^7 - 2510852260276136/16455396275*c_1001_2^6 - 1708104547177941/16455396275*c_1001_2^5 - 848138235461126/16455396275*c_1001_2^4 - 81475947348333/3291079255*c_1001_2^3 - 160021960527254/16455396275*c_1001_2^2 - 8217314115066/3291079255*c_1001_2 - 12993634556932/16455396275, c_0110_6 - 1925397261857/16455396275*c_1001_2^27 + 17435685557254/16455396275*c_1001_2^26 - 84441134361096/16455396275*c_1001_2^25 + 35328739132271/3291079255*c_1001_2^24 - 215120745441711/16455396275*c_1001_2^23 + 387222655207733/16455396275*c_1001_2^22 - 3971179897661/310479175*c_1001_2^21 + 11934368086069/310479175*c_1001_2^20 - 25748346924193/3291079255*c_1001_2^19 + 1039044790790091/16455396275*c_1001_2^18 - 85682088828301/16455396275*c_1001_2^17 + 1315443520525681/16455396275*c_1001_2^16 + 30594070016836/16455396275*c_1001_2^15 + 26824488551526/310479175*c_1001_2^14 + 26943370203109/3291079255*c_1001_2^13 + 61388472840448/658215851*c_1001_2^12 + 68401265734067/3291079255*c_1001_2^11 + 1604009933361336/16455396275*c_1001_2^10 + 601124943665362/16455396275*c_1001_2^9 + 1441573622321171/16455396275*c_1001_2^8 + 542214538622264/16455396275*c_1001_2^7 + 951853320055054/16455396275*c_1001_2^6 + 253535008610149/16455396275*c_1001_2^5 + 401820266944114/16455396275*c_1001_2^4 + 11857733541792/3291079255*c_1001_2^3 + 94516996380981/16455396275*c_1001_2^2 + 1098666625644/3291079255*c_1001_2 + 9351224431223/16455396275, c_1001_1 + 3908923407836/16455396275*c_1001_2^27 - 32527381656992/16455396275*c_1001_2^26 + 154558315845958/16455396275*c_1001_2^25 - 58037531828308/3291079255*c_1001_2^24 + 421239141587603/16455396275*c_1001_2^23 - 654869780192759/16455396275*c_1001_2^22 + 9312822473228/310479175*c_1001_2^21 - 20069704846537/310479175*c_1001_2^20 + 81631670620569/3291079255*c_1001_2^19 - 1754384377409893/16455396275*c_1001_2^18 + 342935447605448/16455396275*c_1001_2^17 - 2298009884102463/16455396275*c_1001_2^16 + 164247178622372/16455396275*c_1001_2^15 - 47271535431798/310479175*c_1001_2^14 - 3070069105062/3291079255*c_1001_2^13 - 106729693446748/658215851*c_1001_2^12 - 70071812439946/3291079255*c_1001_2^11 - 2798407150390528/16455396275*c_1001_2^10 - 872574266846026/16455396275*c_1001_2^9 - 2619331142095108/16455396275*c_1001_2^8 - 953669109940772/16455396275*c_1001_2^7 - 1861020233067917/16455396275*c_1001_2^6 - 524827281678552/16455396275*c_1001_2^5 - 860219002740547/16455396275*c_1001_2^4 - 28834244847466/3291079255*c_1001_2^3 - 223494778180813/16455396275*c_1001_2^2 - 3165949222692/3291079255*c_1001_2 - 24622489730004/16455396275, c_1001_2^28 - 6*c_1001_2^27 + 26*c_1001_2^26 - 17*c_1001_2^25 + 83*c_1001_2^24 - c_1001_2^23 + 165*c_1001_2^22 + 53*c_1001_2^21 + 279*c_1001_2^20 + 107*c_1001_2^19 + 385*c_1001_2^18 + 155*c_1001_2^17 + 449*c_1001_2^16 + 203*c_1001_2^15 + 501*c_1001_2^14 + 265*c_1001_2^13 + 545*c_1001_2^12 + 322*c_1001_2^11 + 516*c_1001_2^10 + 291*c_1001_2^9 + 375*c_1001_2^8 + 171*c_1001_2^7 + 191*c_1001_2^6 + 61*c_1001_2^5 + 63*c_1001_2^4 + 12*c_1001_2^3 + 12*c_1001_2^2 + c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 570.480 Total time: 570.690 seconds, Total memory usage: 1665.16MB