{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","ready":true,"parity":{"LEAN":{"n":512,"mean_diff":2.3856583819537036e-08,"mean_abs_diff":2.467403068528995e-07,"max_abs_diff":4.991815103494446e-07,"within_1e-6":512,"within_1e-4":512,"worst5":[{"seed":10010819,"yours":562.5080615008185,"engine":562.508062,"diff":-4.991815103494446e-07},{"seed":10011013,"yours":521.6151534991393,"engine":521.615153,"diff":4.991393325326499e-07},{"seed":10010840,"yours":434.1645114986087,"engine":434.164511,"diff":4.986086992175842e-07},{"seed":10010665,"yours":415.9616344978349,"engine":415.961634,"diff":4.97834889756632e-07},{"seed":10010868,"yours":419.2160744970788,"engine":419.216074,"diff":4.970788154423644e-07}]},"QLX5":{"n":512,"mean_diff":-1.7222758774693148e-09,"mean_abs_diff":2.5279466320249355e-07,"max_abs_diff":4.994752202946984e-07,"within_1e-6":512,"within_1e-4":512,"worst5":[{"seed":10010679,"yours":430.2326974994752,"engine":430.232697,"diff":4.994752202946984e-07},{"seed":10010731,"yours":513.7523605005905,"engine":513.752361,"diff":-4.994094524590764e-07},{"seed":10010628,"yours":424.7176514989878,"engine":424.717651,"diff":4.989877879779669e-07},{"seed":10010588,"yours":482.5394355012557,"engine":482.539436,"diff":-4.987443276149861e-07},{"seed":10010911,"yours":499.16124850178534,"engine":499.161249,"diff":-4.982146606380411e-07}]}},"qlx5_minus_lean":{"yours":0.035185415827387545,"engine_reported":0.035185,"engine_rounded_rows":0.03518544140624724},"split_hit_rate":{"tries":3655997,"hits":3256738,"rate":0.8907934005416306,"policy":"QLX5","definition":"Qualified inferred-retail callbacks with timestamp gap <= 6."},"knobs":{"split_enabled":{"default":1,"meaning":"Enable split test; LEAN uses zero"},"split_max_dt":{"default":6,"meaning":"Split-test maximum callback gap"},"split_candidates":{"default":5,"meaning":"Number of ordered offset candidates"},"pull_alpha":{"default":0.35,"meaning":"Nonbinding log rival pull fraction"},"rival_gamma":{"default":0.997,"meaning":"Gamma in marginal retail candidate"},"band_gamma":{"default":0.997,"meaning":"Lower rival band multiplier"},"process_variance":{"default":8.93025e-07,"meaning":"Belief variance increment per silent step"},"silent_cap":{"default":12,"meaning":"Maximum preceding silent truncations"},"retail_prior":{"default":0.26,"meaning":"Retail likelihood multiplier"},"size_log_mean":{"default":-6.801595083153747,"meaning":"Log relative-size likelihood mean"},"size_log_sd":{"default":1.176,"meaning":"Relative-size log SD"},"move_floor":{"default":1e-09,"meaning":"Minimum log spot move for retail likelihood"},"soft_lo":{"default":0.005,"meaning":"Soft posterior lower threshold"},"soft_hi":{"default":0.995,"meaning":"Soft posterior upper threshold"},"arb_threshold":{"default":0.5,"meaning":"Posterior above this is inferred arbitrage"},"tell_budget":{"default":4,"meaning":"Exact-arithmetic arb tell candidate budget"},"trunc_mass_floor":{"default":1e-12,"meaning":"Truncated-normal near-empty interval floor"},"trunc_fallback_variance":{"default":0.25,"meaning":"Variance multiplier on near-empty interval"},"fee_max":{"default":0.1,"meaning":"Maximum policy fee"},"initial_fee_wad":{"default":2823606104386589,"meaning":"Initial bid and ask fee WAD"},"first_retail_count":{"default":1,"meaning":"Last retail count assigned phase one"},"phase0_table":{"default":0,"meaning":"Table for arbitrage phase"},"phase1_synced_table":{"default":1,"meaning":"Table for first retail, synced"},"phase1_unsynced_table":{"default":2,"meaning":"Table for first retail, unsynced"},"phase2_synced_table":{"default":3,"meaning":"Table for later retail, synced"},"phase2_unsynced_table":{"default":4,"meaning":"Table for later retail, unsynced"},"row_spacing_bps":{"default":5,"meaning":"Spot offset table row spacing"},"row_midpoint":{"default":160,"meaning":"Table zero-offset row"},"row_max":{"default":320,"meaning":"Largest table row coordinate"},"arb_column_bound":{"default":6,"meaning":"Phase zero rival coordinate bound"},"initial_offset":{"default":0,"meaning":"Initial tracked split denominator ULP offset"},"sd_level_0":{"default":0,"meaning":"Belief SD level, bps"},"sd_level_1":{"default":4,"meaning":"Belief SD level, bps"},"sd_level_2":{"default":8,"meaning":"Belief SD level, bps"},"sd_level_3":{"default":12,"meaning":"Belief SD level, bps"},"sd_level_4":{"default":16,"meaning":"Belief SD level, bps"},"sd_level_5":{"default":20,"meaning":"Belief SD level, bps"},"sd_level_6":{"default":26,"meaning":"Belief SD level, bps"},"sd_level_7":{"default":34,"meaning":"Belief SD level, bps"},"upper_band_gamma":{"default":0.997,"meaning":"Upper rival band divisor"},"pdf_cutoff":{"default":10,"meaning":"Normal PDF absolute z cutoff"},"cdf_cutoff":{"default":8,"meaning":"Normal CDF absolute z cutoff"},"synced_on_split":{"default":1,"meaning":"Set synced after split acceptance"},"synced_on_bound":{"default":1,"meaning":"Set synced after marginal rival bound binds"},"synced_on_pull":{"default":1,"meaning":"Set synced after nonbinding rival pull"},"reset_synced_on_new_step":{"default":1,"meaning":"Clear synced at a new timestamp"},"split_offset_1":{"default":1,"meaning":"Second offset displacement"},"split_offset_2":{"default":-1,"meaning":"Third offset displacement"},"split_offset_3":{"default":2,"meaning":"Fourth offset displacement"},"split_offset_4":{"default":-2,"meaning":"Fifth offset displacement"},"split_reserve_floor_exp2":{"default":40,"meaning":"Minimum split reserve WAD exponent"},"split_domain_ceiling_exp2":{"default":128,"meaning":"Exclusive split paid and reserve WAD exponent"},"tell_reserve_floor_exp2":{"default":60,"meaning":"Minimum arb tell reserve WAD exponent"},"tell_domain_ceiling_exp2":{"default":120,"meaning":"Arb tell exclusive WAD exponent ceiling"},"tell_buy_size_fraction":{"default":0.5,"meaning":"Arb tell maximum buy/reserve ratio"},"guard_lower":{"default":2999999999999948,"meaning":"Lowest fee WAD colliding with Vanilla gamma"},"guard_upper":{"default":3000000000000057,"meaning":"Highest fee WAD colliding with Vanilla gamma"},"guard_lower_target":{"default":2999999999999947,"meaning":"Lower safe WAD fee chosen by guard"},"guard_upper_target":{"default":3000000000000058,"meaning":"Upper safe WAD fee chosen by guard"},"phase0_column_mirror":{"default":12,"meaning":"Phase-zero bid mirror coordinate"},"rival_column_mirror":{"default":48,"meaning":"Retail-phase bid mirror coordinate"},"split_qk_mantissa":{"default":8782888972198741,"meaning":"Rival sqrt(k*gamma) mantissa"},"split_qk_exponent":{"default":-43,"meaning":"Rival sqrt(k*gamma) exponent"},"split_qg_mantissa":{"default":8980177656976769,"meaning":"Binary64 mantissa of rival gamma"},"split_qg_exponent":{"default":-53,"meaning":"Binary64 exponent of rival gamma"},"initial_variance":{"default":0,"meaning":"Initial log-price belief variance"},"initial_rival_factor":{"default":1,"meaning":"Initial rival/own spot ratio"},"table0_level0":{"default":0,"meaning":"Sparse SD index in table 0"},"table0_level1":{"default":7,"meaning":"Sparse SD index in table 0"},"table0_scale":{"default":0.25,"meaning":"Table node scale, bps"},"table1_level0":{"default":0,"meaning":"Sparse SD index in table 1"},"table1_level1":{"default":3,"meaning":"Sparse SD index in table 1"},"table1_level2":{"default":7,"meaning":"Sparse SD index in table 1"},"table1_scale":{"default":0.5,"meaning":"Table node scale, bps"},"table2_level0":{"default":0,"meaning":"Sparse SD index in table 2"},"table2_level1":{"default":2,"meaning":"Sparse SD index in table 2"},"table2_level2":{"default":3,"meaning":"Sparse SD index in table 2"},"table2_level3":{"default":7,"meaning":"Sparse SD index in table 2"},"table2_scale":{"default":0.5,"meaning":"Table node scale, bps"},"table3_level0":{"default":0,"meaning":"Sparse SD index in table 3"},"table3_level1":{"default":3,"meaning":"Sparse SD index in table 3"},"table3_level2":{"default":7,"meaning":"Sparse SD index in table 3"},"table3_scale":{"default":1.0,"meaning":"Table node scale, bps"},"table4_level0":{"default":0,"meaning":"Sparse SD index in table 4"},"table4_level1":{"default":3,"meaning":"Sparse SD index in table 4"},"table4_level2":{"default":7,"meaning":"Sparse SD index in table 4"},"table4_scale":{"default":0.5,"meaning":"Table node scale, bps"}},"runs_per_core_s":5.560954436167772,"code_zb64":"eNrsvWlz4kqTKDyfn1/BORPTYyxh7SCM5b5i3xGbMe7x0yGEEGKRQAIk6O7//maVJBBe+py58c7ciHuHCEu1ZGVlZWVlZm3yduV/1y3DtHRqZvr69E77l//ffzT80jyP3/B78+YEnj7nBekMw/GZf0nQ//Lf8Nu7O9WB6v/l/80fdZsoOPrU3N0nBupxZTuJG2O31paWacx3STJhmLv5fnKn2Wvqkk6p63XKNdf/ixcZVk1zIssxTJrldUag06qmMhyjqZygcRlxluXoaTbh6K6uOtqccu3VAaTsH4nbRMlXtV3CNQ1LnyZGcjGxsVemdkys1d38LtG2EzPV3eFYLrGb6xBylvouYbqJQGA129HvNkeMa2iFeFghnZqYAGXtdGcNDVN3uptQHT2xdyHbtlbHxAxaOduvVqmNo2uma9pWYr1fUVPzgHBR//hX09JW+6meeHB3U0B0N3+MpWHyrlLcnWNaxlXanzt1stLdu/mfsbSlZU9w0u640af6LPH9O2BnWDFRy53T9lFLzpnDSybUtAee/UgME3OTXNm5xK/EEPL/FTKBI4lR4uamlmTod79mM3kGarZZDJbOcgyfYURaELJZXuDobBxKETiAGiaZhweBS76j4B8J+AGBaf77LjExp6TqLnM4sZZYkwfS3ZAOufHJzTF3BbojNWtHukeLXNMk8E13ybm5c3P/+JXo76Cvcv/4BwzInamhEoB4594ME2oSmuzou71jJdTHxzSf+JoAzqS+f5/szdXOtL5rq9NqdXOzD6tJ3mCwZDJxn7hRATrN/wZYTd7TSWBlVPNwmNg49hTaieomh4lJMmwwRGkpVpBUGQnXRE7i6RNywkgTlJ4Li20klb6d0OQWvxnSkVQGxV38ZiKwtTmdrnTpZoOpJy4Yt7GwE0CH/LgZDpM/XOJmGxZxwneACkfIMPLwAJGfF0SbX8D2c6MT62nUXPjToiabs5s/1J8//5gkwwrpkNhhwpciNqnkJJk7g/t3czOC9u9WNqUFeaBr5MRsZUN9lpHQ3Z0JY0kPxqQ2t20XjVQLD11DdxJIMWPIjY0GYaJgOzBeYWjvMDb47V2UjXQDGs4JHSuUkCbANAUerVXTmupOLmHZictwBx0yNV1Ndaagi9CQR9hWNiCb2nsYuGfipJtYalK9vYpOqKuoduZAVPqB9pkNCGoz+SMiGfi8lWBYRSA54OPxzMctqSXJae4MDLiOwMwHxNGfP3FYklDky5cjMPZBQuxNxrCj3xTScEYKweSmqBAqk0LFUzco5wHlJHNXxVDPTWM9tyWmsb5Dv1/6ytU/qAshS/nnunA1uMIbTKT/N+pKBXWlbtD737Q/JDpW4tc/Ls9hwt7vJPqsVBI7eyMBiwmsKrDkpXBQCxGAsr9BcKYEkDnzEcqaqdRVhwDNkA5IvmoPDzdmCkLJ+xvzq/b4eIPUjIn1Q6wAtDksQN9DEfOqwxANj7i7fNxdqLMQCx6l910FrVlNcV/lcIdJOACcg1LEDeQ9fMQ68wFRCHz4KQUK2vyYVyFzARCN84NtTmEImGtzZx7072DxwOCdlUFCnZOX8OoSnsTSJ7F0LZauXdJvobZkpCy3EugUZETUeaB7ADGKTsLoJIhqYVRbJXNQ/Bv9GtOloWLDGUw8Y3ulvNSJu7+pgaX4EdmJB/or4E6p96j+3BkUzBNqN4CSNdB0NdB0P5B8WLoh3UCh5D9vJvipwTM3TBxQGzB2NUni9yR8a8lkLqwMCn9NgUk93KPHVWX7VVTXmTRMAKhMcpSMg0Kq+RnsCCnYGKy2Mjch7MqGB4j9peEr++vKvgcTODe/zs179aqkCbS/YxRw6YpFprt1kPHzkxcj4L81AIEiA/G7uQkGX5JgkhQbG3e5XPIHUm83W8KntpCXQwrtUdpGqIBb29xWOkLdsdod294Bif6ZRP9BomGoBVRBnf4tPK6Zt7K2QZHQB1lGOsKbmyv9xn8YJX/4txKbW6ZSuV/xnEeJvUWZFMokiDCzBmTjDvFTI9InRknyyEqoM4/kMQlm/EiepOOlpbWEJXE560FiszmLkNjkjy2G3kKxZO5ESFvKyl2NSvb2RCxvwRfLxZuu+5t4O5A6STwkUjwi8Zr9qImIePqrTwAWir33U/idpOAFDoafCtEH0E5AvkM6yShJP+iWlE4LrEjfjgicy5IZIU3HoiKPIg6bPJeyp9MQE8exaT4GC35nHBMm+lLODfiJKiUAB4kCKQgkr9yZJWqRe4vdWKSMrV1ymbx3qXhCapm8YtpmOkM8IwM7fLuBAQ1KEsm5n3yEcjebb43vSrH8vTAcdMrl11tGZ8TkhZ9hICAPdUAKtcAnfSTNJCBgYVqTZkU2w6c55Fyz2KG+Go8hCTCKdXDgd8cYMWd5CkkKBkFEV+EzuvxH+uvo/tzbIF8CC3OsbBq8dTHLYKc+yLRwf1ggmEQG5tMih2bbPJcWxQAolp/mMlw2zbIw6+aYtEB/jIXjoBezYGTSaTojIoThJCKOimGgf4lMls0yfDYjZpgz0Ft0LMsAJMtwQjbNpLNZjvkIHxCFoOi0mM5A3VwmfY0QWCuJQIzI8Zk0L3IMiOY5MxDJKaYrIwjpdIaBrhKRfAYo4gBpqCfNM5mMANTTmetqYoAiAsyIdIYD2tgsn2bo99jYLIIS0jzLi5lMNp3hP8UHzAdQjuPS8JeBhlz4EIPKZBH3gXSBYQUGZmbipwh5PPp4BjpVEFk+I7BvWbZTzRWGx2VC0fxUokk8BCxyerFsWApTCM09eqBx93YqWEucSJjy5X4lBjA1CYfEwElAtqUhbbaGYXG4WCp4wCTAdtBbXa0mqrZ8O1pghBxA55/NxMBJ/kDu7vrLl/UD+EZoYECd9K+zcplK2GocwDYHega8qTXpTpPkJIiDUxXEN6qEFIZKbiA8weEJhCNML5IWpKDElBZAqmcAoOzlAZMfEodpeyHXodWF5iFWH8ioackzjU5AyEZNAe6XJLneSWusK91pTCkfdlKAYERgcBRBFCSxUkJ0JaFwKtLlV9ozomVHHnYPyGIedr+uNOV2ozrq+iac5NxuSOwZk7Vg6hT2Aqiw2dn0br6Zr5IEKV8xyH2gtsxQV11UIEK0ApW+uom6EuPeTfBrAVPUAE6zLXcXzO1VV/8mvEo/Gt8Hcr5Zor83S0+lJk2GceZNnH0T597E+TD+KxRdbCo233A1u8krsXiNK2wHLR9NPyR2hZ8OfmqhQAZkD1TMtp30ZQeqHGHNISBb2qUe7dmMuFndQshyCCd5e4NCGnhEl6nKQUI0MWnk1WLqtpvVN/v1ZyxCMK8PD2LyzdzFB2fGf9ByPkEkDwTGIn6PSrCE/xqAv2Oxu7xmcL8gN0sX/l5F2esodx3lg+ivK2kDV/c2kAeoCJgRCUVc4la6gz2ayNu+SJaKZX+SUsnZlSl1987sXb+AkffQg8UJSwjudoFkrf+qh87sNzHjgFyPGmEjbD5yTDZpSvDMAWXSxkuZt6NLgUVUgA0LLB6huoW0WAO4IW3Y1CIOrko0uF00qV27nuoDkoRViv3yJRggGxIapIJkPEjLpAoeZwzYwcAOAoaAs/zmIImQYKJ8DadhOC2E05bfNAy3SGoRHGiSb+JrLhKhFRC1emBzKxChKM2xPUiFJ6TDM5aj2QgenpADTyR231a3PAFQtywBKa9SOIDCxqxIB2WSGso86zLcXvcb+3otznFaLvPhWmIvIWlaEqtUnFHJ5O2IunnDujcQ5PYb/0pa9lR3IXCZDUc1nqDG0wMPjjiR3H47vUqBWB4gSMKDgML75Pti7xl0PX0HNTLDNJuo8amwx14xwZfuu6Tn3pT26ZCQLcx5oQ3sK+nMkqTPnJMZlMzh5OvCn/fUNYlBRVpA5gL1TioUmDOZofRc0nPI2wwo8GmghtTe1o4dPMztmERY4CpYkcN6vR5xHQrFYhV1Q/AM8NFRNwIvgBXxLCbK4nCWEdJ0NauKEOIKAFcYgqK73ZtJg+2yoJcOVx5HiknT8ZkWSn2UrhJ5MT7mVzYM+Lkp8WIuGJjgZqzsRyZYU1hP0fohAZPzYOrrsatv6+nr7ehBOiSh6HqaQ0tqaAEKgtcNscGzuzmkUJGVDUWSFC4+N1+jtHh7opUYY6/GrRrWt1fr71ArmnVUhnKv+L3ZGZV6r4j+S9pQUVDaavcWDgxBr1IaAPjuLXiUdXaRZmix68uXGfLVIsbNUqsdxHep2dfV7n6+uzIl0aLOLNYmvGA103X30h68RXB7gnYha+AF1mAzxy+0pwD9qTqmamn6edp19gyjjFvsdWPD/WaRYPmQ/vLFnT6isbL5xrHEEvF9edGou52EF17AY0sFMEwAQwVmEBdJhclJkkYLPGHRjRcU9ajQL2HTrwTGwWYAA8AGERGhI72tBGYqdckHf+JcLLb2OSEXa9LSmBwyjWfub+YS+M4/duDcfmOZ19yGDetmY5WTIfYsqv0STBKXcG6xlhgmB/hxhytVuQ9ORKHTHLba31u1Xq/Tew2lFq8M4wpx7cxXlr1n0TYE9Ar4oUwSU4HH3BUVSVQHnznX0as9yc2PqwB1qUrYOcBaH/wB8AaWMK6BB0nC26Y80p/EADg0n0wBGOBGgThwyttGHTObSP4ET3KCqb8/obCAJGGGMVMlX43nqee8qLimbqTQq96QjEiOAIK8A6/vlHqcmFMpGJAbEnfAbAL9DCWSOFt1l2+y1XM2jIJ/ULcJxXbxam1iYlqqc0zziV47AYK8m691GCJkwoNgwlG9xBSmEni2lwAVtPu+Xu6TeGPjerL2Y5hYY8nXYbbWzV2WTx17b03duTlDq35WMJ7wMoobm4ZZDw8pN4fW/azHRxd8HevLTbhF6CZTTJKcRwuCLsRy532EG+dx/vPnjSNJ8y9fbrZfGLQqdB7m3cTWQZUGKtOV8FqilUwJHFS1lmKUWaSL3bD1o6QIXPLH+hF0c85Fa3ahGulCIun+ukJ+3tW6aMKEHtSihnsFE1xbuKrpWpIOkycVGqvfqzBlxNHJ/eThQSe3kmtR7vQ81LYhKToQgQtK55I5XFKKiuaiotE+hgPx1PYWUgAPe+s8ulNgEgQkyZ2e+fRjC5hRRVJQ0Ra3GVX3K24vUMu3pB6f7UHTPWi6l/zRBdcUeOyhuTCwQ71bkxmRYYXY/vAQrWdN7nRCUu/0VCbqu0kutsS+9dTpTRetHHcTE4QQEN1+iChgMWAiEMozNh2t7U3u1sCNe3g9PqZADN9LqEpOzjKqOPpZSiGMtvDMtWroQcNCTlpoid4jA9lL82SwOIxQzM/SxGBhArm9macENiJxnmKY9JUhgkqAk6ilgTDpv5KS5H1dgza4pBLMOZ1gIEe/3kiFeTsChQAeSDoIXwUxbYu4PyUrydwWcVonQOiiQYIKbN/Mpw3HnM6DHfD1GdOSRujgT40vzq8vPgvenlpir2RJEwwSniX9+MiLaAkllcrNTSQ8qNDKRk4Ic7EnqLLIJCIHE2pDO1JLZMbR2vjVrhlavVgi7LvHR4EDgd0hgYVp2M609vrVlljIkCWpQ+MlCShHNUV29crvCQ8DxNmw01er7yt1El9bGCY2PnocycixAUcBMwU9jmgDG2clJvvoPTX03YVjAP5A//wJr0fmo9MSb/c6Kki1raZgB26Yu1RISBKKU2jOS8LQPOsEqDLGKGSP/YdQTYaGDybVpWbze6/UL/WeSt/LzU6n9730rLCvyZ8/Nz44IB+BFzstudb+XijVmrV25Qz/h+r//Kn6jzAGgCdQ8OZcIj8cf+/XXqCGnlwY1DrtcIYejJA3bUQ/PMSk8yDbBIvVf9xs7tSfm7vJR0WQROItMp+sYLxA9uYOyXYyNmkIBuNZoAEfCUAkiGmFBHEgYjmTq5wrOULl0NYwgcBwYP4YdmxIGHeBjwTqK3PP5q52kPHynfQ3e4TUdHNlWob0d7vk4oYdg4VC6NLjoxSi+flTOydr8eQ/1CN04yXlDatRzxxjPXNMkqdLVDuGHXWEjjpCRwG+mxOET+87DXXFVJdOoOePdzoqNoUx8PPnVH9IgNl+A4xywZ9L/gBsDw+gLAAjfuPDAFE+KvjjGEIcQwjAjmoJDd5lHx58b5iKm2/UyfEomQ/sV0ByDwjI00m6MUGhfIX67qHuKzn44wi8Op0epOPxonBOpxTEUXtOJ6SRPpDViyo6nUggL9BGxwiS+UAfsW+UERT+jpyxadwExVwKL5lKxxhtLyVs9W6CkaEnHyTvHoelGw/5CbFjM/YyqYN+xq401ntgIZgcYNjFMOzeYtjhnkdlz3uXkbn9YH6Idak2RxMhoH+jmlPkGenQOVh7zna6E7MqKB+kF55nlcSwGSRcQREktbjINatDS4exB7b4wiVGinEwwJIkdTaeGqAkYe6sMw86+1Vn7nUWPDQ2BWbzIpYXx/Q8exxhaUbHBd7s7Z0hMBcfH6dv5s7I7FwZFw8eDrIlzrWFiZkUnHa7pnGapcVE4awxIl3RV5q1we+VxR8b7+dP572hCIp+bCmc438C/P3ADslEh0nAem+8cx9HGggR9FHi8V1i8n/bXnYTm7UEjurGQzs3EADufnWO946fJA/nuH/v4F330OkEDwpe0vZunUNOJgT0swN/Bjrcrd+DEYezCOHJxs0N8neFTBKpGkG8FzLgP7XAdQUn1Y0t7eoSBnSTFItdSbSkgFoYHEloJWN136A8GCjJnzh0ix5/SC2whqqE3XRwv1WdAGJ+nUsFTjngu/Rht/G9JbcHtX5ffv2guW96HKChmzvtUjtahTnz4Rpr5XdYibdYK2+xusirfwBmf4X3PWJ6NzHFra6AFEIcWATmGfMv5Bg0fIrwx9hpz2auvnPx5gRNXurrlMv90uA78/o+jf0gjfsgjX/9lfvA3ljaG4MTDeC1BEOYiAgyX6Fvp5o0vYPpNDTNQk3brIGLUy2Zs1AzIKYT0KDUWZLC4QS5DzSeM1uYRfzFNFl31/NY6OsUAAU2G2JxSB3ovSyVdtHJ6f1qh0QEFUNkBCmIFisQ6NT0DSl4NhGAgYGDofUDGimtc2c798EpMRppRLycdj4ihoxFtFe4iY5XvPW5w1T1nK9GZx9iLnjI+LCqmEMfKd0kzABVINfFgwC7sVAPwo9Ob+E44EVnxY4k0r988j257mZ11uKBaQvDzpm232vzd8r8Mif5hNDQwjmYQCcgGCEERJYWrOKc60O3K76b1oVEsDRRCFmiMyvNM7lmxLhw3VO6CQJJDJ9b62uQ2psTSZOuedLt2c3tKXK6T6nHjY8WMk0frTVtjjh8RGF3I+FTZTiZHJEYFK9IOXjrGYOQ0fmUWrs2qMnNcGWuDPOITi86qYLKrCV09AqXwfGD9Lbkk9yrye1C6bw9GNKHlsfCZbCzfd58Y7KvGC0tbb5x9GsON/Vbmn6VoCVhhIHI8erYUIAulIkYv11P3XzK76j7PxLhy3n1T4QISzF5OQ0ZW3T+uLdqoGtQw8CsITaRDno55GwiBcSj1caAHST0UNAJbtBTwFEH9RR6+8nrA/XTnbRLATQ+WI+KwSsXrodjLEeLVJ2JdF6xNNT1Wr2sWfJkNpu5HeGFTfIOwklyolrTC4DwDuDig+0e6eupLmLKA/1mDwolSrFBv0GjBUtdFMCD+mvAh/uQCW8GvhMM/NBCMcIraDbmeq8p6ARc09e4o4vmxAi/6t+Ds09GUUzBPa7+khi4Gsn4Ntav2Bblysbijk9tbMhRagbTK7TSghLxcY0gVX0z98U9ZUnTXQqvx1iPMYHPvCYtCb1ysXo2jq3prnvphTQpZjk6WmprNsk7eGV54TZ8J+Ol12q8KJMmwyUOktFTDJs8n02JwWTIEcWTd6zwfhsUEx+a0cCKHggpJDA3cBKqFJ70Qfc+VjaJjsAAAeda0NmZNXKpcgd4HmLWLYYnzuMNZifqDczngM33AXtD7pKxAz+r8MQPOskTHP3ZREd9EFysQX+T2Bgt0+DQ3qV7YWyCR0MGSwgX9jHkZRUJcTmLbfs0PCk0lfA7jhgp7O/r/QVFlkylRZoRsgItcozAZfh0lueho1Ppu/fpyXe43NiQZYAGJjo/F1vVIpk7SL4quzGlC99QK5OpkDQyRJt8w5JVeI4pOlWm3p3Ic80iyaYDXQGylAZGbcwkGZxXi9Alc6vAzqwcpNBCzXmpAShCg/fLl5VKrJxH+mtAm0riOBqZSJ1tzMdLc3kQXpa8E65Xi65AWFI46zCaFpJfvmzMh0s2B0pOiCk54e1J/TUmeWOSq00SH1wZpSCiojnGIcrCjUKyhx7JK7ADEbBqDbn4GVcQ56UUaFjyBxjUDeCkgxWWHx+PHOg4XcKbUuskud9s9JgwNsJN2bzcLn6vyK2W/F6DO8GOoINp3uhY5YfH/yCGEQKFyKLgTXC8NVdC/nV/DJa8+L3T/t4ujb73ByXlNYksDR1fOwl2ZaXLVPMP3LIY9ZqEhvdZjsIxTmLbFA71ID1ICUY9NmtbX7pe0dl8o1//kOgvX6a7h2jKzbwmfyCbiO6XEUQOyiAfbkO+twR/aYaQ0fmCHZLI9sBkGu/I+KhMuJD968r99n/+xNVoD8699gic/AH8Dvi49b82YkzEc5f7eEq+M2wXA54yMbSRiGh/SE7yBx6FaLg6qCuxHKwcLGJnKeBITohGIieAlgRoLZlaoX4Ne/RSqTJsNt/XCd0PTYOOhMBD3Edj6de3q6p4n35DnkisRdwkSHiw0R4kOLGEzRzf/ztcPEEYXIHreAj9UzfwRp3c2Y11Ym6sg91Y8HtygbuD6MsFro4Ef5fDcIHf6MT9Rij7zmX8l/+Hf9vL/e/gfu1/wQXwv7j/zbEM9/b+t8D+z/3v/9vvfxcSO0e1XM0xNzt0KdOeXV/sTrhzlRXSCJTWMjOd1tnZbJbJztiMqM0EfTrVZqwmiiI3pTVdZOhsNptmNVXQs9xEVDNpNpOlGaCBnwT12euNCfM3fGYiNbPsFLpgnkL3uSE626TQKoyjajvJns3wBfTd3HSmKdCou2MCvMadudY/uiFuv70OPl2Zk+s0XPQqRXcc67rgn+EHGOJXxoFBU3s9VXdq/N74eas8msdquV+JXrsSO9ABtmBnblam7tygc1TRqVs0F6J9lkvT+pQWmJmWFqYqD9o/uIFH+zwnCtNZms/ONA1eAmTlrk9kuTt9cwOV3YIdckDpIhKkKHAbqzdJQCqmLSp/vjBo6T4EIiwYI1iyc7Yfv/8XocbXAP8ZuwYdpufON+YdeyddoBmWjVb//cdHyEv+vPHRZbU0n0KxL2kufgwFaEm4uj4NteHlYiRKDH0XlMaxkOaho7UXiJ2EgD5adxTfLDsi0N1tmkvzDJdmWU7k0xkYITTiMwFjiOMFkabRtQyWTdMZlhtGdzmu6g8ZhMLJm5sbdwfNFZP/dHfJx0cW3LsrlqBcIZvz0En+N6zg2IAVHJNMXu+RBt0K0uKBe/XzBgfQ2XSOTYYx9jW8T45jHMSy0dRiCB6gFhTmo8LCVeH0VeFMWBhK/Ywm9ag/HAlfG9AJyEBS/iuHReWLcz5c5MT2ccLlmb1lQh+szyIaiEC4AXETSp4DjGKY5C26oI1Wsd8isTe6RTNvcDB3xId42AgPm0yh3Y4QafIdVgvoUlcR1qtrkld9HFy2lc51XPrTlCZfWEG4iETUaOmGjVE3iVPFJFPcHelL+9uTj1a4467qLLiS9oByCPCao1s/19ut5tsb5kGlvi8xd+TxKNF34enXFHt3ezw++P6t7yd/QP7KNm5CXoLjSXF3aYEH4y6KAoduU4mZbDoHCK7BYi5obIlv/0DfffX91Ec47j9KTPn+R4s4aIN4hltL4MBrKowmbyPRcZIPaOMqBc2g2LvkG678eidyDjgR311NXU0iQUv4wUpyyLgw8Sj55ymR9cjQLJf8cbyV8FcCIJKzUhJ+/+1sK0j4dTmEiVGjjXyaZc+lU9k0vpaKXv+ZfEsKAtdnzRLH22hjj7SSuY+5gfIjVlx2lE3XUkEdxzh6XnuVZtHtSCv4KIzkQ4eTywgi+N5JhEhFN1995i7NcuxkQ2Txvov/mKGzdxmRzTCsmOU4kctmOBoUS1Tb7ZmVCBpameGFOwY5oFmGZrI8w9Aiz573Mu9CQbyqT+e5TYqNDYilFGXSKjthNwT9Nbg2wtzxPJvOCjRPg5OSTQNBmVufuEGN+5q6E+7vhGTynkmhOH5cpBV9seG8abq8Td9Fn2rh0uhqpMiAgab1FJNb2dIFjLnL0iLL8Fk2y2ZoQcygq40sgNE5NAFORfy7rDdEhMMPpIAVkz/QkWhUO8KMGIBBo32jOyKU34sCgCFCakAsDHlocPrqByyluQzUT6Bc0A2Z849mBAH1EA/kcTg7fZcGX01IQ2fwHNhEHsYxA4WFoDDgFjguC8JIC3xaYAVG4BAL0iibh04UwaBmstDsDLaqNJfVU2LyfP/4PAKREvdvNQr0ZQrNh/Hx/MicLL/Gh/KRXCbvj9FZ3PZ+rRz/3U30wdT39e1etzQ9kXpMKIVKmifR/aOZaQTXkJB3hj1aa3W8QwUSzVqh1O6X7qz9enPEB3NjLhE26XPVna9N/2zXEwcyCt7Okz8O/5Ru57nbORqwIAy6KGaEYe5wi1JD4g//vDmA3k8nrx0ujAwwc+wFt3rGjY7FXqoE5JpKM7PsdDq8VcGQ8TCCZhlGGN5OflPN2XfCzfu96zSXkJM5oacZXRiSG9teoas76OsO4mvu05NCGA78l4hLpoSOxJx9IFTRPUpkYok3KPXxEZyOezpJfpknP0cfpS0gbQFpC0hD6uoPaRFUvXiVAhaGMTIiJCQMoQ/xowaKEyFg4m98whjXAyT/xr/+c57DPSyIM06c6lPcw3P87QtofJzzV66Cii49fdQuFft8Z5cZ4WFvTeSSvU0jQufu4sCZO3zKQwX/L/x4B7pG4+rbMJk9J3OvVy4bTQLnt/gEBBP32O4CX05CqD925PD8wlLxbm4wnq5lKbomrCV/BHXFhA7LWk5DHw9hsncEOCKRNUe1aOjbIXdp4o5/k8xCMmg/UWSJGwgg1yEVJiSvQH/9442ZQ3vsYfBwvtSINxduDm9vx4ZweDEzutyIruZE6aCVUrOIFQZydOi7+xvjkbn7ytzdG8n3x6Qvu5JoYyz4/hY588nZEZ2aBnnKfVJCXdswk0U71egKwN7eXQ5Y41hii57fJ/vjDUJz2TSNnzdW0Rc57qLjV7hcEvqd/pU7tyhs6wavsuElR+OzMnEFbek7sKe3BrmUoKjj36LnkbT8IEpAPmkdpSVl+eTRxonHlHW9GXy0H4GDURVHm1QxGqDj1/11xb8+arqLjj38VdvxkduApt+w4boRcaZAd/0nmBK2PqX658YjRlnHFMaMnTZ99xd9srN36gomFTvKyF1D4RwSP1OQ/+u9T6f7uvaJTISsky5ys8EHd9FC+F0gbTHCkFd11dWp7R2SxaB3EXUoOPPReaQo/ZiSIkzn8/JR/ENCP+nBa0ox0H+C1AgiTnAKGhCQeCH9GJH+t0h9x9FjTNKOH1Pzn5MqVPBKmI7BqCHUIwwzEC0QpyPp26GIWT52ju2Pq4Z2SVAuqArLoHpMocbiGkKe+PYHPIlxBPLffUYCn3hdmtb0MiMg1SO5cewZWItfCdmZnPUUhBOqMzF3Djr7fM2/mWo615MuJxw8oCiDhpPuBi0UHSnnMhtDSQ+xsrHySwlYjfkMSjpo+JnFP3+iMvFxJ6ONLhh15GUQXw9kfGBwSd0Yt7i6JAigdGb7tV69xgXZQMhdNvsAIosLociliv+kdL/BHh2bwvxGGhhRlzrL7tWGG4YJmn8Zbriuz/HHE1kAJSPUYRf/ejM1QR3y+Pc6BO3i/O92iH8IO+TWoHBtWKb9QwrkBXgcKMu/6JhPeuCvNOFvO+CsbMKe+H0HnKv6e/xnfsP/+F2oN818q7+C83Z4+Kkkfk3IuKmJzld9t52p/mZQGirqvJtz7lcVD6x7NXAXSGPyJn8S5E9CdyKOS1WDPrxCBiJiqLcocLzHzyjqo6+3vS0wCQpMbie4wCQoEET9y3knKBjTiriRV5Q4kqpS6oS0JOf25g36ACu66jK5xSWTb5ofEuqjk++GSjhQ//VkW5qi2r/iwhR7d29R0+DShw/uTjLpo/k6XgUJ0PtSQOBl8ep6HV8LT7xcK9BbvH/sRrHLQbm1Pf3LE3OJ2AUrBI+vIccO4oW4A6QID/KhQWyD9zFJ7nAo8KrOQUhPMSSdzH18ri7QAOdlkGBbF58yz23C04WXLIgGWb/C46PhbAPc9o+nGiHJZw5c8SWMwBQqCq5sw72WdG1moAnS9awG1wA5yRyex2yk+M4DnsmQjvMu8fwxGdRjCVX6AbOVu+Dg0R0ZjVNycp0OkxkueFyU1fvuwedSr7oHcR/hSUYhFEZHxuPMvrnqimSM9epdnPPv4GL9cL4+HqAOCGO+IpLv4cEKIa63GbwQFj5rTlPTJdz0qWPOYPZK36XuhFvUAexr+EreMnfkwV5JYSrWA8wdOh6BTmOhdWiUQ78mUVHmjkV/pO5vvq/U9WSqSufFzRSCY16vVZE+NXQYhqRuoad6CJ444hyCJ45oE/xU8ZBFB+KREnAlmpyZqxV+W+hDMiqOXK8hoBM5u4fgGwa7q70lzIBbCa+8IgYQ0M7bcMvhi4Nulcd8JAlDX8wK9qlU6eJWfVFJbBCx9VPvkGuW/HHWGV/QJ6li0oLHRggGnYSCyIGD55HcwTwbtYQgcuqBkHBiDnGKkFIQiVy8a1KsOCmTGClWSAqwFXBZGJeFMFnvMUVqOThCDxzfbMCshHsVm83jpV+TPyBrs4nN+J3ooL0UvAgo+AtrjPCrQEFyCgnPzKUl3HPQbxCy3n9JJlhYsvDC0od7Keh03EW4sDQSSPzO/YfP7cQNqhSn9eFOePeZ2Lem94Naj4wUWHHoT+AyIoJk8KcuUTB1ZN5/9gV9vJB5REskzHn9AiYP4WQG8ByZZDCDQFbpLySGhnkHFIiLiAMiAvUG8nFkUjdI/fh2EquLZOAMYV5frsC/JY/9nLwJ/h7nhTwHSdGRxSJ0ZD+uzHpf0wdfQo5xdedj9mGHEn3MJ87inQ+WjPRZaeen/I/Z679l7zGkH7l5gMUPGHz8Owxm0Od7jnacwWeLje7cAZagsZjv53HpM4H/Dwm/57XP/o7WCTQ0TuunVVtB3fDy2UvNHzH+gw29QHnCZDOnTdD3C9B8QFNR6PxN+pDawDpHWsH20EE26QfuJvUOefx3MK1Q72YoNEMhvLB2h48BovwJyp+g/AnKt2Ia7yvWePc35xT2aypIQiY0UISh7sLQVgBtxaCtMzTSaoEpSIFqAaWSAr1Coq4By/IL3fvQNkfcGmJ3y9Ik+vJWeAMEgucN1CvzGKirb0waWhxiItHtN7SOgEwBgRqPr27NLimzYzKZYgNHAhzaC/AkAJ5cgCdXwOoB2T0wd8jigbmjQm9EUy8hpC+RTkbFyaATyUiLnhuJfKuA9HMLg3tN55VjfHEpfpfzoK7M6fdgLNy8+bDk9SJ5u9Hu5Pt4pRxvc7sz5Afp+AOHH12bnoDf5X7Dl9beHeIk3x3iJN+esCQ/P0Qbu7R23usPbEbYalx1koru+QTRaJ9i8y2gbPGKTsLefflylcDcvb/7iY7Iou8foHfwAQQUZl8fmOD9KATvP4Lj8jf41OtHaPhXmHMiWP71EZcVogQhTHh/HDmC+CDnkfmoknRUIv2K1A1Gmwnpz8Toz8TozXxMrxgWE0PqGDrCzTDnEBvxhouggCMSjuMYH+XznxDMCCEnGQGTh4PnVjAR7Uwmwh+RBYHHuyApGyVlAUhnMmH40kKIfNhEUGphN9Ihb+gwFutN+l3Zy9BgGRgbEjjeZiReZkiL+frIB+8LKvMTKtIRFekzCyAYIyGNv3aBvm8VIIfAI8cGwYgfEDinRQyBwGP6U+I5RDyX/ZB2JmTFG/J//sSfgkTDBoChn80U83Gjrj4jfZbiWBpUEaQVPoCLpT2KH6gXfEkE65fPL3KTv7lNTn76FQvy8+9V/Pp8VxQ3OSTKfA278xJ/ZFjxOuXC1UvaJ3z89PMZgDVk12df5HiUfosgKPzpRfig9Oc38n9D7vvPqZy79pP8xzvhY3wffFfvIUT1Qdbju2/2vQN9fXz7Cb84SJDy+Nl3+96BnitGiueTgfDR1+CiNnyYCT0b5H70kbeo5Ed56NtFH9Lw/qY8/o8rAhuXgXg2Pu6yEbir/Mrvi1feF/8Las535tGX+8U3tJwzHxMpTnxTU7ykkP4sE0oK9Mc0vLtzG/H1XUZknD+833uW6w9zkR79yDv6L/ug8wcLIMKbxY/riXbw8d/XO2sVc5Hwh6DRd6ADnlzikXm6pFwU2SUNmYkFdq0uiKRY7AObce6YCOhC1xsiYhkfcPfq9B0TXStPoP9thButOoZGanPVub2FYOyTpijjgU/+mIGTbe1mN+4OvGyH/HPvqoZ+Hy5+Jpoluf2z23wWfuLTSxwdvFnhO4+T0Lmmmem4u4SV+Gapa10CF3uvJ+7u7l7/w/rz7Imzb8+l4EKSu3N29n61QtQc0HddaZKhg8UMS1J3thlkcK9JMqhM+gOKaOtNkM68kn8G6X9eVuIx5kd0+jH0byxknXBq7D9l4VOSGOA9C9CNBOcAbvYMQnO85usCi2fo38R91KjzdwXQtOJbMHN4jWYp0aJ59G2A0E0PksOFG7x+GbsS97aNqBf+TCbDCmBiSt/lot2wjxiCOgrgMVrmLyBxV0bA7Bn4LSySgT+TX778EfD7A7mxlpbtWeF/6vuITZdxyMM4RPL3Zs0Li6m+RVKhzZ2g7sUr+e/Svwefw9DP/xyGxWyboe9mxK/8RTWgk4rLaAq3DEY5IF3p1s0SCan7bYnuiN/ge6e75I2+TYWVoRYCpIXafgYlI0picMkfAbXWNIeva0CNYfcsXwOxngJagiG/AAgmH4P9/KmjOT3K+fkTlb60KGgNk5s4urq8vjX4B877nOfovwcm/s0FpkekvmP++bjqH1dz4EgM36E2LQwX/eNFDKfvYB7+u569ugn+/tg6GkhSMBDNaK0pvH7Ho5nzL3zWDyZDpPbZvsj1Nd5IFkPa//zxH38isP/48/7fVqs9+R+hcoD4t3+7YzIGGXu+/kLsukyp8b9rQ49kUBP6RDQ6GkZq+Fbn+TMssTuQK1tb4jseqrODluH4TTIX2zfCqEINgBfdgvU3tHLx6aZVfNH+41ahNRoUw435jz/xVdYgdwpRdO30ElvTlzC6PPUd591ljd83P/hfW+TNJTm6M/smDdX2Jgldh402d0KepEIeJalCs1No9L8jR7JfKiRzs9lq786R2KH/Dpb75OMz//I/v/+j9z9jd802x/+++58Mx9DCm/ufrJBm/+f+53/H71//z1z//Nfwv/+ev2sd/L9ccMbs9fUt0FyCFTKJZ/RfPi0cLCew9+mSiZW526FNV2tqqtbdP3pyGyb03/NpXvr3dak70ou7epGWT053XdgV3Xa3/izoRWO2lnfyoloZ6u2jUlgWZ8OSnM+4br2bt7MTYWA0jZVcsvrbg0c4hVKxku4vy/JpWeu2lDJz6O4YeSqPKLr2tHkS8nTxWStTXqOgVbv1ybgwZhzWe5Ez0/3ssCw85QH/GNCfVq1KVxaHcze7KRsv8lIcp+s1R8sP8wWDqzS9xrDcLTsv/e3a17pP8ui5lR7Oy3J+KPu2vhpYvlzutvzsqUuveK8nn0qCYz13uHxJznbqPjO26VK32t1v6EHnRe7J9FN9WH4xsvlSkWUn4KPmNciv2uOGMxGNtmxQxsg9zhSZLvCzhuBNVa/YbSzpp03jZEK+9+Ke9F19I9NyJb/ly35pWex21s9qWcg0IL+cro/ovdeE/MKksfaLOl/o1had1aI6pOW6XKfozfCk0/JS9uXnWbu5MQrd1q65VbbHGeSPlzvWz/hzeVloLrbHZW+oFbrFQ2XCbarNbl12M3zJmngDKD8+Es2CRdn5blE1BOXg8N2yPBXm/vblVJeH+efac5ZzJqU88G86WI3VtVGWs12lP20TBcjf83U6Q4zcfLdOz8al+fIJyu9mTlHt0RTkLwfOflLrL6H8y7wm9/Ylryy7m8I6Q1FZuZRnnuZVhekYcldZ7raLwZb28nJWHOzpAUtBvuo+l5mTasvddqGfls3nlZGX9Z6wWAhmQS4VvPJWW9AVXu42jgtnNs6MoDxLDInBblOF/LW4NYvbQVfuFtbCwmvYtW5eVl6Kg1622wH8FtNb5EezBaWkM5Vmtm7QlEjt5LJfae731ClbmtrL0ovtUAo1mR0L+dnLQaT8454rpnsFyK+0tEajNacoRTg05FGpRik8leW73ampvFALojtQZrIxmRAKc9QaS3e+gvzudP/c9PJHapE9OG7lpVouEkpaW6TdHt088NS6IdQJb9yGfKKwajzR+iGrHOUVpSz6xwNNDYa2se6ut9Qg22ayM1rjrawiDFqCMO6qM5oy1NKpPBVq1EBcHBdalz0usspptTVPtUoB8o/Oxm6VMxuqSG3d4qHKa5aoiIzYdlgFBiYl14oOX1GbVJFgxh2v9rI+iYqgrCe9Tmsw8yj1SfGEqbaHfDND7Nx+vigq9LZqvBw0ceZSzc1yrwrKgDgRBDUeTNTMc0ZhqoowKy9XlEsBn6j9MyNA/rzcEvK7p0NGYasLLi03lINLzdaEKlY9gziJst5qKwVPySjZdN0kKrQws6m266un50WNWIi+L4jE0/aQVo7jql3ptRYHmxo8ZxvaauMTC+qwlPf6jBmkFb4ytc1Kpk3Z1LR7EDpdbwL5283BXmuHjKCwTG1yPLj8bEl109zTomqViQHRnwyIQUW1BCVDZZtjq7lQllR7u/L2vOBBfmvabQvj1QDyF9PMvF7pQP6hPLS5oqFBvjjnWpuOURQUzxZ75XJdUAyqPU0bW/a5RhSJ/rI76i+2J145VWs9hiouIX+2zKYnXpshiqLt70qzwcqC/PrB1NKmMjOo3tOkxhqyCeX1/VhdvngTXvFHe40/jdIHjWJnVVWkT0r2RAx52xaPjsIp4r4JbmJ7rWhUU2seiN2LCPm7bmfIvIyqnOJ3RK194nozjdrsy/ZwzG+zp+ypPT5wdY/iFF4pjQfVkkiNqUZdtMej5ji7ENliRrHlCccqYjY7LKxNezamstTeM+hGJbugBuPW6plfg2B5J29n9PMDKN993prpPE1DPpVu1I19fgH5omWJc4WaDaF9w4NOKPPsIFvrcFxPcyeMQh3M2lHJbg9DalDyOr5dUSC/VF8NO3J1wCjHJwGkgxspQ0rp+1tGH4tZqGwoO8dBv8ooLK0+7wknD/itis2XjeI2W6SyzKTh9rUMrXjjsnxQq+6hSz2v6rWWsx1B/nY+UnWOc2hF6NSPlsI9Q/7oUMuk5XwxWyR6bXW8I44TWjn2Zny1uipAvpPfHDknsxdPhMw9jcbzXfOk+DNxlxEzu0OLSj8XjpMs+yKestOyMSJUizspp2736DjmWGlR6txda6VeCfJn09lgvjBnJ4VdliYGly9A+Rk7aKbb1k5cEHNtXzbZdvGo8EV7xzYyLlWjyoL84vOVkbig2qbPrBuWdVSE5WLbPdIjyM9zzmbWowlxIT7PtN7xpQ/l/fyoW1835EON4moLY8kfliKMYO4w41/cia+kW0ZmVZpslRI1swH7Vq9Dfo/WOlShcvCV7Dy/2IjEAPKnTdHL09oO8rN+vXusyRlfoVm2PATGHWRq8rxqvixAJItipTg5lmYq5SkUq2svhcqCkiliuDqOGNC0RWo4mKt6epnxFGbJdWZPchPKm9Ndni+P2yLwX5+tssPs4qAcXWMuCOCyiJRZPI2flJde5kQ8bXSiJHjcQRGei0STTh91nio0GKFFrIuZhbhrTBtM+sTtFZ7di41lOkvQVGZPm3IrfcgMxPZQb22s0WwHgrmaeelZdQ/6c1X2KdcaZopic3yqrEq84ypE/jhSVp6y96hOukE0dhM/fRK9PVPptLcDByS31x3rpSfdpZhnsT+ZlMrpE5Guy9m9MxlsFep5NF0z1nhvg/7fL7iW10kvxAwY/85xYm0U3xg3+Hp1TCypbave3vb5ZnogumNuq780q7ZyVLzuk9J60g1qlW2XneEzL5woT27Wus7LwlIyk0pvqqjtvUZpokMs1WZfAPvSTtfn9PqwVgT3wLZEX96PqeNzq7LhC0/CQNQm+ZU57T+D2WLrSlHNuHqXKsxnxEIXBQH6r9qo5i2HWygEt3nSZErptKhWfmd2CmmGX0Cjn03FNmem4m3KiqCvl/sSNVi6csd7ZviiuDd4z2otOUNJj6v9AlNr7USqViwfRibhcqB7F4PaYdAtaorA8z2Tb9WyNuXPbCuteHm2mO0KA5vfP5+eYHw0asXjYdiuUZW6NeK9ffsI9uP8K5T04ogY9hcimD1d2Bmj9VMxW2LcctFisislO3tx5dbMtGRqpIxbrGrq00W2etBP/LhTFhVvt1711/3NuERZfm3S3UyceZFqiDzdzpcqNVC2zuCotzc1l1otX06Do/20OGUtlQUvjl73lFPD2PI0X3xpUS8HKyPundGqSFSL3olmt6ORcmyN5cmkp78YVHdpLwabbH+9IDYTly1WBgVNYQeCsXPV0oanmnn7heGrvAVm+bAZ79dKxVCEhlsVxHJaBf6ebCJdPZn2Irvp1K2OuGMXClUHJ1aYsukupc6oo9JsqpuBKNc361N6CijEtexwswy31ahpr71p7IuLbTE73h0tYdnZbpDx7tTlqpi2qeVL1y6eMtntSWyMGxmiaax3CncqucvZU3nLUwbx5DaO3to5ZQ+1RUVf+XsP7Nuo3D/tNk2ZElbWkc53D+5ArJ1ggBabW19h80NuOBj0JjWqUd1OTuyk7y6orjm1lv4TAfrxZNdN5ZCZtKgaB/yHPtkVQX8d7MraO4J+32emZW1iTcB+qP1yvVLa7xaUZbOrkyoWWIXL7rYrWxhmNPCfeErWnPXuJBLmhJhWq3uwn63S5nnolZpLinILU07ur/cDijnu7dN6cAT/Yj4/EpZLZ2xqR1MnXck6+5PoGvLOpuW+qGS4dYdezSzHo1pdndirLn8YEIVxdTrfTTtZhbBna6qemWR46oXf9RszsXk4iUd7fWgq2zW4jSaRX/WnNRHGULch9KnV0StSvcFTLeuKTVk59Wl7zjVLbonqcn1oSH7hDYiG/zzql5uDvEKMypXCUyWv1Sh6uwZj8DTyFsR6yNkDL70oKGybn9W6HUKsUcRhS+cn87Z3ooaNzhq8p2JR8Qsldeyusq0WtWsti95+VfWLRKdGvbjF+qmkpHssn2bbYqtLWVqxth0xZX+Q1aZUp+bUnbLCUjOi+tIQW2BfS+m9vZxW/AVlDws1YlM/VRRg3soSDFEcU8PeNGNV/YZ/yq7yawtaUYVJQHFUZZtPhKZRrlwomPN6/1jMntIvjZ7bcGpg35fTCXGQxSVldqbbZz8/PQ6yCzXboWhnUleoqtscNLlSy6Y4YfxS4ATnuBAn5ko3X8RJQ/GeyqenBl3TXKqR1qv6upc9nih9kRHSettqKnRpxE5mXlvzqFJ5c1xrbP9UzDYz5XSjSBVbitBU3IPJDjSaKveKtSet75wG2ZlID0cd2ekovCU3mrW+qvGUZ1Ybm/KgdlqI21pn41LmTEHyua95XbMlUmw+Y5jjg306UcLenbG746Cr0Eu/e6zPnqYyteb33cVpX6GLIrtoNmqDyayr+JvhnFk/pdsyNR1RysBvqfSA4DuLUcanD6Bf1uZThz3OpiXKHmSKnenoQA+yDg2+VXPf7CmUphFVSy6DfkwXxHGV31TpBVGWaSG/qDp9hU4PVotM1ZnWKOHJnU9PhznkE31m1073BgPlJNqE+dzrt1tUs+LWVKUNLmaWs5SyOGxWBwpM8hfZoi1MW1R5OmToiacyMD4NTTmcStRQ8bia8yK+zKddijrY3ad0Jw35g9OE6KiH4lAR+tpQrB/quyFFj2pZrdnWGPCfh1Ptpb1RnhSutJ7SCn+cDqlG0cxPwe1kFoTT5zxOGSxGSlo81edOfpIdg6bT685YtZgF5e7mjcpiBypd5FrbweGlnNUox8/U1NG0y5yok1dvHDpj61nxCqVsI9v1dpA/XAsllctAfnmW3oA+fR4r1KDtNAx+kjWoqjyZKex6wxbF4kvGEXldGYP+KrTr+0V1t6Q6/mLOpoUXdkANOvN1KV9/flGYllJl0iu6vaSqRrnaeam12AWhK2Z1e6QXqkL3xpvhZjCf2hST3c06plVgF2Kl0GjogwOlKtSRcdlmSWm7FF03qnptl2ZPVDtbrY42zcVEyWaO42evl826VDGjTSfZGsMViePYq2TS1YGmiC7jPbefdm2PWuy3+13eorlitmB3G/P2YjBVBN+rs/3dtA3+TcdutiyC4QZU/8S9VJ3ZZKp42mncsflOm6fyDKOoZjvNLbIve4c2Jg6oQ7bmzriSCpNfaplfesfjqsCdxKytri1r/DxTgJWzms8dpyLFzY/CfOpVwP4LzPgwb/UtQzmNBpstIfYJmerUq96pyuz5IpF3heV0uqkaSqbkaWN2vevIMGnb5Ev54hjK2+6iYbrUwVAYX2gNzX6VKFG015uVGkyRH4ig8sf9/GgxVzLsy5orTBYdGB/9rPzEVXzIB1M1IObZyVzxmtxyaxkElM+XbW/77M35BdVSNmX1eQj+C1fe5Pvr0kSvUeypMVwcGgPwb56ptjbcgt+u0OtlejVyeci30vUlOMk1/pTNb56L9dWpuFAYPZsd70sj8I+cUUZtiB0Z8p+VSmf9pFoLBRwOx5cJet+ifJEZr58zGf5EnOjTqFHpPy+VLOv0h3ZvQHSpcms2e2bnyP9aHLP+saYOloqfqfeHInWCfONUm6dbg7RQJDJpwL7rT1aK19IXB3kwJIZUS86CqPYo5N/xLdNtqNxKodKlPkvZ7H5IFbZpeV3o1oUFOL0wf+EXs7XiC4fl0bZeiDGliqve80EfCQtxlWY7+qgF+ZTbTmc2XaIzpjYeeLWd4UY4EW2tWqpWmZOliKsmWKLigtCouqdOp4JTgPwn41huZmYTS2GeTk+eWG52DIpZt3iqs5uni4RqTnagNxa2kj3ywjL7REP+0GwdD7NSLT3I9lv5U2E5bIJ/3GXGq2llpi+psThcLvoNIT0gXnj2ed+hJhvF8/nsgd22OzZlCPMeM97R6QVVIZ4dn3Ket4qvlCYgL4RuU6wjMsYCfKhTVubrcvpl/OwoPNfllxnntHepXsY6sD1vkikSvLF1Os9r8P+9emXbME4H3aPMYcPUS8shzB/6xMqoLK0izB+WTH47PdAwv3DX7obPlyg0/xithclTc7ZX2GFh1lptex2RilxWmB9J//4/Ozf/V+z/4CX4/4Ltn7/6/qcAv7f7Pzyd/p/9n/+r93+6SpNJTI67aNMHnT1JuPbe0fTww58JnRE5XZho3GySyfKTDJ3OZGhuwtBqZqpmsyzNpjOqKsx4TVWzaVFn0lA3zUxoluPEGU/f/QMqCfaDhk/5VmtYytuyXC7Icqkge91y3jZboyI1O4DCzxQpX6E6VHZB8QfKoogTlaGoI0UNqOyMYilqRhEKJVCUQxEUJVIUBz4iRVEeKMGuDChbch5wy/JYzntyTZaXcsGQm7LsyUVD7sn5rlzpyjpKbBmyiCBfYA4hN2Q5bzwT8twAWA0wDOGZP8pVQ9a9vCjXSvJcLtTlGtpKKfTleldedQsjua7JllyYyo2WvPEKW7nhAhkloKVVzhtardC1m0VFLDZ8HkhAeGuy6uU5uerJBqq3NpTnXqEm11x5IRcUuQ4UdxH+lrySEX5DXhsFTa7zsuUV5nKjJm/kwkpujFF9ttxYyluj4MgNT3a6hYPcrMm7bkGQm7R8NPKIJ/WiLHZLvdqgnB+Oyr7xUpm7WrUHU7xCbVnvj61GYbltKWKpKtOybLSqwImGXFnKBvi5F/ps2fQKbbnGywuvAFhriL5nue7JVregy41SSJcmb+XCJuJDad56Ks+1caVnT6p5HnqptawYchH6Rh528ye5SiP8ddx+A7W/JC+NwkCuD+WVV3iR665sGYUZwm97n7TbKHi43UaBl5uefPBwu5ulfKlf8rth/bjNRs3sruqmZjf6tkd5rV4hpGXk5Xm5ZsimUWiiPj63sVuYyI0uahPURYdtGo4q+aUKXqFXBSbl5VZB7pby8Ac8GxYhUJCNGqTVCprRKuaNcVH2AMarUgMZxTUcp5RsmpVrUL+ByshFTsxbXq0Ihct5uUnNPFlZyDhepQ6bY8mjG81urVTo0vlSmW4Wu149K5fKBW85GnTdfrFrN1ZeqVosjInCvNYuyjZwsVQtD7sDmLzheFUu1WoDvls0xFaxSzcpQ67XB1qr6PFK0bOrAmr1ke4UfblT8NwaB8OlenTbJZnvQHngjNwsm3arJIuAz60eDVmu9exeCeHv2tWlJ3eE/rIJ8C0Eb8tFhvDkp1IPmOS5xb5RPIgw6ywYolLw7Bb0VIfqnHxMn+E180bRJTrymqAWz+18rSP/xa9geMVC1wB+1nAfzLrDSsGwgX/dIvSBbHRblaJBV/PeuJLvdkvPOC5WC7IGaYuXjFerFv0SjFOjWZguG/turQpyUy8YboeZw1jzULxVK8JUO98dyoNurV7qtToFnW8AvkJFhvjcqGZlr5I3uvmDV2qUe810sWvUIV7QjVK9bABu4H3eGJb63VKt1HWbRXlZz4MM1CFe9MQ28KKG8osyzFbyrSaKF+RxKYvGb6/WgHgd4mXCKLIwnhEvcRx6MlPsaYjeBrSpDDJTqXg0lF/WoU2VoSEPG7JYx+W7RgvUXC1P0TXgG8CAyHeLS8powbgfN4ryuHOYiWxhNixSyrNQ6lWf/4r/cndC5I0adCPIv4xUL+g+9KeIQRy9PdCrO6Tq4Q/r6FIA15XDMrhcARQ5V1AoDY0b2YB8Q87jcRXghl+VkrtNImsMn6pGaffiAbu6tXw49vD4k+Uihf+MYrpALwGueSRO43wemRoMUwvgFIqSZ6IsH+xKZ6CI1EHLF4xhV+52A1xGiBfBKWKZmrk9VXFO+W6rCmOmRGElDzAGwgtmBuFSxILg0XSXggo8XL6Yb4tgVzBtBQwLP8orEgRTAibXqkFbEewANL8R0BjwCeGTKdodAAwolhbWJ/BXPHhgJRBvjJBP0F6C6VaxzCM9Y4R0pSFHDuiQjZCHSz4PconoK+J6MGz/SZb5AujDfEC3LBNLyED7XB7oMq9WCNtZ1IEqKBfWDaJ0Ekt4bOHx1iqGfVeQuZJcDHhZxLAFvlnoapVY3QFst7cFw1gOeQ5l5X3BM6qgM0tIr+blWqRLi2NDbueDPkRpehGNGTyuW1G7cd15sN0lbxy4F0arVDFgrHow3rvDEqbRCHEabQVmTg3cHsBf8GHcwZjJe0NodyvQKViv1MrtrjwG+oHUVilvLJsFAxpvaGXQAYAv1Pfwl++X5IpBozYW8oZRx0xCNBrILtRCOtFfdwC+SDfffSaA0AbgBjjEnyHgRLYC4wS+dBsEJU6grfmCQrco2YV6EY1j0HFDqHuYR2/Ep0zzmRr0uiBHdAsLowz1eojGIeIl2A1oP3K3nqkWdXRhUFiZ0sEtEt0h8Obc7lKxqyG4WunpaeRTaO9GaxSpg5BXxtCmYRXXbXShz716fj7sN4pjTwSZ2ayNMZgqQqZcmZAhvws8R+2BdhWM8ahuGtuqQjGU504pY0BRXSUtHxYU0F9Bugtwgi3TlOKxa7fmLXmtZBnEX2rGFwmvmaaMErQF+NRFwuyWwUYtG8XSQG5UKRX0nqxwFAwuGRzJDIxlaA/YUW9YBd0IBGh+ySsq1EkDmSoS8iFDUEZVQEoloFMD/rj1ak/bN3otNKa4gvcsgD1Kx7RdA/dRV2sV5t5z01z2P1eMS4QX9OxSKx95u2R8Dolp7C6V8ny8b+Rrf2HvbLBH41HTNHp/oZnBP7BH5T7U3f0dWDGT9/gmMGpd939fN0F12+D7DMFf/Eu7LHeGRgV8y2L3LyHlbBfq9tz8X0MWxXzfaGBf/69+Cg16qSX/nZ/YIOS//QNbAOOwFNqwD+yYHMQNpQNjs4B1i1y62KgzPLJvEJ/RBdYoofGbx3aki+1UMYBHcKBDZ1wW9MNTZa3lsa4JbBjSD0XKgzIHHtKqBCVD3/RA7hSek7uhnkP2NtDLeYqiwZ5xXLHYmsswZYL8askoRfpQDnVjXqaWMNy9ZrNwOiI9nUc+K2qbEdqWbgn0A/CWApvn1bYVr0kEzi+yH4MZIMqHejOPdV63VC8Wn2FsuiXkK+A00MvHLpqXDfOYR16rDLq/WZov25SB9BXo1S4y1OAfN3mwJcAwaC/EQe8NKGLgFkAPITpQvSUZ68zOE5r0hXUXQe8V86WmjfUg+GpYr+L2tkoGTKuwMw91Q1453wP/COlVGevIIvYDED9YGEjygMhjmwN6Ki+DL7XE9gnXjW0EancPpoe1ChXwGvTZEsbfEvlwyBct4PIBbGkEU788JWI7D7aknfc8sBNIr2B9Xgz5XMyXNbkqQ59jG6iBv+hF9imqO4D1ek2ouyofEM4a0rVNTCO2Ed0inp9gG94tKYa8KWC5xfyph34l9o1xuwNbVsz3aZh68iU0n0Y2A9pTxz6zEdiSYD6D/oZjuUA3IQ3Zb6yf0XwFaKwEdSP/AclVC3gib4tAA+WBYIPNAZzIhoZ1Y74De0vgCA6oJvjs0AdQdwnZjxr2HTzs45QDWRsW8of9mOLcVt6QK1T3mYL2Qr3LGn6DrUP2Dt5gU1eUd8hWih74qjO+CryAdhiofsAN+KCf8l27XDCmz8OpRVXmQIcigq1FOMF0YBs+BMFHNMNcyaxth4dni8rWfBCkfAFwUpg3CCe2OVD3uFbwvEOn2MxmDmKNorhMuSvXqO4EbAqiE9l7bBur+XxLafdtVpyeKBDYQgHkjaL4PNg73JbAjnfBfx93wNrtm9RiTvlg4zy5gHxJGPt6oSdWUP3I3iJfopjX3GbfIURF7FDeM0V4E0o+HCjZQ/ZmHMhGF80RxF5jMVxSyOcznrN5JYNhzvYm8ElgXgb2qWCc6tTyM80I85txBeSzVvS7TvPYpD5XogbmecGXnxsF16SM3ylcPC675aO2rym/V/zgt9SLvmY1e9RvFToB8zGYQw0bfc2gfm8b/aJn9Mrm0Cn/pc0peqVe14JJ4d+wIZl0o6D1ZePv2BtvXTrQf8s0Ucay/PdsGOEa/197b9rUSJZ0Dc5nfkVYjtkISoFi3zKbtgktgDJZJJaqovJJU2kJCSVCoiWBIHv6v8857iEhSHKpet6pft6exKpIFHFXv+7Hj/u9ivhuh1c9KfdnnfJiiSH1ypovKz/GVPXabHCQVAezam7vuV8hr6fPy+sNarXyDDh15zcEtxfN6iPXrq3iDOAAqNzuIG2OvSo5t1Tmv4e7EstZfkqssqx+EVjw7qhZe5csZrUlPpSJuxKX2eVK88AuDmrABNS/B1+2rupaLscH4db+L9bR1Kuk4MAD4jUG3eyHineMRWhXF8Aa6z4p1nerzDEKBp/Xg2Z6ZIlfIuahXHrYsO6sWRl8HT5G28O4K4dX6V5zPyoPMIfmhfadHnjWAnz7Libnx7wxvua4nJavYNgXOg/8Xxn0pxViPfkAfXKTfvO8PqGzvWP+45z+Y7c6uGvvcWEYe0JO0h77/m2W7i8OopS+DuXKg6kt8dDinJi7m68Z6o2stGwfpI0J6zK+4dpiDIwj6rgP/928gI87f9dZpFfVfpSkuSyhz2hPsJf+DvKTPNde5XqS1psTUI64msdgqbTHGE/9Dspi7oP5KCVpu+NZLKwhMB3X6xJz8LPIsUZ5HPyWpmc1hAaW8JMm9J66ATxfrdch49y9inMFHzoGrkG+nHs/xnqcE1fZN2QmMUW5vJhZCJYxjn3LUj60D26yL/ET21yw3fO9dDE4gke8QWxLChXRr0tsRf9NPKd/blL3zt9V7+P0YDBGrIF5NyaQBfobSKzBNuvES2B2vXJ52Egrs3fMD0qbC+oH/Td197xabV4wPnpXSeMM2DyuCKdsFCsN8JvBgHq5X7FsxMYXR5XFbL+a+r/uHU+t48EA/cZ7xUYU098Cw6FH3QPIH9x08ba28BsWNMb6RP8+teLmr0mlcYW5Xu3R32L+aO/iANzqtGL/nNp3cbzXuEus/jRJT/YX6A9ypA+dpNVB7Qj+9BR6Gx+3P1q/3HnubhGDvBvs7TXsXQGOweG7SmN2Vk1nTILcNj7NyNN3U+sghozgQ/sW5gmeA3/brO3tWvbbarOTvLWbjsQJC8YqB0n5zktq+B9lacf75RPI4aQRlE8v9w4IbI36vrX4+Cm9654rhtXRJgxicfE2PTmwELM2z08nxOHi50EHcwpY5wFIymBx+LZ20f1iLIZ1se7PEROmjd37o8bul6GfunNSbcQnxbKfnVxOvhIMNgKo4V7NmvXqH+Pfvo7NV+flRT/YHx5VvhHjJbv9+JfyyeGo0fy6L3Hvu22Mdbp3Nql9yzMEJ7V2ZTh7+B4/Ft/Xbg7u4u/xN5N394vad7mm4/N/FJvf58UGB/F3ezysa6q5xOX/6Q3srry6xriswc2VdJnP5LVUuASxIyUuVanOjsSEC/oyfG6UP1ZvZ9THquYBUXevf+uyTPOwzLjWsi4bew2rIW0L59gf/wbuz/0ciQP6cZrUzi+AD+lcJgYf1/B/OyRP7ReHWq9qxaMpuOv52/TtlfbXv0mVvw9SYXCDZlqs0S6ILZV95srKjSu3MiDunNe570U/vHd5/k6wbfDR6nCdB7Nfq6nEP3uVRtJBPQSDjCGAe4OLOjfZ4BuagoXEN4zzEPKq9rsnyjsRQzXThMaHCWveSepBRnd3iGGZW5LcvLXH+OzuzreYQ0KcgBjwHHOtFa1P8PnAb2BxSixpWEl617HB/4CFdxZDwDW9OPg8B1FrPM8hRC/kXaJLBOWSg06XcTuk260+i+WBS4zlwXebh3n8f4D51TS/yhyurOt5Knnc9EDy08XReT0S3QCEwS4s6+iXyqDxG+XJjUGWOboc7FFSmpM+TIvVBeTard1hTPCD+D/9uMe1WJw60h/jto/wHQvIM+Rgya3OP1abwDT44mvoMP1y7ZL7EYwjj09FNxbdn2uLmcQaqT/h+pXhWI4qjCdQL4OeFu/rDXA7jRUXR5hRvVYZzA5zfdlnnAyZHFYk5qW+XFQbzWqSShwq8RNjmE+QB5qWa/uin6c1rIYvflHG1Lwq1wdVn7wpj73o+07SxhViKPgm6hRjPOhx5W6WFq2YvpSxHOJeUKbGVTlKwdMYN4HbQF/WVnR28DneIx58ij8OxvUcEdKz1EaMWVddEH2qpSBJxTwfonjRrAbcxlMOKykMq3zHfd9zyaNb8hPvJdxzJP+DzRUf4NczC6bMdZMcys9VxGXFoxnrkUtVqwMfNvgxsWEPwh3SLvfi9it9D+NgXM09L5v59boVMUdNv3wh+2/lwdi6YX+DCcpp/qCSvsuwfvuM1RCjMkdRT387x8Ro6xOUmZCXVD42pV4931tCvbdF8izY/zuU2Rd73q9znFX09U5yE4Nu7YIySGf74p8XErtGxC7mWSuKHfXKGaTatzW2Z75gMHj7dgDjYF55QRClLTPHyfwH2xhIexWLuNYtW8K3pL13Xj+eBOVFOSwv9NrgHzfWgzdo9K376iBmrvyg8sRHVW/q0OXnnld4yZM4CWTxedyHkTmL805Z9mNyTOD/94wplrERbLwXl2uD2W6+d5IWF92q5DYWA83BNyed6FZs5oDrTk4eNzrBnsTXE4lPUsuLrMbFzyH0GrbIhsuWNakUF3cfwZtgiyhDzpjux5Ue+KgqI7DeZm6u9qlJvjQgty8zPrEGp/BBk10ZuOBaswKCiniYin1YAZfmeNMZ7W/B/ohpF+DEe1PaVYX5nIZP/l9Of/PTYt/fl7wP+Taw72OzGhcXVyhjQ7+5h3ASoF7VGlyQ/jHPUy87g9Tqg9dLTom62KydL6r3iAeBhU3mOvA/KHajGmONq5rsxNqfDdKgObYSzYdAr2bVPfDB4C4+KzI3s+hWKve1j+lhPHItexQPLt5CF4+BDdCzWS1teEmR8cxi8SxvPihX7j/LE588JyDh5ee8Ca63DDlXl/rzXJ/yf26VI6zuL3PEa3uo+/saS6eP+qS5ZvEx6j8efs3LrPLM6sP2i9ZdDFfarNQqu2PZk1z6qmV//RlsOIr2gfHW3VsAxGF5pbv86S9S63Tya5ExzQA0PD06e1oGfKZc65UXnUS4nugO1IHnZJrLvdlqfNC8K8qeW3PlMxOx32U7jfjdu8ZCc8yr3HnN0TKrveOx6OWgvuZ3a/eSU27msitzz7H+uPerZeC4/Bybq8k+Y/vlXujjeLKUiQWRY/1AYrrHnHaO4WDS5QuWqebx70tl3qZlxLFNcCbJMR6ul8n72w+te+5r4prkqdfbyfe1mwdX1gNshznJgeTUl2UqkkuXPfD9f1j3M9y/K5YbC5apljXvuyc5FfCL9CS5tbz4YzqAP+Lhl2UZ4LL8fZ++qw+nfesh3rXu/JqVHoTMl1ckr88cRu1t+eEwq1hXXFP4qbhiNfcTia1lv1by0ru75cNe5c6KrcUM+nZgMW9nEcM1fytxeO2+iQaidxZiOyljxcKL0Q7lWcH8GHB3UMa1Fh55YJJaS9u60Fh+cXhUuZ+dVyz/JXq+q/JkmcnPlf7LvJ45AJR7V7m/+mIZ6a958RZlzitfiE0gg33M7S0B+ktlJFcCH1Mt17/SV5V5Eozn/Lz8tVxiw99FO18vk1Y9gPBZ+Ztx18XZN9ORx/Gv3954q9rlxXflCuGCziyNk57h3erv8kxzgWtYl/OpnJuTsu+Jo320f6lrLR7Pl1hW8dd0eaYjx0WJv3gWsD+rcP+rUr4fK46pXVqMw8i1U/CVE+b5JtVyf55JmeUZjYZVZL589/7XYvnOKsq5jubRz2tlysxZ1C65X5bvwwkmvK0Jjkm+k3tuFwe7/Ynuz+g8OA7oADN2eZ5zcdGUswu09eW5mGb9XnFMz2aUy52o0szPDKxwozbDX8tzKtzngC/N94Ie9xpBZuxyfgYCOnyxLJNjJvca60Dyw6ol5zkOhYOUF6u+lm2BGDLm0X1EwcPF4WM72lYjLTc1Lnosk7ezGs8eMdNivIMxS/51dRZiOZ6DT8DMKuVnSS6UQuD+XrOmcmbdxoN1D5yy7KooBnC1Ivni87wtxEn3nxbWPfdQuXeVahmJhZpVzZ1eHByeoq3ji3NwnCLPlEhuWXDuoqL7k4veQfrrg7VY1CzLB4c5iGQ/a5HjIcZehr2/G3RCawE+lIKHob9o0EScK3FXTTE67r4dnN1Z98DChcTqou9lzR3vyjnRZnx+kO5fWfcA/P5ktyjxB2LEpl8VrMP8yyfNn9++bMu7ev6jCX2vZ3vN2hfw8FzlUK5395pf2ueX8x975cvmxZfKQFf2JJ9crrX3voB1lhVZ3KtDXz/vpl9O5SCeelspH/5ca/hfxZRK+fys+tXcUTWyLmun1f43czznlW9hZsOvVr6ZU6oWre/KO1Wv4TePxL6aXzgnwAPE4CJpun6OLU3Xcg5lpjBwZU/PatXLj3sqq3Koc8zcQVnPS+Vnq4CFOabkmBncpOlHS89f1dVeiIlNxM39Wd73byB1kSV77c1DOdtaBr8s9sdRJc1xa0B+yH1CyZPLHkVytwCOHCR6Noz/H9XSMuMHPWcGO4uZx7AW+bkH+f+wmJYRC8j+NNs9iPWsHMeby2PQ9NMysTs/O2VxH5ZYfFBMmT/jPvqg6aapcGXBQCvVcauAlrhx+ABcJdYxDE7kfFazrhih+1KUx5zaq3IXWVdyfEa9VPnmoHmNvirqF6jbgne6x73EqEWzhzFXwaGKy7NyZe6HETea+RouzoGr4GuIH4o8PzBY4g9jM8Eu7q0fAcCqKff/rAX374E/xJSunMkQbjeYvEOsjbl+jMrMSeIa9wxSnr8SbDhknFXhGTtr0UgsnqEccKC1Ms+X4m9gUMNKTz7dW/dejDFjYr8Wuecj4N1M92V/5i6yKg+diXU/jaxFNbH6g3ZCXGKOBTE8xruXWt10t9KPRN8bcaXc+GThY7Eie1YLOfdRvruzUCagHyg3ZmXEi8KNKsRB3W+n/0x3hzzCZiM2vVrxpzLPfyGOrTZ84OTVUW14+DI/bDbfIQbdT63Zu72TL+S75axHCv/fPdwvz75gv13Ks05/v/9w+IU91/o71fHu/u7lF3CsQQGI835bvzz8Is5ZzV8jniusn3zlHFYD0l3UTvabX8e6h4er871F9xvcb/Hz3uBbQFYNaum30/HF7+KH0MeB8jD5+dWuPJ5z2i9eLLGDOVPLOhB7lvwpfOv0KhVbhZyS0/NfZpI7hcysadwdHGdSNq365V/g0CcLKWvd3ZxWm/zSBMs27PPmYL/aLDNXWk4+dTvQtYN0r4v2L35512f+8846gp3vD5ood1Gr9v1JegzbkH3lRZPnpKuIwdxBjMh/bAUNK6z0J33mk3bv1gVQnVcHz/cUEDuv+GuFZ7b0/DDnvgcagvBCznCh/0+DtFoBh5U9g+a7hDk+K/0VsffVu9qUZ2I+humg7zTLnZsJ91ytuLbLfNqgciI53/SKMXXDmlxxo+Lm/I5z89OMQyx3hynlMHgLEdab5YGNOLh7lH6S76e8q/FMzsIHnjOvWmtwP66WzrAOXhQO5Az7WcUaW/HClrxpcM/vy6zmHZati7Vc2UMRbmB3bzFYcvj0l2b9V8imqmfkyu20aWPkF/IVB2sOWy0f7pHvWndRZHPfKj1nn/e3izPa4Wl5MdmtFX8d1zoz8Dxg1KJxVe3P9qfNalhLL97GwKri4pdrxGTHVau2Zw0wnpurtNhcSB6d58+o8taiC5kyr/i2lzamwLsr4EH3oHw5S5NGt24tMNeTc+ZsP1UXBzHsvLqXTov0cdYA/OwoDda5RLSwd9fzxYN9fh9THp99uvP+/XvbNKIPpsF/48A0HMflLx+/XJu/PP6Sjwl+ebzrRfjlO/zFG37IXzF/sUjAagHvBrwRsHDIVkL+FfFuhLuea+fd8oNpoG8URxE0xGZ4g424KBX4+GSX3IA1WMVbGzRHZLNpJ1kNlYPx2ILHjj3Oy+NgPBZhY47vrYYfrOYQLSeic2DLgb+aiNxgAyHHFfJuyLshGwjD5QxDlguT9bk6EQtH7DJi4YhFYt4Qkcco7NruukxkKuyPbbEGi+F/KYn/UdfFfa4OZ+yinItyLspx8lwrzt8TQeN/lKEAuHIe7lMOFAMX0cd9P/5AAbIru7SSsvtE0BHnaosonZUmPBNvvJKxaIf7VNArPXmmHSJZFeqjPJ+J8qnGLEXxDTFQBDK1wKEk16a2rkDsWATtBqvZRKuJPM7hmZ4kq4nwbhC8oCLeH9EOTj0KV9rBazGvxTLZp/N3/oBaPFeJ71WHMIw5/pL9gswSZ4kPL677syVPlvLR5Y1X8/aeL+pqAs8Wc7WQSZAkupAfNn5xD3bebzsh7m2LtW87Nn/H/CVXacbbnNi23GaL264UjPjL5y+XvxypjF8J6+N/3g/ZAhtgfdZkIXQuiKW24X8FtzhzXSJZmiCfBf7nsDg+DlSGrFgV2h82/md//5sPGJ/9r/7u9/c8/zfw3Wff/wZyOD++//0f/P1veWq/sWO83yzI2xGhg/L0gYKYX6Emn4z5tN29ynr6pmljns3mb+RlFcYsm8+M+eUQvybGp2w6KWCsy6au2/et3rwglls4aE8HqLd627ExH17jc/v6xhi0bwxcnSyG48FaF+tNddvj3rDXxuWCYEGhsrpgDMf65kHjGuZ9bRcd/t6W30VX/na1qZvb0ajVHt1ctgsEN7qgwsFkYEyHd+2RwRedGyyCqSza054xnow7Q/SCQU2zeXs4Mlaj0PakXmuARdAGkwQoVDiSF4UOIQxDbhl8kQUf2m9cQwTDMbp6ubkOPn7W2snj2LojCqs95dsJDL6ctJONhlnfuM7a4618htNJN5vNWnft6bA97mZoKC5h5d0g2yZ5K5S1yvI+ZNedZtfZGDPHeGfDEf+czbObXPhyAdK/KSjWFg7b98Pr22vjZpp1M5FNXkne09KeDyfjWS4dmWTrZjqcTGVC9DKFE536aHiFkVxOJj3j+nY0H2KRs+myz09ZazQZtDivAh1EKbbh7gM79kACItICXbZsJM/+32aNJy2y4tO2ZqLQJfH8X68MlRz3uPy97G4o89Gmrid3WUvepsWWIM6E0hiORRroQteIpWStp8/nmQ9o0p9jQCIPmyyvcIorxs0EMqeg0NICCzG/5LtQJqP1WpfDXC1eqHV7c/N5rfa003q8JO4cNRurSu0OByvGy//G/WwKBDJWr/vVVuYZjKZz2xtktGSfmMAHhm9Dg+aX1xnf9YgaBos9KrSRV9AWqBkAA+jlmvxEm85UabLetr5e1xgDnbaz65v5A99klE2p/Fppral+DiHras6wBQ3+vFTsR60yJuOXmtUG+1lGmJIGnHX11hdx4LaW4+sohzB2ll+0KU0XYBvaoWP7XhwGjC0KdS1kdIaQImy0PbtiC8YvaTXvjW/jaOWG0YUdz3OYPWgDGZeowOuom78qAmg1yzCHfCDy0W7JI2IKwpIKjemkd9ulphrnjj6/XVRwtZDaxlp9pzV7gJB6q2acp808tqFvG9KRmYbWetLQ7fhZU+73NbWst9aY+3xU3peagulm0y+Pyv18VP73NfV0VNPJojW7aXeBcq3OzdLznNLOJ/0+XF/eDsoZebnHitfD3s1kqCtMFlo4k7L0kdt5bRRbKy9a6JHErnzlY/NdmADQduUraNvdyej2etzq0B/kTrYhysI+cqf2WM/Qck+0WceRq9FSe5/6+l42nlyzAcjq/KCRTzyHpV5rlN1lo5adN5F7l9NqPnK5S//cac8AMSKP2bO6Tr46f6auW5B44E/V9ZYe7c9U9gsaGf6pykFBY5U/VTksaLj2pypHBQ1K/0hlcS2tr3AT9T3i/UTF6EzITq63jN7wbtiDKnUexM3kJtrrt7q3cyhSQeO4nDEZjeoufBKI6S209ZORl5E63fU68WOVyper5AAwGbdEkXOQO4XZ6R2j3Z/LuKnl7W43u5mLK3lWeWldL1Z+JHQiCZ0+OePseTPklV9qZZ1nSjtSOOdQMLbWYzPjDIhEdqZNVUbwa6vGMA04usUjsV4n0Gq3Ym06iO4EY3102L0hyrW7ygXlOVBLHHhi8ett0fpIswtnl8Ppf7MtL/ccu5Pb6fzyv9cWjXNbGhv2/3Rb+VvplLG0oM+cLbMKK86nmpOXo4+n1sNPj5+005vw5YCtbjYc0Y3kDUnqFESqO7qd8cV/2tZNOycOX25U2NiLYwvXx7ZiZN9o6Uujs5+M7rPWOEYZ7Bea7dw+tIR69yFfodBL9rnkVyhhtK+F6YCETg2JElbt5+xFOtVmB7eg5C0hx9SUZP2HuU5w+gU9Zk634PdGo6GY1AI01fi5PR6ORm0NyNZbFPAiKtrrP0yXFvYRYf+ZJmWQIB5TZczPxhrlY4XZtvvaMDvoXk5m2ZhAKY18NsTH9p6NlHM/VwT+Zns5d8x5w/VwOlUy7i6Zw7YwB9JXvfkZ7dCI93kDsgAa2G0rXf1KE2oW/7gC4RnPh7MZHUocxW4cx0nkOkkcMblZKC/fR7QsBhvN4XGaIVLJSPJn/5jON69+kiXYetb8Si2ZWvTWW1ze+WMtDp4MOEFIGkVhECZRGDHP/LUBr6nIqrH14QXfGN5a/SVzW4981rgb4tBtmBIm0nka6D+trcvYh22qAqy1sJYLWfPeeUWDrz/kvdzWyR1s5RZLCqgs1yYfnkIRwDCW3KKX3Rv25xXpkaJvVnSeVJx126O1oG9ZdcpXVfX0rVSGlHmZ0kgrzkvjdr5j3M7juL1vVnQ+r+g+mfCXKrpPKj5OOFir+Yfm6740X/c75us+ztf9ZkXn84ruE0G53zHfvKL3RFBfqug9qfiSoNw/JijvJUF53yEo7yXF8L5DUN5LiuF9h6C81Xyd0vpY/9B8/Zfm63/HfP2X5ut/x3z9l+brf8d8/RfX1/+u+X74H/5w5LX9H/2nhbh/Vvo4m4z/ov0f13OD8Nn+j+e59o/9n7/i55+vurL/8+r1q79wA+iV+Uof9YtuL+fzm9lry2rfDEvD616pfzu22tP5kDxhZjlZP7Y7/U7YC6PE6cRR1HH6vu3H7SALvW7fbWeB7wReFmZxFHrtzOvH7Q4G4Lm9fscJ0JNkAF+9dmzbsQOwzlfXw+50AjBoj1vML9AEetlo3n71+v370A69ANoXmdsuZmXHH8z3PmiiG4dJYG4Htm/bvGT7YewGTmQ6ju94ES8Ftiu3zcD1E1yIfC+JHD8MTDeKg5iXfA8kP3ZBDB8vxR6aCeMYHUZeYAe4FuCjZ8eOZ257SeCww9D3vDBybMfcdmywVRYL7ShwE3TGqq5ne6wKghiiUwwsCR2tiqWxfd/xTS5TwBlFAZhkFMSYpePEvudLa1i92E9iMwhiLw5lHKiGvmzMMoJIOdwo8Dkm34w8j5v26NHFGvuQjm/HgSNXPBTGuFHNDQKZEToO8MvhJS9mfwEqxhC2bUah68h8fBsjTrzYdNGCS+kEfuwHCc/pbPuh53oyHUwGY4ZYfdtlmSjBQnmRbbpuGHjadhJwPpEZxl7CUYqS2pEdiEh9TyWPBYMY0BAELnNxvMQJQ1za9tFWxLYix03QHBYjDByZjB/5duIkbMuP7UTGELpJ5EHBMAYnlkt+AC2KQ6hIlLiBjBzyTQKokrkdQxSiD4kXBZENfQgSLInMJoi82OZCe2hVNMt3IzvyXepfxAuQiBclECil4spkAiw3Fi1yqZAIEEQImEGMpTBDlNZRBrEtkc6244ZOEqioQkjbc6FE6DdkzRCaFXp+iNVC6Mh1wPRiByVdql8chBwFukOnmCW6TFy55CchVgkTYDHXVutxoU6QcmhCGaBHMqEg8F3XxkLHXq6jARYVQzMdzFY1BmGZ67OaHboyIR8Bm+17IQpBVX0Zqc0mMU3TCT1PTDNIosALaejbCXtWFYURwIRMHiWJVJHRph9EbsihorTMEpYbwTIxI9eLfF1rDAgNxqYPWcgqQtNQlUsNFfZFrh4XP2GXUYSBsF4IA/ciKrwd6So6PpY4iEIaE9qSOcYeVAmyh2Fr6xH0KMLwYV9JoqKH0UYI+ggQsvkjo/KoATEVAKbsygphkH6cAAygAKGadJzQJH12GSYqCqwqVxYG5WK2QaSKAknBUEwv8iJXzMXBSB0OfxvaH6r0aSwRFm0bJuokWhGgC41GKSe2pabvRFATn+MA2nliCVAwLHZA5aFOi8QC9A5rwHpDnolaFezERinqO8cVRjZMhhbkxLGrJuvStCloaFckGuAldhJhjaBLUDxp3EZpjBalPCdwA19bB07E0J1tLFWYoxQqEOlhOWILUF8YYwSN3qbUBRFgmGAviLUhQsxVphNTAWLqKrBRvAHkAvTHYnuAX1VxB5qZxASuyBGkDxw4F6wch5XgLxFgDACAxGDZsKBIIQiOzrbF0qC37BEAIWoJQaCBREYPvQG6wCABIAJTWEO4yCAxY8CojAoQahOlOQTblUtwSI6P0QNhgaOiXiyB9QmJNxCutA0bxxqLKkGLPQXZxHZcICOszRUX4noAhxDQRbei6gBhAUl9E2vqqDJAnjHPxgFwErW7BC4Lw4HOA2ZUTaHBCawgpjdKIFRBT/gP2Du1HkPNnYGXwFPANqC60DG5BGtxgHtmSLkpqkMbQsgPSqpqhF5sV5qCWUNjFa89ypSq5flulCOoS30zeepMlSakb0mAl54LuLIVg6BdCUwqgatd+gw0xwULYbcKg/QBGKKJpU20kOsDGIhALtycq2oK14uOQpPglBeCajmxKe/EEJACjjg8QuqHvhpO7NHth1wbm7gkiBcTPl2CIHiPaIPviscITWCqKCTACJYEaEFFeAEvUPdDmE2oa0G+hpRv5BMC4YuleT+xgcQxu8RSJOLhkzCBubm0Q5d9irCoSjHBDDbgq0LASIFKxF2Ul5pAc6iJ50j7riIXpgZUp5LAK+hiwCB9QD36jONAHRV5k8Nji4SafGRQfpuLQUVzcheHGcQh0DmEHsiKwapJhrBisa8KYdNJkyO5QF/hauBePnULxAyqIm1j2mjdNgGmiadcJCBcAyYhtWTpxyA3YI/HNKvosg3H7wrWOTok0gU4n5AeHU5CBB9wcLbtmygvcvFJF1wBBwgvclTuoRtDlaWp2BXxedA/MA+BbyyGrDXAlZDLxYC3ijwlo5gtJQNkDh3lTQ6v2gkdahir7UNSkIRvelhgNZYgoDr7WH87SJTxAZN9ctbtGONRl+7EMBVcwrKKR8ffIQ0WQo4CnSLpAlWevtTzckCCSWKk9ImK+UREj9QN3M4VukBkDeitYDt+IDQU4J7EQC6MnKAjpuICu9EGuA04pDYVw1OTgW3HNBt1iTQxek7QNS1F5IZHiOh3fFkx2BLmFWItiHaueP2ALIksT3iMr3TKpWsDpYNIATKOKBKWTSaES4haHUUkDByIZUY2cCRS1k/UdeiG41CWO6SsgJ7QeeBP7rVCMLFENDfHYdgCQgJAOvwpNF+dsIv1gksMQg07QFjRqCONY8LqoLA25FMYgi0LRp0BDxZVAgDKSgNRKETXMcH5fbVN8jg4TsKdGBj9lJdDJ6SqSw2aBk6AUcFa40QFDY2MgZAmaaMKELQDEyQLgOcXcu9Q4RObXjNHTqwK3YEH8wU6yvJgWUBiKVDXVV4DUAQPANmGT9HwAotE7cIAEgBOnLMa0DoiIEMXJQ8sRqIDGHNUk0kD2bsJd+OqdyczBusxIUV1KEBt3MUqI74TRCRFT7yAnhxxJryukkePsBKasP8oh024OdIqMJww9xTQf4idZCJRooXRwg1i9UChAMGyfoACF+zPFUkJMwERcDB7QA/wFiJR0wkQjtB0IJ1EgwBgIYmgiCEUQg4PzJgVfiDylNzT1hHDgV8s0QhzwyojvoCHiNRdYc4QFmBgm5GlYB3+BQUKGAYDEdSiGaUGDLyI3KpDmBHFFbJHP9IlxHoDOiEaGLQSckgQKGyb5J6ixSDsGE6o3tcWBaW35ylz4EiQr7sbwtfRA2AcipoQTAQsMKOc6GEeMXk/Wo49BXvUACUWpo/bqpxwr8LEYJdQCPX1AcFb4hTYX66gDveDqFYECdFixE9oGDP2QIPcnJ6RtwiXDSO1+Bi27JBBQWkd8V+gP7BAF0GjJ0Gm6BEAmXE9UCxQkg1fDYkEsQlU1iAOGotOYfBoRuM6wAJQB7Dm0YRlmelKoYn05DCJnLwErsOgjWG/RMWwI2AmmJ0ZEQ9V+yBQaLtEKUEOTB71CtyZhig6BLAOPeoeSI1iDpSBdgILDJaeEINxIkCmg7WNc5IQkgjB+4OaRkpRfU4dMARjdV1Fcnpz0iBPgHnpqdAfl8IXDcVSgvgJuYBa5IiG6AQRHy4Fvjpan7rPrUionrsER3A1GwBmMl+jS5PwXVCREhxfJQUCBzFDUqiukTr+BeVl8IkhBAri5EjwgtvoTskZRAQjERggY1fYATIgirRNrpwsKbHboelirUNN0vhkDbYEEE6k684QJKarcqAiYhKhxsSEKzB55c4gQwyKTKKPjgooGSeC4gB0DZMR9BAkoDIAYeEDjN6x+lBR+Eb1qZBdTN3GnEE/8+wL2Du/n5A4y6wGHDGQEtJzCLgyUJsSdIlX4BJO7hnBfCMCg411UxTAJCLExyY5k+aSAFtuwsAQ3j+RCAJRJ5NrUJogypciJFuJ6TZACsUtQokRzgccKMQoYsA4fe7RAitwW1eV7h+1AWFwGGL3mCLzHnBm8GYa3wNq4WTp/KGWqtv4w6N5MeRXX8m8DSi1Qz6fD8EnmScTDDwFEGA85EjOFULd9ZING05oShJh5mG6Q12B1gL41MMCgjByRgZQKF0upjCgySYcqKsyZqMQNMQOe9WQFsgnxM8BzklTADmwEKw9moKAlEJAzeCCqO2YrJgXMBNBH9eZ+RpVUTsm0aFnjEI/j8Y55og4ZKvjBz9xXXHp6M5VN4HVo2VBbb3c7yK4BHUQnEOPti9YBIEEpAzbEInky4AwgFcqjcTe4gHQJRAObpZ+SRXETWA4EnWCqMfKyuGYGNsjhg5k1iCFoMD8JhHIirhBiBMqGYVgKKATGulgzI4Eq8zH2spGYb2ATUSFoNRLKbtMLnKcYDQanQBWuMaSmNIMHXy6L5AlXDDSzGsCx2d7AKgojrw8sQYEYXiHwShmgUbAc/q5f9b1ga6H5A2SO/ZVJwnUEpGTn2ueCOjIbwoKd1fRo2csQyC5tmW4GpAcMKCEO9MMCmgCODEcg+cr2JHGQfmZ3YOJqbw8hEwkh2G+ElRHkgSwsFjzJzHYIyk3c1Ch5pCZDsOQPZPC8HIGjmCBdMBnNk5zarBQ9MzYLrY1fxJIxxxTpNmgkCSC5sq5QINtdcgoKKwZxX01aQCqD5kmEraJAUvACp7C3KiXX4o4arECh25EVR7BKvyciaBQx8pYzuGXXOHBVOV5VsKmB2ckhTBVbQWSB7PlstJsZJZYCAf4SKUMAtVv4AsQNxQgU/LioSom4IDs5pwRnyAn4jJsWteCYTyokYth2Sp5EA0wIjhIVwMdQAoDq1CSjbHyw5j7KB7H5KrNQSJwX2pzoa2LQeLkMG5irlkdEZEVyu8zDZKoLyRlBhI4XLHAUw6JEIA5GgBwmOf9MHPR7IQtKKOCB0DUbsI7aD6KgoJ2c3JEVNXGkDBBx+4tA1ooRygWvqTICck8KB01zUuU0kXMf5N1MZ4RnuSTV2GlSacY8GtAhvg+kHxASEjNM6zEvQQBc6L8kB4m5vcNmSfTdBoWhAGFwwjdl00GoF/MXQHQGVi98HlAMYTm0AiZ2dOkhy+ZOQyMqXVHc1mo4UpUiDbE/2KVQG1ixsaJo7rG+DcU5sBISVaCuSZ4FQaYGgdj2NwfAU/BcF2lT8zBhkIYfU3MgZjCP8PrkDZo1gAWGCgAg03qthBCixjWYFLhPDX5OPY9RCtxqElahA1QqUT2pZQDYYwJE88QSkzdopwAihB8yLyJ7ebrDoMEfwAK0Ilr9hU4ydiPbM/VsJ8JtISsKM4z+dwY8GVdvEhDYkqX5I3bOzmpDZj58jFGTa2QQ4BrI05B+3ae6gBl8bhjBA4plkfuDe3hmjDVqUoQkhy5klsJNe0JdYZD58aS62i6D/GpT8O2aTKxcgFJ19qOIKOXB+AOy3k0xySPSlxqaiRhEMPZPM8OBALbwYTDPM0gIAtwTiJdO4YtnIjPaCYPTDgbkCAXzF6DBHhr7k/4TLVgBgobACqorMQIrngDsjKPO3/cBgnzrA1WBvGFibhVN+UiCt8lR2KCRL0pbAJKxfww93g0lqf7BlTCv6gL8Zjld8hrgnyvEEhGwUfgUYAb9SqupPa4RZUoWsOtwd3TLS81E8vock/EZCI8yiMgpn8kjR3kYSbwmUkbZg4i5RR0moAwUjIsVpJnDSO6Zao5czOuRMQRU76SWUaMpSMF0XBw1SR90sgWvBHrRvPH5NUvcy/FUTruOopUDr/CBecGshar1GH7NqYiaRxFKtgeDBoYFJLsKkUC6DNzDpIW6a5jTLRGTAVF1zyIz0w1ItKIgYTGvhw4JEH/5+eKjRgIluGTnkMcihBYzxCjMoOcrQDegT4uRYVxS7IJJh0ygsDAGQAKwQT5IGgEHDgPLOYbSMwn0Hkzg6okl9mEBDXzXaCAsTa34wRPc4cecluDzyvYhqv282QmmvKYuWSYozYITcGoQQQwDK1HzGUAB+rt5VzYY8goqwpIVjVibsEjQ4Ia+Rr6QbVjMifuFiZKmUGZmJRkAjy3Gyi/54nWcPspUI2MZV8S1qVJKVaDfwapgbb5kkcMGJRAC5gscBNlqy6TIdz1xjjyhDtjGFoctx6U3GHKNnVMOvTyTVruoAPASacUrkBhMGWHuWjJCzDvB1CQPVospZoXPFog4YYHmiNs0pNTwj79HTm3br+RWjHAYRY+CBWgqdwAMSgS8FjzE4BU5vkoU9IgTaMAb8C6TLjxRJ0UVDFxGGahlKerGGMQBCSTXxHz8kQfdJ5MDfqmtBDeG+w+Ds04z4vCNGGksgsUeUm+Pc4ML4/60jw0t45l8rgJDAIpfJzeiHvasDhbNzrAJX0isKRMgjwjCo7ArLopCblI0RCejC7eRYCuW0VkvCH9OUiyr/GhDTSOJJLA+uo2FKHdputASKV5Np7W8F3xHWGQ7zGBwLjcCYGokjDPVPGUSCIZH5cjlqVOmIdmQotJPt0zx8S4krJhFSkfj+l0POZqfebUpU/yElBbmhT6V0LJNA1pGXyyJr5CZgccpmBs3WxnLh3kCfNmaJpoUBXzsERCfxLlO/LQj4AsGsajXg6zxqJHQu25QW7rFgm4ni87zFDRJA/2ILOIkart5zkflAtJ1QB2GoK6kjjHOCMarp4vgN8K6HVirKLaGE9rBBrgeqr1PjPzsH0EIYxsnTzJFBP9BJPCPO6m53MkQZAH3r5s90IvoSZ5usgW38HMHZBa02M2vRnPmnDdPc1/Q4XAw8yQ+7Kq3QkdMbUbNp1vIUhC2eH2W5SHCdxKgRdj2KhRDtU7Yt/c8rHVa0OjQFlpnK6GFyFDZb56nqcxAiWL3HCFDXO/wF8eZcFsSFNktzLKs/I2N1KYscorwtBCDsKT3L3GBCD5CKEhmTjO088BN2dsbuNz61R35MATWAZuk9tcuoY+dz5BJhJfFRfQjQDe0XhGNwbhJBjiBERFLJKmsdg8x8stM93lxBxBVvhFKnTp5HTeCcRgcAlrqZsw0FI0KDuyjCs1liQKMpTjKSYNIKBuCcNCRuOatRJHjf5Nmqk2H8Uud6YBUq7wWF9Yo0eajgBfM60gn4R3cqi8Px5GQndMHzJL5n/48K+N/+PHz/935z+7k2nmhP9rj35+x/lPEBPXe3b+E4ga/Dj/+Z99/jPLerNXr98jcOKPKf8StV6NX71GWPaqM5y3hr1sPB922yO9xCd7tDuzVm/Y7796bZds81XWG2RoBtOYjGdzz0aLYMklbqVHpBMeURmjKwWSCbOZ8wY4+V5cYi4y4vYVYiZJOpaiKOTZI7hsUBjwRqfkMuuPH9DGGBw+CkqR7Mm6TOmHPg/flBD0gQMnwjJDuZLI7hZAPqGrQoslx40YpDFd49uRySGCdfKYH4JCkHMylbhEzote7Uj+5TGDEuOlMJADoQwCOQLQndiVc3YxuQswtOSRZ4aSmYfrgNspMQvOA1tkeeBB4MEln+kzsA1gtfBvFZkbtPyAUgvcEk9ZIbiJyT0JzpAagw85tcAYOLBLHhNvLhw0IwKM2g1LCIK4EWBzo41HyPiIE2VFIQ9BwZvGdomxVsjjaSHzqYwlMWiXiWj0xcdyYXol8j6bgnR4CBSupARRRHEkuSRH9p9KWBruT0Q+6AKiWwSNpYS8B94csRMiMpSKS9yqD5i2JV3CABysdsJdJY1WMO64xEAGVD1m+p8BTeyXmErlnpXDU5lYOI9T4c45PLiNkX34FxR3nt3w4R6iddPbMf519Sr/El1+JV8JwEdueSPu0iPIUNu7bDrgF75evR7fjkaq0NNs9KjQaF/RGPbYycawzO68M233HsTkupft0Qj3s/877DCf3Y97YGLg4u121AXL82CBncwN2nK0r4/ADoZ2JcbtBxl3dHtO2036/W476WHm/V4/tLuJ3enzOFXP7dnOqx9O9v+v/r9zOxz1/vrnf4EAus5nz//ywx/+/z/4+V+vXr0qU934FfgRlM+4nfErzpPx6MFoPMwvJ+PC7PGZSKMhMHD6YBrdrnwJHJ+vS2hiY3h9M5nOjfZ0IF/iMjvtWQavPLvt5I+kMmfz6W13viFfu79pzy9R1chrNfBRb8i3vHrteXt5q9k4aJXRkD5I1fzFPdCC8oi8ZSF5hplen2JUk+v1Fk7So+rxIRvZ2Kic1Kr1s53CXyjhwsZGL+sbYtKbk9v51usNAz/4a4fTlksl1GHhza03+Fi6vuoNp5uQIyjXbOdsepuZ2f0QbmtyJZ+2pIXLrN3bKVg/rdSmUNTpFQsl4yfrv8YFKTbbYcFi4f8cjruj215m/G027w3H89Ll3/9rPH+4yTg6XRvjn7hujEfmeGqOuyYU4g0uhH5rrt+p4ydjdPUeMeEUvxERd6/ee/aHN/8y5It4b/4LLKbNB0IJn+HDdPQRRvCWU+MfN6P3H3b+mY+quFMwC6WPk+F487p9s4kB5CpT6oR+L+tOetlmvvZbW1vFwr+eN65f/YO+zNjqcrby4ACzY2L05qzLLwGq4qjQlz3/s1D8rPf3cOeb7S2T/3T0n+4WWsGcN2fdn5zMibc+cCSm8VL1tgzSfOlW58u3unLrX+ZqsTC4z2ZKqS/c0Xs/ofg+bwQ2sZSQtkKdsvQLk7PSZWGrtJgO51lrnt1jKltPtQKrT6M/0scAFopocJNzl89s9tlgepNbyh3V2rej+ey9Vnw6sGl2M92825LFaJl3ZovroA2uD5OTfdI21eSnq3H7Onu53cKrQvGqiN/S8pXZ+lrLyzrLGb5roXJJnqWwicL5VIcyQ21waG5Km1tsNBvfXmfT9jxbSmJNsvp4zpcFC74521FzKt2Ob9rdq83C3wLH7xU+1+9HZNp6uiovSfzT/Xs3iJ4K5K50md1vqqDvOGr2/v41y31d0ss2+9/bJoq9/vCCkj3C7ZcUbdpVnGu1+sNR1mqtgV1JIc4qXLenV9m81NWWu9e9nfeFbhdD2j52+RuItdN1HP7ZH0+2++3ZfPsajcqF/s02JsUHucx35PlAhe16gd5GoFX+wCC2PuhwVv6ohIBhE10V3xe2J6vyVmEsTwUsbKGZ0XUBEHeZdddh9+UW+o16RUYKFeazM19qszSbfLnZaTa/nY7pFjY2hn2j1aIZtFo7O4VWSx7R0ioohrVvdpZOtpROB7d8lk2Dn6DWb9o3pXav12rn1zcL29tosWBOs3/cDjEw7fBNewcFpQkWnaHizZQ4p06qXaLgtn5EH/++/B+V49/w/F87dILP+L/34/vf/+H8/zhn/pp2No2Mz/fkAzSt3vDO1CdZjkYGv38BpjjhM0L18ZgWU4eodg0sGc7gWV4MBbpkmTOjPTO6c5M5bZPYbarrWIsQvhwa/Ht4+37tpPYt36XkHoRn1H7YzO4zUwVjSprJHJs/CVfIOf/NzjPn8Z4eArW2ltX4Waqq3xpv5Q2s+wuz276Br8haQOkbRBFyjS73c2/yntIujSbt3gz+WFy6PC35pgSPykhDnkbEtYcP+KBzmd1ewx0/bPLhE/m4e7Od99P3BabGCh/04bZshSU+rHfHFNnmeIf0sTfbMvkUXsmn7XC9S320zOvWk/vLJPJaGVzavNfR3rOfJ3XW8s6ocv9SYfOnn/5Z4CO64DWdbDssvH5s9W87vPK0+FpZ/7Oy/pOy/zIXE6xOsDODbmY9EZJ5lT3sjNrXnV7bmL5m1ZWstuB47zLYgC7N+9fBhy2VMl365taf8+jipT/36X/S9esKowSfBfWg+t4uSR/rcSm0dGdVasWSVK2nk0l/Z03VNmk5VmFtF6vApto9ZYZbW2/GvLdjr0I2kh2KGLRPNw/AoB5z4oUPj+HbYDLfWTM3VjSXGxdOuLUq155BfnODekuQWtdbNPFhZ2eEgHoTGDTINp9ufIRbL7bC7Y3PW5G5681Z4cN7DufDqrbMsij2gNJbubBItHLZvDY81/JcQ6obneF8e7XNUjD7o9vZ5ZpNAxR3EFRUqgcHDPs2P1sN4Zdbb/qYWqeEfq6HvNoCjgPG3/RLWG9B4p33aKbbupXY/sNPYZGfG8f1o7Payebara0PqAQNYKWdo8k4U1sfD3YUuksn8s8mD985tqQudtbr/+RuQXGu27OrnU3nb39Dg9vOG8ExaOPj2ksMpwvhyDpsPa72/Q66Kw2yOXuEfGBb+MwPeQUer8ecH76zXO/7yhkYlgOVv4GAMdb7nx4sq7caFOj58tbfdzAxx41fMwIZjm+zVaH+5v3f/x765v3/RQGYD/LhQT/05ENPP5BrP9e3TeoIbry3P2xRcP/P8rPzYWtrZ2fZ+6paLtTijrOuY7rwrwtmftssqGPnA7AH2XTdb8Proufe50q3ejDeC/b9/ClFz41cHNnOqoX3+vTrwoc36iLWbnzpMTBA0I01sWiDO8vHxwgxGe/s4M98rLPb0XxHvJBupe4obzDV2nZy/yRm+dST2CXzySanloG7ERG2uojcZztLMVJo84edf/7L1If5XfJpoe15plcANvyDUsG/W08gDgORh+y+3yzw5QkF094yNwvNg1+DgulsfQPlckoBCP8D0KaV5HdxvAZsMrz3H97Mp0PMzH6DOfAfzrqFP0qPeiyJkenTlAjR7HGwAk5YO1PWbOe71vX98MOT+tnOJosVN+U+TYyiykazzLC3tiwnC58UF51r39xk496mrCoFsbMSiPkwuZ3Odlaobaqq7mSmrPbq+na2JhL+iDiKLCB/QVcpGLnAP/BZJSRX9M/C40RUAd8XVEGW7mDnCaN6syzET6si/PBZM0+1a1VW5qvrJr9NWTv+MkUL+ZcldyhG/UMESQjfeqEXEdl649xKbfGZo7k6jC39w8w/6z+PTSneiJIKSvRur2+ArC9Kw5xluMCnic92NuHlzcJrOK3PcIdqdyOO4VkrJd3QBXfKzeDmfWFc+CAooI+lhdqtE8vCh5zHLW+u2X1+bx0+sDDAMHQkg3lyA+obtK6B8jNR6UIuLdW1R/p6/74gl6BeD6s/lUWafJCm8Wl4s/lMCxQDPpjPLwtKAPOtsblE2+xGqOdOyeb38oLVdT56OusJGj8djBbQ0Sz//m8PZ+upyJ4qDCTj/jS28v6X1x6J9DPVWy3pE7Bfg78cIRXLHPPpe2p27MIW/OTSpHd2Xh60FMkXY6VhnXYvh+PnL5lBqyax+bProV5//p6VnTFfVSI1Vs+1lzbWQD2f2BdjwHyaazFgwSmYP2GQH16K+ehtGXYxlbyz4278gS4K8kgo/PDPwne3nscGsmO1lun9zOZftHFTXvDTgpx2dtuAI028PyHFjfT09I3xzMxeF8wvGqD5XPPWCn+mk08w5os5Vg3MNv69+b+TWlo9rJWue3/x/n/gRM/P//FI/o/831/x82/J/m2svRNF3udFL0mQMFfnATS4zPF4Y+P3/vAeNbu/M0M3kkfpz4x8n5cPH398DVT+doOs3b00ljs0xtpbgyY3ZJMoaG7ML9GB/N0eMbiyRpOBlb8RCDRvOrkfXmvRxzfcyHt8biajvC+Mm889l6edlzbOLteeWn87k5eEadRzM83QFuLtNwZ7Xb5tbFkMnzCqkfE7edf11e3vG48jNg3dQ+f5CJAsjHjx5PUo8gKGDj70MgPEd8aDFCWjPte3DMyMa/Dqo0l+RIGCml+ay+dtz/l+ArShCGCM2p0MkuAUZ2g0fxvR8tVpWLffl3tmv7P18aw7HXaymU7p9obvPerlbRH/SjcPhlbQ1wvoCOAWsvb1rLRRx2Qk3dLmYi7zvWRUuNofDm51bWbGAsx+GW0yX6FelO/PGAA3+cKay2xjMh3qSzGkZ+P3tTzQ7/mTenWgUKmM734yTmD622tnn7ULYzLeyFMzpVJ+KPVpxoQjnS8mEsmOMgiQZ//4DHTIuj1HI08GWdr4fbmx8nuuzhzHBNQYLeaJ7flkDu9kcnzjlRTye/nakFiwzY3OZH6pSwOOLQvdm2BU4wnYyy1VclmDL+hCL3LQ1vj7ztL7Yhn16A3noVPeZJeDbCxxFjR6OMrk9I0wNdXXrDvsc3Wx5JzjY+4OIZl6Uzm14xnbZWN5kMyQZKBhMbluzScW365n5Q1YU1dTis8rL4Vl5CnHb1T/Vh+SKhMt2Ng4phhvYc3dyzZFNICO66b5LY2P7AEWl03zGX29YytHKMKWsUoOOMbj2/4Q0PqAumWrUJxpJgG50L/fl6/b/P2NwXTtw/J0Q65Eqqz96eQTVGIJZIAYfTdTrs9iVpOFpa9G4PGkuXZz8wiwsk1unD59yvXM3MifXi1nbKB6+gYFBblZNsqkMq+vXty2eqnbbIkffD0PWsrfBDNbDGXgZg5viyHsHWNb0VhL3/th6usOxYyIgPI+ER22ymSDiL4G2QKRjhtv06xyq1D2rgDM1twglNv5C9geLH2NQGkjZftYKqz2P24n8yFfcYD1JLJnfGcQhDCVvJa+X+NpsmqaccA9LJ4ptzdoXVJiNBkPttnHjDJevhpOzHHM5cRqQmzX3OTQhdQX9mi8pKOHIdJhVA7qSkVnfN2a8fb0+EjevSUv14DtmvnAgD1LyUp4bUnwnTesb5LZkGhTObhRaZyjPt+3A5RgR51s3L0kHucOJZvlQLs0/aVHU9zfyN++MPwkd0rGMQ/ncS5LRb15VO3LtrzTLyNwbcv+nIbOfHvk8JqeEaJW9ENZopUxaFOPKKs5oer4eM+4Bu0fveFNvlBo5b35vjSEx9m0M4Gb3VCuzbVDaR6pBjHIDw3yifBto+I4As6AsakKr9WCfOXtN5zf7AEqfS2nCDeodRy3nDxUwyaK5vsXwjNKBtwnNHnMPCRmhvt81xGHlffKAzdw7hsyR934KBkVHQHUrz3QoXYEX9EPYJyvKuGJElr7pUJxPl3KGrAxHI8FKBAarS0KV/cOMai8RFN31VYXBOVg6fvpNqxhZSHTbEMshAfHEaAbzxOoalFLLQXLArm73+4B8MmDhJ5R99Re4WgJeNsSD23LTaY08teYtB8Jz/VwNMJM5pe55cj04NMntzP1SKUfJz3+h53/OKhXakentdIYQfXDXxj/8Xk0z7//5Qb+j/jvPzf+ozs6rJ8ZB8NuNgbt2MSHrY2NyuTmYco+jM3ulsGHUhiHwE2+1agG/1M4yoAqn5dKjKPb68aDUSWzYXw3A37S+c7EOQMnLwFQfCkVQpA5PWp/iqBt0pezn3Sr8wng7YEul4A46czh9ZUfdtHZBkrK+2r5QtwFPYa+ZnU26Q6FMPcmXdn+Vheq9HmTePrqNK/xaks66WXt0UbOqZe3BB7JYbnpOR12NeB8jPmWt0fcWtUeJIyhBGYbaBT0yJRxmnSgwz7/zWRaN7cdSA/hXm/Ipju3c1IIXhSxize0eDwDNGwDLTBpL3N9HJ16TPRyQ4HOcxHJe7cXl4wn12cynMHVTMfoUmIayAUikx4/gmLxijiZyfKl2yQnQ+GZr1Un9N3A3dUCg8/yrVLqevhWlcdVzW/N+JUoUJslp6HL3OCl5XSm7F5iTL5JimlsiSmfTZM6uV8zTo93z35JT2pG/dRonBz/XK/Wqsar9BSfX5nGL/Wz/ePzMwMlTtKjswvjeNdIjy6Md/WjqmnUfm2c1E5PjeOTjfph46Bew7X6UeXgvFo/2jPKqHd0DI2vQ9XR6NmxwQ7zpuq1UzZ2WDup7ONjWq4f1M8uzI3d+tkR29w9PjFSo5GenNUr5wfpidE4P2kcn9bQfRXNHtWPdk/QS+2wdnQGDnqEa0btZ3wgGzg4YFcb6TlGf8LxGZXjxsVJfW//zNg/PqjWcLFcw8h4Zl27wqQqB2n90DSq6WG6V5Nax2jlZIPFdHTGL/s1XmJ/4AFp5awO6oppVI6Pzk7w0cQsT85WVX+pn9ZMIz2pn1IguyfHh+YGxYkax9II6h3VtBWK2niyIijCz+entVWDRrWWHqCtU1bmFJeFyZ8qewikBxOJImavjUfQAGD4K1jJMeXN0/uBcTLpkJe+y6ZjTeuwPX1libFok+blNtQTHINJH4LZEov+N+M1a/7/GZP86/y/Hzz3/3wixg///x/9/W+JbPJvbk95LEzf+INx8AGCfpz5cZ8PY+54ftLttu04DLKw3euGUWbbQdd2ok4vdIO23U96fBZd6PazbseJe8mr5XdodQ9GjLYFP4GgCK3b3aif2Znb7/ejpO9GcbcfZL1et+924zj2enY3i/kMtCR0u+0gS7xO3I5Cl8/gxXT8zqp1iaCejPu//6oiBlSfjbgd9vpdr9MOO1Hb6ThJO+PbQOws6zg91+87WWK7bdcJ247d5etzerEXx207wEcv7ib8DjBjts/azZzYy4JO1+t3osTvRHbIR6R0HLsd9dpJ4tpuGLXbQd/vtttJGGdOiJW1nY7NByFiYq/+JV8hl6CVb6dvzTJ5CWUXq/rqVHPzqwxJnqBnnDlZ8Dt98s7P9jzPfa2y8m80nfOYhpleQz1Z0ZQUZ1vTOSRZuFfC3Jh3ycY99FlZJaVvhCZN+o9ZaeqCZBaEKlr43eFri7P8TZOrTMIyByCpCjavab7W3ay1bEv29laPHGh9+UEGy+R2S/LGrRceaKBBvTTRumkPp2xn9Z4qR54MwEfALMu92A4PSGMlHo/eSQZVLCs/SISxa4IVVQdMNL16Hctj/F7Ja3Mfb68O0ay+yK470ShBP5FvTmDoehNULM9VvnrNb65L4NjSnFILM8CSpHkum7nDbLs/zEa9ZdKpN20vnh0/FJ6piQ9l9HmmqcXzcs8M72aadUW1RNnujTxhAVcvqRzJtIFjbutL/doD9E+KvtQiyQtTQ5g01AHMH9j/7XiZpMvT6CL00o/vxf/4+fHz4+fHz4+fHz8/fn78/Pj58fPj58fPj5//nX/+X5Md+/I=","source_sha256":"d1f29a9d0ab1c87fcfbe96dcad0d34f5b0ea8ea1a8f5f020c82af37e5e13a105","source_file":"qlx_engine/fixed.c","run":["python3 -S -B -c \"import json,base64,zlib,tarfile,io; p=json.load(open('artifacts/goal/batches/b-qlx/items/r2/result.json')); tarfile.open(fileobj=io.BytesIO(zlib.decompress(base64.b64decode(p['code_zb64'])))).extractall('test/scratch/r2/packagecheck',filter='data')\"","python3 -S -B test/scratch/r2/packagecheck/qlx_engine/build.py --out test/scratch/r2/packagecheck/build","python3 -S -B test/scratch/r2/packagecheck/qlx_engine/check.py --build test/scratch/r2/packagecheck/build --out test/scratch/r2/packagecheck/proof.json"],"not_done":[],"basis":"512 paired seeds 10010512..10011023. Differences are port minus stored six-decimal engine edge; no claim of bit identity to unrounded engine values. No new contract or leaderboard submission.","backend":"Exact signed-WAD C policy on a C transcription of supplied enginecore.py; offline build uses Python stdlib, cc and libm only. Native versus supplied core edges bit-identical on all 1024 policy/seed pairs.","core_parity_16":{"seeds":[9700000,9700015],"n":32,"bit_identical":32,"max_abs_diff":0,"step_log_runs":2,"step_log_steps":20000,"step_log_values":140020,"first_divergence":null,"seed_count":16},"speed":{"LEAN":{"runs_per_core_s":5.645003066989704,"core_s":90.69968499999999},"QLX5":{"runs_per_core_s":5.479371893178748,"core_s":93.44136699999996}}}
