Magma V2.19-8 Tue Aug 20 2013 23:50:43 on localhost [Seed = 593840153] Type ? for help. Type -D to quit. Loading file "K12a690__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a690 geometric_solution 11.98717788 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 1 5 0 -6 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864872393421 0.737280950040 0 5 5 6 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.368930687811 1.117639214788 4 0 7 4 0213 0132 0132 0321 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 1 0 -5 0 -1 6 0 -5 0 5 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.469137907254 0.522410342813 7 4 8 0 0321 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 -5 0 0 5 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.249650834607 0.763946377412 2 2 0 3 0213 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 5 -5 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.416315716999 1.012575332723 1 1 9 10 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 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.733667755001 0.806827328296 11 8 1 12 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605046473033 1.236885154383 3 11 11 2 0321 0321 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 5 0 0 -5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638506542928 1.103951784713 6 10 10 3 1230 3120 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.886098788402 1.117489667588 12 10 11 5 1230 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.039637122529 1.163580499103 8 8 5 9 2310 3120 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.564346739125 0.549417315599 6 7 9 7 0132 0213 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267894562742 0.818113509023 12 9 6 12 3201 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464041877147 0.698085263484 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_11'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : negation(d['c_0011_8']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_11'], 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : negation(d['c_0011_10']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_1001_2'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_1001_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), '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' : negation(d['c_0011_7']), 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0011_12'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : negation(d['c_0011_7']), 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : negation(d['c_0011_7']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_7, c_0011_8, c_0011_9, c_0101_10, c_0101_11, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 44 Groebner basis: [ t - 1629114932253590696114252956015519982331676522861656521199443748610\ 4150359751814653246826579918/13262216669462051146641671018494235479\ 6054975926468951418699333856595837751281813067926238633*c_1001_2^43 + 25065610371885227659619032144898028530287439973378371896620695232\ 1166430236554020994992607175576/13262216669462051146641671018494235\ 4796054975926468951418699333856595837751281813067926238633*c_1001_2\ ^42 - 1921257790210890584362307356887262990011415105028521814078573\ 49413411815339298860476178429185668/1020170513035542395895513155268\ 7873445850382763574534724515333373584295211637062543686633741*c_100\ 1_2^41 + 9363586785301947275667111522020346396256818003861383927527\ 671644543485658389373487991879963586451/132622166694620511466416710\ 184942354796054975926468951418699333856595837751281813067926238633*\ c_1001_2^40 - 11782072085336017719592302422597786423464441228064565\ 41334712011329395242453593545934640146090304/6980114036558974287706\ 1426413127555155818408382352079694052280977155704079622006877855915\ 07*c_1001_2^39 + 43156112958097328608173479500513301210106629831347\ 662908787368734823857321749652224585139377932619/132622166694620511\ 4664167101849423547960549759264689514186993338565958377512818130679\ 26238633*c_1001_2^38 - 81143378202433553970155496480357214145516882\ 198147550285678218646137050667641128380005432190893525/132622166694\ 6205114664167101849423547960549759264689514186993338565958377512818\ 13067926238633*c_1001_2^37 + 13805816857104037761198886149007886702\ 2857511802038263370649806021991671638057858863385418936561754/13262\ 2166694620511466416710184942354796054975926468951418699333856595837\ 751281813067926238633*c_1001_2^36 - 2285740604387221231351046317009794909560971406949922446554866568777\ 17238740369560004566029170651244/1326221666946205114664167101849423\ 54796054975926468951418699333856595837751281813067926238633*c_1001_\ 2^35 + 827613761258906273534227042423917655768513589115947731985931\ 9684142665283499868918997791121522810/30842364347586165457306211670\ 91682669675697114569045381830217066432461343053065420184331131*c_10\ 01_2^34 - 528244515434364804661347277924274570177370763467145385458\ 483443633418844161430010220031519907194963/132622166694620511466416\ 7101849423547960549759264689514186993338565958377512818130679262386\ 33*c_1001_2^33 + 16347239233924388323287579708549202337401141139694\ 064811676969153543147785599129496573690738217795/308423643475861654\ 5730621167091682669675697114569045381830217066432461343053065420184\ 331131*c_1001_2^32 - 9047075497312466459876300808984788163003123828\ 10566135444610589822827906557704366563953815978074336/1326221666946\ 2051146641671018494235479605497592646895141869933385659583775128181\ 3067926238633*c_1001_2^31 + 109268384828490840945817617329362955582\ 0794992390594853931374509703152929060330986298101770642493425/13262\ 2166694620511466416710184942354796054975926468951418699333856595837\ 751281813067926238633*c_1001_2^30 - 1310762626574587149504151087906820165612177056400468174944756723646\ 434858212350368312225596208100187/132622166694620511466416710184942\ 354796054975926468951418699333856595837751281813067926238633*c_1001\ _2^29 + 14851857325760803796027911055965961714849335529560849530404\ 84044673251770809335080001731300385298851/1326221666946205114664167\ 1018494235479605497592646895141869933385659583775128181306792623863\ 3*c_1001_2^28 - 167210333495071873722057806381912089213872510946074\ 1562366128893891699496380688681418925710125809433/13262216669462051\ 1466416710184942354796054975926468951418699333856595837751281813067\ 926238633*c_1001_2^27 + 1727907466657840327193121379049630680140488\ 637193779974195763316610878128735189612400287699321286537/132622166\ 6946205114664167101849423547960549759264689514186993338565958377512\ 81813067926238633*c_1001_2^26 - 13616315835258562898848730096431837\ 2831311673288843459972937664725359763950916906037647088713780152/10\ 2017051303554239589551315526878734458503827635745347245153333735842\ 95211637062543686633741*c_1001_2^25 + 1687578838044134529340500228456492497736201540361759446728585992939\ 840900395399725202457406767933254/132622166694620511466416710184942\ 354796054975926468951418699333856595837751281813067926238633*c_1001\ _2^24 - 16275488000538655542696296914571088662495433674721173300501\ 11014660001568890084873300092597600619573/1326221666946205114664167\ 1018494235479605497592646895141869933385659583775128181306792623863\ 3*c_1001_2^23 + 145477959432729591196957772701940250058433839632291\ 1438069131772969361101448323027904909746384900122/13262216669462051\ 1466416710184942354796054975926468951418699333856595837751281813067\ 926238633*c_1001_2^22 - 1328785352641611284304095477938994502521166\ 015050370751732284780747391860376946108751857623425387062/132622166\ 6946205114664167101849423547960549759264689514186993338565958377512\ 81813067926238633*c_1001_2^21 + 11002997307066701942294365144135915\ 97945144970729259398755849890470186607714547487843810516143348323/1\ 3262216669462051146641671018494235479605497592646895141869933385659\ 5837751281813067926238633*c_1001_2^20 - 9324279446717954135015722169216736530810781259900740816506699701884\ 15435165937360651762433008167801/1326221666946205114664167101849423\ 54796054975926468951418699333856595837751281813067926238633*c_1001_\ 2^19 + 715757523284801084189440231140960022951413081154040818315267\ 744020237526343412107022343806885662548/132622166694620511466416710\ 184942354796054975926468951418699333856595837751281813067926238633*\ c_1001_2^18 - 13333282169587247878451888485248277398963839725255265\ 919919151666198512586152429824802512634871298/308423643475861654573\ 0621167091682669675697114569045381830217066432461343053065420184331\ 131*c_1001_2^17 + 4076658447200424178663659978273891768829813110274\ 15636256875664942759830250205499833577737942639430/1326221666946205\ 1146641671018494235479605497592646895141869933385659583775128181306\ 7926238633*c_1001_2^16 - 305828030372585458705697123115886407370987\ 613367650290828122805794845792675290478535522837978817747/132622166\ 6946205114664167101849423547960549759264689514186993338565958377512\ 81813067926238633*c_1001_2^15 + 20255307780607641234789247040175634\ 5650217620899646551214473238908138006932869984577860298876774951/13\ 2622166694620511466416710184942354796054975926468951418699333856595\ 837751281813067926238633*c_1001_2^14 - 1415059238772822123876076494646482314836733695038391501873769064955\ 87958766289997739398541124216724/1326221666946205114664167101849423\ 54796054975926468951418699333856595837751281813067926238633*c_1001_\ 2^13 + 874391459239414437153272020759516302993230058470675621554553\ 96821743118377020231027764113461635369/1326221666946205114664167101\ 84942354796054975926468951418699333856595837751281813067926238633*c\ _1001_2^12 - 580099686262913779604016943830928559634947804228936128\ 44527141506622621691255328363092867984995299/1326221666946205114664\ 1671018494235479605497592646895141869933385659583775128181306792623\ 8633*c_1001_2^11 + 333375546731295971203604265424247089472210752260\ 21778558896524303294948470421475031490463031683060/1326221666946205\ 1146641671018494235479605497592646895141869933385659583775128181306\ 7926238633*c_1001_2^10 - 194681685830634333813648569262804376221481\ 09091460420508983785722334218267495616085904935065345803/1326221666\ 9462051146641671018494235479605497592646895141869933385659583775128\ 1813067926238633*c_1001_2^9 + 1136837916704061535801883527487766075\ 4630672342874803456218432205472245305834185334038016386466333/13262\ 2166694620511466416710184942354796054975926468951418699333856595837\ 751281813067926238633*c_1001_2^8 - 2379102069202487931887717506627042010264884810005446463440082452698\ 4554753457783569235301608474/53693184896607494520816481856251965504\ 4756987556554459185017545978120800612476975983507039*c_1001_2^7 + 3095431867891278887336123662354665399298783687294969787658750868105\ 330082373430042969503560009224/132622166694620511466416710184942354\ 796054975926468951418699333856595837751281813067926238633*c_1001_2^\ 6 - 143957308947228604910163000923414591279655651634168009086238178\ 2623193211890381006630334040162753/13262216669462051146641671018494\ 2354796054975926468951418699333856595837751281813067926238633*c_100\ 1_2^5 + 74850910359837954481590352578915886305957612790608475399563\ 0791230351451725634525696772316554949/13262216669462051146641671018\ 4942354796054975926468951418699333856595837751281813067926238633*c_\ 1001_2^4 - 25390856256765043662385546027085788584700510280732394379\ 7017638221882870513093756096411674171591/13262216669462051146641671\ 0184942354796054975926468951418699333856595837751281813067926238633\ *c_1001_2^3 + 28296744781836588808850103171277048029728782209019519\ 99529352358164272762558874193522245747434/2502305031973971914460692\ 644998912354642546715593753800352817619935770523609090812602381861*\ c_1001_2^2 - 146468530693544629101843171901497447184215903189289271\ 00883400566992032461327861348974105710212/1326221666946205114664167\ 1018494235479605497592646895141869933385659583775128181306792623863\ 3*c_1001_2 + 229876172033645797010139466948790813090653721169569628\ 67799086853490929885222212078949692577001/1326221666946205114664167\ 1018494235479605497592646895141869933385659583775128181306792623863\ 3, c_0011_0 - 1, c_0011_10 - 50110455791742755204424941141809015737820288398597832942348\ 633367313516149804/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^43 + 7468055378160744877212195327686249732481076467510970927777704031337\ 47287120401/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^42 - 5641957143655933295337869366147296056607453217812820487070478134321\ 15404282809/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^41 + 2545576561462037318960743068828404808582934640422324024785253888573\ 7138721261595/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^40 - 5852539279691537071165895411630220390453346499456133359826433543684\ 3670988083109/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^39 + 1120166099528751689804605889435292316591660817327864941282836554887\ 43120084160875/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^38 - 2139246375160473172333106353579549233748003235284818268980005716721\ 33906416787692/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^37 + 3566418913167766393932646089434964065759747208612754949096638822307\ 76726735924239/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^36 - 5956239087517363388201785126193222858786066499231729348079666726278\ 67696192715135/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^35 + 2132074044996190019588909525572000958127694813357960413940954869946\ 8948474269278/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^34 - 1364650236733532822126620570620273040598524438277246419930735232812\ 262729441586767/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^33 + 4151209013953664313917602932728037755361390032455916593645351980720\ 5429574266174/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^32 - 2337532847887926285691651948288047221284913531464092414207333025046\ 411909729386062/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^31 + 2783557177192998207088655459307689826984207790806337513612204622481\ 577533131133908/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^30 - 3388463919710056875480997662595652043203829577440246049999777799867\ 659037474711082/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^29 + 3762786791262758457925761346069583035679227048030794050696711100391\ 105150155255816/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^28 - 4324652456287219194843072135864833458127014253299456981245417586749\ 333581715034227/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^27 + 4352040280981619428683283057260289631501455302242214832586305594520\ 868068688013424/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^26 - 3541909079675288512993444517049479871098436909290530061457320973129\ 31912239740246/2959319540368028551264505728911396812681074014843025\ 289893129579074660573151*c_1001_2^25 + 4246507434522007179339420565924219250350674132455832429463384750786\ 741991372517953/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^24 - 4262192797021309651723569513115884230210601176251983248123520532608\ 357216769161741/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^23 + 3630677140939989892581545145701337400444431450843593848229413249196\ 067105075710104/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^22 - 3512009615687666352994186107935758941914511806519481714055565474115\ 998065038171835/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^21 + 2720767555991256671644513444507521657143584290540675093473177794525\ 036875553987963/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^20 - 2505564377479037424492789626244827803166828894107771765469579606703\ 060691226933338/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^19 + 1744530236605720552008172587025726718165659157708086985616799099257\ 278151440294153/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^18 - 3657510722481446966089869860354939081464956166940145374551626668419\ 9274965978393/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^17 + 9688556363312245022043453914071594915978803226672419268704436210733\ 74709121470064/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^16 - 8666162261157036301125050498760904142643004533056028166960857765315\ 50590344392945/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^15 + 4629609509919648713407644687368568968362617037006391089327725503090\ 45911644405208/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^14 - 4198037637585298984110693356901091993722442017880683079688556922340\ 75571307046525/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^13 + 1870225835799068646176844998849428885919848243478678086837623011421\ 31412892311945/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^12 - 1823283016586260410247830821664718583093457393204229950153025137238\ 17921156831244/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^11 + 6438340292616108891082422502525560124605823939568512032506925231942\ 4077592769438/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^10 - 6793847593855698703189870236009844817079761504732666855215786379281\ 5982602591524/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^9 + 1849976456914218887436989937456700450032992396711860891086477823693\ 6002864237791/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^8 - 1723082025950968505025433969137459875816091414765192479849863746537\ 979918569431/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^7 + 4313685900931456575454286384635160110240182692222594715895910584456\ 089652027663/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^6 - 6159740570003972710550672017057959154994243710140030868795586052943\ 697608873168/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^5 + 5251686415764013326965308948756825986048298325503029946001682944092\ 26333077045/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^4 - 1551885056719743866300658784763703629379726253269896193303083724469\ 094067519813/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^3 - 6006523389995398442434428611508602262911972852450198225004828880948\ 73668149/7258708306563088899328032919971350672613955130747043163888\ 80840150388442471*c_1001_2^2 - 202822075298262187429737101352265880\ 834012044544429947397526844924833299501003/384711540247843711664385\ 74475848158564853962192959328768610684527970587450963*c_1001_2 - 2307472904054725900389744618907394480319957989246000474258275117721\ 8910407791/38471154024784371166438574475848158564853962192959328768\ 610684527970587450963, c_0011_11 + 13473833654198843295490031970190544782064599115095116269844\ 956994834687864529/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^43 - 1863802117130993386070459782149236932819907580085506127534137207214\ 93559276956/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^42 + 1350433046888051989201647543338722873930317933290650255506304122955\ 49847417623/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^41 - 4700728547032276675218483514609879251604623900824151576003049627033\ 515961016110/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^40 + 8042002529688615244320160029769657701615642977976750647014080212179\ 436794354710/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^39 - 1116643764039027339464189212630048642816012429297234780112668246438\ 4422163042323/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^38 + 1884090517771480500139498998850239577081496567186130747195021610994\ 8545279293945/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^37 - 2021319879372111967542425243540315029314970974636682251502929208479\ 7705238044929/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^36 + 3066989489131690581631726540295971026182150891839333933811432273231\ 5377082655003/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^35 - 6017901987405876423790591542893563217518920519590296377570439688775\ 23630686782/8946780005763807248008970808336781061593944696037053202\ 00248477394664824441*c_1001_2^34 + 2083917317943644802865125320885227409198952023214127355157823055884\ 5313201512659/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^33 + 1092126513990675859233460957018732826112211374158786567198921557633\ 964652116014/894678000576380724800897080833678106159394469603705320\ 200248477394664824441*c_1001_2^32 - 9024049752043699300090494148775405986955614498994551256542806715477\ 5108310012299/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^31 + 2203768026916389099923816673374749393511333849246631598410789650951\ 50693497801933/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^30 - 2767929710328458208573842616455763571204942943097355268667441540371\ 63637108249115/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^29 + 4561666974977168740486135400209606841334087249426904112557661061386\ 01775678218384/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^28 - 5086457773222378359554204044816951019634338432340588361479753232418\ 73276876212373/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^27 + 7747678005978670108056898913363248749648180577794148539090329188083\ 73342270709868/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^26 - 6137542837929277662553515394064239380630827837481290691918371792358\ 0250396134042/29593195403680285512645057289113968126810740148430252\ 89893129579074660573151*c_1001_2^25 + 1056627297180684464692421291508413834404173906286708259316217131849\ 191080134944265/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^24 - 9628552786839055726718814463736336232493159607601322805513109319193\ 05669507008853/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^23 + 1156110361105349630546023138457434461706779263787959252428713512533\ 464873530286479/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^22 - 9484627353958963560805854155931743141594720484463225555680137461482\ 87915352412398/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^21 + 1098688692385493147280294197306528592589755070541514960200190248283\ 119917239462675/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^20 - 8255158785559504334399817701937467282768965142127214046175445611447\ 63541624018673/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^19 + 9111537764184666033752418496877512765069734015513450059210364080385\ 68036255944969/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^18 - 1412083678567224452426694374665615219797517284408536711103065680548\ 7078849274592/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^17 + 6482654010393816901568084645239878768914030399105609704187695662442\ 72710549273393/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^16 - 3795979955709853491024603372429673536874752984080212742106583570346\ 81016017674609/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^15 + 4022386381056063106382839042356430864381622111270650596658004426460\ 83238654833406/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^14 - 2044284444891952584390345249014502199511811198873999977177606373372\ 83915952976849/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^13 + 2176780164299567858941830326542740870683053831684087359680381902187\ 70688703440648/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^12 - 9222906927113654464111680204440589312339508436061179625148708164325\ 5974236844709/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^11 + 1034080271206618163809799686205532555786058864928135178808784282508\ 68681317162657/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^10 - 3601992859034465144233054483916725666156378792687952356199984253502\ 8034024876332/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^9 + 4283285160728394704287472154027247004437228760443223180194914561650\ 1693360681768/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^8 - 9113473159195260306135478244224117492338162986553364361264329745429\ 28308806882/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^7 + 1521035656204222886572217216867866353910458955013856115715096456922\ 8413937365241/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^6 - 3333429271907627119428624957615240976802033225095124284831302896201\ 059046286539/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^5 + 4748393177325730038442878331615083103489151861735512456345665685323\ 272677136377/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^4 - 6648733197937822802044033298756215788672004535713153364309661913051\ 54881519628/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^3 + 2318165950465419859084662466177131087827556359486838096127864628182\ 4939204528/72587083065630888993280329199713506726139551307470431638\ 8880840150388442471*c_1001_2^2 - 7935891204738679759270696787077882\ 4133109493217179330091258563690733858919661/38471154024784371166438\ 574475848158564853962192959328768610684527970587450963*c_1001_2 + 2430952502670710893394525580657354065982862730670206468422785555582\ 04968733552/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963, c_0011_12 + 42626645141674619162210851854978234156561740845035412601573\ 091181809892111590/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^43 - 4686731267600120506371347748475593805770499256958260207144908599920\ 43538231711/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^42 + 2787223413615055153159041615369879958230358016818632012279290089624\ 37949854464/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^41 + 4755235792352147934181826887269839386296288732290451921019812869000\ 846389678782/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^40 - 5491747212254355450160634377805040416303652110907411231836587246827\ 6503452564931/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^39 + 1726663255543432008664391715065028115736909590262617176172568042304\ 06402125510357/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^38 - 3623216923523544364073310268722982937800701542568960577095542465789\ 79861745611928/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^37 + 7334688700886006048464709371806424361420611638550480538001092176749\ 88245517865247/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^36 - 1285996320660404195948986994479993224634404593963285567479873165727\ 759847582001706/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^35 + 5149878649558244901255696118008191127796612217205747877611288586260\ 4930821506835/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^34 - 3552426281137182329538455898181757635567144475111196869874602028111\ 707643323789086/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^33 + 1297198593040102508107110712935777479925031638653387708666680298615\ 76431938469720/8946780005763807248008970808336781061593944696037053\ 20200248477394664824441*c_1001_2^32 - 7712624385401544033458366530349790354769942325690736198037275269610\ 186951696013173/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^31 + 1029787562267524613224873094412401292350694373023168167348562701076\ 2857253533655507/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^30 - 1257765561823469531168064810809919913653150172596128528872774666455\ 4893856834517795/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^29 + 1535870652070320191818946316709865606700982048509539750771229813034\ 2373531421207531/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^28 - 1747617526763387985048360881830393305687777904258146928234921884427\ 7112474416226775/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^27 + 2021835403041154722591615131070506954039509019906511043803410250186\ 1601109399716877/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^26 - 1634478356828467069608125831513294314512063131625832524934314314661\ 988567719019124/295931954036802855126450572891139681268107401484302\ 5289893129579074660573151*c_1001_2^25 + 2237341950307326723462868535336072053290883553282044646063078839277\ 2569369038701417/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^24 - 2128131768024304259437304927904012608286003918161680213936351301044\ 0070307612065055/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^23 + 2084100929547351530160309638145778865005409476816379609071356336372\ 6512723208058725/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^22 - 1843519914307090737918803608007341089024793832802763656062615468531\ 3776952968182950/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^21 + 1725483199132545943048610382273091309532874174541359214675218597046\ 3942189981874013/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^20 - 1421227295846980201569327465832494507460059855780618485519857922566\ 0876891609159192/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^19 + 1244881222675453641850109087691349641017028357765366086299368083158\ 1139355779680097/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^18 - 2156116280349258914686670224018048286348418787868385903640755660012\ 22551076423650/8946780005763807248008970808336781061593944696037053\ 20200248477394664824441*c_1001_2^17 + 7656258054601259830793516009676996571514376869024667479368291554208\ 477713986097380/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^16 - 5207647196882483383132829768368871884921053560999920148442101109893\ 089730507395282/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^15 + 4128874881314953424012609873893495252208589320668270430205685241210\ 371898134863298/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^14 - 2545508851043783368491434809818911678593447820029193509809953841796\ 912292652461629/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^13 + 1937673530144991463826319061549676650003133865208019471962916573223\ 996068701685043/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^12 - 1054073431077598742043916675371639487975743507438529720429899060207\ 347826449025500/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^11 + 7903547581118431559547898972339311121157028285625397559157081321749\ 09758499070020/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^10 - 3841139788606454683670216163278212432760881738718886681069205543535\ 51990192820190/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^9 + 2818811908993754737062420913813162368676601132027008060012525910554\ 20693752667718/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^8 - 6886675103023513855680301168615035682127751552358008563987824244570\ 48863297219/2276399646436945039434235176085689855908518472956173299\ 91779198390358505627*c_1001_2^7 + 842318369962075098004302655444574\ 30238794833527895747027457639502274764173641283/3847115402478437116\ 6438574475848158564853962192959328768610684527970587450963*c_1001_2\ ^6 - 30150030282789001468167578681278777544480980446264804846766189\ 051247635994121536/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^5 + 2195018022906481991693450774269057155756210505386256412510188483600\ 7405507195757/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^4 - 5465297087694315838706845553669996502443668334365779717220424617187\ 775408667185/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^3 + 7930594295361391250087564112113552803987042600097621663144526019400\ 5872729253/72587083065630888993280329199713506726139551307470431638\ 8880840150388442471*c_1001_2^2 - 6586875189038226552571691690461253\ 09967062314858838154424692774107717033514701/3847115402478437116643\ 8574475848158564853962192959328768610684527970587450963*c_1001_2 + 5691967368404313916045800638146743921160506572499041935718685568258\ 41413527808/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963, c_0011_3 - 184829709205792782465686648626383506022156041255996548634330\ 3664182131857051/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^43 + 3246564559738526572367695022841848662659149614316989152324920032501\ 8379091248/38471154024784371166438574475848158564853962192959328768\ 610684527970587450963*c_1001_2^42 - 2653952203627814588355829589825882404763949878520396614665158877438\ 7726883761/29593195403680285512645057289113968126810740148430252898\ 93129579074660573151*c_1001_2^41 + 1675994759563274832134067030630712614110605749237528162726729967231\ 153481609763/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^40 - 4821372615505953948404713059776830127257368617292892182767691564291\ 830334333762/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^39 + 1039976559755225451671492549636738429292090668647175218725316961216\ 3657414009433/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^38 - 1989435355072845670254791690452955461425556696780763361606758455118\ 3558304132042/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^37 + 3577549741609533560254463232741657166939260238993840874311767119881\ 0728566904386/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^36 - 5999209560765540655848235883554446076744484197147271016899243114308\ 9779285177802/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^35 + 2257420465529492269591349867127484975003239580591770240693709833721\ 550986157753/894678000576380724800897080833678106159394469603705320\ 200248477394664824441*c_1001_2^34 - 1478783042355309046880915898696631499512794767530547807393979158728\ 48244526284153/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^33 + 4901885022501000748956578684422369973629107449779458371869028796346\ 666893918956/894678000576380724800897080833678106159394469603705320\ 200248477394664824441*c_1001_2^32 - 2767140807350550846417134517099002968971549104374899776904098825896\ 06998643835630/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^31 + 3491531314920916032162482169796440918342748773270549530742955596107\ 66826954185409/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^30 - 4185094617274868254261587821658416040025624403338762564415205058471\ 71938661481203/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^29 + 4937561888774646944984805349136962171767420467142248514162390980103\ 93298464608029/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^28 - 5553317297641775813468216514016700913878592215102325125945449602826\ 63086796989094/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^27 + 6109763472582767172362957765270420076732276744363785292745690309827\ 89411666702538/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^26 - 4808799380049805345967635050378864100256060890288292323603122222617\ 9218565724416/29593195403680285512645057289113968126810740148430252\ 89893129579074660573151*c_1001_2^25 + 6309687593580169800165363808607721269209458541866861716380488957388\ 41139015933711/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^24 - 5957647347082779844352255997508511055292190153028541745556569815474\ 85548615191090/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^23 + 5679297696743651301797921421366142251807658548089154400066879963725\ 25192728982873/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^22 - 5022963686119439682921015785119378438351712581024222928140143283164\ 61079238800944/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^21 + 4539711158927625809074062009381642613509161638716481611014213364935\ 54350166452149/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^20 - 3688476011638991933441245167142051559783108490408571976663651904161\ 60833006925214/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^19 + 3126054112228027997941388627186189175952267416398761799345577584790\ 31046724010482/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^18 - 5418570994286654292566552033091103447282096326176570880092035989614\ 550246542213/894678000576380724800897080833678106159394469603705320\ 200248477394664824441*c_1001_2^17 + 1889636800103574446300593304465593834971535054195780716192246904373\ 75954063186976/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^16 - 1283395022267243103045270625289024671679090287549177263963056731898\ 77391887148828/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^15 + 9989755610774010514621482846958299832654677260515259523997878650429\ 9243460660401/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^14 - 6090575643138707978914378501095402970903222335045590983069507687931\ 3090894638851/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^13 + 4610365858887903750033779706738691007885169848113698815585675041380\ 5449630246682/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^12 - 2505874231899333993130889837860625539621112351754275215628797208495\ 9422417993817/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^11 + 1893976129200980483302443957802973102111388416532147112099949028746\ 2046010192871/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^10 - 8825648647475333050429614573706964184381505736688011712979512004015\ 785671881309/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^9 + 6626947594753439427311275498237817355911439140838288927465186733703\ 006089447137/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^8 - 2053121817374134848885136007081057048346011859485295987946875216041\ 74675545988/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^7 + 2064759112453087714620458272876779814884050698943923900292332349252\ 686966773897/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^6 - 6624361261635545579203165860811004579974121703459137219572986633078\ 42088452796/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^5 + 5126386312841922129960163176270939939293259289244089189080122399103\ 05917971752/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^4 - 1187123928144838889158463153665469649226465016730430033495067032783\ 61791329685/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^3 + 2239890175468038458476179318785553808457255452047252707129545338905\ 191327841/725870830656308889932803291997135067261395513074704316388\ 880840150388442471*c_1001_2^2 - 11449192478406343533064280705147235\ 081356541189924853959081097846566354400313/384711540247843711664385\ 74475848158564853962192959328768610684527970587450963*c_1001_2 + 3210778408335804321711482093835629634521264487828504469609822840265\ 6088625303/38471154024784371166438574475848158564853962192959328768\ 610684527970587450963, c_0011_7 - 114491924784063435330642807051472350813565411899248539590810\ 97846566354400313/3847115402478437116643857447584815856485396219295\ 9328768610684527970587450963*c_1001_2^43 + 2038456712594531962130790315155648225655607627271578540823146961011\ 51404629998/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^42 - 1672499193048039664096599224577593386275950929900456992999332772051\ 90742212986/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^41 + 1073031244990293548526806391885061179017706407055356505201686497271\ 5418797617921/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^40 - 3076581749290725449116405262386799854490621885834844008460106607630\ 2517307184867/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^39 + 6630292122639940525504911564241301334467723687478354526782792972677\ 6979720058070/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^38 - 1276285146332032914578578367959810007312407132183484644372014648680\ 85925314231293/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^37 + 2318626666242248274546720550310935230337953666700348116772044402075\ 32646822631996/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^36 - 3886582580244214828317173161126161374339536184328863081612846511549\ 07659788915334/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^35 + 1469095361232064195822540437397648715192314317074342230308992755621\ 1882989862889/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^34 - 9648164653274912887862801940252420088255489117305188634762834111061\ 92693118668185/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^33 + 3215387061265959127739506817018877073466506554390817092570797917483\ 0984159766763/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^32 - 1821498922087065414704644208081924027960707395031818577298255970099\ 658546376154433/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^31 + 2323001638558818500348587387153076292986716074883252342922005615115\ 563780661054268/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^30 - 2796378414959437290910482892951407073260651834383618894433539803398\ 256488895074554/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^29 + 3318970800764748150660270530618516560842521575402993671946973370827\ 748650009434699/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^28 - 3738857611224927789983020929224447142152075134135678145432102446665\ 523936819539788/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^27 + 4149117385760787628723596128576862582165977667642007109285675859514\ 214313771973260/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^26 - 3278825077075366700578284161771139685355872808589093368869329682131\ 27885717792830/2959319540368028551264505728911396812681074014843025\ 289893129579074660573151*c_1001_2^25 + 4356201988912432917186894504282193234080451531784135346328415589755\ 981338393142086/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^24 - 4132914642973050190783526197160329516677142257154836424761919366038\ 182102399926724/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^23 + 3979170313240723879834886590248625346426059680000923613701596608722\ 505851745461955/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^22 - 3525823138396886539460039311771767499588979117537457890292638183844\ 192470642098102/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^21 + 3227700616326719470804354926932988654185125095464031379147070608759\ 489899873687393/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^20 - 2634359436568324610430867898068653439553401830635589691437147026085\ 478136927400577/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^19 + 2268714798210919805330546194157583473110534813285672142268028268806\ 759931870102946/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^18 - 3949582821148949950733310923340989521664793375292759379305515057252\ 6193406028887/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^17 + 1398688763708624101099951046219887212157114407881989022363966888261\ 003809964402671/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^16 - 9531910989841964075635315858042000272559926918684768414463014407117\ 18821190579347/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^15 + 7561791257752937279033063571711879664329125313344586353179957987026\ 09883893378308/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^14 - 4638558174748847844163170253009432502041970786909608383565254158874\ 12895923369236/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^13 + 3578558269969975054436114306316128360403683054961449413616945470741\ 46826267750195/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^12 - 1946020070514739819702995356346360764642477021556905460470175792731\ 84635786216618/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^11 + 1509659917837997647499022207020271626904772647894585383449533502042\ 84041396947155/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^10 - 7031064022350486843074394740745338586368339736678184887117014792675\ 8109914525927/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^9 + 5490011040046234620997009588155791186131933062549324731172093656085\ 3469701048651/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^8 - 1669849396003123343697585373323748579710043488066123424027273189911\ 576797738280/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^7 + 1758354825645392884706269125898063842854467763424940932306154257407\ 6201423394868/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^6 - 5622695963330986497280572826119614861077400434201899848474505434618\ 645696320781/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^5 + 4672645281191075166341475557364711028051675824915524647365938168546\ 951250822062/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^4 - 1054454532279245831015966722251940729416713563578665731097211353669\ 528467673449/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^3 + 2087621808894296752405409492779157485493433650700486201956840270200\ 2034759799/72587083065630888993280329199713506726139551307470431638\ 8880840150388442471*c_1001_2^2 - 1127614758246053757501914947332033\ 36190412948549420861066616090951359752774344/3847115402478437116643\ 8574475848158564853962192959328768610684527970587450963*c_1001_2 + 1702558774504163506547958845495723152586792649460610087870181526619\ 29657252154/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963, c_0011_8 - 260682225126515288650439452428593840847708692481795241029263\ 855797151372084827/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^43 + 3792810188097014437670304920497552815518533165096147974338603388049\ 948969523042/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^42 - 2169235997023917927975262679556084047624027334718707964420336015938\ 83580990189/2276399646436945039434235176085689855908518472956173299\ 91779198390358505627*c_1001_2^41 + 1170554369136804052927949824853258800893818689516063949560651148530\ 38655538280840/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^40 - 2388702360557635413188924433155074528116350995940613155218921647967\ 18586245616841/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^39 + 4037963253601192441685799027346376356908416539534360785681036013868\ 94507887433073/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^38 - 7326516927255956427110687945749278972639382731340569535223555416416\ 26013463931715/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^37 + 1120717965864967317084792440445248870419727838798972431442819562291\ 800055844565390/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^36 - 1801531773624271502525090668685644158828949158291182551114488435937\ 972759752383641/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^35 + 6015115184732435963964169660020921075926306850704652763959192912641\ 9290374471528/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^34 - 3615314727682907002461872414951707482700181220938927509676701905874\ 111061431219229/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^33 + 9259546697236347550232301549846160402378258866895149881867868139450\ 9790785237696/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^32 - 4722221283353800399695439725873755989773149951899911054984643531356\ 149924899663452/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^31 + 4646443129825108596303999133278562582179061282467852719329468040906\ 918206956188827/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^30 - 5402521411040257747501715985923569711403954295983509531404135783090\ 193509580089380/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^29 + 4847976717413849545750865371004281119912512927152528607675992869153\ 615218546306277/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^28 - 5474875153442558933855115606336288727346845663131338413539407472941\ 683028625587273/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^27 + 3357316008829395954110173672387220062737691155382596537759660267549\ 380464733971935/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^26 - 2470907358855631294178393467981476274413898745611445140773717408325\ 83770688293302/2959319540368028551264505728911396812681074014843025\ 289893129579074660573151*c_1001_2^25 + 5559769565945860545337146455128065643370489704440548264989221283271\ 17517024687991/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^24 - 1052795771487451076015669322934619794132650269399947592135924013187\ 256251816274790/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^23 - 1342146084569502989844290194110686835062183402647867313164989607511\ 048251608529701/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^22 + 2377110565786423365781302014863050680822511036177168876910427673254\ 29573910372852/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^21 - 2612236042034715526335632875501626903452775351627464194723093908938\ 336732123170110/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^20 + 1410486848452073525131649018551095173311881047801072726023082347809\ 168143909065985/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^19 - 3137174242975227350999576277356823520074254454499321199268471024679\ 128917978884282/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^18 + 3468080531318160974575189021592312789252744985145436527730742347092\ 5244894100015/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^17 - 2523555686694445931466103128667230241068739023653335010810120405620\ 798083366396706/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^16 + 1048106319284626904722494985814609493284783680219834354416779899757\ 063904274870737/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^15 - 1676278227593924005352972815492237838338749957772918383668580937336\ 620312907532468/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^14 + 6198169243123244050343186297113017608975509566564255803537119526892\ 94920577821445/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^13 - 9529470108371726004829522909773067810277505850129119858842167241266\ 17460982449195/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^12 + 2671711853929943604250063502733628060718932605467381493692567736334\ 24658052518608/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^11 - 4432272724070619986810893424869432538939913375739366985746342117163\ 25687189908594/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^10 + 1069302556603224545679650108611010149330988239708480381166595911621\ 04303384640856/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^9 - 1800895403971242398275393090393968031594170655655263184175506381416\ 46599375902282/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^8 + 2570444295578961203790606211592221539111968601268910782357345490860\ 529335763359/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^7 - 5917855540397209921304586224710655495430288710583983773873217323724\ 4420658893551/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^6 + 8566074929208824267301091397129373217403219803514649878676026214654\ 219157767041/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^5 - 1800842776507731927364686688653231171197895124860300737840511364100\ 7484082633302/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^4 + 1066849382457407657747957965957477014550200179981998100791829233292\ 042659781735/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^3 - 7379382231903606757223698250621480811449355899271046997680450829591\ 2825392716/72587083065630888993280329199713506726139551307470431638\ 8880840150388442471*c_1001_2^2 + 5862015168462428795848621885818952\ 9365194282602807376637398497511266327911093/38471154024784371166438\ 574475848158564853962192959328768610684527970587450963*c_1001_2 - 5799600356382017150277403940598720333133122642729182042574587902423\ 53795654559/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963, c_0011_9 - 389656977328506952903601060517649075638551440871242872705198\ 273663969070463872/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^43 + 5868579758097794695412604664016616731470132511905996738596486651929\ 684182537796/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^42 - 4449910260997279692804649439503716212348118611830047674658805590234\ 713451751056/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^41 + 2053425400812351205054386773952467898424656811023150794782805208693\ 78988479339598/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^40 - 4701078852894355295205957309184824804740084058546733117900828316577\ 85622905983582/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^39 + 8766944766051147207712330752331273392045925368273329511201470843677\ 21108454185718/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^38 - 1629947649077413154150246485155788623718457665485167440301674482009\ 205014869625527/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^37 + 2688639075161717591491471640791573801121671932180965028620081207561\ 404101476973239/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^36 - 4412590010980713344119337406038227222532641510955427506739604796705\ 151644302191525/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^35 + 1563353095199876809521746386370954684434724800349902238227756564159\ 26483340556729/8946780005763807248008970808336781061593944696037053\ 20200248477394664824441*c_1001_2^34 - 9848547362721026060361025631342064445437792686439132454270390832902\ 793472916137819/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^33 + 2925250066002452085365942173814670115452568173716112236618632197294\ 88613052228085/8946780005763807248008970808336781061593944696037053\ 20200248477394664824441*c_1001_2^32 - 1589946793231150753719289019067559501425574702559016204656303097572\ 8584692798934686/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^31 + 1840215359392908117038579170205284971738984669079970245246994363330\ 5138864011623363/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^30 - 2185751895960099989577080916105590349229503095725214303197461886368\ 8901294332547347/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^29 + 2377655593272929520630372574549011156004663551060022733151982537949\ 4694197060082847/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^28 - 2677660915929273237130529314944819292733612271311540922309204346276\ 8332344650120662/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^27 + 2605708979715641148738571098434374729282687694404195900542780154372\ 3239257171471821/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^26 - 2034496704416007564441521436121226226634121364284606145827798943447\ 832044053533897/295931954036802855126450572891139681268107401484302\ 5289893129579074660573151*c_1001_2^25 + 2315539424082657356166481182100587345394362546919381544546642942827\ 5635175600909669/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^24 - 2254838176292228319361046699354995317029195889435664332302467629142\ 5815365306416989/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^23 + 1829024322701772690100863143536100057207426665632190960363670779915\ 8274197049986856/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^22 - 1742221862065970973330941322890358935382973649756788291422558277698\ 6388715387576880/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^21 + 1253739584486861885635237290823864881592546237444516172560727171843\ 4374721016887464/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^20 - 1119868161463815467524688805455265743060869573803464910720241380524\ 7879169729834665/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^19 + 6801359651164639813210755632011133302525953082922944715009289509698\ 078169341616902/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^18 - 1441888556291957123353195106473900188403266199889694140818387814450\ 57769982670514/8946780005763807248008970808336781061593944696037053\ 20200248477394664824441*c_1001_2^17 + 3158578220986417830885473010303280147460007301950427124963488301020\ 420811335152189/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^16 - 3065497210406085292163608239345812696498905482334156892732814845274\ 052402729567627/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^15 + 1157580486404969015154944397522945053228184555777166189084855519675\ 054490159928410/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^14 - 1279523121035515485507321739903183377914240348757736865439675406003\ 856161390632661/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^13 + 2542342933594449711871496811136357989193445102887008428117272657835\ 96177115170909/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^12 - 4885498392231294904867907807687325699924203432210284419243974240465\ 91087966205573/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^11 + 1598835157450663434840448639554543487836645922143592049667785707906\ 4487284390393/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^10 - 1564357874779919495975204626819540788598954866493225737574651775867\ 08697891334876/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^9 - 3455098810753764568816791193612761850138490416558869298306970478114\ 8802997908436/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^8 - 3331458299843549638138946048856616825435122598767773230073709738443\ 690013434503/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^7 - 1871871421939133578077426510545396050472620532502840650703728118873\ 5759954800536/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^6 - 1064561471661272297571645558486594432585219715383183497928988667642\ 0008218178485/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^5 - 9283887440617508352298784365854614612452645706317015841145297794250\ 591170302081/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^4 - 2227704895748844659306513538135671943970658348438603878869357068707\ 474035535901/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^3 - 4459658930661567845531314319258382643500433308584857386030572860168\ 3549474109/72587083065630888993280329199713506726139551307470431638\ 8880840150388442471*c_1001_2^2 - 3214417099618389388246439967972684\ 74555630427068351567447538733259020150454317/3847115402478437116643\ 8574475848158564853962192959328768610684527970587450963*c_1001_2 - 4548976708801997677305257629698824869547619724592415138195036897621\ 76892838983/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963, c_0101_10 - 13494038300660026446734809389605487245919151498779639526909\ 741069470185054353/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^43 + 2634926870374899896271111592840241853106665582067556780117083320229\ 68418681177/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^42 - 2279005110489075468850829752209563402934097812665772975704112458610\ 42998593262/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^41 + 1685099173250133738166970133306934122616736101806681389586552876594\ 3219443169012/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^40 - 5593312234857446731348000872543818351558362007700998374416187065017\ 6090416592714/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^39 + 1324336422552148693478968407375258423416602771516785416045997609537\ 15248544845946/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^38 - 2624001103748249163776372132591666121223749890258555452147007730141\ 18653027770580/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^37 + 4815654226416779560618453986328282977331261876776286905929203561154\ 95427000051722/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^36 - 8258212632628089127236677301004227873648052649357055125447392926816\ 70467936329200/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^35 + 3141828893228138217551872074569889071171338369207429775174548811548\ 4684071526423/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^34 - 2102138429158264828677965146656261423062656829101557298059826698917\ 714837555159048/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^33 + 7159963684762376218376990881870800818125707144019517003890201627818\ 6745439294082/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^32 - 4161087549695104728915690172472231264747529537412531406922055892622\ 495529016720104/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^31 + 5306221138826859718003009961961568308349735460126725555009874217639\ 469347824462825/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^30 - 6450994441036397716443759436113086313205007257011092303363998709413\ 317631861720902/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^29 + 7620813334356703837477389456859882624714003018236583632616088768161\ 395965963821616/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^28 - 8695924367808090385797594369412440714231242003783786952570397056817\ 517070232361177/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^27 + 9637281603661880975021223338937003725645693866052628684645612721957\ 533369537111130/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^26 - 7793405303460573572861491709273620713047096927417745336160436245289\ 70016433725273/2959319540368028551264505728911396812681074014843025\ 289893129579074660573151*c_1001_2^25 + 1021046923734782492768664423922514714489243392609924340056410167655\ 1665861832951190/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^24 - 9821584097986350608813091061618889008391758756877227794224018373005\ 132138004272161/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^23 + 9236036060438769169611835777093829853050070411904571614199510165171\ 940382123837756/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^22 - 8374832600796159247532905197208148998767498960104086856441354775299\ 122204963175001/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^21 + 7453260089169216691652975386504686957089040286844195153118757857445\ 312411886498412/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^20 - 6317697825518476834496313661977276651450819743491825350073478924635\ 170262069182871/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^19 + 5191590728741167948389684477425136637471148188138899832171951794652\ 594351022420658/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^18 - 9393992060587917035776757763712476691487516108682383411005334854147\ 0926507918655/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^17 + 3097596411451984814108285837594385172761769020169163531098067016032\ 793935141788875/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^16 - 2259148748038826999403681314336542401897248651102922402086836583784\ 203898953508254/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^15 + 1627031281021775969417858366147892995172561746442643936136800933332\ 210343654251032/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^14 - 1099458146753561408887791305860121562621332475869868483664329507964\ 111609914678421/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^13 + 7348390129633181502045344052994174829093902884364412984214905212411\ 25388293963433/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^12 - 4556013414125675101032306426494750501895449512201298190744888779219\ 03879307202965/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^11 + 2875033309604142593568327085165143639862169309809277063645537354595\ 04154206177167/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^10 - 1674316449175804806404695461610141514845873488451873686946345237637\ 28941737032937/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^9 + 9777245910392201124522530503741970161900157371977279717570868410208\ 3674587197974/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^8 - 3875804411176145975114992212929802125412529062741981158241729015045\ 532605626054/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^7 + 2782753549102522415555404954791225347184494331975253727660359620322\ 0983441594636/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^6 - 1325161136382682280179037724574516068756348110713358604536456392773\ 0849629334618/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^5 + 6744741821290514356097622587587564185801836691923471271783984003433\ 659620573862/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^4 - 2461770342352532357793684630616406818515224880231855557129274029494\ 782616599895/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^3 + 2162205930437007829968418928384554317092765676577205462152829884704\ 7183661782/72587083065630888993280329199713506726139551307470431638\ 8880840150388442471*c_1001_2^2 - 3487944281245029595348507417266748\ 92084378096477618461940881615553597454751667/3847115402478437116643\ 8574475848158564853962192959328768610684527970587450963*c_1001_2 + 1404107191389381655246748619500362721526027637395777581196087686833\ 08569145687/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963, c_0101_11 - 16617449191460028652547264897656489869157912998835866897263\ 2384001754490102124/38471154024784371166438574475848158564853962192\ 959328768610684527970587450963*c_1001_2^43 + 2568626098217511648887574866133544814137896599412602211594888848934\ 190901368260/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^42 - 1976594782970456615225445277749158469618120845337651398753530466835\ 723897049649/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^41 + 9787923433434974304178575985011308963226058388354481977156693164584\ 7216686452604/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^40 - 2405669022625678513625996366848767689206850928708041437700119966561\ 23469750863322/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^39 + 4754641572930302015624110933900678744211018753250094964957646819358\ 40117347400586/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^38 - 9018220155614318799069135724569604762592532007678365440970020150734\ 91124628879213/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^37 + 1542835025865855776998592502917835094131895636304675786839514601123\ 837569324391088/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^36 - 2564862409053541076822007701632376153119834400071570586060701412849\ 862358927578746/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^35 + 9321049338854250359751727050041583456272160143061472193499634492211\ 6740327303625/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^34 - 5995193160586561710019188062946903802467313770113438685675846988197\ 333817906360887/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^33 + 1875846884712231219061996344702165812371397949389890039282624157059\ 23414685986989/8946780005763807248008970808336781061593944696037053\ 20200248477394664824441*c_1001_2^32 - 1046772790166312729793236373203266631607977262596955888834012394447\ 5122341308477846/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^31 + 1267664811808304491609680612878983716745608749984163351273830902832\ 9224415130734851/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^30 - 1521062429422700262064675120031544206841655903749951880349016938544\ 2745121925695049/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^29 + 1720131378217168361352675152533334069462780553827656389331688025516\ 3110824516246157/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^28 - 1943998751536520409288633118903857949028579949617646280653497712487\ 9167476385473740/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^27 + 2017990303704864821448078480029802482784451706798901383390929991623\ 9408136651508852/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^26 - 1599044389742167906141905699835726202939677439630131734679292710939\ 646168216466902/295931954036802855126450572891139681268107401484302\ 5289893129579074660573151*c_1001_2^25 + 1970457559919667896059403813948886761158221356001333400072322063092\ 9869455603616666/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^24 - 1900803103507762476674495956242825997214828480414658656931635424233\ 5844292727805927/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^23 + 1679899866125244751250541591492358207046425543695987543393912233250\ 2601072771020614/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^22 - 1542249298949843207669351656731644508237380174021951996669952834375\ 0748209147424224/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^21 + 1263371848441489522805517021108402694386824886068381163937419859876\ 4984060545686810/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^20 - 1082025177631700617709590594703826701739968170880494978207953169570\ 0304904548054818/38471154024784371166438574475848158564853962192959\ 328768610684527970587450963*c_1001_2^19 + 8048947234270416063307308626568277585737772497732086380436954001800\ 405959114294462/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^18 - 1518961595445084533303313964823457031766694426377944171811770256365\ 13838807690381/8946780005763807248008970808336781061593944696037053\ 20200248477394664824441*c_1001_2^17 + 4436362499786910570656251014907886998975493854792755864558842427250\ 903589037796335/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^16 - 3434733180262139466429926286966774127719411495900264063439688931431\ 868020901931444/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^15 + 2101631966889193607169148231629909772733876982583943466407364753329\ 434974975056146/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^14 - 1562142432321407392812096823843263031082704599581211250973413568345\ 845069625375089/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^13 + 8387888667784337314370851411060624937702123294668495887469933451019\ 53940376057180/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^12 - 6198335709057623345137583251065483038933245193809361393222530114897\ 57158523191509/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^11 + 2918220129294005121934699978715804046700368795107181581013820292927\ 73204705334826/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^10 - 2100790241154733341448843791605280401482843102188901006351168448926\ 49172807869023/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^9 + 8084390499044575449710556997383783509685405493152101100649208248753\ 9085080351434/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^8 - 4680071637177274686417378506942117992585990576901481449362658702881\ 684352186042/295931954036802855126450572891139681268107401484302528\ 9893129579074660573151*c_1001_2^7 + 1909556848136021060571797521692202378467482630549278902599344667209\ 4075722195460/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^6 - 1459526674818469987903068468512992406943242690792942298601865375591\ 2443349380866/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^5 + 2391135809704528048449657985021701435015138257346108208730908748744\ 637025197162/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^4 - 2617582262232217894567015790818231953769059072999586948697499500160\ 448385461651/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^3 + 3676122883392385671675095197408712432940473581576235893528773218350\ 429407529/725870830656308889932803291997135067261395513074704316388\ 880840150388442471*c_1001_2^2 - 26264807970688976333201470350253551\ 5186396545658417989091235646161684200437106/38471154024784371166438\ 574475848158564853962192959328768610684527970587450963*c_1001_2 - 9482998560098092252770186641232496571911793619861241108402288587815\ 3508435475/38471154024784371166438574475848158564853962192959328768\ 610684527970587450963, c_1001_0 + 180026717083847119873101202034527193926076435203127882462504\ 04964657427524501/3847115402478437116643857447584815856485396219295\ 9328768610684527970587450963*c_1001_2^43 - 2670370736577617672891540851795443631301395339893813878226402807580\ 88089597907/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^42 + 2011582990779313964253779713340901154711391721010499930532563824114\ 93655247917/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^41 - 8944192757329016397108407542324357217212021327331243342307439628409\ 732642466413/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^40 + 2022719637269788173848506907867932756885432787033398111434877104276\ 7994131190637/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^39 - 3830234270048734921980244998808656092603332097779416698439508038013\ 8157641003499/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^38 + 7312884786506654624063186905560250817811488548310930361132718373619\ 0042494245298/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^37 - 1211509302684752203468812401043399800604089104672038830129661580672\ 33756114396219/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^36 + 2018614707006677722641610704334083250417444891314140156066822442559\ 45271130315987/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^35 - 7197392054688067506986421657433627112088353795581339633595198705298\ 908692536849/894678000576380724800897080833678106159394469603705320\ 200248477394664824441*c_1001_2^34 + 4591216509643627322214212162856411848480536912733637346002014755609\ 50398432658668/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^33 - 1383643761586225346082526191724215153608526229374328147722060674520\ 9360539612875/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^32 + 7775053960901065183864682273259826741197973614774323391184917704260\ 29986305190114/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^31 - 9206085266130732917418372436855265354363920465549121127546285643181\ 82785784777618/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^30 + 1119933630454133931292308758112984006605607943130477879090576994266\ 680270985193507/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^29 - 1235471278910311534268069536783111162601219746071774026360611346751\ 386269622437375/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^28 + 1420795041247819114149679433902604752349699431638436687965238253419\ 062237938704099/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^27 - 1415200982703442797563828324122575507198606416210652743854422840817\ 044332242547026/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^26 + 1152223445022018544828731708588246480051611370712855380058499245136\ 74746568557168/2959319540368028551264505728911396812681074014843025\ 289893129579074660573151*c_1001_2^25 - 1367279367934451605426433105977511975082073135597767513220845598947\ 575695806864729/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^24 + 1377359199251620899466033001226641907330762416266457025538813418256\ 356651314416952/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^23 - 1157515657392739390238501930522216988705535443390206880642609363560\ 878390707189848/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^22 + 1127885501169926273706007383358018568523736665929113574613590154691\ 517157379546282/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^21 - 8573623933413800156995950162813675862634878740110552930786746541337\ 97344880463867/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^20 + 7974936365507194492893351296568941375201611898103398718698345372469\ 62001631357376/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^19 - 5411238667757430850966185520305007547115972123490821146046262412521\ 75636643382063/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^18 + 1156771719345364793178047762718407210489885798303514102124463038925\ 5468075700200/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^17 - 2950019354351860641605161262471417058568245227505516723178028056221\ 81802589727291/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^16 + 2722141900602915363313969790686328795309558489847823678199058904009\ 23294127437327/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^15 - 1376174641208400309874591114067848966463160603253891537732102561693\ 92771256022646/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^14 + 1312613480258043967166290604474577245144083966557284324754381115230\ 41454578791232/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^13 - 5354781517064435077041515893508790022709969560518605792427870327176\ 4543249366434/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^12 + 5700850102645648578894485024397450220110712679639612953869082269584\ 2513616585209/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^11 - 1752070889843241203579592450194375282899303838586937236209719278243\ 3861490084535/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^10 + 2112149542784951935627198865637448427691600250192036813554818231163\ 8359108163851/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^9 - 4657317653766743413516450365794423464991302419737379068398940988676\ 589966655182/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^8 + 4123648678608907871292328468860366954058899704972760626801143506551\ 4864764891/22763996464369450394342351760856898559085184729561732999\ 1779198390358505627*c_1001_2^7 - 9464808558465197541873768574295505\ 60190020872435891097360381425611015772568543/3847115402478437116643\ 8574475848158564853962192959328768610684527970587450963*c_1001_2^6 + 1899266218035525911399510565078548589871403368061800963956567406873\ 135116462374/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^5 - 3172454073906633480071392717595638817458678727795510749793073522144\ 9231018933/38471154024784371166438574475848158564853962192959328768\ 610684527970587450963*c_1001_2^4 + 4912422679193919616580488764113391023936325831583379221022827726492\ 51642851718/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^3 + 7840248582249791641040649061862983481441044143034570948568264792696\ 39011008/7258708306563088899328032919971350672613955130747043163888\ 80840150388442471*c_1001_2^2 + 325661978478458367749412168026935655\ 75332779598368938610508692262903642248849/3847115402478437116643857\ 4475848158564853962192959328768610684527970587450963*c_1001_2 + 1162553656214091547083316548392670972184303870253515078350165333065\ 2556007478/38471154024784371166438574475848158564853962192959328768\ 610684527970587450963, c_1001_11 - 64673981931203879992056037741049861920545424476653983306606\ 920665559730874152/384711540247843711664385744758481585648539621929\ 59328768610684527970587450963*c_1001_2^43 + 9566358953138593565853505341455573840261167680347146333292588529885\ 61275247751/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^42 - 7189921507754069637731391563834313624918367771033291990658307579425\ 67386357429/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^41 + 3162121024255580384237069939057311539370412510407110597228127772165\ 7151880736256/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^40 - 7012464816164846698225837445057167137187604316805207698296818529144\ 8702034560606/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^39 + 1299532014110242803538686566850180213094901351406152449174258383585\ 95106512065507/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^38 - 2454867565127922553857339643738723559424450966373568952727650047124\ 12969146890510/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^37 + 4014755043584582845823099810358836100955705490914659575807794965084\ 97497188655565/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^36 - 6638346671792147830355421732575929237980096709356646869893703791368\ 46878089775760/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^35 + 2342906773190135915815653361833449573972152634179320685343181220289\ 6150164881077/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^34 - 1478965682694361770545027041529684001215003760256349108042081076425\ 844121237755712/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^33 + 4359487580922641035554025456114286494613438189427340653573712318674\ 9208217000864/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^32 - 2412560635993438677225702488063352896818616516387900309586901280454\ 801193468449068/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^31 + 2797021665203098809166023898142724090857238627533551730329706036027\ 141194681873369/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^30 - 3371356114803921199413306052797810440840535028791216210615711520030\ 270593110154813/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^29 + 3646783761045308907837075009240897801844827858654975518141099894316\ 977877617772491/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^28 - 4163426546143160038470587297874167351228191167970150114930311955851\ 080883347997408/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^27 + 4013195308621780153632996962339125431881415067733220180645277358438\ 566388221527177/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^26 - 3224616212901322830265032809758665997229975430836581881627380457757\ 09356025390103/2959319540368028551264505728911396812681074014843025\ 289893129579074660573151*c_1001_2^25 + 3672381056478475028438396070146348130790241083997461709776521590128\ 201548161648702/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^24 - 3684084221041875692687633517041770523430846727930716509244855447341\ 435113432288273/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^23 + 2945628184751169423482809873146690106936467873499320333842169070854\ 014069172299645/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^22 - 2889774242110208122050615455339667503554057820891433285441897056553\ 578323681121163/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^21 + 2036491880090058469064742450803209448519387509558749483237465212234\ 244196421986292/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^20 - 1916525770340244160520676196217171749963719326580897628473576908269\ 243763695795753/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^19 + 1157916797217029561347787658916984043743724925608270315504237016275\ 019559682539969/384711540247843711664385744758481585648539621929593\ 28768610684527970587450963*c_1001_2^18 - 2596009057655143075714823031720758615034463286549684700055339775787\ 8211059707394/89467800057638072480089708083367810615939446960370532\ 0200248477394664824441*c_1001_2^17 + 5499924571631878137609451961310942159930485805494534791447961099483\ 49703029600360/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^16 - 5631886371675399417913514144626340577459280825769119504526311565520\ 14440674056288/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^15 + 2068620859828863941653210530281465121190468380851987765923739722310\ 38741304443397/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^14 - 2460452556126217630634095087651209432876137868618032464125674877445\ 98470141729028/3847115402478437116643857447584815856485396219295932\ 8768610684527970587450963*c_1001_2^13 + 5236732473050038332916472004203160349677663388254789715548996266635\ 8125982985867/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^12 - 9754838456881297880019634414492827754449416983884239339936047823280\ 5924858787802/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^11 + 4194422330988652781703196707572831873790948072140942493117499801775\ 834966815187/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^10 - 3046285077744360494709518478767005421412761167279101939719695707910\ 0043746734496/38471154024784371166438574475848158564853962192959328\ 768610684527970587450963*c_1001_2^9 - 4495625181742400696100299341551416007804017704831660665223604817740\ 911868129476/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^8 - 6519195193278938806577706878335920340743138191317548473441090923428\ 81951665536/2959319540368028551264505728911396812681074014843025289\ 893129579074660573151*c_1001_2^7 - 3154411031477598207022976767140073165684745624098963579353413522563\ 937321549836/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^6 - 1521448187462530232813910938757801403397366145476337004516987669627\ 887340761604/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^5 - 1570884335228494980147809685166417804250876386021686124629656651097\ 261083025033/384711540247843711664385744758481585648539621929593287\ 68610684527970587450963*c_1001_2^4 - 3386009490721990382652250091844391003196471090785698709530999459254\ 93762130114/3847115402478437116643857447584815856485396219295932876\ 8610684527970587450963*c_1001_2^3 - 8705515044785652109795494345107786448780386556011406905897939038482\ 025343744/725870830656308889932803291997135067261395513074704316388\ 880840150388442471*c_1001_2^2 + 35921602062142370745676128097383377\ 279476494444137740186082318415828841938872/384711540247843711664385\ 74475848158564853962192959328768610684527970587450963*c_1001_2 - 7452570405175068707304733003261381012630635555465798498318417442114\ 8490884191/38471154024784371166438574475848158564853962192959328768\ 610684527970587450963, c_1001_2^44 - 15*c_1001_2^43 + 148*c_1001_2^42 - 525*c_1001_2^41 + 1245*c_1001_2^40 - 2446*c_1001_2^39 + 4709*c_1001_2^38 - 7954*c_1001_2^37 + 13378*c_1001_2^36 - 20783*c_1001_2^35 + 31226*c_1001_2^34 - 41670*c_1001_2^33 + 55152*c_1001_2^32 - 66640*c_1001_2^31 + 81528*c_1001_2^30 - 91748*c_1001_2^29 + 105819*c_1001_2^28 - 108764*c_1001_2^27 + 115784*c_1001_2^26 - 109144*c_1001_2^25 + 109500*c_1001_2^24 - 95582*c_1001_2^23 + 91942*c_1001_2^22 - 73680*c_1001_2^21 + 67337*c_1001_2^20 - 48968*c_1001_2^19 + 43227*c_1001_2^18 - 28244*c_1001_2^17 + 24398*c_1001_2^16 - 14130*c_1001_2^15 + 12098*c_1001_2^14 - 6054*c_1001_2^13 + 5339*c_1001_2^12 - 2240*c_1001_2^11 + 2048*c_1001_2^10 - 706*c_1001_2^9 + 687*c_1001_2^8 - 188*c_1001_2^7 + 197*c_1001_2^6 - 36*c_1001_2^5 + 49*c_1001_2^4 - 4*c_1001_2^3 + 9*c_1001_2^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.050 Total time: 2.259 seconds, Total memory usage: 32.09MB