Magma V2.19-8 Tue Aug 20 2013 20:29:23 on localhost [Seed = 3263469950] Type ? for help. Type -D to quit. Loading file "11_413__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_413 geometric_solution 14.36817488 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 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 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.561815612566 0.541150734405 0 5 7 6 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 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.903753081140 1.116120650585 7 0 6 8 1230 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655291233181 0.770255871916 9 10 11 0 0132 0132 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 1 0 -1 1 0 -1 0 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.040306648499 0.964537201509 9 7 0 6 3120 1230 0132 1230 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 0 0 -2 2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655291233181 0.770255871916 9 1 12 8 1302 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -2 0 2 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483095404593 0.479256489056 4 11 1 2 3012 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359254151550 0.753158637234 9 2 4 1 2103 3012 3012 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 1 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359254151550 0.753158637234 5 10 2 11 3201 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.768025603286 0.708636145805 3 5 7 4 0132 2031 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 -2 0 0 2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472574610726 0.758533878113 13 3 8 14 0132 0132 0213 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 -1 0 1 0 0 0 0 0 2 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.192371391620 0.964617087113 6 12 8 3 1230 3120 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 -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.296698215177 0.648917254844 13 11 14 5 1230 3120 1230 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 2 -2 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.510269190020 0.609456344926 10 12 14 14 0132 3012 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297612196336 0.491587778007 13 13 10 12 3120 0213 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 1 1 0 -2 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297612196336 0.491587778007 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_12']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_1001_11']), 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_7'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : negation(d['c_0011_14']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_12']), 'c_1010_14' : negation(d['c_0011_14']), 's_0_10' : d['1'], 's_3_10' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], 'c_0101_14' : d['c_0011_14'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0110_6'], 'c_0011_13' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_0110_6'], 'c_1100_7' : negation(d['c_1001_2']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_0110_6'], 'c_1100_3' : d['c_0110_6'], 'c_1100_2' : d['c_0110_6'], 'c_1100_14' : d['c_1001_11'], 'c_1100_9' : negation(d['c_0101_1']), 'c_1100_11' : d['c_0110_6'], 'c_1100_10' : d['c_1001_11'], 'c_1100_13' : negation(d['c_0011_14']), 's_0_11' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : negation(d['c_0101_11']), 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_1001_11'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_8'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0011_14'], 'c_0110_13' : d['c_0011_8'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0110_14' : d['c_0011_8'], 'c_1010_4' : d['c_0101_0'], 'c_0101_12' : d['c_0011_14'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_7'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_0101_13' : d['c_0011_14']})} 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_14, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0110_6, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 3916842622954376081630293086384128467806192/73466660964519609083290\ 1466617403881*c_1001_2^21 + 775781916267294390582724584547680631458\ 02067/43345329969066569359141186530426828979*c_1001_2^20 + 732877027605715700934150090282742181157607211/433453299690665693591\ 41186530426828979*c_1001_2^19 + 61224022069511914013302059943814955\ 5217732739/43345329969066569359141186530426828979*c_1001_2^18 + 7410344234594847085665365198184550856856609371/43345329969066569359\ 141186530426828979*c_1001_2^17 - 9824894502829813783008926233104133\ 104849115833/43345329969066569359141186530426828979*c_1001_2^16 + 14003041776768649588681859430739607820377498087/4334532996906656935\ 9141186530426828979*c_1001_2^15 - 790860883775770751618556033444693\ 6103884122459/43345329969066569359141186530426828979*c_1001_2^14 + 6522945983610022393246728845872359922939805899/43345329969066569359\ 141186530426828979*c_1001_2^13 + 2854512106888729979518319120054939\ 789966004684/43345329969066569359141186530426828979*c_1001_2^12 - 1625135126905314725597018060732966724555621686/43345329969066569359\ 141186530426828979*c_1001_2^11 + 3373481522960858200356050263375896\ 287847331470/43345329969066569359141186530426828979*c_1001_2^10 - 19637818503950521631205646752703247830830804/7346666096451960908329\ 01466617403881*c_1001_2^9 - 128953340782938220973819289680455032976\ 954837/43345329969066569359141186530426828979*c_1001_2^8 + 693475454715957975294365777268612502146849961/433453299690665693591\ 41186530426828979*c_1001_2^7 - 689138972867108624332702569943735539\ 459483853/43345329969066569359141186530426828979*c_1001_2^6 + 618932499612203821635251057218285554876021667/433453299690665693591\ 41186530426828979*c_1001_2^5 - 187705001893935055414800782767615078\ 092557461/43345329969066569359141186530426828979*c_1001_2^4 + 167163429230099931758129506091910346924629177/433453299690665693591\ 41186530426828979*c_1001_2^3 - 178058822914999518062320358838993616\ 3200722/6192189995580938479877312361489546997*c_1001_2^2 + 16844855971319602885753714508624976844356992/4334532996906656935914\ 1186530426828979*c_1001_2 + 760281559023808142569791784627753826896\ 566/43345329969066569359141186530426828979, c_0011_0 - 1, c_0011_10 + 49990870849613892943815533057939063/25660726847544397164963\ 3764099687*c_1001_2^21 + 45311009598511163396152193191004027/256607\ 268475443971649633764099687*c_1001_2^20 + 162259491636900016548517546888076909/256607268475443971649633764099\ 687*c_1001_2^19 + 211927984534129824190336302926170504/256607268475\ 443971649633764099687*c_1001_2^18 + 1660221673352501060529641718923306364/25660726847544397164963376409\ 9687*c_1001_2^17 - 1249259825235706308624196797909254225/2566072684\ 75443971649633764099687*c_1001_2^16 + 1614617526203716405170209346123463638/25660726847544397164963376409\ 9687*c_1001_2^15 - 2964838292365681593666796740715122/2566072684754\ 43971649633764099687*c_1001_2^14 + 572797879105702884752108571700742962/256607268475443971649633764099\ 687*c_1001_2^13 + 1068531083710023987614494307107426602/25660726847\ 5443971649633764099687*c_1001_2^12 + 100388936022009505729586947230878622/256607268475443971649633764099\ 687*c_1001_2^11 + 358174481796505926455259426775726265/256607268475\ 443971649633764099687*c_1001_2^10 + 55386255490587395319710320850019337/2566072684754439716496337640996\ 87*c_1001_2^9 - 103417452483322502497428071316534896/25660726847544\ 3971649633764099687*c_1001_2^8 + 7718937981620435994831380620400283\ 3/256607268475443971649633764099687*c_1001_2^7 - 41963821900262123013236755268229086/2566072684754439716496337640996\ 87*c_1001_2^6 + 59989987239879130272282439204763468/256607268475443\ 971649633764099687*c_1001_2^5 + 13680734682880572578133673790643958\ /256607268475443971649633764099687*c_1001_2^4 + 20829185543544606705182692320561521/2566072684754439716496337640996\ 87*c_1001_2^3 + 7608801799347856507260127581478432/2566072684754439\ 71649633764099687*c_1001_2^2 + 2645768854706174345315382528128660/2\ 56607268475443971649633764099687*c_1001_2 + 902548513617186300790740238715571/256607268475443971649633764099687\ , c_0011_11 - 13478879371861442049228325754445854/25660726847544397164963\ 3764099687*c_1001_2^21 - 16882921851320329417528113596072/256607268\ 475443971649633764099687*c_1001_2^20 - 37614804480081159890664503800506810/2566072684754439716496337640996\ 87*c_1001_2^19 - 21224381765309300922312253581547896/25660726847544\ 3971649633764099687*c_1001_2^18 - 411045384134264343375994290997456\ 540/256607268475443971649633764099687*c_1001_2^17 + 723758935069216465783038429334959547/256607268475443971649633764099\ 687*c_1001_2^16 - 900012723802114604309550349482085301/256607268475\ 443971649633764099687*c_1001_2^15 + 544291244477886016199694791112442332/256607268475443971649633764099\ 687*c_1001_2^14 - 329087773126806037502553243685549620/256607268475\ 443971649633764099687*c_1001_2^13 - 127955810735485563138721250779832928/256607268475443971649633764099\ 687*c_1001_2^12 + 182207054997096751110574225693972273/256607268475\ 443971649633764099687*c_1001_2^11 - 167924125539699064077741340926233192/256607268475443971649633764099\ 687*c_1001_2^10 + 77602606293229229338874701696036255/2566072684754\ 43971649633764099687*c_1001_2^9 + 135135919545453841588320718454525\ 77/256607268475443971649633764099687*c_1001_2^8 - 48475777277591069043562221410492168/2566072684754439716496337640996\ 87*c_1001_2^7 + 41882047054899015105767572049557146/256607268475443\ 971649633764099687*c_1001_2^6 - 35076769189201046977608312199420444\ /256607268475443971649633764099687*c_1001_2^5 + 15223669201452144934092878064541129/2566072684754439716496337640996\ 87*c_1001_2^4 - 7999814659248978510388666943293942/2566072684754439\ 71649633764099687*c_1001_2^3 + 2043985848934896071895952059589997/2\ 56607268475443971649633764099687*c_1001_2^2 - 649907002220642876672918580559120/256607268475443971649633764099687\ *c_1001_2 + 4400038139014051466853757525741/25660726847544397164963\ 3764099687, c_0011_12 + 73924006515851970666263093584741292/25660726847544397164963\ 3764099687*c_1001_2^21 + 6397924257190484359702118961097808/2566072\ 68475443971649633764099687*c_1001_2^20 + 213090124944508658911930176917370846/256607268475443971649633764099\ 687*c_1001_2^19 + 141154996438080026301449775305331274/256607268475\ 443971649633764099687*c_1001_2^18 + 2284246242118645364690298381098341484/25660726847544397164963376409\ 9687*c_1001_2^17 - 3746776187460107999216390922158642565/2566072684\ 75443971649633764099687*c_1001_2^16 + 4818858370118743405300987503592463101/25660726847544397164963376409\ 9687*c_1001_2^15 - 2709643782571353887415060374884271653/2566072684\ 75443971649633764099687*c_1001_2^14 + 1650950141678414448615118061600338693/25660726847544397164963376409\ 9687*c_1001_2^13 + 996163214206058807860945230578169381/25660726847\ 5443971649633764099687*c_1001_2^12 - 969593371305554515604800262204937730/256607268475443971649633764099\ 687*c_1001_2^11 + 1000224671075921398719172467386253740/25660726847\ 5443971649633764099687*c_1001_2^10 - 325246730317040478702739864093113050/256607268475443971649633764099\ 687*c_1001_2^9 - 116334221626292103964382451463760423/2566072684754\ 43971649633764099687*c_1001_2^8 + 290417566258695010164511715724897\ 498/256607268475443971649633764099687*c_1001_2^7 - 234978719362242390061391797172362665/256607268475443971649633764099\ 687*c_1001_2^6 + 178593474359663073591971991684027451/2566072684754\ 43971649633764099687*c_1001_2^5 - 610474481728751800068085615576232\ 80/256607268475443971649633764099687*c_1001_2^4 + 36887259166884972481546589986780830/2566072684754439716496337640996\ 87*c_1001_2^3 - 3619562020665490100456565536922118/2566072684754439\ 71649633764099687*c_1001_2^2 + 2679868004459934444908248008964134/2\ 56607268475443971649633764099687*c_1001_2 + 371288039971832604483665508597828/256607268475443971649633764099687\ , c_0011_14 - 9501760490179462932675723351999006/256607268475443971649633\ 764099687*c_1001_2^21 - 25979986721896434346811601544609008/2566072\ 68475443971649633764099687*c_1001_2^20 - 39958968480612716346726340772437149/2566072684754439716496337640996\ 87*c_1001_2^19 - 87079907327883094348376334763662407/25660726847544\ 3971649633764099687*c_1001_2^18 - 369081126815568461355198861297765\ 106/256607268475443971649633764099687*c_1001_2^17 - 303102209731032943495830230026668906/256607268475443971649633764099\ 687*c_1001_2^16 + 349380817447271642273695853847475411/256607268475\ 443971649633764099687*c_1001_2^15 - 623942879434198549279669234524648830/256607268475443971649633764099\ 687*c_1001_2^14 - 129830185946885685757161090995013278/256607268475\ 443971649633764099687*c_1001_2^13 - 142138999750622164265505450636829951/256607268475443971649633764099\ 687*c_1001_2^12 - 438447887150441443252187866076412010/256607268475\ 443971649633764099687*c_1001_2^11 + 40708395033732014616011968353281948/2566072684754439716496337640996\ 87*c_1001_2^10 - 39298643342597426892715254822831988/25660726847544\ 3971649633764099687*c_1001_2^9 - 4190979575491591387439963802628807\ 7/256607268475443971649633764099687*c_1001_2^8 + 59689901563171301478444239862556800/2566072684754439716496337640996\ 87*c_1001_2^7 - 31470553111741705666884340564976471/256607268475443\ 971649633764099687*c_1001_2^6 - 6396212235894936570747735576867024/\ 256607268475443971649633764099687*c_1001_2^5 - 10051579064807388732740364890325130/2566072684754439716496337640996\ 87*c_1001_2^4 - 10687447207455035618115494470895380/256607268475443\ 971649633764099687*c_1001_2^3 - 2479599391572142484668487419138661/\ 256607268475443971649633764099687*c_1001_2^2 - 1822691050710402097009875841796874/25660726847544397164963376409968\ 7*c_1001_2 - 210379877902148658061851981257219/25660726847544397164\ 9633764099687, c_0011_6 + 9466202668903464310601106722641974/2566072684754439716496337\ 64099687*c_1001_2^21 - 8416119491193016329274532828689868/256607268\ 475443971649633764099687*c_1001_2^20 + 21210324359021754648183744724660648/2566072684754439716496337640996\ 87*c_1001_2^19 - 13030158273470842381103927901190144/25660726847544\ 3971649633764099687*c_1001_2^18 + 259387700513327619415975484260144\ 146/256607268475443971649633764099687*c_1001_2^17 - 786282032375201045088061412368688425/256607268475443971649633764099\ 687*c_1001_2^16 + 914883104976970353111393489856544527/256607268475\ 443971649633764099687*c_1001_2^15 - 804266399793899393822076789004054069/256607268475443971649633764099\ 687*c_1001_2^14 + 414041970658318698733078993684123039/256607268475\ 443971649633764099687*c_1001_2^13 - 134351112061712843219824464016525856/256607268475443971649633764099\ 687*c_1001_2^12 - 235829313572146046426860190757845059/256607268475\ 443971649633764099687*c_1001_2^11 + 108828980231383452006344063850495424/256607268475443971649633764099\ 687*c_1001_2^10 - 155319372115910962781352036216451968/256607268475\ 443971649633764099687*c_1001_2^9 + 11310648577415009359161903343605657/2566072684754439716496337640996\ 87*c_1001_2^8 + 30538748698242399703674924814124319/256607268475443\ 971649633764099687*c_1001_2^7 - 43445002316250983748811517629160181\ /256607268475443971649633764099687*c_1001_2^6 + 40303016064843202313530626414227180/2566072684754439716496337640996\ 87*c_1001_2^5 - 29313695751253707334166386950143321/256607268475443\ 971649633764099687*c_1001_2^4 + 10748250004133615169888520400402110\ /256607268475443971649633764099687*c_1001_2^3 - 9313309995239642454000093505591330/25660726847544397164963376409968\ 7*c_1001_2^2 + 970990982848294932592249647225474/256607268475443971\ 649633764099687*c_1001_2 - 1481401564183799110525183016374572/25660\ 7268475443971649633764099687, c_0011_7 + 70496195590484471357588363758699163/256607268475443971649633\ 764099687*c_1001_2^21 - 5455832957267222511966742423201561/25660726\ 8475443971649633764099687*c_1001_2^20 + 194287752027923481602201134820527956/256607268475443971649633764099\ 687*c_1001_2^19 + 93684047213562352721983808422615184/2566072684754\ 43971649633764099687*c_1001_2^18 + 2133483773700484118087853996574495104/25660726847544397164963376409\ 9687*c_1001_2^17 - 3963664222839483221451486593169092500/2566072684\ 75443971649633764099687*c_1001_2^16 + 4925479948952699121881337674457739691/25660726847544397164963376409\ 9687*c_1001_2^15 - 3144440977888127649300979383374382254/2566072684\ 75443971649633764099687*c_1001_2^14 + 1856678222587742696023905728526521567/25660726847544397164963376409\ 9687*c_1001_2^13 + 544414873827154100213732103758744753/25660726847\ 5443971649633764099687*c_1001_2^12 - 1029818458680658830151189086349131055/25660726847544397164963376409\ 9687*c_1001_2^11 + 898927093307907826035477203903864070/25660726847\ 5443971649633764099687*c_1001_2^10 - 469251825996728515805222323694413710/256607268475443971649633764099\ 687*c_1001_2^9 - 55707411684854069322689072100411811/25660726847544\ 3971649633764099687*c_1001_2^8 + 2568253340643774336569517985138740\ 35/256607268475443971649633764099687*c_1001_2^7 - 232574824388782947416743328001772299/256607268475443971649633764099\ 687*c_1001_2^6 + 195168302868538804442202643867117420/2566072684754\ 43971649633764099687*c_1001_2^5 - 909314479297929069041741042208457\ 12/256607268475443971649633764099687*c_1001_2^4 + 45165092109193474870647289918597970/2566072684754439716496337640996\ 87*c_1001_2^3 - 16118251038111193263514891261773390/256607268475443\ 971649633764099687*c_1001_2^2 + 3699572416035282607823318574595288/\ 256607268475443971649633764099687*c_1001_2 - 1373717547124097774713651394978954/25660726847544397164963376409968\ 7, c_0011_8 + 73924006515851970666263093584741292/256607268475443971649633\ 764099687*c_1001_2^21 + 6397924257190484359702118961097808/25660726\ 8475443971649633764099687*c_1001_2^20 + 213090124944508658911930176917370846/256607268475443971649633764099\ 687*c_1001_2^19 + 141154996438080026301449775305331274/256607268475\ 443971649633764099687*c_1001_2^18 + 2284246242118645364690298381098341484/25660726847544397164963376409\ 9687*c_1001_2^17 - 3746776187460107999216390922158642565/2566072684\ 75443971649633764099687*c_1001_2^16 + 4818858370118743405300987503592463101/25660726847544397164963376409\ 9687*c_1001_2^15 - 2709643782571353887415060374884271653/2566072684\ 75443971649633764099687*c_1001_2^14 + 1650950141678414448615118061600338693/25660726847544397164963376409\ 9687*c_1001_2^13 + 996163214206058807860945230578169381/25660726847\ 5443971649633764099687*c_1001_2^12 - 969593371305554515604800262204937730/256607268475443971649633764099\ 687*c_1001_2^11 + 1000224671075921398719172467386253740/25660726847\ 5443971649633764099687*c_1001_2^10 - 325246730317040478702739864093113050/256607268475443971649633764099\ 687*c_1001_2^9 - 116334221626292103964382451463760423/2566072684754\ 43971649633764099687*c_1001_2^8 + 290417566258695010164511715724897\ 498/256607268475443971649633764099687*c_1001_2^7 - 234978719362242390061391797172362665/256607268475443971649633764099\ 687*c_1001_2^6 + 178593474359663073591971991684027451/2566072684754\ 43971649633764099687*c_1001_2^5 - 610474481728751800068085615576232\ 80/256607268475443971649633764099687*c_1001_2^4 + 36887259166884972481546589986780830/2566072684754439716496337640996\ 87*c_1001_2^3 - 3619562020665490100456565536922118/2566072684754439\ 71649633764099687*c_1001_2^2 + 2679868004459934444908248008964134/2\ 56607268475443971649633764099687*c_1001_2 + 371288039971832604483665508597828/256607268475443971649633764099687\ , c_0101_0 + 13478879371861442049228325754445854/256607268475443971649633\ 764099687*c_1001_2^21 + 16882921851320329417528113596072/2566072684\ 75443971649633764099687*c_1001_2^20 + 37614804480081159890664503800506810/2566072684754439716496337640996\ 87*c_1001_2^19 + 21224381765309300922312253581547896/25660726847544\ 3971649633764099687*c_1001_2^18 + 411045384134264343375994290997456\ 540/256607268475443971649633764099687*c_1001_2^17 - 723758935069216465783038429334959547/256607268475443971649633764099\ 687*c_1001_2^16 + 900012723802114604309550349482085301/256607268475\ 443971649633764099687*c_1001_2^15 - 544291244477886016199694791112442332/256607268475443971649633764099\ 687*c_1001_2^14 + 329087773126806037502553243685549620/256607268475\ 443971649633764099687*c_1001_2^13 + 127955810735485563138721250779832928/256607268475443971649633764099\ 687*c_1001_2^12 - 182207054997096751110574225693972273/256607268475\ 443971649633764099687*c_1001_2^11 + 167924125539699064077741340926233192/256607268475443971649633764099\ 687*c_1001_2^10 - 77602606293229229338874701696036255/2566072684754\ 43971649633764099687*c_1001_2^9 - 135135919545453841588320718454525\ 77/256607268475443971649633764099687*c_1001_2^8 + 48475777277591069043562221410492168/2566072684754439716496337640996\ 87*c_1001_2^7 - 41882047054899015105767572049557146/256607268475443\ 971649633764099687*c_1001_2^6 + 35076769189201046977608312199420444\ /256607268475443971649633764099687*c_1001_2^5 - 15223669201452144934092878064541129/2566072684754439716496337640996\ 87*c_1001_2^4 + 7999814659248978510388666943293942/2566072684754439\ 71649633764099687*c_1001_2^3 - 2043985848934896071895952059589997/2\ 56607268475443971649633764099687*c_1001_2^2 + 649907002220642876672918580559120/256607268475443971649633764099687\ *c_1001_2 - 261007306614458023116487521625428/256607268475443971649\ 633764099687, c_0101_1 - 15399431090253023363872763775900252/256607268475443971649633\ 764099687*c_1001_2^21 - 18177010890921686465325101143703558/2566072\ 68475443971649633764099687*c_1001_2^20 - 51696329631514008906482057395430816/2566072684754439716496337640996\ 87*c_1001_2^19 - 77809929698707695450603582130822722/25660726847544\ 3971649633764099687*c_1001_2^18 - 523402439691526537398434245188871\ 368/256607268475443971649633764099687*c_1001_2^17 + 251130152746615661270534551366254296/256607268475443971649633764099\ 687*c_1001_2^16 - 325751444827519245168357895120886441/256607268475\ 443971649633764099687*c_1001_2^15 - 213563507406090003513188167607209661/256607268475443971649633764099\ 687*c_1001_2^14 - 97786729793680720666864512086110548/2566072684754\ 43971649633764099687*c_1001_2^13 - 390424490181203672934927811267525200/256607268475443971649633764099\ 687*c_1001_2^12 - 109424291965859043497450636744427540/256607268475\ 443971649633764099687*c_1001_2^11 - 76973200471060065844097883280077731/2566072684754439716496337640996\ 87*c_1001_2^10 - 63260195587301396808029844754436564/25660726847544\ 3971649633764099687*c_1001_2^9 + 3662445915475931970958616080084405\ 9/256607268475443971649633764099687*c_1001_2^8 - 14936204466430540360865068011719075/2566072684754439716496337640996\ 87*c_1001_2^7 - 1233454780374166859477979996289700/2566072684754439\ 71649633764099687*c_1001_2^6 - 9536392348149215448180469710652170/2\ 56607268475443971649633764099687*c_1001_2^5 - 11586111593899824897124435253131924/2566072684754439716496337640996\ 87*c_1001_2^4 - 5134900714475580868993148622242255/2566072684754439\ 71649633764099687*c_1001_2^3 - 3823697753417650140524866597287094/2\ 56607268475443971649633764099687*c_1001_2^2 - 1353509175192072280085239479066308/25660726847544397164963376409968\ 7*c_1001_2 - 388899695606184853556431058933692/25660726847544397164\ 9633764099687, c_0101_11 - 259602250201829036544371694018719/2566072684754439716496337\ 64099687*c_1001_2^21 - 13558080058363694975631693389909192/25660726\ 8475443971649633764099687*c_1001_2^20 - 888090473376102519854572103692790/256607268475443971649633764099687\ *c_1001_2^19 - 38292410353489323816559982459470924/2566072684754439\ 71649633764099687*c_1001_2^18 - 29690055144772335944538883061073580\ /256607268475443971649633764099687*c_1001_2^17 - 399882487375585694804586308154651623/256607268475443971649633764099\ 687*c_1001_2^16 + 706066381712240964834819470323954986/256607268475\ 443971649633764099687*c_1001_2^15 - 888440623496507648951724967189386471/256607268475443971649633764099\ 687*c_1001_2^14 + 533467150655911449591234547599119472/256607268475\ 443971649633764099687*c_1001_2^13 - 330121782089474339597263876704098755/256607268475443971649633764099\ 687*c_1001_2^12 - 127643408027615565484574633995505317/256607268475\ 443971649633764099687*c_1001_2^11 + 177837817125055798003988444470911460/256607268475443971649633764099\ 687*c_1001_2^10 - 166159710245954429439532984158411051/256607268475\ 443971649633764099687*c_1001_2^9 + 76911800305404023258578661764494918/2566072684754439716496337640996\ 87*c_1001_2^8 + 13033987797392852548945012275146808/256607268475443\ 971649633764099687*c_1001_2^7 - 47679370374429525728061691298333047\ /256607268475443971649633764099687*c_1001_2^6 + 41015239541513246966797381816986169/2566072684754439716496337640996\ 87*c_1001_2^5 - 34680765756689782345591474022103754/256607268475443\ 971649633764099687*c_1001_2^4 + 14880466226609048919678284977533331\ /256607268475443971649633764099687*c_1001_2^3 - 7929414049024753686919006822882086/25660726847544397164963376409968\ 7*c_1001_2^2 + 2238992583464143323009633218329310/25660726847544397\ 1649633764099687*c_1001_2 - 645506964081628825206064823033379/25660\ 7268475443971649633764099687, c_0110_6 + 15659033340454852400417135469918971/256607268475443971649633\ 764099687*c_1001_2^21 + 31735090949285381440956794533612750/2566072\ 68475443971649633764099687*c_1001_2^20 + 52584420104890111426336629499123606/2566072684754439716496337640996\ 87*c_1001_2^19 + 116102340052197019267163564590293646/2566072684754\ 43971649633764099687*c_1001_2^18 + 553092494836298873342973128249944948/256607268475443971649633764099\ 687*c_1001_2^17 + 148752334628970033534051756788397327/256607268475\ 443971649633764099687*c_1001_2^16 - 380314936884721719666461575203068545/256607268475443971649633764099\ 687*c_1001_2^15 + 1102004130902597652464913134796596132/25660726847\ 5443971649633764099687*c_1001_2^14 - 435680420862230728924370035513008924/256607268475443971649633764099\ 687*c_1001_2^13 + 720546272270678012532191687971623955/256607268475\ 443971649633764099687*c_1001_2^12 + 237067699993474608982025270739932857/256607268475443971649633764099\ 687*c_1001_2^11 - 100864616653995732159890561190833729/256607268475\ 443971649633764099687*c_1001_2^10 + 229419905833255826247562828912847615/256607268475443971649633764099\ 687*c_1001_2^9 - 113536259460163342968164822565338977/2566072684754\ 43971649633764099687*c_1001_2^8 + 190221666903768781192005573657226\ 7/256607268475443971649633764099687*c_1001_2^7 + 48912825154803692587539671294622747/2566072684754439716496337640996\ 87*c_1001_2^6 - 31478847193364031518616912106333999/256607268475443\ 971649633764099687*c_1001_2^5 + 46266877350589607242715909275235678\ /256607268475443971649633764099687*c_1001_2^4 - 9745565512133468050685136355291076/25660726847544397164963376409968\ 7*c_1001_2^3 + 11753111802442403827443873420169180/2566072684754439\ 71649633764099687*c_1001_2^2 - 885483408272071042924393739263002/25\ 6607268475443971649633764099687*c_1001_2 + 1034406659687813678762495881967071/25660726847544397164963376409968\ 7, c_1001_0 - 13478879371861442049228325754445854/256607268475443971649633\ 764099687*c_1001_2^21 - 16882921851320329417528113596072/2566072684\ 75443971649633764099687*c_1001_2^20 - 37614804480081159890664503800506810/2566072684754439716496337640996\ 87*c_1001_2^19 - 21224381765309300922312253581547896/25660726847544\ 3971649633764099687*c_1001_2^18 - 411045384134264343375994290997456\ 540/256607268475443971649633764099687*c_1001_2^17 + 723758935069216465783038429334959547/256607268475443971649633764099\ 687*c_1001_2^16 - 900012723802114604309550349482085301/256607268475\ 443971649633764099687*c_1001_2^15 + 544291244477886016199694791112442332/256607268475443971649633764099\ 687*c_1001_2^14 - 329087773126806037502553243685549620/256607268475\ 443971649633764099687*c_1001_2^13 - 127955810735485563138721250779832928/256607268475443971649633764099\ 687*c_1001_2^12 + 182207054997096751110574225693972273/256607268475\ 443971649633764099687*c_1001_2^11 - 167924125539699064077741340926233192/256607268475443971649633764099\ 687*c_1001_2^10 + 77602606293229229338874701696036255/2566072684754\ 43971649633764099687*c_1001_2^9 + 135135919545453841588320718454525\ 77/256607268475443971649633764099687*c_1001_2^8 - 48475777277591069043562221410492168/2566072684754439716496337640996\ 87*c_1001_2^7 + 41882047054899015105767572049557146/256607268475443\ 971649633764099687*c_1001_2^6 - 35076769189201046977608312199420444\ /256607268475443971649633764099687*c_1001_2^5 + 15223669201452144934092878064541129/2566072684754439716496337640996\ 87*c_1001_2^4 - 7999814659248978510388666943293942/2566072684754439\ 71649633764099687*c_1001_2^3 + 2043985848934896071895952059589997/2\ 56607268475443971649633764099687*c_1001_2^2 - 649907002220642876672918580559120/256607268475443971649633764099687\ *c_1001_2 + 4400038139014051466853757525741/25660726847544397164963\ 3764099687, c_1001_11 + 49990870849613892943815533057939063/25660726847544397164963\ 3764099687*c_1001_2^21 + 45311009598511163396152193191004027/256607\ 268475443971649633764099687*c_1001_2^20 + 162259491636900016548517546888076909/256607268475443971649633764099\ 687*c_1001_2^19 + 211927984534129824190336302926170504/256607268475\ 443971649633764099687*c_1001_2^18 + 1660221673352501060529641718923306364/25660726847544397164963376409\ 9687*c_1001_2^17 - 1249259825235706308624196797909254225/2566072684\ 75443971649633764099687*c_1001_2^16 + 1614617526203716405170209346123463638/25660726847544397164963376409\ 9687*c_1001_2^15 - 2964838292365681593666796740715122/2566072684754\ 43971649633764099687*c_1001_2^14 + 572797879105702884752108571700742962/256607268475443971649633764099\ 687*c_1001_2^13 + 1068531083710023987614494307107426602/25660726847\ 5443971649633764099687*c_1001_2^12 + 100388936022009505729586947230878622/256607268475443971649633764099\ 687*c_1001_2^11 + 358174481796505926455259426775726265/256607268475\ 443971649633764099687*c_1001_2^10 + 55386255490587395319710320850019337/2566072684754439716496337640996\ 87*c_1001_2^9 - 103417452483322502497428071316534896/25660726847544\ 3971649633764099687*c_1001_2^8 + 7718937981620435994831380620400283\ 3/256607268475443971649633764099687*c_1001_2^7 - 41963821900262123013236755268229086/2566072684754439716496337640996\ 87*c_1001_2^6 + 59989987239879130272282439204763468/256607268475443\ 971649633764099687*c_1001_2^5 + 13680734682880572578133673790643958\ /256607268475443971649633764099687*c_1001_2^4 + 20829185543544606705182692320561521/2566072684754439716496337640996\ 87*c_1001_2^3 + 7608801799347856507260127581478432/2566072684754439\ 71649633764099687*c_1001_2^2 + 2645768854706174345315382528128660/2\ 56607268475443971649633764099687*c_1001_2 + 902548513617186300790740238715571/256607268475443971649633764099687\ , c_1001_2^22 + 18/59*c_1001_2^21 + 198/59*c_1001_2^20 + 154/59*c_1001_2^19 + 1924/59*c_1001_2^18 - 43*c_1001_2^17 + 4021/59*c_1001_2^16 - 2630/59*c_1001_2^15 + 2460/59*c_1001_2^14 + 235/59*c_1001_2^13 - 71/59*c_1001_2^12 + 993/59*c_1001_2^11 - 401/59*c_1001_2^10 + 157/59*c_1001_2^9 + 109/59*c_1001_2^8 - 181/59*c_1001_2^7 + 197/59*c_1001_2^6 - 90/59*c_1001_2^5 + 78/59*c_1001_2^4 - 16/59*c_1001_2^3 + 14/59*c_1001_2^2 - 1/59*c_1001_2 + 1/59 ], 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_14, c_0011_6, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0110_6, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 1137548924210518731672947968990217/41878035964062401601461066148584\ 448*c_1001_2^21 + 805698049876276969676581000712149/139593453213541\ 33867153688716194816*c_1001_2^20 - 315198927889365152414015958235231/465311510711804462238456290539827\ 2*c_1001_2^19 - 78166014811959273311461600497055/161069369092547698\ 4671579467253248*c_1001_2^18 + 177275802943747412649079259105219/32\ 21387381850953969343158934506496*c_1001_2^17 - 22906867284708470968851528111967847/4187803596406240160146106614858\ 4448*c_1001_2^16 + 1183901559842065455323974023112505/9739078131177\ 30269801420142990336*c_1001_2^15 - 1822919890103101916478942797009479/19941921887648762667362412451706\ 88*c_1001_2^14 + 124413555459878487022594100366445233/4187803596406\ 2401601461066148584448*c_1001_2^13 - 10632302860253831575761612002443361/3489836330338533466788422179048\ 704*c_1001_2^12 + 135813329454313105637973478636397065/209390179820\ 31200800730533074292224*c_1001_2^11 + 35581433900395064535116289460784347/1395934532135413386715368871619\ 4816*c_1001_2^10 - 277860180333043589607772779867170359/13959345321\ 354133867153688716194816*c_1001_2^9 + 31289420352883134465811889677826479/7478220707868286000260904669390\ 08*c_1001_2^8 - 1261356937658454994622283136236712793/1046950899101\ 5600400365266537146112*c_1001_2^7 + 658655277117982575477673086398760953/523475449550780020018263326857\ 3056*c_1001_2^6 - 140817302549675648891466884303264915/654344311938\ 475025022829158571632*c_1001_2^5 + 230029707362131325133122396389519255/130868862387695005004565831714\ 3264*c_1001_2^4 - 38885757173207291433529109015658349/2181147706461\ 58341674276386190544*c_1001_2^3 + 391300582064498179247581449648351\ 95/327172155969237512511414579285816*c_1001_2^2 - 2476687478440389261661615820424703/40896519496154689063926822410727\ *c_1001_2 + 1319769646772638812383079673571684/40896519496154689063\ 926822410727, c_0011_0 - 1, c_0011_10 + 24444354052223340100751/8766212936361371504294016*c_1001_2^\ 21 - 56845474711700488340767/8766212936361371504294016*c_1001_2^20 + 70059630756888585081853/8766212936361371504294016*c_1001_2^19 + 16703994437622923499641/4383106468180685752147008*c_1001_2^18 - 43858290319627909423367/8766212936361371504294016*c_1001_2^17 + 155827526458972587213461/2922070978787123834764672*c_1001_2^16 - 1196386269521363873363101/8766212936361371504294016*c_1001_2^15 + 375097036369826968518463/2922070978787123834764672*c_1001_2^14 - 2837417672440564301371703/8766212936361371504294016*c_1001_2^13 + 52632506644546258287373/136972077130646429754594*c_1001_2^12 - 141361328185732428073793/182629436174195239672792*c_1001_2^11 - 1219267793991215279923075/8766212936361371504294016*c_1001_2^10 + 18146151981719348727636301/8766212936361371504294016*c_1001_2^9 - 1654060917042211656587819/365258872348390479345584*c_1001_2^8 + 56687136767406985104820427/4383106468180685752147008*c_1001_2^7 - 1083592515586222502410331/68486038565323214877297*c_1001_2^6 + 14219966813687794404781045/547888308522585719018376*c_1001_2^5 - 3225394263481916191086029/136972077130646429754594*c_1001_2^4 + 13451001470102716703274439/547888308522585719018376*c_1001_2^3 - 1233867425306514433968946/68486038565323214877297*c_1001_2^2 + 740703095445833980822301/68486038565323214877297*c_1001_2 - 408618164434061619105320/68486038565323214877297, c_0011_11 - 50672080505426054891143/26298638809084114512882048*c_1001_2\ ^21 + 1166403494300781700711/365258872348390479345584*c_1001_2^20 - 24425942370720110153203/8766212936361371504294016*c_1001_2^19 - 174494097392137586417665/26298638809084114512882048*c_1001_2^18 + 19614278200126516006553/13149319404542057256441024*c_1001_2^17 - 904779019320622428700843/26298638809084114512882048*c_1001_2^16 + 216348917202388097184599/3287329851135514314110256*c_1001_2^15 - 300046365223028947939127/8766212936361371504294016*c_1001_2^14 + 1078257808470704763506095/6574659702271028628220512*c_1001_2^13 - 123827482629567632440069/1095776617045171438036752*c_1001_2^12 + 5310154918306766605569911/13149319404542057256441024*c_1001_2^11 + 1424050550839014994423465/2922070978787123834764672*c_1001_2^10 - 932909968963241246911509/730517744696780958691168*c_1001_2^9 + 15157438103576828717432881/6574659702271028628220512*c_1001_2^8 - 2729695693897948178389663/410916231391939289263782*c_1001_2^7 + 16550959038204550298579365/3287329851135514314110256*c_1001_2^6 - 4757121173019157424822701/410916231391939289263782*c_1001_2^5 + 779230264941120228806714/205458115695969644631891*c_1001_2^4 - 215600891723654175127916/22828679521774404959099*c_1001_2^3 - 244875908702588856471019/410916231391939289263782*c_1001_2^2 - 708674038972260922402072/205458115695969644631891*c_1001_2 - 280356427672695088748419/205458115695969644631891, c_0011_12 - 97444207319812406511467/26298638809084114512882048*c_1001_2\ ^21 + 25679344590319264448195/4383106468180685752147008*c_1001_2^20 - 13985228741543141030209/2922070978787123834764672*c_1001_2^19 - 315987990679917853463039/26298638809084114512882048*c_1001_2^18 + 1318300635899923459469/1643664925567757157055128*c_1001_2^17 - 1719531681326924557931375/26298638809084114512882048*c_1001_2^16 + 1663248297953160013590403/13149319404542057256441024*c_1001_2^15 - 438227969325169543665451/8766212936361371504294016*c_1001_2^14 + 4291913457031973608686697/13149319404542057256441024*c_1001_2^13 - 246763261112299500311581/1095776617045171438036752*c_1001_2^12 + 9843881864608162964906431/13149319404542057256441024*c_1001_2^11 + 7719143672872094947790647/8766212936361371504294016*c_1001_2^10 - 10499908469938292169524435/4383106468180685752147008*c_1001_2^9 + 6600700056625043078833037/1643664925567757157055128*c_1001_2^8 - 42159392501640673157589505/3287329851135514314110256*c_1001_2^7 + 60178949902019905006863673/6574659702271028628220512*c_1001_2^6 - 17990942293694062191780019/821832462783878578527564*c_1001_2^5 + 29619009868990958988799591/3287329851135514314110256*c_1001_2^4 - 1212850330337686681499084/68486038565323214877297*c_1001_2^3 + 4460236808292631134175211/821832462783878578527564*c_1001_2^2 - 1267035273224110679355740/205458115695969644631891*c_1001_2 + 256860984519866189839453/205458115695969644631891, c_0011_14 + 152049351873461226818027/105194555236336458051528192*c_1001\ _2^21 - 32409791724419531974847/8766212936361371504294016*c_1001_2^\ 20 + 85305017007568434862417/35064851745445486017176064*c_1001_2^19 + 544258079531533315200449/105194555236336458051528192*c_1001_2^18 - 147906507330710873536937/26298638809084114512882048*c_1001_2^17 + 2055886148066218662775841/105194555236336458051528192*c_1001_2^16 - 987237122444429137671319/13149319404542057256441024*c_1001_2^15 + 1427765711450934420686773/35064851745445486017176064*c_1001_2^14 - 1204083778933650548667163/13149319404542057256441024*c_1001_2^13 + 1289526427684738621111733/5844141957574247669529344*c_1001_2^12 - 13432668528823188251186227/52597277618168229025764096*c_1001_2^11 - 5597515019664838041588191/35064851745445486017176064*c_1001_2^10 + 13137029097934213625277905/8766212936361371504294016*c_1001_2^9 - 105312371250217838460582571/52597277618168229025764096*c_1001_2^8 + 8940683334746577634506569/1643664925567757157055128*c_1001_2^7 - 94406932139176888836128681/13149319404542057256441024*c_1001_2^6 + 11439817108085295673201703/1643664925567757157055128*c_1001_2^5 - 30276740724117157839688063/3287329851135514314110256*c_1001_2^4 + 271347177425563612801819/68486038565323214877297*c_1001_2^3 - 1341901791308778630145715/205458115695969644631891*c_1001_2^2 + 66596086305258635720354/205458115695969644631891*c_1001_2 - 398798966050327096981369/205458115695969644631891, c_0011_6 - 172488924195810775123763/52597277618168229025764096*c_1001_2\ ^21 + 21724296344205657325423/4383106468180685752147008*c_1001_2^20 - 24461979471547691821897/5844141957574247669529344*c_1001_2^19 - 600064482390229216948673/52597277618168229025764096*c_1001_2^18 + 19437677234082935495797/26298638809084114512882048*c_1001_2^17 - 3121838443761387235371515/52597277618168229025764096*c_1001_2^16 + 1374675101081706152331905/13149319404542057256441024*c_1001_2^15 - 759935805976639524307639/17532425872722743008588032*c_1001_2^14 + 460727429508797975216491/1643664925567757157055128*c_1001_2^13 - 671589012933973870321145/4383106468180685752147008*c_1001_2^12 + 17731257122582701711755427/26298638809084114512882048*c_1001_2^11 + 15615521390751531978968887/17532425872722743008588032*c_1001_2^10 - 1113135340968302776982555/547888308522585719018376*c_1001_2^9 + 5962133172212110019019391/1643664925567757157055128*c_1001_2^8 - 18119559096765153411235051/1643664925567757157055128*c_1001_2^7 + 2903333339468986465995233/410916231391939289263782*c_1001_2^6 - 7888676839331448912342157/410916231391939289263782*c_1001_2^5 + 868110204058702080908453/205458115695969644631891*c_1001_2^4 - 1075107614106245230415968/68486038565323214877297*c_1001_2^3 - 522747884114717127896333/821832462783878578527564*c_1001_2^2 - 1163255412496588373899480/205458115695969644631891*c_1001_2 - 307159191398116972106995/205458115695969644631891, c_0011_7 + 172488924195810775123763/52597277618168229025764096*c_1001_2\ ^21 - 21724296344205657325423/4383106468180685752147008*c_1001_2^20 + 24461979471547691821897/5844141957574247669529344*c_1001_2^19 + 600064482390229216948673/52597277618168229025764096*c_1001_2^18 - 19437677234082935495797/26298638809084114512882048*c_1001_2^17 + 3121838443761387235371515/52597277618168229025764096*c_1001_2^16 - 1374675101081706152331905/13149319404542057256441024*c_1001_2^15 + 759935805976639524307639/17532425872722743008588032*c_1001_2^14 - 460727429508797975216491/1643664925567757157055128*c_1001_2^13 + 671589012933973870321145/4383106468180685752147008*c_1001_2^12 - 17731257122582701711755427/26298638809084114512882048*c_1001_2^11 - 15615521390751531978968887/17532425872722743008588032*c_1001_2^10 + 1113135340968302776982555/547888308522585719018376*c_1001_2^9 - 5962133172212110019019391/1643664925567757157055128*c_1001_2^8 + 18119559096765153411235051/1643664925567757157055128*c_1001_2^7 - 2903333339468986465995233/410916231391939289263782*c_1001_2^6 + 7888676839331448912342157/410916231391939289263782*c_1001_2^5 - 868110204058702080908453/205458115695969644631891*c_1001_2^4 + 1075107614106245230415968/68486038565323214877297*c_1001_2^3 + 522747884114717127896333/821832462783878578527564*c_1001_2^2 + 1163255412496588373899480/205458115695969644631891*c_1001_2 + 307159191398116972106995/205458115695969644631891, c_0011_8 - 97444207319812406511467/26298638809084114512882048*c_1001_2^\ 21 + 25679344590319264448195/4383106468180685752147008*c_1001_2^20 - 13985228741543141030209/2922070978787123834764672*c_1001_2^19 - 315987990679917853463039/26298638809084114512882048*c_1001_2^18 + 1318300635899923459469/1643664925567757157055128*c_1001_2^17 - 1719531681326924557931375/26298638809084114512882048*c_1001_2^16 + 1663248297953160013590403/13149319404542057256441024*c_1001_2^15 - 438227969325169543665451/8766212936361371504294016*c_1001_2^14 + 4291913457031973608686697/13149319404542057256441024*c_1001_2^13 - 246763261112299500311581/1095776617045171438036752*c_1001_2^12 + 9843881864608162964906431/13149319404542057256441024*c_1001_2^11 + 7719143672872094947790647/8766212936361371504294016*c_1001_2^10 - 10499908469938292169524435/4383106468180685752147008*c_1001_2^9 + 6600700056625043078833037/1643664925567757157055128*c_1001_2^8 - 42159392501640673157589505/3287329851135514314110256*c_1001_2^7 + 60178949902019905006863673/6574659702271028628220512*c_1001_2^6 - 17990942293694062191780019/821832462783878578527564*c_1001_2^5 + 29619009868990958988799591/3287329851135514314110256*c_1001_2^4 - 1212850330337686681499084/68486038565323214877297*c_1001_2^3 + 4460236808292631134175211/821832462783878578527564*c_1001_2^2 - 1267035273224110679355740/205458115695969644631891*c_1001_2 + 256860984519866189839453/205458115695969644631891, c_0101_0 + 1, c_0101_1 + 4681144498545340257283/26298638809084114512882048*c_1001_2^2\ 1 - 6670485500279637267301/2922070978787123834764672*c_1001_2^20 + 32674828361764101074347/8766212936361371504294016*c_1001_2^19 - 34298341306807495101163/13149319404542057256441024*c_1001_2^18 - 174494097392137586417665/26298638809084114512882048*c_1001_2^17 + 137532590869705177416049/26298638809084114512882048*c_1001_2^16 - 1101387088259526719506729/26298638809084114512882048*c_1001_2^15 + 650268376350245256523031/8766212936361371504294016*c_1001_2^14 - 1508687880479981077264171/26298638809084114512882048*c_1001_2^13 + 202335166488086605161217/1095776617045171438036752*c_1001_2^12 - 2239594055820611370703391/13149319404542057256441024*c_1001_2^11 + 1132702854138434138636341/2922070978787123834764672*c_1001_2^10 + 1695556931754644729345879/2922070978787123834764672*c_1001_2^9 - 10268647520087307325116781/6574659702271028628220512*c_1001_2^8 + 20522029698909788652279199/6574659702271028628220512*c_1001_2^7 - 6213055652061696138201889/821832462783878578527564*c_1001_2^6 + 22804968088261124882309453/3287329851135514314110256*c_1001_2^5 - 5318858512844598255696661/410916231391939289263782*c_1001_2^4 + 137033475700002025973685/22828679521774404959099*c_1001_2^3 - 2155740672445973227986262/205458115695969644631891*c_1001_2^2 + 727777662514791263666723/410916231391939289263782*c_1001_2 - 783572350948986366518600/205458115695969644631891, c_0101_11 - 18731000816015745456971/13149319404542057256441024*c_1001_2\ ^21 + 29540036389744938027133/8766212936361371504294016*c_1001_2^20 - 19293882335319486281569/4383106468180685752147008*c_1001_2^19 - 49159005379532054706529/26298638809084114512882048*c_1001_2^18 + 75720384783181934696089/26298638809084114512882048*c_1001_2^17 - 183846153769727198879791/6574659702271028628220512*c_1001_2^16 + 1812198921377067209440243/26298638809084114512882048*c_1001_2^15 - 314889345256032835001941/4383106468180685752147008*c_1001_2^14 + 4466135645273200657987213/26298638809084114512882048*c_1001_2^13 - 71991884405954924434739/365258872348390479345584*c_1001_2^12 + 2773961980894171239728833/6574659702271028628220512*c_1001_2^11 + 148619877989498854988881/2191553234090342876073504*c_1001_2^10 - 9112332071821019076862411/8766212936361371504294016*c_1001_2^9 + 8044634828525826587929607/3287329851135514314110256*c_1001_2^8 - 44107504051688567071500445/6574659702271028628220512*c_1001_2^7 + 3407620504987902741391109/410916231391939289263782*c_1001_2^6 - 46099952260788813882561539/3287329851135514314110256*c_1001_2^5 + 2480960724755787774406271/205458115695969644631891*c_1001_2^4 - 3819507928309745168076623/273944154261292859509188*c_1001_2^3 + 1855671640931761651827148/205458115695969644631891*c_1001_2^2 - 2646363507414415082527475/410916231391939289263782*c_1001_2 + 596339042617499834471504/205458115695969644631891, c_0110_6 - 18731000816015745456971/13149319404542057256441024*c_1001_2^\ 21 + 29540036389744938027133/8766212936361371504294016*c_1001_2^20 - 19293882335319486281569/4383106468180685752147008*c_1001_2^19 - 49159005379532054706529/26298638809084114512882048*c_1001_2^18 + 75720384783181934696089/26298638809084114512882048*c_1001_2^17 - 183846153769727198879791/6574659702271028628220512*c_1001_2^16 + 1812198921377067209440243/26298638809084114512882048*c_1001_2^15 - 314889345256032835001941/4383106468180685752147008*c_1001_2^14 + 4466135645273200657987213/26298638809084114512882048*c_1001_2^13 - 71991884405954924434739/365258872348390479345584*c_1001_2^12 + 2773961980894171239728833/6574659702271028628220512*c_1001_2^11 + 148619877989498854988881/2191553234090342876073504*c_1001_2^10 - 9112332071821019076862411/8766212936361371504294016*c_1001_2^9 + 8044634828525826587929607/3287329851135514314110256*c_1001_2^8 - 44107504051688567071500445/6574659702271028628220512*c_1001_2^7 + 3407620504987902741391109/410916231391939289263782*c_1001_2^6 - 46099952260788813882561539/3287329851135514314110256*c_1001_2^5 + 2480960724755787774406271/205458115695969644631891*c_1001_2^4 - 3819507928309745168076623/273944154261292859509188*c_1001_2^3 + 1855671640931761651827148/205458115695969644631891*c_1001_2^2 - 2646363507414415082527475/410916231391939289263782*c_1001_2 + 596339042617499834471504/205458115695969644631891, c_1001_0 - 50672080505426054891143/26298638809084114512882048*c_1001_2^\ 21 + 1166403494300781700711/365258872348390479345584*c_1001_2^20 - 24425942370720110153203/8766212936361371504294016*c_1001_2^19 - 174494097392137586417665/26298638809084114512882048*c_1001_2^18 + 19614278200126516006553/13149319404542057256441024*c_1001_2^17 - 904779019320622428700843/26298638809084114512882048*c_1001_2^16 + 216348917202388097184599/3287329851135514314110256*c_1001_2^15 - 300046365223028947939127/8766212936361371504294016*c_1001_2^14 + 1078257808470704763506095/6574659702271028628220512*c_1001_2^13 - 123827482629567632440069/1095776617045171438036752*c_1001_2^12 + 5310154918306766605569911/13149319404542057256441024*c_1001_2^11 + 1424050550839014994423465/2922070978787123834764672*c_1001_2^10 - 932909968963241246911509/730517744696780958691168*c_1001_2^9 + 15157438103576828717432881/6574659702271028628220512*c_1001_2^8 - 2729695693897948178389663/410916231391939289263782*c_1001_2^7 + 16550959038204550298579365/3287329851135514314110256*c_1001_2^6 - 4757121173019157424822701/410916231391939289263782*c_1001_2^5 + 779230264941120228806714/205458115695969644631891*c_1001_2^4 - 215600891723654175127916/22828679521774404959099*c_1001_2^3 - 244875908702588856471019/410916231391939289263782*c_1001_2^2 - 708674038972260922402072/205458115695969644631891*c_1001_2 - 280356427672695088748419/205458115695969644631891, c_1001_11 + 24444354052223340100751/8766212936361371504294016*c_1001_2^\ 21 - 56845474711700488340767/8766212936361371504294016*c_1001_2^20 + 70059630756888585081853/8766212936361371504294016*c_1001_2^19 + 16703994437622923499641/4383106468180685752147008*c_1001_2^18 - 43858290319627909423367/8766212936361371504294016*c_1001_2^17 + 155827526458972587213461/2922070978787123834764672*c_1001_2^16 - 1196386269521363873363101/8766212936361371504294016*c_1001_2^15 + 375097036369826968518463/2922070978787123834764672*c_1001_2^14 - 2837417672440564301371703/8766212936361371504294016*c_1001_2^13 + 52632506644546258287373/136972077130646429754594*c_1001_2^12 - 141361328185732428073793/182629436174195239672792*c_1001_2^11 - 1219267793991215279923075/8766212936361371504294016*c_1001_2^10 + 18146151981719348727636301/8766212936361371504294016*c_1001_2^9 - 1654060917042211656587819/365258872348390479345584*c_1001_2^8 + 56687136767406985104820427/4383106468180685752147008*c_1001_2^7 - 1083592515586222502410331/68486038565323214877297*c_1001_2^6 + 14219966813687794404781045/547888308522585719018376*c_1001_2^5 - 3225394263481916191086029/136972077130646429754594*c_1001_2^4 + 13451001470102716703274439/547888308522585719018376*c_1001_2^3 - 1233867425306514433968946/68486038565323214877297*c_1001_2^2 + 740703095445833980822301/68486038565323214877297*c_1001_2 - 408618164434061619105320/68486038565323214877297, c_1001_2^22 - 2*c_1001_2^21 + 3*c_1001_2^20 + c_1001_2^19 + 21*c_1001_2^17 - 42*c_1001_2^16 + 47*c_1001_2^15 - 130*c_1001_2^14 + 116*c_1001_2^13 - 322*c_1001_2^12 - 91*c_1001_2^11 + 522*c_1001_2^10 - 1600*c_1001_2^9 + 4584*c_1001_2^8 - 5152*c_1001_2^7 + 10688*c_1001_2^6 - 7680*c_1001_2^5 + 12416*c_1001_2^4 - 5888*c_1001_2^3 + 7680*c_1001_2^2 - 2048*c_1001_2 + 2048 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 38.700 Total time: 38.920 seconds, Total memory usage: 414.75MB