Magma V2.19-8 Wed Aug 21 2013 00:49:47 on localhost [Seed = 3835883575] Type ? for help. Type -D to quit. Loading file "K14n9716__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9716 geometric_solution 11.84650601 oriented_manifold CS_known -0.0000000000000001 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 1 0 -1 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.052944255485 1.069278009181 0 3 5 4 0132 3120 0132 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 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.798398687613 0.425175893309 6 0 3 6 0132 0132 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449733620086 0.719194112133 2 1 7 0 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.210759296266 0.451044887035 6 1 0 8 3012 1302 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 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.198462175947 0.749216724955 7 9 10 1 0213 0132 0132 0132 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 9 -9 0 -9 0 8 1 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.591755795791 1.955920719824 2 2 11 4 0132 1302 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 0 0 0 0 0 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 0.374936334152 0.999574165925 5 9 8 3 0213 3201 0132 0132 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 0 9 -9 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.033160821655 1.042573742523 10 12 4 7 0321 0132 0132 0132 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 0 8 -8 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.310757979629 1.000920934276 10 5 7 12 1023 0132 2310 2310 0 0 0 0 0 -1 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 9 0 9 0 -9 0 -8 9 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.105290671386 0.748052151970 8 9 11 5 0321 1023 3120 0132 0 0 0 0 0 -1 0 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 9 8 0 0 -8 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227654254549 1.038655475397 12 12 10 6 3012 0213 3120 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 0 0 0 0 1 0 0 -1 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333659128928 0.833297832819 9 8 11 11 3201 0132 0213 1230 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 -1 0 -8 0 8 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.333659128928 0.833297832819 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : negation(d['c_0101_9']), 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0101_6'], 'c_1010_10' : negation(d['c_0011_11']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1100_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_1']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_12'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_12'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0011_3']), 's_2_9' : d['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_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_6, c_0101_9, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 98676055799286972914872310505382633058725684361669464387/9523639271\ 3461155731359894621632767195038126045241379983436*c_1100_0^17 - 327899004452303261697243429436635200915085451042058998081/317454642\ 37820385243786631540544255731679375348413793327812*c_1100_0^16 + 182296955837515142542232695673914283099795380164446454193/432892694\ 1520961624152722482801489417956278456601880908338*c_1100_0^15 - 19345518866775441016088567560508026329065952467115365860129/9523639\ 2713461155731359894621632767195038126045241379983436*c_1100_0^14 + 87975091062049404080461006466325981419648500509837557886047/9523639\ 2713461155731359894621632767195038126045241379983436*c_1100_0^13 - 213792658800346994101526759277018821508235717808077382345999/952363\ 92713461155731359894621632767195038126045241379983436*c_1100_0^12 + 153430277296558317657324265524750070358439559548494563376996/238090\ 98178365288932839973655408191798759531511310344995859*c_1100_0^11 - 623471184948737888052872418606671194795004950466276356667363/317454\ 64237820385243786631540544255731679375348413793327812*c_1100_0^10 + 40430609284546829790663196408090370827333581003850239069721/1642006\ 770921744064333791286579875296466174586986920344542*c_1100_0^9 - 3502770390402100246447838309413574058745899563233564748561969/95236\ 392713461155731359894621632767195038126045241379983436*c_1100_0^8 + 7923668526957418213475460391640042906912072580527389496005063/95236\ 392713461155731359894621632767195038126045241379983436*c_1100_0^7 + 1772616601810757060272361923239513967649893391511923725654967/23809\ 098178365288932839973655408191798759531511310344995859*c_1100_0^6 - 14464689033363830490423425453725540914270306894386614705298629/9523\ 6392713461155731359894621632767195038126045241379983436*c_1100_0^5 - 515010552385086645332285784526986732771602667041515626778061/328401\ 3541843488128667582573159750592932349173973840689084*c_1100_0^4 + 10901634923796130445768026784290612197354984601522436837265/1220979\ 393762322509376408905405548297372283667246684358762*c_1100_0^3 + 649421507387841565978477233234002492214047646588794379027605/476181\ 96356730577865679947310816383597519063022620689991718*c_1100_0^2 + 80760452762201766640454270884574784793863746824113497361/8420547543\ 1884310991476476234865399818778183948047197156*c_1100_0 - 62291014942265012878019776960694908488230456717056686068647/9523639\ 2713461155731359894621632767195038126045241379983436, c_0011_0 - 1, c_0011_10 - 18954192961423644645276791232965051716014816473/78339871556\ 90678383962515063151171776517223133362*c_1100_0^17 + 163416856182987344188463609035706947029510734907/783398715569067838\ 3962515063151171776517223133362*c_1100_0^16 - 280829806213771907119963214927668343002957332398/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 + 3048546323708139698198592138745201581966719332437/78339871556906783\ 83962515063151171776517223133362*c_1100_0^14 - 13053017861369405559148715146992055075675087525257/7833987155690678\ 383962515063151171776517223133362*c_1100_0^13 + 25079818516382769922250889475280574650874288782085/7833987155690678\ 383962515063151171776517223133362*c_1100_0^12 - 45299142130564959062372531074767038571803684148744/3916993577845339\ 191981257531575585888258611566681*c_1100_0^11 + 246566451497660300625911133762786118466775068408249/783398715569067\ 8383962515063151171776517223133362*c_1100_0^10 - 81868399324100653005257092824012158491355928133455/3916993577845339\ 191981257531575585888258611566681*c_1100_0^9 + 562943348907145548767379696543200185727234472832657/783398715569067\ 8383962515063151171776517223133362*c_1100_0^8 - 763029715575161239911414211154734479370811391662303/783398715569067\ 8383962515063151171776517223133362*c_1100_0^7 - 1031117655638452592724109323233911669844458277106099/39169935778453\ 39191981257531575585888258611566681*c_1100_0^6 - 249282046035427437175166175597912614419224992388337/783398715569067\ 8383962515063151171776517223133362*c_1100_0^5 + 1083827280529139994139102759051651342310882807313393/78339871556906\ 78383962515063151171776517223133362*c_1100_0^4 - 94882700968096059365683485342896468742692422185999/3916993577845339\ 191981257531575585888258611566681*c_1100_0^3 - 158815543631291832104678204830393739132719047974954/391699357784533\ 9191981257531575585888258611566681*c_1100_0^2 - 39012830101047535458832899676455548083524414133753/7833987155690678\ 383962515063151171776517223133362*c_1100_0 + 9423765266314685807766054475614344644448520271477/78339871556906783\ 83962515063151171776517223133362, c_0011_11 - 20718814035213005943599138209004651648617763695/39169935778\ 45339191981257531575585888258611566681*c_1100_0^17 + 183480747665479196892982806090099586850591505297/391699357784533919\ 1981257531575585888258611566681*c_1100_0^16 - 657142696400740084453617260062716695260293556462/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 + 3488556367109831323532420608262051153188184215463/39169935778453391\ 91981257531575585888258611566681*c_1100_0^14 - 15094302219551201824435207646517885239651333065525/3916993577845339\ 191981257531575585888258611566681*c_1100_0^13 + 30994396730841680984905383255748296197177284262435/3916993577845339\ 191981257531575585888258611566681*c_1100_0^12 - 106496089365775083100352389363752261820661652244872/391699357784533\ 9191981257531575585888258611566681*c_1100_0^11 + 294942405261276567369880215703181648111659313074765/391699357784533\ 9191981257531575585888258611566681*c_1100_0^10 - 249472278948464078378136673721095417339732116209948/391699357784533\ 9191981257531575585888258611566681*c_1100_0^9 + 678046068316216397252364568747137998305178195968445/391699357784533\ 9191981257531575585888258611566681*c_1100_0^8 - 997870597867173986392959979547804349589197048021587/391699357784533\ 9191981257531575585888258611566681*c_1100_0^7 - 2012595921100485110208482297325638416283584361688324/39169935778453\ 39191981257531575585888258611566681*c_1100_0^6 + 182479566367059425581677970780242541850863992345007/391699357784533\ 9191981257531575585888258611566681*c_1100_0^5 + 1122237601082639134783147962277110487578819332610309/39169935778453\ 39191981257531575585888258611566681*c_1100_0^4 - 436875856674492553687713646055496427597320120313596/391699357784533\ 9191981257531575585888258611566681*c_1100_0^3 - 220991678583107050044282087277461023523083072862799/391699357784533\ 9191981257531575585888258611566681*c_1100_0^2 - 7571123087044638262378540626330198093537807194139/39169935778453391\ 91981257531575585888258611566681*c_1100_0 + 5299077544010992342933086669658243088936163946340/39169935778453391\ 91981257531575585888258611566681, c_0011_12 - 24368567104561210607887042797822408485002164850/39169935778\ 45339191981257531575585888258611566681*c_1100_0^17 + 430117561794422731698792095412883774746812201391/783398715569067838\ 3962515063151171776517223133362*c_1100_0^16 - 765580491616995613728717950182682696282858484325/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 + 4072773978413203711189831077226885763398996682350/39169935778453391\ 91981257531575585888258611566681*c_1100_0^14 - 35205986460443191789326744722310465604729509269705/7833987155690678\ 383962515063151171776517223133362*c_1100_0^13 + 35782253882622868305641435669557164921483073331563/3916993577845339\ 191981257531575585888258611566681*c_1100_0^12 - 247146167673874604615196360110096007028174990714391/783398715569067\ 8383962515063151171776517223133362*c_1100_0^11 + 683665886440156869218187880268620490427978222691439/783398715569067\ 8383962515063151171776517223133362*c_1100_0^10 - 278746547637123422691282831768406132592613133705275/391699357784533\ 9191981257531575585888258611566681*c_1100_0^9 + 776983828088143921717901258134621263064044880745886/391699357784533\ 9191981257531575585888258611566681*c_1100_0^8 - 2275266090422733378542173401766454486326607015144035/78339871556906\ 78383962515063151171776517223133362*c_1100_0^7 - 2429728650119643673022898467568152277755882299382738/39169935778453\ 39191981257531575585888258611566681*c_1100_0^6 + 185706629806775845006678861670798281216577749018820/391699357784533\ 9191981257531575585888258611566681*c_1100_0^5 + 2776187940512875683842552009346666072714202632552335/78339871556906\ 78383962515063151171776517223133362*c_1100_0^4 - 495624814955187278483449691661013264308451282443094/391699357784533\ 9191981257531575585888258611566681*c_1100_0^3 - 322370801562838559383042100753280411768683674597825/391699357784533\ 9191981257531575585888258611566681*c_1100_0^2 - 1189666290256522673466751277374348026052442568664/39169935778453391\ 91981257531575585888258611566681*c_1100_0 + 23416363652182509449694352942346914221237022418215/7833987155690678\ 383962515063151171776517223133362, c_0011_3 - 22600669700171887310102734054508907143458435430/391699357784\ 5339191981257531575585888258611566681*c_1100_0^17 + 403740320959159746595797763246778092363202533223/783398715569067838\ 3962515063151171776517223133362*c_1100_0^16 - 732620728474876838881859148748278668330934464680/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 + 3865041665735716375667726856867331433001488405621/39169935778453391\ 91981257531575585888258611566681*c_1100_0^14 - 33549962932975091077039349783082200524651884939437/7833987155690678\ 383962515063151171776517223133362*c_1100_0^13 + 35163770365551880821734932130477995692798983914043/3916993577845339\ 191981257531575585888258611566681*c_1100_0^12 - 238364418254760199824978371312552560043551759854081/783398715569067\ 8383962515063151171776517223133362*c_1100_0^11 + 663214822674228216688142692591779224144423277256165/783398715569067\ 8383962515063151171776517223133362*c_1100_0^10 - 299841748871406057110940102151412806197864449798931/391699357784533\ 9191981257531575585888258611566681*c_1100_0^9 + 769452694340928524336158658481945820460769754331065/391699357784533\ 9191981257531575585888258611566681*c_1100_0^8 - 2311489338361287467406794657934421756838730030380419/78339871556906\ 78383962515063151171776517223133362*c_1100_0^7 - 2091359207617663084002204777015518568592379534503221/39169935778453\ 39191981257531575585888258611566681*c_1100_0^6 + 331483575151221990390297797582103017293378478739881/391699357784533\ 9191981257531575585888258611566681*c_1100_0^5 + 2346238949225288759331768694995212180927856062706359/78339871556906\ 78383962515063151171776517223133362*c_1100_0^4 - 534575879237262226033093813629537504539962166334716/391699357784533\ 9191981257531575585888258611566681*c_1100_0^3 - 184837911762327957520016057202772466505860064497682/391699357784533\ 9191981257531575585888258611566681*c_1100_0^2 - 20076405217777594266097939871398001600924055010032/3916993577845339\ 191981257531575585888258611566681*c_1100_0 + 27654117166563008726162620552168672822288906900293/7833987155690678\ 383962515063151171776517223133362, c_0101_0 - 17702925993832617145886178559273661993276001817/783398715569\ 0678383962515063151171776517223133362*c_1100_0^17 + 79345360219541626369479661814227193144035597931/3916993577845339191\ 981257531575585888258611566681*c_1100_0^16 - 289409892134126709392213761749296929852700173046/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 + 3044968888213184363413749656457183875187232559601/78339871556906783\ 83962515063151171776517223133362*c_1100_0^14 - 6616999475408801808532826716353504224049326692030/39169935778453391\ 91981257531575585888258611566681*c_1100_0^13 + 27950032923538334126810103195822633052096391405843/7833987155690678\ 383962515063151171776517223133362*c_1100_0^12 - 94174370479112114914202180793640888771808162406043/7833987155690678\ 383962515063151171776517223133362*c_1100_0^11 + 131322079589828391934843555882900332354723778620167/391699357784533\ 9191981257531575585888258611566681*c_1100_0^10 - 121425276869969381546365081475708708130838063916341/391699357784533\ 9191981257531575585888258611566681*c_1100_0^9 + 609259186836557483023866344382048284327024614397491/783398715569067\ 8383962515063151171776517223133362*c_1100_0^8 - 462479110732496706003364175258585026669071324492739/391699357784533\ 9191981257531575585888258611566681*c_1100_0^7 - 804662701919272319696321751262423721723169123621477/391699357784533\ 9191981257531575585888258611566681*c_1100_0^6 + 312969490366685963018186472230509182399667584595433/783398715569067\ 8383962515063151171776517223133362*c_1100_0^5 + 465046512075674510078132037081183617597844748497973/391699357784533\ 9191981257531575585888258611566681*c_1100_0^4 - 227420057701861790149067295853267829495465427923179/391699357784533\ 9191981257531575585888258611566681*c_1100_0^3 - 74564414356304836257194198261707231041827234628489/3916993577845339\ 191981257531575585888258611566681*c_1100_0^2 - 13630676661779823917859661547473617150578279387397/7833987155690678\ 383962515063151171776517223133362*c_1100_0 + 6278020725431100362015711862908883153248817712336/39169935778453391\ 91981257531575585888258611566681, c_0101_1 + 31424209895811277788876578291820114858242665019/783398715569\ 0678383962515063151171776517223133362*c_1100_0^17 - 140204581340762014696429604808961786101851557375/391699357784533919\ 1981257531575585888258611566681*c_1100_0^16 + 508158942140613376064310822108463756572130159571/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 - 5365997031548746431446253309494250192897321104281/78339871556906783\ 83962515063151171776517223133362*c_1100_0^14 + 11639815041069831900843815444977384665565089678832/3916993577845339\ 191981257531575585888258611566681*c_1100_0^13 - 48703588265431505244526154882460681524226292067501/7833987155690678\ 383962515063151171776517223133362*c_1100_0^12 + 165344029020605846577537154093171540552450231323579/783398715569067\ 8383962515063151171776517223133362*c_1100_0^11 - 229842951662115270442375218889477464462277672257823/391699357784533\ 9191981257531575585888258611566681*c_1100_0^10 + 206622623277364214867023972056393560121720846717380/391699357784533\ 9191981257531575585888258611566681*c_1100_0^9 - 1067040322991875413962286346221334377736587084342967/78339871556906\ 78383962515063151171776517223133362*c_1100_0^8 + 798385407715066429924772916405962193519984907820586/391699357784533\ 9191981257531575585888258611566681*c_1100_0^7 + 1460030329161377933918339819341313830310574468013257/39169935778453\ 39191981257531575585888258611566681*c_1100_0^6 - 435528824899226766338273199516864082293576925877595/783398715569067\ 8383962515063151171776517223133362*c_1100_0^5 - 808155109738781807280288053688986090327255687346760/391699357784533\ 9191981257531575585888258611566681*c_1100_0^4 + 371326532948753757695463843177661007490130641756716/391699357784533\ 9191981257531575585888258611566681*c_1100_0^3 + 128946135015689797110955976059643827001474944704870/391699357784533\ 9191981257531575585888258611566681*c_1100_0^2 + 29966674026838234987646869954150935768214929377479/7833987155690678\ 383962515063151171776517223133362*c_1100_0 - 6388924499725547807839657161464239580718465055933/39169935778453391\ 91981257531575585888258611566681, c_0101_10 - 14225922403691741666659381867521758275964517/39169935778453\ 39191981257531575585888258611566681*c_1100_0^17 + 1267788582372417780098325908928062687935030919/78339871556906783839\ 62515063151171776517223133362*c_1100_0^16 - 4852838506988181592382116361833245836641244188/39169935778453391919\ 81257531575585888258611566681*c_1100_0^15 + 17758406523969253502200317203484455981885864961/3916993577845339191\ 981257531575585888258611566681*c_1100_0^14 - 187747237506082106784124183358039148257541116463/783398715569067838\ 3962515063151171776517223133362*c_1100_0^13 + 379342530734984250246880887562275727400383827373/391699357784533919\ 1981257531575585888258611566681*c_1100_0^12 - 1567477051653116551766916055624373214002349609487/78339871556906783\ 83962515063151171776517223133362*c_1100_0^11 + 5526748064933039626552729520114078120371591956627/78339871556906783\ 83962515063151171776517223133362*c_1100_0^10 - 7136964271284713019844879780838022873873848032784/39169935778453391\ 91981257531575585888258611566681*c_1100_0^9 + 5898798417770786252272792732552149622764627386076/39169935778453391\ 91981257531575585888258611566681*c_1100_0^8 - 36357888360189773877681990013380423154743772997931/7833987155690678\ 383962515063151171776517223133362*c_1100_0^7 + 22590048306812233383383684238638456975016327218749/3916993577845339\ 191981257531575585888258611566681*c_1100_0^6 + 49522483045627536620771271371581151834632729527232/3916993577845339\ 191981257531575585888258611566681*c_1100_0^5 + 28711782037387680345589386871327505125873455248003/7833987155690678\ 383962515063151171776517223133362*c_1100_0^4 - 22861934202584712225176405701648695093245493112780/3916993577845339\ 191981257531575585888258611566681*c_1100_0^3 - 4910604212960436176426870161843792399577226868577/39169935778453391\ 91981257531575585888258611566681*c_1100_0^2 + 903924524051091588394656206220351554439601528051/391699357784533919\ 1981257531575585888258611566681*c_1100_0 + 14956746948199127483056326865269329923387020391385/7833987155690678\ 383962515063151171776517223133362, c_0101_11 + 15872221857491439898426183092306748352339405690/39169935778\ 45339191981257531575585888258611566681*c_1100_0^17 - 282602147212424982711294944832813888230972369091/783398715569067838\ 3962515063151171776517223133362*c_1100_0^16 + 510379570834402058764459020467230044672026673843/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 - 2699496115645386091226296412593793267278055841244/39169935778453391\ 91981257531575585888258611566681*c_1100_0^14 + 23401051832506197398157591726395748566358798534463/7833987155690678\ 383962515063151171776517223133362*c_1100_0^13 - 24350184907221434605240629724675164315808685678512/3916993577845339\ 191981257531575585888258611566681*c_1100_0^12 + 165957231817588762138329982724378292363190216675813/783398715569067\ 8383962515063151171776517223133362*c_1100_0^11 - 460671418730511338558201057564882036007557080273369/783398715569067\ 8383962515063151171776517223133362*c_1100_0^10 + 203687259300691002378391932767198184573485000567399/391699357784533\ 9191981257531575585888258611566681*c_1100_0^9 - 533909208023488749485406684318088345881416830062583/391699357784533\ 9191981257531575585888258611566681*c_1100_0^8 + 1586414738421728042248824313089065152847549657585219/78339871556906\ 78383962515063151171776517223133362*c_1100_0^7 + 1493021832945679894280462465896832201766446608769095/39169935778453\ 39191981257531575585888258611566681*c_1100_0^6 - 193607113067664750794711663696349793752494498595774/391699357784533\ 9191981257531575585888258611566681*c_1100_0^5 - 1627761765434460436566250132556159160008874574012945/78339871556906\ 78383962515063151171776517223133362*c_1100_0^4 + 375118039153205101613803584115198249441860110459854/391699357784533\ 9191981257531575585888258611566681*c_1100_0^3 + 138319305871257553013513687974376059415388886751458/391699357784533\ 9191981257531575585888258611566681*c_1100_0^2 + 7015780513726476974823070081081916513683851555430/39169935778453391\ 91981257531575585888258611566681*c_1100_0 - 220548223628880721324378050944537890200039371167/783398715569067838\ 3962515063151171776517223133362, c_0101_6 + 6702952107869980538474952110165631529994994536/3916993577845\ 339191981257531575585888258611566681*c_1100_0^17 - 59267326622559391471259626123461257935096729680/3916993577845339191\ 981257531575585888258611566681*c_1100_0^16 + 212151024340346147959965641569353289994568623427/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 - 1128859510269615362626102073152171813265351569373/39169935778453391\ 91981257531575585888258611566681*c_1100_0^14 + 4878499181553537620096191718777483328564190822706/39169935778453391\ 91981257531575585888258611566681*c_1100_0^13 - 10018512021536911047961709984730878033684886309052/3916993577845339\ 191981257531575585888258611566681*c_1100_0^12 + 34565485787278915272782320903631484834797724140271/3916993577845339\ 191981257531575585888258611566681*c_1100_0^11 - 95411991813953800297800918300379155952381062600296/3916993577845339\ 191981257531575585888258611566681*c_1100_0^10 + 81100083694532650074495118138900018165306226463854/3916993577845339\ 191981257531575585888258611566681*c_1100_0^9 - 222887878928052932559469305154006655664064301232423/391699357784533\ 9191981257531575585888258611566681*c_1100_0^8 + 322458236780646026658134801780288423292045236418864/391699357784533\ 9191981257531575585888258611566681*c_1100_0^7 + 645464672204210705487690864725843453043840306981372/391699357784533\ 9191981257531575585888258611566681*c_1100_0^6 - 36538673645836718955529114270295017841401779471805/3916993577845339\ 191981257531575585888258611566681*c_1100_0^5 - 320703840159446753544620394457768844198122242202375/391699357784533\ 9191981257531575585888258611566681*c_1100_0^4 + 141466861431232377390662739239019524198612814921806/391699357784533\ 9191981257531575585888258611566681*c_1100_0^3 + 49371552321699360967523317604842529296147021652503/3916993577845339\ 191981257531575585888258611566681*c_1100_0^2 + 5836953042701105654824517722816609016633570672871/39169935778453391\ 91981257531575585888258611566681*c_1100_0 + 2932315686533876569488883180393064306631312530026/39169935778453391\ 91981257531575585888258611566681, c_0101_9 + 6420884745841537115234448295713679241986389219/3916993577845\ 339191981257531575585888258611566681*c_1100_0^17 - 55000295480232392227786831463235003348180669579/3916993577845339191\ 981257531575585888258611566681*c_1100_0^16 + 186482151779736416107987316993220256859218142972/391699357784533919\ 1981257531575585888258611566681*c_1100_0^15 - 1015917474989584072545194633694879456766545832694/39169935778453391\ 91981257531575585888258611566681*c_1100_0^14 + 4341744616778616920992768574410727328364934073174/39169935778453391\ 91981257531575585888258611566681*c_1100_0^13 - 8130274173816628770493719516383793724367715189421/39169935778453391\ 91981257531575585888258611566681*c_1100_0^12 + 29701812890346892528553735317747478259017179212287/3916993577845339\ 191981257531575585888258611566681*c_1100_0^11 - 80732245093857501047130416410219212696442435766443/3916993577845339\ 191981257531575585888258611566681*c_1100_0^10 + 47107995683015657598311485701177257909035360974220/3916993577845339\ 191981257531575585888258611566681*c_1100_0^9 - 177382173565466798901598734546572306853758210287041/391699357784533\ 9191981257531575585888258611566681*c_1100_0^8 + 238450346862436919368445434264555883060621107440031/391699357784533\ 9191981257531575585888258611566681*c_1100_0^7 + 737729990273377277213634969247294584423940594725194/391699357784533\ 9191981257531575585888258611566681*c_1100_0^6 + 87433288389848468766302365744511704656700813840307/3916993577845339\ 191981257531575585888258611566681*c_1100_0^5 - 424800637527480772536788865691694202138919321247757/391699357784533\ 9191981257531575585888258611566681*c_1100_0^4 + 47511050328549565351670930798105951180176584766854/3916993577845339\ 191981257531575585888258611566681*c_1100_0^3 + 138532201011692823813303684142889351511820863436238/391699357784533\ 9191981257531575585888258611566681*c_1100_0^2 + 7244174300948618383050873982809270880795803422558/39169935778453391\ 91981257531575585888258611566681*c_1100_0 - 4576893736721292986255010574870816989597098795188/39169935778453391\ 91981257531575585888258611566681, c_1001_1 - 138389949729532649398474520348976592230773411/53657446271853\ 961533989829199665560113131665297*c_1100_0^17 + 1232405565051234730460336530689302263959501875/53657446271853961533\ 989829199665560113131665297*c_1100_0^16 - 4457636526499170856735008813206527871608285721/53657446271853961533\ 989829199665560113131665297*c_1100_0^15 + 23589772578410885039573306728277931730949786164/5365744627185396153\ 3989829199665560113131665297*c_1100_0^14 - 102249960594949205047565006239663190673767597869/536574462718539615\ 33989829199665560113131665297*c_1100_0^13 + 213422972145487108232875284508113626495004535667/536574462718539615\ 33989829199665560113131665297*c_1100_0^12 - 727765306037851968718144796066354946765213418085/536574462718539615\ 33989829199665560113131665297*c_1100_0^11 + 2019511240935678977770575651832657127425368436237/53657446271853961\ 533989829199665560113131665297*c_1100_0^10 - 1809271122575192067082541228214232609370420912027/53657446271853961\ 533989829199665560113131665297*c_1100_0^9 + 4740064697023326380093798559752641214288385918208/53657446271853961\ 533989829199665560113131665297*c_1100_0^8 - 7039340172501982214098082510152723083329219762599/53657446271853961\ 533989829199665560113131665297*c_1100_0^7 - 12803006833688429785324198835806417523916271044949/5365744627185396\ 1533989829199665560113131665297*c_1100_0^6 + 1387019475262699179512256508796011036975770200226/53657446271853961\ 533989829199665560113131665297*c_1100_0^5 + 6910714042665922473642389449216234214855933192627/53657446271853961\ 533989829199665560113131665297*c_1100_0^4 - 2918638503338555513799675795644392717923284396012/53657446271853961\ 533989829199665560113131665297*c_1100_0^3 - 1112127228820859843653055644160645120394301270622/53657446271853961\ 533989829199665560113131665297*c_1100_0^2 - 269676090325503095872728318222782016026955455997/536574462718539615\ 33989829199665560113131665297*c_1100_0 + 91771902232534127345222475683962835738294493722/5365744627185396153\ 3989829199665560113131665297, c_1100_0^18 - 9*c_1100_0^17 + 33*c_1100_0^16 - 173*c_1100_0^15 + 753*c_1100_0^14 - 1602*c_1100_0^13 + 5360*c_1100_0^12 - 14986*c_1100_0^11 + 14125*c_1100_0^10 - 34547*c_1100_0^9 + 52971*c_1100_0^8 + 89973*c_1100_0^7 - 22525*c_1100_0^6 - 52473*c_1100_0^5 + 28871*c_1100_0^4 + 7720*c_1100_0^3 - 855*c_1100_0^2 - 515*c_1100_0 + 77 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.780 Total time: 9.990 seconds, Total memory usage: 120.66MB