Magma V2.19-8 Tue Aug 20 2013 23:54:46 on localhost [Seed = 2177362377] Type ? for help. Type -D to quit. Loading file "K12n561__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n561 geometric_solution 11.83984539 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 1230 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.220201701427 0.804594432190 0 4 5 0 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.458763234261 0.615014209637 6 0 8 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.394304452665 0.545515029415 9 9 0 4 0132 1230 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893382527911 0.842551029463 7 1 3 10 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -1 -3 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.632851145016 0.705770751219 11 10 12 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.387217772497 0.686555592026 2 7 10 12 0132 0132 2103 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962505257362 1.501433382722 4 6 2 10 0132 0132 0132 2103 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -4 0 1 3 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.414444995912 1.308925052687 9 11 12 2 1023 1302 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 0 0 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.681801546018 0.379700594621 3 8 3 11 0132 1023 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407580923619 0.558711735549 6 5 4 7 2103 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711499457940 0.373464602071 5 12 9 8 0132 3120 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.289192461830 0.913670471559 8 11 6 5 2031 3120 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484694889375 0.552336146635 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_0_11' : negation(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_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(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_1001_0']), 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0101_12'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0101_12'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_1001_2']), 'c_1100_10' : negation(d['c_0101_4']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0101_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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' : negation(d['1']), 'c_1100_12' : negation(d['c_1001_0']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_4']), 'c_0101_8' : negation(d['c_0011_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_1001_2']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_10'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_4'], '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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_4, c_0101_5, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 6598390556703841213781055207353309006536266479465660484643156364124\ 9826391280822776229699460043385172310025280908567390277983688179266\ 9338939532222107666389538387827082788059151266994/46157443839559587\ 1447897574516050505645717345929413794212766527203845808588865476228\ 4543041955048389531108655082618393529743635637932921968721266837969\ 0669492392886498059640625*c_1001_2^34 - 4219213537126422330548890470046061607341660647942844148708937787815\ 9648060912668388816185869690689101307343490359408373757232661986819\ 04203704617523321797076347020871195772001643158927/9231488767911917\ 4289579514903210101129143469185882758842553305440769161717773095245\ 6908608391009677906221731016523678705948727127586584393744253367593\ 81338984785772996119281250*c_1001_2^33 - 3782260748057612658477402897787645974206280743824675767122557203542\ 2828353423208038662945485846145229220222004799105557147868439471182\ 546454387099600813365799624975948438904246002094153/369259550716476\ 6971583180596128404045165738767435310353702132217630766468710923809\ 8276344335640387116248869240660947148237949085103463375749770134703\ 7525355939143091984477125000*c_1001_2^32 + 1072253424122442108502956362398501902714239269397165951582741878739\ 0935540189175877446267877053215573473901926986869681406723799981249\ 567739446270713888633945801752062994995271754637691/321095261492588\ 4323115809214024699169709338058639400307567071493591970842357325052\ 0240299422295988796738147165792127954989520943568229022391104464959\ 784813559925486259519750000*c_1001_2^31 + 2572632915833697518772922146809244088790989429630141690232409844778\ 8097106940105949889819940131271042563583014340803310826706336300457\ 524115060029838479676961576450665376928091115653363/738519101432953\ 3943166361192256808090331477534870620707404264435261532937421847619\ 6552688671280774232497738481321894296475898170206926751499540269407\ 5050711878286183968954250000*c_1001_2^30 - 6816409973819646700359406477696331053224713686732493625160718270976\ 0589605792920774268531732712702926809916387601160334077039600637425\ 29085387533496699976435114417252912650816719176146197/2954076405731\ 8135772665444769027232361325910139482482829617057741046131749687390\ 4786210754685123096929990953925287577185903592680827707005998161077\ 6300202847513144735875817000000*c_1001_2^29 - 1619158943215016816111785221610907450026690544593546979175627793054\ 2077341276786220336738140307721132952934074541644023509770284367044\ 17945934234619674507870826338406348527384471288190163/1181630562292\ 7254309066177907610892944530364055792993131846823096418452699874956\ 1914484301874049238771996381570115030874361437072331082802399264431\ 0520081139005257894350326800000*c_1001_2^28 + 8943825929841425500946734299345318847154198360517513294026799051111\ 4016679380476722852250625396318318453872772666379548661657475677202\ 500254668607692799640297419792081596551847295083413/256876209194070\ 7458492647371219759335767470446911520246053657194873576673885860041\ 6192239537836791037390517732633702363991616754854583217912883571967\ 827850847940389007615800000*c_1001_2^27 - 7927114725866112793706689061457834856089999180662120333256440482448\ 0868478501247068481575997283141704438119838568100144462549420596953\ 16390392855839236296704253114290812042145700501742287/5908152811463\ 6271545330889538054464722651820278964965659234115482092263499374780\ 9572421509370246193859981907850575154371807185361655414011996322155\ 2600405695026289471751634000000*c_1001_2^26 - 2800835195007783404385703157682106551813924325561325811751726098603\ 6295990344310987810750690316995656136905003414100279088849359270711\ 352834978997071349613564484458593108393002510794709273/295407640573\ 1813577266544476902723236132591013948248282961705774104613174968739\ 0478621075468512309692999095392528757718590359268082770700599816107\ 76300202847513144735875817000000*c_1001_2^25 - 9511582931843585055179144056069167592571491300236947889195379241337\ 7355799365351927117242026733563329591813793637372373653547020704756\ 51189090357155823853123285626034629713006345446772941/2954076405731\ 8135772665444769027232361325910139482482829617057741046131749687390\ 4786210754685123096929990953925287577185903592680827707005998161077\ 6300202847513144735875817000000*c_1001_2^24 - 4873221643998319633706941931815214999630384672280613692012363800022\ 4709242883106205727831450804646539856896640650689813124587827883005\ 68993881805959400060778525417403245365353902843360297/1846297753582\ 3834857915902980642020225828693837176551768510661088153832343554619\ 0491381721678201935581244346203304735741189745425517316878748850673\ 518762677969571545992238562500*c_1001_2^23 - 1296665490381350213568299859676329227358198844946256961305073929407\ 5413091653036506149837392088977949870035792504768048660343626813935\ 6558883664903794231276295939176142170915122306556016331/11816305622\ 9272543090661779076108929445303640557929931318468230964184526998749\ 5619144843018740492387719963815701150308743614370723310828023992644\ 310520081139005257894350326800000*c_1001_2^22 - 1956064852593895854156526156263799255142252778792300302922514316877\ 8346200280535478709169506399324182246481906959407482991372719432156\ 2958345535007892211645867029107020799086743400638492751/14770382028\ 6590678863327223845136161806629550697412414148085288705230658748436\ 9523931053773425615484649954769626437885929517963404138535029990805\ 388150101423756572367937908500000*c_1001_2^21 + 7230078285149572953807763055653095717209084817622622848066358084000\ 9847780388539749996439247038079072800835421675468421467186682588989\ 2348974376091755792888679295853555221053973602172489/14770382028659\ 0678863327223845136161806629550697412414148085288705230658748436952\ 3931053773425615484649954769626437885929517963404138535029990805388\ 150101423756572367937908500000*c_1001_2^20 + 3416771649550579445849761733324735342072353202759648568666352082987\ 4361337313123155729962587451090698883587382911364882688210043580932\ 7774951829895723865278585052411297587753595611865847971/29540764057\ 3181357726654447690272323613259101394824828296170577410461317496873\ 9047862107546851230969299909539252875771859035926808277070059981610\ 776300202847513144735875817000000*c_1001_2^19 + 8180189372819112655596603598909163393495213618812356512988612682318\ 2833797800344491563858321016251615941857992439116039030542339572996\ 291745705811075687973573784889944697708868330493980843/590815281146\ 3627154533088953805446472265182027896496565923411548209226349937478\ 0957242150937024619385998190785057515437180718536165541401199632215\ 52600405695026289471751634000000*c_1001_2^18 - 7465978631133498606634858199228832147933322182744091549005693549932\ 4355452518469950044666925006709537340754268913861253943106919347437\ 38202716035250961603457382765466159370432644194017521/4344230008429\ 1376136272712895628282884302809028650710043554496678009017278952044\ 8215015815713416319014692579301893495861622930412981922067644354525\ 92650041875193304939350250000*c_1001_2^17 - 4198921141127569744023366661733955869725330352519197629970392373901\ 8190218503897242882091047299822292723950589647933163777879358497874\ 12210137329788994951706558132952118271199408723282051/2363261124585\ 4508618132355815221785889060728111585986263693646192836905399749912\ 3828968603748098477543992763140230061748722874144662165604798528862\ 10401622780105157887006536000*c_1001_2^16 - 1773273290469392201857261444814339481754645358397990849658788679400\ 9354429455652868654197491760303522742448192729100855735921232349294\ 963380053867661779756162422540728204132355666424046049/738519101432\ 9533943166361192256808090331477534870620707404264435261532937421847\ 6196552688671280774232497738481321894296475898170206926751499540269\ 4075050711878286183968954250000*c_1001_2^15 + 1818958320196914099852306581448885633025389749597728600263850758338\ 1304160551354289321674781784502383641316394227974955520291571013505\ 7877880700096577725895098761092061590897221289814316943/29540764057\ 3181357726654447690272323613259101394824828296170577410461317496873\ 9047862107546851230969299909539252875771859035926808277070059981610\ 776300202847513144735875817000000*c_1001_2^14 + 1866792519072456401837067203228107064607541867677577605159477386286\ 1515729644672504122009007307677750750889881511892405810900652197399\ 004319426562353162127637939636147879574044713760136329/295407640573\ 1813577266544476902723236132591013948248282961705774104613174968739\ 0478621075468512309692999095392528757718590359268082770700599816107\ 76300202847513144735875817000000*c_1001_2^13 - 1571754592981619243463199599031816589353108226566220640657463707032\ 7955108727088969921652968728800785821882415462895105233545801107824\ 004326082954000403273438347225748477877216829786253597/236326112458\ 5450861813235581522178588906072811158598626369364619283690539974991\ 2382896860374809847754399276314023006174872287414466216560479852886\ 2104016227801051578870065360000*c_1001_2^12 - 1006314813160409701040156244064981833908186587459645831405719674205\ 5065769934641755602210018158477497184072599182945860178894958987323\ 2825570095785440968717914764358869318986986518380028999/14770382028\ 6590678863327223845136161806629550697412414148085288705230658748436\ 9523931053773425615484649954769626437885929517963404138535029990805\ 388150101423756572367937908500000*c_1001_2^11 - 1917183599599483602701347705262445396189600730551709806991153230551\ 6602565570877595130362039002535719833104265078469511440396904561572\ 8754311943419843946839309382069502225527203605434749273/59081528114\ 6362715453308895380544647226518202789649656592341154820922634993747\ 8095724215093702461938599819078505751543718071853616554140119963221\ 552600405695026289471751634000000*c_1001_2^10 - 9986797871887096463394847487201151963219969780598539353604731985504\ 7771962209902624875829587535864956821653597749895416850506922181549\ 59140827591000776072741301387789915182384150557800879/7385191014329\ 5339431663611922568080903314775348706207074042644352615329374218476\ 1965526886712807742324977384813218942964758981702069267514995402694\ 075050711878286183968954250000*c_1001_2^9 - 8592004007555884001831504173711971067225716551790547671912817456109\ 5292442730780679462224553536025064602618731364147507511501662639765\ 949088943043403320810137472130631992052494527821388079/590815281146\ 3627154533088953805446472265182027896496565923411548209226349937478\ 0957242150937024619385998190785057515437180718536165541401199632215\ 52600405695026289471751634000000*c_1001_2^8 - 4724750002095562990768528909183878943565095517046214452210298054499\ 7884017133751516129812832146625597061112353967195774936929973478996\ 677682637304103575855084223471854024934188013606219897/295407640573\ 1813577266544476902723236132591013948248282961705774104613174968739\ 0478621075468512309692999095392528757718590359268082770700599816107\ 76300202847513144735875817000000*c_1001_2^7 - 1677819519836058673226092264331566689859117301894968177415938883500\ 3837359488147720398766295568805955017857450463606239878160052758576\ 839318120677222678285780481279238995051289479463005353/147703820286\ 5906788633272238451361618066295506974124141480852887052306587484369\ 5239310537734256154846499547696264378859295179634041385350299908053\ 88150101423756572367937908500000*c_1001_2^6 - 4030493102928893864769284626162692209444301919574174639973906879241\ 9584616114946988144710236252354108835034689897200552891846416741714\ 52326736755998436572172136529834734584907890359260281/7385191014329\ 5339431663611922568080903314775348706207074042644352615329374218476\ 1965526886712807742324977384813218942964758981702069267514995402694\ 075050711878286183968954250000*c_1001_2^5 - 2828009369285569257589005911177440359936596205698724588677647475306\ 4728408649919060484218705480967059973903043583950102073414999400056\ 21250369517200233062404357594753861559201692297664601/1477038202865\ 9067886332722384513616180662955069741241414808528870523065874843695\ 2393105377342561548464995476962643788592951796340413853502999080538\ 8150101423756572367937908500000*c_1001_2^4 - 3960237208806735176155918135443018436709996052033519232211826986096\ 9960921800205162796443721571512421377995410890458848933376575575416\ 9507074012723212268449536684007543138687230465757629/73851910143295\ 3394316636119225680809033147753487062070740426443526153293742184761\ 9655268867128077423249773848132189429647589817020692675149954026940\ 75050711878286183968954250000*c_1001_2^3 - 1057362677080766367012475092120320485732320918670115583707992921247\ 5615790476813333250627420018030831558783597402348843367629768402375\ 6135359068804082258049712213250758217273247500937/80273815373147108\ 0778952303506174792427334514659850076891767873397992710589331263006\ 0074855573997199184536791448031988747380235892057255597776116239946\ 20338998137156487993750*c_1001_2^2 - 1812500164628937403813076054917805373412077843743963416906487199661\ 2348718266317095001708228839029165045311358606484010243769056552310\ 6775163426167827582646217033190268192135215939202/65939205485085124\ 4925567963594357865208167637042019706018237896005494012269807823183\ 5061488507211985044440935832311990756776622339904174241030381197098\ 667070341840928294234375*c_1001_2 - 3069234626254684744787533172493260456006307025749558935708459368567\ 4725166153409216434692696686258549402399232176878862810387894416905\ 2966136846722519970663322392537555777614472525781/92314887679119174\ 2895795149032101011291434691858827588425533054407691617177730952456\ 9086083910096779062217310165236787059487271275865843937442533675938\ 1338984785772996119281250, c_0011_0 - 1, c_0011_10 + 58009852351189797074411559129541386580155434927178899967062\ 4193929667471268484341344017687306027626927197536829185031031232819\ 894509662262324652858366171112347818612/321692886452395369809845161\ 2507835601297648765633756418553639517405430781391455027601556734252\ 6567527562476356242938273567240484578454646510659642911403473362564\ 791*c_1001_2^34 - 1829050797222587969520680947296865429955204656129\ 5400237153443472155546571719228180932909218521856465460912807964971\ 06595975202063432338924072999311160347545052875371/3216928864523953\ 6980984516125078356012976487656337564185536395174054307813914550276\ 0155673425265675275624763562429382735672404845784546465106596429114\ 03473362564791*c_1001_2^33 - 17329803797124028882792317185337266010\ 5231475914645218393352259800352548500404697131032477583764207412786\ 46352382661745679378868510204602439915966634058408511638620045/1286\ 7715458095814792393806450031342405190595062535025674214558069621723\ 1255658201104062269370106270110249905424971753094268961938313818586\ 042638571645613893450259164*c_1001_2^32 + 1101375128752489306957196927076281593774184938312086019964686764794\ 9473240493634938539884905867471967593588826375112822345642222027587\ 9062263599384702012532673975859457/25735430916191629584787612900062\ 6848103811901250700513484291161392434462511316402208124538740212540\ 220499810849943506188537923876627637172085277143291227786900518328*\ c_1001_2^31 + 18470252579616959352587504709905500161691799270876192\ 3351183520497529785792288815239359317949313048221122435221588308696\ 96532288714698771876526594908316840017912591223/2573543091619162958\ 4787612900062684810381190125070051348429116139243446251131640220812\ 4538740212540220499810849943506188537923876627637172085277143291227\ 786900518328*c_1001_2^30 - 3080439434896787737156116170476342882843\ 3576562325899639432220972105306644055883981603349867913835429499998\ 31084201011688343763586433902514658214865890690469159575201177/1029\ 4172366476651833915045160025073924152476050028020539371646455697378\ 5004526560883249815496085016088199924339977402475415169550651054868\ 8341108573164911147602073312*c_1001_2^29 - 3666544545408537385377847218284992558590058006474115983599265460052\ 3646967851433125331615263290218117340889507290744938860209879313006\ 14195254767014911958139523526196411/2058834473295330366783009032005\ 0147848304952100056041078743292911394757000905312176649963099217003\ 2176399848679954804950830339101302109737668221714632982229520414662\ 4*c_1001_2^28 + 488573865060259595775042021615524449510519466104261\ 2394595354009884181923535879831512633089326127128021521357659207405\ 749312247446040246967272090256817613992705067719975/102941723664766\ 5183391504516002507392415247605002802053937164645569737850045265608\ 8324981549608501608819992433997740247541516955065105486883411085731\ 64911147602073312*c_1001_2^27 - 35068852404939449806102043045355040\ 2106584569545541564628755431596641147177689525285524304293590211385\ 0405923728336967264699455161660407986844137968444697331470268049935\ /205883447329533036678300903200501478483049521000560410787432929113\ 9475700090531217664996309921700321763998486799548049508303391013021\ 097376682217146329822295204146624*c_1001_2^26 - 1310828987535037569659179748416107294789769379993891548986794947353\ 1271626282855857924397769366245768931188250454455521896254806053590\ 896156760285461350540360886202111451/102941723664766518339150451600\ 2507392415247605002802053937164645569737850045265608832498154960850\ 1608819992433997740247541516955065105486883411085731649111476020733\ 12*c_1001_2^25 - 36003038669406612832005851183601441963885108125077\ 3966159209660230930846962513586910469769580561967831896180493078278\ 9988308072709268267312712629812531762318754738985615/10294172366476\ 6518339150451600250739241524760500280205393716464556973785004526560\ 8832498154960850160881999243399774024754151695506510548688341108573\ 164911147602073312*c_1001_2^24 - 1665116749470677992322032431303891\ 0529715392642152553608956917170789737574195627592596666336156422123\ 4899220634327335375095839559381110731476334494389684435292587058425\ 25/5147086183238325916957522580012536962076238025014010269685823227\ 8486892502263280441624907748042508044099962169988701237707584775325\ 5274344170554286582455573801036656*c_1001_2^23 - 2901020670127358759461413905689576535120810064316798600776346324700\ 0068155482865387361258456903794581955696591529631998137731562872720\ 8471720115962462152624370873222842363/20588344732953303667830090320\ 0501478483049521000560410787432929113947570009053121766499630992170\ 0321763998486799548049508303391013021097376682217146329822295204146\ 624*c_1001_2^22 - 8608838478896308078576940290415968499764766385319\ 7134977207848729640273201493655613790469304016197076661133113493375\ 332370320558009983803912511581875428044713776914318639/514708618323\ 8325916957522580012536962076238025014010269685823227848689250226328\ 0441624907748042508044099962169988701237707584775325527434417055428\ 6582455573801036656*c_1001_2^21 + 255532937447322548098883303366486\ 7509456648109878154539423308560831607081679601909924698189589413796\ 7099111553042817972706879829089349428493176892661906745819152846256\ 63/2573543091619162958478761290006268481038119012507005134842911613\ 9243446251131640220812453874021254022049981084994350618853792387662\ 7637172085277143291227786900518328*c_1001_2^20 + 1572649539392292158397054957211294150380621964339899364540481145072\ 9139484865723457373422956338700144014694994480146420125465236175951\ 3874190372299929252886129188827063669/10294172366476651833915045160\ 0250739241524760500280205393716464556973785004526560883249815496085\ 0160881999243399774024754151695506510548688341108573164911147602073\ 312*c_1001_2^19 + 1792590631606705573238055248528977042458924352266\ 6505164533265773463103716554776937289108256461134022436736409779313\ 091581192224602343093744192364118022597632252316475471/205883447329\ 5330366783009032005014784830495210005604107874329291139475700090531\ 2176649963099217003217639984867995480495083033910130210973766822171\ 46329822295204146624*c_1001_2^18 - 5849541039691775125075723043404589195371245229101839430266282519425\ 6655654901546014009411511577201716636387673277453249744123885087522\ 777968871788500984450478207001825355/257354309161916295847876129000\ 6268481038119012507005134842911613924344625113164022081245387402125\ 4022049981084994350618853792387662763717208527714329122778690051832\ 8*c_1001_2^17 - 224188229244541962127399510088784004146591295793208\ 0307282744684688461076617936858856182942728180039040745958306231401\ 19662536032510632458639551715630023885163360994256201/1029417236647\ 6651833915045160025073924152476050028020539371646455697378500452656\ 0883249815496085016088199924339977402475415169550651054868834110857\ 3164911147602073312*c_1001_2^16 - 832988613529758310695404404154928\ 1243657643907283181935666169047716152278605440878529858972856412005\ 0815212849133995114079422310694022988299032720852852434892793981178\ 85/5147086183238325916957522580012536962076238025014010269685823227\ 8486892502263280441624907748042508044099962169988701237707584775325\ 5274344170554286582455573801036656*c_1001_2^15 + 8267643888404347410323404335139550606588850476501116484264185722133\ 7191158520927060702874367246621591067531283255333920358956683189555\ 944761125987502172937373673790761531/102941723664766518339150451600\ 2507392415247605002802053937164645569737850045265608832498154960850\ 1608819992433997740247541516955065105486883411085731649111476020733\ 12*c_1001_2^14 + 66598814671614188130406206103869375631658387686605\ 3064629297667768734729681769894144863443731640062187886252550423951\ 728834130857286691819015409204424681164248547100325/102941723664766\ 5183391504516002507392415247605002802053937164645569737850045265608\ 8324981549608501608819992433997740247541516955065105486883411085731\ 64911147602073312*c_1001_2^13 - 17958819861735375971324719036231036\ 7203346519670733520536474250876421733075761035146886213094349970087\ 5890269561597781991401113232357281507422450224581708863128315678685\ 29/2058834473295330366783009032005014784830495210005604107874329291\ 1394757000905312176649963099217003217639984867995480495083033910130\ 21097376682217146329822295204146624*c_1001_2^12 - 4231939455071711581381565599181945923403313884718710833461233837930\ 1100458202857957256569399989288950008647308638177411293372381459195\ 516796485266969566162501607950692575/514708618323832591695752258001\ 2536962076238025014010269685823227848689250226328044162490774804250\ 8044099962169988701237707584775325527434417055428658245557380103665\ 6*c_1001_2^11 - 762295281684334393197614933505628128496953922159525\ 7415327326721006809842627177320095975408063022373450401430770594801\ 9718933148228989790047154504974811406688144299922201/20588344732953\ 3036678300903200501478483049521000560410787432929113947570009053121\ 7664996309921700321763998486799548049508303391013021097376682217146\ 329822295204146624*c_1001_2^10 - 8429327267708722648525258873313951\ 5090376296043565359793138288922714933410033359304261675069829244691\ 4083373269932272701566352234198603790585972975728817051627841226525\ 3/51470861832383259169575225800125369620762380250140102696858232278\ 4868925022632804416249077480425080440999621699887012377075847753255\ 274344170554286582455573801036656*c_1001_2^9 - 3867893733991392758570442190331442356420540509414049246589762213372\ 9656951338316552508251688698310845469795215354622587396659784862818\ 308826185497334673960322674587860343/205883447329533036678300903200\ 5014784830495210005604107874329291139475700090531217664996309921700\ 3217639984867995480495083033910130210973766822171463298222952041466\ 24*c_1001_2^8 - 204668801709932178249047159002260790197419914422131\ 6751234665609460070929583613964820253172869895710654172096314667469\ 9724828288415484829000396399747470132182245560808543/10294172366476\ 6518339150451600250739241524760500280205393716464556973785004526560\ 8832498154960850160881999243399774024754151695506510548688341108573\ 164911147602073312*c_1001_2^7 - 35090029171415483007419185088321926\ 9764784124272819101173121329201548702923550903965557862350149472612\ 2044089341736793066402602994067164686888435914549847592793282984193\ /257354309161916295847876129000626848103811901250700513484291161392\ 4344625113164022081245387402125402204998108499435061885379238766276\ 37172085277143291227786900518328*c_1001_2^6 - 3318430900502011506113196059336679281866689424180154363601930598417\ 6509087318250297019175002803257794820070976458386375491623414482046\ 28131628901742831528775463571092763/5147086183238325916957522580012\ 5369620762380250140102696858232278486892502263280441624907748042508\ 0440999621699887012377075847753255274344170554286582455573801036656\ *c_1001_2^5 - 11750897887619890763454655721198285278593797076761454\ 2914561848543111110071899430990840846701393065123194047799701171558\ 3941367071377213496235846868745530242169113530309/51470861832383259\ 1695752258001253696207623802501401026968582322784868925022632804416\ 2490774804250804409996216998870123770758477532552743441705542865824\ 55573801036656*c_1001_2^4 - 848579315109321767565000341029421445175\ 1381515408116825848383369714593146985959969244857761854813816424836\ 4416023044483227374802397425187347218636330802117791202121167/12867\ 7154580958147923938064500313424051905950625350256742145580696217231\ 2556582011040622693701062701102499054249717530942689619383138185860\ 42638571645613893450259164*c_1001_2^3 - 2134854650084358041529758239360502139205396304909015317685362981189\ 1431185290479133314127995334526502097133969138196934966319842963848\ 317829206030420876661081379223807/128677154580958147923938064500313\ 4240519059506253502567421455806962172312556582011040622693701062701\ 10249905424971753094268961938313818586042638571645613893450259164*c\ _1001_2^2 - 1114513843377868146655729122644590341900668274999260870\ 4312880127529577276383960791978099825672602356132501086445408215288\ 58075181677825291691182359428837418138758600/3216928864523953698098\ 4516125078356012976487656337564185536395174054307813914550276015567\ 3425265675275624763562429382735672404845784546465106596429114034733\ 62564791*c_1001_2 - 14885645431462376417849239100948771655881834558\ 3447097155752549312589560023773663393268919426442789883516800549399\ 109779268744476862733493339780678125390236394492815/321692886452395\ 3698098451612507835601297648765633756418553639517405430781391455027\ 6015567342526567527562476356242938273567240484578454646510659642911\ 403473362564791, c_0011_12 - 29561593127023162267440894041281104366426215203468170484151\ 4771648798706853963196449838005890230283834069064593081970396774680\ 8920522949332688339387132908561080385712/22518502051667675886689161\ 2875548492090835413594362949298754766218380154697401851932108971397\ 6859726929373344937005679149706833920491825255746175003798243135379\ 53537*c_1001_2^34 + 11292403094214617686018570484649981146044348574\ 7023896590993458245954806110290973678301024949294704906492865464313\ 40429014319117167136894973742128571671684154334711980/2251850205166\ 7675886689161287554849209083541359436294929875476621838015469740185\ 1932108971397685972692937334493700567914970683392049182525574617500\ 379824313537953537*c_1001_2^33 + 1406836337795952736899596120940488\ 6678589476371744320735621381559850934143255817823687345075761516798\ 218173551018307648412764086058244404284838936452355451584179783689/\ 2251850205166767588668916128755484920908354135943629492987547662183\ 8015469740185193210897139768597269293733449370056791497068339204918\ 2525574617500379824313537953537*c_1001_2^32 - 7763049190284089045619522745906003970824445467822836693899115692079\ 5507921991172183306869411217248856413163780577981126338084742621886\ 042690500371779376259459201347843/225185020516676758866891612875548\ 4920908354135943629492987547662183801546974018519321089713976859726\ 92937334493700567914970683392049182525574617500379824313537953537*c\ _1001_2^31 + 168012188285620240746003855706537748588395224972165858\ 1965759281650902197992714082758336644394961935894489853938067121777\ 07778413445909764017601644847150794452910713153/9007400820667070354\ 6756645150219396836334165437745179719501906487352061878960740772843\ 5885590743890771749337974802271659882733568196730102298470001519297\ 254151814148*c_1001_2^30 + 3595349080279720425725477348949689774363\ 4488123946100026365816056219831537062044238164782301304788056705459\ 05873920615219293157410337004684361649743767496070106064516977/1801\ 4801641334140709351329030043879367266833087549035943900381297470412\ 3757921481545687177118148778154349867594960454331976546713639346020\ 4596940003038594508303628296*c_1001_2^29 + 9588922433963798362595105089464320158679351732817706170184446368439\ 6671101220756745229030010347753192778825686130551340877272804890396\ 36428689822225300959996294432253/1801480164133414070935132903004387\ 9367266833087549035943900381297470412375792148154568717711814877815\ 43498675949604543319765467136393460204596940003038594508303628296*c\ _1001_2^28 - 226056118142784496018098947901066601900615153081976497\ 0527901833131821867720151496490487072099737826206948905541263215986\ 7505405860009586411201146657641859740815358964693/72059206565336562\ 8374053161201755174690673323501961437756015251898816495031685926182\ 7487084725951126173994703798418173279061868545573840818387760012154\ 378033214513184*c_1001_2^27 + 7363614419518580074871443971316113427\ 3264986831388617345680778517195139135795232249479103071964960937070\ 9824743981991971845730005133397305666644120589132500774932023807/22\ 5185020516676758866891612875548492090835413594362949298754766218380\ 1546974018519321089713976859726929373344937005679149706833920491825\ 25574617500379824313537953537*c_1001_2^26 + 4731045245885405153069205929079737522638632887191727786132009962859\ 8135159033980464175891520269277062125952596021011762002490328815951\ 585413434756588688427086299746914103/720592065653365628374053161201\ 7551746906733235019614377560152518988164950316859261827487084725951\ 1261739947037984181732790618685455738408183877600121543780332145131\ 84*c_1001_2^25 - 43123190645120147503867729178923027378585126997062\ 6747220776215512616365060329976520896665891032741040317619916704857\ 7272628933259659181361816226495596349302898206363963/36029603282668\ 2814187026580600877587345336661750980718878007625949408247515842963\ 0913743542362975563086997351899209086639530934272786920409193880006\ 077189016607256592*c_1001_2^24 + 9126987061511850690137180048815201\ 1736808806077271826035205487788492357236277229919533964053161269348\ 0242662870487940768805610903162980248419336682731377688094874824915\ 31/3602960328266828141870265806008775873453366617509807188780076259\ 4940824751584296309137435423629755630869973518992090866395309342727\ 86920409193880006077189016607256592*c_1001_2^23 + 3071496466552480270891632090446669259590369518593822830765600803189\ 9872947088744065892196579935899310756963849850003204382518781031351\ 9384316135247669483440117290276282353/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^22 + 4974490982668730771774919570260983634136490751781\ 5640661225218456065322240647784295282076582465347493182724809370977\ 3008816208342520059207977893587539740007887888387202519/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^21 - 1809931967461034976556458344760113553483295884607204921988794409994\ 3363838825909528649344959421608983099967378158104413792185161492630\ 325485853821033182367867937486817549/450370041033353517733783225751\ 0969841816708271887258985975095324367603093948037038642179427953719\ 4538587466898740113582994136678409836505114923500075964862707590707\ 4*c_1001_2^20 - 136914705615220433917182380418156576126934549278865\ 0142147143815747540640613708595178935030331214782567626245354978872\ 77073561294987884623597625900264271176875338020037311/1801480164133\ 4140709351329030043879367266833087549035943900381297470412375792148\ 1545687177118148778154349867594960454331976546713639346020459694000\ 3038594508303628296*c_1001_2^19 + 794991136675721787427918735246391\ 4502323698930676483167017595412335154029182120526562158490870503023\ 5654350231148673491155465704895033068785328076989760328574340312857\ 80/2251850205166767588668916128755484920908354135943629492987547662\ 1838015469740185193210897139768597269293733449370056791497068339204\ 9182525574617500379824313537953537*c_1001_2^18 + 9411586918787148522670876694968536873904008720490933677109808843967\ 3286952429669835736290223222181675531194834568766872061310266066066\ 6453896485737331934352348876623704333/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^17 + 7184019799395112697605769799854795808117278449935\ 6342451985710910966877202190714046866667261411774675405375581391463\ 753471059091962420603826763053621293257489802006530271/900740082066\ 7070354675664515021939683633416543774517971950190648735206187896074\ 0772843588559074389077174933797480227165988273356819673010229847000\ 1519297254151814148*c_1001_2^16 - 753688271676062739552087095642524\ 3278084366029865844145651534852735281702805578690061663761726165677\ 6901565866882073477905016374562517345625082526859511594216306078412\ 439/360296032826682814187026580600877587345336661750980718878007625\ 9494082475158429630913743542362975563086997351899209086639530934272\ 786920409193880006077189016607256592*c_1001_2^15 - 6443165674300111631099080838824567650112295894577432080762341941735\ 9330429718631421359619902064333184104173352977181036602034229359495\ 200221613446522943992342968000033687/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^14 + 60576972896197551873849619855238277166202989452610\ 3387107775762612971254238458017368637037814897056596669132326549923\ 38654247867968799030595905564256223364446123087800723/3602960328266\ 8281418702658060087758734533666175098071887800762594940824751584296\ 3091374354236297556308699735189920908663953093427278692040919388000\ 6077189016607256592*c_1001_2^13 + 842217027605393828777917381606354\ 7479831712976608343186131879747390234122500022535535539496943144836\ 8217176068075928792945019805661473152557820978922184122178875283535\ 057/180148016413341407093513290300438793672668330875490359439003812\ 9747041237579214815456871771181487781543498675949604543319765467136\ 393460204596940003038594508303628296*c_1001_2^12 + 2364469736340279214109912483130757599114474078507092243269223008801\ 3684414207739293404411374564516232477447435804923949219757665336300\ 3070156778833342274930041134017360053/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^11 + 4483810408966250711509604625173689811885168145084\ 8567059332206868605790517281607634771679133460614774996649684624743\ 943334868268530425234701582697080290085409673823150615/360296032826\ 6828141870265806008775873453366617509807188780076259494082475158429\ 6309137435423629755630869973518992090866395309342727869204091938800\ 06077189016607256592*c_1001_2^10 + 5293074566101280843398834548102208766545698099423691494551168440626\ 7321115891007032538074078028257338197624583676679403083764309578864\ 671568673537832185944552638473732853/720592065653365628374053161201\ 7551746906733235019614377560152518988164950316859261827487084725951\ 1261739947037984181732790618685455738408183877600121543780332145131\ 84*c_1001_2^9 + 341183505267303033837843562749074397229171951154752\ 9371333337275421603275415486562695662525653928032736898123698969399\ 4588931950476554139027961131950578310579350296235135/36029603282668\ 2814187026580600877587345336661750980718878007625949408247515842963\ 0913743542362975563086997351899209086639530934272786920409193880006\ 077189016607256592*c_1001_2^8 + 63867193217459664215380442647184450\ 9411748350954487885317495844388758726188050668074115685999353357963\ 7018104566562154679833808786895000792691052034258697231867116313665\ 5/72059206565336562837405316120175517469067332350196143775601525189\ 8816495031685926182748708472595112617399470379841817327906186854557\ 3840818387760012154378033214513184*c_1001_2^7 + 1932281866492816856667769751111988418303868380847229011452064330699\ 8701308684618931457937845108436425379892536396369022140641657881664\ 929042642758803629990087069412839543/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^6 + 101569853934058847929784333338423044911816279255079\ 3245978104949222721289487559874998748638822304901401804064267398625\ 583353397348772724151915454086265089032891872767451/450370041033353\ 5177337832257510969841816708271887258985975095324367603093948037038\ 6421794279537194538587466898740113582994136678409836505114923500075\ 9648627075907074*c_1001_2^5 + 1580391659596921338883963429695299156\ 8725650328133476057986181678072574147811679883333400061230284180699\ 4228752842149546985117082786228964839905042353339291480327847086/22\ 5185020516676758866891612875548492090835413594362949298754766218380\ 1546974018519321089713976859726929373344937005679149706833920491825\ 25574617500379824313537953537*c_1001_2^4 + 3203015627802743863118070548446624656542299690146381386028157878676\ 4633402817945155967215465786935235650590884498040470242731616011000\ 7303515761779834504462951396033227/18014801641334140709351329030043\ 8793672668330875490359439003812974704123757921481545687177118148778\ 1543498675949604543319765467136393460204596940003038594508303628296\ *c_1001_2^3 + 35433073980107732286449858933830332001734546280846881\ 4135444356896780376373850320551012756230299048078165470835898748971\ 47827251823253178548024206095330702242773080109/9007400820667070354\ 6756645150219396836334165437745179719501906487352061878960740772843\ 5885590743890771749337974802271659882733568196730102298470001519297\ 254151814148*c_1001_2^2 + 21250276012421250588963056585890080093907\ 3336207851650921327522778170989303156155263700986694190535238802871\ 795453810229808236783040700426613128018026026162223413158/321692886\ 4523953698098451612507835601297648765633756418553639517405430781391\ 4550276015567342526567527562476356242938273567240484578454646510659\ 642911403473362564791*c_1001_2 + 6670123471307633427207227486728987\ 3732186779109553957346837986293277961210155744257306204027578687634\ 599071678075867248429121571555525462544268090560430360649789034/225\ 1850205166767588668916128755484920908354135943629492987547662183801\ 5469740185193210897139768597269293733449370056791497068339204918252\ 5574617500379824313537953537, c_0101_0 + 490077163561232801091606299210384407195637894729606633332895\ 9792632969930137631980399222048428765010596518360648875644603233177\ 306608041849784944185485401645287388628/225185020516676758866891612\ 8755484920908354135943629492987547662183801546974018519321089713976\ 8597269293733449370056791497068339204918252557461750037982431353795\ 3537*c_1001_2^34 - 172118791128022948910941830042871051052223293292\ 3825529968456373039844571674454651386541753564359304902777851627533\ 2948087013155643343632850874033173689135705144885651/22518502051667\ 6758866891612875548492090835413594362949298754766218380154697401851\ 9321089713976859726929373344937005679149706833920491825255746175003\ 79824313537953537*c_1001_2^33 - 11826443472182302665236978511046084\ 8437419560456283298462033556928878097492694859647335032885943636785\ 706723591878483467584754680399102640259317741335815028271524297061/\ 9007400820667070354675664515021939683633416543774517971950190648735\ 2061878960740772843588559074389077174933797480227165988273356819673\ 0102298470001519297254151814148*c_1001_2^32 + 9872823204119345236266421476903500791656383325343824342252351021892\ 8986452715634853683286606550374396154740712934741620409316841940340\ 3403771724823036210308118036455225/18014801641334140709351329030043\ 8793672668330875490359439003812974704123757921481545687177118148778\ 1543498675949604543319765467136393460204596940003038594508303628296\ *c_1001_2^31 - 2240275319624998789144076813045536966493092420404474\ 3094133981792845245294413425357294669390115305601708725089817703150\ 0683050156430965952620850538335143526999444272553/18014801641334140\ 7093513290300438793672668330875490359439003812974704123757921481545\ 6871771181487781543498675949604543319765467136393460204596940003038\ 594508303628296*c_1001_2^30 - 2493397211984182065841758062987715248\ 4107055855710315613232284004577869499141223318306877959976945102200\ 071214152111458879840275214363860206315681694304627654632317662913/\ 7205920656533656283740531612017551746906733235019614377560152518988\ 1649503168592618274870847259511261739947037984181732790618685455738\ 40818387760012154378033214513184*c_1001_2^29 - 1426425940652618363763542190404921378414176313842328781144720614101\ 4818256079663304175348975245510982973861237059525995880432901146307\ 974706543025518981435578602781931715/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^28 + 3971314162187382561838980511497206639622150750885\ 1134617711113179444220588075543285593081167485790722721215717299088\ 212205830981091994676766472440498976265873757251607531/720592065653\ 3656283740531612017551746906733235019614377560152518988164950316859\ 2618274870847259511261739947037984181732790618685455738408183877600\ 12154378033214513184*c_1001_2^27 - 5550963920367909222714113312788105988750191771942936341573836489294\ 1647502170898718243455840723941801608690999524954939867292649391643\ 153165622493238569392842555754156739/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^26 - 9392141780102553308784269072749541010849111599504\ 4536252445112676655917409329203855297426915408949738572902409425481\ 032586880153272219262558482838704931883117849999289213/720592065653\ 3656283740531612017551746906733235019614377560152518988164950316859\ 2618274870847259511261739947037984181732790618685455738408183877600\ 12154378033214513184*c_1001_2^25 - 5889887804943797765296486960333442647262206325179347112042858021274\ 9381129696994368393506341086767417446438361105431312839245477042735\ 04838495468738708697455480615363457/7205920656533656283740531612017\ 5517469067332350196143775601525189881649503168592618274870847259511\ 2617399470379841817327906186854557384081838776001215437803321451318\ 4*c_1001_2^24 - 364217270076743250940784172266976042349033650003867\ 1977202924040527332067037845148036968057133277368806807499607122572\ 3042177311383039362106506085073250037904660347352169/90074008206670\ 7035467566451502193968363341654377451797195019064873520618789607407\ 7284358855907438907717493379748022716598827335681967301022984700015\ 19297254151814148*c_1001_2^23 - 22257275125392567863672719886971482\ 9800339042553955266942662370134141833480289109458178563525946441094\ 9022318073268760121275356463181825128407354242670697510251290020153\ 595/144118413130673125674810632240351034938134664700392287551203050\ 3797632990063371852365497416945190225234798940759683634655812373709\ 1147681636775520024308756066429026368*c_1001_2^22 - 5541810210389060975596233451373900254664964065303182222101924233856\ 1204729063646656869715848616373081484981896823111278632134694934520\ 5927625400214509067894077241038691963/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^21 + 1601578574534536787974728253585695841081374186590\ 9765544277226907733521644189232711849414574840406319761834522927187\ 0038690585042280291462663086012374091312699830408981785/36029603282\ 6682814187026580600877587345336661750980718878007625949408247515842\ 9630913743542362975563086997351899209086639530934272786920409193880\ 006077189016607256592*c_1001_2^20 + 1127164920871011320180890076686582029548624243741835370495865011509\ 0504473046820089717510313819440975674778792478067287541438688810637\ 95256786062126039130956215902367076679/7205920656533656283740531612\ 0175517469067332350196143775601525189881649503168592618274870847259\ 5112617399470379841817327906186854557384081838776001215437803321451\ 3184*c_1001_2^19 - 387375916192320092301999403948136822303398502507\ 2836163429882768344548181893827931888733074169518858501230722291241\ 16204636612806512970810347330206346430783998311112301473/1441184131\ 3067312567481063224035103493813466470039228755120305037976329900633\ 7185236549741694519022523479894075968363465581237370911476816367755\ 20024308756066429026368*c_1001_2^18 - 4448482973062770077912336723937323499845578296009745382706413205174\ 9711028500031509101258862420346817160025442763038934175808171729112\ 0388316571718627908627011998646469329/18014801641334140709351329030\ 0438793672668330875490359439003812974704123757921481545687177118148\ 7781543498675949604543319765467136393460204596940003038594508303628\ 296*c_1001_2^17 - 1391626518723075717189917288600139167109552684612\ 2203779691836466664541147107730412296327163032882089933435826926846\ 47876200222202536518110568691261346312949089353599865011/7205920656\ 5336562837405316120175517469067332350196143775601525189881649503168\ 5926182748708472595112617399470379841817327906186854557384081838776\ 0012154378033214513184*c_1001_2^16 + 2755749453982475753506626177928494179248708222236781190761169161713\ 8006177036975526772015730091493293066537759304817928169626122494320\ 883378315697239946317244163016809947/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^15 + 59259831403358740644069875062178089336887696708496\ 0478061028026497297375593738150836644687636667872934608231982532386\ 021830549461572430861220954082860362539759735211330947/720592065653\ 3656283740531612017551746906733235019614377560152518988164950316859\ 2618274870847259511261739947037984181732790618685455738408183877600\ 12154378033214513184*c_1001_2^14 - 1072615789930850970021047004156172917421425136572154434788710892183\ 6236580763145223679584057392347012856966989317667228063064702823896\ 0143255130611419451485582514873133731/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^13 - 1343196267131206454142693752102575964329224365482\ 8108638270628212065168796310130375975706908154519232610271385909694\ 89501020469105950586366089387583962850408168232134063425/1441184131\ 3067312567481063224035103493813466470039228755120305037976329900633\ 7185236549741694519022523479894075968363465581237370911476816367755\ 20024308756066429026368*c_1001_2^12 - 2707215804400479884411069583548684738457598911848479798669188981513\ 2804777770845662701507167147749017305260051177795039268917529281442\ 6388976760632039511871163378695478863/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^11 - 4195905441704057296505149960007570616382396028786\ 1238367184577178638864521892148205556195880845434703010848485733989\ 3502386423522885787183491640770379806230041236706762213/14411841313\ 0673125674810632240351034938134664700392287551203050379763299006337\ 1852365497416945190225234798940759683634655812373709114768163677552\ 0024308756066429026368*c_1001_2^10 - 2466763044469987963422159122605447024115531130894328208604554486718\ 5902332550490765698423030935966601660492289398425233832648197546052\ 215889617531542149112381495144114677/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^9 - 266454948666732848854255097580843669713709266872599\ 1545218543041780688186868155503322752925041723536806012008205599732\ 79830566049906509509613863530403247824322531917205603/1441184131306\ 7312567481063224035103493813466470039228755120305037976329900633718\ 5236549741694519022523479894075968363465581237370911476816367755200\ 24308756066429026368*c_1001_2^8 - 136069048035615031978044202016304\ 5858311699277061501241516726953460252670221878844659031674581873336\ 9030939346187525658536673788159697141981068007256026535228186692676\ 4485/72059206565336562837405316120175517469067332350196143775601525\ 1898816495031685926182748708472595112617399470379841817327906186854\ 5573840818387760012154378033214513184*c_1001_2^7 - 4307728362232340181207773689143964187502942735695481709023445202746\ 0546936364786022010896968197237037275755567475747720641238873531239\ 160036437545307399012767766524635953/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^6 - 924513771030815500191542577218048841948474007415555\ 0406224849437259218516729623266760425435816522514357177699932537362\ 534354731756005749800417461983919288495935600590695/180148016413341\ 4070935132903004387936726683308754903594390038129747041237579214815\ 4568717711814877815434986759496045433197654671363934602045969400030\ 38594508303628296*c_1001_2^5 - 592412522101642004760742928313256425\ 7564342205883792057365567507196321761722117625783168279800266980766\ 372993917938346948519890623884343100322892105591019818410853838845/\ 3602960328266828141870265806008775873453366617509807188780076259494\ 0824751584296309137435423629755630869973518992090866395309342727869\ 20409193880006077189016607256592*c_1001_2^4 - 7928260428755383993556555548152284208413923038380622311848556318754\ 3282318878213560527362023337623272896716041090083591790713035289299\ 6708333157543364607058125338915807/18014801641334140709351329030043\ 8793672668330875490359439003812974704123757921481545687177118148778\ 1543498675949604543319765467136393460204596940003038594508303628296\ *c_1001_2^3 - 45896609426837681431576011764838747826301531718189239\ 1167028098487745166757726937589972968207192789816534296677079710613\ 43002040940165352089554487469424911188185450435/4503700410333535177\ 3378322575109698418167082718872589859750953243676030939480370386421\ 7942795371945385874668987401135829941366784098365051149235000759648\ 627075907074*c_1001_2^2 - 11898165475656961544097132936538402864412\ 5594199513169259637388257974333036210186121075017912178864569584406\ 4712234442928918864081190402710759048862327366746218783363/64338577\ 2904790739619690322501567120259529753126751283710727903481086156278\ 2910055203113468505313505512495271248587654713448096915690929302131\ 9285822806946725129582*c_1001_2 - 286207543004479984193414856054324\ 3021416540004038900551400127719696692526723277433364657994589164043\ 41642370086703164485731013214783861853557653657266427165907098460/2\ 2518502051667675886689161287554849209083541359436294929875476621838\ 0154697401851932108971397685972692937334493700567914970683392049182\ 525574617500379824313537953537, c_0101_1 - 117742775727336472767289238132615534978820869030178520922145\ 8378544953076737731568930185319358600329613566233719637712762505087\ 735561103621997013747394632526365844748/225185020516676758866891612\ 8755484920908354135943629492987547662183801546974018519321089713976\ 8597269293733449370056791497068339204918252557461750037982431353795\ 3537*c_1001_2^34 + 293604616287705818527501864717675275109528427766\ 7482263920132113956349906376311808954285317751496873966173160895464\ 275470836436473559961694065653885001791373581896397/225185020516676\ 7588668916128755484920908354135943629492987547662183801546974018519\ 3210897139768597269293733449370056791497068339204918252557461750037\ 9824313537953537*c_1001_2^33 + 429018685222639471047079689691653176\ 0757839474320144394405525567825026188175871130346724358685381315330\ 6099098569499620073022399591273096186507433445315878236754077035/90\ 0740082066707035467566451502193968363341654377451797195019064873520\ 6187896074077284358855907438907717493379748022716598827335681967301\ 02298470001519297254151814148*c_1001_2^32 - 1599358408880773198539612399886708146073064019169448078852864787768\ 9617381569015821741267964692163384440244627328430082104825690524673\ 5813280959404488501934382931491659/18014801641334140709351329030043\ 8793672668330875490359439003812974704123757921481545687177118148778\ 1543498675949604543319765467136393460204596940003038594508303628296\ *c_1001_2^31 - 1688792908123680556905796543929143050596449153727622\ 0365080914687250544766497514512540746979531758984594932876117229183\ 4439083204560335248379881213341912180713237317315/18014801641334140\ 7093513290300438793672668330875490359439003812974704123757921481545\ 6871771181487781543498675949604543319765467136393460204596940003038\ 594508303628296*c_1001_2^30 + 5654928866172476696622600569487123885\ 1328301736282322081657636166722649674591366435063205160151489843390\ 35629620555595654445271716537978014234359182628452278313823461823/7\ 2059206565336562837405316120175517469067332350196143775601525189881\ 6495031685926182748708472595112617399470379841817327906186854557384\ 0818387760012154378033214513184*c_1001_2^29 + 1645565694379108805805404549343414878111159012450864544916508660721\ 3380854321930053114888341874736923019051504218331448351864611100933\ 062933375861280011664768044325215145/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^28 - 2402906508408844137052890215249320634042110609436\ 0609296634654000501090447954706220666632655653150517510803996324151\ 67902240089234825773883053527082097155708241231666125/3602960328266\ 8281418702658060087758734533666175098071887800762594940824751584296\ 3091374354236297556308699735189920908663953093427278692040919388000\ 6077189016607256592*c_1001_2^27 - 838721349993566140345879007596882\ 5148869692223850962471887082498846046306939260797887247435045768718\ 6232841348620720085973475968510160121675230207336329309693541776783\ 19/1441184131306731256748106322403510349381346647003922875512030503\ 7976329900633718523654974169451902252347989407596836346558123737091\ 147681636775520024308756066429026368*c_1001_2^26 + 6007381086170853953192998680502535309022096070820571614349770413963\ 8941796326557576946711203727468043360561888969583689558302732256342\ 92732734376448684626702295399245823/1801480164133414070935132903004\ 3879367266833087549035943900381297470412375792148154568717711814877\ 8154349867594960454331976546713639346020459694000303859450830362829\ 6*c_1001_2^25 + 315525445922498195461024291194169542046574575680579\ 5747537426757195350360688952209934506317450379740177351457714666779\ 5598422002088723142064804267389105613084878618908909/72059206565336\ 5628374053161201755174690673323501961437756015251898816495031685926\ 1827487084725951126173994703798418173279061868545573840818387760012\ 154378033214513184*c_1001_2^24 + 2013988304623080061552671924555977\ 7666878754036087884702114206495564500582271951664227835403311995849\ 3445078887412313697830030226522351410811397761373295254555145806239\ 19/1801480164133414070935132903004387936726683308754903594390038129\ 7470412375792148154568717711814877815434986759496045433197654671363\ 93460204596940003038594508303628296*c_1001_2^23 + 6613125949144124408239931197380256570690788798298212003201225093992\ 2766852860539225223392481085429178538304345716867278485342774906804\ 1290110628164526997412740902614952181/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^22 + 575099689310315254773341479863850595743528443697\ 2293003317339125304465585214065790490847552142329553453117200428132\ 95666253409705251343185691302247445901710899797719325173/7205920656\ 5336562837405316120175517469067332350196143775601525189881649503168\ 5926182748708472595112617399470379841817327906186854557384081838776\ 0012154378033214513184*c_1001_2^21 + 1548812701355960169024352501454317484653525737143720129453975505525\ 6838762459005869107761468777358892113623826575275595701626012151377\ 3721548551797355642116311224011175407/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^20 - 3014098216899661693990025180812494785197251814667\ 8891815757505097529053382372840310010363651575429325770444898578468\ 6800539248898360877600515866805828384695283401317314807/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^19 - 6872361546949723091080059636304513962784954961455273567167348244551\ 6768106531549467876975221796203405585681762022206067281694951096935\ 9675032493488027812602924824790778277/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^18 + 391791433238200299401359359246464557830616267438\ 8186242364823552545556948901298581134178368883550048649301240349308\ 58343434709304814835640196702568188720874635472882872681/7205920656\ 5336562837405316120175517469067332350196143775601525189881649503168\ 5926182748708472595112617399470379841817327906186854557384081838776\ 0012154378033214513184*c_1001_2^17 + 8903939620733915443081086954593894498879974624182346067067506826658\ 3821543102952465004725712545873975711956810371138425484830178262672\ 3197502098245617158488872488906552777/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^16 + 1212740979752661719129925894118637629090735738918\ 8835338896630176132058585619369630823278452123194322656154076312178\ 7022610631284242928330914454643765332061249476527215293/18014801641\ 3341407093513290300438793672668330875490359439003812974704123757921\ 4815456871771181487781543498675949604543319765467136393460204596940\ 003038594508303628296*c_1001_2^15 - 1558913152912381586353788084251081146738541122966334360590911460434\ 2470019123399685649271381977281810276756838327723436485315444627889\ 8426974757638803764044630393876660285/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^14 - 2062111520589823491503050879835576096583173807396\ 5045860342191688019763006313779515650821810154478700589484045848963\ 8814951611397424387513088346372975224829152443204083945/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^13 + 3325418488259688947530833153481511685619077373803767233930787893270\ 9161026441610068226769765631371588835933764847788859740305953553974\ 7761093890222884689826069340150184387/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^12 + 353519674655265271816969339894787368686444058345\ 2272092903689457301725594559751308944156432448969910349550220363790\ 80205721886241039053087408678214536207969738695210984471/7205920656\ 5336562837405316120175517469067332350196143775601525189881649503168\ 5926182748708472595112617399470379841817327906186854557384081838776\ 0012154378033214513184*c_1001_2^11 + 4682872765247015132263492985245275928630394103500776327363008467754\ 5146208502143450882188719543591509682216300624965644905109514505347\ 5510027236980072843694267255205950931/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^10 + 858217489366122359906444170890684274420760704294\ 9778015261550479174339218171670776719783821099350437871534655686786\ 9013613489581730721544489602696771171008949511671467651/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^9 + 1114409968526940626921090569034612262654632375122742462054899031822\ 0848604743573721923378538298238716354906407700279637523961168782316\ 5646229381465747499341927103291503029/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^8 + 1832860562104022581799100593783464278620364666539\ 4150534123250270130708228538796984028924211759941458506775743409773\ 652246278219121462313692042411398387432880893827954673/180148016413\ 3414070935132903004387936726683308754903594390038129747041237579214\ 8154568717711814877815434986759496045433197654671363934602045969400\ 03038594508303628296*c_1001_2^7 + 810115951787726851939252054226761\ 0534634129294143753253564527905628039283486347823867163316042321547\ 7945005725814334996509589985328486465003647949577965166627050475434\ 57/9007400820667070354675664515021939683633416543774517971950190648\ 7352061878960740772843588559074389077174933797480227165988273356819\ 6730102298470001519297254151814148*c_1001_2^6 + 1818969946720381763515587027669982032401781247298760474760158131287\ 5655909418065589701890627793876367435145657963297994082958806176951\ 345507840852925442096854618140165405/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^5 + 709319606129750491718376552730766310008303473222986\ 2045150361719853925434441845652138689443573599511765621035127955813\ 345131610967881982331717050908630189713047234309245/360296032826682\ 8141870265806008775873453366617509807188780076259494082475158429630\ 9137435423629755630869973518992090866395309342727869204091938800060\ 77189016607256592*c_1001_2^4 + 106145733809162195316695869428602497\ 2090571886341096266689499117078842474770271913624455978211399206919\ 213438601692858477206177123364200130452612238351242206639422344747/\ 1801480164133414070935132903004387936726683308754903594390038129747\ 0412375792148154568717711814877815434986759496045433197654671363934\ 60204596940003038594508303628296*c_1001_2^3 + 3382764515584836830181807033595650685728129471869169464205330653847\ 8087302935634018354114660144627401283985636382147813078778108591875\ 573096345387179128006732841966086/225185020516676758866891612875548\ 4920908354135943629492987547662183801546974018519321089713976859726\ 92937334493700567914970683392049182525574617500379824313537953537*c\ _1001_2^2 + 2116463941214365161247516965454016220663215553793836055\ 2618121388915009881042647463561831898764177989609544929073342350154\ 15538215449910726016388122038515540331664299/6433857729047907396196\ 9032250156712025952975312675128371072790348108615627829100552031134\ 6850531350551249527124858765471344809691569092930213192858228069467\ 25129582*c_1001_2 + 12045886709956972355635181802573436913995942115\ 1470280867661772446395877434265912514528437384181207126851284105773\ 2238712068648027245615577870485783826291725202236286/22518502051667\ 6758866891612875548492090835413594362949298754766218380154697401851\ 9321089713976859726929373344937005679149706833920491825255746175003\ 79824313537953537, c_0101_10 + 14539565100056771678712873945755648787276274742020396398275\ 6322379768402987552187696330494237810309519789215881791279337327293\ 31767181731809948168250062666165694778764/2251850205166767588668916\ 1287554849209083541359436294929875476621838015469740185193210897139\ 7685972692937334493700567914970683392049182525574617500379824313537\ 953537*c_1001_2^34 - 4677393354038895681394138575888161307912803528\ 2182933596094375544244676387961606860222236076892995263353855666000\ 723092583172505631553436918827618124024365327773021653/225185020516\ 6767588668916128755484920908354135943629492987547662183801546974018\ 5193210897139768597269293733449370056791497068339204918252557461750\ 0379824313537953537*c_1001_2^33 - 411116741507048997444758215599277\ 6230171290532345133462841854845156669196370028665920333180791638746\ 4784711145615229052300755651458399421831680217901449424185246617176\ 3/90074008206670703546756645150219396836334165437745179719501906487\ 3520618789607407728435885590743890771749337974802271659882733568196\ 730102298470001519297254151814148*c_1001_2^32 + 2715223716534792086851729766550254395661692437685022624060203382948\ 6872161336091497472641383487109434400935748607735976517050414256144\ 07226267236721288418048874006925887/1801480164133414070935132903004\ 3879367266833087549035943900381297470412375792148154568717711814877\ 8154349867594960454331976546713639346020459694000303859450830362829\ 6*c_1001_2^31 + 228422192954988304028910044720601845348868164789393\ 2558407904990163242301687535492323411965550268220420067998565716349\ 28931075106696082080861254001155200228819399372081/1801480164133414\ 0709351329030043879367266833087549035943900381297470412375792148154\ 5687177118148778154349867594960454331976546713639346020459694000303\ 8594508303628296*c_1001_2^30 - 746815663596233920858516567409202509\ 5562983681045018537684676692851311324527714638372848217342721258320\ 7957041394770322421246419737908372665216458780136038808400781828471\ /720592065653365628374053161201755174690673323501961437756015251898\ 8164950316859261827487084725951126173994703798418173279061868545573\ 840818387760012154378033214513184*c_1001_2^29 - 8753970065922694740479060192144630596034100688650074777240589687968\ 3133416624877107571263414041747818143987524856015002111736789150332\ 093780962077479531039308430433296101/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^28 + 1123477254066551937710501458235592786429799932747\ 1679219409038159281162293492224043724604436753778063301756185518495\ 6734833555338248305705268019885874745116530719846068477/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^27 - 8739808971609627377206055928643409006923957715284596631208232833196\ 1027026582252144144797029486138667116668776017839303081415761827723\ 955956424034182267199727181610057653/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^26 - 3053689846962962194233060004242720164064646565593\ 1646339798327466771937400469252022596027981450389454677808376506278\ 6274883384590349636058051266112461309227919997095892555/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^25 - 1059224125185965819558767071504081950059990925292892213258409685538\ 1493356352139132160210511054003381883087087167041295964580880404175\ 0311233769673773583994421984272480515/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^24 - 1073113139810496875007308249510356547613669225871\ 3235542769628478925381141477473738004930091507784317236017063790350\ 2625268987124100363844037785222790474572999098962801079/90074008206\ 6707035467566451502193968363341654377451797195019064873520618789607\ 4077284358855907438907717493379748022716598827335681967301022984700\ 01519297254151814148*c_1001_2^23 - 7095769574706867549346511044934346702936686153657598884605285417970\ 7160820164941881923738833237016685356176379925249564100600201809755\ 84236078967025615186529350543653275557/1441184131306731256748106322\ 4035103493813466470039228755120305037976329900633718523654974169451\ 9022523479894075968363465581237370911476816367755200243087560664290\ 26368*c_1001_2^22 - 21370735147362473002979759243712514081503548824\ 6863981989508837936640962110896053518332215546656368177500017023319\ 7247693178473721272531140168403864915685320635362186158737/36029603\ 2826682814187026580600877587345336661750980718878007625949408247515\ 8429630913743542362975563086997351899209086639530934272786920409193\ 880006077189016607256592*c_1001_2^21 + 1758133670820733063671097301859567172864058388187049442798372580355\ 8901129507267114028872652913869997480277541340259776533734312068322\ 683281797918586501294674306855877731/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^20 + 37696666776713127566727175579185238376065919224999\ 6575797801242319190537295781893835011088860833382148050007478685353\ 3367157362041399173677298055634336851036233186391657449/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^19 + 9048753101649435853093785972372181119322937852761287247567308317928\ 3592211892729233014515552189725655835981712990148174421328084604953\ 4170092023002134204262386765803209089/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^18 - 139838725366622236173788030542680592395498135371\ 3861220821226298571011339778177626137045664082417564220891384133556\ 766986316422794676523667011322688309523644339443825742859/180148016\ 4133414070935132903004387936726683308754903594390038129747041237579\ 2148154568717711814877815434986759496045433197654671363934602045969\ 40003038594508303628296*c_1001_2^17 - 5763652481252475214273053792415198432635827004657803620577567607730\ 1992750740081412671914796571336581765312678076967567649878284333580\ 34770165880430715884992332773019885989/7205920656533656283740531612\ 0175517469067332350196143775601525189881649503168592618274870847259\ 5112617399470379841817327906186854557384081838776001215437803321451\ 3184*c_1001_2^16 - 183274239710930579632345161135055404208716433125\ 4750308311676721844577208645313814895818098990784769763618777720969\ 63607217787078885349392687358790712461901471852437577275/1801480164\ 1334140709351329030043879367266833087549035943900381297470412375792\ 1481545687177118148778154349867594960454331976546713639346020459694\ 0003038594508303628296*c_1001_2^15 + 2044054305212534879370397041571070799353255883261768487575084708123\ 3809294136771296707267815676704318537150395277222266165993149359569\ 59113593336615028910296198555523533465/7205920656533656283740531612\ 0175517469067332350196143775601525189881649503168592618274870847259\ 5112617399470379841817327906186854557384081838776001215437803321451\ 3184*c_1001_2^14 + 205467471953253496712687851562324539811998007671\ 5586159605953259548071272557019588636618219228579992167262727561370\ 13623864406069528471113057452664824379951426745320337691/7205920656\ 5336562837405316120175517469067332350196143775601525189881649503168\ 5926182748708472595112617399470379841817327906186854557384081838776\ 0012154378033214513184*c_1001_2^13 - 4358485182173392423391657368189171425240070451133817894470407434205\ 8197797332712976912830626181890690711501928133430899859691910471456\ 85799932393792978125659261779493954487/1441184131306731256748106322\ 4035103493813466470039228755120305037976329900633718523654974169451\ 9022523479894075968363465581237370911476816367755200243087560664290\ 26368*c_1001_2^12 - 11042855453004466589386414960900997328346447577\ 9632809774226540825596249031791060852124337609571794899230917746649\ 3414436914540917101572295850509759886383489376560152958073/36029603\ 2826682814187026580600877587345336661750980718878007625949408247515\ 8429630913743542362975563086997351899209086639530934272786920409193\ 880006077189016607256592*c_1001_2^11 - 2058042970431087045026527593243807345895726228429581373490061518938\ 2849877060746041105589770729560935141057125616092074165580421370831\ 22628407578211198345654094777678854259/1441184131306731256748106322\ 4035103493813466470039228755120305037976329900633718523654974169451\ 9022523479894075968363465581237370911476816367755200243087560664290\ 26368*c_1001_2^10 - 10505998712164037964108962152992217150941884775\ 8671671454889250985937697796792071199891958660361124418153486113550\ 079197057727358184466129418518333385316559619787178034847/180148016\ 4133414070935132903004387936726683308754903594390038129747041237579\ 2148154568717711814877815434986759496045433197654671363934602045969\ 40003038594508303628296*c_1001_2^9 - 9333109111040323895830986445017193392636055930818771802773187832142\ 8248926980659500494043784122235799840007315830831693516799689145610\ 4709772133381683419993460591830884717/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^8 - 5172024815916738142904570684298099513075516381420\ 2525395908095473520396562182754618574875082240244888018803693195360\ 0404617953648816571656235807670014035648071249971932171/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^7 - 1822022295855057845083621221701295972122662910900612004686639433697\ 2834926021707663217423925978649969657435260930998719779618066362774\ 8803144384551083986009514634017539173/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^6 - 43184574960654738308899111681983321190390600625450\ 9995976946318696940254214945246793618355865261713137979469673415097\ 70186029034451206573980485948991272715128376856010523/1801480164133\ 4140709351329030043879367266833087549035943900381297470412375792148\ 1545687177118148778154349867594960454331976546713639346020459694000\ 3038594508303628296*c_1001_2^5 - 2985244285937331920367203954267715\ 8215712628845615519726392115459821820817411781287145186640866703526\ 0344923646426065073068779003963440821688392214712680508657285444642\ 73/3602960328266828141870265806008775873453366617509807188780076259\ 4940824751584296309137435423629755630869973518992090866395309342727\ 86920409193880006077189016607256592*c_1001_2^4 - 4142759190015871626007275991383511459583402778778735477108763478190\ 0806202938583233159670232156438433704445125177116341423732616001829\ 92595050613743433362382719313541583/1801480164133414070935132903004\ 3879367266833087549035943900381297470412375792148154568717711814877\ 8154349867594960454331976546713639346020459694000303859450830362829\ 6*c_1001_2^3 - 5087599980146693467717553664696016162726531840792903\ 6463031029650788566916815135743178750042332452820058838611618021236\ 2785009291878419634618172710254964530169695402265/90074008206670703\ 5467566451502193968363341654377451797195019064873520618789607407728\ 4358855907438907717493379748022716598827335681967301022984700015192\ 97254151814148*c_1001_2^2 - 377587459075782259175819982948897635352\ 9938449641112195199981014138236053775170950356894325029340951420652\ 439234963680387431067963293606222997354350273548592815967433/321692\ 8864523953698098451612507835601297648765633756418553639517405430781\ 3914550276015567342526567527562476356242938273567240484578454646510\ 659642911403473362564791*c_1001_2 - 3187270523989516980387315325227987536451811416365079275729037421536\ 4262051177696342050872221270028363185869172247335050871646010239153\ 28869312311162403059893424125739/2251850205166767588668916128755484\ 9209083541359436294929875476621838015469740185193210897139768597269\ 2937334493700567914970683392049182525574617500379824313537953537, c_0101_12 + 70205190729553030773654475893278049840168034604104078159085\ 5694313529057169488191183844735499232009880627484714278093562190475\ 2360644936784439918074353927968698238620/22518502051667675886689161\ 2875548492090835413594362949298754766218380154697401851932108971397\ 6859726929373344937005679149706833920491825255746175003798243135379\ 53537*c_1001_2^34 - 22868283463965452086193512673741100072073459149\ 4824971879889356342785083568760727088115642076843860338442753924607\ 96365800327761735782919795348050153922046917622040937/2251850205166\ 7675886689161287554849209083541359436294929875476621838015469740185\ 1932108971397685972692937334493700567914970683392049182525574617500\ 379824313537953537*c_1001_2^33 - 1958345116135462802293505894658751\ 8097229998324787570437426890816378393203594366543074741641330707212\ 9183262161855035297433764681882008796408278964772736127960644085039\ /900740082066707035467566451502193968363341654377451797195019064873\ 5206187896074077284358855907438907717493379748022716598827335681967\ 30102298470001519297254151814148*c_1001_2^32 + 1337135358238653708211946049267633903031506630335986167465620460770\ 4085628689990769964706129593222463947546743348662731274365232028232\ 11276843014964812089520592783264655/1801480164133414070935132903004\ 3879367266833087549035943900381297470412375792148154568717711814877\ 8154349867594960454331976546713639346020459694000303859450830362829\ 6*c_1001_2^31 + 561362212614515635958241733028250050740722434314915\ 9110046209496537592826287818505414919996625652883467694128916821851\ 6446846657417151376537307575404093544569663454463/18014801641334140\ 7093513290300438793672668330875490359439003812974704123757921481545\ 6871771181487781543498675949604543319765467136393460204596940003038\ 594508303628296*c_1001_2^30 - 3633168943950997094335482882311305281\ 8233401251391087135888805180909520919539498751765272743278521953827\ 401162770965403202874898837750231002093578653409496385526739426819/\ 7205920656533656283740531612017551746906733235019614377560152518988\ 1649503168592618274870847259511261739947037984181732790618685455738\ 40818387760012154378033214513184*c_1001_2^29 - 3852598113416166270731527245330631671013793366148569005140092002237\ 3278920778807287075650421523607163530034613265858591258809328977735\ 223780775485301997895379535905219285/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^28 + 2804829702857740673431610882185385878069172279159\ 2434212241076460585115054204507016857213265560420405415501574442801\ 490542072889486885768202035396505462129607013397956599/360296032826\ 6828141870265806008775873453366617509807188780076259494082475158429\ 6309137435423629755630869973518992090866395309342727869204091938800\ 06077189016607256592*c_1001_2^27 - 5003248894097482627254128061899809302727040784613871328750678569482\ 3110971148343686757564920711433876709667207875883391399413941136614\ 737088642906481029905930666533196769/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^26 - 3701748773596563174274244121613982972038130099627\ 8324377510117716641833779093135837121476872131221422033107082691128\ 726818188832670413170366319986143584915351973101107765/180148016413\ 3414070935132903004387936726683308754903594390038129747041237579214\ 8154568717711814877815434986759496045433197654671363934602045969400\ 03038594508303628296*c_1001_2^25 - 4013491170190890847366678829866179423524620350648009778523954490964\ 9255696271875687172481475534284084881253047173277048789892724697565\ 007193402146931535033938910639472647/720592065653365628374053161201\ 7551746906733235019614377560152518988164950316859261827487084725951\ 1261739947037984181732790618685455738408183877600121543780332145131\ 84*c_1001_2^24 - 10304419185367985140369030458792341806762268735041\ 6447652800780131762510285837570866223190849130897178081831724657128\ 418469541299926380880256695551509718281452100509710233/180148016413\ 3414070935132903004387936726683308754903594390038129747041237579214\ 8154568717711814877815434986759496045433197654671363934602045969400\ 03038594508303628296*c_1001_2^23 - 3405853392308313314921334007544498566435858709819392960612085946758\ 7589708657959228767439666775801845739808681838768307166195895695672\ 62733196170230951123771727571791485729/1441184131306731256748106322\ 4035103493813466470039228755120305037976329900633718523654974169451\ 9022523479894075968363465581237370911476816367755200243087560664290\ 26368*c_1001_2^22 - 19759413183600658724887136630634034339597221059\ 1472672885672926133039548552571343120799214429173164728595452453538\ 4402362457032668882902057067245079106524658427145978404945/72059206\ 5653365628374053161201755174690673323501961437756015251898816495031\ 6859261827487084725951126173994703798418173279061868545573840818387\ 760012154378033214513184*c_1001_2^21 + 8166948398920442910514374814825823515418221470453781539012640637565\ 9731043116795546523161313705821853825260500571912751218556348253751\ 56235661987405679296473621212323233/4503700410333535177337832257510\ 9698418167082718872589859750953243676030939480370386421794279537194\ 5385874668987401135829941366784098365051149235000759648627075907074\ *c_1001_2^20 + 1791622185135712163948890713586192188512031978183698\ 6789721092150185784547998355017193524964744040672973844677435973817\ 54214204825327087392690796085342647455712430033696887/7205920656533\ 6562837405316120175517469067332350196143775601525189881649503168592\ 6182748708472595112617399470379841817327906186854557384081838776001\ 2154378033214513184*c_1001_2^19 + 168438669297870008266141982902535\ 5282817616894175171659092081013739809662513199894687224274566385664\ 4659927504722362382414517845217753896509163075475869432656776880346\ 6617/14411841313067312567481063224035103493813466470039228755120305\ 0379763299006337185236549741694519022523479894075968363465581237370\ 91147681636775520024308756066429026368*c_1001_2^18 - 2693843118589477911540864359133556581580490284210203999616407059395\ 7091664154428390941318329134966340562503018572573643529554816850880\ 06985260006979374241322692233660380129/7205920656533656283740531612\ 0175517469067332350196143775601525189881649503168592618274870847259\ 5112617399470379841817327906186854557384081838776001215437803321451\ 3184*c_1001_2^17 - 259643576641207556670706210639445376174762014908\ 5010394072036046458628599949117116183309772759825559105678861966277\ 304486240426504575770474382592328092787647254645304431395/720592065\ 6533656283740531612017551746906733235019614377560152518988164950316\ 8592618274870847259511261739947037984181732790618685455738408183877\ 60012154378033214513184*c_1001_2^16 - 7062152238585464716280610500043025867004810125123142132546848721658\ 2172446567521091109687603871980948093754176570283339296018637952238\ 24235702186896241973688274543125400/2251850205166767588668916128755\ 4849209083541359436294929875476621838015469740185193210897139768597\ 2692937334493700567914970683392049182525574617500379824313537953537\ *c_1001_2^15 + 9412786961622795486044247240825332996376350589514867\ 9426505924040579852810775076450898355334280765848485798143908432403\ 3841854231347195876864605185660053049593469991667185/72059206565336\ 5628374053161201755174690673323501961437756015251898816495031685926\ 1827487084725951126173994703798418173279061868545573840818387760012\ 154378033214513184*c_1001_2^14 + 2496926637489063517249661195254800\ 5627850905517915549290965409554324102180921653998684440244403988860\ 5908597434193036924577047271901742785867430757256069378189337747477\ 01/7205920656533656283740531612017551746906733235019614377560152518\ 9881649503168592618274870847259511261739947037984181732790618685455\ 73840818387760012154378033214513184*c_1001_2^13 - 2058947795257274950455258681794671454290051851702739287693709600406\ 1859993393785081795375637790485684628689471444740538552343473152525\ 80984587137363665691295794015063294271/1441184131306731256748106322\ 4035103493813466470039228755120305037976329900633718523654974169451\ 9022523479894075968363465581237370911476816367755200243087560664290\ 26368*c_1001_2^12 - 99487724124663605496537229117573058963710232560\ 5257305282730507163579964168026602529427933121970239702197207017767\ 790862184666908404355191464579897799429220289248589343695/720592065\ 6533656283740531612017551746906733235019614377560152518988164950316\ 8592618274870847259511261739947037984181732790618685455738408183877\ 60012154378033214513184*c_1001_2^11 - 9158800157097443596596423113226053030703326303667269711662484573965\ 1754030179362011778299655003457236441092548471599107362894469235235\ 6494899321030966788994622131152803347/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^10 - 197377523279187341805658936295950553792171649833\ 9505869666096681425872798995509486414326541380518567658555329107856\ 76054086980247077819512991799781510314968320577351937155/7205920656\ 5336562837405316120175517469067332350196143775601525189881649503168\ 5926182748708472595112617399470379841817327906186854557384081838776\ 0012154378033214513184*c_1001_2^9 - 4404509622727556752846353983493465836533989002759485676327883569699\ 4192619752954212789207586674974929073861700132735333332133734514711\ 0162381209348539933298847198357329669/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^8 - 2964277354674795555533344135096615904374395103958\ 1585145792495774383091163778088816457741404642834190872211846069608\ 803984431779788633523455673842734825953385088269225427/900740082066\ 7070354675664515021939683633416543774517971950190648735206187896074\ 0772843588559074389077174933797480227165988273356819673010229847000\ 1519297254151814148*c_1001_2^7 - 8246162618265829975150028367768163\ 7377397707539984622628030386605819580517536682409653589277894794779\ 0396632053814710617877395624204088629089620381577217939348415618237\ 19/3602960328266828141870265806008775873453366617509807188780076259\ 4940824751584296309137435423629755630869973518992090866395309342727\ 86920409193880006077189016607256592*c_1001_2^6 - 3894573606371943343691744625000835661732550478578990214272144879868\ 4571902490721968466041478798094776236495798900178867193157184771276\ 906769563529093512749086165496573249/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^5 - 134220966082230052292850400730601170728413871766136\ 6055185503645925906255925369756590677869864958859058690393973820722\ 9097472065493402657967805536381723090377858403627387/36029603282668\ 2814187026580600877587345336661750980718878007625949408247515842963\ 0913743542362975563086997351899209086639530934272786920409193880006\ 077189016607256592*c_1001_2^4 - 18444694835594528876343642836404274\ 9077306153521083860997710881806276784519328218222194270279560064277\ 4678558390334661749891270695062105563719427799992911830432264056023\ /180148016413341407093513290300438793672668330875490359439003812974\ 7041237579214815456871771181487781543498675949604543319765467136393\ 460204596940003038594508303628296*c_1001_2^3 - 1113187112984626292534182679284679814007726113708352749457666621466\ 2667556568705730332806641783779656207423571603884545630082729528421\ 4372412904776231249125323440894835/45037004103335351773378322575109\ 6984181670827188725898597509532436760309394803703864217942795371945\ 385874668987401135829941366784098365051149235000759648627075907074*\ c_1001_2^2 - 320348148608701510956703652646000150598669879853533470\ 2688074823082468407531524277744135303064681904188783562891407149138\ 059313083196695840943759166825639686093492107/643385772904790739619\ 6903225015671202595297531267512837107279034810861562782910055203113\ 4685053135055124952712485876547134480969156909293021319285822806946\ 725129582*c_1001_2 - 1282601647741009651621277858564415129794103136\ 7409914449610584758221891184344313357993140875498930276462912760500\ 04396049422623091109283994323329506662933087313277482/2251850205166\ 7675886689161287554849209083541359436294929875476621838015469740185\ 1932108971397685972692937334493700567914970683392049182525574617500\ 379824313537953537, c_0101_2 + 906343134816800102035704300189937613785257902304698785006783\ 1852897736165541335359532621451984875624721838807454336665011976774\ 43717645639730485074764283702208379708/3216928864523953698098451612\ 5078356012976487656337564185536395174054307813914550276015567342526\ 5675275624763562429382735672404845784546465106596429114034733625647\ 91*c_1001_2^34 - 29565623086127320093567966272888321599086204684112\ 3405545960998917511831663761910378624454114794083950301688162207514\ 6384178341676216786217285844874678980044374135121/32169288645239536\ 9809845161250783560129764876563375641855363951740543078139145502760\ 1556734252656752756247635624293827356724048457845464651065964291140\ 3473362564791*c_1001_2^33 - 250833050073834100048538294668214725109\ 8835699869002748662318245381223331040088747819515734137517617871652\ 7828484019210178271393688434815209851140470484562834745948071/12867\ 7154580958147923938064500313424051905950625350256742145580696217231\ 2556582011040622693701062701102499054249717530942689619383138185860\ 42638571645613893450259164*c_1001_2^32 + 1718619859454058400312818304876051269605585112160706082984946194847\ 9065881588403861684579116486926611031109859161597913349244463866143\ 8641552952292011779122040858266623/25735430916191629584787612900062\ 6848103811901250700513484291161392434462511316402208124538740212540\ 220499810849943506188537923876627637172085277143291227786900518328*\ c_1001_2^31 + 46152221784439541967684863978036814856484063604116964\ 2700326010400347702726420603724068717270094949081711084410624238429\ 9920240894224113129653117406056474719253689891/25735430916191629584\ 7876129000626848103811901250700513484291161392434462511316402208124\ 5387402125402204998108499435061885379238766276371720852771432912277\ 86900518328*c_1001_2^30 - 46606069834081943420351002449935486883693\ 0040029870104234521211222218794559396688342437414789618902712651409\ 8961178685251263806745712060553660655207388891855462691895771/10294\ 1723664766518339150451600250739241524760500280205393716464556973785\ 0045265608832498154960850160881999243399774024754151695506510548688\ 341108573164911147602073312*c_1001_2^29 - 4938408199317063090989012117882481548910859030310786801027350037701\ 5030908468086106917820839732589094177300619049426366338476924635694\ 76170701404028231799606919346790757/2058834473295330366783009032005\ 0147848304952100056041078743292911394757000905312176649963099217003\ 2176399848679954804950830339101302109737668221714632982229520414662\ 4*c_1001_2^28 + 176562746372533265831259531585301411029683412589054\ 6403952241034156829212728509885295950187220534945674981882210182914\ 457900689318109913916742517689220603738598328994565/257354309161916\ 2958478761290006268481038119012507005134842911613924344625113164022\ 0812453874021254022049981084994350618853792387662763717208527714329\ 1227786900518328*c_1001_2^27 - 662632606558913446402245827448846436\ 5189325065147344596409100737771773153419325493594698223187634122899\ 551941850479667293160103489604840300348028888729104225079417799305/\ 2058834473295330366783009032005014784830495210005604107874329291139\ 4757000905312176649963099217003217639984867995480495083033910130210\ 97376682217146329822295204146624*c_1001_2^26 - 9378931415622804535504629841990263159280802608789084592470893975553\ 0857101835591134358002467379003593489138901310464222879489105340108\ 11801338821497311716830329891649027/5147086183238325916957522580012\ 5369620762380250140102696858232278486892502263280441624907748042508\ 0440999621699887012377075847753255274344170554286582455573801036656\ *c_1001_2^25 - 5303188512747004542377316129459287320906027655858406\ 2900066489548527807769997914655523232578748414404326567782285469981\ 68009790995747127143322074355250796703559824411879/1029417236647665\ 1833915045160025073924152476050028020539371646455697378500452656088\ 3249815496085016088199924339977402475415169550651054868834110857316\ 4911147602073312*c_1001_2^24 - 168678380665519708122133539011084544\ 7949009386133247409876615441254326510638115807817069656194536960174\ 418166169429398900218095110843009711605444288621106980776654999729/\ 3216928864523953698098451612507835601297648765633756418553639517405\ 4307813914550276015567342526567527562476356242938273567240484578454\ 646510659642911403473362564791*c_1001_2^23 - 4390565883153620193536285878465833426684613730632866742106116656024\ 9832178432940230633932890067670555156046777490254379054335369442956\ 0327130440475585025138322275869795817/20588344732953303667830090320\ 0501478483049521000560410787432929113947570009053121766499630992170\ 0321763998486799548049508303391013021097376682217146329822295204146\ 624*c_1001_2^22 - 2559913192523903145868779398201587079295359565579\ 5382567049910677214496721747552831946825987321011438070191186536115\ 6835546641035010050748810822896668699062778259817248507/10294172366\ 4766518339150451600250739241524760500280205393716464556973785004526\ 5608832498154960850160881999243399774024754151695506510548688341108\ 573164911147602073312*c_1001_2^21 + 2445270215060830756869846862360769930574640556981050448868966092919\ 7614147908225950414393874579929507493994515769274869373907156625661\ 53828043668002648177123881041026855/2573543091619162958478761290006\ 2684810381190125070051348429116139243446251131640220812453874021254\ 0220499810849943506188537923876627637172085277143291227786900518328\ *c_1001_2^20 + 2236132564762363453749167606194418043436350045031712\ 9111710585295622833628729731546983756712414338990597560352150882592\ 1883270831260611314351527865665300045187766087949535/10294172366476\ 6518339150451600250739241524760500280205393716464556973785004526560\ 8832498154960850160881999243399774024754151695506510548688341108573\ 164911147602073312*c_1001_2^19 + 2819566408335659740813336177422218\ 8460297095802662345785860241225686464689291208947156605641186411292\ 6307191620934716795125182160552982883792472357603414487401244209255\ 61/2058834473295330366783009032005014784830495210005604107874329291\ 1394757000905312176649963099217003217639984867995480495083033910130\ 21097376682217146329822295204146624*c_1001_2^18 - 3386184341534673953721919091670915216162410272822895731372204609531\ 6424031207734355437091327610017570460861072509271891683538227570227\ 6131329692074888630522627336621732295/10294172366476651833915045160\ 0250739241524760500280205393716464556973785004526560883249815496085\ 0160881999243399774024754151695506510548688341108573164911147602073\ 312*c_1001_2^17 - 3369259660125987783226114097414646212009438252593\ 0784508300218101322207472682247839352759380860371099805449943745582\ 6670500159247029369010328666052494054771916971151504175/10294172366\ 4766518339150451600250739241524760500280205393716464556973785004526\ 5608832498154960850160881999243399774024754151695506510548688341108\ 573164911147602073312*c_1001_2^16 - 1053700637141003832533657014675435855090317109589896609700866066657\ 5878591653671769465814619421174590807722744752829788186645083926779\ 792807404971790774094912308050321703/257354309161916295847876129000\ 6268481038119012507005134842911613924344625113164022081245387402125\ 4022049981084994350618853792387662763717208527714329122778690051832\ 8*c_1001_2^15 + 113532854475005926639682734115122365287253110505579\ 0039290003368355637817089842736401346459090742594051102971094682069\ 69540800330311136563244336169939351382897195404155105/1029417236647\ 6651833915045160025073924152476050028020539371646455697378500452656\ 0883249815496085016088199924339977402475415169550651054868834110857\ 3164911147602073312*c_1001_2^14 + 641593974968704516471443392362057\ 2022826265797391417823142378419507343744984764107950644961729555054\ 3546836058956836375540563617380920744344555023572909326879388256723\ 05/1029417236647665183391504516002507392415247605002802053937164645\ 5697378500452656088324981549608501608819992433997740247541516955065\ 10548688341108573164911147602073312*c_1001_2^13 - 2567858406415656889614917394596435222852650988196109035283468376407\ 7193127960904255275876745347669308415942182672955316934108098669194\ 0989548480641250008975947047734115167/20588344732953303667830090320\ 0501478483049521000560410787432929113947570009053121766499630992170\ 0321763998486799548049508303391013021097376682217146329822295204146\ 624*c_1001_2^12 - 1300866109743882228738012714238844533904546839481\ 9946275053712793170500602673467796694829681446024183555075825133827\ 0024314796112404385598761900955699284350162345742572437/10294172366\ 4766518339150451600250739241524760500280205393716464556973785004526\ 5608832498154960850160881999243399774024754151695506510548688341108\ 573164911147602073312*c_1001_2^11 - 1274673714538651589735526037883280895554995749700004675514153799738\ 5656176612218200899364808640298414170696502560080727041751601211849\ 3203605529894002421637658970002148787/20588344732953303667830090320\ 0501478483049521000560410787432929113947570009053121766499630992170\ 0321763998486799548049508303391013021097376682217146329822295204146\ 624*c_1001_2^10 - 2815231338558598857529838903968546765085767059553\ 9187357428592931830893796298311845034724751539629176854166519789622\ 121872172404505091421225190938231341299588309430020065/102941723664\ 7665183391504516002507392415247605002802053937164645569737850045265\ 6088324981549608501608819992433997740247541516955065105486883411085\ 73164911147602073312*c_1001_2^9 - 580412143260124801144679300339001\ 7063745672618583368041533963178837929421588243401694009413688824845\ 9139965391108123585158944739102476294522517268091641546679063516924\ 773/205883447329533036678300903200501478483049521000560410787432929\ 1139475700090531217664996309921700321763998486799548049508303391013\ 021097376682217146329822295204146624*c_1001_2^8 - 1551466235375566227138429886108848004728258401614071294077963122853\ 4484835484851924463537512500701323155283006678074253149621943986517\ 117688640565561780230027215776582433/514708618323832591695752258001\ 2536962076238025014010269685823227848689250226328044162490774804250\ 8044099962169988701237707584775325527434417055428658245557380103665\ 6*c_1001_2^7 - 1105330626452849811038750578642321891492541231328683\ 7093319840218415226494060914392439578043848598148327198260529843835\ 812885784296283706886703846661022330669695305824731/514708618323832\ 5916957522580012536962076238025014010269685823227848689250226328044\ 1624907748042508044099962169988701237707584775325527434417055428658\ 2455573801036656*c_1001_2^6 - 5402194496603541894253426355466944856\ 8628090083940936948151744746120578733442251438810337779999817035850\ 44014300341420106039634781646057523855566811574478764123902225797/5\ 1470861832383259169575225800125369620762380250140102696858232278486\ 8925022632804416249077480425080440999621699887012377075847753255274\ 344170554286582455573801036656*c_1001_2^5 - 1934565235288091988751760816125468403743116615752001870254370642560\ 8244795722739582215419860885592353869559720024853568057366216637002\ 39955523993775908903838524883838363/5147086183238325916957522580012\ 5369620762380250140102696858232278486892502263280441624907748042508\ 0440999621699887012377075847753255274344170554286582455573801036656\ *c_1001_2^4 - 27468711924979518299983071115018833873866713753593161\ 3311971471193152713778095537663513457577603100982995876848546730158\ 565605993620685249011996022239738144975982087353/257354309161916295\ 8478761290006268481038119012507005134842911613924344625113164022081\ 2453874021254022049981084994350618853792387662763717208527714329122\ 7786900518328*c_1001_2^3 - 8412427653278196831045803415985989230762\ 0784454376216460774477290180399129359431624138979137175859347697137\ 95092272892549451634423079869699328080839043079835166957853/3216928\ 8645239536980984516125078356012976487656337564185536395174054307813\ 9145502760155673425265675275624763562429382735672404845784546465106\ 59642911403473362564791*c_1001_2^2 - 3527615783281652971914427581845889297287705019090041042641012221217\ 2072518988951517723296834477241341522732753602307607958356210993326\ 07625138251585931889086649492097/6433857729047907396196903225015671\ 2025952975312675128371072790348108615627829100552031134685053135055\ 124952712485876547134480969156909293021319285822806946725129582*c_1\ 001_2 - 22613410257546963473953511754783694482027173268240579429064\ 2850809978172806067699191026891426851375152119050654672997260453263\ 804067010931705450711087459300152676066/321692886452395369809845161\ 2507835601297648765633756418553639517405430781391455027601556734252\ 6567527562476356242938273567240484578454646510659642911403473362564\ 791, c_0101_4 + 140315881911269155451995891412432996975279337787194134837749\ 8959893896102845134376070967144313281253626705150720489744268816614\ 1509046279307672519788174172943859870144/22518502051667675886689161\ 2875548492090835413594362949298754766218380154697401851932108971397\ 6859726929373344937005679149706833920491825255746175003798243135379\ 53537*c_1001_2^34 - 46427126791486102053141266550576220483201584994\ 7237069858042009710545045061742099668764960787642398614166693630659\ 37311479612039472301769500735280514757398249079156464/2251850205166\ 7675886689161287554849209083541359436294929875476621838015469740185\ 1932108971397685972692937334493700567914970683392049182525574617500\ 379824313537953537*c_1001_2^33 - 9407928439401339219106921526633328\ 2096147508947096558840120537553677981429758743162962387068050166753\ 223069435594136209490449433518311686362840522432558685466149255732/\ 2251850205166767588668916128755484920908354135943629492987547662183\ 8015469740185193210897139768597269293733449370056791497068339204918\ 2525574617500379824313537953537*c_1001_2^32 + 3334669590072434178367824057782197158269662974716011209998887470002\ 9101766981337551406872058137461542800925109241530162702931050596547\ 1775324098680748239093935973626444/22518502051667675886689161287554\ 8492090835413594362949298754766218380154697401851932108971397685972\ 692937334493700567914970683392049182525574617500379824313537953537*\ c_1001_2^31 - 95603978147873536241614869274065731391829877136367843\ 0453773702541024857087031421040752165104410995198989297319098431891\ 5437008224508936541076978389600936935106087019/22518502051667675886\ 6891612875548492090835413594362949298754766218380154697401851932108\ 9713976859726929373344937005679149706833920491825255746175003798243\ 13537953537*c_1001_2^30 - 44597803332409481428813369688183346558429\ 7092382990761424298595178827661473730511176403442465737572908496846\ 6446866737025087914110600186723437921662070231449084628592433/45037\ 0041033353517733783225751096984181670827188725898597509532436760309\ 3948037038642179427953719453858746689874011358299413667840983650511\ 49235000759648627075907074*c_1001_2^29 - 1111578055307855739396255860530484598073479383433342571593513603063\ 1891408285814434827544563036627161064669862140681465985811032490569\ 65164711893388314135618931595953080/2251850205166767588668916128755\ 4849209083541359436294929875476621838015469740185193210897139768597\ 2692937334493700567914970683392049182525574617500379824313537953537\ *c_1001_2^28 + 2672908700583921439445342070737148508310250067387706\ 6746746051280831896677144535135298540939152628376921420294687318603\ 839518707156299940994155699975215523848805676661971/180148016413341\ 4070935132903004387936726683308754903594390038129747041237579214815\ 4568717711814877815434986759496045433197654671363934602045969400030\ 38594508303628296*c_1001_2^27 - 67915230210278507545395012405049892\ 9831482564881233334029547133120471465289103727726067524254299042892\ 6312984931415328940273298528140051876042792079980207190208549776021\ /900740082066707035467566451502193968363341654377451797195019064873\ 5206187896074077284358855907438907717493379748022716598827335681967\ 30102298470001519297254151814148*c_1001_2^26 - 1405262392023809182205198734760307952985678291005200072843612385852\ 2497180287483616676604546181197393998243990965955755416924994266261\ 4791533345051041633987589509024188937/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^25 - 2489454223015658018388366337101374066148629904090\ 8276281746986674920972876522439905027124909041613206510749090825551\ 90908805557128691930392991179186710737896489459647713/2251850205166\ 7675886689161287554849209083541359436294929875476621838015469740185\ 1932108971397685972692937334493700567914970683392049182525574617500\ 379824313537953537*c_1001_2^24 - 4213901907323752264968873746331412\ 9870400476532961707969886890937012389633587320535264872446664442676\ 8360513732658838547282854994143649415139561563835223711541976942685\ 249/360296032826682814187026580600877587345336661750980718878007625\ 9494082475158429630913743542362975563086997351899209086639530934272\ 786920409193880006077189016607256592*c_1001_2^23 - 8370142180910641392736490788846932031845334313218141820487034410120\ 4832693631909335796325789901382211003162622930759207882821037803425\ 4381539562424997775875225051083531037/18014801641334140709351329030\ 0438793672668330875490359439003812974704123757921481545687177118148\ 7781543498675949604543319765467136393460204596940003038594508303628\ 296*c_1001_2^22 - 9654367586015282624571275870789789188976462645999\ 8724680018322273594781391618704407649777376601290197252466109041815\ 4520264823808189215681060069797743449312476170759058011/18014801641\ 3341407093513290300438793672668330875490359439003812974704123757921\ 4815456871771181487781543498675949604543319765467136393460204596940\ 003038594508303628296*c_1001_2^21 + 4358375507729830632462346692588379254317274821449797451403721892145\ 1079758067439016258525092817394364709870966995487070083248069339234\ 609735776674905739493332096386254589/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^20 + 16973041181825262202150845102771004054131690422625\ 8449277175154317874254139111783982282401049868986845213347321116017\ 6138271126835343617427826342670549797937728418863554385/36029603282\ 6682814187026580600877587345336661750980718878007625949408247515842\ 9630913743542362975563086997351899209086639530934272786920409193880\ 006077189016607256592*c_1001_2^19 + 1281294996396708038595164809360809734745567509876246966284980928469\ 3221392658040255809067023684250343772659007759796585684395441578927\ 818376534221698179081814014601918595/450370041033353517733783225751\ 0969841816708271887258985975095324367603093948037038642179427953719\ 4538587466898740113582994136678409836505114923500075964862707590707\ 4*c_1001_2^18 - 644895089996257882260561435149752481256056570956673\ 9365746741769223092296641589691407188338053253789182712270325367100\ 61555759131683781779808260672241572041472070478502779/9007400820667\ 0703546756645150219396836334165437745179719501906487352061878960740\ 7728435885590743890771749337974802271659882733568196730102298470001\ 519297254151814148*c_1001_2^17 - 1604091506046659053428981512007044\ 5639246460301442402786224439120130368542381669647905185976184142699\ 2463104919202673545743678185300557626199133388328807367275300957909\ 732/225185020516676758866891612875548492090835413594362949298754766\ 2183801546974018519321089713976859726929373344937005679149706833920\ 49182525574617500379824313537953537*c_1001_2^16 - 3109268816120855505761967984287309765577117081730539424192384910420\ 5843888963929611278373181210484544524612285342805896793743888209390\ 5803556483211654568326505811586461189/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^15 + 2205223467719257747539748859656727283828655711167\ 8389556102495188848793740436360332202810870627085880987838495683565\ 3356342890636789526157295756911311860072342542237439355/90074008206\ 6707035467566451502193968363341654377451797195019064873520618789607\ 4077284358855907438907717493379748022716598827335681967301022984700\ 01519297254151814148*c_1001_2^14 + 3332085220151789397914916942617049632729013067262729827118831417303\ 1461882198636399361297184236006974066822658209231426478622820754223\ 81368903538966163725108194982106523/2251850205166767588668916128755\ 4849209083541359436294929875476621838015469740185193210897139768597\ 2692937334493700567914970683392049182525574617500379824313537953537\ *c_1001_2^13 - 2467992997024456307926599953364930121916131248834092\ 6556078007378560396603723732170296520399529237767066753175548480287\ 6174353253246307210808562834939879007928914035218833/90074008206670\ 7035467566451502193968363341654377451797195019064873520618789607407\ 7284358855907438907717493379748022716598827335681967301022984700015\ 19297254151814148*c_1001_2^12 - 12431341776766954624979197815546537\ 9480291978246110336673709917315390470347467492405248652904113047187\ 7154519009784127185696429966005127405047100980886261952755745082584\ 49/4503700410333535177337832257510969841816708271887258985975095324\ 3676030939480370386421794279537194538587466898740113582994136678409\ 8365051149235000759648627075907074*c_1001_2^11 - 5971558915329466408583316676068281091216593195913314795547240432950\ 4158084257766959757267668077686942774678777850282768794712825168009\ 147073051979486803582111134124132239/450370041033353517733783225751\ 0969841816708271887258985975095324367603093948037038642179427953719\ 4538587466898740113582994136678409836505114923500075964862707590707\ 4*c_1001_2^10 - 206466669030491854650459511091260679441820116906217\ 3423512120363533544158784644937162356979200236702679334233744220250\ 08281822631208840077833711955630693654001771158849051/3602960328266\ 8281418702658060087758734533666175098071887800762594940824751584296\ 3091374354236297556308699735189920908663953093427278692040919388000\ 6077189016607256592*c_1001_2^9 - 1094564793055654814670927958384639\ 1138386295222808030401858408733844511520704052131270169409055437120\ 1965341621811332997286809162007748736670535308697880845383055440757\ 951/180148016413341407093513290300438793672668330875490359439003812\ 9747041237579214815456871771181487781543498675949604543319765467136\ 393460204596940003038594508303628296*c_1001_2^8 - 2363001436935176718165267852094569800664945101410776006472452234889\ 7023174821795919335753082177054559051331570874505309081630824574317\ 3392346471140493913276109716778973949/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^7 - 83536287583194162289107759028480697120044233704252\ 4283968255781957666156724153133981717069412876145051529679601567205\ 03356416264129182085387582426805298227152688996606409/1801480164133\ 4140709351329030043879367266833087549035943900381297470412375792148\ 1545687177118148778154349867594960454331976546713639346020459694000\ 3038594508303628296*c_1001_2^6 - 8056659808693753985687739474104236\ 9473639405547692278951834844704729577862504245456900569573233773303\ 2624743780710050492742509284399792405424659618215154124804351703675\ 09/3602960328266828141870265806008775873453366617509807188780076259\ 4940824751584296309137435423629755630869973518992090866395309342727\ 86920409193880006077189016607256592*c_1001_2^5 - 1423606285069415692767872833372843712465213389819429117416364616319\ 5808190293653707906631199511899945619925739401416990532587428138040\ 654126961421594837097203144997650607/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^4 - 400663805897163546764467435296959107403270825293639\ 5162121885255825541734104468925157786870769600778077477835916328997\ 441652518408551886952513666822379975578940102647305/180148016413341\ 4070935132903004387936726683308754903594390038129747041237579214815\ 4568717711814877815434986759496045433197654671363934602045969400030\ 38594508303628296*c_1001_2^3 - 490006102013359900401436235045870439\ 4643066163110781722352150776505762941045255070112645356092590877031\ 17486630821117493007436431386157560478144608537519774969614574315/9\ 0074008206670703546756645150219396836334165437745179719501906487352\ 0618789607407728435885590743890771749337974802271659882733568196730\ 102298470001519297254151814148*c_1001_2^2 - 3643030897950175817515372136862674190394103309382344588131207970028\ 1060449222441637476527132111074527212619254508599062198982506158185\ 09474961901635425708285698972504/3216928864523953698098451612507835\ 6012976487656337564185536395174054307813914550276015567342526567527\ 562476356242938273567240484578454646510659642911403473362564791*c_1\ 001_2 - 31871284453152129584600981722966017972154004956636660478418\ 2199623040195461238948195644522635549141868676540191859574386555893\ 2286400963706495028938078767960108133068/22518502051667675886689161\ 2875548492090835413594362949298754766218380154697401851932108971397\ 6859726929373344937005679149706833920491825255746175003798243135379\ 53537, c_0101_5 + 870765775886956750514439778284598776367913824866370352639454\ 4806479013649820627194761036831319899725795622695431681805706155626\ 394102830696522478380127754081739798896/225185020516676758866891612\ 8755484920908354135943629492987547662183801546974018519321089713976\ 8597269293733449370056791497068339204918252557461750037982431353795\ 3537*c_1001_2^34 - 261139683436568611008179996680639124202085935262\ 4314069722158585139428104330167153629998771062662092214131679704291\ 6452255163974497170166919886450804576096211146607860/22518502051667\ 6758866891612875548492090835413594362949298754766218380154697401851\ 9321089713976859726929373344937005679149706833920491825255746175003\ 79824313537953537*c_1001_2^33 - 68695513549286293010004046053769181\ 9108253854941535027245756546297964875237909662686528708987798789413\ 35086543397289976621193455593195792193100831154077061551090682195/2\ 2518502051667675886689161287554849209083541359436294929875476621838\ 0154697401851932108971397685972692937334493700567914970683392049182\ 525574617500379824313537953537*c_1001_2^32 + 3881480507830337405491541569430600418157159593206922361238760935730\ 2055989840953998710077270705570952396519823357406658124408779899266\ 1832398523447403295553929131505241/45037004103335351773378322575109\ 6984181670827188725898597509532436760309394803703864217942795371945\ 385874668987401135829941366784098365051149235000759648627075907074*\ c_1001_2^31 + 65128482345455193884249753222976496126135253899194311\ 5405166057529868537073545481500850629456030577243937494865766846959\ 22583095052067570253528333714736050111184897490/2251850205166767588\ 6689161287554849209083541359436294929875476621838015469740185193210\ 8971397685972692937334493700567914970683392049182525574617500379824\ 313537953537*c_1001_2^30 - 1137489266946636719135737174159494344646\ 5452135745005638710275870462750334534662966865085715210338420346201\ 173286598447237601483088036580031699278644496403307908175665275/180\ 1480164133414070935132903004387936726683308754903594390038129747041\ 2375792148154568717711814877815434986759496045433197654671363934602\ 04596940003038594508303628296*c_1001_2^29 - 1762231496694291567662502830122442592772403856425475701498141200168\ 1388441403082098077074134984267386821321875968198967422656045651429\ 658603784510838212982869978054005755/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^28 + 33170558438370265971452411996720990245282025625590\ 6080702252481515142221747996307668148771283661380810060807642803108\ 21667656914053173734224284995838443958356582788021205/3602960328266\ 8281418702658060087758734533666175098071887800762594940824751584296\ 3091374354236297556308699735189920908663953093427278692040919388000\ 6077189016607256592*c_1001_2^27 - 318490623704770291609792408563318\ 1462382186500742408222610078448619233785580081359206327782904282608\ 1512510031015021847024032875577788442700262037033917073796471544265\ 05/1801480164133414070935132903004387936726683308754903594390038129\ 7470412375792148154568717711814877815434986759496045433197654671363\ 93460204596940003038594508303628296*c_1001_2^26 - 4895653397418983009094431432516578428520733988859346826196502823513\ 0827309806062225695733463906562074122867905279796721162239771217696\ 578532648402562373297208228533484027/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^25 - 46612218898665739823168363311573195776441215512571\ 7733260724750216226109879061892238109079697834948811302870182954909\ 17647253837889347923222950088076080378908587600292077/3602960328266\ 8281418702658060087758734533666175098071887800762594940824751584296\ 3091374354236297556308699735189920908663953093427278692040919388000\ 6077189016607256592*c_1001_2^24 - 257374700284611507459061940308658\ 7222059496012785054383323430030068117201135457186101357297037767913\ 4465661440106152895527760736898943806016985461356738690298000054839\ 9477/36029603282668281418702658060087758734533666175098071887800762\ 5949408247515842963091374354236297556308699735189920908663953093427\ 2786920409193880006077189016607256592*c_1001_2^23 - 1121356528776323287309837441424069257412465685164023621999635409650\ 5463539849036807928458445477027676818920093759051909712685994739937\ 07623123984824374152966518571834683515/3602960328266828141870265806\ 0087758734533666175098071887800762594940824751584296309137435423629\ 7556308699735189920908663953093427278692040919388000607718901660725\ 6592*c_1001_2^22 - 147833649170298892384714291958797091865501577559\ 4682301054981030528357053806507148301255006729464746482231416380363\ 490348993221101548061228357798822929963401541952560571575/360296032\ 8266828141870265806008775873453366617509807188780076259494082475158\ 4296309137435423629755630869973518992090866395309342727869204091938\ 80006077189016607256592*c_1001_2^21 - 1706065461601541755016602593962534840642929719749319588249076430178\ 6922439224798787581765136921417487114683030754397854617433077447627\ 4713496860183024978724457457098255945/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^20 + 1193595281893573109333647039260392171385995733030\ 9554373278026324538184829604394365525821710494058481914882489783201\ 28843163312422702510124890537888978873430143609443963491/3602960328\ 2668281418702658060087758734533666175098071887800762594940824751584\ 2963091374354236297556308699735189920908663953093427278692040919388\ 0006077189016607256592*c_1001_2^19 + 3205400253582668429417109480449816481290223635739301296200244153585\ 1192784043585269418688844114822108898109042929886246438659809400763\ 2454195548223422295574004943904176473/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^18 - 1721698284699651390971120016835388626236367492037\ 3639098775383143483402679972664399541977530075235241781743756939753\ 38171895743217146945802600731587812131272438876955451609/3602960328\ 2668281418702658060087758734533666175098071887800762594940824751584\ 2963091374354236297556308699735189920908663953093427278692040919388\ 0006077189016607256592*c_1001_2^17 - 2031503024958281143723000070356233867040906666863484657705103049665\ 2149525023570809062615685517904927634319242418273867865625727351464\ 92871759780973357726280571668923595191/3602960328266828141870265806\ 0087758734533666175098071887800762594940824751584296309137435423629\ 7556308699735189920908663953093427278692040919388000607718901660725\ 6592*c_1001_2^16 - 451409356869852002415595733120656520692230670394\ 9400388539170754093611259157075041016993843026116893512855174226347\ 01126401284381724573767957016809410530763768789473704451/3602960328\ 2668281418702658060087758734533666175098071887800762594940824751584\ 2963091374354236297556308699735189920908663953093427278692040919388\ 0006077189016607256592*c_1001_2^15 + 3157450603590619539421622964855024875302335747535314781783902166543\ 3458714715595058191681673093944560918341992811099224535777657123188\ 5706598684253046698660278314749003227/18014801641334140709351329030\ 0438793672668330875490359439003812974704123757921481545687177118148\ 7781543498675949604543319765467136393460204596940003038594508303628\ 296*c_1001_2^14 + 1984942254645781018080899791163976872866537241477\ 7879807589530848318058413376538092911394018653963527387463522336396\ 091586259322809013074469202977170564426717527013005575/450370041033\ 3535177337832257510969841816708271887258985975095324367603093948037\ 0386421794279537194538587466898740113582994136678409836505114923500\ 0759648627075907074*c_1001_2^13 - 672871422192920590952836938346879\ 4414125684660028103021221823838107221893668384103355281709124981990\ 0444311638645983485085026631388363559599107480644617275575714133857\ 1735/36029603282668281418702658060087758734533666175098071887800762\ 5949408247515842963091374354236297556308699735189920908663953093427\ 2786920409193880006077189016607256592*c_1001_2^12 - 7763138645014290323981734248411205896237541350152434154378922880145\ 8149271946664484145784325145759489279416031340194205977534280653901\ 9824532356497906161391318707817251581/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^11 - 1004062982094884998736520404698269878697788473126\ 8527836237705077787929686123185226666013778585434256973101808292048\ 5526904653937911295358713187248123497619688267832324807/90074008206\ 6707035467566451502193968363341654377451797195019064873520618789607\ 4077284358855907438907717493379748022716598827335681967301022984700\ 01519297254151814148*c_1001_2^10 - 8153499755970385642252036921559140573008102382814342173848796615598\ 1461075685901292531990423790837219317985067726248670075635112014411\ 122150949837800316655924315821970141/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^9 - 785820209996277457606486160542205550410351663301247\ 4621558643949581919491152349977443563288431907011867807952458281516\ 5770177745304313274553933980871124560372788562460509/18014801641334\ 1407093513290300438793672668330875490359439003812974704123757921481\ 5456871771181487781543498675949604543319765467136393460204596940003\ 038594508303628296*c_1001_2^8 - 44410876050846294945787883913074315\ 3101904062339626629613078121285105836519491936604177086505823384006\ 3152785037711721820881918156314372280572560925764833444466694933078\ 3/90074008206670703546756645150219396836334165437745179719501906487\ 3520618789607407728435885590743890771749337974802271659882733568196\ 730102298470001519297254151814148*c_1001_2^7 - 1325164136442402640898134591351281945841012390660317249917383984724\ 1786384783074218323195359914119661752555045403899012383332377409645\ 7740362285800031227066656742918650125/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^6 - 66619398613477070854948330757280229508968988927581\ 1125543742759092690037065504133889750407847914717039955220893114935\ 85154951328561642790741102647868641993109097320004883/3602960328266\ 8281418702658060087758734533666175098071887800762594940824751584296\ 3091374354236297556308699735189920908663953093427278692040919388000\ 6077189016607256592*c_1001_2^5 - 3029358374882489216542741676041110\ 6200982636005976607062803886729838989152201422829171188715984076871\ 0833478517601067057490333897437755792591595368638110574361031248545\ 5/45037004103335351773378322575109698418167082718872589859750953243\ 6760309394803703864217942795371945385874668987401135829941366784098\ 365051149235000759648627075907074*c_1001_2^4 - 3460519959137914144454417548325060922275298650807398809067663074133\ 4806258835150549351976884839638341761064509486095268605579584582800\ 31928428359280554389338662848232641/1801480164133414070935132903004\ 3879367266833087549035943900381297470412375792148154568717711814877\ 8154349867594960454331976546713639346020459694000303859450830362829\ 6*c_1001_2^3 - 4275135059136377353746837527217520747565977238296181\ 7110905760014687551349100530290378314193054692650881708873285284281\ 4103577960913162910861104637035714577404789216323/90074008206670703\ 5467566451502193968363341654377451797195019064873520618789607407728\ 4358855907438907717493379748022716598827335681967301022984700015192\ 97254151814148*c_1001_2^2 - 326079967325594966234046506841789861258\ 1964927913176284580813846018097190498617972434885684517516703761473\ 919362802273756528044407099863307205444713758107911302389958/321692\ 8864523953698098451612507835601297648765633756418553639517405430781\ 3914550276015567342526567527562476356242938273567240484578454646510\ 659642911403473362564791*c_1001_2 - 3059312804706529452684564319227709719590858377226424951367033207836\ 6135971965339188504571136383566635747443652296256936714568333947187\ 06589023687695095416098856426528/2251850205166767588668916128755484\ 9209083541359436294929875476621838015469740185193210897139768597269\ 2937334493700567914970683392049182525574617500379824313537953537, c_1001_0 - 524602726586968892474010343521659900397255274441181860014009\ 6579772764716755698006551005426831779192592257191591495087589555234\ 515855262681949023785595732404958581488/225185020516676758866891612\ 8755484920908354135943629492987547662183801546974018519321089713976\ 8597269293733449370056791497068339204918252557461750037982431353795\ 3537*c_1001_2^34 + 166971371891384500040007414265735912516855147723\ 8070706247506851739202183919709059592141769769695642501266859675395\ 6318179802988940779042537110837200756522489095684556/22518502051667\ 6758866891612875548492090835413594362949298754766218380154697401851\ 9321089713976859726929373344937005679149706833920491825255746175003\ 79824313537953537*c_1001_2^33 + 38509880698078741005904392524735543\ 4893018274616156051275978042802190664521936119230794565462199479150\ 52344476582058242122566276294674647166796095526524605002788819161/2\ 2518502051667675886689161287554849209083541359436294929875476621838\ 0154697401851932108971397685972692937334493700567914970683392049182\ 525574617500379824313537953537*c_1001_2^32 - 1245726177868363157880636856489467631853682887137304957015441583770\ 0663778711946693413185977975485494116752690811222576650789661435178\ 0974284226410376438759959219995120/22518502051667675886689161287554\ 8492090835413594362949298754766218380154697401851932108971397685972\ 692937334493700567914970683392049182525574617500379824313537953537*\ c_1001_2^31 - 72895928737980580650988482615370817198967623875209711\ 9231753241784256450518782444224597295620063668274421267053704316812\ 51654598183995844437965849312532554992112939049/9007400820667070354\ 6756645150219396836334165437745179719501906487352061878960740772843\ 5885590743890771749337974802271659882733568196730102298470001519297\ 254151814148*c_1001_2^30 + 6925266784301434140199710102498811374500\ 1769983693269918705959915037452683247833155922839289498989087653893\ 84455970641332707395478644440724649690200808943155709402365025/1801\ 4801641334140709351329030043879367266833087549035943900381297470412\ 3757921481545687177118148778154349867594960454331976546713639346020\ 4596940003038594508303628296*c_1001_2^29 + 5070294999801814294841065960276326570229477997402998899801092868804\ 1966499763556546121050715000733647211082739736692085697123208458166\ 3814111756370823120464784832755539/22518502051667675886689161287554\ 8492090835413594362949298754766218380154697401851932108971397685972\ 692937334493700567914970683392049182525574617500379824313537953537*\ c_1001_2^28 - 44271842439651108134147687052268456873353055108738567\ 9622955972374602417805691951646135827226182026945333692385541656331\ 47034723074126856883529004349723754929856391777279/7205920656533656\ 2837405316120175517469067332350196143775601525189881649503168592618\ 2748708472595112617399470379841817327906186854557384081838776001215\ 4378033214513184*c_1001_2^27 + 191086015645811083253960809452205117\ 2460850369331082844312604424622990664375787753661612737654422534125\ 513450890846648488254690765597678322889597177003808821875050259173/\ 9007400820667070354675664515021939683633416543774517971950190648735\ 2061878960740772843588559074389077174933797480227165988273356819673\ 0102298470001519297254151814148*c_1001_2^26 + 1181876384415935922469261052904590516088005987285595725410550563266\ 6736438485841070362134108089284327004558872474597441881100116662559\ 8629663190554342323613084800744354599/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^25 + 1666781806918072327220027016011469372271188926186\ 1780418690699439769149842514692158555563996481319586966776220737339\ 284313131977198352826523191143326713299271379920868865/360296032826\ 6828141870265806008775873453366617509807188780076259494082475158429\ 6309137435423629755630869973518992090866395309342727869204091938800\ 06077189016607256592*c_1001_2^24 + 1856563372505329260864762344545342528324873226556723926298827906513\ 5236682498669841226372862508207920608344633385915525727869264475029\ 598945826748789241853482792886142697/450370041033353517733783225751\ 0969841816708271887258985975095324367603093948037038642179427953719\ 4538587466898740113582994136678409836505114923500075964862707590707\ 4*c_1001_2^23 + 649288441944980664719614023118370703790756726808427\ 5304633155249229129326323052104467237573967599061915325689734140325\ 18433690282823226429843039564150720956139552626512991/3602960328266\ 8281418702658060087758734533666175098071887800762594940824751584296\ 3091374354236297556308699735189920908663953093427278692040919388000\ 6077189016607256592*c_1001_2^22 + 153494650987619674395719383877941\ 8783584539618459831969810836305454188351714348642617958003951680659\ 8404057353700629608444111686287036796258335842552024486366135413685\ 48029/7205920656533656283740531612017551746906733235019614377560152\ 5189881649503168592618274870847259511261739947037984181732790618685\ 45573840818387760012154378033214513184*c_1001_2^21 - 4101872302311972479579025975858963989134290606317335764547402396530\ 6310158557939905142920812826504846247071851338970374865775570309112\ 79740741957631291336382810093412614/2251850205166767588668916128755\ 4849209083541359436294929875476621838015469740185193210897139768597\ 2692937334493700567914970683392049182525574617500379824313537953537\ *c_1001_2^20 - 7299229133580674060301796982764900727633672209396645\ 7268573136242123802322468894579699658859599800171923700339861561923\ 9595998289909827797058797945299863371911896491341685/36029603282668\ 2814187026580600877587345336661750980718878007625949408247515842963\ 0913743542362975563086997351899209086639530934272786920409193880006\ 077189016607256592*c_1001_2^19 - 1697839498231531508489203946073650\ 6883082690104648433075682591873255148012766052244850552765164162688\ 1038288983054278147617889295005182329232506397887714702129213582729\ 55/1801480164133414070935132903004387936726683308754903594390038129\ 7470412375792148154568717711814877815434986759496045433197654671363\ 93460204596940003038594508303628296*c_1001_2^18 + 2159691466654456108933200129888084865688936063982833409638637632759\ 2101379371359608172220610908533136759946922354550431429361780677782\ 84051924556925467174751936069270486003/7205920656533656283740531612\ 0175517469067332350196143775601525189881649503168592618274870847259\ 5112617399470379841817327906186854557384081838776001215437803321451\ 3184*c_1001_2^17 + 502112692143300579506318043649647328144206063797\ 1256768225262741914512093955275078954990254008732983830125326752873\ 63139404391070203179135336717065299975997452432730052761/1801480164\ 1334140709351329030043879367266833087549035943900381297470412375792\ 1481545687177118148778154349867594960454331976546713639346020459694\ 0003038594508303628296*c_1001_2^16 + 1576139909256987317932895511297490294529343145638723079427040621529\ 2211044033267989764437198839821576114241565510918570844390517270462\ 065613870238498396555028154309700733/180148016413341407093513290300\ 4387936726683308754903594390038129747041237579214815456871771181487\ 7815434986759496045433197654671363934602045969400030385945083036282\ 96*c_1001_2^15 - 20059873337403346216171557022583201782990579190308\ 0489583046313986886070844999154487815432421603604608531192335548514\ 425245691985052213424316398300440887140450375069481117/180148016413\ 3414070935132903004387936726683308754903594390038129747041237579214\ 8154568717711814877815434986759496045433197654671363934602045969400\ 03038594508303628296*c_1001_2^14 + 7237727534560448624467638712518040851154069191837375246879329884126\ 7099673867202272967233961217405302172450454074411407562624872575084\ 53487085558694298298507610404436193/3602960328266828141870265806008\ 7758734533666175098071887800762594940824751584296309137435423629755\ 6308699735189920908663953093427278692040919388000607718901660725659\ 2*c_1001_2^13 + 105107636638495847155421885362461643385804212723133\ 0303215591650856103747354025239582616882320086359093651166892940651\ 72506325455512345080773890253520490472785203036471831/9007400820667\ 0703546756645150219396836334165437745179719501906487352061878960740\ 7728435885590743890771749337974802271659882733568196730102298470001\ 519297254151814148*c_1001_2^12 + 7495515615258642753400553200869565\ 2711498421706373882792663686900368498034733724985501576048740108519\ 4253762751369793652546570731804208035887727710453418217701839114953\ 523/720592065653365628374053161201755174690673323501961437756015251\ 8988164950316859261827487084725951126173994703798418173279061868545\ 573840818387760012154378033214513184*c_1001_2^11 + 1541965304876600095676847131459028925423123902060883809511027935885\ 1946463094746694170493977928004148111782122738078624888323896757579\ 5324138980401914898335975218824093145/36029603282668281418702658060\ 0877587345336661750980718878007625949408247515842963091374354236297\ 5563086997351899209086639530934272786920409193880006077189016607256\ 592*c_1001_2^10 + 1323479247247810255931803858811214960424548069665\ 6512659473693915107799460678668178273397207479583066781981015850467\ 8091911191356585616540718270466177533045017192232496869/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^9 + 8526935266799242574083230416058952713004132591298508936972656148476\ 5534637736434995239474458727256853950583740879706786861483861761544\ 912987885073069754272004221191311115/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^8 + 181386710658237093079512399407179455924919307691166\ 1839036187208890841079175439734312965471730040468889985685670295286\ 56077926441866140939950801860156205720141303585059311/7205920656533\ 6562837405316120175517469067332350196143775601525189881649503168592\ 6182748708472595112617399470379841817327906186854557384081838776001\ 2154378033214513184*c_1001_2^7 + 6010252421601055098765733817737498\ 9779187014653668706749728664253058059408689248953879928341893755066\ 5853903604941899925250779242735585842578751018247681014775296252936\ 41/3602960328266828141870265806008775873453366617509807188780076259\ 4940824751584296309137435423629755630869973518992090866395309342727\ 86920409193880006077189016607256592*c_1001_2^6 + 2716789406362145163322303651138446544620193994385879511839952693532\ 5441148282780098543863207425415704058437874571496585046479619145991\ 496519490685306788081515115824912743/360296032826682814187026580600\ 8775873453366617509807188780076259494082475158429630913743542362975\ 5630869973518992090866395309342727869204091938800060771890166072565\ 92*c_1001_2^5 + 460098851174084572136330129055291583939245619208783\ 2858483474887714976214441125586798870633088316657441619814830022505\ 530154609876381909964567089059757490226468854909867/180148016413341\ 4070935132903004387936726683308754903594390038129747041237579214815\ 4568717711814877815434986759496045433197654671363934602045969400030\ 38594508303628296*c_1001_2^4 + 322550186445269345958017672738693599\ 5698461356687340938227423767707877222289407542225423193277073818830\ 26084887139018555744704035204259638983021572832494792412172006481/4\ 5037004103335351773378322575109698418167082718872589859750953243676\ 0309394803703864217942795371945385874668987401135829941366784098365\ 051149235000759648627075907074*c_1001_2^3 + 4005436982798257054970704954771089891285768604486921713859108051722\ 7642053674534228428196857540906542478280614019131635901031633419915\ 470294670316803488434853019493766/225185020516676758866891612875548\ 4920908354135943629492987547662183801546974018519321089713976859726\ 92937334493700567914970683392049182525574617500379824313537953537*c\ _1001_2^2 + 1171122969241472431080784901879796261086812037082862701\ 5351859433649973920490178462866553576496692653201283998172459802852\ 72609844205280671718618179755657501811120814/3216928864523953698098\ 4516125078356012976487656337564185536395174054307813914550276015567\ 3425265675275624763562429382735672404845784546465106596429114034733\ 62564791*c_1001_2 + 87314471592957999917391574437230421529043738265\ 2718158544276086899367084414043231512500182758281849305337774252013\ 633644744017078008346268742058848838798951129158817/225185020516676\ 7588668916128755484920908354135943629492987547662183801546974018519\ 3210897139768597269293733449370056791497068339204918252557461750037\ 9824313537953537, c_1001_1 - 283930125358703635488479497138895179889311690028557914371043\ 2564378345956060881022217871943107440564829129942249662942599861241\ 248171002105650034135688242140333963260/225185020516676758866891612\ 8755484920908354135943629492987547662183801546974018519321089713976\ 8597269293733449370056791497068339204918252557461750037982431353795\ 3537*c_1001_2^34 + 896873029651416092280747097335974482538651738575\ 8829592585331697823005685481267897618751571972881171069798113893980\ 039430920736933927752873768509273979046791340012361/225185020516676\ 7588668916128755484920908354135943629492987547662183801546974018519\ 3210897139768597269293733449370056791497068339204918252557461750037\ 9824313537953537*c_1001_2^33 + 803212190926248469875512117233805800\ 2414562619293977668007968118231397581048496397658395190086057700309\ 5511511453333415032610588274436284862237097700976578427646145343/90\ 0740082066707035467566451502193968363341654377451797195019064873520\ 6187896074077284358855907438907717493379748022716598827335681967301\ 02298470001519297254151814148*c_1001_2^32 - 5053587011028024868875071392768004882719695200287152093151819830786\ 0023484747017854862298506894954903960772176268951482371791088422397\ 5443484961988795672107382535720707/18014801641334140709351329030043\ 8793672668330875490359439003812974704123757921481545687177118148778\ 1543498675949604543319765467136393460204596940003038594508303628296\ *c_1001_2^31 - 5065916836620123481586967211831471790623929398947244\ 8533660621423194393131268974804572064657147684497742440746886518575\ 972627165067904978465011763340484131875030029985/180148016413341407\ 0935132903004387936726683308754903594390038129747041237579214815456\ 8717711814877815434986759496045433197654671363934602045969400030385\ 94508303628296*c_1001_2^30 + 14084929182065051518462429763394833200\ 1417164661738081004004253742914366451572822468332938369520170048901\ 30081871041489251521685377821391386064267464826922792446563714339/7\ 2059206565336562837405316120175517469067332350196143775601525189881\ 6495031685926182748708472595112617399470379841817327906186854557384\ 0818387760012154378033214513184*c_1001_2^29 + 1911573949977531285294199340333759890045188963899461086346131379360\ 7727379691506266333393374966012355441364383073026919032689694328739\ 799519380488007296350952439075244817/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^28 - 1849105433935551794278032850728489928557351060010\ 8225057301726251191200052977964000031709129325889186790239734075310\ 559069642551892558994028406064593974324599402366705751/720592065653\ 3656283740531612017551746906733235019614377560152518988164950316859\ 2618274870847259511261739947037984181732790618685455738408183877600\ 12154378033214513184*c_1001_2^27 + 1422259333011843099362052020308513910696625971566268686103546523962\ 0827623250281811296336958053947491689370273035974827399879302749527\ 991723144824731583423515796135448365/144118413130673125674810632240\ 3510349381346647003922875512030503797632990063371852365497416945190\ 2252347989407596836346558123737091147681636775520024308756066429026\ 368*c_1001_2^26 + 5427343040825708447986166931803197598401266792405\ 2263434947459205285750489978091916724929749581186591850598710954533\ 926036056855618589984979888538831228899734730573325537/720592065653\ 3656283740531612017551746906733235019614377560152518988164950316859\ 2618274870847259511261739947037984181732790618685455738408183877600\ 12154378033214513184*c_1001_2^25 + 2926416051687211992538219326738738189871336745917699988556010170566\ 8977183444152447912623580770627524498454126125817596309527005957433\ 416386868448693709084911483331212509/720592065653365628374053161201\ 7551746906733235019614377560152518988164950316859261827487084725951\ 1261739947037984181732790618685455738408183877600121543780332145131\ 84*c_1001_2^24 + 11288817337831929653985534439013147495903649016094\ 1293482331969671174576900016850234867629248324042757571150115687348\ 02424647828102016771931127970971690361188203171882985/4503700410333\ 5351773378322575109698418167082718872589859750953243676030939480370\ 3864217942795371945385874668987401135829941366784098365051149235000\ 759648627075907074*c_1001_2^23 + 1392480019440635832604379847174298\ 0466229986072227780494160729115627468766866640604657461198209883044\ 1730580767844858218559259116186083159832578354814033088747771525830\ 4809/14411841313067312567481063224035103493813466470039228755120305\ 0379763299006337185236549741694519022523479894075968363465581237370\ 91147681636775520024308756066429026368*c_1001_2^22 + 1128908598667721231979124460777136235484526285701546899241204461763\ 2345501927812880012641228518612908534928771125101046201386938360669\ 9924136766598141003665934568057751869/90074008206670703546756645150\ 2193968363341654377451797195019064873520618789607407728435885590743\ 8907717493379748022716598827335681967301022984700015192972541518141\ 48*c_1001_2^21 + 99839889645030431957059850040629212476232055423738\ 5120915698064351322331018699427137840180083156610986170539974268017\ 2405210919483186801036444869822144639484720877532957/45037004103335\ 3517733783225751096984181670827188725898597509532436760309394803703\ 8642179427953719453858746689874011358299413667840983650511492350007\ 59648627075907074*c_1001_2^20 - 66471500965950087636744536099213816\ 2523573731532023566475081900076680491581749222976450004385838904237\ 5233232266701937296303459494939400833476038970817212105338697785466\ 29/7205920656533656283740531612017551746906733235019614377560152518\ 9881649503168592618274870847259511261739947037984181732790618685455\ 73840818387760012154378033214513184*c_1001_2^19 - 4844609400314583192935068978339320461965900276416421575985398345806\ 6359242551683296524831630569985460751106230069145796089667091872336\ 0344765525074988756925872370128453429/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^18 + 486118929549653816113943885397002231502163659120\ 0090330900236449902967908295905048848526131561628543120157910962309\ 07543790435287292042525322919105033801450761534427847209/3602960328\ 2668281418702658060087758734533666175098071887800762594940824751584\ 2963091374354236297556308699735189920908663953093427278692040919388\ 0006077189016607256592*c_1001_2^17 + 1299087707209311810025754105646810607661941802581184501903833515326\ 2784544739760779080126870957278748682234709000291279293458261888177\ 51835593879471356272962525801089122931/7205920656533656283740531612\ 0175517469067332350196143775601525189881649503168592618274870847259\ 5112617399470379841817327906186854557384081838776001215437803321451\ 3184*c_1001_2^16 + 514410458745399496238034051740187886300207261293\ 6682854477072664649795493865361373672693335121773942758364225631113\ 7956387903378287468333713835518633233542074234520354921/90074008206\ 6707035467566451502193968363341654377451797195019064873520618789607\ 4077284358855907438907717493379748022716598827335681967301022984700\ 01519297254151814148*c_1001_2^15 - 3560900749516579985685323515565821563394110895005157352078134339743\ 9587790421054927878646373977281861097246461432774400028843058229195\ 4199120538248077284988890073983916149/72059206565336562837405316120\ 1755174690673323501961437756015251898816495031685926182748708472595\ 1126173994703798418173279061868545573840818387760012154378033214513\ 184*c_1001_2^14 - 1665283756633013381962206349336661179392636122159\ 4737555080471587818241454929455611795895722895361611215103784051550\ 5809922563980731663992187554870291676722202336449386899/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^13 + 7686276210251887090485197141745191182694365646825217659554497127361\ 5372472972483479682536155013447003020060555462138070404030079115055\ 0826810108396956628408393531699012131/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^12 + 651619381037695787552472056279907394632405697056\ 3336407112699658043246969604213121687158557149969574243913167774389\ 6570716353567885384503466663544345348655669489364825397/90074008206\ 6707035467566451502193968363341654377451797195019064873520618789607\ 4077284358855907438907717493379748022716598827335681967301022984700\ 01519297254151814148*c_1001_2^11 + 5787871714350789626771382815507304794518372095339255179474629151398\ 3506254571263191233964474176018592997746470774154407267522717886342\ 9170677966109926431271098139423074099/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^10 + 529306101602274846231170550339388686613447075609\ 9357482484312680085226641114929151109210407850514275679600791656056\ 3710483722400195413281550327811084833608280964252736879/36029603282\ 6682814187026580600877587345336661750980718878007625949408247515842\ 9630913743542362975563086997351899209086639530934272786920409193880\ 006077189016607256592*c_1001_2^9 + 1837868434767110450524716396573318610141495305211009015356062674668\ 6201003013073394256664269744437808558760723637569182787200654224457\ 4776580546409767524979784227507129245/14411841313067312567481063224\ 0351034938134664700392287551203050379763299006337185236549741694519\ 0225234798940759683634655812373709114768163677552002430875606642902\ 6368*c_1001_2^8 + 1140022724085115481522315222924529866960866004106\ 2599046621709053841228395228457141209157504831255293478602498033676\ 4139018984106339504650733184801271183450115241515995989/72059206565\ 3365628374053161201755174690673323501961437756015251898816495031685\ 9261827487084725951126173994703798418173279061868545573840818387760\ 012154378033214513184*c_1001_2^7 + 5605491054597762912877007405383808339358852063575353533355199769906\ 8634773144811716837650740268769186989085354119338784639121173169252\ 88383082201055433017641685895056639/4503700410333535177337832257510\ 9698418167082718872589859750953243676030939480370386421794279537194\ 5385874668987401135829941366784098365051149235000759648627075907074\ *c_1001_2^6 + 14120156610047147321897120532487838470301678115766331\ 8431894902550693336058597819188196682535939966516562911266951979779\ 8251815340506748858373804996488001051755891537967/22518502051667675\ 8866891612875548492090835413594362949298754766218380154697401851932\ 1089713976859726929373344937005679149706833920491825255746175003798\ 24313537953537*c_1001_2^5 + 794561288703276844281541553295109595731\ 3461270496635196578780289910423173478426695141420598373629278799121\ 718524316343300677801574092454275002605378678004965049552853911/360\ 2960328266828141870265806008775873453366617509807188780076259494082\ 4751584296309137435423629755630869973518992090866395309342727869204\ 09193880006077189016607256592*c_1001_2^4 + 1104447201733920467207037069315522432536274142788660269651418576668\ 6625289570817467456705302590749755298949230139010151426672837501313\ 18840461253676221358120142418458283/1801480164133414070935132903004\ 3879367266833087549035943900381297470412375792148154568717711814877\ 8154349867594960454331976546713639346020459694000303859450830362829\ 6*c_1001_2^3 + 1411246467149366474791313379400577897870037582986252\ 3439394382196232482604819660179908764802866524849767253357104592784\ 7022338206687225377719114448608106102923334032053/90074008206670703\ 5467566451502193968363341654377451797195019064873520618789607407728\ 4358855907438907717493379748022716598827335681967301022984700015192\ 97254151814148*c_1001_2^2 + 115536224898561852195506984688304704414\ 9771592138347253938890269671987532311101926020010950335994146177590\ 031148931075648915451366094438362921612675458704055391448264/321692\ 8864523953698098451612507835601297648765633756418553639517405430781\ 3914550276015567342526567527562476356242938273567240484578454646510\ 659642911403473362564791*c_1001_2 + 1183657222649665590205500696987082246741310068904353624826114018778\ 9464603288576558520020329993240924635750749629461073670324073107179\ 69675976982821313399541456627327/2251850205166767588668916128755484\ 9209083541359436294929875476621838015469740185193210897139768597269\ 2937334493700567914970683392049182525574617500379824313537953537, c_1001_2^35 - 637/236*c_1001_2^34 - 8203/944*c_1001_2^33 + 36887/1888*c_1001_2^32 + 25913/1888*c_1001_2^31 - 1196431/7552*c_1001_2^30 - 2674221/15104*c_1001_2^29 + 1399685/7552*c_1001_2^28 + 404171/15104*c_1001_2^27 - 5234115/7552*c_1001_2^26 - 4314199/7552*c_1001_2^25 - 1883071/944*c_1001_2^24 - 129755741/15104*c_1001_2^23 - 49897377/3776*c_1001_2^22 - 321809/64*c_1001_2^21 + 58377729/7552*c_1001_2^20 + 78704809/15104*c_1001_2^19 - 20974685/1888*c_1001_2^18 - 140390417/7552*c_1001_2^17 - 16213203/1888*c_1001_2^16 + 22872777/7552*c_1001_2^15 + 20543115/7552*c_1001_2^14 - 63650463/15104*c_1001_2^13 - 27091153/3776*c_1001_2^12 - 74126675/15104*c_1001_2^11 - 4251697/1888*c_1001_2^10 - 23323261/15104*c_1001_2^9 - 12523987/7552*c_1001_2^8 - 5295395/3776*c_1001_2^7 - 1557803/1888*c_1001_2^6 - 1326665/3776*c_1001_2^5 - 216845/1888*c_1001_2^4 - 29293/944*c_1001_2^3 - 3447/472*c_1001_2^2 - 81/59*c_1001_2 - 17/118 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.540 Total time: 5.750 seconds, Total memory usage: 120.34MB