Magma V2.19-8 Tue Aug 20 2013 23:51:53 on localhost [Seed = 3667702231] Type ? for help. Type -D to quit. Loading file "K12n154__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n154 geometric_solution 11.74456212 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725493850186 0.549393791902 0 0 3 4 0132 1302 3120 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 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123984703427 0.663378973406 5 0 6 4 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.871014892247 0.661325938911 7 4 1 0 0132 3120 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 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 1.603787011476 0.793175870120 2 3 1 7 3120 3120 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0.268587582484 0.958318076103 2 6 8 9 0132 3120 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 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.726356987358 0.539637900286 10 5 11 2 0132 3120 0132 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 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549434224640 0.410753463933 3 9 11 4 0132 1302 3120 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.271738211560 0.552939353047 11 12 9 5 0132 0132 0213 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 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.563323970284 1.119196391608 10 8 5 7 2103 0213 0132 2031 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 -6 7 -1 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.446642331618 0.417536456610 6 12 9 12 0132 1302 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.419525244438 1.132212030633 8 12 7 6 0132 3201 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 0 0 -1 0 1 0 1 6 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729317751132 0.676477361937 10 8 11 10 3120 0132 2310 2031 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 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.096959799395 1.005693708854 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_12']), 'c_1001_10' : d['c_0011_9'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_12'], 'c_1001_6' : negation(d['c_1001_12']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], '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' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_0101_0']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_3']), 'c_1100_11' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : negation(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' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : d['c_0011_9'], 'c_0110_12' : d['c_0011_9'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0011_9'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], '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_0101_11'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_10'], '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_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 1899423620732232266838170092935972993930116161719094009546451232454\ 29897526261674560701923246307163594/1272520275670092310211649427565\ 0673062623239351151768981382832974780923034887945313685072922154504\ 0463025*c_1001_12^30 - 21027866203904901649111645795328915829687595\ 76975589205824746771501426183594927971929667202469968450049/1272520\ 2756700923102116494275650673062623239351151768981382832974780923034\ 8879453136850729221545040463025*c_1001_12^29 - 2868072970622372277039188589949339924858800513548290058481020057827\ 884598655519867807832739392507399879/127252027567009231021164942756\ 5067306262323935115176898138283297478092303488794531368507292215450\ 40463025*c_1001_12^28 - 2760767172486158653264911263033097185974848\ 4917256856986855235245569793851915625427507766170571700360231/25450\ 4055134018462042329885513013461252464787023035379627656659495618460\ 697758906273701458443090080926050*c_1001_12^27 + 1539747488129143738088283080022046556809940895802422586196291457887\ 0692199462620910298338912776440057581/25450405513401846204232988551\ 3013461252464787023035379627656659495618460697758906273701458443090\ 080926050*c_1001_12^26 + 111545547550366795053683088358726249766780\ 97330166735430423692303350539588253604531709123037338743001982/1272\ 5202756700923102116494275650673062623239351151768981382832974780923\ 0348879453136850729221545040463025*c_1001_12^25 + 2100840988824121597505813917512826865390706923285100949898393181510\ 3336712506181080271202195073236358589/25450405513401846204232988551\ 3013461252464787023035379627656659495618460697758906273701458443090\ 08092605*c_1001_12^24 + 2914312803868053938957643118496573962676775\ 915650503933612606855818660702051280146955401921110962834539/267899\ 0054042299600445577742242246960552260916031951364501649047322299586\ 292199013407383773085158746590*c_1001_12^23 + 4722742662733719812693043975275992529352197071676577341137355428639\ 19281952123126012131515261116278641691/2545040551340184620423298855\ 1301346125246478702303537962765665949561846069775890627370145844309\ 0080926050*c_1001_12^22 - 23607545575199215274017015860790158089759\ 9167816639476915132319143652321501620235161511755265209465582057/12\ 7252027567009231021164942756506730626232393511517689813828329747809\ 230348879453136850729221545040463025*c_1001_12^21 - 2601403102904610890067424537618405474487065148107309013442745314657\ 44649141492332839436569423492600898687/5090081102680369240846597710\ 2602692250492957404607075925531331899123692139551781254740291688618\ 016185210*c_1001_12^20 - 178512391718380413070719297234623787899840\ 8931749036490009194315013943652075069583915540363758507746022453/12\ 7252027567009231021164942756506730626232393511517689813828329747809\ 230348879453136850729221545040463025*c_1001_12^19 - 1186810871619860772854435652226645776373725671284892081313797035041\ 357992016575769122799994296552616829094/127252027567009231021164942\ 7565067306262323935115176898138283297478092303488794531368507292215\ 45040463025*c_1001_12^18 - 7713156260393895042886948397614315209101\ 21914140471765499137797625979415055093762292220789878135681414019/1\ 2725202756700923102116494275650673062623239351151768981382832974780\ 9230348879453136850729221545040463025*c_1001_12^17 + 2358270284625319158545187461845474323253951512688178489437262414855\ 268584958714312697334628716113749696488/127252027567009231021164942\ 7565067306262323935115176898138283297478092303488794531368507292215\ 45040463025*c_1001_12^16 + 5358122122400032515903720097052208083599\ 731002798548793156987299976536644608143730238372836030587614906274/\ 1272520275670092310211649427565067306262323935115176898138283297478\ 09230348879453136850729221545040463025*c_1001_12^15 + 2357942093434963154149090573631047440444273187734732565431878205978\ 933173289204162337154282239029030226753/509008110268036924084659771\ 0260269225049295740460707592553133189912369213955178125474029168861\ 8016185210*c_1001_12^14 + 26822567484485164769465454317037423296504\ 93260422830274937863014883956482981036913494507543388616967655273/2\ 5450405513401846204232988551301346125246478702303537962765665949561\ 8460697758906273701458443090080926050*c_1001_12^13 - 5017289072738926167924557112342773534009521467771248980272199465335\ 830274869190982555075293368297635132861/254504055134018462042329885\ 5130134612524647870230353796276566594956184606977589062737014584430\ 90080926050*c_1001_12^12 - 1646627393191383805238984581004900164816\ 8637495278147513022135188348687181092397242883505106661169680559339\ /254504055134018462042329885513013461252464787023035379627656659495\ 618460697758906273701458443090080926050*c_1001_12^11 - 1533847706671673590637549377416396835375630459338331324864787035867\ 1777669834673961524605045273870071706159/25450405513401846204232988\ 5513013461252464787023035379627656659495618460697758906273701458443\ 090080926050*c_1001_12^10 + 286116885135472013922557110731456673692\ 884949607396032410175712303164086883327410218480044506648747951661/\ 1272520275670092310211649427565067306262323935115176898138283297478\ 09230348879453136850729221545040463025*c_1001_12^9 - 1205509226110250709105220522591400051668502262025359472485340955722\ 166877671428403890654893985948624488868/127252027567009231021164942\ 7565067306262323935115176898138283297478092303488794531368507292215\ 45040463025*c_1001_12^8 + 17644351228922978112789999354718140080024\ 56257155615018307087974795292795040060772552615438176917900978723/2\ 5450405513401846204232988551301346125246478702303537962765665949561\ 8460697758906273701458443090080926050*c_1001_12^7 - 1273690249938360102577326354723909411274309717907766791646046735248\ 6596277494306415277691619698727036919839/25450405513401846204232988\ 5513013461252464787023035379627656659495618460697758906273701458443\ 090080926050*c_1001_12^6 - 5700604910766975338760925736380599541719\ 994248093079013302233461788541599527125770822301776205996798224469/\ 2545040551340184620423298855130134612524647870230353796276566594956\ 18460697758906273701458443090080926050*c_1001_12^5 + 3727116052500517890221142516287000262804825031291448907867657415452\ 89872962157412211795120710619711899649/2545040551340184620423298855\ 1301346125246478702303537962765665949561846069775890627370145844309\ 008092605*c_1001_12^4 + 8376201119776044333008108333660526993497301\ 37205162625080853172893162202272499424526867001135086282958976/1272\ 5202756700923102116494275650673062623239351151768981382832974780923\ 0348879453136850729221545040463025*c_1001_12^3 - 4606970813121684572198730502409167265266410571204772742616778003632\ 467004608150936258319058703948577895493/254504055134018462042329885\ 5130134612524647870230353796276566594956184606977589062737014584430\ 90080926050*c_1001_12^2 + 13000287245198053257833716552651637326805\ 66597094719860262827209458592965805782851615817580461759704467457/2\ 5450405513401846204232988551301346125246478702303537962765665949561\ 8460697758906273701458443090080926050*c_1001_12 - 9591140204065955727072520700909680740708191593118760476856865814721\ 49356350226311692274059211914834229591/2545040551340184620423298855\ 1301346125246478702303537962765665949561846069775890627370145844309\ 0080926050, c_0011_0 - 1, c_0011_10 + 18671910562070518482348215573528269365565742324981657605687\ 222511345137650844347386264809247/694416665554394774474604770015357\ 3085233575043500223864023559572104770953866608811548727994725521*c_\ 1001_12^30 - 368357941027944388023567899110350648920124378629733131\ 087300889349156295879551658576327226466/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^29 + 112351879432474638718390007950583127318180099724\ 0199995303997434038138177090424042515471317346/69441666555439477447\ 4604770015357308523357504350022386402355957210477095386660881154872\ 7994725521*c_1001_12^28 + 50024971491925514653617849801267820879282\ 82368242524978747626759880969373424314560268040600330/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^27 + 2168141941687538190102518969632160\ 2042234627024833331432149701310625329526986219203618007997644/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^26 + 3095051303682839239250818882984877967412857251012089923969540985573\ 1874083693189786960482695970/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^25 + 14567793536986535923984790332361639680249367976979413480044\ 498466702264604367299368559428942342/694416665554394774474604770015\ 3573085233575043500223864023559572104770953866608811548727994725521\ *c_1001_12^24 - 896038929928463292797909875107861521395870941126374\ 63869230512338456167346964763800618048785597/6944166655543947744746\ 0477001535730852335750435002238640235595721047709538666088115487279\ 94725521*c_1001_12^23 - 3412790423909302842030400022150248646118063\ 34068940956913794931847114080983264451151818520566422/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^22 - 7182195240468887519494991991627462\ 55255956542486299790781331906283530793518817890871377177142703/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^21 - 7691675490281768935711097136825409241224235731216398570009124901119\ 63795168979247505111186944021/6944166655543947744746047700153573085\ 233575043500223864023559572104770953866608811548727994725521*c_1001\ _12^20 + 2079760217841930657977444153781698796889013122343874176673\ 62668999657463063551198882700570584771/6944166655543947744746047700\ 1535730852335750435002238640235595721047709538666088115487279947255\ 21*c_1001_12^19 + 2789511376167317997701115966898431219859933386385\ 404579504252379892955049300733451920305082433545/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^18 + 622342214145851265331482788477939675463\ 9551005108544841008326086910419936057860737077022748095877/69441666\ 5554394774474604770015357308523357504350022386402355957210477095386\ 6608811548727994725521*c_1001_12^17 + 7817277973073047643968475801179264357326629081628055448097794664229\ 504181454747617267443240400755/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^16 + 536526493715796469823635977841433203778475651167159848862\ 2892070136897887046493024610914971947533/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^15 - 56706198681960152399166122152280845998750784297\ 29272998680582778988528491018006962246213946193108/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^14 - 1998083396171741104805817996588373498\ 1146554417684749897737522273062769285151515155181217197752768/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^13 - 2905695761736632306383671227025310243894266928160109907639995479193\ 7430945054662271436564990625414/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^12 - 23178458839511352835202677004651081187071362996605494785\ 677728746811036171620527741380392270163916/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^11 - 182653177788171732059555663805573533008730186\ 7343949346669743371514343103248240220089658452964654/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^10 + 28822784768714738057180837441104417\ 645533720186465032406709209984265564499407132430706905487294765/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^9 + 4227847014152783804233416447187697260208153856587738315449671632425\ 3689150737076048056270631328402/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^8 + 362105185463442853500796066568914990071584751797078966034\ 41777930981607318022290159277529550648655/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^7 + 17353482545143155989449864346748038567920629447\ 036084991364417522803082591968106540461034321646794/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^6 + 1681757299159594558556726460427422026\ 295308202935867686246999856660106712736507620779956581126504/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^5 + 4548856249714285445075096274876859380522359311690320036481896361448\ 245131062869404473712465006850/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^4 + 4020633706354279821222738931457564495829354291731399566144\ 746510500236881007343139684087007440931/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^3 + 8580154135355638514705464153911132484300761003459\ 371899475820765217543331881022370114879947203931/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^2 - 9517008343588382954528928003537627174904\ 14487638741126445911754928067896352037840315398212663871/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12 - 1027303595406835070394379763956857\ 904412769504894190745131973611204562182157505688699538738490834/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521, c_0011_11 + 17758030624374151050900911464845909896470988880989158794363\ 6292769145330414031503469780412779/69441666555439477447460477001535\ 73085233575043500223864023559572104770953866608811548727994725521*c\ _1001_12^30 - 18029176904562008947532584661264566055486893043814527\ 37130934698546172238417700349190141250108/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^29 - 4451828023250401192321189444140845009306283918\ 430589105881332736902983490953119040914092111341/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^28 - 157456119750574670875799534828076209493\ 44190301279651637213427724791380609701031625508828922155/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^27 - 5273057176036751621390544818699985040386964206599823006069341237378\ 926012003285928869027572177/694416665554394774474604770015357308523\ 3575043500223864023559572104770953866608811548727994725521*c_1001_1\ 2^26 + 156060260398299890821677434477637867788417656451397319272054\ 14556778567794359291385756014028163/6944166655543947744746047700153\ 573085233575043500223864023559572104770953866608811548727994725521*\ c_1001_12^25 + 1114492197192568119886326561413618417902206063766738\ 34686979491382168455883519890140933783452177/6944166655543947744746\ 0477001535730852335750435002238640235595721047709538666088115487279\ 94725521*c_1001_12^24 + 2316430189911141631328322573128236207575290\ 47764882607028613988663932224703245006454983082921398/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^23 + 3609577554421154554663600807044649\ 56693670320648651921099139865242044819507164705346981607721267/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^22 + 6208143984070203259301338579954271508171428138125152087882664587702\ 253409922009757247887162668/694416665554394774474604770015357308523\ 3575043500223864023559572104770953866608811548727994725521*c_1001_1\ 2^21 - 836702762743507112655132404847820447384349190133759839943416\ 271867280630405286786139212185758653/694416665554394774474604770015\ 3573085233575043500223864023559572104770953866608811548727994725521\ *c_1001_12^20 - 238403173724164169584214354008158783451820693400702\ 6818225686334898415143689310203549972703054548/69441666555439477447\ 4604770015357308523357504350022386402355957210477095386660881154872\ 7994725521*c_1001_12^19 - 30025403204451269952937352890182024373320\ 32401624510081017669988454305902739632291544363076820292/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^18 - 2091657555765148607674100967261405568883075465387942460772636230576\ 188100444693975777700815356363/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^17 + 162657649333637682848290529878212973241515126775213582967\ 6613627912533868220101664636039198289833/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^16 + 82564680949022492886790835961663148058250869363\ 30400559327093310696376331229601051901839127197923/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^15 + 1209291207063051809892287714452998070\ 4567149805248574654735158922952039006497469013102511835506284/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^14 + 9089429671557494815733192072608142736413151148342148866767566889363\ 405701713362326943558213360202/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^13 - 544499408942812830709648740877495176470634569157012907743\ 521803865047520096489086780948230247137/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^12 - 124286481678498253916254332605051384455268579971\ 78485585618087592686881997885647133827372184411173/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^11 - 2085017076574200192559643481518525106\ 8868799783861231242027223807583634432176282592323306428977566/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^10 - 1339302657197719945972325503207493876461292532733772107845536882244\ 5527716446769241886038345433289/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^9 - 421974781432752388342275544636207580343696264902814806924\ 1616538429521889405471102187148804106216/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^8 + 397486605372956296897846424219918942754411589936\ 3372503963820291308223095492928127782166116988600/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^7 + 159045092494013328147787003525744768497\ 8065267208681977774380656607610346790834789753844532884122/69441666\ 5554394774474604770015357308523357504350022386402355957210477095386\ 6608811548727994725521*c_1001_12^6 - 1294161643362155262030990123430269773959177643767243054434528264532\ 024933368219674419016981716831/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^5 + 4534694973808918823326709476380513238579608758741988877269\ 061708049028169286345099752112562953079/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^4 + 3645850833232421112853694624718154199660745674108\ 292602151185794917671040404812326413368696622302/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^3 + 8075249715866671336987409978915664833376\ 671031451086983288969455297045321083757150532378503111889/694416665\ 5543947744746047700153573085233575043500223864023559572104770953866\ 608811548727994725521*c_1001_12^2 + 3020812149325818704038306357771564973917549473242372236625516391819\ 692345476647344334386658296901/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12 + 569037012222113138353888324223303463793847293027621007034191\ 1605232161872475978176343475245890945/69441666555439477447460477001\ 5357308523357504350022386402355957210477095386660881154872799472552\ 1, c_0011_3 + 875096053588303751347580983663617971658924257120292966461172\ 825599687634819611767951556467668/694416665554394774474604770015357\ 3085233575043500223864023559572104770953866608811548727994725521*c_\ 1001_12^30 - 890355048067185449059036378994421365421703373186295140\ 0619687180562719487012018701561940152479/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^29 - 22157453535149285019224009449842447835964894909\ 402939912260650542068212566766561794403003087587/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^28 - 725193575331243233708515935612844789615\ 82096639790916465971997442886852851423980726632019264153/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^27 - 1832251863218603098277107054305626873375869084508087634897354592871\ 0820769273662454693311629220/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^26 + 10494722063320728578965611426089838937177586885754027382880\ 2099122594107507243642871749915489878/69441666555439477447460477001\ 5357308523357504350022386402355957210477095386660881154872799472552\ 1*c_1001_12^25 + 52636730715899546372671331284147281759121585768456\ 1458490828942394589632653614398046368403064217/69441666555439477447\ 4604770015357308523357504350022386402355957210477095386660881154872\ 7994725521*c_1001_12^24 + 10883637663318856737818395944662057633379\ 54518112387973316996645808143859918393968427241574798813/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^23 + 1532985546416596120056629807566578480295688869782863013637066123127\ 381498173373824428468529662601/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^22 - 317310180998368449608194751191259157286444495192625361757\ 807153414189783967280264220378875995516/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^21 - 447695610140158895675706554907666064749267900209\ 3618530221946012868493636961532391458311461452936/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^20 - 11009701427680748491017528091668130293\ 980961885196437156561792370262632075896541390154993514391180/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^19 - 1270679145350687855809225164105702164194948906511737279941374766880\ 8170251950731269826876119894728/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^18 - 62424080709171168244596272565924304139901995721043958235\ 55262652805655593631495749555538225389724/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^17 + 1059489681478505329937027844139584667306658695\ 3729672107364203820075524335611161189556496230804253/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^16 + 39753788079589410595553335189367851\ 935464202581970056683370912999235537908814213284081677425313826/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^15 + 5185788061736667893122085309753887425246934148981114132688409656373\ 4915499127160700920363323619157/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^14 + 27723100251290175522358499826965353615579346455259664617\ 628431127458447270796831666665770738932277/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^13 - 150845040703951284995686806031334195769204142\ 14139053601974468917483835984289385706572712217721755/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^12 - 6341207193216712418584568289643076\ 2961550860029194964281311063513100071120679782365810745346485683/69\ 4416665554394774474604770015357308523357504350022386402355957210477\ 0953866608811548727994725521*c_1001_12^11 - 8765861026805581569475102926638821460730213827359872682695546431737\ 6690778974291429837690942424339/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^10 - 36238401761685324775263405677832177743787310799332846256\ 057296493102569937503079613905176421926902/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^9 + 5294879361089689904653102750819658192276413216\ 292422371108892495767772312351833158629674524562685/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^8 + 1698305119302038961673299032227714137\ 6517863173008184633060571228539136425256731858687211466877422/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^7 + 8724972362394301029197049881746502248074371100042337866110846420994\ 631373288964268262451453724520/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^6 - 1897981241783022503895996970867327923727577906263465470461\ 7168193736078269560699486268984409428254/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^5 + 119988372725477918951804539973414620968455484838\ 09508987235054089423882289387715754366236201294704/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^4 + 13548461255617379539207236247636427588\ 023955825077631325157133638298273199200834787938751784189393/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^3 - 7305987242201997332239262434562241671106304830769788916119912195006\ 428930644005952726307303159018/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^2 + 2425454901648016554614298609015929359686659139353600910643\ 543079211425621518166225269212288657186/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12 - 202786802777064900969895428940048184794474751085903\ 912489570509764709691012745908914022710583897/694416665554394774474\ 6047700153573085233575043500223864023559572104770953866608811548727\ 994725521, c_0011_4 - 537903077571634910533750206054855068042863905908247164506345\ 106676322211866957425542147997447/694416665554394774474604770015357\ 3085233575043500223864023559572104770953866608811548727994725521*c_\ 1001_12^30 + 576822255140630669651633584399902047175154132454033756\ 8560011696624318899648709078242047175404/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^29 + 10375549220381947132644754616990119861651736689\ 872753771812619724179807459229269718642085098677/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^28 + 399358754318312195251842766190575362225\ 74273254017826020862996492919048338836499927431340901762/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^27 - 1215869118747496701230948189432806018144887301558922192306867462470\ 3376279732630219639044984569/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^26 - 52554132200138973352708076690213499439972201546794112879533\ 271059551077926326448311646169671926/694416665554394774474604770015\ 3573085233575043500223864023559572104770953866608811548727994725521\ *c_1001_12^25 - 303416065978171866642997140034546559531367258485706\ 822352965256377491812804491354729406131581721/694416665554394774474\ 6047700153573085233575043500223864023559572104770953866608811548727\ 994725521*c_1001_12^24 - 466794399961960329187497227576492864494511\ 336125897054201030003300953034435024411089832966737515/694416665554\ 3947744746047700153573085233575043500223864023559572104770953866608\ 811548727994725521*c_1001_12^23 - 686004022489792657001828791427683\ 129592306805289630430979532831813420490819657902476229278093266/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^22 + 6177372670659720286738306315275081881200401743636290608600293755877\ 57401853883916299898446817475/6944166655543947744746047700153573085\ 233575043500223864023559572104770953866608811548727994725521*c_1001\ _12^21 + 2291759699787787925218061064476274777563817761995924551254\ 111952561338725594239205367226434280925/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^20 + 535132653691647305720919418074150230476692578440\ 6249317724814819118279568042388409513505050785864/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^19 + 39831603120231462009756943513934793680\ 26585420483321717281981150420815002609022821314551698264814/6944166\ 6555439477447460477001535730852335750435002238640235595721047709538\ 66608811548727994725521*c_1001_12^18 + 1063835698191453279684708682686965651377009050715334982238448285663\ 915679323065963735156818900259/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^17 - 752292461104682902695174477931743723675256883547553833932\ 0175165660119227148254491176215105897065/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^16 - 16944392112982819289346913008257171154845482852\ 195825535282062434661336197883249664629817161200805/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^15 - 166828765388511977984811019515522434\ 75122659935651399746190228701724629686846912576336873774705491/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^14 + 4751724759232197570749712948395247168293713554013049343232742350199\ 29374881153587753469035744328/6944166655543947744746047700153573085\ 233575043500223864023559572104770953866608811548727994725521*c_1001\ _12^13 + 1567698126534334932810689549550584520043214954542520458719\ 3364034622985603669929283052643868389661/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^12 + 24936404408025007343534571848411804313566259812\ 836344681497460072976659980562737913682560395449277/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^11 + 172081681061279628893451943099745000\ 64249801269277375128257644509351078005231391661361051760103261/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^10 - 1550108735755490447088949143527781370930552542175645371406842067266\ 2389986595789532827180825621945/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^9 - 189061332949347053514900304725110279800102363381466433623\ 17188803163149873445531521391477683874227/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^8 - 24951277021637049428264889582039455085564000096\ 93721765346313380643540696992058752112930509494005/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^7 + 33078581968558026592460866329966100641\ 494706987448643218772970792352356153146270786021294478235371/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^6 + 3130578636700739285367163017798388554168329920003109677459915680569\ 5432066257359353860377101982482/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^5 + 747209379545553639760395188837982038279039499837036348194\ 6751984849470453008580568532012032948474/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^4 - 194850837947440499867937755272597561400663876771\ 8124014033814424835054898902662719239419074315182/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^3 + 694010203531816058824230792622002092822\ 9651773260161913565094196525100373334406507964724435511560/69441666\ 5554394774474604770015357308523357504350022386402355957210477095386\ 6608811548727994725521*c_1001_12^2 + 7605922468674633082249423163663119905060364669098965111675941871687\ 858444022409567152712691041693/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12 + 660695848706237623296795796493735987323199444287052392955135\ 4836095061120745128049343127776972253/69441666555439477447460477001\ 5357308523357504350022386402355957210477095386660881154872799472552\ 1, c_0011_9 + 101556686369406350937611017339105902038565720016664563656019\ 8205026935003728524255063269191482/69441666555439477447460477001535\ 73085233575043500223864023559572104770953866608811548727994725521*c\ _1001_12^30 - 96682800894091778856966250876378890429033809043073656\ 88494813023971199481811034053913688804308/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^29 - 3219525319154032285883046673927720608308098808\ 9568905179655295161515367369327111804214307084784/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^28 - 10341286051488394437069618984561283763\ 5621514505103235661764629878738168624335763275722866794216/69441666\ 5554394774474604770015357308523357504350022386402355957210477095386\ 6608811548727994725521*c_1001_12^27 - 8743343613607075115575698288499868104057176001076995334233073786847\ 5677149059532857977426608977/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^26 + 72401756994970613960521432563359639286903557034308032228956\ 899276686734215774272034993493378821/694416665554394774474604770015\ 3573085233575043500223864023559572104770953866608811548727994725521\ *c_1001_12^25 + 642734135968152955761051223809980786861109474639986\ 952485415251233437980732224081646822758144489/694416665554394774474\ 6047700153573085233575043500223864023559572104770953866608811548727\ 994725521*c_1001_12^24 + 166266286626619937442919619609311841626541\ 1787598978357338873032283150020194722185652568404883055/69441666555\ 4394774474604770015357308523357504350022386402355957210477095386660\ 8811548727994725521*c_1001_12^23 + 2791872908714072098789779443729703145138756055235041177484128639493\ 380099602536454220067170208454/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^22 + 139179729563000544516413879313080407679845590743644522452\ 1927925613434263740393083055686843863801/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^21 - 42985444144173308794744648155352759715594722938\ 01816699105693974897461952404885854508975945531566/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^20 - 1514041239776217390163598607361788066\ 3682431884981518256533367810746094367840276364477177744728678/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^19 - 2390101948633200226894124068457287931974104742475808350988219680923\ 4202338187151700620869943910690/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^18 - 21844265098078306903146268639603232027970768183497497627\ 786988397065784073736347681234142051855994/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^17 - 227254329802231953102830643847977699730451983\ 5603131909121099470200234207632575338446399876958845/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^16 + 42709362317948717550751736043726884\ 248171223493579793116697194888551643913203712282747109421408859/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^15 + 8406725520924679646836953121259537242414819942050250536026756815377\ 3839268016258360281072275318996/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^14 + 81410925732732237304342119447169090477548358691434291234\ 639942105352424035940060771687222756898980/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^13 + 348784548329644008311804131299181717255428538\ 07491506670756095697477168615283412292559160214897109/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^12 - 4446397927746160237700031313581896\ 6121823797426755683863103077205342555077393792935209005577890678/69\ 4416665554394774474604770015357308523357504350022386402355957210477\ 0953866608811548727994725521*c_1001_12^11 - 1200376703939460778560320615925630615286151601808370093151447420542\ 19676936727451719709895792378549/6944166655543947744746047700153573\ 085233575043500223864023559572104770953866608811548727994725521*c_1\ 001_12^10 - 1087424491152984184299685572799442347820598472111865705\ 33645119198185270387347266418300241193988989/6944166655543947744746\ 0477001535730852335750435002238640235595721047709538666088115487279\ 94725521*c_1001_12^9 - 60397697376038949040740561521282715709602495\ 167889998878124758372897388687768977591852997955898351/694416665554\ 3947744746047700153573085233575043500223864023559572104770953866608\ 811548727994725521*c_1001_12^8 - 3213257725963935549337732830232170\ 9560158717676044815044865617595596832128435830028442998910417814/69\ 4416665554394774474604770015357308523357504350022386402355957210477\ 0953866608811548727994725521*c_1001_12^7 - 2098496551524875490819468566133533258825402055122763703416105821939\ 2816717346491684788135517107023/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^6 - 443196372234612121984827682848834093103168061520318776855\ 30555993555803037928749291854800706326245/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^5 - 16943863496893653317341749764686706950923667279\ 592875144725918241329741867077372919142237066058806/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^4 + 7752493635220501916453859812544490434\ 590848197162285970949722494697631703265239461526726689621408/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^3 - 8745930858923953982637234472519499352406925560676882459772173935893\ 445475204103797822222217978959/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^2 - 1463829250769789435861907188853034150533285525419139063528\ 444105973048567901515193884052141817978/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12 - 198101994179379784008983208794811351155352335213252\ 8850122652756541547931563055173080727375089078/69441666555439477447\ 4604770015357308523357504350022386402355957210477095386660881154872\ 7994725521, c_0101_0 - 424683880207104772963637165166806333929208043087184913448634\ 903944731810258311641313888647601/694416665554394774474604770015357\ 3085233575043500223864023559572104770953866608811548727994725521*c_\ 1001_12^30 + 490383607838599901318123338290639332493707482864688056\ 1223987361863682613173059139547047559547/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^29 + 39905302356125199911864020028740749828899180164\ 63343971287879593110752709735002498168958729661/6944166655543947744\ 7460477001535730852335750435002238640235595721047709538666088115487\ 27994725521*c_1001_12^28 + 2927991259662067614114310726691976185979\ 4686879554048357244109084853356848874396246974369004044/69441666555\ 4394774474604770015357308523357504350022386402355957210477095386660\ 8811548727994725521*c_1001_12^27 - 2293213083714081174979145309798406640324249541450939195166564963986\ 6347281885806809648965861920/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^26 + 30064153770179642901571578252467373585217199129241283323717\ 97818094418025382328695452548208340/6944166655543947744746047700153\ 573085233575043500223864023559572104770953866608811548727994725521*\ c_1001_12^25 - 1931917082011515607794535456831402079387150080551735\ 51506399143588979137109674900488107994416261/6944166655543947744746\ 0477001535730852335750435002238640235595721047709538666088115487279\ 94725521*c_1001_12^24 - 2423148386136131929773028006007322997218309\ 51724457211822484486533288047778379049946291257117726/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^23 - 5079085474567055379378737504062933\ 63146432520120841042116590929664253162616312782955041190171230/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^22 + 3540858518686997756883997663339933684652846193542437788680998111966\ 77936600700108803712530270613/6944166655543947744746047700153573085\ 233575043500223864023559572104770953866608811548727994725521*c_1001\ _12^21 + 6647123653858426214453447742822517119263448728268468014869\ 36009475790757220271558689184982051004/6944166655543947744746047700\ 1535730852335750435002238640235595721047709538666088115487279947255\ 21*c_1001_12^20 + 2967386383555305405975491998061671983063152534225\ 250196418394843350359248144875611735240756181382/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^19 + 226700565562166120190330695630609942705\ 9589523778146407772906506260652305671742740671008868708099/69441666\ 5554394774474604770015357308523357504350022386402355957210477095386\ 6608811548727994725521*c_1001_12^18 + 3861538183452092235130301790418532087638015535291724374346699381328\ 822113894407723996705860577665/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^17 - 375312154140050694364727133616966802252012733797369408388\ 588945294052126372163849830071458757721/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^16 - 683602425639314231098770740558235222056880173442\ 1397845974201429223262002192551243126505529494821/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^15 - 85997665377700817413011554458870661809\ 60232427535907707084165784986407419211949103480863793102340/6944166\ 6555439477447460477001535730852335750435002238640235595721047709538\ 66608811548727994725521*c_1001_12^14 - 9430127736501380066273257058491010130966876187206562807024923361977\ 370556749311326324626131569578/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^13 - 121645367163368228794793375199396446104388856099810283531\ 17886331749201637071183422998379057167174/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^12 + 2168025892899175496896982616289524523373277538\ 397123022242982781709103570583749949368934797620715/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^11 + 125655685439300525815450242497242726\ 17374565692588506162568306706202966527904452285524713606352427/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^10 + 7803887151448870295892278797247260161213589292936860819858573806778\ 218356327739630372224273023266/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^9 + 3204956535225392317105492119066337190251145663048347425369\ 3698349615080634558790825236212093096858/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^8 + 109450193513603766719794439355357484004835667056\ 69900024280234330991908755592718482777246038960222/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^7 + 62540890699000488322464933708619754515\ 30458465333095198870850110618109586420938485628632935352435/6944166\ 6555439477447460477001535730852335750435002238640235595721047709538\ 66608811548727994725521*c_1001_12^6 - 1676683859181014102311595272948077094461500921767458465835994160639\ 038566042380860552961614491227/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^5 - 5039811919509103156210953755255290669571187119479429059642\ 240966066576685626723795209318433895585/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^4 + 2371831469449432436575884630589491552507966411535\ 5670443649694225436101954087614330835754045557656/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^3 + 107359297392248006821254714255518098378\ 85323234078738604105594054721589818175692518816727949605955/6944166\ 6555439477447460477001535730852335750435002238640235595721047709538\ 66608811548727994725521*c_1001_12^2 - 4079546536213151880491033491787328975077962125841568550664953629814\ 833378341789875991134867475811/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12 + 430153154983197525962666779812154557781898437591152176618118\ 1573736943652221651689029712670242911/69441666555439477447460477001\ 5357308523357504350022386402355957210477095386660881154872799472552\ 1, c_0101_1 - 546572734059427017074472339437019236948063309709099692133510\ 861883241014156560897816754024358/694416665554394774474604770015357\ 3085233575043500223864023559572104770953866608811548727994725521*c_\ 1001_12^30 + 537332943195075941521580804244154553888204372414303974\ 1301019550223488328303292979085314881376/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^29 + 15169505859722788629287331403095937778187672214\ 163475395716820639304906880223650770612491054228/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^28 + 558392495438849384571322013965671433829\ 29119814376440906416278214156760105245639673282254250985/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^27 + 4248373003937199581596246622524350304339028646867729540921147394262\ 0418804774421121037688487080/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^26 - 84732508603730067626779791867587846929917672669794352665319\ 28619311222043840219391695390993699/6944166655543947744746047700153\ 573085233575043500223864023559572104770953866608811548727994725521*\ c_1001_12^25 - 3246101710071813552147580663735030642944741924248355\ 89269815470146088086568796095015653579668990/6944166655543947744746\ 0477001535730852335750435002238640235595721047709538666088115487279\ 94725521*c_1001_12^24 - 8348836558527577199857942609563578555075761\ 15753790866016712534130700271170093124194439816200551/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^23 - 1538055910085360775050125876457121\ 991367150167345388122094238669533638917520296960573834915750550/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^22 - 9089875222987061924906905191605366335971082133616973846065541184171\ 95462388564643799550428001699/6944166655543947744746047700153573085\ 233575043500223864023559572104770953866608811548727994725521*c_1001\ _12^21 + 1569030887674334359189390336896489442326418703302253199525\ 867716238481642558548478711214484685252/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^20 + 753405763771355183893789272705962292600429125672\ 9110335572338291732363172258533172659434048651983/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^19 + 12622283120709366060388937311886219074\ 141035113551815307576944108753579406103894535455451613217513/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^18 + 1410838018041874441027972234793669182839696279462754529061923072617\ 6879720036754255056263445259405/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^17 + 49908798580916911042604119879879676500763546061035843881\ 23118693029768189794405204103565880114299/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^16 - 1818036613003162389897417372714251813740516177\ 9142861920961466538778126471116585251203587855083942/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^15 - 42129869280511704527249837280719205\ 090923057925983531706796888408231268633634770887727312561854187/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^14 - 4965651197043566830576281127085296969857461261348003324375766440401\ 5576167263183346248122674230196/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^13 - 33692463812646152707275424350665403368618100089688040516\ 721997842569353436721684511104890524388722/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^12 + 114750452886418856957331353458942442445489883\ 92125448959374504275313901640673712699807504038003893/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^11 + 5764465460368577018337997825954293\ 5312407890910058957514396556443964775738056531860354019275065712/69\ 4416665554394774474604770015357308523357504350022386402355957210477\ 0953866608811548727994725521*c_1001_12^10 + 6422556262924288853552531963930448294518388818826121388107357786818\ 5672728679940074367757450415456/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^9 + 552743941798538710914879166748377372875144041618387853377\ 00136835953488389064294904055114332867162/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^8 + 26882388254891328285339328589027266302837519158\ 810056663382737209306896027344205404041065100669074/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^7 + 1354760776302478743462677524247814269\ 9427820874758054202110010343417530148689202149704799972555839/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^6 + 2687328278409087610725282235379739309830156576199673158848930571079\ 5765487092762664087248669974325/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^5 + 135018627109016162400834229997842649413482346964004984106\ 39948926658311044251320420184868721355535/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^4 + 11473127561772462361182038209923858428476609149\ 210335116514843172631980620532368634078802936814975/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^3 + 7137224240946203947559444769837584626\ 406603717897585217409065493078893892753631860884687934110294/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^2 - 3328861335804735548151111460122087745344395250882127101056320050396\ 558310807657560441442688407921/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12 + 596073823381874212437149345295158845414848197754478019168622\ 8897457047512340626063658433064837195/69441666555439477447460477001\ 5357308523357504350022386402355957210477095386660881154872799472552\ 1, c_0101_10 + 87509605358830375134758098366361797165892425712029296646117\ 2825599687634819611767951556467668/69441666555439477447460477001535\ 73085233575043500223864023559572104770953866608811548727994725521*c\ _1001_12^30 - 89035504806718544905903637899442136542170337318629514\ 00619687180562719487012018701561940152479/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^29 - 2215745353514928501922400944984244783596489490\ 9402939912260650542068212566766561794403003087587/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^28 - 72519357533124323370851593561284478961\ 582096639790916465971997442886852851423980726632019264153/694416665\ 5543947744746047700153573085233575043500223864023559572104770953866\ 608811548727994725521*c_1001_12^27 - 1832251863218603098277107054305626873375869084508087634897354592871\ 0820769273662454693311629220/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^26 + 10494722063320728578965611426089838937177586885754027382880\ 2099122594107507243642871749915489878/69441666555439477447460477001\ 5357308523357504350022386402355957210477095386660881154872799472552\ 1*c_1001_12^25 + 52636730715899546372671331284147281759121585768456\ 1458490828942394589632653614398046368403064217/69441666555439477447\ 4604770015357308523357504350022386402355957210477095386660881154872\ 7994725521*c_1001_12^24 + 10883637663318856737818395944662057633379\ 54518112387973316996645808143859918393968427241574798813/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^23 + 1532985546416596120056629807566578480295688869782863013637066123127\ 381498173373824428468529662601/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^22 - 317310180998368449608194751191259157286444495192625361757\ 807153414189783967280264220378875995516/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^21 - 447695610140158895675706554907666064749267900209\ 3618530221946012868493636961532391458311461452936/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^20 - 11009701427680748491017528091668130293\ 980961885196437156561792370262632075896541390154993514391180/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^19 - 1270679145350687855809225164105702164194948906511737279941374766880\ 8170251950731269826876119894728/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^18 - 62424080709171168244596272565924304139901995721043958235\ 55262652805655593631495749555538225389724/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^17 + 1059489681478505329937027844139584667306658695\ 3729672107364203820075524335611161189556496230804253/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^16 + 39753788079589410595553335189367851\ 935464202581970056683370912999235537908814213284081677425313826/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^15 + 5185788061736667893122085309753887425246934148981114132688409656373\ 4915499127160700920363323619157/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^14 + 27723100251290175522358499826965353615579346455259664617\ 628431127458447270796831666665770738932277/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^13 - 150845040703951284995686806031334195769204142\ 14139053601974468917483835984289385706572712217721755/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^12 - 6341207193216712418584568289643076\ 2961550860029194964281311063513100071120679782365810745346485683/69\ 4416665554394774474604770015357308523357504350022386402355957210477\ 0953866608811548727994725521*c_1001_12^11 - 8765861026805581569475102926638821460730213827359872682695546431737\ 6690778974291429837690942424339/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^10 - 36238401761685324775263405677832177743787310799332846256\ 057296493102569937503079613905176421926902/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^9 + 5294879361089689904653102750819658192276413216\ 292422371108892495767772312351833158629674524562685/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^8 + 1698305119302038961673299032227714137\ 6517863173008184633060571228539136425256731858687211466877422/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^7 + 8724972362394301029197049881746502248074371100042337866110846420994\ 631373288964268262451453724520/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^6 - 1897981241783022503895996970867327923727577906263465470461\ 7168193736078269560699486268984409428254/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^5 + 119988372725477918951804539973414620968455484838\ 09508987235054089423882289387715754366236201294704/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^4 + 13548461255617379539207236247636427588\ 023955825077631325157133638298273199200834787938751784189393/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^3 - 7305987242201997332239262434562241671106304830769788916119912195006\ 428930644005952726307303159018/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^2 + 2425454901648016554614298609015929359686659139353600910643\ 543079211425621518166225269212288657186/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12 - 202786802777064900969895428940048184794474751085903\ 912489570509764709691012745908914022710583897/694416665554394774474\ 6047700153573085233575043500223864023559572104770953866608811548727\ 994725521, c_0101_11 - 46446963077747515735254976630133609262537948108691855076719\ 8596641358881209228796632096817594/69441666555439477447460477001535\ 73085233575043500223864023559572104770953866608811548727994725521*c\ _1001_12^30 + 44119843928796426394329000920777221968373643060889768\ 57228403334152383060455804949771129935562/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^29 + 1418571421272479332911928876470690964742270533\ 7868140454730793847725074476371475692999843221148/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^28 + 54258385346317713417684332106779781152\ 789474398522306438275748658137285167326418000362829565864/694416665\ 5543947744746047700153573085233575043500223864023559572104770953866\ 608811548727994725521*c_1001_12^27 + 5445364071425372216609491632192048440302417486579404256056141811761\ 1998548862430036705667245154/69441666555439477447460477001535730852\ 33575043500223864023559572104770953866608811548727994725521*c_1001_\ 12^26 + 17849787824563128339270040870745390158434928810996420712956\ 790964383119230029195620146258117962/694416665554394774474604770015\ 3573085233575043500223864023559572104770953866608811548727994725521\ *c_1001_12^25 - 295296301143528408434686447195206481079591650119150\ 456082538154210408886234888539685017107609994/694416665554394774474\ 6047700153573085233575043500223864023559572104770953866608811548727\ 994725521*c_1001_12^24 - 825200820157251820300705794801471038712005\ 528280240011583719297168529568268923373292243327761594/694416665554\ 3947744746047700153573085233575043500223864023559572104770953866608\ 811548727994725521*c_1001_12^23 - 165473913445155172522865619609437\ 5429546958608295120717050050068127148091939251631348935554755256/69\ 4416665554394774474604770015357308523357504350022386402355957210477\ 0953866608811548727994725521*c_1001_12^22 - 1325978376829029979806840607196116753822397368659313541081485617087\ 460216223875498017903721348395/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^21 + 974923368271295348678834430609856950408221739066778705328\ 303213402666553538517467874881283941928/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^20 + 734302946925390749084953963446033926054732947985\ 6196222467845674947327716923195292254042564083736/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^19 + 13810723113208426237193284445580350156\ 982131010000377003997058096029781063016990052757520509252547/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^18 + 1719417798927120369979612971704589735996793397569144116815601385459\ 4718389469853911309582928166275/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^17 + 84034303356282905858625455902558256234581601291879318963\ 65966627079599654450452734569842664969577/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^16 - 1568496191206940560278966476303808724067572309\ 5596793772163967845785974722455840344612980915865402/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^15 - 45455535801300712066106272324179835\ 485516559347996966816123254527166005572118874362871370357912084/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^14 - 6111152007470382255250234215426359768002397192070026646907332610951\ 3210005552081882612190419859438/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^13 - 44499412938263083448991679216130968557669275385371127306\ 871113604240924031015911166023968917394140/694416665554394774474604\ 7700153573085233575043500223864023559572104770953866608811548727994\ 725521*c_1001_12^12 + 614823992446365513134249482680583747106734341\ 5899471020992889651521705431165728360812685139989462/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^11 + 63371860301707537812379773244373744\ 886197520004929746768338507831233828961409011845916082179029567/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^10 + 8307471843085387121716513996318097625156287755258543471221982500781\ 3855828052693951255413799875437/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^9 + 677507131417088336877488253650593674267162170469840572980\ 53685219406250600178969827869757587604846/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^8 + 22086132784017687273386115458134509396880594958\ 023314614239356944429029970265828580095134237660362/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^7 + 1081495320756853017212720695152717967\ 8597918545648965817529237997544376765129949752197343846906302/69441\ 6665554394774474604770015357308523357504350022386402355957210477095\ 3866608811548727994725521*c_1001_12^6 + 2185875735200544231566567915460771403978325749306902866717706877545\ 5059702918846751122289927775204/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^5 + 283920642980588891203056446610436900779712273007277760473\ 45516385388021768167785332383059116535754/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^4 + 29221403104066232232692869807376553140342077078\ 533302206254093857686720998499850928840439918098433/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^3 + 1596456637597267200045111785268163602\ 009904701853352308930188735671421124974465284568445696432468/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^2 - 2764861365842548043488843628970026511525075978386079166165830059920\ 571083196632360668289043569986/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12 + 309799939117619686976179919385935525561745359969407664037993\ 7529338539161336872833550108017532934/69441666555439477447460477001\ 5357308523357504350022386402355957210477095386660881154872799472552\ 1, c_0101_12 - 30710240829770834171328449748322208662167026010404320243705\ 3068981085503786325861691784344704/69441666555439477447460477001535\ 73085233575043500223864023559572104770953866608811548727994725521*c\ _1001_12^30 + 32386243337234297306238495170366876408537047567434776\ 17618642662971417553847866151427050418013/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^29 + 6392356683275858793183706388714015961319681870\ 238983589216245493261475813750031726232841089871/694416665554394774\ 4746047700153573085233575043500223864023559572104770953866608811548\ 727994725521*c_1001_12^28 + 252103351574101156808942492469148437125\ 98579262554306507905683293444397378902079216359789751530/6944166655\ 5439477447460477001535730852335750435002238640235595721047709538666\ 08811548727994725521*c_1001_12^27 - 1402233056243265109987982275158932318348246519665015445664082660967\ 480183094752959417099413764/694416665554394774474604770015357308523\ 3575043500223864023559572104770953866608811548727994725521*c_1001_1\ 2^26 - 279689701292119597245279284869046772256586544774052600982988\ 23637154930751951614543146501284294/6944166655543947744746047700153\ 573085233575043500223864023559572104770953866608811548727994725521*\ c_1001_12^25 - 1993629117442434245245007172657300111107911393452248\ 82852027133824173759622265105988832269762007/6944166655543947744746\ 0477001535730852335750435002238640235595721047709538666088115487279\ 94725521*c_1001_12^24 - 3430151020649427615916268399259334241919990\ 29399411002141542732323467113651754059038599760809339/6944166655543\ 9477447460477001535730852335750435002238640235595721047709538666088\ 11548727994725521*c_1001_12^23 - 5227962270538400418131247950480314\ 45442837187491706437835387049119349469718839336057531186579675/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^22 + 2552451037539011974184804112725429253001064695304777759274499327601\ 29820118872718547069546075773/6944166655543947744746047700153573085\ 233575043500223864023559572104770953866608811548727994725521*c_1001\ _12^21 + 1545526372122240740215339402423081205656448843240191727787\ 561094775720318890696125655152517284215/694416665554394774474604770\ 0153573085233575043500223864023559572104770953866608811548727994725\ 521*c_1001_12^20 + 411919860649688917569997158009024705834542002209\ 5564100915028268718158017449428569974618662633429/69441666555439477\ 4474604770015357308523357504350022386402355957210477095386660881154\ 8727994725521*c_1001_12^19 + 42061996068518837128923432429330264710\ 39792314871657344571023237312314907387057735860586968320505/6944166\ 6555439477447460477001535730852335750435002238640235595721047709538\ 66608811548727994725521*c_1001_12^18 + 2220225126695321924884204828530560044322442023957575745229996668044\ 568136939105329981644478769669/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12^17 - 571778428066012796085984709851729815895890387508441573647\ 1444258457146831470180928102136237404598/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^16 - 16459997515218802226694515720143638285829584364\ 162951038900110278361909097378933012051015033399430/694416665554394\ 7744746047700153573085233575043500223864023559572104770953866608811\ 548727994725521*c_1001_12^15 - 215908109692942431981143762454649072\ 86803585227952260715539860197608157409150895615990704202326764/6944\ 1666555439477447460477001535730852335750435002238640235595721047709\ 53866608811548727994725521*c_1001_12^14 - 1215766629800894319054419835819650578010486174437449652263370539701\ 4123547723893129502760587607427/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^13 + 79530098606060244144875327964224520270319933531617466927\ 82594822104573352321125997314755484216305/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^12 + 3453012609569645972704223253432524302192108594\ 6574265802958005644330700532972590540069056160849116/69441666555439\ 4774474604770015357308523357504350022386402355957210477095386660881\ 1548727994725521*c_1001_12^11 + 47463954533042934123532956745944490\ 438356655425747053687737061123338618948598706232716799843907429/694\ 4166655543947744746047700153573085233575043500223864023559572104770\ 953866608811548727994725521*c_1001_12^10 + 2797873505439072490844329818688322331608284509493900670279199665200\ 6136144062270627170259216498284/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^9 + 163983019649901818578867487223807186929036780021732110214\ 4098291215513095987369125693068184567283/69441666555439477447460477\ 0015357308523357504350022386402355957210477095386660881154872799472\ 5521*c_1001_12^8 - 277045013296886129785024747869240206643344506615\ 35244103305324033168581055699208693774538534810848/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^7 - 29201397241519597699478439687722620058\ 083099356514991383936185375910929545967271982195831341121023/694416\ 6655543947744746047700153573085233575043500223864023559572104770953\ 866608811548727994725521*c_1001_12^6 - 2166411328693005752499846018752441004505405231439539692621733445946\ 4896292705598439190384181073221/69441666555439477447460477001535730\ 85233575043500223864023559572104770953866608811548727994725521*c_10\ 01_12^5 - 136353929479917211170943360372000481655819540046995249762\ 47560691209118549376549886988684363092824/6944166655543947744746047\ 7001535730852335750435002238640235595721047709538666088115487279947\ 25521*c_1001_12^4 - 35222203773055534733355357917787985367471130871\ 55334224581579943923631775918626297351726871538095/6944166655543947\ 7447460477001535730852335750435002238640235595721047709538666088115\ 48727994725521*c_1001_12^3 - 55090502456380521257422271703415890813\ 63877480154229185812130240101704971503956479258624972701816/6944166\ 6555439477447460477001535730852335750435002238640235595721047709538\ 66608811548727994725521*c_1001_12^2 - 8304462738340421250379989563194192078940594715657072340169670289439\ 232166926215189886895341285154/694416665554394774474604770015357308\ 5233575043500223864023559572104770953866608811548727994725521*c_100\ 1_12 + 791850973418993310417598822794290944820716359354753314932612\ 800113963205741981902924580350821692/694416665554394774474604770015\ 3573085233575043500223864023559572104770953866608811548727994725521\ , c_0101_3 - 1, c_1001_12^31 - 10*c_1001_12^30 - 27*c_1001_12^29 - 88*c_1001_12^28 - 40*c_1001_12^27 + 100*c_1001_12^26 + 593*c_1001_12^25 + 1330*c_1001_12^24 + 2032*c_1001_12^23 + 214*c_1001_12^22 - 4573*c_1001_12^21 - 12687*c_1001_12^20 - 16588*c_1001_12^19 - 11632*c_1001_12^18 + 5676*c_1001_12^17 + 39983*c_1001_12^16 + 60641*c_1001_12^15 + 42901*c_1001_12^14 + 2309*c_1001_12^13 - 49525*c_1001_12^12 - 87271*c_1001_12^11 - 47309*c_1001_12^10 - 13503*c_1001_12^9 - 13556*c_1001_12^8 - 25122*c_1001_12^7 - 47951*c_1001_12^6 - 7028*c_1001_12^5 + 4634*c_1001_12^4 - 10992*c_1001_12^3 - 1802*c_1001_12^2 - 1418*c_1001_12 - 4237 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.020 Total time: 2.229 seconds, Total memory usage: 32.09MB