Magma V2.19-8 Wed Aug 21 2013 00:09:51 on localhost [Seed = 2951331885] Type ? for help. Type -D to quit. Loading file "K13n2522__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2522 geometric_solution 12.09690930 oriented_manifold CS_known 0.0000000000000010 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 -1 0 0 -1 0 1 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 2 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795456405338 1.020085091617 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -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 0 -1 -2 0 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144368474815 0.917768194559 8 0 7 9 0132 0132 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 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.140601865821 0.720060689003 10 4 11 0 0132 1302 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 -1 0 1 0 0 0 0 -1 -1 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.532852907761 0.812856898684 8 6 0 3 3012 2310 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 -1 1 0 0 -1 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.610057488360 0.658849970243 8 1 11 12 1023 0132 2103 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 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.337979501568 1.443407187906 9 7 1 4 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.036240669974 1.678009733067 12 6 2 1 0132 0132 3120 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 -1 1 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418578327830 0.707849545737 2 5 10 4 0132 1023 0213 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 -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.501759306599 0.577540200127 6 11 2 10 0132 1230 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.080318169468 1.373976705943 3 8 9 12 0132 0213 0132 2103 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.276405135680 0.611589908464 5 12 9 3 2103 2103 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.972862389295 0.506352244183 7 11 5 10 0132 2103 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111754287255 0.962495860812 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : negation(d['c_0110_4']), 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_0110_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : 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' : negation(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' : 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_0110_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0101_7']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_11' : negation(d['c_1001_0']), 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : 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_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_12'], '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_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_7, c_0110_4, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1530732175762190031569521102095795080235750774530220107798988636800\ 556269382/217865323266084874390015177023887675084894929035340859807\ 619959387479787*c_1001_2^22 - 3105421196081696487438666479566746079\ 51855267052084585310795227209722303611/3112361760944069634143073957\ 4841096440699275576477265686802851341068541*c_1001_2^21 + 1573103747500755363440797971169239537254602801899734041469049585681\ 71508940/5313788372343533521707687244485065245973047049642459995307\ 803887499507*c_1001_2^20 - 3650200644178249427874281893187630734113\ 990984504608299603304141054942359356/217865323266084874390015177023\ 887675084894929035340859807619959387479787*c_1001_2^19 - 2397759392693161155716062499655584761458969695207293982844191449922\ 096459828/311236176094406963414307395748410964406992755764772656868\ 02851341068541*c_1001_2^18 - 69730709713441724476961509858625701171\ 488249251238206790707383009068941854819/217865323266084874390015177\ 023887675084894929035340859807619959387479787*c_1001_2^17 - 9930485004902519454449616589985976836497726643561883315012076400179\ 7507147020/21786532326608487439001517702388767508489492903534085980\ 7619959387479787*c_1001_2^16 - 755141418568042282113804318612575011\ 7528277145976747579908954248561085253889/53137883723435335217076872\ 44485065245973047049642459995307803887499507*c_1001_2^15 - 4386178142290503297712308211739167112038623797449136048890139918922\ 17661004479/2178653232660848743900151770238876750848949290353408598\ 07619959387479787*c_1001_2^14 - 47623405117294378823354952404090613\ 8067154643242253789854060018923125377481141/21786532326608487439001\ 5177023887675084894929035340859807619959387479787*c_1001_2^13 - 6575585719823280699858517075980563497689041867910571849866622043659\ 69214153480/2178653232660848743900151770238876750848949290353408598\ 07619959387479787*c_1001_2^12 - 85008801081018100614477468887750989\ 4211540392653606031768013383515715511751359/21786532326608487439001\ 5177023887675084894929035340859807619959387479787*c_1001_2^11 - 8596944839523464377502506337633698790020048187482970320146735496334\ 52900538162/2178653232660848743900151770238876750848949290353408598\ 07619959387479787*c_1001_2^10 - 11631563489575724529772100404441989\ 8138206125774909818306407025988948854900825/31123617609440696341430\ 739574841096440699275576477265686802851341068541*c_1001_2^9 - 4829499845996263791131167491249949823712557088421549576600383585239\ 51971873267/2178653232660848743900151770238876750848949290353408598\ 07619959387479787*c_1001_2^8 - 362572311317395136850299537414774164\ 232530836973865126554834380450725764425441/217865323266084874390015\ 177023887675084894929035340859807619959387479787*c_1001_2^7 - 1548228074439964766707702575479940015918306437151696151791271694212\ 68012717021/2178653232660848743900151770238876750848949290353408598\ 07619959387479787*c_1001_2^6 - 233395493673472837444406239155120005\ 9349197295091423081543140293568793797662/13532007656278563626709017\ 20645265062639098938107707203774037014829067*c_1001_2^5 + 1322385589640744611098674566919162792332362720632152796648256812407\ 6962152055/31123617609440696341430739574841096440699275576477265686\ 802851341068541*c_1001_2^4 + 38713451634715703158809990850318179337\ 8089494205454675843275047888029200058994/21786532326608487439001517\ 7023887675084894929035340859807619959387479787*c_1001_2^3 + 5463326294715226338600454242044235467091634077554734757781949246299\ 90411985/1830801035849452725966514092637711555335251504498662687458\ 991255356973*c_1001_2^2 - 19799841480017138587005816683102266199197\ 6130508928159133995792407446404314523/21786532326608487439001517702\ 3887675084894929035340859807619959387479787*c_1001_2 + 3749634990234355417275168870590036113974821725358504375514084080690\ 61264855/1281560725094616908176559864846398088734676053149063881221\ 2938787498811, c_0011_0 - 1, c_0011_10 + 2576008836723083516178285448354775011431891354881019/544173\ 58695037506176373534097241756543816338887496993*c_1001_2^22 - 2709981584556835402160932980380050407736934538949128/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 + 10069988985348597003569588182632269343381661518993216/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^20 - 579754200006422880850557736153941267476762768455668/544173586950375\ 06176373534097241756543816338887496993*c_1001_2^19 - 29765558005972587489863171266904100506406705798966125/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 - 121164181608450517061213252588228735940454602246816652/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^17 - 217637091855020778052800583509464050810970522940815472/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 - 636845497881279641617859923217516550932342815004031689/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 - 1100505659721861776885784368104215191957497794497730797/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^14 - 1429208561486144419900767077491302632888568332116545421/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^13 - 2145025359743420106591600219724315329830669605956442420/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^12 - 2919600818352173815942269749718066003434740967762619412/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^11 - 3196119595882173634877772989115441147687273750894021865/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^10 - 3137079304000466767500638093540006758303635857713475405/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^9 - 2468607838476641625885546478365276894684643392886434300/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^8 - 1958570735623486395191391799061842700202222656116404611/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^7 - 1326119351330016722258105204144709980749186306189857882/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^6 - 1006565169461892209416379435893449553569218396759014748/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^5 + 187474567266139131634189046654016936638074218924028376/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^4 + 1243333388772027887201479616934954963926838576393176996/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^3 + 25621885180346069692704916811875055083056098907162092/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^2 - 387894089865855680926248782255089481622193717404322001/544173586950\ 37506176373534097241756543816338887496993*c_1001_2 - 11184068620295321850339568317448981919897613099243170/3201021099708\ 088598610207888073044502577431699264529, c_0011_11 - 174686036831162427714364083475012604443478724874230/5441735\ 8695037506176373534097241756543816338887496993*c_1001_2^22 + 635429388224040314632967878647378694807723174771812/544173586950375\ 06176373534097241756543816338887496993*c_1001_2^21 - 2191212120929621665215522021065450863839241085824842/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^20 + 2724700978700391925094883203880763997909524561770320/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^19 - 1819554691601025853954849484424896584133589587576820/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^18 + 4193433036457870149337746156201618056645848965445940/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^17 + 5531009060799305633033203302606374772876331523885451/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^16 + 60836415072346704481374226860784570182517063075404761/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^15 + 58681221946868380850556168736164460258356451889499688/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^14 + 145316649021025204255058641508105697217606039222001064/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^13 + 260200932831844001068880866133330602801180037961285181/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^12 + 212783497408310245176514611950202518168258495353850430/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^11 + 94406842348100080631767643682905105048526087252019950/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^10 + 25152038819933286117944593399141867912708964957108008/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^9 - 41397321064861418952270379313954119856436961985640862/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^8 - 23826858927375090640449894115070308447104729512232253/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^7 - 188095451029592234267027641240782844462896482560974721/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 249109892640935846016029673077826965104027660210525673/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^5 - 452062205278473634404824586860850377744589902241784572/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^4 - 42492673947759752509725527844156865777076641532224280/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^3 + 15071675417200869939187636472644564448082541691911068/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^2 + 71775054039471846750181116789135871954423138241625839/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2 - 3758342417254793505683123755566592277055697737030356/32010210997080\ 88598610207888073044502577431699264529, c_0011_12 - 2844251693566041970495775361429369040295085851010465/544173\ 58695037506176373534097241756543816338887496993*c_1001_2^22 + 4368635963445370923121701156067704312508638715375030/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 - 11626940209793852928816818675863385067199296973390304/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^20 + 5789134510634763911544479630309813270703715013104976/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^19 + 33983874239899978610390437075274170850857993756423666/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 + 118836872399046641147614942818556381620929561552844055/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^17 + 160121489079686622103013509296956210965226538348298232/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 + 525313110015384100083523092758154783395870607970223568/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 + 774573064291550930168680332828410802090129315998936203/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^14 + 806646671489268132363045678106443521951499742297734112/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^13 + 1340458461943317158045214058712033348296648679133000559/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^12 + 1970106549047511264490012502923043823914003248167764524/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^11 + 2213024501750103629912589480626424798454761545908061863/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^10 + 2192998921445276518641829685548734394868906588946021513/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^9 + 1570022475045565636137877222859769752422779451136332564/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^8 + 1372955417470792316005371028660988745416292700365242964/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^7 + 1073577420181322439101343213972994839012321438346424055/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^6 + 1259164857666541531084456656709866574040287926513658467/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^5 + 35741389299797384755039332392062582275136492588611999/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^4 - 1249903098465463593107691970638493548838649814782033950/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^3 - 20338148200745097152744826623508245883935532773940456/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^2 + 376036584192706989671026946117350368086440574395668742/544173586950\ 37506176373534097241756543816338887496993*c_1001_2 + 8350511040601615670367569955672002365328762265151174/32010210997080\ 88598610207888073044502577431699264529, c_0011_4 + 2003064686052092006098308395541686473781107514661912/5441735\ 8695037506176373534097241756543816338887496993*c_1001_2^22 - 2254322447445478614181907480331635992495311963791785/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 + 7661612646718317929278082865350693729284823094677317/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^20 - 2340610189484269201663158924756905174733384480354226/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^19 - 23161535784380776827230669349501432509361382911125887/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 - 97692126777617429188127635725169146002957384163220607/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^17 - 157785485042206169071688941406028699569184526517432286/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 - 446288305356365378509540846889164725959544415360608065/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 - 699547550243420144506510431783100573152357307342845609/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^14 - 807430024195703323795975727708893812374367505903448487/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^13 - 1067447658794900948660075029523886434755206588118059089/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^12 - 1387721192820047610855114126173353747497404436537695300/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^11 - 1477164004312921242488735992105080478478220899153869209/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^10 - 1405176593421579800335317838224205018255034280682208380/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^9 - 924487814057084805964523528765345594038547098818087964/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^8 - 629472286604914143175865861191804379873703891026772286/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^7 - 277714042543348712361253140615375762559284706564355490/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 457191191494132603271516341466136407116132294293414777/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^5 + 54780136536293391628213741268768904568606343981840130/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^4 + 619267616024765998183852796501036126512770080681342993/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^3 + 17131522007939436633724549029495842494704684398293974/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^2 - 212589619887038568605267053201362935864889352224173759/544173586950\ 37506176373534097241756543816338887496993*c_1001_2 - 4919456411473159978331531470648556258970506836181664/32010210997080\ 88598610207888073044502577431699264529, c_0101_0 + 1460545284602207396486271323769491078921987252808669/5441735\ 8695037506176373534097241756543816338887496993*c_1001_2^22 + 77137444959088488887105243325795151039667880215473/5441735869503750\ 6176373534097241756543816338887496993*c_1001_2^21 + 3222348024939705819620859914858085306812520759029872/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^20 + 3880948122166755156837033434368639028662246086481260/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^19 - 20633361319659442851047555219654764510161460665430453/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 - 95252881070498209459536097309619393973050273958973862/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^17 - 196265906264073759517230167152660603369733622209191773/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 - 423591342169109050129953320791041419816440660916472421/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 - 760995621055135353734049416355588430828100756179467216/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^14 - 874729431506183485311150803091882338911857113272353954/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^13 - 826716430691035776428099644547597408032087317642427936/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^12 - 895703271840031956194860283996043451777927497607715873/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^11 - 935346642080271503648484727140152974673608752716795091/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^10 - 897100465809676895263902333346917123626017108017146750/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^9 - 596582388465939058752198120301388225261085252891033805/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^8 - 88842901428694513269451799659765773837949466567552915/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^7 + 199924349859577521594555492447364555027788124845859823/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 106308031968555380377392444431474970394975849805752093/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^5 - 454553809256802607634365168271828982474047028828827778/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^4 - 81901531721531856209131757608408548764549256110159191/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^3 + 15051393840601583956315716290757587802144207282403590/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^2 + 17315896939645983500108905889797181989176305191045276/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2 - 1728309896752181400425849457406348032160325481532657/32010210997080\ 88598610207888073044502577431699264529, c_0101_1 + 98715191371976310706113300475984449810293373169470/320102109\ 9708088598610207888073044502577431699264529*c_1001_2^22 - 117504271451114696047852496792441250350025891887004/320102109970808\ 8598610207888073044502577431699264529*c_1001_2^21 + 415305579834951215675036180942984852033606619433914/320102109970808\ 8598610207888073044502577431699264529*c_1001_2^20 - 158846550513508361065364745707510638442647823618800/320102109970808\ 8598610207888073044502577431699264529*c_1001_2^19 - 1041854295643544936743259513736691513558290488396261/32010210997080\ 88598610207888073044502577431699264529*c_1001_2^18 - 4721942267834613103225005782487143762112567141095599/32010210997080\ 88598610207888073044502577431699264529*c_1001_2^17 - 7870604586415983943973821945374097901990247801703727/32010210997080\ 88598610207888073044502577431699264529*c_1001_2^16 - 23175080445394547778201171634668963672780577333725136/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^15 - 36157279995256926976998549061878251411449347605630487/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^14 - 45038299889103206070811415672141031868532894720130058/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^13 - 62558635886359557894787803855810513005735795942925509/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^12 - 78738908281870750508111003455357441907567064255439261/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^11 - 83654104299002899032529215438980897520441550600049688/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^10 - 82617267825121736471428162159013574243205420050684472/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^9 - 60190999763712588934312174460113143106507270317439250/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^8 - 47245195805500836627663112300521261743649534565704343/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^7 - 25567258480992816896069592455051536128296539128417077/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^6 - 28499642846048210361123281379683142353000353332977298/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^5 + 1108324827370128176058665636307157098361667069286053/32010210997080\ 88598610207888073044502577431699264529*c_1001_2^4 + 22103912451579022359797783119189047298095358022931626/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^3 + 4807288241302721421674107152703169011741047139290888/32010210997080\ 88598610207888073044502577431699264529*c_1001_2^2 - 10159882313025081436694551508662060677659389868550668/3201021099708\ 088598610207888073044502577431699264529*c_1001_2 - 3300218861259061819931220452502936099771789363452457/32010210997080\ 88598610207888073044502577431699264529, c_0101_11 - 2696435241319236768444721768470227532282279743955981/544173\ 58695037506176373534097241756543816338887496993*c_1001_2^22 + 1512648205801128210303501874701834191222077804127193/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 - 10201548811797184167612525151631830739479192748091403/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^20 - 59017271582177019909658192214196413085392040444032/5441735869503750\ 6176373534097241756543816338887496993*c_1001_2^19 + 28846813381111082862996923729210997779881712975713421/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 + 153250383076869004946157978739032257523946610093427527/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^17 + 313294126891973248435422750777238587404383925826579344/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 + 791338253880591610003795874436976820105244694515595446/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 + 1332350520925718807820644898068037296600422495724666822/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^14 + 1729176864912440489521669401645394258736739558581101263/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^13 + 2062009710144861331153851505514145748334236420733629981/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^12 + 2198656851440268955083052347961014841256551161042392346/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^11 + 2169241730461562102624761818855540421578817913126303402/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^10 + 2032775728070428761281190723655789601101818913915593396/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^9 + 1367581278718459463667273240066960952147613756754372108/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^8 + 686507809264991406835304015869181682816021224782781861/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^7 - 189225452974765020876906899344772491518525645330199443/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 78212613939468859510506139605977122291901414354666955/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^5 - 83483650586342062422749583675657410677111003204304501/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^4 - 185322050706810848334035095795810290988680627581711482/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^3 + 605120630676669210757955233686954887818021567743438/320102109970808\ 8598610207888073044502577431699264529*c_1001_2^2 + 69712516148132659360512535916108442241950806729279087/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2 + 1103170090681273131698392428058578962927389494677882/32010210997080\ 88598610207888073044502577431699264529, c_0101_3 + 881035990377511377218396684441220286381368189687321/54417358\ 695037506176373534097241756543816338887496993*c_1001_2^22 - 2560173820638160053262750755787628942609338987921016/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 + 4712675068609006203132583777024909500318741050618461/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^20 - 5637962583319514159732452389833575272847542637017683/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^19 - 9011296138442131593306055108949735152594941801058153/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^18 - 20940628444728134458617294984489262638780774594692268/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^17 + 15831926542253413499748356365861278564060714086296197/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^16 - 58997733392541382768297165819186513071279240069326813/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^15 + 3230163195048686025098322303443691120598502030433643/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^14 + 85842633903336572274634450298068283942519790691283146/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^13 - 156673280621148615416729043217792789064422133309049598/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^12 - 492815660102278757362362799749538842547669223975683614/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^11 - 686284024753712540599911841147818737799883597506734879/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^10 - 750269893184608406016771019671057539485043091195717035/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^9 - 568798389160726012229835436592640066686357367095553723/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^8 - 761085945477690389001424865011540065364306020148125315/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^7 - 804313324718760199090060801717945479171493752359963786/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 886603270580610162307293361846709629540244606793732982/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^5 - 3189863266009336514908694156218412279672365457152094/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^4 + 631570563137498685012820444131024024424766551980841279/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^3 + 13576509528145848649494519539029889606020887572164142/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^2 - 145942675988757380049932856839566701140118517015500418/544173586950\ 37506176373534097241756543816338887496993*c_1001_2 - 3071598983869198657791822940134206092603093979861908/32010210997080\ 88598610207888073044502577431699264529, c_0101_7 + 2230415372822174091820960254202900888850372646010830/5441735\ 8695037506176373534097241756543816338887496993*c_1001_2^22 - 2594828203952562260018751337260135525264992588181688/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 + 6159643913494114991160310289570569401230366598696258/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^20 - 2564129213035408835205686661180791618888216947746704/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^19 - 33985762954927969906375633661099260890625551879832241/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 - 110387160490459507600407348569142606471462921273244044/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^17 - 144293258180291661769687196020856676569738910800430603/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 - 334025321330165007202791031977538017051089681218535592/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 - 420401691291598697548401615338729255265611448212245385/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^14 - 72964005549156767904953137741453997134136088262379376/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^13 + 216709500452252251785663736426338210606352795072986032/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^12 + 273658873893349689437418275941233536878395419571199190/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^11 + 306002196134372466228668789928638901410690191924572491/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^10 + 306215909671368116631844453265724761018269508758048978/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^9 + 706749810309484244109882396537927673781166353380396599/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^8 + 851745270591095469007423533300295685572429519319397331/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^7 + 580184826975898823208535494478501914969742795681239360/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 447205718088813875351949666823675426656451066639406665/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^5 - 679112219286955493638351971072408994316271209724336937/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^4 + 150643298246679011585195575088891654930349024504221300/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^3 + 15854823608139303114323906448369495062263222706646305/3201021099708\ 088598610207888073044502577431699264529*c_1001_2^2 - 27300660896941218194179732107813219834987598320639836/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2 - 2695643980571960403783950244912435685932203397633714/32010210997080\ 88598610207888073044502577431699264529, c_0110_4 + 2329087182362831359019429061756195220961058245510748/5441735\ 8695037506176373534097241756543816338887496993*c_1001_2^22 - 1629846428865221781878562022566180011844337137904981/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 + 7053328422284341876819921086968333330244463560752388/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^20 + 799590774406360641423538989268753430012889478480428/544173586950375\ 06176373534097241756543816338887496993*c_1001_2^19 - 31822846508324482551001281861952243438731540865642448/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 - 126160025086747114353231417040252464870968023700256343/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^17 - 228677642971059124290256816306510708398899460890747304/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 - 544774202556809697168593413237527714736930676353760207/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 - 893456394915614742015384664687649233181977956807280970/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^14 - 920160354229638209092735865555799301453495214617636115/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^13 - 972936934567280524076437296501738996793719924427660474/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^12 - 1074020746953681469324650099469352827991221535050351052/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^11 - 1064387846700004719990716813721574158911126889077305977/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^10 - 977390891808912011164246667719255478518210977939516599/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^9 - 464710307941371172498061139156160647457795262868574311/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^8 - 32695236144105756406547260782436176399328482620680774/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^7 + 253072185140907568376457149800859392394792661513908009/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 193973311109191920414805717857040299782858386371620247/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^5 - 352623621066755817405075991671769180140880847963928275/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^4 + 282775629903239482192503774414916614334930033827420655/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^3 + 6737660398758985672664048166380301310421973442823833/32010210997080\ 88598610207888073044502577431699264529*c_1001_2^2 - 108602492757755520732937143433265333639065175911128675/544173586950\ 37506176373534097241756543816338887496993*c_1001_2 - 2332826035172638548511413924632153007088980848268772/32010210997080\ 88598610207888073044502577431699264529, c_1001_0 + 1631635288950572322120919218231107414049071032841718/5441735\ 8695037506176373534097241756543816338887496993*c_1001_2^22 - 1456269831832802426906252458306404266362856939181725/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^21 + 7862589262604003046945023431876960195533931182635741/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^20 - 2274882537491784957563169013907598223382205418426163/54417358695037\ 506176373534097241756543816338887496993*c_1001_2^19 - 12761623937918325576293571689321052778120283792086987/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^18 - 85813534137965004175531654654273992523080301415365818/5441735869503\ 7506176373534097241756543816338887496993*c_1001_2^17 - 173782881249156562890105149014762355777506150604498799/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^16 - 503761660852529266143962433624442618687378925625864796/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^15 - 834141853075715541504839193810292593980813654369503638/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^14 - 1219527629383196746883928740443967219120045793543709693/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^13 - 1654126374082967199701182481602723656798403214534975817/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^12 - 1891120014115768083123379549789839206703505316675972052/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^11 - 1901742655593939957038354551746151797293055334561874242/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^10 - 1799796791693509400496073635618638769175625009509560022/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^9 - 1371960072065012468510368031938218345954836631418014502/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^8 - 1009533974031933271171294655056213175139441452829224640/54417358695\ 037506176373534097241756543816338887496993*c_1001_2^7 - 275202068711974930646307259002660573469508096141689977/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^6 - 112325088176754363773101796307827884287911013466988667/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^5 + 434807046327210011820202031331102070142165308314964555/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^4 + 270767181971441292721574905849839408710991454493501996/544173586950\ 37506176373534097241756543816338887496993*c_1001_2^3 - 6568318535358273958137450190295625574194075203395525/32010210997080\ 88598610207888073044502577431699264529*c_1001_2^2 - 158034326558971623226873142550383932807434141500253315/544173586950\ 37506176373534097241756543816338887496993*c_1001_2 - 2134530347220096413625497477130792316911058469302121/32010210997080\ 88598610207888073044502577431699264529, c_1001_2^23 - 4/9*c_1001_2^22 + 28/9*c_1001_2^21 + 4/3*c_1001_2^20 - 109/9*c_1001_2^19 - 512/9*c_1001_2^18 - 1012/9*c_1001_2^17 - 2507/9*c_1001_2^16 - 1508/3*c_1001_2^15 - 5837/9*c_1001_2^14 - 7345/9*c_1001_2^13 - 9587/9*c_1001_2^12 - 1228*c_1001_2^11 - 11170/9*c_1001_2^10 - 2996/3*c_1001_2^9 - 6305/9*c_1001_2^8 - 3839/9*c_1001_2^7 - 3728/9*c_1001_2^6 - 1889/9*c_1001_2^5 + 2173/9*c_1001_2^4 + 2737/9*c_1001_2^3 - 142/9*c_1001_2^2 - 323/3*c_1001_2 - 289/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.440 Total time: 5.650 seconds, Total memory usage: 123.41MB