Magma V2.19-8 Wed Aug 21 2013 01:07:26 on localhost [Seed = 1141005641] Type ? for help. Type -D to quit. Loading file "L14n33317__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n33317 geometric_solution 11.97166372 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 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 0 -1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655064801717 0.573056639135 0 5 7 6 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839780703602 0.423362677213 6 0 9 8 3201 0132 0132 0132 0 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 5 -4 0 0 0 0 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.016743438084 0.667922859441 7 9 10 0 1302 0132 0132 0132 0 1 1 1 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 0 0 -1 0 0 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.135232329610 0.756506613586 5 10 0 11 2103 0132 0132 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.337225937217 0.748420316265 7 1 4 9 0132 0132 2103 3120 1 1 1 1 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 0 0 0 0 -1 1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835867604557 0.800746464473 7 10 1 2 2310 3012 0132 2310 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858479109340 0.498134777722 5 3 6 1 0132 2031 3201 0132 1 1 1 1 0 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.839780703602 0.423362677213 12 9 2 11 0132 0213 0132 0321 0 1 1 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 4 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387279897861 0.564735510443 5 3 8 2 3120 0132 0213 0132 0 1 1 1 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 -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.663170354754 0.748867818634 6 4 11 3 1230 0132 0132 0132 0 1 1 1 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 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.037507593506 1.496238644636 12 8 4 10 1302 0321 0132 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.174088171763 1.204353080231 8 11 12 12 0132 2031 2031 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.351838870765 1.191365746269 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0101_10'], '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_10'], 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_10'], 's_3_1' : 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_0011_11']), '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' : d['1'], 's_1_1' : 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_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_0']), 'c_0110_6' : negation(d['c_0101_2']), '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_10'], 'c_0110_10' : d['c_0011_0'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_10, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 109036723266060568951144717/59707590317111778028435188*c_1001_2^20 + 2769847331371806978463987289/119415180634223556056870376*c_1001_2^1\ 9 - 1020948958359954021320581156/14926897579277944507108797*c_1001_\ 2^18 + 7466283887710734102674384629/119415180634223556056870376*c_1\ 001_2^17 + 3591237635204244096647404921/119415180634223556056870376\ *c_1001_2^16 - 45089919019485467903281537/261875396127683236966821*\ c_1001_2^15 + 28745097562398676265893760393/59707590317111778028435\ 188*c_1001_2^14 - 12752531985883998840157568998/1492689757927794450\ 7108797*c_1001_2^13 + 142018929908415686188575955889/11941518063422\ 3556056870376*c_1001_2^12 - 23787395034734754067018772111/149268975\ 79277944507108797*c_1001_2^11 + 106777228066058941652598795883/5970\ 7590317111778028435188*c_1001_2^10 - 109682306971337024391519086963/59707590317111778028435188*c_1001_2^\ 9 + 213248164918388061859046212757/119415180634223556056870376*c_10\ 01_2^8 - 43926238715250758274821425423/29853795158555889014217594*c\ _1001_2^7 + 69837700686614421211916228101/5970759031711177802843518\ 8*c_1001_2^6 - 100553065087783206410572231/119654489613450456970812\ *c_1001_2^5 + 7592701001685054896286312691/149268975792779445071087\ 97*c_1001_2^4 - 344447814745035127436360747/11482228907136880390083\ 69*c_1001_2^3 + 4036543428754408072702505387/2985379515855588901421\ 7594*c_1001_2^2 - 74376721622755939493853673/1658544175475327167456\ 533*c_1001_2 + 179032006946477407196357725/149268975792779445071087\ 97, c_0011_0 - 1, c_0011_10 - 100651214814438837/358090867221978781*c_1001_2^20 + 2541734743514792821/716181734443957562*c_1001_2^19 - 3586935766000939672/358090867221978781*c_1001_2^18 + 198598359807045393/32553715201998071*c_1001_2^17 + 3606818607246663999/358090867221978781*c_1001_2^16 - 424772336864552201/18846887748525199*c_1001_2^15 + 44261715254349474631/716181734443957562*c_1001_2^14 - 42423878251416469568/358090867221978781*c_1001_2^13 + 101464873096534275171/716181734443957562*c_1001_2^12 - 135869165403560487853/716181734443957562*c_1001_2^11 + 161802127499295425313/716181734443957562*c_1001_2^10 - 146595860747193354603/716181734443957562*c_1001_2^9 + 72788730173166978478/358090867221978781*c_1001_2^8 - 125375521552509581863/716181734443957562*c_1001_2^7 + 88861849902876607691/716181734443957562*c_1001_2^6 - 134466287089325341/1435233936761438*c_1001_2^5 + 42914225377821023219/716181734443957562*c_1001_2^4 - 23285658875686635691/716181734443957562*c_1001_2^3 + 5307493928684225416/358090867221978781*c_1001_2^2 - 2594508961827138783/358090867221978781*c_1001_2 + 559857295003703173/358090867221978781, c_0011_11 + 159115535322930426/358090867221978781*c_1001_2^20 - 2001164045928334040/358090867221978781*c_1001_2^19 + 5802568346826061813/358090867221978781*c_1001_2^18 - 2129457282230075933/130214860807992284*c_1001_2^17 - 940906158447668249/716181734443957562*c_1001_2^16 + 2895383674082504075/75387550994100796*c_1001_2^15 - 176888909238381837351/1432363468887915124*c_1001_2^14 + 153689731618798000513/716181734443957562*c_1001_2^13 - 111234612135709838256/358090867221978781*c_1001_2^12 + 308251971689898342465/716181734443957562*c_1001_2^11 - 696042189690435018939/1432363468887915124*c_1001_2^10 + 183240528065732935266/358090867221978781*c_1001_2^9 - 182330998351183614079/358090867221978781*c_1001_2^8 + 155074937811962248843/358090867221978781*c_1001_2^7 - 493717627331508208615/1432363468887915124*c_1001_2^6 + 184374007026775441/717616968380719*c_1001_2^5 - 59344085463929476720/358090867221978781*c_1001_2^4 + 66179125977773596445/716181734443957562*c_1001_2^3 - 17249044124266089400/358090867221978781*c_1001_2^2 + 6197303024613128545/358090867221978781*c_1001_2 - 1061432359352376899/358090867221978781, c_0011_12 + 237948819914428539/358090867221978781*c_1001_2^20 - 5225005525719877929/716181734443957562*c_1001_2^19 + 3833177339961204539/358090867221978781*c_1001_2^18 + 1975474832367684619/130214860807992284*c_1001_2^17 - 11234752274873315869/358090867221978781*c_1001_2^16 + 1460304433700234181/75387550994100796*c_1001_2^15 - 108804156285506687935/1432363468887915124*c_1001_2^14 + 49050679074505450073/716181734443957562*c_1001_2^13 - 3990362013474096904/358090867221978781*c_1001_2^12 + 22767604715476161941/358090867221978781*c_1001_2^11 - 6234505463245467173/1432363468887915124*c_1001_2^10 - 17398515543575907271/358090867221978781*c_1001_2^9 + 9244147882598626761/716181734443957562*c_1001_2^8 - 38554690578737176695/716181734443957562*c_1001_2^7 + 76449675944881167703/1432363468887915124*c_1001_2^6 - 19725181478713934/717616968380719*c_1001_2^5 + 9369195479118059428/358090867221978781*c_1001_2^4 - 7277495651214468645/358090867221978781*c_1001_2^3 + 2719716519027535689/358090867221978781*c_1001_2^2 - 1105997901054245554/358090867221978781*c_1001_2 + 860413951515486516/358090867221978781, c_0011_3 + 71329548792747543/358090867221978781*c_1001_2^20 - 1852862256437666105/716181734443957562*c_1001_2^19 + 5764872689109207683/716181734443957562*c_1001_2^18 - 481205780458079665/65107430403996142*c_1001_2^17 - 1555532540176125156/358090867221978781*c_1001_2^16 + 343449739642363456/18846887748525199*c_1001_2^15 - 18500574111582735655/358090867221978781*c_1001_2^14 + 74540718386183042253/716181734443957562*c_1001_2^13 - 50179232792950668315/358090867221978781*c_1001_2^12 + 131478436157965224715/716181734443957562*c_1001_2^11 - 78637552260596244594/358090867221978781*c_1001_2^10 + 76010076913269950068/358090867221978781*c_1001_2^9 - 71315976618236227711/358090867221978781*c_1001_2^8 + 121434115729221104311/716181734443957562*c_1001_2^7 - 43084099244267205629/358090867221978781*c_1001_2^6 + 57766457206702400/717616968380719*c_1001_2^5 - 33973510907013570537/716181734443957562*c_1001_2^4 + 7722823395033718637/358090867221978781*c_1001_2^3 - 2275207386322374135/358090867221978781*c_1001_2^2 + 650038719568909398/358090867221978781*c_1001_2 + 101557129897258545/358090867221978781, c_0101_0 + 229823998559618663/716181734443957562*c_1001_2^20 - 6030918159161456747/1432363468887915124*c_1001_2^19 + 4948351103012159655/358090867221978781*c_1001_2^18 - 2239064845101516287/130214860807992284*c_1001_2^17 + 4381279208968048729/1432363468887915124*c_1001_2^16 + 1022556262004482915/37693775497050398*c_1001_2^15 - 67979025762158671785/716181734443957562*c_1001_2^14 + 70210973787496934830/358090867221978781*c_1001_2^13 - 438889498956045218549/1432363468887915124*c_1001_2^12 + 303752704311163853385/716181734443957562*c_1001_2^11 - 185362609329264126449/358090867221978781*c_1001_2^10 + 406174494961259501217/716181734443957562*c_1001_2^9 - 805286448511608104275/1432363468887915124*c_1001_2^8 + 362573519858027515913/716181734443957562*c_1001_2^7 - 149314209309343546742/358090867221978781*c_1001_2^6 + 440272428159665039/1435233936761438*c_1001_2^5 - 73181493868150899559/358090867221978781*c_1001_2^4 + 86373382578606625701/716181734443957562*c_1001_2^3 - 21512263308610838417/358090867221978781*c_1001_2^2 + 8250631348872459373/358090867221978781*c_1001_2 - 2488630708045858702/358090867221978781, c_0101_1 - 71329548792747543/358090867221978781*c_1001_2^20 + 1852862256437666105/716181734443957562*c_1001_2^19 - 5764872689109207683/716181734443957562*c_1001_2^18 + 481205780458079665/65107430403996142*c_1001_2^17 + 1555532540176125156/358090867221978781*c_1001_2^16 - 343449739642363456/18846887748525199*c_1001_2^15 + 18500574111582735655/358090867221978781*c_1001_2^14 - 74540718386183042253/716181734443957562*c_1001_2^13 + 50179232792950668315/358090867221978781*c_1001_2^12 - 131478436157965224715/716181734443957562*c_1001_2^11 + 78637552260596244594/358090867221978781*c_1001_2^10 - 76010076913269950068/358090867221978781*c_1001_2^9 + 71315976618236227711/358090867221978781*c_1001_2^8 - 121434115729221104311/716181734443957562*c_1001_2^7 + 43084099244267205629/358090867221978781*c_1001_2^6 - 57766457206702400/717616968380719*c_1001_2^5 + 33973510907013570537/716181734443957562*c_1001_2^4 - 7722823395033718637/358090867221978781*c_1001_2^3 + 2275207386322374135/358090867221978781*c_1001_2^2 - 650038719568909398/358090867221978781*c_1001_2 - 101557129897258545/358090867221978781, c_0101_10 - 277667836486300229/716181734443957562*c_1001_2^20 + 7019107431149306965/1432363468887915124*c_1001_2^19 - 10299594820930374859/716181734443957562*c_1001_2^18 + 1894846599276290301/130214860807992284*c_1001_2^17 + 69540060073821765/1432363468887915124*c_1001_2^16 - 518783830101299887/18846887748525199*c_1001_2^15 + 36337592462089715499/358090867221978781*c_1001_2^14 - 141585794643469539469/716181734443957562*c_1001_2^13 + 424928086110462309183/1432363468887915124*c_1001_2^12 - 149165874832722594683/358090867221978781*c_1001_2^11 + 176298039245371018918/358090867221978781*c_1001_2^10 - 188142559708381594604/358090867221978781*c_1001_2^9 + 744422949561313657957/1432363468887915124*c_1001_2^8 - 162179995218988487981/358090867221978781*c_1001_2^7 + 130063534042118495510/358090867221978781*c_1001_2^6 - 189407584776528890/717616968380719*c_1001_2^5 + 60649837663512095502/358090867221978781*c_1001_2^4 - 67375815537456541875/716181734443957562*c_1001_2^3 + 16018551957506902677/358090867221978781*c_1001_2^2 - 6001038171344500803/358090867221978781*c_1001_2 + 1290150910190232064/358090867221978781, c_0101_2 - 100651214814438837/358090867221978781*c_1001_2^20 + 2541734743514792821/716181734443957562*c_1001_2^19 - 3586935766000939672/358090867221978781*c_1001_2^18 + 198598359807045393/32553715201998071*c_1001_2^17 + 3606818607246663999/358090867221978781*c_1001_2^16 - 424772336864552201/18846887748525199*c_1001_2^15 + 44261715254349474631/716181734443957562*c_1001_2^14 - 42423878251416469568/358090867221978781*c_1001_2^13 + 101464873096534275171/716181734443957562*c_1001_2^12 - 135869165403560487853/716181734443957562*c_1001_2^11 + 161802127499295425313/716181734443957562*c_1001_2^10 - 146595860747193354603/716181734443957562*c_1001_2^9 + 72788730173166978478/358090867221978781*c_1001_2^8 - 125375521552509581863/716181734443957562*c_1001_2^7 + 88861849902876607691/716181734443957562*c_1001_2^6 - 134466287089325341/1435233936761438*c_1001_2^5 + 42914225377821023219/716181734443957562*c_1001_2^4 - 23285658875686635691/716181734443957562*c_1001_2^3 + 5307493928684225416/358090867221978781*c_1001_2^2 - 2594508961827138783/358090867221978781*c_1001_2 + 559857295003703173/358090867221978781, c_1001_0 - 1, c_1001_10 + 10909463142035377/32553715201998071*c_1001_2^20 - 283905026129514515/65107430403996142*c_1001_2^19 + 880181317105629043/65107430403996142*c_1001_2^18 - 734809970753012805/65107430403996142*c_1001_2^17 - 655727851619582495/65107430403996142*c_1001_2^16 + 107435027774194545/3426706863368218*c_1001_2^15 - 2768044703590177775/32553715201998071*c_1001_2^14 + 11112929877586527213/65107430403996142*c_1001_2^13 - 7002753975981989176/32553715201998071*c_1001_2^12 + 9064228459639272150/32553715201998071*c_1001_2^11 - 10789680909154339387/32553715201998071*c_1001_2^10 + 19637323621776343987/65107430403996142*c_1001_2^9 - 18564484660629237615/65107430403996142*c_1001_2^8 + 7791849441173140742/32553715201998071*c_1001_2^7 - 5298436659605091221/32553715201998071*c_1001_2^6 + 14796605520292521/130475812432858*c_1001_2^5 - 2135535190745505131/32553715201998071*c_1001_2^4 + 2000238401122219415/65107430403996142*c_1001_2^3 - 371742577398629115/32553715201998071*c_1001_2^2 + 151210652738815365/32553715201998071*c_1001_2 - 411056548282065/32553715201998071, c_1001_2^21 - 25/2*c_1001_2^20 + 35*c_1001_2^19 - 57/2*c_1001_2^18 - 27/2*c_1001_2^17 + 71*c_1001_2^16 - 239*c_1001_2^15 + 450*c_1001_2^14 - 1261/2*c_1001_2^13 + 885*c_1001_2^12 - 1041*c_1001_2^11 + 1083*c_1001_2^10 - 2181/2*c_1001_2^9 + 957*c_1001_2^8 - 771*c_1001_2^7 + 581*c_1001_2^6 - 386*c_1001_2^5 + 228*c_1001_2^4 - 120*c_1001_2^3 + 52*c_1001_2^2 - 16*c_1001_2 + 4, c_1100_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.130 Total time: 0.340 seconds, Total memory usage: 32.09MB