Magma V2.19-8 Tue Aug 20 2013 18:00:30 on localhost [Seed = 425242063] Type ? for help. Type -D to quit. Loading file "11_218__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_218 geometric_solution 12.36406126 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.517145816751 1.150818000598 0 4 6 5 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178794683443 1.018686182928 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570299945961 0.970697400402 10 5 6 0 0132 3120 3120 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 -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.561815606239 1.201566099554 1 10 0 11 1023 1230 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 1 0 -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.198669691570 0.522093772832 12 3 1 9 0132 3120 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 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334830113150 0.529574686013 11 11 3 1 3120 1023 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 8 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.832853595404 0.952319887871 2 10 9 8 0132 2103 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584185164502 0.444425716003 7 12 2 12 3201 2103 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.148561374057 0.753821775144 7 10 5 2 2310 1302 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 0.571839638485 0.949972284749 3 7 4 9 0132 2103 3012 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.069692352217 0.802523474840 6 12 4 6 1023 1302 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 -1 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.178794683443 1.018686182928 5 8 8 11 0132 2103 2031 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748336596824 1.276976297003 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_0'], 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : d['c_0011_8'], 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_12'], 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : negation(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' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_12'], 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : negation(d['c_1001_2']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_12'], 'c_1010_2' : d['c_0011_12'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0101_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0101_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_10']), 'c_0101_8' : negation(d['c_0101_2']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_8']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 16014594479574206740/7270387379937*c_1001_2^15 - 360451298194749049355/14540774759874*c_1001_2^14 - 576648293007321919249/7270387379937*c_1001_2^13 - 447014423375118966589/2423462459979*c_1001_2^12 - 230111559073171491394/660944307267*c_1001_2^11 - 694682911406223725945/1321888614534*c_1001_2^10 - 156189912403226834645/220314769089*c_1001_2^9 - 187100795590214142140/220314769089*c_1001_2^8 - 130587179542968566641/146876512726*c_1001_2^7 - 6081150169394436134987/7270387379937*c_1001_2^6 - 9851557886983076219947/14540774759874*c_1001_2^5 - 3328021047944147620201/7270387379937*c_1001_2^4 - 1895907000686043992821/7270387379937*c_1001_2^3 - 558283218880727557279/4846924919958*c_1001_2^2 - 466205600303263716479/14540774759874*c_1001_2 - 3210265278843153880/807820819993, c_0011_0 - 1, c_0011_10 + 2644099173934832/220314769089*c_1001_2^15 + 29754048274863410/220314769089*c_1001_2^14 + 95185058528568038/220314769089*c_1001_2^13 + 73785381094119480/73438256363*c_1001_2^12 + 417792320046936886/220314769089*c_1001_2^11 + 630607133149800241/220314769089*c_1001_2^10 + 283565587710956487/73438256363*c_1001_2^9 + 339672419292913014/73438256363*c_1001_2^8 + 355604999771651166/73438256363*c_1001_2^7 + 1003601855974669468/220314769089*c_1001_2^6 + 812891386838414593/220314769089*c_1001_2^5 + 549204722414399060/220314769089*c_1001_2^4 + 312861940082348054/220314769089*c_1001_2^3 + 46060949406081112/73438256363*c_1001_2^2 + 38462612408140967/220314769089*c_1001_2 + 1589164721641973/73438256363, c_0011_11 + 1856453576621744/220314769089*c_1001_2^15 + 20856575658735698/220314769089*c_1001_2^14 + 66472798277871371/220314769089*c_1001_2^13 + 51487029400676017/73438256363*c_1001_2^12 + 291206526368101300/220314769089*c_1001_2^11 + 438982665819884527/220314769089*c_1001_2^10 + 197336026806787540/73438256363*c_1001_2^9 + 236160757928229102/73438256363*c_1001_2^8 + 247053373915239341/73438256363*c_1001_2^7 + 696821618666020945/220314769089*c_1001_2^6 + 563700338594987134/220314769089*c_1001_2^5 + 380431493342171492/220314769089*c_1001_2^4 + 216477630959607593/220314769089*c_1001_2^3 + 31794571956912794/73438256363*c_1001_2^2 + 26452922216222120/220314769089*c_1001_2 + 1088244136894927/73438256363, c_0011_12 + 1243587695573336/220314769089*c_1001_2^15 + 13985023249414397/220314769089*c_1001_2^14 + 44675072794841567/220314769089*c_1001_2^13 + 34625868173336940/73438256363*c_1001_2^12 + 195981569743534171/220314769089*c_1001_2^11 + 295697427312384634/220314769089*c_1001_2^10 + 132961069564138768/73438256363*c_1001_2^9 + 159216789482818097/73438256363*c_1001_2^8 + 166658216818049096/73438256363*c_1001_2^7 + 470266302083247250/220314769089*c_1001_2^6 + 380767316596521859/220314769089*c_1001_2^5 + 257200163401985654/220314769089*c_1001_2^4 + 146474951059527443/220314769089*c_1001_2^3 + 21552727564197080/73438256363*c_1001_2^2 + 17988334271528261/220314769089*c_1001_2 + 743053385572172/73438256363, c_0011_8 + 719546859301272/73438256363*c_1001_2^15 + 8079212070384861/73438256363*c_1001_2^14 + 25715905086199330/73438256363*c_1001_2^13 + 59739918572998012/73438256363*c_1001_2^12 + 112584427531637759/73438256363*c_1001_2^11 + 169643368909725949/73438256363*c_1001_2^10 + 228757794621278301/73438256363*c_1001_2^9 + 273676122496493744/73438256363*c_1001_2^8 + 286229303537858845/73438256363*c_1001_2^7 + 269052325974151211/73438256363*c_1001_2^6 + 217560138188238361/73438256363*c_1001_2^5 + 146776903683741046/73438256363*c_1001_2^4 + 83490291494839004/73438256363*c_1001_2^3 + 36758432151367887/73438256363*c_1001_2^2 + 10182972680552299/73438256363*c_1001_2 + 1255220739825385/73438256363, c_0101_0 - 1298428453354928/220314769089*c_1001_2^15 - 14611629861277610/220314769089*c_1001_2^14 - 46747022270307260/220314769089*c_1001_2^13 - 36238975736330428/73438256363*c_1001_2^12 - 205199877362878078/220314769089*c_1001_2^11 - 309738794407671919/220314769089*c_1001_2^10 - 139283459675467280/73438256363*c_1001_2^9 - 166846309288891027/73438256363*c_1001_2^8 - 174679493895766164/73438256363*c_1001_2^7 - 492997756723554835/220314769089*c_1001_2^6 - 399335119656753148/220314769089*c_1001_2^5 - 269815714338772421/220314769089*c_1001_2^4 - 153711470514230156/220314769089*c_1001_2^3 - 22632907943175747/73438256363*c_1001_2^2 - 18904156720114190/220314769089*c_1001_2 - 781334519949635/73438256363, c_0101_1 - 1856453576621744/220314769089*c_1001_2^15 - 20856575658735698/220314769089*c_1001_2^14 - 66472798277871371/220314769089*c_1001_2^13 - 51487029400676017/73438256363*c_1001_2^12 - 291206526368101300/220314769089*c_1001_2^11 - 438982665819884527/220314769089*c_1001_2^10 - 197336026806787540/73438256363*c_1001_2^9 - 236160757928229102/73438256363*c_1001_2^8 - 247053373915239341/73438256363*c_1001_2^7 - 696821618666020945/220314769089*c_1001_2^6 - 563700338594987134/220314769089*c_1001_2^5 - 380431493342171492/220314769089*c_1001_2^4 - 216477630959607593/220314769089*c_1001_2^3 - 31794571956912794/73438256363*c_1001_2^2 - 26452922216222120/220314769089*c_1001_2 - 1088244136894927/73438256363, c_0101_11 - 1150880774844832/73438256363*c_1001_2^15 - 12949082953651692/73438256363*c_1001_2^14 - 41411933439147628/73438256363*c_1001_2^13 - 96298279343220720/73438256363*c_1001_2^12 - 181738283657039216/73438256363*c_1001_2^11 - 274282383192410027/73438256363*c_1001_2^10 - 370000371068821790/73438256363*c_1001_2^9 - 443174439601212472/73438256363*c_1001_2^8 - 463932259259761513/73438256363*c_1001_2^7 - 436420305025436597/73438256363*c_1001_2^6 - 353451363197808687/73438256363*c_1001_2^5 - 238776445075184500/73438256363*c_1001_2^4 - 136009649674447163/73438256363*c_1001_2^3 - 60059734010011637/73438256363*c_1001_2^2 - 16712453670245079/73438256363*c_1001_2 - 2070874573633310/73438256363, c_0101_12 + 459671931766864/220314769089*c_1001_2^15 + 5178025772465494/220314769089*c_1001_2^14 + 16604983736557708/220314769089*c_1001_2^13 + 12881338794073404/73438256363*c_1001_2^12 + 72992152001739929/220314769089*c_1001_2^11 + 110279106897762896/220314769089*c_1001_2^10 + 49604424357056373/73438256363*c_1001_2^9 + 59456834640953055/73438256363*c_1001_2^8 + 62286360138323505/73438256363*c_1001_2^7 + 175865957059838987/220314769089*c_1001_2^6 + 142584235449024230/220314769089*c_1001_2^5 + 96425828876517919/220314769089*c_1001_2^4 + 54977336462078599/220314769089*c_1001_2^3 + 8110125714223753/73438256363*c_1001_2^2 + 6795135506676415/220314769089*c_1001_2 + 281908817748932/73438256363, c_0101_2 - 323557333839640/220314769089*c_1001_2^15 - 3595632714849613/220314769089*c_1001_2^14 - 11172521890811230/220314769089*c_1001_2^13 - 8607704625087072/73438256363*c_1001_2^12 - 48309451837136696/220314769089*c_1001_2^11 - 72186679463864483/220314769089*c_1001_2^10 - 32383523064793356/73438256363*c_1001_2^9 - 38501122912837165/73438256363*c_1001_2^8 - 40069714615821144/73438256363*c_1001_2^7 - 112545068749953335/220314769089*c_1001_2^6 - 90238582564377110/220314769089*c_1001_2^5 - 60442852000974139/220314769089*c_1001_2^4 - 34126067061742702/220314769089*c_1001_2^3 - 4926502892895224/73438256363*c_1001_2^2 - 3994856630555956/220314769089*c_1001_2 - 159662025478831/73438256363, c_0101_3 + 1298428453354928/220314769089*c_1001_2^15 + 14611629861277610/220314769089*c_1001_2^14 + 46747022270307260/220314769089*c_1001_2^13 + 36238975736330428/73438256363*c_1001_2^12 + 205199877362878078/220314769089*c_1001_2^11 + 309738794407671919/220314769089*c_1001_2^10 + 139283459675467280/73438256363*c_1001_2^9 + 166846309288891027/73438256363*c_1001_2^8 + 174679493895766164/73438256363*c_1001_2^7 + 492997756723554835/220314769089*c_1001_2^6 + 399335119656753148/220314769089*c_1001_2^5 + 269815714338772421/220314769089*c_1001_2^4 + 153711470514230156/220314769089*c_1001_2^3 + 22632907943175747/73438256363*c_1001_2^2 + 18904156720114190/220314769089*c_1001_2 + 781334519949635/73438256363, c_0101_6 - 2154213871179568/220314769089*c_1001_2^15 - 24235618999677466/220314769089*c_1001_2^14 - 77488778047135624/220314769089*c_1001_2^13 - 60059303606890292/73438256363*c_1001_2^12 - 340014973608239570/220314769089*c_1001_2^11 - 513108355169558162/220314769089*c_1001_2^10 - 230716911393354510/73438256363*c_1001_2^9 - 276328130312321445/73438256363*c_1001_2^8 - 289252765363995349/73438256363*c_1001_2^7 - 816263158352754956/220314769089*c_1001_2^6 - 661018969936672913/220314769089*c_1001_2^5 - 446513620886781079/220314769089*c_1001_2^4 - 254317478509111333/220314769089*c_1001_2^3 - 37426826066835890/73438256363*c_1001_2^2 - 31233204290621047/220314769089*c_1001_2 - 1289540053683675/73438256363, c_1001_2^16 + 95/8*c_1001_2^15 + 43*c_1001_2^14 + 849/8*c_1001_2^13 + 1681/8*c_1001_2^12 + 2695/8*c_1001_2^11 + 1881/4*c_1001_2^10 + 2343/4*c_1001_2^9 + 1287/2*c_1001_2^8 + 5047/8*c_1001_2^7 + 4351/8*c_1001_2^6 + 1597/4*c_1001_2^5 + 991/4*c_1001_2^4 + 126*c_1001_2^3 + 377/8*c_1001_2^2 + 87/8*c_1001_2 + 9/8 ], 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_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 8243632186716760958999896420736/1182357575311418598574503928125*c_1\ 001_2^17 + 27057747248121374704929619035973/23647151506228371971490\ 0785625*c_1001_2^16 + 376019952079991683971098716695767/39411919177\ 0472866191501309375*c_1001_2^15 + 123375463430830153887522816971327\ 8/236471515062283719714900785625*c_1001_2^14 + 24491308210912322508681728985325538/1182357575311418598574503928125\ *c_1001_2^13 + 74480609163361123764032668290113381/1182357575311418\ 598574503928125*c_1001_2^12 + 11971344640842031884727086501070219/7\ 8823838354094573238300261875*c_1001_2^11 + 351313601882672423916291757562138416/118235757531141859857450392812\ 5*c_1001_2^10 + 1989403109903081401425151994147572/4148623071268135\ 433594750625*c_1001_2^9 + 763424596950586607443518295900726162/1182\ 357575311418598574503928125*c_1001_2^8 + 864013863173279512890725561061945796/118235757531141859857450392812\ 5*c_1001_2^7 + 825014045639868848676959716781748772/118235757531141\ 8598574503928125*c_1001_2^6 + 664261999013624932610559842541163582/\ 1182357575311418598574503928125*c_1001_2^5 + 29843839541942083944479691650608826/78823838354094573238300261875*c\ _1001_2^4 + 247979440980410497731059237446724017/118235757531141859\ 8574503928125*c_1001_2^3 + 108323156297249005596858270039815183/118\ 2357575311418598574503928125*c_1001_2^2 + 3810923605662897957240148525592667/131373063923490955397167103125*c\ _1001_2 + 6185571017869456038039287724040139/1182357575311418598574\ 503928125, c_0011_0 - 1, c_0011_10 - 14548694934056967/3382180749936189419*c_1001_2^17 - 238039553468786255/3382180749936189419*c_1001_2^16 - 2069802950479552615/3382180749936189419*c_1001_2^15 - 12064660693243749098/3382180749936189419*c_1001_2^14 - 51788667096491503899/3382180749936189419*c_1001_2^13 - 171156567212800592679/3382180749936189419*c_1001_2^12 - 446761370282108489950/3382180749936189419*c_1001_2^11 - 934734414242721196144/3382180749936189419*c_1001_2^10 - 1586035834405167642534/3382180749936189419*c_1001_2^9 - 2202944298322065944517/3382180749936189419*c_1001_2^8 - 2525513130986907706718/3382180749936189419*c_1001_2^7 - 2401897812785176226290/3382180749936189419*c_1001_2^6 - 1895807843168271584204/3382180749936189419*c_1001_2^5 - 1232177854431274779384/3382180749936189419*c_1001_2^4 - 643119469469041687569/3382180749936189419*c_1001_2^3 - 253615303286289145555/3382180749936189419*c_1001_2^2 - 69459473848448139932/3382180749936189419*c_1001_2 - 6690578146406416578/3382180749936189419, c_0011_11 + 588462015366614109/16910903749680947095*c_1001_2^17 + 2058379334782390071/3382180749936189419*c_1001_2^16 + 89242949955341338844/16910903749680947095*c_1001_2^15 + 100235628527069086390/3382180749936189419*c_1001_2^14 + 2020568810230199147372/16910903749680947095*c_1001_2^13 + 6174243398865335507579/16910903749680947095*c_1001_2^12 + 2960244265833270026567/3382180749936189419*c_1001_2^11 + 28535450902468911938489/16910903749680947095*c_1001_2^10 + 9013015696448569204893/3382180749936189419*c_1001_2^9 + 59124705960052651842368/16910903749680947095*c_1001_2^8 + 65088840243663963566209/16910903749680947095*c_1001_2^7 + 60509279770803416065108/16910903749680947095*c_1001_2^6 + 47547835586750880348713/16910903749680947095*c_1001_2^5 + 6273080407051572722069/3382180749936189419*c_1001_2^4 + 17039838629482777123248/16910903749680947095*c_1001_2^3 + 7374062291154011950362/16910903749680947095*c_1001_2^2 + 2332134479306863404437/16910903749680947095*c_1001_2 + 474464364362147118081/16910903749680947095, c_0011_12 + 1601344800046038562/16910903749680947095*c_1001_2^17 + 4768039181458912646/3382180749936189419*c_1001_2^16 + 180286412356389026407/16910903749680947095*c_1001_2^15 + 177068740205287862566/3382180749936189419*c_1001_2^14 + 3114199673882767811451/16910903749680947095*c_1001_2^13 + 8253815331056437052122/16910903749680947095*c_1001_2^12 + 3411261191672078730670/3382180749936189419*c_1001_2^11 + 28134174718491261094402/16910903749680947095*c_1001_2^10 + 7540517559416632448766/3382180749936189419*c_1001_2^9 + 41541635168066452466049/16910903749680947095*c_1001_2^8 + 37913740141283245791877/16910903749680947095*c_1001_2^7 + 28658089774064286845764/16910903749680947095*c_1001_2^6 + 17708944582820507649814/16910903749680947095*c_1001_2^5 + 1715519140782978834505/3382180749936189419*c_1001_2^4 + 3002281917360178896404/16910903749680947095*c_1001_2^3 + 499413923133707460781/16910903749680947095*c_1001_2^2 - 69965590410478941419/16910903749680947095*c_1001_2 - 103045516502272908627/16910903749680947095, c_0011_8 - 64476312333483839/3382180749936189419*c_1001_2^17 - 876880411187780241/3382180749936189419*c_1001_2^16 - 6062756032981525350/3382180749936189419*c_1001_2^15 - 26846243243595564327/3382180749936189419*c_1001_2^14 - 83283496163181084751/3382180749936189419*c_1001_2^13 - 187739196876613868554/3382180749936189419*c_1001_2^12 - 311333823228052847533/3382180749936189419*c_1001_2^11 - 367793908070445802121/3382180749936189419*c_1001_2^10 - 262231613407623146911/3382180749936189419*c_1001_2^9 + 22546961812838324196/3382180749936189419*c_1001_2^8 + 381518863633697843631/3382180749936189419*c_1001_2^7 + 655461232571923640300/3382180749936189419*c_1001_2^6 + 736434919848935023706/3382180749936189419*c_1001_2^5 + 632371063633715143261/3382180749936189419*c_1001_2^4 + 425033969832988976854/3382180749936189419*c_1001_2^3 + 230079516416215362314/3382180749936189419*c_1001_2^2 + 86334122408659039217/3382180749936189419*c_1001_2 + 27195313135918903960/3382180749936189419, c_0101_0 - 917113317283930257/16910903749680947095*c_1001_2^17 - 2879441258539604225/3382180749936189419*c_1001_2^16 - 114563323893775423797/16910903749680947095*c_1001_2^15 - 119051733815493630345/3382180749936189419*c_1001_2^14 - 2234643597782804862466/16910903749680947095*c_1001_2^13 - 6398673622816110583602/16910903749680947095*c_1001_2^12 - 2899288232004621705741/3382180749936189419*c_1001_2^11 - 26674551882644389670707/16910903749680947095*c_1001_2^10 - 8128352541955261762732/3382180749936189419*c_1001_2^9 - 51971073582932727663209/16910903749680947095*c_1001_2^8 - 56268750310751431015802/16910903749680947095*c_1001_2^7 - 51800726138693526626969/16910903749680947095*c_1001_2^6 - 40498072701407337278739/16910903749680947095*c_1001_2^5 - 5329822418987400381657/3382180749936189419*c_1001_2^4 - 14507597717435164315544/16910903749680947095*c_1001_2^3 - 6272056713712853709006/16910903749680947095*c_1001_2^2 - 1996049350300122528096/16910903749680947095*c_1001_2 - 397166954421692741753/16910903749680947095, c_0101_1 + 588462015366614109/16910903749680947095*c_1001_2^17 + 2058379334782390071/3382180749936189419*c_1001_2^16 + 89242949955341338844/16910903749680947095*c_1001_2^15 + 100235628527069086390/3382180749936189419*c_1001_2^14 + 2020568810230199147372/16910903749680947095*c_1001_2^13 + 6174243398865335507579/16910903749680947095*c_1001_2^12 + 2960244265833270026567/3382180749936189419*c_1001_2^11 + 28535450902468911938489/16910903749680947095*c_1001_2^10 + 9013015696448569204893/3382180749936189419*c_1001_2^9 + 59124705960052651842368/16910903749680947095*c_1001_2^8 + 65088840243663963566209/16910903749680947095*c_1001_2^7 + 60509279770803416065108/16910903749680947095*c_1001_2^6 + 47547835586750880348713/16910903749680947095*c_1001_2^5 + 6273080407051572722069/3382180749936189419*c_1001_2^4 + 17039838629482777123248/16910903749680947095*c_1001_2^3 + 7374062291154011950362/16910903749680947095*c_1001_2^2 + 2332134479306863404437/16910903749680947095*c_1001_2 + 491375268111828065176/16910903749680947095, c_0101_11 - 285156857183976079/3382180749936189419*c_1001_2^17 - 4465406699939288978/3382180749936189419*c_1001_2^16 - 35540865338600080055/3382180749936189419*c_1001_2^15 - 184858765981932580652/3382180749936189419*c_1001_2^14 - 694773928489317272858/3382180749936189419*c_1001_2^13 - 1989543047496866095529/3382180749936189419*c_1001_2^12 - 4495757612108128590617/3382180749936189419*c_1001_2^11 - 8213419953906867828847/3382180749936189419*c_1001_2^10 - 12349316474370772614565/3382180749936189419*c_1001_2^9 - 15475580062301944677648/3382180749936189419*c_1001_2^8 - 16306745032689838351872/3382180749936189419*c_1001_2^7 - 14515278362607645043636/3382180749936189419*c_1001_2^6 - 10906548414756591734792/3382180749936189419*c_1001_2^5 - 6849079641209597983892/3382180749936189419*c_1001_2^4 - 3522463302791374593610/3382180749936189419*c_1001_2^3 - 1412739329779658028509/3382180749936189419*c_1001_2^2 - 410460645911916891162/3382180749936189419*c_1001_2 - 66842775891394143757/3382180749936189419, c_0101_12 + 1074524829229582799/16910903749680947095*c_1001_2^17 + 3226687714137836757/3382180749936189419*c_1001_2^16 + 122951201960146932689/16910903749680947095*c_1001_2^15 + 121755867684996691004/3382180749936189419*c_1001_2^14 + 2161367206969896123977/16910903749680947095*c_1001_2^13 + 5792101556762693682324/16910903749680947095*c_1001_2^12 + 2426551563791861317590/3382180749936189419*c_1001_2^11 + 20360730894831511497454/16910903749680947095*c_1001_2^10 + 5578886169294459016239/3382180749936189419*c_1001_2^9 + 31608588718862796104373/16910903749680947095*c_1001_2^8 + 29873138489332834095139/16910903749680947095*c_1001_2^7 + 23583666666197289034993/16910903749680947095*c_1001_2^6 + 15432269006915730199413/16910903749680947095*c_1001_2^5 + 1631301954098172364517/3382180749936189419*c_1001_2^4 + 3349917730714017381593/16910903749680947095*c_1001_2^3 + 925592872772290611872/16910903749680947095*c_1001_2^2 + 136950424429572260492/16910903749680947095*c_1001_2 - 28672925217264249519/16910903749680947095, c_0101_2 - 77620509839454157/3382180749936189419*c_1001_2^17 - 1132116599391652985/3382180749936189419*c_1001_2^16 - 8405951239289054620/3382180749936189419*c_1001_2^15 - 40498191496086114765/3382180749936189419*c_1001_2^14 - 139575641236710842268/3382180749936189419*c_1001_2^13 - 361818987489232978577/3382180749936189419*c_1001_2^12 - 730249424884995096012/3382180749936189419*c_1001_2^11 - 1174871731421919397356/3382180749936189419*c_1001_2^10 - 1534177782764618751387/3382180749936189419*c_1001_2^9 - 1644893851029217132889/3382180749936189419*c_1001_2^8 - 1458237738678562957781/3382180749936189419*c_1001_2^7 - 1068741355683595561646/3382180749936189419*c_1001_2^6 - 640350497903195192424/3382180749936189419*c_1001_2^5 - 302418644307373090774/3382180749936189419*c_1001_2^4 - 104013430799508442059/3382180749936189419*c_1001_2^3 - 16048586702505704611/3382180749936189419*c_1001_2^2 + 3121103673651261962/3382180749936189419*c_1001_2 + 3257853022527317899/3382180749936189419, c_0101_3 + 820396299268601913/16910903749680947095*c_1001_2^17 + 2349537187867420486/3382180749936189419*c_1001_2^16 + 85460616735001885428/16910903749680947095*c_1001_2^15 + 80216055969292129293/3382180749936189419*c_1001_2^14 + 1333725172149911741749/16910903749680947095*c_1001_2^13 + 3282500789700898815723/16910903749680947095*c_1001_2^12 + 1224633895233258025745/3382180749936189419*c_1001_2^11 + 8681668863781612336698/16910903749680947095*c_1001_2^10 + 1823218082974060391435/3382180749936189419*c_1001_2^9 + 6308622959813445320161/16910903749680947095*c_1001_2^8 + 1112001639335963094718/16910903749680947095*c_1001_2^7 - 4085992037792859272244/16910903749680947095*c_1001_2^6 - 7066875400799018513294/16910903749680947095*c_1001_2^5 - 1440073364861766434436/3382180749936189419*c_1001_2^4 - 5313700161454830023624/16910903749680947095*c_1001_2^3 - 2976229669350221835776/16910903749680947095*c_1001_2^2 - 1143791697383646418871/16910903749680947095*c_1001_2 - 305272096738456121308/16910903749680947095, c_0101_6 - 347501923310506434/3382180749936189419*c_1001_2^17 - 5228978446407024711/3382180749936189419*c_1001_2^16 - 40004788125755461845/3382180749936189419*c_1001_2^15 - 199267789784785759638/3382180749936189419*c_1001_2^14 - 713673753986543320843/3382180749936189419*c_1001_2^13 - 1936234882503401879865/3382180749936189419*c_1001_2^12 - 4123922127237879731486/3382180749936189419*c_1001_2^11 - 7071244149285200401481/3382180749936189419*c_1001_2^10 - 9951570624929322154167/3382180749936189419*c_1001_2^9 - 11655939308549234596674/3382180749936189419*c_1001_2^8 - 11476150390017478822104/3382180749936189419*c_1001_2^7 - 9542946820180133470945/3382180749936189419*c_1001_2^6 - 6686239460121663753089/3382180749936189419*c_1001_2^5 - 3889749054125633947221/3382180749936189419*c_1001_2^4 - 1838779511196066858384/3382180749936189419*c_1001_2^3 - 659165408872526374646/3382180749936189419*c_1001_2^2 - 170451530583295221845/3382180749936189419*c_1001_2 - 18378971536647324089/3382180749936189419, c_1001_2^18 + 16*c_1001_2^17 + 131*c_1001_2^16 + 706*c_1001_2^15 + 2773*c_1001_2^14 + 8379*c_1001_2^13 + 20181*c_1001_2^12 + 39691*c_1001_2^11 + 64876*c_1001_2^10 + 89237*c_1001_2^9 + 104228*c_1001_2^8 + 103938*c_1001_2^7 + 88664*c_1001_2^6 + 64477*c_1001_2^5 + 39587*c_1001_2^4 + 20050*c_1001_2^3 + 8101*c_1001_2^2 + 2372*c_1001_2 + 449 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.340 Total time: 2.549 seconds, Total memory usage: 64.12MB