Magma V2.19-8 Tue Aug 20 2013 18:07:35 on localhost [Seed = 3229710900] Type ? for help. Type -D to quit. Loading file "10_102__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_102 geometric_solution 13.72734330 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 15 1 2 1 3 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.583123089326 0.900488591652 0 0 5 4 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423368821791 0.914511656372 6 0 8 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 -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.574696829467 0.420963165974 9 8 0 8 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463441049679 0.434198098312 10 10 1 11 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482792794771 0.558419661601 11 6 11 1 1230 2310 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0.671749024228 0.704397316602 2 7 12 5 0132 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497367573531 1.075616521988 13 6 2 12 0132 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.264071149814 1.213891832759 3 3 10 2 3012 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.126222688659 0.911370035668 3 13 13 14 0132 2103 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.061699070881 1.031949034158 4 8 14 4 0132 1230 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.892758905750 0.963896328203 14 5 4 5 0213 3012 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0.616384953736 1.177193826606 13 7 14 6 3120 2310 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240787990127 0.986230108205 7 9 9 12 0132 2103 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.061699070881 1.031949034158 11 10 9 12 0213 0213 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.595374828747 1.000879698182 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_0011_12'], 'c_1001_11' : negation(d['c_0011_5']), 'c_1001_10' : d['c_0011_12'], 'c_1001_13' : negation(d['c_0011_3']), 'c_1001_12' : d['c_0110_11'], 'c_1001_5' : negation(d['c_0110_11']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0011_13']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_13'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_13' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_13']), 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : negation(d['c_0011_10']), 'c_1010_14' : d['c_0011_5'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_14'], 'c_0101_10' : d['c_0011_14'], 'c_0101_14' : d['c_0011_11'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_1100_9' : d['c_0101_12'], 'c_1100_8' : negation(d['c_0011_12']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_12']), 'c_1100_14' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : d['c_0011_5'], 'c_1100_13' : negation(d['c_0101_12']), 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : d['c_0110_11'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_5']), 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0011_13'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : d['c_0101_6'], 'c_0110_12' : d['c_0101_6'], 'c_0110_14' : negation(d['c_0110_11']), 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_13']), 'c_0110_0' : d['c_0011_11'], 's_0_8' : d['1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_11'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : d['c_0011_14'], 'c_0110_7' : d['c_0011_13'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_14, c_0011_3, c_0011_5, c_0101_0, c_0101_12, c_0101_2, c_0101_5, c_0101_6, c_0110_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 43 Groebner basis: [ t + 2807667160500760786646565484250579633943270899727012318339415179971\ 7644105213604277457275920472790053507906096135971440361040246210427\ 6007861277222728603306489/37448655319552280871337751010741230713939\ 7554643681883447854822914059314312389093076707547888230221074121639\ 07575725433399555684812119641867069532362354237035*c_1001_2^42 + 6139512818189058580515023353724962742777479138907820534697094874050\ 6046102583135912044241364493486813825646682529213546971235397592192\ 453122745851429293482959/101212581944735894246858786515516839767404\ 7444982924009318526548416376525168619170477587967265487083984112538\ 042587173875663667157084314645055933307090655055*c_1001_2^41 + 1280364597002370532684089035915312560878387177291708829776572245014\ 7269069252317057133783266556197538348971020740751140444418163295036\ 53542614252290594862646703/3744865531955228087133775101074123071393\ 9755464368188344785482291405931431238909307670754788823022107412163\ 907575725433399555684812119641867069532362354237035*c_1001_2^40 - 4488948316864171111323428285514874842926187757871881256879269775481\ 9486826364376506204079191249976589686831689343224467396273454139998\ 4954070267237678899280196/39419637178476085127723948432359190225199\ 7425940717772050373497804272962434093782186007945145505495867496462\ 185007636141047954576969680440705995077498465653*c_1001_2^39 - 1305455188338917821062189215297860036231034895117149289821086099291\ 9271954742262420422610176148296237110562540751942303843360862768625\ 4682165706828720238006718198/37448655319552280871337751010741230713\ 9397554643681883447854822914059314312389093076707547888230221074121\ 63907575725433399555684812119641867069532362354237035*c_1001_2^38 + 4294785806637738529826158562555087843465282129747761276765816813177\ 9443420446592926437190547033268445940880345952625923090180030716677\ 592943623284389407060677031/748973106391045617426755020214824614278\ 7951092873637668957096458281186286247781861534150957764604421482432\ 781515145086679911136962423928373413906472470847407*c_1001_2^37 + 1705229557071035757658532262839746704038225275020788065465216237730\ 9182022257460669565061405290565515512288974243817194004706731858888\ 96195334905968003322675998511/3744865531955228087133775101074123071\ 3939755464368188344785482291405931431238909307670754788823022107412\ 163907575725433399555684812119641867069532362354237035*c_1001_2^36 + 1417495552810939386005935882881819705180317510236400980487126593191\ 1145568901982769012985729052954394068605116242752372838995042884028\ 12946010731146364727312301284/3744865531955228087133775101074123071\ 3939755464368188344785482291405931431238909307670754788823022107412\ 163907575725433399555684812119641867069532362354237035*c_1001_2^35 - 9473817591915599022478254600421144167780356781191668822261243966563\ 7276492080064190779164644521118745098630366702489712053300435112281\ 38954738216517897643866047899/3744865531955228087133775101074123071\ 3939755464368188344785482291405931431238909307670754788823022107412\ 163907575725433399555684812119641867069532362354237035*c_1001_2^34 - 2435306700706500887118187502898471458158834388234794227536585156011\ 2852556994934855470338128441871520226598912799836516599691516472567\ 782964003748507251930335987189/374486553195522808713377510107412307\ 1393975546436818834478548229140593143123890930767075478882302210741\ 2163907575725433399555684812119641867069532362354237035*c_1001_2^33 + 12312718995970349359218020767661249680099098200366494662154332703\ 2533337402928133531139766674779684643473960547817130137269159351973\ 59137996712570804651714247903704/3744865531955228087133775101074123\ 0713939755464368188344785482291405931431238909307670754788823022107\ 412163907575725433399555684812119641867069532362354237035*c_1001_2^\ 32 + 13553069435553868795088108799480275125579198523266265286399606\ 0419469236070818703665217135295719616157668606551416897613221081484\ 353873111653913994799814604588250522/374486553195522808713377510107\ 4123071393975546436818834478548229140593143123890930767075478882302\ 2107412163907575725433399555684812119641867069532362354237035*c_100\ 1_2^31 + 1470814680802183038804370376529043671789485688678106671867\ 9343280596275941537359217463423753813748052337152776722454807481487\ 4781812818071674048097855823104825041896/37448655319552280871337751\ 0107412307139397554643681883447854822914059314312389093076707547888\ 23022107412163907575725433399555684812119641867069532362354237035*c\ _1001_2^30 - 315433822499273619733534122686607018499117607358961719\ 8143741942424282907145346678385061161073225218963387677637797183768\ 36757141106421249890368221926364188116781747/3744865531955228087133\ 7751010741230713939755464368188344785482291405931431238909307670754\ 7888230221074121639075757254333995556848121196418670695323623542370\ 35*c_1001_2^29 - 95004212840399596335928718548754767605842169411080\ 9789062107527945493027142601950032030389878959189766012582788068549\ 818030584094811390644072523194971799392312351931/374486553195522808\ 7133775101074123071393975546436818834478548229140593143123890930767\ 0754788823022107412163907575725433399555684812119641867069532362354\ 237035*c_1001_2^28 - 2665086165670855263299219683064788894799543901\ 6465298344370200558681497287816154803195310351157677639968964975527\ 7611450908432934914427799918809269187120867069672567/37448655319552\ 2808713377510107412307139397554643681883447854822914059314312389093\ 0767075478882302210741216390757572543339955568481211964186706953236\ 2354237035*c_1001_2^27 + 237995107443443606893948926183883262063886\ 5534764106365637825486615583683654923545378240358269279216138244036\ 679411115665570691095068697034293042237346745673412621519/374486553\ 1955228087133775101074123071393975546436818834478548229140593143123\ 8909307670754788823022107412163907575725433399555684812119641867069\ 532362354237035*c_1001_2^26 + 1926345711557534952476185994815354373\ 2192790071981382033297063904469976616474894668271919675206479891639\ 7806625202991013459062232501763735215690820758940304607723293/19709\ 8185892380425638619742161795951125998712970358886025186748902136481\ 2170468910930039725727527479337482310925038180705239772884848402203\ 529975387492328265*c_1001_2^25 - 2266299297349580957030459107006074\ 0589790618602136844500650022898974507072820338786464255184787071219\ 6328508247486435798274392329304670109251377433780090252960121048/74\ 8973106391045617426755020214824614278795109287363766895709645828118\ 6286247781861534150957764604421482432781515145086679911136962423928\ 373413906472470847407*c_1001_2^24 - 1806787280454092506459856439814868316040837975725760757181492111637\ 9644144112529008591056116213153197065993919893810173999692276257842\ 72155746280447230786560732588600/7489731063910456174267550202148246\ 1427879510928736376689570964582811862862477818615341509577646044214\ 82432781515145086679911136962423928373413906472470847407*c_1001_2^2\ 3 - 820213681711995647985070518143936074964597676206738844439607978\ 6481693359655486485458982190327415147394107103150313033393113200247\ 072991757121882748774937423384176683/374486553195522808713377510107\ 4123071393975546436818834478548229140593143123890930767075478882302\ 2107412163907575725433399555684812119641867069532362354237035*c_100\ 1_2^22 + 1227667424803524136642592862060566081204064530392986711322\ 4650930934561533640677330087544066515334560681310289225030367622533\ 19799733695943507934871906045225691917590/7489731063910456174267550\ 2021482461427879510928736376689570964582811862862477818615341509577\ 64604421482432781515145086679911136962423928373413906472470847407*c\ _1001_2^21 + 191380087611382351311161338536776304608158412181101716\ 1266300445695279796830802044609710127530047596176436233845422126583\ 9889797669703785784897965497409472271508828962/37448655319552280871\ 3377510107412307139397554643681883447854822914059314312389093076707\ 5478882302210741216390757572543339955568481211964186706953236235423\ 7035*c_1001_2^20 + 245487772901860959785914788777774907124139372619\ 7795224652352619767460606882951286255628436104812967394274065864820\ 949678517237136758622098147723106739248874655837059/748973106391045\ 6174267550202148246142787951092873637668957096458281186286247781861\ 5341509577646044214824327815151450866799111369624239283734139064724\ 70847407*c_1001_2^19 - 99307900003714972017283185335653095407001633\ 2190139099287622133179595062164496996349830815423228582255762520973\ 3756574263118207004670956198353338046910885068534522358/37448655319\ 5522808713377510107412307139397554643681883447854822914059314312389\ 0930767075478882302210741216390757572543339955568481211964186706953\ 2362354237035*c_1001_2^18 - 467396440883999035446792889096899296629\ 5409573496773230971842978865769386271159437220504322571395300822033\ 590344342499548533928621821950128100782837258479156659366329/748973\ 1063910456174267550202148246142787951092873637668957096458281186286\ 2477818615341509577646044214824327815151450866799111369624239283734\ 13906472470847407*c_1001_2^17 - 14985492344670668205512433473041044\ 5259619945829881708202285642128902027936182632615141837716027863676\ 70554638665243302887525368983611234629498455481241586016531957479/3\ 7448655319552280871337751010741230713939755464368188344785482291405\ 9314312389093076707547888230221074121639075757254333995556848121196\ 41867069532362354237035*c_1001_2^16 + 3679413767170732454174100585435832976916422341719121723981455240006\ 0780823128795106082102214483761392558653697513083524943114841416264\ 83742365412691441659994451252007/3744865531955228087133775101074123\ 0713939755464368188344785482291405931431238909307670754788823022107\ 412163907575725433399555684812119641867069532362354237035*c_1001_2^\ 15 + 14760325517033539494696265251215911667821095289303439802523358\ 3163895292809917876847684384602079542315869504440571112469378384870\ 87594140414846225421217788213457003036/3744865531955228087133775101\ 0741230713939755464368188344785482291405931431238909307670754788823\ 022107412163907575725433399555684812119641867069532362354237035*c_1\ 001_2^14 + 13310370636002749063091191683267898724406783694923489226\ 3900037116420543387371201737566000717490887035306070843229859241222\ 07331397099008030636985643314377029700625766/3744865531955228087133\ 7751010741230713939755464368188344785482291405931431238909307670754\ 7888230221074121639075757254333995556848121196418670695323623542370\ 35*c_1001_2^13 + 60702838756201782159728857949427390464459146691191\ 3869240981348947931768636049791329872566735458112949584134509128468\ 65661958734312116364818802738948344856425328426/3941963717847608512\ 7723948432359190225199742594071777205037349780427296243409378218600\ 7945145505495867496462185007636141047954576969680440705995077498465\ 653*c_1001_2^12 - 2136359457456670033472853524597658133604400175290\ 7626794733893482089580673271762952313436024847881546473370103353795\ 33477200040965683165956405958782912673057199828/8937626567912238871\ 4409906946876445617994643113050568841970124800491483129448470901362\ 1832668807210200767635025673638028629013957329824388235549698385542\ 65*c_1001_2^11 - 40961911620350674089585412924150910352964358523982\ 6579152502440542691296821145499787979990915365114580310947578685433\ 7744807373412271726636968390876678954502859293709/37448655319552280\ 8713377510107412307139397554643681883447854822914059314312389093076\ 7075478882302210741216390757572543339955568481211964186706953236235\ 4237035*c_1001_2^10 - 441097511240367600989364695954365453865604611\ 7526453293159879745964879825471800899715877886088268998000651566586\ 855724024220173643695070910186490277569275954194328079/374486553195\ 5228087133775101074123071393975546436818834478548229140593143123890\ 9307670754788823022107412163907575725433399555684812119641867069532\ 362354237035*c_1001_2^9 - 32973050859366841494983016269654713445462\ 9156599563016376821590579226912582931741651958878133469719900163090\ 7262610656325389269332563065310316151106183135822228974568/37448655\ 3195522808713377510107412307139397554643681883447854822914059314312\ 3890930767075478882302210741216390757572543339955568481211964186706\ 9532362354237035*c_1001_2^8 - 3824929913655233977017836522615747926\ 1719492401021391498958903152111241375189575614259714806129290105737\ 9228354574404897899315180475342395323165268422010748392337545/74897\ 3106391045617426755020214824614278795109287363766895709645828118628\ 6247781861534150957764604421482432781515145086679911136962423928373\ 413906472470847407*c_1001_2^7 - 86406017463291981625369866043255708\ 0572317257963778216517414568912114230186160329973016713142050617258\ 714373518803333157348414538445111795563027778240570998046221083/374\ 4865531955228087133775101074123071393975546436818834478548229140593\ 1431238909307670754788823022107412163907575725433399555684812119641\ 867069532362354237035*c_1001_2^6 - 2979925635373846112208745108686933474715563058287563331468034954694\ 4717975466860108031325259523835234217661242381523583843397865955614\ 9903238913549093252332693160638/37448655319552280871337751010741230\ 7139397554643681883447854822914059314312389093076707547888230221074\ 12163907575725433399555684812119641867069532362354237035*c_1001_2^5 - 77300831225323777227960230685592595670809631402153280006455142131\ 0617633428978787436008145564495408974473140356409923689909376747043\ 69365012854328333805216839805811/3744865531955228087133775101074123\ 0713939755464368188344785482291405931431238909307670754788823022107\ 412163907575725433399555684812119641867069532362354237035*c_1001_2^\ 4 - 148534654106906891605000681753477740940532725557858373183282593\ 7638069412890028504266488533524250611643364822220091413098438093436\ 9673969810263780070244654287655987/37448655319552280871337751010741\ 2307139397554643681883447854822914059314312389093076707547888230221\ 07412163907575725433399555684812119641867069532362354237035*c_1001_\ 2^3 - 2048562598501935751280111766917050200641617861806330011684512\ 9086093878450094093749038528985435830149976621559681915122650184391\ 00519615391649565991165884484576318/3744865531955228087133775101074\ 1230713939755464368188344785482291405931431238909307670754788823022\ 107412163907575725433399555684812119641867069532362354237035*c_1001\ _2^2 - 187324406826341382500472945596767463496935719498909895292712\ 4143401742394607241438228893197853064047451662720761718517869375302\ 29728959304241942357665385544697564/3744865531955228087133775101074\ 1230713939755464368188344785482291405931431238909307670754788823022\ 107412163907575725433399555684812119641867069532362354237035*c_1001\ _2 - 89217101298059815045776288045341023231969949244302646856127373\ 6318870242142914466135746471151160861733664999914519539634525780564\ 1425563238181956448522815637088/37448655319552280871337751010741230\ 7139397554643681883447854822914059314312389093076707547888230221074\ 12163907575725433399555684812119641867069532362354237035, c_0011_0 - 1, c_0011_10 - 43656339889999265592146433519777772586486735717638671499868\ 8889643890319774499187051952306989607421879787109313270054171/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^42 - 3531133315045030984967318224837541866203647689530425021381586841883\ 707599763582927011864784907272205690020614953512022579/211258387241\ 4828105087344317562274354900720693945939794972597008259715207092211\ 182874615248019490223824095651387067363492*c_1001_2^41 - 5088842043206570049763393958771702437050208895888467193236373411590\ 54847643476393735291318112306218919726588868049065247/5281459681037\ 0702627183607939056858872518017348648494874314925206492880177305279\ 5718653812004872555956023912846766840873*c_1001_2^40 + 9412397863493626416929915033810431420154623991711190062225281460451\ 951554966960233375530646997051094708769096554150125059/301797696059\ 2611578696206167946106221286743848494199707103710011799593152988873\ 11839230749717070031974870807341009623356*c_1001_2^39 + 1446655328027986088487899191304377951546739009233590036266370264783\ 8079482952643347916343187394697085231287781198401139789/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^38 - 3268733700155056150147932537796168885741592220770779895864312782752\ 89277084180215655226475014691543959695500274074170708353/2112583872\ 4148281050873443175622743549007206939459397949725970082597152070922\ 11182874615248019490223824095651387067363492*c_1001_2^37 - 1313316302422807717239548247672704301810235417492734036578735759137\ 575726323416754820872259603614051982609978662410699901921/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^36 - 2229551155598768432579485667957068031500475750063899432011029882432\ 090795728583501000135854631426343962924414311637037940891/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2^35 + 7222476795816734140422487095713720599007973547649493291182425884215\ 461160343906880397917962530100100969147686038754126699369/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^34 + 9383378716140424084428263824934076357403092620875703698805440273632\ 778970148013398099375218232266114279305874050409709024400/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^33 - 1778979183202710237885235056333746310215527652056957315827952295055\ 8383915726436862771500723838292873759014319934622728806139/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^32 - 2064963729520223154822574067989020462903093967365664312012320572370\ 56802152100129662202714039656851321143851036178429512106835/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^31 - 1144818260073717732664471088334622573444994618924343659099787971240\ 90070348581271857617272080724015312861479235862173953244621/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^30 + 1679784179924207519515866540761371251884286745477385322023513829271\ 5454553475639020589168965796143273517424359809679879538663/75449424\ 0148152894674051541986526555321685962123549926775927502949898288247\ 21827959807687429267507993717701835252405839*c_1001_2^29 + 7241529727624968115758828229301633756426606223383698184245248065127\ 49219359469665069975051602213132174063895205712005771434163/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^28 + 4483227977356843998263293199112942855892572722560774866582498325834\ 46247777190749032385036544550449859328366522960747574982883/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^27 - 3555427971818715075076592731269892163820076975213379868059838818746\ 940567156784923025473479510102152628546785000221160653611733/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^26 - 1399958798220560409255611490491834193470400455637524318075009905434\ 911390299421415626223339841773219213118143778666424172874544/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^25 + 3698952403727898020272363598603674300222599220758114193643214494680\ 65285455492770737332416312290698870179683397303696297409122/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^24 + 1346544881596559807329258851735240054125651104591789977328579106259\ 2925548639330309167035245975502936492461264224887675768902077/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^23 + 6338997215340581719755598360606249227764847178829551561828832254526\ 280123836595557261226502812944992786751240750444229957615711/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^22 - 8465752460388738619606876566283220167403250528348419081784219381041\ 953448403417301795276634954910438762642935840519054926936901/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^21 - 7095869090006497843085987785869672939681873697031988686584624499007\ 143705080920077311591275717927183399415401539555250136337117/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^20 - 1927991821108621187213188022918586899012467630078354982417744821289\ 3333506002419969494290075683821695090524762010508143691836027/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^19 + 4739351212267713962848600253773207788349667434617157727090262265841\ 43115775796399450048847154862353774918967423694520935292632/7544942\ 4014815289467405154198652655532168596212354992677592750294989828824\ 721827959807687429267507993717701835252405839*c_1001_2^18 + 3427153905760044842578055018281742552372806911445713544097877737399\ 6651891407574939843822555688835741204177634667274037106971237/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^17 + 5889021816340226608897974530954096390129576053814300697375767005895\ 026738613367155519946303795221079330596320990858641202565224/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^16 - 1729986227296103646971381832768922113596798659736612361761488509477\ 895303693906913174665368443679556990562158388190612012471617/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^15 - 5223960485296804639144486023748285398721654170696666457089317040130\ 635570090934625546769354134374324591127543533392577645152742/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^14 - 5074784199666097560316475803440549269590822944122321973895599938952\ 290226243520918488090872984045924811304324225252128699973409/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^13 - 4930635569459219278711737653496054408623914133973679947962785023985\ 889400546027276621099966631292176860473163286464416878411299/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^12 + 7106295173545759305991082643714547408633018748974593354529747754097\ 0338475957525915148493294277945795069190642724583964503500/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^11 + 5674010541141925994905672469031559224646984933781468106733087566250\ 601925744494625745555742201317474324680792430783797122000213/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^10 + 6621763226549989156361726681244601060484288753804671323144022739187\ 483440095509161823155990250367106748453855673384035878812535/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^9 + 2583205472328365968553948847055202054345750951580221652124000784797\ 895976802319078270482973421192219794296591255870864031583201/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^8 + 3112597655650355209055517454976976047634782675769710098013334853803\ 750017988425702171883926555346888024141432810399363172020745/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^7 + 7372073750023960575834251296828262682087851148029730489050730826307\ 34554894649296070551302001067102130091883569511642881184963/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^6 + 5450087065450142389880135725234993032403743493343044510669245117850\ 27475160362852612342060751526712789259367377009383502957769/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^5 + 7776228467009931386318650232785423723526694892243032429950398138119\ 9842581637491107806437752221497428007637576214277045467085/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^4 + 3289269663642520756813225347095055067251676182820352813394150951494\ 4730616741203115586665436201486040720941555983575467827003/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^3 + 3403662753919229486562766742490483446361225918345197931986559653334\ 60469856600934907696452450121598046378472912994314555591/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^2 + 4619914242151844650884732660221006873821779169763712461667279842886\ 28209794714544684258034918954959881653723971753325818139/2112583872\ 4148281050873443175622743549007206939459397949725970082597152070922\ 11182874615248019490223824095651387067363492*c_1001_2 + 1042890257079664445493678712065962870157793490323340679335826544781\ 5366698618236156908687824464064359238949218461017245681/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746, c_0011_11 - 39023899114002567800967626141516544507536377286414116128865\ 10003887679667961546946913811695682571744940419970079636763813/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^42 - 3146502952342896482142353934077683461414265179061942416607020927429\ 0474411714271369730859377842179185472652318440762003001/21125838724\ 1482810508734431756227435490072069394593979497259700825971520709221\ 1182874615248019490223824095651387067363492*c_1001_2^41 - 4285739096753835297961988871215738135523814085314790916290714283483\ 740445635265442729503714337468488292625651575277117113/528145968103\ 7070262718360793905685887251801734864849487431492520649288017730527\ 95718653812004872555956023912846766840873*c_1001_2^40 + 8449030534157775081873880500944442048188444324941983678337109591869\ 8968850339022154260399468873066091817010485559491192141/30179769605\ 9261157869620616794610622128674384849419970710371001179959315298887\ 311839230749717070031974870807341009623356*c_1001_2^39 + 1283254657031164137485258013112102359598024495977034223859394358101\ 56261162063629681609391120105552143862512475037468262015/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^38 - 3005828248913947736573178518400551370713260522592959409473804406591\ 334659992957493684128810847298206211586204074523172021535/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2^37 - 1176046349856077092235706961851755364618821364454054162273925041475\ 7446338437506616492843680278463893109659559369219408792541/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^36 - 1914117965627903597781682833424209675964090703552626652630330539536\ 0670804335351834681200241685064014182657269850182131931969/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^35 + 6557460930137287124910721044893730025553627836612560002945609586072\ 7612850695181503162914782239143930824629700680650050367027/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 + 8337137866092866619509434486192725261942764641733493076926191945240\ 6020533120321604617121552479760640647406210357369795051966/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 - 1760415827978223589140530063012034476517924168839636111710336407852\ 54380146479722677627751731021121678950515330717191419135341/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^32 - 1863587130304787198031892960317562060351808452563446862538127537303\ 459482393033389828395066742727467683709983963471149666181413/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^31 - 9942143244469823258000230457540594757095031843328528785359159339922\ 61199240283022646111385056807881243250586865498338293848803/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^30 + 1563713639773191387389582924306276998826220091005954942940735114016\ 87679429022256350619391089072593363555896051023529056047539/7544942\ 4014815289467405154198652655532168596212354992677592750294989828824\ 721827959807687429267507993717701835252405839*c_1001_2^29 + 6485047666949660523531893911257775455316810220880798538773461285794\ 824997063429100528480719327644730998465128591430318992476855/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^28 + 3389360439301416631841358928654014349471046943318780290033283118073\ 829488572249603155962655519711936897662604570455519959052841/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^27 - 3274002127518653414585649625711089665070685484125754365558364081712\ 4507820352162182685246863110791932541863884257213887922983827/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^26 - 1236610226573255359538098806371796968798132904363450826403033344511\ 2891952391523072825311668633912898194327973078385029135560109/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^25 + 4172069506809438660306459342755137822657722177552579541519303554995\ 724203824838015144468579398908533759646454570248799834295732/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^24 + 1233056225124048328589299634522652515812485065051585819976529200418\ 12178484406009000830960997245281599073939953988687439423208083/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^23 + 5452635880788915995320066778993477152857734308725257795386294682656\ 2632902875212364560231607391493822649975487044294406986597021/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 - 8689704026494770908368031878865017061181521847981006263586486620494\ 0568401866622071330530432943923993955083437017898850281764843/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^21 - 6472859075266054441708340985515876438728010429913991484029278044830\ 5412054020781830819646433779352515917109603298754258719698636/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^20 - 1595307513053917729722088338526627665586368503595534721535375661859\ 81954966775183331691205325307412319589497397857886556822928017/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^19 + 5023288893557482620264982943970522658643637906111512999050088495968\ 802673597653439689280103278066441169588391615480193740427677/754494\ 2401481528946740515419865265553216859621235499267759275029498982882\ 4721827959807687429267507993717701835252405839*c_1001_2^18 + 3132715887794560112815849419182753771297353487987407320082051589718\ 00214667448268965564565086586071726066882434014306601092608403/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^17 + 4797579268862450082677845294545807191608162446805915162819265723303\ 6172035988538704735728629293339392893150072205673276071790169/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^16 - 2887157752270572537360088307810820468303459385484078646840852858643\ 2109358925009806820761295728027074714484967635693246070779955/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^15 - 4935692807678255688182338016292110370456334600723245787166487883809\ 6607147966285252683619433172285884487576928878014657776362534/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 - 4270105245658458164157147111625665533100328333352034901302725566041\ 3676341120998806128999465089341511302190476618349378175100451/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 - 3482436096592028456474812622697709159967073680561084275998956379248\ 3842796540263051447876254521396252380318378443753098751399439/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^12 + 3798958896183895323271428912550069605857548745147295508732335650847\ 636044331281066744832065078303641356150106613735732227344498/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^11 + 5383245501194534296413762562449067816086033565475701348306843430305\ 4934233789438961556712862771289624583918292711949822529568431/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^10 + 5600777224368007660002465267748590886939560475845809741166217838027\ 3984126907988957299930212240306259156473641292404165967045405/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^9 + 2047953002834069893599351572502826854769190819142130449125595136814\ 9676412963787762642418863670866703098407359859609909738380641/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 + 2321910541179252976913897066104427125217555284278408409599273524129\ 6286642964460939555862735793477985783245781071899406582444239/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^7 + 5078075556942081284733016854826578581535237931413183024492609765388\ 368312008762124830284266081197495649503440670767280096802929/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 + 3330765025345456842190456239737020068456002819948096585269153355444\ 101831010225551954982095084516597663665052091944557394234847/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^5 + 4020373219044834338017528193009763945034261127016629735625303315230\ 11070307658930677846809941616601380722493092123017354420717/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 + 1409650098786515197308341651981512071728512460186837527139676868866\ 73746055271425789881693489825722639526240110223343145977593/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^3 + 1226574847961613779386229022171656815588256107347053874705588205738\ 644505431082080852794212644410775044625084590373053468503/150898848\ 0296305789348103083973053110643371924247099853551855005899796576494\ 43655919615374858535015987435403670504811678*c_1001_2^2 + 1312885383382795177540467293110247010739708575009413111127776399072\ 959688611013651278503647499913320066572506598700316307061/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2 + 2175382127059128974041798454348060547656085267146370414494171271727\ 2792085844654007641949734120375089154387319379226163949/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746, c_0011_12 + 18005927666253565122710800504426862777858511670532398414652\ 00497991443851773893667266861157748663893491188397741644329789/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^42 + 1516830228174542040465755543720987615571768480411853761121482696307\ 4161165226460755938954698503634115195889997153864351797/21125838724\ 1482810508734431756227435490072069394593979497259700825971520709221\ 1182874615248019490223824095651387067363492*c_1001_2^41 + 3213590334121565517579663698919643098221912525378254265166620942403\ 934456147084829723414646909502693811447601173772127620/528145968103\ 7070262718360793905685887251801734864849487431492520649288017730527\ 95718653812004872555956023912846766840873*c_1001_2^40 - 3890157481676065980554379280265001832491770223231312958607792480640\ 0770577036343257695460492391191474661339804127126688873/30179769605\ 9261157869620616794610622128674384849419970710371001179959315298887\ 311839230749717070031974870807341009623356*c_1001_2^39 - 6627454765200688392641852734329273155817054438483646588501272027761\ 7289368746054347807683800584993944393768850993503754143/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^38 + 1132863840746059940536086054106914469367743952992336699295236312320\ 838464743995665081110361282526568583803630192998813639679/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2^37 + 5735929276294260780535590270468035924416080981131596692044030368213\ 615661325469455585031338591804214829307362923147495248739/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^36 + 1247222746848996850059360277465189667628720487391456643773906053520\ 1643839327361598993651004210350336042455054465785975480357/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^35 - 2950220255118296552604362886797860091651660215593034429412739956819\ 4610984268016148486460585109006101949441915373717027431501/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 - 4412210204826675461386110651933225720453257272304808598104369583053\ 1913564949003857902929212195350721829826360038459716403575/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 3599997681959323493587059605323307230840610736900702811912820574532\ 7563970000029070963471807114187173396472688369759649313317/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^32 + 9103918638632450922114906256096133960355639784318833969039626297001\ 27709859690541499523978415297016389187909739617979161817945/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^31 + 6028545794578289101067651694329985711165261420403479541260806568092\ 47906418212109466203819765106511919819415762294971216629769/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^30 - 6507648032682199083200790509179732829941128254656992525205489102880\ 0186999217474484149524940855280933195054363569854949560018/75449424\ 0148152894674051541986526555321685962123549926775927502949898288247\ 21827959807687429267507993717701835252405839*c_1001_2^29 - 3405291672659905386972552487964067112054303536816577437400500367845\ 088366808346782822418585847384799324572936126656830658266213/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^28 - 3349652829630807081839171000431030414635059202239071270411852415474\ 698150661521220235148070760293407659074366363902054393975693/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^27 + 1537774345060942797237117263743755250302735203834716637077765623865\ 6272136461929816735492004060399117193132110118938752375800503/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^26 + 7047101556564294110027833751770922669336402250941843679546961072848\ 202407667183920615915316487436666204362817212651571956074617/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^25 - 4821187283545362570488881616813463860181729771332963087703485233445\ 59453988125072939181960808077048037887951098546292345572381/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^24 - 6243005263457363682923208962446107263235973748588649946352511199463\ 2372981947608011808551543923933340208557373568902945229583079/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^23 - 3421350911019526016347945328074836667136775645741813784915775588388\ 4943919888925815207529836942446206386552815791294242864853413/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 + 3035945547351583614616141656436351046115702651559982743899216475680\ 8321101294165974512979727256362966836364069252800538788704667/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^21 + 3469038881314719879368855725735964768169156207059517430344220217971\ 7024533325432311788516677179439422016147567174546468607140781/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^20 + 1080401513265646432769891743997695558646885110988625210151371651266\ 02936564344389901935083571753962938666779653747735744214149861/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^19 - 1947676688916528963343502451568423550407109743179472914486462602460\ 910494656515101852746737725983504669205525322534260254600772/754494\ 2401481528946740515419865265553216859621235499267759275029498982882\ 4721827959807687429267507993717701835252405839*c_1001_2^18 - 1733716970247656514559363005454296251938235252539109926832781133325\ 60975848942453323070617917452034849501254678246123029067455919/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^17 - 3190314669559161314990012135410029748069612339737880820346417116000\ 6886090646294019915139315988701346907927957550985035938449161/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^16 + 6605969506125063400990126061607769565217553232917370527132222549558\ 975040741336378469054837323888971317221940952636629368636663/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^15 + 2689169459574765562077428907166480363794046711903885396137395499105\ 2278259859162223387016801888283767099916817422169647319111540/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 + 2606970752080030191151641689758254584248356839848990423018821222361\ 0302331260854371970845846267859630045660012795752993587819623/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 + 2426487008703881534539088067428406789393543288198787951495746988455\ 1390886958593017236131113674974393544801269486724707412646891/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^12 - 8447943653816506583606961089731113866468585642529354275877952739694\ 16151308183936427882366352064215797146590533560962518620656/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^11 - 2927194729675672778946295055220289022256048502046693308268432951459\ 6583577790586326146735837627826315213331814051243305901540663/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^10 - 3279087398975020594568152093347803065327032077041901409379912051239\ 1726992988700272293666021553083846024512501479154514413466257/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^9 - 1247092606908115827458318728520268612244379939363068743852754086718\ 6192757481595710057298828342476813959435262802946547391994391/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 - 1464368459079828484050844519428110216457231739693918409880150170742\ 2988231185375098024848083700251195582766163845358679947000267/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^7 - 3328339702229617406599002145835281235691726816521664425409849658002\ 012713685013604048482267631643382291804421076808072251341077/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 - 2268489852588697701221315852878522186007625280730955713609059892523\ 581475108049703953261786903098894335623861478752921557537359/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^5 - 2825881549974915382187129959687964888676362756623901866806488999748\ 03193293611477678504107737842672923557475017365725971283027/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 - 1024054523032013963601029975748084496634057501987536569305037525920\ 20332900183040012948177935932173290908075344058965885589853/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^3 - 9252222732454458944298328709717599420824271144584012561833233636503\ 81398600544803285480059584138007545129439688107137721173/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^2 - 1045973040975072351590019205051196692372986649475769706353167554753\ 050201517747325640877760743925526734947113067212397822497/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2 - 2048911060861534513454996127888075863162421050164026058677606634419\ 2432165081131693192674370875239857123865504793185096433/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746, c_0011_13 + 36337433995441421366290030077631190856635868647648691408728\ 03074338618714265816420902382425413861593124770791346538513139/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^42 + 3111024144334168329474331123846162451932780402102316069158334284827\ 1449028494874081317684980278790405489500994758984255965/21125838724\ 1482810508734431756227435490072069394593979497259700825971520709221\ 1182874615248019490223824095651387067363492*c_1001_2^41 + 1517456086599962890914008427969891952297592280234066763873663351417\ 5225717211545815665044927344616968177095119007066872159/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746*c_1001_2^40 - 7777702597546802245878348900584920342081598485796540294482525018435\ 8673480520084846436670736857039675507488252934906814775/30179769605\ 9261157869620616794610622128674384849419970710371001179959315298887\ 311839230749717070031974870807341009623356*c_1001_2^39 - 6956271373302735992338766614712680145403296023955578928563386884503\ 8686877988354449943799632881597977823335328060372274590/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^38 + 1998053266158893017032718913677350063328283176364764780088789696563\ 271466095625979390353079236723949815183221532720173468581/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2^37 + 5846290611938492625319560523353962139314511623294631304748490711083\ 171414633690316084141006521898816714503130701552243042554/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^36 + 2854384038049946265009897640042338120442585813251745299784536371440\ 5636507255454983899152755920417146929027327402633406451815/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^35 - 2861755861656542549469975392978799060949825429831107811504055261964\ 8951699646534530835720873103513256123916698439904212693452/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^34 - 9301054299327101298964928528733814277667804532794541584734853700997\ 2995483685248614349756346202241913005033032203671954698847/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 1657387863591102749857594804686446225666162841907835761335331850530\ 6026590452486889157803135082722170759960094227021786269463/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^32 + 1832891129146839761285898242910014255238459709327032856577938032334\ 210664192519418187189259256095607871053542658090848009029041/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^31 + 6754227999739315722665267949137601748731826190065589350713155879156\ 02491891633470269181065781962089264592875196957318916125578/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^30 - 1161192624901524162662351842184272288595184156311259118239057726087\ 15215143569018296241612588056667202247544607220829244136921/7544942\ 4014815289467405154198652655532168596212354992677592750294989828824\ 721827959807687429267507993717701835252405839*c_1001_2^29 - 7093565528158014154832382893691176191168486054544864812838404613701\ 199120212578852335848506599486779484122524046564862689607393/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^28 - 8912793167022848218309886584574230047943778517331693672509896283706\ 249998428145205578640450481660944655361785086122006272033083/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^27 + 2953685271467356727970641599045668128605967072463401461418471343134\ 6101378210253080860730014818003538516626661959272242151644763/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^26 + 3062370933270115251068166417602437896711639538323744714911451303159\ 3009396375493400952459239708053231096213400190245776582420511/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^25 + 1412151043310443255828456453979902074236988042969141800582635694717\ 207471148953361066931774673559177096354147132569809742435791/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^24 - 1247038050580829093948889856917929119383860334294797982123884643995\ 90458806624296314960720582903365765080282454334110803009027597/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^23 - 3931165360651992266780802726807670074289363973915094632257610413008\ 6132842261573636363624836610952637203565808917683881466584904/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^22 + 3647288910541611604657763653663173829939556016488867251560530001604\ 4571097443582600652184571396582149554695741844757599721768001/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^21 + 1427484047146296497262050798805749197489346590994295786534662831903\ 58896599392404248086673426073987606155428193446069898735770273/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^20 + 2629538646474949535339811835386174504554831086076411570290573943005\ 22664225101660522853832419138045979367490733350786436925758643/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^19 - 4935043567162602548215271505077413803598005859044018579749460476880\ 093313720525454415878552821696473203544373298602487065350079/150898\ 8480296305789348103083973053110643371924247099853551855005899796576\ 49443655919615374858535015987435403670504811678*c_1001_2^18 - 3621780133169891461013880234249974843600386795518546813822303937684\ 29959266405959840538760080636533543155017290080584918610000597/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^17 - 1576768475775643342402931656476174357038250286423790202487520674487\ 76404114097623235988727627729617326325040335880238629755862193/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^16 - 1055184944448813557752864564833705943579429983893795919979148800320\ 1212113378251819634390826351549223340024125901661552034429865/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^15 + 5429583751870176048080510162367815899294122583260959886558778443317\ 9477841468701344386224546470652282168290385479270596528006872/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 + 6153983929297912662943792251050491735660106950458852085456799531177\ 3495765454638366381866164996379353101304126748618854277432715/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 + 6748430608509093026833239359843378473470938247228788366228429900734\ 1403869894329372948280353654952275883115334772535591787186063/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^12 + 2847017565111020833235156006619437871546244277581470119216509817223\ 684252714169862480664856847170067755251346096641650438430345/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^11 - 5932105664248512668764107093611362326521254218053245532728722078004\ 9699310531235981120652936768410173486931380396093841734061985/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^10 - 7591490050863209918082676019082770495452399502389334341778187821430\ 0287227847964399174765345498282857113690234509076239289177509/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^9 - 1540548456934797285816485220767792046243868613629374232465439929056\ 7687457188380174392963621329663502142760722735767811105720545/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^8 - 3826534487427888506768166008810493382914973465124417241012819256247\ 4755989091096345646894743187057535966611780967933772367773593/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^7 - 4651674228247906981127777944516896146371772291612816146767320483904\ 773804805856115418262226904419313256262757530090039529394002/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^6 - 6947295848817971422371222338658138964997070357306719123232922614919\ 143055129032584590014747132486020574896250585269752259410325/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^5 - 4855887275104150552321146385615422557796978390703308257764901275988\ 13483163223860183534876910865642914266350005312265894451892/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^4 - 3990622881171036331923765849952842671707671575419917934389452167230\ 82722205484328966902905322169300132645223763945555207188335/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^3 - 2091567709534485539155331881375786853436348305122153976685110286313\ 002380879591544455304309025529080551973163683274283697690/754494240\ 1481528946740515419865265553216859621235499267759275029498982882472\ 1827959807687429267507993717701835252405839*c_1001_2^2 - 5698123554902693836764795499269500821683121711967306298179606787319\ 899324643773917436901455263089685814023331856739099493143/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2 - 7338094681621403806425728138021844740228080316603987184514241526335\ 7333362204445622273973387120097476653751147667061832412/52814596810\ 3707026271836079390568588725180173486484948743149252064928801773052\ 795718653812004872555956023912846766840873, c_0011_14 + 75450852048307398343722081107176259867475041909895607833963\ 6643384791711368930431051156551246367946847119476062459717513/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^42 + 5682483634809964681776975106464806668635624100905067150479168333713\ 802668195871083034231494133240380536877425832589212115/105629193620\ 7414052543672158781137177450360346972969897486298504129857603546105\ 591437307624009745111912047825693533681746*c_1001_2^41 + 1003758338790195964228886454382610091119381463796150790111199576743\ 04731988023669021811545676154094375850791291545437253/5281459681037\ 0702627183607939056858872518017348648494874314925206492880177305279\ 5718653812004872555956023912846766840873*c_1001_2^40 - 1645374841746010133951756429782563812435216130782690517341924006674\ 2516475760895790355509443142008927748225586073804569723/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^39 - 2045058657540449874691062004404254487839164564252724650601504460811\ 9694461708736851326490485017905887970073986169096733393/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^38 + 7474882871693844527403194107042168041825837856888169371159048212503\ 63447724646639830257674125672425499367916508574848773465/1056291936\ 2074140525436721587811371774503603469729698974862985041298576035461\ 05591437307624009745111912047825693533681746*c_1001_2^37 + 2094297443778521422380420656152178242944422783756139727667580168116\ 890003692033950343502440136999141244830005397526317574158/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^36 + 1390704553932135212126449811563303183981657704134861046867002327133\ 170928466053530547533685337170317164142134599901849036791/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^35 - 1331488770158627548941365097113750777059233233833971498070855513814\ 0354357301358561479788330809728141445646864357197970289940/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^34 - 2530501814006723891006153672208337444155522353305030433682472480408\ 5178635547616296545409663204098245832158351179745981728774/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 6415167057760807271553826293561727911342037899443012336204549435979\ 6919986179032398000003934307601521094806671473113281266905/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^32 + 3331443320544192895368805194266686869010076787045732382705826494734\ 44774858556636237881769436575410879070567635107261993853275/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^31 + 1004988018648651068989269491959126517791636698598551256537057883178\ 61466185107186009647380681673507263232929154320567137341655/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^30 - 7112556718196045320398805191848704590509156339879338092473314415153\ 7408207182311122655392000613317115271515111421140442152819/75449424\ 0148152894674051541986526555321685962123549926775927502949898288247\ 21827959807687429267507993717701835252405839*c_1001_2^29 - 1006220642537499256529017782461156971084111459136041203865743393932\ 485082746290290898164311530495005757185080391933120262879455/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^28 + 5293827726560067684913557912869610020444930743122157049953396287843\ 20250228950502963198940141488127056746005023951516434192961/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^27 + 6321538935092279199252978152655821232458077583621993055863697814326\ 573070799139254907980908732776309558112104901583480265930881/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^26 + 3099236664716728195945921891192351765139486232480314897697651926027\ 137914053120656041619041747771483675670063551277322076124509/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^25 - 3649938891063271530662547168795794980416864954332520198613323690235\ 283043796467745626954698799089695762893628826903348352948028/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^24 - 2089417868102416983330491170378452139984971603114677851814478693530\ 5840388702166363843814325885590824083846685331031963311668293/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^23 - 4643516462044061282493228628637864103432869309004416640185428475441\ 853668538782717553872174458538494697316339741861193654751449/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^22 + 2445917420518710786320562818365613486260464916246127514596924200382\ 8500647683058166087136481381103958321389986787516274950905601/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^21 + 1940074960437026945045873783119058522338035429605529344641813180227\ 2273979409696016637735028600414714986162934571438751254396189/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^20 + 7598339976695407116851210794594873160808918958049744156500606875847\ 819231757653396816731063116170265109455261329066217221374199/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^19 - 2612987960549733836976608264574551048101907120130783884498676650844\ 236698221052398175377978362984177144074837161617220359764251/754494\ 2401481528946740515419865265553216859621235499267759275029498982882\ 4721827959807687429267507993717701835252405839*c_1001_2^18 - 4324198372049274399973090957499844166235861655163960408886198874617\ 2618084584081266571796297105460130501673836685000862147360555/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^17 - 5046546881800810302289132950782836535753450060899180037806922725235\ 260629899457488737843620007298787837759644177154041629977443/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^16 + 1136645044853305899232087805721981212048107362182005175385395637640\ 1266311002478037786301238735397375745435106485556058890830827/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^15 + 1435215895153985150814732656522365564239217692815747523893684845168\ 7276253413118761057990883533346562561367531407210451382621252/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 + 7778837289677569805991372869968216610380920436475261767493342363667\ 004002744745425267470880427531743668770432962733480579966886/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^13 + 5914420464366715525566374241909294436144670706433455230802055217301\ 90015565313133822451282499795430693039213529777218947746304/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^12 - 3185206303479865873646680604644012435421979838774902789670379557705\ 812883213675236113989063853656350172612918276699091471353318/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^11 - 7793776354809900864323366559497879985301825932424905365288886585134\ 220155913371064725079683956574490620580806221595566784941377/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^10 - 6077731925600364276584014177382488275748639894697419778489646597724\ 686474593795826771443350353610801122991837241437833262953567/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^9 - 1798351251375710779682222461203382199419614768500207032892725181940\ 158564978185089388768321516678471374425497031070075506136689/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^8 - 1587460591043726542277836269056584440611355752898672359568845713913\ 263208321008597923258887434395342661955856552066935836146193/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^7 - 2283732329258446708094896785097252148162095058415709058438960718239\ 00171636328040065114606379659598283064365370063715797077551/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^6 - 5771414566278788942932559265600125077452783607217279094607497385285\ 0814156146082462837342082218766054518562579160597499628681/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^5 + 4215530953366590841980688562727268334295252948710768135867773347925\ 315332966563612074921133097998542134543622926732450280096/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^4 + 5390703807177895712344446320785001149350046791164383093507438396521\ 630589344685646232143962159804108092135229260522969605921/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^3 + 8642674133756532008710568475603719235579630441886093760987560970856\ 2098091978257173867864563394106425706639601862084833617/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^2 + 1332979832394741410606882569444871266864248236400099418011930448275\ 87523719843581050310706953841739549869718847586989535891/1056291936\ 2074140525436721587811371774503603469729698974862985041298576035461\ 05591437307624009745111912047825693533681746*c_1001_2 + 4770431316116457440898516115849986527887633417135483855602993003524\ 448957422117718977320953774996857210126050689154052973/528145968103\ 7070262718360793905685887251801734864849487431492520649288017730527\ 95718653812004872555956023912846766840873, c_0011_3 + 201947519433522155804788003995504533498157016662197429791300\ 8035824153480278879351007548860887120413799711124540563211939/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^42 + 1655882872417131618507964028140125446808100363105840030296311313429\ 8964736616210741171054754810926621817913993539388748715/21125838724\ 1482810508734431756227435490072069394593979497259700825971520709221\ 1182874615248019490223824095651387067363492*c_1001_2^41 + 2785659447045904402607355100247511655044676160256821376413562805965\ 927177944664772194044991106838480757130116196648282765/528145968103\ 7070262718360793905685887251801734864849487431492520649288017730527\ 95718653812004872555956023912846766840873*c_1001_2^40 - 4350475824771651187949197493984544537387686659479214042699893693289\ 5972733303560009620418112695192004055238853068151151815/30179769605\ 9261157869620616794610622128674384849419970710371001179959315298887\ 311839230749717070031974870807341009623356*c_1001_2^39 - 6941173564294226182586761299084429864346076822917343097890725992636\ 8319268729758608552199156144872462838935362559573128469/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^38 + 1421444620667146081855541152598461021310213780786884681449540391311\ 133449257229195607686592630929496144612259922747903122561/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2^37 + 6186102686836227308173305974515921433403687992706989511863149114011\ 849992156176937129549482818643541722874150532016075658737/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^36 + 1162581282662583190852450015539900148186520648883184067725587758391\ 8541841937312999778607972626999598904934510854810397914811/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^35 - 3314902535445018820873263509172879827133602868555350880961683020680\ 0237637030694398833967872082805477918188458304265208327773/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 - 4548599636168375694852024864932542642810735986524613177822557793108\ 3194713049891979461009010859356934984529044402335737560688/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 6590295988930723377120302727290564312154185574641719359597897015499\ 1413899438291070588262202572632795168656932686381144747799/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^32 + 9749827930604798043193137087721620272807293711680825817506199403676\ 50806748946559313668870899060162972122274057967803203407659/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^31 + 5832422577723973052015109513701105224883495501914177513141876957427\ 60207278588137457713823084167529694105585396766793058567143/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^30 - 7530928975094270280828150079359189577957837712213929082516230389510\ 6980987883604015280662844072772372127891690672403449925463/75449424\ 0148152894674051541986526555321685962123549926775927502949898288247\ 21827959807687429267507993717701835252405839*c_1001_2^29 - 3511464869121936755406829150668175501447559347867223473468045078958\ 519802178322896270299283003026433696440559099085662087689837/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^28 - 2734621499372866252716935019788415453909548131207665429316024492598\ 038624212418161310626597472226628529235000351593823453657171/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^27 + 1662780740795325586628818389467016482502887056507401705491457796652\ 3632541403535124459727192208027700631629732567513701600837373/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^26 + 7003668989204060345141026411047397176249944034787247401444590952036\ 896826555165015889189489474767864729043226315871358470078454/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^25 - 1203041244351542431378373873659778776251506205241115732892250474849\ 531580734178398947997933857777039744591999574040993995606133/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^24 - 6487441719173122479419830749406095662828380172903066155430011752987\ 3950304513872276302482531293449366453658564569631983730377985/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^23 - 3287570202047564347913159682123231102006714483912251506233718366370\ 5096513193929836626136255756265528256424486685330588035479147/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 + 3639836923560667190928401179313665992108696890340186409495464477150\ 1987034396452902801085057960040619749089991038348490470267629/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^21 + 3507854491386642328372883001601173187939882261636346852439183897958\ 5614404636622993481647095980392964023981225747251494938898292/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^20 + 1023969842160347418683195787785096214477225736123248974743670759489\ 37817427734141155350532488401212747246592953882279497704022347/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^19 - 2152950338556301944605345264289060010064349972726366624054948367587\ 137446883990241817092554775852556017542173517834876885328506/754494\ 2401481528946740515419865265553216859621235499267759275029498982882\ 4721827959807687429267507993717701835252405839*c_1001_2^18 - 1727845583163929135618663192979560392684244748892710153849188538988\ 65055653355742122805617315730673394951452718887748625691810117/2112\ 5838724148281050873443175622743549007206939459397949725970082597152\ 07092211182874615248019490223824095651387067363492*c_1001_2^17 - 3085739778683848301423907855076725288215846568834537284760761525029\ 1999723715266595048427869908492519178574645941587420181197501/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^16 + 7600580708567382235403075803228916008839378544312152703405299064524\ 034301533133905404640994653402759737623367069128216789565777/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^15 + 2670414691330786283602985902188405974951965076536776538498837360792\ 0488953708211621987533623908313541356239162708608895796704552/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 + 2590022688290948241935815864522353274249086103931709496719167323089\ 1841103451314063814335326692039632570501883797471190573013677/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 + 2446254550489868352454931672414024992682299638337561065025478560508\ 9628598897692300290216370334439903200394037249588865167644229/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^12 - 7011783102954025624970965761778913673226974621742180889265727407877\ 57086636652827211314757786802407544300730511325737299881880/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^11 - 2916096437550281215206057165623340418812377541155682593741858003987\ 7966816203337839902285360508717023826290501522711351996143837/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^10 - 3309294604600529849434150978011834246631466743854806077991039505271\ 4301655296234746790493439980577682610409303744516105199784999/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^9 - 1269722052229476228282215935259122629786303730346176090877843711605\ 3092411765035304088563142917543568270113680142234110179512261/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 - 1505117487654761371500507246574390014560814950670779164997545927743\ 1300966529407959627904215464096263737541716682607782268252437/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^7 - 3478072615820831334080519085363925109322957641440470682639461207031\ 300697579726741679023183364632221585261847018554975974594119/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 - 2453237438220581505422302041384559764290934150264178205885209082832\ 375229988004436768770070681979942354788613300933579682718313/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^5 - 3237721344099520062973750877497970257885162904135117518010497911721\ 34182887407509051860263810488025509551572016043830487967531/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 - 1265930954707777240597910837160256414238500293180482333024087490977\ 76668502414645591681243632407460772919230306382638419616787/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^3 - 1284994245897069471411644388774252966814738982582811919021905106337\ 781659542093390256842883373344722660624416998292993636355/150898848\ 0296305789348103083973053110643371924247099853551855005899796576494\ 43655919615374858535015987435403670504811678*c_1001_2^2 - 1708381212872880329482596366776637195703657174035346850021327665755\ 728086539142769466592920106912117813690052570984960274195/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2 - 4450978660910611819911848016039289091382213228000991502631037104110\ 6649356820410898736752123761592942149346582409719463087/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746, c_0011_5 - 576936014858272730913166896184542320729576375423074366502021\ 568844003283087978557233733036496454604787062321755557401544/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^42 - 9885312810717331774460522256383792503298162724925112758072433519977\ 845306294643580056223359167980407751053732788594602945/105629193620\ 7414052543672158781137177450360346972969897486298504129857603546105\ 591437307624009745111912047825693533681746*c_1001_2^41 - 9664944402695431919297477371711312123462648726038201805509734160814\ 618375218981312282820945864932115497876849833875249989/105629193620\ 7414052543672158781137177450360346972969897486298504129857603546105\ 591437307624009745111912047825693533681746*c_1001_2^40 + 1235980867877976932554421008051546688950875030447989492323358161161\ 4184689956771784327887093758132351271554672564874823050/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^39 + 8849608647251143427912360027830901360519059993849488114148907920120\ 5183791503432233399596912754637363674341863590292112011/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^38 - 3176241855431193702478803663847650189768749968572199565969471839173\ 21527285144986319561647156309633295688417016034003151250/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2^37 - 7439884547213371815592945858163921381126144193485768933970092730371\ 505546445503740052132510958921217220060976321388082724023/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^36 - 4538798536954451177158227792533644813893421817695174290236391380638\ 571341011747159585122855377117244767962453862378171450825/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^35 + 3645345593315301471301716822013587209148051893329710832660884108819\ 8427109400766277002792792638227924204024208253143688198085/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 + 5919504353597771848328828448791701178543917062714749671193096502886\ 2568195894956739450845983440832413077714683819976758405952/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 - 2798741663968913789346905409546400106565077976909903887805152801282\ 305435575644848309169205353621892337625899014864568806717/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^32 - 5839033301625768362147932368204999482684172895683791593598726773799\ 30588107740295335113307499519436355400549232412319691392055/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^31 - 8586688597776873373089533355127632802511856824084384078654623067900\ 41370252342170084689606008414202042011465177692893886653193/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^30 + 7428711540561872394040811695089161389267698969732940623371324414418\ 3088048808626547162553851958612215694119654345669323475048/75449424\ 0148152894674051541986526555321685962123549926775927502949898288247\ 21827959807687429267507993717701835252405839*c_1001_2^29 + 2258829319522888959904212206594316411928378246286999654425377335458\ 101599726446237124719195050989879843399548937237907258112917/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^28 + 1408732205700390747517264214069585483539592484416361336453228648287\ 022570237128736500233971918300490612390684460124563104260078/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^27 - 9436835493298918306581031444312588289401224638855690021439171243481\ 479758228167511077702248332540530824722503541271590766446709/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^26 - 1947599485200323680335339032783555155464607772739942025547460723250\ 0088278058360070877921544351308910985959681571589609636703477/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^25 - 8325103102668799671117676785589190658378585884307159409645918856070\ 73166856728500153099525828807648313385554344966585467030663/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^24 + 1990250765476064624721563336905816910931677840039106516689066505659\ 0551969295779659042644835265858384397833217970829744796166999/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^23 + 4985873996231662544168964875356389771247306549935831062363194318917\ 6643894268089721695469212717625103714349075129321595504000501/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 - 6035355737549498829586677374110534829236500966197450248974605905904\ 417002915068460816276147841898921519996201517549964005511993/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^21 - 9100433523968605604478201736824966981394543639284111044431810474752\ 7428156880970090564574459402570039858919952784477908926625003/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^20 - 4152369674814924303715253010576836092147841821033048542464929861792\ 5697254490034613089832741127164927382518366091866790245268182/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^19 + 3264682919324629572206349762631176402329384999940423526934878602859\ 613881147054811483255295877772169248462758705790779776059731/150898\ 8480296305789348103083973053110643371924247099853551855005899796576\ 49443655919615374858535015987435403670504811678*c_1001_2^18 + 5763710325130996017307885235495105378529302589387598716173572832251\ 4944045198873394465199368277661187539172935589785883949183614/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^17 + 9937580428096853647571165959904142854258787403163829072612888991089\ 0200884859209010031359739391119853743914951759643331723819813/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^16 + 2888471810793515428964824820496426841117694834335972690175390528657\ 187058920588839353040401538518652739053992180117892952387233/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^15 - 3457252338510127953055028800979183760788578639941097385261815278369\ 2985075113863797460978662545950889157410801468430506723455911/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 - 3883871794565534607450815170923016574530178513820565114934083542356\ 2600175534634303605074352677175030492547978408257957299096042/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 - 2116061466721786201921603059599654118661866356711782266642860768191\ 7234215868326621566341906177549840124214259330544547010532506/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^12 - 1688139274728521649738570372200450795820470515916089509582811108424\ 424129424439094631871053457517940879330739765018720932360923/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^11 + 9411285017463293313935101201658357708179367362495654966826938991496\ 492307554038435555233264612070171264542723450497159224768102/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^10 + 2398452184883703951116511733313309391323414854015861243931576163864\ 5164090654104575477258934117611687887631470843820394112071329/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^9 + 1943880578505459402383227384932351792539218518801021991433385287064\ 0838023758568945448588504942932554012897530272465947538104045/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 + 6029215447412774347991779111206247319700266222171151827534245946118\ 785116496610869882455770900396602630029919129530291016301757/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^7 + 5858174317645548284605736936967754659336797605099784291408926476650\ 798485617961315086123517104017272995071236450227041363376389/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 + 1093735868044605250362869012524254917122755769101087413816482397132\ 280757585167346341826646104380630412676558059264419195837341/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^5 + 6141763881453685710612134256000533636265453241154091046986261205104\ 63069391001825155208438892475328499703978107042372562117215/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 + 6380355641666744325943936345431024106670855038107470765574708919278\ 8489225282230076536541632507269262535050808996631032063293/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^3 + 2713834535231229350474033216652975177050461137343217443764322614944\ 917758791148189890492733345763994681515199039477190782085/150898848\ 0296305789348103083973053110643371924247099853551855005899796576494\ 43655919615374858535015987435403670504811678*c_1001_2^2 + 9486642280413844135056566653168702262017407217376970672972074475699\ 16219212969758712679606573070109441344130037829977326065/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2 + 9911638277741404805201469088734817813581338356301805761216211069606\ 2486047062884881500334434770211511202399018567089344495/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746, c_0101_0 + 909403343093794055184207012389081792615381855217792149912178\ 391054758975663334554970545499901438061811790823227930584297/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^42 + 1420010840267594617676223492053659179755822691044679221831285537225\ 7243565633419258262377774855945617938378819841661019255/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746*c_1001_2^41 + 4487676261150902046966732632401474529199706091794607626248693416029\ 393577440018377578781150004726020876507065036365755773/105629193620\ 7414052543672158781137177450360346972969897486298504129857603546105\ 591437307624009745111912047825693533681746*c_1001_2^40 - 1970146429313224272292690870478665210598503696967473804639368005247\ 6040502467449083083638989270660503069910568436781725898/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^39 - 1095229382481968415777354180986081688707457115007797066408484273194\ 21812407495414474345922326215281277762447063954391277313/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^38 + 7887396680284837377267832461968822765440853992082807180044890304570\ 87026005626326618053504215667222943456411231856120349329/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2^37 + 1050836670531065396297048221419134366857177660250298552588379696082\ 5181327294431633496817108275867946169592973846408572497203/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^36 + 3177184008900186890238410353505059951866814666402048801956132029354\ 529579872428015651557539354773556158322216340403003954187/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^35 - 6202779496242840953940435871824600660860554053651427211832303992213\ 9234283408001677831818484247432694193282551654556865907867/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 - 6962110910659543011158421818266575978167073067246757141517243417467\ 6718263368340218585121776835185908303102808349380838221471/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 5660341685727532418625092773867999576019816116371582246611528521453\ 9350778664768292123106370600199477271860453912962049855301/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^32 + 8305207493374217321705439835364014241827451093165207018568235026206\ 23042699704072194133202060109084931777069859840875940259315/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^31 + 7239754903366464332263386176962302817968718335948508833430604333138\ 74743306857130284686178184147247945436510011619666319008955/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^30 - 1548939742778724048489548540401263902669978434895502172660599265645\ 57710078365742119302960910130001653546908350731296124508827/7544942\ 4014815289467405154198652655532168596212354992677592750294989828824\ 721827959807687429267507993717701835252405839*c_1001_2^29 - 2724515164357905398378526220714100695147993383347835786647601436678\ 990552421336631626122978449819148168384525693607890281728478/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^28 - 1738256388042193651758660021471698616758666775449094090294109081233\ 35439216670657232035520276555776396748031092885689921644358/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^27 + 1498875615219626017999053309797809611150326369007192376996178229381\ 8521703896090516857919708052588852278958544659900554948395449/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^26 + 1925967019681760692731354469810606587091634317541910410778639117573\ 3962674386893258897718666754221037520496963701254857159476891/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^25 - 5820576295329479868248337759316225698900182741417948149663705971121\ 486799300669444796138095562336012422756921444382670956975156/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^24 - 2665343853622303590812562698968812140904981344752525696270655763766\ 9525093477393601558626164806729886970470338606653002994160841/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^23 - 3824013199618854480461409021783289156103943900740861570757743952816\ 0365672224205592034955380164663210459243963796148554295168835/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 + 2332558792933364257199975354486282386129214805947699746312847600481\ 2366438398971730326460954541577014095751302756447528092086387/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^21 + 1066640332951120542142049975961050157077743392837071382765161764470\ 32903365620580888812985166392956903862534596233592007602013275/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^20 + 2540800591549758340314188358035457114176748853815879472303358725505\ 4170978792595483199724622641357822372353112568344082205571474/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^19 - 1022348520376016678552354044763401378585698154634508144491009435748\ 1738234191929419967442830803236484485283394312980422560883669/15089\ 8848029630578934810308397305311064337192424709985355185500589979657\ 649443655919615374858535015987435403670504811678*c_1001_2^18 - 6268422776991991073955433073226170510572179574166860141263322761582\ 6966337872557307494709349479382927979500313130469859218149867/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^17 - 6302478114818561956879106554655264070802248832137050064376458283460\ 3717281540308361945435754983236110231939173511620461823760079/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^16 + 1751527631766723203937064861854118288674049409014193504130897790047\ 2813888309373036774406504720043192505662731189719987740091685/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^15 + 4004326176925850963333191937736190687078536797515070393368336735749\ 9992271115320154194769987195078685017023102020064470232867897/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 + 3116163458525237023377515443867755805891045396048196908591067011418\ 8462997147750282463628225707491522833877318011308462950020780/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 + 1086729344580773289872824544334301922416718003581802188610441754518\ 8025031937122229576729422713220774648816275259740473864049496/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^12 - 4597661889024838532832259096394829951499367357559804252884880069747\ 491220200022679768154250791849087855332655681824789211003341/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^11 - 1095941794157714941592982372019314231207351788076963025520352109964\ 3524972611419844198052064531837040542795446774672051812048949/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^10 - 2137348840696683063720553382905530811681803479810408850434523437726\ 4440096940668080276719505181010033110579126959892893305998565/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^9 - 1504472792511888733861069954043730048805037220054103259405078059538\ 4458971637422196840685178322416199871046510084881816526101557/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 - 4111583788769524395665245616285631290051366771988969352055498379266\ 253647805231545683274539763852179630702427045252477544638803/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^7 - 3448684136752739118107126371192865784684420348153214761725932040672\ 736625630378482763410757761095624982521478201246718320087751/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 - 5419225655047998547355965846952914650581203510671092725481761926264\ 05575937982036752536648625331368817108970626267877294342725/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^5 - 2524212377424910703266579082876474324803506915256502045327121451312\ 62569847958751209308940510809133495880653658684624083794699/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 - 2112739797376791199168044073044285289208802343569750839990526821362\ 2891513979652016420510912302078978331946098702666742580075/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^3 - 6986157548933949369644773285277109663321250697974767615045083070522\ 00796457918169959439632366304120795319991850643486189579/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^2 - 1708922042478934716015565053597244343357859250579558875293244058382\ 10262443613801172090955067244927695352365242418582575816/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2 - 9193643695442842838808847684926712637173237909440505509199879664994\ 430305693797750491466514400525640814847304349665584881/105629193620\ 7414052543672158781137177450360346972969897486298504129857603546105\ 591437307624009745111912047825693533681746, c_0101_12 + 65964922242766565532553174124289399756348081788829448875381\ 9280701507643679345949425140670786356713510796221402317162389/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^42 + 1119798388144844646474594346654344842980517190859918587746314047240\ 5901044314023427882628659900296290564604168899142271017/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746*c_1001_2^41 + 1019465299965197965138939347146105340449955160934046919361148382366\ 2844242409795356811713647978910667159654301608060684623/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746*c_1001_2^40 - 1417181555728239868308588056994308038743342756373556816838113015991\ 4967822224700648588757194805377363348730132736983031385/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^39 - 9892431631490512251411233730372630687873670036264827511914651463063\ 0261298736439721695941403512334064338902620369458930865/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^38 + 3882140904729329550518714249159289002369586618387434478653607570712\ 73627255764725363513575990498900983487708269373156433713/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2^37 + 8431464531092481709384375150627616207235511692801425409298561144744\ 858185727888994914265477031869797337410422268905357356109/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^36 + 4868719736658028282179558315225454420438956249957763518215243090318\ 155300339951161208217368128796521558071722901797848574658/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^35 - 4226814522908755120602338094835206173831551696027647987452307312904\ 4405919424805562892045886149779019982589072961043181469635/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 - 6594708267639877390019513755492913349490792434680695911411858864783\ 8003931647728596120953436030274882140662440310832165534358/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 7893094738506969962303758988484877172633255821310079773266265841704\ 698834696447472238043424204220444121978755953005257962150/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^32 + 6639023691615210244338758291489459859096546576591040155622947432608\ 87288706275930348917701042479707468898417784465148694308867/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^31 + 9309856880764025046488008415217707963424076506184236903294413552225\ 44875085932722119852510502282009450615881261149384533989187/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^30 - 8917623869522910274902552340074091650219672026063142392303011530933\ 9966444875511447643515128995175513139886856458580109954026/75449424\ 0148152894674051541986526555321685962123549926775927502949898288247\ 21827959807687429267507993717701835252405839*c_1001_2^29 - 2526566769593116779840061975307571870349015061723831686766763222291\ 919823652440401964289223235501755738695735458913318492211001/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^28 - 1428808379387372059673978986896732451599377244437652017513056774489\ 100561118115308298292431861436304816524425171607172360793779/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^27 + 1092030338900451164665113833179957274135866199617422532867459503261\ 8465717830827875935743039673723224604309990660082441667825541/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^26 + 2139146078566008916202090515766015583456953460712190272486456379865\ 7914414904654212550109739701365552594334889172424820505131959/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^25 + 2328875412864245022665150621434070497967331754121354452866103842200\ 05807181436826900807087409798842815739263953874512047220719/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^24 - 2260137062960875449899337556208856349425315212957053771483134078762\ 9697178565702586342730877787756705848109300523770286586001876/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^23 - 5360428647755946678551353520303050577441430014447698210848960028471\ 6287182189399924639246358808062983030121490088595491497549415/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 + 8561967809292966931430445718411386499579241727452069711926887892206\ 470740928712031131167484162475787492081311636297876693173323/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^21 + 1019822123390265607211679660757219487388073290461029257248786602801\ 65408420839861168620990615972063571563075084792583609443586313/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^20 + 4381268403948772468964885306147509316018274723267686197004681510840\ 2197518805903236759246786082393437643213074581201138625725767/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^19 - 4457268910389474794426739097042115835924565454335204096950677596573\ 969151522398360875320778665953686939881752551178704902087585/150898\ 8480296305789348103083973053110643371924247099853551855005899796576\ 49443655919615374858535015987435403670504811678*c_1001_2^18 - 6416747657522651232800023221770675217130569612776033721538196850179\ 8377043141000308107462058274073832999944589386176533033312504/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^17 - 1046044705952773882546273338365531523025393924561809602638797541948\ 54745846053467237343099521108330272364326941123067197635177019/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^16 - 2671695901291840307193396220510318092665347706059677742894966633401\ 04968522987815362244659208216030993177173038376598315308027/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^15 + 3893157759089446395717745816096188177656569703412690696614374584796\ 3007196986557342874116865689241546466512185357912259997008783/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 + 4157347552821362470085267499146572257918783760454920307542734841549\ 0335653015657369720462743680886442381782870824822397361158406/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 + 2160265045285929043957667461185580493847740989596344790669946837451\ 8347914126785651940790886233736263108060782445976848714402172/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^12 + 8051330449166188309828137452122248682136614295741487415823288303209\ 95880111181591170924138620796605483367433613159832548495697/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^11 - 1059427983098856002528212325108438842872271193056746756867028840807\ 5664882109145028176122497661715190350677605066731037696452561/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^10 - 2587002664601050553887249770216107306255694479668645493761316557967\ 5915449700265060198941408259259100598705735706869296729565935/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^9 - 2056302754038955132062272811965921429472540376280604107726705489924\ 0547664228411786823955560562898629883997791661666811157846723/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 - 6276640577714779875553052396640799257255373578435519172886777324172\ 282423487232023094999683913776137760308939803823562895638578/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^7 - 5989724953926838433224043109748029002357082443069931694399116623452\ 658622927697920389857533362853248275595306692525073126101779/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 - 1093734642637921395956885216539264713454677718467157858020573059251\ 672048977593488184227929818822402299492941141892314069651665/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^5 - 5989652941866278378205259737704622254995523548956412960809401573859\ 03762395249977312050235711089498787203612531209428334425929/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 - 6077733867600046473065964320615851053340216610424259045477460913685\ 0556362228397200629417991219409279940798149394718326393711/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^3 - 2530635424107143239766419430535734050837901014981389649803202624603\ 603870104179786564548931518083473146375679242125222956687/150898848\ 0296305789348103083973053110643371924247099853551855005899796576494\ 43655919615374858535015987435403670504811678*c_1001_2^2 - 8669940645268166945736172111608706248570507505508443021074150506728\ 83094864883026505634889050315376927579646073069531777961/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2 - 9477936677157998330187744177798323719235619019529983532199899341318\ 2335999995994518814606071448597630732296769323625474941/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746, c_0101_2 - 435913634624436853010219990782106488283655238305521347326201\ 329569156324651658515501070751057307244407292026442542232369/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^42 - 3210978422771345733484931989096142372996265076245383777216966664279\ 169265245750513697762317417395739740293066427174531709/211258387241\ 4828105087344317562274354900720693945939794972597008259715207092211\ 182874615248019490223824095651387067363492*c_1001_2^41 + 5778047961586234955205875890419690808968801460707062862517740120102\ 6350873301441814219274954240053136502687023600927486/52814596810370\ 7026271836079390568588725180173486484948743149252064928801773052795\ 718653812004872555956023912846766840873*c_1001_2^40 + 9298568186293721009157571055183378436315491943941249504721415965294\ 493962857235806915407844791064615914138576939847251401/301797696059\ 2611578696206167946106221286743848494199707103710011799593152988873\ 11839230749717070031974870807341009623356*c_1001_2^39 + 1102515185815155924027726300196010780831012329692272515221998790926\ 1397426811395724905735665120511994352815737365702294277/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^38 - 4294754295706788932788152023343925319855735954970648655972542504386\ 62023053918753370264373950832507444659503185257233561795/2112583872\ 4148281050873443175622743549007206939459397949725970082597152070922\ 11182874615248019490223824095651387067363492*c_1001_2^37 - 1137237256934475445415772126749187999745790897616020586989302065162\ 742016610429880930489473925432763129307735685265052866575/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^36 - 5949339756024794427011342970735658630744906617589046096169668542442\ 86146188218051201221342116038427649758919336558414006301/2112583872\ 4148281050873443175622743549007206939459397949725970082597152070922\ 11182874615248019490223824095651387067363492*c_1001_2^35 + 7219655961185290434474060194369490947324693651519674813722549448246\ 553388231222896599230421109782744606313026444883307878551/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^34 + 6580768190939179788816638228072761557769182759072547626282859540502\ 396642094588152830858845006074001324635522147034711558622/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^33 - 3508375527429374709526158206309905247698122065533845712792311535654\ 6523436803061222648571703853611795945629749184280258556801/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^32 - 1732736740771045039239866547966414673935683802769056622276212983092\ 42111519734444220043639419291054774715947642962046387881549/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^31 - 5019875588510963600080883327771465315810449786839990018827827486945\ 1829147097483639698421802843370957593234942573547366764639/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^30 + 1818691300053841052581652769326323382582223598898441492241080181318\ 0045518678137424470185873707981990794935981107291963715461/75449424\ 0148152894674051541986526555321685962123549926775927502949898288247\ 21827959807687429267507993717701835252405839*c_1001_2^29 + 5071263572655777545059851444785851983111523004752604900420057062267\ 59678887175331549589968370746961985104144383415796665187527/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^28 - 2468093543769888911573114636907626128056738076077923320376507420521\ 87238490054231230350542884137414709601652960570117562775795/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^27 - 3084361629095916010825337609484408153767925471958756384164160300134\ 113091351651168361410420323327545531041987223601664037812391/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^26 - 7735994925251023409728578356129561081350382524408503475913603297396\ 61977489043297372728598511169826842534300808300981362599831/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^25 + 8029354765465252978279360607857667760633560704632546379400116495892\ 16461549728087693422329608942912772863197793077345182645922/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^24 + 9756220004488738350860346864221610508200511182619668270901797992365\ 544075713022874570346923039033252566890143354470069063093263/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^23 + 2567257375848271752436630160817456479179717645121257168292272656805\ 440944613177997166061994138899292554126452399241830866940939/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^22 - 9722309380450775597124365437616897278736646526544195531932578924513\ 238061563631768908988531269787249836938180154115997873256735/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^21 - 4380327321064831056447210009798826347422250136720994520904628059760\ 402944629479664275172418648961891875026300226618599964648299/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^20 - 6613905225582308506852142007429625040379022048284675584877899497726\ 293646749198292632897667659418812959754743475373990217310693/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^19 + 4272457377499965642662258867291938713207798149011204396792887961822\ 79933083765172993007454661391948484702395385186138494022731/7544942\ 4014815289467405154198652655532168596212354992677592750294989828824\ 721827959807687429267507993717701835252405839*c_1001_2^18 + 1902405587801518018056062078878124263300564095492668852248381255627\ 3423094241249650321463546067597371270332507680327244912813503/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^17 + 2613317362278174755663058560284132965222174776815494695886061337400\ 893596189511701417945467511132464112102183948503855541122762/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^16 - 1494056717146847609976017275715740597188806341667248876447107680866\ 804095707267486176043805166913061457588315272766981384894955/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^15 - 2770790354067887383275058411161843229414166314328721731506949859709\ 621864276361644043768578039248889479411263412388452333107850/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^14 - 2839235266559997384080305850412174355183264502656437574898313924276\ 436815108995998812506186584934205686302499878871514623723587/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^13 - 3244126093113137233983125031736563135531961967712212419283098201934\ 801465293167867875504593277002964612002876771058065087940939/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^12 - 1662335708028910553821308324489505594660899920435021198125784996338\ 94090608013785410641413835150067842654455032280413511466076/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^11 + 3077107926289849403194805961174435758981271354368320329641007026664\ 934293195131643765350518271826439827092898695766799531728443/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^10 + 4142829265145609066920602712727580872456287718447143724335725686185\ 188894530828005363730564514564157162964255812454963548689601/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^9 + 1746103363768363148519214283231861152785488617445681463826693481653\ 299842647282135727401359418360973445323380970698618526163431/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^8 + 2258903723114364139162071498389733571182178966324435016090891680213\ 576875492943319366115516115458742633496587199730950547902219/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^7 + 5920124160503882561924238260117490296178313288558615067829066074061\ 37072838359627821460521153142526790479597464487902576279499/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^6 + 5128027997335914217774736677834176788073465989648396920226938463879\ 36985397462760350000150586580583208327135263944899757385331/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^5 + 8796528960060271442120934786324446945791376341252183472255872512305\ 4589458569540291582979507092712355942171310961317398935887/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^4 + 4394671246910513283793966307081458211594087362401825841536764419872\ 6682376129688035220296639945091446501953767088850978344437/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^3 + 5592550952776394640578078947196523567892939939771959775802881409469\ 10598773258345282900307280391861171861383286769596001583/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^2 + 9167723933541780411972747461457097553311688952700880724367288242844\ 15638617361773107701895227640517450544713812044756905361/2112583872\ 4148281050873443175622743549007206939459397949725970082597152070922\ 11182874615248019490223824095651387067363492*c_1001_2 + 2917276594266117734989760815030797490990053122073265625014027718179\ 3710551302081070708598260360156372305898781384886556683/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746, c_0101_5 - 495735581346767780253487665125176631358311883274662929256603\ 285473187019321956202981165568613536373289059346325367570277/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^42 - 4979333317704154868968326060587726720695855452712167951928848877329\ 590043590270683984962787600882031965314988855072626955/211258387241\ 4828105087344317562274354900720693945939794972597008259715207092211\ 182874615248019490223824095651387067363492*c_1001_2^41 - 5014130928607195331922167644503833540561399088059282816471696153442\ 380817594368065927816495191932585633881752759986644497/105629193620\ 7414052543672158781137177450360346972969897486298504129857603546105\ 591437307624009745111912047825693533681746*c_1001_2^40 + 1019086783148858668061111296026358266407787922783913555042129469232\ 7455796616635826205505133287445762831283842330050493961/30179769605\ 9261157869620616794610622128674384849419970710371001179959315298887\ 311839230749717070031974870807341009623356*c_1001_2^39 + 1346870214733375742261638622508975090416070297052965466311050809460\ 2211848374098296348302365474155721143672562049050156632/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^38 + 6000053880568914056300951013580395212710005930865657212840209085884\ 5488891961228394662727168661787236554837971686976964589/21125838724\ 1482810508734431756227435490072069394593979497259700825971520709221\ 1182874615248019490223824095651387067363492*c_1001_2^37 - 9426717618690749679615317757663534062006888995337852961276941329817\ 74910293749614046954941739774956952139595651586787776602/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2^36 - 8287225986685612420427633464148920021355019299957298967360302831471\ 147413291186122009668678801916071177476421257758571948745/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2^35 + 3054275019359369755118235857861541310549381906641631943231566980683\ 158452037408339897944488242073944106957341685551490645210/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^34 + 1888238827036061769480447714906245658771748762100752895109240602542\ 1796660059679133401391490085497159076796214961553463646971/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 5926993168395326098763072348076022047584089132228347709126153210469\ 5100591518459329026016261357037924222822427498623605987591/21125838\ 7241482810508734431756227435490072069394593979497259700825971520709\ 2211182874615248019490223824095651387067363492*c_1001_2^32 - 2856873724834342819118149592104731730491247443043279779369441546721\ 42721867582467922944164073506968247647719521707810798751319/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^31 - 1791737367209990876229862742803235369168329085434996857738494254458\ 16211008576493321404768858022064737838629096525295971224244/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^30 + 3032378109621412606151179599243664727648085157513867227090975677808\ 704319688974340392653600439659914055772978385496459687261/754494240\ 1481528946740515419865265553216859621235499267759275029498982882472\ 1827959807687429267507993717701835252405839*c_1001_2^29 + 1385443794844137043890091061222676314214613170735107824964516821425\ 648949124356005953963594628097589282902790445510521314903735/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^28 + 3613908755944930216884140586092983383576247998589378390035151733350\ 039251403123960905989709376269100699261429525177474376656797/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^27 - 3488384470915851752735915603330860551071814547081507311649294433382\ 612913031943884698778240885781596931452315822618939018687733/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^26 - 7255205626032230661113524806655286215566147961948229047534843904216\ 021771764084761538053386382948727017248767965941906706337185/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^25 - 2450354797708860554330204360788214218641593158881796956659569169856\ 284362080063446495324734033450612221672190315046174038245575/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^24 + 2047565835922471444988590936248787714726822904795989189042246266248\ 1837442290455283047321959059303910903423272253388316646795219/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^23 + 1110232277997392925006373532400861158160648974288407167220113109461\ 1232283463213036900564474939465787163938013035548389052669914/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^22 + 1460378063624553322153210134069853533212041041484898365022723494902\ 6335902009277381610531030457055037698816253796748251614715969/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^21 - 2795511480413117425375603718670832388185343805947747094137103177457\ 2172167894676448786912862470694895672246626597402248284906211/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^20 - 8372429537862670904592702197433633097617786217695593208460989674708\ 6116562240677048982276373835488307943711844029463163698598693/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^19 - 1340124239983891012703804704434897902476486229367924760800550909637\ 627876286486595536823044268689223958115369262504717104526755/150898\ 8480296305789348103083973053110643371924247099853551855005899796576\ 49443655919615374858535015987435403670504811678*c_1001_2^18 + 7669283489319997406256951976554681471914913020659366782246642742074\ 5987733497627364481686995364813744678109194320250737046033219/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^17 + 5035535910685209402601494155855009549891080295498247106956207282641\ 2730832997123057247764033103846344968397397392599992100324573/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^16 + 1842187441463747672105604177739448837492335436377465875724720716984\ 6873184311185541180673066233758220848444987119489369991395359/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^15 - 1039513077761172692501832754922580603793924913041112889263928681991\ 0824968384171926373016102011107805169660051404233167916522209/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 - 1753634251817054780213142015765402784723334712807377577511805542516\ 7638152331417156990461853346258539439207089096701744991428129/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 - 2458317864626796103936737253022658117003842592446849703247529773487\ 8757104527965601835632408020671247276501634763651326009366163/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^12 - 3388367538213923207827474972865438948703027517063935726945144833838\ 443542393030084194887550838821817034903926488580625634318245/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^11 + 1135254800171740205822529481522101909587708409237317638265834469926\ 9280038288905932901686115840183163424455981778300513709591503/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^10 + 2033354257219026344471449010596483225239670809057569076069466062967\ 7349693118220898301524152580928069674605876279976280972286955/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^9 + 4640011787431229331721662647346925340860419591783325485766554789101\ 308761139184555993284949288628628090495847247823807874674241/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^8 + 1254651277691406769655039196135408231742922941440668758699035149316\ 9948642422140863363643951016231769878521970338310790822447847/21125\ 8387241482810508734431756227435490072069394593979497259700825971520\ 7092211182874615248019490223824095651387067363492*c_1001_2^7 + 1659232925774581860143269428264877437388776991945454890114291233849\ 269329636694318804284548530059006513753718952048744650812315/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^6 + 2709483744659539541190505638635738024568565730467995164985190999548\ 684741946941507590742837823654218422903804068331920128782435/211258\ 3872414828105087344317562274354900720693945939794972597008259715207\ 092211182874615248019490223824095651387067363492*c_1001_2^5 + 2069606443197129356684106577999038350305065887567903994550044121636\ 88317256156992926880259061036230314054205873471055166589773/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^4 + 1851688101710237881983932866190246629684216977863301751990056441077\ 55916343732864834528555422694594330748167884910299952120793/2112583\ 8724148281050873443175622743549007206939459397949725970082597152070\ 92211182874615248019490223824095651387067363492*c_1001_2^3 + 1059922436595424578239640483396138990141720745677309203444856604255\ 786861234906611081750312916378062616362040661100127291578/754494240\ 1481528946740515419865265553216859621235499267759275029498982882472\ 1827959807687429267507993717701835252405839*c_1001_2^2 + 3171584905313167952034549166521578545109830808676556899150844078143\ 267837473797327343818350520104300504254572722927721290065/211258387\ 2414828105087344317562274354900720693945939794972597008259715207092\ 211182874615248019490223824095651387067363492*c_1001_2 + 4725006987140965977866393117518645470553600087456297901948563958575\ 1013808135450013687349066261895888847430572960056599630/52814596810\ 3707026271836079390568588725180173486484948743149252064928801773052\ 795718653812004872555956023912846766840873, c_0101_6 - 177363844825987580301598462247102619791159791865617560131844\ 0840213790811299400455853616879686978436765348724506359701897/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^42 - 7422246416856992772251605790813419699084814032613099908735133324071\ 908606740914005649292981389910180969449154232572017997/528145968103\ 7070262718360793905685887251801734864849487431492520649288017730527\ 95718653812004872555956023912846766840873*c_1001_2^41 - 1209402102686012656712057175649930511058220008369214652160539326888\ 8824520356699835425044048283226313716093162285796981011/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746*c_1001_2^40 + 3814806737188759276848642134046739192475276329485716866669909865626\ 1866495937061969471438865413765069408021761533602654161/15089884802\ 9630578934810308397305311064337192424709985355185500589979657649443\ 655919615374858535015987435403670504811678*c_1001_2^39 + 1284328350488221286520239956035915546397808239163039121679862418725\ 38377501801649671105617484489017516532251117013447393005/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^38 - 1128172222945127992965161442454679547074103584847508461297032875418\ 915566109003701396541123436328404140556519930119503666847/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2^37 - 1114122801404451573096599800402958460168510243496211160961631404653\ 7351589655612655022325297639189513922442559442621892550897/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^36 - 1190079644160204914897283483163858838073239209022800146092236386028\ 6618059668254488695013858969429775202601150291404896464431/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^35 + 5739798414124294225053977553908682057338965287905853941828826011037\ 4057879201996098067461048826361991402777708294555725745495/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 + 8502445589288403257754289911266207114434639477474346624692694206784\ 1284204392433049164482413844578655774299680566406855921104/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 - 3636464494227396323295631740417503582098730368920065173870456669058\ 8697572926869904859591519401663191686820687998272227659507/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^32 - 4386474302402592643234338503021872599301352625923412489657174841205\ 27229678624794033459562048066802793457105737093310730846017/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^31 - 1157302222632096661966756532216380839727557157130709759443666450275\ 085403790245347445246040121553184968631557293455543484264871/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^30 + 1249457097470903733504846573372282956954790188533346605468295273091\ 27990267431160603106788025514913132115416985262649584473134/7544942\ 4014815289467405154198652655532168596212354992677592750294989828824\ 721827959807687429267507993717701835252405839*c_1001_2^29 + 3265573894442928329493873196542116586011377683378346908236675945471\ 098895451622933544913832823427040905845780487740670107057586/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^28 + 3245130079880866079481119583277755918752162060609775866663284350105\ 188407747000515033011875245624398890312708163658557796822009/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^27 - 7317846343938712712189143295562034686989092779738910358992871535897\ 383580257751654985271460561206597894609179967158745863109406/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^26 - 2701768324645853973254093059829061759142064370738262747447472640247\ 4157092024706323959843766410758470029727508427456199313131053/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^25 + 6833387184626928765551592926518132975122545013933061675511361536133\ 01084937103065171693499242567834435733763180828247965688456/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^24 + 5911585735110826450173329109483412160678070630305277916365977531360\ 9350415027927432020443839454078268416877383646146427719461889/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^23 + 6607603302007310745186301045614318836360737324263031651265358296649\ 3187654269134846730848223967294302962591996342968554364384783/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 - 2659765368199617703663000282563396993966996107190230676148397317235\ 2972928022876316549767340169797798427645827120182178411117359/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^21 - 1310842092468904263283426668333394069320154411050132627814306359114\ 50575016595509016268994247266809441171464224858900119588486931/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^20 - 1061979498898094413673810845865481032536200971704743395370489155675\ 78523414417199787859632042311319481771654418398528605068027449/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^19 + 6586412052843566975655365213159483306488839880261038272778958464179\ 142921397566160830350877421971022064684847585658548241350663/150898\ 8480296305789348103083973053110643371924247099853551855005899796576\ 49443655919615374858535015987435403670504811678*c_1001_2^18 + 1634186069128058545374394136911543624051056819442528066623934249569\ 34801429092143203476449310431687378487280094340046934007872081/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^17 + 1272834555127477024395729117872092498540969547276708574171215293442\ 08310803573401374801815797079597322943199682561593655626553605/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^16 - 2263985778509281008107232800891822964688751357697608197934830938698\ 570823266251347327263994812010291620130174883746289051542900/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^15 - 4980458155658967346872040793746321705777437154777528988848815126048\ 1354957316053964374735080817081035539461130715749597931167667/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 - 5155846060855894315303766082374577905024752216440964802558859183212\ 9349296767308764058968960031423811461612792067321311356071792/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 - 2609781273777028977987334951684129797255268617667406542433455335293\ 2904531563029960237809455104988469652984573639331676527787157/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^12 - 3235655400343758301656493615142280603602366019081330013798977343431\ 25299155490340533033938416396469075382769978092060709338709/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^11 + 2710240249038407112873628518953603676621489093746489806363586117818\ 7529671552465406721085528573316844813229202676739180151755011/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^10 + 1620815360545894373328941879324117968684979031730507066945615617024\ 9001282521709361935136694499816622117685545791542343146964874/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^9 + 2553266644137447887825994653900095193156668200665081075888378485990\ 6755469641999675755343913632096698678282451058468502231730601/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 + 1547560613601405800438305938701505728328799105416558992659509846153\ 2677971634968233500359259747400989607942938526354656833584217/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^7 + 7334389551092774335893517511042535367989618266054324844140150919027\ 292011663425746479203544175799904437722381867222612785171247/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 + 2665853838188389765742692117436786294674796714987374015460324810910\ 818232875273528690952035225403887282483985507201559520574563/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^5 + 7295646221656074931775192893401397266284340353095319233513899478174\ 86733156169671576694356466733658494195897601002489709616249/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 + 1484858845391240622304784120725026192574978874385498627422222208231\ 46174057286830831371210043541671433948769759938566152621063/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^3 + 3107513520230258304285742663011821182135890270132838980118556036364\ 143452030021024873292192381118217692854268207925076137727/150898848\ 0296305789348103083973053110643371924247099853551855005899796576494\ 43655919615374858535015987435403670504811678*c_1001_2^2 + 2132319503501385535682382059428029891351745144582075284564230240568\ 532936968444578803726219418045660981191582915268719035425/105629193\ 6207414052543672158781137177450360346972969897486298504129857603546\ 105591437307624009745111912047825693533681746*c_1001_2 + 1147358438599780498702315210886409664572897413565876322198482497333\ 89801315474932343245403660769651828239598305301718408417/1056291936\ 2074140525436721587811371774503603469729698974862985041298576035461\ 05591437307624009745111912047825693533681746, c_0110_11 + 88156370230596646066952171774746629077281871129365260766385\ 8074645781110009676972594027790289945232574918011370497824988/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^42 + 1482923309787821039195698507618671533531906904026268894137849746744\ 5679608718547806872295336563993835595790769495155114517/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746*c_1001_2^41 + 1264418878298620673197313274317469169141284134257084073801507107011\ 9350202325138478403580364341220392096105878426831747687/10562919362\ 0741405254367215878113717745036034697296989748629850412985760354610\ 5591437307624009745111912047825693533681746*c_1001_2^40 - 1891982109930599025076783719389646092152117163914126264776966461522\ 4722747912387679055285018179573988746097209271091720722/75449424014\ 8152894674051541986526555321685962123549926775927502949898288247218\ 27959807687429267507993717701835252405839*c_1001_2^39 - 1292551897841242700103310503171796246136495948515889669928083274619\ 32117080510514067910858218194719639347335478478841911511/1508988480\ 2963057893481030839730531106433719242470998535518550058997965764944\ 3655919615374858535015987435403670504811678*c_1001_2^38 + 5413142655653117448044430948077446703007677805234021520422538316361\ 16635596375760692603044373565471346988638670697466901966/5281459681\ 0370702627183607939056858872518017348648494874314925206492880177305\ 2795718653812004872555956023912846766840873*c_1001_2^37 + 1111931438904078904212449373187079347719392844309257059392170296078\ 7322800310571008397891213463722099485253778640250440224203/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^36 + 6153386698898304597517964395283953526495248594327041873749382423391\ 562850118987333323498316985250537672587612823055417647351/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2^35 - 5651614919798584168978197000165430088548459120713955237584422880414\ 5135249397328871251248334070078581805948715148209797422229/10562919\ 3620741405254367215878113717745036034697296989748629850412985760354\ 6105591437307624009745111912047825693533681746*c_1001_2^34 - 8573507516289907109884540124259749691376546761490418738461857618236\ 4933281536951539508956660118342125104008727607933209518949/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^33 + 1434604434806799753720789100416094563808116392766864517819061217999\ 6269424771246086158360689972572489201863391821456699806209/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^32 + 8733528996756396427115761376154685960886404968854038894088739068241\ 67964269850015129255639023322952564824286593335441277468229/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^31 + 1188674562252510818099763797000957494797021082171060168287093894032\ 605457948669112984484162025769749633479248776202437672285497/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^30 - 1205206539429458003709240330251877058910773120737336554998126387718\ 44808007556075947762393029873592264021227178246318080453601/7544942\ 4014815289467405154198652655532168596212354992677592750294989828824\ 721827959807687429267507993717701835252405839*c_1001_2^29 - 3284221509108440655037182463028769697383257824415459985220844784913\ 437767789928065581558089417778319329351891019579738827555859/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^28 - 1757510723494645196802702844710893904693031670681009183022417792085\ 108169841193207975450332535354066383251137769711553087566570/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^27 + 1440479502093566377841451208618979070450344431457834196760570792530\ 7073057120815110973022234206762125974595869070763678113788889/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^26 + 2751213920079628235534305134391346609458502227052115791608896187489\ 6280342275185702758871073457203933987459660865762783760985947/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^25 - 7840249801503754984600861351746787793503401707840731828617196805200\ 6356009787680454693071053495747405147745602629806847881430/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^24 - 2942977961353742497068774661526173443942170945661855611211019483564\ 2919257593506819286294801029332487967752692934708854941825925/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^23 - 6836908870594867444981453497119388197715830213306693499788175668539\ 9576348045543840973163139747195328660723714418990758236318061/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^22 + 1177117683050800970223941536946051633024598041125095882622206723411\ 0177553685691887476853478606755579109174662811013466160099970/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^21 + 1317041065347391488747520903044475457950277547739298772989797367020\ 45803442813215312256517857936457686468533318070937909473678791/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^20 + 5578064839874001564709278476068846717238207396905564348596187488741\ 7159298743738539863609456639520701160840856265335916973468396/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^19 - 5907970954562144788938070104303385373496910696518468716546701024099\ 260242410039877444302771870994589989272382002469880518579319/150898\ 8480296305789348103083973053110643371924247099853551855005899796576\ 49443655919615374858535015987435403670504811678*c_1001_2^18 - 8253109308212215632288300848618366318835718525492436822745117931068\ 8755983091274402264739177733485280956512499372989082977762913/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^17 - 1340306351157685786675859601280455845010802506994809866414289460606\ 51723907784705976108763160836068508726973706055146315597864685/1056\ 2919362074140525436721587811371774503603469729698974862985041298576\ 03546105591437307624009745111912047825693533681746*c_1001_2^16 - 3369641744495184542964524041297831846159287443333954312980678778190\ 09431865749388107479747481894911773507528679269945355420371/5281459\ 6810370702627183607939056858872518017348648494874314925206492880177\ 3052795718653812004872555956023912846766840873*c_1001_2^15 + 4999054195713508658051321401437169767245098487135741440579911942905\ 6504245816193465317333691252804596030113201123020372196454547/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^14 + 5361858916781572462339712059893920364884452544574050300028315958179\ 6830331957481673279864768756907191098324824134607657485781301/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^13 + 2807282573667441819160671384754463601108605281483776047977160968333\ 3046648070113462032428391736918522854080558735643146407141414/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^12 + 1210089195218293280881587031183544745471672645854225117706022358955\ 627259004878667384613139239234938552890836971311778521007223/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^11 - 1363490483135254695146497229214463139071007336357105102380264964641\ 5020633798443552885731223409001101265594779197951286945052772/52814\ 5968103707026271836079390568588725180173486484948743149252064928801\ 773052795718653812004872555956023912846766840873*c_1001_2^10 - 3350454106694138651550292499340150398996011907742373293629689684522\ 7675931481791286422589742044767625373612286212918517163183429/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^9 - 2671934921495964972856390149969392133965785921557768088419695584481\ 1814175937473919648031383337784906837069874491081502339395107/10562\ 9193620741405254367215878113717745036034697296989748629850412985760\ 3546105591437307624009745111912047825693533681746*c_1001_2^8 - 8180828845598247014202847449118070513301231169738236820123685842733\ 300238460639448036390275494121094226432468056383060462602319/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^7 - 7843041993465683824978844919857962276419040552364208482877511606765\ 569046602079894953199922382702696475582053054681171895816225/105629\ 1936207414052543672158781137177450360346972969897486298504129857603\ 546105591437307624009745111912047825693533681746*c_1001_2^6 - 1443784924696394779160705116387845326464462291309765272013445226232\ 358323080596601558011741005796072763669842752033816320132802/528145\ 9681037070262718360793905685887251801734864849487431492520649288017\ 73052795718653812004872555956023912846766840873*c_1001_2^5 - 7989386340921727233889722196054515934506392037999698500402071353477\ 16296224746261697226015358933390867824075601907989577414967/1056291\ 9362074140525436721587811371774503603469729698974862985041298576035\ 46105591437307624009745111912047825693533681746*c_1001_2^4 - 8167750979872051075469808179097664413286943495524236986855076453473\ 8376280511865266622388813701660914769733290446881752795343/52814596\ 8103707026271836079390568588725180173486484948743149252064928801773\ 052795718653812004872555956023912846766840873*c_1001_2^3 - 3423159563724833308582640230262727325597001085945811609414566029924\ 327637332362483669645046337362714539697137819526144535213/150898848\ 0296305789348103083973053110643371924247099853551855005899796576494\ 43655919615374858535015987435403670504811678*c_1001_2^2 - 1176183658416972542012097045182001440704149207108652094740993702858\ 121236181795406672905242000587102401517191708472419092518/528145968\ 1037070262718360793905685887251801734864849487431492520649288017730\ 52795718653812004872555956023912846766840873*c_1001_2 - 1212771479135072526817845107539499246634472228952562837729625787425\ 86170294124207176878686189335393398081335231749193553247/1056291936\ 2074140525436721587811371774503603469729698974862985041298576035461\ 05591437307624009745111912047825693533681746, c_1001_2^43 + 9*c_1001_2^42 + 12*c_1001_2^41 - 147*c_1001_2^40 - 602*c_1001_2^39 + 331*c_1001_2^38 + 6722*c_1001_2^37 + 10585*c_1001_2^36 - 28678*c_1001_2^35 - 116580*c_1001_2^34 - 36671*c_1001_2^33 + 514669*c_1001_2^32 + 957994*c_1001_2^31 - 618044*c_1001_2^30 - 4339574*c_1001_2^29 - 4035517*c_1001_2^28 + 7377079*c_1001_2^27 + 20437500*c_1001_2^26 + 8048272*c_1001_2^25 - 34779335*c_1001_2^24 - 57604282*c_1001_2^23 - 5741369*c_1001_2^22 + 85206256*c_1001_2^21 + 103932897*c_1001_2^20 + 6327188*c_1001_2^19 - 110883659*c_1001_2^18 - 126001628*c_1001_2^17 - 36368718*c_1001_2^16 + 60727816*c_1001_2^15 + 91586812*c_1001_2^14 + 62027022*c_1001_2^13 + 15874784*c_1001_2^12 - 16045843*c_1001_2^11 - 27396133*c_1001_2^10 - 24807490*c_1001_2^9 - 16741087*c_1001_2^8 - 8900170*c_1001_2^7 - 3713387*c_1001_2^6 - 1195402*c_1001_2^5 - 292641*c_1001_2^4 - 53522*c_1001_2^3 - 7061*c_1001_2^2 - 618*c_1001_2 - 28 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 111.840 Total time: 112.060 seconds, Total memory usage: 603.25MB