Magma V2.19-8 Tue Aug 20 2013 23:59:19 on localhost [Seed = 88304759] Type ? for help. Type -D to quit. Loading file "K13n1414__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1414 geometric_solution 11.09989360 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.713557899281 1.714444808055 0 4 6 5 0132 0132 0132 0132 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 9 1 -10 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.695805497444 0.267599192888 0 0 8 7 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.094805367574 0.567439527235 5 8 9 0 0132 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.059946761029 0.373758602939 6 1 9 10 0321 0132 3201 0132 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 9 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.398204613456 0.873631268356 3 11 1 10 0132 0132 0132 0213 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 0 0 0 0 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 1.167499115213 0.913077918167 4 10 10 1 0321 0132 3201 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 -1 0 1 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.043289936857 0.714436672426 9 8 2 12 2031 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427395025275 1.269920179649 7 3 11 2 1302 2103 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 1 0 0 -1 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.481621995850 0.651831751803 4 12 7 3 2310 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527876125769 0.927458814991 6 6 4 5 2310 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.347484439413 0.446837479538 12 5 12 8 3012 0132 2103 3012 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 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.317654704363 1.174893682436 11 9 7 11 2103 0132 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 0 0 0 0 0 0 0 10 -9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.154829875811 0.849861695946 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0011_8'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_8'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : negation(d['c_0011_10']), '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' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : 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_0011_10']), 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : d['c_0110_11'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0110_11'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_7'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_0011_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_0101_2'], 'c_1100_8' : d['c_0110_11'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0110_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0011_7']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_7, c_0011_8, c_0101_0, c_0101_11, c_0101_2, c_0101_3, c_0101_7, c_0110_11, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 9064981641353045595111208899636706734534947/40567726088502896678894\ 836917705166900*c_1001_1^31 + 7758037557344324183325880998155452585\ 368377/40567726088502896678894836917705166900*c_1001_1^30 + 3605961605604139601081614643554722574677067/40567726088502896678894\ 836917705166900*c_1001_1^29 + 1780297354559658160509945389771290726\ 8294591/4056772608850289667889483691770516690*c_1001_1^28 - 303983721229452572128817291635779515058418149/405677260885028966788\ 94836917705166900*c_1001_1^27 + 30559769768888646002214690338608963\ 2124230709/10141931522125724169723709229426291725*c_1001_1^26 - 470931424821971080710144565834535649584320629/101419315221257241697\ 23709229426291725*c_1001_1^25 + 22800610392194343846875364450707406\ 9916123512/2028386304425144833944741845885258345*c_1001_1^24 - 2976985054117758659861486053765842487227927707/20283863044251448339\ 447418458852583450*c_1001_1^23 + 2787497974272156425519590208357818\ 205549746203/10141931522125724169723709229426291725*c_1001_1^22 - 12333452661928087643325021797383707344572549349/4056772608850289667\ 8894836917705166900*c_1001_1^21 + 480427478549524565351474970261251\ 9763015572969/10141931522125724169723709229426291725*c_1001_1^20 - 17838440690311738670549416048306788716160549959/4056772608850289667\ 8894836917705166900*c_1001_1^19 + 119876658653868390891315571062074\ 5150209549608/2028386304425144833944741845885258345*c_1001_1^18 - 183707942229815782176564374812279131151411855/405677260885028966788\ 948369177051669*c_1001_1^17 + 5376409591667272897085591152021169495\ 792540114/10141931522125724169723709229426291725*c_1001_1^16 - 3248839365587781658417070618987718362355880566/10141931522125724169\ 723709229426291725*c_1001_1^15 + 5193680334979668052988213806336573\ 67570577109/1622709043540115867155793476708206676*c_1001_1^14 - 1365145820587406046825767590259633525115889927/10141931522125724169\ 723709229426291725*c_1001_1^13 + 3967229450028971609745982543132915\ 800755668467/40567726088502896678894836917705166900*c_1001_1^12 - 328901428267387733624802495817289677549025697/405677260885028966788\ 94836917705166900*c_1001_1^11 - 10403256969196042174263166411114081\ 5536032593/4056772608850289667889483691770516690*c_1001_1^10 + 1160979014671544498938325365572203671135675711/40567726088502896678\ 894836917705166900*c_1001_1^9 - 93216786223157864563314696758346659\ 6985293443/20283863044251448339447418458852583450*c_1001_1^8 + 37306724853375049989220310669861433456320858/2028386304425144833944\ 741845885258345*c_1001_1^7 - 24359273539358932803380858128340744612\ 2375801/10141931522125724169723709229426291725*c_1001_1^6 + 220152684055394769781115037521158595584112953/405677260885028966788\ 94836917705166900*c_1001_1^5 - 263774111936141660451579624751014943\ 909944557/40567726088502896678894836917705166900*c_1001_1^4 + 6454865707130687888381250786236725201558953/81135452177005793357789\ 67383541033380*c_1001_1^3 - 182375787586328550980126252423407081689\ 93459/20283863044251448339447418458852583450*c_1001_1^2 + 1872242722944882043738533838422384668587341/40567726088502896678894\ 836917705166900*c_1001_1 - 5051236626776239485883263620238358503024\ 78/10141931522125724169723709229426291725, c_0011_0 - 1, c_0011_10 + 203400721531625454816426456125776/1349998538728623991816854\ 3609595*c_1001_1^31 - 1153142364379254368243106064835239/1349998538\ 7286239918168543609595*c_1001_1^30 - 2233699693975309184678146549888474/13499985387286239918168543609595\ *c_1001_1^29 + 309177965185743986472185477704875/269999707745724798\ 3633708721919*c_1001_1^28 - 34796343407756691504426719701975257/134\ 99985387286239918168543609595*c_1001_1^27 + 47348965442924283745482341931519938/1349998538728623991816854360959\ 5*c_1001_1^26 - 200716564086536050540438204712869923/13499985387286\ 239918168543609595*c_1001_1^25 + 4718739021012172028086253614841527\ 7/2699997077457247983633708721919*c_1001_1^24 - 667758315654924308958522723052083097/134999853872862399181685436095\ 95*c_1001_1^23 + 638151173071345892986394514180190111/1349998538728\ 6239918168543609595*c_1001_1^22 - 151804774168765589645546813372530\ 9572/13499985387286239918168543609595*c_1001_1^21 + 1111231511021597765410015391811347593/13499985387286239918168543609\ 595*c_1001_1^20 - 2507859242931966013003456693753387702/13499985387\ 286239918168543609595*c_1001_1^19 + 249640490998417581949234569961944449/269999707745724798363370872191\ 9*c_1001_1^18 - 625491156135234302812645007128843592/26999970774572\ 47983633708721919*c_1001_1^17 + 75522972877437635722585495708024395\ 8/13499985387286239918168543609595*c_1001_1^16 - 2994709654647620109764106269205931547/13499985387286239918168543609\ 595*c_1001_1^15 - 30945871108866529496108753704199142/2699997077457\ 247983633708721919*c_1001_1^14 - 2220614640758227134333004907233441\ 539/13499985387286239918168543609595*c_1001_1^13 - 863757458028259532635711747978434539/134999853872862399181685436095\ 95*c_1001_1^12 - 1276370837478306635080742639656700576/134999853872\ 86239918168543609595*c_1001_1^11 - 194589426271430505840146186861053156/269999707745724798363370872191\ 9*c_1001_1^10 - 561869378157220341880247678545667572/13499985387286\ 239918168543609595*c_1001_1^9 - 63533605945241774042217644126228733\ 3/13499985387286239918168543609595*c_1001_1^8 - 36566655776549593711708726308234456/2699997077457247983633708721919\ *c_1001_1^7 - 258590616648156545907197901064344877/1349998538728623\ 9918168543609595*c_1001_1^6 - 40459696051346255847260670851256631/1\ 3499985387286239918168543609595*c_1001_1^5 - 63128710496974703724415294219958486/1349998538728623991816854360959\ 5*c_1001_1^4 - 1042959602857286294432326589670735/26999970774572479\ 83633708721919*c_1001_1^3 - 8370118545552007355724895713660839/1349\ 9985387286239918168543609595*c_1001_1^2 - 286601243441859009860855796734407/13499985387286239918168543609595*\ c_1001_1 - 469567185831897518243754194734881/1349998538728623991816\ 8543609595, c_0011_11 - 27302721478228361558101047457141254/13499985387286239918168\ 543609595*c_1001_1^31 - 55719810713933408560159548942326654/1349998\ 5387286239918168543609595*c_1001_1^30 - 65032639702267042605732722707056404/1349998538728623991816854360959\ 5*c_1001_1^29 - 118193991616452478528162038410407833/26999970774572\ 47983633708721919*c_1001_1^28 + 23881791456830284208544627727906574\ 8/13499985387286239918168543609595*c_1001_1^27 - 3148145014379484609946983404498536457/13499985387286239918168543609\ 595*c_1001_1^26 + 1797041045474295008267044833626232002/13499985387\ 286239918168543609595*c_1001_1^25 - 2047672521035600345850307527617746801/26999970774572479836337087219\ 19*c_1001_1^24 + 4812239435914190179012836552813293183/134999853872\ 86239918168543609595*c_1001_1^23 - 23397690280809984170936473447637053859/1349998538728623991816854360\ 9595*c_1001_1^22 + 6683903179010628392490525531299543188/1349998538\ 7286239918168543609595*c_1001_1^21 - 39737943218115440880134772119491462472/1349998538728623991816854360\ 9595*c_1001_1^20 + 2265960410591310596977148862744390013/1349998538\ 7286239918168543609595*c_1001_1^19 - 10477290940323457416836808728853055522/2699997077457247983633708721\ 919*c_1001_1^18 - 2057931840323238576790832506914768438/26999970774\ 57247983633708721919*c_1001_1^17 - 54954739872793254062235378234753596002/1349998538728623991816854360\ 9595*c_1001_1^16 - 25087261785574100430358873150810710262/134999853\ 87286239918168543609595*c_1001_1^15 - 9345782389376211163477480663464635938/26999970774572479836337087219\ 19*c_1001_1^14 - 32110913944578913865263943857151275864/13499985387\ 286239918168543609595*c_1001_1^13 - 32392030921057888096131017970382003659/1349998538728623991816854360\ 9595*c_1001_1^12 - 27272423000575537529440896981415749441/134999853\ 87286239918168543609595*c_1001_1^11 - 3605054358055943263066357864496708997/26999970774572479836337087219\ 19*c_1001_1^10 - 15910029607530579833120874281688613762/13499985387\ 286239918168543609595*c_1001_1^9 - 7704040655295338958203753385450162973/13499985387286239918168543609\ 595*c_1001_1^8 - 1235187770927119485824566419222222808/269999707745\ 7247983633708721919*c_1001_1^7 - 2337787793359791910048561918352342\ 152/13499985387286239918168543609595*c_1001_1^6 - 1485471203623809197378149342317346431/13499985387286239918168543609\ 595*c_1001_1^5 - 454997283339501085809997701485457121/1349998538728\ 6239918168543609595*c_1001_1^4 - 3933373810680042299495835190932231\ 3/2699997077457247983633708721919*c_1001_1^3 - 49763202011055478396657853749298654/1349998538728623991816854360959\ 5*c_1001_1^2 - 10803539898979869410251091090978367/1349998538728623\ 9918168543609595*c_1001_1 - 2298700308867777181601104647786651/1349\ 9985387286239918168543609595, c_0011_12 + 1, c_0011_7 + 1660724805498649498295601942173893/1349998538728623991816854\ 3609595*c_1001_1^31 - 474277700456424324043739009725327/13499985387\ 286239918168543609595*c_1001_1^30 - 2854396111379735125031746568971047/13499985387286239918168543609595\ *c_1001_1^29 + 5741587250198608928162594519519759/26999970774572479\ 83633708721919*c_1001_1^28 - 96034183698920916952701743690584441/13\ 499985387286239918168543609595*c_1001_1^27 + 248035048288052405641069793655250529/134999853872862399181685436095\ 95*c_1001_1^26 - 569102537494744866102265793135519259/1349998538728\ 6239918168543609595*c_1001_1^25 + 200706217491447985827908280654863\ 365/2699997077457247983633708721919*c_1001_1^24 - 1839238159212989447543347127386018581/13499985387286239918168543609\ 595*c_1001_1^23 + 2525824390490121411357653984518452688/13499985387\ 286239918168543609595*c_1001_1^22 - 3996905455223343469383233818019835016/13499985387286239918168543609\ 595*c_1001_1^21 + 4337583686149242953306158033988317174/13499985387\ 286239918168543609595*c_1001_1^20 - 6233700599732298618084757463022735626/13499985387286239918168543609\ 595*c_1001_1^19 + 1032097260492863957147345313927386130/26999970774\ 57247983633708721919*c_1001_1^18 - 1447366255875368505128525073333162703/26999970774572479836337087219\ 19*c_1001_1^17 + 4026997295350811656888226687161502589/134999853872\ 86239918168543609595*c_1001_1^16 - 6321832465012617416634645206707934356/13499985387286239918168543609\ 595*c_1001_1^15 + 289620236778152279558484787083961007/269999707745\ 7247983633708721919*c_1001_1^14 - 416490558514411022674115532249833\ 4847/13499985387286239918168543609595*c_1001_1^13 - 865503551069811007839092357972115512/134999853872862399181685436095\ 95*c_1001_1^12 - 2065310216649559531328403012639810498/134999853872\ 86239918168543609595*c_1001_1^11 - 339501740462113961271334339721060224/269999707745724798363370872191\ 9*c_1001_1^10 - 771969391410027499449790242212664121/13499985387286\ 239918168543609595*c_1001_1^9 - 12689756235994795253544499462091665\ 34/13499985387286239918168543609595*c_1001_1^8 - 44085709438775999690750262411758067/2699997077457247983633708721919\ *c_1001_1^7 - 549079047766504357409443017688860381/1349998538728623\ 9918168543609595*c_1001_1^6 - 46389055587429572761129276578439888/1\ 3499985387286239918168543609595*c_1001_1^5 - 139090784704970611230046221247863793/134999853872862399181685436095\ 95*c_1001_1^4 - 1213657375255297651740923981934592/2699997077457247\ 983633708721919*c_1001_1^3 - 18892229152005414617171127255981132/13\ 499985387286239918168543609595*c_1001_1^2 - 347760897547996456590753131943586/13499985387286239918168543609595*\ c_1001_1 - 1037826706782077220647673105579288/134999853872862399181\ 68543609595, c_0011_8 - 12534386849201634793131304115111215/269999707745724798363370\ 8721919*c_1001_1^31 - 20372386046305057290684032301617591/269999707\ 7457247983633708721919*c_1001_1^30 - 20616827488613204624546652334660510/2699997077457247983633708721919\ *c_1001_1^29 - 261012513258238762572700156839478851/269999707745724\ 7983633708721919*c_1001_1^28 + 220382447560670813754208211029283437\ /2699997077457247983633708721919*c_1001_1^27 - 1519554606115767476672511821005571415/26999970774572479836337087219\ 19*c_1001_1^26 + 1452902221543492542656006246890673713/269999707745\ 7247983633708721919*c_1001_1^25 - 521317050520826944851324752875573\ 4691/2699997077457247983633708721919*c_1001_1^24 + 4337653017036046379193460678430044346/26999970774572479836337087219\ 19*c_1001_1^23 - 12245933866409236940562090406845490624/26999970774\ 57247983633708721919*c_1001_1^22 + 8053410247722773919683611382881022219/26999970774572479836337087219\ 19*c_1001_1^21 - 20892349740891309101306525125272435427/26999970774\ 57247983633708721919*c_1001_1^20 + 9592783851349300312673582873338919201/26999970774572479836337087219\ 19*c_1001_1^19 - 26808783593750685578996750559914879940/26999970774\ 57247983633708721919*c_1001_1^18 + 6441796280439268478209686088555895845/26999970774572479836337087219\ 19*c_1001_1^17 - 26212044753927301931948931526907518267/26999970774\ 57247983633708721919*c_1001_1^16 - 211134537938091220684345314694095833/269999707745724798363370872191\ 9*c_1001_1^15 - 19493278659511898182990370517438093428/269999707745\ 7247983633708721919*c_1001_1^14 - 577389055370035195599998577929963\ 8906/2699997077457247983633708721919*c_1001_1^13 - 10796006923037014945892510416542141785/2699997077457247983633708721\ 919*c_1001_1^12 - 6945182095457930582846075173672910025/26999970774\ 57247983633708721919*c_1001_1^11 - 4179433240046945837603491221501115133/26999970774572479836337087219\ 19*c_1001_1^10 - 4628928345344885560347009483563308304/269999707745\ 7247983633708721919*c_1001_1^9 - 9265624879794862452632510352964341\ 70/2699997077457247983633708721919*c_1001_1^8 - 1885195707995654730909371891693810785/26999970774572479836337087219\ 19*c_1001_1^7 - 57944552685720852597513874398215/269999707745724798\ 3633708721919*c_1001_1^6 - 452633555517687477290542319375754158/269\ 9997077457247983633708721919*c_1001_1^5 + 61299132658820186855320604779300974/2699997077457247983633708721919\ *c_1001_1^4 - 57871259287245357880513941893960048/26999970774572479\ 83633708721919*c_1001_1^3 + 14451225927189852506286480558705288/269\ 9997077457247983633708721919*c_1001_1^2 - 3000575692296486729385577987207424/2699997077457247983633708721919*\ c_1001_1 + 1078053011709481812885031064667848/269999707745724798363\ 3708721919, c_0101_0 + 16581332818753722127805700303455859/134999853872862399181685\ 43609595*c_1001_1^31 + 32012003379309769730940574404583049/13499985\ 387286239918168543609595*c_1001_1^30 + 36057427250513689779998837433293659/1349998538728623991816854360959\ 5*c_1001_1^29 + 71035808905876983657068246331245374/269999707745724\ 7983633708721919*c_1001_1^28 - 183796106674262648349408776658488828\ /13499985387286239918168543609595*c_1001_1^27 + 1934299105774467783824126938037851832/13499985387286239918168543609\ 595*c_1001_1^26 - 1303960906332450508577252230046562842/13499985387\ 286239918168543609595*c_1001_1^25 + 1274442632324746279244975710208028708/26999970774572479836337087219\ 19*c_1001_1^24 - 3624892052957447951858781814097430153/134999853872\ 86239918168543609595*c_1001_1^23 + 14644131235293890822604789972536513204/1349998538728623991816854360\ 9595*c_1001_1^22 - 5673874828834266589776389763043330048/1349998538\ 7286239918168543609595*c_1001_1^21 + 24843959800334451875434643876582219072/1349998538728623991816854360\ 9595*c_1001_1^20 - 4108062082001759125855475658192166693/1349998538\ 7286239918168543609595*c_1001_1^19 + 6485676430481722687502889653880892080/26999970774572479836337087219\ 19*c_1001_1^18 + 541607350217819942300889079435073600/2699997077457\ 247983633708721919*c_1001_1^17 + 3331697316011474594388992990619395\ 7807/13499985387286239918168543609595*c_1001_1^16 + 11648406204981842949764532997172786342/1349998538728623991816854360\ 9595*c_1001_1^15 + 5476795396762441088278165800967041348/2699997077\ 457247983633708721919*c_1001_1^14 + 16625075110123165819576587238394222224/1349998538728623991816854360\ 9595*c_1001_1^13 + 18117167498537822019605990536875040709/134999853\ 87286239918168543609595*c_1001_1^12 + 14736002479924375532436256295381117936/1349998538728623991816854360\ 9595*c_1001_1^11 + 1906594036537618415692506983937361271/2699997077\ 457247983633708721919*c_1001_1^10 + 8760112054024048109456290585371776627/13499985387286239918168543609\ 595*c_1001_1^9 + 3835014888206071538328666292018953808/134999853872\ 86239918168543609595*c_1001_1^8 + 684262187910655097345357252907701\ 042/2699997077457247983633708721919*c_1001_1^7 + 1093580309289048948706892365612007202/13499985387286239918168543609\ 595*c_1001_1^6 + 821823133501045789424991992886411431/1349998538728\ 6239918168543609595*c_1001_1^5 + 1995560879578793717809812396299955\ 91/13499985387286239918168543609595*c_1001_1^4 + 21660729335306696251434501679379307/2699997077457247983633708721919\ *c_1001_1^3 + 20372186854330549785853720448570914/13499985387286239\ 918168543609595*c_1001_1^2 + 5900317939950022282715377637269747/134\ 99985387286239918168543609595*c_1001_1 + 873031751624119272439818371636176/13499985387286239918168543609595, c_0101_11 + 53352556434149658067827627788565124/13499985387286239918168\ 543609595*c_1001_1^31 + 166277559083766501425545781052779043/269999\ 70774572479836337087219190*c_1001_1^30 + 162704513757640516389611009466423103/269999707745724798363370872191\ 90*c_1001_1^29 + 220890788730990765860766638473028760/2699997077457\ 247983633708721919*c_1001_1^28 - 1012963975950513752325260940649375\ 278/13499985387286239918168543609595*c_1001_1^27 + 6519067029973717139897071133804537247/13499985387286239918168543609\ 595*c_1001_1^26 - 6601275441624326666630620905928087462/13499985387\ 286239918168543609595*c_1001_1^25 + 4505680658301981042256496935838185026/26999970774572479836337087219\ 19*c_1001_1^24 - 39696173227318022299860076333576751281/26999970774\ 572479836337087219190*c_1001_1^23 + 53088440074037840630502334333574972484/1349998538728623991816854360\ 9595*c_1001_1^22 - 37456792998674243751704678292129624663/134999853\ 87286239918168543609595*c_1001_1^21 + 90568852761067409271171090796485853437/1349998538728623991816854360\ 9595*c_1001_1^20 - 46158303379532964831058609428231318188/134999853\ 87286239918168543609595*c_1001_1^19 + 23145407276986216470060307792350651618/2699997077457247983633708721\ 919*c_1001_1^18 - 6838953438149038696077074126301697423/26999970774\ 57247983633708721919*c_1001_1^17 + 112007041239362225827220932192375191877/134999853872862399181685436\ 09595*c_1001_1^16 - 11499969451949671443258730800897470191/26999970\ 774572479836337087219190*c_1001_1^15 + 16325200763208988233165011819447059297/2699997077457247983633708721\ 919*c_1001_1^14 + 39011859137921043389569216226709400493/2699997077\ 4572479836337087219190*c_1001_1^13 + 86937171596044181015904476838569373763/2699997077457247983633708721\ 9190*c_1001_1^12 + 26572242708098583017088988225588754586/134999853\ 87286239918168543609595*c_1001_1^11 + 3092717062363612192005138289629454101/26999970774572479836337087219\ 19*c_1001_1^10 + 36753664252040614882238351810516525999/26999970774\ 572479836337087219190*c_1001_1^9 + 5153730123838765761503234928788544791/26999970774572479836337087219\ 190*c_1001_1^8 + 1522321231203936295439763550452795742/269999707745\ 7247983633708721919*c_1001_1^7 - 9982621424573366046321575827719246\ 71/26999970774572479836337087219190*c_1001_1^6 + 1849686674784549219075850042173624711/13499985387286239918168543609\ 595*c_1001_1^5 - 729753405698202627912257655388392483/2699997077457\ 2479836337087219190*c_1001_1^4 + 4807437366562110029916710170876139\ 2/2699997077457247983633708721919*c_1001_1^3 - 71981238303919054811007582640094066/1349998538728623991816854360959\ 5*c_1001_1^2 + 12810940137466158680994034101767737/1349998538728623\ 9918168543609595*c_1001_1 - 9843049087086256710766625838803193/2699\ 9970774572479836337087219190, c_0101_2 - 18362137465644015242011135534668842/134999853872862399181685\ 43609595*c_1001_1^31 - 125684286234261119387750611241287659/2699997\ 0774572479836337087219190*c_1001_1^30 - 91914878732277323928379028076696532/1349998538728623991816854360959\ 5*c_1001_1^29 - 90446546504791645493434315534667707/269999707745724\ 7983633708721919*c_1001_1^28 - 764193802150954546984949086218903307\ /26999970774572479836337087219190*c_1001_1^27 - 3638087366424652534516606500248483807/26999970774572479836337087219\ 190*c_1001_1^26 - 1781950928758409724139067879475447344/13499985387\ 286239918168543609595*c_1001_1^25 - 951928323338236984783476282599337655/269999707745724798363370872191\ 9*c_1001_1^24 - 13443631475388714911907030365105738097/269999707745\ 72479836337087219190*c_1001_1^23 - 9661611719035090847319726242774327227/13499985387286239918168543609\ 595*c_1001_1^22 - 18605086001432587944190698401986847446/1349998538\ 7286239918168543609595*c_1001_1^21 - 16674972689963570122459415499074930146/1349998538728623991816854360\ 9595*c_1001_1^20 - 75947184205841714633016230666906418487/269999707\ 74572479836337087219190*c_1001_1^19 - 10577510101779635158999333781449041529/5399994154914495967267417443\ 838*c_1001_1^18 - 11742688749401556603748247595899603247/2699997077\ 457247983633708721919*c_1001_1^17 - 37762064689945304241621848381240356596/1349998538728623991816854360\ 9595*c_1001_1^16 - 140054625645267322410894041973782140077/26999970\ 774572479836337087219190*c_1001_1^15 - 9188000866540016044568150503559934080/26999970774572479836337087219\ 19*c_1001_1^14 - 129642940962693260963981022571188874649/2699997077\ 4572479836337087219190*c_1001_1^13 - 44811020665040620449777315338733266032/1349998538728623991816854360\ 9595*c_1001_1^12 - 92450895666116102166406442585948994761/269999707\ 74572479836337087219190*c_1001_1^11 - 6682135886513620131385527100455985399/26999970774572479836337087219\ 19*c_1001_1^10 - 24719742525926620931717970076276824061/13499985387\ 286239918168543609595*c_1001_1^9 - 18139534155933520373422833562514286919/1349998538728623991816854360\ 9595*c_1001_1^8 - 1877654905646725948436547435156681489/26999970774\ 57247983633708721919*c_1001_1^7 - 134194540011461903288842013926917\ 14677/26999970774572479836337087219190*c_1001_1^6 - 2316011596903841265642364909540756763/13499985387286239918168543609\ 595*c_1001_1^5 - 3100033809054302175808326215574220751/269999707745\ 72479836337087219190*c_1001_1^4 - 129046387723032244409699987984355\ 845/5399994154914495967267417443838*c_1001_1^3 - 197467995845666748874151557738312067/134999853872862399181685436095\ 95*c_1001_1^2 - 37684347863492528777128169272203007/269999707745724\ 79836337087219190*c_1001_1 - 10458390365497294417130328605869438/13\ 499985387286239918168543609595, c_0101_3 - c_1001_1, c_0101_7 - 134821394314936371198585252423836049/26999970774572479836337\ 087219190*c_1001_1^31 - 204544341715507185231178244883752149/269999\ 70774572479836337087219190*c_1001_1^30 - 97811253450974132288668526287330187/1349998538728623991816854360959\ 5*c_1001_1^29 - 277878534862796214356625555547224664/26999970774572\ 47983633708721919*c_1001_1^28 + 13399475706129636593505356673955391\ 74/13499985387286239918168543609595*c_1001_1^27 - 8274085398133955949922041668360283721/13499985387286239918168543609\ 595*c_1001_1^26 + 8684689950117422867186883703982038126/13499985387\ 286239918168543609595*c_1001_1^25 - 11494337855730052517135008753865486395/5399994154914495967267417443\ 838*c_1001_1^24 + 26261520679925834161113388893634998029/1349998538\ 7286239918168543609595*c_1001_1^23 - 67890687449068756448027683704238079297/1349998538728623991816854360\ 9595*c_1001_1^22 + 50145215370496246011143307379951293019/134999853\ 87286239918168543609595*c_1001_1^21 - 115888031990316511388652088231319328486/134999853872862399181685436\ 09595*c_1001_1^20 + 63256603766085259559814859480179023754/13499985\ 387286239918168543609595*c_1001_1^19 - 29549622167300387430554428345610308997/2699997077457247983633708721\ 919*c_1001_1^18 + 9961861407391455875523083327583700390/26999970774\ 57247983633708721919*c_1001_1^17 - 284059510688242492941365048108604219597/269999707745724798363370872\ 19190*c_1001_1^16 + 14163288664114882961063565579399057964/13499985\ 387286239918168543609595*c_1001_1^15 - 40758407041011189854615617526096409239/5399994154914495967267417443\ 838*c_1001_1^14 - 37906600733480112804418803339892329199/2699997077\ 4572479836337087219190*c_1001_1^13 - 52357539797947439804993852262420079052/1349998538728623991816854360\ 9595*c_1001_1^12 - 29848590321513069755726596545343278678/134999853\ 87286239918168543609595*c_1001_1^11 - 6753977161830140317855180991743820059/53999941549144959672674174438\ 38*c_1001_1^10 - 42614267846341034221483443857054802297/26999970774\ 572479836337087219190*c_1001_1^9 - 1487157787249537953973469165170806869/13499985387286239918168543609\ 595*c_1001_1^8 - 3549863173640073670812149747497941145/539999415491\ 4495967267417443838*c_1001_1^7 + 1406684262822705526947475180811398\ 604/13499985387286239918168543609595*c_1001_1^6 - 4270253611422096596802686019413014351/26999970774572479836337087219\ 190*c_1001_1^5 + 674617690248121171621690906579370947/1349998538728\ 6239918168543609595*c_1001_1^4 - 5412180551655948283651716425859854\ 3/2699997077457247983633708721919*c_1001_1^3 + 123897724311527439910667166913259778/134999853872862399181685436095\ 95*c_1001_1^2 - 27650752763697837758694261664105027/269999707745724\ 79836337087219190*c_1001_1 + 8359170404652885735080954265918982/134\ 99985387286239918168543609595, c_0110_11 + 11250538287734737410391936681945898/13499985387286239918168\ 543609595*c_1001_1^31 + 54544968877721141849371274598894581/2699997\ 0774572479836337087219190*c_1001_1^30 + 34714700857614933659642722387289723/1349998538728623991816854360959\ 5*c_1001_1^29 + 50397343598896870959959723717530714/269999707745724\ 7983633708721919*c_1001_1^28 - 14677444122726153879960686576511177/\ 26999970774572479836337087219190*c_1001_1^27 + 2480273534916663059173714429971111493/26999970774572479836337087219\ 190*c_1001_1^26 - 235749806436118768271518206796331479/134999853872\ 86239918168543609595*c_1001_1^25 + 765990389013059941227920549655339964/269999707745724798363370872191\ 9*c_1001_1^24 - 609643663028077577842690251454990587/26999970774572\ 479836337087219190*c_1001_1^23 + 8531987222734199625166253177480302\ 588/13499985387286239918168543609595*c_1001_1^22 + 1114552617310342056078366917234644644/13499985387286239918168543609\ 595*c_1001_1^21 + 14503013610875395826924748243314468809/1349998538\ 7286239918168543609595*c_1001_1^20 + 11215988079917389777877034920818833293/2699997077457247983633708721\ 9190*c_1001_1^19 + 7924727830534919397794052820099541645/5399994154\ 914495967267417443838*c_1001_1^18 + 2534659303890348128674045209807980472/26999970774572479836337087219\ 19*c_1001_1^17 + 22365017207029741290245655172238310629/13499985387\ 286239918168543609595*c_1001_1^16 + 37559884723077453807448921826420198383/2699997077457247983633708721\ 9190*c_1001_1^15 + 4237939739840084000733025577554901345/2699997077\ 457247983633708721919*c_1001_1^14 + 39720086691147572715830813888391287561/2699997077457247983633708721\ 9190*c_1001_1^13 + 16686617499122210784110707932849654763/134999853\ 87286239918168543609595*c_1001_1^12 + 30625891970141095159946896930298378579/2699997077457247983633708721\ 9190*c_1001_1^11 + 2109167083079536184147756153511576753/2699997077\ 457247983633708721919*c_1001_1^10 + 8476872341259367111454405136774743279/13499985387286239918168543609\ 595*c_1001_1^9 + 5044919967588500182825747850978319236/134999853872\ 86239918168543609595*c_1001_1^8 + 640478257611424495666941442364426\ 047/2699997077457247983633708721919*c_1001_1^7 + 3359115507186889396650231191770710853/26999970774572479836337087219\ 190*c_1001_1^6 + 758473068968097530603738874259492687/1349998538728\ 6239918168543609595*c_1001_1^5 + 7035416304190479885832773338001170\ 79/26999970774572479836337087219190*c_1001_1^4 + 39549158033117658229991938840338139/5399994154914495967267417443838\ *c_1001_1^3 + 40886656437399602750202952415020653/13499985387286239\ 918168543609595*c_1001_1^2 + 10700823221633981294944253284762183/26\ 999970774572479836337087219190*c_1001_1 + 2006548868890641374587896053958157/13499985387286239918168543609595\ , c_1001_1^32 + 20/11*c_1001_1^31 + 25/11*c_1001_1^30 + 239/11*c_1001_1^29 - 142/11*c_1001_1^28 + 1370/11*c_1001_1^27 - 1061/11*c_1001_1^26 + 4738/11*c_1001_1^25 - 3227/11*c_1001_1^24 + 11378/11*c_1001_1^23 - 533*c_1001_1^22 + 20140/11*c_1001_1^21 - 6340/11*c_1001_1^20 + 27312/11*c_1001_1^19 - 2455/11*c_1001_1^18 + 28978/11*c_1001_1^17 + 4555/11*c_1001_1^16 + 24347/11*c_1001_1^15 + 10171/11*c_1001_1^14 + 16255/11*c_1001_1^13 + 993*c_1001_1^12 + 8541/11*c_1001_1^11 + 7583/11*c_1001_1^10 + 3429/11*c_1001_1^9 + 3533/11*c_1001_1^8 + 993/11*c_1001_1^7 + 1081/11*c_1001_1^6 + 190/11*c_1001_1^5 + 206/11*c_1001_1^4 + 21/11*c_1001_1^3 + 2*c_1001_1^2 + 1/11*c_1001_1 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.000 Total time: 4.209 seconds, Total memory usage: 64.12MB