Magma V2.19-8 Tue Aug 20 2013 18:02:43 on localhost [Seed = 2244227113] Type ? for help. Type -D to quit. Loading file "11_512__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_512 geometric_solution 11.84450583 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665496966270 1.342292971109 0 4 3 4 0132 0132 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.675137811779 0.764446047127 0 0 6 5 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703516838021 0.598000118029 1 6 0 7 2031 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 1 -1 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.314315154142 0.343533039013 1 1 8 9 3012 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 0 0 0 0 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.470873999915 1.108032208676 10 11 2 10 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 14 -1 0 -13 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144788802309 0.674053255192 9 3 12 2 0213 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 0 0 0 0 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.181018781529 0.841455965365 9 12 3 9 1023 3012 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 -1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280852427522 1.215142953238 11 11 12 4 0132 1230 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578172795870 0.478862528169 6 7 4 7 0213 1023 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291990180264 0.731511115177 5 5 12 11 0132 1302 3012 1023 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 -14 13 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695381291071 1.418129227342 8 5 8 10 0132 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.025869182980 0.849660022127 7 10 8 6 1230 1230 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547556403592 0.331157567490 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_0101_11'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : negation(d['c_1001_12']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0101_5'], 'c_1010_10' : d['c_0101_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0101_12']), 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_8']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_12'], 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0101_12']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : d['c_0011_7'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0011_7'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_7'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : negation(d['c_0101_12']), 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_2']})} 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_12, c_0011_3, c_0011_7, c_0101_11, c_0101_12, c_0101_2, c_0101_5, c_0101_7, c_0101_8, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 3499047359558451358826979174567777229833860071893023860345738103164\ 8399652699269205776344692726803732484392786900411925799584872736823\ 68/1417439594373229871633218445718741379375388479126664034432456531\ 7566333753272382218389256090201705151187629444998467911915310897534\ 6519*c_1001_2^34 + 221990388250713684296324216838036203812042919311\ 3708291685470375813833778849085614497439606507999270191267273187824\ 0591470580942943551123/14174395943732298716332184457187413793753884\ 7912666403443245653175663337532723822183892560902017051511876294449\ 984679119153108975346519*c_1001_2^33 + 1837023400756420687284534181567430507070964674686663420305743150024\ 2387297200927066109909612408234293097987535609108901437242569552247\ 951/202491370624747124519031206531248768482198354160952004918922361\ 6795190536181768888341322298600243593026804206428352558845044413933\ 5217*c_1001_2^32 + 515639221012171415600509399904302450033112156525\ 6905648708153160359146516573208028397127032510721609841923340194976\ 63936297423749024090317/1417439594373229871633218445718741379375388\ 4791266640344324565317566333753272382218389256090201705151187629444\ 9984679119153108975346519*c_1001_2^31 + 1823933189240825008190167477983634242293277098966274567584121837886\ 6164476135410568949341557310649633693681203105900344925760897797344\ 03907/1417439594373229871633218445718741379375388479126664034432456\ 5317566333753272382218389256090201705151187629444998467911915310897\ 5346519*c_1001_2^30 + 546578387000015068413968228904106374337125459\ 6178446333951529310330500623352195295060729495136637532277162831099\ 181030585068904820234785679/141743959437322987163321844571874137937\ 5388479126664034432456531756633375327238221838925609020170515118762\ 94449984679119153108975346519*c_1001_2^29 + 1453932562067827725031554372349408927306518289799412739326701437737\ 7732578603331116187538115266517435278094147530933898416668694257949\ 646377/141743959437322987163321844571874137937538847912666403443245\ 6531756633375327238221838925609020170515118762944499846791191531089\ 75346519*c_1001_2^28 + 32310605094383021986487288867736274424386313\ 2323520833391922030900013583103929124805999824986918127650566693187\ 38433787986741980733262125714/1417439594373229871633218445718741379\ 3753884791266640344324565317566333753272382218389256090201705151187\ 6294449984679119153108975346519*c_1001_2^27 + 6172665582137809591997604094079678337092248467746983861545396293122\ 8114320308098932853454599810016927416849268017936585840473649764713\ 877265/141743959437322987163321844571874137937538847912666403443245\ 6531756633375327238221838925609020170515118762944499846791191531089\ 75346519*c_1001_2^26 + 15965435294988186068086968943695919808633401\ 7016264451019087033025926110095777724255768950161589994477213430588\ 78643911791678671219578667353/2024913706247471245190312065312487684\ 8219835416095200491892236167951905361817688883413222986002435930268\ 042064283525588450444139335217*c_1001_2^25 + 1822952742759390567462024183967768384087182183259224755926425804329\ 4075273421116855918991702004774638444399787871840576753414224978237\ 4250435/14174395943732298716332184457187413793753884791266640344324\ 5653175663337532723822183892560902017051511876294449984679119153108\ 975346519*c_1001_2^24 + 2893245398770257945372900809170654212349898\ 8443216347583659300057406339700513074911387242349842874666833352544\ 230297158599838635356240811916/202491370624747124519031206531248768\ 4821983541609520049189223616795190536181768888341322298600243593026\ 8042064283525588450444139335217*c_1001_2^23 + 1041246795835613808568432131973479319863143742044474542703623544788\ 1449779649644223018538025181323168580309746289307525906707404929836\ 846174/141743959437322987163321844571874137937538847912666403443245\ 6531756633375327238221838925609020170515118762944499846791191531089\ 75346519*c_1001_2^22 - 41920570404908206535056688382706831701241975\ 3162525598542162371072394350238958204490681242924373269082805819287\ 091053057835791272336790501475/141743959437322987163321844571874137\ 9375388479126664034432456531756633375327238221838925609020170515118\ 76294449984679119153108975346519*c_1001_2^21 - 5604062176662985012738545802059568395916868666091300093982825439926\ 7799262494315341016391911255747415698288463717314041304547883608647\ 0146866/14174395943732298716332184457187413793753884791266640344324\ 5653175663337532723822183892560902017051511876294449984679119153108\ 975346519*c_1001_2^20 + 1652323202504499499202738264720861824215748\ 8458993198559677507209986370133081162499671499215660959718143820371\ 887917479731245167894825173047/345716974237373139422736206272863751\ 0671679217382107401054772028674715549578629809363233192732123207606\ 738889024016563881783145740159*c_1001_2^19 + 3414844410339431998880022310611421157508186956677917475792085699473\ 4751096426638117492057773395939636337528603085453057838302165031637\ 02420485/1417439594373229871633218445718741379375388479126664034432\ 4565317566333753272382218389256090201705151187629444998467911915310\ 8975346519*c_1001_2^18 + 473527002628735317638972412707795307510018\ 4358333521170947168260203645074785698110796082447320081113493125951\ 916432325465772240393144979221084/141743959437322987163321844571874\ 1379375388479126664034432456531756633375327238221838925609020170515\ 11876294449984679119153108975346519*c_1001_2^17 + 3790327467923480379120417056683979846756902983140684326304420482803\ 6150132624454100000318634467635727006901647596631537338590763761802\ 3271497/14174395943732298716332184457187413793753884791266640344324\ 5653175663337532723822183892560902017051511876294449984679119153108\ 975346519*c_1001_2^16 - 9483930970053240591919700736269191671744313\ 3891157963068869218439261649821347397636611223148872761119468722830\ 33983564095527380388805122430462/1417439594373229871633218445718741\ 3793753884791266640344324565317566333753272382218389256090201705151\ 1876294449984679119153108975346519*c_1001_2^15 - 2293202430230999514186783689180728738890639313290630750952104460099\ 3539036698713606581485767369790905463222291254446090776880706647032\ 9929418/19416980744838765364838608845462210676375184645570740197704\ 8839966662106209210715320400768358927467824488074589020108382401519\ 1443103*c_1001_2^14 - 117651459379534471592507975716533301510752035\ 7138998365930320872589672057530215548072551548817866261400255234259\ 4459153428046013427493536776280/14174395943732298716332184457187413\ 7937538847912666403443245653175663337532723822183892560902017051511\ 876294449984679119153108975346519*c_1001_2^13 + 4799459141671228739005704015041048206867971921485884878158582905511\ 9521629904691907737773659878130187967382869881718377061222273988612\ 69516216/1417439594373229871633218445718741379375388479126664034432\ 4565317566333753272382218389256090201705151187629444998467911915310\ 8975346519*c_1001_2^12 + 490431776980953000261932650632660851553524\ 8488482933327632639722986580699717095803063956423752266557066010038\ 18919097148299902225172253637775/3457169742373731394227362062728637\ 5106716792173821074010547720286747155495786298093632331927321232076\ 06738889024016563881783145740159*c_1001_2^11 + 2115146110808600211845693395811359152453316708769289087261805461891\ 4517284780555280008237393372685248911177529767048077746277229899129\ 865669467/141743959437322987163321844571874137937538847912666403443\ 2456531756633375327238221838925609020170515118762944499846791191531\ 08975346519*c_1001_2^10 + 82937874965453932949378879038475901427463\ 4807487781614355376312911833342884352417907167849066695773848068463\ 5342160323081832077654810163055078/14174395943732298716332184457187\ 4137937538847912666403443245653175663337532723822183892560902017051\ 511876294449984679119153108975346519*c_1001_2^9 - 6148017558512551166753621005682194305377246633513442331435113907575\ 4234450750709750069366252860998978213319243018901931424045306157999\ 62790229/1417439594373229871633218445718741379375388479126664034432\ 4565317566333753272382218389256090201705151187629444998467911915310\ 8975346519*c_1001_2^8 - 1641291548630558949794750818140232889616715\ 2959188101799309282875653763646298767741960787315449421239004525198\ 76820381056126955923162195839416/2024913706247471245190312065312487\ 6848219835416095200491892236167951905361817688883413222986002435930\ 268042064283525588450444139335217*c_1001_2^7 - 7731544655409393462433353622811405364408495179165937076873953607203\ 3844595640410800119395615372214230211578992954904220501847744529306\ 63488297/1417439594373229871633218445718741379375388479126664034432\ 4565317566333753272382218389256090201705151187629444998467911915310\ 8975346519*c_1001_2^6 - 1939473900590016615348236875931280222092139\ 9722589483054155951824925007565249123599129572000189133982570676001\ 63158479843918903903334207140291/1417439594373229871633218445718741\ 3793753884791266640344324565317566333753272382218389256090201705151\ 1876294449984679119153108975346519*c_1001_2^5 + 9567369472515809582372997175110231921311850545306319233416650334538\ 8866532575306123177421298634832361904046157738812274832681332221387\ 8167271/14174395943732298716332184457187413793753884791266640344324\ 5653175663337532723822183892560902017051511876294449984679119153108\ 975346519*c_1001_2^4 + 10869734884411133421442748641956785998493066\ 1746483426712285623937981151675648055105778701759343933903451445911\ 8981797839601384080121775074156/14174395943732298716332184457187413\ 7937538847912666403443245653175663337532723822183892560902017051511\ 876294449984679119153108975346519*c_1001_2^3 + 4739194367039997193931406768948477349133199849180757782248187709131\ 3801580823633732872507830991456707286102488338505453285890507048524\ 8831521/14174395943732298716332184457187413793753884791266640344324\ 5653175663337532723822183892560902017051511876294449984679119153108\ 975346519*c_1001_2^2 + 65112988509936135423469140332491309610521133\ 1571312237215934810545918197872538003085456893425011916281940967107\ 8429861698778693469364958631/74602083914380519559643076090460072598\ 7046567961402123385503437766649144909072748336276636326405534273033\ 1286841298901008058367123501*c_1001_2 + 1530222850225144363100386827467716953266627162487299895478265771790\ 2147524474024990799829638837643935508898002712253704251635270079749\ 885316/141743959437322987163321844571874137937538847912666403443245\ 6531756633375327238221838925609020170515118762944499846791191531089\ 75346519, c_0011_0 - 1, c_0011_10 + 55250708446227184153006554615521344091081161156765037804773\ 72151648305176251111444506458295987963708999635753912421912/2300892\ 7724606084297814230486837409596513772368650513111968180411354411156\ 29743558297072354715626202439069480049218005719*c_1001_2^34 + 3328461853937648647227524379733998651698204588828438125013222278355\ 1804093860117734672699628868536950845574304333614394/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 + 1940564228981853335467699502665170855108217337451488388906603436552\ 41994485399204901878248294742025505626168925987190439/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^32 + 7609115947597089570736129182067902244737038327048706102868023901939\ 03210498191105085847923272275241967162398876026935499/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 + 2688394536311714476150745016479055982227187192106330270554893352260\ 000089093743838736052091844832735207159008260118236224/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 + 7961128199390466438755599446407618941642816298672064505578846221840\ 704528012848103516789284280593137164734072095356126780/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 + 2107791598228083050881091930450735059574628576846087442392298816288\ 0046970288062606618913008866433540884448189025615998386/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^28 + 4617595619783285820784798115185994924446877085363318877402367670867\ 5170552088921864135011194771058062467901851369366333299/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 + 8762148539774938590241640670577788015049205461954215219749842284569\ 3576312558607421356455320635666951237676196186431064477/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 + 1586608462857282416049743384759273686296220520706979302758462435605\ 79509264861204447957868016704662880001210531020661687960/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^25 + 2557935945664390044222711780906668691719078240886202475868162485587\ 35447795932070988342578805724702571140562645772125722543/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 + 2716409363499285358598501260471996327957930066146094761353587354315\ 45026550537155841803033284166573789886744124433959916166/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 - 1877376172865414115301310024590289591257758397676375406772464531891\ 7601642214722412007043854696496526228111923624430913219/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^22 - 6131220073405569755955313586771935484105161222634717669251706404744\ 05174080794434476439965567043082663779207586078566654029/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 - 7275665170803550202423752324946892953181320003991015500255347858043\ 51844606083217552010406505540425564993970259070452360242/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 + 1144464648737314113269188129415003398746062951657579123975705915698\ 879000193961982771801662347500268046691845113133374143638/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^19 + 4923523293342739894508042977260532673775461636925212005898086177862\ 757314425676066844293001309628937119493001765660154228179/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 + 6327446516191253447203167501693301121069168967093029168088097341397\ 355502199041914856603385139833293967625717162098200560587/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 - 2484940559325961455993784094846515988569273741617187847566686062243\ 14036755194351226047949536090848564283537078227179071810/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 - 1386496831013385926948541491354905204231122578166163728617390250197\ 4067622350949140755324919827208541806599979517735939851969/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^15 - 3133199394777200327515133746366854160412330609752398536434750175174\ 43930014867637841467469720588637573818103216842428988212/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 - 1483968049426894167957030669751335700861921213126744359375767865791\ 7208116478375417439022687924808572260838013714767709211195/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^13 + 8087112308337992424927437003466568948777418848362246934910363753078\ 405607632114745145039557420301047091323119435195340041977/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 + 2794145113042336557830753398919470859162347271262836859838903237461\ 8394661798331640750153827032356915129219044937827376008815/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 + 2796790091360409044660854173520063968897253944662838722571420605503\ 5792214641976986322359005172626859193625972270588352037382/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 + 1005124122348256310041918030089749288021227494221025501651692716809\ 9116355220785567257671783475086444941579148950778703151860/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^9 - 8967733251321594630797972937736929199698547808930211718398019005747\ 374970758163195726233269933031628216258109636970679095875/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 - 1539599151636611239951185561985499319553019136755981249739384265000\ 7015504398897203452280001378367887738757421075701219252686/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^7 - 1006716848939273950519672023786539168300791158371282903960161886179\ 7284845893751230677005240014019507705942528988091511820878/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^6 - 2438946905425394895817812514014904900405857684529752530206928316532\ 477159924142226845906591609087140360813519111178731192885/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 + 1281631636394362502358051378159096074310468278958791926158839081472\ 073044336657882029908640963019703080649991441325446907523/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^4 + 1426493329919099784171178955072810054771701278474923525627344785989\ 108848605262753738897643790233523459592391605789752244889/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^3 + 6385732946085306722605367603865191199383761801850819082084838122895\ 09374851269651891851788602964120771032278606011666701315/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 + 1649434404526198818511644785311306060290392250685684333991105001079\ 59627880799425236542645629256579776665492985027873185033/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2 + 2132389535196471096154458308811318042329190269794767655589545232227\ 3006216117458625301518420376775128810076976962607205011/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_0011_12 - 41663080055527654025032815984728308159402645266412145757571\ 88615950732498334359204199295352771957771151673651889379924/2300892\ 7724606084297814230486837409596513772368650513111968180411354411156\ 29743558297072354715626202439069480049218005719*c_1001_2^34 - 2477963883101477395834442501153656161599241557585154789121905845951\ 4808226226480115826985727670480443299806696133173840/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 - 1444813988437508201813789170146908812601377081012714432145348925110\ 43920895761881414366157951171534297387735954704648064/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^32 - 5631007984030919121022089537380807796114260671694912969141824211122\ 67127466994629026732361654867760683338630038215721341/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 - 1986268932659988240623885813130231650021092170134511656257751998556\ 272940744545356453087488838782015213721551830728895791/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 - 5860564965362672601149321450045100587629959963382464297916238917049\ 144574006800279172475973736090017924279267161652561376/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 - 1547861089570741026445969843827198722452019249224304173588015483833\ 2868065280731969583229868261640346888269424030109102056/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^28 - 3373770494471045211368848439655478404626634381492520668469821935329\ 0331304028735967754906853709744996169325008308402551250/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 - 6376572105019187793348393170826021027613416281529807054765775681649\ 0696427866943479376393346129665131685414239434865616869/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 - 1153953491812671579680137059704320121547611386679664111059588191656\ 06493605759870882668634846218659210652680278682237099697/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^25 - 1852671167340005994628189656571971892172800278507637028345378262176\ 27606753619969921897021852965192346279702252652213887628/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 - 1928119315305704056171895331339957510759265487869977024697518878207\ 04702596983711536144372502274865410672173293898201393889/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 + 2527901793732054476961110143909076185319991772938894146665334369572\ 0075966972729997593930758977515272235273495265253373596/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^22 + 4560170853103467873804704459814754277209072197090591218051785735261\ 13477594300523119889835593318842464235225572034819199189/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 + 5130743025764066158820004084586217710823068827161566090291013564669\ 73885223193888628526643018145687675329235477322856275645/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 - 8929229297229368910319897216213409166213532192217717106455653249037\ 69784731512347190588163979716535313532157463123880530324/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 - 3629433350343572176399637892855399741385892538374169397357329214874\ 844787338781360789679590783124311748881491542275699795938/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 - 4502847595011559915736478136504980542693329448676239608690441537649\ 812933054802099161835900433907596720885691100623165758189/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 + 4587849582405321454313909287879338646703186479842602739697914001436\ 40058006722689842537598546467493021679895097941050395443/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 + 1030708135566618677748175564157552578415191067426420337954575839798\ 9480209693312952532358657202817152561202260587553447962756/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^15 + 2252199974144683966675810227666552481152348547630164876191570141857\ 03332454609557591374762740555915108597825150896560104589/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 + 1014616550923135243456562581923409979925333540187954501320566126725\ 5464553857828717885462599734062217058425325112426218201894/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^13 - 6488241212055256277207068581841994689780609111061653334967231543933\ 598428229160895634588830263364404192527901303054730554635/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 - 2031882381032006886064184367754766621200899629130049869334748726498\ 7711182210838985557372484749362281052140683960110040487561/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 - 1968688036640375884623430543223901186553685178877529096819674613101\ 5346840532363055008219817216885624690964564538915304681531/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 - 6562743193195177130328020152007869258349949129151540828615265530114\ 282034091384299517406490635551260876863735251316649372966/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^9 + 6806475088796976451702155809057650905017896452484740891664699238310\ 492739097355610712160255017319412983538234996876786502302/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 + 1098029293565555747589451248843221240624416778117212885278930010073\ 5463135323640873946551333381291262272665723638371088982015/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^7 + 6959128956533166023451692107280202567420777006243644439267176583384\ 391085216601189039981695273972338019531191643374467310372/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 + 1571905755237246015951476148453981386000523042694060950398019740801\ 525667030993505218269058694481675932290728952761035737124/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 - 9575297319520199889999995484984754593615528048941339590688301283313\ 76484285721221557660307858118783304702502058007932453335/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^4 - 1003289469454725431607775549366904523867057335523054954673019916789\ 233354396837989157562014113984870758485346025464667198191/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^3 - 4366360019624506725495394993027930162279913559449709533801602528100\ 26299835489749088441238583580015314298931519238301653541/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 - 1073426857273096347375015433208486118932486838375677575190862165081\ 24251173528738151320553486512156801755722229502335795608/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2 - 1235969834935120623919617910444804332068964807944483984226434954889\ 1750489818754042508357336783297314372872722462345380769/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_0011_3 + 280979405254222933642845465309611441775028360946716509489229\ 0120494411881674187523430724288722423475910715600381256031/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^34 + 1897895450823830499663925339618653432114947309453265137054766456974\ 2929146615943394233755476963642147677861920040348294/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 + 1097221065386405568247003325566858057666189222674248167621062015034\ 78978984761682138984759782580603688490506845583473365/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^32 + 4516228938974797381574481308761219443350339337285319815726406682901\ 06902907178876411904755070585893839042140691074459593/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 + 1606596986682434102730907888055817522232309310925524113911107860708\ 705562612312310554706125217164342192675677353343167184/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 + 4884108595518034750764336718205371098306431377920113904812357030754\ 750845023189554559050569397534904034264193511641898087/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 + 1310657514410451877576278879495764565731864397549423411539876234681\ 7370383916786102754003697218073938033966123460686702143/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^28 + 2966551918803069299142119097614973354202658171811332880949736198208\ 6521608679135249280077538484324185251895708804609574677/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 + 5742718642876990934355773931743097220624626820152093805188607317759\ 0102196754950934666848393796620468720942392658283268366/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 + 1041771668129483554151606364208776648582962903873848321590869015533\ 48952368460968953884343226164226976527487651560935664423/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^25 + 1723407246628726953884821516537188542830910173513009182156446258203\ 40718606887791222644732079031464047961273237686861601378/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 + 2031365801313212163220630267022902914893945973447144617157931970226\ 90757875860230127972965810188542404571775864017088474486/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 + 4446189894675701761856257099093820494229250224518313969568703487456\ 2530197615295623843806013215803696056803793382431018226/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^22 - 3609246171861374405652653876214038916823044772947618744505968627658\ 70451176436036815371684586918950316895560167727112485194/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 - 5711274770555215517921942508104761108174870369068578909112226232341\ 25266057545460616581748822850157819497930422864947868163/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 + 4491551016499013139422268778346788793015250390834218721533053474910\ 92073457673627877778101288984487982566723831997736727524/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 + 3037650289991258005905059913549107890046122034249396544638212373640\ 574985832526159235340118854666951076888420720863786595439/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 + 4710814855314556814712468099121827647920010262798625661906059490463\ 779842439030406240702798826201220588244748280422772174667/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 + 1186930796249244228131654054460378920625762605485796379849893559159\ 769228661640341706120340977125477191811069718240526021047/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^16 - 8161594124872444267184512985267026183267118579386344073123847653866\ 544284715790777055825708310174780999860375081447998934531/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^15 - 2216913221103207928656543787844966832941349138513199735690153765794\ 56016383069149173114835489003364204330555523746584914406/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 - 1293331820769821454388513152624535033695785411391388685224082338190\ 1533361071272945596424849309854615508649516605617105630750/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^13 + 2603465745815010010862828832193673614746569458747398400463523916812\ 116330006537874102922645423896831962277480986698707842384/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 + 1873214045362207377060178904995170152445624649916837156236896950070\ 7954252767429820212914246704181223215885769217792479595861/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 + 2175490244391061480869176022082141620573171318103383741674366087807\ 4477332444353268187795391098512196410387454116807773722911/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 + 1008677604489282382749189025323457708537992041524102935882130443694\ 7882060510902209584577666546787188191648138859139216207990/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^9 - 4831843796884572926604131631456194538413278724754991479192701170987\ 757369378074819260299905179320101135153921111938830226653/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 - 1144007060725948885870132644173337846727849277527693647018457113938\ 2481619242188315384349370602166597540661951024417006493872/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^7 - 8411758072367572360537601603412241653223364069283470353511110352208\ 127426665194974003564429050827581852242822758983548465394/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 - 2454627612831226772824183082201006353176737067011909222165911301890\ 533868326705779485690859121159592609554936889910377767644/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 + 8545583601646721168415491262885602887410658879352719967153382117508\ 51693895796154437766003977791008651394307865223313646306/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^4 + 1168721852544017019255132883955945163234964523646492307839155535782\ 751766350933241274539667171559769137458417585866962521718/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^3 + 5308017589979761995346446937980198526598140704439762196831020299549\ 87347029278305458011410373455925002105199932516485875277/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 + 1365091952844549184316011520071261212030663736057363352526065025330\ 06246252156139712341993001026788479674724656206121208414/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2 + 1861967599481796721937384212554671403219258581316765055618855214098\ 2219930677797549551375263648298510300377716494080078997/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_0011_7 - 211018706254846144579426792162035399624423435638400081601751\ 7911272252847384086875536344601971476786835797205930569964/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^34 - 1219407537653437830215389633752886289624947949496231067345276751803\ 9319428820600120065236902516827175069775946027483301/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 - 7177992659739080635037901383034414227977113756225856310480521992277\ 0666821612761241338584974417857490121785269423328308/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^32 - 2766015557597287425059221745077838721877713501504474249844730643289\ 10372511806872746531512944150787028769681194581152457/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 - 9799722201046105135375228099373050922856380522749979466057240729749\ 50128251173162623686574171317518258287295548610938581/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^30 - 2878917264835226250419061939580459391747125796945584926127168250193\ 811897606109403276016250084633566803514704407965341993/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 - 7619122019451077859763797161403963896686546044828539965769260029759\ 925385164270427815968425617209893540368629141120941585/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^28 - 1655755412656570058509250781040569081615551781410155785848873408630\ 7309551497094991464447009551248943050303024994849602651/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 - 3145773801807238439063054355685616833693046520369898137821551243854\ 9740839050104296280618280435044170922459079740048474816/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 - 5719021652438477442604127364473461440743838130177335200202658717636\ 8518375962268378603993211075113065760242436873814853122/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^25 - 9156976896872556267815365884038338802928511073166006444848630784731\ 1782912153701254110025765085423980077791169579143558605/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^24 - 9550034408830945733762943610812936711839895096687495414966104193612\ 6475110822381484719149488314166960164900690826712174385/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^23 + 8511395717104936961721196792010448801019997632095712387759889374484\ 623451422167167012434930561440221503078863727049425159/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^22 + 2128939585259922072163023653404769652177363601843751031702724999452\ 31532159676578075315306195507213941236001551883684258190/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 + 2401750120137516052714946554379434165935095153033219522230157772793\ 44471779478514895450893581599189917284332231080654727210/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 - 4294595827895391879023084598489491532273916780428545792575916034304\ 36853365354715735214659855962402726566493124565915492442/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 - 1726753670854634473255230971517448635606373439869864791631672051793\ 975524203660644744005894064393954532311201259276593273548/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 - 2162710100517181498105950513489348122035521873131172826945274400617\ 244630304988128564203641876074112681665285124263753025470/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 + 1274731829665330739896798899672819447123700614050060766447281111264\ 52162340348735899767111201634748592247153184188232634675/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 + 4801379458538810171473853646856675121228554480882163175859404103808\ 913548702115958784272158758756910177031922685828256384404/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^15 + 1080804380244091044619231564096971445159660551576565522022884728141\ 67217929209727064377755812480591611978407851377047985512/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 + 5236936962540579013357075683061973579788870384756869721199251772907\ 866396550799979386596354596673427298582213891956613957598/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^13 - 2526027654812613917898599086665157914603951592500563385915437209178\ 980478907586120809298114194336668816379666843407765969212/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 - 9447850014991874829848663717964569766550292884511611272895956741556\ 158180560028344563590743531777065774928324983136940000754/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^11 - 9795793887612944561736464560362281905085330003468872345479839858363\ 461347686550911927629301040758959994180425355313233244975/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^10 - 3957650336558153943321676997513722670947982789102050260697781611730\ 713739278117944743500845809102417758608569638471817009197/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^9 + 2634347198091000085759213124243303910860789762731154698224455129206\ 422278785239908257072584818521404209802375978975844928275/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 + 5204590317998353787650227345657651836793613917141421050644391623041\ 221641805850846861975914114483439619733175245334576158177/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^7 + 3713234878935226364712128424250329697369343224006643766488093032964\ 519409801483945322559323089946403432356041525436165197738/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 + 1141320978825559120769584743766354754569599227993096091075669521975\ 717207208874709087482578648903361046152441689633675514115/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 - 2990940024954023522488908012878400902259534336523743959585459298041\ 59164737041650790372854056202070616101023819065112145979/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^4 - 4943482741356148987572000724170105648054439666508215313318081982391\ 73392092866667339180238953995168021471126044141290109314/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^3 - 2599347841640572603257851253724057011686321621397560502956335213200\ 47669746925983825641140738104324637776510352053088089052/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 - 8148238403376572152520047218711692266563459298290260904282549609577\ 2533379829040897075773836078066540283608321389521699870/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2 - 1450473057942118789809544573382148278631243316800655706102110090771\ 8696093699925499287047239067853023009495231338086866669/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_0101_11 + 17692697055849890930633589300269470186090274691139797376467\ 474872829991868530507761999960246416333958615640363535028/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^34 + 5754931262852478505256198082105521520935506075051291345723771749612\ 5577854105279684955471460769099886107716417403971/23008927724606084\ 2978142304868374095965137723686505131119681804113544111562974355829\ 7072354715626202439069480049218005719*c_1001_2^33 + 4241793102977572970487879832624840812626157232037495748449487913016\ 16620667517413995700045478232827533238676849964354/2300892772460608\ 4297814230486837409596513772368650513111968180411354411156297435582\ 97072354715626202439069480049218005719*c_1001_2^32 + 1272903588022546041817485728745938421093125024802812162371185739378\ 502050476564387390834222866864087723973445441765098/230089277246060\ 8429781423048683740959651377236865051311196818041135441115629743558\ 297072354715626202439069480049218005719*c_1001_2^31 + 4961437003710935908622560345793391485683743902363804197756229210088\ 038492533101663533480073781224132114831281959451113/230089277246060\ 8429781423048683740959651377236865051311196818041135441115629743558\ 297072354715626202439069480049218005719*c_1001_2^30 + 1338150007968362401190825296632447296638112927934578334963721941847\ 9960456580982670821044350125364451637218892893196356/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^29 + 3628947465844007112960502643428796534382532216063139768165617781974\ 7437257860410547232772373771301732429593680270679420/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^28 + 7393266866370267119237003954780632561304294586925540333326840166260\ 5792877340624007192326403158977665911888276325671090/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^27 + 1548154039620102452949242829868365354728996480112965284839853581668\ 22266501260993458241199066895277573810918940036381506/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^26 + 3120559891285394872911742618584287069203935221557068117174683731188\ 34089705622501934630295025555985786426482745566299137/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^25 + 4078030841984748733018273542489094073176091331412675931195115502050\ 44516064339817664924707983068727697341330082295603819/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^24 + 3731540671102331773865545616393401560427550256917109622508233429733\ 49226715181500365212548264236176453701562754730939579/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^23 + 2249173878445401566275327925339050936840740335526361799880251299771\ 50746178788051396038924361802876901700585130208178181/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^22 - 1428013814662464304017887439267464415323757901815204883643936257275\ 88251863935269285588219546814462471049995243438090618/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^21 - 1025211815590586295939080005829493296467766743129150538361942376728\ 622804628553726566145784765837502309201866403157073307/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^20 - 1021482096429304294206794021595725917741802605350988690834936829278\ 869158126729862004098339018210665220990105686079883435/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^19 + 1642259373616395382531731908798782600402700568660197525538192528461\ 278812809349532085226214029463811592139405799844668217/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^18 + 1014133801888867595438593783474518964980097946351705541004010687627\ 7762201259022305432506520834935904195314076082497905136/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^17 + 2055923538657847365764195855529122267738151215358711379806715216387\ 8952603693542322103424428991345860686016130435481671086/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^16 + 1262615269926971999340330190692103390655026962152670073280994146141\ 649851482589010005839532541896859696469989317135144334/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^15 - 7334592475387630977529944005258298548451614638053763149657675712776\ 86680166718759741315484246836441192527665129624866883/3151907907480\ 2855202485247242243026844539414203630839879408466316923850899037582\ 990370854174186660307384513425331753503*c_1001_2^14 - 9288469548334713943862616199562909591104355948938031113887122140018\ 4681402170485980230559036400242718385909239842403828720/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^13 - 4518663540944890644617011739423591017486125047414375683102963262876\ 8182379702749207475731211058112435161467974746312913710/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^12 + 8944087882522759298185788139470323550336152307735998187207698194141\ 6117481293054647223330281639014155429400273166867961170/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^11 + 1701295746019403182968784200089016718484910316736989205187227540569\ 94811217602685359866123887886669796410131121346913354417/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^10 + 1073636750481208825906678062466065612687824423262208875770095304544\ 74038654058821264687971147835777538523273347382475837737/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^9 - 5142309571686459613122556635167747786644056032268550473709743476513\ 3645965917435244565861059345820108540044305517905523806/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^8 - 1485207908534626885481575720874076381305356630395285045456123121202\ 94032704229928718192733695050217886374996662595170327119/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^7 - 9900131614340232292202245900283018202740439894958265947726721874674\ 7145945762078529207580250844697103147235760516909649778/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^6 + 2064759285820398367711686641724504709220342426393632556089295028151\ 260117559840677504470295144101169797465680642222038792/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^5 + 6030498948905431670114328283837719867218693424385371134294041447131\ 9126891972457442169350866201092047166069793170523144171/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^4 + 3785213844459772118117336513951079954903761988338582619052743832588\ 1586348960639028429566435852202128769196569672978475338/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^3 + 4254671433178741073410694726304441518690776908664945653374153910219\ 830039980812604254064020258554458658318518833242934968/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^2 - 6018201748319496425760705452841331228799447156795024651903429404619\ 890581202837754940568222536583618519561645893737195125/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2 - 2953962942102766005018656089019260290467243808078819300094301385198\ 723432655348121814552418776709252334677931561073040913/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719, c_0101_12 - 36244908390059107432271244514558623434174911670273340454127\ 81375203778699854515386233210077512684450313712189742777316/2300892\ 7724606084297814230486837409596513772368650513111968180411354411156\ 29743558297072354715626202439069480049218005719*c_1001_2^34 - 2240739350153030065280641071712572909475998055704503723653794561295\ 5222515282169409084705571393908501226121636143600940/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 - 1303824935671897187220785994951324726204377427699453319313365244762\ 83856447015161785735433278288977993152983920700864218/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^32 - 5172865176044370386272008845186856351801561270145569975263923370184\ 39084116891306597545007977744973107181512746093394992/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 - 1830825707869305912167622406751524139917155080568868064795854041979\ 356231526952736785146339750458474935471465725911686715/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 - 5458027085680208303233104238733017177387845999738767761021831253168\ 157706461161331301769711319023428748975148148614803477/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 - 1450174394323678555101468930579739341050865682634146841054305113900\ 2767079057333394716199765895139516617911780287050918447/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^28 - 3204528768268065927789260281951521744626716503558137134166011753475\ 7767966428909769966920319099014434633594215247618458253/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 - 6114893188568032458721914408987602259602968068935763612110494877216\ 3362320785854496741700505249499266928257871978590425603/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 - 1108336314111204632659997076597031467107997309025486221507276085463\ 30131958823139637843961251100124387240771211720250360271/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^25 - 1799784804661604534581588257676356835230439770446928486262393495673\ 36531623284186721970297413392890057170083384053240881743/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 - 1970084871476614959220123680963533919255315849432071098021986058325\ 97913706320970297331962119169162278226156439308055293561/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 - 3957264029281972444876673983965313676663498473931345277736019719153\ 409914358414404506767949647127282976919548641448789561/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^22 + 4141733008389352630723268562234437165542671961789217833187099100889\ 81587215733715221109803786096980494914731600145571010715/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 + 5325612070202003007471637426003688743898178812420313297922834816462\ 35758390540298979057059621807143948963054154229982327733/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 - 7107749212133700476267848372137879463570308202099905471644888441707\ 55724098945079934148168999013360650040161483672828848226/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 - 3372230093815646631418283050302135798695054267946178163938121513227\ 599791527355369702435751645643754971452717285822815123407/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 - 4567005233893979573637214850022658856799487983040269861895299343289\ 393290094970986104563131893406348616841413503244419190729/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 - 2274087035916055702486967463074534446013896976001284803190080932447\ 81174739396854025122690997380456027351738973740740227797/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 + 9358859562903952678471142597904952169029190534987266280403045555870\ 604115664151245077849456090111036412852074379067699924088/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^15 + 2226864245438139119776286712175395747422811484627509150381256385893\ 88551119688041734331008824467221148102408457267164259749/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 + 1130966838215514425959119458006651790401204320980667920102949965518\ 5146122664531510580170442720801591070029694636012806275070/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^13 - 4736688411756013704995918875982882444627128112034686112613139850650\ 819956349552718944699186846051448709286574000960161703694/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 - 1948633725641782985326828709029882367467002550575510211322346408921\ 8047632433741872426809577966761159074389281510620260260004/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 - 2050035030273484695438441750011028320592802074726406658358222043763\ 3541725052216773773713229659043429126682966667875267370924/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 - 8166009065035067554101612043857870295848353508004250839780879464997\ 762600322718060648868123756547613412998381467358080430480/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^9 + 5796382110129372742668929081368503791657840027386054615844458073932\ 746192769494382555379223653705805278442221528344009744022/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 + 1108057264234369333490981690101142671338951783218602950546459004610\ 0049481442402138655904004479890749798599792418328458793284/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^7 + 7609871594821679635429690007689206704863468913154583073876307016361\ 265432898265811037186810750091072529404297616329373713129/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 + 2021824565443784870743988750254862785203792802460287619584151398363\ 505654927649889073959370612609328175120676995520841803773/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 - 8749594783566910208509459958746023799718821248588453669494416743430\ 81376911274900849112559185445988814929463741906964170822/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^4 - 1074185160116657273474956355201482995371549799630611083107531339437\ 775659035438223092694935271084453949584688396381422929446/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^3 - 4854964174131295484130583471143700191880683710432130268719074067828\ 08471489744639566901947405416430854807847137030292182955/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 - 1192991203324851329032938594102246377230283711982403182876310508057\ 77828850261222338380909963763398420422272443406191823092/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2 - 1479059737061050865712639873380191726129788307643934059168275337477\ 4267036181791035536513128445716605818722825144857542300/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_0101_2 - 410000843879034095104140845419199973984698766455374890757915\ 4009337048133108750929550251102507812533327471885762038699/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^34 - 2447841756202268572723723583348799741962533003671856577362884078103\ 0395180284246711580687403045643578529804118078202046/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 - 1427111585381671849831274253837904708092233058791982102281536725722\ 95664344851198466692999011654788944229819257618388346/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^32 - 5570750705351200657429080551284068301115477504886572869411523484263\ 27741009170285370063866415624441427153148654419920066/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 - 1965751225180663473612700108997239818110924333105633587834077536118\ 410636781021886251916609356773683800651203787088978499/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 - 5804463175995464541839157873153381379662021871105963673697981941082\ 973793727194378186544953703075223724817986863543324580/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 - 1533874501314822285364629218471533727240452055874456382771619027363\ 2196236418749937794414675047104344998269914153477494794/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^28 - 3346745330190566872937493669660264656051842461348186958121257362763\ 7413015888551512231099007856487850387395167514509885056/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 - 6329538828281367939393155801767142274195545830033688437959045698325\ 8115447154278397567623399098444413487898489664549442818/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 - 1144872225365426855035677988532947791780479114404047739896088093371\ 95061816618517124519288510954020267510066125445887925960/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^25 - 1839692663349740338413709002437832789921273007929760244937708024287\ 61654568319919086172386155796391445677991045632515572719/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 - 1922446937931333786071798082327886911809688029518039365018033346982\ 00636117232783163512387206523869767244775813031855763426/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 + 2340517032296690893195741240739419354398135182972496557045322160049\ 2756085677820931151239509717303157435395570592241902718/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^22 + 4528002606944326921270989553494937123066176100116912122449639211923\ 82635888546465244423346909483406903958824273596090889160/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 + 5154801674466679507419655583086063819642295049549905223054553673351\ 52209925065656600876190246604990807476064978894097959968/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 - 8752430654126478439287402331896726119094074751613369000154528939935\ 12920744667003317824281608475706474255990490468575259853/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 - 3603937845640203331842850487518470560953228253471496379214120016252\ 569905958543811994798633376104510797625679410441581883138/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 - 4504373221525122691079744716660524172308687090310120131008676121487\ 724981536241075069165149629366961088566546100011663192183/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 + 4124828048615015076352466875598856826141516106226847407265243433151\ 54629545172334034642226212914130705895809907708426477713/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 + 1024414257656086720283473261633485398475839706438062701218669831600\ 2010386649671473171219227273774318428660063941813760069947/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^15 + 2248602910661418208225901469973182573477962924406788990516643250456\ 68429636524335394287685956151309339461464560057442817133/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 + 1017045756481336018361966372540521787268358924847114402124940935314\ 8716955080569256280233713892989538745812563055767842028388/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^13 - 6463330474342144296627146142535303282882530109852491667037750177602\ 191013965848887209376397480762904543293108622218370195925/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 - 2031208235867160086698750886796324063406131299351137302414083966047\ 1953963177424886762782450047384779710371554100936171600514/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 - 1967420629285563994976623310295413528126737745606392762447195606671\ 9942626165132873024397192076606867768201874585340574295664/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 - 6508051194770273708348450723697073993171926529676920334914891964691\ 644318827837167658733516921077558906129865232232012075880/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^9 + 6877958798139980997257312803087147023070382679811250460108428659493\ 857114787418584326254573806390036371991934395217189822549/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 + 1099885958859477563371845200932303242102527727068892892745508924994\ 3026462426746478374600360360156297018816824868702509592997/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^7 + 6917538499712212298546253814538604463082188757073948205694490431880\ 639149304841771656076169788811189790178882002910630299244/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 + 1507891633352009216415852978687517095059583771083407309653481931962\ 916714983718575067858512162301370801372559082498302252977/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 - 9868828472045961539247153869794051137867684256144116519334212622200\ 71600270787729102965715390360217506105462081889953063341/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^4 - 1001059077401750009509362738904677494053208769236704210135821058927\ 040952047319497977240374705482228584286646341088144505067/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^3 - 4280941846768729710809969412065184488497287363673305125896670086594\ 45430534127193828360044031335591485258269394451382204608/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 - 1060973879091170137631432121458651725868938175016174670926062373776\ 42730538687811901485648753122779805263372448101872768170/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2 - 1228806061897207003081804370137125223590616855722041480268703274313\ 1661852743074016580019497745557578174437994630392052397/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_0101_5 + 343849589075694279243200878673480970368619369036396042282511\ 4799415388113809060327567827909974289335361082409625885686/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^34 + 2013160470649454074222064453578655510088016160560454796376706443162\ 7603923626569679712626043752911600109643461197797387/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 + 1177450451126037390445208285576084329819936833782670664153355237314\ 00815493987239487606123883023074143879217094537323539/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^32 + 4556785598575156651310907538204215109374724144034543951513706279970\ 54617231183051229042221793740939519732857991336879894/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 + 1608044271769356050950482924577499563867093049676805366072506578600\ 178293380845041999499852200746069561659701349211615561/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 + 4727035971835528362909026395510032013580601842124046549697783292289\ 251147196100617721946861699644995501968641030073413135/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 + 1247304187912221932470307866289987977577470042211006767014900413004\ 7413010573555399836760545811283597201022840712755858791/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^28 + 2706946136532866503670306311483271405263283329397235591371549899703\ 7320384580183993820517829516726964135884644273782885902/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 + 5109408511528677019549212063543564047251388728368188920497769624763\ 3810453794068374024389050131970632467607849556985362621/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 + 9246470983362918254779611020451311783636555870449591698280399728559\ 9510133425882868517908486791380971277382817219930062164/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^25 + 1478344280898454970428490184474542750633460717271491474640728843098\ 91615165824315269687583299830134918805605785119176477753/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 + 1517307754145717278223176449505868096738861293103235515922490314608\ 51920328843970726675143090302063093344376197148595808833/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 - 2553720107718195690161023838028157243965933293223360928747688415467\ 2136838117261632119065056437976569819111189699823648328/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^22 - 3678292591897178715024079992006555395905273290896846603710628157715\ 50301867657078269616737118792816001370146811028488589361/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 - 4009752762606493254791896606005160622095315697630284245211284788320\ 02942475909798140238874410337613695304757790466463559415/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 + 7414681389846813043459461717171265950613101034287717589935469889231\ 46642899066568992312793173665539157629763025828566744306/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 + 2915225572192915924143933075669860830312259518251595511120832243864\ 542793248626282094699370258652197683977101409180240239390/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 + 3549332124931446582190482548147313011056306534831709935109302009699\ 219442711675190590348915920839346284416557611831598705919/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 - 4731222688603977685491769693062064980728596188419025185136219809401\ 54164581942340355562594267327658560721876582685453973779/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 - 8316427982865367789172509484484586202794796239193675077210272784950\ 934713270436265400180522392220483952404090885309660870236/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^15 - 1790170779455035777498460081326246387077615537575065474513140995264\ 06854711454620355304241025592484248098835543496726201982/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 - 7893728924004520948706935375147306602918972215130752146047783011943\ 950227704029646822799155028164966363780403668786066327988/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^13 + 5401510658099027165149131495181592369390249925856214728176422580875\ 709130208245959163596991352547331481344052329281216127574/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 + 1628733837506126474171411362094010051113324723158859717119285413254\ 5484210433144944294498742171740370073380017087739346147633/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 + 1556918563608848352424620270001907349656787550228699339650280551340\ 4559909804073249944677125773846673010074035059747381073739/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 + 4999123296456538642494896296989623711689263950607257647929672458012\ 751828580361916073733492396744940173509840233933328127174/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^9 - 5606995454553185723188019399024683448588773160757179608027997346718\ 686592501587314280639346698537443437313714987252825315835/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 - 8782009649027322167060447151958732088790452280571182054826350566861\ 939509939193750363541297433152487461174580670865257011119/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^7 - 5466066296286116727961958901737740550079482990139735724957617124316\ 036049009496119740254801193453375809765888792157155896222/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 - 1154587993163282772589294909249204155857003389800517469813005388340\ 566961413017294769753213203366528632280893335529025483352/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 + 8115645627812021376703949483923851256022328648715839050693960052096\ 62550747035879209512728143043959267592733614865946781903/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^4 + 7990282666049483645125230406222205488246851386359386075453802614626\ 85654351084341471591083844994768096200027085899689724741/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^3 + 3327169875931542338122632840388646344383460239995432696443915222189\ 54705569650552040579771433724889516939748657566988805307/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 + 8099350953462657991700016277967220372559698803784439802987613549610\ 6715067785963074167580619038667243413727951600680557196/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2 + 1042289520090162425151648037998916668281551380942671325291163268188\ 3433162648619761692330367440937714911952010016959164477/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_0101_7 + 136746130416521077490704770679849324794334825350116134107234\ 437750537724711543315146225093349274346720239142695983208/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^34 - 5092935375363218442645976510462404036340568137800104357330536410430\ 07644314760736179484327600438757883380997562877331/2300892772460608\ 4297814230486837409596513772368650513111968180411354411156297435582\ 97072354715626202439069480049218005719*c_1001_2^33 - 2494939661508849430179026343510524795750807388524509623441597116678\ 289907489689821281211457446096266375167860036101981/230089277246060\ 8429781423048683740959651377236865051311196818041135441115629743558\ 297072354715626202439069480049218005719*c_1001_2^32 - 2400101318737182030841219531571192895282675742393789599411534857773\ 3410578005700569290523392368672427878074837209012559/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^31 - 9372861454754056820930338718732306833099616697197740541511370798676\ 6118321002542458571950617081902980384288874989849155/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^30 - 3645671412070434066869217927856780449257290846725202949435886142687\ 02367210534373913432011555969635653672697989718290830/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^29 - 1095270452097941647142873673448719649316070572446911480997648123705\ 454872069041536391780856466451816356787761225426719240/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^28 - 3069021001621615612819323342644823762259104653941579926871784961258\ 261557465148951922220196230603256001471472799475289625/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^27 - 6704386883884063760222140921276926099693110207264862275805270200507\ 801040881731125500831013938692837229399468621975823300/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^26 - 1245183893464987066110343406950246669255722494605766532637053829108\ 3099095975467145165025933908628006600642716224684106325/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^25 - 2320030511915271575875454544676848131366290879034499394932981059188\ 1860669588790426401034521144764988022498878761375243959/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^24 - 3916545797822225841673264933881135211310807515817662915279857994270\ 7403380327076138212235721168869740005013602036230919514/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^23 - 4146821602923712114160931051576009449289442058130284055908996648044\ 5344745348602730520804099752207102682335733671449427213/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^22 + 1074584001687884220448122306225541095334104576433513239072277737480\ 9992603327354131616130005640802825004261153146142255134/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^21 + 1148962875091417777695506048891316104008189594298568104096663434919\ 80132627213409094658599082938078798557606797729671830959/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 + 1329402966856904533883758736281354128443342409909992161379602333245\ 94704313838022395957741794276729516628239546365464664564/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 - 2053772192071385788772972331341827652980080082079916833207624444961\ 47763694101461963883726443237170366990443046730615373210/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^18 - 8475506829628039706982603099363500180008126197804945433598892594466\ 56829007429776693621348130789551028286249280595442483078/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^17 - 9955455557723452816692470999736029172581040576855734340908841860855\ 70850488491020145281331974086692695791064838542582701843/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 + 2188882246604958245906510547655812134333899969507653538284563429008\ 04505454342068794681733855479061580475971419060482503170/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^15 + 3346058349880270747875733980949345711198168417190742638855486074106\ 2616441562621418572849885822578005050778622822206332996/31519079074\ 8028552024852472422430268445394142036308398794084663169238508990375\ 82990370854174186660307384513425331753503*c_1001_2^14 + 3553555909156596196995216568315152828231540447928036572549055175320\ 326618925508963076022009170992633406761188028160810216676/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^13 + 1764822080167346141949860842315054612880793993815425860650160396450\ 073903723616917552178044314577061332586544871504471092847/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 - 2006500677037171040188400038527953461372844577208407720845315214100\ 244950805924197310049366606598358419127294070217236451873/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^11 - 4624855926460270783146908550367055796550540577597352664110879060658\ 094726222833735581551537664583319992677876380618398643472/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^10 - 3793858394322614166707059262760056454142147795528136789155812754357\ 815676259135813087698380132720383228089221918609470968368/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^9 - 6223480847354443740856549823937437877494062043467477153762744918380\ 41764695045442819139135258972918728308256758289922089458/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^8 + 1988173960365493301334379487701782921635265357092327528000562375907\ 504750467885575157399928476764394921321662061118761529126/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^7 + 2316517728140594947664537955771724690080923827257852860258243423723\ 709149302006507133558473982678817845517220523968047558550/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 + 1111539472678504458351364791421233499658765197892720923833155323918\ 877476973670479623764566042002351974057272626865536399336/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 + 2009326427832884001245733173879028935377832504718632245749120680730\ 9678762746052859000905203641294577732642949033419880635/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^4 - 3081632962566660578276729057882195910889899976074713540722948427023\ 38067899737094328358156691225547030944608637313355790502/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^3 - 1817040071811739816838185462382797367240961644596300746508768611409\ 81650751533261139682478365799205648392638624366035963819/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 - 5016283601613129405209936308954085311490808667157438836654703022360\ 0920493473504822012206126023868004957662881221206971271/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2 - 6649545251690791173882423235034218225936920151565729240837689330226\ 455324461655048231174805446461517178507772067056723604/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719, c_0101_8 - 240240967259132897893127120173015388185340984902981123077984\ 0779241730544854729246815061085533588281123563079285744438/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^34 - 1449818597054714738619880640537712290222728119811701401607667897526\ 2974187292137382451900034719370231948817524905424257/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 - 8478442311209010424337012605076390948605396204605968040245725628268\ 2934769020679542120308093467106307300389914999252626/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^32 - 3327383159284294179148489521079489248847105249209458116144440470078\ 90499219479509922299299702203302939959118730026445182/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^31 - 1178694997878821426555323389405230921483594583354918008903643503039\ 306980117609988933110518458652469698127442150489181837/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 - 3493195200331250420143262079443738531974063570202634350180042069856\ 146281191293360273811606478696076186516885617170499419/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^29 - 9269413137632991287393106518647148779118550981466076196125800107236\ 677836805436452199941067222757846103887220820460452628/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^28 - 2034743462108263245585344785017305872316270021206175187798693357249\ 4952509609606351818679225525305512615261108671713643198/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 - 3874317573774677641381009835869261631032746327155625579595073075325\ 0799544978524248379443680568579070652075240960381610881/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^26 - 7014364296945315258686603286224339444074629685827604184621767804585\ 7832804077861697663710993930832754251282520651262862382/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^25 - 1132468451970556093210094803616405971462604128212165293487652222208\ 05476520348844862902763156954629523375749070575026530863/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 - 1217087093519411885802183564241432047242763589037615046462864541414\ 10345068046897073904143481586396306145400587041518973466/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 + 3947095543094342203187390321172119131683519112132652510596906403652\ 862699349756899902971978447632600309155239195280015936/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^22 + 2671008384993184064959638951432484119889471805961467349397793965185\ 03260789255005487678561351551337843770421374803592911511/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 + 3280293996211294286505284100847360764264033771249380756420342312093\ 11279994024690744269442184443668059472486580455887009559/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^20 - 4828573278886558750536727210889134486470498474573276858066358360670\ 39856968887526219597333802793971433456665568814408760933/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^19 - 2157177707859825375392084648960472023601784887123549081016494386719\ 226912343950584849005094910633583460570920678914869203761/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 - 2839192336713750905478680108503949029681116966623337256919448875975\ 835607645230592315684540783069500039951387718979915805397/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 - 5742403741201617045137423231343465269430392158906967289685576357105\ 87101059809937429072508385758238596975113767251148572/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^16 + 6059447872857715969835061543356963040532803985695644008536357867680\ 000911373161360131260611369759827496628473296370360638596/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^15 + 1398291831498300655639524391655722681109055126019739049982365688020\ 66494389777156167669371701540104751451893717062631549786/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 + 6811900021765073029308932564656556582369737107458415171489362412992\ 204210044563192066750989995062272643446462643842064799028/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^13 - 3397408953744415079960234620156041486055838519598889299990664383324\ 102083865153295548046321403309670314331241108526894658174/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^12 - 1242488356939745438220309974642393804535884005820608252086568927029\ 0437206388147222423010805165943806756985543342404382751693/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 - 1261896405478473944915579394564497585131949369077025108391754987111\ 1492562494927436987662173906523493261918003797095811931142/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 - 4649225717614141172347903246497101107657040247599938793763282624454\ 199406309229159466758650038799410990924308445058596057719/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^9 + 3963981058344319944569942659414977012349712793903030897660705404454\ 480686068768106411523480735197676666784337318568556293576/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^8 + 6919311840766087284544332544214755418176307636611075177559037804940\ 584554315953363932214943539676393746513624798735728789166/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^7 + 4533152383893000263430190776937209806367577623822679221283295760801\ 306782545581267752987540268983454232675386052069329016259/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^6 + 1079105318355720805420030443312668329100507618105720209066332687627\ 082440372809228200625811851863288415051874431638385576741/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 - 5892163812480282851790637991506324833808389268845648333362531130284\ 70687842497035011091172959254601092301134562000116243940/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^4 - 6295287954869848149901742431059333586421257103304876112264389013332\ 26868751495974230095785155732627022593806941444384235373/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^3 - 2732906356082431808437100406552935042205784172767459251727251052002\ 13188153702484354784179622142029673610472855672810093385/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 - 7083687744786341784956421338718919111002199072798256967295270612646\ 2170211257558630203872735199197695392779702004036167588/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2 - 1006926711584782419859106211663639361267699970659469002920436787938\ 7237562031111965931606285075441414777932617837624411087/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_1001_12 + 78780416186622637448751604485327348429431733408312666581332\ 34360767054041247693551619954032363886311166778011574025379/2300892\ 7724606084297814230486837409596513772368650513111968180411354411156\ 29743558297072354715626202439069480049218005719*c_1001_2^34 + 4713378638917234368032957909650218559500293257254268835544649676984\ 6757458090857609767189490944562109806424778746596086/23008927724606\ 0842978142304868374095965137723686505131119681804113544111562974355\ 8297072354715626202439069480049218005719*c_1001_2^33 + 2749984193377775230249526492508793461693488513426499114493968122875\ 91198370392673957246604944754781345263461599341799682/2300892772460\ 6084297814230486837409596513772368650513111968180411354411156297435\ 58297072354715626202439069480049218005719*c_1001_2^32 + 1074389286805926839480952591412035423445376166372846063490874461485\ 920913473075308948333879006547841177545529914058587369/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^31 + 3794369454727950835109801845103697265565307053959338699641643862914\ 073396616648990767923957021520202894809899012617547333/230089277246\ 0608429781423048683740959651377236865051311196818041135441115629743\ 558297072354715626202439069480049218005719*c_1001_2^30 + 1120933852912170134597833625333208761065950339673084348750796023807\ 0204669588537688920859676226732113129060509684552219840/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^29 + 2964510306320684396167697885603485784379079539388877822409609286427\ 1252990554571424739000569988263026976668178934042003516/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^28 + 6473982128548365645527012031319965385196287849419235194476640116211\ 1432324832830949498593198536512873362695791714468234931/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^27 + 1225727877150849870896914337771105161742644208939839654278192165449\ 82124205153548460672859734293364769898472640366856428068/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^26 + 2216181910447485008847708156580989847338799829745521047774688696359\ 20381191822604663314260670962544470540728507313715287970/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^25 + 3563553589219706961691130953671661327270923939144153651617042998257\ 59186211450180239186923008474601388005820559495570997240/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^24 + 3741170300894617491424736245166604930427234329052874024230769845806\ 54264945734438825097617562092064108241370846425362723774/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^23 - 4090274694857364144178871759285236974975762873219992124428894573464\ 0166909114500769747850452458339004621647925419035142990/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719*c_1001_2^22 - 8748575090434286931649900733949769710401320381198980669800848338327\ 28833320971801277784648504236470754198776734000485764283/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^21 - 1009661662574913168889252713501065206792054215636347819702508380873\ 686295096175878737251535020687155864590486132232815717971/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^20 + 1667919120283506311147941550540171574679113809641770751890408498759\ 662192302598894162192393116836926278915722615264363581358/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^19 + 6968999221128485119167582076908226165374230850692710662063640935994\ 500043643533061708664830175906225748163928299702504424808/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^18 + 8790181707715343257107889533113059680752676205852900428028358138630\ 231402875657843290716023498663493178156974261994629231049/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^17 - 6822801466987715990793043856914993708062505584079477039741915905034\ 33803049883720274979666750088356958522008163247606877597/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^16 - 1982002183205039870519339671995025904510435958100152722334749616205\ 5089790971055559228621478228539150588018876696799074495075/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^15 - 4379271395381930866655118909356668557224725057913800574057305085670\ 93871570413334012796445747233706271338346940914969014216/3151907907\ 4802855202485247242243026844539414203630839879408466316923850899037\ 582990370854174186660307384513425331753503*c_1001_2^14 - 1996227469480748951194328064391368882672422044337522802070688874961\ 6489210214245481333360573795533226467642665366407193914848/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^13 + 1246647413055617448204061448329371579377355047309612416017016060849\ 1253094225403214715164070716102491653047673451929218371007/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^12 + 3958602113182939947173639370476045571096195350158065947808710009988\ 2908936471707960781520494999943807614136309063528501165405/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^11 + 3841070739469602564284846652607372157093524987462912993762102892483\ 6023171232928298182132726336159135707010495846688251967206/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^10 + 1267429798903161209219863422861402258691265191981222697632317007287\ 5652264947391737638400296720519594954156754972485591192678/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^9 - 1351204802908502010200773802397073985674026266507795067176234857599\ 8011464980276080965246955197464124541940412841101787276131/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^8 - 2148578449600211919283970513233036446126032175796507610675255907676\ 8708629362438862339780742535282372294703141783367053026143/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^7 - 1340905420916545858062356732322047969633255342232841361391393467074\ 8595100181662539005226848834983819981758598463775140169886/23008927\ 7246060842978142304868374095965137723686505131119681804113544111562\ 9743558297072354715626202439069480049218005719*c_1001_2^6 - 2826134446232997252821426516853262642861356519221999534609993093325\ 961069449797279218625896480716756938621234380823652827070/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^5 + 1959681515797660428652595516184508064972302987947081210010158989245\ 999909536659226634386778768685596324831951626555732584765/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^4 + 1910188692586175823769260699404468261248641960359520853496310957699\ 450645011368405128158442202109167731365392223104282903543/230089277\ 2460608429781423048683740959651377236865051311196818041135441115629\ 743558297072354715626202439069480049218005719*c_1001_2^3 + 8008591028668557008743962729605322195024363518208287880115748808104\ 10773000563398361780105802213292410345380926907013281345/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2^2 + 2017680365628489805928994537846401941230543858456376269310490435936\ 08272499824038721051247694616072968085627654864034421101/2300892772\ 4606084297814230486837409596513772368650513111968180411354411156297\ 43558297072354715626202439069480049218005719*c_1001_2 + 2754767293957213724110321251245582940807677838178350349987194492833\ 1403728666195873296044934962112538198576310858337739833/23008927724\ 6060842978142304868374095965137723686505131119681804113544111562974\ 3558297072354715626202439069480049218005719, c_1001_2^35 + 7*c_1001_2^34 + 41*c_1001_2^33 + 172*c_1001_2^32 + 621*c_1001_2^31 + 1916*c_1001_2^30 + 5222*c_1001_2^29 + 12084*c_1001_2^28 + 24025*c_1001_2^27 + 44221*c_1001_2^26 + 74377*c_1001_2^25 + 94446*c_1001_2^24 + 44773*c_1001_2^23 - 113982*c_1001_2^22 - 239762*c_1001_2^21 + 78246*c_1001_2^20 + 1092096*c_1001_2^19 + 2014212*c_1001_2^18 + 1075789*c_1001_2^17 - 2545657*c_1001_2^16 - 6583581*c_1001_2^15 - 6734036*c_1001_2^14 - 1180972*c_1001_2^13 + 6463210*c_1001_2^12 + 9996838*c_1001_2^11 + 6784593*c_1001_2^10 + 184760*c_1001_2^9 - 4354174*c_1001_2^8 - 4546207*c_1001_2^7 - 2234012*c_1001_2^6 - 209642*c_1001_2^5 + 480369*c_1001_2^4 + 366539*c_1001_2^3 + 142636*c_1001_2^2 + 33473*c_1001_2 + 4049 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.420 Total time: 3.629 seconds, Total memory usage: 64.12MB