Magma V2.19-8 Tue Aug 20 2013 18:29:23 on localhost [Seed = 206418843] Type ? for help. Type -D to quit. Loading file "11_490__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_490 geometric_solution 12.87983706 oriented_manifold CS_known -0.0000000000000017 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 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.233633417963 0.514380553932 0 4 2 0 0132 0132 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.899591502551 0.603800304242 1 3 5 0 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.028518915832 0.910493426849 5 2 0 6 0132 0132 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 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.575309353932 1.710286816682 7 1 7 8 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 -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 3 -3 3 0 -3 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245483342084 1.058482199022 3 8 6 2 0132 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607791815575 1.094103015410 9 8 3 5 0132 2310 0132 0132 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 0 -1 0 -3 0 3 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.050457793863 0.665775025259 4 4 9 10 0132 1230 3012 0132 0 0 0 0 0 -1 1 0 1 0 -1 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 3 -3 0 -3 0 3 0 1 0 0 -1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446544126124 0.626439461105 11 5 4 6 0132 2103 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 -3 0 0 3 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793745458161 1.323258241162 6 7 12 12 0132 1230 2103 0132 0 0 0 0 0 1 -1 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 -3 3 0 -1 0 0 1 0 -3 0 3 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497756031943 0.654285024936 13 13 7 11 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 3 0 0 -3 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.017815481093 0.778490721503 8 10 13 12 0132 1302 3120 2031 0 0 0 0 0 0 0 0 -1 0 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 -1 0 1 3 0 0 -3 -1 1 0 0 1 3 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766771641733 0.556102791345 9 11 9 13 2103 1302 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 -1 1 -3 -1 0 4 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263511044573 0.968092124742 10 12 11 10 0132 2310 3120 2031 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 1 0 0 -1 0 -1 0 1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625302803296 0.495622178038 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : d['c_0101_13'], 'c_1001_10' : d['c_0101_10'], 'c_1001_13' : negation(d['c_0101_13']), 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : d['c_0011_2'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_12'], 'c_1001_8' : d['c_0011_2'], 'c_1010_13' : d['c_0011_10'], 'c_1010_12' : d['c_0101_13'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_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' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_6']), 'c_0011_13' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_13']), 'c_1100_10' : negation(d['c_0011_12']), 'c_1100_13' : negation(d['c_0011_11']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_1001_2'], 's_0_13' : d['1'], '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_0'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_1001_2']), 's_3_1' : d['1'], 's_2_8' : 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_0011_10'], 's_1_7' : negation(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' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : d['c_0101_10'], 'c_0110_12' : negation(d['c_0011_10']), 'c_1010_4' : d['c_0011_2'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], '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_12'], 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_12'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_12']})} 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_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_13, c_0101_7, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 45 Groebner basis: [ t + 3218106036145588877139487066919283375690948963219086089608251441979\ 9120916528636426286643152507166431202018032127557798730506903/52622\ 9042548327681759041942116816063102284261836314857137216317030028979\ 029630538249001041742667894926775195891734341445488836000*c_1001_2^\ 44 - 20628204792019092849579535711400169018384379568122111583944697\ 237029062313334833706247012766052901343552084223897756156898588121/\ 2104916170193310727036167768467264252409137047345259428548865268120\ 1159161185221529960041669706715797071007835669373657819553440*c_100\ 1_2^43 + 2382516199119954962851316605244897796306803581293015722071\ 6898325691873241859503102851866307561939148475148268417586046505647\ 5871/10524580850966553635180838842336321262045685236726297142744326\ 3406005795805926107649800208348533578985355039178346868289097767200\ *c_1001_2^42 - 1561645556159069386209450716437740974257423084680671\ 8370743995940806857408619016426399414281916324828165588362842870066\ 0422545287/16444657579635240054970060691150501971946383182384839285\ 5380099071884055946759543202812825544583717164617248716166981701715\ 26125*c_1001_2^41 + 98747438840684632816552637122243192897339025142\ 7325534859642589084634145338647946014663710173648978918848332534547\ 3652627304890347/52622904254832768175904194211681606310228426183631\ 4857137216317030028979029630538249001041742667894926775195891734341\ 445488836000*c_1001_2^40 - 8668462012289800381856114897540497599047\ 5957110350438283528349047802449144810966784882539674942526851402386\ 5521902011464778167/38382862330293776933555210949439537790100967311\ 1827029275868940211545571866980698941649191643083803739442156011476\ 543723916000*c_1001_2^39 + 8160395842703148865464190969521945641283\ 1251922828210116584419298675177499168865520746201383991451125567800\ 459529566006414270053/974498226941347558813040633549659376115341225\ 6228052909948450315370907019067232189796315587827183239384725849846\ 932248990534000*c_1001_2^38 + 1697171144541349865049589756932423055\ 3915806707404453544462465572911907267456064435140518429466006917513\ 8620021481606237799188308577/52622904254832768175904194211681606310\ 2284261836314857137216317030028979029630538249001041742667894926775\ 195891734341445488836000*c_1001_2^37 - 1569605254091911919710471613791579813347685188093599754083501820729\ 01896496221999452860991618950961356169631062865288760496723645627/2\ 6311452127416384087952097105840803155114213091815742856860815851501\ 4489514815269124500520871333947463387597945867170722744418000*c_100\ 1_2^36 + 5028019961226637110039717797388272295872843264285945496373\ 5568202511047202728609917098641325423189128081378437860992833928677\ 1519/36954286695809528213415866721686521285272771196370425360759572\ 8251424844824178748770365900100188128459814042058802206071270250*c_\ 1001_2^35 - 3667927714438037465094056045103768180661139620575099792\ 3561068299848615542291657737512238350168891829271669955721892877964\ 9867318897/13155726063708192043976048552920401577557106545907871428\ 4304079257507244757407634562250260435666973731693798972933585361372\ 209000*c_1001_2^34 - 5629147752760872552417045906985802065092307626\ 5902899429564634573626733091644249510872830635314983477411431756736\ 2029476944016233439/52622904254832768175904194211681606310228426183\ 6314857137216317030028979029630538249001041742667894926775195891734\ 341445488836000*c_1001_2^33 + 9280601503537064129359725645891155595\ 5331897822286117243922264928475653376661386984851582857758347793543\ 79154515865202005501475721/2769626539728040430310747063772716121590\ 9697991384992480906121948948893633138449381526370618035152364567115\ 573249175865552044000*c_1001_2^32 - 1320060153565046797464666082420740679972432223097857980027828359045\ 4046765948762664007552795438028300559774815197584822748448003357/55\ 3925307945608086062149412754543224318193959827699849618122438978977\ 872662768987630527412360703047291342311464983517311040880*c_1001_2^\ 31 + 54861816945929148399257320970300604019347134198917813739260481\ 4197788990152429322987614714649048971899162869845477264176004772208\ 2153/13155726063708192043976048552920401577557106545907871428430407\ 9257507244757407634562250260435666973731693798972933585361372209000\ *c_1001_2^30 - 1203207662309373733266021869332102524106464143481144\ 2320960834563507547122249376872851017012143633441857270233463447945\ 291904411684833/175409680849442560586347314038938687700761420612104\ 9523790721056766763263432101794163336805808892983089250652972447804\ 81829612000*c_1001_2^29 + 45151741334584406815798498156528292555739\ 1786577207949161895951982290117685400553392080655154516554245579814\ 4078439883095835046221081/32889315159270480109940121382301003943892\ 7663647696785710760198143768111893519086405625651089167434329234497\ 43233396340343052250*c_1001_2^28 - 6448540604047319791489356739257691122453273944680609459951871363519\ 9139028169187170453962599711554894593588789958299876818942707755/42\ 0983234038662145407233553693452850481827409469051885709773053624023\ 1832237044305992008333941343159414201567133874731563910688*c_1001_2\ ^27 + 1950216041602450078944148515524674416593002862330288143963070\ 6221366706888348500220500762626130168369459038108523735551230537485\ 105057/263114521274163840879520971058408031551142130918157428568608\ 1585150144895148152691245005208713339474633875979458671707227444180\ 00*c_1001_2^26 + 10099547302972059362181583557285992680973531671195\ 4230950015916797283029924539161330926280290154769474783151806608485\ 300236347595471719/263114521274163840879520971058408031551142130918\ 1574285686081585150144895148152691245005208713339474633875979458671\ 70722744418000*c_1001_2^25 - 43017591017495488662257054829969534513\ 9792858718155725317951833975125356682200983171129027249117272181113\ 97402121291170473948109876299/6577863031854096021988024276460200788\ 7785532729539357142152039628753622378703817281125130217833486865846\ 899486466792680686104500*c_1001_2^24 + 1404269534226049700792492903820249029591602476273371576582137906431\ 9533877406383493192460494248065732186294159130616419999041401548981\ 7/13155726063708192043976048552920401577557106545907871428430407925\ 7507244757407634562250260435666973731693798972933585361372209000*c_\ 1001_2^23 - 4920099558595501423630856132626411950845033112696596857\ 7555966902999399679732967937479910006601481411367942522174864339851\ 1713991291691/26311452127416384087952097105840803155114213091815742\ 8568608158515014489514815269124500520871333947463387597945867170722\ 744418000*c_1001_2^22 + 6579948563558347394808562370500339075863566\ 2087239117334079353154258811383199030456220892831126342143116108868\ 0083297140405113914348769/52622904254832768175904194211681606310228\ 4261836314857137216317030028979029630538249001041742667894926775195\ 891734341445488836000*c_1001_2^21 - 1550428672415012183653020054842286242762347877699863291510977624296\ 2866369410611332142183168420718949286572337853772319270941740126281\ 7/13155726063708192043976048552920401577557106545907871428430407925\ 7507244757407634562250260435666973731693798972933585361372209000*c_\ 1001_2^20 + 3631604085763650944096952728914533180224301680297579133\ 5400355528613121632533871778710758522024070691049470872214553801891\ 55533059161/9744982269413475588130406335496593761153412256228052909\ 9484503153709070190672321897963155878271832393847258498469322489905\ 34000*c_1001_2^19 + 61598393452982465477973151705630062321677787691\ 8272211092131139204820710345150525545847705354979198154957858272451\ 876591375959178320643/131557260637081920439760485529204015775571065\ 4590787142843040792575072447574076345622502604356669737316937989729\ 33585361372209000*c_1001_2^18 - 92702046634703765616264326378129200\ 1357676846101282092921944995361361816955439714410576767663249163571\ 33957097340650667526745810851049/2631145212741638408795209710584080\ 3155114213091815742856860815851501448951481526912450052087133394746\ 3387597945867170722744418000*c_1001_2^17 + 6404236414285837601323718249971022052843599130663709203383501406545\ 8166379272992477985442840882516577659011948368218421648212519235892\ 3/43852420212360640146586828509734671925190355153026238094768026419\ 169081585802544854083420145222324577231266324311195120457403000*c_1\ 001_2^16 + 90921846649710358334751339259250975575077503667736968577\ 2836963212881802507305258546246207288663149802198392183174925745904\ 83824446659/1052458085096655363518083884233632126204568523672629714\ 2744326340600579580592610764980020834853357898535503917834686828909\ 7767200*c_1001_2^15 + 112955698404007082243090136243431767989454088\ 6165898445164409398145571456709683023530229704487653957782295003772\ 6068456803378318082073039/52622904254832768175904194211681606310228\ 4261836314857137216317030028979029630538249001041742667894926775195\ 891734341445488836000*c_1001_2^14 + 8527606016435938548145285764360934336874324568150100056518120708561\ 2594374514821125197765971778671247711761227216764910184393488894321\ 9/26311452127416384087952097105840803155114213091815742856860815851\ 5014489514815269124500520871333947463387597945867170722744418000*c_\ 1001_2^13 + 5162651304938245084563918798345753509501603848693601602\ 1951684709034422306874459314391745669045070291353207349728651414390\ 39575499641463/2631145212741638408795209710584080315511421309181574\ 2856860815851501448951481526912450052087133394746338759794586717072\ 2744418000*c_1001_2^12 + 215770570132646390122974807318710923924363\ 6635200360477368113491612600856066101159921083997154202478773332322\ 124869944494306981393952127/526229042548327681759041942116816063102\ 2842618363148571372163170300289790296305382490010417426678949267751\ 95891734341445488836000*c_1001_2^11 + 1018287694077858199099732150438250945579439001160871059194420505211\ 5331020459637298602633373889535021091158039190928659729217172641504\ /865508293665012634472108457428973787997178062230781015028316310904\ 652926035576543172699081813598511392722361664036745798501375*c_1001\ _2^10 + 73796903834728473401833608452674017370157138869047814227147\ 7005549473975463074763960490153626709523806707627655540662855946036\ 31084633/2631145212741638408795209710584080315511421309181574285686\ 0815851501448951481526912450052087133394746338759794586717072274441\ 800*c_1001_2^9 + 54064733400398692246452880593704202508858817060050\ 9250308102369383427650019872908898465037147738917475167455733577353\ 61233061815056441/1169397872329617070575648760259591251338409470747\ 3663491938140378445088422880678627755578705392619887261671019816318\ 698788640800*c_1001_2^8 + 11470068304930388705935194025875031962741\ 7716237272557930684690203355421842961020465201894743649298297683106\ 1713124242973457869451091/10257876073066816408558322458417467117003\ 5918486611083262615266477588494937549812524171743029759823572470798\ 4194413920946372000*c_1001_2^7 + 2037572217579162927020756019846266\ 3193087381531738852549024409280313991892401470371715396513999559857\ 4517957001141850802446138484193847/17540968084944256058634731403893\ 8687700761420612104952379072105676676326343210179416333680580889298\ 308925065297244780481829612000*c_1001_2^6 + 1348002391858337085603313884556973419166890088535016841349471876185\ 4505168560143522248115658801406658958739442835889729398862175159193\ 7/52622904254832768175904194211681606310228426183631485713721631703\ 0028979029630538249001041742667894926775195891734341445488836000*c_\ 1001_2^5 + 23490965220565354329989693467739871788419572236326196123\ 2915482836701319184710780628905328345536191672971562211881025370006\ 01882366369/1315572606370819204397604855292040157755710654590787142\ 8430407925750724475740763456225026043566697373169379897293358536137\ 2209000*c_1001_2^4 + 4161705659574214325913253138034424401543855107\ 8041373352559475406438688429030871479756587619748246184132627083444\ 92528397007717455461/1315572606370819204397604855292040157755710654\ 5907871428430407925750724475740763456225026043566697373169379897293\ 3585361372209000*c_1001_2^3 + 3837699000481111766079708534951104908\ 2384203015049227040374909256908674492752572410234956353883834528764\ 8046844734014916765967473827/26311452127416384087952097105840803155\ 1142130918157428568608158515014489514815269124500520871333947463387\ 59794586717072274441800*c_1001_2^2 + 1017587931790610107906148165146857453632999897573126063214237413293\ 58308792981661424691980249786320661153651110791269022241042904017/5\ 8469893616480853528782438012979562566920473537368317459690701892225\ 442114403393138777893526963099436308355099081593493943204000*c_1001\ _2 + 90206116621649992307087694402432885497163990370047217119674875\ 5669682621812510707779646399158082570429983101480789462460050028563\ 73/5262290425483276817590419421168160631022842618363148571372163170\ 30028979029630538249001041742667894926775195891734341445488836000, c_0011_0 - 1, c_0011_10 + 32713790196524660164937045586938491238873011356742740440501\ 5320593994640563260992076699829296977461337405178815/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^44 + 4841829105058315385265396749390620887459780658890859742941525724662\ 066578263821532438033879302202461209077106759/106132885851761927483\ 9644102566072155576292433302624917865808856731489562842682001613429\ 140244981183347022586403628*c_1001_2^43 - 5655966997835872674794911469809597756567181655115520984225200094978\ 979630268569123632536939819626143523732359581/106132885851761927483\ 9644102566072155576292433302624917865808856731489562842682001613429\ 140244981183347022586403628*c_1001_2^42 + 9762944958727977253468827814169781366257660967281481024199491823567\ 178900454398675896073906594689847676193115908/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^41 - 9678699143945065950567108995270545323067452716298158051383359842617\ 6453561087913130758243013767598811717692665857/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^40 - 7020621709369865171941443845178431924297396497588980355325337809794\ 5899401253149439409688113876302010153562874769/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^39 - 1251542145887168766813603361680181395865600647629731725746035881210\ 34090892696512155791098919496695171157833499921/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^38 - 1681483020163243951956918977029325495634346855922543950918201871474\ 235352085711276875054393130903831432542499651895/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^37 + 1109817104990254017894797472326644282288699880590626215438941164733\ 502644621420175990503003403395106820763661764807/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2^36 - 1107749022449725920423175690289783889391623600173807939922208171178\ 854681373060590712242920261266291383171973607624/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 + 3713438292274920469345328015356035013789185441027494534310384812638\ 314634742731616725797587652921950801961494839465/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 + 1666724807588154338237380324896230752454742428323948132450127532053\ 1758588085896583662390528296748489370482708663657/10613288585176192\ 7483964410256607215557629243330262491786580885673148956284268200161\ 3429140244981183347022586403628*c_1001_2^33 + 1237623039112427533735725149351702066152350539623752685714302178972\ 1872828243240645642050832439254671604934309540999/10613288585176192\ 7483964410256607215557629243330262491786580885673148956284268200161\ 3429140244981183347022586403628*c_1001_2^32 + 5940636200038973820692285859298166743252303061004152356736061505517\ 0779157445269087112694810003742290595177017017543/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^31 - 4164502913416498976968248705562222317735322249055198368877587359073\ 9362358141833285588485562829281418012905374122711/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^30 + 1888087653997391420992647596728738918848476313967222281296373373353\ 93642353333353286511863110031446001142808286693065/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^29 - 1617374331341355893275489166394681396203192254475400933539895132058\ 26993645119619098582683506264587801307690332636978/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^28 - 4041746801457402231245444956691366911422667505715692110420333610012\ 24535222221985763120505157627764658764103260121187/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^27 - 2431552368042866872633644641043084739331441162005433230424985552240\ 78689804186701979459149967692817323213766804681991/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^26 - 1052856381185084926007641953402344867403367233288416901119042502338\ 388150614909694213180949088966516592898290336496135/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^25 + 6580526161804410389380918756305106718205525449811358835523290586059\ 24312221300670992849388654174569223017774324395607/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^24 - 7834585539067870226772743550802967678001023252657721688200015607302\ 32925912527494041177565783407613995326472578743511/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^23 + 3691853911681390990897540698171684884941782421624140839224754647350\ 011929338916581966951854959589598509507585048491347/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^22 - 1266672764460560646431312866510778563860807436651099530533721945552\ 328976100919583573987919700021194903682772752836967/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^21 + 2921953615244081122433670237207790664925524148127488159562105345535\ 31473061475073791296384040244045429629904704860140/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^20 - 1276918090424255369754391159301237671747325411559481350112672715206\ 939470520787191347929910931964291647686265186903009/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^19 - 8029354803498660459228352960901240328949370312906079509535153932747\ 471694096895875875310509736347231367709590133573954/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^18 - 1051905466277408374969137559071935285663457933479942974041555189503\ 4788060611759630722827594810112065546987997896745903/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^17 - 2122077166814383745401638360531629269613716281972467828640166066844\ 0086184926361246370114354850830142310071534820090713/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^16 - 5590169250885041501881754926808902977911795575175727212134990986220\ 3341681489052379673137094995266382236371942246232329/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^15 - 1192200620343197380380376103340955972875313513094163418575309702166\ 91455005937931998407210067218888453288399257596487625/1061328858517\ 6192748396441025660721555762924333026249178658088567314895628426820\ 01613429140244981183347022586403628*c_1001_2^14 - 3968400558223147497544735712056356955052491234819171346686562680835\ 0530800548545917525434673587221072305189596800633537/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^13 - 5357351537292597219221113521749533523083186630935312836488736365933\ 5033445290628025037403651633875804362208668948861747/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^12 - 6911206426954771335581963981935924923161013892977511896670634660381\ 2528161841140636276571995830043019980293914316496901/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^11 - 1607459641575493759907118795855027538656891196961367064927287442295\ 9723613670378447361897176193761117539111054900363961/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^10 - 9595722635307450160065425762499264006457407609659436391454569162306\ 754474055678663434807013193607927495253930240443484/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^9 - 2576367707958358807940300170454382328009175497239276996042669700092\ 4228061701014177446232077614174074223821992057214423/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^8 - 1363531443773282699717115956725330354043059479000730243166706105929\ 9424418754898941072610581471450259902147226479074113/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^7 - 6724958536972431806417786550645934051851715474051161548667022011430\ 396835921583912390213845490405479510300655189694103/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^6 - 3036845733779225536663516510451862280052036125862045665459604933709\ 826325036384703345817828262170743065238894282890987/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^5 - 2712165904915695859081054885305852951878783942684097763813525494199\ 61131551802172254950487599914545526486022877761943/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^4 - 9846405105533965383730388446450152935499201498413838767798835752783\ 5664074375161312211486614007884328855413595683422/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 - 2390081054889073638926008878316427029312641768545505465687311746429\ 0597735344382636997619189055880664571383612516176/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^2 - 2344387850898057430294869357366094083325042639832013085177306864576\ 3848792119032238927460656199984282095260033900959/10613288585176192\ 7483964410256607215557629243330262491786580885673148956284268200161\ 3429140244981183347022586403628*c_1001_2 - 2610041592100508707280991321872679062161173067290755480078685402825\ 710767163855940911694396587422335597802674503219/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628, c_0011_11 + 65765721509699353840462026206901290554585700524393068243269\ 8510010162553113194590520866800844003688066294754658/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^44 - 8021342694755430259972876024225270180994693616657658908532613411122\ 54560268773700020079560045935618586408857716/2653322146294048187099\ 1102564151803889407310832565622946645221418287239071067050040335728\ 5061245295836755646600907*c_1001_2^43 + 5212336080231577195168096769292359605873058931995622421121458647968\ 327450048196384160524783879614910309260566889/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^42 - 9931215922388580453488698859287766361922670891816391571487682620072\ 958356597212912281542870861049644705377644441/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^41 - 1050160894199794604047077130563296506583857635660574588864574303712\ 4838918774975331742725679354635700147571269142/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^40 - 2324629251167422682041411067221706135545220128695519037093645466342\ 9321124509760722394346371332359108558557329632/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^39 - 2275414616499134478009432088869060519441374998886501330233178440395\ 65048083455872424203751594902907464381261656731/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^38 + 2363673929837195790648616815254000693557330568891636450776114859888\ 59506753241656200416292158598231066440638478345/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^37 - 5574848807231853899632520649712179960946912483273890680498711455732\ 48223967151894941982515557561633622969482106367/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^36 + 1611329643629932018287424035267420693873476914897728180796708713140\ 927037632957839173030300186304772650515334533211/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 + 2401436455370640760544239679282217266539077262086281256952551428307\ 757202204366294752301686012489266940018112422745/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 + 1689209196487256283881788729189946660146925883308442338208477781672\ 401661284820475746351167740215660285492813553274/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^33 + 1562965494545414447401533235667405644504910966276167703226149663807\ 7814987168030127166362899792722147612687472336574/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^32 - 1755402014886198761537357209555446435906862181648163241993219449781\ 1338863900248891050947300579122829813046122856930/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^31 + 2165471618345518960612921157139017278092523588857182181223218141272\ 5180799141426198575435205540859836229964773764996/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^30 - 7612105294651428180340669870530588420533072028234767363340269063501\ 5636376144241418948463343407760713487844688850630/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^29 - 6110283155075429576771900770699772501087232404842722615464205030964\ 2900992892693028758078954765800858049559841570817/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^28 - 7767581834303134859172868082975554925665835750813044345917520184018\ 7239159683865731541921963639898256313056838745321/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^27 - 2666677373028005013404248671078773159989214547224618535595767343988\ 53587273181900422526619778987023585822047371917340/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^26 + 2709712245426347406773840413224837716291193129891285342775187299575\ 48876042108128859606063592859885084525026421331962/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^25 - 3305642131702126632662442856861157479058318154776490754244691151480\ 33459865899605490117854326785177734483579094357487/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^24 + 9139804973182515668014453963831683120308435265550160396601211898512\ 81038796402789781467392471380507455648086350525426/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^23 - 4625156754130796055167722997019222795291818537239570560024971275049\ 7422256430618779487783272532177038823189729848932/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^22 + 3515220704848068104487012865280978192887702958252397382602939446078\ 03271809618271593843940747942476337082453857866256/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^21 - 4469951786239104446303364180000167590203341734431060813166198428854\ 88234855998508588889764838967722215264587151142713/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^20 - 3767047250260906194599377339162028774798326027436567785632260529552\ 554198886252079280245870561816178173633134718866458/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^19 - 3367959535230669149251338637468577048427755759007941615059451774351\ 681365764079534856008832910107413818860246070370407/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^18 - 1100371054514895708457278408584059385779191533850197850307986149447\ 2057153596042391687121682672779414459203204789581228/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^17 - 8048587586803745826333451722346100323935344282576791806186612941945\ 764015213861907000696536770729248330917800727584209/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^16 - 1626742190116153616496247078169191523440014762012944197671828141132\ 4861299901485841655916938726277167178042343633546469/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^15 - 1025779301709654470251338580709394945092588695319446525531651454239\ 9215837892954064893320403065722124425558883636524942/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^14 - 1495177544684655869477254958070984999902167730746904764569906358469\ 2729250079534823748850825741732974235044542989661193/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^13 - 7698007898584820422515390656788742648091971362773884165929511997747\ 087825030344357016922723815662638713693919514238040/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^12 - 8841303613158956829720936494058612261400527313181869170257686042436\ 408917606017271082263825544636790234749710770284291/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^11 - 3329408411112229079732242073450140673098465681181389115359119687878\ 547445790045508956416261031460720122318059088368641/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^10 - 3318114282010178588145623178010666472935585333174676733306526131858\ 346243190589255649498099431499680987065474796299702/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^9 - 7180912200153059700518102884832711683826482868387621988871268999277\ 59573284897599562588506482602788849926095744923721/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^8 - 7774024901121712098001446669131128483283986500222934724423778691108\ 84297941750968817653822440479576982759528501820001/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^7 - 3227836233245528392961456459681224728943357687887427836595897878833\ 5099980328501304376499201804034549331932288181695/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^6 - 1212309268110646870643729338288690419043089468240788113789686291840\ 78312599812453652832856343173811167924258543549414/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^5 + 1433792046885622405122023884056139757631591344463419810351425917734\ 8834482079752897066306901867601608160291081132150/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^4 - 1558211875148513766022192263008652440454629375927608736951532313339\ 5283215570102171047742809732655849101491099380777/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 + 3059299436508342529621480302007802518249141352237462955457862521833\ 308507641297897326169503561118014452107918509498/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^2 - 1323769815308154257328003123883108685074644471686879190797217156493\ 718976304086363467971909342170468460336756757038/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2 + 7159676496697530588536184122855552474731580364696542885384476262554\ 4886053505694681262339999767436339278548150790/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907, c_0011_12 - 12914370948868352511978838464165696515300198648937956103030\ 532667223899945685663647558895736773700842033953407609/106132885851\ 7619274839644102566072155576292433302624917865808856731489562842682\ 001613429140244981183347022586403628*c_1001_2^44 + 2662696442298018687337828178757004025142469344775863143569793283386\ 0226865957153280068935265343791565035392305019/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^43 - 1218050138176997721110891138664131266688620609974711297678931397621\ 68886333500377444214356133066586698980691460825/1061328858517619274\ 8396441025660721555762924333026249178658088567314895628426820016134\ 29140244981183347022586403628*c_1001_2^42 + 7175220174730250565233573319703252108762027498435917809049717062564\ 4515699072754466254401105876918537667044347686/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^41 - 5332368122591819750472678513402784070907118544240762906690915481357\ 08865791228246938017799029180305081981122273/1061328858517619274839\ 6441025660721555762924333026249178658088567314895628426820016134291\ 40244981183347022586403628*c_1001_2^40 + 3544609256397828598476771346019428250885511050119413381170012293664\ 16217912627701778877583899602877656902128519959/1061328858517619274\ 8396441025660721555762924333026249178658088567314895628426820016134\ 29140244981183347022586403628*c_1001_2^39 + 2123754262462511706701444707780676431414826706161381045464256641334\ 605021561237910698743599795920682970906307688605/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2^38 - 8245391781806928106200403251085859269996402766277023972968015393247\ 470265140886743073108974518992100711738292949683/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^37 + 8516531361851056290511918124378332262034416760336319748656772618076\ 214759260712001912200947416763170789562946894477/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2^36 - 1065085441634922691214348345568817920734416926168274383478214564094\ 0431055256557985884492162785821247760268170024082/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^35 - 4332300571526160837148025004371545370492495679700364366092517298890\ 566618832443788654758392290564241160068392917244/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 - 4669977525646464358823429574713913649623802780693300207996679874643\ 949020661037161279454266395760450143260567709231/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^33 - 3107534223820894509296246674800937791229317835331674266650024757825\ 10932009411269907359895782563442218941040344363553/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^32 + 2970837944443055080895075403854381037370217686690250276443594336101\ 83944655357450385657377135444861998858841034652861/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^31 - 2145032845758889128090385841244463964215567443581992109886791685456\ 30389808223138300718954725431878139316141440306809/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^30 + 1979644363096151852840786470361108015133072409080816880921842480893\ 839161701145832231127779514506690575355209729108489/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^29 - 2889997691949597710494342694029208609118501028649492058113353398534\ 9732518030816649616159336455406934910321584342067/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^28 + 9933778113081416463550649473545155738247913279985766058969446948232\ 20549451662842075697491993309197302501677946814993/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^27 + 2480608892857243129253992334201169138050059368553264939250337957252\ 572985526469784975025312468164076166360341798683223/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^26 - 4726651605976329183344263572561581469985696848016592075989997107369\ 105942781047770298627429933031516632251895162026885/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^25 + 3400405095787695407924743592844459771426131618537744919006030316621\ 760394118582623671732234064670218918855283796263625/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^24 - 6395123438409369826457497234697623518594595449598502846435675803940\ 379040550550061643247581551105132077624694574335576/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^23 + 8418562060290508657487909169548199427165800222846154940762289399437\ 045108285957746224818538406431408444701024035740681/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^22 - 1247571118308035985947546269895899849793322422994034975620507649081\ 7417290516494415410245158412095517342144318672541167/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^21 + 2233163592694281722066678197309065906222649889707618159701126868354\ 649111778976326765423405527966032950259685595481683/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^20 + 3559896769062033213966286571656871490365531797737476385885264335158\ 6204727898319302926270927835471719039503624128597829/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^19 + 7179803518119639800803492239077771491400524627131037931596051849182\ 70851384345615865095722714718044611357629354111177/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^18 + 9999661495083545879836145458295873324055035461189594671230554197581\ 7607519988172275930826029662532271921000835719208609/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^17 + 3545780239114709290408580080154570651445756658465228208337877671627\ 723311986449199327311853240869041171621305254592522/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^16 + 2742656780592361283713709762074476442230685350646620170907684865380\ 62223884333913146529246037681154112122802365705908127/1061328858517\ 6192748396441025660721555762924333026249178658088567314895628426820\ 01613429140244981183347022586403628*c_1001_2^15 + 3136812715903674335829041692247468235831825490700814887840672620421\ 0819225953512554314739819559999647900533036781059147/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^14 + 1166664834985962626064615117661575188599114023654697745986970100754\ 81701345463568921664284651853582269270564866574998291/5306644292588\ 0963741982205128303607778814621665131245893290442836574478142134100\ 0806714570122490591673511293201814*c_1001_2^13 + 1586542379502446178442238110878171407168664059446071594023674566424\ 4535866515787774599354263749702526505782860089767141/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^12 + 1291668507452369123094328289849972962364672844894515870275876490644\ 11840196599242147235546924174262881517139720328764795/1061328858517\ 6192748396441025660721555762924333026249178658088567314895628426820\ 01613429140244981183347022586403628*c_1001_2^11 + 4337810613986304126288950144620117603109827693799476742026548376115\ 787015431981633421858132336231767849624707096092765/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^10 + 1164455030978231519863082771764028466855305380199021938457479291375\ 2342352462483906807525447147601735083440136055062553/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^9 + 5347941366023970651434396879312098690362766380111426115024502557426\ 600760032811312572790318440575006024561417575837897/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^8 + 1077173037480608233207144598348011864695016218947588263251676800221\ 9894258136182531304143774372338745856533380003551355/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^7 + 9874849386935269582809947248962313614732702646058611550421898942172\ 12734978592453333028695543988666757917812121722025/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^6 + 1548953241700196356524327109274447972230444096236913509132488519828\ 866027700083658701957214530035385561148568860245249/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^5 + 3615988008281852117653487383141933793518728704855882500623690070581\ 6948040921580673455549747897573293225382965175331/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^4 + 3078242497288665391095832323024185289240947596426375966177504960702\ 9156225617736269993119405330269161658382381952908/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 + 5716385674037765284725769813763782364657107040909336373889696779068\ 225856122814909500978793724341513096818551579433/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^2 + 3201166783785257174448581047453404369025608412219374410484573192756\ 649317058577891441831503227647137513571352672801/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2 + 2324997818195197269356813216676164070340777911020642749589674105635\ 757923194726459788773944453354666561003389596909/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628, c_0011_2 + 255059833703039416800752366964871140684009001739787965000765\ 7899850425262523738170034209146826866105821837395359/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^44 - 4277551583912608300306039467785865284510620360236661098390954563110\ 713913380644773282549555986422619381242861157/106132885851761927483\ 9644102566072155576292433302624917865808856731489562842682001613429\ 140244981183347022586403628*c_1001_2^43 + 2574112083528542267331897256342711180986353741489522998457323979630\ 7518564291758472279302615633939939810818980907/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^42 - 1383907300510736659877516017270887726353716154376029556624549059511\ 2416657499733364533486579454607582890551590252/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^41 + 1278064173228808268850330928761600791122080026029322898630491532633\ 6230113471337446761607154228587554249711429011/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^40 - 1522858906994295041786463938355514844405783686652358435907091215001\ 63255239789649325230777143077957447331564221293/1061328858517619274\ 8396441025660721555762924333026249178658088567314895628426820016134\ 29140244981183347022586403628*c_1001_2^39 - 4349088228223419813141812299207218466047987591398023495309191918785\ 48879362341750058737200957133922620685698110421/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^38 + 1230381389889554339767296464342453097060472611872823976715215905957\ 724848042752289365963002252677412609530436379201/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^37 - 1976585817552806395769870928604380410296715089364628823838242774323\ 440605582974484401979100745133051815484516321431/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2^36 + 2396890867503492858358899955413603584178753424281950671099257672868\ 892701971961849368872645353483172824793427143700/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 + 4836861142495689312989389624639947637453076943834627112957649062835\ 60866747375386863779201810683990332910799244991/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^34 + 1398906605039231455527897885223413128706200184578683152098540373767\ 0718153024194319709057138769943056875155476345169/10613288585176192\ 7483964410256607215557629243330262491786580885673148956284268200161\ 3429140244981183347022586403628*c_1001_2^33 + 6728099287648683671303159491256653552855577531088749115877592786832\ 0321521964607306634037569049291430674762212434615/10613288585176192\ 7483964410256607215557629243330262491786580885673148956284268200161\ 3429140244981183347022586403628*c_1001_2^32 - 4812948412804308854074646495115562023404718408918485166806509239361\ 5586989402048242683964297318148286969264971092109/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^31 + 5312582571162751611792355751793392561757233863908252104786752903647\ 1471714592798318987757393891023707200434995963711/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^30 - 5001486719519641636248817402588191571376081643052356638397576890263\ 88920384831687228143263084664065708660265506180651/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^29 + 2653154091977318488891866568203192812700788914703733734001502557009\ 0353248964503500739581739968697386001688312994995/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^28 - 7164941264658442153385538002584215029089335285480510281440166893581\ 80036384065435720529924449685402695949976685448003/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^27 - 5278173895497885491203577971937218878576292083621842888604043386194\ 06584659172739239993729823064880912967644942806705/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^26 + 6761471274959092313049489041154693727047906946237489595220766486816\ 12590956102422878590697046598489380432333233566225/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^25 - 8489884202995004542238099464533239176872253082428473807360252773278\ 63726952951120229314260935347515195999280233864340/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^24 + 1704525551392186297493331550031233834044479924320996263897708827058\ 648526180256133061473376874360624211594713198657324/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^23 - 2539190753118151692021763790885046177542451464692195356267901807889\ 963369597183704023532136761722328486622673581075555/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^22 + 7904725726840687735160991568377262489918473243190611551954294868129\ 503619994640581213616279867208459950887267869836465/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^21 - 1250427725866282202494267097584673373188834674561452358648394607935\ 620346767197813346221159381288055969395951864245284/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^20 - 6346407707967307849529548484433641872346941541631768329210289760673\ 861014371380231546854603774727307002530338069341037/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^19 - 1850104124010437479159707527195154718540992488196489261483310520624\ 184199420770822630432128806976384703320513109256369/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^18 - 3014765248353976818131001474871032399610740545303279619823828643414\ 8469731104931949506059539048738787394507038932627489/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^17 - 4316810828068092816179189760779109420654815465275900601116303129206\ 783598257060564798075804314411670091034682828732540/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^16 - 1070012657682761112766143904869864363684271631097011323457724553398\ 62125548033102167535907450556918202600999928847448669/1061328858517\ 6192748396441025660721555762924333026249178658088567314895628426820\ 01613429140244981183347022586403628*c_1001_2^15 - 2906255294775167922140817622203802698800735390909356037288483441393\ 3529616700974079748878850409709746103925838707961953/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^14 - 5713951807820246551634648608268045692617386089543617629039843948624\ 0139065924251835499942348391813708563052440632617211/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^13 - 1523642734467268695430407457028353223449453358401363580960324673754\ 4410029305227903137531647312052159640255011055287835/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^12 - 7953937415334616400681284539694897913649027040518679564661392284745\ 5577286726365922865507618554676230669412675527452953/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^11 - 4985847287038390331529240437055688476723365069761959519507476235768\ 781176605373216369239951011221985016881091009147694/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^10 - 9083940013035693435734918351220277102224831206696423912220048309865\ 070608776276569114970874900425290421335856698546479/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^9 - 8040756576824614524342771885399364565881675233880593314116831392753\ 470242548863729519549376298293137547049166931659715/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^8 - 1067495357893817633880394024034906340188100712410970065620208747821\ 0027044481261551663769228009572488421925506370875177/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^7 - 1923695764649047801886682227337539133880727745186144760875853499267\ 074782107876464900588806487702357989816722255789879/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^6 - 1958786791677342790452481911442465312379297981672362129505049879190\ 090540026688579205268748337558317718986265830202435/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^5 - 6476923560951311199784653637740096079310818344000587733315372424648\ 3517422938320265878654483843770165948890872179338/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^4 - 5338222963797496048499125156891418598925069436315579574527600047367\ 9936393954360526299227806303125888363005638762590/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 - 4555253808910225171708851173049923328375126817251289523053470558769\ 663826077701472876128242797345729786159539480565/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^2 - 9950321880344980307529044670783208418690247774533031391473204670595\ 649019992217401533853979135994286034026201503291/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2 + 4664622208567113158571199679969441701049769394536150159100204596844\ 6426311760099704228681088774823918029449742037/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628, c_0011_6 - 175561303940272810154868806250666021203600139513766766958328\ 3501502180900561139755836356687043562339250133458387/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^44 + 3740866453373331735506585469822707232938475967246160757703986130833\ 726830472672616678643300930241559964683140108/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^43 - 1746334203396754112594493946039063955668142482213021137546345848442\ 9342723281700617641764296457640202321132299736/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^42 + 4159473659385731924672891045646565575323473085003355368111802404210\ 7879163366038631599414935659783785101044517634/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^41 - 8964546048163524162803831497702748236659977191403410798006664547208\ 610477895112772391500911188131348275619117101/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^40 + 6311944152711839429232177728947519543395662123448949621381321630230\ 5484799812251461247362569138277018346095090491/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^39 + 5738195630118511002397287613589018448714161717320129492739449412555\ 21190134183468067827258763159041495015102928064/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^38 - 1147060394660175557048704078666754943179616505238663631763575263411\ 836136196342434691091732041998407580330169751177/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^37 + 2607951068959240218971000325423461447481799942847347819049358704558\ 239641538159128549212238027800643695171237243332/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^36 - 6400016471355620192775630852941411315540535122431321636499063511101\ 585168705775712390364901902513448471005323859836/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 - 1087038647979974491326075341703176520257530306027805761018195518991\ 533680314413354893238166476310517998968396466987/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 - 2609673640750474399510704728288259869946062095121317978560276875810\ 766609800424300106451647313162050425385422612125/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^33 - 4306226696166434468120956817834914566970287340981544079014363865400\ 8258473724084162278790461909844882854563507872275/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^32 + 8416283189032195692472875049216346433210151853122680445220610379318\ 0359225789781099355131992580389691547324752488946/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^31 - 1380075632903662138664824668505821795510259399734070761404768653202\ 09917421015300199576449734665324373169748502006000/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^30 + 3090216092597234291587661626682354714181501457727717440271858397003\ 07874743155882228348517947758879309965438840500678/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^29 - 7788063435116666100648395461190448188262532781874374514474052493490\ 1100431113263610495441534581943861157419702986145/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^28 + 2326255881824625167776257493704751360733429108971437217069345372897\ 30032506861073674191107777840764567299586895964448/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^27 + 6605582575836387169097913005617115458173219792855466742761878025393\ 64896293279367972165813226972698429175432941381788/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^26 - 1307582168347927989568211659975944172130433434543955261057375954428\ 923010536068795589899130348244543679428649157503538/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^25 + 2195226521982210343102532693587104004439030868132459631618253601300\ 644774110584253047682917928635863618319532337847570/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^24 - 4119831669427149109412376147269466501473090332035711357986136671306\ 515308837566849181568683229797312943423739414711480/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^23 + 3220219428178516555305335069343656234560559955144898636025485333049\ 364705869966313081254330562431272038728571150415153/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^22 - 3086421551049788482869559739287580747339906923270560879866825649435\ 488484252996849519022234938084812982859695176913411/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^21 + 2124996234074090188212053360437869480237782380671458583883792303005\ 541265301885331871988628981527133282414445560346174/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^20 + 9211914400536723585243193657597091904953435061703280839126865033412\ 861904008887675862127300731779863439119171139612234/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^19 - 6433895963981420384023625043599346556315738495374762455561903602641\ 6446978470841123509283880022475795185406412128192/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^18 + 3086919810640225312477783007566353364328030653897350172791593000277\ 7392908170388051183990950085847393428552392007332598/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^17 - 3115830430882280308406838123890768154255709267247169889939892361422\ 01381122773434926953830068617236183672350125459507/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^16 + 4642831215093517840386189549693551086382459364273641992298994305610\ 6401772056784241642421288013341431519914655552833600/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^15 + 1702237341261259155476323120699745836930584744985202873937678158023\ 844912272870181289120076636984863434947161892367128/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^14 + 4310435674404142553045484240623304097076123900609260994105068805518\ 8370945596239285912884735136767198149828164228916530/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^13 + 3022708417090580313143398339458732014053620823641352446434561199870\ 856035429525769920941641218523629697128627798005647/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^12 + 2630085973226319149548419034424856843318442948683608356159314464035\ 4059795377899793108916406003131121520962880161499332/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^11 + 2260721548351106096704748102089978513248657901256346329728703893704\ 716903985866390729486461534387332977312754820342009/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^10 + 1062652427043271823388062739861328697289650545189599518714574110499\ 8368546372309942707315296057176393800426316455121817/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^9 + 9036382782024858398158879659247196349314301230803030291041166554604\ 03430778926359885880512689611419250269094390249164/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^8 + 2808177489437501967180840794753344734205377652479465110011225440354\ 299321133985753729427762621782949890492976927799944/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^7 + 1967097559848281627325408447708273119700099206047825689844519897672\ 98761210175596131971440581441707488836435893640069/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^6 + 4750888872477782742901171773146550827331921898761489533103818525065\ 63977103101445653608874211175983117073300832191869/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^5 + 2338389393048781786365118243674423146161190817608290154919826881152\ 8993073385546439629803834359271622772146728539375/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^4 + 4839078885392666774108160921939640740602958748705070582579396047019\ 6796624269248498044351768604748282882426967446603/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 + 1949919003443622157122980325101257594338640761062469451924659174902\ 881788095124831792738443414981832954889826459565/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^2 + 2141520084911338014647050571431618822679169712675852827942299389185\ 424176583934592659708674561772757746344263018065/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2 - 7221726625703977975850537939133336813987512380691262923794695164541\ 9489820160223665943011070143442063235100138006/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907, c_0101_0 + 521232741565309230262990683965022945238004555416620216567152\ 117050260441183466832576485023310930264567527608874/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^44 - 2323046311532558017519208728974502783620565325051296207473369954655\ 026239961584474296342979454837834634101361671/530664429258809637419\ 8220512830360777881462166513124589329044283657447814213410008067145\ 70122490591673511293201814*c_1001_2^43 + 5216135762938232009525974342515867934742869222634192357987546322969\ 519511810574883582269122765086123824967070850/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^42 - 2531088854723049999662961622791117884426480359256464485425171108217\ 5171095673559346851668173440694390950300879329/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814*c_1001_2^41 + 6101209037023394616611184242003195108517651434184574730582253018004\ 290763857672654900183965223057819621975089267/530664429258809637419\ 8220512830360777881462166513124589329044283657447814213410008067145\ 70122490591673511293201814*c_1001_2^40 - 1701788436334886728723819374704495498346629090816499162068762615461\ 0201134945191306573138393107699287293688992811/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^39 - 3383551095827519054941630223152036955222801105839788419924497385131\ 96608547406606810508135101259824590571214859767/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^38 + 7164810855884949120666752362314223724058230732478770282464280541940\ 65251931495061325566838209930772084731279446901/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^37 - 7803463628977365276146228365152787856889735004408478478987117814721\ 74169504809246317632397427496475989227524555561/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^36 + 1913364030574715741168514587979482203589409227725949152072567319636\ 608449754503008396572883265572213309129303741655/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 + 2664937420122826352920215515823134664587747039826205255231765439880\ 61946335656394760005741012769752269977064714196/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^34 + 4728752608822943765002965044305296852224723664569534877155650286583\ 00639201269036888553660028382835118547097283391/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^33 + 2529604755098268580507469783279367221668107747661537386143329891805\ 6903785953955063453940777003461737320075768187801/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^32 - 2606841835625920198995286048601306784033310990979358258849494793878\ 6064795696166850406787499069267860148094352479556/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^31 + 4119721956435180188210114070175513414903482654552612507013948429882\ 4677054470531882210007453189186570854016285652298/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^30 - 9141176776653196445990703192746998845832963575040918032048790986794\ 7755481992380713352085090788388572363623958947408/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^29 + 5090414804837025635981621787350538035293134288193336904929775185711\ 2284243963044572277093180248065931653041461326897/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^28 - 1189593213285815992059204238500156013805021192592920111653338205031\ 03721188850707782428094159303411186422158799649221/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^27 - 1900665775463846378832396586193920305592865453322110279027598577476\ 63149445773414501077301308258165479506056657803139/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^26 + 4068950675670841949379444654549102981979937059651610094045148560278\ 71525515203424388330037000449376446838654699590515/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^25 - 6483508938246693889205236177240200189254291027253147708699573330890\ 09076156167646946378379492419364510829664614709803/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^24 + 1215787144096607064319758223735375133520414810835751097901009182911\ 666520860197400610395842563268926633833305487499731/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^23 - 9715059637859473402496982334465148581481929080850505851059239481854\ 49521777292692204310245775782213841061873574151963/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^22 + 8579715796164927049557215310228304210647993378248654465025679873213\ 75789734223567905825341195479533812399604483865307/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^21 - 1276990440008042763285080295449978365466108720596722867257287915783\ 060993709639349625992339889631626057289635499247403/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^20 - 5387274476537924098266239164750877794796930010263543847430038657253\ 222495567120196655167374126441855981244453384532813/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^19 + 4147517473428184784607349399037167112161663357219358643118581117667\ 78245860031589616159434130254833053877138836319899/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^18 - 1732421201696762952133651022658808188079756457670546125150834584742\ 0619479929608662840108681444399695439518831157572395/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^17 + 1652576867940527160146625866440705128475720036525247623327489923945\ 564027858615754944820779346603201509888007225847763/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^16 - 2523780934028708393373391147426191745876193820009509240855952362775\ 9592051465345681534525369621507834998779062988744005/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^15 + 9427150611645850544105839972001107742821687975993304434032401908727\ 59482014347781591519860305243579222438007171090900/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^14 - 2262355074517316297766358511923253504019780322476493542350207595663\ 0139809548954798750590978633197926625771028351405591/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^13 + 1743524312336386417866741950208349538387834335888455301700424622312\ 941727957310994890127672248485958677867285922474807/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^12 - 1325022244725148531545724046416324400638960973665607989055457524011\ 1074762804892990696092287303548929110846518634527475/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^11 + 7148631221504213708229537785728956363655151450090584719607435414273\ 29885380966164465609001334887510228282072268909990/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^10 - 2563850099950205514256753703756167043279672492535091423781799520682\ 061331629417677861071085388852266558730419793685252/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^9 + 4141330739346402060229577998570323698015029412161528225448066928045\ 42435768946210122719803678330475674408999757730881/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^8 - 1331925099776010808411198173963789149077452091800328686959725464821\ 334629665861099574163817412207503930188679514109449/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^7 + 1423250694346430507790818939203781539538218896430686544106041732681\ 78484129162962071225978059602238874910901759252631/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^6 - 2478082996710227667823097988900943442102865238094240688150515079046\ 78172600384069006631244771499834637797849997396119/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^5 + 2694687020148347402587318830875969436592088173401136975687059002245\ 1751174556516660538050016793139550550977095409173/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^4 - 1764672519419391355144953551489351334133247348745458755005425158442\ 0357311007620044674127346281237742535874075283473/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 + 2777484809658158096543540637829717912176818347020993862984170757529\ 862596460036566553930769033375192717173706712961/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^2 - 1952372614209630113432553264437485352847261867775307403622554006028\ 717786929137532239572567516756016622441586274847/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2 + 8094851699086948667078958403368125924665255267104139866049746797511\ 8006445294430612935129038168295283561355175407/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814, c_0101_1 - 135968813935089151114664235604811710607931620438770168458842\ 782228157399678626067754848001880866156231867548463/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^44 + 1622697324954346597608128415267131648950325735096679344389062010137\ 96877681101324595044958469291974505108495157/1061328858517619274839\ 6441025660721555762924333026249178658088567314895628426820016134291\ 40244981183347022586403628*c_1001_2^43 - 1799633144524686981351835498581788986722398734069401137023638766594\ 287490493280865402772286910098180991258710927/106132885851761927483\ 9644102566072155576292433302624917865808856731489562842682001613429\ 140244981183347022586403628*c_1001_2^42 + 7305319303880055583568550680026600885328146536964928806245897357794\ 95144534841713945295135230348746502080528262/2653322146294048187099\ 1102564151803889407310832565622946645221418287239071067050040335728\ 5061245295836755646600907*c_1001_2^41 - 4010356653700289061824308569895210849485842360733216718221333217727\ 905301174083202685289854420689416558230756531/106132885851761927483\ 9644102566072155576292433302624917865808856731489562842682001613429\ 140244981183347022586403628*c_1001_2^40 + 1616980393291915230353669351677684409291547398820947568917010008993\ 8410545334754429604716615107898755816528879261/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^39 + 2825093177035332809818239194435491165665751397924214877380527312352\ 1852217419891174712472303015827832361580026649/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814*c_1001_2^38 - 1941877433217362909311587426508523528220336820123730320357270414344\ 3052878440219279227416992259304982061578128041/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^37 + 1928128864750235192127776639536206762157664433207204016428470150390\ 22784104692917083641127107546981459474959907409/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^36 - 1479446525411604228571726727551440395425937665532813593390140654893\ 71357060673344609653755635869944617161799394776/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^35 + 6548534048292752921635373417850186122948447204522109961133606502778\ 4783407193004838145093135027525778433791540286/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^34 - 2222142364123483749675510000153602030474939682712178696467182612376\ 214936360180386772908811440924385497051259027557/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^33 - 5966557384042663549097807557135370027182468712148752960815482459291\ 895436816416222891902442263284366107417774311143/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^32 + 7007163230487596705883081562734529108706206099265608895573768871557\ 56183566057663247043943883085411310399379757013/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^31 - 6198518025128648325678385094972230196562220699495218824663276526529\ 786968262590708967182239231745022290410769877027/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^30 + 3537894452214405778303384099529973773783407601733252637969018159878\ 1829053375815348178002536337502244924936790878415/10613288585176192\ 7483964410256607215557629243330262491786580885673148956284268200161\ 3429140244981183347022586403628*c_1001_2^29 - 4619269896884428408197167027503857832658621659617371198091135335243\ 179517011398089143745665468193453383370117349702/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^28 + 1045052549556708293184997871486532447123752466027010331092087582179\ 90854411753515022420211298425106960278886889788083/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^27 + 6912181257520798494898288951279450499770225081627724937714475985863\ 9006867622301105423309225883361914899173539205289/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^26 + 1823438135245815747069882022362198926041334238646382481653166885201\ 8378445803800652095985698126385332750957967517449/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^25 + 1154322523923543745327793770666535403540970216902035721271771159113\ 22703593031600724140308772005148843344026400596559/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^24 - 1264662129146605131000638003642853588219634293076543666356392566177\ 05581559387247642060287071367912033340577844770428/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^23 + 2449411354914175687953694560899110021370972210983745930530554446303\ 31933692836082758811894344144736663847764282147391/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^22 - 1137595437904584477614229913861679155289337391093909543252886506688\ 248554107713951587157999904076746089473390756367693/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^21 - 2574606779234525986124335985166031445326871614465146264463785200128\ 6430851883984799182177695919581470135159148217645/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^20 + 2454789832625014000525588243507469700779170255691940525736686513717\ 77445224070317687232713400048108823491589929550029/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^19 + 1151842807027112110995380752222298024615310086585614925793821037477\ 83967611509102697043820009481080260061676988882947/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^18 + 3632515314762085187541275386806047608644375211447224345767241943818\ 522822812096851038814263945402289897449865312889991/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^17 + 1393114210857876257774589088399840765933571362346585738200074086944\ 288060152829484370195572933159132886877683552581750/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^16 + 1768143313508025706492695093098824637729877508822349624621712059219\ 9894116245414253828235258196259362637548214369260001/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^15 + 1457323450966912133777566076999572385512081858971868060793175280218\ 9194283921655631692252347351601177338045267815917753/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^14 + 1218742691202255931419210475883051700601193017421366369791827053280\ 4944854979175233825999088349575506879550279411600551/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^13 + 1008938212023235236678987544283869725943509866030942703708509457202\ 5966277167715499123964446754481730668094226751991575/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^12 + 2162671625622240071511945289689854759961044642973849443280224135740\ 1258248355334406540902560930090077956439508655207045/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^11 + 4236094596058701768394881482401009101937856359257313832353854665251\ 530453339809644387006982477747494927018109287400593/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^10 + 3136132212747636005936273411043312254126426169395489915877674915998\ 218145696047121748544097048907203505287382057027616/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^9 + 8799699002320997188246242776526888716304612585835526113475000603267\ 441045776871152244435928362552604031775433311868411/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^8 + 4614070584573834788897602164018821207254415971507672505867151375807\ 516004343563297444053719824282895545271269079795433/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^7 + 2755960178958770547743777532002610821438539099718900532599851896414\ 023227435240140550370262038090415639675548292609287/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^6 + 1010125485296044101718842612626719684136662238642796169684282100805\ 422053601165901392362502671684733038058259978230699/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^5 + 1249216550237913765551261425057192406548610640110102036570160730338\ 15252261765101862131113097733978107926219187201325/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^4 + 2974343712099246650496952166513419893462293910049019726232195203379\ 5487705314683673615372278215629704034034572063474/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 + 1243997194927690592247741474468641310445375210012812182366929981882\ 5787216380984966696239178478084119316597194317932/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^2 + 5485052126590748155144007735382641812580435528092854860483852778799\ 780323623823539396421317317882269457776709844547/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2 + 1544001500806558121810184468492452573389825393499036222026264750469\ 147418719466294240473194804724525678650037932151/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628, c_0101_10 - 24776229447957360023228663235450478544447674641601891365280\ 23756756609034892577324109635772206514716510134528024/2653322146294\ 0481870991102564151803889407310832565622946645221418287239071067050\ 0403357285061245295836755646600907*c_1001_2^44 + 5362381586427831645249465021266878471859362751090895994090833201360\ 913653602055395149173148664480414208930040473/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^43 - 2452124507029867023751206387014445399965284993002263790738054168670\ 1705934558416679616759698308492166952791972695/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^42 + 5886795589855617604302963786526559231818834613474432371289222950754\ 6370205809990381656941751199331618041062436783/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^41 - 1173986650187362886309102228663924522126734106175734252132150316155\ 7738772215052019127808463505938763056428123734/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^40 + 8254559214961867530133605707646001289308999460641262982760366653085\ 3371675049798923492794086449860384564434992974/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^39 + 8072937432982361223416788885444159238246727355783541656724304090356\ 08736044582858247284489822829628094420625333970/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^38 - 1653204366690959703724083269753634807224171121257986719333621858884\ 797419591732057270646967471632402844559039810661/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^37 + 3636515270778807993672937910109479382508269419658355066686984718998\ 530798606921154710606925564843897008148112462270/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^36 - 8949663214627101757242917717174200296600882661619982583603797672655\ 609441196399308078035888318848642924153109015019/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 - 1640460975816181442270655804522160343035785975160147774394462892114\ 058942719026406421616109522085658019104038265453/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 - 2617926704390919659225940105637837819396957543796572205576770607963\ 680526982974892851649176124351147664940267825283/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^33 - 6031152107266144424841370760845325922282143292928703805810253751224\ 9159876984119223335154143387157726457022316223838/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^32 + 1207241269967726625889279274289752454697748415629150098825086563690\ 01972326558819688542324801000284146905338287915681/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^31 - 1915240701006030434335161256169905464850505848579573375378804801480\ 66172196422183559315115848520565690489084716995164/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^30 + 4278879019197588955667410219720294402761631771236982917106161264308\ 99652054524539042025495323674977418771275904543455/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^29 - 1036952417798613547100167001098492347948210344636284891885755132677\ 11030617807839873504259057207145855904940101704699/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^28 + 2854516105663091481968301279213580122513534861379588627492691214665\ 61658237823052286434405948807960020386669833599685/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^27 + 9265814329175102503014371594294974265969999474780041870767199744734\ 32858253455010727289567081986627597485540491278589/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^26 - 1893322977583759133547009992049575486527690254412897192602365614478\ 118262148174390333193182500719693085346805548363771/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^25 + 3044846540373003769102447708723815706956340199806471175709780197845\ 170822611231419144045990749984436568396598464278758/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^24 - 5680587236198175836244012775147825190334524553909577419603570732441\ 381714324469441332537835523812995303446675059920356/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^23 + 4408633923471711981611851200241497073738949582850575111588473250015\ 060030154555875892841494464968517941875349374012916/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^22 - 3906311171999241861911604745596948079765982024192316094259841372980\ 547182579001442215250600839239649737742505153291637/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^21 + 2727827353779309511473370048933376623877036690275238951851071277751\ 574872716618442030958556946686761012613443476392674/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^20 + 1315121080194664396984967344147617858180544033295521781870187958235\ 8676445640486350104694167952693471066718952334004459/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^19 - 6966895942473226065585919943341911909669035674160299034415891824935\ 84524106495891008378512092554235836837502152934405/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^18 + 4188822819514824191345066614825704015574568443772944767777558468539\ 5434019272942860521737897819481622473613292068143675/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^17 - 1725842189429573167919974725954025233522019925585780254923641954088\ 315720023899858191604454476407349272134482663274763/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^16 + 6109724273201115438012924638112053218234178659437174842513820248971\ 3883213020183837687884981423738365247150128206563008/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^15 + 3858850201801473003131102828600102541783826736763121143189984348663\ 61754212257938753605035210282473513066520305378654/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^14 + 5498141708049446712163088436616887959179343994004792049996268832776\ 1616252302715444093426347310139807415373790791501418/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^13 + 2131629709943930537010511257020772873912153061542143398681190695901\ 419709526104414713234269607310125014708818905117895/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^12 + 3237805690969056094015859963007137497825662946625884487361707365070\ 3569227298189795673951147514742075956431353712065463/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^11 + 1714986255946073824742111907857300521430529113351722751673528756917\ 655173199030186298138407920339772161795207059331487/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^10 + 1255687734570798112805446902873297574963360779055852192512147999799\ 6774447670640610824586327573671945858954535295132881/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^9 + 6293361589718222885913589705574010341915918492856169481890625656007\ 56876180984037449804780227815223022780670163544078/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^8 + 3170648964546497437713712616718118416139912607863892146096874638788\ 917247222142180123976001348192596915461066862769150/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^7 + 1051194970701017926242200940994459009943174337692907128056394004123\ 95332293014217537972006252411272537341853200954224/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^6 + 5110145872031387867418677799637856163738723070032596326547773705784\ 15099748526203455149543911563089476231346151859091/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^5 + 6609005595916727465887819334818986794936499572471038860957644196902\ 175233821592510380093102674550389322596816248526/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^4 + 4907324795787258436915075110022016619164814892114557107257665863694\ 9541524160681994558280191872265605459812144943607/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 + 1285199031959217616424410605958470965384529147192513110900001798930\ 946409891304737124076267210685570674083972279398/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^2 + 1965759916330743173685527500175975808247992469897786597628479306403\ 857277700832049790159703475294766675895147115408/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2 + 4047765435502655995055540681148832618002619476478955406843441915733\ 41831071671300544605030750863948851320284339417/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907, c_0101_12 + 34383813810654544229717181795337290928081402706016401658275\ 9227180989605994102749515510367893221718015282190549/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^44 + 1987035987384578265022743542333554531788349072130507094677834994085\ 31408367739048266128052917285428048776761237/5306644292588096374198\ 2205128303607778814621665131245893290442836574478142134100080671457\ 0122490591673511293201814*c_1001_2^43 + 7539182933724562438602841062515321582255127455203242740852652747579\ 13458776881793625045886144695960674397510661/5306644292588096374198\ 2205128303607778814621665131245893290442836574478142134100080671457\ 0122490591673511293201814*c_1001_2^42 + 7374444421720335204732778028457728077879021970224505646912461925505\ 21094748003363092935490253913002787211641316/2653322146294048187099\ 1102564151803889407310832565622946645221418287239071067050040335728\ 5061245295836755646600907*c_1001_2^41 - 2458555859892661909207735414010040810139021514762905750430441146208\ 6649757483364693239641415385135209686312186373/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814*c_1001_2^40 - 2149297740321776189160192165822975319466034248950649960059101508483\ 867879471967533239019702906766623441507343517/530664429258809637419\ 8220512830360777881462166513124589329044283657447814213410008067145\ 70122490591673511293201814*c_1001_2^39 - 6150658678125147475221511930692815878427661515620434884794398640133\ 4257574793642118792937596059365331167669544565/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^38 - 5931816109243041638674473331732156007012876532114939985924358305816\ 5846185510406580747798813565361358117153191727/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814*c_1001_2^37 + 1735281232118611221624460098449108977655747751189393302387163204744\ 42317758968442264579989868221940309569796018394/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^36 - 1106132472719104709595503524796737719943018252144475867945892916796\ 34911254952137501861154519887522803072544337610/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^35 + 1918253575280659528213247561231028003434836894774646075515249568516\ 902633651061399635853030410891368268592999968863/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 + 1572311625919137013265520410250215734259953132737677132571785630704\ 55860850928605856381887277598907498095254807101/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^33 + 5562807527919453294915810971705886568051801786330356614522328740364\ 839838098467653115228828616587834391163985326979/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2^32 + 2238489179716822709198572358332512976700500629548496143467381758904\ 081920167712921879068919801066646053654169172946/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^31 - 1694273688120346896493968264180084916260811807370079819784704637635\ 4498444466174182227577588799184531052488001036560/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^30 + 1920113581172858694267018721260879452358433691610369332374536429674\ 4750831118380651921746577014941596647778505130769/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^29 - 7299008287322744908107092242770547467422990503867504860155028443300\ 8060257406367265508288652086657363848585448084365/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^28 + 3517597602919260012030666232390647709414198033797854139050848515828\ 7473602876182522461535118773235628306894979657253/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^27 - 5313691036492509033853002936032745629256975388421494552616762895190\ 5690161225250731803529743567833397173563020892113/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^26 - 2023262812104866400799079381439503940184544982378074597832356529807\ 0603980152173355518107439750659124617621495397927/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^25 + 2913306578371478088616738338803520053397673566942852063026464027737\ 14511012298449982541425560941551647689329975302644/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^24 - 2290314944679739619478512294735360703263957140583261140891112769992\ 75411852348914347418909007876249258711481632704717/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^23 + 7504943517938261671764938698104825666138830312784255778388912395986\ 26880352902889904135750894045293379399760771254137/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^22 - 1424546575181128254963728471698968426791658644483427190284268211877\ 688956150960505802911812416474355688660430230166043/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^21 + 8104939819081937959203763019884627900592817293765916096969011627718\ 4062873233783291707542484528838297572461720413464/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^20 - 1194594376441109530122932567141723570485572552532814434963051608988\ 588722760145972960985148413183124674456412083195755/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^19 - 2556667444954830430510298369591935298268165079197760650755000505738\ 589885588676654452303129480591338110364860787829416/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^18 - 8402246043079244411819624857144042094259268021420255838424721976135\ 38834446978373196795005855307658927896855720276661/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^17 - 5152752918999634784843512124670552521080605856334680954761540540876\ 067841516783342739987581080944476186975809465101912/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^16 + 1832483451300514158575106576101046612060099737770379319836380225557\ 908420516498818057148800851199751576542844027322063/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^15 - 8964124976020961844436223354551445878211109426945513928478173890603\ 632393119094919581482545954314166993598875261272987/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^14 + 3110638376601845741609887671034354407624022881466745685125178407580\ 948981789799948293151147818554776077027186829183083/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^13 - 1011621298061496077512532689152283433278980475503727504907852233817\ 482732746454814770611091331711230138534408539140132/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^12 + 7721263643290481848962454788536048864102222454726750364429498473705\ 676385096442287787656982616792259439355576022673205/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^11 + 1496428716807288783154333258783838345610639338865801631534404362763\ 712578531416116055516810492623669545428469170783867/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^10 + 2725694286766552036988449332320078211472404570399900440581082650457\ 911374871610542977675443671312008603142891176998481/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^9 + 2979892810699807496035603037823100778628447470564698836435518499382\ 771870713789777885615931389103900791013099425082615/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^8 + 2277558632063854081620610245780727491457239019020558778555948283560\ 543565833395904327737610290851173760899933285485227/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^7 + 1194998271386769305635157038509534647758404466505670132864042149550\ 762379801000405574882391901220856172684258745074381/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^6 + 5411103907681775314478606739539870893698768164158653759941557565969\ 83525210378654032129817284728387210137942870160633/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^5 + 1220004628856257342899957392171351611385347105520540589074915764507\ 76129261580377291788679052253571257142444578221191/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^4 + 3348783030077914395595715251312118252410546519985160812039340028113\ 9107683489226206030560599192906282592133917081095/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 + 1321014320516273179668276318404942764416769513121630575877327970376\ 0830627941375193988969316478700281469032457164392/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^2 + 3513174487088115134591064301298240556999612986116686918489671177040\ 287976887247103370348279223600315693701436633479/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2 + 8446928030086452946933066588312145617898552622453576810383506253803\ 10829341659684966211558086927946855247384733807/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814, c_0101_13 + 11894540068104935218055738924667793255283887857890734866255\ 42301688119896137938749459325600307897622582130422470/2653322146294\ 0481870991102564151803889407310832565622946645221418287239071067050\ 0403357285061245295836755646600907*c_1001_2^44 - 2976921460577121425081194808993670425646488692087577509396009644955\ 05984602532831388678387955514565125468939797/5306644292588096374198\ 2205128303607778814621665131245893290442836574478142134100080671457\ 0122490591673511293201814*c_1001_2^43 + 6898051316955342790865013874390721445923434018350084305478544750986\ 160965647551778767333595666711649319078175706/265332214629404818709\ 9110256415180388940731083256562294664522141828723907106705004033572\ 85061245295836755646600907*c_1001_2^42 - 1135971468290263475571254174307242896565674173917237147686461442431\ 2510526605424645060396806346075813902661992697/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814*c_1001_2^41 - 9343496288220451847388590083686523329681489648926249912929094511726\ 3656040557477196959695952015205415890543226895/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814*c_1001_2^40 - 4336676346642704301568082491768617522231971219089205880718409387291\ 7391695795525919331604552053890578995820533336/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^39 - 9010072427238955618033186180078288967628842217190752962154358971726\ 20653997035473367011760931485540760975011070351/5306644292588096374\ 1982205128303607778814621665131245893290442836574478142134100080671\ 4570122490591673511293201814*c_1001_2^38 - 2955445567119117038298346619370026484005370715770540367884704186881\ 1751252052538251322377211042429224525272346199/53066442925880963741\ 9822051283036077788146216651312458932904428365744781421341000806714\ 570122490591673511293201814*c_1001_2^37 - 2361101931487543993072446469741621793516622047036728331911870964795\ 36819373268579567893133427091084930287114674709/2653322146294048187\ 0991102564151803889407310832565622946645221418287239071067050040335\ 7285061245295836755646600907*c_1001_2^36 + 1183606794272106556660642735742311005682707862739948745116813834030\ 694731794797301217462422730790423682153122905239/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 + 8507289312092101109293282674274145407153452427049163023235267974579\ 850121153232594468847529621781779941830375654876/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 + 5195249463471855474066785184274417953360198077944450006071896191534\ 117998327247205797879611475040902795807648110611/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^33 + 5890996747134357497742246220264502211586438057508830665882642974076\ 3245571593007875285527894921577778937253216757191/53066442925880963\ 7419822051283036077788146216651312458932904428365744781421341000806\ 714570122490591673511293201814*c_1001_2^32 + 1440213932037662443079049493942328570610323278753534481409205577180\ 957091476506454715746639497292641469245360003747/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^31 - 1646727530896176403961583169491544553787613277345759816811520342287\ 3355006733589842672995311023468733362336240998609/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^30 - 5124444766523989790803051739522479636607732449236890725897659524061\ 1518745650009869718380268771091907386965832208798/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^29 - 6099344744842385271916274143022125808909706974304042011141769377292\ 19674323766214337882701154623627324565690375541715/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^28 - 3056235782035087967658832395263368250902371060093162348830440719511\ 76681838036607812314196000417997871896645966016079/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^27 - 6021965269320891561096230609072109399831393444686504811295126216296\ 26039431131450654345628101011860498475823453906706/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^26 - 7992670947565735771037174897051905960865915872774940442863129092058\ 1733627753623641730514418637831599915340528562433/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^25 + 2794781564731643237042130499335072890675168624592695386211805198524\ 39253597634203004643646194601811681879977727047581/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^24 + 2690474739052285129018937447170549828883704765585589963583873030679\ 66647786397445385541684411116925617487138766288738/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^23 + 2414547288339850885420303781920177632167060701519441451899081479700\ 346404181898455843324334697425902528010370870353290/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^22 - 7414630423259142697596191562367927731753480195639976536142995127183\ 48664436705870278328445120962047432600523036475393/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^21 + 8712758658785964045943006632359202076398675501158424945878250926118\ 07252326409803475662179562930305257462591012901117/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^20 - 1441851674476171406085127924772319094465143660477162124115444077723\ 4614208897083386786713478830383500689172082587801453/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^19 - 2724997069637339483166513933526312827790015374178179028155348018599\ 2147871015160720956848858921450671762320333352384175/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^18 - 4220060937704016546776210297383228231479819965204152388951210601316\ 8544697982023688485057424791132302924336801260572789/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^17 - 7329571855013656066616621575232533899107517848258392102919296030763\ 0637867714102982844780321000243462499166401631656319/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^16 - 7124232389684462951621689306412900908313597229704227684526116280620\ 5721575992625638552621014818424515650293309674386539/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^15 - 5068675102153787477041171927116286387786075512572630114740741353339\ 8486970468851154423409025387971137149286418833247995/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^14 - 7817374654020663028435377151266048189122070956385353487883491054318\ 1866782490638974605186235534113873460072595259457333/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^13 - 8701611574897084803301530883371023846268837846423989211363715360254\ 1719205334608145090897752462005478064370063358104233/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^12 - 5747348647836592608075743240606690249069036347818670955933675102239\ 6675287695913502877387934623526735838660100675217721/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^11 - 2419639064910722676594054120555867642598145207037671335237120324820\ 8763410055223367119349935052071015936286036046908199/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^10 - 1411171139755608135951135902514760775032176246556819593449123942013\ 8897527876489423846735639045071012220965377088696009/26533221462940\ 4818709911025641518038894073108325656229466452214182872390710670500\ 403357285061245295836755646600907*c_1001_2^9 - 8763846292356898753165638871209692659549439409927961462015034329544\ 292572502646103464469097857411006448669456682713632/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^8 - 9082663201518485611171855228439309823868850329697361529635170446977\ 543619097311071486525523712093572782532198405039123/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^7 - 2056211333738458616608012385914456644750476516797582770680411902670\ 811987179148611511857861935881984153404238534226352/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^6 - 1861958552898313855931065523501886146173856901378434746979799663745\ 264303312108075031009264720292807563132455852006133/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^5 - 3056683435938519174700162151005438111942250399712281047971677726168\ 35202946689099390596686218629525404895261140864890/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^4 - 1150688417533751368494650973467879306590138891664543362428251533951\ 35175150063819724915781739316832978209551326272728/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^3 - 2528683637607470686419974282219462643036801731537919721445913921877\ 4327005097225521629707683440770662345516713493225/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^2 - 6849351579220562936565275034203066716801287246402298473069649131997\ 925043029670642592051554824766306823360824015342/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2 - 1690072467712116338860584824131824272429436657133424389427677654133\ 113311613594600733784055992520915494929206108345/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814, c_0101_7 - 111825302770601452226519565245318616441080455179780702164443\ 41022320874515671895533237755529850870614610871959391/1061328858517\ 6192748396441025660721555762924333026249178658088567314895628426820\ 01613429140244981183347022586403628*c_1001_2^44 + 2406910447570237139723329807193506474570333487653436281238084570133\ 4408102241459707834655711209139834580660037693/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^43 - 1080039616330422183184508543322939552057629090327111551125265059784\ 04951056322311233072458354145268236331311091239/1061328858517619274\ 8396441025660721555762924333026249178658088567314895628426820016134\ 29140244981183347022586403628*c_1001_2^42 + 6485956572727573015647071152015157689869331706159142177823441645771\ 1414389207285678300495351667334303252400686231/26533221462940481870\ 9911025641518038894073108325656229466452214182872390710670500403357\ 285061245295836755646600907*c_1001_2^41 - 2797599496252964341160547781104750736324262771082025635317966940265\ 4967351014676317186789187325539079822947732291/10613288585176192748\ 3964410256607215557629243330262491786580885673148956284268200161342\ 9140244981183347022586403628*c_1001_2^40 + 3204107686875947265316201057385480939181457080738556040522422220121\ 62749790729251776229695530958859341110960163597/1061328858517619274\ 8396441025660721555762924333026249178658088567314895628426820016134\ 29140244981183347022586403628*c_1001_2^39 + 1821207317439738691678450231570911894101595466944497797330189908171\ 887292909106708588361401884062749408095336321995/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2^38 - 7467589440672198593684402197516797213585473964452763020008925858759\ 216154507426721349940109415290751184958492592713/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^37 + 7770586824412752284675602507134439595827612461746934900542714684997\ 799418341097735177963190401877479007568308287819/530664429258809637\ 4198220512830360777881462166513124589329044283657447814213410008067\ 14570122490591673511293201814*c_1001_2^36 - 9666055953169704388511842037528671616862832509866219695350646459788\ 358011860470576899536874236248520058072681497744/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^35 - 2706480740140206621127991015319950376486269781978016797872456495219\ 039898707469138886675328769292633227373411529218/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^34 - 4526219026093037776902105138887895877980585710015262115979276358636\ 250026851911271592703726380586401509260713023201/106132885851761927\ 4839644102566072155576292433302624917865808856731489562842682001613\ 429140244981183347022586403628*c_1001_2^33 - 2683647775837270158710824270849181846953266837642014180455092934675\ 91056623687475751147601956628999014374750402125263/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^32 + 2701853944983466698499933326401120392857754303916205036738649627283\ 96896869718353276359023548653015344534879091255925/5306644292588096\ 3741982205128303607778814621665131245893290442836574478142134100080\ 6714570122490591673511293201814*c_1001_2^31 - 2003702098397545188081974782035494221590643692920166149949626216212\ 02081142469490537454488914079455328952140410500519/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^30 + 1812558453411903564256733090899729758643347892722757094263695714862\ 537886094259315240114601109433628837942503552910971/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^29 - 7532016216561553234935655718550668922614732304463475334265151691956\ 6598472646736206220892833939099445226619316185485/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^28 + 9506831983381802026752713578060327915091123203003800838321046716133\ 87248287290404630953811009607058591705764301869675/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^27 + 2089651822838718710252001872549379419354072188354561168866418104253\ 104024075319590199101005201447054146533916646514339/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^26 - 4294971386528831180561056176764543405637016624252360577301834880104\ 180181765270242663697572987767000181229498290200697/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^25 + 3180574521937244975950906388533843681423423575103146931318637059950\ 606641779532995473584830604613691838375237929588136/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^24 - 5934457832825446917085115152762543577645197994551119652352462851027\ 800824219302717083363344185734077833613336168349092/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^23 + 8658391753759985805093759220879586729533386999209936787988222725551\ 434475747671742473517638275948219470781587551536745/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^22 - 1319876126243196701383700133455817694122400349584561280366905429706\ 1517989793932972090856841185771083854976657358726961/10613288585176\ 1927483964410256607215557629243330262491786580885673148956284268200\ 1613429140244981183347022586403628*c_1001_2^21 + 2406568860503497575743238625843718376214493487618354447486520896840\ 870592408068821319222636329869649715481572750053601/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^20 + 3036380021793100149086698682805522298402403682939976971468950801716\ 5328111187776492713965629993169115969139968822701027/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^19 - 8346918767660554360400812389505441081732667430402996761103959950271\ 07074377582009557705816202015084536716107803577739/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^18 + 8789857436481915612096978405302707177443349996042482639395064506176\ 8547024711282771076548676307724823563453136451688843/53066442925880\ 9637419822051283036077788146216651312458932904428365744781421341000\ 806714570122490591673511293201814*c_1001_2^17 - 1467483398164995803611498492808296957129331874576453234131452406892\ 220521393676330915115391252603627101064441537762876/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^16 + 2422789234671631865286931319031669657361789620461866998805384358990\ 07766441913984887992644427300856821898278555362329665/1061328858517\ 6192748396441025660721555762924333026249178658088567314895628426820\ 01613429140244981183347022586403628*c_1001_2^15 + 1784174052717850393736558765187981756983885258244953064796096153364\ 965762226742150816874181405254995730055081434282453/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^14 + 1026407937458839415363749129463225012301384796240794077731972878303\ 04164871123169275145638428392644477340112424354830203/5306644292588\ 0963741982205128303607778814621665131245893290442836574478142134100\ 0806714570122490591673511293201814*c_1001_2^13 + 2909475247317160739182559985325524293890082127793277024594109770200\ 169553428053199788074659092287230536185154005454825/530664429258809\ 6374198220512830360777881462166513124589329044283657447814213410008\ 06714570122490591673511293201814*c_1001_2^12 + 1120369976464456497629461330667132336336155231305763138891978295540\ 27699689189773220629729475597672696692181756388733121/1061328858517\ 6192748396441025660721555762924333026249178658088567314895628426820\ 01613429140244981183347022586403628*c_1001_2^11 + 7156110391175314040674455897710173788033352775943716369244119935656\ 09315946940399746093012652766364181109226289981385/2653322146294048\ 1870991102564151803889407310832565622946645221418287239071067050040\ 3357285061245295836755646600907*c_1001_2^10 + 9793476052243483515154455063989342944848979398950066018145417376201\ 505128377935358401774996661399677203371209271131653/265332214629404\ 8187099110256415180388940731083256562294664522141828723907106705004\ 03357285061245295836755646600907*c_1001_2^9 - 1261095340621842402186653018287233181144010992571381361469639926160\ 72171255641301581544078207887771105701037015714085/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^8 + 8532501305465468074004140695121999548661822719120888390487645380017\ 015642596089777262902197274190023251424663221427973/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^7 - 5358505498354829604031175608239349896948016876765437502005612435919\ 21254163735601419792616596965804865460931596643577/1061328858517619\ 2748396441025660721555762924333026249178658088567314895628426820016\ 13429140244981183347022586403628*c_1001_2^6 + 1097072638468905369481178964265111593023338196120322437298143609411\ 552655629266578907136832502080232356345171165680127/106132885851761\ 9274839644102566072155576292433302624917865808856731489562842682001\ 613429140244981183347022586403628*c_1001_2^5 - 4164430078187029994443928048120211417018732137902945797762379466783\ 1680651465994657796168094552036743254488137316156/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^4 + 1675211109666128184900156387021970998225829746706175734664289129699\ 0443994720038110482781933393318879382151882473962/26533221462940481\ 8709911025641518038894073108325656229466452214182872390710670500403\ 357285061245295836755646600907*c_1001_2^3 - 3214376668996998457134190173999927087286670302694018324906084270630\ 344546816573642611907059279611058582366280075710/265332214629404818\ 7099110256415180388940731083256562294664522141828723907106705004033\ 57285061245295836755646600907*c_1001_2^2 - 5656288376147817428869269123978639334143679925517637365111089953835\ 20284687131405740435496129831207606261385912189/1061328858517619274\ 8396441025660721555762924333026249178658088567314895628426820016134\ 29140244981183347022586403628*c_1001_2 + 4173220064025493703508869171834431408847563894088290559599040038751\ 18930223048500056217554470428529323160188857603/1061328858517619274\ 8396441025660721555762924333026249178658088567314895628426820016134\ 29140244981183347022586403628, c_1001_2^45 - 2*c_1001_2^44 + 10*c_1001_2^43 - 23*c_1001_2^42 + 5*c_1001_2^41 - 42*c_1001_2^40 - 333*c_1001_2^39 + 601*c_1001_2^38 - 1511*c_1001_2^37 + 3638*c_1001_2^36 + 700*c_1001_2^35 + 2579*c_1001_2^34 + 25384*c_1001_2^33 - 44441*c_1001_2^32 + 80354*c_1001_2^31 - 179241*c_1001_2^30 + 40423*c_1001_2^29 - 173689*c_1001_2^28 - 400487*c_1001_2^27 + 667720*c_1001_2^26 - 1285406*c_1001_2^25 + 2397284*c_1001_2^24 - 1830206*c_1001_2^23 + 2114261*c_1001_2^22 - 1289977*c_1001_2^21 - 5143890*c_1001_2^20 - 835522*c_1001_2^19 - 19449514*c_1001_2^18 - 2603826*c_1001_2^17 - 31685819*c_1001_2^16 - 5899042*c_1001_2^15 - 32062105*c_1001_2^14 - 7269100*c_1001_2^13 - 21686725*c_1001_2^12 - 5394499*c_1001_2^11 - 9949468*c_1001_2^10 - 2508825*c_1001_2^9 - 3071844*c_1001_2^8 - 731100*c_1001_2^7 - 624490*c_1001_2^6 - 129841*c_1001_2^5 - 79136*c_1001_2^4 - 13016*c_1001_2^3 - 5109*c_1001_2^2 - 586*c_1001_2 - 57, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.000 Total time: 15.220 seconds, Total memory usage: 123.03MB