Magma V2.19-8 Tue Aug 20 2013 23:49:31 on localhost [Seed = 1074145974] Type ? for help. Type -D to quit. Loading file "K11n59__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n59 geometric_solution 11.89501634 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 -1 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.078869576759 1.100602950171 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 8 -8 7 -7 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485370826592 0.217505946206 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -8 0 0 8 8 -7 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672726764216 0.794711298632 6 10 5 0 0132 0132 1302 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 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.320892028421 0.798346430050 9 11 0 10 0132 0132 0132 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 0 0 0 -7 0 0 7 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.672726764216 0.794711298632 3 1 10 12 2031 0132 2031 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 1 -1 0 1 0 0 -1 1 -1 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.164383486668 1.123030203241 3 12 1 12 0132 1302 0132 1230 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616094206162 1.094254604144 2 12 10 1 0132 0132 2103 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 8 0 0 -8 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577723169708 0.677221506519 9 11 2 11 2103 0213 0132 1230 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 7 0 -8 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856904106575 1.124649049120 4 11 8 2 0132 0321 2103 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 0 1 -1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710496658810 0.461348003231 7 3 4 5 2103 0132 0132 1302 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.117907046171 0.813523810855 8 4 8 9 3012 0132 0213 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.856904106575 1.124649049120 6 7 5 6 3012 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609316551545 0.693899014076 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0110_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0110_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0101_12'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], '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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : negation(d['c_0110_10']), 'c_1100_1' : negation(d['c_0110_10']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : d['c_0101_5'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_8'], 'c_1100_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0110_10']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_1'], '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_0101_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_0'])})} 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_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_5, c_0110_10, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 179499017538742315663780979487991731122065297001539373219786500984/\ 17058212742933209752780724483072861022391407091774282288643284225*c\ _1001_2^30 - 733642671144410592127800769587623226949141098725703011\ 410209076523/136465701943465678022245795864582888179131256734194258\ 30914627380*c_1001_2^29 - 28934067040382477507323121142032027734738\ 21486214394211144038597429/1364657019434656780222457958645828881791\ 3125673419425830914627380*c_1001_2^28 - 1572182800025357105211143142842488663399490652143176539084395360186\ 7/27293140388693135604449159172916577635826251346838851661829254760\ *c_1001_2^27 - 1947393501949185635762694381388763426652909622688309\ 2750287036411503/13646570194346567802224579586458288817913125673419\ 425830914627380*c_1001_2^26 - 1398482201716560907395545184027585128\ 73195684046651639081687015181583/3411642548586641950556144896614572\ 2044782814183548564577286568450*c_1001_2^25 - 9488880782172552685416093307302731481485402702032209464718554994659\ 7/13646570194346567802224579586458288817913125673419425830914627380\ *c_1001_2^24 - 1897797930266423018528712059174032863209278006525744\ 202598679069854669/136465701943465678022245795864582888179131256734\ 194258309146273800*c_1001_2^23 - 2650185608100514763598132893757113\ 61915466702632457836212526367141781/9747550138818977001588985418898\ 777727080804052442447022081876700*c_1001_2^22 - 5093745459311023184934523171765059382942971607628812092686459680023\ 41/1364657019434656780222457958645828881791312567341942583091462738\ 0*c_1001_2^21 - 165385741696292190967330675792050091843623858271123\ 739130358829906272/243688753470474425039724635472469443177020101311\ 0611755520469175*c_1001_2^20 - 753504466858102255058720694904692312\ 3875712714276043784013138339155627/13646570194346567802224579586458\ 2888179131256734194258309146273800*c_1001_2^19 - 1014319881224709932487616689104338541578306871597793160494691503185\ 4069/13646570194346567802224579586458288817913125673419425830914627\ 3800*c_1001_2^18 - 274971384034677589212531012478046981963331969426\ 6195650104367032041731/68232850971732839011122897932291444089565628\ 367097129154573136900*c_1001_2^17 - 5543002582323463405461064337212283484368247267769242835128873916634\ 521/136465701943465678022245795864582888179131256734194258309146273\ 800*c_1001_2^16 - 8375004318501141815304540102359439873293158308134\ 52673288941790811167/1364657019434656780222457958645828881791312567\ 34194258309146273800*c_1001_2^15 + 1909359633426861790890827664615439178562564855469710018267415746968\ 401/682328509717328390111228979322914440895656283670971291545731369\ 00*c_1001_2^14 + 13198263681899186008751305271839500035015636735205\ 14808451307248541261/3411642548586641950556144896614572204478281418\ 3548564577286568450*c_1001_2^13 + 761231868949052411182158371501716\ 1118153345075191712181482833065525867/13646570194346567802224579586\ 4582888179131256734194258309146273800*c_1001_2^12 + 9969663567225499147995347029174937974586238491092282195768680362545\ 09/2729314038869313560444915917291657763582625134683885166182925476\ 0*c_1001_2^11 + 961431914497644898907682535300379248926769372609941\ 879200928525460493/272931403886931356044491591729165776358262513468\ 38851661829254760*c_1001_2^10 + 17174847518080690421671178343943453\ 33584728557022605329113313644916819/1364657019434656780222457958645\ 82888179131256734194258309146273800*c_1001_2^9 - 6288579982636458193256103755864451650186843870574662655582973457232\ 7/19495100277637954003177970837797555454161608104884894044163753400\ *c_1001_2^8 - 70226124924608179877373899733741995959124112974247917\ 1600257927545/97475501388189770015889854188987777270808040524424470\ 220818767*c_1001_2^7 - 15510857508613892077085521409485646257051395\ 69332525010910692675238699/1364657019434656780222457958645828881791\ 31256734194258309146273800*c_1001_2^6 - 1005123238120640299685830675078712149427123910811979143150832840821\ 9/3899020055527590800635594167559511090832321620976978808832750680*\ c_1001_2^5 - 297499249442158916066442649512044977951950134131552503\ 802326791228507/682328509717328390111228979322914440895656283670971\ 29154573136900*c_1001_2^4 + 228680942979936952843555572366281323493\ 5077953747969552889210418611/54586280777386271208898318345833155271\ 65250269367770332365850952*c_1001_2^3 - 6656619432230356312257750218143851066778137432809025997405834917791\ /6823285097173283901112289793229144408956562836709712915457313690*c\ _1001_2^2 + 4662126339437602084617546877649124866917428091961083449\ 135829664569/194951002776379540031779708377975554541616081048848940\ 44163753400*c_1001_2 - 14174503081902878034445872443642020715402017\ 103494706679652515659313/682328509717328390111228979322914440895656\ 28367097129154573136900, c_0011_0 - 1, c_0011_10 - 59364700252645425955544284107763956126980475585758315713962\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^30 - 1972409097047297893501504668763667959097660711667468519746\ 23/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^29 - 62820398419820167851951640926275733191001925119030969708\ 3472/376353287213087915119265846289528097570687415152218031740613*c\ _1001_2^28 - 938422692327581394807203860152672826376104095185824774\ 451672/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^27 - 1458459279412667428425911833885304299095193471409986\ 538622497/376353287213087915119265846289528097570687415152218031740\ 613*c_1001_2^26 - 6183988291073911840888249616103870874925082138486\ 015745387804/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^25 + 9156253049652003866054960423047916757533189462\ 523768942541767/376353287213087915119265846289528097570687415152218\ 031740613*c_1001_2^24 + 1123645708876025705017674274380999373325142\ 9616338243956813472/37635328721308791511926584628952809757068741515\ 2218031740613*c_1001_2^23 + 301862237003289231009270054776555210260\ 28791785354652943566847/3763532872130879151192658462895280975706874\ 15152218031740613*c_1001_2^22 + 15347426844131387807070160924814738\ 3292018273078973721940755604/37635328721308791511926584628952809757\ 0687415152218031740613*c_1001_2^21 + 172690030100001251940708069315741754949316904319791906803165543/376\ 353287213087915119265846289528097570687415152218031740613*c_1001_2^\ 20 + 68694106121508128289679975064435425893453428744770894258573644\ 8/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^19 + 680077342050105817971649519328155183289309484556092365323\ 344750/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^18 + 1297137911865591342217181954690397148290825208127011\ 653589005831/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^17 + 1219526394015784026603742979772677721779860321\ 680467235431982830/376353287213087915119265846289528097570687415152\ 218031740613*c_1001_2^16 + 1573079969090863495832886259552492612621\ 576262237175015145697619/376353287213087915119265846289528097570687\ 415152218031740613*c_1001_2^15 + 1516812489620696854603625544674275\ 236844826934662002621179513508/376353287213087915119265846289528097\ 570687415152218031740613*c_1001_2^14 + 1178730061346697335838893640316663468732154200889093872850715631/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^13 + 9845992091633580467213773310084876027081520457927606514839750\ 83/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^12 + 41132301380296365313736182054955271516215657634081273176\ 6975687/37635328721308791511926584628952809757068741515221803174061\ 3*c_1001_2^11 + 247057570031078273491778785336784910191896656752421\ 627222370592/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^10 - 1641815051837444767110717325278068534346047895\ 40477310174807488/3763532872130879151192658462895280975706874151522\ 18031740613*c_1001_2^9 - 256095194288243265476043068464471362798864\ 183423187055923062272/376353287213087915119265846289528097570687415\ 152218031740613*c_1001_2^8 - 22268296465673626245793208828105427322\ 8404808675077637164350341/37635328721308791511926584628952809757068\ 7415152218031740613*c_1001_2^7 - 2189985651539766448783830151166517\ 64085001895204521199909369336/3763532872130879151192658462895280975\ 70687415152218031740613*c_1001_2^6 - 73406256842689675041119840016957086887480377159729142943810107/3763\ 53287213087915119265846289528097570687415152218031740613*c_1001_2^5 - 93753453259767956163174169789186834040638628892028001314817730/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^4 + 3545687110588377330162820108369110122629086553816220744209655/\ 376353287213087915119265846289528097570687415152218031740613*c_1001\ _2^3 - 179387195425077527163558078592408127370741572021892032463026\ 18/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^2 + 625415424132620026401887055290324396364268785923654108905\ 6369/376353287213087915119265846289528097570687415152218031740613*c\ _1001_2 - 443725879986801373149619879684562207853809260647202057658\ 0906/376353287213087915119265846289528097570687415152218031740613, c_0011_11 - 32436672708123519474894515688828399556967461409/57245733690\ 8634076170411880178149627655214549640579*c_1001_2^30 - 17439424313485773781081565460900325811343767894216/5724573369086340\ 76170411880178149627655214549640579*c_1001_2^29 - 95134074946113720367785672682589007408664514003299/5724573369086340\ 76170411880178149627655214549640579*c_1001_2^28 - 397578784348005498033048891303426256597452564892901/572457336908634\ 076170411880178149627655214549640579*c_1001_2^27 - 1163477135601365420164667556864466568184140884763611/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^26 - 3060149595692930791481648350868445501440379196995118/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^25 - 8659016465974632740249608647257782799680409265506998/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^24 - 16653016430624102192887511404518511976067730580647229/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^23 - 34884002482470490413590742711815588431922885702930790/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^22 - 68042307282048358651866417164740940898875057033967138/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^21 - 108446594862386487825103571100401257088705245565861634/572457336908\ 634076170411880178149627655214549640579*c_1001_2^20 - 194919301852790967943477821311650968382348400915149562/572457336908\ 634076170411880178149627655214549640579*c_1001_2^19 - 226599071398518102264776114580483825955148691569939430/572457336908\ 634076170411880178149627655214549640579*c_1001_2^18 - 325173121378943664747344050919925148271298897269546271/572457336908\ 634076170411880178149627655214549640579*c_1001_2^17 - 309305687949570006686231914834283716551543654814288868/572457336908\ 634076170411880178149627655214549640579*c_1001_2^16 - 358760036291777126741840187305555758168638067223745391/572457336908\ 634076170411880178149627655214549640579*c_1001_2^15 - 301238927818795205313667455027853692933159597756206011/572457336908\ 634076170411880178149627655214549640579*c_1001_2^14 - 233563038149736405763898559807650767980588082760799447/572457336908\ 634076170411880178149627655214549640579*c_1001_2^13 - 164245404217087754910106556709802782533160346559749246/572457336908\ 634076170411880178149627655214549640579*c_1001_2^12 - 50559036218298693200419905062869141720065318464492203/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^11 - 18298579965299593413470109613058401699253742205332522/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^10 + 55012898969941305010135267633609394819612562354401538/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^9 + 56336026384193723462287377574811628970434392254323194/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^8 + 48225843667385205221568225030757474777164525151021282/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^7 + 38542072136212665161826983277984073563777403258588567/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^6 + 11877794444490226694174582042699920286330036459151539/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^5 + 14950258510992575861210422203164883879920657950704305/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^4 - 2188064150294009663337495870935558295621461923079659/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^3 + 2822009223046578594094492159126952309522870168459261/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^2 - 975819308460447291027245993721833162900267520271731/572457336908634\ 076170411880178149627655214549640579*c_1001_2 + 910256670906298316466316757885900319095559750367824/572457336908634\ 076170411880178149627655214549640579, c_0011_8 + 12521262548614098355588557599191943590730834112220682682376/\ 376353287213087915119265846289528097570687415152218031740613*c_1001\ _2^30 + 45992846088412556056132700382329989362268239865188639303008\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^29 + 1565576109648889222039600712339113030349403116731724825648\ 09/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^28 + 30395284291334829280865588195704598149852768546503348600\ 5793/376353287213087915119265846289528097570687415152218031740613*c\ _1001_2^27 + 629240139503650604992980404493374594728544871029741963\ 436191/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^26 + 2186707906418465997010243725025498644351637614960794\ 124677562/376353287213087915119265846289528097570687415152218031740\ 613*c_1001_2^25 + 5636515076570121218964048186649922668984291131885\ 61150945743/3763532872130879151192658462895280975706874151522180317\ 40613*c_1001_2^24 + 26223850015796729516073596225242388997983614185\ 74088236928567/3763532872130879151192658462895280975706874151522180\ 31740613*c_1001_2^23 + 46917805615563014768024651575692956008911242\ 20983577169311469/3763532872130879151192658462895280975706874151522\ 18031740613*c_1001_2^22 - 11221507785208092369938111443564300308649\ 678723680448337254238/376353287213087915119265846289528097570687415\ 152218031740613*c_1001_2^21 - 6687349932651206624193945366680414779\ 22817524907008391539858/3763532872130879151192658462895280975706874\ 15152218031740613*c_1001_2^20 - 79188459557444894600380379329792514\ 953085819677705359387345948/376353287213087915119265846289528097570\ 687415152218031740613*c_1001_2^19 - 62285428915926168116953748788559297734154095202640457158621383/3763\ 53287213087915119265846289528097570687415152218031740613*c_1001_2^1\ 8 - 146501780980919825143971378614811672230249525106851175753223037\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^17 - 1341105445929573028969639353277132010156976423997822505119\ 25207/376353287213087915119265846289528097570687415152218031740613*\ c_1001_2^16 - 17374363280186733510192009601599821988286363521800290\ 0617919451/37635328721308791511926584628952809757068741515221803174\ 0613*c_1001_2^15 - 184045970120743456763171091723672550573324422272\ 939600717797853/376353287213087915119265846289528097570687415152218\ 031740613*c_1001_2^14 - 1240827347291705503829044759688449418126534\ 47736203934517219789/3763532872130879151192658462895280975706874151\ 52218031740613*c_1001_2^13 - 11079231897817834012497621518933519566\ 6846409935540473234903320/37635328721308791511926584628952809757068\ 7415152218031740613*c_1001_2^12 - 408875210036256493288977818924312\ 12913063009694441557192933241/3763532872130879151192658462895280975\ 70687415152218031740613*c_1001_2^11 - 20859477272112454060983241900488007836954002153864324647170556/3763\ 53287213087915119265846289528097570687415152218031740613*c_1001_2^1\ 0 + 22612649904675371153142147325590131637214559784797525687821660/\ 376353287213087915119265846289528097570687415152218031740613*c_1001\ _2^9 + 368872152137708785777116432706496274537420115036072120676513\ 99/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^8 + 231632078473748052905609104252672260537832537676156403071\ 20202/376353287213087915119265846289528097570687415152218031740613*\ c_1001_2^7 + 241214643791868306583573755904946437474030426231755288\ 77798774/3763532872130879151192658462895280975706874151522180317406\ 13*c_1001_2^6 + 590569779413756846915445668251564479158351056084365\ 3209881235/37635328721308791511926584628952809757068741515221803174\ 0613*c_1001_2^5 + 8947685795282715868278874367013509546378862856664\ 108568626881/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^4 - 11059553626243864647616302074145560350007725876\ 47717563746178/3763532872130879151192658462895280975706874151522180\ 31740613*c_1001_2^3 + 119200635554944244759217119484138830399989354\ 3255805957814153/37635328721308791511926584628952809757068741515221\ 8031740613*c_1001_2^2 - 6144242946025624514838657080728517301757795\ 22524972250959829/3763532872130879151192658462895280975706874151522\ 18031740613*c_1001_2 + 53542578198781774369903740894809144881423897\ 4325793094365133/37635328721308791511926584628952809757068741515221\ 8031740613, c_0101_0 - 67559866799532848059180975541550138288069040145449/572457336\ 908634076170411880178149627655214549640579*c_1001_2^30 - 337766897324956116776429983192061863040788233265836/572457336908634\ 076170411880178149627655214549640579*c_1001_2^29 - 1333757911677171187402537945370102439950037035014764/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^28 - 3620658599028192922887167982102668598435132693996396/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^27 - 9060802567586593230252287684513593103732213055469959/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^26 - 26265828785008970891862808513004889576771889414288683/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^25 - 44231757163980062849945034528216651300207948904819182/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^24 - 91126906796935383843160692227611771451797563029321175/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^23 - 179405717021620222874855679617059989335908623921445769/572457336908\ 634076170411880178149627655214549640579*c_1001_2^22 - 247854040073574478714081639929571740303646047305773275/572457336908\ 634076170411880178149627655214549640579*c_1001_2^21 - 464397002965070016902538851078215698949397048352316431/572457336908\ 634076170411880178149627655214549640579*c_1001_2^20 - 398657765334907069707108831314474080901540969765878560/572457336908\ 634076170411880178149627655214549640579*c_1001_2^19 - 584856680747417164355588998388920727738544460443622796/572457336908\ 634076170411880178149627655214549640579*c_1001_2^18 - 408531236383890202339584236485629024090988354837426619/572457336908\ 634076170411880178149627655214549640579*c_1001_2^17 - 445549839070127065911792518058078829318992712709735921/572457336908\ 634076170411880178149627655214549640579*c_1001_2^16 - 253535562357338150494804792402370485526359518637446751/572457336908\ 634076170411880178149627655214549640579*c_1001_2^15 - 14440667908842325937075521585967205734655310539714885/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^14 + 42281958376185798702826775777092012874990966878699994/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^13 + 226199012668587325325447833473621802907188557384945506/572457336908\ 634076170411880178149627655214549640579*c_1001_2^12 + 167623397557064397313065605486880289447563798567021696/572457336908\ 634076170411880178149627655214549640579*c_1001_2^11 + 214053913873168185503637865873420476377192395616478783/572457336908\ 634076170411880178149627655214549640579*c_1001_2^10 + 116395506558221288795400886099389202493529988496524470/572457336908\ 634076170411880178149627655214549640579*c_1001_2^9 + 18830035441948097918549538633304906329246898524574219/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^8 + 7508047741364817953638644311953251711790850683126111/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^7 - 42618374723023978832656204060808813299254794818949015/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^6 - 6451135406434562333716019895747757876944609189500292/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^5 - 27889482875979511684200473246047303060602398973622952/5724573369086\ 34076170411880178149627655214549640579*c_1001_2^4 - 1776084485083670489670131972562606913747195122341750/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^3 - 3554524527666282421692887050096203458864406489283506/57245733690863\ 4076170411880178149627655214549640579*c_1001_2^2 + 2074279589032157757863502155710406168568762950490054/57245733690863\ 4076170411880178149627655214549640579*c_1001_2 - 578057627928808214333916443733820017725320403073596/572457336908634\ 076170411880178149627655214549640579, c_0101_1 - 3057996903221526023380738669957336679249618188047281659769/3\ 76353287213087915119265846289528097570687415152218031740613*c_1001_\ 2^30 + 3383344546084887523073604040839368030039111240453889427568/3\ 76353287213087915119265846289528097570687415152218031740613*c_1001_\ 2^29 + 39533030210715409817574085669496140925561313257494059741521/\ 376353287213087915119265846289528097570687415152218031740613*c_1001\ _2^28 + 24046707698713229896739547248461445358666374577802675331127\ 6/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^27 + 740139791862210189829666617808508988775681084251839027941\ 436/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^26 + 1753439832686394820195656069348512951959980523121000314\ 904768/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^25 + 6409566094976502196903062030659434943339483604394177\ 020483932/376353287213087915119265846289528097570687415152218031740\ 613*c_1001_2^24 + 1137105713321454838268404395076296312194352259643\ 7992842207691/37635328721308791511926584628952809757068741515221803\ 1740613*c_1001_2^23 + 233467462601662641522764675766439215108398777\ 92543877688867870/3763532872130879151192658462895280975706874151522\ 18031740613*c_1001_2^22 + 51559989641324348709117723879899557840684\ 062105822221532000921/376353287213087915119265846289528097570687415\ 152218031740613*c_1001_2^21 + 7330750124198641647126012235638626324\ 6525061871621483408310983/37635328721308791511926584628952809757068\ 7415152218031740613*c_1001_2^20 + 151350523461237183474335227914782\ 661263678206273119320324733644/376353287213087915119265846289528097\ 570687415152218031740613*c_1001_2^19 + 158025894056414135573805780321764099772072226439942458854214251/376\ 353287213087915119265846289528097570687415152218031740613*c_1001_2^\ 18 + 22982022118146160455581437184690982573654168744402222145453554\ 5/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^17 + 217410498478975531732380595548616832109792261669453896790\ 042686/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^16 + 2331916240539809465937762819076674310621824717336861\ 85477313658/3763532872130879151192658462895280975706874151522180317\ 40613*c_1001_2^15 + 20868114435932418696130009696499749911517061944\ 0256539613145498/37635328721308791511926584628952809757068741515221\ 8031740613*c_1001_2^14 + 129739093934407227072813183407331757822784\ 588906352206627253441/376353287213087915119265846289528097570687415\ 152218031740613*c_1001_2^13 + 9420623170688348077061871557177671637\ 4068549868117627661222670/37635328721308791511926584628952809757068\ 7415152218031740613*c_1001_2^12 + 178894207563373460374208543384403\ 72858022493786355101771895773/3763532872130879151192658462895280975\ 70687415152218031740613*c_1001_2^11 - 8363881030253383567307616962496872983728303269530719601242432/37635\ 3287213087915119265846289528097570687415152218031740613*c_1001_2^10 - 40353530430187456000006338173433955809842549244914051895532316/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^9 - 44373211017562051790450290273668779992350691671504779898226563\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^8 - 25116446030068041835280287379171296141813606652776011670565\ 546/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^7 - 21496750834504034489579553090629586065567822587141800754\ 927980/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^6 - 45178505104954353271496802352211622356293130447731679\ 19391997/3763532872130879151192658462895280975706874151522180317406\ 13*c_1001_2^5 - 606525474929596082085461916617770450470113182791074\ 6958334582/37635328721308791511926584628952809757068741515221803174\ 0613*c_1001_2^4 + 7434687350398524528490119058472163825719091165189\ 74587436815/3763532872130879151192658462895280975706874151522180317\ 40613*c_1001_2^3 - 589250966118482694186230303758706213733360407575\ 327507256125/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^2 + 12924766823736518391314541071209849076824084335\ 3772617344524/37635328721308791511926584628952809757068741515221803\ 1740613*c_1001_2 - 451819829565544591180582607768005729588707632037\ 261806114288/376353287213087915119265846289528097570687415152218031\ 740613, c_0101_10 + c_1001_2, c_0101_12 + 20913626544090250113102548400082488912835844630546414220016\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^30 + 2830740816382974708677171171036449666611917690492585885240\ 3/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^29 - 214807095326494725275832613070512777738853346463983866437\ 63/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^28 - 68374876475496768667892918182659755690692894098235106727\ 1365/376353287213087915119265846289528097570687415152218031740613*c\ _1001_2^27 - 251621915146673892274909641478449243860267665340698909\ 3880798/37635328721308791511926584628952809757068741515221803174061\ 3*c_1001_2^26 - 572381580526024228915611745515014701931892106819628\ 2303657673/37635328721308791511926584628952809757068741515221803174\ 0613*c_1001_2^25 - 253869611478181847871336027859319708229440879386\ 88892453592459/3763532872130879151192658462895280975706874151522180\ 31740613*c_1001_2^24 - 48471313956522888633952818053717757718538349\ 883056505851135030/376353287213087915119265846289528097570687415152\ 218031740613*c_1001_2^23 - 9939913602503706202139805618218576115210\ 0933522440394646830547/37635328721308791511926584628952809757068741\ 5152218031740613*c_1001_2^22 - 231134059349912733022236647049423003\ 278534349422228847962387825/376353287213087915119265846289528097570\ 687415152218031740613*c_1001_2^21 - 347697253981895010203583991003049713387944343422404426612163474/376\ 353287213087915119265846289528097570687415152218031740613*c_1001_2^\ 20 - 73468085606137064294828939150419079306157833944477991845498316\ 5/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^19 - 857134735923605281676617890654549584538062700017785613206\ 281652/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^18 - 1248401554481584383870535978683235130600166713819732\ 083589447007/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^17 - 1265606156327034669910390240530621701614380689\ 420364349091090167/376353287213087915119265846289528097570687415152\ 218031740613*c_1001_2^16 - 1429773078092385822812881132772529535385\ 300256826099665121456423/376353287213087915119265846289528097570687\ 415152218031740613*c_1001_2^15 - 1321710799441692044002298722457913\ 249016701179012805706865357477/376353287213087915119265846289528097\ 570687415152218031740613*c_1001_2^14 - 1002606129790940844698004791748596548593915340308445680382872613/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^13 - 7282301350106757466285257303870931493440845535159734321875127\ 61/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^12 - 30416059361367245673228772239649116736818753240139975996\ 1531083/37635328721308791511926584628952809757068741515221803174061\ 3*c_1001_2^11 - 100961996951029843761566507786477940071187236405480\ 004809735003/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^10 + 1767145180147976997057187806420769202122378562\ 06032697148548177/3763532872130879151192658462895280975706874151522\ 18031740613*c_1001_2^9 + 238091160572369941119392398130639366442643\ 319478581529020467354/376353287213087915119265846289528097570687415\ 152218031740613*c_1001_2^8 + 19746785315679980618120507614733240267\ 4810607431523881466385901/37635328721308791511926584628952809757068\ 7415152218031740613*c_1001_2^7 + 1605972243573838446532117828418334\ 58505279515608517330039868721/3763532872130879151192658462895280975\ 70687415152218031740613*c_1001_2^6 + 69273715355170363517960663032963535557996420734414785842154833/3763\ 53287213087915119265846289528097570687415152218031740613*c_1001_2^5 + 60395303167558320558559276744879076317215113838913657176338780/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^4 + 1852195715689663517151088607678276664890759488709622609942598/\ 376353287213087915119265846289528097570687415152218031740613*c_1001\ _2^3 + 958494935100483777030870447714563334778509342831189310579223\ 8/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^2 - 2741511290409608604900636907377549892305132187990413286234\ 224/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2 + 2948400897308624426606578683004978593401250689807686802706\ 739/376353287213087915119265846289528097570687415152218031740613, c_0101_5 - 1, c_0110_10 - 39897832101233619902513411211875507899368077221652396247600\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^30 - 7107065588097317234800873006171193177822043115999027486137\ 1/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^29 - 878799689150248582285125461115232164153903408306873851694\ 69/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^28 + 74169724231589569700691047727523145229829759906060025171\ 9024/376353287213087915119265846289528097570687415152218031740613*c\ _1001_2^27 + 298505503340821486588637487118641130861580944981690014\ 5691403/37635328721308791511926584628952809757068741515221803174061\ 3*c_1001_2^26 + 611429461544203487073255741351198336629451655000713\ 0113655191/37635328721308791511926584628952809757068741515221803174\ 0613*c_1001_2^25 + 354055052899125312023305504581289293121033102623\ 19057355277643/3763532872130879151192658462895280975706874151522180\ 31740613*c_1001_2^24 + 62828359775203060462592529847775025119329083\ 738167053997365769/376353287213087915119265846289528097570687415152\ 218031740613*c_1001_2^23 + 1336778272343389944541637956770212491922\ 68850149312963123676725/3763532872130879151192658462895280975706874\ 15152218031740613*c_1001_2^22 + 32835009952005759275778843090952889\ 2033821812890206076422314384/37635328721308791511926584628952809757\ 0687415152218031740613*c_1001_2^21 + 465069156305055806522194324015051848602461144153894883478884248/376\ 353287213087915119265846289528097570687415152218031740613*c_1001_2^\ 20 + 10864981863262619813299563724606731860944361910616371595315497\ 90/376353287213087915119265846289528097570687415152218031740613*c_1\ 001_2^19 + 11723318846597555543050645623016109862049317128381828908\ 01180854/3763532872130879151192658462895280975706874151522180317406\ 13*c_1001_2^18 + 18550937110299364399919933925125447069526567972108\ 18464428351521/3763532872130879151192658462895280975706874151522180\ 31740613*c_1001_2^17 + 17888591073379468021893851015604578726843107\ 59405074413659250900/3763532872130879151192658462895280975706874151\ 52218031740613*c_1001_2^16 + 21089731034121437410722390004250734306\ 33655740405613781863545387/3763532872130879151192658462895280975706\ 87415152218031740613*c_1001_2^15 + 1936655767125975774601228051375402233530956882662285090365941263/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^14 + 1450534106859075550645254849281578863760073564218789079829681\ 851/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^13 + 1124026801715247940117260518931324653067659218600633778\ 452168787/376353287213087915119265846289528097570687415152218031740\ 613*c_1001_2^12 + 4304304624588942226679364312032490958243380113615\ 02851815515825/3763532872130879151192658462895280975706874151522180\ 31740613*c_1001_2^11 + 18513472437490891567816382349498574381897942\ 2931374371811469190/37635328721308791511926584628952809757068741515\ 2218031740613*c_1001_2^10 - 259737085512453810357805541467211300448\ 238148350353300055884059/376353287213087915119265846289528097570687\ 415152218031740613*c_1001_2^9 - 34070790303211390067194177984433953\ 7302429972971379318617034058/37635328721308791511926584628952809757\ 0687415152218031740613*c_1001_2^8 - 279133956598415992602541425331882633470010920553736423823805820/376\ 353287213087915119265846289528097570687415152218031740613*c_1001_2^\ 7 - 252927104846261466611288754053756519807645175595854416246694377\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^6 - 89303733410739848098671924587644724360414715405971925070628\ 696/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^5 - 98917191674235448425271442457265711477233932964871844681\ 346007/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^4 + 22466425983892125665368507297346086093178143562059092\ 77901964/3763532872130879151192658462895280975706874151522180317406\ 13*c_1001_2^3 - 180262425771882820832721463872477325664971600056752\ 41885218918/3763532872130879151192658462895280975706874151522180317\ 40613*c_1001_2^2 + 568107693888402255134039394825447166326037384600\ 3654452431309/37635328721308791511926584628952809757068741515221803\ 1740613*c_1001_2 - 449169728230580170136809840313927453075021691815\ 0399841096121/37635328721308791511926584628952809757068741515221803\ 1740613, c_1001_0 + 3057996903221526023380738669957336679249618188047281659769/3\ 76353287213087915119265846289528097570687415152218031740613*c_1001_\ 2^30 - 3383344546084887523073604040839368030039111240453889427568/3\ 76353287213087915119265846289528097570687415152218031740613*c_1001_\ 2^29 - 39533030210715409817574085669496140925561313257494059741521/\ 376353287213087915119265846289528097570687415152218031740613*c_1001\ _2^28 - 24046707698713229896739547248461445358666374577802675331127\ 6/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^27 - 740139791862210189829666617808508988775681084251839027941\ 436/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^26 - 1753439832686394820195656069348512951959980523121000314\ 904768/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^25 - 6409566094976502196903062030659434943339483604394177\ 020483932/376353287213087915119265846289528097570687415152218031740\ 613*c_1001_2^24 - 1137105713321454838268404395076296312194352259643\ 7992842207691/37635328721308791511926584628952809757068741515221803\ 1740613*c_1001_2^23 - 233467462601662641522764675766439215108398777\ 92543877688867870/3763532872130879151192658462895280975706874151522\ 18031740613*c_1001_2^22 - 51559989641324348709117723879899557840684\ 062105822221532000921/376353287213087915119265846289528097570687415\ 152218031740613*c_1001_2^21 - 7330750124198641647126012235638626324\ 6525061871621483408310983/37635328721308791511926584628952809757068\ 7415152218031740613*c_1001_2^20 - 151350523461237183474335227914782\ 661263678206273119320324733644/376353287213087915119265846289528097\ 570687415152218031740613*c_1001_2^19 - 158025894056414135573805780321764099772072226439942458854214251/376\ 353287213087915119265846289528097570687415152218031740613*c_1001_2^\ 18 - 22982022118146160455581437184690982573654168744402222145453554\ 5/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^17 - 217410498478975531732380595548616832109792261669453896790\ 042686/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^16 - 2331916240539809465937762819076674310621824717336861\ 85477313658/3763532872130879151192658462895280975706874151522180317\ 40613*c_1001_2^15 - 20868114435932418696130009696499749911517061944\ 0256539613145498/37635328721308791511926584628952809757068741515221\ 8031740613*c_1001_2^14 - 129739093934407227072813183407331757822784\ 588906352206627253441/376353287213087915119265846289528097570687415\ 152218031740613*c_1001_2^13 - 9420623170688348077061871557177671637\ 4068549868117627661222670/37635328721308791511926584628952809757068\ 7415152218031740613*c_1001_2^12 - 178894207563373460374208543384403\ 72858022493786355101771895773/3763532872130879151192658462895280975\ 70687415152218031740613*c_1001_2^11 + 8363881030253383567307616962496872983728303269530719601242432/37635\ 3287213087915119265846289528097570687415152218031740613*c_1001_2^10 + 40353530430187456000006338173433955809842549244914051895532316/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^9 + 44373211017562051790450290273668779992350691671504779898226563\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^8 + 25116446030068041835280287379171296141813606652776011670565\ 546/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^7 + 21496750834504034489579553090629586065567822587141800754\ 927980/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^6 + 45178505104954353271496802352211622356293130447731679\ 19391997/3763532872130879151192658462895280975706874151522180317406\ 13*c_1001_2^5 + 606525474929596082085461916617770450470113182791074\ 6958334582/37635328721308791511926584628952809757068741515221803174\ 0613*c_1001_2^4 - 7434687350398524528490119058472163825719091165189\ 74587436815/3763532872130879151192658462895280975706874151522180317\ 40613*c_1001_2^3 + 589250966118482694186230303758706213733360407575\ 327507256125/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^2 - 12924766823736518391314541071209849076824084335\ 3772617344524/37635328721308791511926584628952809757068741515221803\ 1740613*c_1001_2 + 451819829565544591180582607768005729588707632037\ 261806114288/376353287213087915119265846289528097570687415152218031\ 740613, c_1001_1 - 63969486283423943957750995924790470582458939023185271351602/\ 376353287213087915119265846289528097570687415152218031740613*c_1001\ _2^30 - 20954460468779490557913344246815854641507346423648301554034\ 6/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^29 - 637108040535920418052772613098537961305325125282020278615\ 189/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^28 - 8299918370586560410951836932363625214848714901026647465\ 32735/376353287213087915119265846289528097570687415152218031740613*\ c_1001_2^27 - 93024539066701493658340606540021131492151079476242804\ 5420341/37635328721308791511926584628952809757068741515221803174061\ 3*c_1001_2^26 - 496004352152712213718764443942327315817034825699513\ 6102429081/37635328721308791511926584628952809757068741515221803174\ 0613*c_1001_2^25 + 143084076557982845078444274609853815966074100000\ 73036272480054/3763532872130879151192658462895280975706874151522180\ 31740613*c_1001_2^24 + 23655744726019083973999061377735716841973332\ 035188439438780417/376353287213087915119265846289528097570687415152\ 218031740613*c_1001_2^23 + 5258726052747469744299477934441308961877\ 1372975074840902395534/37635328721308791511926584628952809757068741\ 5152218031740613*c_1001_2^22 + 206975544394690842029375180561820473\ 883460044145426205294722371/376353287213087915119265846289528097570\ 687415152218031740613*c_1001_2^21 + 264109686416685973897167047655671485906673695318235165506683306/376\ 353287213087915119265846289528097570687415152218031740613*c_1001_2^\ 20 + 85357004288485440730114130227515793041249401924206481841346842\ 5/376353287213087915119265846289528097570687415152218031740613*c_10\ 01_2^19 + 928073297795029100286317315957053949126026063721827783275\ 800120/376353287213087915119265846289528097570687415152218031740613\ *c_1001_2^18 + 1583387490411188954107239744200753939435892778151536\ 389356044772/376353287213087915119265846289528097570687415152218031\ 740613*c_1001_2^17 + 1577081478913727496362431235539144328526282650\ 758475201961516931/376353287213087915119265846289528097570687415152\ 218031740613*c_1001_2^16 + 1916489037168589934754892467613760078996\ 646989887400283359412236/376353287213087915119265846289528097570687\ 415152218031740613*c_1001_2^15 + 1873050000427125848451074090285801\ 162190225224188945556946800044/376353287213087915119265846289528097\ 570687415152218031740613*c_1001_2^14 + 1446792620586720824015849247418830581991696325061908603858356771/37\ 6353287213087915119265846289528097570687415152218031740613*c_1001_2\ ^13 + 1150018080253155830498422428238548369663356650565966479367923\ 312/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^12 + 5098097258865645819485679512211364232901959995517842803\ 09545797/3763532872130879151192658462895280975706874151522180317406\ 13*c_1001_2^11 + 25223936731549045590253928398659401845732447057718\ 9884771834729/37635328721308791511926584628952809757068741515221803\ 1740613*c_1001_2^10 - 197870866804193177442955351593220042245318591\ 664594400755305503/376353287213087915119265846289528097570687415152\ 218031740613*c_1001_2^9 - 32841259928282838057308324109487646142271\ 1212383873539229565561/37635328721308791511926584628952809757068741\ 5152218031740613*c_1001_2^8 - 2759240183629062241749722533097097127\ 25576078539166816724266884/3763532872130879151192658462895280975706\ 87415152218031740613*c_1001_2^7 - 249543213468178438297265772380444\ 494879057292286602343663532491/376353287213087915119265846289528097\ 570687415152218031740613*c_1001_2^6 - 99155652721803732736278073025095825615961858293277688945499869/3763\ 53287213087915119265846289528097570687415152218031740613*c_1001_2^5 - 100562418857920151332348820666541729306291806265078337686230365/3\ 76353287213087915119265846289528097570687415152218031740613*c_1001_\ 2^4 - 1910056529992302913204562543944977163776556825940420941572559\ /376353287213087915119265846289528097570687415152218031740613*c_100\ 1_2^3 - 16107324332825919470646345375265176274343730253817658318315\ 547/376353287213087915119265846289528097570687415152218031740613*c_\ 1001_2^2 + 52270705689325120813667697592974778745504833601289927061\ 19970/376353287213087915119265846289528097570687415152218031740613*\ c_1001_2 - 46423754460253990629564644116399643640659465032214766557\ 15537/376353287213087915119265846289528097570687415152218031740613, c_1001_2^31 + 5*c_1001_2^30 + 20*c_1001_2^29 + 55*c_1001_2^28 + 140*c_1001_2^27 + 406*c_1001_2^26 + 700*c_1001_2^25 + 1477*c_1001_2^24 + 2902*c_1001_2^23 + 4185*c_1001_2^22 + 7881*c_1001_2^21 + 7506*c_1001_2^20 + 11542*c_1001_2^19 + 9401*c_1001_2^18 + 11408*c_1001_2^17 + 8331*c_1001_2^16 + 5524*c_1001_2^15 + 3833*c_1001_2^14 + 109*c_1001_2^13 - 50*c_1001_2^12 - 2420*c_1001_2^11 - 1452*c_1001_2^10 - 1093*c_1001_2^9 - 945*c_1001_2^8 - 83*c_1001_2^7 - 475*c_1001_2^6 + 237*c_1001_2^5 - 195*c_1001_2^4 + 85*c_1001_2^3 - 64*c_1001_2^2 + 23*c_1001_2 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.120 Total time: 1.330 seconds, Total memory usage: 32.09MB