Magma V2.19-8 Tue Aug 20 2013 18:13:33 on localhost [Seed = 1478090754] Type ? for help. Type -D to quit. Loading file "10_57__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_57 geometric_solution 13.58855850 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.601138814869 0.649264756424 0 5 6 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -2 2 1 0 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.947840507323 1.459664902896 3 0 8 7 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795229150610 0.514497269635 2 4 9 0 0321 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.686797472704 1.297744882197 5 7 0 3 2103 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.738788370271 0.413358033588 6 1 4 7 0213 0132 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 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 -2 2 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492002131006 0.650757414573 5 1 1 10 0213 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 2 0 -2 0 0 2 0 -2 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.024449660099 0.684215066179 5 4 2 8 3120 0132 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.882524040785 0.387064853736 10 7 11 2 0213 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396636657771 0.914484297230 10 12 13 3 3120 0132 0132 0132 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 -1 0 1 -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.492561255922 0.442833979641 8 13 6 9 0213 2031 0132 3120 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849013591881 0.721255440499 12 14 14 8 0132 0132 0321 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 0 0 0 0 -1 -1 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213846918177 0.595573687687 11 9 13 14 0132 0132 0321 1023 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 1 0 -1 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.387640165024 0.991202954285 10 14 12 9 1302 1023 0321 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -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.718525031006 1.462194518382 13 11 11 12 1023 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.213846918177 0.595573687687 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : d['c_1001_14'], 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_13' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_14'], 'c_1001_8' : d['c_1001_14'], 'c_1010_13' : d['c_0110_14'], 'c_1010_12' : d['c_0110_14'], 'c_1010_11' : d['c_1001_14'], 'c_1010_10' : negation(d['c_0011_11']), 'c_1010_14' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_3_13' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], 'c_0101_14' : negation(d['c_0101_11']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : negation(d['c_0011_11']), 'c_1100_9' : d['c_1001_12'], 'c_1100_8' : d['c_1001_14'], 'c_0011_13' : negation(d['c_0011_11']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_1001_12'], 'c_1100_7' : d['c_1001_14'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : d['c_1001_12'], 'c_1100_3' : d['c_1001_12'], 'c_1100_2' : d['c_1001_14'], 'c_1100_14' : d['c_0101_11'], 'c_1100_11' : d['c_1001_14'], 'c_1100_10' : negation(d['c_0101_9']), 'c_1100_13' : d['c_1001_12'], 's_3_10' : d['1'], 's_0_12' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0101_9']), 'c_1010_5' : d['c_0011_4'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : 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' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_3_11' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_13' : d['c_0101_9'], 'c_0110_12' : d['c_0101_11'], 'c_0110_14' : d['c_0110_14'], 'c_1010_4' : d['c_1001_0'], 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0011_6'], 's_2_14' : d['1'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : negation(d['c_0011_8']), 'c_0110_6' : d['c_0011_8'], 'c_0101_13' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_6, c_0011_8, c_0101_11, c_0101_2, c_0101_9, c_0110_14, c_1001_0, c_1001_12, c_1001_14, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 1985348015080033843142227666415201008928527328428016721562381775088\ 03393651483577034965132353972231928051313741608904361/7492522696173\ 4130751961477127320294060225478524863158001993695389438498456223099\ 2002308697435016885716078420754496*c_1001_2^41 + 1355720093486755916492601787548227282174575368382761759693743017000\ 787100612825044375654523066460635206195846384555828813/321108115550\ 2891317941206162599441174009663365351278200085444088118792790980989\ 96572418013186435808164033608894784*c_1001_2^40 - 3006861779460236919792035054706834538693030957535671245450290390313\ 0399431561040895529931789276751973600253747702755792249/44955136177\ 0404784511768862763921764361352871149178948011962172336630990737338\ 5952013852184610101314296470524526976*c_1001_2^39 - 7117880031605410085374958698766979928303840259026507592389351532928\ 9358706676439839408342588449252398217507270806301080467/74925226961\ 7341307519614771273202940602254785248631580019936953894384984562230\ 992002308697435016885716078420754496*c_1001_2^38 + 1283683069162294152397967784950688228699283026278985127063972965051\ 25170032400798543317730626764807233708250448633949605981/1498504539\ 2346826150392295425464058812045095704972631600398739077887699691244\ 61984004617394870033771432156841508992*c_1001_2^37 + 4647110206674311428026087343821041031283627982236076037587158171880\ 6080312584267991480757277340550497072071633105947597717/45872587935\ 7555902563029451799920167715666195050182600012206298302684684425855\ 70938916859026633686880576229842112*c_1001_2^36 - 1310670085405675327134632186335042336185773663479260626122954865453\ 25307846898811183308612993009469131671919781626447267445/1873130674\ 0433532687990369281830073515056369631215789500498423847359624614055\ 7748000577174358754221429019605188624*c_1001_2^35 - 3034059805758927560739076497656125777404443953187482872998691297704\ 3311315709728704057531528554135479468907067828476282066357/44955136\ 1770404784511768862763921764361352871149178948011962172336630990737\ 3385952013852184610101314296470524526976*c_1001_2^34 + 4475136493973888349552440101780854986534490197102045218212571464635\ 830129305092915807513164259124570386370225474815393761589/112387840\ 4426011961279422156909804410903382177872947370029905430841577476843\ 346488003463046152525328574117631131744*c_1001_2^33 + 1430024949162385295541350379895648700935915836257877943183996581522\ 81470277764727116868854319935456173563175495948601493258175/4495513\ 6177040478451176886276392176436135287114917894801196217233663099073\ 73385952013852184610101314296470524526976*c_1001_2^32 - 2545521682392921782375848369458360917547426442146029607735363832568\ 8808504858572526487537568626836564686303145726763340885135/14985045\ 3923468261503922954254640588120450957049726316003987390778876996912\ 4461984004617394870033771432156841508992*c_1001_2^31 - 1065985190392004840821040316831475072463870238305985534359167472420\ 1123175031067391111622936592732501606165055162262467250017/93656533\ 7021676634399518464091503675752818481560789475024921192367981230702\ 78874000288587179377110714509802594312*c_1001_2^30 + 4262242852834127547638223102619371380367380465754410237852447966651\ 3436012995949196590055399552841989618559875561602962962907/74925226\ 9617341307519614771273202940602254785248631580019936953894384984562\ 230992002308697435016885716078420754496*c_1001_2^29 + 1825135270791260396226522099815625489220343349667154210738953552402\ 70447157794405589806280312659564910826183527259526138006215/5619392\ 0221300598063971107845490220545169108893647368501495271542078873842\ 1673244001731523076262664287058815565872*c_1001_2^28 - 2294949179701830537627359460271764464644484548284026942923199555896\ 30185488116327795809495890680579044171267927669766127108745/1498504\ 5392346826150392295425464058812045095704972631600398739077887699691\ 24461984004617394870033771432156841508992*c_1001_2^27 - 3611500332968307795834922627709962775225319775707693496262797358667\ 6957404825688424586800675258260807958593608932057879477073/46828266\ 8510838317199759232045751837876409240780394737512460596183990615351\ 39437000144293589688555357254901297156*c_1001_2^26 + 1285559080209801330988581934287954584984316883287671093223504609274\ 67988559140819301005376359985912650696229205337521115455331/3746261\ 3480867065375980738563660147030112739262431579000996847694719249228\ 1115496001154348717508442858039210377248*c_1001_2^25 + 5057265811636607185911537603318613909813891054359812884796049438547\ 39262523223863058289967499667774389622762570175085927942685/3211081\ 1555028913179412061625994411740096633653512782000854440881187927909\ 8098996572418013186435808164033608894784*c_1001_2^24 - 5098586532323081746009974035807421167997419921086530440036631344779\ 81865615476714406688496839267540321084057238841720690049893/7492522\ 6961734130751961477127320294060225478524863158001993695389438498456\ 2230992002308697435016885716078420754496*c_1001_2^23 - 4271938948895835208753359667779700954418907304368658553419391083667\ 0178789185565604281469075323970777291456744966411553962541/15290862\ 6452518634187676483933306722571888731683394200004068766100894894808\ 61856979638953008877895626858743280704*c_1001_2^22 + 1405822309774762349689224700136288994243928185564155354879968882467\ 293355584983550996277982067771594494816535358628542535486741/112387\ 8404426011961279422156909804410903382177872947370029905430841577476\ 843346488003463046152525328574117631131744*c_1001_2^21 + 3170087144821133658484823734295757534237506782002124075989343063463\ 351802997884316854712536298729974695973371360120402669220813/749252\ 2696173413075196147712732029406022547852486315800199369538943849845\ 62230992002308697435016885716078420754496*c_1001_2^20 - 4645284075453740952982596179897572592477602872826340461426462890122\ 216923442775810974196268218857012631461795065086380579177297/224775\ 6808852023922558844313819608821806764355745894740059810861683154953\ 686692976006926092305050657148235262263488*c_1001_2^19 - 4054713140501170989521143250414003478341220727375771250684245755065\ 9445507573965914455037892188125413493518114096954464197381/76454313\ 2262593170938382419666533612859443658416971000020343830504474474043\ 0928489819476504438947813429371640352*c_1001_2^18 + 2104851547081441358727030566035533617407738570419417142677912158257\ 942273846316198646098327512588903857468632308772070639188961/749252\ 2696173413075196147712732029406022547852486315800199369538943849845\ 62230992002308697435016885716078420754496*c_1001_2^17 + 3002655744403935685581174906257685853188513837561658436743403819612\ 710326206988821952333487530036534734843399693376438013355843/561939\ 2022130059806397110784549022054516910889364736850149527154207887384\ 21673244001731523076262664287058815565872*c_1001_2^16 - 3228423786008203572997456977092587916568619593728283739331828831367\ 810708802338158271050624278356391049058966604598772756375673/112387\ 8404426011961279422156909804410903382177872947370029905430841577476\ 843346488003463046152525328574117631131744*c_1001_2^15 - 9475306235442234168839407104748708757346142453926473091457216373803\ 507696410420364744147012487352486567963251941254387200571331/224775\ 6808852023922558844313819608821806764355745894740059810861683154953\ 686692976006926092305050657148235262263488*c_1001_2^14 + 4573602251009865362155355011833321198054156214249989317201680852202\ 571053343126772354293957419808882787098849773704883923872725/224775\ 6808852023922558844313819608821806764355745894740059810861683154953\ 686692976006926092305050657148235262263488*c_1001_2^13 + 1879919415500111878709789212522236391539437034450817829408738789077\ 927261454067411021872825543293136595209377933697883625065761/749252\ 2696173413075196147712732029406022547852486315800199369538943849845\ 62230992002308697435016885716078420754496*c_1001_2^12 - 1012067333970406983784170783202162503109608280246171170144514772816\ 775234298248113653675703679178884405266850322508688681985909/112387\ 8404426011961279422156909804410903382177872947370029905430841577476\ 843346488003463046152525328574117631131744*c_1001_2^11 - 1567260996397757431381256135519559595174410637298916776558558491208\ 357982395506818651516342092425619650984626977183565213314459/149850\ 4539234682615039229542546405881204509570497263160039873907788769969\ 124461984004617394870033771432156841508992*c_1001_2^10 + 1598114154826718024007886677500358527609045700878063355696203411693\ 40255615931872744821154876706098836249563616946537870875153/7492522\ 6961734130751961477127320294060225478524863158001993695389438498456\ 2230992002308697435016885716078420754496*c_1001_2^9 + 6034330113562987852901401600687924730143699622409493974724609203541\ 53644169668448638819341394859973206243163623555860583913919/2247756\ 8088520239225588443138196088218067643557458947400598108616831549536\ 86692976006926092305050657148235262263488*c_1001_2^8 - 1942459240303540582781610419777123978013809974097648285965096165829\ 4302020505993476069168617807193562278877049620417197715131/74925226\ 9617341307519614771273202940602254785248631580019936953894384984562\ 230992002308697435016885716078420754496*c_1001_2^7 - 1295088832102086124471535289609715998501893439376325620290910834039\ 0674300111393694094375550400949565722212022261862906447871/32110811\ 5550289131794120616259944117400966336535127820008544408811879279098\ 098996572418013186435808164033608894784*c_1001_2^6 + 1704771607123111913032144845252564403063919004114140123037268437754\ 765201821869076987974328528914411204121477303482698895027/112387840\ 4426011961279422156909804410903382177872947370029905430841577476843\ 346488003463046152525328574117631131744*c_1001_2^5 + 7705317034437490685254313281980997739066673907215297382212739110962\ 499396240113219332305259447854752677496964786923451715039/224775680\ 8852023922558844313819608821806764355745894740059810861683154953686\ 692976006926092305050657148235262263488*c_1001_2^4 - 2634906134311405082564097019583552744902279831507867475926163331145\ 7994273252097116633597278338988244409375290400081756587/74925226961\ 7341307519614771273202940602254785248631580019936953894384984562230\ 992002308697435016885716078420754496*c_1001_2^3 - 6825532898904317876342719234768247789252995395274347427724402116691\ 36043441602540104247431342226250746707757357965873970321/4495513617\ 7040478451176886276392176436135287114917894801196217233663099073733\ 85952013852184610101314296470524526976*c_1001_2^2 + 1018667735462285389814336848414631716023087494537457056288176827211\ 97995763081585984604288319907781942134977991906003083/1123878404426\ 0119612794221569098044109033821778729473700299054308415774768433464\ 88003463046152525328574117631131744*c_1001_2 + 1220456628407642240823878523014688822495787234328284934343626999882\ 1147249845055155692895974597830058719004918096122289037/44955136177\ 0404784511768862763921764361352871149178948011962172336630990737338\ 5952013852184610101314296470524526976, c_0011_0 - 1, c_0011_10 + 10914210660543665914866961970608705992543979533466298750613\ 628867397212173210757382462389115692070836563241158941/102394169499\ 4544425363905026339107517222469185379871875027246201568492599164856\ 49417225131755878765358429084469*c_1001_2^41 + 1830718336116121269292939627456620653777547206873485863461823650594\ 59144959731648895212500344005291557610185946902/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^40 - 1179447567410449928056438296513444556625613991969889714640076423654\ 36330771653350222818154614740213467588375752735/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^39 - 1316009310679561822146018142238632759709578582515123923370015263835\ 503092940841627433763505178382430111152595868769/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^38 + 1968310030351053749232965944681535159018604035023014601863308456496\ 23807619634233232036675496679626568183985728665/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^37 + 4053266313074596827359925435614095729105775958306267545081891388766\ 4893039419733280580170927277985673711748342995228/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^36 + 4748650804627661179827052951963555283283420708941599490699855842476\ 277646201503151797677804526017231301500711376661/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^35 - 8674822885962516847554871615340648531609030083327569114967714986861\ 6406131220467529584311931180018187172563927649910/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^34 - 1579714698847624379800171122986331074056011278119729534259033768500\ 6242097313047131944966005516013291835697908875019/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^33 + 1183369124099149585817422910886955824340541852352635170484236660064\ 915761913030870085524788515672369167504818108109915/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^32 + 8084620456178625096227905446058066332419861492117999709349928975687\ 3274033680679044346003477692741715336414382479608/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^31 - 1364757601752359729326580024209457624439625605826893163682386536883\ 652528828551519306201598258954298220396499355416149/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^30 - 8525327246178630655053738608655796253440730055491251907642173388234\ 65319176660536126979240079449502504710248168410927/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 + 1133110919824560221394523643346684914715273107324745289201427416819\ 1902856094309919935084583565778730716171044663967916/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^28 + 7891908740555238604590779237239205075168554047921662168931846947996\ 48507754286136851346015085032919719888511346277801/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 - 8714296003254321623868123884711514241600094720757562291543524763409\ 813456335060832446890510273276592479738014188493021/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 - 5504426643205756407882853604848749914207683259880859434260202759344\ 398772905156263208429124686679570668075304905187557/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^25 + 5197086309578470665734929253561499953528509303574537189276784511660\ 5737781812956399636900542361438717595801860865195042/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 + 3429185429633145112106315156390167691586875047249821351602050985492\ 818372276199949284441210075247193774207725669027043/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^23 - 9019323818955773154261191502266033552658165395930467656026089508903\ 8565528982398110344527515213449433328714198888713882/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^22 - 1391021054133417799664330425511053792649708900301229126069407287115\ 5473655369207128214839941642046436714495757477012175/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^21 + 1346924494245166625832205455987026272929404213266647720494233256121\ 82162799307079002243625756633156335114265770984041800/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^20 + 1152868455138612303861081658141856938985860209964599447633849029875\ 4457865963307814784952985540880466228059786585394164/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^19 - 5575295726000950745455302329678661915422137327794065693033910628124\ 2584662099903209562430427592979293982692038265596464/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^18 - 3408422466309479257393966592052956962866066250958052511046964421458\ 054448481125743406911774495914203407325629680649958/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 + 5518765455780982549509500503034055776936446780933830284161564484220\ 9791359320344938410080645126480564689475656694112790/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^16 - 6643484946182213004088357442838620681686130217999677833787146375111\ 20592516073205751200406259854988374941987638369384/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^15 - 1241064640152143960634628274801206540009299548683890959417335722580\ 22793457631455173535086281236545758636547345396700571/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^14 + 1196622967868013295021837122116215781598143960528669698446791890280\ 64715504904584851161310499753484954606848655018111/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^13 + 6572635512370668117230792802192411669931401335311701354620641871722\ 0736928063317185129730847371015436852682374530792068/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^12 + 2523749103690356623945000625630905150582070769461822245656940479692\ 514527105719442834754162817257997637775070282001701/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^11 - 7428487823093120559807304684243808703370949357396377952888980421940\ 136720775467110055563097853658460147408210947269841/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^10 - 1200963738573516504975241205319697968374023791387875006552888100208\ 464356066076926136651438917584390034689051937242819/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^9 + 4805334487546821382414893033710457253109358140929975619929454500558\ 308935062103388167363997230124129055879601171001593/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 + 2174211987532276492791566040624404791058872138769256062201106381228\ 60272837065683213258187108843486880985395006862440/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^7 - 2192376365404539859528849075341860857086500553922611587241293631078\ 12728176184114459043018197963528043000746839601830/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^6 - 1763779970281856091251656449011209660439870267100288524319398253844\ 2382956729346994866804777900903842103250441035399/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^5 + 5469985690540111231668227427226828899644572980199519589836739910688\ 8193744137308556137893380443854003490182100147173/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 + 5648915790591845091888791902575339277895017222582548276768513369191\ 04498509167748427874389261870689738902547066315/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^3 - 2466636044815816557305314920124984003846171212390316076801301714620\ 964857093665149955779172934418200391407927826974/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^2 - 1033246570444162422645875133828666414125827519910755916210396991895\ 510849490871570014155983392863748910274594997/341313898331514808454\ 6350087797025057408230617932906250090820671894975330549521647240837\ 7251959588452809694823*c_1001_2 + 455424486473248179433691366220045\ 2325848359503934623072866438849635004676370343156459565077936886784\ 0131083601436/10239416949945444253639050263391075172224691853798718\ 7502724620156849259916485649417225131755878765358429084469, c_0011_11 + 92020478215318610940111144458163752288664903126931786139147\ 60854657438134374587031562763446354310533804765393238/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^41 + 5137911268003991302506086428007585825297646125388285601688862431099\ 9768838057228209216005507759069922465211730521/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^40 - 1028325064701389975822668428919683164997829414357139641588496442980\ 62472489804012780938803742327977321076647152560/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^39 - 1107588232289340364250604502970613923572208399361995290577947769276\ 768350988665894142556900417165998248702040099301/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^38 + 2401591773952977928347651407639098244447439550519128482827023129430\ 01410708078667965078230404020241015735279130625/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^37 + 3409289111686974481887057300912165236448016492591614197702710461035\ 4495298488279824764632004109344950263675560371998/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^36 + 3236023293175045488838858603114202818929202163585654316944261739024\ 734271871534060746133887313041069348780919634104/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^35 - 2187221804020428044649548140100730510736533755236176792508545565673\ 71225731003059025734011183765774490508056008538846/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^34 - 3501375535968925047787566132495789604548755610610176028521020442506\ 5885778991026666006868938997760401656890327028635/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^33 + 9936253794244529039948935081672883659232153255515745332033489264022\ 00527890826840830596954017634442360437412473624375/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^32 + 6067459745164398600435974143932352177935955531882978078974230996770\ 1905806827529903320645195576144962432854827997662/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^31 - 1144690090533470822202139435596001624218238016918962573356909583263\ 743745865105475317304457332634639458811298462392425/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^30 - 6414273298286014786059196798072104774096708499571750657978062702345\ 68195181701721418299048651876111028537702577279409/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 + 9492704925697630406036786177357084266531330023586572246010221411087\ 907285365217565545131672527014772942047774209725794/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^28 + 5946353211708459339646874057139620151479209265473139808311516760888\ 40357844494055408232405147977081051363172315208769/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 - 7292092589823614588651816912407156157011487371382356846339968266863\ 088358168497016656840146127305035603978977311933868/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 - 4155398296756977402375502236361345665669594891013229852401090506385\ 773404262233388265016119083624735239395805556918461/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^25 + 4344321421151517649145218507091192532806318965730952611092307165944\ 7267706920381428550470452930577859856561802965857636/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 + 2571817952388134025213446882313551856151690500498265705037402518444\ 715824878017538363827934482291549714504634446548255/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^23 - 7529749241263477593530763134795711214676956643038617061185611802938\ 0287486427362465656766291243498635243020760172541850/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^22 - 1009193323140082045432063260492359170970408576005483571938440333302\ 1642801126205628711518863930123523219996194277947361/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^21 + 1122141947578812863026317673993421657990476337438390541815682791598\ 13497402482261147206698423415024432875988769140402796/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^20 + 7380908894205306554768839697891889276518062883258649694202303870427\ 336652347783046319752757968715834177993802801277027/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^19 - 4629694156407261481508169455869658181651409299695808976024233160316\ 6767563548779608995566668094671537684623793285213516/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^18 - 2016786419325030627035596658464136429960636152613373858939641567841\ 67031038924988218052648301879860782990800125380763/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^17 + 1368652128883025188509554358076107733586072296260268616192052948073\ 73000087672404285636738903211329558667727278138648872/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^16 - 4019100813457513897671466255090756504041452641125421312332493519729\ 113896560657581635737776070760710333432601136673729/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^15 - 3400494648177991520523741678244504284297007021488362600992429756117\ 5138577316143440632988505915386730625444636271691874/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^14 + 1616755198447100278663333970550754201244743691975040028139794038344\ 319532224387605476415478626910061752005905981842815/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^13 + 5363969513539551498827545460348132576060670214315675743529093886162\ 2313011171593364675156936402380776237205307763377574/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^12 + 1427574610889717779553886745070723295915605705759495450376765999603\ 608631068875465975969985797656225070500087399182503/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^11 - 6000285760364893199669241116826492309996174474392843660012543472899\ 776353770152048125135437404221883394784052093076756/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^10 - 8005273997396137210963511237951570658666977302577492806404143858968\ 34364369077972770293885208287059238677030651324120/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^9 + 3836124271091476701536628245415422179619313529938492043815695789069\ 769762800756764251224860557047738028067616457423839/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 + 1471579998180593256544931658243076306180641152439055439573146536737\ 47689299715301796672610069475102986185378666575660/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^7 - 5187104354485158044496323014698915358739371974272392718965896897182\ 07234256319168839790545588712320328158800174048173/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^6 - 3899871127451982024867539295763217993750324770561226989899699522588\ 038771591227655427270800870767748773125016374480/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^5 + 4264699936815254779094405734281673108302276998808912522974715520747\ 8168667195082328457458962762366894802630319602310/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 + 3492057525527672467283823293558449716031929047940118688387419859145\ 89355804296971801716690085463709794432486806270/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^3 - 6345216515877877174473880182379379522693541295443963694483585592165\ 46492538325257521600556924447117717547810559130/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^2 - 9865258280465587146172845798053478060486454901492385951866555897177\ 85782750361328833519948618438602562196037318/1023941694994544425363\ 9050263391075172224691853798718750272462015684925991648564941722513\ 1755878765358429084469*c_1001_2 + 347974768591368571752768143458151\ 6212826722908987342762622214870434058880743828751216302075535389217\ 6817128079027/10239416949945444253639050263391075172224691853798718\ 7502724620156849259916485649417225131755878765358429084469, c_0011_3 + 527017108943544655746871981783368871118216748926627049869358\ 1968641465050300371236013767168646960659921196907129/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^41 + 8835105693303543084068432413842733192586972144273477554721761799995\ 7239154098758709879874706668416311741005294944/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^40 - 5768465832755822864047545934542547034074683839242814130159602984857\ 6299784201193742172363345144185556201880977736/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^39 - 1904310845301298742962487474751542922787237821813716517532425816536\ 385182133341903696368926585862983695631519951970/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^38 + 3712511297977947327131209653899734432711925894983739468481764391816\ 6795061114740363112668469693760658823032272296/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^37 + 1953779950150644417824910189969545010121804676799226293645958172118\ 0864891868551855727387454812163904227719612409861/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^36 + 2122012222931501632421883826591862701224973857310562800197547969883\ 468823396468812722495239919388020310138462667601/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^35 - 1253444155485496036928579154227836233260897382642222761764975937962\ 09759501333564677687126997229997746591653564587529/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^34 - 2177401462623688646431817532348923332664378903580721462318824759365\ 1867184125472621220487455169170982809186898741367/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^33 + 1898153137143296721462383978994084906242895548029229630231541155239\ 86460841098577508566846810582873057970916693476538/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^32 + 1120408828685748558735733150532214332234719732021228962271556072926\ 51770094780082572480282865195176390092260466829147/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^31 - 1968241390963626429948542828586346313277741355536154627603090741331\ 351951808600456782651444108495824488131181933589883/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^30 - 1313817737263559294468269355859622959427532985497412744851081447118\ 63196694477672070190827886837196141429126236087199/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^29 + 5441487543781002330095557949175935832199352658577595407568475906146\ 554494586593873727873814902266420925648264641613903/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^28 + 3650651230749754926719365551744071717969152274856229174612002979378\ 85692131995388818888531021720373758579888589265812/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 - 4180545925593885065707645715912335505499928187958609251062947663956\ 250141443118518089832148978091795981052065164282638/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 - 2548084573912315924588414307377064135081021882346501101645294343837\ 819698487187998143836766596869289471185103609821209/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^25 + 8302757172431707647122303238843236992911151959668948841195005175638\ 471389019497304163608338183846841449299569670156278/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^24 + 4750603925160861349894021009309437285378604267461552818874936161101\ 579735197823058067354567680320642531583546567591809/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^23 - 4318081865545446268430492245669411711418877697385892495999772848763\ 7600336810229189207125174934637036815196530010618852/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^22 - 6348945525267750925834351686786195963200920776625738658337322980991\ 964314725164825612270779697116259018581622952400673/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^21 + 6438628052177379247562262887723924612877199967765375626029967872487\ 8100647768009267665434138890234349474490146462778518/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^20 + 5056996385332334370676466661366194171361898952166887160239964907187\ 305600046790913411895394133214106686449438406048561/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^19 - 7977128108337450348008428502983123307686004870706823213770506247437\ 9946502215061158769298105434198237660311016839899828/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^18 - 1104581439791789689655753187692071695566460135878241782699905385942\ 777447616777830721401800666186964659516468943572591/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 + 2623679974527503430570916364583614865502448556889730298090516582366\ 2947432097825336860215361986662597367237617248155074/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^16 - 4589406192482950922805799527019463335215127428999754575400801254646\ 95159004629804476967868320140015982919146467574159/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^15 - 5874394403811370751054289280158881649703446992816723247384636084701\ 2112050771735197502460134835800354145439205297349353/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^14 + 2775162795917690839685651315551367075883072150608073197176623705188\ 49193504095250271593541361002907024931350151830278/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^13 + 3091250673517912084426250665565882030838127431940027858183418960072\ 2872968449330837367241992611656850238581557542125550/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^12 + 3786663716337577009183191198827464926768269077006182885264798977364\ 41584791500188561901664293608664441407583589723300/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^11 - 1036986408112375207736929633068380956873405871129389168173655899421\ 1682411635517238938889656738994576099053216243517852/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^10 - 1850440140183961888070886652779718062247679269047587340505579412761\ 06789814800989733231728463627223823326992060544190/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^9 + 2204582617501430573878739560036139999684893277587320984037830749212\ 342481122011389255059479495474146625299030456794445/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 + 1006982422604684384777542169158226385672520733887302214712081013829\ 60230519516658362875899824553817241355693754303134/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^7 - 2967364422463711992438813596680097127437813295235147274210069345105\ 99881012295682453277052150267433282460877591324074/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^6 - 2755760225411795053459688279094027686610846612267201762832200232571\ 628263876407609141774047798255308887511554958987/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^5 + 8059641210470436770696773774554578747247019625986627411095878559199\ 049568675917380869302677817101655005698421796153/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^4 + 9501809884218337481809493582124553207990666113333388864833194360533\ 6393388821165882851047667277810858562656185175/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^3 - 3538994359964543964785781050923977839224651500000787324475097814462\ 45937113120136876933269720205191518527206429231/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^2 - 2665107073368869051247465395419887380726106025999375514027543887534\ 664223953252261591682362138447692487126922205/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469*c_1001_2 + 1910620193429457032632526036599345782352258801197368184177240881918\ 3920435001707390243752147078849356263506634435/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469, c_0011_4 - 969368736752778439583722364063664133606257843000609517827141\ 948802388594696018914114525924040114977333389263350/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^41 - 1613003473072453874220326081990014375074246662838203189852327468016\ 3729843570273713004537350537599977923580594710/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^40 + 1259176230499753491099545729181280029340597221731393105128433896544\ 9101892114220344548741073896116517761068098216/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^39 + 1160830574984571195931121046560257499294455147555388950576929780004\ 35847822050122309229611586123931577957798431564/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^38 - 2101909202505558821452978826504828755390064650063950233622684385240\ 8057643749074964403827154921039608790387762356/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^37 - 3575966432067142686972804458911320605352826392416963022370937524033\ 077760466961829579555584540460424649082444938263/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^36 + 4364794137028985584791573793035138972669960748498083142836284814784\ 8133412676239731620419997805967284159385454694/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^35 + 2294796292701177859772058350783784812427367032227358494047905350807\ 2571586124630785115614701690422007265192837532049/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^34 + 1246778912663428831142470377883993168620949829804376329858946284147\ 651721526166502291989671630724450381685491863522/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^33 - 3474746730512762541363922919309194586453624494467583514404946919651\ 2359190069100500267703269369800852151712545583843/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^32 - 2739751002601505000468197569353623875095951682486148438345718757685\ 985635489819015024048888168741901061910961397597/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^31 + 3600890076012939174435606851212124570059428300494696460283364691418\ 87414597370815556331883193664257983532538112533542/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^30 + 3025369978017284981773261531982470138777710290335267456075473171239\ 8483355508340868914628777350890728997578588685101/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^29 - 9944794415489679452297618113336813911174960366657955417166294972060\ 40927497730251629488604009564217057905077604620323/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^28 - 2881206585498417748930548203463033069688996272877958737244818173013\ 7928526130816277472399258694536554910999274103738/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^27 + 7632733098186532524342452057862690127743483996891757263146677872140\ 78185283710796431908529999063616781193993203648606/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^26 + 2075460796075570177999412062626820891933272330260292447425905945896\ 12775602823981592432931290864720255541939925515302/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^25 - 4544008958081227617549362632173166585358612297073029065195514861077\ 485759776911278331335476406604900853571398252578060/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^24 - 3622914029432956052783399259712134707074684262338714297697342448979\ 50157845073435499804583985783634787398824555914292/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^23 + 2620988911193483198802300148259520373896334008273534043707193558835\ 864855249295316397839670696316726466509571060399808/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^22 + 2966815020199727344964781790996752489872578954787018514590683194873\ 89647819157305892245203626649098561957197303537412/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^21 - 1166797121272806286707151818426002608868502325930445368480479516961\ 6008467131235679188055637342945424862740597344744540/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^20 + 1096176449185397688702943561819056040341398939583338275999031550045\ 55288264591898347926522815921480409609935319779140/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^19 + 1433132999144578541553671787891320995963840157314120759958989543862\ 5273749346525877204644810929632583522018283317308050/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^18 - 1277974962853617401288164441633618016810893175831252396236071981684\ 598058836593617687727917992105346933828652621218932/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 - 1398028698813899373990208621864720493883986918513617731443792014842\ 6280498764102402791683023633271152879218251246833460/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^16 + 5366263066057725258307388252540903331384478022551556392735064198679\ 94192562980831663287723658514189775509024689529890/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^15 + 3438462238896679719814377052889402796944717082074664657032409045838\ 737863628218823932213133837231868599079004237272503/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^14 - 9696989361330874638033586199363232404483748327058399535224010451408\ 65734327965199400739306959421781084790254563978052/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^13 - 5383460016901843349615640745294728446520950962103950483560967207078\ 558591724660074253649863597784985444032923537498603/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^12 + 2163289471704763602617917008340989608331085765324258316998741807753\ 88251631116964929057015345704708602534551156403800/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^11 + 1799383825806298706246770117297808186632519930400329196743020135773\ 954222412177077273555957623966374452449954266514198/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^10 - 1455312454679013612981742042168174681494258348828230560220847676690\ 9555112959176028571303973200284259029139986628810/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^9 - 3799088513737201787317007870125323919846985573846348227488000144903\ 79453734083457263017735836317715145617578305363852/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^8 + 1336883223131915667429160089967678530382408277694180084275995516054\ 27879907319791552454832693572676142250521495399/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^7 + 1689437126963996716774520327007833450489484334023346595694375209332\ 6182907927235967467595462047068232353833879816540/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^6 - 1855032590834111521796620671903718728480002296772484440034693420916\ 01119510691223926478577274494080738927113010332/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^5 - 1368450796149436463584754310829538751247260511884373779511227990376\ 664655845317453545196676842325529464398718763610/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^4 + 2891714211142890752453607640277563270396783080061109054745812730809\ 0765763478965741603658757719740998564542511081/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^3 + 1798092938757485682631055862272360770220845313685866772759752122521\ 22912237702201653583467474512547271909988389712/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^2 - 1065267895063608245502698803483258563739220556524782092687786071416\ 793858623632653051066511696490575414503417801/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469*c_1001_2 - 3129808342202150055327361732298847075945901923889408808420316755340\ 134947208101508063637509542655433314057279276/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469, c_0011_6 - 404467037912357993195987404487497001616404852354626168412319\ 9189126684804346422419362962646831021517224869410735/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^41 - 2253555200547964171880641233132222612532799022827657828195909449735\ 3867683171019753513412005337235196568442718746/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^40 + 1585034860810606841825412959833297682644693745704157380626374004716\ 0703543570103256268679765433121218342962558049/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^39 + 4860808661228124560197733540366522149640802689810500115383513711779\ 35767376901611597882038357719737609799658581877/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^38 - 5195931499482182031943833414262386028212838793979578402109714358774\ 4071265767628612227222952610854280161647488416/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^37 - 4989069313893433479266498681479771410964413053011561560782927394484\ 823378908721190404792426555610376871665936282834/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^36 - 9115325867167208851711200909124750738074505907465780481269377361905\ 93533251303256374979350600071123051946374685278/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^35 + 9603964471670599652640632741259284576685457767977629893811777568776\ 8846197184389803112735879803017823015722717535376/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^34 + 1215709507692788965336138874924434986801485603122607994464714859632\ 6933687453501560991590142052495852253935752055814/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^33 - 4363293759586602478804274749070489391095282626126351967625899487114\ 43103294042260349448650667016794824456640360806711/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^32 - 2185009217145009233176540044317413303535060233862764497126103026667\ 9171856358989164826951323303254441497262971315679/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^31 + 1507906846150739775771868205685785192332735577091144232574143657561\ 633823139407194376399347680275808858783836797028998/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^30 + 2328590827361125330001142009886281899432150438931343247376000629010\ 00379772119116689529512877766220944939789752511792/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 - 4167473556726021104145054992230213517440594518104428359283504206729\ 324917812812307270782978476953940916251124690759362/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^28 - 2170240405608367806231301992103847708050898360071537868758717712703\ 89872808405809663243057164993705563432787051468309/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 + 3200775585545024258907272561701490293206308215264054764511022930432\ 606175989752148967478981224486031129151667629634032/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 + 1525679850445383356179100389717541313580108042831359351507359523065\ 713845179400639657311362843581477344890429999956856/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^25 - 1906611296099940921538804297738268817933577469152440546701792837163\ 1909865410586069670843611262694651466258783765376340/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 - 2804403357705422574283434395651362613426907118072154717209408714433\ 321136193465135614287308517636516429173395605181056/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^23 + 1101055977029235574614967920710642777290849552013312905362225323774\ 4396274003112565056112269708195552978021344157106168/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^22 + 3440117953127644199644808786431612952686846040471401370028272769079\ 231621199231949433036724037674267841851577944135858/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^21 - 4916512682236214472337592089488428003994094904033507262227341706331\ 4164576672113030801550185353150898653322655765522272/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^20 - 1810702458927489879446091321992258285582624598656454825863271355908\ 920500884134360346718981339302099531407542183509532/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^19 + 6071650100065235902535077611511659024255775025664871550459412100640\ 0477774235589939918501264316220205161565795901233382/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^18 - 1589293129808274496462928488274936430656587710423387939388379761777\ 709278764124125695689369554450600683974403183317526/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 - 5965784309940283718311947424945997993385733264266157472704963725129\ 3072361625616503805403284430228058914110549326813110/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^16 + 3290647566998523132010095084155873761148821188400476790004491234788\ 906087471007327240566100509532639676037059034783674/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^15 + 4434444888070315784050780228656949130903499836767033096227089214009\ 7989865173585812520828195442328251182634289884748704/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^14 - 1725901998424450939125319541436466625863659474874384432939254078329\ 442838973440251513583687387770686643181856055618388/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^13 - 2327446855174446590169905321195234509087785834614635406493383340776\ 0872779880523647108208886850305359519730740146244086/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^12 - 1732907974444459899600522332476003227570682034199742089642559652087\ 31773435065778462601829767290935761893829611177510/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^11 + 7804269883116602336145819424151759314452842275520991534376504672204\ 692296180973831605316108655900792104773959839231821/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^10 + 2361987487891941253785783039266087065867863327217187790975949214460\ 12412143128443766507695621123358861086005581389097/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^9 - 1656486401560821598020414073368251164367876699102591345390451383945\ 341402412704138313917094654988702074001773239583044/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 - 4720296705789469353488839011945262855642258225680259598671239077885\ 8683023794388367502827724014593567060075735446106/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^7 + 2224495813957831216979920678608952503002688419290296531553042667705\ 98062472366187886602531342967678132850686072378964/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^6 + 3606926366457981765252532062915304527605731974975736906035605122850\ 835735740590569132289536552191084011593885502669/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^5 - 1810351963000499484790582830445232091840769639813000992996765049269\ 9501162927245790101027877353159117958782097534121/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 - 8828659289591206745171960100431077308738719202972371873327167055995\ 2503681544966879468548466376633449878381507756/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^3 + 7947220105716531155093955211453571598329720703152524016564017201926\ 52359714735519025161881021751078033635675437667/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^2 - 1511815974908185200837221963248090730324985298890451732452271381635\ 60326245118873594772612732370744611376350678/3413138983315148084546\ 3500877970250574082306179329062500908206718949753305495216472408377\ 251959588452809694823*c_1001_2 - 1435395153406690762998998834738601\ 3743827874235820298802026501869786432323629603518593335932102454792\ 500892456672/102394169499454442536390502633910751722246918537987187\ 502724620156849259916485649417225131755878765358429084469, c_0011_8 - 179793633293141080980914105607879180297267475120768324718391\ 5846619205848060856092133662927232909679590520369592/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^41 - 9058824153681925833386129380804724441336902108446541795835526459363\ 7051221835899033373100261173542074837319092812/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^40 + 5631562842428690800375229110631084217357722647860281223650637980579\ 6045995102760687530264446418156535226945674644/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^39 + 6504396334790770724035720111357784542371591227503372241146419045251\ 23736256115791557664952670840092456602832883406/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^38 - 5582341573573598718684244487346228027335321856966218720249554481463\ 7484306810285636211531999646984499857892033663/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^37 - 2001137448541124262948544000326036967574910563751366484230945718129\ 6990016999109659612879449935425090294279491798874/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^36 - 2761839546879091378462210893354995078870374170654539703420183264922\ 999902772946542311562306325520449859956452885687/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^35 + 1283405835027933726257143081707657969681930287527990214211246190838\ 74813872719752631221306926923495592267930072606445/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^34 + 2601752775718663046395246421277502659334250307844828197976088148419\ 4101602344900573490078462951455755052649088670314/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^33 - 1943033027136721496913750962506770122978359570441145024436509449634\ 44480476602986841662757129782225944314423057773033/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^32 - 4378601107559165800629296760917109847861258219284002339665448312300\ 2519873611607490495837049952671745455660316342948/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^31 + 2014477450584669816778007053397959171040040300809442624855281172344\ 455483539998930958815880606273908784115594653047648/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^30 + 4600511367885972026218134109960918026166594934887438350889040174536\ 03915243199624998438424137766055186773359197277360/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 - 5569043587138530287832739397324132058076835299781616517550581741007\ 948374904813215575845466465603719834707255628189600/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^28 - 4248487710191724031165383001413093372233550369531334332471159625292\ 38308677703376416491081218134537383444103103383614/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 + 4278315114752047726213472684428676507748834946419498210405485619263\ 565179229120540399620998368040136168594698508901024/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 + 9851463377954562446700942301919035061140910237499970265727026109614\ 81366780197750667163007486144895230085233813306184/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^25 - 2548873374681071502271669035068220938106552053706684295847948754476\ 3809318061448084371046062063633556556256604545190370/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 - 5540354207691592662169428364781953293891576558152876393288797719395\ 131264286125238036080568078824815423045173087558896/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^23 + 4419413994947066629913607831248141951913627469243165416695674067434\ 2887985010353663148227999496188462510379265463286192/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^22 + 7650001622376785015919535979968641861712010796781638811985417021073\ 499637564223049703312685942792653183324452721768039/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^21 - 6594968458066557087424087374322496634811699839264518284713111265284\ 1695023174784310671332659236450080453866420239297176/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^20 - 2280248789150801882603425061969338604027939512120152569834013308982\ 066698809586966218656687440635464523376748607531409/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^19 + 8183405400105875492008091529527036685932494130011270625193739131927\ 9703370504977986369978481732788282309218279638022092/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^18 + 1031842959243444039846121555321088927689587770952871946029112642707\ 921616947620895549638751842315687268774942760777607/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^17 - 8089953311838989787128456918766798038930362909771049830332445327680\ 3134872830895015782901860915257832217358349757709120/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^16 - 3988937440422097778023401352395043472773834353581240245592076704094\ 89905925623420670405951247304092822080240873628959/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^15 + 6046578626873455334058595023005867293769309557453997656371167448483\ 9381365770641055941889103103110390211027549503206432/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^14 + 9406494562759554594127128065420202674620302463867929491004043063439\ 08827366323726738169387235863149328223133661467051/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^13 - 1060610580071842895156841069948816847658805851611541836011755946018\ 4562798156331599920845826217645517081188895521558500/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^12 - 1720793894214381750417931591530707787209064468916390544226077216931\ 470695022867835998128910372394319976638194083302496/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^11 + 1064844412002817950795672374433089694968662371820518409866909472891\ 9193332952816015710239538054220631779055931614691486/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^10 + 7128943448232186275305098585692312658514237255487095045626362487656\ 61962547865579282215475900743833569639816752170348/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^9 - 2259823290073451536109032232248374170254515690416166401101531880887\ 963357238367534886909884106136504475894444976378402/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 - 4163810417766416766402181107970250866388313439702502224724184870730\ 0474044547356950955932899354273275391200094573872/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^7 + 3037563119573174132001584478777878327225563737336894655579126683881\ 34040970443616399589051298978737034024933134529874/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^6 + 3466924611382413681933597274082326906048952689725672494590118308491\ 295549307482308488495442606167842805267109071983/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^5 - 8235965260117542389710197234235758497934605026185994073080131676996\ 556595681341633509323102285388705804560256755776/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^4 - 1279232396432310623134049362334754944784849141789235693736528908982\ 11562168110809001372990354581614767707581368837/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^3 + 3612056026115283092948067837482478926875289562907808006731302576556\ 85833308572983511058573099127745746916684979592/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^2 + 1498179160136516398325711371619087031737657242428519317601476912769\ 391545125697663813404542457623000760330518612/341313898331514808454\ 6350087797025057408230617932906250090820671894975330549521647240837\ 7251959588452809694823*c_1001_2 - 193699285982932954882275023555505\ 9190944962966957981711092232954479772412969390265113674191674589549\ 1959791042725/10239416949945444253639050263391075172224691853798718\ 7502724620156849259916485649417225131755878765358429084469, c_0101_11 + 96984323611675346423470778157551570137526523205387812311564\ 8666243318443477791194082420760391559210615032698609/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^41 + 1618381807628583564292598420176491366665758025575583978865655172093\ 3928196462012715888011826636469945484576654499/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^40 - 1181606813050492974108491986494016837935010502843569738935393386223\ 1022188582708169035649704728597990219982134472/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^39 - 3487031480118088157810940595912215677183397221787687985615153714351\ 15429229452341639766100936479867080596097664881/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^38 + 4650144889418392939655159925197148105698977918341870222754583538742\ 3346538779321486809270798314105167720256337534/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^37 + 3574052210812015837518191865533907475463388706948701807369146806754\ 625415614755723366771921905576413929785007158757/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^36 + 1239124476450224253860040022711265554006772929796707304310847137921\ 40384797908869448861696257805021419521555428868/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^35 - 2289384094308934415860032333608540073097131702963881931672014007913\ 7811428048668728857037766052653275110466261461392/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^34 - 2305460280933810346637244107916727009993683289923545766033589264105\ 212327571092622385988282611757435939251333964906/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^33 + 1038069401679220281250937906246601068934541470212284085938117402646\ 63175765942278201352142518401753863052157509982811/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^32 + 1295187735633210075390004834041109671600830593751876767512126999505\ 8977473017947813943685618221620969102302380692479/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^31 - 3579570718200065480555171861612051540978668096762770701006984580362\ 05856841559533153653798882948787937592714510196271/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^30 - 4634924287902850329616923922816841730338240812222765193989370228143\ 3895010683532536698926695528547364086030779274690/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^29 + 9869763036749407647090678037155592053764636757317413379102210554407\ 55067737181161588850276203289013985963135099200305/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^28 + 1302522176860533243189609638171173660042899892046340173630179645329\ 83091300618197916811754292069113927795034381787260/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 - 2268913362384042282789724739396875216202823738958013812859317747000\ 187544447475941170076445351036817900683201951139806/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 - 3070453893931672974763101720888953454798783918336667535550493045303\ 60122580884023429746928752720368411327310803176882/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^25 + 4495511492505920542190234431318459154515453984991470621819858367585\ 551080486378585745013135039186455685875819840687768/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^24 + 5570862086124921909489926325164578754766860348162847209032315858036\ 95619980765982241303735233340744968460490329794098/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^23 - 7769301238005041332825594148607275971101022661552991931286179608087\ 339203574383224550625233195035927770248084251929080/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^22 - 6300517940683219193050516923430382106371795027652827193063158159213\ 95624676364230408727683518026635142686603930945210/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^21 + 1152148980433305842424905271296622936548568076530793960069647926321\ 4458106328483040669706745773324656394915667625584475/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^20 + 1632936312618651603987458985460216749474250098577838167809443964572\ 05125450856748471057665427897590618592067070503298/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^19 - 1414877125376800325087988958391640122971263731690395431192761990560\ 5668389928358481916229745024733199866767361860807621/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^18 + 6728600458132696462095394180433416089138030016411181141609589880452\ 37309552593441608437802503752724167198428703125352/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^17 + 1379387731174301157661220282752765102717149283070402698047135364011\ 4154778978020507582234119200469056834556844857499130/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^16 - 1018843776488618030729631226300809847339981227569301232992005362646\ 889694134722218755711706743157240734079689364393942/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^15 - 1014795692844194535101706274562047028606004251899076883785342591059\ 5484557475781066419559943739026238061861724000497689/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^14 + 5394885869721369917856822574464273751108512185902657977568732368013\ 12484258779710947655052108154646341217308996029986/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^13 + 5251411927342494697047833472704701861763429633680525704022264714567\ 269929819609632720632541641664541499695635512912402/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^12 - 3719359746245212386195473525491210150185344478121363067700790629160\ 679840932004973339753655128702767093776876779311/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^11 - 1722397168511759293478924182619231065299893268991499350111848450418\ 737671193871352250740051583182202738103749706292008/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^10 - 4731504006828406907489123980196627299150149333538077597455017330138\ 8259833398586294494410350756465318636534523359035/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^9 + 3561424424551980111236006199257053951222344836268451365898839986513\ 16202107393662103660499001536338471539355282812632/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^8 + 1142139455542130034834505504705425537771290310020073209211465157225\ 1255103314522575518525008480871864942206228107001/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^7 - 4663295569709559014357686730654664797370901747662035276370225218402\ 8796821279507244279372824227309076542437650040001/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^6 - 1233373959083678589118992461196446809555514901202711744061238767183\ 033684186965615736990339764520386532613681506099/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^5 + 3733300555101139114066208751096952043869541778238837524363005917984\ 277238671752771235668256211420553245155110251389/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^4 + 7103491558254099605479803563318061759471641914175355154736454215901\ 0428785930781905187570293636475784622175728972/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^3 - 1640035819780090558227864276449185995623188984022546557143697450019\ 87287385501646947580682316719542005188393568300/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^2 - 1727434205216609987545208402585936438756054748457823417593210529346\ 969310448260284345254416101092477039629889997/341313898331514808454\ 6350087797025057408230617932906250090820671894975330549521647240837\ 7251959588452809694823*c_1001_2 + 296850190099730309206528805137480\ 6938364153601958511889016238838822123706906502632864667575524900196\ 919393476992/341313898331514808454635008779702505740823061793290625\ 00908206718949753305495216472408377251959588452809694823, c_0101_2 + 937619885789068969107754941107537005841787232286792601923721\ 0009633939685789382420130677626915463837876092661225/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^41 + 1573137160861078036288917819314538850103922389329229363704011484256\ 16526174949688979770965153563333594760400128773/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^40 - 1004708912040793353700244971716307348874844283229454322476254013923\ 96245081932616692188495499754388910669843433348/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^39 - 3389069467922439258732407336187912478169581034302173402300776486157\ 552397067737717746164936820947753406764540459723/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^38 + 1526307494862598110075168123249154531063589852597886093857856177534\ 47564296586912515573300638186522527439676682408/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^37 + 3475640492226180486049980464792357534471654709790445854724488339001\ 8500477204225285560756214684302018859291671773303/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^36 + 1410686266708139953624896481679527521347191144204435019644476067909\ 790814057799214265531644692043306272927574954496/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^35 - 2228894708768863185968787097890913507128289102768113537585680864065\ 30390545139552733160687170924215271276447220123596/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^34 - 4159714914396376002831461633029430507053249277678967525896278922190\ 6864949682865004982790962368275221865984101961704/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^33 + 1012204317816176860998124055374393060148146958399950256749803670984\ 610331959698628136143171662811720745820002378235519/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^32 + 2119785681283368828642802771626239661847777126563106436808235034408\ 08506227993519909054460601523988109880874789012755/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^31 - 1165782838033065922883827237172496452452843787818117513771772167963\ 308572185401040861423784002595473139211083737206832/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^30 - 7437263791116457451598796321894045652233859028519550945616940232358\ 54939148250405664614181600734366218404123660204896/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 + 3221947769154871190621246065420690124582506930065564513696734808415\ 735097341813456742900052416949951815535910732864606/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^28 + 6875539135575287230620623314120717418918242780342796158493969366201\ 88005003661721441177254920813583783539789214870814/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 - 7423678219453623280361266448753758024109783602360354892829951052158\ 200780759851460956884098177925536746608197907294888/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 - 4789268174526481906543447309988077510408858367418874968814897340924\ 488825698182224008638501629036755411471677634256660/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^25 + 4421767924707954072423605978899582617269321672899549544711411034311\ 5197700189203820903037835612495078653476297031179196/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 + 2982266555110513382952853192303314024408756100434813870071255090280\ 375613763744489762215197682379719607851923046002670/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^23 - 2554645352876853743911003729823593559490636601160029542808216555366\ 4266757629923538841210056939757166041713340899193964/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^22 - 1213062828302298127625151916397375617303802582788195828716460037760\ 3422542180213206795259323383964619180406840708227118/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^21 + 1142752319766732859901125292847573884207502215822317631031963743389\ 15975702469949816134618554179002380242098208278100940/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^20 + 3401197082663022168385284642046954024169697929016009633065261233063\ 599377077083282080508859449310211883252740331646338/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^19 - 1416040272247008684102938194388665507643293925112969029511544152231\ 62417544413891969177365823905327279747537580963684858/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^18 - 3399282087555268463910389151049530858712920411206152350047952342101\ 800965536529496205595116068850086058058166975684358/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 + 4657676251553766391235256306778399943298852414929752432426308500840\ 1186134470476027736378242282733784967680805971846972/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^16 - 1116704878716330929159833051379423254159785744988669492697194249706\ 954666736678181929414285605522218544322544459432100/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^15 - 1042287484851247223088451322739025312613942517458979351048673365008\ 94603054030475783723088085888992451630459028966169285/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^14 - 1361588298989555259975423307075484528461153515980539443862621058537\ 27208718682408550795847641610430919492068471693868/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^13 + 5474406771505268204341207492293910842511833027577030510108278698000\ 2458609478597788692592785864192729874600497943412120/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^12 + 2415885936294633175829743774808914089113718904909068924139417919348\ 676923287713366064859940414600604327003353263217607/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^11 - 6095818197880761686177976591767815298354218455190184260987249829726\ 050241101467383538413039752988705438658573752465238/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^10 - 1074701493863110291427283064936477511274082086357784189752461346592\ 268772402785305532421571261278330168535570711996562/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^9 + 1290828401669521876290056021893560780196212293433907454812350052025\ 515370651833747466455312499068450058954205639942394/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^8 + 1898513462790038102996013714679498995228910615083502813262158439986\ 71616612369741203000399814678088254313766044467382/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^7 - 1731018656942174376893066470428595984810681806047645839175057737376\ 47064243895120541250650798259596508853352689247144/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^6 - 1554069081364754672910396750217359769366035314761696468855775479391\ 9393505869318693227211190698397794533231468027750/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^5 + 4217171243152563714767605424164636850270082115432404952385351975644\ 3346681997056160737965300066151154598081862956793/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 + 1817086058806736390421011945807197809193194204096307972833558286718\ 70107676415442503970730367535814440183114308199/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^3 - 1849051271356722543806434016336207656107355495481484207277604782148\ 697522230787980785731112840963089538898731495412/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^2 - 5452228693563369526228368883341589921428582789993684649096027979067\ 497218004485890349980274019892036413426329666/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469*c_1001_2 + 1103158919728605014120762847118869935315924098752198303538446404316\ 6438336288451430348301384666227782251496583566/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823, c_0101_9 - 849566894394594418841238757846371339862386266790756569395866\ 090934331038409307440498551412673221347376458573105/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^41 - 1416343370615060172874065298296178952278184361804990858601883581739\ 7868025711255492976518515160443209187898272372/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^40 + 3178716487249773235052838844310322734519824540700587292950796745858\ 5933300633471090188424711074940723796204528685/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^39 + 9170204472520108662775838262682602636598502947170275323081296183490\ 60937476907493276162177974493687922599420694630/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^38 - 1374099703190427977982112154589899793463212777135313543226780756411\ 67400448606575532633006668007128948441638643372/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^37 - 3138266632213194036500741910319027633060564370263381087649299004845\ 463135769934307437785338165332472509146678936477/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^36 - 1748556657427531875657096907389503135036923271064209446386116897267\ 12043552770755377847477479042183609411452462842/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^35 + 6041648970148699668482638070974729055918460043153634497984823998904\ 8051760333073153437251887633451097811210734843750/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^34 + 1706886215444247500369848109884306446299618079045891139955037026346\ 324396966656980565286518317782194523378681912837/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^33 - 2744696717246615012216807213555848355016400957731806271021629797967\ 06576033161157072582626210854168011618599599982688/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^32 - 2989448702699310066130098198648458146435839896810547723533773443081\ 3754347477745260551465704186904892605846236382530/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^31 + 9483185800918914754249182699943227218546734689088010957522885422797\ 92557844290927017395874364971060987213962173950802/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^30 + 3593865490744353739402146092785103941305233632628033702217744103558\ 8869216085133476179923791896125160672486976491768/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^29 - 2619899546785280608833266101228658710672206465489098734181398308255\ 363672692712379321061113346707946177976611255720185/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^28 - 1014309007313947117137775858975705084171592513501931974067658582798\ 53322585577560997750497340894469894831329985866473/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 + 2011440008703591430551775753588136761453684544102243736102015869751\ 557375935446313997599845065128795784328082862887358/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 + 2402424957695574652615630895054424313596917632558900595130800774965\ 92994053909331780923903261499403746723381273439012/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^25 - 3992650102035057164400322548521017977085246839395943301711951133977\ 437055244531755566670122806410845279997120370669460/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^24 - 1295673709770711430679640168412575539767190589219994216365543952913\ 590552124650090045098468457194988096350813969116873/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^23 + 6912588663892922264871039492341961730845713551767530749564491686641\ 807386562352913816399719309030743815014372879864156/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^22 + 1364700832294801270593584708987125595793445093888154357312001985421\ 859966021320329487043807102888554017667525114737739/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^21 - 3081366707505552272567996946458599414646148196197614218782458428929\ 0721287403630628289081012520355886410093828897456854/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^20 + 6547059885749036459698604411532914957148150128977639264386508025823\ 050903116635608949721150185167362272301953029341/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^19 + 1264548574322986345725526729452552697368969249060244792999473815986\ 2650998147704648250154604387281738648940968153077886/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^18 - 2366672373573192433968543257790377590851309862418297159976341602771\ 285525774569884773329533589327180377563864339281901/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 - 3712382400183133649276088207269459639068174728766453758184387029926\ 7453489488678271529165300997678636564351489830832942/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^16 + 3323715343889943527716444057450715711204814262017764233872217606434\ 667481126092438289876982276434978930153094935979397/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^15 + 2748168745680799754785854932541752779486719016087006718089030301843\ 7495435319453283124176443671514873845260492391700465/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^14 - 1934087698680412516555877000491013675764040024981175401809995549218\ 789710823530211895283680209440561907962935091661546/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^13 - 4793367993806496392577061194529501149608144944304028090665211618838\ 047879522321321675737668906096590231818010422428852/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^12 + 9432646334146636131107944865559819642451362196855856003160201672611\ 2517058741759573473692427128989466066256039011910/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^11 + 4814671163977078996531409804702401750110818620466190673178859825289\ 378338620792846219844106107640551620967723932555201/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^10 + 1366118601297925083006315446037209308044539531831906941447570684278\ 3436471946712200300902722567300584777607696525204/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^9 - 1019226296237997552348504259315762963590163761387887678220287837239\ 771624724774765598223503590337070530272382816885584/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 - 4151658364283167443049176979452573264125484086076186683266097910845\ 786727812159976091686248122003515443942614829596/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^7 + 4547126041954633698570510630984625716828978147878410017241677509806\ 1152827004189005095066619475130985789649874299412/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^6 + 6897515662407986741089722347484581703712156576680515379730211810362\ 93757247801551347067227111418978100250978164757/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^5 - 1107630725082998181375172996448668272732716631858287500732459911118\ 7618443827147490317170346098809284038157104300689/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 + 1986252787157075840271308774536397979736401438640806301553796613098\ 5228667318061835894303782854648732879717078229/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^3 + 4857506203529174765744694394340781104432233507584781088702476052056\ 17951972883056409897140368359261768123709904938/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^2 - 1729063897587910742832187677370969450565350106212818488666810641987\ 227983293808746633533626145277744419262646639/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469*c_1001_2 - 8723656894747835649031026290744465092378543127437933424087629058028\ 454067893057849035563290417580184741644310127/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469, c_0110_14 - 21311225101631372757316973732042264075239400137202087335191\ 78136156643117075696966611569445933553072923907177673/3413138983315\ 1480845463500877970250574082306179329062500908206718949753305495216\ 472408377251959588452809694823*c_1001_2^41 - 1069411882064947086641870228092042488759104544232787130367392954029\ 70434412453096728643357340586962228186146563293/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^40 + 2471104236499403920019878408270864924158526695051380084716916401681\ 6890332813022114540734547086019501946836905426/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^39 + 2309852321243464116122854346392826676415751057308275205928948247560\ 913441492830014695110193755515889520308760692495/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^38 - 2234274521752788594229022694230928466387718279180468872801885600381\ 09409903919877696472292582305536917528525033637/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^37 - 2374617536839410709109396484804263629785245231339774618714685272526\ 9397431902824273324746394749260049973480631033228/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^36 - 5593268535077518313711638444074846010201774427027256622492215185632\ 91969860716718798926663063124403301815694810723/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^35 + 1526582557309953145134696077308463311726541649097798439512657031782\ 92559839205367874443127667410216297893382227003861/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^34 + 2071837830394169100709527140784935633248526843547456619110157242729\ 5480472708457137451040437542005770476768948468578/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^33 - 6949970710010029932277959298525318287487035266327385818279010280251\ 40576723877416029888502510464787758043284143191336/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^32 - 1102591698471556073174124895664477131506088298470065958556893699636\ 29136319597624221064362538764311636734271781387892/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^31 + 2407186711542969550410960175812941827834691891740070085187186563284\ 140759795722461919422924926630209421566330679743844/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^30 + 3900572483259253546553905269402474379659132403107985425328966831716\ 49926499665292588526880218259731078517191380464082/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 - 6668190988352166084247065474567837156397183096660519283456951286772\ 734462383350215362768915837175615726370759146600832/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^28 - 3621000484423632616507738264230891023022036030958951347328533957603\ 28998863836165511523189655517786599518704897621269/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 + 5132756600067659893695659862402672046112619607345107203144122326202\ 133386401309020639417474224779650493622684560969906/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 + 8451689577259629900441639702968508076550002742586893381410875877738\ 79460685455567844072909095173279953277971611512214/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^25 - 3063744151782856774755206366973836796891399764191288650419932387233\ 0253372414969398378730174882738979746878256590238000/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 - 4665618529963261990790887269314517743523905816169044906697228045185\ 991291803449836740600014567739319804435590495833754/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^23 + 5319782597408859966953935974286888917413456843089404256660349033084\ 7102396531610760029116675111553034342261114519617816/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^22 + 1933844855001053829259533560225548624377135573603051918831087604946\ 591293491380706120548325049736200770832115358317664/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^21 - 7942026912310701466652106381260396025319530197804955746515025883441\ 9003497860713512954496201017274979066785336610336012/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^20 - 1090270595520401240542563682667389175333843427939140194787468147915\ 541300253850452631862210138552028985009190901898276/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^19 + 9849823165125469680736243612180662870790091411380069375953386504398\ 7126829431086093336044146523698352935701231500821080/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^18 - 2292931023343139495656247281531637802070670803173377065581019669982\ 391508002850591668266586048175093538824217072156306/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 - 3244510113270081120442668507831741032109318811756088466158974708929\ 1595662311472465633665939143089653682401813455026802/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^16 + 1786190642175407629159115711935983825468254984494152884789571940594\ 032125647710102749033421515436282453092611197327324/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^15 + 2430178169989453562031124741966029115656406544703694636008407498012\ 6485352331704394896977504802724415753752606932954511/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^14 - 3136807302490243109381454387461705310854020447105882605502897532320\ 580761389215713343582747506754867122568422851059294/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^13 - 1289690560690142828358633118635882085892849657337242805536653108784\ 2617153047182234471934075247817468042792708588894849/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^12 + 7022591991824956664050239812382042725615104682907564092919178926418\ 1585290033944960261128082056869014308350852148389/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^11 + 1321416681919058778017112451133352809018794739503992564369856209583\ 8615053509788705481550574362468297046528209205203135/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^10 + 2277784780418760885509207441996206634338353716050501402433315618984\ 32742511484823531478532908098570485757837978996228/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^9 - 2868418133738344777776778429157460449295172868546422005875490970497\ 012536739078110747123142759596526211163899820031602/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 - 1283052249036697581005804346804969355158022510753754781243948518747\ 9995253861383351732502600699839803485721084114245/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^7 + 3938540117055505863326529428204740745338250308012730756102610654545\ 76729234200842029166264803217986035589992159240312/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^6 + 3963850213723616309035473428100780695232592267880372251747047358471\ 81483728827470988667846391473108709168774261316/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^5 - 3280349001812170188572268102370778160649384189325888455228452734208\ 9337558394056232402322099311611825951408698364187/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 + 2698799014661290534119453684295596114002846191253102440012326804629\ 51216355855143373167405574488878759952425771040/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^3 + 1485297002852708569642140039308951560470889440142951189576959002475\ 271454185779159559268447871987184656635826927382/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^2 - 1280059085152257965360353353597034872750587133846598843258673213849\ 8650205813540334509329528648214097561293145632/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2 - 2775165579230656014573958801317451082074740620119796506723050861274\ 2586973055350195721756021051708763392568551991/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469, c_1001_0 + 162792233866605147987066110699141081357417349850176458864841\ 578660134205159621719851387714236201483963885176333/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^41 + 8140078942483163720952973784962277849925966488090320545700434225132\ 599764795926893971785439321980752463231238714/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469*c_1001_2^40 - 6105553744246245867910270748880744625534198032873462156155417588466\ 651462855713938257363072433966397013044571322/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469*c_1001_2^39 - 5847664627182011381292715362342463646246566649446636649902224960666\ 0638943800389570604579099311716756337869512688/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^38 + 2680538447231246758571610774605858270419943730516570642177529683493\ 3542412648162279710128164508233773936105582842/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^37 + 1798303288479350107818746793730847801167218587972208287023328187874\ 211795753793656116232959475036004850903866349769/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^36 + 2730432043538689190936158997495198796171111285281190649384840789314\ 8805958608289537228246429859411427566985749446/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^35 - 1151986874819369028074704668388828386837793722416827478543720299514\ 2570792250658072339987793036042601378029432415866/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^34 - 9339404754999256385142666379070982800806446156127508847061774685726\ 98093577533624374229042334962552487285788974914/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^33 + 1741197391394533625602612856370595645831654666112976444279280578304\ 9497838454753115516701642082745831322418933505432/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^32 + 1827644300215369204129270724376779856613286968488052568059939113063\ 361815832265498451040831396950142687984526694555/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^31 - 1801231147694714145724145788001954619951498750302291118136248228858\ 94509881758832292087134238879720208158063800915162/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^30 - 1972437062353508325433106208865374862713029177023787854662538963217\ 6133401839656731031020412334051785445675776676117/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^29 + 4966206332805835284717014131065971916578638800430392667345945276781\ 35298074128612111129105971236360501424912651630075/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^28 + 1851305938127570669140374982946774650358048711210973051441003277752\ 4516406280311709411239956414093094562198922993437/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^27 - 3805475352564304897349925186982437285483466554641282045543454994625\ 55736684808125501202489631379339702868801555108422/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^26 - 4377296651463549825230308505715261083546389105153905961957202630359\ 9394271290947962703959036212686615443886896485900/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^25 + 2262080020386436220713389434600315685245434744063957276560501572334\ 782732112623509608943033203410269492767406940781919/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^24 + 2339906093869834679194685401724086302451493813787886065865994535746\ 85074471953237531496758090485210521177594505953404/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^23 - 3909021033766089941805278796689284454978812880811387808321013254355\ 426742412215034482979157809724326281639958085750143/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^22 - 2363513090451463233762703221885876220273595782588863005136648315028\ 26894734874388719961309643641549646877802310855384/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^21 + 5793750146872673924715289129269759712768668949252602015477269897296\ 971317262351528016927542607915166379044090118709223/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^20 - 1270756153008890911573469922493923901881185479401799443338021244395\ 2892109488361717837627635665480595269523691327324/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^19 - 7106893408461776264092651847628271007759693951143663598487063047498\ 095050458765263638499644334435581559062016872468109/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^18 + 1623404658734031253361874857447508371204969468087970816662576334778\ 98690924494302726711620214553978080259802157257786/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^17 + 6917987880674215782812217912435568158078296453945097108919859607424\ 516895313056775166012586393743305956768751105019127/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^16 - 6590788077231135767388996115830428551723847230804342510202913720107\ 33172062775036817933891843970020524115421429132014/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^15 - 5082389418293812804596000579926081682418617737356838121759539857879\ 468222675106977809134535226342357942301237377415374/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^14 + 3826278463370019075301984515487382871145655178914295120102055888299\ 21054907222256941779061680368039247326621510459482/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^13 + 8765180002957964758302930471898459226876202674246534857091673671652\ 26100520102976503696441303490984172700243337382245/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^12 - 6350657949632056799305875955631375684967710146125930513816396126842\ 6353042851626697890058380850197118592515212897017/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^11 - 8652785947933515908535041051716777509159117056436906152023152183063\ 76595726642181913426421170048080274354776196085143/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^10 - 9609481085438126385595740567105803913009224393720364889335393262918\ 27418819142492197990013369500688505854929204522/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^9 + 1807405188113494677553680874993542837972793549077816891641782862494\ 19212504007560184511165593804976897332215681603393/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^8 + 1836594169697652190126925352182846132303007269229273131727392118521\ 01848954393579729546328703729666533571489144102/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^7 - 2398658867539266800198074982102370206189212698359937473467781292928\ 9621485454730663720176114280148319179240698625941/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^6 + 3534386319188672057021522545380815516501080235088521473809654926302\ 8126737421346264418553123508887901951453723102/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^5 + 6471401132008109332663564965149229854266029553132657691877477996545\ 47015253579934736661370929959334252452815894641/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^4 - 6993462144683029598404962018192030992302559595347409270114022038210\ 032004974383523859962699973313972185158289843/341313898331514808454\ 6350087797025057408230617932906250090820671894975330549521647240837\ 7251959588452809694823*c_1001_2^3 - 2864924036993285420402971999518733490993159374925256222514788868886\ 7692744464320030721132023114812222662675950316/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^2 + 2070283545596264105066401922740902585895719024667096527572627910524\ 16567175390546378454114429130914132643236180/3413138983315148084546\ 3500877970250574082306179329062500908206718949753305495216472408377\ 251959588452809694823*c_1001_2 + 1579331946431004816939993909475449\ 8859809009573716601903604563240006045205319034073811283139795490647\ 95986455965/1023941694994544425363905026339107517222469185379871875\ 02724620156849259916485649417225131755878765358429084469, c_1001_12 - 32322025117016044978637522349327578276681488424273959959230\ 41375496984207124587157480862641298534198672486363745/1023941694994\ 5444253639050263391075172224691853798718750272462015684925991648564\ 9417225131755878765358429084469*c_1001_2^41 - 1799269132072483267470002187659773964558409082608837413762152047821\ 5447642140654254353379659344988800032959640105/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^40 + 3875545231263577022724952646442944854441950852537380386998456430864\ 2619293442383815370575839627339368630985140925/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2^39 + 1163929951954386502311410356223711048977800206426258211464702721715\ 453149501235504978485260358770331799023968304964/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^38 - 1413882117464686709160561709323807488175750183512633414340042859695\ 00554210176788848913625715265606018834268015012/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^37 - 3980447617461530780140795478581705903099267620424476740616498379012\ 858390776489825996904122772664298347747730553954/341313898331514808\ 4546350087797025057408230617932906250090820671894975330549521647240\ 8377251959588452809694823*c_1001_2^36 - 5515561753758062567992071450978111405793996793628216644227863124765\ 71072031135970523506008397767747055682641564102/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^35 + 7658217700353964797500805849562053843080210499994129604391917904075\ 9156464889911502667190217266544280644474839848021/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^34 + 8556314954543760442957409526051742422007776444866243831782830778896\ 533480718720238850353463046390827195531749890466/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^33 - 3477162627494935197706516636970311029898528286961242353208375204477\ 95879835832037674138098780344500808681516280781307/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^32 - 4702144342974051265460805326334229598343296284273219978105400574234\ 6286339016252882143780942020699407218551700150726/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^31 + 1200847032382997647436665483610254653151764419372846302078708732128\ 061680603921000173833286638763269931955768837914126/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^30 + 1672803864104515740323869932826512429142200032298267120624628847255\ 76025621283949645403146223245880406069009482464403/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 - 1105470456003204077188108155436771685157730117985796397281246478963\ 517949283208743923201770049027173593307919067893462/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^28 - 1559143723749147722559389299106729293523177181525396625569956789125\ 96917310591993905864602670920755382646124487569239/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 + 2545375851643248125085542198383161180498861638103168263234164889319\ 710359335470255807654724009961576833520829708687033/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 + 1096881862304981435558903974403736613507641158027898345584159391603\ 505496374010034312722285555413283025449232321065182/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^25 - 1515282384298423160412821352529674316029759528476310791361927207342\ 6102147431574552279154310786635448402894117682380962/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 - 1995706383844628762978367264766282327362353255810321253355574753965\ 562386498265917399693905732719343320470261512680440/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^23 + 8744168052513907013104011661380191372183084757847712177318060472690\ 920021770909362304083718408185437801772580463021604/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^22 + 2322860509290495350772018070794664720595640174953711659798463146495\ 830591247838786231057319468315955860600569097516286/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^21 - 1299861621300943559687605980515135152839121977405319965514587818479\ 8510851230084530528309523206427218778677925131716634/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^20 - 8221255227600729426794479371191121365225189317247749855687440803929\ 71700965678486676202479822458725972990938511419120/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^19 + 4805855033285222108746260775431846016431476776658619666331854021922\ 2892473354629382353616287199507508988144123685175520/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^18 - 6715706763885660407983650224957942375191547555942473757031792217739\ 89239204800851085566517816001120065812145192022010/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^17 - 1569448477512339629968016442275687977256771767617739973188631338068\ 6155504741119425770717241823230527487537725534746396/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^16 + 1109887519893444887573788134728726218473630615174373041504050376514\ 546006271815928315681227510664400927196028296286420/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^15 + 3487088541649969044115768559665941959829799007080844151873224306548\ 0058199527436142688775006337688832393880523184824540/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^14 - 6292128190663003801230839804110059275739115245719479915518731725737\ 87021911126643530666254328458661028079516106488223/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^13 - 1822557282005742156232548073904070670343629311859943986382952423096\ 4228698591040903373151031816019878089226190503914403/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^12 + 1383161215702487073857944847472524972111153880361480914849618928736\ 89051039643900598328029139273554124891519638478738/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^11 + 6084617130810959092799747091006397265642355485063127889840388521776\ 946677295352728304546081755614217247173195946284060/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^10 + 8512275881871648179220984950962186996894523883738219211594583083718\ 2946693949343611243677621372303275755167737734347/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^9 - 4306279124893093974265746834749097901938523899092721971913031029869\ 06159833852068500749496821273149213065937773639240/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^8 - 1575152248869663106079685157005635921581487871458757590413132636695\ 7377028451505858529621810318453182278822453389088/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^7 + 1741919219438011454210406970298665928244156988397097576356857139944\ 48918347150163960020390863101570795059629020727431/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^6 + 1982181302867565021355778720764702084674690567916698969892610530949\ 76664773543130660953313180320658440778698624170/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^5 - 1429799619585147860274781169754331595293297473323991301372767906151\ 0385112614583828745266918384237663512484282931013/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 + 1135822864968278358925289223466603365716177152552872835687278723912\ 18471737087221146724668523286853032675497065755/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^3 + 6401487778108032235332606362283052376233389795818598806086114374197\ 84965111310575856934907991076838126640134784134/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^2 - 5372752413361379820999356043501065079726740796045280683633702595442\ 614312890980799034109976147579308954153831951/102394169499454442536\ 3905026339107517222469185379871875027246201568492599164856494172251\ 31755878765358429084469*c_1001_2 - 3954514050580936581984103378749257582311124937728267297001459810190\ 380989958238658957461351165882073091814012393/341313898331514808454\ 6350087797025057408230617932906250090820671894975330549521647240837\ 7251959588452809694823, c_1001_14 + 21311225101631372757316973732042264075239400137202087335191\ 78136156643117075696966611569445933553072923907177673/3413138983315\ 1480845463500877970250574082306179329062500908206718949753305495216\ 472408377251959588452809694823*c_1001_2^41 + 1069411882064947086641870228092042488759104544232787130367392954029\ 70434412453096728643357340586962228186146563293/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^40 - 2471104236499403920019878408270864924158526695051380084716916401681\ 6890332813022114540734547086019501946836905426/34131389833151480845\ 4635008779702505740823061793290625009082067189497533054952164724083\ 77251959588452809694823*c_1001_2^39 - 2309852321243464116122854346392826676415751057308275205928948247560\ 913441492830014695110193755515889520308760692495/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^38 + 2234274521752788594229022694230928466387718279180468872801885600381\ 09409903919877696472292582305536917528525033637/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^37 + 2374617536839410709109396484804263629785245231339774618714685272526\ 9397431902824273324746394749260049973480631033228/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^36 + 5593268535077518313711638444074846010201774427027256622492215185632\ 91969860716718798926663063124403301815694810723/3413138983315148084\ 5463500877970250574082306179329062500908206718949753305495216472408\ 377251959588452809694823*c_1001_2^35 - 1526582557309953145134696077308463311726541649097798439512657031782\ 92559839205367874443127667410216297893382227003861/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^34 - 2071837830394169100709527140784935633248526843547456619110157242729\ 5480472708457137451040437542005770476768948468578/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^33 + 6949970710010029932277959298525318287487035266327385818279010280251\ 40576723877416029888502510464787758043284143191336/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^32 + 1102591698471556073174124895664477131506088298470065958556893699636\ 29136319597624221064362538764311636734271781387892/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^31 - 2407186711542969550410960175812941827834691891740070085187186563284\ 140759795722461919422924926630209421566330679743844/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^30 - 3900572483259253546553905269402474379659132403107985425328966831716\ 49926499665292588526880218259731078517191380464082/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^29 + 6668190988352166084247065474567837156397183096660519283456951286772\ 734462383350215362768915837175615726370759146600832/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^28 + 3621000484423632616507738264230891023022036030958951347328533957603\ 28998863836165511523189655517786599518704897621269/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^27 - 5132756600067659893695659862402672046112619607345107203144122326202\ 133386401309020639417474224779650493622684560969906/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^26 - 8451689577259629900441639702968508076550002742586893381410875877738\ 79460685455567844072909095173279953277971611512214/3413138983315148\ 0845463500877970250574082306179329062500908206718949753305495216472\ 408377251959588452809694823*c_1001_2^25 + 3063744151782856774755206366973836796891399764191288650419932387233\ 0253372414969398378730174882738979746878256590238000/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^24 + 4665618529963261990790887269314517743523905816169044906697228045185\ 991291803449836740600014567739319804435590495833754/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^23 - 5319782597408859966953935974286888917413456843089404256660349033084\ 7102396531610760029116675111553034342261114519617816/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^22 - 1933844855001053829259533560225548624377135573603051918831087604946\ 591293491380706120548325049736200770832115358317664/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^21 + 7942026912310701466652106381260396025319530197804955746515025883441\ 9003497860713512954496201017274979066785336610336012/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^20 + 1090270595520401240542563682667389175333843427939140194787468147915\ 541300253850452631862210138552028985009190901898276/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^19 - 9849823165125469680736243612180662870790091411380069375953386504398\ 7126829431086093336044146523698352935701231500821080/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^18 + 2292931023343139495656247281531637802070670803173377065581019669982\ 391508002850591668266586048175093538824217072156306/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^17 + 3244510113270081120442668507831741032109318811756088466158974708929\ 1595662311472465633665939143089653682401813455026802/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^16 - 1786190642175407629159115711935983825468254984494152884789571940594\ 032125647710102749033421515436282453092611197327324/341313898331514\ 8084546350087797025057408230617932906250090820671894975330549521647\ 2408377251959588452809694823*c_1001_2^15 - 2430178169989453562031124741966029115656406544703694636008407498012\ 6485352331704394896977504802724415753752606932954511/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^14 + 3136807302490243109381454387461705310854020447105882605502897532320\ 580761389215713343582747506754867122568422851059294/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^13 + 1289690560690142828358633118635882085892849657337242805536653108784\ 2617153047182234471934075247817468042792708588894849/34131389833151\ 4808454635008779702505740823061793290625009082067189497533054952164\ 72408377251959588452809694823*c_1001_2^12 - 7022591991824956664050239812382042725615104682907564092919178926418\ 1585290033944960261128082056869014308350852148389/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^11 - 1321416681919058778017112451133352809018794739503992564369856209583\ 8615053509788705481550574362468297046528209205203135/10239416949945\ 4442536390502633910751722246918537987187502724620156849259916485649\ 417225131755878765358429084469*c_1001_2^10 - 2277784780418760885509207441996206634338353716050501402433315618984\ 32742511484823531478532908098570485757837978996228/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^9 + 2868418133738344777776778429157460449295172868546422005875490970497\ 012536739078110747123142759596526211163899820031602/102394169499454\ 4425363905026339107517222469185379871875027246201568492599164856494\ 17225131755878765358429084469*c_1001_2^8 + 1283052249036697581005804346804969355158022510753754781243948518747\ 9995253861383351732502600699839803485721084114245/34131389833151480\ 8454635008779702505740823061793290625009082067189497533054952164724\ 08377251959588452809694823*c_1001_2^7 - 3938540117055505863326529428204740745338250308012730756102610654545\ 76729234200842029166264803217986035589992159240312/1023941694994544\ 4253639050263391075172224691853798718750272462015684925991648564941\ 7225131755878765358429084469*c_1001_2^6 - 3963850213723616309035473428100780695232592267880372251747047358471\ 81483728827470988667846391473108709168774261316/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^5 + 3280349001812170188572268102370778160649384189325888455228452734208\ 9337558394056232402322099311611825951408698364187/10239416949945444\ 2536390502633910751722246918537987187502724620156849259916485649417\ 225131755878765358429084469*c_1001_2^4 - 2698799014661290534119453684295596114002846191253102440012326804629\ 51216355855143373167405574488878759952425771040/1023941694994544425\ 3639050263391075172224691853798718750272462015684925991648564941722\ 5131755878765358429084469*c_1001_2^3 - 1485297002852708569642140039308951560470889440142951189576959002475\ 271454185779159559268447871987184656635826927382/102394169499454442\ 5363905026339107517222469185379871875027246201568492599164856494172\ 25131755878765358429084469*c_1001_2^2 + 1280059085152257965360353353597034872750587133846598843258673213849\ 8650205813540334509329528648214097561293145632/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469*c_1001_2 + 2775165579230656014573958801317451082074740620119796506723050861274\ 2586973055350195721756021051708763392568551991/10239416949945444253\ 6390502633910751722246918537987187502724620156849259916485649417225\ 131755878765358429084469, c_1001_2^42 + 17*c_1001_2^41 - 7*c_1001_2^40 - 364*c_1001_2^39 - 64*c_1001_2^38 + 3714*c_1001_2^37 + 1277*c_1001_2^36 - 23707*c_1001_2^35 - 9747*c_1001_2^34 + 107193*c_1001_2^33 + 46799*c_1001_2^32 - 368983*c_1001_2^31 - 163161*c_1001_2^30 + 1016693*c_1001_2^29 + 452392*c_1001_2^28 - 2335773*c_1001_2^27 - 1047800*c_1001_2^26 + 4623868*c_1001_2^25 + 2023300*c_1001_2^24 - 8003896*c_1001_2^23 - 3151358*c_1001_2^22 + 11973002*c_1001_2^21 + 3864268*c_1001_2^20 - 14970412*c_1001_2^19 - 3810596*c_1001_2^18 + 14962376*c_1001_2^17 + 3295160*c_1001_2^16 - 11286658*c_1001_2^15 - 2607432*c_1001_2^14 + 5938759*c_1001_2^13 + 1622777*c_1001_2^12 - 1949428*c_1001_2^11 - 583041*c_1001_2^10 + 404194*c_1001_2^9 + 122412*c_1001_2^8 - 53934*c_1001_2^7 - 15742*c_1001_2^6 + 4481*c_1001_2^5 + 1235*c_1001_2^4 - 207*c_1001_2^3 - 54*c_1001_2^2 + 4*c_1001_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 12.110 Total time: 12.330 seconds, Total memory usage: 83.31MB