Magma V2.19-8 Tue Aug 20 2013 18:05:39 on localhost [Seed = 2446338959] Type ? for help. Type -D to quit. Loading file "11_187__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_187 geometric_solution 12.63941433 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 14 1 1 2 3 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.491606289010 0.661952595395 0 4 5 0 0132 0132 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 5 -5 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729774011464 0.950200190321 6 6 5 0 0132 1230 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641210726113 0.960526504459 7 6 0 8 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.071600436558 1.212504660461 9 1 9 10 0132 0132 3012 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 -5 1 4 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165299234255 1.733999565610 7 11 2 1 3120 0132 3120 0132 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 -5 5 -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.204131672074 0.954166121524 2 8 2 3 0132 2031 3012 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 -5 5 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.519246647800 0.720163150880 3 12 8 5 0132 0132 0132 3120 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 -1 1 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559431484796 0.759905910721 6 13 3 7 1302 0132 0132 0132 0 0 0 0 0 0 0 0 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 1 -1 0 -1 0 0 1 5 -5 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.118731895239 0.846245110794 4 4 13 12 0132 1230 0321 0213 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 5 -4 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.225382828279 0.468208179951 12 11 4 11 2031 3201 0132 1230 0 0 0 0 0 1 -1 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 4 -4 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.152028998600 0.401870284690 10 5 10 13 3012 0132 2310 2103 0 0 0 0 0 0 -1 1 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 -4 4 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.119810883822 0.793557111031 13 7 10 9 0132 0132 1302 0213 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 0 1 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.305705800521 0.695629915206 12 8 9 11 0132 0132 0321 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 4 0 -4 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112142249827 0.434302515660 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_1001_13'], 'c_1001_6' : negation(d['c_0011_2']), 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_11']), 'c_1001_8' : d['c_1001_2'], 'c_1010_13' : d['c_1001_2'], 'c_1010_12' : d['c_1001_13'], 'c_1010_11' : negation(d['c_1001_2']), 'c_1010_10' : d['c_0101_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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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_13' : 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_1100_9' : d['c_1001_13'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0110_11'], 'c_1100_13' : negation(d['c_0110_11']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_1001_13'], 'c_1100_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_12'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : negation(d['c_0101_10']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_11'], 'c_0110_13' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0101_10']), 's_0_13' : d['1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], '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_2'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0011_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_2, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_5, c_0110_11, c_1001_13, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 41 Groebner basis: [ t + 1675906244707771848123410616094487807947106576953739832233427132709\ 943791234046451690995241618088656248942765530413/138540692352416540\ 5089784536789529469394911230415643970939731188838594491181135935118\ 93007015864727188650064638080*c_1001_2^40 + 3075396859660979254957932101267492297626312455546591015206393526158\ 7017507840798563876154101884604463501370301757283/13854069235241654\ 0508978453678952946939491123041564397093973118883859449118113593511\ 893007015864727188650064638080*c_1001_2^39 + 2413478176503264622544980041910420627534647940300919922263671238571\ 06320645654672118141322011528541403052907910024781/1385406923524165\ 4050897845367895294693949112304156439709397311888385944911811359351\ 1893007015864727188650064638080*c_1001_2^38 + 3133528436795542803840421039894796918605154249557565564733891778276\ 7694015108799567996280729642964826099955345239839/43293966360130168\ 9090557667746727959185909759504888740918665996512060778494104979724\ 6656469245772724645314519940*c_1001_2^37 + 1454781476570501461693841724264048397192142367887958306996804377075\ 479003327051522300979740072331529362941081779460397/138540692352416\ 5405089784536789529469394911230415643970939731188838594491181135935\ 11893007015864727188650064638080*c_1001_2^36 - 1041358957292515565183975958867023845005479098063020794029606381602\ 9089635490882849341829270302014034044938013120293421/13854069235241\ 6540508978453678952946939491123041564397093973118883859449118113593\ 511893007015864727188650064638080*c_1001_2^35 - 1927484252333074503819353399010124966684091581979730274762925271879\ 5832794604759500645331924811013228911426618820994237/27708138470483\ 3081017956907357905893878982246083128794187946237767718898236227187\ 02378601403172945437730012927616*c_1001_2^34 - 2373503598615171520775199934029124950275427031027710610887994106780\ 91229830871248350094817003644638799553888498803517411/6927034617620\ 8270254489226839476473469745561520782198546986559441929724559056796\ 755946503507932363594325032319040*c_1001_2^33 - 1738882370239784392529805302569981309235084697473458372042168182364\ 715294570750232368488837533073756697190476837978757293/138540692352\ 4165405089784536789529469394911230415643970939731188838594491181135\ 93511893007015864727188650064638080*c_1001_2^32 - 2589808846092827147384626917642559327667445848269818228064379011751\ 490912231786989446367707673393644336364922407252108371/692703461762\ 0827025448922683947647346974556152078219854698655944192972455905679\ 6755946503507932363594325032319040*c_1001_2^31 - 1306259504243405229531227436138497540728097701044659466036008630147\ 4385712841739925704333180937258787640428061950390473087/13854069235\ 2416540508978453678952946939491123041564397093973118883859449118113\ 593511893007015864727188650064638080*c_1001_2^30 - 7133570691273507647056902628134432958403947924304322448971994018020\ 504875584501096492015233299583121269885536303174537063/346351730881\ 0413512724461341973823673487278076039109927349327972096486227952839\ 8377973251753966181797162516159520*c_1001_2^29 - 5478395153877131918259778600876720244677754993904841529923870393282\ 3192599572539588119781429991346198401855643323435742731/13854069235\ 2416540508978453678952946939491123041564397093973118883859449118113\ 593511893007015864727188650064638080*c_1001_2^28 - 9337260878460358469425335922927079145206787099817477198325445041416\ 2497316932597895130477230755988505064869872832912754469/13854069235\ 2416540508978453678952946939491123041564397093973118883859449118113\ 593511893007015864727188650064638080*c_1001_2^27 - 7112137897882778991295677288673217495715256710660081594773752049912\ 7670503296023729169494409404696310982803113971237904013/69270346176\ 2082702544892268394764734697455615207821985469865594419297245590567\ 96755946503507932363594325032319040*c_1001_2^26 - 1144473648979506392295748226961959955262920315244418730889812862726\ 4175582738708379069102393167649560595892383816982666777/81494524913\ 1862002993990903993840864349947782597437629964547758140349700694785\ 8441876059236227336893450003802240*c_1001_2^25 - 2395730765546449464252466974225062011934128922011422308299296604551\ 00740796958934963977957004638250385591435246960458581759/1385406923\ 5241654050897845367895294693949112304156439709397311888385944911811\ 3593511893007015864727188650064638080*c_1001_2^24 - 6646025298292555575143719057197273469861271803674775707040848643772\ 901728911884006803637214011881748029074792328695782165/346351730881\ 0413512724461341973823673487278076039109927349327972096486227952839\ 837797325175396618179716251615952*c_1001_2^23 - 6643288861849917561433890525152864893948731316165226900252539367040\ 2488762593809495242540412648930949511622612129527937491/34635173088\ 1041351272446134197382367348727807603910992734932797209648622795283\ 98377973251753966181797162516159520*c_1001_2^22 - 2388325723679314756458322531121352636854901926187826906971276776512\ 17655814201400909325037299559071420178750940453071596141/1385406923\ 5241654050897845367895294693949112304156439709397311888385944911811\ 3593511893007015864727188650064638080*c_1001_2^21 - 1923500748513201897357678203536213832691440041802543178720128079009\ 6832450111712019518435716580100375020019418225215536903/13854069235\ 2416540508978453678952946939491123041564397093973118883859449118113\ 59351189300701586472718865006463808*c_1001_2^20 - 1726025050143776112395124934947093368870312179877466118420256405119\ 6129660496642218757496741697195868959000003961178250721/17317586544\ 0520675636223067098691183674363903801955496367466398604824311397641\ 99188986625876983090898581258079760*c_1001_2^19 - 1095426849431850989694769374419785313244910315385154624260117302056\ 9510308279741664439172212463755970885325194771416453761/17317586544\ 0520675636223067098691183674363903801955496367466398604824311397641\ 99188986625876983090898581258079760*c_1001_2^18 - 4850173884132892921184877362045014623992974383413677023094756258532\ 5425584044996524046058936282102001807397085485844622181/13854069235\ 2416540508978453678952946939491123041564397093973118883859449118113\ 593511893007015864727188650064638080*c_1001_2^17 - 4550381719922820166646296962861884131761409393337433700532797307561\ 028281760514192683451194252231662719163980608454160929/277081384704\ 8330810179569073579058938789822460831287941879462377677188982362271\ 8702378601403172945437730012927616*c_1001_2^16 - 4198720598668597940208346635473527392614868718119038082181659717355\ 945179110528750889341920507883775429776767950970997627/692703461762\ 0827025448922683947647346974556152078219854698655944192972455905679\ 6755946503507932363594325032319040*c_1001_2^15 - 8838975383952891696007044359995227311572702067804200271847781893758\ 67894858751272104508220450617478081141742602975948667/6927034617620\ 8270254489226839476473469745561520782198546986559441929724559056796\ 755946503507932363594325032319040*c_1001_2^14 + 5528456782461249795082421076516835678742829311038475515066555944537\ 39089780490895235143024006537700342711582966541836039/1385406923524\ 1654050897845367895294693949112304156439709397311888385944911811359\ 3511893007015864727188650064638080*c_1001_2^13 + 9003931018718786444443713317409648264793303433910370538347299483078\ 62520179504262843965291991695886923279103120928456311/1385406923524\ 1654050897845367895294693949112304156439709397311888385944911811359\ 3511893007015864727188650064638080*c_1001_2^12 + 6032482872899734870777933550867131459729756601618491482801099917844\ 65748597259414740932294636019912822341438664366192751/1385406923524\ 1654050897845367895294693949112304156439709397311888385944911811359\ 3511893007015864727188650064638080*c_1001_2^11 + 5101760846978697561693700242133218765998657259779765063810599648360\ 8275116086528609817493713966000259143070540301834315/27708138470483\ 3081017956907357905893878982246083128794187946237767718898236227187\ 02378601403172945437730012927616*c_1001_2^10 + 2496003721086739797611618477964246009111926314487073478393324718343\ 8440889783673809655087267190212473254516554448530367/69270346176208\ 2702544892268394764734697455615207821985469865594419297245590567967\ 55946503507932363594325032319040*c_1001_2^9 - 1005036064713242837969318926506328115622886732430693375779895526082\ 0710088437348670620828774364158052495096172238629641/69270346176208\ 2702544892268394764734697455615207821985469865594419297245590567967\ 55946503507932363594325032319040*c_1001_2^8 - 6118543761610048712452300402619667372356161685449006607172174990930\ 942123877796835238516799357128843985936431180935557/346351730881041\ 3512724461341973823673487278076039109927349327972096486227952839837\ 7973251753966181797162516159520*c_1001_2^7 - 5598007238653282013417265107926292220469978529440215479618148795217\ 172099978800200464336160274575573042874160796010683/692703461762082\ 7025448922683947647346974556152078219854698655944192972455905679675\ 5946503507932363594325032319040*c_1001_2^6 - 3195992626111370867965948270128860851323237503449544619142999419712\ 825214267138045633341033108105030163451310580192777/138540692352416\ 5405089784536789529469394911230415643970939731188838594491181135935\ 11893007015864727188650064638080*c_1001_2^5 - 3308337200444777263131494087951807403874532742068215006101069302694\ 3908889665281194805783707373561690524790127019441/34635173088104135\ 1272446134197382367348727807603910992734932797209648622795283983779\ 73251753966181797162516159520*c_1001_2^4 + 8010908464716439410002020319000490539809731096822939472618213884058\ 6579957247160133476439515907323600637537283159719/69270346176208270\ 2544892268394764734697455615207821985469865594419297245590567967559\ 46503507932363594325032319040*c_1001_2^3 + 6335029856455630380258968887481478770240638011412029512456680372238\ 50612170704843472521683455481206431902473851553/1082349159003254222\ 7263941693668198979647743987622218522966649912801519462352624493116\ 64117311443181161328629985*c_1001_2^2 + 2310800958274601273285296166753075698932773497770194681332711736909\ 629041201095125713985855157832980451211931082223/277081384704833081\ 0179569073579058938789822460831287941879462377677188982362271870237\ 8601403172945437730012927616*c_1001_2 + 1002038921931409621983695097094347789293546230103550596009683481943\ 504627371800940727240664928012148831564155313677/138540692352416540\ 5089784536789529469394911230415643970939731188838594491181135935118\ 93007015864727188650064638080, c_0011_0 - 1, c_0011_10 - 25976385315352837729167615881727556798097196427876265017901\ 561078902474814165074281892807487412571934/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^40 - 1893799194500571191072406698763691851525929\ 061439607047581600777055559019010212227209649192660762261605/165210\ 7306160359100847657434021123801189745812345389344255130315209159884\ 5512179605212814316398496908*c_1001_2^39 - 3683875669945432665005556224048802328762357051191256140815454503781\ 236816717267747101851076738346644047/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^38 - 6043886639508262590506549551979334079059862875190\ 5112210179823296948359726619361544061753415940321899565/16521073061\ 6035910084765743402112380118974581234538934425513031520915988455121\ 79605212814316398496908*c_1001_2^37 - 8314330618927464635525480102737141207766678303503233917030521789272\ 4387661956510067907389676796386840441/16521073061603591008476574340\ 2112380118974581234538934425513031520915988455121796052128143163984\ 96908*c_1001_2^36 + 32796371015778414453163395463090881955937456039\ 0404412328965714208147653724040552605997866255977075059539/82605365\ 3080179550423828717010561900594872906172694672127565157604579942275\ 6089802606407158199248454*c_1001_2^35 + 5903098453996208324970020590577733966681119743050146843338672844787\ 892554622645359603030875375927160970547/165210730616035910084765743\ 4021123801189745812345389344255130315209159884551217960521281431639\ 8496908*c_1001_2^34 + 718860316241208920573581384884034767708458280\ 4504806298125366511924778629075344385365584548031799463663009/41302\ 6826540089775211914358505280950297436453086347336063782578802289971\ 1378044901303203579099624227*c_1001_2^33 + 5221242890363787218210148712542979909302688148596650886792725277270\ 7302516369487133523905559323721313048123/82605365308017955042382871\ 7010561900594872906172694672127565157604579942275608980260640715819\ 9248454*c_1001_2^32 + 308494326166456451900592058153506188063577205\ 842670545538352777133472078214879361660621478736623903714488767/165\ 2107306160359100847657434021123801189745812345389344255130315209159\ 8845512179605212814316398496908*c_1001_2^31 + 7713322769895764707202431397624572559816813601358163431094183292426\ 86478876632600715334277163551536465083237/1652107306160359100847657\ 4340211238011897458123453893442551303152091598845512179605212814316\ 398496908*c_1001_2^30 + 4172969774777777881019464873717252455556029\ 60296832303272587000631518627032289424076911461610982881912735346/4\ 1302682654008977521191435850528095029743645308634733606378257880228\ 99711378044901303203579099624227*c_1001_2^29 + 7928261364702418169736172206180907632416960397016887306012902149037\ 53502480983014283031811048869201080668431/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^28 + 53410108579757976866442431587380539213637523\ 74586069640340757293581823843507471012711693397974900632502082435/1\ 6521073061603591008476574340211238011897458123453893442551303152091\ 598845512179605212814316398496908*c_1001_2^27 + 2006289578641128890967388823086970706428673741275100044350172791215\ 161098566029215424828150200881226212334699/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^26 + 5400651780879414388280739330891416367652602\ 148993820888695844268553943382386538084305583314533667919087229607/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^25 + 1304770951516390341016403595949123930821911860715595528404613222139\ 4103988133830143563780980828639216352243803/16521073061603591008476\ 5743402112380118974581234538934425513031520915988455121796052128143\ 16398496908*c_1001_2^24 + 70733314551982558273950505321655551587952\ 7591891784362992724405489876561977100217085879832167210491871467186\ 9/82605365308017955042382871701056190059487290617269467212756515760\ 45799422756089802606407158199248454*c_1001_2^23 + 6871436737430741123012510630980552445592058239441876095201308764467\ 575466747950587878901414961422985972524135/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^22 + 5957869888637531807187386026597806333457246\ 832769626418446945083202146171986048580668520858999522054553307007/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^21 + 9161009371125427293442141727608781644788428550338986293519972998315\ 415620229778271048798771240739587282811403/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^20 + 618012306796528821751285473043121178359435\ 0005181163700887118864408689011772554369056116331472764209402388097\ /165210730616035910084765743402112380118974581234538934425513031520\ 91598845512179605212814316398496908*c_1001_2^19 + 3594572075335614231590870424786501661832879250735963438107646362408\ 448931181454799410168937201509166531527837/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^18 + 174217129645642237234833570080645229714376\ 8613012718970858424658791572346812686816906496269777895765329134809\ /165210730616035910084765743402112380118974581234538934425513031520\ 91598845512179605212814316398496908*c_1001_2^17 + 3218552840375920746303219181457960532748662908439979560271607745986\ 18822882504473537107356454703034187299613/8260536530801795504238287\ 1701056190059487290617269467212756515760457994227560898026064071581\ 99248454*c_1001_2^16 + 11831314885173711233512716231950929630405300\ 7415198536410659972777609089645875683623135126070023953784111211/16\ 5210730616035910084765743402112380118974581234538934425513031520915\ 98845512179605212814316398496908*c_1001_2^15 - 6582223728012603581051129264819877991480909637826518206200091953775\ 9930850605655352436477429107650434959851/16521073061603591008476574\ 3402112380118974581234538934425513031520915988455121796052128143163\ 98496908*c_1001_2^14 - 90693785284819646140861384103612095438606702\ 435421783683686763244272951695199382744832996104305492204399201/165\ 2107306160359100847657434021123801189745812345389344255130315209159\ 8845512179605212814316398496908*c_1001_2^13 - 1545450975823101700759396866733436827473755969924270492815129939601\ 6853549457347491981529968435315958322640/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^12 - 284854700660435578470633263068021077022354878\ 67309725784871402951563773228262525689769223140174435670238495/1652\ 1073061603591008476574340211238011897458123453893442551303152091598\ 845512179605212814316398496908*c_1001_2^11 - 3448230833539074335856857424889309283108808890070942847512875616442\ 205075508770012868751945288769305040991/826053653080179550423828717\ 0105619005948729061726946721275651576045799422756089802606407158199\ 248454*c_1001_2^10 + 1996510374558493121789753743792749782963225426\ 914867529174345862954756388736544876032709197259067401183183/165210\ 7306160359100847657434021123801189745812345389344255130315209159884\ 5512179605212814316398496908*c_1001_2^9 + 3062006041645798350752110575747455096245864094941927658512486642832\ 947557843170778653786711643031932154973/165210730616035910084765743\ 4021123801189745812345389344255130315209159884551217960521281431639\ 8496908*c_1001_2^8 + 1658445406717581885331323356148387902355233637\ 990108692211507705775048729592579121029954501154587060232575/165210\ 7306160359100847657434021123801189745812345389344255130315209159884\ 5512179605212814316398496908*c_1001_2^7 + 4156748192293007114157081558864962134720064354148183538154337508124\ 36995115680394532784904789226818716659/1652107306160359100847657434\ 0211238011897458123453893442551303152091598845512179605212814316398\ 496908*c_1001_2^6 - 34730799815943061088837359020914634386606392177\ 771711391166004815742060635060949440372898391415804989727/165210730\ 6160359100847657434021123801189745812345389344255130315209159884551\ 2179605212814316398496908*c_1001_2^5 - 3646527008808150161730971592378555164055873853811615823594028486153\ 8718426041759988654442587138176265795/82605365308017955042382871701\ 0561900594872906172694672127565157604579942275608980260640715819924\ 8454*c_1001_2^4 - 1452690235573268254747624435157099519358743712027\ 7204105279777157037270168499777710734263200064387629093/82605365308\ 0179550423828717010561900594872906172694672127565157604579942275608\ 9802606407158199248454*c_1001_2^3 - 4681767708486118245358701876271598338974654922258582397738052826640\ 09350631724402508095968341729487761/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^2 + 217865004315727443770738653840800180907145228208577\ 822762374241283253427311983099904226337497344753584/413026826540089\ 7752119143585052809502974364530863473360637825788022899711378044901\ 303203579099624227*c_1001_2 + 5528966330010188549272346600205293895\ 63575617812389927422093861249081297413685412809633629069868150957/1\ 6521073061603591008476574340211238011897458123453893442551303152091\ 598845512179605212814316398496908, c_0011_11 - 13625354320087349774290324792181430935447505341032873392364\ 78842414605613046577357029181997588764063/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^40 - 24693449295402345789598745299752279888262370\ 643741098132206064800372105609002057722365443230164971949/413026826\ 5400897752119143585052809502974364530863473360637825788022899711378\ 044901303203579099624227*c_1001_2^39 - 1910921028900423292166647145673542234779294322723390976730514111042\ 52770090979503911564977201053560978/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^38 - 78013206477084132072725167065096895545059158746909\ 0896207387302218850964382879160003018111232405252537/41302682654008\ 9775211914358505280950297436453086347336063782578802289971137804490\ 1303203579099624227*c_1001_2^37 - 106518284645026883393244998537433\ 0809130945241456120915062681238982535882639205918493615502603672123\ 329/413026826540089775211914358505280950297436453086347336063782578\ 8022899711378044901303203579099624227*c_1001_2^36 + 8492183763340161625411237566921109698819935314644723121009970140523\ 970842774960602706330023831536215146/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^35 + 7627613461245921092688847132893398089834206659669\ 0614845509170444900839136475527741724557337085269247055/41302682654\ 0089775211914358505280950297436453086347336063782578802289971137804\ 4901303203579099624227*c_1001_2^34 + 3718405027694011173259004382259137197937193216587657059011235145134\ 30195751094973037177640527839247646376/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^33 + 13532556402667209061079832657861516949867887813\ 31283422416219737180758722372581992862069831560890128067020/4130268\ 2654008977521191435850528095029743645308634733606378257880228997113\ 78044901303203579099624227*c_1001_2^32 + 4011340545822317694277278225273823910641685407191956733523924656742\ 447957286725714373792674292706987806224/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^31 + 1007683112822999099412431952874039120756313859\ 5868819063253910298963954349038368963514467097688961885908752/41302\ 6826540089775211914358505280950297436453086347336063782578802289971\ 1378044901303203579099624227*c_1001_2^30 + 2194067398461616107783644124133711061685492425694118040316438206950\ 6556074885338813454937372562456185129895/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^29 + 420082985754240316842581560777728529008716623\ 15568122300304340229991003908886942993164407458144315872314705/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^28 + 7142430811486037481121584349484949053327768247374600885784782768588\ 9846834897585119373750049230170298234265/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^27 + 108563862932719568493741388671422423995519606\ 693759974374646337921943739214637153843943032852294533066239251/413\ 0268265400897752119143585052809502974364530863473360637825788022899\ 711378044901303203579099624227*c_1001_2^26 + 1481688924804407865468497519580273340359196242784475684335098627883\ 97315941145544777832016227946383311772779/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^25 + 18202068610513605004322177175645507057544082\ 9119752661138379212268807425644420983322968646261852966839237746/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^24 + 2014238737227330354161156354279798102610966776092727512509522758699\ 67594179458225651038009471469905752220306/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^23 + 20063218519436920651903551794613817903224812\ 8360123598496188411539659656614096278163445849825937261892732004/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^22 + 1794445670686966769272571455864344734772498138574809597897821380393\ 21208645701949004637824068353746295384941/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^21 + 14349060869533638418140346943133949929889601\ 4694750381163598873976005786918006748312910960810920495476408413/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^20 + 1018824420808310287325489723753678842410615598068421709367924822604\ 83929665975115043490668622263722508262678/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^19 + 63534028677969229043376074667292492307144324\ 448606612197126421571826888068868309057471475888148814544164215/413\ 0268265400897752119143585052809502974364530863473360637825788022899\ 711378044901303203579099624227*c_1001_2^18 + 3413437764067347615361169022912372133530113889286122108203502980105\ 3404033357923634089385962504239556409557/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^17 + 151522122278740540640460597299853404482997484\ 62274461324938375655651612849497379759009542187931634513546745/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^16 + 4913836556372586325636734159373242449840291237264831515847033069123\ 743272424588415864143247594478790719290/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^15 + 4714817470889322608457747713104203239652532950\ 30501756311290293062859186634801096507156024977017831499788/4130268\ 2654008977521191435850528095029743645308634733606378257880228997113\ 78044901303203579099624227*c_1001_2^14 - 8573959132565673020080971773484482761318075081120549465585426226737\ 67413594287510296622699313258846699817/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^13 - 86140200906346391502966955160002333378846446137\ 7138365463020967312379726171988093696503737245698653969135/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^12 - 5064366562555703934638741512143769810282425392346723628400650672346\ 12351502850116803648944503439174853474/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^11 - 19101202939877410187291064456999871639954301945\ 7732443211900360159477881141071719731010893156800238437486/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^10 - 2306422256398377922788062699403837685703851284120328141632644960392\ 4219687830591249106704590104413101519/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^9 + 2753456797655430878946735740625290289305791082943\ 3843601052641414023052812077980100648113010173592919182/41302682654\ 0089775211914358505280950297436453086347336063782578802289971137804\ 4901303203579099624227*c_1001_2^8 + 2447969606905204029164698957518245422972112139064381164806997447922\ 6188185159485747232196681980734408181/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^7 + 1004511516312234303361407923181651161128857532916\ 0005426664289686054850297214725481775745870903939325241/41302682654\ 0089775211914358505280950297436453086347336063782578802289971137804\ 4901303203579099624227*c_1001_2^6 + 2096071469317401319876238081133714974461592117974133888208367037499\ 088938455779153957493808643918506526/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^5 - 41274416977494742194260726864751891098624706750729\ 7682348307024511731721985437869756609283329255222593/41302682654008\ 9775211914358505280950297436453086347336063782578802289971137804490\ 1303203579099624227*c_1001_2^4 - 3829563525631386097441142403580763\ 2458681755608777683033389217417047688146407878663817863414412725406\ 0/41302682654008977521191435850528095029743645308634733606378257880\ 22899711378044901303203579099624227*c_1001_2^3 - 1239736027104006451591492553449720155700224933713010077946097233550\ 67155144843837091408405020030425886/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^2 - 148193645848345112074704336356574829175381029958779\ 13147136003966928212447941805132555388919907371163/4130268265400897\ 7521191435850528095029743645308634733606378257880228997113780449013\ 03203579099624227*c_1001_2 + 71006988537690656818908245101244883345\ 74594905762194679249078070530694173988522751617017385064436249/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227, c_0011_12 - 53008935321375606431094953635472501150101927781148663299523\ 421385684843115219799553174528831769535739/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^40 - 9599006524513703635239342287643977441865163\ 10175820907213738099122572948024429656040605546147315128597/8260536\ 5308017955042382871701056190059487290617269467212756515760457994227\ 56089802606407158199248454*c_1001_2^39 - 7410249375708062032632015174808994669999171713168120019881002323228\ 066391476551602576324169290348334671/826053653080179550423828717010\ 5619005948729061726946721275651576045799422756089802606407158199248\ 454*c_1001_2^38 - 1503268935766416916459857903702529219626983932073\ 6207770092842263539569109043423751377365077732477774795/41302682654\ 0089775211914358505280950297436453086347336063782578802289971137804\ 4901303203579099624227*c_1001_2^37 - 3967306564664931332437427327802146266558363753204728038184403905601\ 4486951645632170529532199291321314453/82605365308017955042382871701\ 0561900594872906172694672127565157604579942275608980260640715819924\ 8454*c_1001_2^36 + 336124086205225317732988579667173967257771348479\ 634115587030528419730298734864454841781130032041797355619/826053653\ 0801795504238287170105619005948729061726946721275651576045799422756\ 089802606407158199248454*c_1001_2^35 + 2968068264769635855114911010264270871541114139428272097889131390587\ 359216818069258697877802722842594917297/826053653080179550423828717\ 0105619005948729061726946721275651576045799422756089802606407158199\ 248454*c_1001_2^34 + 7178603716370504479765495292333678320034783178\ 784272385290514446317087566707954488665516393611347772540218/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^33 + 5190224741722129282583467502590533627287392760540270420538326202071\ 9377261956469152295682665670148943038975/82605365308017955042382871\ 7010561900594872906172694672127565157604579942275608980260640715819\ 9248454*c_1001_2^32 + 763979062490723113951832354133999314816238082\ 79341454173293144233844779784140308894303636752919945815417672/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^31 + 3809784943603028932127225727307780833954696253591547071043347564552\ 46206601655229829959982091579432719000381/8260536530801795504238287\ 1701056190059487290617269467212756515760457994227560898026064071581\ 99248454*c_1001_2^30 + 41133424559069881703535482484083268363206217\ 1364694124391853620573297279154951999666189667465447238763045249/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^29 + 1560570824770426020456021484941699818377259517614771245323736169232\ 066964850872048931245134862117889219301655/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^28 + 2625920834506242139450091586240283925648818\ 669328768068294586606675641142851597879827735622922526604878756965/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^27 + 1972516386005531712771680247576130395428864685090551843794023212148\ 876543580618452170444853195691499600623336/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^26 + 5313787340033921445725583513447004558306943\ 158650881014138747060754207712685108653609744181244426478867320445/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^25 + 6431080348386676107865365134359734312844798785249195759187334117609\ 014458363441729247494715211794723398535367/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^24 + 3498159880350006667752577246551498976341774\ 167139719358530237539557637784910807916820248367185918217759805978/\ 4130268265400897752119143585052809502974364530863473360637825788022\ 899711378044901303203579099624227*c_1001_2^23 + 3416718977912756905738228492486231578536133637821309126940489819379\ 567109345043228305897876775688578877934967/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^22 + 5974123645278833118883919862584647345119706\ 373739734367933660623356807181505821149551130071116646132944547697/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^21 + 2325462063442492806802225728758246012978177307017077493092445967006\ 230860966855203555992555758741657944749601/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^20 + 1599220634878991310902922153756577890194373\ 754264085336859330795676463336989535743524980281766677054265786049/\ 4130268265400897752119143585052809502974364530863473360637825788022\ 899711378044901303203579099624227*c_1001_2^19 + 9590358487417209294715447641408863453253993946055661427531287575848\ 11921267991196009166785722504934568442866/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^18 + 97985736282725388517489577414371920226379139\ 1382173676105032753264029610792871060355750107707856636155744421/82\ 6053653080179550423828717010561900594872906172694672127565157604579\ 9422756089802606407158199248454*c_1001_2^17 + 4037317225768333724507736507708332701698656533115576263531386265700\ 98018141668226720425661835728613287368373/8260536530801795504238287\ 1701056190059487290617269467212756515760457994227560898026064071581\ 99248454*c_1001_2^16 + 55620646111740091077400628241994112690422129\ 831979829408893114629234099834834535481853988774956111981640739/413\ 0268265400897752119143585052809502974364530863473360637825788022899\ 711378044901303203579099624227*c_1001_2^15 - 2546995339237825334170935004792115258559840149623875748280293493727\ 888311159048600101096688711530391927890/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^14 - 3325626486228458870459226468139248719491057562\ 8990077061016946595006405628485377713224838058903626503335219/82605\ 3653080179550423828717010561900594872906172694672127565157604579942\ 2756089802606407158199248454*c_1001_2^13 - 2716221733040253247099467391416935901453104275226735418059278572004\ 3193808368412781033304266163197027642131/82605365308017955042382871\ 7010561900594872906172694672127565157604579942275608980260640715819\ 9248454*c_1001_2^12 - 140776431765297498174918533118328267019952359\ 57518282051559928648029302226507581738138229899061909831276849/8260\ 5365308017955042382871701056190059487290617269467212756515760457994\ 22756089802606407158199248454*c_1001_2^11 - 4290314594792476935702438194614006653448392823482323213540561228686\ 707793029273267095450238299907019290933/826053653080179550423828717\ 0105619005948729061726946721275651576045799422756089802606407158199\ 248454*c_1001_2^10 + 1091898214743845745663072838746635940713911637\ 90387082605362634213304577579759110856430794606770359778580/4130268\ 2654008977521191435850528095029743645308634733606378257880228997113\ 78044901303203579099624227*c_1001_2^9 + 5619709150911758284735768402367535283047162127091118825775805892265\ 94767095643839076623784468542608258925/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^8 + 358352029176444389397032228732984321652495442538\ 079070951633030279616337327930466769945522915590996151294/413026826\ 5400897752119143585052809502974364530863473360637825788022899711378\ 044901303203579099624227*c_1001_2^7 + 1101232008413557854761724049227350748617465871417219030162763761321\ 28297468163910434608505482630207387822/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^6 + 178554376747805708612770193877852162560242841666\ 23386429081527016587210326819676202466409354089925029093/8260536530\ 8017955042382871701056190059487290617269467212756515760457994227560\ 89802606407158199248454*c_1001_2^5 - 1027595061856323332395905548588053090226271443176370625259838352681\ 3692219790608300823653769029150076280/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^4 - 4806758897843384914150748695789844766924506931687\ 974680829358192134355141253899523814955449508990253666/413026826540\ 0897752119143585052809502974364530863473360637825788022899711378044\ 901303203579099624227*c_1001_2^3 - 6394927652007922155412298868620753626192096477218507695869097606947\ 41349061459219000917087565246986942/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^2 + 163034262055518979162255184501164831157620803148417\ 200529215027744582256476658420305911832712923465649/826053653080179\ 5504238287170105619005948729061726946721275651576045799422756089802\ 606407158199248454*c_1001_2 + 1440812822871804658539997511995020269\ 21099868624495731862771626168867333063930138358815847191387427065/8\ 2605365308017955042382871701056190059487290617269467212756515760457\ 99422756089802606407158199248454, c_0011_2 + 382008901118435585006869867341679879695194374365782570224088\ 38650871171322049782144361694892804875/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^40 + 71048704365318046132421088704518909019557290378\ 8918476490808164223144982063097586845515510975579103/41302682654008\ 9775211914358505280950297436453086347336063782578802289971137804490\ 1303203579099624227*c_1001_2^39 + 571316202229560989246780283791997\ 6961956644447115611812437879977428898152374915522121666672525673730\ /413026826540089775211914358505280950297436453086347336063782578802\ 2899711378044901303203579099624227*c_1001_2^38 + 2485888894857231619991077658747336492888756842144520660867016166193\ 9380019352187414198702778751567942/41302682654008977521191435850528\ 0950297436453086347336063782578802289971137804490130320357909962422\ 7*c_1001_2^37 + 432600906959314128415194296468378248563906569069774\ 78573254020154176970624758900732465174359311047539/4130268265400897\ 7521191435850528095029743645308634733606378257880228997113780449013\ 03203579099624227*c_1001_2^36 - 21418917801164655793533153560149277\ 0645760834184631791318440790047078527487431332586244293367496982348\ /413026826540089775211914358505280950297436453086347336063782578802\ 2899711378044901303203579099624227*c_1001_2^35 - 2252712250418521998781512499770202339154181875446907243731368499973\ 731627779465453116673264199926923885/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^34 - 1163264538568577931240327767334199121770580137201\ 4034903268888020694370797584444392384173572305783488197/41302682654\ 0089775211914358505280950297436453086347336063782578802289971137804\ 4901303203579099624227*c_1001_2^33 - 4411871416674448505174916782165285186478774455124064279355624437926\ 0870979372098772804097397069670991190/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^32 - 135526412387170941764601562370753657745120105620\ 062265145496348222461959509896684312599279984067889847359/413026826\ 5400897752119143585052809502974364530863473360637825788022899711378\ 044901303203579099624227*c_1001_2^31 - 3518418777124937718595817348423113709322180792375922260710313463115\ 34218379353204996304455157200655109943/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^30 - 79025858811747298990789385852704641330040741071\ 9035846154583103588076789154458544487009012461075488479696/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^29 - 1558408703627308916816718559478492368516222842369803513399763254436\ 688507138566826198967768140433706374770/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^28 - 2724945433632085332574733626471711391327317627\ 256171746981058936578736434263664024806327720963301922087428/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^27 - 4252816639807672653063922083697680898736051246272661069792013135869\ 066804071317749800559375369879483931669/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^26 - 5949628879018133090103330188843158922602723594\ 370192520250137726824584914873787040481617236025863710964811/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^25 - 7477795283447284775994615886174818927805851134068643441146407213937\ 776116760374508767814620193597486057044/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^24 - 8447522602981644040862894678467200129506378211\ 778542555460242622464824959703708824841386209128548127403631/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^23 - 8566553845292994686870567182638590979021404300565499514206872508403\ 680057762277011850103355920323729106356/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^22 - 7773867800061419899640504301839859351156393166\ 684568730104336422993506550360460947949265030295827855917522/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^21 - 6279311349922684363331817590489607152222879880388449780941822671355\ 614847261418636934739860245659452874616/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^20 - 4476990227206778068524001603372006004994067577\ 113492452177841106214502018758476859933739729215150072347661/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^19 - 2780631051637470057909602715963980486633774810708662391669400314261\ 185184158844649837247253596940586654650/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^18 - 1470631000192533573483211149604798986172545607\ 683220934687617551122379260358268910234610018801369963705944/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^17 - 6305343875414681949480433628759599605828675306162884612827472187638\ 87350248246262521923271174110959181254/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^16 - 18755251368068525494904438457719313795445944468\ 3499123600914636718174508897704135140482275960203773950984/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^15 - 3443407898023097695400907843439572425814501737535135586518132644181\ 500814589645960341131314366010851691/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^14 + 4606996362698298158657015823183593298862268470951\ 6848025165310310180035394104277876874533556831835652192/41302682654\ 0089775211914358505280950297436453086347336063782578802289971137804\ 4901303203579099624227*c_1001_2^13 + 4134114216211178154584111392301604144541112397085315360816966679141\ 4838801308945083688925719757586916939/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^12 + 231768511201375149094782211021255239657958643518\ 00555556164955822208365960573584033273753137121976815860/4130268265\ 4008977521191435850528095029743645308634733606378257880228997113780\ 44901303203579099624227*c_1001_2^11 + 7904665533438828863171840346732640388261039086120588731640984408973\ 963646619448562936709503994919653592/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^10 + 2600387289316210121370003968910663317336908958636\ 61786053578056955751837042092829607275694876289926059/4130268265400\ 8977521191435850528095029743645308634733606378257880228997113780449\ 01303203579099624227*c_1001_2^9 - 172734641009258782224987214391568\ 1635739093647387980706677532140142596561238050497856640646150949143\ 508/413026826540089775211914358505280950297436453086347336063782578\ 8022899711378044901303203579099624227*c_1001_2^8 - 1209903116367899594700261660659082043194702346259939073094461506228\ 307971143360085022366290051550206563/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^7 - 39783803418089024110559135829813800356949654352098\ 7614968354577986678391550040285306568395208925627382/41302682654008\ 9775211914358505280950297436453086347336063782578802289971137804490\ 1303203579099624227*c_1001_2^6 - 4962912202136440137993117204802919\ 9599622865463150740530804339876691451460297087851141995365369066153\ /413026826540089775211914358505280950297436453086347336063782578802\ 2899711378044901303203579099624227*c_1001_2^5 + 4465250842865178034815520609490024713492862464498572981806506018010\ 1550883604378695520956758957233069/41302682654008977521191435850528\ 0950297436453086347336063782578802289971137804490130320357909962422\ 7*c_1001_2^4 + 1361433400235002359041772857219096117270764761834331\ 7003370372586831993164502527483805196682332605288/41302682654008977\ 5211914358505280950297436453086347336063782578802289971137804490130\ 3203579099624227*c_1001_2^3 + 6091580679165838733993876977264437460\ 723696477337938755213133434546695764925982892034611122589214635/413\ 0268265400897752119143585052809502974364530863473360637825788022899\ 711378044901303203579099624227*c_1001_2^2 - 8912915270968977518218074289222292080855538580206598006127561574985\ 133961890346478300837743707141510/413026826540089775211914358505280\ 9502974364530863473360637825788022899711378044901303203579099624227\ *c_1001_2 - 8648708505765196125422222859313912103384017815318174921\ 24169348394824635386989700552679288430174584/4130268265400897752119\ 1435850528095029743645308634733606378257880228997113780449013032035\ 79099624227, c_0101_0 - 449568927412204063440319154804586934078635119221893455838493\ 24190002232607071034385386396850942686277/3304214612320718201695314\ 8680422476023794916246907786885102606304183197691024359210425628632\ 796993816*c_1001_2^40 - 7496044843232842079640163396145192133856036\ 65809414857480112088393788447804981534675441180281751410973/3304214\ 6123207182016953148680422476023794916246907786885102606304183197691\ 024359210425628632796993816*c_1001_2^39 - 5153220870135207645838216233555796632936100668267441801860293029378\ 036390938724163736460473571746006081/330421461232071820169531486804\ 2247602379491624690778688510260630418319769102435921042562863279699\ 3816*c_1001_2^38 - 856395236288978038759840829946898356827702453688\ 4752887074405549562950583311473786114390431160676658379/16521073061\ 6035910084765743402112380118974581234538934425513031520915988455121\ 79605212814316398496908*c_1001_2^37 - 1907336416978516890447310208588258083152203405005985505636591687222\ 547112546112206722126108526607002639/330421461232071820169531486804\ 2247602379491624690778688510260630418319769102435921042562863279699\ 3816*c_1001_2^36 + 314544064151491309185773605490144973592484535692\ 742399962444079332135905444680334050207077552347916286493/330421461\ 2320718201695314868042247602379491624690778688510260630418319769102\ 4359210425628632796993816*c_1001_2^35 + 2088158196066614625381904426758603663588121636876525272375728958749\ 647956231872739772348567846770026713355/330421461232071820169531486\ 8042247602379491624690778688510260630418319769102435921042562863279\ 6993816*c_1001_2^34 + 440164666610429416738725305223687722655114544\ 4232447899759857184816938405029172710273668739113727395477987/16521\ 0730616035910084765743402112380118974581234538934425513031520915988\ 45512179605212814316398496908*c_1001_2^33 + 2849617061365067373232708155827140907031322499796335422341202752949\ 4319650826608828140679020730816740292849/33042146123207182016953148\ 6804224760237949162469077868851026063041831976910243592104256286327\ 96993816*c_1001_2^32 + 18888373829473175631189538673846990271327163\ 674297638879642299913979321603958964409990350904973306727703771/826\ 0536530801795504238287170105619005948729061726946721275651576045799\ 422756089802606407158199248454*c_1001_2^31 + 1693860078145682081875773762865276137491179139143912183790592478692\ 57236992977966144574484110728020144974989/3304214612320718201695314\ 8680422476023794916246907786885102606304183197691024359210425628632\ 796993816*c_1001_2^30 + 8173802139337244657332939494854259432937468\ 9969243717783900667490848670492641051375078158475266098714348539/82\ 6053653080179550423828717010561900594872906172694672127565157604579\ 9422756089802606407158199248454*c_1001_2^29 + 5493655734107879268989224480399415303741373609544882496677131146984\ 76356742419120338724351335651268050205747/3304214612320718201695314\ 8680422476023794916246907786885102606304183197691024359210425628632\ 796993816*c_1001_2^28 + 8085121564966405999061888895907346406851427\ 43261509372451417324745919896747338108443068325318419853807329459/3\ 3042146123207182016953148680422476023794916246907786885102606304183\ 197691024359210425628632796993816*c_1001_2^27 + 5220241699136889029699754461982616939034544715764859290740937623907\ 18002265097603670673433694966665442193383/1652107306160359100847657\ 4340211238011897458123453893442551303152091598845512179605212814316\ 398496908*c_1001_2^26 + 1179963214442224437112775606669628514058264\ 437964668123646447675666674714338471634830865892660020178879493489/\ 3304214612320718201695314868042247602379491624690778688510260630418\ 3197691024359210425628632796993816*c_1001_2^25 + 1157189389034806645046344521778270324976742207035883867187646374851\ 398284211985431324608037368689172354818033/330421461232071820169531\ 4868042247602379491624690778688510260630418319769102435921042562863\ 2796993816*c_1001_2^24 + 241898283878809186974999809509987978098262\ 751853305627930395831091586421700617064935593311278416990824798361/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^23 + 8320938610986705240692069722163995637540594827102887626924487160112\ 9611383989420648297573925367628139767900/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^22 + 345087021941979125114847971223783801668045719\ 332844783047132056663117949838663679139407248879329749222928305/330\ 4214612320718201695314868042247602379491624690778688510260630418319\ 7691024359210425628632796993816*c_1001_2^21 + 2382960901969180631353301142700182674518295782880744100921658133987\ 8885368507690185224917576156567829170701/82605365308017955042382871\ 7010561900594872906172694672127565157604579942275608980260640715819\ 9248454*c_1001_2^20 - 197633935601707397777153130890105309947501173\ 74913950640469520744272611291285116861811414220004706617115565/1652\ 1073061603591008476574340211238011897458123453893442551303152091598\ 845512179605212814316398496908*c_1001_2^19 - 3553005347399395684176367680460673502996359630483049179537112173944\ 8459609867812955813516371240806606296803/16521073061603591008476574\ 3402112380118974581234538934425513031520915988455121796052128143163\ 98496908*c_1001_2^18 - 45583031995843304649291110875354353821046826\ 577959992801908825812144777505819493631499926307183698121688661/330\ 4214612320718201695314868042247602379491624690778688510260630418319\ 7691024359210425628632796993816*c_1001_2^17 - 1026241001929004972329451104515788185687016534193787610598076899894\ 3302835640568342635221669991827373928271/33042146123207182016953148\ 6804224760237949162469077868851026063041831976910243592104256286327\ 96993816*c_1001_2^16 + 28570266163462193836138031860427235788323612\ 70587092502121095081284977390815677298473688620054686809775125/8260\ 5365308017955042382871701056190059487290617269467212756515760457994\ 22756089802606407158199248454*c_1001_2^15 + 4178421203236137875356564733070645956123776043377436187325000972698\ 944163384353197181242052615089177680777/826053653080179550423828717\ 0105619005948729061726946721275651576045799422756089802606407158199\ 248454*c_1001_2^14 + 1368410367407439152943261819933985307709480391\ 8052346366208691623742001657811534573896800589303761507221919/33042\ 1461232071820169531486804224760237949162469077868851026063041831976\ 91024359210425628632796993816*c_1001_2^13 + 8958658689150406904799706949965073281496676957523871595750205690530\ 709538058758406966983097233399249527085/330421461232071820169531486\ 8042247602379491624690778688510260630418319769102435921042562863279\ 6993816*c_1001_2^12 + 452987020220234952963634388026284646683241513\ 4372247546023532267321038360651518563070391839329341422022287/33042\ 1461232071820169531486804224760237949162469077868851026063041831976\ 91024359210425628632796993816*c_1001_2^11 + 1679336494361058401680719306940193257150829931535347725161231237437\ 622250749544213316140023726320445704253/330421461232071820169531486\ 8042247602379491624690778688510260630418319769102435921042562863279\ 6993816*c_1001_2^10 - 790421970679059628494533368122827463478069391\ 1734510291812341323578696702290636269210691840764311726074/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^9 - 6980568668906986017035520569498248979540914016990812290782162717302\ 4101248719908090312496623006280092770/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^8 - 1870712754300298549580267661731427353374611763324\ 07674917370743802245814735196935517309980252332793329759/1652107306\ 1603591008476574340211238011897458123453893442551303152091598845512\ 179605212814316398496908*c_1001_2^7 - 1907425456848425319430785197893459534040951480009625497915260775104\ 9366967386448050825835465462256152847/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^6 + 2430726763746687991160425270047213951534373178820\ 2105166380691444129339067229881199612756383154409217123/33042146123\ 2071820169531486804224760237949162469077868851026063041831976910243\ 59210425628632796993816*c_1001_2^5 + 4611792129001822697075538000915376867072814732450019165898804031563\ 266329255328966138699807380378971445/826053653080179550423828717010\ 5619005948729061726946721275651576045799422756089802606407158199248\ 454*c_1001_2^4 + 90228844758754441533045468812436133267919098776754\ 98575684279519271939604785421197237826710953564938577/1652107306160\ 3591008476574340211238011897458123453893442551303152091598845512179\ 605212814316398496908*c_1001_2^3 + 6531819801723660406216406056560252372321029628055760633462920616443\ 6575939688194817904113389088229935/82605365308017955042382871701056\ 1900594872906172694672127565157604579942275608980260640715819924845\ 4*c_1001_2^2 + 4859175687028280052842667408098485073955483632267777\ 4024281868278243606913035075134688567017367345513/33042146123207182\ 0169531486804224760237949162469077868851026063041831976910243592104\ 25628632796993816*c_1001_2 - 46224296120498164267317876484582598785\ 6437210803905429816032722206640469677608938317498951486627417039/33\ 0421461232071820169531486804224760237949162469077868851026063041831\ 97691024359210425628632796993816, c_0101_1 + 103268236982163580841838295975709541479526281141374351807361\ 4985304029209550654996392846561997393399/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^40 + 185916876931024117987175465952813503668755711\ 96221581459629970283493167756195593469341727030654457921/4130268265\ 4008977521191435850528095029743645308634733606378257880228997113780\ 44901303203579099624227*c_1001_2^39 + 1425665903418999343236411092563863364697589139893683183677861065930\ 07503843370207941246328863029711061/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^38 + 57343538520374851000373152346266950058357345707993\ 3287860493848092279277476586940644540804719459623052/41302682654008\ 9775211914358505280950297436453086347336063782578802289971137804490\ 1303203579099624227*c_1001_2^37 + 731900348841380750626495110501364\ 2312677328651865254303781986690497908191842701964222763896042926282\ 62/4130268265400897752119143585052809502974364530863473360637825788\ 022899711378044901303203579099624227*c_1001_2^36 - 6556289456858743250481705974471242016407944249626311567170102201677\ 234271298839399980357206673120192874/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^35 - 5709385767880058555754934108192078107853292804143\ 2369653908187057622524195972881425924151645880113831333/41302682654\ 0089775211914358505280950297436453086347336063782578802289971137804\ 4901303203579099624227*c_1001_2^34 - 2747735381414414246780216172137285265332159736911516798294389471513\ 19591267582497923426571881942074745970/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^33 - 99003031810273322366419421276888795499952182856\ 2610869008215895293526982914282986372273130976656459808956/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^32 - 2907035249057847648164175901963307316184217655461283611368661918852\ 326658547947295693123414873930881574811/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^31 - 7232621746281017839803362015273151399533606734\ 665988539402785856203543528782762862366208284144712264331825/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^30 - 1558799743312678744778376164177498645434614539847812226027512689824\ 6408167015455441164024100624564283203549/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^29 - 295186710900892920234394040082164543054237122\ 41903667879160299717220506754955416066573227727936472617355295/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^28 - 4958977767296280793596750410364396540933006721928765890594545343966\ 7308038559898771953249808846416117437538/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^27 - 743845685137513089914813730310313115355056761\ 36494836107351650564412544296464162771883984197007916078565690/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^26 - 1000372448015775669340036032000528796603803406289236961826155195370\ 28810384450410098510521660286727639382999/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^25 - 12087745231942317708770653211261608070530702\ 1743557810176236887145606146843456204212008877340093987525388828/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^24 - 1312768632168855509827792123254851116548444980324841604283814276554\ 43237288619967444386080870501429280451812/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^23 - 12797754955307955102740592512324531243949688\ 5343970137670164201952665007488490237720224776109075338098550859/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^22 - 1116379728849305471040847736493193506214830312170012994269969633109\ 20993983454080950806070128038882158956410/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^21 - 86679883019880975563366605527130056576366524\ 550371732885648903344850047303630742593218274049292743258217570/413\ 0268265400897752119143585052809502974364530863473360637825788022899\ 711378044901303203579099624227*c_1001_2^20 - 5940495533715887978200076002784596079396836514011651263573342670375\ 6824867950265429573906076222729019482835/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^19 - 354544070878981848493439339187777161882728410\ 47272992665597324731779720767568448060446584201647451559798853/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^18 - 1797715853086214372008072964704063750596825443551124222930538436318\ 4827470076755546478200922682155594102911/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^17 - 730105916959067268111514727916528143796206050\ 5284721769341898328539267446121423581535349733595581110771603/41302\ 6826540089775211914358505280950297436453086347336063782578802289971\ 1378044901303203579099624227*c_1001_2^16 - 1924516817617474005275901272479917311140770932250243071146630853127\ 289461176778512153023410724328456392826/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^15 + 1824461934037590266786530505882659149780584767\ 02198766681369753042855002525408269293652510436202914285382/4130268\ 2654008977521191435850528095029743645308634733606378257880228997113\ 78044901303203579099624227*c_1001_2^14 + 6637503896437533408517681922983291258469914529930725882815112925555\ 39707894264515490257989383164696625530/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^13 + 52404951897824708125736533573789336211828051519\ 1626350348620144570949452472079515493109938582375645489982/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^12 + 2673084276270708779474312627852045478157301858988575973193251647731\ 69295090419518652188430308916980868627/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^11 + 79035832624527398399932168839813193356974666400\ 165018841720984310905645683614762722609137849295348785586/413026826\ 5400897752119143585052809502974364530863473360637825788022899711378\ 044901303203579099624227*c_1001_2^10 - 5190810783118017930343759766398820257655009285911334766210751415609\ 386079276986510563325797956316524346/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^9 - 21853190182538034551519684497206726050598976360853\ 185054491235609088726307488966308483145215559709712278/413026826540\ 0897752119143585052809502974364530863473360637825788022899711378044\ 901303203579099624227*c_1001_2^8 - 1376382871889981390597472829492705524826595661277304532154625770388\ 8563427576498684287529373486103606083/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^7 - 4178648247782537686100612183596384091005887510503\ 379418629526986374982665733863726151186755981537119966/413026826540\ 0897752119143585052809502974364530863473360637825788022899711378044\ 901303203579099624227*c_1001_2^6 - 4449740480583824816784643765295111809427201048755962776933487942458\ 92665821048176412372834275207134440/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^5 + 469571694376862125811123096825272846222563856795049\ 642995752922649949692463670530268943089119859004311/413026826540089\ 7752119143585052809502974364530863473360637825788022899711378044901\ 303203579099624227*c_1001_2^4 + 16409766758562931803420680737981534\ 8749497493344925446996019267951356210148337272343602652683110030627\ /413026826540089775211914358505280950297436453086347336063782578802\ 2899711378044901303203579099624227*c_1001_2^3 + 5551877388714261927014926482910367521773535896187436460255946142854\ 6351120649130340953003692455428255/41302682654008977521191435850528\ 0950297436453086347336063782578802289971137804490130320357909962422\ 7*c_1001_2^2 - 1959261605029574957780714598498964982449592115815232\ 2969389074744688802770964430432752350959105545796/41302682654008977\ 5211914358505280950297436453086347336063782578802289971137804490130\ 3203579099624227*c_1001_2 + 285172471022877766324375026472033747774\ 756489519303639840050144564290881406854631618254006236307951/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227, c_0101_10 - 45993970399803859503161539408545163125612458827072613589949\ 621025771427838097565357581268310361953459/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^40 - 211529714332079771868273082214958140741040\ 169377065337204123144695480686335171006064053178896168524820/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^39 - 6664509125552983963961214649477753809484757801637001415997625688074\ 406146342836829150655912131765174991/165210730616035910084765743402\ 1123801189745812345389344255130315209159884551217960521281431639849\ 6908*c_1001_2^38 - 278504669152739923869945864072206674071139592513\ 09044321264328300173201540004686695793347131175662991523/1652107306\ 1603591008476574340211238011897458123453893442551303152091598845512\ 179605212814316398496908*c_1001_2^37 - 2063917433312559312964687753804943605193254165534212255378399936977\ 6460788869800556972745811842467005637/82605365308017955042382871701\ 0561900594872906172694672127565157604579942275608980260640715819924\ 8454*c_1001_2^36 + 284268849671920197774363513954491838453031281209\ 927333436796513310927139833371221817111512702942875707905/165210730\ 6160359100847657434021123801189745812345389344255130315209159884551\ 2179605212814316398496908*c_1001_2^35 + 6654819612887889060398637292995996856502928027529991243414361239767\ 54124587198470349610141211571278672323/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^34 + 65831668408357027356234605458971568135284580244\ 53127502248939471040839723534361080161061592604232154109303/8260536\ 5308017955042382871701056190059487290617269467212756515760457994227\ 56089802606407158199248454*c_1001_2^33 + 4835715365938689661891476298909996268569463689859245374016751280308\ 3885013355326121712578504526280669780793/16521073061603591008476574\ 3402112380118974581234538934425513031520915988455121796052128143163\ 98496908*c_1001_2^32 + 14431135244813464987451510963202415137917742\ 1668488328118352045217747308560812874520654672797399678245129131/16\ 5210730616035910084765743402112380118974581234538934425513031520915\ 98845512179605212814316398496908*c_1001_2^31 + 9109945070374010408398523961554890733920276610255979378750970202672\ 0990563287397597210874323399185214182379/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^30 + 199125227928540424744629360602833125081034656\ 729479336353565831118704926268227005465407025881163024182004447/413\ 0268265400897752119143585052809502974364530863473360637825788022899\ 711378044901303203579099624227*c_1001_2^29 + 1529131174194712487408726528732213980652104276013099881395902144351\ 043907822997543850431013059899547592443445/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^28 + 650985098812197413902309175698404315267514\ 894763375216008860129637970889376742416510822056346490407604905381/\ 4130268265400897752119143585052809502974364530863473360637825788022\ 899711378044901303203579099624227*c_1001_2^27 + 1979763712997241594683003674950208465867355104482486219455369017675\ 502355877662052657273248868785784109086799/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^26 + 5399542737799525297974478823888030570843243\ 828601507217227327052382184212338291720134536894873165046411061193/\ 1652107306160359100847657434021123801189745812345389344255130315209\ 1598845512179605212814316398496908*c_1001_2^25 + 3309443581810955368188785518662324113871120208474259306878487502876\ 044088529484718686068205624626930108798769/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^24 + 3648824399551925064416780960222546868938103\ 865535864688069362416316589808437455003355261019778509848419754679/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^23 + 3614796171976954491096338692763860626126123831664493885818684883026\ 875753679446534935689221036061219174884845/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^22 + 6417678225318133556526275398123914446700727\ 361345914771832339291627452265668445330911484548605318963682281533/\ 1652107306160359100847657434021123801189745812345389344255130315209\ 1598845512179605212814316398496908*c_1001_2^21 + 5080358876520685554298530060247569257293120990607107226465192433987\ 909789784713955026332815303790819500266691/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^20 + 355969551553833367013378038109623410816714\ 3839903176785540050432891641377628975786170225627408274378878265659\ /165210730616035910084765743402112380118974581234538934425513031520\ 91598845512179605212814316398496908*c_1001_2^19 + 2181638387475031019779107492174069990866308892168527203654383500702\ 295858492352279343384056275420922583992259/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^18 + 572670905739864364648271235042655460008261\ 025765657637516753873636374699495131349880754708883663948174937785/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^17 + 4917409878411546489493696367014592241823766369794618845611892599120\ 28875926211263569671348399423646221527669/1652107306160359100847657\ 4340211238011897458123453893442551303152091598845512179605212814316\ 398496908*c_1001_2^16 + 1492708427025564527045942960776898859669220\ 52867642856170707971969999917778395546538195313243606114780720331/1\ 6521073061603591008476574340211238011897458123453893442551303152091\ 598845512179605212814316398496908*c_1001_2^15 + 6596882559571331472305444076359461369183866873362339886347467096011\ 841612099137337442143712672862237679005/165210730616035910084765743\ 4021123801189745812345389344255130315209159884551217960521281431639\ 8496908*c_1001_2^14 - 815857570284220176439179554767489450149006052\ 4024339606215288028835511834630049202666773037201797775525388/41302\ 6826540089775211914358505280950297436453086347336063782578802289971\ 1378044901303203579099624227*c_1001_2^13 - 2971304867199292829346067239500771873472839664246034833289005164703\ 0538175505514575915307349178999513377145/16521073061603591008476574\ 3402112380118974581234538934425513031520915988455121796052128143163\ 98496908*c_1001_2^12 - 82160572692913316915929112494995345334837071\ 61639835972261699514950160886757599612533115736605187548721133/8260\ 5365308017955042382871701056190059487290617269467212756515760457994\ 22756089802606407158199248454*c_1001_2^11 - 5608948366556176189281484060009256230724541148460125836770836068264\ 630358866342808657729113709541140992475/165210730616035910084765743\ 4021123801189745812345389344255130315209159884551217960521281431639\ 8496908*c_1001_2^10 - 193855236213507434859635785536609741519213416\ 188056813284084291485010970081777756795910999901444882349809/165210\ 7306160359100847657434021123801189745812345389344255130315209159884\ 5512179605212814316398496908*c_1001_2^9 + 1144655567806118567988145358120586228545397019441638460600836232726\ 266148103983799869156389060657443315493/165210730616035910084765743\ 4021123801189745812345389344255130315209159884551217960521281431639\ 8496908*c_1001_2^8 + 8191129489127483191507122944871269650514985765\ 50352669418093721670238152909128592293949916551716826376105/1652107\ 3061603591008476574340211238011897458123453893442551303152091598845\ 512179605212814316398496908*c_1001_2^7 + 2861417952699059879469685771739734943473224458855750580105520739450\ 72023735533841036329950797103850240487/1652107306160359100847657434\ 0211238011897458123453893442551303152091598845512179605212814316398\ 496908*c_1001_2^6 + 15812262764477038674432435324447397240178931362\ 148950438550362900565449794306920960903155146376456166025/826053653\ 0801795504238287170105619005948729061726946721275651576045799422756\ 089802606407158199248454*c_1001_2^5 - 9523954807277770957787466178282551442053816719538394586194195175424\ 232702649065871193418192255704934699/826053653080179550423828717010\ 5619005948729061726946721275651576045799422756089802606407158199248\ 454*c_1001_2^4 - 30520368551064936313355872666153298178057962762652\ 11455470152745576486249824074681979156451520963699673/4130268265400\ 8977521191435850528095029743645308634733606378257880228997113780449\ 01303203579099624227*c_1001_2^3 - 389231192307159732810178519838098\ 5750496859555507503292918703856766652768472714855541436904388933121\ 85/4130268265400897752119143585052809502974364530863473360637825788\ 022899711378044901303203579099624227*c_1001_2^2 + 6177258900742124496868838109745434034522617768494932356252402621562\ 4239893274481495023055341763339467/16521073061603591008476574340211\ 2380118974581234538934425513031520915988455121796052128143163984969\ 08*c_1001_2 + 47544013877720527667076322378193976683242899338046100\ 823088790371558922406991043375829535252816093631/413026826540089775\ 2119143585052809502974364530863473360637825788022899711378044901303\ 203579099624227, c_0101_11 - 25782673590810846584814476512102882112786719078235588836154\ 773184105494540597669334484884308830878302/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^40 - 1894556995269029568625366882334219283139530\ 657189234145143628089292786804477851906353301454973574814591/165210\ 7306160359100847657434021123801189745812345389344255130315209159884\ 5512179605212814316398496908*c_1001_2^39 - 7442452486801117784597857586703898695477733406663200690313835962396\ 451799383729430739462158512828703339/826053653080179550423828717010\ 5619005948729061726946721275651576045799422756089802606407158199248\ 454*c_1001_2^38 - 6188862652370661853834112509952160357232270882271\ 9899743438998585412333202932594532476924293788272974737/16521073061\ 6035910084765743402112380118974581234538934425513031520915988455121\ 79605212814316398496908*c_1001_2^37 - 8962010820953747935738883228937572553308693101900207696853622968521\ 2358966972224023673359972341871730807/16521073061603591008476574340\ 2112380118974581234538934425513031520915988455121796052128143163984\ 96908*c_1001_2^36 + 16126984088586287733190875940414349058509888364\ 3150246957913933040328840013012287002267383978054135492185/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^35 + 5958775694440358020281956053363971873446286896920583750155238662578\ 160045404661336949083287918380579438015/165210730616035910084765743\ 4021123801189745812345389344255130315209159884551217960521281431639\ 8496908*c_1001_2^34 + 732658380966965247272192227760998593160332816\ 7877290937987163845171001367664371894580709816420254137924333/41302\ 6826540089775211914358505280950297436453086347336063782578802289971\ 1378044901303203579099624227*c_1001_2^33 + 5356811941493788948991455326606996187423049447215065196415241185131\ 6759572151662186339989338381838562310581/82605365308017955042382871\ 7010561900594872906172694672127565157604579942275608980260640715819\ 9248454*c_1001_2^32 + 318245643757335870327991947225399423205624594\ 644525107481312888418197034792866473538594933528149906699449285/165\ 2107306160359100847657434021123801189745812345389344255130315209159\ 8845512179605212814316398496908*c_1001_2^31 + 7996176849020976203481805829421375063568474464299526331769593201047\ 33225091334620598580965893213931790050889/1652107306160359100847657\ 4340211238011897458123453893442551303152091598845512179605212814316\ 398496908*c_1001_2^30 + 4345628460057832168832940242066263148211787\ 89562063530008623484044904855859089473243568506471241683360621454/4\ 1302682654008977521191435850528095029743645308634733606378257880228\ 99711378044901303203579099624227*c_1001_2^29 + 8291600650944817525621669466890174247421419074044184625607841564011\ 08503518983288194715996629619016647924946/4130268265400897752119143\ 5850528095029743645308634733606378257880228997113780449013032035790\ 99624227*c_1001_2^28 + 56085530798850242157524603186703308256064921\ 23597009900415725819521929698386811771404144775360912692286067037/1\ 6521073061603591008476574340211238011897458123453893442551303152091\ 598845512179605212814316398496908*c_1001_2^27 + 4230123013198279074132369066760311923325494669559994815041446228055\ 967016085620507489006019474538763363406653/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^26 + 2857569978415403104650565620642726490603483\ 341671342434855870162942452810544482451036718886618944550175964000/\ 4130268265400897752119143585052809502974364530863473360637825788022\ 899711378044901303203579099624227*c_1001_2^25 + 1385889823419405800174761406909333525746644647509556095419971735992\ 8310312215900003514095279414078412890600155/16521073061603591008476\ 5743402112380118974581234538934425513031520915988455121796052128143\ 16398496908*c_1001_2^24 + 75405139967496684484579430823411039621501\ 7327593237313308676340676974042686732507741951814606598576057081499\ 5/82605365308017955042382871701056190059487290617269467212756515760\ 45799422756089802606407158199248454*c_1001_2^23 + 7351486459331527514885504297539055660726406496396978652835160527475\ 912265193685249549839916280437730379406617/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^22 + 6396374908445688130546440220805000555054547\ 046012026559459420948826865453472879218429237871016525376674664839/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^21 + 9868353529857358710696658342349317048064403366910486852537551242591\ 645454823549901471969763998786705961001561/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^20 + 667820805501619256460726261918883898882555\ 3368851929787462072547631825706773847189867440122582375361823838449\ /165210730616035910084765743402112380118974581234538934425513031520\ 91598845512179605212814316398496908*c_1001_2^19 + 3894869972269088824760534582095370887164707069823497653452491224467\ 386077618636797770494917872622092867866823/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^18 + 189137837635328296480605617166507855642529\ 9545009105668949252358814283608462838805220834767554598166515392337\ /165210730616035910084765743402112380118974581234538934425513031520\ 91598845512179605212814316398496908*c_1001_2^17 + 3495178943225260135736615391990254292196077466655964890907416047080\ 16431448907688457942765475560287576592843/8260536530801795504238287\ 1701056190059487290617269467212756515760457994227560898026064071581\ 99248454*c_1001_2^16 + 12727529988006766910408760210067697430366313\ 3404995099669660659157898452440381188602059419976316732900796253/16\ 5210730616035910084765743402112380118974581234538934425513031520915\ 98845512179605212814316398496908*c_1001_2^15 - 7316169520987640790758750711636432793296105922750664458913274645029\ 8201517144005349254562259040725541831899/16521073061603591008476574\ 3402112380118974581234538934425513031520915988455121796052128143163\ 98496908*c_1001_2^14 - 99984075535153107533615255747681120549737009\ 416477660497381105465793042224129754749726286882476279764653711/165\ 2107306160359100847657434021123801189745812345389344255130315209159\ 8845512179605212814316398496908*c_1001_2^13 - 3412000931430763270179623681243386469778300765766114828138812374851\ 1775016314364233759360549177190018615639/82605365308017955042382871\ 7010561900594872906172694672127565157604579942275608980260640715819\ 9248454*c_1001_2^12 - 315606006970069519135509116155864843331448486\ 07941738548805894181550882107489547798592251372767343748823963/1652\ 1073061603591008476574340211238011897458123453893442551303152091598\ 845512179605212814316398496908*c_1001_2^11 - 3889732387050977035374558585851285682314964140205124588125167712444\ 682082669471189403748590733074261049049/826053653080179550423828717\ 0105619005948729061726946721275651576045799422756089802606407158199\ 248454*c_1001_2^10 + 2139071064178715961288642783856415296599868019\ 461400503820582277442797966720306843103485356514611123750025/165210\ 7306160359100847657434021123801189745812345389344255130315209159884\ 5512179605212814316398496908*c_1001_2^9 + 3388101067091739140934512521990696338086686657166124386886678341154\ 650844155261526860049045889537076218545/165210730616035910084765743\ 4021123801189745812345389344255130315209159884551217960521281431639\ 8496908*c_1001_2^8 + 1850827296013039533342491386013211556406203751\ 818366604712868777960655040508639653800854184158339157971321/165210\ 7306160359100847657434021123801189745812345389344255130315209159884\ 5512179605212814316398496908*c_1001_2^7 + 4776181562145775226025731145369868767035713657102971859312875427997\ 11928399144168079522359729486914031271/1652107306160359100847657434\ 0211238011897458123453893442551303152091598845512179605212814316398\ 496908*c_1001_2^6 - 40951493055660328987397362304556619416008983326\ 623815918565824332125667295488693640166648787874019124521/165210730\ 6160359100847657434021123801189745812345389344255130315209159884551\ 2179605212814316398496908*c_1001_2^5 - 2027232653959301501022330614138163962297493141784616330949824738165\ 1521685995192246244956378517923422104/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^4 - 8743240667026193842858840105530259714781024366390\ 155809048499344761574482740001965522818962825959693963/413026826540\ 0897752119143585052809502974364530863473360637825788022899711378044\ 901303203579099624227*c_1001_2^3 - 1043085886285973475541424709559600472569725598940277736263835918488\ 241989627505827452452315251039893679/826053653080179550423828717010\ 5619005948729061726946721275651576045799422756089802606407158199248\ 454*c_1001_2^2 + 44647398578309181836690011997470046965937658664573\ 9076863284974297844806881793165300643258892350722117/82605365308017\ 9550423828717010561900594872906172694672127565157604579942275608980\ 2606407158199248454*c_1001_2 + 700476126571280675507539436561891836\ 016835828843310325466552389968905772241781820551032093020361060281/\ 1652107306160359100847657434021123801189745812345389344255130315209\ 1598845512179605212814316398496908, c_0101_2 + 167811519245116195876160673825704204456861029881926025949445\ 636909204574163665295840167273567218815/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^40 + 3062213272836902331458232435250476568753858566\ 085444858417330851037195490551828641537861533804120284/413026826540\ 0897752119143585052809502974364530863473360637825788022899711378044\ 901303203579099624227*c_1001_2^39 + 2392490000599340825413864468489953853325504104176642293114154467874\ 4849142028726851822102570641197572/41302682654008977521191435850528\ 0950297436453086347336063782578802289971137804490130320357909962422\ 7*c_1001_2^38 + 991452251560757349352659576086673558077171127768901\ 91544017739710580502989182572359925466313238402662/4130268265400897\ 7521191435850528095029743645308634733606378257880228997113780449013\ 03203579099624227*c_1001_2^37 + 14356580473120066153397028636348122\ 8066693570501912035070832762699799532714246686144625476886050416148\ /413026826540089775211914358505280950297436453086347336063782578802\ 2899711378044901303203579099624227*c_1001_2^36 - 1031477915208830533347581696591246700426763101370674823513862851396\ 658761591339777145010702243362631943/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^35 - 9546419004574513032452989099247125649450788892303\ 912260161499751913807058849193535189234914979649586865/413026826540\ 0897752119143585052809502974364530863473360637825788022899711378044\ 901303203579099624227*c_1001_2^34 - 4705968583611511126066385055119960021702013706263291136983005842115\ 4636819867562968687480390423870308007/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^33 - 172553657712387899893383553811815831035108423667\ 366533269157713306174322173494367340130752016086948170969/413026826\ 5400897752119143585052809502974364530863473360637825788022899711378\ 044901303203579099624227*c_1001_2^32 - 5144798018730644246336561347361475429097472967515046291139653036042\ 34524157545416974317175237153132223161/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^31 - 12984352316836912791287326683071034538248338485\ 94208331223810639738267692142548769787172815206374403715896/4130268\ 2654008977521191435850528095029743645308634733606378257880228997113\ 78044901303203579099624227*c_1001_2^30 - 2837155763203032307619468606987034275335289464534934021486492385883\ 595302010608830479207526334250622885660/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^29 - 5445004083174816980460523901853425259200353279\ 872219212222393612070062626390393001935917390915661590175431/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^28 - 9267751227682478409647879151408216182498769941706817789758794349319\ 576777338978071744721033745727042512196/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^27 - 1408119881383170968822330348130124605307978060\ 8864999275554125929910266524635096184058764384523141469687878/41302\ 6826540089775211914358505280950297436453086347336063782578802289971\ 1378044901303203579099624227*c_1001_2^26 - 1917775173629674834291287459632625884566745805708948376639889007705\ 1420229968761172319776267186966627327300/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^25 - 234623511155530750788474559139473825623689575\ 65990623515929105651649990807273385733249827278572793832094711/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^24 - 2579338805450303343105308909056937336431785128367555574630702611985\ 1124701566623514787641365031961301628896/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^23 - 254459551042543386380333602844115283646936214\ 57473346489910921222549274190167265064921865667050227951240346/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^22 - 2245373993348298988901466505354276159839340976648962505197079340001\ 4566199953627387909890003917620831990806/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^21 - 176254664480233039314109034673291240369242905\ 42263333823622229160162484703901585019588583341302632182709116/4130\ 2682654008977521191435850528095029743645308634733606378257880228997\ 11378044901303203579099624227*c_1001_2^20 - 1220205956743262872661154510977525994097248909187413943895881076973\ 6974247737380229584057396469379661671035/41302682654008977521191435\ 8505280950297436453086347336063782578802289971137804490130320357909\ 9624227*c_1001_2^19 - 734837397240424374769800903309052012974740728\ 3206207373938107190276374748206429120316761793644584578972274/41302\ 6826540089775211914358505280950297436453086347336063782578802289971\ 1378044901303203579099624227*c_1001_2^18 - 3755344558395998729679924434994268140640798588791014920537774783343\ 710441816257505542658653108311414202017/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^17 - 1537515994453333322351891975877539626472299301\ 023442691126554828464465416069174169043898162211446694291243/413026\ 8265400897752119143585052809502974364530863473360637825788022899711\ 378044901303203579099624227*c_1001_2^16 - 4119280484266944724523066197087537256325993386859152732879422758186\ 01604499761293386124538226408131834184/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^15 + 32695454860072290954604117684562024045069897085\ 892322026218310204321488791198679984926740814705211051870/413026826\ 5400897752119143585052809502974364530863473360637825788022899711378\ 044901303203579099624227*c_1001_2^14 + 1368274668881307937925489436714823269308628433495558110544893025777\ 71094843627000466097217839955345490743/4130268265400897752119143585\ 0528095029743645308634733606378257880228997113780449013032035790996\ 24227*c_1001_2^13 + 11019500220224615720778235786799035170830654691\ 1027165142026182114336063961548862451278469420655520164318/41302682\ 6540089775211914358505280950297436453086347336063782578802289971137\ 8044901303203579099624227*c_1001_2^12 + 5713474799132383793064362929194084860021001097887984240788089501918\ 8392025567214938751586801718636663358/41302682654008977521191435850\ 5280950297436453086347336063782578802289971137804490130320357909962\ 4227*c_1001_2^11 + 172339334504184022594617970154639425597605253057\ 75314891733556637232122269604286738378834822422091675942/4130268265\ 4008977521191435850528095029743645308634733606378257880228997113780\ 44901303203579099624227*c_1001_2^10 - 9869276192961164892400885811666028584319914229653930833690876484168\ 77047478466876291530969154113915690/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^9 - 474200780097350540861002508122843337663186515362359\ 1251890341968008211274566766153307466264909898191563/41302682654008\ 9775211914358505280950297436453086347336063782578802289971137804490\ 1303203579099624227*c_1001_2^8 - 2962655987540938620937968404840603\ 8110429620528911178373130726631837303205986163799380578474375437257\ 67/4130268265400897752119143585052809502974364530863473360637825788\ 022899711378044901303203579099624227*c_1001_2^7 - 8929526828536883348064024019840946228615773963609311676625562196469\ 92182135651347700726104773039838897/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^6 - 791311211802059049092734563502307457834078753039890\ 47116061837599940904324376556130925417800288604150/4130268265400897\ 7521191435850528095029743645308634733606378257880228997113780449013\ 03203579099624227*c_1001_2^5 + 107724195297374144303449679556011419\ 690777948198912787808123448002726547628670160518283870631196913334/\ 4130268265400897752119143585052809502974364530863473360637825788022\ 899711378044901303203579099624227*c_1001_2^4 + 3404626419782413664883311171657457139606895812048404340500211975570\ 3184683769731527482393179171997728/41302682654008977521191435850528\ 0950297436453086347336063782578802289971137804490130320357909962422\ 7*c_1001_2^3 + 1205163175144234843278032252982281650810848899911772\ 7125734657021319918349610337588281367338396510999/41302682654008977\ 5211914358505280950297436453086347336063782578802289971137804490130\ 3203579099624227*c_1001_2^2 - 1263616452055339123127104672179382115\ 3433822899282566722051771961747282370651457840165060548086156577/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2 - 2767732833392162774690111105834666409429613996760186021401346945608\ 294098331467544274021581510860164/413026826540089775211914358505280\ 9502974364530863473360637825788022899711378044901303203579099624227\ , c_0101_5 + 174843398204610216542453628757481820028923369320822619931894\ 563647843860364012897141661353178242167063/330421461232071820169531\ 4868042247602379491624690778688510260630418319769102435921042562863\ 2796993816*c_1001_2^40 + 308190190891170709956724829806421418192055\ 7667227695654951300506220781220887178833351080185064004529299/33042\ 1461232071820169531486804224760237949162469077868851026063041831976\ 91024359210425628632796993816*c_1001_2^39 + 2296120738892100940287033764290265384415682947108366928884925949955\ 5173516068138514362615833438670629963/33042146123207182016953148680\ 4224760237949162469077868851026063041831976910243592104256286327969\ 93816*c_1001_2^38 + 44089984071563282854935177853641725853191382055\ 725103282176872459723581226897276475384704126457122756079/165210730\ 6160359100847657434021123801189745812345389344255130315209159884551\ 2179605212814316398496908*c_1001_2^37 + 8897870116258356451661073631167714452505128234058556103395376937201\ 1937474216662923205098925822208412601/33042146123207182016953148680\ 4224760237949162469077868851026063041831976910243592104256286327969\ 93816*c_1001_2^36 - 11488814809981139684976948396393508331127983849\ 17132497304342267591511162241154902479221524156729186150471/3304214\ 6123207182016953148680422476023794916246907786885102606304183197691\ 024359210425628632796993816*c_1001_2^35 - 9231643700058639814350771174965690328060472795722953495043510016430\ 946185180805889930909092090490773841589/330421461232071820169531486\ 8042247602379491624690778688510260630418319769102435921042562863279\ 6993816*c_1001_2^34 - 214652858183883314337258871126687505974827596\ 65011812036214604050584938566063282632153209904005025511389041/1652\ 1073061603591008476574340211238011897458123453893442551303152091598\ 845512179605212814316398496908*c_1001_2^33 - 1507503773642917942975758470482440086423465574795113457769252687572\ 08143325822227402931160839179203566420811/3304214612320718201695314\ 8680422476023794916246907786885102606304183197691024359210425628632\ 796993816*c_1001_2^32 - 5407402431351137312947594261632975162205259\ 8840889715151381228670249365953250772628898575144133553306494255/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^31 - 1052910766265392584136986625577904087681962303598829353753397690595\ 595453966857426696088359549027176935333755/330421461232071820169531\ 4868042247602379491624690778688510260630418319769102435921042562863\ 2796993816*c_1001_2^30 - 555170331949068907669937377103228111161784\ 611337856706352218888198534059958036950037139317794171980318133001/\ 8260536530801795504238287170105619005948729061726946721275651576045\ 799422756089802606407158199248454*c_1001_2^29 - 4115067730036407617164692949558324782997098571348762609001670154956\ 799013779391315551511528002308899729338465/330421461232071820169531\ 4868042247602379491624690778688510260630418319769102435921042562863\ 2796993816*c_1001_2^28 - 676319831297870299063955945340532803247720\ 7154536854737636296509186911896694509488847277275374036534369189253\ /330421461232071820169531486804224760237949162469077868851026063041\ 83197691024359210425628632796993816*c_1001_2^27 - 4960312190729652003021898761676331855981441202746690388847588702212\ 186001913534408907356268179675455385459577/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^26 - 130396625798426712642495544209246263701762\ 8882583715918467706573229034380585256827063952793994138066142795521\ 1/33042146123207182016953148680422476023794916246907786885102606304\ 183197691024359210425628632796993816*c_1001_2^25 - 1538801258849236039496125153515964334921326891719368220215467018164\ 3293295048650967894476425278516416763989919/33042146123207182016953\ 1486804224760237949162469077868851026063041831976910243592104256286\ 32796993816*c_1001_2^24 - 40769549884617093642721369342739524956664\ 9542158032336344990957597549490716239282764180665657591059848905432\ 1/82605365308017955042382871701056190059487290617269467212756515760\ 45799422756089802606407158199248454*c_1001_2^23 - 1937563696856889205309674110331094900808703571574347165579042643789\ 313256596777619728042809489894301618640330/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^22 - 1317308249491406387827187925167826070915257\ 6214386537472426294518781313136546441667704912325984624611704320635\ /330421461232071820169531486804224760237949162469077868851026063041\ 83197691024359210425628632796993816*c_1001_2^21 - 1245001626372674798536618323303776727703269678895442423791317490552\ 385796787557273650487531931185036640527809/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^20 - 3324543296732251287821130915363327421076007\ 270591815169461165243656387110264730752959263134281215558634528771/\ 1652107306160359100847657434021123801189745812345389344255130315209\ 1598845512179605212814316398496908*c_1001_2^19 - 1936278855474377647237187991116535228421046605956067572933467238118\ 654979001211992224769542050763534477290597/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^18 - 192510876484210403571842017971374768180819\ 8034075825011510374581522635493044639416804199305652391492154163821\ /330421461232071820169531486804224760237949162469077868851026063041\ 83197691024359210425628632796993816*c_1001_2^17 - 7738798597503711219997211762819586386770865353609023737375652731854\ 72393832715194031651632435031736813697091/3304214612320718201695314\ 8680422476023794916246907786885102606304183197691024359210425628632\ 796993816*c_1001_2^16 - 2605597413037741836009106074394124272201586\ 8362204877319936826289921376968012437956169137859287141454619655/41\ 3026826540089775211914358505280950297436453086347336063782578802289\ 9711378044901303203579099624227*c_1001_2^15 + 1334379133921858612474656317053314528327478120826824655036241797958\ 799292554384170764736986840224767249697/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^14 + 6150817120486465318768553459165352835870270162\ 1618984186285026689833457655955502913508914834918115791095967/33042\ 1461232071820169531486804224760237949162469077868851026063041831976\ 91024359210425628632796993816*c_1001_2^13 + 4820554011355170124311285887208163149227639831889261739198468787588\ 8640763836188479938866667317355307787273/33042146123207182016953148\ 6804224760237949162469077868851026063041831976910243592104256286327\ 96993816*c_1001_2^12 + 23632334640154052655153059084055180638886607\ 556059797219962177841835378373940663677138533044489079905907335/330\ 4214612320718201695314868042247602379491624690778688510260630418319\ 7691024359210425628632796993816*c_1001_2^11 + 6029575594258913127364228616177218204532040448731060623754054229339\ 394768858814198853105649480242009227201/330421461232071820169531486\ 8042247602379491624690778688510260630418319769102435921042562863279\ 6993816*c_1001_2^10 - 257235218086444020994226166778489624405900855\ 936687067535357102218933206815758210968255788395618713627095/826053\ 6530801795504238287170105619005948729061726946721275651576045799422\ 756089802606407158199248454*c_1001_2^9 - 4835339848540224695483760845675189710721178823017999022408622979575\ 90614096705841426484842408640055166999/8260536530801795504238287170\ 1056190059487290617269467212756515760457994227560898026064071581992\ 48454*c_1001_2^8 - 540822133765282180098461243887579445105354859007\ 071642520830547080242195569909063906793706729824714199777/165210730\ 6160359100847657434021123801189745812345389344255130315209159884551\ 2179605212814316398496908*c_1001_2^7 - 6025733497069367541259847224079290761031794967704213466810860321487\ 2015661566300206985397600405770719037/82605365308017955042382871701\ 0561900594872906172694672127565157604579942275608980260640715819924\ 8454*c_1001_2^6 - 4215579545602393963230993165833799610522406549048\ 3762626311914571093596654345386196840415175960063390957/33042146123\ 2071820169531486804224760237949162469077868851026063041831976910243\ 59210425628632796993816*c_1001_2^5 + 7548355490965734853017630918717264204145252456263861039763720623757\ 369623479269649877932150656359534957/826053653080179550423828717010\ 5619005948729061726946721275651576045799422756089802606407158199248\ 454*c_1001_2^4 - 39682688779972664410724904032714636201846825331633\ 8633860572645200782438863664732543063463008118630255/16521073061603\ 5910084765743402112380118974581234538934425513031520915988455121796\ 05212814316398496908*c_1001_2^3 + 507516369791297543693011501143624\ 2561539065709354158153553138353453689856877314845451743601497871359\ 17/8260536530801795504238287170105619005948729061726946721275651576\ 045799422756089802606407158199248454*c_1001_2^2 - 6142684180561046767235665131933832372042256191835891423845207613108\ 49208957323406695330557740210264427/3304214612320718201695314868042\ 2476023794916246907786885102606304183197691024359210425628632796993\ 816*c_1001_2 + 2253742872932565011377611518224212858037577217013361\ 48798429175523265590772491968377920514149149208377/3304214612320718\ 2016953148680422476023794916246907786885102606304183197691024359210\ 425628632796993816, c_0110_11 - 51088366997325305224428496087022951817993840812391942097151\ 253058750497778460609655700702441523855635/330421461232071820169531\ 4868042247602379491624690778688510260630418319769102435921042562863\ 2796993816*c_1001_2^40 - 938483506689190176540137539241195422425196\ 541561205047718955302000676505376810622952156927165616853803/330421\ 4612320718201695314868042247602379491624690778688510260630418319769\ 1024359210425628632796993816*c_1001_2^39 - 7382082615755721885444671171984432024898530741907212345733383016859\ 127934361863950805298404379237522243/330421461232071820169531486804\ 2247602379491624690778688510260630418319769102435921042562863279699\ 3816*c_1001_2^38 - 154079814691257933767110378154294055282211399965\ 87976124288286825216878815152369875446000145584508307427/1652107306\ 1603591008476574340211238011897458123453893442551303152091598845512\ 179605212814316398496908*c_1001_2^37 - 4561379751991128022327157701927320845470314218032830280130673573541\ 4689840994425736074547435490163881153/33042146123207182016953148680\ 4224760237949162469077868851026063041831976910243592104256286327969\ 93816*c_1001_2^36 + 31467177873024880110734383779351382088339650278\ 7811115298198957419144859842690946469115287101203118681167/33042146\ 1232071820169531486804224760237949162469077868851026063041831976910\ 24359210425628632796993816*c_1001_2^35 + 2945765585440302968021785056102825452134485357160597173707227502062\ 080322593696794882488212811625224544993/330421461232071820169531486\ 8042247602379491624690778688510260630418319769102435921042562863279\ 6993816*c_1001_2^34 + 728720749399175088142177052350357171942316969\ 9230551063744488692857958913701163970958327175256663704403565/16521\ 0730616035910084765743402112380118974581234538934425513031520915988\ 45512179605212814316398496908*c_1001_2^33 + 5356041221986329485934690800360038273711587492992976457057665170024\ 6309924220213266695793269214845778179703/33042146123207182016953148\ 6804224760237949162469077868851026063041831976910243592104256286327\ 96993816*c_1001_2^32 + 39995172249057325114110013270393907794120171\ 921927683071670365392916078126719083127314125741345456505220321/826\ 0536530801795504238287170105619005948729061726946721275651576045799\ 422756089802606407158199248454*c_1001_2^31 + 4044458850868352592434252846019805983496290035770712597935121185255\ 22025860621771620576335660809338478908327/3304214612320718201695314\ 8680422476023794916246907786885102606304183197691024359210425628632\ 796993816*c_1001_2^30 + 2213459259443461723111396921479791749009046\ 05056370778351339596951773322982900139305783414543835171162174587/8\ 2605365308017955042382871701056190059487290617269467212756515760457\ 99422756089802606407158199248454*c_1001_2^29 + 1702967056628118346012755687687350979649174384186880297054975714725\ 679812823559493251765336007003510931021205/330421461232071820169531\ 4868042247602379491624690778688510260630418319769102435921042562863\ 2796993816*c_1001_2^28 + 290656043293505267945157463249458249820196\ 8730022907212952762372804833655236760378056451140997584684110460885\ /330421461232071820169531486804224760237949162469077868851026063041\ 83197691024359210425628632796993816*c_1001_2^27 + 2215840617088852205663897958978515249325083773507520842557096428636\ 659232128307849841680477880197880458390919/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^26 + 606284374155104739588697621820995126810815\ 3239109095671353424232572887113858656668942898283956384025264164755\ /330421461232071820169531486804224760237949162469077868851026063041\ 83197691024359210425628632796993816*c_1001_2^25 + 7460238058268347747988059476416236852785935164026645652382319126664\ 590160274162591209740557933337814983152411/330421461232071820169531\ 4868042247602379491624690778688510260630418319769102435921042562863\ 2796993816*c_1001_2^24 + 206558697811988631621665247600847219569981\ 8447253754314583650313789351047456825024420201696883785377470037281\ /826053653080179550423828717010561900594872906172694672127565157604\ 5799422756089802606407158199248454*c_1001_2^23 + 1028649480707056453638475829577765760036399540943632409637578638423\ 685956241557608821879568472735410709584993/413026826540089775211914\ 3585052809502974364530863473360637825788022899711378044901303203579\ 099624227*c_1001_2^22 + 7351937073536868932259819561862844082553581\ 667952022209323081199363449085164090593945894288681380605731400791/\ 3304214612320718201695314868042247602379491624690778688510260630418\ 3197691024359210425628632796993816*c_1001_2^21 + 1466281225174974448736770578210166183528657294306187956286192436701\ 460718305425831966511707372632422293292873/826053653080179550423828\ 7170105619005948729061726946721275651576045799422756089802606407158\ 199248454*c_1001_2^20 + 2074314500537993749174221093940516565279665\ 620591850479136490473893562978541724465194102246414677772813061415/\ 1652107306160359100847657434021123801189745812345389344255130315209\ 1598845512179605212814316398496908*c_1001_2^19 + 1286392966092780309345754963424149158284240627141298365454879500880\ 476557271698600827232213886409143597877135/165210730616035910084765\ 7434021123801189745812345389344255130315209159884551217960521281431\ 6398496908*c_1001_2^18 + 137162312371815974056862001769521820271980\ 4498112767545322268316889412865443562236250436527280436393279343153\ /330421461232071820169531486804224760237949162469077868851026063041\ 83197691024359210425628632796993816*c_1001_2^17 + 6022491913343054846320861769510523515781974259402864581210000528233\ 44474284224368064000972080629934821353951/3304214612320718201695314\ 8680422476023794916246907786885102606304183197691024359210425628632\ 796993816*c_1001_2^16 + 4786104775428136349017404666060689617109331\ 0153547287658966853603751246472633129549436564500948525049351459/82\ 6053653080179550423828717010561900594872906172694672127565157604579\ 9422756089802606407158199248454*c_1001_2^15 + 1959277891114415506744743918308190598027235770532251660999654866490\ 155328120537254270270214399725850516183/413026826540089775211914358\ 5052809502974364530863473360637825788022899711378044901303203579099\ 624227*c_1001_2^14 - 3560207590315363186079588146941528121326550554\ 2136912677905312178607323649610412728217977617624583893673391/33042\ 1461232071820169531486804224760237949162469077868851026063041831976\ 91024359210425628632796993816*c_1001_2^13 - 3468623598296493620829093973513457780926139079895523486258128146736\ 7011561319129728395444124368120778385129/33042146123207182016953148\ 6804224760237949162469077868851026063041831976910243592104256286327\ 96993816*c_1001_2^12 - 19968076689759435112376718824616256006807739\ 331991526446106611530613023813921926784135415099853102318749043/330\ 4214612320718201695314868042247602379491624690778688510260630418319\ 7691024359210425628632796993816*c_1001_2^11 - 7287286787784519230991148001245603629153725113152719830838120313815\ 837055590800187853730452222732974728725/330421461232071820169531486\ 8042247602379491624690778688510260630418319769102435921042562863279\ 6993816*c_1001_2^10 - 820487524041497063760048595441116929086018256\ 68942526770975983301408832548120022179041667819409906343777/4130268\ 2654008977521191435850528095029743645308634733606378257880228997113\ 78044901303203579099624227*c_1001_2^9 + 3004714450706546730928413789301659567354517753347680026626786902902\ 58353349434604251254213571661206766425/8260536530801795504238287170\ 1056190059487290617269467212756515760457994227560898026064071581992\ 48454*c_1001_2^8 + 486326038847089392142957067062898568613546369510\ 630820116819313076496946205130999100505227496695989424219/165210730\ 6160359100847657434021123801189745812345389344255130315209159884551\ 2179605212814316398496908*c_1001_2^7 + 9381340139702071004747013081939260246210923258861297978532049475898\ 2786791048534878393878376759023860293/82605365308017955042382871701\ 0561900594872906172694672127565157604579942275608980260640715819924\ 8454*c_1001_2^6 + 6058969622199213357987510412060353712831636101477\ 1236814958331481496172190939923480271503568937387671501/33042146123\ 2071820169531486804224760237949162469077868851026063041831976910243\ 59210425628632796993816*c_1001_2^5 - 2295030339684283929283939253155268875262664368220801858691154653764\ 662108074166497425116817082914320065/413026826540089775211914358505\ 2809502974364530863473360637825788022899711378044901303203579099624\ 227*c_1001_2^4 - 75988678923175566261943198587956157372900429196309\ 35731075117058130416686562631075122362506378261694527/1652107306160\ 3591008476574340211238011897458123453893442551303152091598845512179\ 605212814316398496908*c_1001_2^3 - 3488452272883340330284094424471854416620320339959955211408631179871\ 29108690448504471785381497785670836/4130268265400897752119143585052\ 8095029743645308634733606378257880228997113780449013032035790996242\ 27*c_1001_2^2 - 156462944316888361027938592754798222524970965136259\ 571780688681159352180122686433342428594357970966789/330421461232071\ 8201695314868042247602379491624690778688510260630418319769102435921\ 0425628632796993816*c_1001_2 + 250590846393278276840330427968549451\ 828804077938072622213600587806730020442027021140453868051837602731/\ 3304214612320718201695314868042247602379491624690778688510260630418\ 3197691024359210425628632796993816, c_1001_13 + 1, c_1001_2^41 + 18*c_1001_2^40 + 138*c_1001_2^39 + 555*c_1001_2^38 + 709*c_1001_2^37 - 6338*c_1001_2^36 - 55224*c_1001_2^35 - 265897*c_1001_2^34 - 958651*c_1001_2^33 - 2817385*c_1001_2^32 - 7018057*c_1001_2^31 - 15149873*c_1001_2^30 - 28748715*c_1001_2^29 - 48423918*c_1001_2^28 - 72875985*c_1001_2^27 - 98410427*c_1001_2^26 - 119514642*c_1001_2^25 - 130610565*c_1001_2^24 - 128318716*c_1001_2^23 - 113023565*c_1001_2^22 - 88832089*c_1001_2^21 - 61838374*c_1001_2^20 - 37673860*c_1001_2^19 - 19658941*c_1001_2^18 - 8364456*c_1001_2^17 - 2477969*c_1001_2^16 - 43708*c_1001_2^15 + 605269*c_1001_2^14 + 531784*c_1001_2^13 + 290812*c_1001_2^12 + 98256*c_1001_2^11 + 4279*c_1001_2^10 - 19484*c_1001_2^9 - 14486*c_1001_2^8 - 5198*c_1001_2^7 - 883*c_1001_2^6 + 361*c_1001_2^5 + 202*c_1001_2^4 + 66*c_1001_2^3 - c_1001_2^2 - 2*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.500 Total time: 6.710 seconds, Total memory usage: 85.00MB