Magma V2.19-8 Tue Aug 20 2013 23:46:02 on localhost [Seed = 1511800739] Type ? for help. Type -D to quit. Loading file "K14n11995__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n11995 geometric_solution 11.29334029 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 1 -1 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.898522957504 1.183134673292 0 5 7 6 0132 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 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.485713147091 0.640785679676 3 0 8 6 2103 0132 0132 2031 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 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344723878423 0.601131208131 9 10 2 0 0132 0132 2103 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694134638672 0.675169671192 9 8 0 5 3120 0132 0132 3012 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638345784830 0.449528841670 10 1 4 8 3120 0132 1230 1230 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.222634755105 1.291821669912 9 2 1 11 2103 1302 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 -1 0 1 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.709075452551 0.733583263149 11 8 10 1 0132 1230 3201 0132 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 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.836722981990 0.962404762061 5 4 7 2 3012 0132 3012 0132 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 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 1.192357788414 0.775056657097 3 11 6 4 0132 2310 2103 3120 0 0 0 0 0 0 0 0 -1 0 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 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.588446408956 0.726159977713 7 3 11 5 2310 0132 2310 3120 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.755453540434 1.100165570833 7 10 6 9 0132 3201 0132 3201 0 0 0 0 0 0 0 0 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 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377819789063 0.695343684349 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], '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_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : negation(d['c_0110_2']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : d['c_0101_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_0011_11'], 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : negation(d['c_0101_10']), 'c_1010_5' : d['c_0101_8'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_4']), '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' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_4'], 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_0110_2, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1578850584486916120009188038495286982575484516948052217270113386666\ 94799088651765022245557257637918424910036442253/6494777506014142604\ 8178550163080906863585345565519534406109247314300783377967316595710\ 0428810619242789476073012736*c_1001_2^29 - 2047024708069974975429413116308898767650739321396362982271626297330\ 828356808204806579164333206205541484799760356157/113658606355247495\ 5843124627853915870112743547396591852106911828000263709114428040424\ 925750418583674881583127772288*c_1001_2^28 - 1367583840559425384973816479131679535011608622809299777028986598803\ 2300513972078299210655494378626282518449768626609/22731721271049499\ 1168624925570783174022548709479318370421382365600052741822885608084\ 9851500837167349763166255544576*c_1001_2^27 - 6385047723989029711821243969574156846062272389347991004556141241638\ 3776036219238476204825099218489748265863384303669/45463442542098998\ 2337249851141566348045097418958636740842764731200105483645771216169\ 9703001674334699526332511089152*c_1001_2^26 - 8040092880129603601827949124855114923909440933269567020342342045397\ 7181571387024074834089110680709612779278751650549/15154480847366332\ 7445749950380522116015032472986212246947588243733368494548590405389\ 9901000558111566508777503696384*c_1001_2^25 - 2140314791034023789052659578936853016799216073997210667667793481249\ 50960323636533036786962273833715315471422139973949/1136586063552474\ 9558431246278539158701127435473965918521069118280002637091144280404\ 24925750418583674881583127772288*c_1001_2^24 - 1662645388120581002415481760848187550429387734494752535251911756415\ 60273103585897742405641785757557321970637391364807/4133040231099908\ 9303386350103778758913190674450785158258433157381827771240524656015\ 4518454697666790866030228280832*c_1001_2^23 - 2496569558893906365254070264099269929100336224598685274899454470662\ 47913890107376107834005357926391012147546614150289/3497187887853769\ 0949019219318582026772699801458356672372520363938469652588136247397\ 6900230898025746117410193160704*c_1001_2^22 - 9279169785351183043926192691143852005654428093607884947979473108369\ 402781691408724138445372938748415667017541454711675/454634425420989\ 9823372498511415663480450974189586367408427647312001054836457712161\ 699703001674334699526332511089152*c_1001_2^21 - 7768259301042057251740530341900682365438977354894766887168214368911\ 028563726426324932928161174890910365704114640515845/151544808473663\ 3274457499503805221160150324729862122469475882437333684945485904053\ 899901000558111566508777503696384*c_1001_2^20 - 1488783835451285430424568450359416639762624994964837517054680710305\ 0259752441182313605426180017724166084963835827850859/22731721271049\ 4991168624925570783174022548709479318370421382365600052741822885608\ 0849851500837167349763166255544576*c_1001_2^19 - 7230760940705071127234525663697272704065202948559594225844209150428\ 040573587159651046813793200104292381522018134930691/454634425420989\ 9823372498511415663480450974189586367408427647312001054836457712161\ 699703001674334699526332511089152*c_1001_2^18 + 2719792828745876547150230565260968639901673684072357652739181032686\ 2802489720115787487520334313450159729067702417878405/45463442542098\ 9982337249851141566348045097418958636740842764731200105483645771216\ 1699703001674334699526332511089152*c_1001_2^17 + 1090581284461731972395416211544367393388554534739646090484161118789\ 13964072074504868657392912877211486539144973766701/8742969719634422\ 7372548048296455066931749503645891680931300909846174131470340618494\ 225057724506436529352548290176*c_1001_2^16 - 4438176733256956259029351963402067899577816871671616181391604826140\ 646570279746424939365919659041877942238944462269319/116572929595125\ 6364967307310619400892423326715278555745750678797948988419604541579\ 92300076966008582039136731053568*c_1001_2^15 - 6959891577268525672403005577448795576125912183977378126250363163181\ 577969776233220751336953688806129141269883522216925/688840038516651\ 4883897725017296459818865112408464193043072192896971295206754109335\ 9086409116277798477671704713472*c_1001_2^14 - 7526564796782803739011079911524127187868007411187787161589679835500\ 811132948363231483581345384164868695334003919281423/710366289720296\ 8474019528924086974188204647171228699075668198925001648181965175252\ 6557859401161479680098945485768*c_1001_2^13 - 2104896358025820685695552969007544018937798783642681091197165116113\ 4253228931273522464380271636879585367933834494673571/32473887530070\ 7130240892750815404534317926727827597672030546236571503916889836582\ 978550214405309621394738036506368*c_1001_2^12 - 2519068516597713209644574246682819595198812008123544861836223788502\ 4310998682885002648275130561212396779380617981782355/18943101059207\ 9159307187437975652645018790591232765308684485304666710618185738006\ 737487625069763945813597187962048*c_1001_2^11 - 5042990100742578877419618313298445290730041833000450995146760527279\ 4240935099599935502006057026366626517505164672565561/28414651588811\ 8738960781156963478967528185886849147963026727957000065927278607010\ 106231437604645918720395781943072*c_1001_2^10 + 1069054326687222143566485440017891809143982730306560331779511842086\ 214566997280928799161902588911516116339723368322919/226186281303975\ 1155906715677321225612164663775913615626083406622886096933561050826\ 7162701500867336813563843338752*c_1001_2^9 + 9785104023891280118325554728426753556170718210767814783530570916415\ 0118018860856129899114930454140627742404139683959771/64947775060141\ 4260481785501630809068635853455655195344061092473143007833779673165\ 957100428810619242789476073012736*c_1001_2^8 - 3865130993021607649922699185148525439249721006065190477286262891242\ 703269589140326318376345752098233305609917339741107/270615729417255\ 9418674106256795037785982722731896647266921218638095865974081971524\ 8212517867109135116228169708864*c_1001_2^7 - 4645285819390076606684924668582447030050073201669728764092655004747\ 2840051764119518166937771232772541480308320986323763/21649258353380\ 4753493928500543603022878617818551731781353697491047669277926557721\ 985700142936873080929825357670912*c_1001_2^6 + 2076163989798004675711720628406251143592891494264665683854337370232\ 49621720274852922609347196284683407382314452938893/2108693995459137\ 2093564464338662632098566670638155692988996508868279475122716661232\ 37339054579932606459337899392*c_1001_2^5 + 4505065676017543185396426023828913307157983053546992476162513531775\ 2181984104257243459987725705027681154463010961271817/23928127653736\ 3148598552553232403341076367062609808810969876174315844991392511166\ 405247526403912352606649079531008*c_1001_2^4 + 5827991993355711820098812050884239277772260124879631393352013476155\ 3476860441416183228432825662215864248823561293178971/22731721271049\ 4991168624925570783174022548709479318370421382365600052741822885608\ 0849851500837167349763166255544576*c_1001_2^3 - 9618926102442083533766025863648806786060354583949072679149194141032\ 7985552442520729472455656046183284756991893143396073/22731721271049\ 4991168624925570783174022548709479318370421382365600052741822885608\ 0849851500837167349763166255544576*c_1001_2^2 - 2714385734876975245601558764176968970147063389888487875967288956236\ 6362328707027423349488282936929398897656048722766681/15154480847366\ 3327445749950380522116015032472986212246947588243733368494548590405\ 3899901000558111566508777503696384*c_1001_2 - 3487567852124606720033021857156192141791640957441393989197192436759\ 92419958017013663825613338442594701055112568539999/2164925835338047\ 5349392850054360302287861781855173178135369749104766927792655772198\ 5700142936873080929825357670912, c_0011_0 - 1, c_0011_10 - 77667484700240397690442769799953001627025984756062686003823\ 763407434079032862754438109397485751278279/139882844820904890930551\ 3754917958862968369800959294878933201701541771254573672566392176311\ 4247319844864*c_1001_2^29 - 403019563053332605722222543444769373741\ 5961219612362849661164599005573351790243717979602258698524676921/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^28 - 1344390182706620050043819351083010837465107745356803059293439810159\ 4080512780644008019592251500436151287/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^27 - 31276756963907683263739825734935311451748045\ 621201079435473671704518610989335414650971543630759867772389/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048*c_1001_2^26 - 1182101944054285752282373631045390691301175506070182254150740992609\ 83911228678185813980990606600071091127/9791799137463342365138596284\ 4257120407785886067150641525324119107923987820157079647452341799731\ 238914048*c_1001_2^25 - 6005389497574577160935145013323227123992336\ 2781622901484915745130570021303424768596684634704256711631469/13988\ 2844820904890930551375491795886296836980095929487893320170154177125\ 45736725663921763114247319844864*c_1001_2^24 - 5600697750304076173107156810757969692612903258876652882635612312606\ 9224103694870478045077848006161763225/61198744609145889782116226777\ 6607002548661787919691509533275744424524923875981747796577136248320\ 2432128*c_1001_2^23 - 395492787443349957288562181561202239601725214\ 579367411345009647256499556103456606377732340372104553834185/244794\ 9784365835591284649071106428010194647151678766038133102977698099695\ 5039269911863085449932809728512*c_1001_2^22 - 2268086715887994215097553701460985089013258058872836993168664709826\ 701374791333591462713755891424864688087/489589956873167118256929814\ 2212856020389294303357532076266205955396199391007853982372617089986\ 5619457024*c_1001_2^21 - 356935301466982736734885031095751244213423\ 512563240776191062104103873457652459371307437328697384722210867/305\ 9937230457294489105811338883035012743308939598457547666378722122624\ 619379908738982885681241601216064*c_1001_2^20 - 1115177976137808882133854528899110608711051640916003785358109541531\ 521714418759427389366456275266175491291/753215318266410951164507406\ 4942855415983529697473126271178778392917229832319775357496333984594\ 710685696*c_1001_2^19 - 3149332106469223257831061597181918287524967\ 205792333030816757796996813956644102092133423171813381087445955/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^18 + 1977182206912197642834465243002781021350774786200804090678779578621\ 257441833810988844624039137099235625621/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^17 + 276367991715637817768968649185227874657447\ 1395467035262849599324832128037299894405743200199969719078368083/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^16 - 2143645787513671355304550097677599192374801987979374721674800437470\ 2940443086327139914214776437500274251867/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^15 - 22608370225724340110584361596332383397283\ 5443774241137833950765954857799344007646464204959525579126190275681\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^14 - 1168474289790151973487300377973723665287958637971026993710707365858\ 59104444407845946843474868502807230761457/4895899568731671182569298\ 1422128560203892943033575320762662059553961993910078539823726170899\ 865619457024*c_1001_2^13 - 1369308992193087363975827842881176785187\ 3149428662546337801473211754071369230426376041731142359367722309727\ 5/97917991374633423651385962844257120407785886067150641525324119107\ 923987820157079647452341799731238914048*c_1001_2^12 - 2911554995949889861044843555912930902767420963042581972988924241387\ 17381035154418666789382835903317827039991/9791799137463342365138596\ 2844257120407785886067150641525324119107923987820157079647452341799\ 731238914048*c_1001_2^11 - 1972490900791109950535169604626111720135\ 6579357232299377156754558662788207716225699814287390018488291962430\ 7/48958995687316711825692981422128560203892943033575320762662059553\ 961993910078539823726170899865619457024*c_1001_2^10 + 2932449355119854654933050946995804543129391945461522302605104505179\ 9109388118258145567978492572462418476655/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^9 + 350191664875229799945503402622500981329893\ 700396084418458861047312537368449548361041711810383566670139882999/\ 9791799137463342365138596284425712040778588606715064152532411910792\ 3987820157079647452341799731238914048*c_1001_2^8 - 5892411354028941589874298471987479985111628607905844743656573988763\ 086916269479883188254784044203475712967/174853556026131113663189219\ 3647448578710462251199118598666502126927214068217090707990220389280\ 914980608*c_1001_2^7 - 53921766725547411802860349389899060313840640\ 71932184386374950110747643322572805223410220524743517704391657/1076\ 0218832377299302350105807061222022833613853533037530255397704167471\ 18902825051070904854942101526528*c_1001_2^6 + 2638694280035582263438219839032029348482239515383429531458006955362\ 785031827225673414364207376463987853979/107602188323772993023501058\ 0706122202283361385353303753025539770416747118902825051070904854942\ 101526528*c_1001_2^5 + 41758144934645187575115966315835618682102145\ 36588480354630546815192581473795726434577678818894752776366277/9415\ 1914783301368895563425811785692699794121218414078389734729911465372\ 9039971919687041748074338835712*c_1001_2^4 + 4125260724172873198478325600489113938340849987301821036041096888488\ 9519761745228906421100948391984550120017/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^3 - 527654364265243919817140192613148728330325\ 91907659773641897378951387637646899182430505840858371008114742893/4\ 8958995687316711825692981422128560203892943033575320762662059553961\ 993910078539823726170899865619457024*c_1001_2^2 - 2270406923252598151076220655624315403805206737345910853950017047009\ 714650709631629179815667426486143281151/611987446091458897821162267\ 7766070025486617879196915095332757444245249238759817477965771362483\ 202432128*c_1001_2 - 1005269986596774791392104591691576902544643775\ 586864034777366869779022346691218844508311421505429373440067/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048, c_0011_11 + 94957677718742435946995486106540520711606569272109660931846\ 1349250944646091703700182142435955229859/82284026365238171135618456\ 1716446389981394000564291105254824530318688973278630921407162536132\ 195284992*c_1001_2^29 + 4844876568259604803960233844677411585611457\ 6230163812565471316790658864732545098258896517013517059667/57598818\ 4556667197949329193201512472986975800395003773678377171223082281295\ 0416449850137752925366994944*c_1001_2^28 + 1588815068286201936248637156130451091990232373827371395177936308086\ 90697206185314019927197976610861211/5759881845566671979493291932015\ 1247298697580039500377367837717122308228129504164498501377529253669\ 94944*c_1001_2^27 + 36636687567567762932591316745947694648163043692\ 0914489687468720694964460354140522734029589294527266683/57598818455\ 6667197949329193201512472986975800395003773678377171223082281295041\ 6449850137752925366994944*c_1001_2^26 + 1411136328132151977327198688607029571460150266042975569628146677360\ 083677672871801620870325527936621015/575988184556667197949329193201\ 5124729869758003950037736783771712230822812950416449850137752925366\ 994944*c_1001_2^25 + 7127632905724235463741632988721924782844314904\ 92482267325702553216068691624032895261966504800573933131/8228402636\ 5238171135618456171644638998139400056429110525482453031868897327863\ 0921407162536132195284992*c_1001_2^24 + 2609941494156010228734958254962029085986096055436090780391790743419\ 321188772726612351345899110555875045/143997046139166799487332298300\ 3781182467439500987509434195942928057705703237604112462534438231341\ 748736*c_1001_2^23 + 1150529732937087974828361264777568688991061993\ 059389102562618863461814048527045718739350931319879132341/359992615\ 3479169987183307457509452956168598752468773585489857320144264258094\ 01028115633609557835437184*c_1001_2^22 + 2693679841689455044370541479578332149274233426664206285135357866082\ 0838655144390138204588627647092064385/28799409227833359897466459660\ 0756236493487900197501886839188585611541140647520822492506887646268\ 3497472*c_1001_2^21 + 167693305828104169816779039085731167722549874\ 66160018310828122972741553578721291807235131887010609673615/7199852\ 3069583399743666149150189059123371975049375471709797146402885285161\ 8802056231267219115670874368*c_1001_2^20 + 1265121918364516172456278515036001418680814793350911626077514777901\ 6238401010408615313526931557734277823/44306783427435938303794553323\ 1932671528442923380772133598751670171601754842339726911549057917335\ 922688*c_1001_2^19 + 2746642134125775121304471093976715472961945930\ 2429573088845966539989402658679587668903308127491463219025/57598818\ 4556667197949329193201512472986975800395003773678377171223082281295\ 0416449850137752925366994944*c_1001_2^18 - 2329812040680209272346890149859808461351751941905940525782113838872\ 7100750448996263093448514652766344865/82284026365238171135618456171\ 6446389981394000564291105254824530318688973278630921407162536132195\ 284992*c_1001_2^17 - 1518836265413518168129801451797497578506593177\ 3121554784716763104872454200361342358260943443557002467865/57598818\ 4556667197949329193201512472986975800395003773678377171223082281295\ 0416449850137752925366994944*c_1001_2^16 + 2596061194403992817219231744366649198467423519122691177768408435325\ 61602826024484703115628281152809139491/1439970461391667994873322983\ 0037811824674395009875094341959429280577057032376041124625344382313\ 41748736*c_1001_2^15 + 26399098929156404487757212054018485462233324\ 28343320272801504800784507085299134995166080137188422636586925/5759\ 8818455666719794932919320151247298697580039500377367837717122308228\ 12950416449850137752925366994944*c_1001_2^14 + 3264961257487166135651793117144526266222489694316911836034080599494\ 53939248047893894966739078552377304453/7199852306958339974366614915\ 0189059123371975049375471709797146402885285161880205623126721911567\ 0874368*c_1001_2^13 + 153013496811592348373382205566533042710178239\ 9162148054002124432121288627042980669620814138042617828751645/57598\ 8184556667197949329193201512472986975800395003773678377171223082281\ 2950416449850137752925366994944*c_1001_2^12 + 3505055185994078339379301028825352157662235994370201292940865720829\ 605743522414638986244130732567352153575/575988184556667197949329193\ 2015124729869758003950037736783771712230822812950416449850137752925\ 366994944*c_1001_2^11 + 1114033284182227523165595271573698552564394\ 992305168756535963092190623788241383860390748336259360905064473/143\ 9970461391667994873322983003781182467439500987509434195942928057705\ 703237604112462534438231341748736*c_1001_2^10 - 8549856231284423071359069688272381961060319796456241055639144272017\ 10098345770602464890831336759085618515/2879940922783335989746645966\ 0075623649348790019750188683918858561154114064752082249250688764626\ 83497472*c_1001_2^9 - 380410212267194003083971375047416313136517038\ 2218728107313819442132097853080132378787284650350771766785737/57598\ 8184556667197949329193201512472986975800395003773678377171223082281\ 2950416449850137752925366994944*c_1001_2^8 + 1517444785141068364928035398833055207728468722752271744972572761962\ 14810193712389409226875700691491366777/2057100659130954278390461404\ 2911159749534850014107277631370613257967224331965773035179063403304\ 8821248*c_1001_2^7 + 5825007934023546949639360365825508867588377143\ 9177556667371934677511756694707450010789161410122326288145/63295404\ 8963370547197065047474189530754918461972531619426788100245145364060\ 48532415935579702476560384*c_1001_2^6 - 3430111225486786521544933164600999096965432136508479011227696168778\ 8481938656675874751031552746913242069/63295404896337054719706504747\ 4189530754918461972531619426788100245145364060485324159355797024765\ 60384*c_1001_2^5 - 906968516544335350293476021741475223006177872843\ 13604035714875649723249957382397228923980505587139942475/1107669585\ 6858984575948638330798316788211073084519303339968791754290043871058\ 4931727887264479333980672*c_1001_2^4 - 2842214465420894178701448465686771197262365842464414537433404765460\ 87719873057020829034217648547875095761/5759881845566671979493291932\ 0151247298697580039500377367837717122308228129504164498501377529253\ 66994944*c_1001_2^3 + 144006794727598492535811539398013531301325710\ 553491874473548126599006190750100413900159131475773348468625/719985\ 2306958339974366614915018905912337197504937547170979714640288528516\ 18802056231267219115670874368*c_1001_2^2 + 1874895678292242386674414922114861566477572047330257625363424206825\ 29368848815615680681145847903017359303/2879940922783335989746645966\ 0075623649348790019750188683918858561154114064752082249250688764626\ 83497472*c_1001_2 + 73744164924510686905736478379847584736603528248\ 52722923530710581531788499753464697698874707740024856169/5759881845\ 5666719794932919320151247298697580039500377367837717122308228129504\ 16449850137752925366994944, c_0011_4 + 564608480315203618368027262241615808631870266155299862144132\ 24697476609491119836252604647666240043399/1398828448209048909305513\ 7549179588629683698009592948789332017015417712545736725663921763114\ 247319844864*c_1001_2^29 + 4186778239190704151067623486667708707161\ 32892325553498348856210786978356946801204100007197679799868345/1398\ 8284482090489093055137549179588629683698009592948789332017015417712\ 545736725663921763114247319844864*c_1001_2^28 + 1397360213334591830646437607587098799401944345749576409513126889458\ 082647203879482585978299725763999053/139882844820904890930551375491\ 7958862968369800959294878933201701541771254573672566392176311424731\ 9844864*c_1001_2^27 + 325247838257156174109520137202270223444307500\ 7467971993884801460778294308200680103806613546666158416453/13988284\ 4820904890930551375491795886296836980095929487893320170154177125457\ 36725663921763114247319844864*c_1001_2^26 + 1228643991678437173457999128210674833098948439714835557190619112679\ 5557980732775309939761191997566704557/13988284482090489093055137549\ 1795886296836980095929487893320170154177125457367256639217631142473\ 19844864*c_1001_2^25 + 43691281329924433086701364520063341107156483\ 052062975683426945878861489642708391670529233501835963756623/139882\ 8448209048909305513754917958862968369800959294878933201701541771254\ 5736725663921763114247319844864*c_1001_2^24 + 1164944246964076838567343461909012818203299876420808371532973534040\ 5210405004351376956289011165270515469/17485355602613111366318921936\ 4744857871046225119911859866650212692721406821709070799022038928091\ 4980608*c_1001_2^23 + 411486467292904607161121475052330422569532217\ 47947982532697948218635224052009970716175214480839500374601/3497071\ 1205226222732637843872948971574209245023982371973330042538544281364\ 34181415980440778561829961216*c_1001_2^22 + 2357983096603370592125393004395039753844433433210945880763280268118\ 47313307187458072325174045498103383921/6994142241045244546527568774\ 5897943148418490047964743946660085077088562728683628319608815571236\ 59922432*c_1001_2^21 + 29688914067870065275928267525501313358937227\ 5315532254096385390423132275129462005750841422309924377378599/34970\ 7112052262227326378438729489715742092450239823719733300425385442813\ 6434181415980440778561829961216*c_1001_2^20 + 1161070123243864822198878471710857493345868435230433117532389502791\ 77263679366324140308693939124443753593/1076021883237729930235010580\ 7061222022833613853533037530255397704167471189028250510709048549421\ 01526528*c_1001_2^19 + 33239823975358808743993630328039401787336485\ 6744478233993046634773685759924990841858650013155077759794471/13988\ 2844820904890930551375491795886296836980095929487893320170154177125\ 45736725663921763114247319844864*c_1001_2^18 - 1435918143773790497744077819186715505151951704012365430816927868941\ 067355725917212075361280640429845061533/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^17 - 291894596375804181603419009519031745365393\ 464199579093336787973631325809925733109599515105058044305756843/139\ 8828448209048909305513754917958862968369800959294878933201701541771\ 2545736725663921763114247319844864*c_1001_2^16 + 1112837609767626380313186705286746808731079846054770628918550420538\ 536797321130251242630001543172208641749/174853556026131113663189219\ 3647448578710462251199118598666502126927214068217090707990220389280\ 914980608*c_1001_2^15 + 2350534078548731973459840256537863139012679\ 8968206931420346755066944837052473867539898008116206038729113635/13\ 9882844820904890930551375491795886296836980095929487893320170154177\ 12545736725663921763114247319844864*c_1001_2^14 + 6086974624614619215775053559350552102921608964621338928565193544375\ 116509398688968992389658219496627987277/349707112052262227326378438\ 7294897157420924502398237197333004253854428136434181415980440778561\ 829961216*c_1001_2^13 + 1430640324550844199087936759676364693010702\ 2087697204866422249455558148979047625979934729491564985648946207/13\ 9882844820904890930551375491795886296836980095929487893320170154177\ 12545736725663921763114247319844864*c_1001_2^12 + 3027387058394175142089904453681501221127699976552132539014472840553\ 0767485823844577856778872608938980482073/13988284482090489093055137\ 5491795886296836980095929487893320170154177125457367256639217631142\ 47319844864*c_1001_2^11 + 51327541633004186600028224987668431576389\ 55619619663998046770301110096034570073880889587892110973891554087/1\ 7485355602613111366318921936474485787104622511991185986665021269272\ 14068217090707990220389280914980608*c_1001_2^10 - 6007180864999958646051508629930366194503159031448319748784352309720\ 761458204461741216463809524166611400449/699414224104524454652756877\ 4589794314841849004796474394666008507708856272868362831960881557123\ 659922432*c_1001_2^9 - 36400176446230406128207860548617888794870789\ 969799642840664366530999042175367024740733651849424516439124655/139\ 8828448209048909305513754917958862968369800959294878933201701541771\ 2545736725663921763114247319844864*c_1001_2^8 + 8528905553594078337794425791280902577539993447133530712352519029334\ 719209330033891435548025503240350770043/349707112052262227326378438\ 7294897157420924502398237197333004253854428136434181415980440778561\ 829961216*c_1001_2^7 + 39308507639133419194926270221930358977153434\ 39374901472426092686131112634721553087390335773338678384860653/1076\ 0218832377299302350105807061222022833613853533037530255397704167471\ 18902825051070904854942101526528*c_1001_2^6 - 1901524451004797072306429914949930694792776116539322958338385068145\ 361660064460259618688981234675273247521/107602188323772993023501058\ 0706122202283361385353303753025539770416747118902825051070904854942\ 101526528*c_1001_2^5 - 43467762071411662780682810678143195706853868\ 7038562847522483725626161876074191782706974424987574726324795/13450\ 2735404716241279376322588265275285420173169162969128192471302093389\ 862853131383863106867762690816*c_1001_2^4 - 4445284679390917822342817312916172653420848075879798344150357420898\ 532105249368953531478648034703325011655/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^3 + 2740726024918173936632416320556149313238534\ 961350143707529180402471036889507142617308965967957213247138611/349\ 7071120522622273263784387294897157420924502398237197333004253854428\ 136434181415980440778561829961216*c_1001_2^2 + 1907737393448490320564485690928249437397395045957464954964079912875\ 626453392304731612259916663806995845537/699414224104524454652756877\ 4589794314841849004796474394666008507708856272868362831960881557123\ 659922432*c_1001_2 + 1092040413650317809119040459841059177828218146\ 38148516643163623767117136292856175844984523888659488586959/1398828\ 4482090489093055137549179588629683698009592948789332017015417712545\ 736725663921763114247319844864, c_0011_6 + 851698780708437541583171217448339111910292354155301734229714\ 97973238205674124477930432731796857369787/1398828448209048909305513\ 7549179588629683698009592948789332017015417712545736725663921763114\ 247319844864*c_1001_2^29 + 4436184026361314917826809176313784416602\ 332905619886301019199887872198069452399225275265457994297490701/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^28 + 1484560457925837264543219182918892260125171686055086978475914312280\ 3773389738708649497802813530939439767/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^27 + 34582190814451676876203192997278485762822145\ 831373492002654817136401519096856280260046755299765885722589/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048*c_1001_2^26 + 1302336820699448040634500547750436685919629949635222981631091097374\ 29316009308247786707140269116261304459/9791799137463342365138596284\ 4257120407785886067150641525324119107923987820157079647452341799731\ 238914048*c_1001_2^25 + 6626614369411283948747926455463373682097201\ 9602469913478597282905137242417837131230279978628916316623273/13988\ 2844820904890930551375491795886296836980095929487893320170154177125\ 45736725663921763114247319844864*c_1001_2^24 + 2480065209827751232566599722640897396073941794963142492795325096265\ 40391934262545204572286738708303971701/2447949784365835591284649071\ 1064280101946471516787660381331029776980996955039269911863085449932\ 809728512*c_1001_2^23 + 2188320648710429692308349595058767579046321\ 97903728198128796813801714171718360255527416313319134633365547/1223\ 9748921829177956423245355532140050973235758393830190665514888490498\ 477519634955931542724966404864256*c_1001_2^22 + 2501588442584864531857741312068169066746973402025237143493442835732\ 586979780325781258374175344953744293261/489589956873167118256929814\ 2212856020389294303357532076266205955396199391007853982372617089986\ 5619457024*c_1001_2^21 + 315734610379817217979018061729287757830721\ 0388773997286098979167719510714532472980110662535534828474586641/24\ 4794978436583559128464907110642801019464715167876603813310297769809\ 96955039269911863085449932809728512*c_1001_2^20 + 1240049346871707333661320674111899662030143071435306582790390323981\ 528944991224476016858003799810595440683/753215318266410951164507406\ 4942855415983529697473126271178778392917229832319775357496333984594\ 710685696*c_1001_2^19 + 3622024381665564234176392856372123732165588\ 700049664962552654335039483649535159855945762522239156965716147/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^18 - 2183565962153458698349289159720544959533213349031109156615519447567\ 970748279998006569060484857344529763889/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^17 - 329398028217762114195658620905584371069732\ 2554277545393102881155072425725249199959569806388744141194781343/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^16 + 1178948844253716844852535309120121492383201280991860709062652371266\ 4759938545486444400899316917103520097515/12239748921829177956423245\ 3555321400509732357583938301906655148884904984775196349559315427249\ 66404864256*c_1001_2^15 + 25022222268046918942716007926313337974855\ 6647913545077839321564397859608693026595128684641064777746476224529\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^14 + 1301616029643506973894702662226279741495642366219957362942264793258\ 41357310910679120803452079776310625490399/4895899568731671182569298\ 1422128560203892943033575320762662059553961993910078539823726170899\ 865619457024*c_1001_2^13 + 1522159702125249204334217687305708292402\ 8519396753144273387773615452797781696895642007024752960762645148771\ 9/97917991374633423651385962844257120407785886067150641525324119107\ 923987820157079647452341799731238914048*c_1001_2^12 + 3210286724732766352315593538705832670841159156097204104518608827724\ 68191314579966905043638821749890143977207/9791799137463342365138596\ 2844257120407785886067150641525324119107923987820157079647452341799\ 731238914048*c_1001_2^11 + 2199715105340443256452984228709242893582\ 0100272591236529772515696955774961733282893609191844871925416153813\ 7/48958995687316711825692981422128560203892943033575320762662059553\ 961993910078539823726170899865619457024*c_1001_2^10 - 3127803757505926035482972528847765846105828016546283791788077644788\ 6745673513211527247814940356917297885917/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^9 - 391802326622476638886097035577666191329132\ 799397795378960273541603673363573338520847565494075910758192593319/\ 9791799137463342365138596284425712040778588606715064152532411910792\ 3987820157079647452341799731238914048*c_1001_2^8 + 3231112719913475768930218391124329967538088442461737768439836542878\ 918869037389500556230354796267356127655/874267780130655568315946096\ 8237242893552311255995592993332510634636070341085453539951101946404\ 57490304*c_1001_2^7 + 604104071727485175040790895180057174510233891\ 8058630024070966819741375787566476743230740999163782734412981/10760\ 2188323772993023501058070612220228336138535330375302553977041674711\ 8902825051070904854942101526528*c_1001_2^6 - 2890094667863808679325256040429330981138388714518915250568214068926\ 214628283123799350999325586164164454159/107602188323772993023501058\ 0706122202283361385353303753025539770416747118902825051070904854942\ 101526528*c_1001_2^5 - 93180316510392027408359695306042605280740898\ 69012528165892645561001820431056090712870485756969453786356793/1883\ 0382956660273779112685162357138539958824243682815677946945982293074\ 58079943839374083496148677671424*c_1001_2^4 - 4683729612965675612829557221027530067838823780124610450996426767485\ 5517331238508096976990296969518608865337/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^3 + 587163017034600612239173332188350022710581\ 60775429492128496331547386589863816815988383419281523501234836127/4\ 8958995687316711825692981422128560203892943033575320762662059553961\ 993910078539823726170899865619457024*c_1001_2^2 + 1262845258489705205027860273327574642023943798244123336232995219181\ 016791263020089434159273823678259753623/305993723045729448910581133\ 8883035012743308939598457547666378722122624619379908738982885681241\ 601216064*c_1001_2 + 1081657896963535345118596345215606730406640376\ 247296465788779784388476454415998940753770930961259902683843/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048, c_0101_0 + 572140524276434729776406950890225013105798186925634115905371\ 8347885400619718195137063934873218243597/17485355602613111366318921\ 9364744857871046225119911859866650212692721406821709070799022038928\ 0914980608*c_1001_2^29 + 150150656859545095366999438338298588530419\ 686183249244746389459692792063651254914555241210020024731903/611987\ 4460914588978211622677766070025486617879196915095332757444245249238\ 759817477965771362483202432128*c_1001_2^28 + 2530183995963067232840394962535354529614907203406219478227629919639\ 27209355016031386030008275851236889/3059937230457294489105811338883\ 0350127433089395984575476663787221226246193799087389828856812416012\ 16064*c_1001_2^27 + 23653561792989851311456722439882166018503386790\ 26884382921881575481053345780487086534993373537802781205/1223974892\ 1829177956423245355532140050973235758393830190665514888490498477519\ 634955931542724966404864256*c_1001_2^26 + 8837965040008600142623057513796028178056262028736365292006980940906\ 323710075715204633355939355918326501/122397489218291779564232453555\ 3214005097323575839383019066551488849049847751963495593154272496640\ 4864256*c_1001_2^25 + 563677555300164425170346821431393497013157574\ 694111408753875206484865582852689687232528947858726310407/218566945\ 0326638920789865242059310723388077813998898248333127658659017585271\ 36338498777548660114372576*c_1001_2^24 + 6800504603407233419454922664980823062846508345413039603620673993556\ 4531360756837900446417256570895838241/12239748921829177956423245355\ 5321400509732357583938301906655148884904984775196349559315427249664\ 04864256*c_1001_2^23 + 12000484130229477518834179043198922695922567\ 0509204910274356487690161596134503873647408878590763571703413/12239\ 7489218291779564232453555321400509732357583938301906655148884904984\ 77519634955931542724966404864256*c_1001_2^22 + 3402222822901996334351962406038629765843175250401163960331107098143\ 85761521565834756321010244845588681901/1223974892182917795642324535\ 5532140050973235758393830190665514888490498477519634955931542724966\ 404864256*c_1001_2^21 + 8629870794074588814009446411135092373274394\ 27391379524164251566919646094636830818395852512779032771991161/1223\ 9748921829177956423245355532140050973235758393830190665514888490498\ 477519634955931542724966404864256*c_1001_2^20 + 4292190459935440178221620318314455719335686943189313231836968945970\ 7649197947325388159410252245934077667/47075957391650684447781712905\ 8928463498970606092070391948673649557326864519985959843520874037169\ 417856*c_1001_2^19 + 2699063545331220291386402503117922733246418167\ 65555938787281951465708722664665089891014324467419529294321/1223974\ 8921829177956423245355532140050973235758393830190665514888490498477\ 519634955931542724966404864256*c_1001_2^18 - 1494660699746683400326216517525402555379972173072569763224537478381\ 38771126410115159510768874129675817795/1748535560261311136631892193\ 6474485787104622511991185986665021269272140682170907079902203892809\ 14980608*c_1001_2^17 - 13634571180650942580976058120027712201408856\ 0957847405271802291160764522136919491716057756550725277816399/61198\ 7446091458897821162267776607002548661787919691509533275744424524923\ 8759817477965771362483202432128*c_1001_2^16 + 6364546900926345685467330394933131364858021142395392541010682315795\ 834374952117688969615885981281478544987/122397489218291779564232453\ 5553214005097323575839383019066551488849049847751963495593154272496\ 6404864256*c_1001_2^15 + 107152800487511242296933635479194984042642\ 3747113526189484295901647449894735712613117996108589182031149485/76\ 4984307614323622276452834720758753185827234899614386916594680530656\ 154844977184745721420310400304016*c_1001_2^14 + 9060637427432226904571137633760727773667468443063061305135060001012\ 492065245627021696836021290401468581411/611987446091458897821162267\ 7766070025486617879196915095332757444245249238759817477965771362483\ 202432128*c_1001_2^13 + 5281450344421216836829446878252204988780605\ 919395864989507354222436121748464178259820985435563182997228509/611\ 9874460914588978211622677766070025486617879196915095332757444245249\ 238759817477965771362483202432128*c_1001_2^12 + 1084234587808856116222932764573462305936890902084031811103031925409\ 8115994374697591387073895643476267083595/61198744609145889782116226\ 7776607002548661787919691509533275744424524923875981747796577136248\ 3202432128*c_1001_2^11 + 152333557188082546003425267322881196607573\ 26208818878036794448006541088730422638984527385603175974033247371/6\ 1198744609145889782116226777660700254866178791969150953327574442452\ 49238759817477965771362483202432128*c_1001_2^10 - 7802911225997431191795828465655004855829906702800580755229751538806\ 644811363700977103931388671063512228779/122397489218291779564232453\ 5553214005097323575839383019066551488849049847751963495593154272496\ 6404864256*c_1001_2^9 - 2763837759298974965379975967985452959513546\ 6895299586297900937146729959951130974075430970968428857375374917/12\ 2397489218291779564232453555321400509732357583938301906655148884904\ 98477519634955931542724966404864256*c_1001_2^8 + 1694926569667173806827768467501071748584503682384233372971912795282\ 842094908330962161988471063437298846381/874267780130655568315946096\ 8237242893552311255995592993332510634636070341085453539951101946404\ 57490304*c_1001_2^7 + 425102068796893438731931384220360332529786801\ 688023252029606229093115785238761980465804568499284688369459/134502\ 7354047162412793763225882652752854201731691629691281924713020933898\ 62853131383863106867762690816*c_1001_2^6 - 4727509800398680045933027312253400460796646156900353360221962477185\ 7711844356024452897217358846931767541/33625683851179060319844080647\ 0663188213550432922907422820481178255233474657132828459657767169406\ 72704*c_1001_2^5 - 262624128202998494165073810958030738839417926275\ 3245771991761872328500530439857193297698842295787569313327/94151914\ 7833013688955634258117856926997941212184140783897347299114653729039\ 971919687041748074338835712*c_1001_2^4 - 1912686126919647226942419358377717440918677870649186435871898031524\ 973984274212183855108272381455569626845/611987446091458897821162267\ 7766070025486617879196915095332757444245249238759817477965771362483\ 202432128*c_1001_2^3 + 41457101194127844226858001622314972621399779\ 31403004106097709635861734289552141185327222632830116347641983/6119\ 8744609145889782116226777660700254866178791969150953327574442452492\ 38759817477965771362483202432128*c_1001_2^2 + 2954596735299828079810783544138400271606715169039273278986412323481\ 180736271274170105005509773440898614889/122397489218291779564232453\ 5553214005097323575839383019066551488849049847751963495593154272496\ 6404864256*c_1001_2 + 828912701861539365269780628928196630353760870\ 30443343787155068893371547319303901067574715744196921768717/1223974\ 8921829177956423245355532140050973235758393830190665514888490498477\ 519634955931542724966404864256, c_0101_1 + 621401573610826370925965092080484655407644479023525341486966\ 57201033158196255610590650753815662507547/1398828448209048909305513\ 7549179588629683698009592948789332017015417712545736725663921763114\ 247319844864*c_1001_2^29 + 3208856844587802306475121480271188442140\ 757666983785371287729854157445314954268048821869460170271113015/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^28 + 1065160681076544855835881791317239435719214559888674073103709493252\ 5113735382032722380064641883157227875/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^27 + 24712092135516288461396956393956556642311797\ 674411058880065438434475601535639039870893225010073801610631/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048*c_1001_2^26 + 9390046948048827868993826088975089136951563431729216595321925085605\ 3409567057761383596079590416890993175/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^25 + 47631877416451983211770381048998522227174610\ 688776348696615987511384726601602185984482359350725869182807/139882\ 8448209048909305513754917958862968369800959294878933201701541771254\ 5736725663921763114247319844864*c_1001_2^24 + 1767435562813957624133314875939741757703775272305210565091689492136\ 11158466530607655325448922150032194015/2447949784365835591284649071\ 1064280101946471516787660381331029776980996955039269911863085449932\ 809728512*c_1001_2^23 + 1558842806934929077745163386803848382181794\ 26063561855353630124299491176801189590166333986055425461710971/1223\ 9748921829177956423245355532140050973235758393830190665514888490498\ 477519634955931542724966404864256*c_1001_2^22 + 1798568929373270861810669536032469109724814161903234343742388564708\ 344480250265135618007567412079289216805/489589956873167118256929814\ 2212856020389294303357532076266205955396199391007853982372617089986\ 5619457024*c_1001_2^21 + 112892665597391344958386560296432188799346\ 7813868590493263274523910457075146342278173957897028585803044075/12\ 2397489218291779564232453555321400509732357583938301906655148884904\ 98477519634955931542724966404864256*c_1001_2^20 + 8729241668168800988506920508521871201595583914984549608606300629267\ 28131964387327991014717098969211344647/7532153182664109511645074064\ 9428554159835296974731262711787783929172298323197753574963339845947\ 10685696*c_1001_2^19 + 22824368961483709709121101971625116463945456\ 51264218381026266243679913376505156939569193472931369711111853/9791\ 7991374633423651385962844257120407785886067150641525324119107923987\ 820157079647452341799731238914048*c_1001_2^18 - 1570299940922985384913414135083775918463602088973799878625355117015\ 042535750904232549024590401150426296025/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^17 - 185889303524913445053568029668228293562190\ 2749524869634320650607672139508253599887401033581844013358473237/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^16 + 1711300519010091317027293077249558275926594502485728606713853472758\ 7201015161537976213383618452286534982843/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^15 + 17854226371896812728497787458198974265942\ 9002275374206701013240088080534388948164160605589073413198443528885\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^14 + 4553501089752696521238478162021569589067379083821496826672737769283\ 9726112430498141963992262155350090752361/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^13 + 10625466692934759446734192781993629949160\ 7725563438861389271294551021616113711359028520853779097186290111681\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^12 + 2314162001237390955745756329382664063783250274344039368176315293261\ 17905019367922518848342719621589399411927/9791799137463342365138596\ 2844257120407785886067150641525324119107923987820157079647452341799\ 731238914048*c_1001_2^11 + 1928825277397041856662653938723859448049\ 9489888891489193886874267820771022039758110493424389020208025401511\ /611987446091458897821162267776607002548661787919691509533275744424\ 5249238759817477965771362483202432128*c_1001_2^10 - 4997240925808543649103699711867588500268972627379744096404737764155\ 6917780228414602042704389239128609942941/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2^9 - 272332319387450004034810954053591277305971\ 426898591006636602517993097040500942036395258027189162916550288781/\ 9791799137463342365138596284425712040778588606715064152532411910792\ 3987820157079647452341799731238914048*c_1001_2^8 + 9607867971472222296892942091888225808064817392237344979182673150902\ 170918320128629865087990527045832152935/349707112052262227326378438\ 7294897157420924502398237197333004253854428136434181415980440778561\ 829961216*c_1001_2^7 + 41782652716969964425934989679661680706579016\ 22002162560458283814435773344232043650965760713110436436652801/1076\ 0218832377299302350105807061222022833613853533037530255397704167471\ 18902825051070904854942101526528*c_1001_2^6 - 2170103127206614385239140895326739572646265472282183950101046041463\ 486859537454801525578614434382896079321/107602188323772993023501058\ 0706122202283361385353303753025539770416747118902825051070904854942\ 101526528*c_1001_2^5 - 64790831389595216693607230141354349582340893\ 53038687185404745006602757880406687269291935205490858124721197/1883\ 0382956660273779112685162357138539958824243682815677946945982293074\ 58079943839374083496148677671424*c_1001_2^4 - 2751399569951856202225441405738401224267875741171569872675959415985\ 1322519821015475495429295662271151980929/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^3 + 205266052091577739662053375253260667068187\ 52851651357386566608056988737774373839796780240659172937852909773/2\ 4479497843658355912846490711064280101946471516787660381331029776980\ 996955039269911863085449932809728512*c_1001_2^2 + 1377623122610900921297717019973707292577162662030076689438112090194\ 6237541106296655528185624815088196035173/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2 + 68275064334343877818289578565365756120429097\ 2600304942503820541123639605315180652709971517893928090262101/97917\ 9913746334236513859628442571204077858860671506415253241191079239878\ 20157079647452341799731238914048, c_0101_10 + 23571363258013103296851292033131371722893103089056478081405\ 886427981028425027714359010097853216255141/139882844820904890930551\ 3754917958862968369800959294878933201701541771254573672566392176311\ 4247319844864*c_1001_2^29 + 124794128025492426111970261471345905455\ 0097689068778576086635326831244835169549394886983728364329334379/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^28 + 4238284539884709916038756813639321166261318486344210289371439935286\ 397963813856493766108349699810547381/979179913746334236513859628442\ 5712040778588606715064152532411910792398782015707964745234179973123\ 8914048*c_1001_2^27 + 994525034413370927862655025253223265936254775\ 8434691838968629127111994685093024856663117866318830933735/97917991\ 3746334236513859628442571204077858860671506415253241191079239878201\ 57079647452341799731238914048*c_1001_2^26 + 3685675096319718785506478125081895306067135517002688826952275618522\ 1114524942284791581625335191314512293/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^25 + 18861334691870741885130094588202671415200758\ 166570674516510842594662073701772731095335480184075459718327/139882\ 8448209048909305513754917958862968369800959294878933201701541771254\ 5736725663921763114247319844864*c_1001_2^24 + 1791841762074449768740093738645837622730552227930125953177621602940\ 1666193388604415557745206589137000643/61198744609145889782116226777\ 6607002548661787919691509533275744424524923875981747796577136248320\ 2432128*c_1001_2^23 + 126606307106323633680372695966899004718730338\ 936084273965266305368128222945512055088998535379948940481549/244794\ 9784365835591284649071106428010194647151678766038133102977698099695\ 5039269911863085449932809728512*c_1001_2^22 + 7119548261156701383865772899119307772809025086026884965592747006178\ 47928496709273308248472688592658783941/4895899568731671182569298142\ 2128560203892943033575320762662059553961993910078539823726170899865\ 619457024*c_1001_2^21 + 4536211188445670838684138921537029970279188\ 42692594294514447400960339549693879564790679019873168727641769/1223\ 9748921829177956423245355532140050973235758393830190665514888490498\ 477519634955931542724966404864256*c_1001_2^20 + 3662233026316825098935308671083118402031750049934604561927572897467\ 62253911768084084619090132695167352417/7532153182664109511645074064\ 9428554159835296974731262711787783929172298323197753574963339845947\ 10685696*c_1001_2^19 + 12693495170463886171041852458777836773570583\ 50881372360545818836517883181147964563376292116853691011728737/9791\ 7991374633423651385962844257120407785886067150641525324119107923987\ 820157079647452341799731238914048*c_1001_2^18 - 6174250591036190515538952283486783885146795754569721974912792570034\ 92146543208107807207612462729071537727/1398828448209048909305513754\ 9179588629683698009592948789332017015417712545736725663921763114247\ 319844864*c_1001_2^17 - 1278767246018458509110227675853875416085292\ 270726868767494390449211854556300898363222226180012265764350409/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^16 + 6591686410355766410180433812987559938020497224092140833506075242289\ 710948196469939137823310479750767631101/244794978436583559128464907\ 1106428010194647151678766038133102977698099695503926991186308544993\ 2809728512*c_1001_2^15 + 721272668283541070796946793081477278535603\ 29353721070208427149925399528953185648638874640010430372038275803/9\ 7917991374633423651385962844257120407785886067150641525324119107923\ 987820157079647452341799731238914048*c_1001_2^14 + 3881997671314022991805233420449383728135288051194856231592449738549\ 6260799796198824209296650322519590912315/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2^13 + 45760978745678768096741416372061914858533\ 896260196932156156174300356691959982485237127028303979847024683017/\ 9791799137463342365138596284425712040778588606715064152532411910792\ 3987820157079647452341799731238914048*c_1001_2^12 + 9134062018952614863333098309630467911300937089894832876601981304731\ 8746431337745606740250910091486056826845/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^11 + 65454399127002601398182868941126201733767\ 283193581707253124522620229174755332183353808109880650489284447161/\ 4895899568731671182569298142212856020389294303357532076266205955396\ 1993910078539823726170899865619457024*c_1001_2^10 - 7062688613475835934321900696130454396599241735320625879042767651523\ 293820911130708700077863620547894046183/244794978436583559128464907\ 1106428010194647151678766038133102977698099695503926991186308544993\ 2809728512*c_1001_2^9 - 1172095935553513481731168491982545468161578\ 75966097106573633634798326443446753657171914479562902281932027885/9\ 7917991374633423651385962844257120407785886067150641525324119107923\ 987820157079647452341799731238914048*c_1001_2^8 + 1736538842633647170732114117857426005541300510543061964982697615597\ 055515433230141275475887461381903734077/174853556026131113663189219\ 3647448578710462251199118598666502126927214068217090707990220389280\ 914980608*c_1001_2^7 + 18287988543747835462238907483605664869331620\ 43338654564885129730679634141688615067859921729162211606089499/1076\ 0218832377299302350105807061222022833613853533037530255397704167471\ 18902825051070904854942101526528*c_1001_2^6 - 7554506767014796931986343457169629778054855439586196470514865365517\ 32086603132501714553157646330488599361/1076021883237729930235010580\ 7061222022833613853533037530255397704167471189028250510709048549421\ 01526528*c_1001_2^5 - 139270480236303835371589619225487529285345903\ 4751430299435780199243649151533216807340434453361415251289663/94151\ 9147833013688955634258117856926997941212184140783897347299114653729\ 039971919687041748074338835712*c_1001_2^4 - 1771313793543069779015902816641617335176168995442251480354245481874\ 1273957569688197012470456529870213310011/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^3 + 172478997406963606390265728939584724033737\ 07739509313306393198032080294589847733585022818973412015899197935/4\ 8958995687316711825692981422128560203892943033575320762662059553961\ 993910078539823726170899865619457024*c_1001_2^2 + 1560165449261606078865535011825135968225733116931777236375374663585\ 427675975010145716338228980702871309457/122397489218291779564232453\ 5553214005097323575839383019066551488849049847751963495593154272496\ 6404864256*c_1001_2 + 402520081870147440111173488193045630118594359\ 846037264953067507325620823122606665813188238777896094767441/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048, c_0101_2 - 917080331430389232123481387261765685329899567343901744121928\ 31633257188855453917533652766927339730231/1398828448209048909305513\ 7549179588629683698009592948789332017015417712545736725663921763114\ 247319844864*c_1001_2^29 - 4758626210246041946318685676235264895125\ 829307213372861604106098445247887469239112630659027506671658215/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^28 - 1586987280118276730736881579839829685560337482437950826082766888925\ 7391275766237089723060140016166081023/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^27 - 36903994927851897078553809886860490577983874\ 505262522957910500216090506490123445602032324265940900601903/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048*c_1001_2^26 - 1395021020797613032940775580570504292539258215728583088037178711644\ 51744150508486240629534412290641042507/9791799137463342365138596284\ 4257120407785886067150641525324119107923987820157079647452341799731\ 238914048*c_1001_2^25 - 7088459515249104265863697383828976163470847\ 9187959854512715359573723736811718658530564481949988582144879/13988\ 2844820904890930551375491795886296836980095929487893320170154177125\ 45736725663921763114247319844864*c_1001_2^24 - 2643397053751809496105089216342995007909618518888241580882315499714\ 14496957748181361260015337383176258409/2447949784365835591284649071\ 1064280101946471516787660381331029776980996955039269911863085449932\ 809728512*c_1001_2^23 - 5829525281940491207949856720160868753774160\ 0413510973794663237163915768812474795393210030395417624016299/30599\ 3723045729448910581133888303501274330893959845754766637872212262461\ 9379908738982885681241601216064*c_1001_2^22 - 2675820434201530876975018738060808698135486432133812513051338859566\ 640252371231712995707476001706675851141/489589956873167118256929814\ 2212856020389294303357532076266205955396199391007853982372617089986\ 5619457024*c_1001_2^21 - 168481148437986141445457415853222952441607\ 1974572994066508034435839352967895413404724298369293212297432015/12\ 2397489218291779564232453555321400509732357583938301906655148884904\ 98477519634955931542724966404864256*c_1001_2^20 - 1314675592046597199617131805907426828279451623565044071337528990320\ 347490491070451073204667790985719367299/753215318266410951164507406\ 4942855415983529697473126271178778392917229832319775357496333984594\ 710685696*c_1001_2^19 - 3656862531578916002616258558929235444869117\ 820043210148373426782357986136306761037377433762453028150582205/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^18 + 2342249939064005847561515965981163149782175304180995428014507947670\ 078787348395458951434221213108142950877/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^17 + 324485572488919164936080832155087935396445\ 2601796324920532241896967593269870026607112113826442511736269845/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^16 - 2532714072075410864138223501622685295780102487898493919785385954746\ 9055026352594475536426037830611752983179/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^15 - 26688332156462302469249366493875644353627\ 8547080347225712201248349411321223220188984164644091207366593595673\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^14 - 3441992839638170933406085154736164989276034327720696155206790064541\ 4456959631020609742141104817873436086681/12239748921829177956423245\ 3555321400509732357583938301906655148884904984775196349559315427249\ 66404864256*c_1001_2^13 - 16054654185857334452711737507390815519622\ 9355151988027294708943177925885689555399261197684186211163466127081\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^12 - 3430721141744934561894796466265636688756545597827104839750810016422\ 22599023737815147892117802836689878686155/9791799137463342365138596\ 2844257120407785886067150641525324119107923987820157079647452341799\ 731238914048*c_1001_2^11 - 1163264713271492179481158406630169744237\ 1084409546821383300242652021933181472326771464518594855840341865105\ 3/24479497843658355912846490711064280101946471516787660381331029776\ 980996955039269911863085449932809728512*c_1001_2^10 + 7030788581895488810006294418387593216822888096193226784918136485017\ 5922856585251818685364148350310772855831/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2^9 + 414882448975448689595500562130429159163799\ 421261146960261094117437668089503525297480929749508343312850121605/\ 9791799137463342365138596284425712040778588606715064152532411910792\ 3987820157079647452341799731238914048*c_1001_2^8 - 1398516290181960992905220132943559734529859875687547971808917643768\ 6851026292541406807016522282004468611089/34970711205226222732637843\ 8729489715742092450239823719733300425385442813643418141598044077856\ 1829961216*c_1001_2^7 - 6367765069920994585293506743532237644801352\ 166263723491695345746379585743657798942202227664836288450311357/107\ 6021883237729930235010580706122202283361385353303753025539770416747\ 118902825051070904854942101526528*c_1001_2^6 + 3152691073103096404069181984987813064237716919397174779163379071481\ 999851238702476577894383847378355531825/107602188323772993023501058\ 0706122202283361385353303753025539770416747118902825051070904854942\ 101526528*c_1001_2^5 + 98634045062383294467153657204914972381834679\ 46742418232437953819429206893716636330952729461828739814724519/1883\ 0382956660273779112685162357138539958824243682815677946945982293074\ 58079943839374083496148677671424*c_1001_2^4 + 4659961947276223831171822237993727358839973921207835099710624432797\ 3234652614063837311072529876906770729309/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^3 - 155929063032937959434749285707896704434203\ 95121923695854808512480177784740016720982878730969902414758893167/1\ 2239748921829177956423245355532140050973235758393830190665514888490\ 498477519634955931542724966404864256*c_1001_2^2 - 2135187549444980559586887338047868025669267486874602600891834205531\ 2917088024647055997707365784398307975843/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2 - 11678558593758455556536176718033993396354347\ 41051782270659895348604037982881699212864054075888449812257653/9791\ 7991374633423651385962844257120407785886067150641525324119107923987\ 820157079647452341799731238914048, c_0101_8 + 124351441817260203038984691741402961371344683322749862111041\ 848378160807587803312005125368457109862929/139882844820904890930551\ 3754917958862968369800959294878933201701541771254573672566392176311\ 4247319844864*c_1001_2^29 + 641003433280609634407587613163459117439\ 0712257125011039602957598078943704007129734947562176575715455637/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^28 + 2124822433633541419575706647755127865934197834856116447944876417331\ 6194029370775688277125533490133504529/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^27 + 49272861225155610283433971878588619738564299\ 785156333207051212587509334721279316271290094861679273006381/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048*c_1001_2^26 + 1875219435720276834963164486994588349473135107159614003966347886745\ 04433613448652514827004756745274414949/9791799137463342365138596284\ 4257120407785886067150641525324119107923987820157079647452341799731\ 238914048*c_1001_2^25 + 9504428059209108880529366871656804108851026\ 4337680487476856264536052501801773286510190724013061953758949/13988\ 2844820904890930551375491795886296836980095929487893320170154177125\ 45736725663921763114247319844864*c_1001_2^24 + 3521891237618921248818277389787878559663490903163845271932964123700\ 08283507799216737725291802654524790267/2447949784365835591284649071\ 1064280101946471516787660381331029776980996955039269911863085449932\ 809728512*c_1001_2^23 + 1553555937645852020867297490557977770378946\ 18769314425058696511059579002029163445482576864921739162114795/6119\ 8744609145889782116226777660700254866178791969150953327574442452492\ 38759817477965771362483202432128*c_1001_2^22 + 3589683442854236392897907216713344151720611577146994828391322676928\ 147585379739213021010124168105239188395/489589956873167118256929814\ 2212856020389294303357532076266205955396199391007853982372617089986\ 5619457024*c_1001_2^21 + 112523535866688507925924419164016485971989\ 8155499991020849201277982377798394422893558445095024042154311959/61\ 1987446091458897821162267776607002548661787919691509533275744424524\ 9238759817477965771362483202432128*c_1001_2^20 + 1736024219637376935302480217602097655905168060919167170884770975705\ 555916624033522830402640993828312638525/753215318266410951164507406\ 4942855415983529697473126271178778392917229832319775357496333984594\ 710685696*c_1001_2^19 + 4465748780070478673575660376324154345046828\ 638502568186403041815514915149164899146478395234014475134660735/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^18 - 3134982919746537744559084471104814330158126599444232902055947599788\ 771667447469815467197212019886194258091/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^17 - 359770639663393904056260517940841546411278\ 9963581123250794984188733972007590543137997814079318392932056847/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^16 + 3418812204082743403995472951115382122632831816625473451927019313472\ 3122952140988332875927456876310991174027/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^15 + 35581382547232577566394297806588189199436\ 9708262340434225390233393702251644193669263424418560853072845020615\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^14 + 9051254591275984438432729668692294994414421146836399269608384235991\ 5384694823771327945581494493379916550761/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^13 + 21140689713998322861905137895189111266101\ 7974842978918021443549632869079263112692149668456520464358541801027\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^12 + 4614026275790720317836516731198497458080875399279979895788395961356\ 63021720875096724846115626666783499479837/9791799137463342365138596\ 2844257120407785886067150641525324119107923987820157079647452341799\ 731238914048*c_1001_2^11 + 7655009779809667241703840468248795487539\ 8386575284993198409969291712101761144431463217522336178868462443637\ /122397489218291779564232453555321400509732357583938301906655148884\ 90498477519634955931542724966404864256*c_1001_2^10 - 1009566279260221151593647156378912886336898627263906632380700615890\ 15917496058499507380024826188601321051863/4895899568731671182569298\ 1422128560203892943033575320762662059553961993910078539823726170899\ 865619457024*c_1001_2^9 - 54093398813573403408438603747443940746483\ 8004333695303133459131883112803358531818508571386565878155935810655\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^8 + 1915557408483375717355862579857467089602141203718919482095644159085\ 3185343886728025845714557782221181970953/34970711205226222732637843\ 8729489715742092450239823719733300425385442813643418141598044077856\ 1829961216*c_1001_2^7 + 8285968596358441468333039205382238295361988\ 034236443577053876298248218864519992366180825645137676999184803/107\ 6021883237729930235010580706122202283361385353303753025539770416747\ 118902825051070904854942101526528*c_1001_2^6 - 4331623877194024083301493654574216631224486055328221896241648102746\ 920287868895281626099385890315374143499/107602188323772993023501058\ 0706122202283361385353303753025539770416747118902825051070904854942\ 101526528*c_1001_2^5 - 12890314488750985813974820773179683144820462\ 722178300267287678912443964689034356232652562781809750060321833/188\ 3038295666027377911268516235713853995882424368281567794694598229307\ 458079943839374083496148677671424*c_1001_2^4 - 5512235460571625396059926911537043724387329695399766015185487676748\ 1906021521684524144130434176453751721755/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^3 + 409045252354403342359380131790695717620456\ 83108621939521859969138319881910900841683858310211672318130467297/2\ 4479497843658355912846490711064280101946471516787660381331029776980\ 996955039269911863085449932809728512*c_1001_2^2 + 2765255628332761902347042569823722021954196393178379008317131673965\ 3701354263477514626334603082989712057239/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2 + 15434579558840430902579765258935057045618472\ 62345810413746483752257252779704626552247286598664535371485943/9791\ 7991374633423651385962844257120407785886067150641525324119107923987\ 820157079647452341799731238914048, c_0110_2 + 808682843499136537707753620267925713855491270438134562185180\ 06867771960032070906437532429456566483835/1398828448209048909305513\ 7549179588629683698009592948789332017015417712545736725663921763114\ 247319844864*c_1001_2^29 + 4197333714184665080862590753109268084078\ 990547772052273366366509524969593539952693896879018919805894235/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^28 + 1400938730250840081590096106459640733673382786592661421622265093730\ 3758715388466067491000635565282178055/97917991374633423651385962844\ 2571204077858860671506415253241191079239878201570796474523417997312\ 38914048*c_1001_2^27 + 32614580038692061427557931184617901920580236\ 054257963297330807390160581544141861357523235622104267975607/979179\ 9137463342365138596284425712040778588606715064152532411910792398782\ 0157079647452341799731238914048*c_1001_2^26 + 1232090783984579078234913013145912792963029558261295791210525285575\ 39725373798064981304308818650797474463/9791799137463342365138596284\ 4257120407785886067150641525324119107923987820157079647452341799731\ 238914048*c_1001_2^25 + 6258312967740742343311074474266741472101962\ 8137698739453923538916633286675509700048506902952456359719051/13988\ 2844820904890930551375491795886296836980095929487893320170154177125\ 45736725663921763114247319844864*c_1001_2^24 + 5840836437609736952253210595443624816089816911650505132666356670382\ 4225018935046992172388681479338474149/61198744609145889782116226777\ 6607002548661787919691509533275744424524923875981747796577136248320\ 2432128*c_1001_2^23 + 412771438233413067861092311333692592410154225\ 972149535083516140789618445818992903768270837146496954519053/244794\ 9784365835591284649071106428010194647151678766038133102977698099695\ 5039269911863085449932809728512*c_1001_2^22 + 2365131939822473531386699687881051988161645022304821433784517492742\ 657459455144524791277820022282144967279/489589956873167118256929814\ 2212856020389294303357532076266205955396199391007853982372617089986\ 5619457024*c_1001_2^21 + 297731657436893683614365867459599323188550\ 3361824766260059493897599340632707221048877940263093698977349575/24\ 4794978436583559128464907110642801019464715167876603813310297769809\ 96955039269911863085449932809728512*c_1001_2^20 + 1164793460820003008689075202099847186009850965929259098131069222200\ 098330535429396885132440835516059579579/753215318266410951164507406\ 4942855415983529697473126271178778392917229832319775357496333984594\ 710685696*c_1001_2^19 + 3362469686559979562518453285989305415357744\ 430978187828111941759477936662541581248683633542883157296615709/979\ 1799137463342365138596284425712040778588606715064152532411910792398\ 7820157079647452341799731238914048*c_1001_2^18 - 2049693019327549449722729275759068477890011873059444213098068965481\ 812143854375393195944402195122075388377/139882844820904890930551375\ 4917958862968369800959294878933201701541771254573672566392176311424\ 7319844864*c_1001_2^17 - 289607760589223458849134824974878562908070\ 1704490446963960494829023720202805076380176802906879446675621137/97\ 9179913746334236513859628442571204077858860671506415253241191079239\ 87820157079647452341799731238914048*c_1001_2^16 + 2788714846388685464362260317691061343079448654872433987066523825802\ 984816950329722143611516705380222112389/305993723045729448910581133\ 8883035012743308939598457547666378722122624619379908738982885681241\ 601216064*c_1001_2^15 + 2356251463578369515117144539091600334895827\ 31870096671895766382602900388225546802347590891959821974638659097/9\ 7917991374633423651385962844257120407785886067150641525324119107923\ 987820157079647452341799731238914048*c_1001_2^14 + 6106371557317422534046636501490661646847683769139646860500514930401\ 9907730018308430824115419981009399205635/24479497843658355912846490\ 7110642801019464715167876603813310297769809969550392699118630854499\ 32809728512*c_1001_2^13 + 14400652687357153086039344039240069750630\ 7611435271119344480116018576160033970134928503479541450046791204125\ /979179913746334236513859628442571204077858860671506415253241191079\ 23987820157079647452341799731238914048*c_1001_2^12 + 3042485480915794917618214711595636821537922515438952652949850552084\ 28268571708963967861891887918655184595339/9791799137463342365138596\ 2844257120407785886067150641525324119107923987820157079647452341799\ 731238914048*c_1001_2^11 + 5152728821881717936449566514806704577548\ 2116968886950208215800993416491291150287267307598121708025409804543\ /122397489218291779564232453555321400509732357583938301906655148884\ 90498477519634955931542724966404864256*c_1001_2^10 - 5968698062720650358249992574785703445857243876013636864522583189156\ 8937406555417027198235059523642130535279/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2^9 - 363340813103790939482929728373915462851596\ 369534898215403254472113552438778437806621707921168875038365307733/\ 9791799137463342365138596284425712040778588606715064152532411910792\ 3987820157079647452341799731238914048*c_1001_2^8 + 1222418024855454603433008247167956877168051176000745010752374082894\ 2760602581281606755541819077837894000819/34970711205226222732637843\ 8729489715742092450239823719733300425385442813643418141598044077856\ 1829961216*c_1001_2^7 + 5624864394016026060750285550850897746831094\ 227852370624391341072652122973185884051169076742222574060590345/107\ 6021883237729930235010580706122202283361385353303753025539770416747\ 118902825051070904854942101526528*c_1001_2^6 - 2710975665829100366295923141377468336575868166132266859891119265878\ 299031899669152655848642285026353581989/107602188323772993023501058\ 0706122202283361385353303753025539770416747118902825051070904854942\ 101526528*c_1001_2^5 - 21727328221770990887269029701901361803403700\ 28197810225574040746877974239923640861454442444702167438937965/4707\ 5957391650684447781712905892846349897060609207039194867364955732686\ 4519985959843520874037169417856*c_1001_2^4 - 4482129414135034172263042053295547635532912309448208434227478928043\ 2504466062047371757125335182097579675221/97917991374633423651385962\ 8442571204077858860671506415253241191079239878201570796474523417997\ 31238914048*c_1001_2^3 + 273663519819308004956574957479081631819481\ 32205337595524897306526433459940032550516343520166550211972311677/2\ 4479497843658355912846490711064280101946471516787660381331029776980\ 996955039269911863085449932809728512*c_1001_2^2 + 1903475584312938318104197584069478396493014112578190691703117997076\ 9434333978936551410947692576595859581479/48958995687316711825692981\ 4221285602038929430335753207626620595539619939100785398237261708998\ 65619457024*c_1001_2 + 10649264924287916262942964103128537721444364\ 39162144110133302119191469653265372995308557290695511394669397/9791\ 7991374633423651385962844257120407785886067150641525324119107923987\ 820157079647452341799731238914048, c_1001_2^30 + 52/7*c_1001_2^29 + 174/7*c_1001_2^28 + 58*c_1001_2^27 + 1530/7*c_1001_2^26 + 5440/7*c_1001_2^25 + 11639/7*c_1001_2^24 + 20604/7*c_1001_2^23 + 58822/7*c_1001_2^22 + 148150/7*c_1001_2^21 + 189561/7*c_1001_2^20 + 44816/7*c_1001_2^19 - 176406/7*c_1001_2^18 - 38900/7*c_1001_2^17 + 1101717/7*c_1001_2^16 + 2929475/7*c_1001_2^15 + 3067683/7*c_1001_2^14 + 1835367/7*c_1001_2^13 + 3791672/7*c_1001_2^12 + 5147405/7*c_1001_2^11 - 1390038/7*c_1001_2^10 - 4504445/7*c_1001_2^9 + 4134453/7*c_1001_2^8 + 910011*c_1001_2^7 - 417664*c_1001_2^6 - 5622357/7*c_1001_2^5 - 673055/7*c_1001_2^4 + 1329649/7*c_1001_2^3 + 501890/7*c_1001_2^2 + 26549/7*c_1001_2 + 383/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.880 Total time: 2.089 seconds, Total memory usage: 64.12MB