Magma V2.19-8 Tue Aug 20 2013 23:59:19 on localhost [Seed = 879910214] Type ? for help. Type -D to quit. Loading file "K13n1400__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1400 geometric_solution 12.00545919 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 4 -5 0 0 0 0 -1 -4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076154684051 0.641983022652 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.320928198239 1.165961947747 5 0 9 8 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.040068626274 0.812862787874 5 9 10 0 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 5 0 -5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.062359773754 1.392704399986 9 11 0 8 0321 0132 0132 2310 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 -5 0 5 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.896429752515 1.007485557420 2 1 3 7 0132 0132 1302 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.158889977414 1.563596728532 11 11 1 7 0321 3201 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.624251933569 0.816546542964 12 6 5 1 0132 1302 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485988654096 0.676876865673 4 10 2 12 3201 3201 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.033246478933 0.762263227862 4 3 12 2 0321 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380553282643 1.356408335358 12 11 8 3 3120 0321 2310 0132 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 4 -4 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.714634377311 0.807551829437 6 4 6 10 0321 0132 2310 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.409097836118 0.772923707883 7 8 9 10 0132 0321 0321 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.447776259170 0.374172074266 ==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_1001_12'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0101_0']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(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_3'], 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : negation(d['c_1001_1']), 'c_1100_1' : negation(d['c_1001_1']), 'c_1100_0' : d['c_0011_8'], 'c_1100_3' : d['c_0011_8'], 'c_1100_2' : d['c_1001_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_12'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : d['c_1001_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_3'], 'c_0101_12' : d['c_0101_1'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_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_8, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_1001_1, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 8167954290843763809788010588666582088533494613073321357946354156284\ 0482769232993603474737870174007726296095926119233788184355696638578\ 6531762145/96361568334918193743961475580376361616920273826243940808\ 3893634548345308722206805797096462118561366517844597913926474310963\ 40878989969519846*c_1001_2^32 + 86798419984376973520384104582482733\ 0917366560333038013940852580693000563766186573582932023380111777253\ 5761848206028308062765790086047901529261353/33726548917221367810386\ 5164531317265659220958391853792829362772091920858052772382028983761\ 741496478281245609269874266008837193076464893319461*c_1001_2^31 + 4727113335289238193508883841281978920229739490672260242101072947847\ 0344998717265417208079601793153127420160253247454387645755057195673\ 14601792508/4818078416745909687198073779018818080846013691312197040\ 4194681727417265436110340289854823105928068325892229895696323715548\ 170439494984759923*c_1001_2^30 - 2371047310128750839109699809246129\ 8289276917782252865723285889511372339385116617279532510717847782689\ 829902143599706216035667069817501866857486793/613209980313115778370\ 6639355114859375622199243488250778715686765307651964595861491436068\ 3952999359687499201685431684728879489650266344239902*c_1001_2^29 - 2100460745741942965306170726988176061512716895637156917581988458330\ 7816191731012270173785134507014269441810858465592119402800817948686\ 8282621484511/33726548917221367810386516453131726565922095839185379\ 2829362772091920858052772382028983761741496478281245609269874266008\ 837193076464893319461*c_1001_2^28 + 1071902576676724018958624758023059364894410423425818108108784437031\ 8217717259392264112669157915923072209481084076525931832238281716997\ 4591671932889/48180784167459096871980737790188180808460136913121970\ 4041946817274172654361103402898548231059280683258922298956963237155\ 48170439494984759923*c_1001_2^27 + 7595335764569102539026002308375632920724422214920904418991145447633\ 7594750439222474233421038834163338316990166382826579003215834043085\ 4954430286865/33726548917221367810386516453131726565922095839185379\ 2829362772091920858052772382028983761741496478281245609269874266008\ 837193076464893319461*c_1001_2^26 - 4626604933042862197653114122983047324920258383898501768949689565202\ 3951794780877378526643717478303317477116668246333929557173886496506\ 12014718478571/6745309783444273562077303290626345313184419167837075\ 8565872554418384171610554476405796752348299295656249121853974853201\ 7674386152929786638922*c_1001_2^25 - 3424504242046306441048987035322166900815633102084924884495445518126\ 8100768627704068743498967056949890443012976925158323438961792360854\ 92941999114181/6745309783444273562077303290626345313184419167837075\ 8565872554418384171610554476405796752348299295656249121853974853201\ 7674386152929786638922*c_1001_2^24 + 8623410999130876430621339073096618667399854309539740944200951815695\ 0650989298333644580717788145215344377165038308282983870296228248869\ 33862356901121/6745309783444273562077303290626345313184419167837075\ 8565872554418384171610554476405796752348299295656249121853974853201\ 7674386152929786638922*c_1001_2^23 + 3972310556581236331833906483655339677805381878758733988924126804780\ 5426092518462225622668006010670507955529092202018273895863411500074\ 4970846689351/48180784167459096871980737790188180808460136913121970\ 4041946817274172654361103402898548231059280683258922298956963237155\ 48170439494984759923*c_1001_2^22 - 1048945683541576496512006519382397369378922589990439031813558414223\ 6569730967296138641514760665382809982785056652460592262634661949477\ 2465380279986/68829691667798709817115339700268829726371624161602814\ 8631352596105960934801576289855068901513258118941317569938518910222\ 1167205642140679989*c_1001_2^21 - 737088127609279156953282885575117\ 1486936109428739301966089337985498299511843555840713132937360867126\ 225150113356772806913874521211643759459801882611/674530978344427356\ 2077303290626345313184419167837075856587255441838417161055447640579\ 67523482992956562491218539748532017674386152929786638922*c_1001_2^2\ 0 + 886103307033996948237794759591546985479443627999131950598243204\ 8151359278133022848657581596987607206447726158715229312882588314153\ 6953263302866229/74124283334552456726124211984904893551477133712495\ 3390833764334267957929786312927536228047783508743475265075318404980\ 2392026221460766886142*c_1001_2^19 + 8133565998072199235015556167149128516576822889185903617033181815889\ 5358912685443405318174280002382755244422519136558763640443293066559\ 57643707271929/6745309783444273562077303290626345313184419167837075\ 8565872554418384171610554476405796752348299295656249121853974853201\ 7674386152929786638922*c_1001_2^18 - 2017782306871230758437046428832267113827263996186918918151490959937\ 7162600488710385024233830826252786973736566605217825152063076654055\ 42006005993069/3372654891722136781038651645313172656592209583918537\ 9282936277209192085805277238202898376174149647828124560926987426600\ 8837193076464893319461*c_1001_2^17 - 7231887121770722748008581695300482386821286338245563704038613618383\ 6774125667265119108265198225909579950663133873135237227319539950587\ 13278043363497/6745309783444273562077303290626345313184419167837075\ 8565872554418384171610554476405796752348299295656249121853974853201\ 7674386152929786638922*c_1001_2^16 + 6480550364151286368838133829586009146382352296680227995468113742965\ 7743222444449781600624104812905001267757337017068223751842792132611\ 578939380878/481807841674590968719807377901881808084601369131219704\ 0419468172741726543611034028985482310592806832589222989569632371554\ 8170439494984759923*c_1001_2^15 + 257614042516669741059521679898409\ 9287095925479933659244006962034608499987118861266962027959643090322\ 454372151000536067704448937206732051692976173901/337265489172213678\ 1038651645313172656592209583918537928293627720919208580527723820289\ 83761741496478281245609269874266008837193076464893319461*c_1001_2^1\ 4 + 153533854634082721931470796726692008837646216652966012545524605\ 2347620419873441390491677072362924502874142124116767604669616355297\ 61862796698789658/3372654891722136781038651645313172656592209583918\ 5379282936277209192085805277238202898376174149647828124560926987426\ 6008837193076464893319461*c_1001_2^13 - 1879872167561336458833556613369553631468678558966066012775187497767\ 6071721401522950343333192563470322787803454907881590465595604689772\ 724756887909/438007128795082698836188525365347098258728517392017912\ 7654061975219751403282758208168620282357097120535657263245120337777\ 106403590453159993*c_1001_2^12 - 1570841480622058966178507814608142\ 5908376581608920711977165052413629073013908149238194580024981431218\ 2485828929823388868600559917943120745679339966/33726548917221367810\ 3865164531317265659220958391853792829362772091920858052772382028983\ 761741496478281245609269874266008837193076464893319461*c_1001_2^11 + 6052571986604389923435939892215145772675392834841264655082071294287\ 3523343645998536296324351101613160203199421279824439766774635236791\ 9310562012762/33726548917221367810386516453131726565922095839185379\ 2829362772091920858052772382028983761741496478281245609269874266008\ 837193076464893319461*c_1001_2^10 + 1070575567904685198577518870945333337151746299919172488208953431343\ 9250230349629832065477921909948178536116209805504444032421451429982\ 5277971387443/67453097834442735620773032906263453131844191678370758\ 5658725544183841716105544764057967523482992956562491218539748532017\ 674386152929786638922*c_1001_2^9 - 3511863536737352383038538879242175503776013444250014306354500890107\ 4537867335388953432846122959449012262658178872631283624225932176145\ 2675276250067/67453097834442735620773032906263453131844191678370758\ 5658725544183841716105544764057967523482992956562491218539748532017\ 674386152929786638922*c_1001_2^8 - 5611617122233019083402232453633823952193685290951480335212586327026\ 1332476742670405800168933180158454464974256383302463820911320852538\ 62107999707/3372654891722136781038651645313172656592209583918537928\ 2936277209192085805277238202898376174149647828124560926987426600883\ 7193076464893319461*c_1001_2^7 + 1853032410926132548949693060976144\ 0670968048846363362158077345046769916116361423321999766357471461100\ 00127209611354820108779557070936908959398500/2594349916709335985414\ 3474194716712743016996799373368679181751699378527542520952463767981\ 672422806021634277636144174308372091775112684101497*c_1001_2^6 + 7215861184736581849074268410647115992332465160166246975305788552740\ 4122135732155528032648797423302230470502932844278072541004349815292\ 64082005499/3372654891722136781038651645313172656592209583918537928\ 2936277209192085805277238202898376174149647828124560926987426600883\ 7193076464893319461*c_1001_2^5 - 1129579224868824702081965272208037\ 6227929972699841341937426846368937723749606155379024834343427242704\ 098698574681315080870505580438822464364136613/674530978344427356207\ 7303290626345313184419167837075856587255441838417161055447640579675\ 23482992956562491218539748532017674386152929786638922*c_1001_2^4 + 1197440033210827787939502957791795880046450998412601345791029733615\ 0168796762969284185106137934981854838289822526853550604293333315940\ 722745043/963615683349181937439614755803763616169202738262439408083\ 8936345483453087222068057970964621185613665178445979139264743109634\ 0878989969519846*c_1001_2^3 + 8210859747485856181972998882631935169\ 6159071658261503919365603204294091859912145335821394558141685352410\ 775120340833645128941135612988974183127/613209980313115778370663935\ 5114859375622199243488250778715686765307651964595861491436068395299\ 9359687499201685431684728879489650266344239902*c_1001_2^2 - 9842820945169201913459671619325112224092570033291708546783282600958\ 5289556176116150534893232701032830073872385752749094615272181651937\ 65300688/4818078416745909687198073779018818080846013691312197040419\ 4681727417265436110340289854823105928068325892229895696323715548170\ 439494984759923*c_1001_2 - 1480885153135564322658916836622096384131\ 7718051235926704174736266151383389759992658495799003075962626167262\ 009366170554352968975627589610997401/674530978344427356207730329062\ 6345313184419167837075856587255441838417161055447640579675234829929\ 56562491218539748532017674386152929786638922, c_0011_0 - 1, c_0011_10 + 24205520459528102517714791742185768209535991607827942614772\ 8704971778124638537326579611070766518922001931729910182509250521764\ 15/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^32 - 598749894171962931100622920165253582637561575545451444576\ 1212572256258668854177118167238356521378679997446199130579886350928\ 8906/13663492592039286410222685531866440714334463635860332876662940\ 3383821199521122933926905930807034940195976125133284084538792337*c_\ 1001_2^31 - 3147405095501909167403529120968722010547733484855370112\ 7336796532629041540286964098646403251149669859986260989340892171093\ 9909466/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^30 + 9267066062863489449309715290920150346757684790282681\ 3727262917440954261829293239166975952286835104136730798397854768764\ 7886673076/13663492592039286410222685531866440714334463635860332876\ 6629403383821199521122933926905930807034940195976125133284084538792\ 337*c_1001_2^29 + 2319225153160801004722307427814076953269256111895\ 2550280519215038299197945878235749289919770625201395689528316466916\ 00456582154560/1366349259203928641022268553186644071433446363586033\ 2876662940338382119952112293392690593080703494019597612513328408453\ 8792337*c_1001_2^28 - 505381649210060896723843010164241919039747798\ 9432409651126382273163623348047447422607977522217910604085099518380\ 703573586462687253/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^27 - 94744450082617651938895605138386301042487\ 3808968660153947589513129518272644487143796030878387757638698157748\ 5860702555056442575163/13663492592039286410222685531866440714334463\ 6358603328766629403383821199521122933926905930807034940195976125133\ 284084538792337*c_1001_2^26 + 1427173449072607018343640556453348150\ 5842770714060539087789926173976825198464427542853512741219457474046\ 301532425157353137847113046/136634925920392864102226855318664407143\ 3446363586033287666294033838211995211229339269059308070349401959761\ 25133284084538792337*c_1001_2^25 + 2350963234681556688049734921170584243417733448606412854039994614994\ 9238752750874791101300230404152151031419782161142894795853126234/13\ 6634925920392864102226855318664407143344636358603328766629403383821\ 199521122933926905930807034940195976125133284084538792337*c_1001_2^\ 24 - 23254574648040613862122743675136297957901549656354302636721771\ 8321001862114000994177225379085623724936188762993142229521495390026\ 71/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^23 - 393434584436149369249274742203105318511114970113202089039\ 4387736748565926541796244461362587990598069167800430930613767455039\ 4051890/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^22 + 2121150468284990012701247985126286649567161736854224\ 0682070973321136699103799970506972751432116619805966446299100903041\ 215174975362/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^21 + 47810710235139053106001625722410381674231147052\ 9562949455364078707579088111970500996370616012191761141142041378744\ 71478809716711212/1366349259203928641022268553186644071433446363586\ 0332876662940338382119952112293392690593080703494019597612513328408\ 4538792337*c_1001_2^20 - 671046879427014500024218777501310463748362\ 8945119495192843794073044537814907316659099891898373122799107133850\ 487441808944073281681/136634925920392864102226855318664407143344636\ 3586033287666294033838211995211229339269059308070349401959761251332\ 84084538792337*c_1001_2^19 - 43537548870161777186337613381051926273\ 5399288496199361398343140885867888461447161343249713052233316046080\ 13680795708245863413784642/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^18 - 862709750759877113483070567223559\ 8214165828728224613150174484161316956954168929455699006447083794562\ 818873383957388987521233467852/136634925920392864102226855318664407\ 1433446363586033287666294033838211995211229339269059308070349401959\ 76125133284084538792337*c_1001_2^17 + 3007392754623762938906684899119278055361599391006231291953413320938\ 8993174868937873803121738904191599640503816241588462948845845595/13\ 6634925920392864102226855318664407143344636358603328766629403383821\ 199521122933926905930807034940195976125133284084538792337*c_1001_2^\ 16 + 14985373302377833787662962096540576297436654865306228184040657\ 7686837257809256655367295786648824166497279946670522734606085878359\ 21/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^15 - 160661556395976608539510756017412634446847778089630707994\ 8345155982407454445352587000680717363790352780299980921338187134225\ 3692400/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^14 - 1241008995430344846314985585716896367245573325638224\ 3247616170859247938881431445123087090927576021576423290349624401350\ 912197295429/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^13 + 66609255779247466032442657768813822672312332037\ 8216002591983852732731937437227557642732204758642327305814068668190\ 4053083670421565/13663492592039286410222685531866440714334463635860\ 3328766629403383821199521122933926905930807034940195976125133284084\ 538792337*c_1001_2^12 + 6737939462257266248005917803299562479864088\ 9010804553774348132083321501496237314434552764905618499243656341825\ 19228860478297963668/1366349259203928641022268553186644071433446363\ 5860332876662940338382119952112293392690593080703494019597612513328\ 4084538792337*c_1001_2^11 - 200878252143989201470193660349150822484\ 1529027870613103855170990020944751368541785830274914622217155615734\ 098783428245266682169515/136634925920392864102226855318664407143344\ 6363586033287666294033838211995211229339269059308070349401959761251\ 33284084538792337*c_1001_2^10 - 25521404080906540010218648680823045\ 0198241735339691334787068400326204929173815931833564153707415948741\ 6570191386547087207199694165/13663492592039286410222685531866440714\ 3344636358603328766629403383821199521122933926905930807034940195976\ 125133284084538792337*c_1001_2^9 + 3928234662607343278499067259700143159362851526814599209595410239935\ 01244407365212297405475508543270859502826992823901591316274060/1366\ 3492592039286410222685531866440714334463635860332876662940338382119\ 9521122933926905930807034940195976125133284084538792337*c_1001_2^8 + 6497145082863287752298857351553250171026077974572761054778037483255\ 47382763811714705523530679604999981602276642580121342221120561/1366\ 3492592039286410222685531866440714334463635860332876662940338382119\ 9521122933926905930807034940195976125133284084538792337*c_1001_2^7 + 9659389887350685109174734627508949001262102610581256886277599852340\ 991418886712298459296250070620784399318082575214319360102400/136634\ 9259203928641022268553186644071433446363586033287666294033838211995\ 21122933926905930807034940195976125133284084538792337*c_1001_2^6 - 1494898565727666988898329406817196126336441721141620590840375347981\ 17987569390303874553561619043818104999633048598614605765290357/1366\ 3492592039286410222685531866440714334463635860332876662940338382119\ 9521122933926905930807034940195976125133284084538792337*c_1001_2^5 + 1055843909680703700039633199412762159614113171624574691820864794843\ 3109712484357971368182485100736807762613621136957897543917862/13663\ 4925920392864102226855318664407143344636358603328766629403383821199\ 521122933926905930807034940195976125133284084538792337*c_1001_2^4 + 1265494151900980082462916820964605932116305743939297303171115404274\ 0108625829203338999454387167787869928352193660247221351543750/13663\ 4925920392864102226855318664407143344636358603328766629403383821199\ 521122933926905930807034940195976125133284084538792337*c_1001_2^3 + 2931843461353667244580867921215083949840553781231522420147331016896\ 685363346372206460201468168167839324828077145712850251843627/136634\ 9259203928641022268553186644071433446363586033287666294033838211995\ 21122933926905930807034940195976125133284084538792337*c_1001_2^2 - 3393166056601143664532938088718622740810846369857552450452795248640\ 497271837254085535925045326781347719949219929579502789800370/136634\ 9259203928641022268553186644071433446363586033287666294033838211995\ 21122933926905930807034940195976125133284084538792337*c_1001_2 + 4573058108774300737308008694443502983693033939677100106277068804349\ 85202856070178771740921953893164115123980605037586812476992/1366349\ 2592039286410222685531866440714334463635860332876662940338382119952\ 1122933926905930807034940195976125133284084538792337, c_0011_11 + 12381900011196152419515871590176046502843363912870082352825\ 5191596726951956617737711000314163835047283310544191617008635732571\ 845/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^32 - 16067488355175831514353300014062923048133474473325839632\ 1018952566240008658776168286510445887371273505452061899842772219540\ 917924/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^31 - 15755508116563589314192621690320906021843757715545214\ 8316706278313514688703844574476344612981259321194974046951512565190\ 1706208297/27326985184078572820445371063732881428668927271720665753\ 3258806767642399042245867853811861614069880391952250266568169077584\ 674*c_1001_2^30 + 2471424796099296401209409213506713667019904588129\ 8871045967116052127404691375671020645403486310086906346986121355220\ 80095758425886/1366349259203928641022268553186644071433446363586033\ 2876662940338382119952112293392690593080703494019597612513328408453\ 8792337*c_1001_2^29 + 566258327497091706413477992745260558119799955\ 4425103132938337867468616429429705565165939132474184275994853519924\ 830483780479768150/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^28 - 27398741475579680733640637900089869230019\ 1767663960477489749383138429896024924114533863816243136766805578072\ 98693485918333428429627/2732698518407857282044537106373288142866892\ 7271720665753325880676764239904224586785381186161406988039195225026\ 6568169077584674*c_1001_2^27 - 456154185461081357460682762143514632\ 0496384044621407656975221861390624477822056716230037284730184831519\ 8814962446565355317694817107/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^26 + 7946362112746918684089641561366084564335371159694406806007803695650\ 8711648285269687062042607997732009049856028250406573750293956535/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 25 + 11263639997448063811324762068903336434524974105383939191702997\ 3677835184440278486639369986183521026920259126316420752891487543069\ 181/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^24 - 67578231352243044373385124068206762802187471410716820017\ 4737821098206457689779112894935895195185483808963303159585615005098\ 01358724/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^23 - 190021801247844805765354074575130718817209433146215\ 7722950246898967997033957714038243581029124824166247385457431036266\ 23374920043091/2732698518407857282044537106373288142866892727172066\ 5753325880676764239904224586785381186161406988039195225026656816907\ 7584674*c_1001_2^22 + 135479231152755299961129661226052292333825011\ 1364019168483315182760175950358893332626986062622601721307660965604\ 12440634198247792575/2732698518407857282044537106373288142866892727\ 1720665753325880676764239904224586785381186161406988039195225026656\ 8169077584674*c_1001_2^21 + 236921650836208887219955315120351615048\ 9346083189441148839919233656698309178829664264052554041561130900836\ 51413064493789560195768697/2732698518407857282044537106373288142866\ 8927271720665753325880676764239904224586785381186161406988039195225\ 0266568169077584674*c_1001_2^20 - 661368695969499634035025413542441\ 3139685049386345368413483506635829174610488339729483757010920585351\ 1206925727520105433843641048297/27326985184078572820445371063732881\ 4286689272717206657533258806767642399042245867853811861614069880391\ 952250266568169077584674*c_1001_2^19 - 2253137794701664915051652672401101287020750572759323233615539940597\ 11515046272454379960778789341395377224582293424503658535832412469/2\ 7326985184078572820445371063732881428668927271720665753325880676764\ 2399042245867853811861614069880391952250266568169077584674*c_1001_2\ ^18 - 8463770293567716532591387957063261467663091261358062241711690\ 9355290088602955961881754406566416778495590399544099999848180601002\ 01/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^17 + 165284439284343331784686464080351392406460021308042902761\ 3721643339352489883694778023573130840571598163511223316748580369750\ 34286587/2732698518407857282044537106373288142866892727172066575332\ 5880676764239904224586785381186161406988039195225026656816907758467\ 4*c_1001_2^16 + 598080512153729299444455512360733802711836335106886\ 0793605260708505089390502000265371480496840018171004998913809277982\ 1435353557869/27326985184078572820445371063732881428668927271720665\ 7533258806767642399042245867853811861614069880391952250266568169077\ 584674*c_1001_2^15 - 9555482356424504232539418111132528891905146613\ 5120203806012310284142060847430148433474931187911513592299005562304\ 141806205970880633/273269851840785728204453710637328814286689272717\ 2066575332588067676423990422458678538118616140698803919522502665681\ 69077584674*c_1001_2^14 - 28027445983891860026585181537349490300903\ 4083920340612408498101467157922694781784050013748071142118933995840\ 18663193830675712426471/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^13 + 438118156438606156175437932367774827\ 2597520791958793938351123046003801431741494574598877733491261893282\ 1430684851304837393930011329/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^12 + 3236578996092303907556950136485762493006190187024088968699509953075\ 0557061303838687377282300971749683080688945913102222535584732743/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 11 - 15214414230081577411192244670126939022659932995519303211820103\ 8217810150993549564819915086805443797097792259982142051576123168537\ 43/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^10 - 129193889403975840707511234089780795959985460332789946961\ 0513682448491838591738055249492469078245874273218761303580197377412\ 2719323/27326985184078572820445371063732881428668927271720665753325\ 8806767642399042245867853811861614069880391952250266568169077584674\ *c_1001_2^9 + 37859613946007142036767954092875574558719276200404003\ 3402430505297192716711031800411684536229003682488229268381848291502\ 1731747307/27326985184078572820445371063732881428668927271720665753\ 3258806767642399042245867853811861614069880391952250266568169077584\ 674*c_1001_2^8 + 17549826087600754512769185486771987232045214854980\ 8315937332727610788618954279605815746555265140936979970996218523377\ 4665566432045/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337*c_1001_2^7 - 37766297277843418864086712384443850362930791140\ 1868658872227814896114664593849948691470277015698309961244363140632\ 260682855345057/273269851840785728204453710637328814286689272717206\ 6575332588067676423990422458678538118616140698803919522502665681690\ 77584674*c_1001_2^6 - 884135166441471876795238208003867448399214793\ 8886802011020248823811378898416367970994659309374885621625891730203\ 09616900251609873/2732698518407857282044537106373288142866892727172\ 0665753325880676764239904224586785381186161406988039195225026656816\ 9077584674*c_1001_2^5 + 1391931678174351014812862409043029048725811\ 4329599902124298310364158917522252080988809553623013031346285061651\ 7698087766686440839/27326985184078572820445371063732881428668927271\ 7206657533258806767642399042245867853811861614069880391952250266568\ 169077584674*c_1001_2^4 + 80586155551992978248591097138701864081097\ 1274571180108356030999065988463292685165176829134433556596607210138\ 20527549144087766975/2732698518407857282044537106373288142866892727\ 1720665753325880676764239904224586785381186161406988039195225026656\ 8169077584674*c_1001_2^3 + 9131812094433976093529517545731821466146\ 4299995602476645347694626852365821726553368226891922060181474005437\ 87875198066001334407/2732698518407857282044537106373288142866892727\ 1720665753325880676764239904224586785381186161406988039195225026656\ 8169077584674*c_1001_2^2 - 1102119566797917156703184887659427098326\ 1405778182984519802870010158310954295188232804895586939765126593587\ 328388584661108345893/136634925920392864102226855318664407143344636\ 3586033287666294033838211995211229339269059308070349401959761251332\ 84084538792337*c_1001_2 + 19839903032456702616703463127315419600312\ 4891763596368989609088417211339466084446609802819899208590795981187\ 4655123192465066268/13663492592039286410222685531866440714334463635\ 8603328766629403383821199521122933926905930807034940195976125133284\ 084538792337, c_0011_12 + 10862194337953281045871329029863360284070209428669119564162\ 3394707405646560872039600166703605250094430971079734395364285948601\ 665/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^32 - 14397934992390367108019284193603706990212412969819111448\ 7488841457052226524679290202763106975063225101231692157950761679287\ 836298/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^31 - 13698481014750318087916463013829444312166222899460473\ 9380001532248202896093779374178937172223612605674052109543262965197\ 2105016335/27326985184078572820445371063732881428668927271720665753\ 3258806767642399042245867853811861614069880391952250266568169077584\ 674*c_1001_2^30 + 2210313099968668471940211565704775479397739896865\ 3162252774526922664926984278376247927302992735925730369426939203491\ 53708613453365/1366349259203928641022268553186644071433446363586033\ 2876662940338382119952112293392690593080703494019597612513328408453\ 8792337*c_1001_2^29 + 486955419606900042945253907717550927506126199\ 9239812954387965597971804838182556478978787452818710817716775712155\ 742938014666339046/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^28 - 24705637108273950984409455854581256627423\ 9578934338996793937681522041107931022058038431812407830742620796157\ 83021599887569640507623/2732698518407857282044537106373288142866892\ 7271720665753325880676764239904224586785381186161406988039195225026\ 6568169077584674*c_1001_2^27 - 390267042935105695585484015630949228\ 9403539343925413177582669529220233371376289308641541537305176321691\ 0884232158731510960821836001/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^26 + 7253804847352771607790227598283859538763674919998396387671244750107\ 7880360710729900312358629961697799333065763836502581894742854051/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 25 + 96365552373694207062811750460407968966049548519336550640222810\ 2900420341452522169191683877694389733079604838995790823960765577872\ 35/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^24 - 628044894695867442671498364214728748619855866341945009913\ 2777201878942575932028867054418664067256192473469879010108286260365\ 9096857/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^23 - 1635986796212569193031102248449864274723816564032115\ 1368764432429511294739485675395471680483821296829189368377521047790\ 9181264397921/27326985184078572820445371063732881428668927271720665\ 7533258806767642399042245867853811861614069880391952250266568169077\ 584674*c_1001_2^22 + 1302611014964039740420181629117515335498525089\ 9486096317546737524223546867877180186381986607848117241975171034690\ 3105268816749766337/27326985184078572820445371063732881428668927271\ 7206657533258806767642399042245867853811861614069880391952250266568\ 169077584674*c_1001_2^21 + 2068183998149686329534823490172100768590\ 7131375797235658488954119360709186222518766788103090732424169241865\ 5134330089485748838113791/27326985184078572820445371063732881428668\ 9272717206657533258806767642399042245867853811861614069880391952250\ 266568169077584674*c_1001_2^20 - 7079993956660693928654156825767189\ 2669369378332574515344544595094596022158896168875532208764308516932\ 720108361621485097796031663497/273269851840785728204453710637328814\ 2866892727172066575332588067676423990422458678538118616140698803919\ 52250266568169077584674*c_1001_2^19 - 2006751508079648996475564158811801108901700987202780138961016790989\ 96337427853781415182409530001028002278090318013040658430605098257/2\ 7326985184078572820445371063732881428668927271720665753325880676764\ 2399042245867853811861614069880391952250266568169077584674*c_1001_2\ ^18 - 2365616098632086294144969699433809089320804019014012031917945\ 4079038138116279222703720534953957524962792973808263497755260747536\ 91/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^17 + 150821912521259099792678823374826241040353661404909080837\ 6764134280046985569133977498444193619041490173901511263290816540543\ 41741581/2732698518407857282044537106373288142866892727172066575332\ 5880676764239904224586785381186161406988039195225026656816907758467\ 4*c_1001_2^16 + 468311052949746749431146339528222507080043352328169\ 9937673525253186032502850569766869615617989434045898740666104121325\ 4110988695561/27326985184078572820445371063732881428668927271720665\ 7533258806767642399042245867853811861614069880391952250266568169077\ 584674*c_1001_2^15 - 8961233540786893088034331497942657664379854456\ 4519348568206586422626045625289273371900676818075397839357427478547\ 303669996474533609/273269851840785728204453710637328814286689272717\ 2066575332588067676423990422458678538118616140698803919522502665681\ 69077584674*c_1001_2^14 - 23529833637177586780811081841939898257520\ 5032695241314668742339680554143161589036466364917665563518231827266\ 66795270061539862260845/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^13 + 423300018854652629221176660231280284\ 1731875165622194374990866674955575248518615239275202321321731044108\ 8449743091083483124558303259/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^12 + 2796501115391330176667855242332742117239619737720065774402331227693\ 6374166835649166794069296437995958714542780298605415330179216385/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 11 - 15224027319143830337923001790236403643826939738975004550940883\ 5821649089888082956334315796318687290505442051051066759986462181635\ 31/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^10 - 113815834883308688773421684539340168404889727196549218072\ 9773620811855348341575744738067251501395053728349946686671359834598\ 9157051/27326985184078572820445371063732881428668927271720665753325\ 8806767642399042245867853811861614069880391952250266568169077584674\ *c_1001_2^9 + 39637669517654561073871670186086058917312872264090999\ 9564464843773164301194531228370776521921676178284552973095746189371\ 1713500157/27326985184078572820445371063732881428668927271720665753\ 3258806767642399042245867853811861614069880391952250266568169077584\ 674*c_1001_2^8 + 15717111999248844755196158029401712297641620935888\ 8652082425353513901509958697599231588493031088117503504091611069683\ 3801339364245/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337*c_1001_2^7 - 47755700661677030204133436152607263625525579406\ 8610153674161928231985885865170245810964563673274468897511367307576\ 198761483193397/273269851840785728204453710637328814286689272717206\ 6575332588067676423990422458678538118616140698803919522502665681690\ 77584674*c_1001_2^6 - 804856715964302059231322566243766457734796654\ 6466250641020224663278904260545365097102429259155901251738538016524\ 76189879955294231/2732698518407857282044537106373288142866892727172\ 0665753325880676764239904224586785381186161406988039195225026656816\ 9077584674*c_1001_2^5 + 1489984032691003899156351608095418538556250\ 8610915311797947163066808084897129048055843664087937327265023713119\ 7894407614653198545/27326985184078572820445371063732881428668927271\ 7206657533258806767642399042245867853811861614069880391952250266568\ 169077584674*c_1001_2^4 + 73467884741856463929708225713732131029804\ 1137231504396473102035030273549598201339903368330507680479076323378\ 54740771369713826917/2732698518407857282044537106373288142866892727\ 1720665753325880676764239904224586785381186161406988039195225026656\ 8169077584674*c_1001_2^3 + 4807625618427110533559762495908619265009\ 1929531473232534977927908082574535412590517391270410019432198229907\ 44047963989669779543/2732698518407857282044537106373288142866892727\ 1720665753325880676764239904224586785381186161406988039195225026656\ 8169077584674*c_1001_2^2 - 1011947812852712782806023564322786329670\ 6056462222863813950132844860829710640802766085822399561559529902069\ 881744041550665894350/136634925920392864102226855318664407143344636\ 3586033287666294033838211995211229339269059308070349401959761251332\ 84084538792337*c_1001_2 + 19533611074464789191432191488491521780062\ 3425328735991956182703376033146782353595693433026813223531948408778\ 5971896327774314202/13663492592039286410222685531866440714334463635\ 8603328766629403383821199521122933926905930807034940195976125133284\ 084538792337, c_0011_3 - 751893648578334128472302441716477961967528401613234133494335\ 6198646651749124810123134864617086599652451090429486580223377942705\ /136634925920392864102226855318664407143344636358603328766629403383\ 821199521122933926905930807034940195976125133284084538792337*c_1001\ _2^32 + 21267334053693502944375923789734390509370654620291474918259\ 4335085514527713916559544953573710064494834464510947742373518884426\ 27/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^31 + 185039329430524433633231550733075940702393928553435086470\ 5632288357211326649316712522111860371353179895239433232829078114933\ 85727/2732698518407857282044537106373288142866892727172066575332588\ 06767642399042245867853811861614069880391952250266568169077584674*c\ _1001_2^30 - 650892475567463201211696584474757934075701269529867740\ 6986229135665803372214401746062589908184323162789106861073334964494\ 69157535/2732698518407857282044537106373288142866892727172066575332\ 5880676764239904224586785381186161406988039195225026656816907758467\ 4*c_1001_2^29 - 636730118654880809202716948406601099604634066800285\ 2094410235811385566924696241923888296805638514839302661772681952644\ 08673519659/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2^28 + 374177104283693468244781940335652673406776586327\ 9047501348552269412758636283858283680979688207086670264289595942372\ 216934229792367/273269851840785728204453710637328814286689272717206\ 6575332588067676423990422458678538118616140698803919522502665681690\ 77584674*c_1001_2^27 + 25294635226737077585331630942170468065724585\ 9687842228169573274365020569967341326531930848627507502906441019882\ 9471712178319396083/13663492592039286410222685531866440714334463635\ 8603328766629403383821199521122933926905930807034940195976125133284\ 084538792337*c_1001_2^26 - 5708588328463448753689999841986956071048\ 0343166010525930167577148247435126438528718066065824663554890494689\ 50714778644493851349713/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^25 - 126505057410992077839952294847218497\ 5177223815186064293682433999127817224122570975812429546712683476190\ 4021253471734157171473918661/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^24 + 2079422015993524428432016543283594755589041701607089927690227104474\ 6529330943463726988182603086471126990175798987567947711115355301/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 23 + 11115977457917982209926561882397584137622762998732664790819230\ 4271024397196661866246269936057183665974187978386158872566029342803\ 49/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^22 - 117014878107708361266992712257460811730801642004360069456\ 3982651300418894092428724821127511164793320765133017961304441089619\ 5899389/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^21 - 1483864522427646419217637094484066206874325496556910\ 8938602504415928704268168948963117502513166552066661993865451093200\ 888455855393/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^20 + 15456386343419794946779039673705177075807948421\ 2927820728825235165978058012188540407980892888152480030736368083579\ 27182190791820879/2732698518407857282044537106373288142866892727172\ 0665753325880676764239904224586785381186161406988039195225026656816\ 9077584674*c_1001_2^19 + 307165503939191103843596471415855276554844\ 9428749860649834008409100002164845146205279077845887581835860148909\ 9656226961706176544217/27326985184078572820445371063732881428668927\ 2717206657533258806767642399042245867853811861614069880391952250266\ 568169077584674*c_1001_2^18 - 1653990295840038674740352797079038295\ 8051521627820452104500894312418386697372572584283149170684060003425\ 95470168475417710736892219/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^17 - 246395862030868408267475334500143\ 1241027422120620806849286812829764453308953683607241718499738036029\ 8540071811218164523995894973237/27326985184078572820445371063732881\ 4286689272717206657533258806767642399042245867853811861614069880391\ 952250266568169077584674*c_1001_2^16 - 2395336204432165861507469641142730036033990357728146051844526437981\ 236380619988846492179343252207130747837795679071456765367528513/136\ 6349259203928641022268553186644071433446363586033287666294033838211\ 99521122933926905930807034940195976125133284084538792337*c_1001_2^1\ 5 + 155624960128829614355786781580997546925090365278267284908714861\ 2371741727650756569479491961432208966537421817254015180719153500547\ 5/27326985184078572820445371063732881428668927271720665753325880676\ 7642399042245867853811861614069880391952250266568169077584674*c_100\ 1_2^14 + 3149888771920904263083489468569883668207993391928197579097\ 0429492966524119564387923213023075933627979085261750410631843026261\ 77988/1366349259203928641022268553186644071433446363586033287666294\ 03383821199521122933926905930807034940195976125133284084538792337*c\ _1001_2^13 - 777718872483033973628926434064662067466997836918599837\ 4058899666170797771253178188105359833464744710460513009691782885539\ 826753461/273269851840785728204453710637328814286689272717206657533\ 2588067676423990422458678538118616140698803919522502665681690775846\ 74*c_1001_2^12 - 20670423265059760642226403259158034828260399315154\ 0489350473530561633727624713520953923384337639604064385931821725873\ 4533434917994/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337*c_1001_2^11 + 2967423018618855622181521282198678912713674200\ 5537560358772140918646327446049401769839298225814975099280340961410\ 05961086235240679/2732698518407857282044537106373288142866892727172\ 0665753325880676764239904224586785381186161406988039195225026656816\ 9077584674*c_1001_2^10 + 901322286444188408397650202720674503132956\ 7258749106836158276378444000563402727240507863614126354243128013961\ 34516359004078748392/1366349259203928641022268553186644071433446363\ 5860332876662940338382119952112293392690593080703494019597612513328\ 4084538792337*c_1001_2^9 - 8268777947536742144896565948264537968667\ 8408758460184858452336315656409861687307550860726845156497929121713\ 7565285822162946981853/27326985184078572820445371063732881428668927\ 2717206657533258806767642399042245867853811861614069880391952250266\ 568169077584674*c_1001_2^8 - 53055311692198016480829694589230546400\ 1701608273775986499592269555391291386277033992014909241655902947293\ 108081012115478989837805/273269851840785728204453710637328814286689\ 2727172066575332588067676423990422458678538118616140698803919522502\ 66568169077584674*c_1001_2^7 + 637207826658717934060091631888097626\ 3089483900751830619921992520655686144565880293849911096138116834245\ 8576712894113849372992651/13663492592039286410222685531866440714334\ 4636358603328766629403383821199521122933926905930807034940195976125\ 133284084538792337*c_1001_2^6 + 69507748243660224870294956588319862\ 6306218260844252494999544458707100282594418451935311628339085241626\ 92288078618921365864857613/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^5 - 1544456537266171482654317388227688\ 6901634204161956937710371872450365806547313818543429302071646976728\ 035698589307678474190288228/136634925920392864102226855318664407143\ 3446363586033287666294033838211995211229339269059308070349401959761\ 25133284084538792337*c_1001_2^4 - 140575132737219961427560029507603\ 9475594485954091550563290164410252917608838268012903770364672083303\ 1489906148872775518712512971/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^3 + 6175544912021347552211707120782159771094596902337711096132168367229\ 46577368900953976601608367959581954728409870108653215897949/2732698\ 5184078572820445371063732881428668927271720665753325880676764239904\ 2245867853811861614069880391952250266568169077584674*c_1001_2^2 + 1751815524362928707544384247789503486140801367597267704393576843903\ 766659345515115374282574761591267269652933420254249185343402/136634\ 9259203928641022268553186644071433446363586033287666294033838211995\ 21122933926905930807034940195976125133284084538792337*c_1001_2 - 5025580754292095163811158631629552836567129067006366552469655839680\ 35832511999567512235061829721835401336358973443471017084465/2732698\ 5184078572820445371063732881428668927271720665753325880676764239904\ 2245867853811861614069880391952250266568169077584674, c_0011_8 + 495885899450105738082784671117734150172521835164374234805221\ 7212030813963014408568368492870245711973033054985736400201783824492\ 0/13663492592039286410222685531866440714334463635860332876662940338\ 3821199521122933926905930807034940195976125133284084538792337*c_100\ 1_2^32 - 2502344253137819120136799351605437029852582820073947529340\ 9669033847892211965833201668254081943651283508392274944978708464618\ 1551/27326985184078572820445371063732881428668927271720665753325880\ 6767642399042245867853811861614069880391952250266568169077584674*c_\ 1001_2^31 - 6383704242227742512485830000463865385688841632998749137\ 4618711184490562566206001156121897717079572953622055280723186615217\ 2773153/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^30 + 3860977196978828879966689113018111127944683644853105\ 5061856258281416167914484864484534170133483339586013002550739151350\ 22986353105/2732698518407857282044537106373288142866892727172066575\ 3325880676764239904224586785381186161406988039195225026656816907758\ 4674*c_1001_2^29 + 930226445437284073752029119041031351893400562672\ 7691304109309799625736638045583861763356153871761687206478248412824\ 880295790230849/273269851840785728204453710637328814286689272717206\ 6575332588067676423990422458678538118616140698803919522502665681690\ 77584674*c_1001_2^28 - 10589072725220207934218173803258394855413127\ 2080965628889436546593756653599994510796477141000229694799440290105\ 14027663865758788552/1366349259203928641022268553186644071433446363\ 5860332876662940338382119952112293392690593080703494019597612513328\ 4084538792337*c_1001_2^27 - 188373951089150051682631127560070988399\ 6603946898091554180134867871210461133162212276149193678194184104410\ 6006029056388287400263858/13663492592039286410222685531866440714334\ 4636358603328766629403383821199521122933926905930807034940195976125\ 133284084538792337*c_1001_2^26 + 3023997836063047331086301643857669\ 6583340609705677866389199947242379004256677008052727159348648624746\ 428322348824525493049570187503/136634925920392864102226855318664407\ 1433446363586033287666294033838211995211229339269059308070349401959\ 76125133284084538792337*c_1001_2^25 + 9291528213311724455814700481401449382660848442618666376911851363762\ 1232741058235474740686135131818792188577069252974248786439367485/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 24 - 10061820929138382886556819312460390264939242657812394171332750\ 1895728673441052137453016593327919379703007569341248549902550589312\ 197/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^23 - 77661063995905924692201497680632147512102926048702327620\ 7833128997980622158503366670778969692942128713857471497069526639735\ 31843835/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^22 + 483253356910980860254859847272592377867092693759072\ 9940417328982454425823576917134485035552331799242834353082046792990\ 2495530446025/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337*c_1001_2^21 + 9508641086602350540836060711334737274379918209\ 4532146588512721705258115211817382756378114066766800484600722145727\ 146578967401647218/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^20 - 40410271842228701149637911014415837610153\ 9759984204056325387402066690673482724091378187522322133756588024011\ 49483788367231322533955/2732698518407857282044537106373288142866892\ 7271720665753325880676764239904224586785381186161406988039195225026\ 6568169077584674*c_1001_2^19 - 176404519855783900874187191177988707\ 3900391715137519746756854137611636581126085359889218423045689295080\ 78190248550622935859393531867/2732698518407857282044537106373288142\ 8668927271720665753325880676764239904224586785381186161406988039195\ 2250266568169077584674*c_1001_2^18 - 2269983243275023065610043379136407077073122841839122689894460715693\ 4780768672348547052311192553244240997793087141879976040087462797/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 17 + 12581468872534661388159852351854932139765188454570183702271458\ 1422318574664519024027920670395646090134650151807916171423494473866\ 363/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^16 + 26138403133556294792950325262317955308094833276392522690\ 4126139999719010473301990756186742166583449905480856680234134708444\ 39500221/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^15 - 353342394687264623008954684833094088645626992635034\ 7805863715082724370814006940419538156412797646770963210812366064908\ 8853520835664/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337*c_1001_2^14 - 2300542186663604981251269297725782447774301548\ 1143466159219162847051790864170219809764325749173174200482687496528\ 382222183503691856/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^13 + 15780587672726526418637563248125843291318\ 4961060490218803194660351807010970800110926605810036673625926033473\ 74095888973746825470694/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^12 + 257870053531660277519661876046534817\ 0392161583471876083257683193518284104210235505094127744666416723022\ 9926818103441384839365994479/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^11 - 1072805186705418044107142534902785698680916624505177440465026601932\ 0961189289984843748499322118838051496521515437706470154720551233/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 10 - 10056780356797836813773678147570770014102792452843184601404033\ 1456813691715028792909716707616250260987590904546868043611422267408\ 81/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^9 + 1323261491870016197535842622754366143152893201793010339480\ 1198811918393492567049333127781871977233815957478459065735954343145\ 31727/1366349259203928641022268553186644071433446363586033287666294\ 03383821199521122933926905930807034940195976125133284084538792337*c\ _1001_2^8 + 1334231693982825044596567918490102804090373068910004682\ 9694264277809508712851498381796984855980736576165244873674684732838\ 48654660/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^7 - 2570634341929076158478334237847444634639556856554004\ 4489913510852610509684840005374072008509889885207926092022158210763\ 7683099907/27326985184078572820445371063732881428668927271720665753\ 3258806767642399042245867853811861614069880391952250266568169077584\ 674*c_1001_2^6 - 65847384589521108963248281501816257226382682512919\ 6311987299182416308539739785587351898221445695172615495623993344372\ 937971563711/273269851840785728204453710637328814286689272717206657\ 5332588067676423990422458678538118616140698803919522502665681690775\ 84674*c_1001_2^5 + 107483007278179708269413867246053684430842254237\ 8857742911303066801012120241585455241271515393325886133554216437742\ 77680443061587/2732698518407857282044537106373288142866892727172066\ 5753325880676764239904224586785381186161406988039195225026656816907\ 7584674*c_1001_2^4 + 3094356144254658560700620803151733731273564085\ 2117397164005607925693077521169650704264567745267306033603801434850\ 335513092951399/136634925920392864102226855318664407143344636358603\ 3287666294033838211995211229339269059308070349401959761251332840845\ 38792337*c_1001_2^3 + 287458884834175586430269420368320371675342526\ 1510638292057739798865865718220933703866750493961608253371515660437\ 340299176933618/136634925920392864102226855318664407143344636358603\ 3287666294033838211995211229339269059308070349401959761251332840845\ 38792337*c_1001_2^2 - 802165117316691307454865026406861350389848428\ 3311372973149545504166634442466017429788345113342799190067419941085\ 410933857893182/136634925920392864102226855318664407143344636358603\ 3287666294033838211995211229339269059308070349401959761251332840845\ 38792337*c_1001_2 + 15724928639442823524632926021870859606735046301\ 0116401508726300504718779708245785956345968747432514916761151223331\ 4248077384574/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337, c_0101_0 + 568908282180847185514302712671031018973292379031360092157437\ 6712979301480638710924836954728743582699821095399547797374275402361\ 0/13663492592039286410222685531866440714334463635860332876662940338\ 3821199521122933926905930807034940195976125133284084538792337*c_100\ 1_2^32 - 1468323916187995176322477263553529061450535848704303887727\ 3292474536759140902950542248423297178822138384566467817361142477448\ 6159/13663492592039286410222685531866440714334463635860332876662940\ 3383821199521122933926905930807034940195976125133284084538792337*c_\ 1001_2^31 - 7267690753393527385008490199676879151339983876741896439\ 5963962660270973593771596666579622625488602316957842656209099527304\ 9847562/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^30 + 2262410096359672015349736545508238194854070687642047\ 0703787457583697228865990756655709167966534185359867308104355499793\ 70555513445/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2^29 + 524592430360329973230432809594146677400062273566\ 5588715063030393781846465090288140137671462810637858191689105284512\ 495608679083090/136634925920392864102226855318664407143344636358603\ 3287666294033838211995211229339269059308070349401959761251332840845\ 38792337*c_1001_2^28 - 12541152772137490518107824749942897360151244\ 6400983398554638247398986602665418099989016013678961704452484197464\ 23369171477162606259/1366349259203928641022268553186644071433446363\ 5860332876662940338382119952112293392690593080703494019597612513328\ 4084538792337*c_1001_2^27 - 212130820410726266148059842215138065265\ 3474318495325820866362961595317228069119856966399739309655299281865\ 9036647907298100089509037/13663492592039286410222685531866440714334\ 4636358603328766629403383821199521122933926905930807034940195976125\ 133284084538792337*c_1001_2^26 + 3635612075348373422123414113877387\ 4833006400059548601440996185118889877959619290895863981204805893755\ 514905161464139617972856972715/136634925920392864102226855318664407\ 1433446363586033287666294033838211995211229339269059308070349401959\ 76125133284084538792337*c_1001_2^25 + 5258076523192196286979994250599615444870823663747260788425837222275\ 4750898753177563163775847757358208650057986666083675765090476404/13\ 6634925920392864102226855318664407143344636358603328766629403383821\ 199521122933926905930807034940195976125133284084538792337*c_1001_2^\ 24 - 61762927806588580721572852405029593775244324983326718579286995\ 1143848451853202094040654515688185605958450894220218539779684034043\ 51/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^23 - 889562318835277624120337105894867496087768712671961871523\ 0699494322669478759772694954529686131926905741404733706629825196065\ 0187790/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^22 + 6163844386523006854638090509705433174984211537045221\ 6932448662621723995441362711806583347792997801994440561353382534383\ 075694670261/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^21 + 11100379236553914796045351975147538116872497432\ 8641064119998374780774927598271031813311364185650119403032681393486\ 880323143912947613/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^20 - 29370683593828946120677892959944298208288\ 8505615375279345989301274059995948378054959801247698971843680497745\ 36182080040794903802898/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^19 - 105442518317590229908952366506326843\ 0476012412257006914418063314785330124923672866356156317235637193057\ 77000458053785865988408186600/1366349259203928641022268553186644071\ 4334463635860332876662940338382119952112293392690593080703494019597\ 6125133284084538792337*c_1001_2^18 - 9174305323260607925066174776162980878924337969435259365061365873330\ 017634832680482528802903244141886934612825859337074312298135323/136\ 6349259203928641022268553186644071433446363586033287666294033838211\ 99521122933926905930807034940195976125133284084538792337*c_1001_2^1\ 7 + 771238372371431402860254709120790313453579439692671494404868839\ 7926879351211387494265099026731652812807464356011920559767048506487\ 6/13663492592039286410222685531866440714334463635860332876662940338\ 3821199521122933926905930807034940195976125133284084538792337*c_100\ 1_2^16 + 2892676280817271454881951700357671171077365610140880407011\ 2946495014785742223117796478184716335232226363084468390999833199223\ 281951/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^15 - 44350512428270193339680657476010470798303136248178334\ 7213763595710669767566480200077631874311636282260121818674594298107\ 08167839040/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2^14 - 268893152526250792600631593053338706936352985543\ 3076255081556591360500792221322554598030492831337040210879260766627\ 8809440955617282/13663492592039286410222685531866440714334463635860\ 3328766629403383821199521122933926905930807034940195976125133284084\ 538792337*c_1001_2^13 + 2017341447538282660669692223467497678175217\ 2476830296818605477719740521583308291159250284288747401520931668725\ 777888164560646866132/136634925920392864102226855318664407143344636\ 3586033287666294033838211995211229339269059308070349401959761251332\ 84084538792337*c_1001_2^12 + 15543242779989254313326820818257432738\ 0251163199447925647140853671965536281997599469377438357257229621285\ 46161298937314709971242462/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^11 - 693082187178637831342788910171473\ 9215546290366389580699242258808894114144728816212042165392475953761\ 776247428902432279330754915776/136634925920392864102226855318664407\ 1433446363586033287666294033838211995211229339269059308070349401959\ 76125133284084538792337*c_1001_2^10 - 6226604920419405737840453686399924062452764057029408943820824027284\ 885780888227475343558086495765000319342066462980771893924070128/136\ 6349259203928641022268553186644071433446363586033287666294033838211\ 99521122933926905930807034940195976125133284084538792337*c_1001_2^9 + 16946143771443718736640965137153376239164087388121015243904889427\ 28137022742040853825183957605072405215721190224157257838288800293/1\ 3663492592039286410222685531866440714334463635860332876662940338382\ 1199521122933926905930807034940195976125133284084538792337*c_1001_2\ ^8 + 16985293075223658560041874524577536542426995277913964149850732\ 9050934898003633927764350970881747343112649358814604351664238295686\ 0/13663492592039286410222685531866440714334463635860332876662940338\ 3821199521122933926905930807034940195976125133284084538792337*c_100\ 1_2^7 - 15688825876192664048115975255933312738866118666878954982614\ 6277409883965031991804089198766789410391792849037209956266623514095\ 913/136634925920392864102226855318664407143344636358603328766629403\ 383821199521122933926905930807034940195976125133284084538792337*c_1\ 001_2^6 - 418580484798543400598910117206505133234912792036712087465\ 3869169465379121420275849048141832435210368177495993313028442667435\ 21726/1366349259203928641022268553186644071433446363586033287666294\ 03383821199521122933926905930807034940195976125133284084538792337*c\ _1001_2^5 + 5760622107434737406998516810638767507449849291525303643\ 8926923573835312852749300817234559948444634985450225280240618832143\ 616532/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^4 + 386817129295038742059553087051103938627316273519101292\ 2234285362690637229613791433626790513695456810299677392761753660475\ 5321521/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^3 + 42620084993751845389504001770141256959183543509616687\ 4612880210120122744931433604136279423503259266347957664943756540548\ 3033038/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^2 - 97816210908434081196669987210025449825287564333106249\ 8397154776304065176162782016914195085709462818467201178075365952938\ 9347246/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2 + 1735490512390837225600890939232947059044575274313675635\ 4554384248908839310995997065949510266344740602361745403535050935175\ 20462/1366349259203928641022268553186644071433446363586033287666294\ 03383821199521122933926905930807034940195976125133284084538792337, c_0101_1 - 108502161394364274832651987727590984843422126871063040288558\ 0547214710737696636534114639583671148346131955044142953124384699766\ 5/13663492592039286410222685531866440714334463635860332876662940338\ 3821199521122933926905930807034940195976125133284084538792337*c_100\ 1_2^32 + 2806615232623752864103861991096908623553273154725672730083\ 1454950065894563845726331611016031333074923999491262472600106087333\ 366/136634925920392864102226855318664407143344636358603328766629403\ 383821199521122933926905930807034940195976125133284084538792337*c_1\ 001_2^31 + 13753585229171455836738033455337162947814119523051352654\ 0120553957076481181877947699668800885888358207834974044708466198465\ 850707/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^30 - 43092666844006267092901725137789763650108606208269871\ 1126764328148143047795855623026355920880103221792501119542284591921\ 934767309/136634925920392864102226855318664407143344636358603328766\ 6294033838211995211229339269059308070349401959761251332840845387923\ 37*c_1001_2^29 - 98421087586136747266919072804956748162588337988046\ 3911847475353392938408523852184426088979846695591877512560528242111\ 925479869310/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^28 + 23749902566297077959958183616521780441018331321\ 8338603110269067187495737795600696981721767682984057736582148112187\ 0650127583016950/13663492592039286410222685531866440714334463635860\ 3328766629403383821199521122933926905930807034940195976125133284084\ 538792337*c_1001_2^27 + 3913940645148514304289048212241463494106217\ 4710730390901860214327812571807766494745458301675673602337967236802\ 40720606479359605446/1366349259203928641022268553186644071433446363\ 5860332876662940338382119952112293392690593080703494019597612513328\ 4084538792337*c_1001_2^26 - 686254608647847663727498185543628903745\ 1716369810223633903179964267168320343323724294912558341192484792622\ 823925694589481981381563/136634925920392864102226855318664407143344\ 6363586033287666294033838211995211229339269059308070349401959761251\ 33284084538792337*c_1001_2^25 - 94732564714972952885663839132165311\ 9316619445455294202778798284839379566435804445243733278259486400345\ 1407995173817054228157537780/13663492592039286410222685531866440714\ 3344636358603328766629403383821199521122933926905930807034940195976\ 125133284084538792337*c_1001_2^24 + 1170110145220098594700330099074917908942614438605469077186689355793\ 2444894697353601443239796023036118811081220431416836887302828213/13\ 6634925920392864102226855318664407143344636358603328766629403383821\ 199521122933926905930807034940195976125133284084538792337*c_1001_2^\ 23 + 15608327826353456211189513877433832408440644547416441349764832\ 9780324229441665268034464902020334946531522463115644407081287537351\ 06/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^22 - 119745193439485063240266171869964919713936887277775236848\ 2541241009928690256412236950564408118341122891885233291384876134814\ 6280531/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^21 - 1907499190119211988296266076553888234021445887013743\ 6609194601787452785207977696088454244749164434844240898440431898352\ 365785496205/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^20 + 65408719602548346653148591884183494727828690683\ 5821106775013503643767433613238963279035665898933081475692028671255\ 2270883358452257/13663492592039286410222685531866440714334463635860\ 3328766629403383821199521122933926905930807034940195976125133284084\ 538792337*c_1001_2^19 + 1800945785197033306532696086160570017936088\ 6500765392705496622907351319222610275616206974417542034567924473136\ 214638930102832343592/136634925920392864102226855318664407143344636\ 3586033287666294033838211995211229339269059308070349401959761251332\ 84084538792337*c_1001_2^18 + 68911408205891969157383325369156229559\ 5263076105808569651227919699670227718365083605946286960382141243442\ 05257622517473166091996/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^17 - 134144823196006446249628793364034123\ 0427157732781823770501137609345993927488130205081665034689192138013\ 1018604069556634780645442540/13663492592039286410222685531866440714\ 3344636358603328766629403383821199521122933926905930807034940195976\ 125133284084538792337*c_1001_2^16 - 3659580034453643785648521603810225740418360159818094253755021153647\ 032474124908318512320929235073864894824216177559961236033642267/136\ 6349259203928641022268553186644071433446363586033287666294033838211\ 99521122933926905930807034940195976125133284084538792337*c_1001_2^1\ 5 + 813017346050484663411121685996914413348721664118724517322061313\ 7894912071130808826107643283236716570339287803991647828574538474014\ /136634925920392864102226855318664407143344636358603328766629403383\ 821199521122933926905930807034940195976125133284084538792337*c_1001\ _2^14 + 37046329253519522231097421359949165701106170827826580811945\ 4581503670228142828917807346622466472674798310285953980288442837539\ 6078/13663492592039286410222685531866440714334463635860332876662940\ 3383821199521122933926905930807034940195976125133284084538792337*c_\ 1001_2^13 - 4058995712416605084514025401433576693535824781627977588\ 9487913705845454062471210956821342580162020286162879008025439021518\ 49286337/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^12 - 216741376682468439417687291542129175772428994189160\ 2191851705789873332995155455385045710860734743698385823513490252652\ 912564082254/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^11 + 16133373029024097576620076235828705815935689366\ 3759868803985086162674604305077174746511100701423487338038062308602\ 6524133680015055/13663492592039286410222685531866440714334463635860\ 3328766629403383821199521122933926905930807034940195976125133284084\ 538792337*c_1001_2^10 + 8619310050250419022939583072360039280490720\ 6486280235238433786077247110252704649420433509180537266424325125804\ 5578883502417325804/13663492592039286410222685531866440714334463635\ 8603328766629403383821199521122933926905930807034940195976125133284\ 084538792337*c_1001_2^9 - 49895518306736563876193912636535524220628\ 6476720596958275952918583570101809884290230118080876887488866947184\ 954632755578184577380/136634925920392864102226855318664407143344636\ 3586033287666294033838211995211229339269059308070349401959761251332\ 84084538792337*c_1001_2^8 - 233396973989653421987926183889906336145\ 6500700606734020274145854300122427320832104722581090364168533180937\ 84421168893740485530372/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^7 + 9492477804952581127551034229772344230\ 9452244498345219716027749113987743818599522406029797239314778406843\ 221514481385515792900298/136634925920392864102226855318664407143344\ 6363586033287666294033838211995211229339269059308070349401959761251\ 33284084538792337*c_1001_2^6 + 661034422522634528078961973866660058\ 9968465185441536801861065898137332600355191792252566183009876003758\ 6383986361886504063722967/13663492592039286410222685531866440714334\ 4636358603328766629403383821199521122933926905930807034940195976125\ 133284084538792337*c_1001_2^5 - 26757959496210809400966954243744027\ 3029348003757578857826928728345966296643642015259402707027710960514\ 25459515017705795318537258/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^4 - 6926567466033544406172378220047763\ 5074513151848729823746917517095707927592784744597138344787995075032\ 04130996553474949376810995/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^3 + 1198534328145642622920572843251572\ 3665662198719981462778215738403549696330238782443093896947833080802\ 34337210846483595478523566/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^2 + 1840039349978837951173352735609802\ 5029197309650618393505909292508044393475083726261429092585573139014\ 61703188756957949211356894/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2 - 541346622114605078059847966718383014\ 3571000263505389609260633526543127882541980442030043430706755007355\ 32169060978576922953322/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337, c_0101_10 + 50983079662546338712026275913815084351778516403237732976812\ 9939301137792986222866941030800628543271533888463796224643856284418\ 65/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^32 - 258870815131415335475183742762908118963504616409838119704\ 4851469392037046167188914574238571126127245403084802771210993982976\ 12747/2732698518407857282044537106373288142866892727172066575332588\ 06767642399042245867853811861614069880391952250266568169077584674*c\ _1001_2^31 - 655091469748794125043552186949011835430093392672890526\ 1852927747446741484175297304483403701702230088058749259785750739122\ 59677226/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^30 + 399312500902758967541578263671654656826832332874828\ 9828208008166868259890813564583006835878006804086387928564681491756\ 520108289579/273269851840785728204453710637328814286689272717206657\ 5332588067676423990422458678538118616140698803919522502665681690775\ 84674*c_1001_2^29 + 95240633938844065987039412961458991628836669529\ 7614072710454462351434789416296733188055911833697466515680955758291\ 9629742312598529/27326985184078572820445371063732881428668927271720\ 6657533258806767642399042245867853811861614069880391952250266568169\ 077584674*c_1001_2^28 - 1098580346070526834705423720907876793131966\ 4474644147271354514900950638459778579408542669455835228055169508119\ 796702557448757823304/136634925920392864102226855318664407143344636\ 3586033287666294033838211995211229339269059308070349401959761251332\ 84084538792337*c_1001_2^27 - 19287506668787139148503011966352533346\ 0927441299428444433526507020954836506836919394901835215006785957849\ 56036020609256323915880539/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^26 + 315106863307011523205249697837858\ 6168425792225259199643335094384216359121445012738210679302362352491\ 4756290077143176516868342331080/13663492592039286410222685531866440\ 7143344636358603328766629403383821199521122933926905930807034940195\ 976125133284084538792337*c_1001_2^25 + 9533225778519100467729962044726152883672558993418934710088777958125\ 7832970810071826885382806449500560032876408936107030564256914285/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 24 - 10547607879044708780332301482130920743217477003788859484094396\ 8359793600593012159374835060315232836951071171091185762998496191104\ 723/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^23 - 80009770740165221223318664995538548306671868925336395458\ 5862535418939596709245073024073010542039222532058700508184278237269\ 48067935/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^22 + 512002368636754140650050483076799956944861331218918\ 8216653184891037595672663336886555714838083963012523880448957906535\ 8658789749252/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337*c_1001_2^21 + 9855666297732993967148941117136958667873175101\ 7282912439806887609566928138722665545960676748520269221411218344500\ 459611684433255403/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^20 - 44392042975441026397888532153431965693195\ 3665674279192171239608541981188579032652799499382961290308505829170\ 59433681562527727894659/2732698518407857282044537106373288142866892\ 7271720665753325880676764239904224586785381186161406988039195225026\ 6568169077584674*c_1001_2^19 - 184168895654436102790708703529409506\ 4515144572651842191491016247380390656944851364587596261843784505173\ 69290989612276079925096443467/2732698518407857282044537106373288142\ 8668927271720665753325880676764239904224586785381186161406988039195\ 2250266568169077584674*c_1001_2^18 - 2188245339625444201539740386558601844904542523017620936234770946047\ 1365050547936019233500410914049930629346388256175696145453362809/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 17 + 13230987221469179833942189347092779264910157235903197727483062\ 0417374842617668380627050882887070671545658967838302787947448384269\ 707/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^16 + 26890694995634633162726611425904655501771867808573655250\ 3071868298733804404074437138376326038980684347719196042918884763907\ 22677054/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^15 - 373790053908866786935220195278831479384480333746064\ 7493856005346502326159857471209856046017044745961187518418449897760\ 5277161578173/13663492592039286410222685531866440714334463635860332\ 8766629403383821199521122933926905930807034940195976125133284084538\ 792337*c_1001_2^14 - 2401847018032754619673727031913471141317272634\ 0293434481300167141082321248894974710197798259642936749066070696988\ 443371028407676428/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^13 + 16738743320013174477180534267926290618874\ 6266757881556226258604277410687252450222990224871341608958951976490\ 28484332061981080103266/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^12 + 271955702716532106554954342638216409\ 9660321408064838432225213000796410231527823114794498550986438979667\ 7921755361409516412994166149/27326985184078572820445371063732881428\ 6689272717206657533258806767642399042245867853811861614069880391952\ 250266568169077584674*c_1001_2^11 - 1134342543733570039732400002866652929636244773227265132616911551279\ 0082928246896125191776761772566121880148888796758192262506843611/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 10 - 10713254878616007929188419281051139980359612925039695957388157\ 0458274613146385355739559931919966506093506243141443481248575863245\ 47/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^9 + 1373993491463926342501630914867697480989283397978942912945\ 8953351180410537212127313693194832773248757417661105129930880932610\ 25133/1366349259203928641022268553186644071433446363586033287666294\ 03383821199521122933926905930807034940195976125133284084538792337*c\ _1001_2^8 + 1437913002854571700646589290719230136531219675706295225\ 4088558789649680900010694860752870724422367424699180222049818982666\ 93850354/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^7 - 2396069691740574724932293629781628367771907328336746\ 6574592454703061252478449753568740796338404988931325732920218343182\ 1818327155/27326985184078572820445371063732881428668927271720665753\ 3258806767642399042245867853811861614069880391952250266568169077584\ 674*c_1001_2^6 - 70793169605263429916376722249166348655978603410223\ 9935163589011751556756971619566451600106374608184053761019421338532\ 294768860729/273269851840785728204453710637328814286689272717206657\ 5332588067676423990422458678538118616140698803919522502665681690775\ 84674*c_1001_2^5 + 987025854229221652139927560686569761035194263985\ 5984419658389324818504413460239795294982283250341189985493184932498\ 4277461329345/27326985184078572820445371063732881428668927271720665\ 7533258806767642399042245867853811861614069880391952250266568169077\ 584674*c_1001_2^4 + 33114900036918541617895903407389292553320574473\ 8001215623341119385996908842772513836639179481908945835551945292038\ 69656474710181/1366349259203928641022268553186644071433446363586033\ 2876662940338382119952112293392690593080703494019597612513328408453\ 8792337*c_1001_2^3 + 4186107778862590684157227447061801278871721259\ 7109635919751356560751855269115173094948282606387319863252045869874\ 98848813161300/1366349259203928641022268553186644071433446363586033\ 2876662940338382119952112293392690593080703494019597612513328408453\ 8792337*c_1001_2^2 - 8406277159858132671569975943950330473239557219\ 3251747009240494346201152092825539818330488217627124155529483317033\ 06025133538192/1366349259203928641022268553186644071433446363586033\ 2876662940338382119952112293392690593080703494019597612513328408453\ 8792337*c_1001_2 + 157356422549141890762239095456238584486633261601\ 8798311284921812930044223936951510336387051312684179316984882203862\ 412968144577/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337, c_0101_3 + 636230195532845471419977166287257166685020406631495004995014\ 215543454795539425946596779865589578560974674279258221878003902615/\ 1366349259203928641022268553186644071433446363586033287666294033838\ 21199521122933926905930807034940195976125133284084538792337*c_1001_\ 2^32 - 414370900416284432007394860558867493074156371578295317197694\ 2743125506559587455028159945018512318941287193795987531993157317211\ /136634925920392864102226855318664407143344636358603328766629403383\ 821199521122933926905930807034940195976125133284084538792337*c_1001\ _2^31 - 68940491477619854476962281730019726870218560275682935608681\ 2255019960232353137879170239906296750145516049962875554293707416765\ 7/27326985184078572820445371063732881428668927271720665753325880676\ 7642399042245867853811861614069880391952250266568169077584674*c_100\ 1_2^30 + 1211380536382539521134583571033380679760179640023771379254\ 3183656868276491278850858116896354669836324163420062279612515251842\ 3813/27326985184078572820445371063732881428668927271720665753325880\ 6767642399042245867853811861614069880391952250266568169077584674*c_\ 1001_2^29 - 1543013004310198583447558515526622732338514724688802797\ 5067302630804573106882425603340538353744824472366684245067968251161\ 000710/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^28 - 84799152766990405805556398810749182428022247827459533\ 3930674097463707155365277066521753434065279757326813496865605205384\ 533347853/273269851840785728204453710637328814286689272717206657533\ 2588067676423990422458678538118616140698803919522502665681690775846\ 74*c_1001_2^27 + 10780439623294691754354973318392119044079429099726\ 4477500298676687190603962927069785254992199068577472313056711689576\ 594473436491/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^26 + 15932887116197571270845885486098688665562002954\ 6185980105355478519986567039440667647378791215171397648964170955525\ 2936032400862789/13663492592039286410222685531866440714334463635860\ 3328766629403383821199521122933926905930807034940195976125133284084\ 538792337*c_1001_2^25 - 2588425279802557129905594384727847862270932\ 4393527546491069503741520165311335753291928926741487994928435754914\ 9586530603037287361/27326985184078572820445371063732881428668927271\ 7206657533258806767642399042245867853811861614069880391952250266568\ 169077584674*c_1001_2^24 - 7118009087736083983872398992863782519266\ 6915529983957427414449290136607979930661624701233460135386291064537\ 47064621120185376146159/2732698518407857282044537106373288142866892\ 7271720665753325880676764239904224586785381186161406988039195225026\ 6568169077584674*c_1001_2^23 - 476424123564654098073117705994081913\ 9595619082464265978168321693018819373002202373097695193849441514341\ 82039230129055259439713244/1366349259203928641022268553186644071433\ 4463635860332876662940338382119952112293392690593080703494019597612\ 5133284084538792337*c_1001_2^22 + 508609404537815240552133146898025\ 8312154516361308110661234861203249056331239988927961659346985462130\ 318502180358013400959137196285/136634925920392864102226855318664407\ 1433446363586033287666294033838211995211229339269059308070349401959\ 76125133284084538792337*c_1001_2^21 + 2050372853756651384582978032936168576770034097555713667195112172297\ 924553493698333172421674268501641524088546407070330270385879393/136\ 6349259203928641022268553186644071433446363586033287666294033838211\ 99521122933926905930807034940195976125133284084538792337*c_1001_2^2\ 0 - 956414721700861380133392928256493672131519325755641265326410838\ 4280534512074830058127056143895723751012320360678511774447163727211\ /273269851840785728204453710637328814286689272717206657533258806767\ 642399042245867853811861614069880391952250266568169077584674*c_1001\ _2^19 - 73785588017464067204465303139549087267894469675474522233373\ 8043047542873733537303604259156610956002276682195180451458667108956\ 4905/27326985184078572820445371063732881428668927271720665753325880\ 6767642399042245867853811861614069880391952250266568169077584674*c_\ 1001_2^18 + 2787433116629725975047508431052796742144785274481579796\ 0294968085644028950685586810195899142892808540311401624199893090781\ 49046781/1366349259203928641022268553186644071433446363586033287666\ 2940338382119952112293392690593080703494019597612513328408453879233\ 7*c_1001_2^17 + 805478087850655856492015432226443083323872225043759\ 3972698316876653926788019913298454760513791913900778941659648379538\ 092255264783/273269851840785728204453710637328814286689272717206657\ 5332588067676423990422458678538118616140698803919522502665681690775\ 84674*c_1001_2^16 - 64034519936322252600431468193604603457595186881\ 5671348311898159817834201687460276972427205748583490939668321095368\ 262314435539456/136634925920392864102226855318664407143344636358603\ 3287666294033838211995211229339269059308070349401959761251332840845\ 38792337*c_1001_2^15 - 60162266788736224124693576101046978550316738\ 8381350434089480253039540125801082574723845809915812256926556785705\ 6410753007421826597/27326985184078572820445371063732881428668927271\ 7206657533258806767642399042245867853811861614069880391952250266568\ 169077584674*c_1001_2^14 - 4648682618247513850223643343350437182592\ 1932177452483881475605322867854685626187067788204221061640663142901\ 3416830086954003475426/13663492592039286410222685531866440714334463\ 6358603328766629403383821199521122933926905930807034940195976125133\ 284084538792337*c_1001_2^13 + 3193882535052430565566827268879263152\ 0270366214518138561306354824101149394732641751925394284627487081482\ 98652496755142922865194677/2732698518407857282044537106373288142866\ 8927271720665753325880676764239904224586785381186161406988039195225\ 0266568169077584674*c_1001_2^12 + 584933939903679199752922766070146\ 9790763729777893264545297571235000434304052237771835731020081798924\ 65089600370347606031944849401/1366349259203928641022268553186644071\ 4334463635860332876662940338382119952112293392690593080703494019597\ 6125133284084538792337*c_1001_2^11 - 1161765360280631131002970771228285240286867126689263845663839863971\ 843996165170799945648296755831891248360509287371852752271587191/273\ 2698518407857282044537106373288142866892727172066575332588067676423\ 99042245867853811861614069880391952250266568169077584674*c_1001_2^1\ 0 - 339054177276380189927577077319863041328521877423583796137814983\ 670275931990120283149485452971892531329628637542633377299742326679/\ 1366349259203928641022268553186644071433446363586033287666294033838\ 21199521122933926905930807034940195976125133284084538792337*c_1001_\ 2^9 + 2459150817743629289459130437608723985179949344706797467900743\ 3363384598789375093061317660868456928573617532599467155289213504136\ 7/27326985184078572820445371063732881428668927271720665753325880676\ 7642399042245867853811861614069880391952250266568169077584674*c_100\ 1_2^8 + 24349497164098465951499344487120558259598381126844150268449\ 3934364263558996096275024295088891479710804511162026542276651979425\ 511/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^7 - 846442325391048095687444053034615606333185970594035802628\ 1669494905767357578007886518143144957202375687392770933234087746585\ 35/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^6 - 3151471550258075035207311141514940235175412656960284869688\ 6461633895963446263539383669090512557108245193155918782493807750925\ 461/136634925920392864102226855318664407143344636358603328766629403\ 383821199521122933926905930807034940195976125133284084538792337*c_1\ 001_2^5 - 331310951512362408353031216264863141201020922756518087137\ 4308873384193731671926207285739879250750302347089192496626995879284\ 662/136634925920392864102226855318664407143344636358603328766629403\ 383821199521122933926905930807034940195976125133284084538792337*c_1\ 001_2^4 + 461480947143326853599889830546147659735101036754664586262\ 3892608666817531690560556718532173963981659587247746272244570087257\ 977/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^3 + 220729168354444188060988012925237437380848595401642575290\ 9556531560029157472226694887036124061906897180666441536951010303659\ 577/273269851840785728204453710637328814286689272717206657533258806\ 767642399042245867853811861614069880391952250266568169077584674*c_1\ 001_2^2 - 584741532323384171157240002185767442076834479038145735867\ 4658451761329416904992454209428485334416975594853424029699606627304\ 82/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2 - 708585459884156403156662267244528123042383997071702102905504\ 77502704983338466388102710896799142681372749641219975826804176241/2\ 7326985184078572820445371063732881428668927271720665753325880676764\ 2399042245867853811861614069880391952250266568169077584674, c_1001_1 - 539690716122535969491382932857805654564176974723946651888727\ 4515341359715236011807551921584231463171230105780907948214329369279\ 5/13663492592039286410222685531866440714334463635860332876662940338\ 3821199521122933926905930807034940195976125133284084538792337*c_100\ 1_2^32 + 1352781284391895219463858038499867962527234561110798514440\ 5888099828270603329303091237329642418120483587541137498518797093891\ 6028/13663492592039286410222685531866440714334463635860332876662940\ 3383821199521122933926905930807034940195976125133284084538792337*c_\ 1001_2^31 + 6972429587192836284640655090294627613216835159053224317\ 5379103022618359546866346623392578752434969396459356086471003579877\ 5542262/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^30 - 2089779500628146730118717761636547191520674814908904\ 9708356077851291997376887022330157886317682901178378301391177505983\ 99808631102/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2^29 - 510039047040467741135986135726556478890260210484\ 0640554775291962516896699710355745958536063338956693069042886030055\ 181213956942149/136634925920392864102226855318664407143344636358603\ 3287666294033838211995211229339269059308070349401959761251332840845\ 38792337*c_1001_2^28 + 11444991576279955143070685911609917473437616\ 9114699592343231216529149100368366562740741091861537002728155126944\ 24102439176971141201/1366349259203928641022268553186644071433446363\ 5860332876662940338382119952112293392690593080703494019597612513328\ 4084538792337*c_1001_2^27 + 207246615505172989437016678715517776635\ 9949801750759746907797165445380578614126377338038605030839160130291\ 6145222260473136745470754/13663492592039286410222685531866440714334\ 4636358603328766629403383821199521122933926905930807034940195976125\ 133284084538792337*c_1001_2^26 - 3258319996639711230965532531200377\ 9058748386108763795542635487668491130219865173203141139391011302034\ 369197971181332672869419427341/136634925920392864102226855318664407\ 1433446363586033287666294033838211995211229339269059308070349401959\ 76125133284084538792337*c_1001_2^25 - 5124823981466938613816682830030966709546428618251814400250947903672\ 7497848350955302597308040602890384204125456220064835447084207694/13\ 6634925920392864102226855318664407143344636358603328766629403383821\ 199521122933926905930807034940195976125133284084538792337*c_1001_2^\ 24 + 53894658663591297281302349885810589703720643130980049459620444\ 4813415273274902008293190350089373534196715557082612625432685586519\ 74/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^23 + 857714042085454888234142121135081447682108513884197461248\ 9932088908025509214247045354388900620438090824657336790413918741971\ 4145975/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^22 - 5102384566752622799488887896333596964089260516844854\ 7517388309064514763151957014531634196756375496850222706187319429328\ 614433270633/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^21 - 10485488859848418257955223216993201358071238277\ 6977635629078768134913807603181617394284675571247180002791576772305\ 133843378796246857/136634925920392864102226855318664407143344636358\ 6033287666294033838211995211229339269059308070349401959761251332840\ 84538792337*c_1001_2^20 + 19850068219836249454785117029236325235562\ 9943528501957018096148938287580399532577879497027421790624005637829\ 12698419421181443661376/1366349259203928641022268553186644071433446\ 3635860332876662940338382119952112293392690593080703494019597612513\ 3284084538792337*c_1001_2^19 + 967782413084596797920243014771124975\ 8991398077036864650406758225607236033146168031937370750326436188840\ 7700625921848020847929104380/13663492592039286410222685531866440714\ 3344636358603328766629403383821199521122933926905930807034940195976\ 125133284084538792337*c_1001_2^18 + 1455947650574778386351849069256405041203163656146935462334513664919\ 7744160781888672585772066449922197027215412866335097159743833373/13\ 6634925920392864102226855318664407143344636358603328766629403383821\ 199521122933926905930807034940195976125133284084538792337*c_1001_2^\ 17 - 68396709304240612498017540040083904150374584287007833753334204\ 3566881217851777797319560293181923785130737901659666610347355199888\ 79/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^16 - 301641545603772114568221746161034119921679814445109566376\ 5887781998272092090053383458966175528030118237210769070693504878951\ 4039549/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^15 + 3786421221972023569347154084033310888965974048881254\ 9185337560031935178750230999796338840717905886621642913974491450118\ 200606809579/136634925920392864102226855318664407143344636358603328\ 7666294033838211995211229339269059308070349401959761251332840845387\ 92337*c_1001_2^14 + 26051511381560501913151726724408779976415972179\ 5165715429186229957095130690481314801089457756313960214724725286278\ 65497695748509551/1366349259203928641022268553186644071433446363586\ 0332876662940338382119952112293392690593080703494019597612513328408\ 4538792337*c_1001_2^13 - 165564299622763229679500811295390396688191\ 6018818637349758950478129140575277702297315893215001618470576651877\ 8098274541375245291657/13663492592039286410222685531866440714334463\ 6358603328766629403383821199521122933926905930807034940195976125133\ 284084538792337*c_1001_2^12 - 1448477531781072659657703100633233578\ 5812443688438875647312327765675896243340102780288380444023152444648\ 798151288165631778256800300/136634925920392864102226855318664407143\ 3446363586033287666294033838211995211229339269059308070349401959761\ 25133284084538792337*c_1001_2^11 + 5449741989423534954636781458117193044850787380989278068931123787238\ 839257507440779066814518844034083907574865559746958442205030997/136\ 6349259203928641022268553186644071433446363586033287666294033838211\ 99521122933926905930807034940195976125133284084538792337*c_1001_2^1\ 0 + 561491856641267269408798934028683816051864527233826719632760827\ 2146661948433094019350651082705727634759208794254258840970575872474\ /136634925920392864102226855318664407143344636358603328766629403383\ 821199521122933926905930807034940195976125133284084538792337*c_1001\ _2^9 - 127064345005954322842460373119114517486670010566361896784573\ 5167670045986050547098343852957543320350524277267020210516458132789\ 438/136634925920392864102226855318664407143344636358603328766629403\ 383821199521122933926905930807034940195976125133284084538792337*c_1\ 001_2^8 - 147761745672010568755400558249673537296853347633080271866\ 5613060238972004792306141649004907661852204327197632250727706985441\ 459876/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^7 + 877466222905238724547997215476554944476300706051565650\ 4868363760025384257675698595408138591195354495064792657148042127975\ 5564641/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^6 + 35603278749229331255341775174016442835319012712525214\ 5321417658818357832129070937789605347783082963371714906880573918977\ 682355044/136634925920392864102226855318664407143344636358603328766\ 6294033838211995211229339269059308070349401959761251332840845387923\ 37*c_1001_2^5 - 454087844616885631220786059657252800791707077178776\ 6110059693034040137980266463390203436666128144012236147850889905077\ 0637180263/13663492592039286410222685531866440714334463635860332876\ 6629403383821199521122933926905930807034940195976125133284084538792\ 337*c_1001_2^4 - 32680229056389857577359787306866476439294022572568\ 4228175818546972710754279235191023927710930089077894792589687235895\ 98786708381/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2^3 - 5010622154286378011786498083248309541335722787009\ 3170996553098163571681515412926432494672592444269030440029871056263\ 51724577014/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2^2 + 8450650806074488932661288586049852297477501465644\ 8482835636162738191076734009925492483588743448187416072575289020852\ 31132524442/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2 - 142459927701320540423234939936114349940414137077814\ 6234407150889943928856313649973038219199502447521412768595895914592\ 494372958/136634925920392864102226855318664407143344636358603328766\ 6294033838211995211229339269059308070349401959761251332840845387923\ 37, c_1001_12 - 56232221759299328930421681052176130377771151712905385004443\ 6332632237567713655811945168938381025039695250150211397007618000360\ 05/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^32 + 783590461583470376315777122575857626755898601800862484193\ 9004230260949314064071196236769116442900330852297180170033347734053\ 8736/13663492592039286410222685531866440714334463635860332876662940\ 3383821199521122933926905930807034940195976125133284084538792337*c_\ 1001_2^31 + 3463277456818407848899419982171212749770941223391769857\ 2945508918093754825431522564262669494206329615343339761523486532987\ 9783728/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^30 - 1196440550178468494150820496770212277623666119305265\ 7668486672892263043908900926867090023878799363103517604583916793504\ 84132660110/1366349259203928641022268553186644071433446363586033287\ 6662940338382119952112293392690593080703494019597612513328408453879\ 2337*c_1001_2^29 - 478256733228543266487640759205827997188068609672\ 4414091108152437713512865637128549581116427028364546657238325735790\ 122638841734143/273269851840785728204453710637328814286689272717206\ 6575332588067676423990422458678538118616140698803919522502665681690\ 77584674*c_1001_2^28 + 68004776611883959321972998863253294686238717\ 8731040169710305029233508311926182440032170368372682058295378957009\ 9081656794641619864/13663492592039286410222685531866440714334463635\ 8603328766629403383821199521122933926905930807034940195976125133284\ 084538792337*c_1001_2^27 + 1887122271610128864685364681395881679694\ 4560259638031733209267184342266349307755041091700582685320208486845\ 789428092835329771385603/273269851840785728204453710637328814286689\ 2727172066575332588067676423990422458678538118616140698803919522502\ 66568169077584674*c_1001_2^26 - 40940680390926051040116484474332131\ 9570260212351743373323202873965482059736974431712159083108846801441\ 45497989257262411843277502769/2732698518407857282044537106373288142\ 8668927271720665753325880676764239904224586785381186161406988039195\ 2250266568169077584674*c_1001_2^25 - 4648610968698488742254988361981888702347325580384171648834824584394\ 1598466131675230745478562597521121449234855475898977759686270157/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 24 + 73431304779544417176194940237764904261328190851978529500037372\ 7169489798520263273856850839317157720986427445645046042646688920812\ 43/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^23 + 400441496453019202540822517707996721167202997597443342204\ 6046690758040363408514331625889631546117991373907525932928336330746\ 7210338/13663492592039286410222685531866440714334463635860332876662\ 9403383821199521122933926905930807034940195976125133284084538792337\ *c_1001_2^22 - 8111133629753817888211953427199717741493072856624876\ 5837074182999215032436247569101706018029777253059452295831180581373\ 083870058769/273269851840785728204453710637328814286689272717206657\ 5332588067676423990422458678538118616140698803919522502665681690775\ 84674*c_1001_2^21 - 10479829923495320471033970797919993840365493050\ 5254963488266251787163672173493459774422206312323377663430261105628\ 166501907880360475/273269851840785728204453710637328814286689272717\ 2066575332588067676423990422458678538118616140698803919522502665681\ 69077584674*c_1001_2^20 + 52193522014176326305622366047248400070770\ 3674645713339829304939297027742546419390948228572761329566076680603\ 56649637597709504314939/2732698518407857282044537106373288142866892\ 7271720665753325880676764239904224586785381186161406988039195225026\ 6568169077584674*c_1001_2^19 + 533715924250843888796426531768487492\ 0257180887327994929374208674490828180710700073572917625713656903735\ 1492407632143779141070287201/13663492592039286410222685531866440714\ 3344636358603328766629403383821199521122933926905930807034940195976\ 125133284084538792337*c_1001_2^18 - 1014576780628512342487758119690392226373283873385819722043648309710\ 5213018269126372490752973754281436586026013324594870252883656793/27\ 3269851840785728204453710637328814286689272717206657533258806767642\ 399042245867853811861614069880391952250266568169077584674*c_1001_2^\ 17 - 42384903529665727701114301422293755341564911240335896539093331\ 5628608684343077485210724772744015784654216031897204204666958304470\ 42/1366349259203928641022268553186644071433446363586033287666294033\ 83821199521122933926905930807034940195976125133284084538792337*c_10\ 01_2^16 - 851467742594410230501061189902185500026764619098259569315\ 1826952711854320857903769689667667650935253671983813294897449954032\ 883880/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^15 + 53348171861083666339226806986359057268671377250576491\ 0525742834108203701093650323246622582331670768747979638460102759793\ 31642614017/2732698518407857282044537106373288142866892727172066575\ 3325880676764239904224586785381186161406988039195225026656816907758\ 4674*c_1001_2^14 + 107902113769237692169357401435475210010387091767\ 6478853338262928106909779208906170687322915260871423836478591470779\ 4910814558692910/13663492592039286410222685531866440714334463635860\ 3328766629403383821199521122933926905930807034940195976125133284084\ 538792337*c_1001_2^13 - 2665862003072793311477490606492246196356290\ 6477799118120291502531992454284493490724721002285774257678861394712\ 283673722976631835691/273269851840785728204453710637328814286689272\ 7172066575332588067676423990422458678538118616140698803919522502665\ 68169077584674*c_1001_2^12 - 13923493131150169158347063214843446841\ 8197408283311346088439242275940123447181581088458894014320735411357\ 21777557012400267494803507/2732698518407857282044537106373288142866\ 8927271720665753325880676764239904224586785381186161406988039195225\ 0266568169077584674*c_1001_2^11 + 507739786987219826078416096006673\ 9899537350542019442790400179434925445467712910466734159908317399474\ 003377081953622644519970208394/136634925920392864102226855318664407\ 1433446363586033287666294033838211995211229339269059308070349401959\ 76125133284084538792337*c_1001_2^10 + 3002031432322936781469121297811604520841667020799336274291892835091\ 132461013590307254908627570215341131260500151339319960252542305/136\ 6349259203928641022268553186644071433446363586033287666294033838211\ 99521122933926905930807034940195976125133284084538792337*c_1001_2^9 - 14078559211011521045399506063558027820449591167588457669300644348\ 79894319534565255346030093638212056643692906849497355239903120530/1\ 3663492592039286410222685531866440714334463635860332876662940338382\ 1199521122933926905930807034940195976125133284084538792337*c_1001_2\ ^8 - 87865162334215864698694184650692809346148062271869189269178740\ 3888309773342853060696520258131997346849201348388465990101527876730\ /136634925920392864102226855318664407143344636358603328766629403383\ 821199521122933926905930807034940195976125133284084538792337*c_1001\ _2^7 + 413375619722562500157394761766193935987709987812448359074742\ 8852308458711311161935240091273206543464589880733110675079347120722\ 85/2732698518407857282044537106373288142866892727172066575332588067\ 67642399042245867853811861614069880391952250266568169077584674*c_10\ 01_2^6 + 2380692967889650909803872503099136696835906595148244033313\ 2590051627495180348768290356564337448495667436494411001681322371669\ 2213/13663492592039286410222685531866440714334463635860332876662940\ 3383821199521122933926905930807034940195976125133284084538792337*c_\ 1001_2^5 - 53899320628351873670455675351075096485235730425436314289\ 8165072129938834577798984164430022581158189000346461621442728510231\ 28108/1366349259203928641022268553186644071433446363586033287666294\ 03383821199521122933926905930807034940195976125133284084538792337*c\ _1001_2^4 - 2210157979988742968785429270037907756276581958417959851\ 5413198921637293624719399012366319057265698021805044192944324341777\ 348495/136634925920392864102226855318664407143344636358603328766629\ 403383821199521122933926905930807034940195976125133284084538792337*\ c_1001_2^3 - 157953472183322660304222912272232910966492506220776353\ 9864346329137261727834130309739309271663279580453841312821859177501\ 19615/2732698518407857282044537106373288142866892727172066575332588\ 06767642399042245867853811861614069880391952250266568169077584674*c\ _1001_2^2 + 6088567105597861977353919182044199849840488362985482457\ 3791317562649455257368917669665436454316089782765261041162725948667\ 45777/1366349259203928641022268553186644071433446363586033287666294\ 03383821199521122933926905930807034940195976125133284084538792337*c\ _1001_2 - 130697208233397691337811854496975810402034662844272774587\ 3701638374466624185811600042993707671885181425476846218844817310156\ 108/136634925920392864102226855318664407143344636358603328766629403\ 383821199521122933926905930807034940195976125133284084538792337, c_1001_2^33 - 11496/3815*c_1001_2^32 - 6352/545*c_1001_2^31 + 172757/3815*c_1001_2^30 + 285982/3815*c_1001_2^29 - 141802/545*c_1001_2^28 - 1057306/3815*c_1001_2^27 + 3050463/3815*c_1001_2^26 + 2465153/3815*c_1001_2^25 - 1131836/763*c_1001_2^24 - 593931/545*c_1001_2^23 + 957369/545*c_1001_2^22 + 5628299/3815*c_1001_2^21 - 739903/545*c_1001_2^20 - 6186101/3815*c_1001_2^19 + 2442336/3815*c_1001_2^18 + 5409482/3815*c_1001_2^17 - 8727/109*c_1001_2^16 - 758943/763*c_1001_2^15 - 101091/763*c_1001_2^14 + 303379/545*c_1001_2^13 + 448398/3815*c_1001_2^12 - 912106/3815*c_1001_2^11 - 212013/3815*c_1001_2^10 + 293182/3815*c_1001_2^9 + 63267/3815*c_1001_2^8 - 59544/3815*c_1001_2^7 - 23284/3815*c_1001_2^6 + 15986/3815*c_1001_2^5 + 134/545*c_1001_2^4 - 838/3815*c_1001_2^3 - 113/545*c_1001_2^2 + 402/3815*c_1001_2 - 7/545 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.440 Total time: 7.639 seconds, Total memory usage: 64.12MB