Magma V2.19-8 Tue Aug 20 2013 23:57:49 on localhost [Seed = 2017333415] Type ? for help. Type -D to quit. Loading file "K13a4571__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4571 geometric_solution 10.93137975 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.092565391845 0.438518396770 0 5 6 6 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.405378503111 0.365204427587 3 0 7 7 1230 0132 2310 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 -1 0 0 1 -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.861333825055 0.571689952605 8 2 6 0 0132 3012 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.262482303723 1.329322736906 9 10 0 9 0132 0132 0132 2103 0 0 0 0 0 -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 0 0 0 5 1 -6 1 0 -1 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282830164775 0.703177690165 8 1 8 6 2310 0132 1230 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.626495085609 1.115189392580 5 3 1 1 3201 0213 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.292468322162 1.081653189761 10 2 2 10 0321 3201 0132 2103 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -1 -5 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.983304772133 0.838048687379 3 11 5 5 0132 0132 3201 3012 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 -1 1 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270038696176 0.806265936427 4 12 12 4 0132 0132 3120 2103 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 -1 0 1 0 0 -6 0 6 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282830164775 0.703177690165 7 4 11 7 0321 0132 1302 2103 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 -5 0 0 5 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.103864522043 0.774510379097 10 8 12 12 2031 0132 1302 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -5 0 0 5 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507652023219 1.224084826124 11 9 9 11 2031 0132 3120 1023 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 1 0 -1 0 5 -5 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282830164775 0.703177690165 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_5']), 'c_1001_10' : d['c_0110_11'], 'c_1001_12' : negation(d['c_0110_11']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0110_6']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_11'], 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_12' : d['c_0110_11'], 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : d['c_1001_2'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_12']), 'c_1100_8' : negation(d['c_0011_0']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0110_6'], 'c_1100_1' : d['c_0110_6'], 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_7'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0110_11'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_11']), 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0101_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_7']), 'c_0110_12' : negation(d['c_0101_5']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_12'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_0101_5, c_0110_11, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 9134597145312015650102492624806607641021984536137926007343720097512\ 0924164417279515576391564651384783840129985652681835155393659937810\ 5044484902069465484246267375160292412107832796233209410313004369880\ 639918563259538612791/677493160410341228920038223001315544248396611\ 8317106923786279279867955328677391877655911179534264959762386776348\ 7555499733172924371393496702188697740606548779286829746246395178783\ 4524025151959117540131821004998536187688*c_1001_2^41 - 3669176477697628773692566644817517409225994340591352820392819062125\ 0600960266631137766797753306401155751671039367176342083231236525395\ 9295658006841837695423093799472581293774999757297163443284708839410\ 8477299071767333012001/67749316041034122892003822300131554424839661\ 1831710692378627927986795532867739187765591117953426495976238677634\ 8755549973317292437139349670218869774060654877928682974624639517878\ 34524025151959117540131821004998536187688*c_1001_2^40 + 3209236587943296602877568858717503850400156538404014210826946000038\ 0751431158441599199776913088189914024677199277268913436508769586752\ 0129166299876247113910038460028591647302451412293367940669620996453\ 2678573407180720935113/16937329010258530723000955575032888606209915\ 2957927673094656981996698883216934796941397779488356623994059669408\ 7188887493329323109284837417554717443515163719482170743656159879469\ 58631006287989779385032955251249634046922*c_1001_2^39 - 7361124347301259497370755955679706898024268238356191072144340321993\ 3925422159357832650357402259952533650638346277586085118147511816315\ 8376280468845169517323461309212704512045788907018567425677024489375\ 1035101520861905116797/22583105347011374297334607433377184808279887\ 0610570230792875975995598510955913062588530372651142165325412892544\ 9585183324439097479046449890072956591353551625976227658208213172626\ 11508008383986372513377273668332845395896*c_1001_2^38 + 1452794985765410127437634528019761040351810307209473888532380897944\ 8795641999775001205877681190305436426292985438761113122787548208603\ 0439137360308814847623380535547836402612618468721975339214348341282\ 1946245702429215038995/40326973833948882673811798988173544300499798\ 3233161126415849957134997340992701897479518522591325295223951593830\ 2830684507926959784011517660844565341702770760671835103943237808260\ 919785863999756652024594172648800810641*c_1001_2^37 - 6157608998893875135620443689881472487863340570892496808121151555334\ 5813008787562652312571240480266788395871770273726341390849506718122\ 1319212311044760602665399536254489812810168753549961634236026812703\ 199915330027422392388197/677493160410341228920038223001315544248396\ 6118317106923786279279867955328677391877655911179534264959762386776\ 3487555499733172924371393496702188697740606548779286829746246395178\ 7834524025151959117540131821004998536187688*c_1001_2^36 + 1292061521930536665776031889433984897282610215323619443939115246346\ 4752752865521895412661609415769554325992056758779510744818249040025\ 6969638251127098580245758534083159600948260457115265669525124251452\ 6685194120688896666077431/22583105347011374297334607433377184808279\ 8870610570230792875975995598510955913062588530372651142165325412892\ 5449585183324439097479046449890072956591353551625976227658208213172\ 62611508008383986372513377273668332845395896*c_1001_2^35 - 1460745595564939129484840885374679572167679690193066642083084416205\ 5878509734405097896530791936460230163534259820627937834314280255814\ 4860516354245232906074067032015250384229671970234116541216305553761\ 3046823320124699863365935/11291552673505687148667303716688592404139\ 9435305285115396437987997799255477956531294265186325571082662706446\ 2724792591662219548739523224945036478295676775812988113829104106586\ 31305754004191993186256688636834166422697948*c_1001_2^34 + 2015694774319013365751782037229996197422293448642495031972651582671\ 2410826148806076353580980553968393504472152835745919252803715515638\ 4078599785682067228540858059313846166068294131114346956459963130006\ 37616816732261596272798903/3387465802051706144600191115006577721241\ 9830591585534618931396399339776643386959388279555897671324798811933\ 8817437777498665864621856967483510943488703032743896434148731231975\ 893917262012575979558770065910502499268093844*c_1001_2^33 - 8901209602606542736413470302124346012096439559349817038078776806831\ 7308479764543576138465750129805729022486340158769440043280518908645\ 5158331478613102334493573326416851194817018324410046242825381779630\ 8102218840949008951978367/11291552673505687148667303716688592404139\ 9435305285115396437987997799255477956531294265186325571082662706446\ 2724792591662219548739523224945036478295676775812988113829104106586\ 31305754004191993186256688636834166422697948*c_1001_2^32 + 1724130993412267474509154475375552717678870321918145762813859206859\ 1881529281028598522126263079856152505173558646381691294636467812123\ 0268586389886148928979826555110520293284024138882886133209960071120\ 02757308929754203904068693/3763850891168562382889101238896197468046\ 6478435095038465479329332599751825985510431421728775190360887568815\ 4241597530554073182913174408315012159431892258604329371276368035528\ 77101918001397331062085562878944722140899316*c_1001_2^31 - 1421612190948745539848252790906684259553386371944894813047990856710\ 8086233122150659393251584537616069998251859893939346746307087125552\ 8382050926749093137628753402622338462060761133355207603615770985938\ 85232142671916129984677267/4839236860073865920857415878580825316059\ 9757987979335169901994856199680919124227697542222710959035426874191\ 2596339682140951235174081382119301347841004332491280620212473188536\ 99131037430367997079824295130071785609727692*c_1001_2^30 + 1990912093598915396813087666920670644727654325458125514197418587341\ 4659531458451920251504730509963455508756373950862171886332936289021\ 1173361681221504342701564544604461895063530432407198078371857081403\ 510140304284871928990693255/752770178233712476577820247779239493609\ 3295687019007693095865866519950365197102086284345755038072177513763\ 0848319506110814636582634881663002431886378451720865874255273607105\ 754203836002794662124171125757889444281798632*c_1001_2^29 - 8682268602173245708216578742681706979999113779695896780999164807545\ 9306190786333347635296352319068569860946703649640664112906568952353\ 9223214012565694701292885776961024712390568881609178637879822903108\ 7214627418977527691552903/12098092150184664802143539696452063290149\ 9394969948337924754987140499202297810569243855556777397588567185478\ 1490849205352378087935203455298253369602510831228201550531182971342\ 4782759357591999269956073782517946402431923*c_1001_2^28 + 8191159029741115736098888178489862917195556733574051078498656816586\ 9419911752137180826508768980319597791313872671217493828154166853342\ 6017945598018499005328732412759351564222658881662221402300775441983\ 8193233215661383745879621945/67749316041034122892003822300131554424\ 8396611831710692378627927986795532867739187765591117953426495976238\ 6776348755549973317292437139349670218869774060654877928682974624639\ 51787834524025151959117540131821004998536187688*c_1001_2^27 - 1448161110728354046341779663561581110026429363973982072235814690361\ 0417775126487988269380006882376649017950052763436499537139789187810\ 2087678209202769047423904510759025803736691463827274797807383374961\ 872935886759891270416719327/677493160410341228920038223001315544248\ 3966118317106923786279279867955328677391877655911179534264959762386\ 7763487555499733172924371393496702188697740606548779286829746246395\ 1787834524025151959117540131821004998536187688*c_1001_2^26 + 8248766858917042980300081396754456113669660220661463651202326483757\ 0324835969368620802379646827866360548846439422208432424809302554856\ 1499466858684795195364231053527879514790637722302033480207221152131\ 1769485665168162216557313701/16937329010258530723000955575032888606\ 2099152957927673094656981996698883216934796941397779488356623994059\ 6694087188887493329323109284837417554717443515163719482170743656159\ 87946958631006287989779385032955251249634046922*c_1001_2^25 + 5187721611874652376672840603527905472771157830708177726282660162542\ 9315257925704106286084515265554033458374350140258120719320169381139\ 1682716010099207904394449926331495401638014382798832553748523446324\ 127390810462647620200781643/677493160410341228920038223001315544248\ 3966118317106923786279279867955328677391877655911179534264959762386\ 7763487555499733172924371393496702188697740606548779286829746246395\ 1787834524025151959117540131821004998536187688*c_1001_2^24 + 1088228344577345613045903263806171639875156937129846880835541133736\ 9312493792509258878170100023410774419072214207297563448809383793831\ 3212345748950630696194139997787788970125469301494820001595704023285\ 782040814500691261685214270381/677493160410341228920038223001315544\ 2483966118317106923786279279867955328677391877655911179534264959762\ 3867763487555499733172924371393496702188697740606548779286829746246\ 3951787834524025151959117540131821004998536187688*c_1001_2^23 - 1222701318609625621933748331804420662359625473043436094013100322695\ 6189020347514798695079423332433964509307984275473974854375494919493\ 0476920563973648113057975300280334720591440205932550795241091713974\ 2917930192763725634369214023/48392368600738659208574158785808253160\ 5997579879793351699019948561996809191242276975422227109590354268741\ 9125963396821409512351740813821193013478410043324912806202124731885\ 3699131037430367997079824295130071785609727692*c_1001_2^22 + 2381954985890581657873639313026779342140614529483346051576870063095\ 3534718664368198612188172372326184386408687243835805134459103702005\ 9954337390728457305610582111255930873470619791926367562848013692240\ 715707584018459253201200998883/677493160410341228920038223001315544\ 2483966118317106923786279279867955328677391877655911179534264959762\ 3867763487555499733172924371393496702188697740606548779286829746246\ 3951787834524025151959117540131821004998536187688*c_1001_2^21 - 8621716746914837553906790669124280860205437880645437880879088977970\ 4469733198960186083130331126749198175683359330565046515275549964066\ 7082461381313455614323072920004258104361130002814346021771646115071\ 21458284467704686295001191447/6774931604103412289200382230013155442\ 4839661183171069237862792798679553286773918776559111795342649597623\ 8677634875554997331729243713934967021886977406065487792868297462463\ 951787834524025151959117540131821004998536187688*c_1001_2^20 + 1516378113148307494092127121503319286727042537117956455828483110740\ 9524881122581480722523465486949016592429359218074228443022425911107\ 4107620339461553572880396954121418724589114258231404138241065327549\ 950699447116525345509653999695/338746580205170614460019111500657772\ 1241983059158553461893139639933977664338695938827955589767132479881\ 1933881743777749866586462185696748351094348870303274389643414873123\ 1975893917262012575979558770065910502499268093844*c_1001_2^19 - 5912659188988789441725167836616167309459413535032687626047656123149\ 4410195588181111270627565993168131902466681018856914871718568035416\ 6676543984286972163179880847907647912713856649178783272407373879827\ 13224426973346986246014627141/2258310534701137429733460743337718480\ 8279887061057023079287597599559851095591306258853037265114216532541\ 2892544958518332443909747904644989007295659135355162597622765820821\ 317262611508008383986372513377273668332845395896*c_1001_2^18 + 2238108731349018308746609054314751247275321803734488190642503566490\ 6298205668554341112329598986530161363260358398375998594827366372206\ 9764653431819690472172303550688136457071354940110027031758172286140\ 86604965351018209039435841759/7527701782337124765778202477792394936\ 0932956870190076930958658665199503651971020862843457550380721775137\ 6308483195061108146365826348816630024318863784517208658742552736071\ 05754203836002794662124171125757889444281798632*c_1001_2^17 - 6140382336892102427112706556964861665492613542203350235261270815555\ 1010099033889972228820430071322503096299661748924227774375137424420\ 0699975280950706242164142944130141041499121418867159650497587962176\ 30371604804646651362972693919/2258310534701137429733460743337718480\ 8279887061057023079287597599559851095591306258853037265114216532541\ 2892544958518332443909747904644989007295659135355162597622765820821\ 317262611508008383986372513377273668332845395896*c_1001_2^16 + 3383867926932338656353575040139161805710683971406643496486782974261\ 8096183275150390168670064314492375176056748252184212675489647045158\ 0022066352842497815300061281225507576524077860766565526092787721116\ 34746779989870121598687959893/3387465802051706144600191115006577721\ 2419830591585534618931396399339776643386959388279555897671324798811\ 9338817437777498665864621856967483510943488703032743896434148731231\ 975893917262012575979558770065910502499268093844*c_1001_2^15 - 2571038858324912688395142156538239385491669292396724221813110002140\ 6367761306839293054425660839589498326687668025281657466011312767804\ 5273392083578208770641466070569025512039091736575805041894508493245\ 4396570085493811550130268773/18819254455842811914445506194480987340\ 2332392175475192327396646662998759129927552157108643875951804437844\ 0771207987652770365914565872041575060797159461293021646856381840177\ 6438550959000698665531042781439472361070449658*c_1001_2^14 + 5444566910797333072828538544665075251698459715064338473319049982087\ 5110026956577287802022777145074026635264022163277698722609912524933\ 7639517508945952830846600852567910495796599704365055544443918277867\ 1274441928927339081548655211/11291552673505687148667303716688592404\ 1399435305285115396437987997799255477956531294265186325571082662706\ 4462724792591662219548739523224945036478295676775812988113829104106\ 58631305754004191993186256688636834166422697948*c_1001_2^13 - 9499040738485283058279319941575305343282402432807013824886052480636\ 0294010769189045664455313449781493850053601660239737708126101058078\ 5103152554573173081087692224508581893945660642276609447076332947932\ 636460346295701344119504129/241961843003693296042870793929041265802\ 9987899398966758495099742809984045956211384877111135547951771343709\ 5629816984107047561758704069105965067392050216624564031010623659426\ 849565518715183998539912147565035892804863846*c_1001_2^12 + 2301987776586044415345968853257561882614670555119413656607439877042\ 9733434815324433960897034402281086893010391013863082830503630236145\ 1629552780780007327945727232888787890662145559821313614155631582832\ 90075580966711415227130679339/6774931604103412289200382230013155442\ 4839661183171069237862792798679553286773918776559111795342649597623\ 8677634875554997331729243713934967021886977406065487792868297462463\ 951787834524025151959117540131821004998536187688*c_1001_2^11 - 7307175560954408084824848875820359700477377909485896460283290168449\ 8514193771722330824459575238159779029855953921472458054679097873051\ 7815944055955263425288075807071945221138961347153549655034232947833\ 5395439706609395708880094613/33874658020517061446001911150065777212\ 4198305915855346189313963993397766433869593882795558976713247988119\ 3388174377774986658646218569674835109434887030327438964341487312319\ 75893917262012575979558770065910502499268093844*c_1001_2^10 + 7714267591496954681825351506444894224752476357669441310121354648950\ 9323397420597974997459824197536293624781380087029646998293390153232\ 7446178314457869528866286576284512149015283713788881624840141097881\ 2169054041327458026353753059/67749316041034122892003822300131554424\ 8396611831710692378627927986795532867739187765591117953426495976238\ 6776348755549973317292437139349670218869774060654877928682974624639\ 51787834524025151959117540131821004998536187688*c_1001_2^9 - 1118610033211773487891845054412130530876120788701692898334729726351\ 5502601854165230575361856926277404358107269642450152192440033169570\ 1570751219296344051655537872026467989860186757665002920941215406179\ 8517974173502814567691653/16317272649574692411368936006775422549335\ 1785123244386411037554910114531037509438286510384863542026969228968\ 6018486404136155417253646278822307049560226554643046407267491483506\ 23274210988716753159330474908719893674419*c_1001_2^8 + 9652526390053023538856672545243360756176200715022860341332538442275\ 2843635434673609504425590473109607476927835884536054876808216546913\ 1320330066196554333028419868713453014354540070505264598820768859653\ 16265909159016347629681961/2419618430036932960428707939290412658029\ 9878993989667584950997428099840459562113848771111355479517713437095\ 6298169841070475617587040691059650673920502166245640310106236594268\ 49565518715183998539912147565035892804863846*c_1001_2^7 - 3635828676333693517384140556498930009743176898791918122374895602938\ 0692189606453016730803076399553754309331484676222415516685242741846\ 5279735870559709639773466944786265015288075348063541143096203877500\ 762119453772850411659144557/338746580205170614460019111500657772124\ 1983059158553461893139639933977664338695938827955589767132479881193\ 3881743777749866586462185696748351094348870303274389643414873123197\ 5893917262012575979558770065910502499268093844*c_1001_2^6 - 2169389724735338818060069660053207067721607546444445797473409587970\ 5914592360927633446174130003989632573227591799487490145668065478568\ 1262499059553914196152733339311093256128383254829527278726600698191\ 4044214601363688304132921/11291552673505687148667303716688592404139\ 9435305285115396437987997799255477956531294265186325571082662706446\ 2724792591662219548739523224945036478295676775812988113829104106586\ 31305754004191993186256688636834166422697948*c_1001_2^5 + 2618644714828352547459270399962504215908278766518805543516831582518\ 5510136373431139614652886417343527465993222105777536257700791990956\ 9601715342004840348599860528696757668848831706147276817079756165728\ 65745519427220464429813717/3387465802051706144600191115006577721241\ 9830591585534618931396399339776643386959388279555897671324798811933\ 8817437777498665864621856967483510943488703032743896434148731231975\ 893917262012575979558770065910502499268093844*c_1001_2^4 - 3233941487171681057955972415298727421349941067491958085564058539581\ 8686098874326034598327362182065267029315911428101195568923483291903\ 2410040628246939592982572915528026174895401775637298033101243326887\ 7279917295981768320669911/33874658020517061446001911150065777212419\ 8305915855346189313963993397766433869593882795558976713247988119338\ 8174377774986658646218569674835109434887030327438964341487312319758\ 93917262012575979558770065910502499268093844*c_1001_2^3 - 6518266475429703766032610921156848765726653675828158614802375754896\ 6367289740470514121834618515345124276198014610639890446520792121611\ 8401743906251041662981115788915058509111694841517052922468378871059\ 825676935887496944927635/225831053470113742973346074333771848082798\ 8706105702307928759759955985109559130625885303726511421653254128925\ 4495851833244390974790464498900729565913535516259762276582082131726\ 2611508008383986372513377273668332845395896*c_1001_2^2 - 3193294091259541592838985553193738571354519825296360111696084802554\ 1262731282691201705861425445381349554308973121989890744590545703433\ 6262855454786918634065004574797631788879746824119230248234693101324\ 67679774871022371501271/3565753475843901204842306436849029180254719\ 0096405825914664627788778712256196799356083743050180341893486246191\ 3092397367016699601954702614222045777582139730417299103927612606204\ 12343369744839953554743780052894659799352*c_1001_2 - 4626967183273734633521739422440596911059378440216395818779973597128\ 6528400749750598527314529543712131962922541147505045841018750983177\ 4503003846303681651579344736966836903992337395341496676956913091456\ 20657012605216563302313/3387465802051706144600191115006577721241983\ 0591585534618931396399339776643386959388279555897671324798811933881\ 7437777498665864621856967483510943488703032743896434148731231975893\ 917262012575979558770065910502499268093844, c_0011_0 - 1, c_0011_10 - 61924732660464516661349641124880104803305249241808190851910\ 2756157546396596479819003770217318609661280599066411303161620330812\ 839832300986730796188949873192177311497962102934404256314662120/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 + 27476424682491051137212834634427194651787427884791096792600069070\ 9000675072137098655626044498452101633540139919883742881270466468332\ 3294714741711963562456453295732118779030522918568990457149/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^40 - 9810992953724887888420225090037250492884173259391647625325889947788\ 0527647543791022803792670341929834433310224915625506144510417353282\ 77189942883068185258656061035754391116282555571129882095/2876983773\ 3775975114853825792165174177503135354978806555902371823891332275578\ 6708345073389498367663065542460320279093759220945313811391342379487\ 263420385278588479878700138176913030977296430213*c_1001_2^39 + 1885956120956049361060123439170251103157292114550906706048932517710\ 0452675696266680196376569384115584573446716802634001686031388487054\ 516950273363038469978606578019599737921843976220356113346/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^38 - 1725550967187513919936504024183247082535994563709203359199193129684\ 0443686297200280776695945610037147973474743365759611247494455257087\ 8610476327489507523696608706232255528107413586562476330231/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^37 + 4882092441581070453319344272979141180164233774519042469513511656268\ 4263882654726104242190580945088828122721916490069491495391969337983\ 3660829655166292365610937700342548232448599310808504831427/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^36 - 2819602713783148243510158784860738937539373859734688347595453301332\ 8884251917644463733714025398763398834152593963942127866960363545434\ 28203964908712063132438265633382981037254225572639493728448/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^35 + 7082690998676304748938689229481838216288037640639161366938847227132\ 5674517119203469581407796968623934642301708845753626131706202165371\ 03432422991011304889578035301548276240797995183383072346935/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^34 - 3008144062225859065624262110186448322228744231093258262134577836495\ 5983447609999212407228810015967637124662134014283424822671983391069\ 620970533941800651803488871511872857979896696007585320666486/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^33 + 4820682713865547171604728212852532603982664114478384495868425157033\ 9732493469294860014482388441024662732042157439007742603331635880834\ 864964687127361014354873077054248456201747268463750180996058/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^32 - 2282055490302793759231091167604593954622479034553493268566046675300\ 3014817332810979848769324572260473984319647730100760033771317792226\ 0738053601114776148714632145714404249548548586000875476092093/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^31 + 2261046774984265771095558226883815215604580333595678798599563984442\ 8761234898070232739050643094802947863925203307914370570994116365077\ 6639756971009590426462425723405999234338170659689294781742379/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^30 - 1291861506795458610488913453129536979467920598687217229311075295500\ 2856309693203689023345866374810755389532872828616562116060151478518\ 28991012770537969252559328789049562231418044809691924012405358/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^29 + 8465721175191314950656036649581580134575204388256180036632060860785\ 6541498321667920302826973519364306486033882099962811235036175833586\ 9344605650782001355239014875174348901534013661014516476195903/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^28 - 5812808193763153974053505959950908076369551093098053343840291940892\ 3281174328322674957911583461254037331575133383300346874050265472706\ 90842333212620720532009087106004047273052630407487229777474913/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^27 + 2422364481291370980040831014050623309837481688977683890454375668038\ 1464860783181801080448274421897588814011781953319499804153417185625\ 35063553258353288176190432458809077360723992884838918503627208/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^26 - 2297730199724222295123926913626138534418177120144129624594363659469\ 7992511316140603433045576282464776716271784582078079265325318658547\ 927413171466889108953968768265637041891624585126991768654435674/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^25 + 88576228553261082579876572225365436376209956294187803177379108213\ 1167928385695246196791030739928254521925136114941575855377396196489\ 6697007736392074099452622776296126047418481826328314148502143577/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 4 - 759663656090022798031684379631925145558742813790354485655527283\ 5647838203443082957648073331991980374514626722729894941063004176771\ 1367522395836002445044453001352954622074090410133146320491528474133\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^23 + 417468970277101019568282799002496811092338029738477340230426\ 8555367860835625500524619267878942014640747484417490784987102125921\ 1208134780335400514942725216439944710194386222135936642686104544240\ 764/287698377337759751148538257921651741775031353549788065559023718\ 2389133227557867083450733894983676630655424603202790937592209453138\ 11391342379487263420385278588479878700138176913030977296430213*c_10\ 01_2^22 - 174148642516646182588645177681855992155746238138081966876\ 4105374046333179727652244898438463642151228485049907454869352987934\ 2259228782902573038727799201737741206034754039277721280454833709757\ 8126214/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213*\ c_1001_2^21 + 12475348531172691552419763940966245560828335205851229\ 7861850499721050955635461798339270130252494598307037305683801688401\ 9041719672888770018740275844171933771424849028508377617341364810155\ 98275746723/2876983773377597511485382579216517417750313535497880655\ 5902371823891332275578670834507338949836766306554246032027909375922\ 0945313811391342379487263420385278588479878700138176913030977296430\ 213*c_1001_2^20 - 2470518329560317857477704766959525998600405397695\ 3467609738724207003642244563708640676617581333068934368366343277296\ 0154500871260551377430169722529727363896770611836370637047613222335\ 165799535448515/287698377337759751148538257921651741775031353549788\ 0655590237182389133227557867083450733894983676630655424603202790937\ 5922094531381139134237948726342038527858847987870013817691303097729\ 6430213*c_1001_2^19 + 206688787636609153722661984741611686813292162\ 9060822695095530209453910817017581800471966163073871224854534832611\ 0416881400585939037923077805772861524573247787620464104520013808150\ 0045159592396852479/28769837733775975114853825792165174177503135354\ 9788065559023718238913322755786708345073389498367663065542460320279\ 0937592209453138113913423794872634203852785884798787001381769130309\ 77296430213*c_1001_2^18 - 20775544861446868154403783468486179331482\ 3662819833863137576373232575858932671719230837050447768448722790738\ 2976068323702594254985671079442698034441985195198570021723808450518\ 27602641799469982300300/2876983773377597511485382579216517417750313\ 5354978806555902371823891332275578670834507338949836766306554246032\ 0279093759220945313811391342379487263420385278588479878700138176913\ 030977296430213*c_1001_2^17 + 1873000600537747171136386116075092401\ 1545770531237505596615669338296273338574624620706761580126081726108\ 7354403720084691335999052765972265689730199131296955080791171899070\ 872450061623401045930588080/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^16 - 110183387116124091517345611473372\ 7901975153545916589567168157921246616694695698925090405273209747300\ 7584805384348688587918269330551306695128857869031425616518503901652\ 8654994021349332745387196316552/28769837733775975114853825792165174\ 1775031353549788065559023718238913322755786708345073389498367663065\ 5424603202790937592209453138113913423794872634203852785884798787001\ 38176913030977296430213*c_1001_2^15 + 9061882352671178258718565198605767295791212073383317977490596772615\ 0450876015363504675732866043647535851105970608765266947267781675869\ 942948686249533505814052882859881962801272470269509309590501846/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^14 - 50062686190897969892970488069633120172836321287042060766905936416\ 6356967051755054721360713294615126301401027762649918309140428199198\ 75499291778870633472856457283815950590097342173363234223206959174/2\ 8769837733775975114853825792165174177503135354978806555902371823891\ 3322755786708345073389498367663065542460320279093759220945313811391\ 342379487263420385278588479878700138176913030977296430213*c_1001_2^\ 13 + 33135473248124369407725421278608151341819047857107019634408749\ 4165000133233631188581871315831724451434851694360170344138116413620\ 3167467766319542999370477891035715151291998673521123500717673019882\ 4/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^12 - 23500194749444937361248858868521972199610465118056611856388\ 9626246274925779608547456586634823024486192284974522540155288868803\ 7455297147559415096743288867406957476101475045524785632165656808692\ 1273/28769837733775975114853825792165174177503135354978806555902371\ 8238913322755786708345073389498367663065542460320279093759220945313\ 811391342379487263420385278588479878700138176913030977296430213*c_1\ 001_2^11 + 18138166500189756123033385570288554709393637773231475223\ 2209625479495868805096464588359161036746951547192745431430767220641\ 2202552950737616098180011430754394671535909229297946213631268058621\ 3217130/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213*\ c_1001_2^10 - 10444628969791716395312660297805519155593062090793812\ 1138086442418356504040068869132287021660966198737187795099910604653\ 1072902156809604623482225079516807278589546621883548034607937411307\ 0883377647/28769837733775975114853825792165174177503135354978806555\ 9023718238913322755786708345073389498367663065542460320279093759220\ 9453138113913423794872634203852785884798787001381769130309772964302\ 13*c_1001_2^9 + 346247580696414229728759647318795202660898829806851\ 1163809109288551736920100831467107906399811293325382230077081059065\ 8985841602248516089332240088805228980242188556565987551180318062191\ 810689009/166299640079629913958692634636792914320827371994097147721\ 9790278837649264484316233208516702302703254714118267747277998608213\ 556727233475967511487071794134558314912593642417207589774435239481*\ c_1001_2^8 - 344786956885253973336988329240238563792296406607576315\ 4465249450743477823883228919815646991745252902351906717730331399549\ 2704215599650426274808267474612331968102699633006397863490410677445\ 15145298/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^7 + 14883826341634315074925634083395931381171639544796028\ 0658938757408360338553396619518695462555955972457697684237916516331\ 9015702306040139428396472270071273345656575933447106336131682804275\ 464989001/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^6 - 3098281686159369892660294935955040450830947868857093\ 2265233023786838231358732688438732275089683938518961453155609296984\ 4811759205966578938618492171601481952284078068793804011767725741669\ 196545737/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^5 - 2650168218436290977879238117970119793722648169539394\ 4844015695261022054896446669117759657550509789330217231339815255458\ 8861703440536802501971858305120319747837372103155468273641445070158\ 60019886/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^4 + 22372628561160387972063026818341680757355726294436653\ 5089943662123906659977024460226841258189282991653292538520802642057\ 9890877277890219078964872188844569456569588963673140072385225884934\ 7114320/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213*\ c_1001_2^3 - 705621861446491026343575633494166593778903158221698021\ 1134268964527770431612347204622399774746298978685503921327133079176\ 6503052265933857466526413138018871486934482065227915279463180401513\ 1299/28769837733775975114853825792165174177503135354978806555902371\ 8238913322755786708345073389498367663065542460320279093759220945313\ 811391342379487263420385278588479878700138176913030977296430213*c_1\ 001_2^2 - 658496618136624970293406455943980415228569500552290098336\ 7611757336472038965523233294614871977837720131323257212736484481408\ 7921165553740600634265318301019663729162186789945506372462903492940\ 5/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2 - 14699699351523073246547241839767487257774366018977874307020318\ 0285015927862242972486834711158997063359916592627087702786850984261\ 856573021942788785810597753623716737603326065832528947658824436/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213, c_0011_11 + c_1001_2, c_0011_6 + 503486720013062563475051567041434738175105138290526118007932\ 6248076010693019825859034840236809699880853611664095955119505071163\ 195201751386186031361281728721009782836050955036983083282182493/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 - 21015090298228265734825165098777608579656826166553087242161383251\ 7591006294290352572012086402064475620153963415351692821451044590489\ 84314265846092768921265603237990286872422423938559896108180/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^40 + 7412801737848090925992667538496702168977751532154348001193976066716\ 6157415505296045341955223762921644263750164621134606063561238931133\ 989609815717238880242693751307219703023116569131864679412/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^39 - 1336728090067345372914122844476243920093409690023641033746548847916\ 9911048890823537339610651724010352804443960740294327080955581274407\ 4473604143147241874116763057638572720712045884798402845544/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^38 + 1367363331762474419110361868803823976128029316160034590847807409342\ 1681285053172443058837082466985362813869168339241254088739093030542\ 91022429714239522813271234671014966121311834669361540646413/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^37 - 3610856333306207641465745476588786648198840235894795810240506288238\ 6173902917763083735260718592124000664348065132038987413830638874575\ 64652868410761576770537670842817155201665986582545359915050/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^36 + 2195177881713747464969230251205197586202726356246363835255432236534\ 1605609784759811755632136851005675221648571706639783824854493136897\ 899351687362090561342796413684881931339815509688881462586817/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^35 - 5181113231612896409664012417824322501261832549487856611532613416194\ 4011829308403689597825722154270422849290059808336247220560123204749\ 883750719065031962007889143525314800661970629497707400607507/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 + 2306603354195712443985019688059242301223209422662484162186459652744\ 0273304178509743464360085828024075352311580163560325182062202161152\ 1745594053135021247236316222129331536035963234749312152090354/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^33 - 3313865471291373564802278212562377018426825192447120489937221245431\ 2137854714367847795285369672637873756807432771881170336168335341414\ 9714411706654992437930920695000427051140935485954334905489730/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^32 + 1765976236459721691648874195421967551726574088685602319187953630655\ 1464588559223396127655204990816599587244009965331372826076228550939\ 81183985299872676606053429083624639617019975598126688024735237/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^31 - 1379589586114819084470176821514648463009175502253709117262066333525\ 0863982416678989990508134157491252614440104526866711725859147576275\ 11853579450739524800135683071699926905733727150824228598732203/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^30 + 1011842815691810968066593916980577480082987091744127046573781569938\ 4490401693380740631852847886032010312412135923569331845165712680347\ 404871402279697906320638857678962857425803637286789699861640448/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^29 - 42926713845100592583094526493483639041644514426022236073514517376\ 9556876911490144042794605906407549549688153097144730306947019045179\ 9169482434431321960814826676245360332165792594965645827177017293/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 8 + 459673033423598775102450119867031254840498713871949666314149991\ 3169744670569239477961357714489675106156447313215766512306554624898\ 3537535131252073118979597390458136838105779031776447332408363308671\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^27 - 810159542180396095718592089838075295250390475524964612113554\ 4834628792788701317090450404337417230365027986460202202987427436653\ 4343647662536952905387562119245576209687180515277624968585490010334\ 46/2876983773377597511485382579216517417750313535497880655590237182\ 3891332275578670834507338949836766306554246032027909375922094531381\ 1391342379487263420385278588479878700138176913030977296430213*c_100\ 1_2^26 + 1837880004854611676116033568655847314896808588049732844513\ 8046162188483524533730247576697362071498012707003034087893980550028\ 7776533897585672495921059563989798458771601622333641207737922490143\ 832444/287698377337759751148538257921651741775031353549788065559023\ 7182389133227557867083450733894983676630655424603202790937592209453\ 13811391342379487263420385278588479878700138176913030977296430213*c\ _1001_2^25 - 262259905716610164928063880509241045438940712788403593\ 4883604416563558716539026795430614753472787748712090257206247792346\ 8637231093373267499732517533093715204612240210738142005228917727092\ 563376799/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^24 + 606518629038800099198928101939600188773630534082517\ 9761911841775194462365560905472518145950904179663452944686026299950\ 4351833351708040097129064875383552972730666499579887122130582130265\ 7047594572048/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^23 - 19039711153567027808740947021834030083762622062\ 8255271634927683419229046889921091144764411871380084055601121085204\ 8635832273664345842166407125958829064199638867580673199463281795113\ 53176488000227520/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^22 + 1351325291001968793163374925189642930797165\ 1539869935173930647115554492840099715443176417467018375082823808473\ 0108713867044725856216311187000311408872565157182213660944716135061\ 9299102101805015356745/28769837733775975114853825792165174177503135\ 3549788065559023718238913322755786708345073389498367663065542460320\ 2790937592209453138113913423794872634203852785884798787001381769130\ 30977296430213*c_1001_2^21 - 69146670023502580770613237387470453482\ 9354268261139099934646174972080888669003913115118614998332814162974\ 1716712600050568008912843705073473804445958427332728487894362854992\ 02482263542094225493740039/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^20 + 1799437595576461786841509762224210\ 0598074817335091266358776931039596759241167191698381232979435444050\ 2755534571973160548458471345910704542624367758122836570946047562226\ 3556860787518896927966059545477/28769837733775975114853825792165174\ 1775031353549788065559023718238913322755786708345073389498367663065\ 5424603202790937592209453138113913423794872634203852785884798787001\ 38176913030977296430213*c_1001_2^19 - 1272880080657287799293226649060990044830733483114349736449788361681\ 9620896463650374407197625782378166500199584032983547312631087086851\ 24385012114031719737385797362202491233069789679516589701493476917/2\ 8769837733775975114853825792165174177503135354978806555902371823891\ 3322755786708345073389498367663065542460320279093759220945313811391\ 342379487263420385278588479878700138176913030977296430213*c_1001_2^\ 18 + 13365506311633519642311439110399146052220795996985401395721165\ 1806750831884094014402184705289315412720382577963399837903003467289\ 7912494010371324163867100718730913384165352930442839655204497565221\ 723/287698377337759751148538257921651741775031353549788065559023718\ 2389133227557867083450733894983676630655424603202790937592209453138\ 11391342379487263420385278588479878700138176913030977296430213*c_10\ 01_2^17 - 124673674827582834237887785132545158124691127494507289949\ 7927098189976768583252867954351010266162289063580686444469052121958\ 4573144386609867568315948577640400297043435657711278392348698828200\ 81051234/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^16 + 5897921077669448766857173694266878318090619417096608\ 2588137943614954738055765716434445474458693325567732264179400658609\ 1874877559403597735823631824500040525832712483511069943667056316560\ 382402105705/287698377337759751148538257921651741775031353549788065\ 5590237182389133227557867083450733894983676630655424603202790937592\ 2094531381139134237948726342038527858847987870013817691303097729643\ 0213*c_1001_2^15 - 622697361311114419828159353806841544216174117262\ 0142574533259925339147158080129088923396080976015466903092615588605\ 0777317569912515275588359664169112495261438710915217492171865330899\ 5759604297725179/28769837733775975114853825792165174177503135354978\ 8065559023718238913322755786708345073389498367663065542460320279093\ 7592209453138113913423794872634203852785884798787001381769130309772\ 96430213*c_1001_2^14 + 28833382674884911054609941371838135530759382\ 0468812300774674351194880859850806957474293013381154906968357509988\ 3325926797168597267362591399172034275428186304419366469387314255473\ 65222115597146578994/2876983773377597511485382579216517417750313535\ 4978806555902371823891332275578670834507338949836766306554246032027\ 9093759220945313811391342379487263420385278588479878700138176913030\ 977296430213*c_1001_2^13 - 2014508974878910798043271804744249582622\ 0456744454736359638107368639555223271316267373552737020876514276452\ 8998898688372080214005050271360494041514959295433675412858662512304\ 075137688539444854939738/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^12 + 163646074812806073803688753634317761\ 6020953861945441229995407729969843363690540659766302683971549750569\ 1065940445412937461857009775920830911402487418619143925930634478551\ 5332405437725631286933863950/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^11 - 1094593256556972312399776383476201370504729464226858619808508919847\ 3962728148906160634853168767838843568450985431543555831097649488827\ 6637809272689178112750909694630541892792952695575627730209425206/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 0 + 623259150565559954854988790690496204858940754748480852531418015\ 3518046391677012582219925454001300340388227009013266639157328145125\ 7906200658987322635602925106728090912344543771255898300190530185677\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^9 - 2149193032717095631540803121964111259332207095023953795096497\ 5391118890184860553223861840305557912039978062417537751762829273818\ 7143314563734458464894904601199785956866675159363397975657340588017\ /166299640079629913958692634636792914320827371994097147721979027883\ 7649264484316233208516702302703254714118267747277998608213556727233\ 475967511487071794134558314912593642417207589774435239481*c_1001_2^\ 8 + 217871018656896308013373211979750393506111163183820867619803544\ 7056417584924881494836498312491373143925615251115367904421196243282\ 6192717199559141985570546618405254966358252772586045316936276831294\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^7 - 8045001461452917057515953612448910011079668468569169729096454\ 5970173998637237688305986631071129466621087769511529225313699779674\ 4795170496345257703114308245032015461161947747086781677492895462283\ 5/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^6 + 154698499722029839106061931795572234041043396674610212961311\ 7863187801429866013936324172642430567442671164375914355978571518312\ 6666960432216584118231736472301163527320989100098754591369000113027\ 93/2876983773377597511485382579216517417750313535497880655590237182\ 3891332275578670834507338949836766306554246032027909375922094531381\ 1391342379487263420385278588479878700138176913030977296430213*c_100\ 1_2^5 - 10132754877131540166822467657433695217072213316727267695608\ 6511507560442852298767239369686211070413194476381490646484476357732\ 7404965428458222351109259172600141092943204333974014044611436784055\ 23/2876983773377597511485382579216517417750313535497880655590237182\ 3891332275578670834507338949836766306554246032027909375922094531381\ 1391342379487263420385278588479878700138176913030977296430213*c_100\ 1_2^4 + 75923261589579493920037346687074018403891699731994391933975\ 9235549444383952402286523029747410414226069026855566376500596309919\ 2287660620168577040163844354666059523930760288990600670492652814143\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^3 - 1263373673914753350613867007968943768810757596210598743396589\ 2888899339065835888538853719947114112641129344301869030452089635690\ 268746762642818613341555150481795351811671425524271418422088593858/\ 2876983773377597511485382579216517417750313535497880655590237182389\ 1332275578670834507338949836766306554246032027909375922094531381139\ 1342379487263420385278588479878700138176913030977296430213*c_1001_2\ ^2 - 23765748783057142389542630411801976822705372761124265453244046\ 9085875815335527053338387534207504012598858791899248670681171886847\ 2856923307483381626559606041719716910664208438635132615461846819/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2 + 4029912997565837825861990073532395772977443938217348425750946941911\ 6195429301423609573334116999986473941068964957789448656993600853699\ 15726451888878886765668452464934623120842189928477992116/2876983773\ 3775975114853825792165174177503135354978806555902371823891332275578\ 6708345073389498367663065542460320279093759220945313811391342379487\ 263420385278588479878700138176913030977296430213, c_0011_7 - 118908157317603132582727389467050101867343830139131375863699\ 0607902525008635594842176898617546327212360037748077913727005556797\ 315229319326109361151396240700221778072757906190055592348848015/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 + 49898624475258074481775207757214548355307446340436647686889917622\ 1642825792620771754025654579645699708640433418286748600259990097275\ 5745106664206308455248348530177664832298579531439927090432/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^40 - 1761596685777719997087362186242659057409098910996040202642171373943\ 0647286974035059341338414366537859701128670348060734525176195941365\ 793779658497821623257782961884696291454967453823325712698/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^39 + 3192825748418301781087942570471581332110266820104147181338507052722\ 2900874335324681323212094360053019523835991431800296613458002868801\ 719532092768512736740488525400079836253129006557531932013/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^38 - 3235034638380997392721418166276956263560793916292834368137804766045\ 7821865932303600632435778291033679740922430034019397204483328815403\ 1588131875680673035858432955219387479221130276627009189553/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^37 + 8596202446982714129501702826274714316874128643266015437570593036451\ 0466535585333535190661428303321282653326405265093388491086644487369\ 6896139192828812000761149136085300816929330685215543362917/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^36 - 5202248728186261642298256494453811755668108745522185220761462140148\ 7938003066929226553425871260942142653476342733464291824066135537594\ 08208950718481866536227434222671263760844923592012721168466/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^35 + 1234441385390708044839025190272065052764686639152518263848688206156\ 1948462429740372332878491520855585972689889888887174742810235664632\ 678140376282698808073958104914432514156910384671453407919122/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 - 5472263972907551651778105015409225370776941060839107843289550443196\ 7775281633016935973974234175553511589014573104249374144216485740372\ 788198134716838627061247189525017861309592695561702562738918/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^33 + 7935777734083099798613044014070481410744979605490239332507947130862\ 6509371400260172463340423564974734138458476248628019472632454308866\ 889824216646663616817257531382720709760138863493573005030819/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^32 - 4184776886062575748774360384987094928011633338188926053320634843472\ 1829403388917296216176301522526870193895829201568141860782227963996\ 9163244205291969878235633201819884111661075434096270111825536/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^31 + 3339344022569637126074613678350625554985107069403554999781414453781\ 3272205814687531021514693678940441679066518909036048227610297242819\ 4997491513379725699582125737323291937898345569258622178603137/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^30 - 2394657377758685669331606903573054850128459186045787301683255254363\ 3280932680839880926133683304841557142452693460906658672309082787323\ 86866665931799065548176265533954249912970132671177001334226492/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^29 + 1058392696762306106718435707978728270546463715117019076651491254487\ 5885648305743393197618280291463660646265750353183055575432917799009\ 64579201903601488093402939743657542872097123461095875259048900/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^28 - 1086834253951170132534719504118881169118994263879833019606187662107\ 5373629370363651500915230034972815166733108453370582079174929170358\ 387561731847749836027478138346644596854404856043102868200756924/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^27 + 21064915757858106855070848916053976880089353804562346890455869099\ 9137301289086403349651689440183895740094870273328813418475144578551\ 8437221765689257956433187636160736908844149974894691916816373937/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 6 - 434113890353884374966665254517838720555093953063280191823073951\ 5964442200424438898401124092689662336052704360377784196837888159085\ 9876124813126104361820024529291837071391464641747652440845763039293\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^25 + 694240535820663863756916187468168030575911238496889375907811\ 5679547181946014441997983773869693437582074444672667830463828055660\ 0626768340948683803350870530703123011749134701015646675352321429282\ 96/2876983773377597511485382579216517417750313535497880655590237182\ 3891332275578670834507338949836766306554246032027909375922094531381\ 1391342379487263420385278588479878700138176913030977296430213*c_100\ 1_2^24 - 1432818263683438044396345889247954012647862604300398754552\ 3336859521184137021058670374499828176301325036744644339971835685556\ 9732032986487612575537076107511688248154004342053842092537586202469\ 379880/287698377337759751148538257921651741775031353549788065559023\ 7182389133227557867083450733894983676630655424603202790937592209453\ 13811391342379487263420385278588479878700138176913030977296430213*c\ _1001_2^23 + 472746545049677808548878154263750455293493079982363204\ 3919406788710667588904001023724225597864339633897371100700559735913\ 1924075109574729121409721329374689937923263436297180350820676245776\ 450367815/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^22 - 319851225331339277291925521773481003298550111333665\ 2356870122255871050387575444972197002459598262010918124682540295085\ 4209679625975135113732740893363429691962093687290403346910041036248\ 5337017214256/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^21 + 16741711085630707868574295776959135977569882208\ 1876339563560496759023404496873542151249631370219119281720676359692\ 9502459077570370307753581449196878114867496689883617422117593699189\ 39315654172601204/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^20 - 4274529533633338804720065349064682259986227\ 1197087252708876555298066717696410179578269328781164876230346744748\ 9113189581924308866120271181497528839048516988481415239440267197078\ 368091553296700087878/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^19 + 303296556428807639964297211205534027940\ 6861860316271786940899182690130688669087467754392016618443149273494\ 8650386756822288910825371323951681540460363165866291061506644858212\ 4780945081666438342846870/28769837733775975114853825792165174177503\ 1353549788065559023718238913322755786708345073389498367663065542460\ 3202790937592209453138113913423794872634203852785884798787001381769\ 13030977296430213*c_1001_2^18 - 31903930773366966581768887162720665\ 8563847900075732901297458378359192220895656611213504453329049061720\ 9497795783568192910357423463123806807468427051342010617973456998599\ 56311146496451037664362292008/2876983773377597511485382579216517417\ 7503135354978806555902371823891332275578670834507338949836766306554\ 2460320279093759220945313811391342379487263420385278588479878700138\ 176913030977296430213*c_1001_2^17 + 2924728287188778370805940954013191999295525015427795913432701409361\ 8672348050537107045302531373731362295674357547662303612699350816595\ 5386323253525804109021057840187852229173738471630797686362458818/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 6 - 140238532200874624485239950532710036568244771932790736802461436\ 0382165517795394520238639823500967405485861364732518761978532720560\ 5148579309213322495731526019281549697081908344666379148829031675479\ 7/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^15 + 14376468898274822608174777856193572536926163873022314494617\ 6350928295659033199585236949932513526979708361878993805210414780428\ 1664872438945904027903941041440775444686815166164170427737417187723\ 89074/2876983773377597511485382579216517417750313535497880655590237\ 1823891332275578670834507338949836766306554246032027909375922094531\ 3811391342379487263420385278588479878700138176913030977296430213*c_\ 1001_2^14 - 6595897820628901600040925769875852009734947406611864376\ 4321091783916280338503870458190317234761877453585680346079998198934\ 5114235235351327108772085053361193910201623107264782840780388403379\ 67087729/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^13 + 4665701084185651403834969988886267552258877254287595\ 2709966844513928578576893403579593211226619074708613292580414813854\ 6969811755837359530891278254911360555847256556142323387203223546051\ 51919554735/2876983773377597511485382579216517417750313535497880655\ 5902371823891332275578670834507338949836766306554246032027909375922\ 0945313811391342379487263420385278588479878700138176913030977296430\ 213*c_1001_2^12 - 3696591189996140800700183769625112481354133519453\ 1085889793599443315515597135197104134775784954634504543918112166923\ 4178287395583545078540020991289291470567273147771660842160692685480\ 55978314888287/2876983773377597511485382579216517417750313535497880\ 6555902371823891332275578670834507338949836766306554246032027909375\ 9220945313811391342379487263420385278588479878700138176913030977296\ 430213*c_1001_2^11 + 2561873545159115818782175803988767841533103027\ 0856371360731191353391956289825670090500362114875078343503725444081\ 4867039110986894296707627153401522264976399658057466652689511434007\ 08773693860330023/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^10 - 1440382879566073098611944426168798616294243\ 4337590014698021665193777777065002960068095291677534578915987141613\ 0624664065991493810526561643984552137583794989802940588241971105168\ 59455374510753652830/2876983773377597511485382579216517417750313535\ 4978806555902371823891332275578670834507338949836766306554246032027\ 9093759220945313811391342379487263420385278588479878700138176913030\ 977296430213*c_1001_2^9 + 48691578802768729329456041168672447542738\ 4682555827454099426681492727468220875135313045358070694098828198095\ 8178535569931543827410548432632668268383638863264805779787497557583\ 4312146763840008821/16629964007962991395869263463679291432082737199\ 4097147721979027883764926448431623320851670230270325471411826774727\ 7998608213556727233475967511487071794134558314912593642417207589774\ 435239481*c_1001_2^8 - 48555487197804566439808652944661892317851221\ 3205612168502142885097914557594026254649662702607920714494618025144\ 5971599021106595499855591168625144535969604040691834764600763872511\ 883321306288199405/287698377337759751148538257921651741775031353549\ 7880655590237182389133227557867083450733894983676630655424603202790\ 9375922094531381139134237948726342038527858847987870013817691303097\ 7296430213*c_1001_2^7 + 1774863396603569056676125184226448969125842\ 6273845026206010718486859054716760088143684195919735240679033754991\ 5683099942063702536023248608070220816084274619859548339837853488319\ 9962910560882383136/28769837733775975114853825792165174177503135354\ 9788065559023718238913322755786708345073389498367663065542460320279\ 0937592209453138113913423794872634203852785884798787001381769130309\ 77296430213*c_1001_2^6 - 256102834152147181901197685374477061466087\ 2824089270369465782745597317114613055331564764356297879761901566878\ 9688417321738964059216048872390230836421654429550067308386128371907\ 7577066117234518054/28769837733775975114853825792165174177503135354\ 9788065559023718238913322755786708345073389498367663065542460320279\ 0937592209453138113913423794872634203852785884798787001381769130309\ 77296430213*c_1001_2^5 - 550959916672521885468953574273250580360948\ 1526993859499407794393897546544211405780102545752195047594283042368\ 9962213866736161639053577996710716540548309632886207036416730509726\ 057111711620258461/287698377337759751148538257921651741775031353549\ 7880655590237182389133227557867083450733894983676630655424603202790\ 9375922094531381139134237948726342038527858847987870013817691303097\ 7296430213*c_1001_2^4 + 2177588252838541876584021915280427677436405\ 7805719149773650521617646458563929780672082577763069784475025657725\ 4360446243236896965485165630234474674479787119351339600761237961095\ 55464835737358501/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^3 + 11655862496467546072616056079513231195529962\ 6628053816251053958440440971010564398617138833414831855206190941651\ 4289688323375606615720790238054628419121519891623723607369154092673\ 264554880416976/287698377337759751148538257921651741775031353549788\ 0655590237182389133227557867083450733894983676630655424603202790937\ 5922094531381139134237948726342038527858847987870013817691303097729\ 6430213*c_1001_2^2 - 2230025543916759021944656712974743777581561501\ 0986781723677057452215205165717050666344780829242698219644872532621\ 8061562482647938868259301540341503036070150214510212070046838017845\ 183519371085/287698377337759751148538257921651741775031353549788065\ 5590237182389133227557867083450733894983676630655424603202790937592\ 2094531381139134237948726342038527858847987870013817691303097729643\ 0213*c_1001_2 - 166920860485442708348208408018399539702173117826777\ 7348925169223675265644875390927306576961878384769737317930412264436\ 6431989250599238230617124183910760825171535628385442401514237319031\ 0396799/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213, c_0101_0 - 573765806002176216874082264345902657742246485929619554744937\ 4109570632205427664556496220417085104954284557663983415554297432272\ 316717233406659225289210495856018896404554774021776405961132245/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 + 23848008289247601655293083976407117066248776748790823713473563985\ 3785751548332260315457387304972784510598132180558803023210155571167\ 86952643132276452108975033637599643972352469794954020825556/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^40 - 8399667640105905659247459530591453157873335733818086808690717286661\ 5517682768794090968107397602218145534457235246127250141805086176558\ 497563947221085529434417632760826281075805017868655547198/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^39 + 1506146950694391841814992647381395811183213371573835861751375433453\ 6972456916777907555959391952679131522070107089389141779081662798044\ 8245161809934842210439472431662540058729309241960162855690/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^38 - 1554720591348107562151229026755818459562681388262092581093794377450\ 2467043385518641986877871202743859063932941487922460871229875527236\ 38691574100272838395932657183464852297355761742326088842152/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^37 + 4086132787967208938038659105499499245919493073854810844070175713258\ 4719223805724947885941461624267847539224718868738788797495522886073\ 55262328087906587500630519712280522571625855120725846289044/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^36 - 2492795902966085077861212438629854445204585100413598245449477414375\ 9048284383575976845247014838251503335340529803144561312327629366635\ 535312539745835205786698438708217029746733458016677954890989/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^35 + 5856509019388386685020890416945135254916279190605834042005969905804\ 9220350242347138651687097545152460000871056416197334326847011023817\ 737299597567229135325213332689374733199947297500085973503181/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 - 2615702563266841071229532722178750449556434524801707554390976027849\ 5491758155885790697677555303481090144751126949016238625107504818234\ 7420714247000899576731043400998998540660699616489358569283578/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^33 + 3724679216912700715870553617218961591120540472006976263363878730788\ 7899640567858096437775731693213327073618071388179115745127295814633\ 0010561779900126243298523897063173140379838196342234427545830/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^32 - 2003226472775533784192270794852042200323621975518113892154963613820\ 7269393601689801556726505430440004522487376807454782610016751728395\ 35034005761883277860163294887375027875963812158912422292871995/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^31 + 1533392554234796089442096427400318277944557058822403140235234739047\ 4832722112194663011898885144121275297181545035202192167031129393713\ 05041015568791146877805128890740937074957310350560655824892721/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^30 - 1148287220298389514737702710806459154901534178148456965488462281558\ 8440883150002936717275134177791404003225516674772486284633847235451\ 911211505792133575466487643915108190626762200575428646433413536/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^29 + 46766463116237522589491918884341215815654786276109717550509260938\ 4981549980858339761398256254006720099430709756549783836382522126155\ 2776287480926456242043618021984083539714878962053017344649973051/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 8 - 521795755554651168404574239757311621842846821515190501895558786\ 0988038712065489150015677835243098903926336820985393307787038632531\ 5186951450218751579913655418385716658922509482416074346310309812507\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^27 + 828215810521635998670039837123805896562000628338800155560321\ 2035406106576002554185131456762366424745705223286668136245040215015\ 3780243189513773057451892396597261915625144197916294895008124432457\ 52/2876983773377597511485382579216517417750313535497880655590237182\ 3891332275578670834507338949836766306554246032027909375922094531381\ 1391342379487263420385278588479878700138176913030977296430213*c_100\ 1_2^26 - 2087362138323989532273758216476826200832688541152349626135\ 4925613204966891935243194214555171230792247606245501143211153906456\ 4669402516742941783760074813815092846593671143501936501798137792626\ 182320/287698377337759751148538257921651741775031353549788065559023\ 7182389133227557867083450733894983676630655424603202790937592209453\ 13811391342379487263420385278588479878700138176913030977296430213*c\ _1001_2^25 + 262061973500315076763288769119091198117065437211880798\ 1247786316351970818007412277326500781840898549038967995212257394114\ 3065387645677059969825576498376868187683149047296125340194683679754\ 568905123/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^24 - 688456906913976640967617135196372647279332275759882\ 9441895382365761782053783892744294637511725508152065091570814947081\ 3020342354164314070278658070723197890548138927835197662323239906846\ 1598142644216/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^23 + 20490346415934452992855423891638031936969078024\ 3494513330962215413080431353203562920593237936532431630877516882956\ 4446911038879979156439226017648167579913109534452762659906310173521\ 33181200582679608/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^22 - 1528851180145667400224684416335562468750592\ 8874580555892099098380005798269464319245083828031185855055408093191\ 5207859536796529961225514907765185178172516972476282513182434456251\ 5782277048580981707171/28769837733775975114853825792165174177503135\ 3549788065559023718238913322755786708345073389498367663065542460320\ 2790937592209453138113913423794872634203852785884798787001381769130\ 30977296430213*c_1001_2^21 + 75991701604888443170761889472630909930\ 7719510044234498052621615060784104206446611362408886835414963004703\ 4312220552555259459238527186923925428781897137724112216130689442560\ 11876763961454137472157843/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^20 - 2020556641771724346192513597835029\ 9548086455725987558774039182023768987769070049854716765640481986482\ 6298273928415315848728027995366325768548552155838630571238131586035\ 6940116428152705457545901475353/28769837733775975114853825792165174\ 1775031353549788065559023718238913322755786708345073389498367663065\ 5424603202790937592209453138113913423794872634203852785884798787001\ 38176913030977296430213*c_1001_2^19 + 1408942575157060438993461843752356758911838167138221916759521740567\ 6431476415993739256360814258484051973837800268665991685269142160547\ 50448776097154793759579794390201767985095787859316014734820383925/2\ 8769837733775975114853825792165174177503135354978806555902371823891\ 3322755786708345073389498367663065542460320279093759220945313811391\ 342379487263420385278588479878700138176913030977296430213*c_1001_2^\ 18 - 14762702338314862956503133120493783972568483060973244184144432\ 4604949383530076645235418897230406899847547412234294465330920694618\ 3081996189944424833144902893914245821086934268153832002591439366587\ 943/287698377337759751148538257921651741775031353549788065559023718\ 2389133227557867083450733894983676630655424603202790937592209453138\ 11391342379487263420385278588479878700138176913030977296430213*c_10\ 01_2^17 + 138196393275861486251051933584602031486931707658025471105\ 6304872882954747563395093351028825753616703625216404856637098043985\ 2366138935577686922121885698423129076609328382109439730227313338928\ 38250490/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^16 - 6319615380585833744373813771813083916346561782386198\ 1331221796675785485530587747010069019823295782963538153163780636880\ 6692129439272501008205776787963909250853659613046829550127287743175\ 712097690175/287698377337759751148538257921651741775031353549788065\ 5590237182389133227557867083450733894983676630655424603202790937592\ 2094531381139134237948726342038527858847987870013817691303097729643\ 0213*c_1001_2^15 + 684571626478744597951571086665950255036343103562\ 7401846869626569916917739343416527960882061825959890544894437415068\ 7730053611355812394632260323120112817418005316152734029634637302387\ 5353604806440425/28769837733775975114853825792165174177503135354978\ 8065559023718238913322755786708345073389498367663065542460320279093\ 7592209453138113913423794872634203852785884798787001381769130309772\ 96430213*c_1001_2^14 - 31037878147144218030027278404560319037927451\ 4974387576554549592899093210826808691073003804172869349049845736526\ 0934099259684856498966818105166271880823706563494525639763261129024\ 45082277371777537410/2876983773377597511485382579216517417750313535\ 4978806555902371823891332275578670834507338949836766306554246032027\ 9093759220945313811391342379487263420385278588479878700138176913030\ 977296430213*c_1001_2^13 + 2164153597628973277265934299274777725817\ 5994765827345921003659380690893533514940786137304782110146318163033\ 5927478722186875731060283791111368783251403709402977369340916006357\ 233002711672599242795476/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^12 - 179927691364078757864657318134817040\ 3203083839566454006638272409964448144221063632975764010244645245792\ 5430384509274836395635277737825484139940393309831583571416694545066\ 8700600107160463008048579990/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^11 + 1190753122950383670585801153725305296708261920920180977195830776910\ 1683236319988404520355934801564119648621520994465889227211460053175\ 5800579647480952552388398489513357104938362036788764320814865618/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 0 - 670885675773913906296243060508354723639278400409514181285861758\ 1322928665617136623533857250322112169015982515088248718819467368915\ 1620114394959765967036229602947390013184463011098414706955638471965\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^9 + 2313524791761917699374639403326360665498289106771462500700094\ 4375990264866147010353078354332983905659372849722974673128898608314\ 9745501718520164664298678969644181261284587805859605395382893698365\ /166299640079629913958692634636792914320827371994097147721979027883\ 7649264484316233208516702302703254714118267747277998608213556727233\ 475967511487071794134558314912593642417207589774435239481*c_1001_2^\ 8 - 233941616253956322097903614629329670989051910984869304640212097\ 0849072969784502057409494328046320613372588677621770866771164592361\ 1048269993581277506919510360828840790361383185162255951023687491296\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^7 + 8330369203771441763053482777687168749292665228771571112859382\ 7927061202476869025641944803551504717423937227150365947180687321396\ 0812897302027893439204929912134919695598403703148171749540669697241\ 3/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^6 - 137908259372595332690555530331208867394847833367688690586341\ 7832593441893951529795061437698075705596821882079786155611069626203\ 5427630613029593242447952103332869258083456570521339812430517326097\ 67/2876983773377597511485382579216517417750313535497880655590237182\ 3891332275578670834507338949836766306554246032027909375922094531381\ 1391342379487263420385278588479878700138176913030977296430213*c_100\ 1_2^5 - 69770338184122445727210964639947705398960824585084373708128\ 5974640066264095721375729140743063764575751460288526039454085763455\ 436684948780336864578135547802839144876539856244437983564717374335/\ 2876983773377597511485382579216517417750313535497880655590237182389\ 1332275578670834507338949836766306554246032027909375922094531381139\ 1342379487263420385278588479878700138176913030977296430213*c_1001_2\ ^4 + 10796867988623346116450396063920416606940191858979828838131546\ 6292847777323183398320074345006093573264210151343157369308099845290\ 83028287847701672821038615315741150183767234392681693513049940121/2\ 8769837733775975114853825792165174177503135354978806555902371823891\ 3322755786708345073389498367663065542460320279093759220945313811391\ 342379487263420385278588479878700138176913030977296430213*c_1001_2^\ 3 + 134933348582351974384480131943695512303837155295158606619939046\ 6590129859244146503615466380932168551977855346367101580404983699845\ 7246405273625389619559773106225928287977140860722755089805603470/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2 + 24088061816853259011179722475902642655491679007484472894652815869\ 4138522388459390904741219921056952956682878529435789525978587994743\ 5413336245788744198657428688687151749361584333559540614458333/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2 + 5751073307226339378488063110750993607349537724890516499903302195339\ 7921301606874359569355430219281614108708031691047634029406366010471\ 702924685920497193004203243214717135161519673326856706176/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213, c_0101_1 + 384878308296174879745380483056820683951157794547400652690484\ 9025400503599203156810699036471727637304157933226024609937510773570\ 778537993240176939456970064234246966268058068734211501785492084/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 - 15924507634631093894262544988873957518221191098621687356323561044\ 3785641544753409751315052819611420902418804080673836099997124585659\ 99604034925445470527582690995767948166038477345518432807256/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^40 + 5605976569886023887784023115505563296813639633692428883957124764049\ 8536171445289541358941396031869954600997994854221720115044974089253\ 814717037647408207764245982941611389909805167471376170499/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^39 - 1000113476935514673808366872987668434337416285906142144982079418072\ 1901481372118141374778043237140259693123059211140010848469536831585\ 5788340135275824149621051059150792937651890599362023643457/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^38 + 1041135525366781212989624738483277254510838391508597547135657522064\ 9002147623549596007223720624734009608957260398398121541048995620317\ 52034825908217480495561799277188794029398068377345859542321/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^37 - 2721366881443360023253118922782609569238469595842627494092827198787\ 5152878902690933068333321569907411469401298555149712874645526236064\ 70070592018293321931784486312523218689293395953725832977913/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^36 + 1667386211551022238183578257582832559436475900003889352318604088628\ 3299802197182175842980948771242563360335658572984163335259453533362\ 311597550624318737441289674873428032502916166087649915600865/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^35 - 3897450303648460673849228622359972251882762840532631901166028904662\ 7731058593578609830778081374166137821507411149738716488414684608758\ 628334121787692222330814390834358838319158595299247770699709/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 + 1747759311012395499386276231413414972448009264819540955383950817300\ 6524006468677164811437482537573530192906505205438677325213781639833\ 8301083177573755942344046683616986445791521741416640615098747/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^33 - 2465994374589408724214521184788014540582114791227651282896366099241\ 6083563776170358248616349778822015163828098362545735922054954697588\ 3497716995297681723645151052002907259916791416425379673677209/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^32 + 1339579413212027978983658379060823221406346673946920355654415083663\ 7302325040913622136676856771337258210631508313122459145957696695314\ 80570835914157807286347869773988890936647237566022941920636091/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^31 - 1003181658707808793691134668211741448221685470294786195933842787584\ 0360947984007244448749905427815105545219929123891816204172149892418\ 19083641970454288861957099655059010854537425767328935178186421/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^30 + 7687884398976758069814769576049259744804201712112679928182452412852\ 9379459068214067586058306637826005202343135452776054452343327944564\ 74783460958235201508106881068089249313298547062001491221715971/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^29 - 2987168143903044355660082092895509951009446747574079340498907297349\ 8922579250192143140446169830813504096999572875320887378757216248995\ 70507669959474521012145359918938983680516401443003450714850300/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^28 + 3497322635713305528293581714399999539015270573120763798463225499403\ 2723195850739309337598055528111903938387421997567579758653093653583\ 279472303207484687598704542925319974838162136287867611070527395/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^27 - 48551499694237475071598186315403932552024038143726048258749984574\ 1609352174374838301929638099946862030399495569297240748627146148462\ 8736992155067653717840336409008438446253387561105813476811033813/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 6 + 140070013118832053188371408679178253790473306916846175038450719\ 9684808623708718225997703876236268724349609146872296211809575824611\ 5023356342709677067702793774090752864647112298418256630583880396581\ 7/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^25 - 14710024970514216968839580749604476225838989695517489361649\ 6584662258654119485645529899473552140354227920948811469069017092089\ 5372092985147701843835938630054760848987838554654878942296424949115\ 1058/28769837733775975114853825792165174177503135354978806555902371\ 8238913322755786708345073389498367663065542460320279093759220945313\ 811391342379487263420385278588479878700138176913030977296430213*c_1\ 001_2^24 + 46217017361483564659525297219937559569417639223605367508\ 3543011608418809170976953326690644738697482081767456958919343990985\ 3131486303573091404253610751631927214887550033491898153239891595721\ 98118685/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^23 - 1277783908525607845723209007618947264103201719906551\ 1326420217235955497378705036060367007916787615735849000559352070202\ 2611724993619636332390054368097765799359869047601125812748188411095\ 367742089714/287698377337759751148538257921651741775031353549788065\ 5590237182389133227557867083450733894983676630655424603202790937592\ 2094531381139134237948726342038527858847987870013817691303097729643\ 0213*c_1001_2^22 + 102531417474516055343011901518889259375742147376\ 1898616627616807338388886643656499936595951007499131544694573555800\ 0871702744440227147220416595164955290578931115075489487904750455523\ 97181689369445280/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^21 - 4875673379057634175122755638436754678963019\ 9159525856055248769000879064798465279742118049888383190413933116302\ 0512531354317538169041369944714419150595731686951583584884466097788\ 981249277980975750171/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^20 + 135077275617415248574881633520817391883\ 2707819498500987558023566152444903864512629172611869872901585768705\ 1357002097525240765521843864465830127117009127787390045882805854985\ 39611470628260810018687010/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^19 - 9143390926195336701641678569072658\ 0196538201482047749099563828850244444311679905575185696702459209310\ 0907362507944078743851483065478875685115009757863248228861704818489\ 705420231903558504993457231496/287698377337759751148538257921651741\ 7750313535497880655590237182389133227557867083450733894983676630655\ 4246032027909375922094531381139134237948726342038527858847987870013\ 8176913030977296430213*c_1001_2^18 + 9779020894479406665681798516218063324121244130530827954759526812100\ 2394947307183272481615955499946770567366228220052043653978060834041\ 4138406410276854707670251385429881631117457747878601879417208009/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 7 - 903376232920103324665637827616275682811172605015987358255111374\ 2995151104298221885708316358972518277964432368884990507992037734471\ 4139416796671461340727838314889992818222290185323251394819810358298\ 9/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^16 + 40780601917457213563040720156799033589000420000951124127341\ 3259573380050752613140700762625241315284761408344113643230562050160\ 0702959420140630024209295347981676377995383253230821988358899427457\ 43221/2876983773377597511485382579216517417750313535497880655590237\ 1823891332275578670834507338949836766306554246032027909375922094531\ 3811391342379487263420385278588479878700138176913030977296430213*c_\ 1001_2^15 - 4500159769233699793037106762273840288402041328446182268\ 9158808218998330936968049170858522222078058570878534168949641807165\ 6470730048579717910813358528050252982720436635430285973371744817797\ 389226022/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^14 + 196988488927459516171057759690833646200202794617094\ 4460448457630502409696983924877380733393091575689240308271778998491\ 5803475031674430549399816368848943014964861979911888484890198996113\ 0473023647285/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^13 - 14240423041225479482896608919721281006219777103\ 6216349275693506627255645385449795153000086639903709532795955988214\ 1453656658154448974662311199996231072448600924351550806689219144555\ 80503223501621250/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^12 + 1161228265482470365126757930838988570728617\ 3655215459699438249014394447266421479560944108260769129388142056447\ 3165595453350074732056987059268968970775935232911919502784565164613\ 499352443514111303053/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^11 - 778775582119409791174903598788606357895\ 9439782445224937423578908450412546712974328864826344295172136130935\ 8310968186343563139227718819759586512701098921192237920545743282867\ 889680647142296532712229/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^10 + 433177113842240698981909705655216600\ 1149461082582719984592276189713215460331869505257425440799439576044\ 6588575987643533242645279926386588844260361271955725295063344906070\ 537814488443031489536103402/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^9 - 1488993752701621064076008442959994\ 9394779360690977510361803138551633639855039661370922240828753493921\ 5028316244147755399693696539176275323316087939125175992818242596342\ 941912869943755054788231219/166299640079629913958692634636792914320\ 8273719940971477219790278837649264484316233208516702302703254714118\ 2677472779986082135567272334759675114870717941345583149125936424172\ 07589774435239481*c_1001_2^8 + 150982993613083587922587285533800770\ 7391210713272620556481249290088432266347393591223680784835683219942\ 8263213210276000797371791925791798551981379928782033020124973120269\ 382814204463297664397303723/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^7 - 5244133242803484143527251467669849\ 9518862493778679069451723549709391973447078856848090762746218424188\ 9988633939170352080587934785123117992225476910717194790614796230498\ 4399600161681340925541295315/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^6 + 770752947211588823573606125305394\ 4169428279635541041743090375480994075016313206683732457049731715980\ 4365693759976242634030721318848697631132605768584810733287355265283\ 0515351563530191691314674303/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^5 + 508383924981239702205410712686891\ 0836486920026895630525677451633273370324375267042356474213800548357\ 5824217224469831807448311008894279570262641679412592399108857471679\ 806705933133858315405668452/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^4 - 1279777196888054929076512922431487\ 1209802939033760677330509309858897495961882296279331290196378271199\ 2714861035448039174485033809698678079890258451381514801290894984736\ 44627423368193759410786591/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^3 - 91160983870459453688397230319129334\ 0350799686359253256338480805948107288856375764324827137358573814814\ 2342816371658108510369060402432456685072889809961831525246932442780\ 336779161894715102332283/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^2 - 2090796171843707533097899461015602205\ 3244988578801998440241571056268047059515965839837448252212402262394\ 3219924466144035731098479104073842344013994125267928658259394131211\ 7822947220991634562492/28769837733775975114853825792165174177503135\ 3549788065559023718238913322755786708345073389498367663065542460320\ 2790937592209453138113913423794872634203852785884798787001381769130\ 30977296430213*c_1001_2 - 17425372319579032306883862216018364428249\ 2319825738082485818871754029673585003663778655514322631292177293172\ 5440732046569674645716128404053630714711269274916977763706653942968\ 27206151566901219/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213, c_0101_12 + 36316283492247832821388257433266727598273349863564022757158\ 5361194577211844304650830032618756354617661417794370653406516385430\ 4021435456714804792519551350028069372261274858308836470202994680/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^4\ 1 - 153347879919895955465060086018830239673925307759168376317616489\ 1524354043376215303890859987222525141704262464558828323169309336486\ 2266356046570162812434083763437766785265966404373362474550156/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^40 + 5413550310422635631661334088914318645878471065345780450747653505070\ 4373090234158618168268744575997105404343733630502161610526580005082\ 143238948499535858333962366360438029615463775349980733539/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^39 - 9873655918253234892559520506199268381370380364441979530855412309622\ 8696632790368062405651255845882152766607086445546405406210990788402\ 746744316932765858068541403794609424377036224476792538221/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^38 + 9899591752472813272127977713973925476717207552662565047605447602670\ 4323759336286815248731623773530285778938865605824963401095605183654\ 9367676078996414633451938584512779238750623546005058738670/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^37 - 2650714322130242960012418746000806585619986148979514857598368386969\ 3693588296827717610481289585833414544937171993304849500884909503878\ 22114309409629078065776535883574794341531609442047333129683/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^36 + 1594144993765857101360096494135700509615919610577795559597538008844\ 5250046707508779182129806765684935133505132805979804919557200729213\ 468328535322927971110795677297216647621839460616561838277096/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^35 - 3809371203736358447061336857367509526676073242543227588697583856997\ 7292567816226642062376997304647237281433922753803987900069007034311\ 275899409744992791734774134645144953053863588541732626073910/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 + 1678899115599076750069446516709725077228884582166363875264299253682\ 5489311070747064753424348254339401953039864822236867842227556503128\ 1029234483826747324018104624343803185038886137266992341418989/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^33 - 2464365786947605775432715108350415973688907257774829841253420624025\ 9564938185088298055087953545268558045714656618647759888715607129132\ 7872988971733067075829197485416652306704048332953300332029867/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^32 + 1282248858519379531468374410076302044275911096916416051947615089379\ 6862851542558468125470080743056684050385146139790186725412943564625\ 84374178449923757864138681568133898570484341487178681976482894/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^31 - 1052797138974964671168927764446157306283067321843674801833369774864\ 5924205885027232702662346367671556316572593997568303760392685926882\ 09695574194985491417444845796548566358538969009456097989938939/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^30 + 7322205532486039432560501327420839505920261184226485340700492979344\ 5835303262053255514844437539250683568276015801806309686710154532772\ 70375038061479104456373696876913987407496386018395103833950449/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^29 - 3435110921536570072934375723881200231048429771289233077800491338149\ 4216325573107201675242926222783823071905799258293071891786075943624\ 41180924795784446532640650653768177099835425273653442670669862/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^28 + 3316331719230930095508712171717439163160175896544213672886733031180\ 8858423983490997589498462445565810192320544652485250371214219697435\ 681772874869765016353652544228655626497568311143877816075989684/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^27 - 74161718336662598852189051437636726652178879287206679233426354469\ 9011220557145092158102142049502446861158605861820636719550188017743\ 9599837536032355735201910739015654251478894780892161745668925104/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 6 + 132187487899672967575643078417363100327587270319271916017020680\ 2117685432517374286787199104629775045889585806188124375843506515309\ 3004190177603333214679598006107644804886493360366511313725664415187\ 8/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^25 - 25349907477919120164675999553448634483850708031041928955229\ 4377675129973462358031115592974441127425770935727211761918150028080\ 3485737116390713102936521696742272446073378479934870844097229471673\ 8565/28769837733775975114853825792165174177503135354978806555902371\ 8238913322755786708345073389498367663065542460320279093759220945313\ 811391342379487263420385278588479878700138176913030977296430213*c_1\ 001_2^24 + 43571251376586216268294751698108613353995429365395963797\ 6860204123678076579067364455161164786623958008670103578525334896366\ 1379145670673835457111620715480195922406978597499321846861100404270\ 04997874/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^23 - 1586735261560372728735791007940628735934062230426163\ 3539106451648056780281135691375619588304663152131532672256879538281\ 8549481433769724220043297471728932922028086721600773292408769275468\ 790388500897/287698377337759751148538257921651741775031353549788065\ 5590237182389133227557867083450733894983676630655424603202790937592\ 2094531381139134237948726342038527858847987870013817691303097729643\ 0213*c_1001_2^22 + 972405238760372463330302971929300739631813100827\ 3285374909438628166899885955937664595598275144296160610912793770556\ 6760114535144379095676143278619188563731181047565062959426308423444\ 5553900290091807/28769837733775975114853825792165174177503135354978\ 8065559023718238913322755786708345073389498367663065542460320279093\ 7592209453138113913423794872634203852785884798787001381769130309772\ 96430213*c_1001_2^21 - 54495897068418604021915288886790980845537156\ 3585251715558615392123718935840632835256508231829789759099573813227\ 6839744040546224852822684979908471263312893205951084326403673561140\ 01105233381441382413/2876983773377597511485382579216517417750313535\ 4978806555902371823891332275578670834507338949836766306554246032027\ 9093759220945313811391342379487263420385278588479878700138176913030\ 977296430213*c_1001_2^20 + 1301825399679431781743672787815794300747\ 0889318578379110028945350944806618571369515726416607722764677740177\ 5355699811810648772585453758272633375644905023958512276450091268918\ 9883642685541761766889888/28769837733775975114853825792165174177503\ 1353549788065559023718238913322755786708345073389498367663065542460\ 3202790937592209453138113913423794872634203852785884798787001381769\ 13030977296430213*c_1001_2^19 - 97469159534461747822740311876875859\ 8461339833390910751156479873885845590023555352153917503598160497977\ 4898143331505590632346918249267438327400892432094720847959232675132\ 93808083057826057117834114710/2876983773377597511485382579216517417\ 7503135354978806555902371823891332275578670834507338949836766306554\ 2460320279093759220945313811391342379487263420385278588479878700138\ 176913030977296430213*c_1001_2^18 + 9808927620305506755201677399561746645392712051231790076926694452108\ 9172896444053682048582116964850835972506286871596175163483829184130\ 3914510630427783762632943862392469488246432187548117477575528710/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 7 - 931833583609376094918706072891812471981858416431056835355191923\ 2196524905926363995237122753216890422017506945713838294982902577527\ 7228045235025583253427016460098070229434531537406212534687622471812\ 0/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^16 + 44801445364432621540484876555253412937898185200030600749218\ 5280405110347936202475639750729674207512704992372135521976898358685\ 4153076698429427004552853604178526306063686310335830634898540324769\ 75628/2876983773377597511485382579216517417750313535497880655590237\ 1823891332275578670834507338949836766306554246032027909375922094531\ 3811391342379487263420385278588479878700138176913030977296430213*c_\ 1001_2^15 - 4535686780221956478541136207609923504775425303380802318\ 7365596006115198626239039051230337184570642136338050689611109073719\ 4401954725524009647559076828332178895150009410466741890379024934448\ 978490799/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^14 + 221116865779531669442260689576991319114383348009686\ 4798446178965069206016922818716746949501767449757511794415013005539\ 1703088440440142615695802151688371786203280860255151815518601963856\ 1859381527751/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^13 - 14556356125472987490112735136251201141542912017\ 9564205934270173212269998673771366226753207958410483256412681368131\ 4626010432641931320699680445188682295576331668878438931427666329311\ 26165248202664527/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^12 + 1218065700510984304807036398815945541793931\ 7214327575104500593087819629869812881935098798994808896885405930187\ 5459056151759455397850513198136893712876689333808579751777083445164\ 943071085877259424746/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^11 - 809887423884174662206147246810931998885\ 6493301186075050588500162686663632564380583094834604657010307703380\ 8238464922619959194315395240431638106149924448808975925291529594992\ 459965581985366576981787/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^10 + 467370846646298419584878148146122742\ 7913038128556310705178004447165856607663019779509333621389989786650\ 8873428472996768000046563278932274057993043426970692591261096416307\ 682740556021657681740618120/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^9 - 1583688449433960033791159859920396\ 8838207201772610777448882315738131664245612250305932570635361059605\ 5193650153464230298947577359567668271206694912541946047177075589513\ 137479203734383952275761788/166299640079629913958692634636792914320\ 8273719940971477219790278837649264484316233208516702302703254714118\ 2677472779986082135567272334759675114870717941345583149125936424172\ 07589774435239481*c_1001_2^8 + 160727262048421706241140686255029764\ 8398672897742423696942313935285558929522066381838688500400655670304\ 0616272619046441298342002061390168062152889329244236740516169329425\ 116161191930031805712263369/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^7 - 6000358455096480989573806419873611\ 9151128893666654511961496707977051962951175045439212168963496500386\ 4002063567470320047154191139653128137052749297119869389159810441011\ 9499818519236314427776552845/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^6 + 108127105095666038722901049697828\ 9757151319988546861014171033867353560089213865865272224678365050325\ 6048911648942390937963157882632903297713748823617658313975383770403\ 79620394532058030430154115602/2876983773377597511485382579216517417\ 7503135354978806555902371823891332275578670834507338949836766306554\ 2460320279093759220945313811391342379487263420385278588479878700138\ 176913030977296430213*c_1001_2^5 + 6687058180553685465884996691476817620976944414796695430985758151140\ 0934832521670813020570837073850732587721606267334054351319271101991\ 92425574512915458797112390072567151426732906108497918356414/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^4 - 2613273563056524090459681147653611858034857160831926803661298200010\ 9179926096064300874329263631336464295068535901190795790818374837442\ 486436487734693021412713203992315518893913205130095118726846/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^3 - 5404902582554942438850826085677839939485067293197608836767308225867\ 1775137339982962522947723163500115913947051725221476147635968184174\ 68618610194163209630210407331610244620886790337276393114949/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^2 - 8548061895358544915877666251669723951966682940583811821792771010404\ 5918981268113471586632276219026304805605281987770448792149040279608\ 6897052944286468063924800549553192827878081292152202009723/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2 - 6315207732361168545489017966599531988826895223778782233768823432563\ 1674260008484096315242394357937565242736548310914379672337594561685\ 510427512752478193311727358999370958349414000507284885684/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213, c_0101_2 + 111975087040480867800806971510146955191466415387216262470293\ 5015531944497834348646011687063549130680884027132291996015387403184\ 353455616830042774660307028776450329098868586002395327716653086/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 - 46250145205519374977309275688716026592518555576580179016722059559\ 0241552426583151737289687598276410878413243752609880709877481223047\ 1400341312632467468796708821812025096833716004161381523737/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^40 + 1626908152703361160909947711641457438468395116951877783959062710125\ 7802964764600734778427417220098811490617775598107228348819507099097\ 353390386282274755788480451166565409906624520009811317059/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^39 - 2894501958923893679433737709348659840186193016909739501190134544490\ 6356491890657809276793903186103266017806172984720419322867089904257\ 419771360837118040415156735020681868221294196218554361393/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^38 + 3025664879979791014740166261222571180605810981423983454116666630965\ 0197503789341984991230041417523703529186384735004213420046764722670\ 8871629987082362433178054241296967841459828384307892005047/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^37 - 7893150620431798411357230767860021913733333270457400037696462611040\ 1875350717264167363046419275592044601355706823936889825293711146671\ 1516710971627901703150687999715617682985090962258721843641/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^36 + 4843173635498217187814817954189015111044711030974025651193148497742\ 6014268937555410041922189427323544825072710668756718318204194594693\ 24284573456970107544754385518057409109218341141701924519219/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^35 - 1129794951099005987510449801020403719294692467349128208807441206121\ 4248494103990327023662698349759216057545571079037723625957336000566\ 514643636292688839370347737188801644968071497762333735663510/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 + 5073113700194801866268353756286550917956150787439216355824046943833\ 1506914102065418366855660501344767106577052137041444571121735414664\ 616394814011361255397585033875042310104513502422202593951377/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^33 - 7128587345248750718547559912892209422792032522070457019842393001073\ 8091707331982462360839918573068247915966106674535188355457681284835\ 229171518094521428119958695618713229819095981510646506014328/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^32 + 3888229000303454898999041602193915581034535372751276812339122976144\ 2175399488267466830707986315355271107852701705672205548092077819590\ 2002073667173135728314945623686128484418651188831067032887885/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^31 - 2883907028298169543705957658730806703409893014299287628035894952196\ 3419680179819413199392985155853399016996821515132789072762049805012\ 3313484068660123414598188721255052553238530018483346889461325/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^30 + 2231579487828824816829427555563135315557401179955028287092325591037\ 8849503174219454578123247977203339809750954113316448692019898603440\ 20324850098883761517227610175838045163832617618034665343847661/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^29 - 8496446118630122042964921086114180912005120585197635696729698829404\ 8307286747380236946839429580720067150263706546963092629750965520955\ 6327576196908762869501875767407903485158861723782419390485250/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^28 + 1015159869701234329587013080808403191557370340945363654424826327956\ 0662676126503687654844440325861135366924087298803746659061554971768\ 664072580341087545514530587508551956854474091603602039773517008/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^27 - 13259404631734639550063363646766705867699207099939310412462579260\ 1825728672457563029588100121663352045897019229853556739983440294620\ 8813071559855850232981501635142749096095947770772121127245527990/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 6 + 406635688522159080634182090565764309282372016973065358268160139\ 7495291781963573537708897158759287274372743770605598686650697160584\ 4114706254228604063911269642933490886183944505884590833231346755557\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^25 - 394419744266672822953554972774814359016489041139902561029804\ 5827771286455521358175738989894302315767211899843561900055610000999\ 7501693520415407651494693039261348150492799206946138842981795930350\ 99/2876983773377597511485382579216517417750313535497880655590237182\ 3891332275578670834507338949836766306554246032027909375922094531381\ 1391342379487263420385278588479878700138176913030977296430213*c_100\ 1_2^24 + 1341236230338958723199113758838502980239608506157944269982\ 6322954638046761674967058382424630425463446164648741124970466559250\ 8618855142017325497344967428579106332577958149409878852025717937238\ 708575/287698377337759751148538257921651741775031353549788065559023\ 7182389133227557867083450733894983676630655424603202790937592209453\ 13811391342379487263420385278588479878700138176913030977296430213*c\ _1001_2^23 - 360529191940268693709749934514605673903220212757988753\ 3871431975258113418646602585851019710088012649647547136011447101563\ 1513663435436284527757203284566540962438845094664033294637086542084\ 942908745/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^22 + 297001340998228035069675247313206321672607435753463\ 2511325068802359972377276442196922529922995342046121189248389323195\ 6019726423937266239575475299582604249233928174115936957874347413936\ 8786288107144/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^21 - 13903591659293275969051722931342752673009082453\ 3389989978448950363197104027437252459863151872677952244850811103473\ 0499491133116988669069500500894874742644022802917517813587544051337\ 11237142534411293/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^20 + 3894774878482346586110548586238316464633123\ 0374680631026325842245406597374585662140832766715424432431099372728\ 7461446444318857473268430114816964106225026173603167552588009344450\ 723367916615362936721/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^19 - 261248319073219461477783677061429989120\ 5882847120312368969487073347285782811559448018823305512750343622508\ 8621150153840617815030812004288047038000508105923413590014460625196\ 7731048440725430860960191/28769837733775975114853825792165174177503\ 1353549788065559023718238913322755786708345073389498367663065542460\ 3202790937592209453138113913423794872634203852785884798787001381769\ 13030977296430213*c_1001_2^18 + 27873512369211500514077317708146234\ 9031529122813475880612389753334722428726168257070230897210638342412\ 8597894561925227663288061053119982330079843885713940570826817825265\ 02590823197047952685240934174/2876983773377597511485382579216517417\ 7503135354978806555902371823891332275578670834507338949836766306554\ 2460320279093759220945313811391342379487263420385278588479878700138\ 176913030977296430213*c_1001_2^17 - 2575213504412321110482491211372214614513762561562422370238692560694\ 4899204997824401878590677266438316972152388886217327594709854882142\ 0932032277140056997796747523557682675337405960125396132980581484/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 6 + 113109164176602583706545385388311833024164555259801177580421834\ 2945229967109740396925693904989664114868046923936979735926841547913\ 2225549374029485092984556375573423646995382485658578339462960311470\ 3/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^15 - 12692648029980661119672693337068532399811667793795746695157\ 6141129687740354199034887176967466607692612491279259542007048975197\ 2514490305254115344686103859669592158800953208084770588661738262403\ 84025/2876983773377597511485382579216517417750313535497880655590237\ 1823891332275578670834507338949836766306554246032027909375922094531\ 3811391342379487263420385278588479878700138176913030977296430213*c_\ 1001_2^14 + 5427439405977839552664387587344338739641754619784777895\ 3771777910388651611305603120781852667463835662441250080581558641073\ 0471446643558785640664006519870083830748866549229052620053595573903\ 59952924/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^13 - 3924565033694655242859250163649540078482780738781822\ 9600833847214809788701177574343378995474447065309542735633976861187\ 2242721866468308703125042167592291087133182915670844068799315467187\ 01491334779/2876983773377597511485382579216517417750313535497880655\ 5902371823891332275578670834507338949836766306554246032027909375922\ 0945313811391342379487263420385278588479878700138176913030977296430\ 213*c_1001_2^12 + 3262233022652967594972232289733936486656188643243\ 5652482551442675311772016763017666383565397982591017089573795654887\ 1569689875485934920773500953363277114207254410575586840491190324463\ 49374764968327/2876983773377597511485382579216517417750313535497880\ 6555902371823891332275578670834507338949836766306554246032027909375\ 9220945313811391342379487263420385278588479878700138176913030977296\ 430213*c_1001_2^11 - 2170927739440017968421406932120650025536665554\ 9288516476966621393957696894358212799697324674629617720182084770665\ 8643320293598117356360870329774353437823499897867396574832143838725\ 29309110299791718/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^10 + 1200717974567752689644077866742248472280548\ 9648725406750286011426350736148353646510243768020668829166844274472\ 1671764635579754485430373563446889188372507557825640473470158973932\ 63623237419153059933/2876983773377597511485382579216517417750313535\ 4978806555902371823891332275578670834507338949836766306554246032027\ 9093759220945313811391342379487263420385278588479878700138176913030\ 977296430213*c_1001_2^9 - 41094859415940984546174472390904384837185\ 9973274863630155359499769489580252529793602805068891283286491749647\ 8399385772980371847450603158726504416893392174682536292407887704293\ 9792162054910650214/16629964007962991395869263463679291432082737199\ 4097147721979027883764926448431623320851670230270325471411826774727\ 7998608213556727233475967511487071794134558314912593642417207589774\ 435239481*c_1001_2^8 + 41009212142616433861649452834341687273533180\ 8712580275836606307009484348549733315624417812003567732249605069092\ 1446482120227270406927291755692259659728068798567633444478336002050\ 064890018337933300/287698377337759751148538257921651741775031353549\ 7880655590237182389133227557867083450733894983676630655424603202790\ 9375922094531381139134237948726342038527858847987870013817691303097\ 7296430213*c_1001_2^7 - 1378053767838275569753749191338138717444977\ 1863149284120432875875577889628447122260198080498451146570625383254\ 6492476720327459717684236438845759667792531061001589398707959093063\ 7228457044071418270/28769837733775975114853825792165174177503135354\ 9788065559023718238913322755786708345073389498367663065542460320279\ 0937592209453138113913423794872634203852785884798787001381769130309\ 77296430213*c_1001_2^6 + 147454229517463463233119867895253739328371\ 1246252703473281355620259336025547252001719608873107670577349792608\ 2001714026687313071423881733631744098892375832180813904155028630040\ 9366469491597411033/28769837733775975114853825792165174177503135354\ 9788065559023718238913322755786708345073389498367663065542460320279\ 0937592209453138113913423794872634203852785884798787001381769130309\ 77296430213*c_1001_2^5 + 528635384192370661221962890318637616716157\ 5207847925257510661245404303547080219025646644599627747339952329231\ 7580206930271123243169943198978619673641814563126847269933654965114\ 693647954184454422/287698377337759751148538257921651741775031353549\ 7880655590237182389133227557867083450733894983676630655424603202790\ 9375922094531381139134237948726342038527858847987870013817691303097\ 7296430213*c_1001_2^4 - 1443074272385947950801481262418923313740729\ 4463327419113769443810749302796663598064396960905457753797572132324\ 4614358009590978554695701792737595705866582465971688722043946028665\ 97830695822427147/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^3 - 17775441960683274545003498919028541060838604\ 8559984906169974009080780786401727750283294273633251547159637304568\ 3064928132534606257149077590560211390524414157465957345744735884229\ 462483333351460/287698377337759751148538257921651741775031353549788\ 0655590237182389133227557867083450733894983676630655424603202790937\ 5922094531381139134237948726342038527858847987870013817691303097729\ 6430213*c_1001_2^2 - 9328352406274162743639358145212110621103109513\ 1201822177079036273122370682446776970010622156459208375118946668340\ 7866466814054587176272267553457054969691389349565477498188600575357\ 27118772901/2876983773377597511485382579216517417750313535497880655\ 5902371823891332275578670834507338949836766306554246032027909375922\ 0945313811391342379487263420385278588479878700138176913030977296430\ 213*c_1001_2 + 2046571446255244885476852090255579514298207771994211\ 9826017210128185767677832697642909283234937858201214960778256103666\ 3270115011974285953123933997601441389754571582460092139934758951515\ 250498/287698377337759751148538257921651741775031353549788065559023\ 7182389133227557867083450733894983676630655424603202790937592209453\ 13811391342379487263420385278588479878700138176913030977296430213, c_0101_5 - 384878308296174879745380483056820683951157794547400652690484\ 9025400503599203156810699036471727637304157933226024609937510773570\ 778537993240176939456970064234246966268058068734211501785492084/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 + 15924507634631093894262544988873957518221191098621687356323561044\ 3785641544753409751315052819611420902418804080673836099997124585659\ 99604034925445470527582690995767948166038477345518432807256/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^40 - 5605976569886023887784023115505563296813639633692428883957124764049\ 8536171445289541358941396031869954600997994854221720115044974089253\ 814717037647408207764245982941611389909805167471376170499/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^39 + 1000113476935514673808366872987668434337416285906142144982079418072\ 1901481372118141374778043237140259693123059211140010848469536831585\ 5788340135275824149621051059150792937651890599362023643457/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^38 - 1041135525366781212989624738483277254510838391508597547135657522064\ 9002147623549596007223720624734009608957260398398121541048995620317\ 52034825908217480495561799277188794029398068377345859542321/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^37 + 2721366881443360023253118922782609569238469595842627494092827198787\ 5152878902690933068333321569907411469401298555149712874645526236064\ 70070592018293321931784486312523218689293395953725832977913/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^36 - 1667386211551022238183578257582832559436475900003889352318604088628\ 3299802197182175842980948771242563360335658572984163335259453533362\ 311597550624318737441289674873428032502916166087649915600865/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^35 + 3897450303648460673849228622359972251882762840532631901166028904662\ 7731058593578609830778081374166137821507411149738716488414684608758\ 628334121787692222330814390834358838319158595299247770699709/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 - 1747759311012395499386276231413414972448009264819540955383950817300\ 6524006468677164811437482537573530192906505205438677325213781639833\ 8301083177573755942344046683616986445791521741416640615098747/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^33 + 2465994374589408724214521184788014540582114791227651282896366099241\ 6083563776170358248616349778822015163828098362545735922054954697588\ 3497716995297681723645151052002907259916791416425379673677209/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^32 - 1339579413212027978983658379060823221406346673946920355654415083663\ 7302325040913622136676856771337258210631508313122459145957696695314\ 80570835914157807286347869773988890936647237566022941920636091/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^31 + 1003181658707808793691134668211741448221685470294786195933842787584\ 0360947984007244448749905427815105545219929123891816204172149892418\ 19083641970454288861957099655059010854537425767328935178186421/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^30 - 7687884398976758069814769576049259744804201712112679928182452412852\ 9379459068214067586058306637826005202343135452776054452343327944564\ 74783460958235201508106881068089249313298547062001491221715971/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^29 + 2987168143903044355660082092895509951009446747574079340498907297349\ 8922579250192143140446169830813504096999572875320887378757216248995\ 70507669959474521012145359918938983680516401443003450714850300/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^28 - 3497322635713305528293581714399999539015270573120763798463225499403\ 2723195850739309337598055528111903938387421997567579758653093653583\ 279472303207484687598704542925319974838162136287867611070527395/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^27 + 48551499694237475071598186315403932552024038143726048258749984574\ 1609352174374838301929638099946862030399495569297240748627146148462\ 8736992155067653717840336409008438446253387561105813476811033813/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 6 - 140070013118832053188371408679178253790473306916846175038450719\ 9684808623708718225997703876236268724349609146872296211809575824611\ 5023356342709677067702793774090752864647112298418256630583880396581\ 7/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^25 + 14710024970514216968839580749604476225838989695517489361649\ 6584662258654119485645529899473552140354227920948811469069017092089\ 5372092985147701843835938630054760848987838554654878942296424949115\ 1058/28769837733775975114853825792165174177503135354978806555902371\ 8238913322755786708345073389498367663065542460320279093759220945313\ 811391342379487263420385278588479878700138176913030977296430213*c_1\ 001_2^24 - 46217017361483564659525297219937559569417639223605367508\ 3543011608418809170976953326690644738697482081767456958919343990985\ 3131486303573091404253610751631927214887550033491898153239891595721\ 98118685/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^23 + 1277783908525607845723209007618947264103201719906551\ 1326420217235955497378705036060367007916787615735849000559352070202\ 2611724993619636332390054368097765799359869047601125812748188411095\ 367742089714/287698377337759751148538257921651741775031353549788065\ 5590237182389133227557867083450733894983676630655424603202790937592\ 2094531381139134237948726342038527858847987870013817691303097729643\ 0213*c_1001_2^22 - 102531417474516055343011901518889259375742147376\ 1898616627616807338388886643656499936595951007499131544694573555800\ 0871702744440227147220416595164955290578931115075489487904750455523\ 97181689369445280/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^21 + 4875673379057634175122755638436754678963019\ 9159525856055248769000879064798465279742118049888383190413933116302\ 0512531354317538169041369944714419150595731686951583584884466097788\ 981249277980975750171/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^20 - 135077275617415248574881633520817391883\ 2707819498500987558023566152444903864512629172611869872901585768705\ 1357002097525240765521843864465830127117009127787390045882805854985\ 39611470628260810018687010/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^19 + 9143390926195336701641678569072658\ 0196538201482047749099563828850244444311679905575185696702459209310\ 0907362507944078743851483065478875685115009757863248228861704818489\ 705420231903558504993457231496/287698377337759751148538257921651741\ 7750313535497880655590237182389133227557867083450733894983676630655\ 4246032027909375922094531381139134237948726342038527858847987870013\ 8176913030977296430213*c_1001_2^18 - 9779020894479406665681798516218063324121244130530827954759526812100\ 2394947307183272481615955499946770567366228220052043653978060834041\ 4138406410276854707670251385429881631117457747878601879417208009/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 7 + 903376232920103324665637827616275682811172605015987358255111374\ 2995151104298221885708316358972518277964432368884990507992037734471\ 4139416796671461340727838314889992818222290185323251394819810358298\ 9/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^16 - 40780601917457213563040720156799033589000420000951124127341\ 3259573380050752613140700762625241315284761408344113643230562050160\ 0702959420140630024209295347981676377995383253230821988358899427457\ 43221/2876983773377597511485382579216517417750313535497880655590237\ 1823891332275578670834507338949836766306554246032027909375922094531\ 3811391342379487263420385278588479878700138176913030977296430213*c_\ 1001_2^15 + 4500159769233699793037106762273840288402041328446182268\ 9158808218998330936968049170858522222078058570878534168949641807165\ 6470730048579717910813358528050252982720436635430285973371744817797\ 389226022/287698377337759751148538257921651741775031353549788065559\ 0237182389133227557867083450733894983676630655424603202790937592209\ 4531381139134237948726342038527858847987870013817691303097729643021\ 3*c_1001_2^14 - 196988488927459516171057759690833646200202794617094\ 4460448457630502409696983924877380733393091575689240308271778998491\ 5803475031674430549399816368848943014964861979911888484890198996113\ 0473023647285/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^13 + 14240423041225479482896608919721281006219777103\ 6216349275693506627255645385449795153000086639903709532795955988214\ 1453656658154448974662311199996231072448600924351550806689219144555\ 80503223501621250/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^12 - 1161228265482470365126757930838988570728617\ 3655215459699438249014394447266421479560944108260769129388142056447\ 3165595453350074732056987059268968970775935232911919502784565164613\ 499352443514111303053/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^11 + 778775582119409791174903598788606357895\ 9439782445224937423578908450412546712974328864826344295172136130935\ 8310968186343563139227718819759586512701098921192237920545743282867\ 889680647142296532712229/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^10 - 433177113842240698981909705655216600\ 1149461082582719984592276189713215460331869505257425440799439576044\ 6588575987643533242645279926386588844260361271955725295063344906070\ 537814488443031489536103402/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^9 + 1488993752701621064076008442959994\ 9394779360690977510361803138551633639855039661370922240828753493921\ 5028316244147755399693696539176275323316087939125175992818242596342\ 941912869943755054788231219/166299640079629913958692634636792914320\ 8273719940971477219790278837649264484316233208516702302703254714118\ 2677472779986082135567272334759675114870717941345583149125936424172\ 07589774435239481*c_1001_2^8 - 150982993613083587922587285533800770\ 7391210713272620556481249290088432266347393591223680784835683219942\ 8263213210276000797371791925791798551981379928782033020124973120269\ 382814204463297664397303723/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^7 + 5244133242803484143527251467669849\ 9518862493778679069451723549709391973447078856848090762746218424188\ 9988633939170352080587934785123117992225476910717194790614796230498\ 4399600161681340925541295315/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^6 - 770752947211588823573606125305394\ 4169428279635541041743090375480994075016313206683732457049731715980\ 4365693759976242634030721318848697631132605768584810733287355265283\ 0515351563530191691314674303/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^5 - 508383924981239702205410712686891\ 0836486920026895630525677451633273370324375267042356474213800548357\ 5824217224469831807448311008894279570262641679412592399108857471679\ 806705933133858315405668452/287698377337759751148538257921651741775\ 0313535497880655590237182389133227557867083450733894983676630655424\ 6032027909375922094531381139134237948726342038527858847987870013817\ 6913030977296430213*c_1001_2^4 + 1279777196888054929076512922431487\ 1209802939033760677330509309858897495961882296279331290196378271199\ 2714861035448039174485033809698678079890258451381514801290894984736\ 44627423368193759410786591/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^3 + 91160983870459453688397230319129334\ 0350799686359253256338480805948107288856375764324827137358573814814\ 2342816371658108510369060402432456685072889809961831525246932442780\ 336779161894715102332283/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^2 + 2090796171843707533097899461015602205\ 3244988578801998440241571056268047059515965839837448252212402262394\ 3219924466144035731098479104073842344013994125267928658259394131211\ 7822947220991634562492/28769837733775975114853825792165174177503135\ 3549788065559023718238913322755786708345073389498367663065542460320\ 2790937592209453138113913423794872634203852785884798787001381769130\ 30977296430213*c_1001_2 + 17425372319579032306883862216018364428249\ 2319825738082485818871754029673585003663778655514322631292177293172\ 5440732046569674645716128404053630714711269274916977763706653942968\ 27206151566901219/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213, c_0110_11 + 27646756669126932282540190522945542698517773953937571941200\ 9138415673237949329841481000546310495087101815006729201620194627746\ 493901161340464190562275790633297958827063692203893577988178818/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 - 83008132360480602415991234414922780440858580772881577097303495948\ 9400094527521884354096902864054225410639728093111512739670920749409\ 043099405962148869986102094554713187998843982292707617369/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^40 + 2699955588916621233383706450581706976375386544943293014341132563994\ 2830013224722546825277419246125046063996037050551619129704736245457\ 54321751719790365357375541416000590134233726692581573277/2876983773\ 3775975114853825792165174177503135354978806555902371823891332275578\ 6708345073389498367663065542460320279093759220945313811391342379487\ 263420385278588479878700138176913030977296430213*c_1001_2^39 - 2538235588320354293898438257719840911667015319141737547160361788301\ 3645708920765514550736773693148528977002781856251785239007914668708\ 42155652328147962281598514299824254418536333443543641757/2876983773\ 3775975114853825792165174177503135354978806555902371823891332275578\ 6708345073389498367663065542460320279093759220945313811391342379487\ 263420385278588479878700138176913030977296430213*c_1001_2^38 + 6637768000455984953402701739800989425553561451707136215207865207522\ 6746028676369196118038615101602379395514175481075032297726803357734\ 383801633216864412277215116619389976373773874147117354349/287698377\ 3377597511485382579216517417750313535497880655590237182389133227557\ 8670834507338949836766306554246032027909375922094531381139134237948\ 7263420385278588479878700138176913030977296430213*c_1001_2^37 - 1104113142822192759549398273796364013359738655449264748092014830384\ 0046303017042873611761621703612135290303279480899407963936329452869\ 5731106393509173223656800645960827752311773172467389686200/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^36 + 9690016891826961758366001002777113262087523387336200122546475272580\ 4213747407509489400281505149534740730639154264167090922907406333882\ 3915328018577155179752639060434124993015246016358115853591/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^35 - 1431226797207450036546051765708880168767730390279684044522684120471\ 7595155386683432652893304826398877949668166825128174069646481905994\ 17464516112488839914355918502813382453478237521416950558821/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^34 + 9278932876211895514312704202591828332348007869314249746187388663494\ 7630563568823523595096779830680142276492504920648290792209351369859\ 78053717329001046314797584447120476524917449504156649107877/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^33 - 3350243961564708694679708410660086669569679551211699932921867151867\ 3858418660940962430870487170332254653726085547564520233663031610355\ 77756528748708079900975969308459560070946900280803289854828/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^32 + 7518608212749527220593837945578587614430159198447772342135263400984\ 5892684771343470543927640366992316228148594792672944883652387337864\ 812097582880430771064996234021467794070075163266506370942412/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^31 + 3718708381659901785734075553162682555930927810861657976963566164501\ 8609676004035828480232922876460223118293893937524415503732411885282\ 445105393872008093230784655701935028011123158960307473207046/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^30 + 4625221351049052171332714186459425703402824836543123459964085608448\ 5714162781578570143865448411578815593312676524571097841667565313619\ 1892076323056749156259929432270629073000352167987511035540377/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^29 + 4055563888320615324288315061618717104827976463702103323396721010436\ 5702113678908896399098497868652788680973596835080314635572649311709\ 5553345783342723381299626132940490330002888099637112339814278/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^28 + 2217007920483949219484360280181412727230161425905464193156351835006\ 5184228576190457290221500994789608122074936889935733280822512835571\ 37784003003294328732061448365196017422575656218757891474117104/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^27 + 2441295172434290979570289950432834058906431323121119937444389164794\ 9901791245226136530682992034802637739292101976664276061290781019229\ 08398702737451621560881870465782834272719063502726439146774334/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^26 + 9405258252181793737763936380629649529243853413706241504902416680107\ 3097021112688816945941285456558362125750821673175350181791160962953\ 77720653359365485593944317886721140574508135912803235938169971/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^25 + 1000931474184970550101190572957923061336908866596103764538424745713\ 1550364916202889628805084417670308651565974292473295763983246667164\ 610577968044120841610939018342146554951149704191735804486624263/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^24 + 30854489307192255855412823737156773231858782969494865530661767885\ 6717249239311969565212480190316804328886938685588028853247510039087\ 55628837037389571197146917793890875025218871462661960482967394147/2\ 8769837733775975114853825792165174177503135354978806555902371823891\ 3322755786708345073389498367663065542460320279093759220945313811391\ 342379487263420385278588479878700138176913030977296430213*c_1001_2^\ 23 + 27008092296383556645609981685513687748991928421430147957942746\ 3329909937856639889297573573197456296357330489547458991439948249327\ 8075405874788937258587934021020450763842229143826334147027341992495\ 0/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^22 + 59312397903070313239921831558431379838337256732397467882435\ 5746805619740833660070590992304386632957856225859494010530534737090\ 3627140868885630995631491365449015443055148781340826061432851539860\ 0954/28769837733775975114853825792165174177503135354978806555902371\ 8238913322755786708345073389498367663065542460320279093759220945313\ 811391342379487263420385278588479878700138176913030977296430213*c_1\ 001_2^21 + 44174924103968611912039125774906573447911299871283469155\ 0359640459140032556516296315927214030131508430228691196693183218294\ 9131943729863219383786094278780452912774728540389164813492322766898\ 3612967/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213*\ c_1001_2^20 + 48921302735773960244258810179332055109554708760069605\ 7211244378334448646314171459429201153945348626120326767546903715975\ 0208334227036759526295749407339937717318017151893285412688134453470\ 9024374891/28769837733775975114853825792165174177503135354978806555\ 9023718238913322755786708345073389498367663065542460320279093759220\ 9453138113913423794872634203852785884798787001381769130309772964302\ 13*c_1001_2^19 + 36389519679308107944838355207944429706872690307426\ 8030525100003459459028059129846068880987787846905496169731417331388\ 7559379451971204902109876025570289075079287787407831318053232941330\ 5406684483880/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^18 - 13596896163052007159104009081645471078175258021\ 5098753587032751798422363335437569532394535807055311521263000205001\ 8309817057422996983116310051727381942579098836006407177745689956384\ 0542260300393038/28769837733775975114853825792165174177503135354978\ 8065559023718238913322755786708345073389498367663065542460320279093\ 7592209453138113913423794872634203852785884798787001381769130309772\ 96430213*c_1001_2^17 + 70461041696920406808427036747292891708704188\ 4388700575656622222563572251935154857929297755183330745806087886208\ 7767346370892196740741100512019045115880327629881140841494559664902\ 634473320203348869/287698377337759751148538257921651741775031353549\ 7880655590237182389133227557867083450733894983676630655424603202790\ 9375922094531381139134237948726342038527858847987870013817691303097\ 7296430213*c_1001_2^16 - 472217142781066235721239625128071270469623\ 6918264165834538522357207965538431156367163077139528835552283915008\ 8465047957083287306368307946962868137388348670399389958166054871561\ 358423424022222477200/287698377337759751148538257921651741775031353\ 5497880655590237182389133227557867083450733894983676630655424603202\ 7909375922094531381139134237948726342038527858847987870013817691303\ 0977296430213*c_1001_2^15 - 120451736374835582429589788873403247662\ 7156985986194888196439150672645473677857734164415522963543513178030\ 7648446680388582860769955730679127558385467813421904733758021532319\ 12937928490594593291076/2876983773377597511485382579216517417750313\ 5354978806555902371823891332275578670834507338949836766306554246032\ 0279093759220945313811391342379487263420385278588479878700138176913\ 030977296430213*c_1001_2^14 - 1894615963863955935288758322154594873\ 1941209610630027870492071806691716529246344536502679013216884763725\ 2394940503593823952058912535166979813650755470576699259814846936287\ 51045624072629379079221501/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^13 + 7471650540114277807834472840587139\ 2151810131221222427877653757870539722236735051691176241063423985147\ 7530136811408113693932386882500974418126379824871100047648065594430\ 6824268138066017193798012398/28769837733775975114853825792165174177\ 5031353549788065559023718238913322755786708345073389498367663065542\ 4603202790937592209453138113913423794872634203852785884798787001381\ 76913030977296430213*c_1001_2^12 - 4072320463145668769298401227045979801336264601644986518351384210431\ 8718898171288361667993035585808180613560157639011992434883264087279\ 5800734761911942870243687640768604058379644310338479612739918/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^11 + 4437590977346959772138757189453881684546310086856261757848844477356\ 3900344845944859175953574722644628234427301348021321443609016568224\ 99212318167643007766090444471593987009769966678262898665843290/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^10 - 2801400883837203438425798778395529742911611400821110449083869981122\ 3283487915949333645791526788694967767099629820273323403817748758840\ 68864971167303345994916545529368705179057096276563745637202984/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^9 + 8280845681039989205396003060413341816398279328001880868196613512129\ 4705189312704471539992165034373000170288366261169079914048808790694\ 81305191483326065201337654142406405704474159499759389819312/1662996\ 4007962991395869263463679291432082737199409714772197902788376492644\ 8431623320851670230270325471411826774727799860821355672723347596751\ 1487071794134558314912593642417207589774435239481*c_1001_2^8 - 8304591224136405534324172986148073728417671844040439372958692479052\ 0469845249873397986510974398092846837883454331132332455242899679559\ 2656809465243586908162034402495515480571734541732653907333432/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^7 + 7760503823767786997883290040284998871805897733408859857117411971776\ 4063809241808573597022948710272339477672815509826464589878312326706\ 5400034439394526558158119293462832337272231602071560343203259/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^6 - 3009126837995804903142247321523864653569231502932348472642751791233\ 9218424715852112560032342698036059295739486976926014229795211688128\ 7136615127823648180653340977240934978088073624568633673517013/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^5 + 1421931013745821196036388645406658245409354594920822234820234246291\ 3442599355463283633812122608743500606542100653207649467837851045256\ 115213762988346223816389360670098228902830454010604457516279/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^4 + 1740157996045960213666100469041657880687587737942964685494801969188\ 6258654781275066442386956466166881451105890189832568189954370871562\ 255021068830776992458850097170979051371937172162458458113842/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^3 - 2750085010072091127270200126751405841809750871241636583928017405531\ 3803903995490916989533062906076497223418715905203180597361889931254\ 16226952946269206553227584430792270500485482951051138359945/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^2 - 1004352381502964684278244038748942764451212864986899991265763206532\ 8694286291755571777305841703492244530885214877756096566279540077292\ 32674145433961189099130897913897397658603194753821797736163/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2 - 1263529278246559890479335305608951017097665523498599150970185555552\ 6772723885494779384007029972628208220241561401375912116738560258532\ 5283474387466254903113219413527041180399358063288935969264/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213, c_0110_6 + 907780499665595867733473015059038146002567614337464664731426\ 2504339604159476283122612246580852681258549953103522881052331340693\ 085097640994257118193217016020885493083805793202621042891790377/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^41 - 37847301144454292489705522587980915474016432563379869243899561583\ 6971749246497970818926476377197641409958073223275962675753996430085\ 46296012265355708621379021429332987807594757942502688101506/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^40 + 1333095401134459128646876645956886013871479627782674267750296970229\ 0695864064439445872860928836435235897332724458973025527448073367878\ 9825830596286398192433419540988873182916162950056243757974/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^39 - 2396328858012568936979169063299322283129615545603601131542987920968\ 6661197845197119560477321152084713810880222186235011542048539177797\ 3761208844964038230403935193914591913352721005074440390861/28769837\ 7337759751148538257921651741775031353549788065559023718238913322755\ 7867083450733894983676630655424603202790937592209453138113913423794\ 87263420385278588479878700138176913030977296430213*c_1001_2^38 + 2461540937220969421673017252022020471329322569374500740303228735148\ 0034472280853890229081973243536065570005559007987407360526218052654\ 93300832883031923079142298009571301669903717786407804486396/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^37 - 6493520272438809490829435895617057758578200873846456910264515709095\ 8560253855990106730793727669736715251923656336355034844762544999774\ 46205408230520866092089662529069533870043703287312112855426/2876983\ 7733775975114853825792165174177503135354978806555902371823891332275\ 5786708345073389498367663065542460320279093759220945313811391342379\ 487263420385278588479878700138176913030977296430213*c_1001_2^36 + 3950213605131259657977167230925080997315579341974443451545896400252\ 7472413547531346616513344296717372468197257867893619280282143784172\ 767877469710038138398108213420446058222375036184269672873212/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^35 - 9309416055115434743883769265513134000266786629016256769094397231567\ 3889698121129382026469563076295358268690435857006693038789234078555\ 395296727649616591836677977814717606100913301221634279748946/287698\ 3773377597511485382579216517417750313535497880655590237182389133227\ 5578670834507338949836766306554246032027909375922094531381139134237\ 9487263420385278588479878700138176913030977296430213*c_1001_2^34 + 4146817083338106130335523770805194007457157078913852122201113711532\ 9941607399944799034123935238297618684944117499543925319226467648114\ 7578639507454037172683362611097063336833207369029432572505506/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^33 - 5935754047875911556165075388459643829571034593563125919318338395837\ 0452257522721142045748526700563076579414805989073119953514450919074\ 5882913912439005182809944379975658233939917208559613488978485/28769\ 8377337759751148538257921651741775031353549788065559023718238913322\ 7557867083450733894983676630655424603202790937592209453138113913423\ 79487263420385278588479878700138176913030977296430213*c_1001_2^32 + 3173121285628340264429840470467697422420942897341159702360421171851\ 1877665063438705670534761293631466374797781017565138596296407303285\ 77396566012327947409575833947593497791375026472234510553884931/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^31 - 2458862431805357847666098428301067473614042220668269449617756335672\ 7627021119903879285972813360472524246013485775847093422436006536566\ 09170880862393170091014278730559543206769540023815221066716428/2876\ 9837733775975114853825792165174177503135354978806555902371823891332\ 2755786708345073389498367663065542460320279093759220945313811391342\ 379487263420385278588479878700138176913030977296430213*c_1001_2^30 + 1817069612445052498769530780286891468781794499429552681363233425742\ 3854513172907070321515336301265179158143714361716185545317244544486\ 314629175977082245372936898971974672318313319621862015530849426/287\ 6983773377597511485382579216517417750313535497880655590237182389133\ 2275578670834507338949836766306554246032027909375922094531381139134\ 2379487263420385278588479878700138176913030977296430213*c_1001_2^29 - 75875694379487919243244217203244183533156200364584160062976950787\ 6697276724649707673548625077730587146377457681693435277437823066036\ 8530265707396995498535078132412899901149835116221457473924809513/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^2\ 8 + 825007011025971840561335437208589630157025884084978400495901020\ 1660823284654036664344776105800731532859925990642586649042056015327\ 9080564674064114666148299336073255541695163703952889473634473745060\ /287698377337759751148538257921651741775031353549788065559023718238\ 9133227557867083450733894983676630655424603202790937592209453138113\ 91342379487263420385278588479878700138176913030977296430213*c_1001_\ 2^27 - 139530080368300064563179137631080751545994859139756747839279\ 1854728270493594720024346712187097031810389996513587777870214767079\ 7538704022446448292104090029256114473057617340443245054562788264698\ 121/287698377337759751148538257921651741775031353549788065559023718\ 2389133227557867083450733894983676630655424603202790937592209453138\ 11391342379487263420385278588479878700138176913030977296430213*c_10\ 01_2^26 + 329780820219294951610720570927632077025685160360833336300\ 4213079106376729199303622412581571030574648453687183210156505257469\ 1788289139961667387493143775139405511998067098199448802094443711653\ 5264549/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213*\ c_1001_2^25 - 44888432031328385413006218410259632185386553397850798\ 6596522678718580657311656171139446471132891790506325746871547479927\ 8396621535780209540499317224023754373065072822875153300534490361724\ 1874727471/28769837733775975114853825792165174177503135354978806555\ 9023718238913322755786708345073389498367663065542460320279093759220\ 9453138113913423794872634203852785884798787001381769130309772964302\ 13*c_1001_2^24 + 10873903784710757223919074519946137091765397866553\ 7088369542522075575567231152815831749911087281796861948083567839819\ 9929222244882626454878221747338828123899847786246744185819727854490\ 618590592298087/287698377337759751148538257921651741775031353549788\ 0655590237182389133227557867083450733894983676630655424603202790937\ 5922094531381139134237948726342038527858847987870013817691303097729\ 6430213*c_1001_2^23 - 334950045102792775620815328282808206456269771\ 6615641798243073872165731207977205362643963889725696983339437164440\ 8514894575592861889430298042235795225451146312091857308079322227426\ 1278963993154032337/28769837733775975114853825792165174177503135354\ 9788065559023718238913322755786708345073389498367663065542460320279\ 0937592209453138113913423794872634203852785884798787001381769130309\ 77296430213*c_1001_2^22 + 24153633008093329516200322762578284218001\ 1134217739108826489565105211136169204241143696379381977502920959837\ 4774034109705920612289584284420572135119435491255310748073305997444\ 789591114340359022932418/287698377337759751148538257921651741775031\ 3535497880655590237182389133227557867083450733894983676630655424603\ 2027909375922094531381139134237948726342038527858847987870013817691\ 3030977296430213*c_1001_2^21 - 122128939953220483011867288969242778\ 7693713063656728985539471133420587368447834456442300490197105898828\ 6731856620371981558264755981706057805216180049013199338003892943876\ 70121658263218763852843021948/2876983773377597511485382579216517417\ 7503135354978806555902371823891332275578670834507338949836766306554\ 2460320279093759220945313811391342379487263420385278588479878700138\ 176913030977296430213*c_1001_2^20 + 3194240586514234421593582753727733618944832690649899877778560179343\ 1336756310235097481507725060848016203372585217653817911149702839647\ 38332201952201647266942195589713391130247446546629480475665963467/2\ 8769837733775975114853825792165174177503135354978806555902371823891\ 3322755786708345073389498367663065542460320279093759220945313811391\ 342379487263420385278588479878700138176913030977296430213*c_1001_2^\ 19 - 22401993239724792291623240542686739303284185248895190196812833\ 5815161920747784968746540780859345246527190655889669584410587444336\ 9215578894381869102515738873782412187303654758580196304742913413564\ 610/287698377337759751148538257921651741775031353549788065559023718\ 2389133227557867083450733894983676630655424603202790937592209453138\ 11391342379487263420385278588479878700138176913030977296430213*c_10\ 01_2^18 + 233638864962351771635237663117944257270244707394567274450\ 4819666081285784973919635286958745913146638688338248049951389449368\ 0336167458328485855874899850112624641932715360573251587010354556181\ 74139459/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^17 - 2173526326060249078500074613331450757949000546459761\ 3323817639566906977088034456224347647575229685772271972104020098970\ 6418407475864284689981924047122724027938682423717970370195083517331\ 9873983008148/28769837733775975114853825792165174177503135354978806\ 5559023718238913322755786708345073389498367663065542460320279093759\ 2209453138113913423794872634203852785884798787001381769130309772964\ 30213*c_1001_2^16 + 99911232715594920875374936872040374568213395826\ 5274359403136231604041675562998777185617051894588228762979974413993\ 8834876809438035863892236050072699488784950696412917785202234422077\ 73484451372485368/2876983773377597511485382579216517417750313535497\ 8806555902371823891332275578670834507338949836766306554246032027909\ 3759220945313811391342379487263420385278588479878700138176913030977\ 296430213*c_1001_2^15 - 1063303898282747319021574379531954417735880\ 3198997391657501151009656229858007241018911864992671900068130956673\ 4644715092417299367369079668270020175105805305836156313853712656391\ 7356934449362143752633/28769837733775975114853825792165174177503135\ 3549788065559023718238913322755786708345073389498367663065542460320\ 2790937592209453138113913423794872634203852785884798787001381769130\ 30977296430213*c_1001_2^14 + 48325707359371766708448981219679652446\ 5339401097923545784437731740743306587668589778218795657507122220809\ 5578627184282882617463094118796487417469291555129017906143796999080\ 14111462971735491114786513/2876983773377597511485382579216517417750\ 3135354978806555902371823891332275578670834507338949836766306554246\ 0320279093759220945313811391342379487263420385278588479878700138176\ 913030977296430213*c_1001_2^13 - 3366447574384184273563625516756463\ 4348805372329835308491843269361551291588872048303332842415153247243\ 7573428831419826016716253789835056812809819476127246537506780810292\ 900794263704163065204757135748/287698377337759751148538257921651741\ 7750313535497880655590237182389133227557867083450733894983676630655\ 4246032027909375922094531381139134237948726342038527858847987870013\ 8176913030977296430213*c_1001_2^12 + 2770696134988197180459345427569821516093330133483952210923218986434\ 9189413549614708273039826173975821261058715025465923237422859636478\ 5042608005150512489868551466520206089711480119609371783345240896/28\ 7698377337759751148538257921651741775031353549788065559023718238913\ 3227557867083450733894983676630655424603202790937592209453138113913\ 42379487263420385278588479878700138176913030977296430213*c_1001_2^1\ 1 - 187686200018538903185907170733568319284721543822790761845061376\ 4890350344480099226178948374368744371250937504795437563863928767997\ 8332965246701606449440059164146742605326666245074223448662786207907\ 9/28769837733775975114853825792165174177503135354978806555902371823\ 8913322755786708345073389498367663065542460320279093759220945313811\ 391342379487263420385278588479878700138176913030977296430213*c_1001\ _2^10 + 10416011176190043320464429358021680607238143680494434212540\ 5004404930396965907132552793755887914092934522001292655033899593854\ 0966156548460088174167942815070388671373817021456446708448152317887\ 39698/2876983773377597511485382579216517417750313535497880655590237\ 1823891332275578670834507338949836766306554246032027909375922094531\ 3811391342379487263420385278588479878700138176913030977296430213*c_\ 1001_2^9 - 35459707749378218612362147138852004137450611165167322065\ 3673326173642029078280778923929390296212416824979084249261524380914\ 1131069028628886732002639370464233509453814610973956240359847725833\ 43738/1662996400796299139586926346367929143208273719940971477219790\ 2788376492644843162332085167023027032547141182677472779986082135567\ 27233475967511487071794134558314912593642417207589774435239481*c_10\ 01_2^8 + 3606233572926789937586445083360727957751723230986016925392\ 3155037880793003302213609060724586281005267894202801755335882614243\ 6416388625918563156986285701357038959599781538746043265080221962809\ 84771/2876983773377597511485382579216517417750313535497880655590237\ 1823891332275578670834507338949836766306554246032027909375922094531\ 3811391342379487263420385278588479878700138176913030977296430213*c_\ 1001_2^7 - 12563538839069201923200862376961834314446849312359261615\ 9939919499811540494761675156323057611727747209511057917109979112547\ 9548376593710525123058502002186588149896403910114112884849500298475\ 5205885/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213*\ c_1001_2^6 + 168706864767477706472711361682716242872892892740917301\ 2631784433733674891283691931017814435096636594343498547475830881998\ 9585981376261299016968021448172385374860424227255542366288192742427\ 49409689/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^5 + 27205241296317107813605932597406288843412651607708055\ 6812628068930901100334259938199481840376802199259855528271482151360\ 9208473269769419152763397776749966941410903635933593593496770533333\ 33655415/2876983773377597511485382579216517417750313535497880655590\ 2371823891332275578670834507338949836766306554246032027909375922094\ 5313811391342379487263420385278588479878700138176913030977296430213\ *c_1001_2^4 - 84558983222496292475287699488136155652454779070282560\ 6748796144926339618929073041373207887540374103870572503770963544684\ 2843626635575167615946197925579864562748375384654811980225023833915\ 4458397/28769837733775975114853825792165174177503135354978806555902\ 3718238913322755786708345073389498367663065542460320279093759220945\ 313811391342379487263420385278588479878700138176913030977296430213*\ c_1001_2^3 - 143518755946644455336536475881669629186633882044634119\ 6591817265672582970336523844701253096449064509626538482575778893112\ 3005721088752304771671564840056199720425391671570189451423166887101\ 762194/287698377337759751148538257921651741775031353549788065559023\ 7182389133227557867083450733894983676630655424603202790937592209453\ 13811391342379487263420385278588479878700138176913030977296430213*c\ _1001_2^2 - 3816898056096193894126222694424299309443499788749894487\ 5707071703801966351998865425261065876560724894043249698389079726443\ 0119215411138793253256117748110350783770629056732494818284800433640\ 6602/28769837733775975114853825792165174177503135354978806555902371\ 8238913322755786708345073389498367663065542460320279093759220945313\ 811391342379487263420385278588479878700138176913030977296430213*c_1\ 001_2 - 35727334981862157076642355788937050728914790998229955228091\ 1023667302588968589729777831965302152806330539535947240161035566337\ 963503305369543904642275949452969061298541482667620964154743732581/\ 2876983773377597511485382579216517417750313535497880655590237182389\ 1332275578670834507338949836766306554246032027909375922094531381139\ 1342379487263420385278588479878700138176913030977296430213, c_1001_2^42 - 4*c_1001_2^41 + 14*c_1001_2^40 - 24*c_1001_2^39 + 267*c_1001_2^38 - 670*c_1001_2^37 + 4236*c_1001_2^36 - 9534*c_1001_2^35 + 44035*c_1001_2^34 - 57876*c_1001_2^33 + 339426*c_1001_2^32 - 213146*c_1001_2^31 + 1962981*c_1001_2^30 - 503459*c_1001_2^29 + 8987186*c_1001_2^28 - 21326*c_1001_2^27 + 36249542*c_1001_2^26 + 1146196*c_1001_2^25 + 119665636*c_1001_2^24 - 16834598*c_1001_2^23 + 262174286*c_1001_2^22 - 90617102*c_1001_2^21 + 334282426*c_1001_2^20 - 190726260*c_1001_2^19 + 222431418*c_1001_2^18 - 201768639*c_1001_2^17 + 74617358*c_1001_2^16 - 103746717*c_1001_2^15 + 35847150*c_1001_2^14 - 30321902*c_1001_2^13 + 25580843*c_1001_2^12 - 16164767*c_1001_2^11 + 8653910*c_1001_2^10 - 5266317*c_1001_2^9 + 3058375*c_1001_2^8 - 855748*c_1001_2^7 + 36372*c_1001_2^6 + 33062*c_1001_2^5 - 1594*c_1001_2^4 - 2319*c_1001_2^3 - 794*c_1001_2^2 - 124*c_1001_2 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.130 Total time: 1.350 seconds, Total memory usage: 32.09MB