Magma V2.19-8 Tue Aug 20 2013 18:38:42 on localhost [Seed = 374844337] Type ? for help. Type -D to quit. Loading file "11_6__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_6 geometric_solution 13.18901938 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.851479680865 1.215886119161 0 3 6 5 0132 1230 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 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 1.044586152156 1.303283732816 7 0 8 3 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.097832677904 0.547261694404 2 9 1 0 3120 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667444278366 0.645571692948 10 11 0 7 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880103395139 0.548821666965 7 8 1 12 2103 1230 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257000907998 0.495224420760 10 8 11 1 3120 1023 3201 0132 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470149983450 0.466852558903 2 9 5 4 0132 1302 2103 2103 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.542570358299 0.955749513837 6 11 5 2 1023 0321 3012 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -2 1 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.794860284298 0.707885486945 13 3 13 7 0132 0132 3012 2031 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 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.095503463064 0.765050285300 4 12 12 6 0132 2310 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710275099555 0.932028621127 6 4 13 8 2310 0132 3120 0321 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 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.498237311765 1.022189313383 10 13 5 10 2103 0321 0132 3201 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710275099555 0.932028621127 9 9 11 12 0132 1230 3120 0321 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 2 0 -2 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.644496418511 0.545134391036 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_12'], 'c_1001_13' : negation(d['c_1001_11']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_13']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_13']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_13' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0101_3']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_5']), 'c_1100_10' : negation(d['c_0011_6']), 'c_1100_13' : negation(d['c_0101_11']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_1001_11']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : negation(d['c_0011_13']), 'c_1010_2' : negation(d['c_0011_13']), 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0011_5'], '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' : d['c_0011_13'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0011_6'], 'c_0101_12' : d['c_0101_10'], 'c_0011_7' : d['c_0011_0'], 's_3_12' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : negation(d['c_0101_11']), '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_0011_5'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} 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_12, c_0011_13, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 4817169521590690498690566358519380145850625239852237128965413328654\ 6236320619696356067052025767075960585892772259249777426126191520548\ 5921104443877/30377640105167804023191404262757803315311620582379841\ 4402574853363829253607450043688243562723506798660009813810341188771\ 87692040871234271197069804*c_1001_2^35 + 3122960707834227694131776522417711223729428104521810530435446616736\ 7149329711518557268137457038076593537323586756177837811060449063411\ 106542209617047/607552802103356080463828085255156066306232411647596\ 8288051497067276585072149000873764871254470135973200196276206823775\ 4375384081742468542394139608*c_1001_2^34 + 1558588805346874352834430749665794222430739910690865090279296357905\ 4138477771503471497874553705732129654778701299984784888581253644298\ 843888625191075/209500966242536579470285546639708988381459452292274\ 7685534998988716063817982414094401679742920736542482826302140284060\ 495702899370429949737728952*c_1001_2^33 + 1926936099431118372780426131340473233618472278580849906214787256374\ 8202478774375335847423484247265761046598270883440629944932357430652\ 16627958623766633/3037764010516780402319140426275780331531162058237\ 9841440257485336382925360745004368824356272350679866000981381034118\ 877187692040871234271197069804*c_1001_2^32 + 1768103141030972018520510966287021649179873438004129179203609225430\ 4664908154585609313098336891355325666978128448664529592125542542134\ 4413933013988235/49799410008471809874084269283209513631658394397344\ 0023610778448137425005913852530636464856923781637147557071820231457\ 003076918702807119199951964*c_1001_2^31 + 8392381065503536144664547470516089878049313596058653894828055754470\ 1308045070056515680505947188674919468662553006915731905288807053942\ 628225881201303691/607552802103356080463828085255156066306232411647\ 5968288051497067276585072149000873764871254470135973200196276206823\ 7754375384081742468542394139608*c_1001_2^30 + 2353398378345424505279217953910744041773230670942994545164015941502\ 0484376312466019010118709144997711437415147730337708451765540377635\ 2415308323376489563/60755280210335608046382808525515606630623241164\ 7596828805149706727658507214900087376487125447013597320019627620682\ 37754375384081742468542394139608*c_1001_2^29 + 6099016924733766968243239383644620693974523068498157841410004476476\ 9056318701652187807416828593296381578569617081591247499212526773035\ 910383356610744816/759441002629195100579785106568945082882790514559\ 4960360064371334095731340186251092206089068087669966500245345258529\ 719296923010217808567799267451*c_1001_2^28 + 9561816751800687784636630310914527353413099604964923391461957025800\ 9249478969013134135902915821295640280739752253381657124924495407722\ 945421533404724109/759441002629195100579785106568945082882790514559\ 4960360064371334095731340186251092206089068087669966500245345258529\ 719296923010217808567799267451*c_1001_2^27 + 9579607853076756776621740568035781408101538849875032773404656737219\ 0070047085919989373965552690988681584690366113401220713258895853492\ 4528834462055892665/60755280210335608046382808525515606630623241164\ 7596828805149706727658507214900087376487125447013597320019627620682\ 37754375384081742468542394139608*c_1001_2^26 + 1162391009732257453315974859678360730309751098296373961444454129428\ 8260228686888272983439517720153095382187162083803193407285830514703\ 04506075197697832087/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^25 + 9008031564743451222902565646597591209333069596636204821756972381329\ 3979800358315982367725745054511330560023739367129608618981045279781\ 0773357722621368389/30377640105167804023191404262757803315311620582\ 3798414402574853363829253607450043688243562723506798660009813810341\ 18877187692040871234271197069804*c_1001_2^24 + 3936714048811326689688042971964988663449298979123544254176083730483\ 0776532924761261799474686929626311226560649497628740420379034588628\ 1201550228954959097/75944100262919510057978510656894508288279051455\ 9496036006437133409573134018625109220608906808766996650024534525852\ 9719296923010217808567799267451*c_1001_2^23 + 1131792218672067355451490331370839862794684751319883856170943385542\ 9648283222544216236721933638724231761689435580015341512608421004178\ 70566679936118987897/1518882005258390201159570213137890165765581029\ 1189920720128742668191462680372502184412178136175339933000490690517\ 059438593846020435617135598534902*c_1001_2^22 + 4655502655973879309568189910277857736660501738842586010340050281927\ 6262512222650610538506611498103848922913170447511751654471949457769\ 15867866210515235511/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^21 + 4807685275726397404301333418421032391424756320105056709451787732336\ 6295802578932431545820732496047349459420170604401559724154268583646\ 378579861259959073/799411581714942211136615901651521139876621594273\ 1537221120390877995506673880264307585356913776494701579205626587926\ 02031255053707137743978870258*c_1001_2^20 + 3722556916479152043616104466940874180559107099013464546401715455450\ 2987567812688092345036200510414312121707894222955353186235109325519\ 04522932815920436747/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^19 + 5963835727229650781916448087408828495014914948829298067165074547592\ 1054364352164784066344565837237472708369350523326930922519931438595\ 06642592410414653579/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^18 + 7566724658879224484903712650272772617231207780000465564545407369747\ 4507242489934698527429955402783330461113332150103154400815631044143\ 68907978844706093239/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^17 + 1445522445596851360154440314371055282326721177038040380634704755509\ 2045226183860213589685871976887435749891769253650015565545753703335\ 2960616699581375821/15988231634298844222732318033030422797532431885\ 4630744422407817559910133477605286151707138275529894031584112531758\ 5204062510107414275487957740516*c_1001_2^16 + 2382364327411340985185537723447652243053721612938304977907600876109\ 4613137931304473019101034343457724972722729692971690685358540512038\ 08381021874214738317/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^15 + 8070290624756793918822516828737321899540640963334252454860963155310\ 8115484220797073323120105220604546139917555188782435659767071611654\ 212473978709834879/159882316342988442227323180330304227975324318854\ 6307444224078175599101334776052861517071382755298940315841125317585\ 204062510107414275487957740516*c_1001_2^14 + 5441051163436334577801420776720549108025662347741601194000470086400\ 2141865691434646581142707876548434227587600031095227466347478240642\ 61770664068667430485/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^13 + 3524905296020031882482420138897345044477947523131650184614501214869\ 6303588701088262187074530375477259294510540276291569973574145960841\ 23523216860658660399/6075528021033560804638280852551560663062324116\ 4759682880514970672765850721490008737648712544701359732001962762068\ 237754375384081742468542394139608*c_1001_2^12 - 2658558446194639776435822692198335409557033920319803486766394372168\ 7289710873859538337021630530545057916180740918331972052637105830108\ 3515483376841255233/30377640105167804023191404262757803315311620582\ 3798414402574853363829253607450043688243562723506798660009813810341\ 18877187692040871234271197069804*c_1001_2^11 + 1341519757990417722685819494052765876437364665851196350516690230289\ 8532995325487117263436145370592612597674143477276539926206058383305\ 85777973196759337/9959882001694361974816853856641902726331678879468\ 8004722155689627485001182770506127292971384756327429511414364046291\ 4006153837405614238399903928*c_1001_2^10 + 4566300807767357359932741805386582874708398122053203855896466997955\ 4654148025651542371705365686916943306658286344915368908178058845185\ 82233575838240551/1244985250211795246852106732080237840791459859933\ 6000590269461203435625147846313265911621423094540928688926795505786\ 4250769229675701779799987991*c_1001_2^9 + 5200199320155865114392617789290780198939091014231786897042450368520\ 8628835426593010746415384762888551719136691210153819708902847008712\ 623606357261230735/303776401051678040231914042627578033153116205823\ 7984144025748533638292536074500436882435627235067986600098138103411\ 8877187692040871234271197069804*c_1001_2^8 - 1364374221436109961835457605573897137251894948402249373634016993486\ 2794229358009836222511910250522575387980887656472724384319477968114\ 0715548853170793688/75944100262919510057978510656894508288279051455\ 9496036006437133409573134018625109220608906808766996650024534525852\ 9719296923010217808567799267451*c_1001_2^7 + 1313267692383203616655661003965191140542079521229833781335356575245\ 0697233114467512781438012545919271390168901208527975952966391436173\ 341031396054778601/159882316342988442227323180330304227975324318854\ 6307444224078175599101334776052861517071382755298940315841125317585\ 204062510107414275487957740516*c_1001_2^6 + 8678875309466654559043833669069750317367237820297982551388315429979\ 7420873650142602553694823402896175324096282225912557059656459515858\ 259167994823998107/303776401051678040231914042627578033153116205823\ 7984144025748533638292536074500436882435627235067986600098138103411\ 8877187692040871234271197069804*c_1001_2^5 - 2680251419388490317761311416888558685764172760129464584449607801135\ 7205782888307573179245504874414393787190612209624162038197079797072\ 2902195413326933045/60755280210335608046382808525515606630623241164\ 7596828805149706727658507214900087376487125447013597320019627620682\ 37754375384081742468542394139608*c_1001_2^4 + 1064326178004773790804967880696996330414182903549052598859693099913\ 8059799987532109567747233073826191314176740319136175911135888534892\ 8150547743047007115/60755280210335608046382808525515606630623241164\ 7596828805149706727658507214900087376487125447013597320019627620682\ 37754375384081742468542394139608*c_1001_2^3 - 9755111554477723433601965518257125766469939708851904007810944438323\ 1688661976249782094074544285358112537404904508581461608544393475295\ 42378688719279133/3037764010516780402319140426275780331531162058237\ 9841440257485336382925360745004368824356272350679866000981381034118\ 877187692040871234271197069804*c_1001_2^2 + 1746851313620706319049963706891285881863301145797232648890694555913\ 5616361155566564508221553456871074862704380366804039167671960070057\ 04373121625268487/6075528021033560804638280852551560663062324116475\ 9682880514970672765850721490008737648712544701359732001962762068237\ 754375384081742468542394139608*c_1001_2 - 7331505585627902802497725797025230612618459736911948821167038059578\ 6196150592430210543184348640674682128021039682172363786463273923384\ 581743997862455/607552802103356080463828085255156066306232411647596\ 8288051497067276585072149000873764871254470135973200196276206823775\ 4375384081742468542394139608, c_0011_0 - 1, c_0011_10 + 15988502983208155854549275079694374246016804674806784268637\ 9569437918044257699267680261440661719393249408102811262382965/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^35 + 2668206398571205169438834964597979962934781410713249493067036020014\ 512011692903298138002681877973975722512738502496413735/120656624701\ 0337960558895719125020863744101366890117915225147991942686378454944\ 84448695280060101838820349843183294473127377*c_1001_2^34 + 4001964609993237381625603832160239219937069930900861778813660853882\ 1870233736169928117888037638383109027833523629632592334/12065662470\ 1033796055889571912502086374410136689011791522514799194268637845494\ 484448695280060101838820349843183294473127377*c_1001_2^33 + 7132041755598632257397234648273019669258060179512119116960308589468\ 30152382654137946767776309736606392507500395239128778679/2413132494\ 0206759211177914382500417274882027337802358304502959838853727569098\ 8968897390560120203677640699686366588946254754*c_1001_2^32 + 2108474788649663546576401907333485613056991965715396921303078173331\ 217885257696056432236741517820322451156714899259331161974/120656624\ 7010337960558895719125020863744101366890117915225147991942686378454\ 94484448695280060101838820349843183294473127377*c_1001_2^31 + 1756246376217560320816044810488151428316300247203351101424400789243\ 7451260954653220940674261757797570594439208490727231568739/24131324\ 9402067592111779143825004172748820273378023583045029598388537275690\ 988968897390560120203677640699686366588946254754*c_1001_2^30 + 5355323487375469292270357011970742479932428330191571828594184634385\ 8851062150778384324052371043172747956186918471486993386781/24131324\ 9402067592111779143825004172748820273378023583045029598388537275690\ 988968897390560120203677640699686366588946254754*c_1001_2^29 + 6148240134161602286767950162832864890411239475669971916878043611300\ 7432915939903089003671963715535756502339860390952107691661/12065662\ 4701033796055889571912502086374410136689011791522514799194268637845\ 494484448695280060101838820349843183294473127377*c_1001_2^28 + 2177637695077253133886077303064574690834563041659819993282957504687\ 00860816745754504542927405261557110915158826341223707705397/2413132\ 4940206759211177914382500417274882027337802358304502959838853727569\ 0988968897390560120203677640699686366588946254754*c_1001_2^27 + 1546689894557578004773573915619865064397648107445979446661224947074\ 01145738171739653237435386809796985258091837304267878400321/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^26 + 1965652298098073775781118789046792459619585534155712092106829760879\ 73655695700708003919924705093038109383532096958833507155419/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^25 + 5481946501212102204732916254660940270250526764406718593048420527499\ 86971773708775890728406611325154194542071956790024098793801/2413132\ 4940206759211177914382500417274882027337802358304502959838853727569\ 0988968897390560120203677640699686366588946254754*c_1001_2^24 + 8896152534764346024341646018761733547125949864248486147226153566140\ 69279756133442248339901990026903403783747491567152929803121/2413132\ 4940206759211177914382500417274882027337802358304502959838853727569\ 0988968897390560120203677640699686366588946254754*c_1001_2^23 + 6848356851676593937836619091563936166348756399031631717007189678724\ 79195085108865701470249431840808701349916519720018980871543/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^22 + 8445682301842622248725477732167993844072291613699555730382180687114\ 40574864152507099072596055176004628625012725787851688117061/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^21 + 1639190241255615875230346012092264991102396889335582372565781806637\ 190772996837469505904177855118398768000195307973251971410097/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^20 + 1532782642612127137661000475652032622011652407928698232600068590509\ 422244943179700078142652871684091818700098439701448810972611/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^19 + 1882116376561774065816368521265535709878857017414355131525594400230\ 878456955909794807769346474556311832060089772122622755594513/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^18 + 2494807648496449071669804301243666490603079491411437747495175667693\ 646840539804783319185352695809001867781410807590793867568773/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^17 + 2510077833091797695138438841659421872211972342422836499397192133400\ 847707405669627488006692348168515489026162976582438959142433/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^16 + 1780800786482629515062113162655885766297914927709758787109839079237\ 716962540935734201136483012379548129521420363001301983034887/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^15 + 6714818546608177560307401563539307212559689677059405484337756337964\ 53343272213428866060798050185105148804502296902290586543293/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^14 + 8364643144084252922323956833899178113637489983187490097711616756020\ 70179137869006183338350513505395247001158935268850033291913/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^13 + 1699504070397105858954845597607303521614617126964049958318184331781\ 571111958576126814624751328920431422078437199849679979623925/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^12 + 4124794792170068159437132555428326366317516728336681619393447619979\ 96000181489798530427432786171094589768110979010798506527685/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^11 + 2301836805186042142727281166924140617916424653309866841195585518278\ 91652579818690482631433899408760729286814523389210797415063/2413132\ 4940206759211177914382500417274882027337802358304502959838853727569\ 0988968897390560120203677640699686366588946254754*c_1001_2^10 + 2341220856461765697657927287274925846854846401866571271798906191833\ 51104349116255543447419540701274594052493498826927918745415/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^9 + 2016015568047116508636522182567718386207091287461533680062732290199\ 96121100930225741746552616378958760261957311889163497296472/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^8 - 2384009015381485062281703119372553222337349335672006091627255544311\ 7062483262042528291265457404329374641790487236155603782417/12065662\ 4701033796055889571912502086374410136689011791522514799194268637845\ 494484448695280060101838820349843183294473127377*c_1001_2^7 - 2014026681446377190837221454100433595494452072723060433997509143112\ 0415652574741577220625924111314904639911486598441918594123/12065662\ 4701033796055889571912502086374410136689011791522514799194268637845\ 494484448695280060101838820349843183294473127377*c_1001_2^6 + 7367096510660737599349114568244014075818107724525574618917465621312\ 7929501635774977562031846378854528957313169842197405553283/24131324\ 9402067592111779143825004172748820273378023583045029598388537275690\ 988968897390560120203677640699686366588946254754*c_1001_2^5 - 3944996473266494910473197170707410330592721791610557170242615403637\ 610495008627425955605227972951861861224763483907026965008/120656624\ 7010337960558895719125020863744101366890117915225147991942686378454\ 94484448695280060101838820349843183294473127377*c_1001_2^4 - 5960651282181442357237673424755921809851078715864775540226171328152\ 408686051391425238725483237658752776634409104490292104514/120656624\ 7010337960558895719125020863744101366890117915225147991942686378454\ 94484448695280060101838820349843183294473127377*c_1001_2^3 + 2930182591341383376083822274608481094530974124042898088034807166537\ 428764711513143945169074598567186665953481813910185505296/120656624\ 7010337960558895719125020863744101366890117915225147991942686378454\ 94484448695280060101838820349843183294473127377*c_1001_2^2 - 1299313203579554498480842794259115560154922519409619165940028926658\ 785789101445731841006790279958355110654308889792198167653/241313249\ 4020675921117791438250041727488202733780235830450295983885372756909\ 88968897390560120203677640699686366588946254754*c_1001_2 + 3282568398525870702845156112062294868608045179141461759090589379199\ 42544671325169359381426286908139218099136677222891249207/2413132494\ 0206759211177914382500417274882027337802358304502959838853727569098\ 8968897390560120203677640699686366588946254754, c_0011_12 + 16304510883642759711268741854948760690731784895914679898570\ 5561969948941321608022434586078992511407279595084081231647520333762\ 578758/824189839219392888533156056653383941625713568049616335145349\ 9673472755205202070799234665501980347801391009638750281325442217736\ 911473*c_1001_2^35 + 5436088681170278500924085091342902761266053584\ 9752213882202711831594732260935727102792568301935902737126458284670\ 26199539110577173785/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^34 + 8141875726851109454449524577968065375273622279371431366681249733188\ 7793812232001874528180617103487712183580441120548120530495760941353\ /824189839219392888533156056653383941625713568049616335145349967347\ 2755205202070799234665501980347801391009638750281325442217736911473\ *c_1001_2^33 + 7240960578861647882728080568960561208336505270462661\ 7431923442162834697221952624107389981164646737147631500147707942328\ 1552714790035602/82418983921939288853315605665338394162571356804961\ 6335145349967347275520520207079923466550198034780139100963875028132\ 5442217736911473*c_1001_2^32 + 426987049190502276533748447779267368\ 0240530775052179495971905754826639352963850656012459687497251657802\ 709143813489967361625707915060579/824189839219392888533156056653383\ 9416257135680496163351453499673472755205202070799234665501980347801\ 391009638750281325442217736911473*c_1001_2^31 + 1771564790849815672235001738962564721763947990134593049708824240746\ 3474221774374021026012875289797193818183545705234791046968530323212\ 414/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^30 + 5372979276713822028079743208447713621659613471481\ 9418196994773193651283861241210179114114313296639989470781492841774\ 008854854146700672335/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^29 + 1224197159383368597307740517946385161836953507217818073134284650182\ 0077185105340189328421899430813714971479690480017075014032240814754\ 7190/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^28 + 214409438284647453762232846891199950979218239627\ 6639995970596809932343026114597980085602139012292254863162235287973\ 30354421647756485380307/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^27 + 3000763642391993559383553023541100034292512653475243507019716983086\ 7356627349352809996845692365792570404556555718331744016278216287831\ 3682/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^26 + 376160853402166958584572893163713004067102822855\ 3611771771980681825077077254878794554091479796233481723568432246881\ 83754681299794680983536/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^25 + 5251489704649093898720425576886602061793440369090564561542497155468\ 0111875279001281026380513052480086819692755429677742610578457841258\ 7599/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^24 + 862081781398306953578535067258421448804512108377\ 7460285388822332213662093219480119082889606492268343634235842395165\ 39622768857239780396579/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^23 + 1329688116739012569546975974937949514180715758260150744235412238638\ 1206509133091553418974675806454655700746510022148084630842147321015\ 67397/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^22 + 16172386709175206329285126550826122179891099902\ 0039383956769190233424739151800689208801049763629328834066272454723\ 2270854778795129976477504/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^21 + 1524189020842825488297546861526214588963260854822117371657213878462\ 5265251578154228551570086769794589187031850714063109143158305637262\ 27920/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^20 + 13947084976453191978067782479408522492564973293\ 2328927791696928264048267085072261193070693261147066806031425419645\ 9238445056042650501245634/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^19 + 1754628644619851893104314760057318593171196680295189832224152289547\ 7487239435706656173021384886778239596978111104480606862495961433932\ 68064/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^18 + 23734748578937664170040597171231061153340430318\ 5920090789695376440063585276224088280978687229036924864316198211132\ 2893757189554783008187834/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^17 + 2348128448943734456158156522919448003986051127401005946706199634177\ 4947327524830685345116991234581117275329761538447305018846600690556\ 90837/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^16 + 15655585289478854382818425008374170807222872384\ 1480289022902907396045457891789267537748362607792749665097202624248\ 9803654961640953832671562/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^15 + 1138526483098621214660789615559711691966160002355389070213765946584\ 1015853239706003287224029917117301423132285000394834765635353921244\ 38875/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^14 + 15323104146376587257734831816653478841546173783\ 4356365050840902268942789314254102517622334463043461685273410667486\ 7606272131593114389617771/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^13 + 1579663775744876418253613905248167671931171553691536751423545735564\ 1396426272086031171910173214349043132864251659030608208446736164769\ 44955/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^12 + 67218520099909547839630426720126818842013210186\ 0161567365096559172075366471440264155051345506943491750417204466568\ 598837991677090166390019/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^11 + 9214264476379730055487574880495767546798045564887849323622343230912\ 7221652412347532727090065362760285104072630382823042027315479604287\ 953/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^10 + 4058701296254425384354181551787274419742008710626\ 4993591478204743883187619912377956487756293212104902954329315466295\ 9502358528201429050502/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^9 + 3735481233816197112480106803953350407320237789620004083632927116776\ 1679331071114786842444315447962026704121390923913139031215973857089\ 5180/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^8 - 9186881392626827785261172075665373796358330105982\ 7852985876035592927202189315822179509416885028024754698903650931365\ 712353778579606982818/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^7 - 6710390089724263228091573797340908835177691642136673468625381106260\ 6879336753847010724685819637921597167412346435655500083288386222986\ 714/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^6 + 75304736685759007164559347280918533117858397383571\ 0465045577021693372486229756053115651611912618447813997366945539670\ 54140721524239152905/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^5 - 786884896786862044528208561085199\ 8431629542178694334983292134465334723696912867762064128231871630047\ 373539412319165640947314574431962273/824189839219392888533156056653\ 3839416257135680496163351453499673472755205202070799234665501980347\ 801391009638750281325442217736911473*c_1001_2^4 - 1598618913072461820637839509158450880000700200507207830961050547037\ 1277090461685301709258193550307591516163162783347572539145537055848\ 846/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^3 + 60961347346077574692474582463683792354770565578450\ 9941698267377210000824011328157675330046021866761621066192909329626\ 0981086003665319363/82418983921939288853315605665338394162571356804\ 9616335145349967347275520520207079923466550198034780139100963875028\ 1325442217736911473*c_1001_2^2 - 6755231934665182928129427527616104\ 4904714899295191544244920951672608845590242734232792874916529215734\ 9740881318490135630707034953890851/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2 + 3683290577424217051937121049716553796854303663752341296227615765806\ 1602019879040571363084645719436575308833523131434074535465381745563\ /824189839219392888533156056653383941625713568049616335145349967347\ 2755205202070799234665501980347801391009638750281325442217736911473\ , c_0011_13 + 24741624254091586938356937418280025210008839694460611515607\ 01134859917402369944755935457841925080527076717953719019927203/2413\ 1324940206759211177914382500417274882027337802358304502959838853727\ 5690988968897390560120203677640699686366588946254754*c_1001_2^35 + 4126096725876155842236359414451371714055073693426433700289462832337\ 7574553875811694624386520504897054100269106453127536670/12065662470\ 1033796055889571912502086374410136689011791522514799194268637845494\ 484448695280060101838820349843183294473127377*c_1001_2^34 + 6182588665266240914479688856346960837011894097119134708212942790404\ 63501119465478317516480704769436573248244062662405108883/1206566247\ 0103379605588957191250208637441013668901179152251479919426863784549\ 4484448695280060101838820349843183294473127377*c_1001_2^33 + 1100278082957839263504036318736315166566963226815915152926951088219\ 5203767100770890684988681303553717176369540685320616032655/24131324\ 9402067592111779143825004172748820273378023583045029598388537275690\ 988968897390560120203677640699686366588946254754*c_1001_2^32 + 3246120474121136287448588355902425852357751539309484344370073934106\ 4346165885823434416963925469224244737885838458808143453666/12065662\ 4701033796055889571912502086374410136689011791522514799194268637845\ 494484448695280060101838820349843183294473127377*c_1001_2^31 + 2695602575895699133391531590957933263586472332822485289212500038649\ 51258536346258174782265169694033537204916310732263337724679/2413132\ 4940206759211177914382500417274882027337802358304502959838853727569\ 0988968897390560120203677640699686366588946254754*c_1001_2^30 + 8182252209840628914164095704694829739026151347485206096031983118120\ 84262581112530214413096835249073152959517670540888732452481/2413132\ 4940206759211177914382500417274882027337802358304502959838853727569\ 0988968897390560120203677640699686366588946254754*c_1001_2^29 + 9329587512137120335684935100719121117049659837865240259014739548934\ 74969662629545318838897400139886118072233255042168849320812/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^28 + 3270822341277588600296646545848773903386599777452107804147968581739\ 811815883328944079296035737513149078882242879366853283416115/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^27 + 2290180075157476449082510710772963433127393781481833870888737976395\ 537871763942119181024788147534399343398984786010444961392469/120656\ 6247010337960558895719125020863744101366890117915225147991942686378\ 45494484448695280060101838820349843183294473127377*c_1001_2^26 + 2870109679314184777858497582707981026423130521267402561067124757384\ 677031847427870748158708783609475740334370190552414103977179/120656\ 6247010337960558895719125020863744101366890117915225147991942686378\ 45494484448695280060101838820349843183294473127377*c_1001_2^25 + 8004665859077024663575503882117357815970636229281153724510240054524\ 489652437033947642735275698183406362289196433521015466581877/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^24 + 1313584422566313991809515521605836777350067135104316229550356020877\ 5859526760972240433564470359068302830253094938279053411619615/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^23 + 1013900572883029649727932331860166693700302835082934572648899865358\ 4933602745450921476031130130037689116617662079403882214860720/12065\ 6624701033796055889571912502086374410136689011791522514799194268637\ 845494484448695280060101838820349843183294473127377*c_1001_2^22 + 1234592607461108049590156240691965595536113511886387322105941331085\ 4276721922781412852964120695473367271792348250852119946060927/12065\ 6624701033796055889571912502086374410136689011791522514799194268637\ 845494484448695280060101838820349843183294473127377*c_1001_2^21 + 2327920524402749591891775156813256619914953687692443559547510115185\ 0314976788128685882338576918794158349443670559328303957491171/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^20 + 2125751305298748702219938346407231553987655913281627742202503022733\ 1807089809552356593832904805224393219033509327164321762873927/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^19 + 2669713808948309885972085496908120028603963002183149710159821194627\ 7941477093489609364984206868937233151255637446037068581776219/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^18 + 3616898581420097543860796728484568287329423799601989543160670279518\ 8462349236371749890972741658414131198520025544081019045911665/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^17 + 3586605101178520087627051775332845448812784453540895383626280809597\ 7249631073120322881191765644615464722194781731191028980467561/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^16 + 2391656411815543007590474124855408616092053502243058482464922410591\ 9435583163473605773352428329236515206341143651754918457169807/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^15 + 8639807447820691184109957564581311451295472008434415578772323599487\ 721428671059357087488927243721293822133824894494264371056856/120656\ 6247010337960558895719125020863744101366890117915225147991942686378\ 45494484448695280060101838820349843183294473127377*c_1001_2^14 + 1162635915917167605272655781096300912517841777400984439496582200558\ 4609724387506875278428144761938856814731768812484929340767811/12065\ 6624701033796055889571912502086374410136689011791522514799194268637\ 845494484448695280060101838820349843183294473127377*c_1001_2^13 + 2410223721427099647650870966941525821626936754754784781269139531219\ 8672144419295193450381335013772637054015761293738312646983681/24131\ 3249402067592111779143825004172748820273378023583045029598388537275\ 690988968897390560120203677640699686366588946254754*c_1001_2^12 + 5155343625973159982021641591614364064582428474329609592123832620217\ 529351635872310489405243946175887232458743275492998027180785/120656\ 6247010337960558895719125020863744101366890117915225147991942686378\ 45494484448695280060101838820349843183294473127377*c_1001_2^11 + 1329040256311441048854124984872631169407019220992705492456217184893\ 177985738507592193756886109387417393938154720123711949634285/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^10 + 3035856987436811238050851202945037874224274892761225330554517569105\ 238851922369784949206683478396428322573970922127545531990015/120656\ 6247010337960558895719125020863744101366890117915225147991942686378\ 45494484448695280060101838820349843183294473127377*c_1001_2^9 + 2857299065122691037703701778764357681662927356632221984428090812642\ 162281721634224050464056879859960709656546488064365321576874/120656\ 6247010337960558895719125020863744101366890117915225147991942686378\ 45494484448695280060101838820349843183294473127377*c_1001_2^8 - 6859557570494358382726605388922351960424663498944118580033323555127\ 88493681158741042515078482203796764744255813898470999558977/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^7 - 5408733322330781504150575379857012024185414815695395966840507547579\ 81867401597785575977648945433447063615038767576671802316994/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^6 + 1130561626703818437916333735533870401473172709358978926780580531517\ 720198987728745810497216710157020118093981383851879392977057/241313\ 2494020675921117791438250041727488202733780235830450295983885372756\ 90988968897390560120203677640699686366588946254754*c_1001_2^5 - 4968346869051927433234326907746233145944245594442504284376238251347\ 3687037952589561236911298235723600543574797131796392336363/12065662\ 4701033796055889571912502086374410136689011791522514799194268637845\ 494484448695280060101838820349843183294473127377*c_1001_2^4 - 1250241913976159256190519698191614562584654357278081334985131391062\ 14852275082121148684893135297209734175337641533920385188022/1206566\ 2470103379605588957191250208637441013668901179152251479919426863784\ 5494484448695280060101838820349843183294473127377*c_1001_2^3 + 4456458443126114353027803556314691362519840039315974310337602584031\ 7685006662098712783813164827241607482321786425699113496433/12065662\ 4701033796055889571912502086374410136689011791522514799194268637845\ 494484448695280060101838820349843183294473127377*c_1001_2^2 - 8137560641041175443608968125166543766526605829318042642574298204575\ 092143033376064803265885130086247769776783384134997875841/241313249\ 4020675921117791438250041727488202733780235830450295983885372756909\ 88968897390560120203677640699686366588946254754*c_1001_2 + 2255316328462509730269688429363738835316676387085297892118773516078\ 72525627328136696246405332708973886430799216923877071773/2413132494\ 0206759211177914382500417274882027337802358304502959838853727569098\ 8968897390560120203677640699686366588946254754, c_0011_5 + 259522216547942647285834141164483247203524735286126588541978\ 6845397642088752841670837163572615445053351348261133195395530970449\ 30177/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^35 + 4316069005871826110683928868716421386631877945\ 1034776680844536138276341361446339438622580186311393936284259096167\ 89152374467755071300/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^34 + 6445269048683951872396402554175504204440295598716677976264004558668\ 0435411252891448887437565258455418444166007654215279555888583828847\ /824189839219392888533156056653383941625713568049616335145349967347\ 2755205202070799234665501980347801391009638750281325442217736911473\ *c_1001_2^33 + 1142146269882843086295049633509205963538551946800201\ 1992771914000171255201574421163388878503193453454551961233862223712\ 43040721448708879/1648379678438785777066312113306767883251427136099\ 2326702906999346945510410404141598469331003960695602782019277500562\ 650884435473822946*c_1001_2^32 + 3351537249769523789536537648504013\ 5850014474901727515816365175369697704178025779086426564451626347256\ 38235942917578971697230409443754020/8241898392193928885331560566533\ 8394162571356804961633514534996734727552052020707992346655019803478\ 01391009638750281325442217736911473*c_1001_2^31 + 2764222640162675473559747807869495002019823523826958037709825193465\ 1225471049541552362005255821507047074055618539152656765023711845969\ 799/164837967843878577706631211330676788325142713609923267029069993\ 4694551041040414159846933100396069560278201927750056265088443547382\ 2946*c_1001_2^30 + 831869086062995638821060434001781309136518543150\ 6133861944160707690661227918263774213386267106819767374088274712637\ 7727467307575001805029/16483796784387857770663121133067678832514271\ 3609923267029069993469455104104041415984693310039606956027820192775\ 00562650884435473822946*c_1001_2^29 + 9383375316221422253296266441820152345411049991617761546616993691364\ 9303661444334282459088308856445639817020648696676551621784333019104\ 376/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^28 + 3246035923824613772100186354263706306059293590725\ 8639997797250477702162324639190414823062563882783979724390517938837\ 2076021822330210943749/16483796784387857770663121133067678832514271\ 3609923267029069993469455104104041415984693310039606956027820192775\ 00562650884435473822946*c_1001_2^27 + 2239076175261074136535937551526831763633999218634236945243902837764\ 2590966393599863051985682754635838200099444396780433508754969470515\ 4069/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^26 + 278038476355991501836125893018335532712034823979\ 5554114661007287965717134529926098107685945865218511209420428474101\ 21854928664776296913247/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^25 + 7817402103222254328400605937441545203897754794549439710604498092205\ 7728434725569111287750604128948734848032354884227791246676942111271\ 2313/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^24 + 12975192248756126188590898555686095463788518802\ 8990946804286258452363713510247749536711559532099733409152018688876\ 6766872481781300863248409/16483796784387857770663121133067678832514\ 2713609923267029069993469455104104041415984693310039606956027820192\ 77500562650884435473822946*c_1001_2^23 + 9979328424978169829872070047276140582897708465642320620040163957392\ 5213760553106953348866349091806022843553845476627503048254039515525\ 2494/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^22 + 119348579690908825059947171427103475628031079230\ 4903711453783442281092864699136800885549193179325233082924568090092\ 364934541495865833345504/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^21 + 2192320458802190487406687429805585107800238836516027410634021860070\ 8903124633245957807521897548842764114183578318052540631798834547293\ 81099/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^20 + 1991882824380464812424537426580643691051399214\ 3877590857870763348451709972943904400437212995839435123021564756252\ 78475947341096488548799659/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^19 + 2583189248908569518399398080645036884228080969077519084733882036109\ 8679052369987707824349776240554798526753429820736494522246567097343\ 77809/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^18 + 3525199585268762532776926479414287566139869294\ 2725446424732022218467962320398305697859083275759663371703526331508\ 08280418017547678501706767/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^17 + 3398498532750527555579897954748071801920101099576726280707957711751\ 7272564013681678959251919726890073286256669290447434813979568565507\ 62259/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^16 + 2142903175037568560126300869489617142752010466\ 0633645260417530825964271182866010517457047309353356094580256909568\ 03609291032908644866309105/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^15 + 7815830541236699704425040183696617469112038443358588679135664075079\ 1824315562367663623748620704441093832961884941737109293479587764358\ 7665/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^14 + 113035194634114957980934949057528140825326743817\ 9071489623033224480621417505642948377396520044220431033112236996677\ 540287145395474143185224/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^13 + 2294925386726992585492172284669682817518908363022542063640976997584\ 0010217161903432044429680997534642956565873456906799266841828369194\ 26749/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^12 + 4181257099664354854150862082073448336915268682\ 4776988410307143192812518317900167265942819091861044693066678738691\ 6678270148926071304936158/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^11 + 2762905036564121714008898088578247615110746861525154991533860638397\ 0187559684453766908369752734723260919398056946130829944462644084940\ 447/164837967843878577706631211330676788325142713609923267029069993\ 4694551041040414159846933100396069560278201927750056265088443547382\ 2946*c_1001_2^10 + 309888206171064373234710881599631516704916992108\ 0288078394273797278388916322578987232532936903195414635745747312398\ 75908090695162784356943/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^9 + 2701549756374578461335541345542131925760960936087275632246671349641\ 8237492606830113672031373253578256461746988694175307309353670868503\ 8035/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^8 - 1012700128459583940017664752861316449577720275274\ 4632756243981672143742295784140826672388637216570639937352569925712\ 7630270761651153220843/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^7 - 5134131321848880833669660107620852957114263820861876542799026333408\ 9656660104819466167600453617130753429109189889233072968757481708913\ 153/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^6 + 12996695741223515760962729212980423253815156473913\ 4485980859740488456884874138354109562160030213263931507486075609084\ 626574402264236772393/164837967843878577706631211330676788325142713\ 6099232670290699934694551041040414159846933100396069560278201927750\ 0562650884435473822946*c_1001_2^5 - 1050625544399094734513871409211131808968290350907685775313661214463\ 1201629525387441821682389023953739616367270988136022907418123296623\ 218/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^4 - 12859111517514971773441144766395041269425621237985\ 3714904767183237094932557734015203359488973579167840512656411824170\ 52384295920890569521/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^3 + 591691986426268280792961008374392\ 1018868550954594086740101704151381013627808318373418141735158497067\ 207273002066671948736176803560994262/824189839219392888533156056653\ 3839416257135680496163351453499673472755205202070799234665501980347\ 801391009638750281325442217736911473*c_1001_2^2 - 1610711430912540051863876917901258670173458055756947663763672589268\ 5366411920287861145800516629529534370971677645419166085602316529016\ 91/1648379678438785777066312113306767883251427136099232670290699934\ 6945510410404141598469331003960695602782019277500562650884435473822\ 946*c_1001_2 + 8120661661595798351312210813759522379517267597242137\ 3117292412638002082124017933998023678791377226799207407447940150941\ 133383589806517/164837967843878577706631211330676788325142713609923\ 2670290699934694551041040414159846933100396069560278201927750056265\ 0884435473822946, c_0011_6 + 354986551769078831686358363405981579004570237571575361626919\ 5058242844146277928018939314255348259137869665910701262509268911818\ 1782/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^35 + 118911831753620906788264888357246172655816136314\ 8661331769513978078348713154544450714943952028993145006690419916532\ 620559532722454261/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^34 + 1791251230746277087516623756236098\ 5692166962443119333984827900186406722532676932793130965991173395750\ 069928433041928167328922648271062/824189839219392888533156056653383\ 9416257135680496163351453499673472755205202070799234665501980347801\ 391009638750281325442217736911473*c_1001_2^33 + 1604441992559281859625854646294431342558988035574894467697351402891\ 5944704085919615512501311901817731126087099134466926579207431309838\ 7/82418983921939288853315605665338394162571356804961633514534996734\ 7275520520207079923466550198034780139100963875028132544221773691147\ 3*c_1001_2^32 + 954583969767625941119306321585339199947887145198824\ 6514672298484218731474680945382546600806031398741189304601912361053\ 69946900859496918/8241898392193928885331560566533839416257135680496\ 1633514534996734727552052020707992346655019803478013910096387502813\ 25442217736911473*c_1001_2^31 + 40049455743052761392863246821724621\ 1034521373676449272377152882500363538433041317406851105457539591449\ 9325134993743513071231282608606561/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2^30 + 1231594287291035576898363874194135062466572617445698064473471772816\ 0306861853895271943044812994814010481585288982788230880417735640794\ 650/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^29 + 2854428091858212897144262405952797488393324811429\ 8251664402626221020668909346003433561735852858090304407671730606118\ 821019039975229980162/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^28 + 5104102849191652116367395046242518937154688761137123197437097224419\ 9873073496016167914440420623097173187562551782273965140400581019386\ 361/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^27 + 7308623510574304587104050656798674617944075431557\ 9017795727018466209882412219067452244286077395449634341353804782340\ 268049033378309415471/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^26 + 9295048898567118228089913358599486540122537870329518158129457040319\ 3777192353472459451282675851729335423674550766990893647577464011999\ 126/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^25 + 1283866885722245190719198464087763396359487744790\ 4123033317967633713805510388838983355445301857221312782029717593506\ 0878253620248965352513/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^24 + 2072055810993975894288839076409386089904387791706301473642944928344\ 5259414468002834525893920614177287036279636925432362369702867352394\ 3526/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^23 + 321091860080780081342719884807834875254747841797\ 2943178300604172982877871638021763764573360487251485437377807739219\ 65294438979777547506232/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^22 + 4008833530809085236901135143098236638972999347423137338032563521063\ 0916389994217555180965436377020661091272669647804511604950117188472\ 3192/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^21 + 392324619943536071809713534551375360672068396942\ 0225705918044287951759653426969160847067786770407835790542685137757\ 39770854371430628772472/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^20 + 3625620098246761685902288504689427213714650450493720188307495297069\ 0080745458749295610424506976306625927254168866165264150186618128105\ 7512/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^19 + 436820932833263265979194686284699155905755007513\ 8074565802671825456785322919354906101894431960229546686485002537047\ 39856346246958157809175/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^18 + 5835073303777873363570208056494222407758983553337214869969021945924\ 1506680772560142411436847422408165058422062346279882092143774030125\ 6079/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^17 + 600019907627724433120408612043127005565955689512\ 7208687781615070180544924387740434523897457213087863080736145242903\ 31381568505757320272060/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^16 + 4310231914584409170649633170279674763464702873080324600278565260091\ 6572191097476118247085938780320001043753796556369998584223150494767\ 5486/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^15 + 312188946707861864598462441364207795043636414366\ 5948440208414822304990704418355221642902832251894648972981732246204\ 89375627249364051213113/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^14 + 3812792238525476529135241478791766607549421832411433028403730623123\ 3853689745716704228230275911449573769519263609538738790412751453061\ 2535/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^13 + 402836175848508621277417546040341188836989058986\ 1012027415890638703372103683234159667528916312893115209503831201186\ 91428675580502568838853/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^12 + 2072119635039192343200151199146929560598362441301358240836752304273\ 7815344382343141458977526703248685657143599748142731865016049131156\ 2303/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^11 + 503420405448976841887314329147688850668111891808\ 4020046372091295462748862016229251924604421058427376840208573349943\ 1665974158620840935718/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^10 + 9630828915412718011094671626930693175960840706231995503789674591358\ 1527726542202895300409840474285217439385587332478670137558539136817\ 143/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^9 + 97165549441447318184970026317944466175202593394255\ 9881709402168880741379829338424633093260612517598428653868660530416\ 77179078607158920801/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^8 - 542112213628106660288066350732453\ 8335375463631291031230128729753428128836389359676470030058890723372\ 973587930276870509481273855900656823/824189839219392888533156056653\ 3839416257135680496163351453499673472755205202070799234665501980347\ 801391009638750281325442217736911473*c_1001_2^7 - 1596522644876509196809177269178647563165421311123727006639116081827\ 0187833528059940889938145035102169510641078900877799444701539443754\ 585/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^6 + 14506666375661366417518431849895093061465946933860\ 1170497770410045796134829900475102702484256901005209250995102081164\ 84793358131181983828/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^5 + 769881751446490975370993804702669\ 8056252319252122430373697574776923419023047944700872481119380672534\ 77227996150149275400810007096127246/8241898392193928885331560566533\ 8394162571356804961633514534996734727552052020707992346655019803478\ 01391009638750281325442217736911473*c_1001_2^4 - 3580700246017664276188624099821045837211012084045489400795398215120\ 3671105865116053394917627330685840131261690105872632519439354724150\ 79/8241898392193928885331560566533839416257135680496163351453499673\ 4727552052020707992346655019803478013910096387502813254422177369114\ 73*c_1001_2^3 + 817208903566355412299752588484131529226179972875196\ 5587782235945521449504690279249410464748152405748374573529347755786\ 08543080345372568/8241898392193928885331560566533839416257135680496\ 1633514534996734727552052020707992346655019803478013910096387502813\ 25442217736911473*c_1001_2^2 + 277878991088173251469267020904499106\ 1877642187312490222641279506947888713741168757350325184532515599001\ 7926893331275145792467523346582/82418983921939288853315605665338394\ 1625713568049616335145349967347275520520207079923466550198034780139\ 1009638750281325442217736911473*c_1001_2 - 5843046204840907222378400743467814695813740318125850863906893253557\ 211529237040441515133886171630621436721145153628948487963726572982/\ 8241898392193928885331560566533839416257135680496163351453499673472\ 755205202070799234665501980347801391009638750281325442217736911473, c_0101_0 + 124312792858313270551654561913828457072912699480881402063170\ 7318798450392997035947996414322498277181286003786214486915564702446\ 56535/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^35 + 2068910540947711428534921903779734805806488270\ 4249890973676590357712122770475420234558459014608602110768901008160\ 00947242184278824616/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^34 + 3092368461485520382576873820474028030116452377101226543900706676521\ 8372490681060168990179276679411564730186973657031725462582259643236\ /824189839219392888533156056653383941625713568049616335145349967347\ 2755205202070799234665501980347801391009638750281325442217736911473\ *c_1001_2^33 + 5486381705293792519596657352685570668699134677692932\ 5336431132965604314024975815964541206241756339032934972409927647225\ 4981795678466119/16483796784387857770663121133067678832514271360992\ 3267029069993469455104104041415984693310039606956027820192775005626\ 50884435473822946*c_1001_2^32 + 16124412273422474174569344415789086\ 1186888450075512997069286766579682497914166316393717266848454543429\ 2909344345005151742103657791059760/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2^31 + 1332623924642456975792787804721607196929612310170757415586420611799\ 1088183002150015422409330401815008972712810085395153359757996718574\ 093/164837967843878577706631211330676788325142713609923267029069993\ 4694551041040414159846933100396069560278201927750056265088443547382\ 2946*c_1001_2^30 + 402140469811045006744798621674611846565173321818\ 2237090747269229728403158251201387710385872377230252115302728774555\ 0144563488783007069763/16483796784387857770663121133067678832514271\ 3609923267029069993469455104104041415984693310039606956027820192775\ 00562650884435473822946*c_1001_2^29 + 4552626751347367600490980289907883382864696889550371257189069642616\ 6327806416021521198633985137455927635386437884351789390083028680943\ 776/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^28 + 1582503984519582230172264316013047282372806273918\ 0544209549644595250274907160565474239280112533935219378420018042810\ 6485648277571275642479/16483796784387857770663121133067678832514271\ 3609923267029069993469455104104041415984693310039606956027820192775\ 00562650884435473822946*c_1001_2^27 + 1097992320588429820378838513191219042644079542889352120309257199618\ 8747464557325427501983135077609195194817950184311247999896323687196\ 6443/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^26 + 136930620791342131756883664241453481769658674207\ 7786565800173762701966170050227850729166106811820410115759446568838\ 75476321218088309521480/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^25 + 3841050969665959080931306334699842021803584421472715999365448272848\ 0451760338263185005581214403937993503129186764132743099307412380001\ 3725/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^24 + 63460132720093182547614885785481529747209225492\ 2028461709251024835925325208174795722335353833609835105303730294385\ 878721062566393733881889/164837967843878577706631211330676788325142\ 7136099232670290699934694551041040414159846933100396069560278201927\ 7500562650884435473822946*c_1001_2^23 + 4883850450826137801404998115596529188481935300451883785984562322312\ 7661661845461698352190089430441773657878770301733807386050889316626\ 8755/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^22 + 587964543587347189082966967171444687614006157298\ 0998834593829401942250313359696184675722572223371129390393666539365\ 43913924360257626860735/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^21 + 1092201739350453172618139378761307172770069589214681762231379890846\ 4014523786104329590197757951497994342199470091807636366098170082478\ 43965/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^20 + 9967885858178839668227155179109131486007047416\ 7353308121693372492581902161313085898042088700422138451927671015498\ 2273181191789554965632393/16483796784387857770663121133067678832514\ 2713609923267029069993469455104104041415984693310039606956027820192\ 77500562650884435473822946*c_1001_2^19 + 1276626427919550871898834045168188570070295511055416427515829416237\ 6584235669607851419121516012618959011472239686438739734253407899453\ 94081/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^18 + 1733739337635214015088762078411516019691590696\ 6282490538933588921322983411557080781096627582887630770424074244712\ 83144777522764363331260921/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^17 + 1688356375343136247438259901499125762109729390182605579594686734076\ 3116777181716162005462895853371110204439878706811005770829051997187\ 42881/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^16 + 1091903389723357052755790732395841988348774978\ 7766645128479524614765632748384888772567996054796016769731473856935\ 27240315178340940541204935/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^15 + 3993243311023320062973762886381524884543583470647365886608555561504\ 2661072896471905484556155621887130898265792261308569091824629047679\ 1948/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^14 + 558850904594123898848980777298732974899664028332\ 1586272739567506700105337285027006418975635857075813020302554759836\ 34535176480966556212313/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^13 + 1138648261724770312673200500546107156048437378718117501213873476161\ 6168643109441343610208168292943484469123066224621014982391969225093\ 47331/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^12 + 2224517364606863473487559935344395120079138880\ 6317035996102839534526833570652508705345372157657768627192638743444\ 8263685442555113109621733/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^11 + 4013922397463427712494343055411566456285052502940886337162314851120\ 0642303781857385882710768714313224297241280593277961661831440332295\ 229/164837967843878577706631211330676788325142713609923267029069993\ 4694551041040414159846933100396069560278201927750056265088443547382\ 2946*c_1001_2^10 + 152121548571637368513009250046464255979860195432\ 0400131575655613106161689508021383142452776376662735309224533302896\ 26972404785901616071098/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^9 + 1339233470728121268821614092818564318369995651947215505370233092893\ 9782115828545194483172838346325398473945531080395187053911315837681\ 7531/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^8 - 4269685864606576759602509686669095231747207452454\ 3881616685364060675010694233659401443569054505902650889358438590737\ 784735840072328119522/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^7 - 2377491329820641016672678570738133084513026572864650871406840121711\ 2723575506094927424012280796789259424193907826643788611615856968515\ 637/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^6 + 60234250117737639976814337339638991207827180017558\ 6577022926560344243659418750912780831872429471297928776260484297775\ 83789882306171009115/1648379678438785777066312113306767883251427136\ 0992326702906999346945510410404141598469331003960695602782019277500\ 562650884435473822946*c_1001_2^5 - 4403788727554163979434062764133518189440267035644000559911325680919\ 0286998881005712906897051916782200941051650572173481501352588975175\ 63/8241898392193928885331560566533839416257135680496163351453499673\ 4727552052020707992346655019803478013910096387502813254422177369114\ 73*c_1001_2^4 - 588543631881581787600232227306946343353477219159457\ 5655497879830701412847979209618813166921655177538559967281356823238\ 579792897066163169/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^3 + 26524683912963520990576136548934531\ 1508699977521488995555215786437869587236276873914759589217132562306\ 3906944339683057553274988444306310/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2^2 - 7370916404948488173962950677102839729117496813689168025258475480977\ 6630220323132778201222088955217953316385915517591036729030453087898\ 3/16483796784387857770663121133067678832514271360992326702906999346\ 9455104104041415984693310039606956027820192775005626508844354738229\ 46*c_1001_2 + 55736609127805805263995173411574943785367013638220442\ 4936914137042516476076021552087058854900848725584415765540974011460\ 54187608262141/1648379678438785777066312113306767883251427136099232\ 6702906999346945510410404141598469331003960695602782019277500562650\ 884435473822946, c_0101_1 - 490243232256302179938727789310416628922359003541120985011767\ 1271329555126666558741570986700030703547546680034425087861933257326\ 5373/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^35 - 81052648200836488756898203507784095898531899532\ 2445264720627708428587633685100936473283882630706277792260307949475\ 893971872854949964/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^34 - 1201633440106407561300129441969928\ 8318692944092751168913001949805510757237548833968757055019660265775\ 023248359337090799854501425339458/824189839219392888533156056653383\ 9416257135680496163351453499673472755205202070799234665501980347801\ 391009638750281325442217736911473*c_1001_2^33 - 2110209837728158970719347091783618592007282161605132117456072381840\ 6671109319038756477404971890168548879450451197069219249868899349773\ 3/16483796784387857770663121133067678832514271360992326702906999346\ 9455104104041415984693310039606956027820192775005626508844354738229\ 46*c_1001_2^32 - 61222256778835904434649812318423302311736017174182\ 5987027276195400483563633499338442606568696526240775724834048123495\ 259687563024124182/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^31 - 4977687264385210493604424316237191\ 5352758142406935314670066553364138352769798189032217825696184930013\ 44559563465839463332893259758439351/1648379678438785777066312113306\ 7678832514271360992326702906999346945510410404141598469331003960695\ 602782019277500562650884435473822946*c_1001_2^30 - 1471477472270265461220722724760860388428502750400942235668045421318\ 1722020641071474289525325627816316603443467419528640784191023880767\ 251/164837967843878577706631211330676788325142713609923267029069993\ 4694551041040414159846933100396069560278201927750056265088443547382\ 2946*c_1001_2^29 - 162354914716389362480565654025667664559615072800\ 7974513821426358780885874185461315134608277457396989555377089143720\ 9334926247421198253692/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^28 - 5468326345981117817811247994068183769794035993229063660196715214914\ 9711512488211607580899796339133760731346966903361697026831105637627\ 477/164837967843878577706631211330676788325142713609923267029069993\ 4694551041040414159846933100396069560278201927750056265088443547382\ 2946*c_1001_2^27 - 366646947943712357547419261483720079834186006667\ 4291536169742651519340099488483229472057194712023654016349239446084\ 9489306243253135259892/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^26 - 4494784889569259404735461245073333851783885395285195076077071995011\ 9313508241981809565863085901511997220240591192399053415338713481927\ 036/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^25 - 1292976583123303480894536476376578331092315587328\ 8577539212777249620381444578795761855923668596848260707138183409106\ 9722497957290879449725/16483796784387857770663121133067678832514271\ 3609923267029069993469455104104041415984693310039606956027820192775\ 00562650884435473822946*c_1001_2^24 - 2191673712570830292955504064851837172548450020224453014091163688313\ 2346932800176872441839003417966217313360616353849750513692307413759\ 9327/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^23 - 16655378748231545099783762438856089763343130127\ 6099441488318263377553545976146230268457460196490192543837735910196\ 807250226287661659997447/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^22 - 1916380937586832376651121505330037260379997215483889782882674273945\ 2977767471010729720710601200983712627260079824172238761215214615416\ 0279/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^21 - 335358413017973377884403949984335744081980486831\ 0020847254012849437567107996449270761166687170773360534389116519835\ 19213824589308052286605/1648379678438785777066312113306767883251427\ 1360992326702906999346945510410404141598469331003960695602782019277\ 500562650884435473822946*c_1001_2^20 - 3079170160189937392737550961069290103624390592190511059776557086468\ 0529552346932131301020231856184434645385255260120499891839912753374\ 7587/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^19 - 42840135502566890978763499267941246533342653966\ 9494944244083443491566000081149253018634412691009795003460900755598\ 790860729467120641682079/164837967843878577706631211330676788325142\ 7136099232670290699934694551041040414159846933100396069560278201927\ 7500562650884435473822946*c_1001_2^18 - 5844271379433199571901675854674091042265065870051823007435595506186\ 0539385163295471067501319356580044314443788768418713732076322076012\ 7123/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^17 - 52692443045633293116766250747461068476836078261\ 9626410846555797509217793311845977823337858806577745290251734554323\ 341573838332786590233001/164837967843878577706631211330676788325142\ 7136099232670290699934694551041040414159846933100396069560278201927\ 7500562650884435473822946*c_1001_2^16 - 2979039023832115447018019522679400929891190403701909716522111744533\ 4881102704065953702239566531711921912233279337175822445154527130773\ 9167/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^15 - 11848108737932670159024277516416567902734463614\ 3893400459849870879325946429686966052533494893963371043794189693148\ 965636439599666871271682/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^14 - 1939337354350941272562585163210780077001599514803881735852433177957\ 7251780605202340119894790763963509636454440386979582401222294935349\ 5120/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^13 - 364743975453735779767932228239781020867265762445\ 3130509427484821390204069440305973365122385394960249379995364429124\ 08809585714685277077149/1648379678438785777066312113306767883251427\ 1360992326702906999346945510410404141598469331003960695602782019277\ 500562650884435473822946*c_1001_2^12 - 4357005694386581972520219005377081424060837769397317297118700055023\ 6074268765314407619680975145507186875245999456810226095942825890558\ 779/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^11 + 1148152733571711706738061769837515098452629343023\ 4926711823847539929661171466023409547105210868210602840525922749509\ 249403912527019005303/164837967843878577706631211330676788325142713\ 6099232670290699934694551041040414159846933100396069560278201927750\ 0562650884435473822946*c_1001_2^10 - 6340948808404424351163389217182981091792598694599809820000874455875\ 3209965821680950664321020187162708872953697830814271207321222176447\ 035/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^9 - 42496096369639995498561261238495466641754107478001\ 2346173845834533731325899447858532927213374320968360563436787735997\ 19440954395078385237/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^8 + 270844540373565021652225567017604\ 9685876117162271404595962613697480213834819126290274451700838130998\ 4650156451970686942599626539138441266/82418983921939288853315605665\ 3383941625713568049616335145349967347275520520207079923466550198034\ 7801391009638750281325442217736911473*c_1001_2^7 + 4210469959548362621677156884442199486488919575382656981532836778541\ 8355781207224599361670083481810072564370973044146877832164178320174\ 95/8241898392193928885331560566533839416257135680496163351453499673\ 4727552052020707992346655019803478013910096387502813254422177369114\ 73*c_1001_2^6 - 298675792437344484868684817846947675615349142837677\ 5784114470858060436918059155283760575684927229216074561381228833878\ 2669651391280751383/16483796784387857770663121133067678832514271360\ 9923267029069993469455104104041415984693310039606956027820192775005\ 62650884435473822946*c_1001_2^5 + 428043033221138727463084322178148\ 8039465261405422820243948178089795805806790748740372273648570392090\ 219303877754756665948174351399198069/824189839219392888533156056653\ 3839416257135680496163351453499673472755205202070799234665501980347\ 801391009638750281325442217736911473*c_1001_2^4 + 1939589125247377527410794635895791152354523209840083187325215009562\ 3121110515689607978133605411435523921465608979691418514665169707165\ 24/8241898392193928885331560566533839416257135680496163351453499673\ 4727552052020707992346655019803478013910096387502813254422177369114\ 73*c_1001_2^3 - 165845890962777857431879755061584389767047938338255\ 8916145460976910371782282407692185263451908603025141901141558579573\ 350638146655943223/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^2 + 76433859726334336547985702875045188\ 1647687004794817854304377623252309986366336811869609957570864813127\ 603478188124322427867974465910157/164837967843878577706631211330676\ 7883251427136099232670290699934694551041040414159846933100396069560\ 2782019277500562650884435473822946*c_1001_2 - 5951227392782667460658560726279123359397908049043376261574857696089\ 0047663864650486228423744217763473639981061760550672765621649453947\ /164837967843878577706631211330676788325142713609923267029069993469\ 4551041040414159846933100396069560278201927750056265088443547382294\ 6, c_0101_10 + 15236764546787191872128727342925308315537417652060429030083\ 1366230180510924078229960197970748915432582803067306719832167889626\ 589194/824189839219392888533156056653383941625713568049616335145349\ 9673472755205202070799234665501980347801391009638750281325442217736\ 911473*c_1001_2^35 + 5068912970783648526810242700016470858811223178\ 5426455630397172315427602983554255507473327017162224001796727424938\ 00778144811516752981/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^34 + 7571373751176893308134062523972638037440946765156456881411778591675\ 0103241116601227475760503500136242285629851282489519959531571856444\ /824189839219392888533156056653383941625713568049616335145349967347\ 2755205202070799234665501980347801391009638750281325442217736911473\ *c_1001_2^33 + 6710817441851967804496356070126799436789871443040992\ 7544492794734008328208061757947441055072957086020594834128804498921\ 5287132705712897/82418983921939288853315605665338394162571356804961\ 6335145349967347275520520207079923466550198034780139100963875028132\ 5442217736911473*c_1001_2^32 + 394041328902039291403313209666766994\ 6219362719598418264536742582034305640808925955191742946457878777640\ 993399786719879487072618861915774/824189839219392888533156056653383\ 9416257135680496163351453499673472755205202070799234665501980347801\ 391009638750281325442217736911473*c_1001_2^31 + 1626110108505178256447598703451899511891448970680822042488946582984\ 0657084812302207077801908301062864462660980932750789309922214446311\ 570/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^30 + 4898710896676563474222331389148529117948182621728\ 6819106178481161286288119006177547284226623284483889173831953824428\ 570048428788693524346/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^29 + 1106811132256839561361757105627301444897200388185534165464631667242\ 5182015475322031523284227907897548527215048021454449339450595352633\ 7308/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^28 + 191865315079082724133679226147335871714770237566\ 7702172044669618113461098711664791803920485310751731470305340534082\ 47580530919663722998193/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^27 + 2654893793380692743010682189376256231626797890550880583217272710625\ 5329747666315562030677997780056079895493910661236946413586063120240\ 5105/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^26 + 330571943367146980190360473640679939785416447151\ 5090887793211777390477536302170120603385689691295669865564771945547\ 80631783703715771033580/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^25 + 4644823538363640495167242522034796085396959489745917014375231386260\ 3851115573023392828791670594187104296561376660870270429937739900600\ 5623/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^24 + 769048194332135333597543267269055858382627703513\ 2668174390417173850549259619125976004071284374969343500878839649694\ 32840821746371062741366/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^23 + 1182657894944592945998230590922563437034257139451804849742170398262\ 8006082993403509022060909636994120079693977163275944524894031827793\ 17665/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^22 + 14186686733719359050967773202669659309323685707\ 3729381748529687604762495538868271082083889932917539146970522590882\ 9363833615580064713197351/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^21 + 1311238531134887958798046261577801633416911182175182276475773034293\ 7781104468898672026522045579686918350047697445040359209437469604564\ 35789/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^20 + 11964407297370136014658472315418379587949871488\ 6564415378341996495349335590563957160998260660009552158170121225800\ 4215821090931275927203666/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^19 + 1542220785615362361682559782855696977081442080212461690685886937381\ 9361960133817198309003169414820428667614216518215920399289680258418\ 27194/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^18 + 20960816423567428689764256974682530294747087776\ 9998243275487374208241166681763277069662514527041253831261187550580\ 9957050822618169130843814/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^17 + 2028940139234429798214342234922144702576803432902436855300984866092\ 8164143432417459274014045564185007895439216424686194213440173241858\ 00316/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^16 + 12982347430851101266858945561339262855497206539\ 3574381255216866874042621270441478969741380818868874389080094000535\ 9383455241762488629863012/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^15 + 9535736687676437121915236874943643503428550634127027178048203600306\ 7519873141381569908319780435251554956837105709835095520194658386426\ 2873/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^14 + 135275101512968281615824828691095991135963916576\ 8168639529862998310001452990268788373750327539889903095641495794326\ 222506288800692483010139/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^13 + 1370176548034411719636946033333593254352852346775276050862485865775\ 5668209666065310924419127175802248959805004974104116953827626042994\ 49189/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^12 + 51739397248716152915213581789734422133554616133\ 7539293634012460131880714497885359460271775078065209791586220437132\ 988479402936390604031653/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^11 + 3784305175214843745926101255869447069926567151372126869730362045864\ 3711678734568439270086419581100052013126082621193004937125782378952\ 579/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^10 + 3731098882155845134438208996513434805526147085620\ 3482728397031994391767512387811893164551863926713030851529031110424\ 9268012215412616874116/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^9 + 3218436431172972448341738146095816207324539207255018909172306688674\ 6902531319603979402391567131804235533053592061166364806270899453516\ 9656/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^8 - 1123617368960722470507818398161501457277647675768\ 3045251124968135817081033002537164238456938499642642079950120084554\ 9678347647234124779545/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^7 - 5694604866051081061947915849775861332082944813303876478938869822586\ 7173412696415106957320556923204022815225015218350256053784961070243\ 564/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^6 + 75617704576537858717658162495370243353739575681454\ 4968298038761062256514343969791326022936059068406019984996008542895\ 33658436997801812723/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^5 - 123950146738347454900449031045583\ 2352824318432439871779037763154130901628944280298354372126245689469\ 7395089518029289211145188852942416319/82418983921939288853315605665\ 3383941625713568049616335145349967347275520520207079923466550198034\ 7801391009638750281325442217736911473*c_1001_2^4 - 1466598409153376607361927411783476957399114123347886721945441036692\ 1944863986607807774780907623232934331261861540313493762241699233131\ 656/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^3 + 68559155323633308144317931433544182701343159243216\ 9902632133769401092249090697652687788760386509873928308861765399879\ 6546042938195796767/82418983921939288853315605665338394162571356804\ 9616335145349967347275520520207079923466550198034780139100963875028\ 1325442217736911473*c_1001_2^2 - 1005895762528067567922437052682617\ 0923242734447961325904603901516766251929063122023420128383479891502\ 63770382579151805024014454299615996/8241898392193928885331560566533\ 8394162571356804961633514534996734727552052020707992346655019803478\ 01391009638750281325442217736911473*c_1001_2 + 6039757618004551752992201340355769719527463216336719486045528515825\ 7646033706994159067933311592492812600798691757394384207663239856315\ /824189839219392888533156056653383941625713568049616335145349967347\ 2755205202070799234665501980347801391009638750281325442217736911473\ , c_0101_11 + 40432354077594442787040970059539063837689951715174601155249\ 9236718661945148813352304114910472622667758170953970856303873880137\ 889079/164837967843878577706631211330676788325142713609923267029069\ 9934694551041040414159846933100396069560278201927750056265088443547\ 3822946*c_1001_2^35 + 672973809113256801232568256805634895315860962\ 7532643134754305523030538845812795458217243013771417522483424785969\ 207562502250546552778/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^34 + 1005990942632992003715354821272406282106251243395466538206064059738\ 8955949578611835293787553383012830489855408429041235297532233870840\ 3/82418983921939288853315605665338394162571356804961633514534996734\ 7275520520207079923466550198034780139100963875028132544221773691147\ 3*c_1001_2^33 + 178499333381510115887565361807145006860501186220007\ 6028435916482051861023687604372794455493460804223451294653594025002\ 642537027548181345/164837967843878577706631211330676788325142713609\ 9232670290699934694551041040414159846933100396069560278201927750056\ 2650884435473822946*c_1001_2^32 + 524661413950200665786439457660888\ 4481405535041771249404837248640482088484046394611150312791673321247\ 590975600597868783062955765893741503/824189839219392888533156056653\ 3839416257135680496163351453499673472755205202070799234665501980347\ 801391009638750281325442217736911473*c_1001_2^31 + 4336459392657943284008323334096085396533761902267049582845665206944\ 8490700725191540939555088672038901831275789788586819627056814475577\ 283/164837967843878577706631211330676788325142713609923267029069993\ 4694551041040414159846933100396069560278201927750056265088443547382\ 2946*c_1001_2^30 + 130860812923850177431386327816362020213594444656\ 6346262817876770120143501489411968949061924410748608498941547118941\ 78316540712441247850737/1648379678438785777066312113306767883251427\ 1360992326702906999346945510410404141598469331003960695602782019277\ 500562650884435473822946*c_1001_2^29 + 1481303862764101684752201943523287234133844417118103331492748552807\ 7314394503646624688611427149483245077407178182485101944836351400447\ 3319/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^28 + 514735505207674130052844514148308670947472564993\ 7751826714482198968509847839326771777207738033154752926693089733634\ 74780793680068362455697/1648379678438785777066312113306767883251427\ 1360992326702906999346945510410404141598469331003960695602782019277\ 500562650884435473822946*c_1001_2^27 + 3569061526015865927720659101111047359070250386750149747445357326656\ 9693636019641624616617046815949422890917675090019469326808061238143\ 8923/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^26 + 444709204491869895563451830275575433703969881619\ 4179820572050848007338549919068014801211963449947969496782807607043\ 84729669420497890781951/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^25 + 1247153463747186165373331204346038289707242220094628633315014209463\ 6166337658556549014921619442939471835839772021747251970914658770884\ 87577/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^24 + 2061745994201995442286104136576941984270316592\ 1230696842474273149572094795879452238426775710030591105107864985534\ 02677864155081879785660797/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^23 + 1587300740654927671366791015632717805076677046416869823691690383984\ 3266697843891847490546648968654212343345305234728364765135969407138\ 05470/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^22 + 19100374182905667875447062613110182220148545151\ 9048574215915601678278999230570721294055726835354885280287918062055\ 6270122585316596265735262/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^21 + 3542041589459406353708315812672720072602243990179560272195328130864\ 2126125585427423051598832000684177012724344221778723451925293085333\ 82717/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^20 + 3226413486983931623063205436361765153414728152\ 9225445848763488915399302167724313969328262236829644854567660507948\ 64471275462580443729253989/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^19 + 4137266139964918502447097076754035609983669340633576464652654282089\ 5216834884020443280391222911615954398662810608780392898806666941085\ 71349/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^18 + 5628271356145123056770330657630073339652030209\ 8326294032945535746914979860107302306211515796422590484336155940318\ 94095009370833879617602327/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^17 + 5478265161747025822261317260715810782050797732673862597726233842726\ 1340347771889457146145178491504356525029276596485285581939977867201\ 82787/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^16 + 3527646784140911496363381559122996393493110203\ 2940829390561721843950077929577431196711139909630115898421612981716\ 86878105512782326050588715/1648379678438785777066312113306767883251\ 4271360992326702906999346945510410404141598469331003960695602782019\ 277500562650884435473822946*c_1001_2^15 + 1284729798460558810146273536986246659680116495378940585443100715007\ 4961016226502888790553115459404739927082159890712633066081107955226\ 33886/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^14 + 18086972362834654296479028086112377468908251982\ 7301726048955253366645806877302884870281165529920191204612166896440\ 4576108997070014599786358/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^13 + 3693994360962439714089934461675332683783042706386395500855385924285\ 6246366676064822739143619698475780539591374004092481081204393504572\ 79361/1648379678438785777066312113306767883251427136099232670290699\ 9346945510410404141598469331003960695602782019277500562650884435473\ 822946*c_1001_2^12 + 7150355979751279721064961299274641554200062836\ 4263910481430888688171460813923906140152779311847626544263224858676\ 7209124715411324807534830/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^11 + 1073124396143814742169647977349701378651669525716100757884923813862\ 4969216044694717800119322310874913063926339331180171073138356814703\ 6561/16483796784387857770663121133067678832514271360992326702906999\ 3469455104104041415984693310039606956027820192775005626508844354738\ 22946*c_1001_2^10 + 48937188471073001392988400965433755103456295381\ 0557694633341123912876064208972437894611727127953389567982888163823\ 839380110493446718039653/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^9 + 4356673503689985939828260871068524455121494783021899692845569531715\ 9544099541662555627041849509397747677686100384407465471105692311569\ 1506/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^8 - 1420697733103971528147114470939703717841257901240\ 3657688012283479883277346262417940823464546936133204296338966884951\ 7553354811613472297284/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^7 - 8125574531897566474390130031386607311526933200081983406378383382416\ 0932328936708547602810132805946069326219950148073385228600553635185\ 208/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^6 + 19680142502260330474193506742463671176621189421687\ 4388871544104143882044084275084248876062840798177394155188718684817\ 540965585602610162891/164837967843878577706631211330676788325142713\ 6099232670290699934694551041040414159846933100396069560278201927750\ 0562650884435473822946*c_1001_2^5 - 1381879501051205055255357608790590225295308956857422265707608608017\ 5134602558987446504438578463223599975599376037970659930568872016495\ 716/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^4 - 19966023349188037577489388399204029499609268056075\ 6474526989841477451023968181306909838003674377770257971681266150381\ 23758955724800081615/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^3 + 861631207180712073772716553967718\ 9520700242054366212655381198396967653322098543727475847483259413370\ 926189010317703693612850407948126325/824189839219392888533156056653\ 3839416257135680496163351453499673472755205202070799234665501980347\ 801391009638750281325442217736911473*c_1001_2^2 - 2135202113184421959188967134271448778779538084908020304049395956048\ 5861882117123554245154991926162297764122625038743407213565205238507\ 85/1648379678438785777066312113306767883251427136099232670290699934\ 6945510410404141598469331003960695602782019277500562650884435473822\ 946*c_1001_2 + 9466051521182307760382082964492936199097933260098958\ 6554584215699535077893975838166124351251647072644213613614739567463\ 027216097987831/164837967843878577706631211330676788325142713609923\ 2670290699934694551041040414159846933100396069560278201927750056265\ 0884435473822946, c_0101_2 + 548703526648970231230606151899292820406743291021924736547874\ 2112159856510715138160518378769012877399407242562468908939666763088\ 0939/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^35 + 183241854364234405614990733112004053314771577648\ 3177904908843642740639938122956181200268459204297993113361502352746\ 347112764472854710/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^34 + 2749954273116791320793183299096385\ 5160407411050437133998127626338594218558319660104632248239746035866\ 606034907584536629807809873200564/824189839219392888533156056653383\ 9416257135680496163351453499673472755205202070799234665501980347801\ 391009638750281325442217736911473*c_1001_2^33 + 2451660301470059132728595804751633167593298125177344680694203179916\ 3269870003233564636828875776115367972204374737416684099650702404770\ 1/82418983921939288853315605665338394162571356804961633514534996734\ 7275520520207079923466550198034780139100963875028132544221773691147\ 3*c_1001_2^32 + 145008914928725924397582639689089407313523500412217\ 4923495905576689029372403386738753670069271040124398647518491008427\ 365431138090406487/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^31 + 6038910899884211781916784795882648\ 0284570183378021889836010425397760960181954755300828953812750185012\ 36191453959465678466388105227299897/8241898392193928885331560566533\ 8394162571356804961633514534996734727552052020707992346655019803478\ 01391009638750281325442217736911473*c_1001_2^30 + 1839882681505842689994193140826528736611569722096536220294977453060\ 7777161155811069360328615515042654417426723772691513561451779599945\ 741/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^29 + 4214909056203743462645380112813439166922345175430\ 4822491993221643685979548143190662334135163266986639043145144477331\ 273914510816201337729/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^28 + 7428885336411681699318904170968227986069329544883002118494173313857\ 2076756405146817684372011817055221649029753252633736971694754394058\ 063/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^27 + 1046397788731710654363953699641024545524221731669\ 7817592748639986513866431030983852458552442076805100572581023185280\ 0192622106864664402524/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^26 + 1315544834026754810715361716265574394391537661107276662014619595627\ 3691673205407104285257974065084995892051577062697219902971126971776\ 4755/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^25 + 182784107070810457402530882833070558318263192732\ 8810531742040112540226090969346871546624024973521365348927297470924\ 72247614220428499475340/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^24 + 2986054416432842263479263437762047674244019926057634384605984504730\ 6288746201115946246748756722040846566527639807904755201223426357468\ 8994/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^23 + 461747422268842385039123547960721406125566550077\ 6503089028853609851385975105843552383419772904401779653305868610982\ 20912961083658156343298/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^22 + 5663028503136107992883430679439268808289804453677064747049263720364\ 6017290404441194592770952031568927049081248942424640866453484751420\ 8496/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^21 + 538971701918469615222350387139173191564347333656\ 6171982790369703811209568992698576543545770406827597782757639574797\ 43367201785270141135983/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^20 + 4923898859755772554660765247089163742056582279870777425687642648063\ 9478688888415145330373433786467682251922107796354516397864050825814\ 8524/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^19 + 610581181119747469126876270827615850771104640923\ 5342370543720006714153835423324680300193086597191924397364398525666\ 76913085887592945520072/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^18 + 8255405372269786589032966248198618447840469323147256535181708312197\ 9121881491659039137462926081479876817515978980302102412273869796168\ 9781/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^17 + 827978555158534929849390660875422125861810110830\ 2170374255337210678126638795109066816580809593904620900047387982882\ 01331274181644519027069/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^16 + 5627854397996171559406092583639368942800007366869253169981526338130\ 2373686713789121469685921561813317439487497425464256950734132742471\ 7181/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^15 + 403755645560750327050735362802867199157405397824\ 9524954413883760257719999768068775382586241658124254836997409010876\ 17845235929404470148281/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^14 + 5293162492585705864590876957010347557222339605684019816610204049299\ 3985211345068301403719642912394864569318573751399761737167460488091\ 3861/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^13 + 554111838364139037632386227170148885327359803682\ 4833947027533991556737907648656242423198019924910430740142788764301\ 09767700125849266249448/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^12 + 2499696157387217989346102215081678159228148499284220915862844871362\ 5722268186898981075340193767112172593424570987400902899043116410796\ 1979/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^11 + 379021285863514617018715876809865226779232528492\ 3052966051629921963797520565568464974635690816353327564258747501646\ 9577297965150748163491/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^10 + 1341080178808679917363796223344662627739572510738910084045902934423\ 6635959809856319026788205764165647023815504851261562243677866895484\ 6031/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^9 + 1310337996778402097018931638469957657788610903977\ 9165689907996184080083586143432251641609837519285464702602605005517\ 1807257901066352800297/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^8 - 2547200193672807225733733070867194766852603312184013387724015947583\ 0210350453370490263536138862119381624023672537268066852833217800181\ 752/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^7 - 25590157359951610000846834882524155966236222820155\ 8720408158859334450433182852409515887912155865015555235458407051671\ 61672031628514344056/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^6 + 235697147181523769146343257643646\ 5155704802375408577113025666053779459286719259582192072921604081081\ 6643241119637325514906777415915514252/82418983921939288853315605665\ 3383941625713568049616335145349967347275520520207079923466550198034\ 7801391009638750281325442217736911473*c_1001_2^5 - 1261131935829749882811619407684945395051587734946516186755133874935\ 2714231657703407204317189461960812329728562670891132453174983525571\ 20/8241898392193928885331560566533839416257135680496163351453499673\ 4727552052020707992346655019803478013910096387502813254422177369114\ 73*c_1001_2^4 - 558926223340701935777684803668073602312921028813155\ 5384921980503159427310862362251599145547313933895315766637363071581\ 931265056807801440/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^3 + 17121837111478715142321535526052362\ 2852244488569492429650883812408306966017292096438798422244680953339\ 6057670018129140958992921773310132/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2^2 - 9304972119958561359868973593348870124952662056592306909598394626787\ 3745415940501515279383455262710213227137213410962580509065198983968\ /824189839219392888533156056653383941625713568049616335145349967347\ 2755205202070799234665501980347801391009638750281325442217736911473\ *c_1001_2 + 3899510892550148749431847550489313091800663825133835711\ 3602588489846230221889525915196396022763610525714747260658482453162\ 39108435329/8241898392193928885331560566533839416257135680496163351\ 4534996734727552052020707992346655019803478013910096387502813254422\ 17736911473, c_0101_3 - 128127862697309471486694342735466725029366699371059508748317\ 0474165836670099387262922838981881389829835746658765552034304898603\ 62347/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^35 - 42671424925605103489939900638213120367248999248\ 9459788486911172201347212200557093378779011070400332243444106715041\ 8293156996840926532/82418983921939288853315605665338394162571356804\ 9616335145349967347275520520207079923466550198034780139100963875028\ 1325442217736911473*c_1001_2^34 - 638232421116881855245690594956042\ 7402521583424302488119603189628594496358164039940615480860314916191\ 3311859859981421572155510909107726/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2^33 - 5666410480128162652291036200280765989419707573082416124260078612764\ 0067223202451870937198467748964635078520815635893558365097817803805\ 5/82418983921939288853315605665338394162571356804961633514534996734\ 7275520520207079923466550198034780139100963875028132544221773691147\ 3*c_1001_2^32 - 333422216112582546807420995896218726669193381196035\ 1195759004437026021216180218493203288778438868352892038735140029800\ 187817248684675211/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^31 - 1379643778788082161439973009822886\ 3063291759024341353275116217457872432845199444437914296673266051809\ 447471433997992922565272006009663030/824189839219392888533156056653\ 3839416257135680496163351453499673472755205202070799234665501980347\ 801391009638750281325442217736911473*c_1001_2^30 - 4170285809498872136290130877468039216774729282640661859852423505183\ 2996679006059764780254754525071894289288182053012547924753551917080\ 731/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^29 - 9462294325290229482787845741530246592129239717244\ 7873043594050137844884377485242720043258607717453562886832380034542\ 937610772533935016246/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^28 - 1648898689684664123774868078558175770929063462262892955603894996087\ 9615200677242897573377072777143986349507426256943942196536544451991\ 0508/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^27 - 229502728741312037649595752615652116147978964089\ 1901506764309793798025512038897281793655202593302993274596180276982\ 03912874545906776634334/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^26 - 2867837476450359249665437098017478208746452202636409300929015035937\ 7148611447781173042472457696850343356005643855217446376919094395958\ 0664/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^25 - 401668299141682383036652641215847399246462441988\ 1581242218868743085435512447624413121238622088125440332711644187609\ 07210438757247261488659/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^24 - 6621297729264187742499516454726368340997543250018302154809287237728\ 9651893506575090686704232464341453162919832670384879921374601001412\ 9630/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^23 - 101972701528453453507490149465582539407377827683\ 8212953709357970716372581511413458311660968195137058655529906577736\ 202660599606413291482947/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^22 - 1231917397730087686665484421147069504899702831266246831808035542467\ 9828205201870607135550004504198340988540666812617342525768659885504\ 56358/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^21 - 11503330249623551919152936647851899416301365737\ 6711757396039958395219503839306733071433431761388995357178460086633\ 1469906446934188056205943/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^20 - 1051535062419303558642367399907058716251638038777944404177197938321\ 9754422431638376315440784607317241652120095986117189034110360478551\ 73539/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^19 - 13386116890357317489452008021329202014238525970\ 3074621332529476782240973948526493783237624761335829722159961116049\ 6176062223069034710320753/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^18 - 1814560295351930195762543763212326711841097674469012904995516168682\ 7389488903706275999423215938723703421173174565323200408741808043531\ 63900/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^17 - 17761443827103155037168893119566260956669184356\ 4342598060488081524271568561594610647056759981741934600744437651536\ 9834918759476154640329343/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^16 - 1161600557108893229609008571996279295131842811724108030078556469039\ 2416646606960556328879610501101839106662077694341843915073809345290\ 84190/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^15 - 84947052152831810704067143088685182017035082373\ 1816883728907687847917841820788869429039146405638456034871396301767\ 002733658260058061495714/824189839219392888533156056653383941625713\ 5680496163351453499673472755205202070799234665501980347801391009638\ 750281325442217736911473*c_1001_2^14 - 1172272140129826458569283922746733258313360570616695890038825135071\ 7558185527665270832468765405966618676605206031752440882156205620028\ 71412/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^13 - 11977633805334729000048525983396232643181898910\ 0729978793280852467382553823144800864228448312429228297859014682554\ 4683336023413260052617316/82418983921939288853315605665338394162571\ 3568049616335145349967347275520520207079923466550198034780139100963\ 8750281325442217736911473*c_1001_2^12 - 4822365567210999715352999697126123084285742460891074942576743770021\ 6931915387058419475570248981708623386730800917402196935315323521202\ 9296/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^11 - 529204515521749905217151142208648293310761921291\ 8078953817896677608612411071523230008709697176691619076743561264649\ 4386077027493845451700/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^10 - 3174004472900007082068986617850295613569194919329041068929441189286\ 5681164498915114305636330665934394471789882550149597393744128942289\ 4424/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^9 - 2827860357413119227454979648296244807460695578351\ 6567603339105940113173720844573438266058363791359384909988689513172\ 5208396801328188896377/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^8 + 8314278189891990069704299630566049795562120245813248919186523069489\ 1470142236778903182313738019214216679323044640927646153020642976831\ 605/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^7 + 50181253895408300893721458965852863661533479162273\ 1800820248779343135254345315276609716107285898972170253520233506449\ 89678031084000145088/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^6 - 616302969768545934716235333079565\ 1460260522682262766367422737461761617688628824858317194267049496327\ 2960910770787163013503329106219521330/82418983921939288853315605665\ 3383941625713568049616335145349967347275520520207079923466550198034\ 7801391009638750281325442217736911473*c_1001_2^5 + 8192385199886184778847488414471466227984350624384409955883837214947\ 9968487744580016982411041032527088977297756839243805726469688382146\ 78/8241898392193928885331560566533839416257135680496163351453499673\ 4727552052020707992346655019803478013910096387502813254422177369114\ 73*c_1001_2^4 + 125192140621167151781043122041291147355497433405351\ 3225241898021961076790797656495643141854627451903063792233408174618\ 5172810043839043994/82418983921939288853315605665338394162571356804\ 9616335145349967347275520520207079923466550198034780139100963875028\ 1325442217736911473*c_1001_2^3 - 5270491428670770813555009611196604\ 1634285740226290340736106870867644552319475175676564226822686225237\ 56707824437916948841635471617811785/8241898392193928885331560566533\ 8394162571356804961633514534996734727552052020707992346655019803478\ 01391009638750281325442217736911473*c_1001_2^2 + 6625227455600012289929423166737733255558479189192056878328129510400\ 8131146867374165478624349470121814765614688343599219664631280874533\ 9/82418983921939288853315605665338394162571356804961633514534996734\ 7275520520207079923466550198034780139100963875028132544221773691147\ 3*c_1001_2 - 289433143469948432667745732237929799679742632896831698\ 2427754308222224874590735477984738648177968980524955596903595266733\ 0707549507358/82418983921939288853315605665338394162571356804961633\ 5145349967347275520520207079923466550198034780139100963875028132544\ 2217736911473, c_1001_11 - 33029783110529450322508201397553990655661033255479638258825\ 4866186514425191227649878800980957784463944950997868536934721783652\ 93983/8241898392193928885331560566533839416257135680496163351453499\ 6734727552052020707992346655019803478013910096387502813254422177369\ 11473*c_1001_2^35 - 11033605337336513261169158660045431292751231752\ 0758148316156433229429889323559047137240949031855189204479646834449\ 8681433139787366527/82418983921939288853315605665338394162571356804\ 9616335145349967347275520520207079923466550198034780139100963875028\ 1325442217736911473*c_1001_2^34 - 165634739697021134593527282183551\ 1269446998755460760442639142217033636113708027950350164885434781618\ 4036532079258413141524768938969649/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2^33 - 1477147214740629462795315379795300472465266858709217552920846406758\ 5278181650684583817739369907564415476206146696365321956870992115081\ 0/82418983921939288853315605665338394162571356804961633514534996734\ 7275520520207079923466550198034780139100963875028132544221773691147\ 3*c_1001_2^32 - 873957659941951083808356896869581743188832848582984\ 2916691998163498430432961817105934777306166565625480259116489877909\ 94165944674597526/8241898392193928885331560566533839416257135680496\ 1633514534996734727552052020707992346655019803478013910096387502813\ 25442217736911473*c_1001_2^31 - 36405151298297284824968016956176133\ 6642941769826132432400247704195126379360349918629764761469080929862\ 5407398235459798835122712677197004/82418983921939288853315605665338\ 3941625713568049616335145349967347275520520207079923466550198034780\ 1391009638750281325442217736911473*c_1001_2^30 - 1109303785641508279647644511156671699478910347475744833528538349460\ 1319756511514634478302657038846155857653813445825063392436083872466\ 861/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^29 - 2541057154659591469682454647534018076792552111636\ 9864656700374446737612797473487183673279389297167961093720615953790\ 133742768564131420893/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^28 - 4476923268716766584294686106739071555634309456973144504411390394094\ 5575156525952286130901299482149176218554369442155690355965486249086\ 113/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^27 - 6300945127381063036307561686492721865433629081240\ 6735480835501434584669656489512861617504287823289500486190373651925\ 338112443779365769399/824189839219392888533156056653383941625713568\ 0496163351453499673472755205202070799234665501980347801391009638750\ 281325442217736911473*c_1001_2^26 - 7913934959292798519656450995100590094817902721783826045217945355274\ 9748125466905194455063818240844066741150352767058221259074069144584\ 265/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^25 - 1099520403116955508906504745103175340271044708606\ 6633120576092911572566634166834937232085615746003836329024675818557\ 0730959494540382209248/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^24 - 1797985511471873953448899765355527796256971141018429962095694392988\ 8061500006240831429790641995077906638529142566311838683142429570587\ 6051/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^23 - 278174201448556815095686896733142174123754777275\ 9678371148416074577422855278473169819670175877160672021341100671204\ 92279427988466257996351/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^22 - 3409447526700039869653118487825320645743482418796481986541424802604\ 2825152510908301798103646087677059248801882287813946678003478754239\ 5645/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^21 - 323848447934803593928289380664365609706225301962\ 8987439594783643537339622430900107847304155566731319555191917597761\ 82951775742685623636488/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^20 - 2953676730385428226593457864994401428019772936513840541453767606148\ 8084274259656086787970850781195255085814943178249188398681193352265\ 0206/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^19 - 367072307998517660185143478905919130833089789433\ 3024339842557330251606314828236647437451512273362378891225780733505\ 50937247817106233409615/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^18 - 4973811443836119970583890555122442111166301807900924809526738523351\ 7536181292661623770380893455157927407123262964253271425572718768480\ 1289/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^17 - 498431661867096961069562835690488281750530270241\ 2010833690608738177162449982826524325339747686183802560044991524412\ 15903366909898896655067/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^16 - 3371546432522749833138535237058742148980448427464891595356152145478\ 4249800016259636048726649723841258358491443115105134521573500303399\ 0014/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^15 - 241127292505105865858723924621217933605438350503\ 2921585790179254180503473941590678051179589773148223718087843430211\ 80491519729658513375822/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^14 - 3185992468379442362024745227364218546093550087757438023395473025211\ 4812122277731259439532069366727853163026041639986579531674764769190\ 6269/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^13 - 334462508402424152596563778327515567216250762104\ 5061488181074130818715877136835274665439531261269692678044018742254\ 17461797131667868161595/8241898392193928885331560566533839416257135\ 6804961633514534996734727552052020707992346655019803478013910096387\ 50281325442217736911473*c_1001_2^12 - 1495836282147169733230427216826541651623967061044284568696833999545\ 9565058549675541911422890331306028223276073229413153523352204135280\ 1533/82418983921939288853315605665338394162571356804961633514534996\ 7347275520520207079923466550198034780139100963875028132544221773691\ 1473*c_1001_2^11 - 209023215775473897570492737932352432700189122615\ 8386759663167135898315508003703848229767413504790034393824371975317\ 3508280359441791688572/82418983921939288853315605665338394162571356\ 8049616335145349967347275520520207079923466550198034780139100963875\ 0281325442217736911473*c_1001_2^10 - 8082552801372561230274670922503621101318415365163148251877942577971\ 5331968817628355740369571871989316797975994871808304877115621632218\ 749/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^9 - 79981715117824034547894794201223476678542316005873\ 8834123153904884193477374929314898703489318848186279512347001843908\ 34311613183607202789/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^8 + 158735594453127598439921858119927\ 0517808864943103192900080803754089901729512694298348546817267158318\ 4204032268274652799646315499048732327/82418983921939288853315605665\ 3383941625713568049616335145349967347275520520207079923466550198034\ 7801391009638750281325442217736911473*c_1001_2^7 + 1599612621983793060096713493127185177650328393973233374412435122834\ 5540442507942764991791659666059566356736552729066015902826349406617\ 314/824189839219392888533156056653383941625713568049616335145349967\ 3472755205202070799234665501980347801391009638750281325442217736911\ 473*c_1001_2^6 - 14688529448302316377258516665701326984881098408390\ 7500142506323262707123709301164155692840807298855843569680235069832\ 44577773100245185342/8241898392193928885331560566533839416257135680\ 4961633514534996734727552052020707992346655019803478013910096387502\ 81325442217736911473*c_1001_2^5 + 671933792277159724366991671075149\ 6995534666833598847061572107427091223871559614808929844607321681343\ 11384649444320547701898943773398281/8241898392193928885331560566533\ 8394162571356804961633514534996734727552052020707992346655019803478\ 01391009638750281325442217736911473*c_1001_2^4 + 3534689788573160570210486182116709763412073851297215509531370086955\ 8553322780201762539826172873790150700646189000570394080475735385761\ 88/8241898392193928885331560566533839416257135680496163351453499673\ 4727552052020707992346655019803478013910096387502813254422177369114\ 73*c_1001_2^3 - 107474956878751929853597083256050679268562298397859\ 1238382588313191250821970179910472343639849577807988477706093756115\ 186037828021981521/824189839219392888533156056653383941625713568049\ 6163351453499673472755205202070799234665501980347801391009638750281\ 325442217736911473*c_1001_2^2 + 49662122142244769187474764333635454\ 8236088556101045793374271396458177869169424753418978623345518754778\ 33824616897692282607816411258500/8241898392193928885331560566533839\ 4162571356804961633514534996734727552052020707992346655019803478013\ 91009638750281325442217736911473*c_1001_2 + 3611870493105647441283581086122244992667802013357895609885484123913\ 490183842768387474313513026069246540728219993606347594761623294189/\ 8241898392193928885331560566533839416257135680496163351453499673472\ 755205202070799234665501980347801391009638750281325442217736911473, c_1001_2^36 + 33*c_1001_2^35 + 488*c_1001_2^34 + 4271*c_1001_2^33 + 24677*c_1001_2^32 + 99753*c_1001_2^31 + 292658*c_1001_2^30 + 639179*c_1001_2^29 + 1061225*c_1001_2^28 + 1397231*c_1001_2^27 + 1688892*c_1001_2^26 + 2447701*c_1001_2^25 + 4206312*c_1001_2^24 + 6376017*c_1001_2^23 + 7176034*c_1001_2^22 + 6025115*c_1001_2^21 + 5441014*c_1001_2^20 + 7918320*c_1001_2^19 + 10955206*c_1001_2^18 + 9518224*c_1001_2^17 + 4798860*c_1001_2^16 + 3821167*c_1001_2^15 + 7098842*c_1001_2^14 + 6542025*c_1001_2^13 + 888745*c_1001_2^12 - 765377*c_1001_2^11 + 2336971*c_1001_2^10 + 1451814*c_1001_2^9 - 1327882*c_1001_2^8 - 201092*c_1001_2^7 + 601799*c_1001_2^6 - 209093*c_1001_2^5 - 79066*c_1001_2^4 + 71006*c_1001_2^3 - 17577*c_1001_2^2 + 1798*c_1001_2 - 79 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 41.760 Total time: 41.969 seconds, Total memory usage: 253.88MB