Magma V2.19-8 Tue Aug 20 2013 23:41:25 on localhost [Seed = 1157833210] Type ? for help. Type -D to quit. Loading file "K12n565__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n565 geometric_solution 10.79979298 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 3201 0132 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 -1 0 1 -11 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792679753009 0.950832846248 0 4 5 5 0132 0132 0213 0132 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 -1 1 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727065435406 0.967300535221 0 0 7 6 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387534698925 0.373432879582 8 7 0 9 0132 0132 0132 0132 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 1 0 0 -11 11 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.593608622813 0.424282110773 9 1 7 7 3201 0132 3201 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 1 -1 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.166810462622 0.891284839231 10 1 1 11 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -12 0 0 12 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270188476457 0.957568193228 10 9 2 11 3201 2031 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 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 12 0 -12 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398738515501 0.340586864447 4 3 4 2 2310 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.797120479014 1.084005393923 3 11 10 10 0132 1023 3120 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.934865897990 0.552093501277 6 11 3 4 1302 2103 0132 2310 0 0 0 0 0 0 0 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 0 -1 1 12 0 -11 -1 0 0 0 0 -12 11 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.019858024235 1.119669674838 5 8 8 6 0132 0321 3120 2310 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 12 0 0 -12 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.005547270778 1.078274629853 8 9 5 6 1023 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 -1 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 -1 1 0 0 -12 12 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.898919024920 0.444928760832 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0101_7']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_0110_11'], 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_0110_4'], 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0011_9'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0110_4'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_0'], 'c_1100_11' : d['c_0011_9'], 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_9'], 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0101_7']), 'c_1010_3' : d['c_0011_11'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_4']), 'c_1010_8' : d['c_0110_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_11'], '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_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_0']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0011_6']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0110_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_9, c_0101_0, c_0101_10, c_0101_2, c_0101_7, c_0110_11, c_0110_4, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2050812497971329676919507263293053886512022166304052483975901069/91\ 586703721890439026922144554380061175867161764385674196156416*c_1001\ _2^23 - 24366384007995962073331588024353144454229864606462198582668\ 3581919/36634681488756175610768857821752024470346864705754269678462\ 5664*c_1001_2^22 + 326572854873529691364922829332522886826047830987\ 7482550052846406813/36634681488756175610768857821752024470346864705\ 7542696784625664*c_1001_2^21 - 858994509037390243310946974203268880\ 396672560167503894230500344731/114483379652363048783652680692975076\ 46983395220548209274519552*c_1001_2^20 + 1658164250464041885490782788666374866864021750213164616972690033134\ 83/366346814887561756107688578217520244703468647057542696784625664*\ c_1001_2^19 - 75303057088730293788402770656967571292927125206209891\ 1825765832420675/36634681488756175610768857821752024470346864705754\ 2696784625664*c_1001_2^18 + 135123019906948989263987761591835870406\ 0373717031503139057250418140781/18317340744378087805384428910876012\ 2351734323528771348392312832*c_1001_2^17 - 7922360032844816344097656724917315352082142452265110171796504203531\ 919/366346814887561756107688578217520244703468647057542696784625664\ *c_1001_2^16 + 2773968296635170472094654333927170877098064520162455\ 856929930052185205/523352592696516794439555111739314635290669495796\ 48956683517952*c_1001_2^15 - 40431375051746035297411055191775634021\ 361219478029484786079840883239873/366346814887561756107688578217520\ 244703468647057542696784625664*c_1001_2^14 + 1806729522200740161439443804767840475430742388647494514934707001105\ 2995/91586703721890439026922144554380061175867161764385674196156416\ *c_1001_2^13 - 1115815527411141676032569080098992256546266452327873\ 71727478177177566331/3663468148875617561076885782175202447034686470\ 57542696784625664*c_1001_2^12 + 14918753266323632452658582314857194\ 3271022908365371820519878082645845605/36634681488756175610768857821\ 7520244703468647057542696784625664*c_1001_2^11 - 1875811140730287582645002489719131202097578244800388494027558814941\ 555/3982030596603932131605310632799133094602920076712420617224192*c\ _1001_2^10 + 171913661380457723465483518078766211062061396320688216\ 973549417585931055/366346814887561756107688578217520244703468647057\ 542696784625664*c_1001_2^9 - 11507967397173513060302536005142362320\ 09669461503528519370226738500147/2884620589665840599273138411161576\ 729948572024075139344760832*c_1001_2^8 + 1044539879029707372391983306577196613953408954669184100789440802466\ 76481/3663468148875617561076885782175202447034686470575426967846256\ 64*c_1001_2^7 - 437561058011498985247810327961731074606084031814443\ 0682887459652942277/26167629634825839721977755586965731764533474789\ 824478341758976*c_1001_2^6 + 12322785427959754399594980634478403517\ 41477757088987487005164276318291/1592812238641572852642124253119653\ 2378411680306849682468896768*c_1001_2^5 - 9651337910910298511711538498201521828740335854753712819128707510176\ 485/366346814887561756107688578217520244703468647057542696784625664\ *c_1001_2^4 + 93586682660075838864412737089943411710963521622833944\ 43401002986267/1635476852176614982623609724185358235283342174364029\ 896359936*c_1001_2^3 - 20424183826884539015122152573572396523522471\ 1632234197260297654878075/36634681488756175610768857821752024470346\ 8647057542696784625664*c_1001_2^2 + 5539863008321887246068259383067180386489554278584179376303385658657\ /366346814887561756107688578217520244703468647057542696784625664*c_\ 1001_2 + 4371308377943052194159892049501533972746399788631407007109\ 8864517/91586703721890439026922144554380061175867161764385674196156\ 416, c_0011_0 - 1, c_0011_10 - 155859918391254292196401800987700494338189691/1512436780457\ 1089783007682113954942249812221952*c_1001_2^23 + 18517435852923982305446132575153444598760423713/6049747121828435913\ 2030728455819768999248887808*c_1001_2^22 - 248080264987873140333412421899337694433170441441/604974712182843591\ 32030728455819768999248887808*c_1001_2^21 + 65193220847186917929257160560455840128271333957/1890545975571386222\ 875960264244367781226527744*c_1001_2^20 - 12566279305351451362652588272799215056229932623949/6049747121828435\ 9132030728455819768999248887808*c_1001_2^19 + 56946587419715609997742094282078106711469334569115/6049747121828435\ 9132030728455819768999248887808*c_1001_2^18 - 101881793932755324852605590287173795906000463924633/302487356091421\ 79566015364227909884499624443904*c_1001_2^17 + 595113459322555001646682427138833941407165594887385/604974712182843\ 59132030728455819768999248887808*c_1001_2^16 - 1451978298268438907891287746677042217791023395371907/60497471218284\ 359132030728455819768999248887808*c_1001_2^15 + 3006782478345367002953623584109553221651738035521275/60497471218284\ 359132030728455819768999248887808*c_1001_2^14 - 2669790393065821990537998856328596892508526939861021/30248735609142\ 179566015364227909884499624443904*c_1001_2^13 + 8180455773818127721489007635339337502678492366200827/60497471218284\ 359132030728455819768999248887808*c_1001_2^12 - 10836287129237855075220071725295750724446452135897863/6049747121828\ 4359132030728455819768999248887808*c_1001_2^11 + 6197268324491443066431135506439947604974659311611749/30248735609142\ 179566015364227909884499624443904*c_1001_2^10 - 12176506267531473136798318705309625389277776012015887/6049747121828\ 4359132030728455819768999248887808*c_1001_2^9 + 10171064806868971394294436457447201494240038849421743/6049747121828\ 4359132030728455819768999248887808*c_1001_2^8 - 7103234684215086893021980909828589865143580751469381/60497471218284\ 359132030728455819768999248887808*c_1001_2^7 + 2017406036808314174021850615533303880499443565262173/30248735609142\ 179566015364227909884499624443904*c_1001_2^6 - 1779610707839878200204636216045078801023873769040527/60497471218284\ 359132030728455819768999248887808*c_1001_2^5 + 558532424194635950111430950614993552694280095741177/604974712182843\ 59132030728455819768999248887808*c_1001_2^4 - 6318586529608729705286233868588616425216274123749/37810919511427724\ 45751920528488735562453055488*c_1001_2^3 + 4239412657074144264151136155155237785290373052365/60497471218284359\ 132030728455819768999248887808*c_1001_2^2 + 75652940957091159833047272384102287485009512515/6049747121828435913\ 2030728455819768999248887808*c_1001_2 - 16600724378923581262316733845724646261744029193/1512436780457108978\ 3007682113954942249812221952, c_0011_11 - 237155810208238005209420193274872724646774201/3024873560914\ 2179566015364227909884499624443904*c_1001_2^23 + 28395317376360688649468820389799035157060913219/1209949424365687182\ 64061456911639537998497775616*c_1001_2^22 - 384025657552864717785550907063148126773058294425/120994942436568718\ 264061456911639537998497775616*c_1001_2^21 + 101947397643489537992242150999817088126200976981/378109195114277244\ 5751920528488735562453055488*c_1001_2^20 - 19859645640947095125169303546892690623271324270143/1209949424365687\ 18264061456911639537998497775616*c_1001_2^19 + 91071941533747674622225531962961988724434365622695/1209949424365687\ 18264061456911639537998497775616*c_1001_2^18 - 164926158292532971408418736357852427026051345369929/604974712182843\ 59132030728455819768999248887808*c_1001_2^17 + 975045190735491153087474457691076090023502719218355/120994942436568\ 718264061456911639537998497775616*c_1001_2^16 - 2407251532674122589349595897246509988900506309868695/12099494243656\ 8718264061456911639537998497775616*c_1001_2^15 + 5043174815119282343544647060479538648855221979653373/12099494243656\ 8718264061456911639537998497775616*c_1001_2^14 - 2264917150671684265214167830233894543475780954009451/30248735609142\ 179566015364227909884499624443904*c_1001_2^13 + 14042752887853148541729800386356334289347136679482047/1209949424365\ 68718264061456911639537998497775616*c_1001_2^12 - 18830113237317743614096613332386600722137004337744913/1209949424365\ 68718264061456911639537998497775616*c_1001_2^11 + 5456487989082605011825207085521873974249772738928837/30248735609142\ 179566015364227909884499624443904*c_1001_2^10 - 21771597638077327004711651868170534692204122488098531/1209949424365\ 68718264061456911639537998497775616*c_1001_2^9 + 18527802179287428852198475287339169223940390463298521/1209949424365\ 68718264061456911639537998497775616*c_1001_2^8 - 13258960555935255290297039921597430438277934149969261/1209949424365\ 68718264061456911639537998497775616*c_1001_2^7 + 3898624627173086067264127645198588208207935147563671/60497471218284\ 359132030728455819768999248887808*c_1001_2^6 - 3631058759866419435909650157215119542952970884194145/12099494243656\ 8718264061456911639537998497775616*c_1001_2^5 + 1256243866844237756906923517389411355500588747886337/12099494243656\ 8718264061456911639537998497775616*c_1001_2^4 - 8899694173749217199002588976315490190309607562257/37810919511427724\ 45751920528488735562453055488*c_1001_2^3 + 31812512968622764155032082710830243790827081428591/1209949424365687\ 18264061456911639537998497775616*c_1001_2^2 - 1058512421062906930163933567709275163519749032589/12099494243656871\ 8264061456911639537998497775616*c_1001_2 + 1806126105566729567934601992441611537703307423/30248735609142179566\ 015364227909884499624443904, c_0011_6 + 388417587930367891800444732350389613382286701/75621839022855\ 44891503841056977471124906110976*c_1001_2^23 - 46054324492038112625870043917120290146312234959/3024873560914217956\ 6015364227909884499624443904*c_1001_2^22 + 615695968825064643915450857657618416588658484345/302487356091421795\ 66015364227909884499624443904*c_1001_2^21 - 1292067362923377119065092365264057695395181431159/75621839022855448\ 91503841056977471124906110976*c_1001_2^20 + 31087507411002384034686908065136952998199526531943/3024873560914217\ 9566015364227909884499624443904*c_1001_2^19 - 140716849068254534718640373657211717630577954281835/302487356091421\ 79566015364227909884499624443904*c_1001_2^18 + 251633651514929346516004694208346116595256745247213/151243678045710\ 89783007682113954942249812221952*c_1001_2^17 - 1470138140615985289564886905334653383557189291259727/30248735609142\ 179566015364227909884499624443904*c_1001_2^16 + 3590320783083551218934012446998087914547622275847791/30248735609142\ 179566015364227909884499624443904*c_1001_2^15 - 7448127441834941833880845145926717504832920405440805/30248735609142\ 179566015364227909884499624443904*c_1001_2^14 + 3315656050865751643506919260509687087004336674076903/75621839022855\ 44891503841056977471124906110976*c_1001_2^13 - 20396319248664403016708792262058294208066605051178535/3024873560914\ 2179566015364227909884499624443904*c_1001_2^12 + 27157094065628965817098044254705265272582695411160025/3024873560914\ 2179566015364227909884499624443904*c_1001_2^11 - 7818595941019912582129975559711972799419407922034409/75621839022855\ 44891503841056977471124906110976*c_1001_2^10 + 31002228810413294231716205070109615008613010937696363/3024873560914\ 2179566015364227909884499624443904*c_1001_2^9 - 26210358052050226150625023711096715336948325563080049/3024873560914\ 2179566015364227909884499624443904*c_1001_2^8 + 18610153595509395774600434241514815717649457887487009/3024873560914\ 2179566015364227909884499624443904*c_1001_2^7 - 5412664451510620805457133447263205380529441532531091/15124367804571\ 089783007682113954942249812221952*c_1001_2^6 + 4954060086849270833648532398478392096497134390785837/30248735609142\ 179566015364227909884499624443904*c_1001_2^5 - 1659970070165465694152768054508658232863431407897161/30248735609142\ 179566015364227909884499624443904*c_1001_2^4 + 87686311994860350383345280344943230917825365325233/7562183902285544\ 891503841056977471124906110976*c_1001_2^3 - 32744446590873052625042112476223489215499112764255/3024873560914217\ 9566015364227909884499624443904*c_1001_2^2 + 1591334658010618017505405781040215707992476278321/30248735609142179\ 566015364227909884499624443904*c_1001_2 - 8288008844133977791081060493781442266143048731/75621839022855448915\ 03841056977471124906110976, c_0011_9 - 21275531156084951719068656988076617794846223/151243678045710\ 89783007682113954942249812221952*c_1001_2^23 + 2508095775576021575375898397554331883315056677/60497471218284359132\ 030728455819768999248887808*c_1001_2^22 - 33399777579049745374092942424546803242725479643/6049747121828435913\ 2030728455819768999248887808*c_1001_2^21 + 17522660345654575928892614415603543395587846425/3781091951142772445\ 751920528488735562453055488*c_1001_2^20 - 1693058376642997008901533225876330403510228679657/60497471218284359\ 132030728455819768999248887808*c_1001_2^19 + 7721350228924480139643073524422954462991845331597/60497471218284359\ 132030728455819768999248887808*c_1001_2^18 - 13973087835673131556503744919825884345722051864747/3024873560914217\ 9566015364227909884499624443904*c_1001_2^17 + 82762341584349165067534344493297924391989582293061/6049747121828435\ 9132030728455819768999248887808*c_1001_2^16 - 204815272329105762602485844842461852403367243987677/604974712182843\ 59132030728455819768999248887808*c_1001_2^15 + 429497322652203146970608634682992247571028913315331/604974712182843\ 59132030728455819768999248887808*c_1001_2^14 - 48100969317751302835843275622199228588437973595461/3781091951142772\ 445751920528488735562453055488*c_1001_2^13 + 1183243337876283925234724642706563476359606430394805/60497471218284\ 359132030728455819768999248887808*c_1001_2^12 - 1560772709833480677461406980221826200615523971188079/60497471218284\ 359132030728455819768999248887808*c_1001_2^11 + 219834816774937966174711466350999214538908367917779/756218390228554\ 4891503841056977471124906110976*c_1001_2^10 - 1676377542215603460681098545797304463397060626965505/60497471218284\ 359132030728455819768999248887808*c_1001_2^9 + 1328463866552146129985935786583473277756210874440391/60497471218284\ 359132030728455819768999248887808*c_1001_2^8 - 849095669055744637941333847585742728452363825988359/604974712182843\ 59132030728455819768999248887808*c_1001_2^7 + 206801533867927711437023861846331262207216686732369/302487356091421\ 79566015364227909884499624443904*c_1001_2^6 - 135436994213467482885457535500244046329738246294751/604974712182843\ 59132030728455819768999248887808*c_1001_2^5 + 18457264700485960057732686750818007596483066346963/6049747121828435\ 9132030728455819768999248887808*c_1001_2^4 + 280054998563329578700389765234706373940801230219/378109195114277244\ 5751920528488735562453055488*c_1001_2^3 - 389640932191821222725559880515017795712831825671/604974712182843591\ 32030728455819768999248887808*c_1001_2^2 - 1140271490412725531267109214778120472703703005911/60497471218284359\ 132030728455819768999248887808*c_1001_2 + 8847611747739828334484428605181001584360790397/15124367804571089783\ 007682113954942249812221952, c_0101_0 + 93626987461737380317977202233377994986473053/189054597557138\ 6222875960264244367781226527744*c_1001_2^23 - 5542629422613546419434204224179488914321767937/37810919511427724457\ 51920528488735562453055488*c_1001_2^22 + 591805399639517781440246937987949497741753952593/302487356091421795\ 66015364227909884499624443904*c_1001_2^21 - 1239831713130366817266895590298154530642728865353/75621839022855448\ 91503841056977471124906110976*c_1001_2^20 + 465297876974263390714495239062649195472340334905/472636493892846555\ 718990066061091945306631936*c_1001_2^19 - 134525652104115976423497540319825345086288229295845/302487356091421\ 79566015364227909884499624443904*c_1001_2^18 + 240050456471697205728427856404721376069201539432041/151243678045710\ 89783007682113954942249812221952*c_1001_2^17 - 349780305631744032625170044402838340714507781654693/756218390228554\ 4891503841056977471124906110976*c_1001_2^16 + 3407609073971620091960272356669544319634461420091829/30248735609142\ 179566015364227909884499624443904*c_1001_2^15 - 3523368961297089257178111742162371162936885169103335/15124367804571\ 089783007682113954942249812221952*c_1001_2^14 + 12500900450112763569190120901705116219060796332795265/3024873560914\ 2179566015364227909884499624443904*c_1001_2^13 - 19138370447207515388651739707268063783585671865227173/3024873560914\ 2179566015364227909884499624443904*c_1001_2^12 + 12671191611542645994655107524960087280335282462844435/1512436780457\ 1089783007682113954942249812221952*c_1001_2^11 - 28986267184868913558281127958416607128896084443844965/3024873560914\ 2179566015364227909884499624443904*c_1001_2^10 + 28487473143341818086631701142474577164834125736216769/3024873560914\ 2179566015364227909884499624443904*c_1001_2^9 - 11908306840186641348862574520066148266166598293663591/1512436780457\ 1089783007682113954942249812221952*c_1001_2^8 + 16658191434588336628866784663212455428542772426152985/3024873560914\ 2179566015364227909884499624443904*c_1001_2^7 - 592834099007823604767881714489415443308552338361899/189054597557138\ 6222875960264244367781226527744*c_1001_2^6 + 2100253688151750005202173342037616622930596746457443/15124367804571\ 089783007682113954942249812221952*c_1001_2^5 - 1327805524909812932626047955049973640215240482219257/30248735609142\ 179566015364227909884499624443904*c_1001_2^4 + 61182869596064315318350595250144691079075416815585/7562183902285544\ 891503841056977471124906110976*c_1001_2^3 - 371802248112345211739541636259810904191152656145/945272987785693111\ 437980132122183890613263872*c_1001_2^2 - 105246550859789587488341027812693755024752253747/302487356091421795\ 66015364227909884499624443904*c_1001_2 - 12625461909126105691516055312691439289557307803/7562183902285544891\ 503841056977471124906110976, c_0101_10 - 77461674303893665235210188792643040211695891/15124367804571\ 089783007682113954942249812221952*c_1001_2^23 + 9579373576379488356998409294629593492029740129/60497471218284359132\ 030728455819768999248887808*c_1001_2^22 - 134444427239611779558352367251348949366907702443/604974712182843591\ 32030728455819768999248887808*c_1001_2^21 + 37054225079558119373664221044179010642978439121/1890545975571386222\ 875960264244367781226527744*c_1001_2^20 - 7493139199806153465472193858396929276806520389781/60497471218284359\ 132030728455819768999248887808*c_1001_2^19 + 35787212852430661114210328267894709239933418947077/6049747121828435\ 9132030728455819768999248887808*c_1001_2^18 - 67508322644426619973652730083246449541824527707707/3024873560914217\ 9566015364227909884499624443904*c_1001_2^17 + 415802630365792179503952003234135127360074914938001/604974712182843\ 59132030728455819768999248887808*c_1001_2^16 - 1069811379271328007674806817260176975935862605364405/60497471218284\ 359132030728455819768999248887808*c_1001_2^15 + 2337385522612506032877892320833089473734147005937935/60497471218284\ 359132030728455819768999248887808*c_1001_2^14 - 1096171847476062680157360581473276831506953956968663/15124367804571\ 089783007682113954942249812221952*c_1001_2^13 + 7110662115106649797633582565990634006989010755253357/60497471218284\ 359132030728455819768999248887808*c_1001_2^12 - 10002269656355739462720590291376487832116970121450155/6049747121828\ 4359132030728455819768999248887808*c_1001_2^11 + 3051341898939942171447253438411799752359853344446061/15124367804571\ 089783007682113954942249812221952*c_1001_2^10 - 12878317307039604096900925444129064654697348929864601/6049747121828\ 4359132030728455819768999248887808*c_1001_2^9 + 11666366703310951653739530345232519926703975302663555/6049747121828\ 4359132030728455819768999248887808*c_1001_2^8 - 8964738892281526668691181161182537821765613731322663/60497471218284\ 359132030728455819768999248887808*c_1001_2^7 + 2865898565227582332666343264787221801173577919944285/30248735609142\ 179566015364227909884499624443904*c_1001_2^6 - 2956796685624545649338362731872055512188116553621947/60497471218284\ 359132030728455819768999248887808*c_1001_2^5 + 1168793378811590340596333047880863210572176866817507/60497471218284\ 359132030728455819768999248887808*c_1001_2^4 - 10036559879297372503075406470483255404120749804149/1890545975571386\ 222875960264244367781226527744*c_1001_2^3 + 49039114151752408097944057528562487021645055278245/6049747121828435\ 9132030728455819768999248887808*c_1001_2^2 - 1857088195258123428325037135638598778483240997671/60497471218284359\ 132030728455819768999248887808*c_1001_2 + 10598485934620467490402947701440211565611050749/1512436780457108978\ 3007682113954942249812221952, c_0101_2 + 96511674417264681108254059056085497541841831/756218390228554\ 4891503841056977471124906110976*c_1001_2^23 - 11433830589241432489249244945542203708489914097/3024873560914217956\ 6015364227909884499624443904*c_1001_2^22 + 76355405119951707588166877881788211806968897761/1512436780457108978\ 3007682113954942249812221952*c_1001_2^21 - 160075968556115774267584812839630128506966436527/378109195114277244\ 5751920528488735562453055488*c_1001_2^20 + 7694860008663926798878606969736804883881664759145/30248735609142179\ 566015364227909884499624443904*c_1001_2^19 - 8696745294610121057997356790815919134907998257897/75621839022855448\ 91503841056977471124906110976*c_1001_2^18 + 31059554156663197937279590900272596617756253839279/7562183902285544\ 891503841056977471124906110976*c_1001_2^17 - 362313732461484626667685563178085713578648599745013/302487356091421\ 79566015364227909884499624443904*c_1001_2^16 + 110380170096013234725340765672450057542476072674129/378109195114277\ 2445751920528488735562453055488*c_1001_2^15 - 1827348053064920473212140370655818465571105314068933/30248735609142\ 179566015364227909884499624443904*c_1001_2^14 + 3244000131350391924983030428659222648360365835038671/30248735609142\ 179566015364227909884499624443904*c_1001_2^13 - 9707138639589718409517380752897813412862264257567/59079561736605819\ 464873758257636493163328992*c_1001_2^12 + 6586238170501045473351101008247824986633148101290265/30248735609142\ 179566015364227909884499624443904*c_1001_2^11 - 7539485984855416929331186071181379387926073615078483/30248735609142\ 179566015364227909884499624443904*c_1001_2^10 + 463533169207244972721294854169666043604741575781235/189054597557138\ 6222875960264244367781226527744*c_1001_2^9 - 6206970699835088024029473776782760947903382314669209/30248735609142\ 179566015364227909884499624443904*c_1001_2^8 + 2173371504538069982679129003730124212769102691310565/15124367804571\ 089783007682113954942249812221952*c_1001_2^7 - 1239448393239787643729886162097167673228996027198317/15124367804571\ 089783007682113954942249812221952*c_1001_2^6 + 1100018672715547188065030254147777101109562144835933/30248735609142\ 179566015364227909884499624443904*c_1001_2^5 - 174395959018497768095404849843906702567629239942365/151243678045710\ 89783007682113954942249812221952*c_1001_2^4 + 1010098841033177929728648318587477976509085047379/47263649389284655\ 5718990066061091945306631936*c_1001_2^3 - 3206547681394816432780073261472645370842242246753/30248735609142179\ 566015364227909884499624443904*c_1001_2^2 - 21187170831057141869463720583646644393410066757/1512436780457108978\ 3007682113954942249812221952*c_1001_2 - 3482621383325692142056609110784945463776478011/37810919511427724457\ 51920528488735562453055488, c_0101_7 + 2493309814935704418826951155007527673344246389/3024873560914\ 2179566015364227909884499624443904*c_1001_2^23 - 295853058830405526767425200200290984316971105783/120994942436568718\ 264061456911639537998497775616*c_1001_2^22 + 3959109064844391366082256448834340079044316381213/12099494243656871\ 8264061456911639537998497775616*c_1001_2^21 - 64982104945086936188295562556772013126383500555/2363182469464232778\ 59495033030545972653315968*c_1001_2^20 + 200372813305691651394411473326314933397881192484483/120994942436568\ 718264061456911639537998497775616*c_1001_2^19 - 908281537402071630754605520981620059925427665064787/120994942436568\ 718264061456911639537998497775616*c_1001_2^18 + 1626705361499938930481971870919397661362297051648333/60497471218284\ 359132030728455819768999248887808*c_1001_2^17 - 9518644709832145644132098145428505930176005586590727/12099494243656\ 8718264061456911639537998497775616*c_1001_2^16 + 23282420412024915625567292616290746430618420902615363/1209949424365\ 68718264061456911639537998497775616*c_1001_2^15 - 48374033848170468992428192620473917550639561161702905/1209949424365\ 68718264061456911639537998497775616*c_1001_2^14 + 21567314562325666903341607268129448007178034967258025/3024873560914\ 2179566015364227909884499624443904*c_1001_2^13 - 132871305309403880168766495942000966259164372603246923/120994942436\ 568718264061456911639537998497775616*c_1001_2^12 + 177178420043258251321306500829000048929514413827993981/120994942436\ 568718264061456911639537998497775616*c_1001_2^11 - 51086537467014044533480934254112464115738416836133123/3024873560914\ 2179566015364227909884499624443904*c_1001_2^10 + 202878320680016560837732023621550536818930935087725119/120994942436\ 568718264061456911639537998497775616*c_1001_2^9 - 171797660968926051719735108702983387215299830197738341/120994942436\ 568718264061456911639537998497775616*c_1001_2^8 + 122199463232521861867811114496374580648841786227286945/120994942436\ 568718264061456911639537998497775616*c_1001_2^7 - 35616617947302750709248507412153248415572315927109819/6049747121828\ 4359132030728455819768999248887808*c_1001_2^6 + 32689576959480533315407609315855420986422413310387789/1209949424365\ 68718264061456911639537998497775616*c_1001_2^5 - 10998879746293210711175590941270184965002684712621861/1209949424365\ 68718264061456911639537998497775616*c_1001_2^4 + 18293550051450639682123070621208583043085953992955/9452729877856931\ 11437980132122183890613263872*c_1001_2^3 - 221357575010058701695929496267429411105752181273843/120994942436568\ 718264061456911639537998497775616*c_1001_2^2 + 9169908757033206865249923499690207478050763544289/12099494243656871\ 8264061456911639537998497775616*c_1001_2 - 43555313158520511449892028618968728322460394203/3024873560914217956\ 6015364227909884499624443904, c_0110_11 + 1406130491816797283046997488422701015828180305/151243678045\ 71089783007682113954942249812221952*c_1001_2^23 - 166878930003174661047269502690554375253939659643/604974712182843591\ 32030728455819768999248887808*c_1001_2^22 + 2233418353735394263406715066722542561378926204613/60497471218284359\ 132030728455819768999248887808*c_1001_2^21 - 2346045884982886423120383005198513487383272333143/75621839022855448\ 91503841056977471124906110976*c_1001_2^20 + 113013843181522469267270158261696326479535715742047/604974712182843\ 59132030728455819768999248887808*c_1001_2^19 - 512130048799387734619729276845130742357181229680635/604974712182843\ 59132030728455819768999248887808*c_1001_2^18 + 916742307492296644391436948687961127141293216446877/302487356091421\ 79566015364227909884499624443904*c_1001_2^17 - 5360679715016907793069934507157585246073492712615227/60497471218284\ 359132030728455819768999248887808*c_1001_2^16 + 13101145574293896271393182729562615461317582578510531/6049747121828\ 4359132030728455819768999248887808*c_1001_2^15 - 27193364367643035241522246821733575104816792794562949/6049747121828\ 4359132030728455819768999248887808*c_1001_2^14 + 6055036046099760380190093671089557984843178198371025/75621839022855\ 44891503841056977471124906110976*c_1001_2^13 - 74508606512567805125477231524231112843001924406523659/6049747121828\ 4359132030728455819768999248887808*c_1001_2^12 + 99202638672104122222609597317965175344885871004727865/6049747121828\ 4359132030728455819768999248887808*c_1001_2^11 - 3569103226533934452531534125082811004935609741531165/18905459755713\ 86222875960264244367781226527744*c_1001_2^10 + 113153688504228585905725240424715975121638348223746239/604974712182\ 84359132030728455819768999248887808*c_1001_2^9 - 95574908550742423665122010225486427694913242944933697/6049747121828\ 4359132030728455819768999248887808*c_1001_2^8 + 67762444020202942591359791319517186180241782634285105/6049747121828\ 4359132030728455819768999248887808*c_1001_2^7 - 19663194625735974616889181140373729988467397180946559/3024873560914\ 2179566015364227909884499624443904*c_1001_2^6 + 17926812067589258541844483131658603250960504746097889/6049747121828\ 4359132030728455819768999248887808*c_1001_2^5 - 5959715088539392978230372356107817201140358705317149/60497471218284\ 359132030728455819768999248887808*c_1001_2^4 + 154044941811239332807508271773579324688305605619729/756218390228554\ 4891503841056977471124906110976*c_1001_2^3 - 102430792386800599588903462854948111202672742994399/604974712182843\ 59132030728455819768999248887808*c_1001_2^2 + 1931886526128544048672451395416472627538374767233/60497471218284359\ 132030728455819768999248887808*c_1001_2 - 6639528262219830383718554360993012500790003979/15124367804571089783\ 007682113954942249812221952, c_0110_4 - 456389945773137221559281467412500804187281541/15124367804571\ 089783007682113954942249812221952*c_1001_2^23 + 54029030554587015377049433697334960442206846511/6049747121828435913\ 2030728455819768999248887808*c_1001_2^22 - 721017425147851994631679331010010139483028712395/604974712182843591\ 32030728455819768999248887808*c_1001_2^21 + 11799816200952887256779708186127722450416192111/1181591234732116389\ 29747516515272986326657984*c_1001_2^20 - 36274423729689644372065146606352523254852344791827/6049747121828435\ 9132030728455819768999248887808*c_1001_2^19 + 163858546262895637901894973948286194692057250226705/604974712182843\ 59132030728455819768999248887808*c_1001_2^18 - 292387893961774087347313364821130061459590021554819/302487356091421\ 79566015364227909884499624443904*c_1001_2^17 + 1704201784850147528636018151468101493123168921967687/60497471218284\ 359132030728455819768999248887808*c_1001_2^16 - 4150901113386359588703787128952561074567751791111737/60497471218284\ 359132030728455819768999248887808*c_1001_2^15 + 8584735436497669143850604943801653958876189757647437/60497471218284\ 359132030728455819768999248887808*c_1001_2^14 - 7615855541667057702203719836289487888678887460976793/30248735609142\ 179566015364227909884499624443904*c_1001_2^13 + 23324271814701886640246165231801216627093034176415041/6049747121828\ 4359132030728455819768999248887808*c_1001_2^12 - 30894491229156790727485000450449946074083377156083937/6049747121828\ 4359132030728455819768999248887808*c_1001_2^11 + 17675547504252842827499531411013358408665358339034665/3024873560914\ 2179566015364227909884499624443904*c_1001_2^10 - 34762178083235512408585891230364747425632099780236413/6049747121828\ 4359132030728455819768999248887808*c_1001_2^9 + 29085272473046952693082694294041931569682637206646873/6049747121828\ 4359132030728455819768999248887808*c_1001_2^8 - 20366474474520887967216073259143388760700854660392087/6049747121828\ 4359132030728455819768999248887808*c_1001_2^7 + 5808636210314679100475633308004587537185549528480947/30248735609142\ 179566015364227909884499624443904*c_1001_2^6 - 5159846839592603586621486281020374139404379831218025/60497471218284\ 359132030728455819768999248887808*c_1001_2^5 + 1640448296242705145578800509224383394370585340786611/60497471218284\ 359132030728455819768999248887808*c_1001_2^4 - 19182140169072838322263910206070986666995004597343/3781091951142772\ 445751920528488735562453055488*c_1001_2^3 + 16401302998277962125285856065840976873092026813107/6049747121828435\ 9132030728455819768999248887808*c_1001_2^2 + 142401098969388459482853396830934003472853799089/604974712182843591\ 32030728455819768999248887808*c_1001_2 + 13192993207807584575004472239737122264586883677/1512436780457108978\ 3007682113954942249812221952, c_1001_2^24 - 119/4*c_1001_2^23 + 799/2*c_1001_2^22 - 13479/4*c_1001_2^21 + 81495/4*c_1001_2^20 - 92768*c_1001_2^19 + 1335451/4*c_1001_2^18 - 3926521/4*c_1001_2^17 + 2413423*c_1001_2^16 - 10082903/2*c_1001_2^15 + 36168751/4*c_1001_2^14 - 56048523/4*c_1001_2^13 + 37619741/2*c_1001_2^12 - 87426627/4*c_1001_2^11 + 87546471/4*c_1001_2^10 - 37447503/2*c_1001_2^9 + 13488391*c_1001_2^8 - 31983121/4*c_1001_2^7 + 15034363/4*c_1001_2^6 - 1314786*c_1001_2^5 + 1209919/4*c_1001_2^4 - 141831/4*c_1001_2^3 + 3827/2*c_1001_2^2 - 175/4*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.910 Total time: 1.120 seconds, Total memory usage: 32.09MB