Magma V2.19-8 Tue Aug 20 2013 18:06:29 on localhost [Seed = 1612831318] Type ? for help. Type -D to quit. Loading file "11_246__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_246 geometric_solution 12.16998529 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 14 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 1 0 0 -1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578792594570 0.514533277194 0 4 0 5 0132 0132 3012 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 0 -1 0 1 0 0 -6 0 6 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.034936103996 0.857919561810 6 7 4 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 -5 0 5 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258631162573 0.803612720514 8 8 0 9 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.595873569223 0.567238365613 6 1 10 2 3012 0132 0132 3012 0 0 0 0 0 1 0 -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 -5 0 5 1 0 0 -1 0 -1 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.613301191369 0.737746376024 6 11 1 9 2103 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.358601879885 0.997994033348 2 12 5 4 0132 0132 2103 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.918611002949 2.760878336987 12 2 9 8 0132 0132 1302 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 5 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.204149443153 0.782480624724 3 13 7 3 0132 0132 2031 2031 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 5 -5 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833117184824 1.169376695740 7 10 3 5 2031 1230 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.016397591029 0.579341091882 11 11 9 4 2310 1302 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.750948876581 0.846632775490 13 5 10 10 0132 0132 3201 2031 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794138801664 0.450371460203 7 6 13 13 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -6 6 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.185493583001 0.468001357941 11 8 12 12 0132 0132 0132 1302 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 -1 6 6 0 -6 0 0 0 0 0 -6 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.262237637636 0.832049070286 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_13' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_0110_9'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0110_9'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_13' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : negation(d['c_0011_9']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(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_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_9']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : negation(d['c_0110_9']), 'c_1100_0' : d['c_0110_4'], 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0110_4'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0110_4'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_2']), 'c_1100_13' : d['c_0101_12'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : negation(d['c_0101_10']), 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0110_9'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : negation(d['c_1001_2']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : d['c_0011_12'], 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_13' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_0011_0']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_11']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_2_8' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0110_4']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_8, c_0110_4, c_0110_9, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 41 Groebner basis: [ t - 2788668801755556633696252908317009284615587558443948843856868943532\ 6691359473793664995383667304632509293610881462976543591134430135343\ 87003737083586554517569543066022626836/4065842522896670387393217269\ 8475027930520464352696941123227303287547378674211811145072447695947\ 3470664837340402356381419874140776594402817357219415757230881975668\ 471491731*c_1001_2^40 + 1733353214213491782992396048638232204894146\ 0396615596790398463547420427912152388371060256506214134814572938395\ 736995599640806919486989014046988076929476003795658129845937500/135\ 5280840965556795797739089949167597684015478423231370774243442918245\ 9558070603715024149231982449022161244680078546047329138025886480093\ 9119073138585743627325222823830577*c_1001_2^39 - 7274869774002926609536174845665139838307766806064637933969276569460\ 3322151480558090230109694832543131986415591621664667884752125014586\ 034326478318014042512577401232467653616/580834646128095769627602467\ 1210718275788637764670991589032471898221054096315973020724635385135\ 3352952119620057479483059982020110942057545336745630822461554567952\ 638784533*c_1001_2^38 + 4914231640534939898067092308035359443083858\ 6734575817285338806866180609867132351417246740940454390935271987086\ 1120763633390834711426181698316229321159235954383343617341911120/58\ 0834646128095769627602467121071827578863776467099158903247189822105\ 4096315973020724635385135335295211962005747948305998202011094205754\ 5336745630822461554567952638784533*c_1001_2^37 - 2360899857272873482767569169535733217049120229800832795911753869742\ 3282768583888275910143125941115970472841936205412495952134678757564\ 921387423740144388279334846643814465274/535684126863856441026774343\ 8534259279383460389024629924008867363313225121767037041511521435566\ 1853842534563952879628645569715517337865983841530884816499457440799\ 5351109*c_1001_2^36 + 764485347052928702449686645853986562985455054\ 8059864088678693314607514329299955685443582909792783095040642288901\ 4202543325690264263644688010973926249927753267120550035807892300/40\ 6584252289667038739321726984750279305204643526969411232273032875473\ 7867421181114507244769594734706648373404023563814198741407765944028\ 17357219415757230881975668471491731*c_1001_2^35 - 2520436290393896449647822908480100762920779143096198750754698422815\ 4347793071947087585101939313336406858137758820692213255712246984602\ 749278259694968931666423763176226908686313/369622047536060944308474\ 2972588638902774587668426994647566118480686125334019255558642949790\ 5406679151348849127486943765443103706963127528850656310523384625634\ 151679226521*c_1001_2^34 + 8763477235557200394120943847535864064897\ 2625227272527732326316789668803800049361459065772093977710897397696\ 1614292230238693752528462758223903441501319002984216930917447443083\ 620/406584252289667038739321726984750279305204643526969411232273032\ 8754737867421181114507244769594734706648373404023563814198741407765\ 94402817357219415757230881975668471491731*c_1001_2^33 - 1445646167289185380984925324752853426316715356688717777659021109207\ 5729368120313703112769363545106644932611025003382912481581593763033\ 5296331741974678229482215559852437393265079/23916720722921590514077\ 7486461617811356002731486452594842513548750278698083598889088661457\ 0349843945087278472955037537763965533979967075396218937739748416952\ 7980498323043*c_1001_2^32 + 619565791576305184729436852570814790271\ 5748605910082452231630472720946145740093604340536123766619118227746\ 4710710164266032943601721468371502853031852538600610872681008698521\ 41216/4065842522896670387393217269847502793052046435269694112322730\ 3287547378674211811145072447695947347066483734040235638141987414077\ 6594402817357219415757230881975668471491731*c_1001_2^31 - 1417886993915529467218249803603777800799928661671629685020219598429\ 6053678859600515031785604472980309393403504704075397648879996229673\ 347963667797022188092071592311443203984139710/406584252289667038739\ 3217269847502793052046435269694112322730328754737867421181114507244\ 7695947347066483734040235638141987414077659440281735721941575723088\ 1975668471491731*c_1001_2^30 + 423778448151695365415320598750309712\ 5717209834671411710074451813526538926214724218572667952010223099977\ 5697320564269496742382608414856176297295748657075998691377869165865\ 67086493/5808346461280957696276024671210718275788637764670991589032\ 4718982210540963159730207246353851353352952119620057479483059982020\ 110942057545336745630822461554567952638784533*c_1001_2^29 - 1900163123174026003615589767995508860881513789642282531458982523302\ 2680886027688653985384139642493125733783737351119368242520108240640\ 073324338329189447252969612814019628986604351/135528084096555679579\ 7739089949167597684015478423231370774243442918245955807060371502414\ 9231982449022161244680078546047329138025886480093911907313858574362\ 7325222823830577*c_1001_2^28 + 100907502990109693765683494295757348\ 7051854779820591150039080325094060841744908175151351849414540739832\ 3423261037941766532451660043834096209408370916523134706062330876209\ 4350595621/40658425228966703873932172698475027930520464352696941123\ 2273032875473786742118111450724476959473470664837340402356381419874\ 140776594402817357219415757230881975668471491731*c_1001_2^27 - 9695675385758013651960526355871852982241118959438509844083683212975\ 5502810142342907930973713015849281987078825620720867119335433542419\ 43339027889366894872321859041518227282938731/2391672072292159051407\ 7748646161781135600273148645259484251354875027869808359888908866145\ 7034984394508727847295503753776396553397996707539621893773974841695\ 27980498323043*c_1001_2^26 + 22615731271987327092130939040827818499\ 6132800325676994764453207032842940137355521818782410102318970865202\ 6015302722579737764337283829267373589044119391900382622583775634425\ 6668790/36962204753606094430847429725886389027745876684269946475661\ 1848068612533401925555864294979054066791513488491274869437654431037\ 06963127528850656310523384625634151679226521*c_1001_2^25 - 3473722324679935561255818464040752996752420737454490513669466306530\ 3375281935232514781839151814706766685309806293215456825791416647635\ 4980984375738741914903717592943263468120283732/40658425228966703873\ 9321726984750279305204643526969411232273032875473786742118111450724\ 4769594734706648373404023563814198741407765944028173572194157572308\ 81975668471491731*c_1001_2^24 + 14971656173666832254408575074602293\ 6037633778069332841952504283778371086756727953318994861655058574001\ 7177054426113007457875470192867543864109421702714000740467995891005\ 49625173009/1355280840965556795797739089949167597684015478423231370\ 7742434429182459558070603715024149231982449022161244680078546047329\ 1380258864800939119073138585743627325222823830577*c_1001_2^23 - 3163828729486969058548868767839690198440136059277751301575752360914\ 9885672639556571749213790096856739687082051789276537040005451879890\ 737797503998392213999108234252808928602922439/239167207229215905140\ 7774864616178113560027314864525948425135487502786980835988890886614\ 5703498439450872784729550375377639655339799670753962189377397484169\ 527980498323043*c_1001_2^22 + 3137628480911246146739234786974126608\ 8397639192228272888426362572026797509942423714164675183814118493145\ 2641402487461213146562053831102517943623921925517931847851586958212\ 07626086/2139917117314037045996430142025001470027392860668260059117\ 2264888182830881164111128985498787340708982359860021176651653677586\ 356662863306176695758724064783261877287973249*c_1001_2^21 - 6109005156468632006595226894884878043966872924377043539996397543202\ 2329733781463825021656008984546097131737367982823507172352382099530\ 0388134637084822136128086425320976966980101508/40658425228966703873\ 9321726984750279305204643526969411232273032875473786742118111450724\ 4769594734706648373404023563814198741407765944028173572194157572308\ 81975668471491731*c_1001_2^20 + 57699690968546850056131755759417019\ 3356957611520614184900867153448211521669765347667553098074085527650\ 9120322038226030531825604398741608748136873271743362703045398698466\ 37612140850/4065842522896670387393217269847502793052046435269694112\ 3227303287547378674211811145072447695947347066483734040235638141987\ 4140776594402817357219415757230881975668471491731*c_1001_2^19 - 4969831939655314425794563743472269662827899385121562362984344848767\ 8374936966587012492711796391352560853999341379545332762738197497733\ 4253242489517803336849647955639616752774387236/40658425228966703873\ 9321726984750279305204643526969411232273032875473786742118111450724\ 4769594734706648373404023563814198741407765944028173572194157572308\ 81975668471491731*c_1001_2^18 + 34401994436022497850082763692057202\ 6409856798748165185948858244346096534274924904530301118635902801247\ 3783202916377465247231002517724523841019297749941312800594487965146\ 2561917765/36962204753606094430847429725886389027745876684269946475\ 6611848068612533401925555864294979054066791513488491274869437654431\ 03706963127528850656310523384625634151679226521*c_1001_2^17 - 2348511264680698695711533454020788561932374391270525020830248698360\ 6661150982210827102604804776108044855233452067135166419364173268716\ 2949721461324400987176715127712028965055003317/40658425228966703873\ 9321726984750279305204643526969411232273032875473786742118111450724\ 4769594734706648373404023563814198741407765944028173572194157572308\ 81975668471491731*c_1001_2^16 + 12949080952070164199628840453944905\ 1839178435906689113737516772151128720863689430729822465551562123601\ 2476808311512769806177474559298486900708238451045708714792440266610\ 8823047677/58083464612809576962760246712107182757886377646709915890\ 3247189822105409631597302072463538513533529521196200574794830599820\ 20110942057545336745630822461554567952638784533*c_1001_2^15 + 6833422337029666997856210166666549144262982996696947522943321366297\ 4258571136515970112152412484344257385778277219424007707040788603719\ 26563214300553586410477876321487639735015469/1355280840965556795797\ 7390899491675976840154784232313707742434429182459558070603715024149\ 2319824490221612446800785460473291380258864800939119073138585743627\ 325222823830577*c_1001_2^14 - 1026519341577976596406322827702051089\ 5413170530148601372382654425923081731667381149738990852288971989293\ 9481184022505193543804294861813411938919451970637429801847251272281\ 26316591/5808346461280957696276024671210718275788637764670991589032\ 4718982210540963159730207246353851353352952119620057479483059982020\ 110942057545336745630822461554567952638784533*c_1001_2^13 + 2135057720188381791233272078119224549644940587382566095413917697081\ 3967314101669147327065239964000911958928001935961543079383938478422\ 972479479479289851303684404750573557622196619/135528084096555679579\ 7739089949167597684015478423231370774243442918245955807060371502414\ 9231982449022161244680078546047329138025886480093911907313858574362\ 7325222823830577*c_1001_2^12 - 267566694203999527944715335622544168\ 5793584113642227208629749942443868230015273707935784149822700885108\ 5757895662774949197651949323234534966490068805366150338273037729262\ 246336883/406584252289667038739321726984750279305204643526969411232\ 2730328754737867421181114507244769594734706648373404023563814198741\ 40776594402817357219415757230881975668471491731*c_1001_2^11 - 4393299556203516258540274031298289207015268425668058771698472495054\ 1155398328521711282286120335164926589147324926406960374457256482620\ 11663505786722067689876202050362193965140609/4065842522896670387393\ 2172698475027930520464352696941123227303287547378674211811145072447\ 6959473470664837340402356381419874140776594402817357219415757230881\ 975668471491731*c_1001_2^10 + 4496795638021869141485432405941191085\ 8943760585511582669605844511847568983053359849689671320368222078337\ 9825238885111214922687708101539147119988669383325659332560874634149\ 5861385/13552808409655567957977390899491675976840154784232313707742\ 4344291824595580706037150241492319824490221612446800785460473291380\ 258864800939119073138585743627325222823830577*c_1001_2^9 - 3031370329901531500479273231371373240731973873963761106937425965332\ 0486014978945356007607595512938622448455935189623823538868838342093\ 261863785148254795544453008178989403546164/160705238059156932308032\ 3031560277783815038116707388977202660208993967536530111112453456430\ 6698556152760369185863888593670914655201359795152459265444949837232\ 23986053327*c_1001_2^8 + 512131659291554854914857312603662709693774\ 0656101388906339768163952781706367359592411124987243927280743158268\ 9670071258307624049799876726673219226127452008890417234825754654/32\ 8075730081228950810394357286169837251032553479358840661884154664305\ 4843396418231668881440809113779269243447126251766480062460877869787\ 9234827678185849340916296979867*c_1001_2^7 + 7549368736940828438665934685400263479472631614543661627002739473808\ 4133991047642196087540052321227575662758433779208460408441319289858\ 227576285802899992784995773906742435478238/193611548709365256542534\ 1557070239425262879254890330529677490632740351365438657673574878461\ 7117784317373206685826494353327340036980685848445581876940820518189\ 317546261511*c_1001_2^6 - 53391846568691531079097484049556406665640\ 4908602798752911284517235239824846962199919089718714223067055042451\ 5269892126396829665043233020998450173431035106251953899432564298075\ /265741341365795450156419429401797568173336368318280660936126165278\ 0874423151098767651793967055382161208087192172263930848850593311074\ 528218021041933053796614220055369227*c_1001_2^5 + 9765923793329521743314693271568453957733241076069736312962303117082\ 3694217342820884684284262064830590973244960713780818176764762323231\ 83052675278719573128424698875965474087301/4065842522896670387393217\ 2698475027930520464352696941123227303287547378674211811145072447695\ 9473470664837340402356381419874140776594402817357219415757230881975\ 668471491731*c_1001_2^4 + 37919021607727645999993469257374769537672\ 6943512859302080568438783666370287534671553260318239418600845838403\ 2188861818443454656994789772407954489039115745057101457148565209280\ 8/13552808409655567957977390899491675976840154784232313707742434429\ 1824595580706037150241492319824490221612446800785460473291380258864\ 800939119073138585743627325222823830577*c_1001_2^3 - 1172790127420140376709171145982863928055317164773320012972052793685\ 7380010469491928049488772726884091416696472298973455023466547649756\ 06920048287281010442556590304421192431942/1936115487093652565425341\ 5570702394252628792548903305296774906327403513654386576735748784617\ 1177843173732066858264943533273400369806858484455818769408205181893\ 17546261511*c_1001_2^2 - 135255302848754546273349859469638373384030\ 6503285250921702931294824053680006755563013113848137848059080610898\ 904888179698459549972456963717251198442806443128558464744955521941/\ 1355280840965556795797739089949167597684015478423231370774243442918\ 2459558070603715024149231982449022161244680078546047329138025886480\ 0939119073138585743627325222823830577*c_1001_2 + 1353756818373236787220973763407920314187012042630612914979714583859\ 8876155191658628457661675274055998258975913625186797305589537402846\ 67061617788810920049348731992762754847965/4065842522896670387393217\ 2698475027930520464352696941123227303287547378674211811145072447695\ 9473470664837340402356381419874140776594402817357219415757230881975\ 668471491731, c_0011_0 - 1, c_0011_10 + 24403145622969172749554529280963258281468134385832568841972\ 6474861061667214840324167643045173506915599757821487709758638329782\ 24751463844095996/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^40 - 4069492386795267872136244128191117806212755413252939054009652869192\ 2561555473363887797876033693618663118456800187376095445495284604935\ 2826616820/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^39 + 3699928604141992004025978509919269709761167748248369706232511289329\ 2836581343318181129562294105918291008415300860453612958623474556700\ 80991522456/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^38 - 2357914163212806601479998977495086998549160033198437161158463325930\ 9585584142344782620185721718437962103993997527071056452148444922475\ 484527965788/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^37 + 1173282042710651161961180146989411135130836187234422948636033921573\ 5230838136056123539680449232047281639677884679831838876406618206270\ 3442637458018/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^36 - 4821505970612410598880197072588218106603706032971810441460741973311\ 4247742535939138438324891911772800573001361950608621525710048488235\ 9024775134588/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 + 1695403637375988008265029515197749617074804347998837469301925688358\ 1474536607537054406541063595516779559937313296736792854069315886027\ 50379080609189/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^34 - 5221752082010798617137320346965785242079569115466116555581176041250\ 7420360106606583177979780137863645770938143762227567543600426636986\ 19138589011556/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 + 1432776763179756962603265976307566626093078325772327447914353260389\ 3073942555103903562443399836862725136744798329632997070103459775975\ 386790314844355/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^32 - 3545751208694976974400965157808473483998477810381288168041857061078\ 0281601511344726932183451430698884285860693960388294069539715410452\ 093620410157451/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^31 + 7987455679765020137400770228254372775377412064458271890199540999985\ 3663305630001039506960164303138223175615089593512188011545880187184\ 103688290365283/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 - 1648518015131013488134158714813179791712971422656069545161033284098\ 9020305296316321783223502405969579075800660583423311383503446786607\ 6483692303223674/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^29 + 3130846094237837240062770484053419317706428518834693555066362101096\ 5346172813561273178377762292647543261802315589848146277570146124861\ 0170113232907065/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^28 - 5486567319048076162977588269171267618831563482238676206712573528327\ 8004046268211317772514606728328976412080523662766324761411745546941\ 1598871437793387/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 + 8888107482900386241722663704288538133023196481386274495442038655522\ 9623582492596000295423714490997229822527502747225290710423074149125\ 7776826279984367/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 - 1333045305143130583435907378463938009299009229861899347101763398931\ 0904235511314501447849005457325915738288374392926672171544072963321\ 27272295799206731/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^25 + 1853401846035703814095552596291721844511041061878256941196488400708\ 1338798378146171297636647431454427632607859703281820693411648296257\ 80862005554311977/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^24 - 2390895152760740084495296818934066041241737103206564537874278710147\ 8818211656045704922227208849834948804057191485867947661545413698313\ 65874325548207477/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^23 + 2862329344533598263506172823073781033288481481549611540582195218587\ 5322916486852775769136064839136060106724008513663325080428500809898\ 24491471049083182/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^22 - 3179175509306458478050756807008758445692814129593268754124063501639\ 6985869847143576715140842692297726169381297729637767247488004369550\ 01103744504334621/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^21 + 3272854184444225383447191562877030310660597838653654124199522863579\ 7500435286615349519024228892103041831180728796934037852236514704114\ 08522841668759442/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^20 - 3112445906930255416639238694490499409210318331438235073765363362279\ 4609501974229269887468204843695485185055556340849905116897737321290\ 46583268338315321/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^19 + 2705083397465259094243108146159347768926339431266091104060454436983\ 9358675960909412736435360165023872155484817215720920238741336815370\ 14464141575751916/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^18 - 2089119451125732533210529616897474552927217556106358079038867214269\ 1940641137680055373437478161763419019885537447687584568853388839669\ 58343095682424740/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^17 + 1340904117111574357525109699295530479148813678478115454969642819700\ 8402125686291560885954617458391699598365994283900886211795941244535\ 14687808688730815/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^16 - 5902196679255132938683247925751847220851307196675350811090411944845\ 1061617137718212036653256565385386496302933179751230158953087179511\ 2125079744761037/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 + 2438570745748660259494139273056980107052121538005973350871381228834\ 0153381862548393755330660109982296704879166929138756493614564919524\ 44641074753912/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^14 + 2971787843211599884460338880246759631741884733259465923553021866011\ 5861047681346706707646350678029345310306524424807166525079942730322\ 7866336117699151/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^13 - 3078611450301908907254901573660892779568479543324090337597609580440\ 2318440652611215560752204802831991098922265032501768995595602034358\ 2540366320099607/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^12 + 1579638590775985026894763134503178871124771462122204898582632586214\ 3790311972639362155211711662979773340439109429334230806230231566231\ 6136433907988902/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^11 - 9148391943393898744062550311723653903965381770788619095703004535896\ 4402189858906914014843130365812510853421386950887589658616012953871\ 58429001731379/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 - 5222219381291155498288213817401907451789772656993567370673325245485\ 6081766145830031791315555096879162549549707894540924546368388616753\ 920917403285049/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 + 4012369507864984467185710570616246091518382370367110550540732534629\ 2409347237030503374998404466883564411964822352702849151040938824179\ 309496055801794/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^8 - 9913015881983802298068826751196261541115591039928512922341708699725\ 4090662220601657740716827427134688050848396091250768159829919148841\ 27502739077075/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 - 4810255137004468947659690329849663135051192710963568983613669830636\ 6644897630542675156435680496643158696941995393078821328704425336535\ 98561717660202/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 + 4454591613398121888331651214951941909844841671601774656962934539001\ 6971062426011361451364213093881611672040296195060379268021291406476\ 37522936741676/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^5 - 8636693533356790852758228743344570209483639451140281036281913278388\ 0552109565476673280826539074242242162265489196388870915537323272752\ 3005774382163/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 - 4244835270011834213554840924681370375223092982182038987148884814980\ 5118402017518398543528227326111611100836276597674812344536439332684\ 2532263825653/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 + 2213188091281919762501453060684070478066855579012145474912798035004\ 9340592682926379016334208857047574759645309807239375427757113809382\ 2312429068059/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^2 + 4357280590203172476608265696224532780349671223068912480011107851013\ 2893458973770373871931642964364410950208964635087150983862394511902\ 55450564996/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2 - 1121675027251086726462506102352160374198735703996976964759134459234\ 3113688685513458750213846634612012214838049473177585685218776361010\ 492442520839/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891, c_0011_11 + 89728360502544529979726116006486357516935112744396427359669\ 0628321738215401113666808635919842769313549003585075508702398428285\ 4441217698886256/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^40 - 1478278648063904537233536234954624973548779743953204146652437388429\ 5650095933470020732908558940710165458032425958659512203200325438861\ 4818471812/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^39 + 1330911937695840778104087321271226912144674815065523762439124152615\ 9063739717086475891317790739346686372915391887448081171036256597714\ 61479652856/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^38 - 8405210111640075471292128910754538619032623075448329585718237456772\ 1185897456737608190726723135271383415837365517089574900176135919713\ 75250277604/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^37 + 4147429924720333496606705775061110906436991098757755683290800781889\ 6553582930159169346547342710520882303155531556749989213903571104372\ 887069212588/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 - 1690753167206497682713030667916909164390695158741767359212569139682\ 9463027312518221859771107625425585194320411167918788667649142970064\ 5212153496882/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 + 5899533683624071375794467593078626487460676929495191938898977420725\ 7147086931638082736681923084916261435779633260350216587413880990627\ 8125030610578/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^34 - 1803320200617545146699106468461684305239129183724807084238223476154\ 6162382506839279519416756009021939314249225874652039411008901973575\ 45832910569715/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 + 4911191152539553016157822093206945658454747323885420135113594033865\ 4561453329567854036317918764975200333416380490972477093845229579690\ 13414427429233/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 - 1206330383179499645308020596493958106975370843306959973850640461958\ 1338470074288922355116371827649398804417366730649982672698867175241\ 001610323824187/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^31 + 2696992845124035579164319833935208737330226240293494221241447328164\ 2433928038296841138285888206383557713196107832259196487439083032659\ 175574768482784/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 - 5523130106168461612623670347377644284131733970869458511431054537930\ 1237452723924873365283354772013258336195771434424074441514182666273\ 488984394495060/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^29 + 1040447034725324082376718750950351247924466010847064735263966794020\ 0729339355079774940850233944712882431075127463142563460792799558630\ 5323600377492931/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^28 - 1807609613081799616533098078889387017166169031412881154555379571967\ 6694622248430017287235900698892863496382472915622101643720152022859\ 9275321927886498/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 + 2901236538466291931008979311612640662828345744223563692896637153429\ 3268901508793523202838500411750501079952391422989482908002264908362\ 3189255171600848/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 - 4307946139039120339898362615661443971687834772513967252474033860584\ 9204177667683364025677788514957872178266828306754363778347584685155\ 2398503540016627/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 + 5924888741640558026063557894188272201498222019021081145050758102944\ 1140886698485285839834788611608049564767053473075115420896273768213\ 2443512960226905/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^24 - 7552998328452333008454150822121036561075155070249681949151218101601\ 4960854048841675511163327644933482847763786332890909788431981282110\ 3616106434993582/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^23 + 8924586514510897403044317756555230788967427373278413575897570515350\ 6975859476748822146956997027844767342187257599907562267819484068650\ 9945476779813527/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^22 - 9768581738668970345888182965318645730835759712759576046735752207364\ 8419325772230075309950854444958114869602400477142750589412570009391\ 4403012329400250/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^21 + 9891416250550493105951468743477349660330036963058551810251801987043\ 3722149192872661627960476269298795689541406913439320086457959215657\ 5532164047429279/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^20 - 9226000369902013589535460319828840553320504490278861457340729731410\ 8061678847112944700342563213636364033391460900055622965936120559579\ 7672353238978545/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^19 + 7821822225726589777965872002671454772998496942690209869357565383474\ 2353141073684216443333608144210428243284303405195036408954378134335\ 3702547970606917/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^18 - 5818616654490600661878603621540098762078431038085385007349744984957\ 3231877921648412665420024872604132284924343826875922237168592128391\ 4613399765378231/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^17 + 3473501745548747555702738608937015058281995059829457495502691798321\ 6267701647959390432785354750047945982472333231006806468552404390460\ 0883437909404990/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^16 - 1212198149328729356332624018567513235544365345566957202020816743529\ 0463510030301563125933520405645239222297090786631845528159939408327\ 5928842895182957/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 - 4443464194360935244002768482711564943211871549469723410451171729607\ 0736658081914857699492178565675891301033617978265961215993852579535\ 702305483619537/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 + 1143344202111970752485293496396052752024811660619613401743089909102\ 1490848385693148755157870870122203038016299877574019888205697067936\ 6363301556670978/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^13 - 9624037713661584020401575223959963895816329490654264039872168385715\ 9155007849644460644717384780969587568818077963291695647973334836611\ 021015147438253/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^12 + 3773678622479691374276965021041384513469765896661689682346372315885\ 1911728673471047647800186686374652778208898348831887061906019418447\ 065687678262802/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^11 + 9130338790514562254718162089237831575715431015814063553796790298955\ 7607519970212074566116100410496711674215823713209074622688938322360\ 03976567971304/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 - 2230337662955917102903424746771477416291369079355606665317644947677\ 0960338403136028385271758297131828076473807115544873054167984250329\ 228502916723889/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 + 1277662793943175192459353018444277350529259819640417676680511620704\ 2978952538088104830465323659588935848963856671028011497535997034483\ 971046149250937/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^8 - 1137679803001789223472063656316005967785688896846559695185059990055\ 7838830258229707809247873505519439363993444651039024958872182826007\ 95705761996277/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 - 2913606795948740433745374322702382154442879682535353636258431175904\ 6493133735595656808619852469556542848377521237565235761796823118208\ 39141494389775/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 + 1698263460362421212369318113510157699047164371308484356543135989023\ 4033639198588254399605276876185205457066601494968517281147379307321\ 95199770630095/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^5 - 8956580063913893762872932020949455133558550887925789774199380931363\ 9857817403373263940209267185931546800547950652606650973519810819525\ 168039693613/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^4 - 2772619654426782680903134365351781278949598417957865641872124050788\ 6388687606032724226547729275953301140787990746810628070343944868620\ 0769050633067/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 + 9407268510200757400585225507382421350740706375208893866633481858334\ 9534528586455492719223097233279591456470511408216634606471369122386\ 695733311553/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^2 + 1378477649974363735224638180864129691431143659493671107316099617161\ 5704938599786821464772085286166034200431095263294820994136338680310\ 056630409667/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2 - 7526472552771314116123550721712976961084604030696971463052332926709\ 9999713758196536896902202620648442746446546904307765471291032764942\ 28458787071/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891, c_0011_12 - 78041463267964020346657569479580320424420101667474490162058\ 8783624664121830542769437427377137500949013831882921039188851636875\ 9153015498641800/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^40 + 1241020501538365735877782028704568151871284912668083922896197620572\ 4149175442364613922102479769136703542642383990102147958091434375230\ 4079051208/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^39 - 1082808075621980973679743226092677639760010727408651848082088642717\ 1684646431485560099807117050558412996530887319725576238318694251062\ 79209504720/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^38 + 6630940365303321735089136100984796250190784796136116077581333116126\ 5887596688524289546692281505009002081001765250368638106942270267812\ 83261469400/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^37 - 3174777219126936168143344248111998599646324602981859138433378864132\ 7362010611057968534075270726876792417983778264191152296082719197063\ 881011035036/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 + 1255821763254264811818091485575074855019512521371992676473570546654\ 3897165378353274236397989500184365973326320509352994845944909729644\ 3849514566756/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 - 4251188703501031480066975894381166356413071666730485787436872043717\ 9592651572730060550927866456578532677839863486046899594251920496379\ 0761495332650/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^34 + 1259997226895669849723399236411646116732006249985823668354588559824\ 8200279957390797603215708833744245332627339947546041865035520619942\ 07201795359616/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 - 3324799010254862197055779576775498485854414265840746757900142782041\ 1783493457107388347058878393018560739052418895160217899301053772840\ 98550258837922/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 + 7904023257121116176283652636874282494654185235296722051581995129173\ 3487436836800734745915204666824652703229391743239582936184681372396\ 66482123381600/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^31 - 1707732161074118000840636104038153480638001093790013995665241706682\ 2416103315066192929238323102813940756956485269592074443685938934614\ 016944542094110/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 + 3372449021648091818826359265118199203608113882701533577440897796587\ 6997203579921239594727222815393706129697861120051861628087342829388\ 366947677213813/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^29 - 6107880996668009314407208502862473764082981460113855098812635915244\ 5616059722812766785175151199778605675736422457922663272271645792589\ 906272375695328/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^28 + 1016057115752932469417811164649727726138016405248298328479052652511\ 6873987179218469041768517744389549722425700780439273700039031875583\ 7480198038789076/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 - 1553469265039263799511812966190915748378643939811773305353000959820\ 3475603087721952083971194431509238989541651162158637385252413737317\ 8745406749608822/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 + 2183652583740184404381715877595641693535076424650830677651267737473\ 5025601114386001156727073272153357099326106869987048306001462577776\ 8766496570127918/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 - 2821301870507777717284848511518364850129387095693815650297375429586\ 2907135065457665671467303169279678970534288590855122992838306236678\ 8701695305432202/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^24 + 3345293323876911201093848162254882390727254576642197926264530378872\ 6573357993936896564006988861884799823390063315957583020852150733898\ 9496575302728570/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^23 - 3627460012091532131215288568609287099637679366065970039367399848929\ 4185277944483224645601132001763491025067715692826513169995848598212\ 2536580814114092/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^22 + 3575999562181660819440956900787046602101131517455836765008754498343\ 9311953627704162404659123665478458085359370206310940115977247987558\ 1428758617182581/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^21 - 3172015126081187496022662702337671268384784182049360276769992949475\ 7738666427035320304892582298612063543672783012478304725280516522818\ 5677903162174316/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^20 + 2468533275943033754545179635198692047773237455617147849039134811036\ 6199310269064369311374918908428329274888266260020200551344666554213\ 5235046559152359/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^19 - 1554130410314527989023932095462525389983533176473131276464968279416\ 4016937448764949753934102900925837004262485709785936572754243809716\ 0592626625911275/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^18 + 5333504890555499693429427258045093234060107381259978461548087411014\ 2933394424987157509232019374422045984234158256881220203555797882645\ 697709884256037/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^17 + 4374596387372472651579713048417370869516105609155394493699819338552\ 8884862188628252295931789330110562207138834892744129065092727919560\ 392017243434081/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^16 - 1122000129092510605989900393606921304317293510336469980996249176796\ 2316193222915579082244872340881792602091464752286608715880858530005\ 4200351897939110/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 + 1296968373157516532481156601199958886374483320110995667453005348081\ 4181623840799557596065241576909482557432298156511203740524835760711\ 1039778706631595/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^14 - 9422395636810760923281784734010838592573076659921940133571370515118\ 2679171754974312819943523483916423137687466219572863845757801740068\ 139410721622364/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^13 + 3265977452976978978495389034997610309003841911669654630131746103899\ 6870641958529916963442711014714171604458239959094736736279445625917\ 042673472345819/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^12 + 1620770732986083494691478884475375348749543273055770709161310602599\ 1414897110828969939797040785986597718494121317460883777140240217982\ 049203152239851/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^11 - 3099215256916524562233242298662906531779665828518282147103233651262\ 1086878003595863748578044684438333487856645880368755271678983655853\ 623135566812919/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^10 + 1935566630537857417053276598660556815681306216399993002507876415669\ 1193921106076804170403368587496347091749659128506996692457029223623\ 734153079020160/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 - 2961017860324393408358899153998696147399810099999241880602771829233\ 7941550968331670400572553880300413235320273014998581376738932415361\ 52964158360107/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^8 - 4470802980327470459756494739993377209359736886153596196651574453223\ 9702452962228983108431272886908087874077607462063837437296095272039\ 21035408858956/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 + 3599707630079291766421725678030763222888016287639512053167728494139\ 7494283785778228158057776485610745091600063656946618255081157099928\ 91834579208235/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 - 8082183267608842618157114137709085042186650221224550791142467569340\ 2184711876744977312818214331765434765753114384746531526781063221053\ 4156705968261/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^5 - 3803106959405362503388512082144200920088539930391584420717053732871\ 1102337694320689586421419328886455747991920410183856403511964357371\ 5460103691889/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 + 2825381394035498349169896075409460545375154021218016290252528552353\ 8031358537576295236777052042212516131516144217455855088825941019156\ 8458524808904/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 - 3523444819757886909577174132684280446490890124300788729895863756976\ 2307219889736499241382017587822397299318924797577278722117219738575\ 522908861506/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^2 - 2265411329928694596559823303991679514724847964496208860878871195110\ 6740560137400854155574811964766053848596289200781962117265597284857\ 352937557568/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2 + 3967083922525358176395208504481960225787957460693297624486552653810\ 0350077851308247353818155046068992626417693337117880396258221974672\ 23913805011/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891, c_0011_9 - 150175790181259379469157706162482873449864850104125408075942\ 4185518303039594254294981304159410748474725333574719628096265804226\ 2807790206190680/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^40 + 2493492229250094052293188252728381283627108693807437667148883841402\ 9086992544370613219303341844398619060135315207063263802816302383264\ 9587951744/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^39 - 2259095507659484362120570415335335332426981245777664986253125941691\ 1872210333358948756213581530579437038611691529335275642470155134807\ 08141018828/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^38 + 1434942604665232637475791376513151610715734573825952013522503082199\ 5086630716599270279266636171822670728126667079802976107845173190727\ 060438564444/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^37 - 7117790229773617679217573109786144740455493967866602106450144009999\ 9789315387025283915643685750661065730607173791075307888058642528886\ 651007032512/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 + 2915947865648550367701318361421685005875968309473630901424518616850\ 9759285072059342645894955483325822994063376997351377535231610200140\ 0736055654144/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 - 1022171024825279004807415554279312421139720167323738371888276292686\ 4762922286532560556726200450702919963451665818481902138526686646159\ 09205436351948/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^34 + 3138280634734499708216860453611387955345413104644192545454100327244\ 2993895883744171999161998271317213959532123073734886458242918745315\ 86532143096542/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 - 8582942076204435985974059110869491067869581702882142805874665410550\ 8575696545751697341023339896174413211790041977649319478517252700506\ 02402484014723/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 + 2116817915985066993578571523865375739517745275138598660679163746645\ 9930139512647789396065126066532775288067160731411990782524631675202\ 255151514739380/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^31 - 4751345400290476963806498444998381942813034532130400762244240068385\ 0149307083001834357318498180023772704307567072699958117417481579297\ 608613181423568/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 + 9768288000075528210213047814119966093629575297104425841471650225964\ 1632549168447818122161450552178541510854000419998543050097095401784\ 853646600056840/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^29 - 1847347693161372901409622330524507888377864954277170311354467291135\ 3870799011640093607949886676256715453682742768542688491395508679150\ 3138538433893816/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^28 + 3222158474658853531073709308410300193258754796740357878779306986570\ 5419657561751002005277100543775227617898554202764291450300792392157\ 7252913497244246/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 - 5192302517004386579111395474810742272288708901044460048714243322893\ 1983897027070836743597908107784560855737139773557933948410843627721\ 4268992234962858/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 + 7740889977773373866515019098667788434254712682765361996542717996320\ 4240181641358182264725865493750493823714190475209646531965484966879\ 1701243896115259/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 - 1068904816782652262095785757391685923718232840233034445168582315151\ 5969587145160402077023220304594731785430668988248779963474011944997\ 55015134427594567/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^24 + 1368044864114985217386397674952037173812988620767929405577404808032\ 8993910980167810188142049889539381202212933976010496013529213446405\ 35967227206160948/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^23 - 1622795848665638167387426147150604489334314826785158632453362154070\ 3083984924575249344413104490307976310179928591709147354792515955350\ 86161474578335423/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^22 + 1782978187880406140831351697834270975677241162678927053935455023627\ 1274003104612554262883352946636334026862743937920055872308794998679\ 33475675492261481/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^21 - 1811815029749697489635037059744708601030564558486519410970949779029\ 7949209949567009304993897389348580660502104346496637276352935494652\ 77193868002743229/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^20 + 1695579091811441790422577321659814322820141429973843161044333227920\ 4582046062987411240740959776233306947328228876452688431966847892682\ 54373411393971186/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^19 - 1442538257555427713633589955294607936987247464470779563969262501020\ 9422805995201933340014118520698580739095415081296346422301819592831\ 92170897911987689/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^18 + 1077959988036962438714658205960797042623350635560419071002652798385\ 0192939854564415333248123592210194587167288982415728897905072861976\ 48411589757649146/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^17 - 6480326304362351802125625904975326485921759385451006033265345208750\ 5308033928777347003228924819083669823900881083772810123417393979331\ 0670266167704565/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^16 + 2291451448514206138029925638358481516249932394640012487127975389636\ 6798297241547887092145628080372925183301556410724353349525861050290\ 2395019729680526/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 + 8341913846589874391596613235905861465126098102704731054387647569420\ 5894886669376265787620816843492127711914355859727810185197974384318\ 870133977093493/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 - 2215568298422731092337068192249779544333674929597612953225042447889\ 7561582980107506652678620634884887784085172412695813445257015339233\ 2905908120624788/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^13 + 1937829631925963767412755156191136899345445474160666389931295325818\ 3369820542359868699515633604832863757299067969415348009741725295467\ 8678429446553890/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^12 - 8413756269699233427519582427653997679814280971115148261341499340574\ 9097064907484180080951188580170332373244867657512437721456906135640\ 772008761715791/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^11 - 9453085005956205650231572736221512513025463849286837031196160994620\ 1158281378729342968814190870139973925457849410476216669557289302210\ 86830829799982/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 + 4079242282477685815368513585124442042949023803859554136982390531284\ 6958945817992316622585248332259556288515133291431539805178415544761\ 866649993540152/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 - 2627899925035556285938921408992259854340699240894597883093090990584\ 7508431709557770172316019471694001508871176747301957736701153711495\ 340798362315215/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^8 + 4242319240871921085713926867838695779856079174010440759463447379808\ 4533309854591576143381911932800988995906183099464142227715294111997\ 22525542491507/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 + 4811379480461277030480526730413543007703704666276859837078184450118\ 4615196026970968771825630433335032258533583253156199851807322160024\ 05385072647918/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 - 3398302436160634238848735128392052740870892258123163909437083938263\ 9103231315486349079671072600593194711685965810143469673827979056423\ 46170222979189/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^5 + 4506631349884438016545315275075588998707627387084292593199770226839\ 8658798237662033823919033189600947059068104439696334974883592256013\ 5885694401427/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 + 4261675611780938914279482452904267503526011695246952461796067751674\ 5141441764721855576341315129483479897001047031492696841004252455107\ 4974710292049/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 - 1799336955917033715663296881370459708499064513100727106476975401624\ 2709890035466675119140255394909420707725089078324398023948396911896\ 4527897515680/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^2 - 1289738108602949151093125569062364579252677536192948089833664944009\ 6016744791926929640362220534072071917698708802262401661827868109613\ 574136734049/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2 + 1222508395400238264039163946806970698452682814952095169768258749100\ 2832719530720460692298164983968360423840155341325052529842288302848\ 619255935657/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891, c_0101_0 - 553702017110888741659378001729787761924727257433280149147464\ 6777031314266074559850072760498098602848904630142039421860140125215\ 817819246707216/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^40 + 8973211413514184265739910564804459961489581957282784420399757279286\ 3870788081598658256867065166570477340671570259907134264779009464475\ 621579348/145360902975273150081700592741488994938258116053817192824\ 7969159180278201476817505803334246385282574415674090647955436865937\ 549896086046822838891*c_1001_2^39 - 7970956146660091479347454727015121498609348891242137800269091080823\ 5411816439963453949054009910095800229290074404684778916768910814454\ 5919156304/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^38 + 4972040142851852415121701416534934692176109443720693841557912162847\ 2626328550016280925574178660576672626490416264190526974342813543298\ 24703983508/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^37 - 2425685905316038803618526036250217619376313106212623746085521975368\ 9889166816644301114902534117898023565149346135322872848378788211290\ 793210368940/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 + 9783495378545002331396120794713307637166663736458441701450329796918\ 2729839356491438812044051223112743888053902163736812374489809463103\ 324927735026/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^35 - 3379410717674632515363945755765615861350579316065179769266952537348\ 5365399939191692990466697964817734960219476963609772815680568370097\ 0127349950286/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^34 + 1023018797372702941836017982879856465548140832286820807229474785032\ 7207239432171064961949148671322061968245708050756575071715025959173\ 13458104802731/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 - 2760205261340533435676918870547172642531003456639323691161681939115\ 0749900847597684074368484805372158173188480382752343331385897639830\ 99381134964595/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 + 6718541756154988018926730606334946545970406777494686541482682645477\ 8910946519769138985636775000756513023735469641762984958749112278869\ 13990141839285/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^31 - 1488743447855341857269060004373943031729592554347871218925141499198\ 7523467491704454437064481323544160475929581330554880237995741462519\ 644357808269520/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 + 3021850190626449294996765454170239650226138212297315296611605847393\ 3976055965876284074038059699201831006994797018748206587581004778634\ 019245317202554/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^29 - 5641772310544484855242284929611408099129782615166230609223086722835\ 3040229130459629280656427111184133791365461873323536325970452726024\ 807497945102263/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^28 + 9712196644180692227013689253655727570112939323336047331680877222703\ 1403714870060462769471079185856467866570549267525123064616765813168\ 577429848245818/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^27 - 1544206074058379418200547734137291147799266632850258665004325055120\ 7121106233178277283133630997044273512099694544223813099747816625878\ 1968186169355176/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 + 2270938862643327374016312400993822422527007394870493787569555516501\ 1863854062407197761772008735564312962028803658071544254810780044230\ 2443392132126933/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 - 3092726821046736620388784994285531593347603787743303154684589028423\ 6949783747916428580111016904062228265609074433842465165115484950033\ 7633024466688651/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^24 + 3903100616836357879699771680499309339976300104298683868016442879492\ 1209792900888059727925752619163935722249604519897317071725135634841\ 3578745984131340/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^23 - 4564450300811684839017086520416422023085402627366235058856111100894\ 8165579455592072335277361373337696106266799356517512389500421700510\ 1589154661809847/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^22 + 4943380427943755072243567178805633030712858724243384827812843053434\ 1448427536506559517287602203943338487585113228203224620029900728590\ 3765776947215512/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^21 - 4951284007186553204954268856821816239310136320680732435113384629190\ 7103794421115528062401682990631599473068000738374134102093843183444\ 9510330613556809/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^20 + 4564615424529968162090985658511797311513171388294786804667536129126\ 9801061355981969895016679617222066113298070349445721941036759156351\ 8323546818755155/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^19 - 3815083451968494682327216168925194281141631046231812958120399217266\ 1956517594252462675377332722313540390750427233128648501619865681100\ 8147059903044938/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^18 + 2777688094773263520287016030244869076335283687346995081093090974517\ 2373829739413391474045410110718831374825749026328442891344932862050\ 5702660239287818/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^17 - 1590791706357545473457567421275355536291405889314287235812922400808\ 2798123124651393706727025465677116722120597069796383401474565716358\ 4131894286416552/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^16 + 4811889876842722578573495883450181854862896717634236048770019854642\ 4690517698338485463938449833965075093783798067229017341861934193157\ 490687791747837/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^15 + 2878764880662942933924677550976660316742172732687975156479960025697\ 2218415986931243487028912764622070099596339496236648802522865869335\ 165855698547647/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 - 5628822673587515267421775583397643028983060861162726067977924350733\ 7141023101299156766204205139064985001709279772050524628497880283012\ 075708749762606/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^13 + 4214222174854211651915451904298590284334680272514719473271810905440\ 6666235194781235230595575842846475079825134251814212852409832852591\ 534064739120325/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^12 - 1247433435210183616116550165404810433934346657283133703695113586222\ 8196428267852834767544556832497863638014688721938256902586392090016\ 532973446465678/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^11 - 7916307066731382768812033207125257840210483907822350797055091812448\ 1517489095175950099911485734754512028981857993508549903309791859191\ 57801155397742/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 + 1124202832895134803671702946959588441424169573321401471461811322057\ 3537395796595456368652916157728766654044311055349594394440239042684\ 946970610492059/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 - 5147008257191936679132390624069670541960097370657484319921449637087\ 9990513031144149683680301349180257856023572575983132270778282313503\ 88227594787579/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^8 - 3128454452057549945612082336443841829770724854752942716707974977190\ 5347551033597882131359044631700190371558818355354823288770694221523\ 1992192001973/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^7 + 1620203093794687569986905966918594908892549022486712677281711189948\ 7287783556328707039546584517256148821415845760613509124200192839172\ 40815507201185/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 - 7063315282334717000721511663507618255511818532849546378898120530666\ 9447367615691080775273788217025239248667294101043079421972140253779\ 5166876997979/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^5 - 6230020527492983377069866298278111627867502052526023026740781086525\ 0183183222557144349446494110951795919507052258292296412812003445999\ 248592351427/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^4 + 1594581960453606681201940171581953106149975252155134741767225331744\ 3115697039482102057907565298406488752351569258458735924803507495669\ 4044149345725/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 - 4066161406278081399280239186627057134266536528790657415812260896236\ 5155290095901027990519001179736255969762803174066100447705002242774\ 932221414981/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^2 - 1077472043289260616209331314797542072239559835640032143295645968042\ 7902284275539582941456619739494080882397268207884394540358488637967\ 842579639925/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2 + 4350204444076661719816183609507010674232343914343905814563681885209\ 2142185082448323199135083904653513249461491056087962967797837525265\ 54271781565/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891, c_0101_1 - 277832074084863854948833604729338971619813914171439937480833\ 1342309387316691159645880158072855843049125827935750276829629658158\ 48605429175380/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^40 + 5034701270670664593281338502055179388111607633438034345717691205624\ 2751992986578244757883571824497040275460507053585774951680085013437\ 63404508/1453609029752731500817005927414889949382581160538171928247\ 9691591802782014768175058033342463852825744156740906479554368659375\ 49896086046822838891*c_1001_2^39 - 4878084624726344360167565349376945291869423261356688566067789526085\ 6161492362892983578188951945355540743417992432116407742090272243211\ 766618992/145360902975273150081700592741488994938258116053817192824\ 7969159180278201476817505803334246385282574415674090647955436865937\ 549896086046822838891*c_1001_2^38 + 3285553549298367922264156504114707510129275599730359607898489668293\ 7318951613744504921560403765781692365349230307976239024426809557447\ 6925779092/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^37 - 1715640914378740335878176528367625897050500280938336050791340232928\ 5767758866929327044720260037717364479941658720703038683043642163427\ 14813311250/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^36 + 7361237805993946962171182698505408749797023753143244209574640726037\ 3414502336634022165547578938848157294944227288730173134703736920912\ 49952203160/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^35 - 2691055217638077413637711767452969041107738610426382070818555208284\ 4588641923348386794169392221479461010750440818859986456153095801026\ 149889946855/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^34 + 8587512993851217493430816552905388825665756881578047982190973880646\ 1373965161281133646904344204036390384199497270981581925623684570127\ 899091762268/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^33 - 2433979696186176571364303693338569069218844044020179010735190804587\ 6709988981859412732938737782476186985370038168281687899477465549803\ 3367809896025/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^32 + 6206107953113079387486918868827283706348466015909630537770960445106\ 3968947351526914093711025456498249158021824726470014488222135863429\ 9570622090495/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^31 - 1437177363429762641980277222442761737360506864953013340665957807162\ 2822406744038639169293710216970013807245663807188875508873266842904\ 34685923158404/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^30 + 3043569815052464069405812159225417943396826853001592302412730549590\ 9004940967651262357261721038933723508638160694258430536360084708929\ 59742715943816/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^29 - 5921913262644570271313448367867233099009752818143081291225365770979\ 5202594061900907935793679165464381350832628556881234045234252475254\ 50197478105371/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^28 + 1061688168427962420664171014940519144345075865802097115860747495629\ 2851656667919755651800014158278359599921552277358663189998562133891\ 642036637015635/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^27 - 1756700053094387123797018408986178369663771221530861887796472435840\ 1034997543631940897325476481152280156562580858054478817031104076685\ 922475969832593/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^26 + 2685323528580090503357894169194080491168077039381637431200397087898\ 3395092674815408515248393691654935160044145581123594434091219434086\ 328681518933505/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^25 - 3794603571475068531391464378206887484682158354899680653532098365056\ 0961932138024846762808393240882789833130341684016034994696022979026\ 877983848556898/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^24 + 4957610956946562269429872094170834266061795111181604247453364928207\ 5026790708939503061280197345145174941194255503507917922438616669320\ 807062413109565/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^23 - 5984272063198958209710588861955389806968405675263314505066079362588\ 7403717177966294779479260353839168594025483154920751525968438195565\ 242182770441277/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^22 + 6661793438780960910969386481060504626413064763532527897978651765748\ 3172300452371229011764358116942742313213583431113063045106910321212\ 613194499079952/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^21 - 6816969672215975739413807270472405956739216273831723370563218511684\ 5119332672072143281159724120368772180403862818599754268736142622898\ 109636429976814/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^20 + 6371696559146154434896540006780982813671442590926580833873135146669\ 5701956102609648040545490320963786008578915619798595724172684408274\ 370492900117360/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^19 - 5357024249697562302750430271970744246201679370084435268552980382403\ 6761424223655264298242791941901766782380744115151786824209886867731\ 446016385826583/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^18 + 3886120949981748692363138524494083612877112073542126415735553985878\ 0444463667695026390267420559194605813720140292218061904114105531540\ 739769110219623/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^17 - 2137760549094225461071454979404948599571800977800297764142803102792\ 9829007633502636167713488976098735725215143729221406987746719322147\ 902528541146570/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^16 + 3838182766756333866086953745294410385976217415897973560160714624922\ 8870696877832217072556068676415427246810080428176456379691875462005\ 32043877051954/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^15 + 1004097088428147270308877035529061189416460528091413658477534106654\ 2071884368329713963469065282145960657428722375758319861301433465784\ 010662422526430/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 - 1678057824261048935536823738869418124984515881016314050685913718179\ 9214593847778040079666568779652532751517931511738032332986906082102\ 261974895033100/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^13 + 1543090881857473085757285930028372605986149469681907198250342108890\ 4084887609667135220710679938295417127564706336493516131467300146487\ 712124636726105/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^12 - 8794095332133763197547561138373453894830000710648168707246645248166\ 6487705869596325630353278798715655431183259694007246549798256080982\ 58863954410235/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^11 + 1782569044233121789227650002646584346778452010239792682809038151077\ 6583963391793479694801674862707694713307087412468291344712083845074\ 22707958653864/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 + 1982950286319258580116646069068003292436947981097608236296880869121\ 8251816130033441852712034525610714555006819236556460933876812045066\ 16377933721243/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^9 - 2197460228444802865815348775216158410445286262760437955886623723111\ 6180870602837450161395010852403298147335914040095854506239471722708\ 87656791036628/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^8 + 8694386736138244639255122795393291037109092863793347624800706188714\ 6866939259609322307645624086819998386839303563955274290565055463278\ 1998292738757/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^7 + 1171032962066818146758960219166345970522352104515282461858218513938\ 3809237556666205427040959778975298969870466913072374421698194103486\ 1546455163925/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^6 - 2876413977625254767405368521962749408658729185209369348505864725777\ 7046335336889600724997976671386707151575333971810386416498038062632\ 8862416031454/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^5 + 1059681598772383003861748312675643102832284547367345452746910054091\ 6160580843596376710947277838260215924893582731390767861109097132555\ 7514375107301/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 + 1266314065007124522760908107778283414477248463289186607950779412533\ 1330857180769923723495697339397358144325183533178771523257091473537\ 779148433236/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^3 - 1742920903825333326468982789938963436015368190296439229626031710434\ 2843266620775423296003382142006221410408122478732867883529581191748\ 152987551051/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^2 + 3502666422709468198872669856131563896237041837384287235584585125928\ 0973842643635000341424819459812903773045583935154920099139239635815\ 558168364/145360902975273150081700592741488994938258116053817192824\ 7969159180278201476817505803334246385282574415674090647955436865937\ 549896086046822838891*c_1001_2 + 2126623114729891955024750117538403\ 6210933883038501273223380548137205835922148900337273631128705201388\ 54585981363571197552725486915926137150228434/1453609029752731500817\ 0059274148899493825811605381719282479691591802782014768175058033342\ 46385282574415674090647955436865937549896086046822838891, c_0101_10 - 43326652851360439248903149737439601450078093692022687319378\ 6055324804951237264864009690352927886491125607044703292239003685494\ 4957742453052236/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^40 + 6931711412327267651269422369287607515010061328478464658700974130086\ 3017777686844771407501340398040600936769907695724477960770661531173\ 461691752/145360902975273150081700592741488994938258116053817192824\ 7969159180278201476817505803334246385282574415674090647955436865937\ 549896086046822838891*c_1001_2^39 - 6090793785362465247212842175962009686370744428002218046391253446227\ 8623250512003522001870788525593044932391639208736066759809853837885\ 3890818572/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^38 + 3759627975772940586950693685093066232567836208748613190312687768989\ 1894846322131483973858863423889104385250023199294263719706836225619\ 08468855832/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^37 - 1815859515047417835125714934128550509276865414574808667887940193066\ 0313943808794153393395647793159329070370723520645137496847729592772\ 500548089726/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 + 7251971986396800794041035447927926721667675655980612452834135265211\ 4710215305074666848358577929714384441976639226360616438287162182260\ 488599751278/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^35 - 2480733600792263172953442430732241043281156447094482186217184798990\ 3553209010541972781580313863220767678986905215140703480550115399101\ 7675832378441/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^34 + 7437193756096471187692255661603744765821356201411589715497456745617\ 7740465199241446802167609666616926784976332262274635522985291324496\ 9229279256221/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^33 - 1987250628508423141131214954681051071651472836264746670125007208020\ 4043224889332690257910449075050299553987947578839799437352679284181\ 47776498277471/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 + 4789980052572761862066668905323484348555737926285712998754108818669\ 6697543955856176304306195007851986840384546824200971344765800480164\ 82783170615497/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^31 - 1050890735359197371195340653498883462206819455940137894061087838300\ 6914371518626553771242216114168454111467788992394959473084436777811\ 653052283366621/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 + 2111318998654803878521362286813116195486497725239852385658095988733\ 1003107151493660760201320864190885336300171890451726744642393291082\ 441320138689250/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^29 - 3899690045838220700485270936034147228741014233203844973304704303898\ 0641430125510959123878210376880391549845167639473893406315806445987\ 646837541981256/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^28 + 6636999772030272316441318888774631230419446192318299398328442773603\ 4166932959072012342064115033060190850243561262631171692802237439438\ 064931049584891/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^27 - 1042430904032021536326796497798775521472705383694098210286113441237\ 0595224990630737949336528909605759601875955656608833977259065086814\ 4876286871096821/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 + 1513032600524648254751829179412958427737218613576563359132175843971\ 6794738114700194025914837684491213245066918022849471343227842616093\ 6939345493336823/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 - 2031667138897851701272609623002441948908105125213453466590760183635\ 4470579311536996924070615972665747698735244113595280520436623537689\ 3984392438886341/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^24 + 2524980320666572253750443735154351332581286949087111831809504515447\ 9279644948391162290585416183435770389009731723397116286115905495824\ 9102716962872070/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^23 - 2903162073179007888627577116335562750599723554941757277793467783464\ 2965957594789523043490850459848209498501463435044607152747766876253\ 3831863897923804/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^22 + 3084677392922896967816146548783393563997714038918841093843610029687\ 3078155406706318829738929093450748080799897386075621004916463585538\ 7199827737857674/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^21 - 3022066132583385576722351804820104849505328823655602897630749549997\ 5810816982713661483901113648981889879251199643875364869604199652915\ 1756947573093577/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^20 + 2711082492994019047490403614929905059989781519045932944712874455496\ 5887653969399114828230762901740996762850362482707540652255144845052\ 8282027588229151/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^19 - 2179843536248469356729507660070164740776050131068346862804708648363\ 7716066505891129478671837910807516582729510053067755014529024639869\ 7000089148327090/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^18 + 1481952697069690659725717528884674701318637361047733871194760830066\ 9997917133969904479757048943899332272529236682801262899302567866253\ 0271680729153035/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^17 - 7152184736489743573217956006696152259940426758090009647079420971652\ 1051783059399951016717640625959953295501074990966976104645659306679\ 627281374850683/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^16 + 3718698401177801492363630190486436932091081660692034074649771403559\ 7761697181326727884492659487421153755964267214875616625563284001109\ 74356633739520/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^15 + 3825229997728401122166044193954581194810311682766881012140265300612\ 2245460256318249272386525866276245794389996635630010090985118239299\ 594926315523611/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 - 4693715616759867142051238309601745456625303528268050404328498849372\ 0065710024497691432881938149751028863396042013284309847886262696231\ 500304589999354/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^13 + 3111721389928608408526538901321834434729679718624672704596624301615\ 2566549675480823566674821409914243471469559911839531399081085397172\ 985932772453126/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^12 - 9623294948064449854682091121702951157828300839991044033042059087727\ 1319469383021103729125828265102541580367657338551478146476215934348\ 15663160493495/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^11 - 3045537816144032368931452038670834402381000272821771838247483020457\ 3748748032810424306637157649319861937906914779867592349052219722637\ 44662815460089/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 + 4857242666364183629364863331709098150251905204791686591517161909915\ 6684930676693942953504722863285602129005630051700634355199272354378\ 41055872442561/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^9 - 2042510706586085356857598954653700865372591436362460931424444470219\ 1279031770290814892755051507148366857421575479194201317148290810218\ 27781464317806/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^8 + 2797687627486771967892945733388188165049008460307022072165430143164\ 3142408589020999049159361054720899066200785252985654427552309469817\ 277715888416/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^7 + 2495193657462701896336677776246904548232775538374474701642724414572\ 1877895242558552497632298927024224373569343120037459876063665509863\ 6249334293577/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^6 - 2346776469679669217667837078530962737110826421087592397764943164175\ 3514686486415843722888850049484135990752034592609017097279531256602\ 228938186983/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^5 - 1216728871204833428982852790683952186656171687158243160953400829516\ 6017387931347438318317207521992995985507241014811480028960349933663\ 293315716630/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^4 - 3503077528153761316478043526464918196506593997215585029604983107372\ 1211348825596140456830762091968753929011325754136986133871007055331\ 220496814937/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^3 + 2472740680297491109859831356163518878950651641977796273712676293536\ 1466805556289268447301688101920115673940504601909517407551859846780\ 268493147401/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^2 + 5137966582441905079433898404520371861880991915042396274133129145361\ 1564311433783635240035791047084764975430062161723195273048532085611\ 3043841143/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2 - 336787792744950891192966276088341\ 1414603929105866839361143082720842930681484908468950046457786753849\ 142951926039130564834380582947643982854752481/145360902975273150081\ 7005927414889949382581160538171928247969159180278201476817505803334\ 246385282574415674090647955436865937549896086046822838891, c_0101_11 - 52325787972894859734923021852537064702119178686834503420308\ 7453238017200265328106294842229739232516081870869487448320131407519\ 7406516940236756/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^40 + 9109023651532000199820229873588332552049240207983291037811799400044\ 0706906015438361340921791728552215939641726289297130571906450285909\ 808408892/145360902975273150081700592741488994938258116053817192824\ 7969159180278201476817505803334246385282574415674090647955436865937\ 549896086046822838891*c_1001_2^39 - 8554101152121856662571597338319918208059052175286371650565900554478\ 4671905563633495330342929624181897419382170471296860868657296398648\ 2841979104/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^38 + 5606307833191814520016145290572601855441344010458496122581679472344\ 9996297521605736804048724038159674490396787971649468903774521576834\ 00694204168/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^37 - 2858322008879307249546162381567536452343076708235913196438899220263\ 0753263255157943738948682948393069904798041581017599160652233903876\ 215855597166/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 + 1200476271108782074869186834292784892825650106740629023402613646679\ 3439564259898346823321652753829156214146069094896778020967996251512\ 0688895689292/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 - 4305208938580936089759462792080796076269227371995494457975485134516\ 8438720388313693615166171118828241057245463511104635153894011946312\ 1264721231639/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^34 + 1350198664182674083439882573982164721814436291164070253915347517749\ 9469548620654154838673378791419391211135126232978425127742385040281\ 98426517812934/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 - 3767258347752162935198046798678236051874471068844762932990308915803\ 7954422479522408117996566510307921647383517264484122817967720841833\ 75734107800097/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 + 9469988435858955764240665017163464116340161551881830941185258350995\ 2583842736833912020686626255130736168872731165709415099646321010320\ 31946139076196/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^31 - 2164997159226537183314267803320882654885476082482261170123313762866\ 0915691214254641076422893856639209139800205720529001535811401887733\ 591846623427160/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 + 4531901973782530538653045615330492323775087361304735326506724155575\ 8374509444375876754198608682569654760228499809678958688035566021719\ 282849498289232/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^29 - 8725865952629880671828806310857795027497823069302818423236298298623\ 8533483306153535174981278578845846815387736142274085120913849117130\ 040482101712268/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^28 + 1549888440130683998445857736987715410259679478699210239041759969672\ 9510718334444972572007327591239134367205399214301039784962413044822\ 8468643613969036/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 - 2544275994799095577198468152420688518935725094851730158686164361622\ 9379596720059289409165880828941244906524242261069773533864994133869\ 7940478195199182/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 + 3865638725010091662305250012964986039466208679284844067219602078566\ 2002721406092109187772076431777891941737721563301561332615594270374\ 4928015729713460/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 - 5442506637966701337773451832072938772075933962424961552018667481194\ 8193211393986084236475511777981898102842366046994198313836311008940\ 4841951015410650/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^24 + 7106592812031595600560235537678332097897160479183648481642662754031\ 6439703987422568058510640653982536498113566423541987867224890579860\ 1364542804678662/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^23 - 8608027442483790237122992629381768127597321620517126118048607784689\ 6088671382780775860845536407765143359496534444430698730159431514748\ 6685207204401494/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^22 + 9668232973281255974232639971579045056823818197441081579150827683616\ 7522159221284962712510308007392526224967930541516058321438311502369\ 2934823896877532/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^21 - 1005826883088973683805644764091326663616594278390353626976471225885\ 6781808000763452149543784298417310960852845632344664215141980286154\ 84609913276278666/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^20 + 9662927875042835389347994126958134256439531016489269348405592986720\ 0510457542433933201271117540503711812964208264126823390308614210486\ 1849225259488992/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^19 - 8492150849959500849975942655387465361943509304228045851923572821672\ 5363915369673933068087286244930463917348253681442524399142966678340\ 3811903412660046/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^18 + 6656362502894210396866025627351643683768963600285165371613899157425\ 4302337148198283115731858665706472366633365981907522225085890068324\ 1781160688567584/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^17 - 4372187578901905679369139435541724297643563215147656020902967325169\ 8803465471109728160240679296489359310528310164776347990343453078595\ 8205330936998130/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^16 + 2011136008460676732325666397611099839280523415735912955303256768672\ 1540723474601044611860425465719277602424096769070324389955591133819\ 3820337731676630/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 - 7840839771391845855479523007815690720424886327698336891840906590145\ 5105713656159231340599011794775112787856916430060637977277487578322\ 10091596754322/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^14 - 9894384489585712188271852706279350703832928405755132172501708174644\ 2886162451410085861551350698565652489496158597151024088581309897407\ 955717625299606/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^13 + 1107880838751023108428411951276546861552236119697558534640087873886\ 4972802397748343519632233725520866962546277489094192940703994847140\ 7732206366247516/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^12 - 6287664739822293916009994579109887721056187418602536385487711412562\ 8962937473418184696844853028234485680686001327494999972890957502983\ 259662628046496/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^11 + 8621665358473458677212715525690782687762294275094912295503983282787\ 0688123626318053064029429341726147162689931723843353315678777148999\ 64713070873324/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 + 1778722542133137287521019402186302937205042397756586330845907573947\ 3393598443221186073790300896675728054243759676155258062279740043681\ 104503839470906/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 - 1627508016261701574694060530326313008072617491633838061943850345761\ 9098565189086962619262449759007309262590329457500539004132908788990\ 468701282708128/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^8 + 5265571576120959214837581490069570776060006606476490913227629777648\ 0175350210712863198429779150981324283645545065087983195294425061066\ 56906073077560/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 + 1328199958250702522986370969263145413370817758827656839412506199146\ 4969653523592539115642867476633749298332078139616477928960469023220\ 81999457727494/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 - 1894429537333996327450156761300953519737913669627914020034892626157\ 0844705727370296417495350287788428027399898645100182718642713877358\ 93618142134080/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^5 + 5466530380515856253771118748976393356042403977825543286188203430572\ 9988467151149490269938049885280306078808838606419826368573781227938\ 0753225591712/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 + 1186471241370817414058370707962639525994847167508411657205234837619\ 4798395342108010279489518256225002871985375245301307475818806827231\ 4791991611812/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 - 1032987248839904204003241548693574543438867549498770663254309934646\ 9350802282087026852287690312148625385817252624514701622670649239687\ 5278484568376/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^2 + 5461388356136709393382848907507118481174417311890445719101603598722\ 6622817255741243068140752586294898425498273902017183827414255380764\ 34479135151/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2 + 5741378148517208114621020284932620750371604431207797169083557004588\ 2902896376149013267823207235185867512093680807680831067422164925881\ 60670232516/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891, c_0101_12 - 16932156525249531584531820607447643954085789144581151022187\ 6076875304196429376116916511635717247565696214573414147385917020028\ 56255392062338028/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^40 + 2810122854424915586826027499969852385625693916621969582819584242371\ 0448771789574530504551253284943371637725916388785460768794501312797\ 8708600220/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^39 - 2544666069288000872563379252620687826321416372532488285291885189699\ 1475526136650519686366096199856178652907250262248081684794384401309\ 07365668224/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^38 + 1615327974736889344121077248287811925570476841347358942172935285897\ 7440197087509422925919166094009139938192632428835384129323728319268\ 453980295456/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^37 - 8006731133963813820918958866859552198518154067917711219526778163157\ 8910396895517484352866487728330698447015192257149560062967696569957\ 705127664070/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 + 3277381319042692651984520110082165885021747192700835127616806091034\ 0207233247253924214971202899425594131174270552115597236043898937416\ 0179456784448/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 - 1147794537663118994135318223070075209503012357938036463790346132742\ 2568088304736661408629210769220760419372611128028339478804455937020\ 63033122770081/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^34 + 3520320465534409384482599210039457676075051124290652689813762229593\ 2281351300924942990316745988168404160534291228187691628824015236342\ 22032518335368/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 - 9616883573442655672568087025834702138892999619655443542956848898082\ 2030086427632102756515778965855833676727439414251541480842775978413\ 55804511216723/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 + 2368900841727796071680299634464062368587301556496573086868920795766\ 5146593496072273848671570942800830535798158693283408545438671504635\ 853462997358348/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^31 - 5310085997019350120520196905861877461745444083143551498680032684758\ 2646593107227720323256139043822622287090457127456893743280952462610\ 435480415525457/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 + 1090124513937420621939831870233673044602258483662697285140517724280\ 8981109213274562263931554512131864176316170519092541302526057755040\ 2271407608735797/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^29 - 2058360634212906359549562852061220903507531302683435644324726490000\ 8337268170215784456053036541403481228040507384925423989591879032333\ 7461513264064159/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^28 + 3583974376366809556515626864901451302125244560582337990887436358694\ 9012901260597321458516895273537106683782850052191201188760973654393\ 7677332690309484/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 - 5764232647258687293174644465566285426984007364163577437713949469192\ 6553682915618748990729360189314342116864456008513843213228321557094\ 3356795543033903/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 + 8575243164347190561503052050307632554684322671389552282400715828341\ 2352858969385429137887574004783176714342217518058133479531528583834\ 9151139428570498/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 - 1181342933423315418497218005285368353330696467246394600471940680635\ 2779593048249981647312542287240056126728107409735821463321659337345\ 94233068795940722/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^24 + 1508072906509352974273922435741634754678602820513161129653942078746\ 5717558178354281468751417213972028536401236302357331260684746155239\ 88454657278765228/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^23 - 1783879394336133951274488839218193300683533477242640235438872561432\ 9134186404675267526608240279297047357992211201479221439879859322821\ 12153980450600864/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^22 + 1953934796796496675649789637118173400282131950866719028711090101478\ 0928338257103874657091726474387810134822367016531904880793307639221\ 59947953384728862/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^21 - 1978845461840126247858411745273938821863482836325417926831263341012\ 3291044271331318763222741355031571167020487918212608160183258527571\ 08121818520949653/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^20 + 1844944044298190534934745386680593034170643403093969341810257895997\ 8867031012731246918158224983200152477411671816966590102848113839798\ 60985085202945102/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^19 - 1562474832513417353458714801689859108515337051194891470701389657481\ 9269409056799737546315179645998559550262908762396712101902453205538\ 08346216321405330/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^18 + 1159726974803487996904746338394752545659326123081881845379795543674\ 1986588282871594427348968169164907438856219218512758669180787353568\ 37981592199511896/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^17 - 6878046320021317782595974274441952423014984691054850374939075794359\ 6612948550800178278875135358247899376703360276764880892144350043209\ 2991015298460289/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^16 + 2314644194097975497440446785950255257394648703577398459801886241888\ 7376408690325251273155010117873497997856049633213998914211136405190\ 6104409169522773/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 + 1039872505867332066188486838367019467383184545268893260117548252811\ 0445163638842716981405150614761376690070102292578832875301517171353\ 0815150789533406/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^14 - 2452471958350116982686161851430856410876254040893793844825063146446\ 5244387598286210222387731549932617237937543776405508824229151010913\ 7781211141380739/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^13 + 2059114082167904568828957433233346087771236109460718554998347546327\ 0885045405420368141751667914449339790350089907065505659814489789053\ 4237908267114728/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^12 - 8249678243936100800818797890543723283152236081511887313149969621049\ 2872456117079253950662518778486730198698191047139985765502763979232\ 762067785514144/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^11 - 1711938103483063808411518268437362425037946521318479765720217800687\ 3401333472492215435158648935034615002795904640101968889638870322584\ 347696601345203/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^10 + 4615714967181779135016253931728436101141415484359791624285928106532\ 6615895409718107016215068296325647321971323809416595186265950307012\ 500945882585569/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 - 2699607748697533215891606956687144153548102463228446575933942027966\ 0325484415086793536862472496612213871877385790592629278072396042640\ 969476480422841/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^8 + 2788597103847930961761806850459260033190673220695449236208474471223\ 0768446025926485110976753088001681919180430217882924425544993935486\ 96890282318926/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 + 5822581680869341273343544388750477466681257947806499185032970634501\ 8976290893541332794286224473199270273071662176008166805765094549746\ 53046418355842/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 - 3478525806721938152424303241577901218128807292758592720229668097234\ 0704864484454602538250956403316947506595780008797689151256407784908\ 02398835770266/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^5 + 2434766427433815999318348493725404586096270399961325572069878624516\ 1732584593913149204433638783092753574782785964239187427630124834137\ 5772577092672/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 + 5163449743388776058243112014713123178404802391859225522283876360468\ 9927927168401067392497693525090134226311467791948802373420771073252\ 7431771191392/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 - 1776049184240274371150905330650528553761157953991075908069939350346\ 0896901361951900452105531584930679386631592220201488970915718846845\ 3063826376723/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^2 - 2190927291036521160109621760549351840370788687965595500070666856716\ 4498917815702113046667989504161452803210724188105527240228866305076\ 026470642309/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2 + 1309862317288053890547061310762833091214976078473909500718493513282\ 0557446865959256070882244455478604619097106290968061099087039539454\ 651531321273/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891, c_0101_8 - 213639696139874044883316158657031552688979831221425456359312\ 6949977782860909660291217742736059024482021593913423082708232628094\ 375121824384040/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^40 + 3389524403773636841886829074715990498263411214533546135774275386415\ 9714639071208070401128605646768725656556609419106002376766971163323\ 224808412/145360902975273150081700592741488994938258116053817192824\ 7969159180278201476817505803334246385282574415674090647955436865937\ 549896086046822838891*c_1001_2^39 - 2952403539429862569214585725400897881762473737447940254203418219791\ 2504705908029478775624055060592921805035349956449755659112679006870\ 6353896828/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^38 + 1805498093664128026114767382639521662121277389371574839045991783175\ 2230396769921041003975760431690594150562955608498164358724111760257\ 74193998336/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^37 - 8635559358990472139320585300856571118812855414054877657739984124495\ 7733621053230759354089714609042379895151596814714578303908593355619\ 97374680540/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^36 + 3413604408232385565449053869300926796234176991370486117509816728165\ 6122443888473254354090311253126421782610195110601781593473171527891\ 861731195182/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^35 - 1155246037530442626206124426518853968097023627873919946600843939640\ 5394928799986915162056100874628649949182768940966081390636899918386\ 7725193103930/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^34 + 3424491873760390890287723954436284809640123271466114072004580249311\ 8859367333600597451861403984700104374000223763372804891287314086083\ 0819637091623/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^33 - 9041993863292970412880579245791088338320796697504672133269544018690\ 6063403823310506380892914900546977989213381139832164360907911939232\ 9092226899880/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^32 + 2152065691852529467816533403878378620241278995784634668202492848348\ 8681010264614370230041484594671420700554987042699422936363979201043\ 81884765967837/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^31 - 4658122875020146876823313954763519176105424510388295048416597255812\ 9228952444756352012289165235267695708136984376771682975271191437460\ 74788344060046/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^30 + 9222462202162726770718290415091074861957803154511896128501813860286\ 2626273503787442265801616498210566539747380599495630018198836775057\ 86079265068990/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^29 - 1676145557110379642617829019996163949306459518108001716387895315544\ 8536953347558342705898724511867456587303883528325693702512917209854\ 807986935176798/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^28 + 2801523353105041659730021974629165686153331671054302779842668692658\ 5913215737789927141289002542445606380243509982917984245347296508456\ 378702702741694/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^27 - 4310784447420669674449337649160707764002512201616861843793629717675\ 2167783216848068944926214391150444298332626626907747540082879033996\ 378687778438436/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^26 + 6112100571710732458809208389108135324280610279075767114147378166173\ 2515047984551440187611417937381431056914633932574970848379289738499\ 953449702938225/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^25 - 7989621513471483425861638382530049089907671831303387840100825495237\ 4834209059519359330725351677563274820385808358509371972188394772536\ 193447738728660/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^24 + 9624616639949621400861155330345522673736163292976877661226641054236\ 3783106141493632519609138627651756539516174964380143299117021638634\ 696305242164225/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^23 - 1066587638298830068975532077077972361325810621525180492697879601525\ 8603441872065817495292614181835101785527462770363782701595680228050\ 8861247737019365/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^22 + 1084156005090025812887251162802101431491254736551451691102437363606\ 5642426050346369590075543160736089510729531467394979963546973972293\ 4094924700509437/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^21 - 1005706705826389172051822605601975177210892410989731765564519797592\ 9918125089306688683052527112707996060904728027639209441136512181264\ 6606849593301342/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^20 + 8399084317398013010740387187594204036064753611061141344474562972751\ 1156548901873174162465322907787752410468184640251529709279663273473\ 777719590949067/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^19 - 6053191924030490178311092040335098721891170147995516866783159319245\ 9490981478038194229968530402677908354244695563424265674563231419643\ 404057591176982/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^18 + 3270734042099093602274904641887238462495024317970747539083556849836\ 2930687340699062770200490090767426396275725512736691389115173420592\ 779821226604265/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^17 - 4732163631056491733035495051437844024542497387143542357301876411546\ 2538146089752011846730891836524313009325989234972831768218920801785\ 22083244344596/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^16 - 1683306766806478991625053828939040797719134700806795067639740389166\ 5348411696769742374651325519465200808315422484405847144314014544355\ 975690706780751/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^15 + 2570130588619159192384108188958134037595984074007811161073396782762\ 7040626179353172419067234906428655925706727968674584770134957636647\ 835941370030347/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 - 2084555771444609617538114109196681251806078919170572990339528514932\ 4002144271372551470899048232421533139751386868409936525069383642253\ 833728424615639/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^13 + 8570750881291890110202447064844743846264954198262070668724801784439\ 8375068255549253324771246425022343804539222997822096532676327916377\ 71658380018543/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^12 + 1856346065921054892065772685134705982605617038516409284322964625262\ 0670854684481055215744512240219536786995544855412352806105428205630\ 24624132717790/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^11 - 5318665150055378144068618421385344581670081033898261308493623711626\ 1207583087946863248203126871284797690065532119005976638080603244166\ 76604940464430/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 + 3361358250161617996604172094374986212392553059992534081624774778929\ 5825919289325764399554345988079979207014807767992202538662816503666\ 12111741684952/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^9 - 4860569221394827067316036626016027939980051994324642899240840243726\ 1582026052522752707556224806179374043395665490644361203377458583233\ 7568951655009/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^8 - 6861154466141069886651040604128483461175835290793793313922396161526\ 5843907877778795822633505694854677093028257460868864284719350376579\ 4779945635490/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^7 + 4580317154006608881237981422758659297468049895366857249188262428361\ 3726403838351841124665596046296674381585668016819743753683191007422\ 5095280126142/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^6 - 4105118732939107607393805702086100764016117478261442673233056821016\ 6479786136222234510864696596340152809746712296103074312236306476626\ 515143865645/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^5 - 6625854521861940783923214131750384341972299504958246089611036794375\ 7701862856430100555291141070290518602942299369687263201667191838267\ 186341210740/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^4 + 1751844437062523209387809899540081732446767936961492314334785181811\ 9158297324307163077915970820403729976671536820306655484414743713139\ 818713308890/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^3 + 7691746326744159200803906715213713181039570258001233982429613499236\ 3096622042424571103725215267636221672014037039627012195619381261295\ 57368930332/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^2 - 2423923191035674007426900699481770848257248502462489652235982551059\ 2612399554347074174825841767844347921480555303457334736185413368564\ 20560129212/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2 - 2386316200369582375592008791936363127697855520630996951714972544577\ 0438609497648552738905208954645343316089155093320675001714538337976\ 91420040648/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891, c_0110_4 + 162179429897153574737396543521057226947456237703124574984103\ 8687604889862098416162947277748802962267293083930326260162274840220\ 5322898203799000/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^40 - 2712996710717222331893917006402008865772937148102654847334737104675\ 7171861820810371802223639044248833573099218655657281648696050576058\ 7076940116/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^39 + 2472798975608333446420576286116444708576089153458019140822129703184\ 6519090577625581021185774213012586001664879163989782764802426465858\ 66832631860/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^38 - 1579493163427054694702171358802026720767803263531996944982567142340\ 2351613974518776131976793621036298438994758681444004314215733120455\ 872675699200/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^37 + 7876047341361125632919626409101330994925773315874509727801537583887\ 0659638301724452943588127430411585979461198616009977927841457959021\ 901070011124/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^36 - 3243110236754893170319676849923534716255958368805547016791718270475\ 4730611123218320772521578435458640236845127831052503067295863161326\ 5033157602798/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 + 1142601632171706841280477902060992661177521179171677526438109381492\ 1494946880655925678286503190532795256108669647956558170719168523609\ 96112107442262/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^34 - 3525879593321365742603792689837320471787802441680388538319267588117\ 2845574628940710162102604458997401764255388254839446526292295398708\ 42505513254149/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 + 9692912745225152732934742033997720955237512222529170651747750412300\ 7185484127868801472111790272141921692098498794894136208248737584932\ 59940373584692/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^32 - 2403341206611375079313076202022162902324577616880619314860775382040\ 6149102536972485168298506791864495276778848799194013083134344183856\ 490716452090325/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^31 + 5424554670340378645691973694711382275686016936581733728882244609332\ 7475774295476594088453935286704304898823008634125509138178119908378\ 397533258839552/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 - 1121838429699332114758148314633744267891674372008608732225170593198\ 1829825555667697080428116744864389443462232050598412661568533924007\ 7122849920381411/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^29 + 2135152926901351639086063714451004543790758139102353932975188245485\ 2253676538232393027206926091725335155309511373442034326735535434499\ 8334176730343359/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^28 - 3750315494018610688953718727066345043793523481098233213221500076904\ 3147053475811830171377822534955109113576728907285265481819442740592\ 8465539453165362/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 + 6090646883890663511482348163142103026579720268480475078099333862771\ 8832935040645250334905055788719995068043689082633814631290307609865\ 7898379923919021/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 - 9159871492353641293119807167716617019884496513630431452877346046483\ 0705083874044123681598240261891267339536638716362133020450438771817\ 1343251584996692/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^25 + 1277397890075344709692226189239976153790682065334960209152792097888\ 8599672453068580205414202249504455449595696543948685494925212159537\ 42908097199751080/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^24 - 1653391251166650864338736608478721810482276685326955252052669632396\ 7305637934354363783384788569019095164225579939462859781769647408107\ 80040522321077679/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^23 + 1986889907563940274735251073658616059394205898786746149260978479801\ 4398636095612090074486305347575856120202660452406598163768614847311\ 00327202756073159/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^22 - 2216315749629791207905369736116175325732567903099317171333263649233\ 2152888137546092175550761452943203054286860903179017434968203035396\ 77894512066898151/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^21 + 2292930043992296154631878248717961921409510824708243497185596750164\ 1608537610379412236528517162517207418637922504627025226964340477722\ 50574594246233474/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^20 - 2193404824892243628125429770170452874179455837591842732391125398014\ 1448798749360825137111358326724219791474978486493055674412702621086\ 81355706013997318/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^19 + 1920743664284954975458272963597548633291460850001306554586807746512\ 9774200921048052717988745079796489995918670281253220698364958583457\ 40902515851333872/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^18 - 1499988241845917136252026092340389058331916733520369353983184528116\ 3673536658993714346137180499135150822208859910316605711450367726605\ 25560340090327970/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^17 + 9827481810060646743231268011513296752087900150943431909185658669831\ 7969127341320496368463599568473957920934891436034074607586664585926\ 3764667511264448/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^16 - 4577101371496044582663210176024791972600302834837294269279284845466\ 8260649436702277805304669119165926168140203178834356693711251679571\ 9150198267418997/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 + 3908880548873850601838382489062022742793353900040113832621003768620\ 2705107428996385950513656862791535204690120907177058432427243459973\ 304721872965410/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 + 1843110462241908318491760620421177831987063650228076312424810877802\ 8599670484116333259088883047118482538045090953947315847355266787027\ 1607849462547512/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^13 - 2072618298624777525568378115887320825823398780547606463199920267762\ 9119035749036630413574814072075963051004006553915261969827412369685\ 1348448922728314/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^12 + 1136403854137211954636098465376586434256717083370981963738422508196\ 6984239657251758415020928010676796879196006988602742524819501287603\ 3940409589669829/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^11 - 1342335964896356835349243394528685830177218502868027427075710285744\ 2206446580343094183142232645785652419018297971438027046271547903380\ 527505470566723/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^10 - 3144236025962642981686672388673578956905206989180206813766743809637\ 6851169955107968895490174088819914676688722316898922178624164349215\ 113086022280279/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 + 2658728462032456384631824929187142924809151022403756716163543792461\ 1143435861538019701172116017584567610486822983101090297845306045113\ 866292762199369/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^8 - 7614173885151623384730702155922862374932697983220451838629127471722\ 7837935553174490919706881622174280298014148595837000350038534346847\ 10090861073870/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 - 2429029424909896541334503515218455217864571768072352718016893433485\ 4734975712230951601128035457717118936372400735359570685791548482836\ 26291239792343/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 + 2727171179387709479694872667784499235366837469884174046465851924647\ 4440131175622663080123993740795904512799010957722952163014514440304\ 53648980955155/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^5 - 6083023039012228550922703288690649416839579892576256189661666696434\ 8767209538617928280185011011611785307680262954268505215373254342867\ 1386326077024/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 - 2186367229444354043510648972616331067200268168407390173941880247525\ 4213373494383544111664073142720910744521364262170504591144773807038\ 6066241232514/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 + 1248500381032831107564937589727942814588321971839774492483802968935\ 0100627593204685125014837326623642926046305394280510240800015671919\ 2877247277005/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^2 + 1503059330064890966021231190353308292306297938576725401069462355067\ 6433603739389425254607877087392670651285729779345656635275573122226\ 84648324165/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2 - 5283542148816272924174107581067986022657152599428568070121757867873\ 9876494361146925315922989253657201740077837736420039230291305891093\ 59626276065/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891, c_0110_9 + 233561960964645810845172981783411667460481708427931978364320\ 1587380991596519138914246982480032356494118905373578316368482651691\ 0201929620827864/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^40 - 3892222889870430694307200828024297566380648514365477408237805879319\ 1403178513111981099336150266183575959046695518785299008928017537095\ 3529451324/14536090297527315008170059274148899493825811605381719282\ 4796915918027820147681750580333424638528257441567409064795543686593\ 7549896086046822838891*c_1001_2^39 + 3536610484275604442732783306137890645028693762450003435723969890226\ 5019547544887318967574170241794753137077522724876262771639608815257\ 35459205576/1453609029752731500817005927414889949382581160538171928\ 2479691591802782014768175058033342463852825744156740906479554368659\ 37549896086046822838891*c_1001_2^38 - 2252468738405804985789473050142415839359528126026668614927742675154\ 3991101651274346825936445649560480296340350831619044426185914602574\ 938875944676/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2^37 + 1120133218823799273256134370574216043733102143192446800120142308125\ 2952740515634607223036384630667205975175239219363175588840495198433\ 4082226490984/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^36 - 4600234073940805059615069592439578555889045833711918566192828127125\ 8605280083850586429869236560438275406999487473406062723161698339649\ 9316845728594/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^35 + 1616561197499714707928679968865056288112485199852173177438583458266\ 2853627292451747443969113071401438588920561628887570347792056860665\ 37438479166536/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^34 - 4975601432948763177982531220910168862007944225471466251426068151401\ 7849853952005656034516583046310512654092759982878302806304672848923\ 05227558123871/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^33 + 1364284851764376110541529375941783475060179523673009641846722311842\ 4871134777293146508893225113991629357396431350461483896559891599900\ 444689466304303/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^32 - 3373774286569841788546697377200280930680012818559921197858577829321\ 4145485476719733678579364553702766738967308571390833291323732049327\ 907606465477775/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^31 + 7594140787832793304110105309887913372801044296232632067831869329015\ 1260035956451051226334338024264303032380675492988221847032037899422\ 010497845605752/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^30 - 1566038079514936635966811954051948055647356312548600913380456099359\ 4483622287786294114459357180546652608300595225802274665243830100544\ 7078249597634878/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^29 + 2971516585018029594629197205084722336486597983155308405746649007607\ 0542312649457217129998572841005160627926900555658183634906931202402\ 2197021691834281/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^28 - 5202185523640121978447648840514551526482495689757291653327312903903\ 9653476578462951708241396200368561864677936121761840071920474331004\ 8011759913127354/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^27 + 8418128643972725778131281721631142263722540676270159221881297521029\ 3337586787456910376773667923731961072349599209962756886524105713682\ 2362680250271200/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^26 - 1261005980488742208518726639100479346627906696098515445099621514423\ 0874060289051570800963476509078515671551260516391596081982400991684\ 75495295719787853/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^25 + 1750835734637154852653830352074929517552572931608184136311472942294\ 9002813439704212618554037214542174113768234412220145505582741065955\ 51339814506589607/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^24 - 2255112748444121279195745653669808250818777919992085234378417725655\ 6915367338437159926702908801193753077184731908099870814573815935548\ 62983758629522802/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^23 + 2695098451571416018831865275435377677369469722050393169503848273335\ 5808374916386040179512044217653811723170716308579763493316147117224\ 19547140568390407/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^22 - 2987553725165931128626463074861939538815037086007319007123318434038\ 0842954807185633849142003213509865802377721925823809577593022085176\ 68596365394157118/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^21 + 3068678735316926621152707857579043168122991884080688895113558788187\ 0280083368395147944533377634904551899332620373472512259540540353765\ 14697431170676553/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^20 - 2910603577983717109088310224521065971021503236727381560366728222234\ 4651810846092626653518071801408559882092429253705092508747769398623\ 38130274385986385/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^19 + 2521286725611625546416661559425277022188601727950453177699060944858\ 5998589398964939567679554618518417077863775617506417248463058581929\ 13317061699647530/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^18 - 1937734808895014027003368635429612311357414286984718641062032623018\ 0227316750661003853862980522859782348799619090844613645146176973097\ 61526616595090355/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^17 + 1232521253159834108395684298385834329447928080187757873701227031987\ 2083238271456102846111596117479274333320167317256847168238858938900\ 32698383260872309/1453609029752731500817005927414889949382581160538\ 1719282479691591802782014768175058033342463852825744156740906479554\ 36865937549896086046822838891*c_1001_2^16 - 5286109491240309006911036383846022965701330228130823537436489410520\ 2037043411444687248762547384820554846627165867986154722206122291489\ 6314004062720571/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^15 - 1786332340999783105407119499734476167561411207687792128361255824776\ 5295986459421208363582071501660807508690271730031444749429989186614\ 969550114168133/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^14 + 2900635047950824376274554260312804673341072465737189105070450780830\ 9792223838739003537942488055003779779847801664152454307946731608058\ 9566830722440938/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^13 - 2903889211118050752456329638654653207410645736648934751861497275122\ 0552508792039831554247781514792269219005284918832652449381005645452\ 6089519889940419/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^12 + 1433110574068762067365848168677306401814331078981169366600827609228\ 3786051780979873653099354559373916023396004547469049446239566414216\ 5046921473173424/14536090297527315008170059274148899493825811605381\ 7192824796915918027820147681750580333424638528257441567409064795543\ 6865937549896086046822838891*c_1001_2^11 - 2503365716945563246926108680958182457777106641909355069968446861671\ 5729839924032680606552144809875636054514786192706660154749034511256\ 24859936176946/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^10 - 5248879416159641567698948223140669408360593188308679505678132579107\ 5851802085309976725517465597252192493397647731123367454789187585127\ 572086440538905/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^9 + 3806242390486199645179234757742492202061987198836919369931527261380\ 8939057625156227805914444414401260168146931682895695834831719612193\ 768064845304757/145360902975273150081700592741488994938258116053817\ 1928247969159180278201476817505803334246385282574415674090647955436\ 865937549896086046822838891*c_1001_2^8 - 8333832995619219352740595566172328530624987480439199093775684986517\ 7188996030641802241305063797502813163766181765582563571184221825897\ 66539071697427/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^7 - 5257301600626703602317404846902446025115921830433073419230942482220\ 1715727887188259469443997103174341043858519894196172066373829349130\ 68411431794867/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^6 + 4304478718936772982942201742714048399843529177360511309765511936552\ 0162803836405833014097312228656694238337683237066982960337855958635\ 27695935952193/1453609029752731500817005927414889949382581160538171\ 9282479691591802782014768175058033342463852825744156740906479554368\ 65937549896086046822838891*c_1001_2^5 - 6675591007655585713654952748072516045693243573148971932080327601810\ 9589970151349622327839970115441093941214880243964838638328373199505\ 3700702219943/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^4 - 4897297913240906445228722641788363889667886480838570903918373327502\ 6855818257844630434813920815726869819521971605782945539452053339593\ 1526477318541/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^3 + 2149765051977817781677871674623509143629135744716389916286913673459\ 7243233890213581121539099992918419195009677232857878198866287039918\ 1625466970627/14536090297527315008170059274148899493825811605381719\ 2824796915918027820147681750580333424638528257441567409064795543686\ 5937549896086046822838891*c_1001_2^2 + 1444356187648894730113467540897672128967258930417548954422017346775\ 4814879681465077943755716132055735757136514506379625087062440644335\ 496733747605/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891*c_1001_2 - 1263750591390114031512662546294257978870827517801140745706211740137\ 9045041424067365176336810454419364515236880483730686694174267949710\ 317413502655/145360902975273150081700592741488994938258116053817192\ 8247969159180278201476817505803334246385282574415674090647955436865\ 937549896086046822838891, c_1001_2^41 - 17*c_1001_2^40 + 157*c_1001_2^39 - 1015*c_1001_2^38 + 10235/2*c_1001_2^37 - 21292*c_1001_2^36 + 303013/4*c_1001_2^35 - 235959*c_1001_2^34 + 1309033/2*c_1001_2^33 - 1637011*c_1001_2^32 + 14905007/4*c_1001_2^31 - 15541437/2*c_1001_2^30 + 29827051/2*c_1001_2^29 - 52833371/2*c_1001_2^28 + 43269748*c_1001_2^27 - 65638004*c_1001_2^26 + 369324325/4*c_1001_2^25 - 241090709/2*c_1001_2^24 + 584458721/4*c_1001_2^23 - 657545403/4*c_1001_2^22 + 686018361/4*c_1001_2^21 - 330896925/2*c_1001_2^20 + 584969111/4*c_1001_2^19 - 231283409/2*c_1001_2^18 + 309225285/4*c_1001_2^17 - 75061053/2*c_1001_2^16 + 18861757/4*c_1001_2^15 + 55989631/4*c_1001_2^14 - 68755793/4*c_1001_2^13 + 41513677/4*c_1001_2^12 - 4004913/2*c_1001_2^11 - 2382871*c_1001_2^10 + 2467946*c_1001_2^9 - 3653659/4*c_1001_2^8 - 122709*c_1001_2^7 + 549021/2*c_1001_2^6 - 386503/4*c_1001_2^5 - 10012*c_1001_2^4 + 32787/2*c_1001_2^3 - 5583/2*c_1001_2^2 - 634*c_1001_2 + 713/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 34.270 Total time: 34.469 seconds, Total memory usage: 356.72MB