Magma V2.19-8 Wed Aug 21 2013 00:28:18 on localhost [Seed = 2564721485] Type ? for help. Type -D to quit. Loading file "K14n15861__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15861 geometric_solution 11.39495029 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -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.784282162328 0.967925917266 0 5 3 6 0132 0132 1302 0132 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 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.526266040844 0.628004152162 7 0 5 3 0132 0132 3120 0132 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434461986835 0.664414731090 1 8 2 0 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 0 0 1 -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.176846422029 0.895028501840 8 9 0 10 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701700232277 1.208334193802 10 1 2 6 3120 0132 3120 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.075697037125 1.062387451596 5 9 1 11 3012 2310 0132 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.157473949902 0.659087530401 2 10 11 11 0132 3120 2031 2310 0 0 0 0 0 0 0 0 1 0 0 -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 -1 1 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.691294545997 0.563416362062 4 3 12 12 0213 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.277104862691 1.319352073301 12 4 10 6 0321 0132 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.618298735915 0.068318777468 9 7 4 5 2103 3120 0132 3120 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 1 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827585103431 0.750122960360 7 12 6 7 3201 3201 0132 1302 0 0 0 0 0 1 -1 0 0 0 1 -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 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.747947030040 1.365073370796 9 8 11 8 0321 0321 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.847533221627 0.725925045858 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : negation(d['c_1001_2']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_0']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_6']), 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0101_5']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_0'], 'c_1100_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : d['c_0011_4'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0011_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : negation(d['c_0101_11']), 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_11, c_0101_3, c_0101_5, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 8016274185494451142819276715028933450699572760995143618705810264386\ 5484952337267603848016094186734941618018624850160142234222166437287\ 7490866667573371/60215537619665552282076932654742380203603338820437\ 2583112310797889096843762547567964823660742491447634854437943473662\ 3386788110069578044335355357184*c_1001_2^29 - 9178855091041852181686621933874837939171331752114013803121008922311\ 7628875212580398712672476863847006301063920484781333623851898937962\ 5491023676608108043/42150876333765886597453852858319666142522337174\ 3060808178617558522367790633783297575376562519744013344398106560431\ 56363707516770487046310347487500288*c_1001_2^28 - 1687634650480267534666829696241194146063707541242484023988505840509\ 1308349600982340323315379790544473652989192266856682917292591344528\ 71650778150717556769/3831897848524171508859441168938151467502030652\ 2096437107147050774760708239434845234125142047249455758581646050948\ 32396700683342771549664577044318208*c_1001_2^27 - 2309754227158561940399838150188457777517406509783995398437751940099\ 9177770667801093448740788209377635538019537162568897743643508355987\ 20500400400739806249/5474139783605959298370630241340216382145758074\ 5852053010210072535372440342049778905893060067499222512259494358497\ 6056671526191824507094939577759744*c_1001_2^26 - 5133975038633172702027628806487197819406362414328416158487472534121\ 2798848163729066477224927678988591741745150777004099757880871873368\ 8666180157165234834421/21075438166882943298726926429159833071261168\ 5871530404089308779261183895316891648787688281259872006672199053280\ 21578181853758385243523155173743750144*c_1001_2^25 - 3469967384066222355139762130994309032659265430776365562889291835902\ 5227799960537433525648426236454964321490518000989624277700760470666\ 6753881265668419697295/38318978485241715088594411689381514675020306\ 5220964371071470507747607082394348452341251420472494557585816460509\ 4832396700683342771549664577044318208*c_1001_2^24 - 1162606081840881398210506534915685620390352203914065758477128740881\ 4050544533224132256170515257749442558537295864219807339506503096296\ 42979325663992925418623/5268859541720735824681731607289958267815292\ 1467882601022327194815295973829222912196922070314968001668049763320\ 05394545463439596310880788793435937536*c_1001_2^23 - 1469393619664263155724455567687631839174621273038503814530277746845\ 3812515933011919633130831121352306307228258284913788609211654443714\ 317188963913107155266849/421508763337658865974538528583196661425223\ 3717430608081786175585223677906337832975753765625197440133443981065\ 6043156363707516770487046310347487500288*c_1001_2^22 - 2750611130857888129144712143878031189831341449925545237381000218936\ 1828602010733851321789237003509106011149274699887857220273692507000\ 2618153632280288924471/79529955346728087919724250676074841778344032\ 4043510958827580299098807152139213769010144457584422666687543597283\ 833138937877674914849930383914858496*c_1001_2^21 - 4673611903691139323087492797579865681968803862800996562961652815891\ 7750334328082984294361056356970992050329945542463307905030824950841\ 95755072788603847895037/2107543816688294329872692642915983307126116\ 8587153040408930877926118389531689164878768828125987200667219905328\ 021578181853758385243523155173743750144*c_1001_2^20 - 6627478254120511056101664763455477847623154851989647894847911535208\ 6221751743486009865307017434335295241236418989797442663366973115215\ 41288122566514645676629/4215087633376588659745385285831966614252233\ 7174306080817861755852236779063378329757537656251974401334439810656\ 043156363707516770487046310347487500288*c_1001_2^19 - 3887522355565205732354332092772516389024124867672000845979775856222\ 0687502502052101806254786940505821769957853118765167995279819061364\ 59233829714705811755025/2107543816688294329872692642915983307126116\ 8587153040408930877926118389531689164878768828125987200667219905328\ 021578181853758385243523155173743750144*c_1001_2^18 - 5961882982763065071232474659638354871194719869819967533188172738768\ 6812633474190208494236269663144345766080714949723150306135777210246\ 45396496176791540684277/4215087633376588659745385285831966614252233\ 7174306080817861755852236779063378329757537656251974401334439810656\ 043156363707516770487046310347487500288*c_1001_2^17 - 1298902057886699485350863628074997452124797410493278894575397451610\ 0158719354936412220724465397830469547634591513309082236120292449127\ 25663666994663999687197/4215087633376588659745385285831966614252233\ 7174306080817861755852236779063378329757537656251974401334439810656\ 043156363707516770487046310347487500288*c_1001_2^16 + 3958046921293481109986961268365672541226967337638519338497434776241\ 6922821406285575405570409319440297276471983889223033435268444031586\ 3493319445187176174733/21075438166882943298726926429159833071261168\ 5871530404089308779261183895316891648787688281259872006672199053280\ 21578181853758385243523155173743750144*c_1001_2^15 + 9345666319641439262861344146577512201039026479001727651143719789857\ 6140154525607701401758721131498457012774830868840783518431651557008\ 761654793648649356975/383189784852417150885944116893815146750203065\ 2209643710714705077476070823943484523412514204724945575858164605094\ 832396700683342771549664577044318208*c_1001_2^14 + 7251809588737404010858250538334349560204903774744400930120762346440\ 0259022785786672465408325377545617399009039454302506893620167058175\ 8565005372011782725597/21075438166882943298726926429159833071261168\ 5871530404089308779261183895316891648787688281259872006672199053280\ 21578181853758385243523155173743750144*c_1001_2^13 + 1193217767055826721206625454529495887135762150551491180349707503047\ 7169785490923046952023886358633928612836446092682091810171372647061\ 93897712938199861541239/4215087633376588659745385285831966614252233\ 7174306080817861755852236779063378329757537656251974401334439810656\ 043156363707516770487046310347487500288*c_1001_2^12 + 5932011632966448400225358747267823307780487820048885866660336803135\ 8725648619154729486023190252382144278970177202184617125125927827879\ 5091679997899354387799/42150876333765886597453852858319666142522337\ 1743060808178617558522367790633783297575376562519744013344398106560\ 43156363707516770487046310347487500288*c_1001_2^11 + 3720926756996562283981098653948315631439620584559034315316265515286\ 9615082891221118260485189817053917811318408563018123554067567238932\ 1745474734965300277855/42150876333765886597453852858319666142522337\ 1743060808178617558522367790633783297575376562519744013344398106560\ 43156363707516770487046310347487500288*c_1001_2^10 + 1675585216210961563293592357775375697997764405803713750878413496533\ 1463713091240146290486052472401435061042904335998994021120119593295\ 4572550614207866828573/42150876333765886597453852858319666142522337\ 1743060808178617558522367790633783297575376562519744013344398106560\ 43156363707516770487046310347487500288*c_1001_2^9 - 1600718237795661966488862960350983484576742860237172781246586225747\ 0846019255314903607922329849738561464945164739589217182193022497976\ 2480190332001653189/23949361553276071930371507305863446671887691576\ 3102731919669067342254426496467782713282137795309098491135287818427\ 024793792708923221854036065269888*c_1001_2^8 - 3217137425903557546691557962042942161787503626378441587992824762985\ 9302113509169878626936798622919703683106971699172935185961427005774\ 02964726458552525909/2634429770860367912340865803644979133907646073\ 3941300511163597407647986914611456098461035157484000834024881660026\ 97272731719798155440394396717968768*c_1001_2^7 - 7644812484290522354830724334075786759306734660471175246374205871451\ 9226611873017366808916094504785234692829692278742787617903721660457\ 00629022659040028579/1053771908344147164936346321457991653563058429\ 3576520204465438963059194765844582439384414062993600333609952664010\ 789090926879192621761577586871875072*c_1001_2^6 - 1228563638843518047555392348773048319860538174029984012334722419253\ 5331074965513512149912137983298523425471515347917993670567088931215\ 07814750656558833793/2634429770860367912340865803644979133907646073\ 3941300511163597407647986914611456098461035157484000834024881660026\ 97272731719798155440394396717968768*c_1001_2^5 - 8238064522323506518830509267122298995209742656513393906151570103089\ 5438913801976486958519527004932884914899338359186092056595831829240\ 7089595996629388219/52688595417207358246817316072899582678152921467\ 8826010223271948152959738292229121969220703149680016680497633200539\ 4545463439596310880788793435937536*c_1001_2^4 - 1213132876631943405904881630771848198335321912192226275353760356544\ 2696453925624776499336268021970751276504797951230529516090493169034\ 0641415890581085011/26344297708603679123408658036449791339076460733\ 9413005111635974076479869146114560984610351574840008340248816600269\ 7272731719798155440394396717968768*c_1001_2^3 - 3736268083061623908178909134096097667897535299247858875188558466475\ 6158796609336169596858360777780543674763974121839291093509480619663\ 82082775748364961/1368534945901489824592657560335054095536439518646\ 3013252552518133843110085512444726473265016874805628064873589624401\ 4167881547956126773734894439936*c_1001_2^2 - 1487814059086019762834398379545163472303757096810011126288932268074\ 8655480875153641514224437966020004098308182721207625148854524268287\ 19943596135069089/3399264220464990854633375230509650495364704610831\ 1355498275609558255466986595427223820690525785807527774040851647706\ 7449254167503927792825382963712*c_1001_2 + 2163129925044372103860755307211586307301480035481481217544344713026\ 2371816460650976303043366354775147517521635581672379935720589399437\ 18224921084122249/2634429770860367912340865803644979133907646073394\ 1300511163597407647986914611456098461035157484000834024881660026972\ 72731719798155440394396717968768, c_0011_0 - 1, c_0011_10 + 50474633625805799133728773295950966783786552228983890544869\ 1619129619310017221475007810392540838525888903967756895091827745102\ 895/124308222549630950822857504747334545763989786107265218882120672\ 9326989148437031698742227058113730521633443225770133543467854813815\ 2*c_1001_2^29 - 104284243678792433853715520996251508685015561572176\ 2600496485014277146388247015357913999431819767188849182095591043141\ 1595546666233/15538527818703868852857188093416818220498723263408152\ 3602650841165873643554628962342778382264216315204180403221266692933\ 4818517269*c_1001_2^28 - 152798644100003655088391910175127444175230\ 5728174560705106426153519620563194352884983762112427744827978195067\ 620370701372646373653509/124308222549630950822857504747334545763989\ 7861072652188821206729326989148437031698742227058113730521633443225\ 7701335434678548138152*c_1001_2^27 - 1324533163590327142364452996225656065955751452131997113347987778391\ 3040109471438684613087373132908376595888619506534082656324033299253\ /124308222549630950822857504747334545763989786107265218882120672932\ 69891484370316987422270581137305216334432257701335434678548138152*c\ _1001_2^26 - 334903577705310954557343175062023520293508399855742744\ 6778194611381326456566163698708843869225481995347597247542806916088\ 0485098975055/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^25 - 101706696305378316284746502315630285596440\ 9329779615673018831613006942756965873330033675754671092938609705292\ 84798342267521487528740541/6215411127481547541142875237366727288199\ 4893053632609441060336466349457421851584937111352905686526081672161\ 28850667717339274069076*c_1001_2^24 - 3473829060796403736623043740576144439637325539020966310677977740681\ 1689014745749158437053686211710904481139310916489766141763837439094\ 7/12430822254963095082285750474733454576398978610726521888212067293\ 269891484370316987422270581137305216334432257701335434678548138152*\ c_1001_2^23 - 28357321252767032570455159994397151326945434321240363\ 1107611320960160474679136026310531454395043673946434253524637038181\ 16445740679697/1553852781870386885285718809341681822049872326340815\ 2360265084116587364355462896234277838226421631520418040322126669293\ 34818517269*c_1001_2^22 + 10796578130254577995637156851191973712212\ 0539989888417126204174472932837811160436662648886527805671029229977\ 969297454572491676724849633/621541112748154754114287523736672728819\ 9489305363260944106033646634945742185158493711135290568652608167216\ 128850667717339274069076*c_1001_2^21 + 2054281659127851818271405265150068253852311998029030829696957830688\ 9625260471258014862942819175197746083943552974716091965233234425982\ 7/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^20 + 136601061259875814310003534185951299390861388035251266\ 6263111177283098779341781079399662414251843239972102476160537591600\ 9846122135401/31077055637407737705714376186833636440997446526816304\ 7205301682331747287109257924685556764528432630408360806442533385866\ 9637034538*c_1001_2^19 - 102906008616407582179851998136276282882810\ 5184324195124944114754556822030990202269075214166939914569314591383\ 46657522171952388072031017/1243082225496309508228575047473345457639\ 8978610726521888212067293269891484370316987422270581137305216334432\ 257701335434678548138152*c_1001_2^18 + 5992584028951227477658925256880416636536502288895757217088308300008\ 8228220289728198545557682903788267001549795488749803328318358682915\ /310770556374077377057143761868336364409974465268163047205301682331\ 7472871092579246855567645284326304083608064425333858669637034538*c_\ 1001_2^17 + 1484936494671450874469087602753612394805993154052378790\ 3103881395864519115271505217477875575992330806385147501397343057455\ 2499694570503/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^16 + 556667882454606181942434368215856063299670\ 1333446944891124069544474139092867437945452652373422952647228663285\ 387740089322276843826657/310770556374077377057143761868336364409974\ 4652681630472053016823317472871092579246855567645284326304083608064\ 425333858669637034538*c_1001_2^15 - 3367223902796874273499681755284142614425174205199979031317810531612\ 338325603817474804233592493032257118857790664207519048398167504351/\ 3107705563740773770571437618683363644099744652681630472053016823317\ 472871092579246855567645284326304083608064425333858669637034538*c_1\ 001_2^14 + 26836815346935734158631689894420270883036492152914152420\ 2490187482427131250679933501646929882772469908383253548003273262490\ 17509120617/1243082225496309508228575047473345457639897861072652188\ 8212067293269891484370316987422270581137305216334432257701335434678\ 548138152*c_1001_2^13 - 2217735050640968487554922483566079681843445\ 2848332912330530663975493311172354464725144132409138759080364036809\ 244332589641833867950329/621541112748154754114287523736672728819948\ 9305363260944106033646634945742185158493711135290568652608167216128\ 850667717339274069076*c_1001_2^12 - 2000565983032828816708393024097908803159527430082915237733318735069\ 7368273350303517916776788158049560795913227339586008652431380883821\ /621541112748154754114287523736672728819948930536326094410603364663\ 4945742185158493711135290568652608167216128850667717339274069076*c_\ 1001_2^11 - 4234009965925571821257119540392638702384308594003172354\ 7548020642445460444065599908249661009926709471593204399046041086518\ 86664251081/1243082225496309508228575047473345457639897861072652188\ 8212067293269891484370316987422270581137305216334432257701335434678\ 548138152*c_1001_2^10 - 1572473561741902377709970447199548719813738\ 8476689147377616892288881266890266248159530342417237939614787250307\ 997947656271737736048671/124308222549630950822857504747334545763989\ 7861072652188821206729326989148437031698742227058113730521633443225\ 7701335434678548138152*c_1001_2^9 - 5061298730532242528015734842782503250099737024966330491431668268079\ 984772088019174046852290736216358862333830083125022132783547044687/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^8 + 349094552096135304893636735395109506366705478102795893034\ 1674829402199747396464935596757518495633719227156319649388903992738\ 140816141/124308222549630950822857504747334545763989786107265218882\ 1206729326989148437031698742227058113730521633443225770133543467854\ 8138152*c_1001_2^7 + 3289824987919297249653582021130886667959037972\ 6366115050630935023450894589870135812848105704873863686891128984114\ 1875664243760501421/31077055637407737705714376186833636440997446526\ 8163047205301682331747287109257924685556764528432630408360806442533\ 3858669637034538*c_1001_2^6 + 2262476503104556752636027154623684645\ 1743840437355801153526670489435039126664244709094139833976549345277\ 1441428554511727786995644009/62154111274815475411428752373667272881\ 9948930536326094410603364663494574218515849371113529056865260816721\ 6128850667717339274069076*c_1001_2^5 + 5464133411723407882374299221175658912341590624484099415188474215059\ 34389481291307644495750753582553501587063250151909134146849484195/6\ 2154111274815475411428752373667272881994893053632609441060336466349\ 45742185158493711135290568652608167216128850667717339274069076*c_10\ 01_2^4 + 3530906275456540353380454867848142362098526627217257172116\ 8876020318662800764137379161875757693785573783956372081438495054083\ 878767/621541112748154754114287523736672728819948930536326094410603\ 3646634945742185158493711135290568652608167216128850667717339274069\ 076*c_1001_2^3 + 12032985041435173410225478075861228001049711346351\ 2527454338982795798108292245649618835706247653249422234944685310831\ 4809987101421/15538527818703868852857188093416818220498723263408152\ 3602650841165873643554628962342778382264216315204180403221266692933\ 4818517269*c_1001_2^2 + 1049322114597401380887187641994975247255907\ 1512394541567235256088869684756812863785018001939995337525620490604\ 457019160719072263047/155385278187038688528571880934168182204987232\ 6340815236026508411658736435546289623427783822642163152041804032212\ 666929334818517269*c_1001_2 - 2449033482632345823807391272955766861\ 4691343561726606613696236444120437217861605903436670249085834351342\ 57249795956621536804444658/1553852781870386885285718809341681822049\ 8723263408152360265084116587364355462896234277838226421631520418040\ 32212666929334818517269, c_0011_11 + 71923224765777404103410210730616134385585394501690214138074\ 8878965133281357119497404246596721187588379854430362903732011574674\ 549/621541112748154754114287523736672728819948930536326094410603364\ 6634945742185158493711135290568652608167216128850667717339274069076\ *c_1001_2^29 - 5864216032499085241786918486821035508693740830735607\ 1825932529557049781756284796204239954004714382942447962039592368657\ 155559509925/310770556374077377057143761868336364409974465268163047\ 2053016823317472871092579246855567645284326304083608064425333858669\ 637034538*c_1001_2^28 - 1219543019733310379294457680002929240996100\ 1435665721170758925374076179703275637951844407468952760953488488192\ 91138287848125677812199/3107705563740773770571437618683363644099744\ 6526816304720530168233174728710925792468555676452843263040836080644\ 25333858669637034538*c_1001_2^27 - 5997305973402080907986381295843245140833363533283354940057721677440\ 905428994391643646320234307278866083737295308695304080884407948510/\ 1553852781870386885285718809341681822049872326340815236026508411658\ 736435546289623427783822642163152041804032212666929334818517269*c_1\ 001_2^26 - 71452237355104677080175146789057240085183972487111524718\ 7884021340594018645711483915502332424052416208421158342840286825286\ 60172281167/3107705563740773770571437618683363644099744652681630472\ 0530168233174728710925792468555676452843263040836080644253338586696\ 37034538*c_1001_2^25 - 55341601694028375799208873488728160522337944\ 6875452035661176682902931542726809088440161021681267730090106890649\ 383462213546797865441531/621541112748154754114287523736672728819948\ 9305363260944106033646634945742185158493711135290568652608167216128\ 850667717339274069076*c_1001_2^24 - 1425080666247828567546213965487945310167652764258835502399828493875\ 9240460631211108903012946260913865747503569830564413287548186876146\ 51/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^23 - 24296179271934478830673579315886097812289471146559902\ 3492233244727862749057746662076588541374599522479696309246177337624\ 0849497518672741/62154111274815475411428752373667272881994893053632\ 6094410603364663494574218515849371113529056865260816721612885066771\ 7339274069076*c_1001_2^22 - 267491095722874427917519535553918192993\ 8043881699804001021959927110668984288606554721164786106647615565444\ 812865905818031800665122730915/621541112748154754114287523736672728\ 8199489305363260944106033646634945742185158493711135290568652608167\ 216128850667717339274069076*c_1001_2^21 - 9482935374963744223349404498206668265908112032908932598052737947967\ 4888049971579017743890151866291398782634492677130660437165218560466\ 1/31077055637407737705714376186833636440997446526816304720530168233\ 17472871092579246855567645284326304083608064425333858669637034538*c\ _1001_2^20 - 297678879726214548475965504464325630313393534549648220\ 8216666022429167545913265968262521821186291779781299366993692386818\ 30878808602608/1553852781870386885285718809341681822049872326340815\ 2360265084116587364355462896234277838226421631520418040322126669293\ 34818517269*c_1001_2^19 - 31019918879707375208887715329943797026991\ 4132507842833292954278276191635642760302859346023048408764122280811\ 730266523757132537720931761/155385278187038688528571880934168182204\ 9872326340815236026508411658736435546289623427783822642163152041804\ 032212666929334818517269*c_1001_2^18 - 1134139020654998592194963063682972691534632674676959641644607132631\ 6265974976085265054744375718299770528331523712731223711130017635414\ 21/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^17 - 39497612902735649755074692599090468446280705063001943\ 3620203336878770607720892309040775531139922872098957875762148870958\ 755615756682077/621541112748154754114287523736672728819948930536326\ 0944106033646634945742185158493711135290568652608167216128850667717\ 339274069076*c_1001_2^16 + 3863643138381273884094148624980027473285\ 7066549490559233090393501559224509496469924293253729231503440715988\ 371719625757743423279679251/155385278187038688528571880934168182204\ 9872326340815236026508411658736435546289623427783822642163152041804\ 032212666929334818517269*c_1001_2^15 + 1182813684481863866468937948800901471078937017851307164348785746158\ 2107222944995533031060569870386350973456791853063038019460351570891\ 7/31077055637407737705714376186833636440997446526816304720530168233\ 17472871092579246855567645284326304083608064425333858669637034538*c\ _1001_2^14 + 657315579883758537294774407114848956872215884299861722\ 2862423014721410200223333292370038752181918946208089777974963483255\ 5664038306646/15538527818703868852857188093416818220498723263408152\ 3602650841165873643554628962342778382264216315204180403221266692933\ 4818517269*c_1001_2^13 + 249035901024759491057300731250790706056750\ 1888534056017553729741345404686691077966940241490433219558084874621\ 51404616353438776433339765/6215411127481547541142875237366727288199\ 4893053632609441060336466349457421851584937111352905686526081672161\ 28850667717339274069076*c_1001_2^12 + 1403755552860534012181757257173660782053871904471530930147655734729\ 4309403573564743661255398936764795517123664336349226387113377879962\ 1/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^11 + 723949497850554857852991646007631171255149459826987825\ 1628663693663374866138990396788187982662191691844626010346101165066\ 8148922113571/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^10 + 396578091914959804441817184508070448390955\ 9241342565719366512393931367462219541105759063772038025220887442527\ 0592637573163412193220921/62154111274815475411428752373667272881994\ 8930536326094410603364663494574218515849371113529056865260816721612\ 8850667717339274069076*c_1001_2^9 + 7670876908457512224277555061646580759076717988590644288529882679833\ 24686420660971259012110680971776879615530804784596465784977917025/3\ 1077055637407737705714376186833636440997446526816304720530168233174\ 72871092579246855567645284326304083608064425333858669637034538*c_10\ 01_2^8 - 2995443016294558370280916691819416441033800351706137695343\ 4760763202421186159934718781281917356994272066612883195792191687092\ 11134895/1553852781870386885285718809341681822049872326340815236026\ 5084116587364355462896234277838226421631520418040322126669293348185\ 17269*c_1001_2^7 - 183877592699866176949368185696743758818310632495\ 4642641664505326292103398149306051882754822874515497578817423565986\ 113718397431235587/155385278187038688528571880934168182204987232634\ 0815236026508411658736435546289623427783822642163152041804032212666\ 929334818517269*c_1001_2^6 - 10898869254188410463162483847279652025\ 0706674427186217724288895297278426645014249260766427542069243165688\ 3553806271264287581471904589/15538527818703868852857188093416818220\ 4987232634081523602650841165873643554628962342778382264216315204180\ 4032212666929334818517269*c_1001_2^5 - 2009656171042677000288039275780316382259156220584742594283104448776\ 733188985022132690330436553589624787180758800489478371615134625051/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^4 - 114976851695003525012397321676626216301555659241153074594\ 1070058880977080323739112282243017668981714339693771580592046998282\ 91296607/1553852781870386885285718809341681822049872326340815236026\ 5084116587364355462896234277838226421631520418040322126669293348185\ 17269*c_1001_2^3 - 646444821157885279863294068398571312300676181499\ 9911901255424758954188889134085714529253772086864060766992362736095\ 0402957265035667/15538527818703868852857188093416818220498723263408\ 1523602650841165873643554628962342778382264216315204180403221266692\ 9334818517269*c_1001_2^2 - 4536293856629929109632362266314760376244\ 1282189342852923843385640064304862602897103427279925255525880363197\ 071130446111125813135189/310770556374077377057143761868336364409974\ 4652681630472053016823317472871092579246855567645284326304083608064\ 425333858669637034538*c_1001_2 + 5890600701080743218079973293275348\ 6056923409106180610816834900571333933283464877938034634346814668056\ 50332055969955231183338789959/3107705563740773770571437618683363644\ 0997446526816304720530168233174728710925792468555676452843263040836\ 08064425333858669637034538, c_0011_12 + 23667887383818676173973795168467956532587277459900116214336\ 8100660730627317586895931983883398016059057780742139768041029039192\ 1361/12430822254963095082285750474733454576398978610726521888212067\ 2932698914843703169874222705811373052163344322577013354346785481381\ 52*c_1001_2^29 - 19371550653712454125340600280251546337684994408208\ 5933833023737932799562539289009008435126561180748272305214600719215\ 967785234181065/621541112748154754114287523736672728819948930536326\ 0944106033646634945742185158493711135290568652608167216128850667717\ 339274069076*c_1001_2^28 - 7783301619724358819602224186345368623327\ 9858718070545374498836752567797901174983730210388360334864172630300\ 18100832471009036821441099/1243082225496309508228575047473345457639\ 8978610726521888212067293269891484370316987422270581137305216334432\ 257701335434678548138152*c_1001_2^27 - 7415029264008039478804706899018536984364164610005915866366138109504\ 2621279661640597304731777033789190145266929694070166530634349513283\ /124308222549630950822857504747334545763989786107265218882120672932\ 69891484370316987422270581137305216334432257701335434678548138152*c\ _1001_2^26 - 212709667640873847559352330540322264365246782697525526\ 9418686934347856335872815742550958029120252839126296506938883281517\ 41141118058325/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^25 - 19618072528240073468324768969448310297553\ 0876109369640113837848635840210918357138001953063543145106497846516\ 146891722326494421234538619/155385278187038688528571880934168182204\ 9872326340815236026508411658736435546289623427783822642163152041804\ 032212666929334818517269*c_1001_2^24 - 3788025188582533150612242373641259466106024322573243580511010891971\ 4135440646050067580024535842419905605414647043695387185529323758983\ 87/1243082225496309508228575047473345457639897861072652188821206729\ 3269891484370316987422270581137305216334432257701335434678548138152\ *c_1001_2^23 - 2954147221247444277304980836847584449821702545823096\ 1046754464374944797695244196771969852223188375609036810823233816650\ 69689236076750129/6215411127481547541142875237366727288199489305363\ 2609441060336466349457421851584937111352905686526081672161288506677\ 17339274069076*c_1001_2^22 - 14358679977034262339670360324243932264\ 3169266627281922909172562058747659188103675976368856011664006907841\ 1612105796269635270796184938521/31077055637407737705714376186833636\ 4409974465268163047205301682331747287109257924685556764528432630408\ 3608064425333858669637034538*c_1001_2^21 - 1770883601915619934767601119064237489532184403758533792880535590146\ 9804140823534920545263463173827924483610354529844980169262020592036\ 83/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^20 - 12171552131651405599396968273273266584789642700628217\ 9825723229438701321500059108013140760652283946608350491180815702337\ 1642088702727181/62154111274815475411428752373667272881994893053632\ 6094410603364663494574218515849371113529056865260816721612885066771\ 7339274069076*c_1001_2^19 - 292975252416298818576913785124673309438\ 9525254219439909420058510643952574376182606292094274845644747666528\ 739008774331854080750471291189/124308222549630950822857504747334545\ 7639897861072652188821206729326989148437031698742227058113730521633\ 4432257701335434678548138152*c_1001_2^18 - 1115325969165743777220607354225269755492595974190962079911910098725\ 3084512270007733317780819763733394047546207239118566375814000116820\ 75/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^17 - 86258973689893885764982759340134518249503582731966734\ 3409824467974351759386523887179698612478596075550442190714499471514\ 96496873860293/3107705563740773770571437618683363644099744652681630\ 4720530168233174728710925792468555676452843263040836080644253338586\ 69637034538*c_1001_2^16 + 61949353908715170828470714594843761270441\ 9242214488799251839956510415622881937443942119189634722065299436837\ 04479485425411875716436848/1553852781870386885285718809341681822049\ 8723263408152360265084116587364355462896234277838226421631520418040\ 32212666929334818517269*c_1001_2^15 + 2549982193617372187052426686641637858304206639839359411626086546529\ 6604879846845480745614945755265126751610467296812594555966773629405\ 3/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^14 + 615576288702952483872110091996780790939902694747700142\ 7069855448974463716656283502029964737654332885868535479975639318162\ 49882239577005/1243082225496309508228575047473345457639897861072652\ 1888212067293269891484370316987422270581137305216334432257701335434\ 678548138152*c_1001_2^13 + 1263396639632955243288450115259624016061\ 5945306219457459075363245993815597169118608979695514994259340571929\ 1451569973147885645728009595/31077055637407737705714376186833636440\ 9974465268163047205301682331747287109257924685556764528432630408360\ 8064425333858669637034538*c_1001_2^12 + 6086749442220308572629630344671980789800396184837224532955460832301\ 8934129582007354002542532974236446779001568544409902570493781278753\ /310770556374077377057143761868336364409974465268163047205301682331\ 7472871092579246855567645284326304083608064425333858669637034538*c_\ 1001_2^11 + 1404058311510441358523368730376699345978714310959411226\ 2695113455051049796710455439841347256338120073494544166247438039179\ 7681088355429/12430822254963095082285750474733454576398978610726521\ 8882120672932698914843703169874222705811373052163344322577013354346\ 78548138152*c_1001_2^10 + 64652732610465741099438618416814278410520\ 5587671023055064806953555765623375398164348587791025280223552573018\ 24168694129490044436000419/1243082225496309508228575047473345457639\ 8978610726521888212067293269891484370316987422270581137305216334432\ 257701335434678548138152*c_1001_2^9 - 7874810774492018119378103579496503137773639848485733946509880478102\ 830806190328496105004567824525920131713477991050602594556958702089/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^8 - 259500928824841282377942991596681636449117521185319813077\ 3358361786346151868013659792428179179702601279816809555013464437241\ 0658093015/12430822254963095082285750474733454576398978610726521888\ 2120672932698914843703169874222705811373052163344322577013354346785\ 48138152*c_1001_2^7 - 336027168756869940011684891338856005438477542\ 2480383810624745174653686145859388321283983188814906743311856707558\ 540123224702998791213/310770556374077377057143761868336364409974465\ 2681630472053016823317472871092579246855567645284326304083608064425\ 333858669637034538*c_1001_2^6 - 41558254947925622281541136790300504\ 7524863827948059898361442749090123733782455836926359346501461567306\ 1733357186402423202687751351943/62154111274815475411428752373667272\ 8819948930536326094410603364663494574218515849371113529056865260816\ 7216128850667717339274069076*c_1001_2^5 - 1512964172099413840524178601067699572210940028442594953664832109740\ 164907406938161541694822445328935294122613600234707588924301392789/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^4 - 359127206696114730896237917687265199756691013708701834577\ 7243005987235519257329434350596236795026870654543129799072336795265\ 23030725/6215411127481547541142875237366727288199489305363260944106\ 0336466349457421851584937111352905686526081672161288506677173392740\ 69076*c_1001_2^3 - 593462839178626891958503021498160135579985527534\ 6817058684656600532713156199042617463938176674897095109260626547004\ 8771132260397314/15538527818703868852857188093416818220498723263408\ 1523602650841165873643554628962342778382264216315204180403221266692\ 9334818517269*c_1001_2^2 - 8901520728036058010297197374186200611142\ 1302137593980218162549643399975572941052810974086238607485686384549\ 20808767910370165574804/1553852781870386885285718809341681822049872\ 3263408152360265084116587364355462896234277838226421631520418040322\ 12666929334818517269*c_1001_2 + 21942135061400522158069372844796892\ 8779564137605140525794787482555093306452585880301339204827639459217\ 9686650564934665368126161820/15538527818703868852857188093416818220\ 4987232634081523602650841165873643554628962342778382264216315204180\ 4032212666929334818517269, c_0011_3 + 761613312118761981135262940193957483505137236845955340701884\ 1197438251971512623860018069471512042054622435792260292817944372673\ 82/1553852781870386885285718809341681822049872326340815236026508411\ 658736435546289623427783822642163152041804032212666929334818517269*\ c_1001_2^29 - 24937610831135551818953683132687378943844612564718443\ 3261095092920869704367787523575211777317595059522335370593904772868\ 132699816799/310770556374077377057143761868336364409974465268163047\ 2053016823317472871092579246855567645284326304083608064425333858669\ 637034538*c_1001_2^28 - 2501959040036967527911557477060494899409813\ 2602294234924463636765986761377533977983794078407532172905084710702\ 75453917903161647437803/1553852781870386885285718809341681822049872\ 3263408152360265084116587364355462896234277838226421631520418040322\ 12666929334818517269*c_1001_2^27 - 4763001841173629851978788857588900747049928751582286518445273592140\ 7633029768436151947488771271258975076033527108989388051293274118423\ /310770556374077377057143761868336364409974465268163047205301682331\ 7472871092579246855567645284326304083608064425333858669637034538*c_\ 1001_2^26 - 5460906652615160060446849182402080313524589268527323418\ 0254975141664083263384114726282260873792932929275622840534036495285\ 4315455771185/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^25 - 201332858239636870801000695674638528235645\ 9154575030377794183599400211228079835663937759883915181514935408340\ 029247183296455965184418495/621541112748154754114287523736672728819\ 9489305363260944106033646634945742185158493711135290568652608167216\ 128850667717339274069076*c_1001_2^24 - 4859329010068384455165295408738880129080173337512008809192684106741\ 9510782696249763942234472669314431298111524192056904765295781718765\ 65/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^23 - 75938210630123114313864728750893615116890947391932349\ 3298268684649776953357847379905408347664447991217622305320194778650\ 1518202026661609/62154111274815475411428752373667272881994893053632\ 6094410603364663494574218515849371113529056865260816721612885066771\ 7339274069076*c_1001_2^22 - 371964089133653435919918543758546704941\ 9543133895317653537508191849357670113352935059341192563032312260719\ 905937271067101491243517739123/310770556374077377057143761868336364\ 4099744652681630472053016823317472871092579246855567645284326304083\ 608064425333858669637034538*c_1001_2^21 - 4694799118713928717611510054317760077805488482866874045974280429165\ 5480895640629769792264168805988815098458815662735472338882917681682\ 23/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^20 - 16395855923616712251331026719358397386939167167502007\ 5519978106987547553565729913760029568588766733702942439999856756367\ 5762642635017943/31077055637407737705714376186833636440997446526816\ 3047205301682331747287109257924685556764528432630408360806442533385\ 8669637034538*c_1001_2^19 - 382885966073260675562986790925886599825\ 6847162078867137674750262875282499073830781268802813803459741610271\ 346121879843886993063122919513/621541112748154754114287523736672728\ 8199489305363260944106033646634945742185158493711135290568652608167\ 216128850667717339274069076*c_1001_2^18 - 2900473135552556356303948546670560457946954564536582477696216553902\ 6886506980911665844682593467610358414043288590454832912821026364825\ 75/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^17 - 13240992347931139067817221214660689554752241127816655\ 4614920153775800402252039617479850702138509925471286971706997097021\ 019938077206566/155385278187038688528571880934168182204987232634081\ 5236026508411658736435546289623427783822642163152041804032212666929\ 334818517269*c_1001_2^16 + 5680856762065643025267932323646769396413\ 8530623125204859322602511363748083879422672314090624658400281987461\ 7649378701107493682252803075/62154111274815475411428752373667272881\ 9948930536326094410603364663494574218515849371113529056865260816721\ 6128850667717339274069076*c_1001_2^15 + 1640924678998879307306551184549183652395551027997111990348139202493\ 2248227132391960180829278256689593125123176388022086184409408157476\ 4/15538527818703868852857188093416818220498723263408152360265084116\ 58736435546289623427783822642163152041804032212666929334818517269*c\ _1001_2^14 + 802590884542302894860009975432888953461976357021285911\ 2980930689896314768237902524029998622386605698165457473401122493869\ 70486413712131/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^13 + 65432479553477881065917400425357152828525\ 6194573938023262322966364484791377409207015145929100377023926351867\ 663421608024656295603149015/621541112748154754114287523736672728819\ 9489305363260944106033646634945742185158493711135290568652608167216\ 128850667717339274069076*c_1001_2^12 + 8265488917397670295523994632255725845179201486782159495390514271265\ 1373909662239284686958467807537546016341161061145440290071756670044\ /155385278187038688528571880934168182204987232634081523602650841165\ 8736435546289623427783822642163152041804032212666929334818517269*c_\ 1001_2^11 + 1942258455493873191221038477947517396618608538953421495\ 3820478419463960548785392472956678667267669934177479645317957352568\ 4479215714213/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^10 + 433824668391541496008252164731747599641728\ 2793482219829605772490042907335951493170315467747042247564452111279\ 1799924809214392850462513/31077055637407737705714376186833636440997\ 4465268163047205301682331747287109257924685556764528432630408360806\ 4425333858669637034538*c_1001_2^9 - 1623706119399532808224705155011884496015124923561756184897390202087\ 6661458994852559981311515211108481741685024862954624299845676152951\ /621541112748154754114287523736672728819948930536326094410603364663\ 4945742185158493711135290568652608167216128850667717339274069076*c_\ 1001_2^8 - 31194187447480376413190100288542173356765556914622170375\ 0392746021093829212727795617062071806620742989228592738449790647877\ 45635108327/6215411127481547541142875237366727288199489305363260944\ 1060336466349457421851584937111352905686526081672161288506677173392\ 74069076*c_1001_2^7 - 182302949713777265486102091115065500746367893\ 2910315109763890183422968505560523997601802025367972090798818889727\ 7988771501959231015233/62154111274815475411428752373667272881994893\ 0536326094410603364663494574218515849371113529056865260816721612885\ 0667717339274069076*c_1001_2^6 - 1135603737651627296891057007130986\ 7266364174574686367581809194372629652274739480261488222861655881386\ 609376709309062840580271513948139/621541112748154754114287523736672\ 7288199489305363260944106033646634945742185158493711135290568652608\ 167216128850667717339274069076*c_1001_2^5 - 1031546814736814720302180190904702673889633807652812235079125088397\ 217655160449139050150761640135491124588160911987550748810342686659/\ 1553852781870386885285718809341681822049872326340815236026508411658\ 736435546289623427783822642163152041804032212666929334818517269*c_1\ 001_2^4 - 289479674031931807887730477262108595462776325509029031819\ 9104812715127257560007701555790018039154406053155377469032005322129\ 56916028/1553852781870386885285718809341681822049872326340815236026\ 5084116587364355462896234277838226421631520418040322126669293348185\ 17269*c_1001_2^3 - 167457871842748829638239300207131993730134281416\ 6359740811159059181384416832806860607838040303106071851214147996075\ 61063533030980521/1553852781870386885285718809341681822049872326340\ 8152360265084116587364355462896234277838226421631520418040322126669\ 29334818517269*c_1001_2^2 - 516043072136218736393340714048649334908\ 4158246701666815006782730231542864923716511776982681254434157127057\ 4805573270407216207403265/31077055637407737705714376186833636440997\ 4465268163047205301682331747287109257924685556764528432630408360806\ 4425333858669637034538*c_1001_2 + 566056148834695440858000174273352\ 8363751689460546332839010091578761033270943106934038550733565515035\ 600021903519140888445670611343/155385278187038688528571880934168182\ 2049872326340815236026508411658736435546289623427783822642163152041\ 804032212666929334818517269, c_0011_4 - 293689722986261970445662688940928257250698790648879408793322\ 7491787407772918470458646799132327512401634119504440832612923841285\ 457/621541112748154754114287523736672728819948930536326094410603364\ 6634945742185158493711135290568652608167216128850667717339274069076\ *c_1001_2^29 + 4807472182120431619158587592628772864566852934930658\ 6267442938637964867454519631666454726291327236266564038639341743135\ 1141140092227/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^28 + 241485082293535403081426655820025831944847\ 0500163389647533028525348786971763936411286651058668423138304189411\ 411409732466310154107784/155385278187038688528571880934168182204987\ 2326340815236026508411658736435546289623427783822642163152041804032\ 212666929334818517269*c_1001_2^27 + 4601581050907410689440564748376306959350752032130872396504218081197\ 1641925614918127254882579321220602296850388278858335797343110860061\ /310770556374077377057143761868336364409974465268163047205301682331\ 7472871092579246855567645284326304083608064425333858669637034538*c_\ 1001_2^26 + 5280496320649357501551135130711362154306505785490884092\ 7885940125516453942971515750445353396771972178744821675143835270570\ 5994997194445/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^25 + 974101961971658458433795357012715559264318\ 6315609781793668468581208557012996422113645803572585017231920369111\ 77811944018085750139567791/3107705563740773770571437618683363644099\ 7446526816304720530168233174728710925792468555676452843263040836080\ 64425333858669637034538*c_1001_2^24 + 1175651909137383042167977781617326705736385874491190304624097045211\ 0165504857126880122839087221395295678387985739753685658758147287332\ 21/1553852781870386885285718809341681822049872326340815236026508411\ 658736435546289623427783822642163152041804032212666929334818517269*\ c_1001_2^23 + 18341737349186059632000241053586157570587547418319735\ 0340569368845331310417845987087406241087072538785216242363952973030\ 2384776717978141/15538527818703868852857188093416818220498723263408\ 1523602650841165873643554628962342778382264216315204180403221266692\ 9334818517269*c_1001_2^22 + 714044697979772780955803355419813401733\ 9920762748838921375111634054978939387646250188095821755325546927495\ 595137462599037044763942547137/621541112748154754114287523736672728\ 8199489305363260944106033646634945742185158493711135290568652608167\ 216128850667717339274069076*c_1001_2^21 + 4426134917171413047029983217899892945086775797829050072470431639426\ 3116147311440694528514926832539808969682606457197704603357181850335\ 59/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^20 + 76685354276929935341151337201149952465981325169523613\ 6853955799460320878803837066973519786379186533325665802024862726121\ 036778021173580/155385278187038688528571880934168182204987232634081\ 5236026508411658736435546289623427783822642163152041804032212666929\ 334818517269*c_1001_2^19 + 1835489558604629761638975426917020379687\ 5698922026189890806669201035894495254087823366009438252593769801378\ 17264918319923485930741147917/3107705563740773770571437618683363644\ 0997446526816304720530168233174728710925792468555676452843263040836\ 08064425333858669637034538*c_1001_2^18 + 1390014879071019476542669299299117588213062750697028438902917764774\ 1668076183240848860548486669960428081055569500540294150837733030410\ 43/3107705563740773770571437618683363644099744652681630472053016823\ 317472871092579246855567645284326304083608064425333858669637034538*\ c_1001_2^17 + 44512614761732547845598543424758730188658831335903830\ 1593079175961540044328883683764007765854845355353031864241549914269\ 924444423263301/621541112748154754114287523736672728819948930536326\ 0944106033646634945742185158493711135290568652608167216128850667717\ 339274069076*c_1001_2^16 - 5875385110029513458741025173093368896298\ 1330746193022250104363518000315219975404080882248737577290050877193\ 6694418322268174407452986561/62154111274815475411428752373667272881\ 9948930536326094410603364663494574218515849371113529056865260816721\ 6128850667717339274069076*c_1001_2^15 - 1561758719302200007942349538047967550966770908746048808278464745176\ 5197955593680010862525798834809802301420711844037179592662923985585\ 3/15538527818703868852857188093416818220498723263408152360265084116\ 58736435546289623427783822642163152041804032212666929334818517269*c\ _1001_2^14 - 384850983097676214525319623987458354230644282712841975\ 5513586365686591771989242559370327538654097023257354575857091254089\ 65882162205259/3107705563740773770571437618683363644099744652681630\ 4720530168233174728710925792468555676452843263040836080644253338586\ 69637034538*c_1001_2^13 - 15684879958411182362277290342886323268660\ 3634266298564584920181239797625041367114193047680438329146758427122\ 583785522455918598294976068/155385278187038688528571880934168182204\ 9872326340815236026508411658736435546289623427783822642163152041804\ 032212666929334818517269*c_1001_2^12 - 3045356859120990208509965740014057697652286855655167667883586215561\ 3733319313975024848760842480412467155876421074439364339880888847613\ 1/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^11 - 901701695279079798999019701805143950997320022026159582\ 0994330381378564119464363400418447686369127473006506231881008872112\ 7764157642471/31077055637407737705714376186833636440997446526816304\ 7205301682331747287109257924685556764528432630408360806442533385866\ 9637034538*c_1001_2^10 - 205906192601645109634749280854375814056132\ 1099592284822406054558687988792701645784473234005653889537556140706\ 7247103816304198968702579/15538527818703868852857188093416818220498\ 7232634081523602650841165873643554628962342778382264216315204180403\ 2212666929334818517269*c_1001_2^9 + 1877535241764534434820640215289734364159463125394278570179587477807\ 6458728097561532215584756016005927602623636367247688245717007857853\ /621541112748154754114287523736672728819948930536326094410603364663\ 4945742185158493711135290568652608167216128850667717339274069076*c_\ 1001_2^8 + 30925229175083511616829085511574603364150250730682946730\ 1723981343651047397905024536171175192874404207444742594953659931556\ 79212686071/6215411127481547541142875237366727288199489305363260944\ 1060336466349457421851584937111352905686526081672161288506677173392\ 74069076*c_1001_2^7 + 414366418673011320615637992210045918834215748\ 9312781308024265880021183704111173220819928105258847137757912105989\ 718932098271724992792/155385278187038688528571880934168182204987232\ 6340815236026508411658736435546289623427783822642163152041804032212\ 666929334818517269*c_1001_2^6 + 53219087976879057479221437729758711\ 7142671164179435252056946704619822061168188704427847142377408402361\ 7259732156010564154168193031753/31077055637407737705714376186833636\ 4409974465268163047205301682331747287109257924685556764528432630408\ 3608064425333858669637034538*c_1001_2^5 + 1905313835494451371737307742309455601705574354315987936769424860926\ 575607267565884032090393871701259552801008476576272483554162462523/\ 3107705563740773770571437618683363644099744652681630472053016823317\ 472871092579246855567645284326304083608064425333858669637034538*c_1\ 001_2^4 + 473913502720890590443381551540404345426546818934294402959\ 6443625854520945737080609982611248974608067793444669586964155891662\ 87394325/3107705563740773770571437618683363644099744652681630472053\ 0168233174728710925792468555676452843263040836080644253338586696370\ 34538*c_1001_2^3 + 161842195774507346505261598720652116247909752663\ 9921121858368477905499454811566946575627014343744724100123119793846\ 03310680371425004/1553852781870386885285718809341681822049872326340\ 8152360265084116587364355462896234277838226421631520418040322126669\ 29334818517269*c_1001_2^2 + 254169998552904695869174839694326026868\ 3808882584270821000710227254948410832949002015739535094803253019502\ 0327979003817421644839769/15538527818703868852857188093416818220498\ 7232634081523602650841165873643554628962342778382264216315204180403\ 2212666929334818517269*c_1001_2 - 586537639351107275756528938150627\ 3033268823487802181602439583456047398318265974216225013389370370329\ 688655006107378755088419252392/155385278187038688528571880934168182\ 2049872326340815236026508411658736435546289623427783822642163152041\ 804032212666929334818517269, c_0011_6 - 540408274939183854234707280901753832579104896903573889510862\ 1559744061024966312501935368401127969941543093998608493997077984662\ 09/1243082225496309508228575047473345457639897861072652188821206729\ 3269891484370316987422270581137305216334432257701335434678548138152\ *c_1001_2^29 + 2217059265655603427243715708413537528728742329638117\ 6310367760150206720611149131234839592977941613274375147569209161825\ 299615754339/310770556374077377057143761868336364409974465268163047\ 2053016823317472871092579246855567645284326304083608064425333858669\ 637034538*c_1001_2^28 + 1741051807986966364201907008520937319795727\ 8749293496061698778928071762334309358265563438846529025169172062494\ 47084326602359931401819/1243082225496309508228575047473345457639897\ 8610726521888212067293269891484370316987422270581137305216334432257\ 701335434678548138152*c_1001_2^27 + 1621225527117768597844077513934192157491541827905866745295483397129\ 3727228194202681438723448366021548787068482320213365831799908906079\ /124308222549630950822857504747334545763989786107265218882120672932\ 69891484370316987422270581137305216334432257701335434678548138152*c\ _1001_2^26 + 225929891463076873335138159319899113409730874367392879\ 0936119058600662048105852981440075259448697614125255837218868983545\ 8172879313839/31077055637407737705714376186833636440997446526816304\ 7205301682331747287109257924685556764528432630408360806442533385866\ 9637034538*c_1001_2^25 + 160099663290322149083812161873473634559833\ 8969686737499887819150850567522705944453037535164344350352272941982\ 90097501611954538826494523/6215411127481547541142875237366727288199\ 4893053632609441060336466349457421851584937111352905686526081672161\ 28850667717339274069076*c_1001_2^24 + 7279497868630677221810354437135162808465455123045870037567038369752\ 6963109341517807562996310339607294539456099695685169882607528438612\ 1/12430822254963095082285750474733454576398978610726521888212067293\ 269891484370316987422270581137305216334432257701335434678548138152*\ c_1001_2^23 + 12919868476279759305117711140152270030995192831222788\ 1765972101157679170812737740225351252808522622414127696876705590035\ 764492983663843/155385278187038688528571880934168182204987232634081\ 5236026508411658736435546289623427783822642163152041804032212666929\ 334818517269*c_1001_2^22 + 1075906997412432857147092317477867617841\ 8583245130010695213868072890107108869106679186605673194200045717911\ 8743516524992244663684799101/15538527818703868852857188093416818220\ 4987232634081523602650841165873643554628962342778382264216315204180\ 4032212666929334818517269*c_1001_2^21 + 5553673021742325138639040815388696096045360613454896166221950625926\ 1315297384051568261315719763076965682379473048875166677459268236027\ /155385278187038688528571880934168182204987232634081523602650841165\ 8736435546289623427783822642163152041804032212666929334818517269*c_\ 1001_2^20 + 2004409515784103998417057737969724606303755916957272065\ 4884129695071534636862678888546090440674925654260389342382071000653\ 2363541052685/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^19 + 537405688064975739930504817196948026093126\ 3770927184382598769038364085225702463231963020869140512477483131484\ 39737400805342706685020285/1243082225496309508228575047473345457639\ 8978610726521888212067293269891484370316987422270581137305216334432\ 257701335434678548138152*c_1001_2^18 + 3515447416236085845821698826600620936516556544102891182952113865766\ 6089706418281870023238780441407606502765344133164599761348002499182\ /155385278187038688528571880934168182204987232634081523602650841165\ 8736435546289623427783822642163152041804032212666929334818517269*c_\ 1001_2^17 - 1263473487915939492261232158239937099875659291669538118\ 8185400146638784438134863964845414223600404596066989237565501409742\ 197273389341/310770556374077377057143761868336364409974465268163047\ 2053016823317472871092579246855567645284326304083608064425333858669\ 637034538*c_1001_2^16 - 3453839467814641533906158050353093793601852\ 4292511134539037677745129202074596535385059538171592161385770002427\ 973523114424502302270977/621541112748154754114287523736672728819948\ 9305363260944106033646634945742185158493711135290568652608167216128\ 850667717339274069076*c_1001_2^15 - 3296964017479793501810257677201817218407533679009505846901000560431\ 3124510734480473402124606929223053353663721978789321784567602063091\ /621541112748154754114287523736672728819948930536326094410603364663\ 4945742185158493711135290568652608167216128850667717339274069076*c_\ 1001_2^14 - 1183751351417994109960769349513289460376776401394670432\ 6971463068638649041716742916937835671528794374703981409041818992567\ 4948325717237/12430822254963095082285750474733454576398978610726521\ 8882120672932698914843703169874222705811373052163344322577013354346\ 78548138152*c_1001_2^13 - 35275447931155614102985945212525443724438\ 8488347022877855072577799839524034838156269080351326942066056852330\ 82739938137127204826527597/6215411127481547541142875237366727288199\ 4893053632609441060336466349457421851584937111352905686526081672161\ 28850667717339274069076*c_1001_2^12 - 3102347896288833364760316116460018299087313593766173196046631465024\ 845076215909748706040444491826624857209138159136983986459870179823/\ 1553852781870386885285718809341681822049872326340815236026508411658\ 736435546289623427783822642163152041804032212666929334818517269*c_1\ 001_2^11 - 25024235897451160619283720150641116444308047559459824798\ 0028984334381496682738605510964731659259675246920536798787203617110\ 56529539403/1243082225496309508228575047473345457639897861072652188\ 8212067293269891484370316987422270581137305216334432257701335434678\ 548138152*c_1001_2^10 - 6336520156071715698727633433865942746304012\ 2558120810830995598537042673020728226455102849489546120684458521169\ 27552054245947266989049/1243082225496309508228575047473345457639897\ 8610726521888212067293269891484370316987422270581137305216334432257\ 701335434678548138152*c_1001_2^9 + 8310236332849651246577133132385292214645688217527918596659754966991\ 39832593999962246210929217504653192148987211072939507151515245652/1\ 5538527818703868852857188093416818220498723263408152360265084116587\ 36435546289623427783822642163152041804032212666929334818517269*c_10\ 01_2^8 + 2358672157009143289497887389914868584269740461310214684689\ 6958949122228741742987660775887055285580906829735317766260177154250\ 51085393/1243082225496309508228575047473345457639897861072652188821\ 2067293269891484370316987422270581137305216334432257701335434678548\ 138152*c_1001_2^7 + 21005009505896252120754035618372968437284458032\ 2626105102231020634676728353345288370131555994187361271983215686410\ 030198206280230655/155385278187038688528571880934168182204987232634\ 0815236026508411658736435546289623427783822642163152041804032212666\ 929334818517269*c_1001_2^6 + 80096566372174342704021482656497557219\ 0549912205995530734103882316123895708147611510624057342735604344878\ 868666636755889712239558473/621541112748154754114287523736672728819\ 9489305363260944106033646634945742185158493711135290568652608167216\ 128850667717339274069076*c_1001_2^5 + 2072904685325585874207087967821357512486256060938208850851809097988\ 7424804566166488317426856591152762575260691317063550736442969780/15\ 5385278187038688528571880934168182204987232634081523602650841165873\ 6435546289623427783822642163152041804032212666929334818517269*c_100\ 1_2^4 + 40577580257876439293393540248768480634219503978195762166378\ 2047463633678565182634936493027601636601169324219046299797091157079\ 66911/6215411127481547541142875237366727288199489305363260944106033\ 6466349457421851584937111352905686526081672161288506677173392740690\ 76*c_1001_2^3 + 920133087434660517844701677101770818809935466367872\ 8573969512394352305677142955164140801463538678054242974164774761963\ 418364240916/155385278187038688528571880934168182204987232634081523\ 6026508411658736435546289623427783822642163152041804032212666929334\ 818517269*c_1001_2^2 - 51585196876022429416830167867971615826341901\ 1578085395722656828203772406852586916181356016126470529180604453892\ 9925739221005384461/31077055637407737705714376186833636440997446526\ 8163047205301682331747287109257924685556764528432630408360806442533\ 3858669637034538*c_1001_2 + 148430867553211242190441421350750932463\ 0090417545152864674730848109972979851781134098276376546253466169973\ 066669234209379034404769/310770556374077377057143761868336364409974\ 4652681630472053016823317472871092579246855567645284326304083608064\ 425333858669637034538, c_0101_0 - 517233437581958629068146806681471708152246667462506851592661\ 5371444720852761993353145621884198577702893501841180954073330551495\ 809/124308222549630950822857504747334545763989786107265218882120672\ 9326989148437031698742227058113730521633443225770133543467854813815\ 2*c_1001_2^29 + 105799553056590356470681853210914373191012954144371\ 9081482698830314233261484229397320626504341863456775461861956235962\ 08947713778450/1553852781870386885285718809341681822049872326340815\ 2360265084116587364355462896234277838226421631520418040322126669293\ 34818517269*c_1001_2^28 + 17056591376056731105292454853523971519519\ 7103040594750636697637813845389205597228583862306849599368285378210\ 06834951910151073936803445/1243082225496309508228575047473345457639\ 8978610726521888212067293269891484370316987422270581137305216334432\ 257701335434678548138152*c_1001_2^27 + 1629933473285421927294611518761040410258558341645196183118319091693\ 7596412540527535480511219708420329158498829623603374946269913526341\ 1/12430822254963095082285750474733454576398978610726521888212067293\ 269891484370316987422270581137305216334432257701335434678548138152*\ c_1001_2^26 + 23468001336752305935392779445958634791539599155091262\ 1664057164045171819375771535238146210953223646155446616601808140742\ 130082559369279/310770556374077377057143761868336364409974465268163\ 0472053016823317472871092579246855567645284326304083608064425333858\ 669637034538*c_1001_2^25 + 1740764187738843348487933616091866527903\ 8862729485347627441638353460828252174600155595766542106209903689580\ 80627463786152870149279048685/6215411127481547541142875237366727288\ 1994893053632609441060336466349457421851584937111352905686526081672\ 16128850667717339274069076*c_1001_2^24 + 8468643000428574032516051216568423977055613242491744135709538969993\ 6540573585493990114263854734968193350266040823646480862633232543260\ 99/1243082225496309508228575047473345457639897861072652188821206729\ 3269891484370316987422270581137305216334432257701335434678548138152\ *c_1001_2^23 + 6684811047322925265417735118801393875361774650455782\ 9431588551441451363971751495901363117910827348903013608060643732441\ 43879348159710985/6215411127481547541142875237366727288199489305363\ 2609441060336466349457421851584937111352905686526081672161288506677\ 17339274069076*c_1001_2^22 + 66300253497957848781103173541019177126\ 0886242640919208550054497791041732870161488106239029648477445302929\ 9029815952242602827918237921137/62154111274815475411428752373667272\ 8819948930536326094410603364663494574218515849371113529056865260816\ 7216128850667717339274069076*c_1001_2^21 + 4208762740135110015732739385809331001518250875954350767481954632355\ 9646392200703514937448984129713300305847708055067881823893238289926\ 89/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^20 + 28632959610599501033951143150798991213642161201272311\ 1239150389899571526804326871637135281902783709060861236114713412441\ 7735118618139813/62154111274815475411428752373667272881994893053632\ 6094410603364663494574218515849371113529056865260816721612885066771\ 7339274069076*c_1001_2^19 + 668867769300081051061920568283880746790\ 3449037333577632104929136198006288559715765299465287044750701793066\ 601439829653592053204288856511/124308222549630950822857504747334545\ 7639897861072652188821206729326989148437031698742227058113730521633\ 4432257701335434678548138152*c_1001_2^18 + 2617676395210134653562321978143554879238819762228200466048097843930\ 7286051439214163129865849045067862680096424937394794147774551308603\ 69/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^17 + 51230158799911676178877015622161420020367308047879083\ 9549804183199475406084642765858592239532428718412638314764581586779\ 133930688713287/621541112748154754114287523736672728819948930536326\ 0944106033646634945742185158493711135290568652608167216128850667717\ 339274069076*c_1001_2^16 - 2622881992558233016750487555550608534376\ 6887310056361877555529792273286903447732917120361706575251324176394\ 0417039379459887773613768667/31077055637407737705714376186833636440\ 9974465268163047205301682331747287109257924685556764528432630408360\ 8064425333858669637034538*c_1001_2^15 - 5876128956719213527438719424826646608754097868998482427915288128273\ 1384467449342795639986342087039366254988052846019380924520084385070\ 9/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^14 - 139985539702534582235605984596764069193593789542512050\ 1539359432195750242876742524709505097693686029663328646945692410282\ 964196351120119/124308222549630950822857504747334545763989786107265\ 2188821206729326989148437031698742227058113730521633443225770133543\ 4678548138152*c_1001_2^13 - 293204874086651655242267202160636385804\ 4121461541447778452544199260399205720917101416080091039781423475997\ 39890128771552588938311085099/3107705563740773770571437618683363644\ 0997446526816304720530168233174728710925792468555676452843263040836\ 08064425333858669637034538*c_1001_2^12 - 2953627273669579235185396705495375542067118993029229721513637233089\ 9998916198396434021848040352165516912021382228374961192464456674866\ 9/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^11 - 336297421746874679126849527704846392091440341116022906\ 9530170421300857709548450485201684847458637114276088001957493093481\ 39366540406533/1243082225496309508228575047473345457639897861072652\ 1888212067293269891484370316987422270581137305216334432257701335434\ 678548138152*c_1001_2^10 - 1581825303974319608222701861725603458603\ 8267114546157429187524471615747718546226268809855836735988347280220\ 6278996770258473910228843817/12430822254963095082285750474733454576\ 3989786107265218882120672932698914843703169874222705811373052163344\ 32257701335434678548138152*c_1001_2^9 + 6737531271203660541413482408741715756972756130960262055188055629605\ 146388341186606634279825471555481751944540578662708900847937735001/\ 3107705563740773770571437618683363644099744652681630472053016823317\ 472871092579246855567645284326304083608064425333858669637034538*c_1\ 001_2^8 + 580493982482179103859417475326815222202394152020810013007\ 6010273896914999844511349413796630097941617065214701425012790764997\ 5845206017/12430822254963095082285750474733454576398978610726521888\ 2120672932698914843703169874222705811373052163344322577013354346785\ 48138152*c_1001_2^7 + 160171985873395209314337414791727261208909922\ 0958356705266211989092817296417226513623128820712874808553437806308\ 8556272332665657382629/62154111274815475411428752373667272881994893\ 0536326094410603364663494574218515849371113529056865260816721612885\ 0667717339274069076*c_1001_2^6 + 9874740068320784948861506847383472\ 4298264016001182466867045333994933769667650187401743606549635012751\ 37624588316932340817777084157233/6215411127481547541142875237366727\ 2881994893053632609441060336466349457421851584937111352905686526081\ 67216128850667717339274069076*c_1001_2^5 + 9279639839686891967223841454156100566975981006776381548424103761201\ 10257834153619344887836795392858571671190585129005201381404020482/1\ 5538527818703868852857188093416818220498723263408152360265084116587\ 36435546289623427783822642163152041804032212666929334818517269*c_10\ 01_2^4 + 9228869932433565458282135347555885670805324670345591567247\ 5867467693384325969801933505116174993265066168186152541853628457115\ 8880437/62154111274815475411428752373667272881994893053632609441060\ 3364663494574218515849371113529056865260816721612885066771733927406\ 9076*c_1001_2^3 + 3032349791696975551050324336731549835143085108029\ 4849691482032297569585262019808936981954010942044251959242521926039\ 0809448255414585/31077055637407737705714376186833636440997446526816\ 3047205301682331747287109257924685556764528432630408360806442533385\ 8669637034538*c_1001_2^2 + 5452427737917023018275735964445838321571\ 7501490067558095727679723094406557249085064117925414693368558595554\ 183391724794350266370529/310770556374077377057143761868336364409974\ 4652681630472053016823317472871092579246855567645284326304083608064\ 425333858669637034538*c_1001_2 - 1271365229782440622858762520179772\ 5597453976178136143916412012026300271725427459117583770143075358938\ 423481125001184985847582767835/310770556374077377057143761868336364\ 4099744652681630472053016823317472871092579246855567645284326304083\ 608064425333858669637034538, c_0101_11 + 27139397464595241146945504184222708300575434816498963650072\ 0903594263568260127498124375780628891419912798911383126515561768295\ 7063/62154111274815475411428752373667272881994893053632609441060336\ 4663494574218515849371113529056865260816721612885066771733927406907\ 6*c_1001_2^29 - 444010849691971493690532075904816789553610728839769\ 2222642601698796372803081708986736456847255763073613656733208768877\ 38425775314885/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^28 - 89654462610590431450647014453211415690688\ 7153953326271870083870679348368014290944248010310377027175407693093\ 5470072181137955278356039/62154111274815475411428752373667272881994\ 8930536326094410603364663494574218515849371113529056865260816721612\ 8850667717339274069076*c_1001_2^27 - 2145584165884262232173920757213594269541875048734899132044764205871\ 0426773948129506435871736908289812806844933221543469002647897028292\ /155385278187038688528571880934168182204987232634081523602650841165\ 8736435546289623427783822642163152041804032212666929334818517269*c_\ 1001_2^26 - 4952671587274510878707235319318934127623222438789345560\ 7999383113589313873742994789765241533035778307966452941279068262108\ 5995327694417/62154111274815475411428752373667272881994893053632609\ 4410603364663494574218515849371113529056865260816721612885066771733\ 9274069076*c_1001_2^25 - 184142985102154223356095263220591529090474\ 9720348255472166490366243211888528292339518415085608317333172620369\ 227804493383537471364928025/621541112748154754114287523736672728819\ 9489305363260944106033646634945742185158493711135290568652608167216\ 128850667717339274069076*c_1001_2^24 - 1123346026468599561319361912959548567414179173735705230063553027110\ 9015001117979102559361239015528870957773378455362981388641993545122\ 87/1553852781870386885285718809341681822049872326340815236026508411\ 658736435546289623427783822642163152041804032212666929334818517269*\ c_1001_2^23 - 35614197066232316059450435181173468431244998232653836\ 6339840733938740704629769329634943869182891040877291540826166730765\ 9316753152131453/31077055637407737705714376186833636440997446526816\ 3047205301682331747287109257924685556764528432630408360806442533385\ 8669637034538*c_1001_2^22 - 710193274575005557764419287066385627301\ 2551079227571497802260904758955640127198481600318216228644078024540\ 137617639084298204880089852921/621541112748154754114287523736672728\ 8199489305363260944106033646634945742185158493711135290568652608167\ 216128850667717339274069076*c_1001_2^21 - 1133011438815719031413570066510102070896743609382067419355020532276\ 3341595346236858983154693310867803776946141124307291960560385110491\ 68/1553852781870386885285718809341681822049872326340815236026508411\ 658736435546289623427783822642163152041804032212666929334818517269*\ c_1001_2^20 - 30714648533997243479895284803984114216600507313177148\ 8103368704762852150145856759329261094909590148419869927788463118605\ 7774163076994531/62154111274815475411428752373667272881994893053632\ 6094410603364663494574218515849371113529056865260816721612885066771\ 7339274069076*c_1001_2^19 - 357686807829257408359199137481123561390\ 2731077199829454036251474348322338481507661682661547385135283047130\ 483220502614936766433273219399/621541112748154754114287523736672728\ 8199489305363260944106033646634945742185158493711135290568652608167\ 216128850667717339274069076*c_1001_2^18 - 7048594978658188117549621226745593742388898023144054442991223668349\ 3253399526880786792288410479187214702003238682295580607348681940956\ 4/15538527818703868852857188093416818220498723263408152360265084116\ 58736435546289623427783822642163152041804032212666929334818517269*c\ _1001_2^17 - 569706803063335657670449071839189278514423884594120965\ 9639240749492150091902347827638436946312737443370921919529174952334\ 72893176818419/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^16 + 13807493403725101644203082720240903189409\ 8429455961808465658322882832146439833107433652567374325487394739659\ 141379313117331321463531233/155385278187038688528571880934168182204\ 9872326340815236026508411658736435546289623427783822642163152041804\ 032212666929334818517269*c_1001_2^15 + 6240886668904257552516221085605073479262153771560183446937669579167\ 5094860510538731942665345934066699374596540579454135948298715462142\ 9/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^14 + 747970853008515621897394523103723923806938349638507340\ 9248264657115790732297440402897044117727169636746914790435971317689\ 35685233802097/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^13 + 15768873565231977760691708793383790286087\ 1059946360810837007281857310286040972825940065091530137473588055464\ 900674423607147494541794569/155385278187038688528571880934168182204\ 9872326340815236026508411658736435546289623427783822642163152041804\ 032212666929334818517269*c_1001_2^12 + 3192198567877972846775088166731508199564572440858157187289241210875\ 7786208972458146703800398971964641583241986041963348341960451274194\ 5/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^11 + 182053926577894479326059499880475276938555771138447755\ 3547228046662465054220138377010391927900341548032862904940241132150\ 99634027470703/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^10 + 86016403810978308424226379412159643051480\ 2038658601634984078835373578280320418412159609723197470154315860122\ 80644252641840297083912803/6215411127481547541142875237366727288199\ 4893053632609441060336466349457421851584937111352905686526081672161\ 28850667717339274069076*c_1001_2^9 - 1365382548418493708981062024441122829765988911205882036351766142913\ 7135916392578617282069981413028766439270154221386065675587128898555\ /621541112748154754114287523736672728819948930536326094410603364663\ 4945742185158493711135290568652608167216128850667717339274069076*c_\ 1001_2^8 - 77072533008658091328125836238660570504812432815517346741\ 0726507067162891569761993685525837619203573201717419466806023144096\ 8755626930/15538527818703868852857188093416818220498723263408152360\ 2650841165873643554628962342778382264216315204180403221266692933481\ 8517269*c_1001_2^7 - 8663232617860820481366244149534450450774412798\ 2450369982646673100886785658168360549906986495180468397285088620829\ 97476432000190404689/3107705563740773770571437618683363644099744652\ 6816304720530168233174728710925792468555676452843263040836080644253\ 33858669637034538*c_1001_2^6 - 107224452769376641657709807790611481\ 0113571288659469316117725495318379324161256783485570034418222389985\ 4861301994171248862246174977857/62154111274815475411428752373667272\ 8819948930536326094410603364663494574218515849371113529056865260816\ 7216128850667717339274069076*c_1001_2^5 - 4041862056434170122816510292547692780276906265208892303324134663586\ 471155866503483937571489213649193236398811387305281041295234626127/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^4 - 263153500801488020272123327336778860921228231384338088086\ 0578346136619337084667254929945320735101679235652910008684732780140\ 81917263/1553852781870386885285718809341681822049872326340815236026\ 5084116587364355462896234277838226421631520418040322126669293348185\ 17269*c_1001_2^3 - 323957933572821753143394086446917252592764329269\ 0667787369160522784077412285290442035264866122531907502915054526753\ 60775766447891725/3107705563740773770571437618683363644099744652681\ 6304720530168233174728710925792468555676452843263040836080644253338\ 58669637034538*c_1001_2^2 - 272937390584492949231814565476926043944\ 4128742903651397062308651359628309662476229692457929806849589404171\ 8852815743973737083377837/15538527818703868852857188093416818220498\ 7232634081523602650841165873643554628962342778382264216315204180403\ 2212666929334818517269*c_1001_2 + 118291721660979240470716438688087\ 4393051056386105989082128755157426416790421023453325826074989938706\ 3669073858772892829546491967441/31077055637407737705714376186833636\ 4409974465268163047205301682331747287109257924685556764528432630408\ 3608064425333858669637034538, c_0101_3 - 902564645263287471569844248221355895019070347644713780179320\ 4589793264801350254440512882070468750858276835786790147235645682918\ 209/124308222549630950822857504747334545763989786107265218882120672\ 9326989148437031698742227058113730521633443225770133543467854813815\ 2*c_1001_2^29 + 738342722594321038990708586907258484293471718656331\ 6108996658612862910620994780648177216421564008364377576918628611497\ 13999448489503/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^28 + 29806817583819963770039205709683205854519\ 2995431097816324040817375006031628141298694066974560466065103391798\ 76582829594125133354067043/1243082225496309508228575047473345457639\ 8978610726521888212067293269891484370316987422270581137305216334432\ 257701335434678548138152*c_1001_2^27 + 2852631735433363064660107775404410016816835394725089359513179181534\ 5965342405971032667382435280387402564415884985649403493621492099764\ 5/12430822254963095082285750474733454576398978610726521888212067293\ 269891484370316987422270581137305216334432257701335434678548138152*\ c_1001_2^26 + 20573053197715009160652167035319003465998471044723918\ 1765966889670051175259321425454755227002330286227311794334170953405\ 658595873736296/155385278187038688528571880934168182204987232634081\ 5236026508411658736435546289623427783822642163152041804032212666929\ 334818517269*c_1001_2^25 + 3059205763063846081951888011573382806422\ 9334639833181871227889354364042094502223645274096480377353922030748\ 03531526752326804412361324881/6215411127481547541142875237366727288\ 1994893053632609441060336466349457421851584937111352905686526081672\ 16128850667717339274069076*c_1001_2^24 + 1493023420280189162186971987574001916143864483256029961201076008025\ 9267620325061014392583560244456354805152379839179280393225328087385\ 069/124308222549630950822857504747334545763989786107265218882120672\ 9326989148437031698742227058113730521633443225770133543467854813815\ 2*c_1001_2^23 + 118390741969954387352159602594593302454859181003042\ 1940463816955706777355126734905474531879897919944320785034969033806\ 1657142314260706743/62154111274815475411428752373667272881994893053\ 6326094410603364663494574218515849371113529056865260816721612885066\ 7717339274069076*c_1001_2^22 + 118227510327622774646111749456556649\ 8792538562598613398143106931327242979936907813975241931016487004621\ 4438674888759225786073288728645103/62154111274815475411428752373667\ 2728819948930536326094410603364663494574218515849371113529056865260\ 8167216128850667717339274069076*c_1001_2^21 + 7573024277339979861840622700768258351242254506869367792197141559253\ 7405957944924022081128794683550114599375339635162402481083219420048\ 13/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^20 + 12845245438171051280880987376358438925132008946338185\ 0651521494249112224114667762006515854869104216830182410955888779614\ 2520558596859185/15538527818703868852857188093416818220498723263408\ 1523602650841165873643554628962342778382264216315204180403221266692\ 9334818517269*c_1001_2^19 + 119043199111436328750765209250765571044\ 3396124544241006295392897024416947080538197067330367895428565143871\ 2696205283325552189814196225099/12430822254963095082285750474733454\ 5763989786107265218882120672932698914843703169874222705811373052163\ 34432257701335434678548138152*c_1001_2^18 + 4695886285932420466852863384164894610857595568977879284299552733892\ 7710289022357181726356556341871309517589411422184285733588462213356\ 55/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^17 + 97128824081797631353284516372484053468166158426899115\ 5158454995428589389767455927679062486547801125083750123295844410800\ 550113674687497/621541112748154754114287523736672728819948930536326\ 0944106033646634945742185158493711135290568652608167216128850667717\ 339274069076*c_1001_2^16 - 2266819811419479469076611762997534596138\ 6889754594889025481190715737652594459238125936561230637488068772110\ 9899106788920677746916145002/15538527818703868852857188093416818220\ 4987232634081523602650841165873643554628962342778382264216315204180\ 4032212666929334818517269*c_1001_2^15 - 5197436265086728530014131632860100585058509366161495008893097975216\ 1355482533511033024417828959559728863032344088889187326031156510411\ 3/31077055637407737705714376186833636440997446526816304720530168233\ 17472871092579246855567645284326304083608064425333858669637034538*c\ _1001_2^14 - 248758518357661110783346686523556515167317120670229263\ 7419620228129879122611202641633281297872736978622551060124723464088\ 483611574970675/124308222549630950822857504747334545763989786107265\ 2188821206729326989148437031698742227058113730521633443225770133543\ 4678548138152*c_1001_2^13 - 526004528386963576879304831849547117633\ 5946693465489982286385976019033847954757751364981264263832402567207\ 76794524200775052638110708403/3107705563740773770571437618683363644\ 0997446526816304720530168233174728710925792468555676452843263040836\ 08064425333858669637034538*c_1001_2^12 - 5351547216182256577303124482244689367652795396153777242078312345659\ 8119112984141216393685642836301451351616102728222780611376727804813\ 3/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^11 - 606504181621789307238324543170151757371886110219591954\ 9722337520170125251331060226050753253746506452338288547569114723799\ 69893455793949/1243082225496309508228575047473345457639897861072652\ 1888212067293269891484370316987422270581137305216334432257701335434\ 678548138152*c_1001_2^10 - 2883964247943404969993144152833376077316\ 8138628286368210227023563319155933080617262030714767848075599719337\ 6096492463510732247521897601/12430822254963095082285750474733454576\ 3989786107265218882120672932698914843703169874222705811373052163344\ 32257701335434678548138152*c_1001_2^9 + 5325033136520749176214005773824853728994341093728834497786936409487\ 982833425534257419855822576026237796975322231837552898917776170918/\ 1553852781870386885285718809341681822049872326340815236026508411658\ 736435546289623427783822642163152041804032212666929334818517269*c_1\ 001_2^8 + 102922524915278971234834344584781807184808730166196988319\ 5633612202017671967660583299807957079500765764892715128986753488999\ 44464315657/1243082225496309508228575047473345457639897861072652188\ 8212067293269891484370316987422270581137305216334432257701335434678\ 548138152*c_1001_2^7 + 28931112398330016099730856561338381849098083\ 1572954381608775961320051496150393680333922868489201919158545487659\ 65978395697275413536963/6215411127481547541142875237366727288199489\ 3053632609441060336466349457421851584937111352905686526081672161288\ 50667717339274069076*c_1001_2^6 + 178151744491274871660065435596046\ 3454307565421622454466935641373705304027273580427343921051385255980\ 0979626239814256322462827794816549/62154111274815475411428752373667\ 2728819948930536326094410603364663494574218515849371113529056865260\ 8167216128850667717339274069076*c_1001_2^5 + 6870407590918343437447100762095057884228025874118016570572632580555\ 312541035254386727845088708794656554237751687629806285605025269945/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^4 + 175191866237547111380316018210134090141591464643669619754\ 4322298174407360382134825817117067146274446513671169661609900362550\ 774230869/621541112748154754114287523736672728819948930536326094410\ 6033646634945742185158493711135290568652608167216128850667717339274\ 069076*c_1001_2^3 + 52937605146074212948140534383752464148399316902\ 5840760723708145826959167014568347511411978635106944818786657032588\ 769976162536516471/310770556374077377057143761868336364409974465268\ 1630472053016823317472871092579246855567645284326304083608064425333\ 858669637034538*c_1001_2^2 + 50879280788889010262057413121763774634\ 2199889999397421468380828818005948550652948896296321814670562816490\ 31957049803491707866654066/1553852781870386885285718809341681822049\ 8723263408152360265084116587364355462896234277838226421631520418040\ 32212666929334818517269*c_1001_2 - 9525767675932095693563085223606978950263472843472019735658162688177\ 642187219511979830397630611323952178829725284046372580477574472/155\ 3852781870386885285718809341681822049872326340815236026508411658736\ 435546289623427783822642163152041804032212666929334818517269, c_0101_5 + 192860206070445113028945187988746433236906257944104428623676\ 1619068872274017826873680607553211008114484257167263225003260170048\ 309/124308222549630950822857504747334545763989786107265218882120672\ 9326989148437031698742227058113730521633443225770133543467854813815\ 2*c_1001_2^29 - 157786764686123255111573016424589474644734569826350\ 3508874750664761063959588151192010220741411826012651842644420080502\ 82872868319373/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^28 - 63632866493444800261989820903394791819014\ 4715496796087379220725726697934391665355937440502882816931424357478\ 1208662223619175139055529/12430822254963095082285750474733454576398\ 9786107265218882120672932698914843703169874222705811373052163344322\ 57701335434678548138152*c_1001_2^27 - 6085626155463034016584088331747821207517840055163293447132059365853\ 2377522679091077503952257892572796547255804307132448345986674669749\ /124308222549630950822857504747334545763989786107265218882120672932\ 69891484370316987422270581137305216334432257701335434678548138152*c\ _1001_2^26 - 175447573643634481186745429252710841259680389013248878\ 3503233249237837922844109916070911693294416852712875304480517200801\ 34504823011765/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^25 - 65191917364276829267565959792046663506827\ 5651416803476810446834431426655799630559568530162987546234818748598\ 285043890700182812803425521/621541112748154754114287523736672728819\ 9489305363260944106033646634945742185158493711135290568652608167216\ 128850667717339274069076*c_1001_2^24 - 3181575554122342306296651795233377919596482234478855606247778661286\ 3671125344517365736581482161245842050794980170839095522140221955321\ 43/1243082225496309508228575047473345457639897861072652188821206729\ 3269891484370316987422270581137305216334432257701335434678548138152\ *c_1001_2^23 - 1262718734589047731090801162691310974865477417502663\ 1099763780383703480234253862294731306758431399909317673819535431620\ 06966997027565861/3107705563740773770571437618683363644099744652681\ 6304720530168233174728710925792468555676452843263040836080644253338\ 58669637034538*c_1001_2^22 - 25298285156379627673523046245688990589\ 8391463553017058268177268965249052809229494230299632916935532308813\ 1142721376434193963599496415619/62154111274815475411428752373667272\ 8819948930536326094410603364663494574218515849371113529056865260816\ 7216128850667717339274069076*c_1001_2^21 - 1628128915118419308705818111325129319888685287299354848853214663856\ 4751000871397285558126312268776169396097626667330280524972227477917\ 99/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^20 - 10940525238148046509685892517491334239400180939613607\ 6453444252163849928658587829686478922378802504296478013585855075190\ 8827402866782615/62154111274815475411428752373667272881994893053632\ 6094410603364663494574218515849371113529056865260816721612885066771\ 7339274069076*c_1001_2^19 - 250114104371002181152194974017787956004\ 0260273418600908215187039271383279014103435953446960587882485327533\ 365252899970455561668617398883/124308222549630950822857504747334545\ 7639897861072652188821206729326989148437031698742227058113730521633\ 4432257701335434678548138152*c_1001_2^18 - 2488321008651505398920380457983717209342756640307630410644396730067\ 0738042049973799651195514227863266330899696977964510832012195829130\ 2/15538527818703868852857188093416818220498723263408152360265084116\ 58736435546289623427783822642163152041804032212666929334818517269*c\ _1001_2^17 - 217447712229937575042940925614139984163094411188390160\ 6170273928920938195507620442477869211214326754896157849852183744427\ 95813733569033/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^16 + 49125565426543359107601068885882021005939\ 0628073244180250287483124755064929471672305330602088183095202986868\ 80214241771584829970573818/1553852781870386885285718809341681822049\ 8723263408152360265084116587364355462896234277838226421631520418040\ 32212666929334818517269*c_1001_2^15 + 2345470361812374002207441547674666782208593803537946916442769176457\ 4434537067279125482113699016551653234548516505832262084719482593580\ 9/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^14 + 533777734736713745050685439394852290751545994701868582\ 9736185723662701494896198636615654764011092983633907966332605778106\ 02841130490267/1243082225496309508228575047473345457639897861072652\ 1888212067293269891484370316987422270581137305216334432257701335434\ 678548138152*c_1001_2^13 + 2221807165906030389029994820452831750122\ 1834371740399972574251675290573429247602053665156283397627311110644\ 7527035321155107618167790641/62154111274815475411428752373667272881\ 9948930536326094410603364663494574218515849371113529056865260816721\ 6128850667717339274069076*c_1001_2^12 + 1151715765983842184612325003742681183422462258385446792474918184996\ 0147006728427389281809972915586291631004578764380278086051498863012\ 1/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^11 + 127543496078123062027322866370977613861636460516508734\ 2315548675371353636948320283401260689141632503292816781939383294372\ 14196012795053/1243082225496309508228575047473345457639897861072652\ 1888212067293269891484370316987422270581137305216334432257701335434\ 678548138152*c_1001_2^10 + 5863029381449257627966961042614796825779\ 9151814261774302631379636596358497836825289278553811519374494394218\ 531957448349983851940677603/124308222549630950822857504747334545763\ 9897861072652188821206729326989148437031698742227058113730521633443\ 2257701335434678548138152*c_1001_2^9 - 4619503576623499387201718376101655493788680591650076364046872458294\ 059765719318252220978441463961223355465616205623640125595405115737/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^8 - 226325641600466460810157663179812315660938916272030857932\ 1440832224451899451965837195985104570498808246525439718523711086439\ 4150893305/12430822254963095082285750474733454576398978610726521888\ 2120672932698914843703169874222705811373052163344322577013354346785\ 48138152*c_1001_2^7 - 326306452549289568144803726293235135866106888\ 9775740870463550479718358060078872823563267767026367622611724645726\ 460609110946843505597/310770556374077377057143761868336364409974465\ 2681630472053016823317472871092579246855567645284326304083608064425\ 333858669637034538*c_1001_2^6 - 37328665627216252061139232218318812\ 7181789779112596949741938619371438445838602890820539454676590909710\ 8941502149091221157232645350909/62154111274815475411428752373667272\ 8819948930536326094410603364663494574218515849371113529056865260816\ 7216128850667717339274069076*c_1001_2^5 - 3439297050619159520448386267559989278614869970772318169832567911453\ 49280272967655722762761906099049744826937990414681049606467253629/1\ 5538527818703868852857188093416818220498723263408152360265084116587\ 36435546289623427783822642163152041804032212666929334818517269*c_10\ 01_2^4 - 3334534412096895787790398438701335419886195002428110232342\ 4563886408566521728176278661745257311472588346409054591754358164625\ 7976699/62154111274815475411428752373667272881994893053632609441060\ 3364663494574218515849371113529056865260816721612885066771733927406\ 9076*c_1001_2^3 - 5249699623960133592850679407276823309679641669925\ 9255154975545578178575112312586961515062131819395855357838714253158\ 271418839152397/155385278187038688528571880934168182204987232634081\ 5236026508411658736435546289623427783822642163152041804032212666929\ 334818517269*c_1001_2^2 - 22861022566502169212028946532847321102761\ 3879939513205330070521286241085208627568830223522585391912904390901\ 16597883870138930135145/3107705563740773770571437618683363644099744\ 6526816304720530168233174728710925792468555676452843263040836080644\ 25333858669637034538*c_1001_2 + 62220072890219225496456301363257253\ 9494446066795591564242025926652666208489384610560418246966643695306\ 5671535729090644031387348271/31077055637407737705714376186833636440\ 9974465268163047205301682331747287109257924685556764528432630408360\ 8064425333858669637034538, c_1001_0 + 239252194905461099851339243528236905696320141362712693202427\ 4518626972338846475519464599573779943775986030710033309515723837847\ 109/124308222549630950822857504747334545763989786107265218882120672\ 9326989148437031698742227058113730521633443225770133543467854813815\ 2*c_1001_2^29 - 488436564618143209214384131910360557317351517262050\ 3972182685036121818702223138394001261720842568545036588883059469944\ 3229033758694/15538527818703868852857188093416818220498723263408152\ 3602650841165873643554628962342778382264216315204180403221266692933\ 4818517269*c_1001_2^28 - 801462572930899500532246390078925520129688\ 1198094951009530167366046094812585126174455374613213554585998978865\ 339170263421842450974573/124308222549630950822857504747334545763989\ 7861072652188821206729326989148437031698742227058113730521633443225\ 7701335434678548138152*c_1001_2^27 - 7784263209557242574808999170038687715971851060809099761905655845632\ 6761074962049461986496499384506680635188697550057147766860392003085\ /124308222549630950822857504747334545763989786107265218882120672932\ 69891484370316987422270581137305216334432257701335434678548138152*c\ _1001_2^26 - 228500946243652583783638328313895439065472192132594254\ 0222315422556901889844067108846064575582947162140527423760265855361\ 95431562404547/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^25 - 86874023251299417888258241694715854910393\ 5626818592925300715654836416330290626026366276254037467850305905988\ 988643298986202130534643355/621541112748154754114287523736672728819\ 9489305363260944106033646634945742185158493711135290568652608167216\ 128850667717339274069076*c_1001_2^24 - 4368356516236766708978949311162303017747836769242679135185775959486\ 8085926925171113276048841626525450003632999631518395061931850326893\ 07/1243082225496309508228575047473345457639897861072652188821206729\ 3269891484370316987422270581137305216334432257701335434678548138152\ *c_1001_2^23 - 1803924347011800456990659626600400715720149403889937\ 3037374049048033198327159925856064868759212940682046747401084652589\ 90533480509803783/3107705563740773770571437618683363644099744652681\ 6304720530168233174728710925792468555676452843263040836080644253338\ 58669637034538*c_1001_2^22 - 38095276620680195978126373360636098562\ 1253438327733271795126707845446486323589406571611192707811262244710\ 3083907726973863823314178920245/62154111274815475411428752373667272\ 8819948930536326094410603364663494574218515849371113529056865260816\ 7216128850667717339274069076*c_1001_2^21 - 2586679976049423256809738061947286415442882171994727318383715169362\ 7138877623804144999888724967863885521846005091271851835690305824182\ 57/6215411127481547541142875237366727288199489305363260944106033646\ 634945742185158493711135290568652608167216128850667717339274069076*\ c_1001_2^20 - 16736285507762019449720652541237879727856906033059578\ 4281694263104312938510142985258485498062759042959243365182881734719\ 4853592140939791/62154111274815475411428752373667272881994893053632\ 6094410603364663494574218515849371113529056865260816721612885066771\ 7339274069076*c_1001_2^19 - 367884281872301189435943479929471056493\ 0150827220950233217649330422685006493983419058797518913227166574298\ 259934214570906621674294782709/124308222549630950822857504747334545\ 7639897861072652188821206729326989148437031698742227058113730521633\ 4432257701335434678548138152*c_1001_2^18 - 3968920381044068544582614567626373383208116275228560330268049957428\ 4686521772249262001435470515645358889027261112343845822272574958751\ 0/15538527818703868852857188093416818220498723263408152360265084116\ 58736435546289623427783822642163152041804032212666929334818517269*c\ _1001_2^17 - 458165986089348507338563900359796234848387486459692168\ 6644827276784342614817582028892620158170846934542720012278692305894\ 12903251660231/6215411127481547541142875237366727288199489305363260\ 9441060336466349457421851584937111352905686526081672161288506677173\ 39274069076*c_1001_2^16 + 12722117527143682831507531586933983804390\ 0072412743493478260499398305408461491927614323368204799329560272657\ 353902121843572492736007747/310770556374077377057143761868336364409\ 9744652681630472053016823317472871092579246855567645284326304083608\ 064425333858669637034538*c_1001_2^15 + 3283953049245177878799594785778594242745773823865158793494391267369\ 2694221658625548637968688277697992235633084962598442920290665683375\ 7/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^14 + 757022556789446700361983861147095561919671835778890167\ 6407892590607063730360848190985118174338811307155076975643446547642\ 63406979764209/1243082225496309508228575047473345457639897861072652\ 1888212067293269891484370316987422270581137305216334432257701335434\ 678548138152*c_1001_2^13 + 3496083712892004489034723028761461617239\ 3242547695244418589409803176568268368397381657029193320285542166400\ 7322006494762758232374871911/62154111274815475411428752373667272881\ 9948930536326094410603364663494574218515849371113529056865260816721\ 6128850667717339274069076*c_1001_2^12 + 1894160122625977575108860397816993755917227656640284045494989410584\ 7665491678430268786322760389600611568960467256516233510904651353230\ 1/62154111274815475411428752373667272881994893053632609441060336466\ 34945742185158493711135290568652608167216128850667717339274069076*c\ _1001_2^11 + 201012341737149129474972629013402323059524754650221009\ 0468452787392532148873536088955649851357958179003514245471426793625\ 08130014024529/1243082225496309508228575047473345457639897861072652\ 1888212067293269891484370316987422270581137305216334432257701335434\ 678548138152*c_1001_2^10 + 1070725963292559312277804318402595492584\ 6104239609053065590813822375822526768919848733764572221248460155063\ 9097657894849893218644250737/12430822254963095082285750474733454576\ 3989786107265218882120672932698914843703169874222705811373052163344\ 32257701335434678548138152*c_1001_2^9 - 8277210408031606776739551062123520189634031947878264282034053618466\ 30740846276320699968831452280355494119683310033176293429144175689/6\ 2154111274815475411428752373667272881994893053632609441060336466349\ 45742185158493711135290568652608167216128850667717339274069076*c_10\ 01_2^8 - 3365557705656194896851540901304360482264633516810753592160\ 3442181219973663960787721328452076316568219334141134275660782301363\ 583452845/124308222549630950822857504747334545763989786107265218882\ 1206729326989148437031698742227058113730521633443225770133543467854\ 8138152*c_1001_2^7 - 9688677749904411029426455250460092486048892305\ 9722375352132959943982360408626620883154488810697977883005245000722\ 51577626968072669019/6215411127481547541142875237366727288199489305\ 3632609441060336466349457421851584937111352905686526081672161288506\ 67717339274069076*c_1001_2^6 - 293654405485724977500470310860606452\ 9316519912253875782665592817773002969133693142831290228769230996514\ 607701820780612372365722774741/310770556374077377057143761868336364\ 4099744652681630472053016823317472871092579246855567645284326304083\ 608064425333858669637034538*c_1001_2^5 - 2686492885798883640466795570479657369442996465839817302186765473207\ 078634908455477511662858906828502229103618005293200081790721142217/\ 6215411127481547541142875237366727288199489305363260944106033646634\ 945742185158493711135290568652608167216128850667717339274069076*c_1\ 001_2^4 - 669423331227146532271097056298292134117630379929855858566\ 4143322005172234907791912410656557363329987959439882228365872159279\ 23418997/6215411127481547541142875237366727288199489305363260944106\ 0336466349457421851584937111352905686526081672161288506677173392740\ 69076*c_1001_2^3 - 919977519259016170647161327239873064095525636756\ 2347390545626015946616395426947847609324814835808894555887358542999\ 8522445422455056/15538527818703868852857188093416818220498723263408\ 1523602650841165873643554628962342778382264216315204180403221266692\ 9334818517269*c_1001_2^2 - 5510952737117719962242252575465947397594\ 2675817044713667416462781177422724510297866059737209550875243646185\ 222105446802552251334361/310770556374077377057143761868336364409974\ 4652681630472053016823317472871092579246855567645284326304083608064\ 425333858669637034538*c_1001_2 + 3473743823723556813137032812505748\ 6826301583088682202104119156495837449965259943053622475053004866562\ 58844238459081563096513132891/1553852781870386885285718809341681822\ 0498723263408152360265084116587364355462896234277838226421631520418\ 04032212666929334818517269, c_1001_2^30 - 8024/49*c_1001_2^29 - 160655/49*c_1001_2^28 - 1525469/49*c_1001_2^27 - 8715748/49*c_1001_2^26 - 31968772/49*c_1001_2^25 - 76505885/49*c_1001_2^24 - 117736862/49*c_1001_2^23 - 111862846/49*c_1001_2^22 - 66626376/49*c_1001_2^21 - 46371266/49*c_1001_2^20 - 57822007/49*c_1001_2^19 - 42708128/49*c_1001_2^18 - 4612590/49*c_1001_2^17 + 10546082/49*c_1001_2^16 + 9965450/49*c_1001_2^15 + 12151679/49*c_1001_2^14 + 9708898/49*c_1001_2^13 + 4451102/49*c_1001_2^12 + 2649187/49*c_1001_2^11 + 1176717/49*c_1001_2^10 - 402930/49*c_1001_2^9 - 511403/49*c_1001_2^8 - 246976/49*c_1001_2^7 - 158804/49*c_1001_2^6 - 52324/49*c_1001_2^5 - 10968/49*c_1001_2^4 - 1364/7*c_1001_2^3 - 136/7*c_1001_2^2 + 632/49*c_1001_2 - 44/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.860 Total time: 12.060 seconds, Total memory usage: 120.28MB