Magma V2.19-8 Wed Aug 21 2013 00:28:27 on localhost [Seed = 2412354643] Type ? for help. Type -D to quit. Loading file "K14n15886__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15886 geometric_solution 11.98090569 oriented_manifold CS_known -0.0000000000000004 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 -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 1 0 0 -1 2 1 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496401249885 0.609592745401 0 4 6 5 0132 2103 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 0 0 -1 0 0 1 1 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680540247081 0.613535220941 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 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777453400257 0.678049325010 4 10 8 0 0213 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 -1 0 1 0 0 0 0 1 0 0 -1 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.428712209618 1.210589795419 3 1 0 9 0213 2103 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 1 -1 0 -1 0 1 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269337048332 1.475854128296 11 7 1 6 0132 0213 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 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.014347059383 0.935965517628 10 11 5 1 0321 3201 1230 0132 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 2 0 -2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.269742719698 1.030602568187 2 9 5 12 0132 3120 0213 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.712298390358 0.561984840945 11 10 2 3 1302 0213 0132 0132 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 -2 -1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189672678040 1.080933752261 12 7 4 2 0132 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 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.460426973155 0.357905627329 6 3 8 12 0321 0132 0213 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.611947103092 0.422789679122 5 8 6 12 0132 2031 2310 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 2 -2 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.091623941559 1.313930031572 9 10 7 11 0132 2310 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 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 1.201923225313 1.063611410428 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_4']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_1001_5'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : negation(d['c_0011_12']), 's_3_11' : d['1'], 's_3_10' : 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_8'], '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' : 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' : 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' : d['c_0101_11'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_1001_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : d['c_1100_0'], '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' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_8'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(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_4'], 'c_0011_7' : d['c_0011_0'], '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_0101_0'], 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : negation(d['c_0101_0']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_0']), 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(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_4, c_0011_6, c_0011_8, c_0101_0, c_0101_11, c_0101_12, c_1001_0, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 2377298625473952565315701977987561447761970896110905257/72333305569\ 939109812311995381618860419646181749415*c_1100_0^21 - 3341299156695134534001955845131207911674691664475592874/72333305569\ 939109812311995381618860419646181749415*c_1100_0^20 - 17668879437068256627877965763694680494913655456696386452/7233330556\ 9939109812311995381618860419646181749415*c_1100_0^19 + 38074394132790906375423869153124759033820157132924814238/7233330556\ 9939109812311995381618860419646181749415*c_1100_0^18 + 131995861125611220014329846500404045677601500204628571891/723333055\ 69939109812311995381618860419646181749415*c_1100_0^17 - 44079404311195661465219269907004411868152614241363860793/7233330556\ 9939109812311995381618860419646181749415*c_1100_0^16 - 1625172413899400958645744783239951246070426105517448210939/72333305\ 569939109812311995381618860419646181749415*c_1100_0^15 + 530222403236166844049225215239896526414614565977821481183/144666611\ 13987821962462399076323772083929236349883*c_1100_0^14 + 667701088916760353240601421802357116742489346431638330881/144666611\ 13987821962462399076323772083929236349883*c_1100_0^13 - 8872505429530886681185586109550444114322427909653585078017/72333305\ 569939109812311995381618860419646181749415*c_1100_0^12 - 247541494764853634463191935970723213167082722983876214839/249425191\ 6204796890079723978676512428263661439635*c_1100_0^11 + 31508249728399712971718414327471119593165868074299152635022/7233330\ 5569939109812311995381618860419646181749415*c_1100_0^10 - 11494862103737861261987240878929984690796116873871220234454/7233330\ 5569939109812311995381618860419646181749415*c_1100_0^9 - 51532718132382732605346398133964312829640049923409827886717/7233330\ 5569939109812311995381618860419646181749415*c_1100_0^8 + 71934688981352052402316901624293551165112031480652324134679/7233330\ 5569939109812311995381618860419646181749415*c_1100_0^7 - 2194226903217384546458962439695384926970086943604328261680/14466661\ 113987821962462399076323772083929236349883*c_1100_0^6 - 52747290076359162510226499232580192936272022953298430461607/7233330\ 5569939109812311995381618860419646181749415*c_1100_0^5 + 10257483777748157418098456276680019678114485328958333194638/1446666\ 1113987821962462399076323772083929236349883*c_1100_0^4 - 16501676518954769416901640974101182020662362928049376366074/7233330\ 5569939109812311995381618860419646181749415*c_1100_0^3 + 315995372004391866633391066575176617160270229176904410242/723333055\ 69939109812311995381618860419646181749415*c_1100_0^2 + 126395888181147939651575812217121091551227902938983288908/723333055\ 69939109812311995381618860419646181749415*c_1100_0 + 171840367111304354473361086457211615793731502492133089523/723333055\ 69939109812311995381618860419646181749415, c_0011_0 - 1, c_0011_10 + 206991952146500701901842099835700313992551696/1738154645438\ 882850229772807440078347222063721*c_1100_0^21 - 100744852530192600763155828765175787681813231/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 - 1707006545058019384997826696331150421744782423/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 + 1813547890746748888393576675569609150279176656/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 + 13759500124657989706561474388227328641857738998/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 + 7902377781311939507447781218174601683316530918/17381546454388828502\ 29772807440078347222063721*c_1100_0^16 - 138939914885895091010541941905290117422996181532/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 + 102115497872276666486354197737231219605814144747/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 + 435917489670477482626999395158817292116305254020/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 - 429708016515639445928317879195616276651603386288/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 - 1157151885215747641589018597213499690929117815202/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 + 1891995183134755753704204485586714840972758190517/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 + 1078418146205031835844631649497350469084405944325/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 - 4324289932100671661629327477807141464750012781913/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 + 2221039898819787498680697701652765557503139606712/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 + 2699080500617068880350401176883364964071287618564/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 - 3566570535581694088919214097546357321208187825527/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 + 775789666857936351966942357755934163390481835987/173815464543888285\ 0229772807440078347222063721*c_1100_0^4 + 747988720580343439587127379928371300229745397786/173815464543888285\ 0229772807440078347222063721*c_1100_0^3 - 156036702911083701740421991584632616696162886555/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 - 57479926464093702744452286592168977590396626351/1738154645438882850\ 229772807440078347222063721*c_1100_0 - 12872546470803781753978314723017278511789951888/1738154645438882850\ 229772807440078347222063721, c_0011_11 - 333095534908108507787779390980019055747687491/1738154645438\ 882850229772807440078347222063721*c_1100_0^21 + 160047467551062136860533026560371345586495210/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 + 2749940898580372631420850820578044579959313907/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 - 2902727326645067227518099807761068825470054077/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 - 22177345015583788452308772218085766312317739641/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 - 12834425876746197914061902430819089781053364512/1738154645438882850\ 229772807440078347222063721*c_1100_0^16 + 223641460868939137634528461983927258082709305414/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 - 162886225843604739075600638234571031222337721222/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 - 703931316719909860734306690417051160301511250349/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 + 688272319511244835523892344626899563126144706406/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 + 1870896642853021102291442313446379343138267025532/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 - 3037667582726215366001708795083182522138072533282/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 - 1766877167653114109300937525953682350385293725603/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 + 6967558050260114821756114004262179387709743469803/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 - 3518256006714468546618466732265060874127526358989/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 - 4409268246902228213881786400232624057621673063178/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 + 5729726020238361988829521703231999391434523486871/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 - 1183488492784729145032814398435995753720343384111/17381546454388828\ 50229772807440078347222063721*c_1100_0^4 - 1241807041564673749412703220980548327542045810971/17381546454388828\ 50229772807440078347222063721*c_1100_0^3 + 247957802961468133988903413375527242343935798443/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 + 101042553928895368532451472598254470803711764766/173815464543888285\ 0229772807440078347222063721*c_1100_0 + 18838911915507082934179271994085181737512807779/1738154645438882850\ 229772807440078347222063721, c_0011_12 - 618572300991790265364748062375054333287406950/1738154645438\ 882850229772807440078347222063721*c_1100_0^21 + 301575372794606963163012613784430592341578270/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 + 5100648332379398175443541110377095788704033102/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 - 5425910428285378139605159407982177735153523995/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 - 41111563403826663930624532799398451659239288306/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 - 23566768130439248545509905641163916465609600706/1738154645438882850\ 229772807440078347222063721*c_1100_0^16 + 415193179315570703033786984704608352479907385090/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 - 305663322529643104498095115766561907043910566932/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 - 1302392892186194170021559874228158773294705263914/17381546454388828\ 50229772807440078347222063721*c_1100_0^13 + 1286449941731133201787193984964913072349137254112/17381546454388828\ 50229772807440078347222063721*c_1100_0^12 + 3455671511289410120313980666662903530232228727619/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 - 5660606846646590490977217524384940306283419903269/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 - 3214383099366381258534205873262116329399645763810/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 + 12935195192210888356027157086268899492187727847120/1738154645438882\ 850229772807440078347222063721*c_1100_0^8 - 6663376034841818051893490441977513788064004659022/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 - 8068425613541672418508316437470982824680803669826/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 + 10691100404590078280060171806162385828200190995227/1738154645438882\ 850229772807440078347222063721*c_1100_0^5 - 2337860960308779169980291187811907651980957898328/17381546454388828\ 50229772807440078347222063721*c_1100_0^4 - 2246556401044569167294361716260444809936906651651/17381546454388828\ 50229772807440078347222063721*c_1100_0^3 + 482914373810304298827382533019451371462169164851/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 + 172768762248864912829853985584804251394704180570/173815464543888285\ 0229772807440078347222063721*c_1100_0 + 32660638428694896689889382739467555321033469332/1738154645438882850\ 229772807440078347222063721, c_0011_4 - 96511518685608692730589100814881000891879011/173815464543888\ 2850229772807440078347222063721*c_1100_0^21 + 43618774663392685120877817463000965856110995/1738154645438882850229\ 772807440078347222063721*c_1100_0^20 + 796601729975273109153876562343595901855948739/173815464543888285022\ 9772807440078347222063721*c_1100_0^19 - 817824311630177370112584292421020110031024079/173815464543888285022\ 9772807440078347222063721*c_1100_0^18 - 6437716188168385774939719458957587301073289896/17381546454388828502\ 29772807440078347222063721*c_1100_0^17 - 3912723150095819288815691412106567892712416527/17381546454388828502\ 29772807440078347222063721*c_1100_0^16 + 64593366741848686648591903186143810599624245267/1738154645438882850\ 229772807440078347222063721*c_1100_0^15 - 45424550460459988786356827073410289934983301263/1738154645438882850\ 229772807440078347222063721*c_1100_0^14 - 204334426814445735394553524027400644447059140776/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 + 193017089312800243975421525709146856577757338484/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 + 544753544224225902140045172380295607701082282325/173815464543888285\ 0229772807440078347222063721*c_1100_0^11 - 862496208654545249316833498308972839924100477470/173815464543888285\ 0229772807440078347222063721*c_1100_0^10 - 528577698088569704772481299897784370720081658604/173815464543888285\ 0229772807440078347222063721*c_1100_0^9 + 1992962607376837595390919967859306530211952775621/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 - 970704697887105270931375356811303073023496647326/173815464543888285\ 0229772807440078347222063721*c_1100_0^7 - 1281743013775392324823858205304942609431898440146/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 + 1614832922992264384041729816789478926910536628675/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 - 310944204916666935880256073109008445895280540692/173815464543888285\ 0229772807440078347222063721*c_1100_0^4 - 355331598313303593146412529453413130212882363112/173815464543888285\ 0229772807440078347222063721*c_1100_0^3 + 59718556520209538257174292063093882014035829482/1738154645438882850\ 229772807440078347222063721*c_1100_0^2 + 28498295780207716916772061815738420624974667269/1738154645438882850\ 229772807440078347222063721*c_1100_0 + 6809092439114373563207634026572650092881895951/17381546454388828502\ 29772807440078347222063721, c_0011_6 + 148419836441726808386198825366428818893177854/17381546454388\ 82850229772807440078347222063721*c_1100_0^21 - 64586721637996181690834040123056085793122277/1738154645438882850229\ 772807440078347222063721*c_1100_0^20 - 1225780967890610565721173071853258968552468309/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 + 1238622489691247930544706788503532302440391335/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 + 9918525995153116775524427233019049226837952635/17381546454388828502\ 29772807440078347222063721*c_1100_0^17 + 6174561433520625356867153719068999312265341568/17381546454388828502\ 29772807440078347222063721*c_1100_0^16 - 99203688927993117940649950848004286533654454655/1738154645438882850\ 229772807440078347222063721*c_1100_0^15 + 68309387376597523254681895677663941609713277037/1738154645438882850\ 229772807440078347222063721*c_1100_0^14 + 315308156672966141788782975402559582509306602921/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 - 292299941942594039647332480500427853335480375493/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 - 841790542018010740737548913830773313239688579614/173815464543888285\ 0229772807440078347222063721*c_1100_0^11 + 1314237273826176191592100918297250825719870305080/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 + 833015545213537395550088505535941419053841925977/173815464543888285\ 0229772807440078347222063721*c_1100_0^9 - 3055437076628988354018243043053040546608750623392/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 + 1449011204228640962684130767215177981850549307242/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 + 1995516149520739968643222163022785699843130547046/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 - 2459172780628073252994526130651660585146790965436/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 + 445857736646046347122870192355527688618938591644/173815464543888285\ 0229772807440078347222063721*c_1100_0^4 + 552333434855067703696359639349078879002976198804/173815464543888285\ 0229772807440078347222063721*c_1100_0^3 - 87395861034932355435915887300814838244378963209/1738154645438882850\ 229772807440078347222063721*c_1100_0^2 - 43886672890253909979983962385082793487380116393/1738154645438882850\ 229772807440078347222063721*c_1100_0 - 9394108810184264283197003947530241043296577942/17381546454388828502\ 29772807440078347222063721, c_0011_8 + 998994736695461614074812609887183621720066435/17381546454388\ 82850229772807440078347222063721*c_1100_0^21 - 479682987618558468132023594182641242951663586/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 - 8242028342978234432472405726807478588895754903/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 + 8703138083004719513893035024137202120481705859/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 + 66467320016878623438300779856305589447588516612/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 + 38538624386633842199881911048079427431613901395/1738154645438882850\ 229772807440078347222063721*c_1100_0^16 - 670314816602639423291805565083479239387340766610/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 + 488701420107108883895114408583212373009893242881/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 + 2107659394206043789329445352529030208141233927143/17381546454388828\ 50229772807440078347222063721*c_1100_0^13 - 2062813420854030596173371197247275309741735556566/17381546454388828\ 50229772807440078347222063721*c_1100_0^12 - 5598003143320228989330278393568423221352186467446/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 + 9103122490919489278891835616798040116220475287075/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 + 5263777360236078976448136541134026532408238612709/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 - 20861900498738729884775038039230576770266014611487/1738154645438882\ 850229772807440078347222063721*c_1100_0^8 + 10604476477483875704746418951765143240721339729845/1738154645438882\ 850229772807440078347222063721*c_1100_0^7 + 13129033871323634062485213387870306183930990658124/1738154645438882\ 850229772807440078347222063721*c_1100_0^6 - 17180765516802728547527636374326910222091446035084/1738154645438882\ 850229772807440078347222063721*c_1100_0^5 + 3637255365000013146550414346664149275097820718952/17381546454388828\ 50229772807440078347222063721*c_1100_0^4 + 3667734911554744732933557020214232262777829814371/17381546454388828\ 50229772807440078347222063721*c_1100_0^3 - 749787889011341531618577630204905027251335721253/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 - 288351051071690702844324844835643969428103412231/173815464543888285\ 0229772807440078347222063721*c_1100_0 - 56727931637119311311319531792839151838746589560/1738154645438882850\ 229772807440078347222063721, c_0101_0 + 265986164975935973742564173254311410674669021/17381546454388\ 82850229772807440078347222063721*c_1100_0^21 - 125491199472832383299294461592082116045767099/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 - 2196124327164445578856996126699370900672756467/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 + 2299616656874042298198909698479151280367464293/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 + 17721667870421580792504787640233729983341061493/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 + 10401567688058424838376082386499668604337859024/1738154645438882850\ 229772807440078347222063721*c_1100_0^16 - 178426570445788963070172904600414618479754852434/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 + 128625435724098917681200894522840752718756475684/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 + 562706216906904324994367902619782382317296279135/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 - 545010815494007355768404888306328810054604597636/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 - 1496279407277878994545733676563270905602745827265/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 + 2412797043890600118474819256631456913275192493340/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 + 1425132064659407127975795308867833184602987926660/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 - 5549010662013799561720761381624875155672093306574/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 + 2775589428978646453890549621073711599800837243651/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 + 3530388647428836843876337836228784393196458708248/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 - 4554213342101776679516514309212743010282281974690/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 + 926549797356393190033566004371294098158352938809/173815464543888285\ 0229772807440078347222063721*c_1100_0^4 + 994148843113888364822644387571675031785605466944/173815464543888285\ 0229772807440078347222063721*c_1100_0^3 - 195616231507546717264720193347673792132701344114/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 - 80181497168519760608487985339323218869706188711/1738154645438882850\ 229772807440078347222063721*c_1100_0 - 14760098536869378373196006529416163352588317762/1738154645438882850\ 229772807440078347222063721, c_0101_11 + 273879322163051114100326713099051906948816490/1738154645438\ 882850229772807440078347222063721*c_1100_0^21 - 130999558539516339552974434647171724546416697/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 - 2259797907224482326057575541569603015607601432/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 + 2382257911510033431707680106197925327612346875/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 + 18227046392395481742366641161641436875149400347/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 + 10596012586431523797443537269990660848252899100/1738154645438882850\ 229772807440078347222063721*c_1100_0^16 - 183751675324828180459875144679917308164499868172/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 + 133671910631845357163722071133968339562686815174/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 + 578127438143885026256573643774754895913159024984/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 - 564671005783211176537186145079304626401556500454/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 - 1536031784074991106826628340958294320329471869168/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 + 2493572350671559991545124428320990964225268832669/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 + 1448648233878016810631913280697721579601520102409/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 - 5718718891406067208405589918270024052435215353928/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 + 2894890906519252537070856676284632195161152421332/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 + 3607824069428534293097329785280925613132377751703/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 - 4702833489685037386660608206363799363986089034786/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 + 985218450935177531934888184917683828849406395508/173815464543888285\ 0229772807440078347222063721*c_1100_0^4 + 1007140046032645299458027175621265603277271980787/17381546454388828\ 50229772807440078347222063721*c_1100_0^3 - 202924838745625361500234955348300581114498930414/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 - 79411709765888849449323651783921480890643185204/1738154645438882850\ 229772807440078347222063721*c_1100_0 - 15754196336174368233479819709393851620239158790/1738154645438882850\ 229772807440078347222063721, c_0101_12 + 237160255880012298281736185803467841751344184/1738154645438\ 882850229772807440078347222063721*c_1100_0^21 - 117158141925623756626809684725880161642557698/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 - 1956347895608731707124291807220579858272398234/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 + 2092441323741497189713641703393975361917513888/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 + 15761048563992434248430028837531888979462720406/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 + 8930995244035641370824264329912951585126955367/17381546454388828502\ 29772807440078347222063721*c_1100_0^16 - 159348785954493805008748718868937896456799174322/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 + 118073301806220035673862526910333422972260663257/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 + 499498624429570245086331110392959512744948282229/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 - 496382647771304505382658673560801082550311779123/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 - 1325013178994917311436677776614176163025140159612/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 + 2178898740367717691112566264243643990041929054182/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 + 1227851418900024459635927646308472418397618775063/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 - 4972356135754582951945013868608958437644198106727/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 + 2572026345941829825684701795963946901079423213580/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 + 3094324535349042644979351192004471982176539126495/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 - 4113773395979670004952629645871540832566237868513/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 + 906058479320428616850639332011071804322846091408/173815464543888285\ 0229772807440078347222063721*c_1100_0^4 + 860234017415373104732333234352993386210109908413/173815464543888285\ 0229772807440078347222063721*c_1100_0^3 - 185623404057760130010962116383907235580334984943/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 - 66071749828716755058084837919790252545965278433/1738154645438882850\ 229772807440078347222063721*c_1100_0 - 14589816640410446170914442381565325826957210917/1738154645438882850\ 229772807440078347222063721, c_1001_0 + 59216212745057393687452677880967148798871001/173815464543888\ 2850229772807440078347222063721*c_1100_0^21 - 29047909011545797307558591913199621040078513/1738154645438882850229\ 772807440078347222063721*c_1100_0^20 - 490142991355890305363275279008441564351712475/173815464543888285022\ 9772807440078347222063721*c_1100_0^19 + 520469415135033795810419701563143497857707202/173815464543888285022\ 9772807440078347222063721*c_1100_0^18 + 3950298623188306709942131056444329437168339294/17381546454388828502\ 29772807440078347222063721*c_1100_0^17 + 2238413290314674116618365160828428932800465412/17381546454388828502\ 29772807440078347222063721*c_1100_0^16 - 39889785544110957174653317304009949918209437242/1738154645438882850\ 229772807440078347222063721*c_1100_0^15 + 29214315211759381911878567100602691659650906048/1738154645438882850\ 229772807440078347222063721*c_1100_0^14 + 125803878576024834477733046642296264388352225365/173815464543888285\ 0229772807440078347222063721*c_1100_0^13 - 123601313728033658986706199547594936724588205952/173815464543888285\ 0229772807440078347222063721*c_1100_0^12 - 334864858778029995464813972488085022808795156364/173815464543888285\ 0229772807440078347222063721*c_1100_0^11 + 544095232054655374456584366762191557912803700613/173815464543888285\ 0229772807440078347222063721*c_1100_0^10 + 318228933775097298669024245255960770783773623194/173815464543888285\ 0229772807440078347222063721*c_1100_0^9 - 1248839158854047613350524085992155335274528115875/17381546454388828\ 50229772807440078347222063721*c_1100_0^8 + 623365100195216009547610055980428678966373937657/173815464543888285\ 0229772807440078347222063721*c_1100_0^7 + 801444177473693920784456614951698444489295311475/173815464543888285\ 0229772807440078347222063721*c_1100_0^6 - 1026892530553324602168913496868200027448434452085/17381546454388828\ 50229772807440078347222063721*c_1100_0^5 + 198270041849551613097926213518311924870936988603/173815464543888285\ 0229772807440078347222063721*c_1100_0^4 + 234666995532028449954676045359282724264773830184/173815464543888285\ 0229772807440078347222063721*c_1100_0^3 - 45032964215842772488668458027226661229436868029/1738154645438882850\ 229772807440078347222063721*c_1100_0^2 - 23368998808445401933357593621773068260290643283/1738154645438882850\ 229772807440078347222063721*c_1100_0 - 3084715579332714700699452284691330117273648989/17381546454388828502\ 29772807440078347222063721, c_1001_5 + 638350676158239569556216590190758117113893416/17381546454388\ 82850229772807440078347222063721*c_1100_0^21 - 303333611675186218783259325269801593903153471/173815464543888285022\ 9772807440078347222063721*c_1100_0^20 - 5267822260113373492477460312460759657824472222/17381546454388828502\ 29772807440078347222063721*c_1100_0^19 + 5536570806148351864919533236741257806007653134/17381546454388828502\ 29772807440078347222063721*c_1100_0^18 + 42497281641796448613505321528966193625645407656/1738154645438882850\ 229772807440078347222063721*c_1100_0^17 + 24827924200401413056160401077546797387963794380/1738154645438882850\ 229772807440078347222063721*c_1100_0^16 - 428175185116822873608666347038965001962295382181/173815464543888285\ 0229772807440078347222063721*c_1100_0^15 + 310258571087630902096823927762234270750686364091/173815464543888285\ 0229772807440078347222063721*c_1100_0^14 + 1348259745299218656759164354801497242267641094632/17381546454388828\ 50229772807440078347222063721*c_1100_0^13 - 1312247327300354056213620954364697982716036319137/17381546454388828\ 50229772807440078347222063721*c_1100_0^12 - 3582520334388782505313337233790666168865269408290/17381546454388828\ 50229772807440078347222063721*c_1100_0^11 + 5801032396012335365662016075632709088875391420408/17381546454388828\ 50229772807440078347222063721*c_1100_0^10 + 3389564851645250789063425359099971217319000084548/17381546454388828\ 50229772807440078347222063721*c_1100_0^9 - 13318671012848292019281536991846353502977921021539/1738154645438882\ 850229772807440078347222063721*c_1100_0^8 + 6721054286622523655522014944028541514683431312868/17381546454388828\ 50229772807440078347222063721*c_1100_0^7 + 8421954248628982661149783096391576895696206227530/17381546454388828\ 50229772807440078347222063721*c_1100_0^6 - 10952190469157572122560203263504536264636807255290/1738154645438882\ 850229772807440078347222063721*c_1100_0^5 + 2283950172003991328739736481789249278751030614327/17381546454388828\ 50229772807440078347222063721*c_1100_0^4 + 2356681683000786772690905821038025230576133243622/17381546454388828\ 50229772807440078347222063721*c_1100_0^3 - 474930705767488509120339308379901346147206999497/173815464543888285\ 0229772807440078347222063721*c_1100_0^2 - 185349359383290943370846461844857296504464409263/173815464543888285\ 0229772807440078347222063721*c_1100_0 - 35484372657548862272919988365672297931703681310/1738154645438882850\ 229772807440078347222063721, c_1100_0^22 - c_1100_0^21 - 8*c_1100_0^20 + 13*c_1100_0^19 + 62*c_1100_0^18 + 4*c_1100_0^17 - 691*c_1100_0^16 + 838*c_1100_0^15 + 1855*c_1100_0^14 - 3161*c_1100_0^13 - 4529*c_1100_0^12 + 12023*c_1100_0^11 + 529*c_1100_0^10 - 23613*c_1100_0^9 + 21471*c_1100_0^8 + 7607*c_1100_0^7 - 24016*c_1100_0^6 + 12589*c_1100_0^5 + 1763*c_1100_0^4 - 2656*c_1100_0^3 + 105*c_1100_0^2 + 93*c_1100_0 + 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.800 Total time: 3.009 seconds, Total memory usage: 64.12MB