{"key":"m09-2","complete":true,"blocked":null,"source_sha256":"a44cca4b0155ca3953f27ccb6b43ac8ee74b1cdc4f27022ee5fc51d8ab67ed5f","source_change":"sole THR = 500000000000000000 -> 900000000000000000 in mix-2 Strategy.sol (artifact 199bcc1d..., code_sha256 75723e84... verified); no other diff","generator_match":true,"generator":"gen.py + optional thr arg; expand.py(qm_k1e-5.json, spec.json) -> p_c2.json; gen.py ... 0.9 cmp-identical to THR09 source; gen.py default (0.5) cmp-identical to shipped mix-2 Strategy.sol","bound_rule":{"merge_after":2,"silent_step_cap":12,"quote":0,"floor":1e-05,"thr":0.9,"tables":"all PB Q2 tables (spec.json unchanged)"},"gates_py":"matches README digits for seeds 10000..10002 (all four columns)","paired_vs_gauss":{"n":1024,"mean_diff":0.7229852591845163,"se":0.01995889818790801,"sum":740.3369054049447,"sumsq":952.5529877109876,"worst5":[[60210,-1.6556066706197043],[60963,-1.218791742273197],[60180,-0.9831607196096002],[60345,-0.9648242032285452],[60148,-0.9509615230449526]]},"paired_vs_thr05":{"n":1024,"mean_diff":0.3351126888478226,"se":0.014467760506761245,"sum":343.1553933801703,"sumsq":334.2652195550013,"worst5":[[60210,-2.2827976136104553],[60385,-1.2302849216640652],[60581,-0.9940472149626203],[60550,-0.9243831390170953],[60152,-0.753136723520015]]},"cost_setup":"replica seeds 60000..61023 (4 x 256-seed blocks per arm), blind run.py + pair.py; baseline: run.py gauss soft=1 qm=qm_k1e-5.json (original full tables); candidate: mix:MixPolicy soft=1 quote=0 floor=0.00001 thr=0.9 qm=x_c2.json; thr05 arm: same with thr=0.5. pair.py printed mean 0.723 se 0.02 (vs gauss) and 0.3351 se 0.0145 (vs thr05), agreeing with cost.py. Check: thr05 vs gauss reproduces the mix-2 artifact cost_paired exactly (mean_diff 0.38787257033669376, sum 397.1815120247744).","gain_flag":"vs gauss +0.723 >= 0.55; no diagnosis flag","misread_rate_replica":{"thr09":"29.13-29.42% per block","thr05":"16.40-16.58%","gauss":"17.23-17.37%"},"parity":{"runs":20,"seeds":"10000..10019","thr":0.9,"callbacks":216453,"max_fee_diff_bps":2.72139e-09,"over_0_01_bps":0},"gas":{"scope":"pyrevm, all parity afterSwap callbacks (THR09, 195000 gas limit, includes intrinsic)","peak":146477,"mean":63989,"calls":216453,"oog":0,"reverts":0},"initialize":{"limit":250000,"calls":7,"peak":229720,"reverts":0,"note":"7 reserve pairs incl. extremes (1,1),(1e30,1),(2^255,3); engine-style (100e18,10000e18) included"},"forced":{"scope":"64 distinct reachable two-live-component prefix states from replica seed 10000 thr09 trace, forced callback after 13 silent steps, posterior pi=0.499999 (forced.py target unchanged; at THR 0.9 this is a retail-side case)","sequences":64,"peak_gas":146984,"oog":0,"reverts":0},"stress":{"scope":"stress.py, 64 sequences x 256 callbacks: zero reserves, max ints, timestamp reversals, long gaps; THR09 bytecode","sequences":64,"calls":16384,"peak_gas":159900,"mean_gas":65702,"oog":0,"reverts":0},"validate":"amm-match validate Strategy.sol (THR09): Strategy 'MixGaussian' validated successfully","bytes_runtime":21984,"slots":12,"slots_detail":"slots[0..11] of the base 32-slot array","scan":{"assembly":0,"CODECOPY":0,"CALLCODE":0,"DELEGATECALL":0,"SELFDESTRUCT":0},"engine_seeds_consumed":0,"holdout_or_tuning_runs":0,"requirements_met":{"max_fee_diff<=0.01bps":true,"peak<=195000":true,"init<=250000":true,"oog_revert_0":true,"runtime<=24576":true,"slots<=32":true,"no_assembly":true,"validate":true},"code_zb64":"eNrsvXl728aSN3r+5qfAeO4dERJJYV9IQ3kcx0n8jp349TI5c/VodLBKiLgZgDZ7/N1vVXU3AJKgLJIWIzkibApsNHqtrqX719Ujxe1q+7/9/v7l8xe94qr4xx18FPhYikJ/lcW/qqIa4p6FQ4hp/0NS/rGFz3le+Jkk/eNv+vltko38YTdK8yJLg/MinYylzMc//lAKJ3GSpGEajwsp8gu/L+VhOr3ep2/pQu2pZk/ttHjgNA5Tf7h/lSf7YTw9jfP9cVRkvdOe9P7UL6R8cp6FsRRmcZQWuVScxtJziia99otT6VUaZH523Wm9KzB0LL3qSa8n+WkaZx1JdR2Dvm36dvDb1QZSkfnjfOgXcSQVE+n53p4UXEvvwvTNtZSOJU3RjF7r/WmaQ+ZDqtsO3KYnY4ifpFdx1J1OUqhbOpoO4xHUkirekYaTk/34aiqdxdk4HuYdqfCDYdwKJ6NpFuc5tpE/jqQX//V6/+fJ+TjKrqVTH6LmOdTmMs5i6TJLiwIqkUwyqCkUIC3iUa/1ZjJMw2spipN0nBYinfH5KM7SkOVCDS35kEaSTUbUTFn88TzOizjrTrPJRRpB6aE+F3HUSibDKM6kaTrGKkEjnxSj8GycnpwW+/5o1M3TkRRbpq4aieNEsWuYiRUpphkkoeb7gaKGhqP5gWXaStxr/ePx87f7jIj/v33x7KfXL3qj6B/b5/+qamj6LP9XbFtTH/n/Nj7/Lo3Sq64mvf/1reJKbSIHudX6OZt8Avb1WnH7PMJlCkwaYkme5CrzH6mt9Fx5IL0DhlzEJ9c94E/SKTLCl++IhbHkmQhotfNTXzMtyTeMMPQNYEOmGfq6a+qJZodhYAWG7odOHNtGoIZRaECwomlxbCahqUYOMCw7jsxE7rVO4nEPRFHhnwHn9cfSZMpFlwGl9bOTc+TqUIJMagPT9c+HhaT0TLkv/Wt6XZxOxrrUfSnxRKbHodb7MwemPAKBRFXI4uA8HRZ0DzX8VyuLIXKMlcxnKxtcFzFxe7zp4V0YR1XRynIdQkscwffbZ89fHP/08u1Rr4Wi4MTPMfLz31+/efnqxU/H/+fd779J4WkcnkG1EmD9L1Fe+MP0U4xsXjOp1eEtCYprQznzOLuIpamfZjmKvAxaG8TVCMRL3ofH4SSj0vR6PayI1D1A2RnGueIOWD7H8cWIysuDQcJiJrO1nPog164Vl5pp0AKdAWQetZ14gDIyHULVKUatHd79/uq/XvwkXZWN3PwKf4NnQWUtCwoCOC+k7HwMbZJLQTycXDKyhP71MGY7hPqmIEBjmQQrCzeldoBSGiQkZgXZQspAO63fs/QkxU5hFD6eYK+CSMV023UJjvoKkj6mVW8PTOTNj6BTCM0Asvi/GpPjOZUAKakjChlLH88hjy4oOuPwVIJIECOLRxMQ5aAbxFkOWhjR6+Wk+4t/DpoGkHQCBAgynrQBKGj/dXrF1IgBS85TOlIynEwyT427Zq/1+5iGG5RpDKwNUoObIpsMmcrlZ8F+Fhd+Cp156uegboDWhhpNT/qpGiBQrx+xyfpSlCbJeR53pPC86FCVsvgyRgVDin2oxDAFssPqT8ZYcuiy+CIGfSiHHoXfUJ/poEUUTNnnQImQBn9KaY4mOEa70FKQHGhxkJBUVh4zxPKn4/MY6TqWJqLTQn8qTRJJ1SC10TlTAmu55tiyfjrOUf08z3HUjJB8VKPFYxVASSFpfLk0HZ6z9pkEOJIotB4BE4mlN8QzIOEEWNsYONk5KnzQ89CE8fCa1dAfxRLRG3DTODuJj6n2niZ3kMKQSZ2PF+mx1/ptIsVjqBo2EjwCnRFSj3rScyx1SgM9i6fQ8T5FyCULeUCvZ6mKpsPT4TX02rtikvknsUQFy4eTIj+EKKp6hE2FxQugz4Fgda2LT4EcMv+6J73DmNDxPRt03njaGsU+qMEXUDSgVOh8qOJFOoEmAs1YyqcT6LYsvYBOqH7jXZACxQMJpVBMUNtb4/gEmg8IBB/6+Vn9oVSkI1Bq/dGUOjm/hoxAKx/6J6w4koOVBoIvzrO4BWQrMbIThXWxWtIpKMBI0xIrMads/MFplX6LigxaWBB8ykYnljyX2jmrfUfr6B23oyoyqd/QwRPsoz0QVbHqsHeTOK5VAt41OqYs7akYoTYMRIZSW1XxMbdC/ItJCh33Kc4m3WLSHU/GeAvkyjoNWU5MHR1fAWcdIT8vToGfPy8TZkXF4oEVMwFTSrpEW4k1jaf2pGfQFg3lSFmuLRgFbHyG/nAY+OEZI1UwvKBdgXK7OHSQ40ZxzlpvTGQDHKlKFkpUiiM2UvhQk4gZTodw32XGjOb0NNuSgikjnUmS5HGBdAocDMzAa4kz/6wP1Adxwcq7SP2XbzskMUcg7jIw44DDvcFhIrX5CBFvyTRsfGC8o2B43cF2A5ONmMMQ7bbnv//04vnvb/4bRswJchlINqPG9YHvTYeT65ixF5AwUKr3s/YXpBlHSAHQBm8+vPtV10qeCvbcOAdDbEYa9Fpv/Uu0G30a2zUpwCQYJRrFwzQgBQL4RXwVDs8xbmnq+Vl4CgMGWujf/116G4O9F50Dn2n9HpRdwY09ZgECfwbuA/RzTRnxZ6yV9qGpz6dV2gWMwF7r2XBYagZchgKzoAi8cePxRZpNxthePent+bhKgVouBEbbCoBosK1E7lzGcSFPVnU6PkGmWzDbf7awPellwQmlxZnqCGo65I3kD/OJxLKIOsAuw1N/fIK3KIxL7ousERQLYBGoX0COkxbPH94G1o2hjAkI7QeYNOTPDHLBgqvkWq1//etfrZpeyLoSX3zy/7CU9z+Ojs9IzKJ28qSmzeDsB9drRFhrVRWzFQIznNG3Zh5ORVXL0rDfT+oZlc9OUEedf1o1hYj3RKhXZq0yKmmXmoKqAH+9UUk0b1ISWRtRm7Z+pmkQ0JCIX4Oq1iFZBomQ4JL+xQwLc8Gw+BfRVetfywyPf+Hg9IGgoVBj4F9RWRTQIHFMotwe9xe69oaGcJsbwr2pIRa0ZZb7rL4sEljQms05FZhHqL9T6dFVeRdUabNRlZ7NGzRk0sZrHdbCmSKmfoFIJ/V59jl1Yc0AIeZKXKOyQ3rIrYb+dYfnynRFVhMmT9hrqDKJxhKvTTLU3abXoGSMMPAYFR/oWGKOOZvkA7aDggZGeYasN6SXW1WzJCnyM8uQcCYTXgU7AfVT4uioTqOe2q0EIyg0SXoF5cNR0iIGV1euWMd3kOnxZsyRyoTMZPqsqs/qm0Sp0wlO1KUTnJQD28Nw8YPsTlhzaLNBWeMpKP/wLhA/aGaoVrBO7IEKR21GGhzUJ8fJvzEWAOKh1SxKAeKNNREyWtIjuBWYd1oj/yodgRiE5gKDNcvr2laGCkAOLJZ6aDiBt0/8KTRmCzXNPvFYUu2xIRQcX6RodiwFcodvU9Xg27Yc5LHYQjlqrFB6kml8qL15+/vzd54hNXEmxpqfQK6g5EvvXrz4SaGKoWpKv/gomCSg0UgfR94M071V0jN2Ui0LtA8bsmBmFLeilB7NSpXGIxTg2Y+Q/of3L47fPHv/6/H734/LocfGxi+o46KATCbnGZOuXdEkkVQapUydo2bHug5R2LIgEF1oukPZ2bgpUNvKCyTsNqYL1g1ZUOU0x3kxPS/oZTSFQaBlUTndITNDKUF2W2VE9FTUDajkHFSBjyOuqDDrZMaaRauw9QJJQYwNrjigOuljg3ZpsATDSXjWk0ATQ/Y+wYLFWYILC6h6hiDlR5Brq6a7MZuHFHzgDGhF+9fDiR/xQXI+Qk3rAuqSEhtDixyVy76EKvkxnz6Ct9/9+gzvmG3Tevbu+cuXLMqnAIcO8ooTNGwxjJrCMvig/gRqGL/F+T9ocK7c/M2mwdn8b53db3n+V7ctXVfn1/9s+3H9byuf/X3p3Zuf/tl9lYbxOI+7L1EopUmKFtnrl+9bU7BMRz4q8Mxe+x9mpg1a6QjltvT52evXgnp+hAH2hVkLT3r7cw+QtJ5Ur71HleDlOJlUL7ysvcFjt/ahfMsmxsB4SeNEzI+1uXI8y8xRbMh8FqmcogODIs7Qniquu/4lGhztjyOZ88Ee5YlWEl8oBD0C2OQ5WH2gAMVM70F7vye9Ki1aZraM/eI8Y5MioNi8Q92C5sdQ4M9MxvRawugsFS3kZnMtJn1uSfCBYpLoEtN5H0ARpvmGxqfLFGUW+3w++usXb395cfzs5/cv8DWtOc1Xv2nw0HJ11bBVRzFN1zVMHSdkG2P//ssvEL2rK4phKq6iKZrr2JraHPvdy18wccfVFc2sF3Uh2Z9eY6qWo6gmqI+Orpq6bdjL4/+mvlAdeMVQDQOXQC1bd1zN0TRd5fUE+XBOXYAd9VmkMBqIu4vyLp+Wt1l5NwyqW39Qtm1R3ebX4zJKlcLIr26r1C7g9ku9WD8y8v58YwIXX0krAVonIXoSF7+BfdSWqzmS6TnQ7ASUwQxnMrIYiHeMs2EkNaVRPAJDXYb80f4GqQxD4TOPJT0B5UqMwyeQ13xuc0sWbdEgVx1xd10ryHwZyuhJUMZP/LmiUIa1js89GHZvmQbcvpa7tV9X8qCMDWMbBzSbMUgLaI9SMaLpCGk6GR6PUm5BAQ85O5/iNMalp3Te4lQ7mzVX+vWpLeCPUPwyjyTwisnPcdwGarOt2iCUB4nvJUFVGkZ6rKmlTx79bOcdpZPD1Z1/vSEErw8UW6lVMveh1p/kAWvPNjQjNB973NxV7y79abtkyWRi0DRYkX2zbmqsKnurzXnjkdyFX7sfOjPB6pE8G6A1x9Obgw0IngsyKYjdW0f8xj6ajeTMZ+suKd6yYkO5u2qtU5rotMh63Gj77xmKrcL/WUshmEyGONldSzPBqKVtd/CpV+DkdeCxZQwggg48T/Mfz6+BROpRuxh1oXBoqnjijR/yvU+9YdBFht7P9/APvAWsrnyrZHn+bJn+DYog1/q+KioljCQCPzGzp596mfwZvjz8NfjUA5bpqQNBpeITD/O4eungdi9BqTz2zFN/UPtaVcQqXlswpqAj7nzZA3M8b+dQ2VEHcqG/kBjcX9SarBzlVwGNa/7Dr0WB3KdeDgUsvHrbD7BZve5VgDc+3PgDMWKbx2g4TKdvRVEzUVJQWdC+r3i5GJfs+VJ+mbSzpyPqTpmzc/Zrpguzg1F3Jkp3NgoPzpaUmC3q5W0uxPiwD28usTQSVbu4ofBhb+p5H3i54NfI74S9i3qzjzyMtIuP9tofunAv449M3v+wQPG+h9G6owH/HeDvDH6XES9Yam3MZM/f9fc/yGWqGJjtBbsBBJapLzSGGIyzLLBDwxkFh6h1XrLRqFjWUoIHfEUaDidI+lMawKJqpymFzY3huR6CKNi8P7Dg9ocOGwQXKGnkPg+FOBjuQyD8yfB5Ji+yBTY75kXFgar/oGr9qOiqtfEzyUoJcuYpg7OnLP5gb+9sgXkIxSfPnw1qP94OZqK1KUKnogmPlnArItlDdbMznHROU3kwz56gR59+mM+5TPYtJpthKlktWRawPFmucjCUJQdv8AVyXBmX4o/nuI5Kts1ErCxe09IJWCCYL1NOxtKYJ4EzGgtZ8Ca5RGqe7lIrADWK0MwT9EoVqY8C8cFBdenvXWYHyg+X/u6H/Tb9kvsNcaGpzvbUA69mOyA11oaiJ4Z/KA8w5Q+DOdb8pYEVU/942JKD1kKvUCvPP+SkDiwWBhGXVv18jr4FLUZemn/MivYcrygVeG8aJe32cNrFasjQAnnEvhfiYiOWRFiIu4uiikgE0xkVnYtigQQXyGQZ5dVLnM2RFRSXmNKwYnDtWvmzevlleb7DZwZQZT1UxkOrgfqB1Bsov3ksLVDj7YkRAxklLoxPfHSgNA3QWR6WeZxNESFXXcGrMGgY36ynBNXOx2miVsGoPT/IX5KukE/lAZQyeqrGrhx58L1IZZmHxdnVrHnzvN4MEGuY7bLurFRCzirb0J9dZtt2wSTGLlZVez49eTE9GNLRbkNUkFwL5ZymHlDWEJnBkJgB/ZL7vAh1UwOVzWl68P7XtzMUDUEeLX3MwgT/93+hNE897EQQHN4QVaEL4P2fiElUrUv6HiXz1FNna8behHGHb14Uza/OkghGmaYDlFgsy1HGE8i8+rAlWuDyrqIGTkzTtDOcgsBjtCI3KZOkkZKqBncoGWWumypLFAPS+ma1gprcbxbwwlbyBEFAPntkf8gDYTDVnl2IUK0eCprBzCt6/WEmns3ladQjDYO98m1z5oFfPbCOQJ0oBsLAYtr4fLJO/W0YQyAuXxD0poZjIcjOfolm8S/9azZtiOteuMZbgWviq2k8ztOLuG7yzyNu3r17//vbF4i0SdIsLyRCuFWraQJ+w5cvOQpnttjuTA/4c10w2z/Z3NPZHsr21DnFH0oM9gZOMvDZBimgVSGcoBxIKg/OJbWrceDUQNJmQpEMp4geu+iLedIKk/THs59wjvJ/NLk3S49k9whG3SntjZqZV1PQb9TkZ+ypr0zcCDl30aBCngm5URQz/CWPDjzdmGN6n888s6sNiqKBIUiXp6Bdts+eQgzpP/5DwgSGoIkNUZeRZdA5B5CHBwl3ebAsE+cr41ThAzJmi6eKDG8og0WpAGzmYti+7GRkNp51ikLuXpazcwE97V52urXne5dV/a5AcA7BTvxnGzSVq0D8CJaZh5jczb1WNmenbM41jUfeqYrHJr6rSopW8ZC7c+vwSlkQLVfqwpt79VmS8s299pXavVLk3aJYaljxhhFJr1clkSOIpR9KAddvXx2A5DF1XO82LdN2NEtXVBFh8Yncv1rWPWxi4GuFPP+q1Y4lFOa4MjMaGssqoqqxai+0r2A/H7rAL//wo3b3Sl5Wft5ft6SwtSclLp9KXUdRYtWQLz1xS0R1eVCG89AFPjEciLtTT9frZiYb96fd4YEKmYtYI699ujeU9zVU2c7Gk6I9kp96l/LQGw2IYZzCzcK4Trz2ZZdiDxl3YPfIHEToYtH+FCzspCzjuLzDNenZ6Tw/oBG0MHmWPcUlFWyFzON3A5qnEYH6bMvgZ+zZA8zBO9vV9V179mHZdJOq7VLPrrddrf3S7nBCLSjVmzDdG054I6KE+k/RkJk8nJQtmcLdnP33pwe5nnjtrFu+9idr0eo3tmr9aU3jalLyeBNxSskqCqJGKoPnCYg1k6GydjKpnfba2A1dVd41985kDDLU27Sdoa7beASmXqP1qvd489UCsP1mnjeprFjrPW+4O977s2FqDF4+j9sYR67mx6rAvXHDDHL9uVq+Fs28ttcwL36heGDMBl2wvZPKXLxQvXCvHXVDFjrPxi5ATFyo3QsQEyf7H/aAUyg/XFZmyjKOxsoi+iJdj2WJ1y8nWeSRavYH3LXTfV1blGdipaPdxugHB23NcLrt9P+FuLuOLP+HZpry/1iGvNeFr121ae12ceUGLc+1ZF8p8w5A5l31u1eDuur5koHGUEVESNrpqF9OPoHqPb4uay52HQVxMsni+uxVT6T1bAaZBtb9NBd7PDL/EsqUFsDiixJATvtiERQqdO90PD0v8jk9ddEsXlf4o/BEfnvlqYucO14M+uhdzbDrjweetrurao78+eMBSGHNGcB4wj9fyqfQo/TQMvAZfH9ZTAHogOLoGsaB7+p11eJpW5S01fQ6z54yr2fNc6aMF/PlTynLKkcZc1msOZKAFx+Y7g9XQL5x13RB5Xn6tG263XiR3qGHXiNiIs99QfqYAPIo/hNKB0nIe/xnLO+++k1bpuAupLZ2f7O3P3ntq+4H4phXaK6K4E/ep91PjasEuqaZjmIZpmqpmqvotXlI3/N3P8Fbe7phOJptOpamWI5rmWZTHFuZ/dcQx2gGb8zG0Q3U8xTHckHl09TGdGxLdZXad0McE3RFFVRG17B1yzE0tSmO42i6qbkGTh8ZttJUL2v+0xDHtlxNV2rfDXFcZe5qiKMufJoiGZpj2vXvhkiacoum1hc+TdkpNyTFB4W2+wmXj5YQOVfEN+dnoAUZ2u6HZaYCPbvy8M8CnY9hXOy1SSzAaNzX+l36I8v7ODgF2/euuuNqtM4ME1UF+rCNOQrJsIHAOgEy1J3FR5ri2JZtWm7TM1MB6lYc3WlIEwabaeuqq2m6e/PTppQNhBI5tk7fDQV2HUPVLPHdEEF3Zj6LMZwb6QZjGOqNw4Y1nPXVOOZX6Dj7GoXeKhKQz/igskH9Xc67hTGpyk+fivuxvCgU/P0bXuiOl6prbHrodjNPNwyMi2b7udQgyjm5C9DAEGB3XpL1VWWw1WUjJOofHIC0P1Dkzz6X/8HTpyTk2UPLEM8gDB+hbJ9LQNdEHHiIcVDI87StMmmLHjkLb5eZs6zLnMuMWb6aCKfMKJdaUouLsTatwwZeO9i72g/QTllosdCDJxxkxFlAO3ga/hD0w2VdiasaG3M4Unyv5APVaORyPKSc2Ni92m8jz0NxD+zEshBFZYDYA+LW5rVr0Fm5Vxp0XrMfZ0nlDmc6GV6PJ6PUJ5cwM65nOFb0j2c/larvO3J20OgyR/qKx5y5ksz4x5EW/eNIbeRVXXSJMz+jyxT3Wza5FIq5nelX9Kdrj/fBYErrptez65nX9a4BcaL88KEyyjrTWuRr7xpXsAyQ0KpuWpoO7Ng1FWNx7Qw38s5msrhkWmp317vXSxY9fc+1IHkbMnIdUGVUS3fmJkZIppMqooCCpbq2puigGYFKp6nNMUHCACGZumG6BihRJHMspTmurSi6rplQZWAWiqnYJmheS+Kapom6kgr/FN01XEuzLUdRGisWeDfybjL2vWCXKTSmpYJSpIIyZyrQ4K5lNMc0sVdsyNlGWalZtmu7ZnNUrLuu6Y7m2ooLsTUb27c5LrSORiuDFshQ0PF0QzOsZaU1XMgXak/Krg4NAtrAQmSkDlxYvgYFa5ZZNU8WCWKAfFUXpHtDx15j/S1DdUDBNhzgFhaowUviITuBckFEA+rmuqAxNEc0oAq2Sk1kWo6qgzRfkiQUywTFSNcge8XGFzRDW1JKDfI1VegmF4jJ1sEC0ZekCk1tgi6s2dD/rmlbSH7KkgIoqECpjgOEb4KJgL+1JXFB0TJ1E+hKt1zddXV4c74FViNTKgDYXA6UUlWhVgZUDph3c0zHAqVTUw3FcUzXcW1D07XmmLppuLpt26Cu2ZC240K3Lonq2qatOKai2kDXimlAuqa+pKRgHwEZg6bm2PAXLCkNyLo5rgYkp+vQ8o7qQJsC6dmutqwFLBMIBAYo9C3YnToUxlkWl3cBtIFq2xrq06ZhNQ2S6W6DENwHYxhGzn4jSBLkPFoEH7qYQL9ixIsrHQQOWQDzdcrZ0k45Wfo1JCCiNkqMTZlScTv1rj068IYTXOYbPfVO0xnpM5pBSjesQZa8oT2cdEccA1RSL07mjuaBQaX89EsB6ssel72+PCifl6ui06B8HtSRi4h+CYNu6M+IOgx+qsZWWT3CtDwdTn4YTvqnaedi31isUwZd7XchIw6CqeVSeKO9PEKFf+GtU+/DXtvfhTeDXXiX3uxms1EvCu8UZPrF7un+h3lMyCJNlDOjX5tvlb6+BgYtLT2VNM1dXCBhj8D+bAIIicem3fR0Jm1nWYyZbIybYtVj2l+LWI+s3ybyTDlu+0JNL1auLMdyLR+uwArhYn8jK7YSuEL8C+JBAxXJsGJkrHAHzAXZFdxZtjO4VZaNgvc2ldJWqdRMxVRVddWYuJ+vRCDiIg2YHOou+ATdQdITW9XVQFM1EwRBpPigCIUaRLT9wa2zXblyM+UEnhsCP49ATDlQAly5s9UY5DvulgKhoDpqopkalFQJVI1KbmmBEkKdDNWfV0JuLGfr28Raqb7laJPX6H1j7d7HNoJ+BkUVehf6UwvVAOjBol+OFqkR/Lahr0Gn0mIINyCuDu2JO89iJdpa7/vQqwpSp+IoaALo0M+xWp/1NaGv6x99ubb0DXp/3YFqyRsMgI0+Wxyo2yrntxqorW/SGqWAUVYVSc5aImm22UhAuU0CylbwLwglFEVgvXIBZdyxSHLXpnRQ9BNQyJnkxGHvqhG75yJABdkKbJ9EV6KhbRKQgPJJQDnbonQQQy4XhFi2SkDZdqwYpYBy4L4SUC4JKBKtD0Qkqdo6MklVNxFKwO6hNVmP2iDGY6AIgxQQFFFgrnGB5cCvUPWh3ZmIQmGvb43TJVhC6FXoaxA+LhdRIfSwreDyAoooXTFqIiq4l0JJ1R+l0kOTSq2N2qm0G9RVbC3VXtnYMr+BaJsTdDaJOibmIhJ0QrxpXLSZdyza1PW1ONuxA5uVEmeGY8VSIhDKKME04B86WIxgVCkqSBaN5J7LZQlyOMUOtibbEi6zYpC2YVkelLYxqNY+NwcNeAKKN5eCJtTGobJGD0W2uWvJNmd92QbaQWnMMO0ghPYTBqurItZSyD0fwjUyX5mkM1RzW/1P8pUkKprQrIQk6XySbT6VPyApZ5SSrmaM3RvZpinyBkbno2x7CBaXZqwqlzTtm8ulOSllgZTyuQkW011iq3c9C7i+HkfzlVYpl0Lg/wrZXD7wew3GOcqlAEIN0HNjVaFwvEcd2LK3NxGkgoxBbmSrrGQobwyQUyFxIpemsnw1ojKjnQX6uJrgmjHZE+4DkUuatY5c0sz1p4FBzgO/86k10abRgetH0JoWl+wJ9LRG+gDILGhJDVsTp4fhl6EaW5RLKBvBQoSSWeVEZYhyE8rLSqgDVaCd7UOZIX45KG0luj9yyV6/r7SZaU/3US795TZXa63WK+fvtdsujenmSmtj6spy0b1juTj7MRNLswzrru01fX0dEOQ4CEH4dsnOTHBqB77BxgR56IJEDG2cf/TtCGQjwj1cOyJJZMO49O1wi2MNOUGIM2VQEuSAIXFsnSw0F3ijiuglKJmlBExqqw4tpoTwxHwgclHX15GL+gbLo46Ki4gBWWVg8aixqkLrMS0DZCaE6kz/QOuIZiYttNtxJhpib215FPIMUGprqO/gIh6VACSjAiWGixb3fCifQ1ITy65RPRT4VlXr3shFff3FTJD0rsJomui9tgho3saWe5SLW7LXdGdVuaRbW5VLq7X0+rRubzjvbqnlpdGl02WgTOVX/WNX17ZonXJzapfLcTR6razGTFnt2jsPxV4zlLXk0vprpNSOrCWrKyivkM+O4zXf/9SyW+v/qserkkVLL5wrQXmVgCxTVqTTux2rxvrrmbURUO+1emvEN1zJ1nQIaHPQGhCZj+Byt4Gy6uUlXbh+fadrZIa7is1lmKvKNkNfS7axNi/7jPWaCULABq3P1dxGXlDruTuWbcb6ehwhKcsLNFvUrdWyhlUdfS3QQriiGm1C/bbG2xj6M6H2VAX+k11gH4hy67zEWOaq1LEWPxTZZq+FSVx/jVRLtIRTbYmxLbkMa2UCMqEwAwsXrZkIRoEG1EGUsa3+n6VBLdHB3ACzuhppgi4EPYtSwwftyfsj25yN7GO0g0XbU4uwNomAxrFNVB2GQDlS1LIlsC22tp7J292By1ccst9dTjVmjZvUy62xDcj3VLatanOZKwPlTXWdcW+uP9fGYInUU9hPLlw+XDjHhoDvkI/1mHiqVRt9EeuzbdES0bSuG7qpm3x8M2ilRaUO4IrgimlGkK2X6TROEuJR90enNdefF6O2D/loifkop81scNm1VrFo3TCEK7ZjPCRM0aBNtsajad6TZDGMdUY1SDPRDHfCvrR1By631DtYb4YPZdvAWvsGzA10tIhPkUCzKlZtTtmnmUeDWnpeCmA7W7qr+/rWcEx6WOtRokRFpcugkekQtkVRDTa3SyW3gbYDXm71/ozV9fUpnKKmsQn0rYd6rCehYtcngwLiVLhOYNLqukU9qcG4Ia61NX1Koxlrn7TjhJcax6WPpQ51Zjw3gS3wuoM57G2vF7ZWas9y94B5m+13tnrbNUbLWMXetVbe7WCut92BcN42cHKTVlhCWu2w+FhFarGIviOgbj10IsO1Zunlju1d0/0GGGqQVRrJK/R1YNLqXUIbriobB0cIcVXgp8BN4XZrOnTsOCG75jZaRXAFKAHgiuE+RvQ+cVefMCTIXf0Hgwm11trvYK0/Pyj0QtSpoFfdMIgSR2PXPJejy+H4Fhv+wu+t6VIGrachlgrXQ5l88GEkxrj2qbm6jVMxicOuLaxbrb0Jb4P9DmTkE9XrTYAGWoPHFVWdtM4AxmysuzAk+OderzHqQE2EIVAfvr1rrbxXwVpvrwKMg0AzwTy1Y4Nd92qN0fpGO051RttQ21Cz9Sjy2fVg1tN1JVBNTdGNSGHXX7qevpZcWmuvguX8FXu7QtXWtmbjianie4OnWHes2sq3GqugUYDNRNcDw4RaqoPzxTq5B/vb7MOznVVsLnvl/Q62tj38jMUQZ2p857LNfty3eg+xYuvINnut/Q62+dj/D0a22Y999b3jOp2V9xvY33a/wQ14yBlE5B3LJWej/QZzSM2VEJRbmwtcRGo2IBKD5YjEByKXnLX2Gzjapv2/2LZ1xOByBOU2sU+xlagRw2rOUWmdFmaQWdV1b+SSs/4aaB2jyS6aCVUIqaZ/FUG5tXW1Gg5JrdCavKxqDVlXYQdnqO1vsw/PdW+7RuZqq9hrzsr7HZz19jssoDwF2govgaWMOYXWsZQOraOFdy0X19cBEWtSjqBodtSVqEBClJHfTbEjS6V6WtrW1kjmUJ6EIphHM9awjOosKlB9KG4q3bX2Ozjrr5EuojxLrOES9GWJFqVrazhDjSPBCGuoRGLXIMcBfxUheW/korvBfodkBqVrMqQutYhvh4pDvtzYCr5GHGgOfbm1sVqhPI1yTGpl7zH0oc/xfAmtIKglwknXrAdvr7kr71Vw19ursIjVXIKhNAWVIOaTWh0RZnfuqnJ9HZCjO9kYL1fxy9E9i4y055CRzhb9eVFrcpwXITAJ94Yr+AwZaXIdgEpdQ+yZhMB6KPvw3LX2KrgbYOtmEaPoOSdmUB5CCCBawyeshJBfArMU/gWYZdGfrh7gytAcMjKpoQBdhfklE9id+2OvuRv4XhPoTiF5Vd4mDGOIyDFcuKxPvKAfJIFw3R7OJiD/cDohwQRuvERGUk8yboL9iKU2w2B1pNuDWyNTFWslZ5WKtrK3SkXZbDpS51pETJ70sfOMObAikB4RHTFV3QeCM8K7PhwAaGntMRPp8zjKuU9EOi56KVRVDZFDhFZ0Ba/b4l4sZgUgKhJxaHpsN6IVFRhdPl0MqxgytOJD8VepGGs5rFQ2WCl15nGcHK/I9QXdDf0obsArKoQm39qMNPqoo8uGXG2OlFTm8IqIH45oBkTVXNxSFBkCr3h/vDEr33RZUwAVbwVY3NpWcxRqke6EiQBG/t0OCVj9lABVcdYb+xuvvOqkxRIuFEaRD2M/Ca3boB3vycqrzv0/qmqgWXq4iF28R2Pf3fYyuU6n+ST61qbIFgGY3yWkRV333AT121BAoFqavxo08t4M11hTb4Iv3p/hut2TE0B/qbCRj6iWb26N3nZXXutWrVudmqB+7QQ99WYPoNVJLM5tFyjVFU92WONoh83OdjArlOi92i+hqo9HdH03Eni90x1U55ECHgqsVNWUx86q+VNmV7lVlHCQD99YXv2AB3XNEx5u9Em5iMV0Zvz53bqtNyD39RXORhehonLOgqPGoAZaoWur0MLSedaCI9OqtH7tlEMBq1Ft9cEcq7fWngd1g0Meaq7ItBIYZtKatKO6qr9A4u5sK2+PAmqQLoPD16qLXIfVtp7j+twMyPIeSaf1594WMGNqHVlk43ks6P/OJs/fISFx49J/p7lVxJtdsoxoFhPLT8JmvpR8O1JUfl6LWEdQ/pKDmbeyWrnaUQ3q6mc1qGse1iDgyRxGx4FXJc+PS2ii4BZGedgBHv3m3rWI2+C0BkKWMY+EygKq2RdenbSkVtk6QnZrJ4fONKk40ahCONY9hgqsiMA3hiuK4r9UxK13XIO6wXkNdEaHWvlh5ehDxn2Umje+sMRkzniT3RrXjEpsWOUbU+OncAkOzzCIDIPC1i9Kr5X36OzYDU6fnwd/Vo43jRok06ChwoCYAhiIzhW1LS4t12F+wr3dDMibutJgwJySf5rM5dzDN8BWP7FBXfPIBoShlTBFBCqaHKpo1KCKdg1CJ4aRwRyA3bl0sjfBCgqxahEpJ9wXoUbeCNnpqQGd2iP8nBplVbeLFVRKzKpL3vcqrKBFMkvhZTZomsGms9Yi0UkPRTqtd2iDusGpDaUP0qDG/5lXTJv5ZiQEomhrh2hEJ0QmrmBv7dQOwkcFhJoRMofRos997ZWsjjCIcaiFJnBmR9iP90c6bXBsg+1zMmdzaS4e8A4Xcxiqi0OUqDtDahSdNwgOmCRUt+b+xgzjyG+A6Jl8YPpscJIrQbV0daqJ7vzbbO9Tv+5DtaKblQ59UFc/9UFd89gHDv51OPTXDoPIAD3xJogmUoJBtOAqd4413eDcB47SE+en6cITbyne41CPlqE6/6r5eIP4M/ecxyVgQDo6M7BRSYx0M1Sg5Bwj+WDk41qbKVRjKwuoxqIXSm1rFEC0Gep2GC/3dvkwls+MjdY6K/SoSXPIKBFtLQ7N26A6//LlM3ZIZ4BHZtJB0bEW6OEirPHhW2/m6jshTGU7DsMMMnrooGYNVOG7lk7mBjshbuHx8l6Ru07nnIDluBrg8qFIJ3O9nRDmnSH2fFBTzJsAl/cY3AGMuwJc3h/pZP5dHLwBWd7g9PI7gVeutHx2Ox/dFaW4q4s4+9uKOP12iMY7F3GP6LXvRcRZa53ApVqPkLiHY4BZ2mNn3YRodE334Rtgqx9GoFrmemN//ek3aGofroCuyIwJRspcaQq84LxjwsrVn2v5W0OH+aUbsMiKzepi0FdRXrPECrolgi26V64H1Q3OZqidiaqWfsRq+LBGv6e1ptiy70Gt9HHmLCzlcx8/NA0QKtEsCPHBiOr1thpscDpDCYIlHBP3uSVwRT6dt5jwxXSFVpl1mqlme/k11djaVm9LteehxCXEV52DlyElmHxaLiTvDNH9Ga6bHM8Q09obrhrSLCm5JlRFs5SwgGooiyaJWJNsTVQ7NKmO65vouYTjgglgGvPjxwguVZZcEy4X2fU3PYJPu9lxTElBjnnrBcjVToRQVz8SQl3zTAji4mK0ihOjktK7RlCBsslLiEnLzATWWcWb7AajdIMdEiEBXGY/BB0kCB5jnjFfQ3cJdJ2UkGtjq85uxCGZSunuUuMdU10kBIjxYydFpWueBwPQWe9UCHWDYyFqEHqD48x8ju7ANT+BSDRLRGJYXsSpt+rsplr+rADPFZw14O6Q9BkXiy6V+R7pwBucC8F1Gz6DSjqkwKHpbIfBjL9Yt/SfpjGvhlvD0zkloivgZ2DrhBtgqD+TEHQVFxWeUQ1xWvXDt39XPxhCXfNkCI6VF+cdM+yi2DgUUttXmEV2jiazOxLyYXbn8JgNjoaYO6C6QkuzQ7VD7r5Q7JFKOHpWVNTfIngwIPVdSMo6lDWcw+sGelSCBzlg/6FIp/XOhlCdjSb8mCsjhzB9IUMjKjEhGLSaM1fW0mIYWMy9Zbi1CT8Yc34YR1pkCFue3IraHEFZL7VSO96Y0QjIrfsjnTY4HYI3PiFkYWACGwrDyAaj102SBfhDyBqEmkOjU6C3thepHKLibOm4HJwhEk1ohAGwVMsJXb0BYqh/rwuQqx3xoK5+xoO65iEP6FSR83XEJNeB2mL8M0xyxKWDTQDtxNEZcPLORdydnfSl04gxS5uTexol56qkrG/NAAugaU3dD63Eb/B7+bVa2A9FxK13zIO6wTkPcwa28KkeAhnHifp1rOVfuqZlltNnBk30ocJmQdmDRTjk/RFxrrqNBUg2BxGQcaZB50ZgmG7NWl7vYO7vCQF6ew/31Svr4evcjfB1Qh+KiUT81TCX92A9Wyf/Bo5m3YS5vEdjf4v4OkdJNLWCRz5ihb6xqF7PObC7obJmq85qB43fo+Ga3A5zeY+G63acAzfhGB+H6ze3RjfbzKipxm3XErXbeQCvouurKgvaaidMbLm31x5wmvIIzvtO5KOmrIWn0xTjkQIeCpZWU77VzlOj/nGN2FRN3TRMy7RNhyCSIQNIck+bYOxvDU/XdKq5VWL7fCOii9m7iWny8kJpqZz6gzdltdUPztBWOzijamuDIKQCZTd7jnV18myFbrRK+GyI151Lp/XVQRNMMCIkE0rtln7fVH5kJ4Np1oGaIflcijlYc2uLEzjdy5zYlmSvU7c41CXC2VcFeox4GRkk4KH4AtXWOytC2+SsCEJoEQjB5JMugbLg85Xf11uZgKXK1hgerXha5WI9W/HwOTw05sv2pmoJf7Xc5ZvBj7zW74902uCsiDk4aLVqGLFlVL6QSuuG1Bw2eUSI1Jg1y9akUwTlZKfmutxHqbOA7A35hntWViytyaGm/ne6lqitdhiDtvphDNqahzGQqxLmBtEUuyqg0xgwH7l+wI9AjjiehM/i8xPD7vpgXm2Dwxhw5wpRlYAwRwS6NhgWjLO3hCpLAoOw8jHfkaBuUcSxsRyVh7DVQdc0hgmQaIrTectzzV1W8gcj4tz1RJyziYjTScipHB9oEj6QOSxhK3SV72QB5GWgT0IJbg0fKPBpNvF3lUSyQcv8Ft2VfLO2hSCsoKr3R8RtcBhDibcNoPF15suRO3D1CT1kCQ9WpQ7g8kPpqFG2BpdxSlai1/yXImxG1Q2GswpV7nY24JDUkNaC8LjR+OEbYNrKvs40bS2onKZtMP0W0/mu9W03DCRddx/K3LYiQCYAVmuGTugSXM23t+Zrk8iDCVSmwakc/8X0I6v0JiY4U+V/0UZiu0djf/2ZslAL/TCJ9MigHRe43OuTI1TECmAzoFg0av/rx9BuFfZDo5zBx30gGSP0IyMKkM5ITwphvAf8mEyDSm1yNQQ70nooolqz1xuuGyhrbOtQzN3+OdTSSglERIywFSbQzi7YOloJt4m477Gt7Y/jPYkCGFU0VNJIhSgHqF/iblGio2tUC2hEiZ3Eh9eMezRcv4GbELFnlyNXqTMY79Lpr8HxeTFtTSnh31vTqzQgngiGKQzQxIXm1xecj7GpD5s7dxXAda5WfPcnF7ZubGdBKnqzS8+SkpbDWMsoN7vaKaN93SVqGfV23sWr6Ct7wNP09TzgcVDqrLKRAB8LQi2KE/UrYNG79oCn6RtMGercGhH2CUNqKSToKj3F0iJgf1FkArOeQWveswUts7S7NY43TaC7Qv2hbEDR9LUQepq+/jxkpMf26oe1Vy2+xW3srGfxpI8Y+IoCQji5PQT0/ohp/Rsj9IQLiIQBLENnOcDyXq4/M4ClrYG5JgCWD9+i1t3VpZP9XQJu9I20UgtII9TDVY48vzfkboHN4NwGSPlQpJOxlvM6zdiK87pASxahnw8DcKPen837mqFt4GlhncO/H9FR92VJ83YOwitKWXkDirbaSRIPRsQZ5iOi8DvBlBrOeiLO/ttTQOmUcMl1j0Tc+iC72qHV82eI3+raGmpnMe9Z557+zdfDN8DM1Xc8mOvtePhaW9aOsa7D8KLVDmFfn9zNjY5ebbqCG69wLb+s3+J8+bWvhyKdzPV2PJjrr+NWR3+XntJWurZ2/PLyMlSHL8LFXXGp89f9kU7m+kuu9QrZN19adZ5y6Z9M3eJZWzdc9tcu4++zI9BWb718djs34VX01fdcmOvtuWD7KGZOQzduuuy5687l4/rq4FxRmTtsmx9HXp0rvfTa2oCb94BqL3hEdWyfDpcqjyOndU5+PRT5aK2358JafwFVsxcv2mGz/EK/oroSsgGxNZQLw+FYmnPTJdyLL173Rz5a+mbeRRGL65ZDtASc3XTxjTXbcwWrNV6IzYn46c2VUzB/8Xr41tvqp2to1nrbJapW44dCL78C7p9MODakU7/vWjptcKCEFiy/aO/V8otOxN6qu8JZT6g3XIS+nLkejHRab7vEBgdKzLQTkq7wLZ1w15CIbbzh2hoF+DdeCOQxmZ9zcgxo8Y0z5XV/pNMGB0rUK8Qu2ku3/DIRSE2Qan2rqoRQD2+4lGj59b0un612vIO2+vEO2prHO9A+FQTBuvyoGIU7iI1uuqoJlLsWcRsc79A44+OQtDbIt6hZO1O84dramOH50Yk9y68mRCPuEnsoxzto6x3voG1wvAP5WW6+7vPy2ap0cI/wi/bjWud3711Uc1ZH1zvKemPffSSnB4NddtTHzvpOkC7OelsNHP2RAh7OcH0Epn333kXXO95Qv9m7TBlNUW69AHk7N+EVba6+Q8L5PndIOM7jKP1OhKq73g4JV9kiBawNy9wMotUMC701lvL+CFV3AzzdbUCiNwA1t3ge+zqXQP+FD9/+Xf10Dc1db3PDEozlrVGXdy2dNjhQYgYQerewzLuBj1b+YPH6FiDHv1Y6rbe5YYMDJVaAijKYps6dfDKg5tYoQFNuumztxusuEInrD1d3E5ekdOGhqRwlq60C1Nwa1ncODipwd6p6O4jhd7oAqa92JoS++pkQ+ppnQixiOhtgk46N6Ca9hILo1WryHYs4fYMzIZoWv7+KtUSvYo6SwDjbmp8zfgC1eRMaVbOWoxYfiIjT1zsTQt/gTAiG6LQTRVeCkgMxrKV9E9bynpjgWgmHZANPE+505697I+L0Dc6EqGE6b16BRaxlSHBocQArwqW255bwJjTq13CK/nfgklRX1dWlk7ve2N8AX1dtamCoNP9GzKU7f21t7IscEdsZEmHPn+IefCMc4B2PfXWDmbJg+QUdqZCHwxvgkVsb+wvNT+4pl102ldmo4JEPRVSra3kQ1tUNlDWL/FVGN12qtvzamrKG3utUVeOe+Cy+JUe/eTNRhXy6R8PV+LbALoZjdOZwjGETfnF7cFiOl7xJJKNDUnanzIASDdX822xm1DX3tmuJ+u3chFdk5qysLKx2DMUCkHPxuh2g765NWfWbgPNM8p0broatvDdriai9L78eymytrinrycdHPN2DAejo2iOe7rvH0uqrn66hr3a6xkNBuuja49Gr3wnSRV/vQAldsx4p4OFIp0dg2t/UF6i+2mEM+uqHMehrHsZw30Wc/qjRfS8ibr3DGHR9sx0S5ZnI85dROx7cbAZN/oXuJfFa/qmQjYRpvD8iboPDGEqvjnXHh02X23htF8zJD4KtufJTv36tAjC8zwaYoawunZz1xr69KVhynpwi3mFqCY7TK5Bc/doa+qqWJwIkm6+yxIYA98BFTOAejf0NoHI3Y7iXe13U6ND1rTl+I7BRpKh0xIrOj+QLl1/r+d7760W1sZbjN91Qv4XrP4Zfw7ObY0VXXAJ2sSNl2RnEjdf2kK03UqrNz3JXFUsJCb7klucQ3y/HqLqhfxPHqKWD1JsQetgoER0nSNiorZ5EXB4CvRR36y+7vvvjDZe1riASYzlCtaSjm73olNG+7u20iqquZCwbKzu30431nNsBTQSETQQuQMObvHvyk65vcsEas+uujWVj/dlAUcSZKyFAozkDaGRVNf8616slPuNriEOLYw4F/B6hmNaDkcDrge8M55u6XhXXDVAM9sxVgq1NlyQcJijcATfCa0t05yYgwTseruYG4Du3hkF0S/SOwz36sTNVb0BPbq2zbgAJ0iHCdIww95Jcx07elSfCrRvL5sp+6XRzPb90i+C7GyEnMVyls0NEqt+1dDL1TbaFMPRopMXLLmXJhQdub03hFCd8GyX8n2EkYy3RkqVoprvjTXckncy1/NLppvktGF7F+MR55MwfoVtuVbMXt4psTT+Z246y5GPQMbM6Sc6wDry8R9LJ3uTkwqT5uocrLwaoMD6xCZ2cwJqLHpHx+jutVt7O93cVffW9JasdEnG7pTKTOEJI7lmbrztfrbSU7a5W4jHzJlPEtzZm5g2A73S10lpvO4WlPa5XPxhAjvWIn/v+4aLW6psZLOu7xNJYj56GvxfpZK+3mcF63MzwcKST/Qh9++69jd56s59j3Xr57HYewKvoq2+nsL/P7RT231UdNOO5KyHTDqc9cKVN5zhJ+DwY+bjedgp7/QXUWx9fXseg1lp3i45DLcKOMm+YM+dLf+UiT5r3SD6uv9bJnYI6pXNQhuicBQeaHNFjl4C78toi3qy8lhwOTl3Hy4zYKeYQizlReviOQ/XVD87QnfV2QkCL3XTdfPKzdVuaWJ/cNzgrgggi5t6pzPI4p6Ubu4XnQnFtjdyrPC2OGos5BMWm1WIxtXt/jkJbSzqtd1aEvslZEdE8C6tdLnrQo5ZmC1IBOUrRakfjbQ+xpy9ejR70BEYvLCmEfJjcH+m0wVkRtCiPy1A3bicA/t58bc2zEnfUpxLWCs9VS2gd1ladmeMm3fkDKL/35bPVTm7QVz+5Qf8GJzdUZ1FDB+p88Szm0AUGaxe+f0o4+52LuA1cx5WFvAETiEBxnQuTqPQFRcjyrTG4BDHsSxbHb8bY4V//oYi49U5u0Dc5uUHwH7ZXgLlbXvoBCpi7tmaCixwD/h1RufkeB0KwMF+9S/yS3R8Rt8HJDUswaUyPC+m/4EXCH6RZB3r+dY5DlWTpFSP8izB1jAxDNXn4Bpi7OrreXc9psLv+9Bv5lxSQ1yVON9Wmj0LX9jwRik/93PsK8hoznOD8tZbHxLse+9YmXl7Fxa0LQl4x9FXdi6oAfM5BJ7fVWSU8c55LzWOYgxqOudpq8GA2+7nrbTVwN9xq0OzFe7nyhkgnNDTMrWKdmFmDw9UhnThehm2812uJhvLNgWkMNhlR4zBrtdGf7r1dS2QTBmxKiYT23/TkQuNmxzFlNNW87QKkcTsP4FX0lXdIGMp6OyS4uC+ve7YAaSgbHgar0+SuQ1uCFq/HFf/tCVVDWWuHhKE8njD7YAA6hvKIp/vu4aPG6gdnGIr7PcJjDFV5JPfvRDqtd1aEoT5ubng40kl93NzwN/U2aqx23IOx+nEPhmp9nyLu7jU6I6hdoamYmmmYprm1OS3TNh3TNX0zMEMzoquG+7zxMvB6KCJuveMejA2Oe2DtA5cN7ctaNyEUrS7Qswunkc9cW0OA1nOdX2tGPCqWFcuI8EIGiGQgN2NlNNgdD9cNjnsoYWbsmgO8zeFDbQ6YpQYhrKW+RUicxSFawa2uutse1VYfvgGmrXx0vKGtha8zNH3Tg7kZCNfiENyIHGipBDoR8BONg1Dmrq1pTDqQUv1C/B9+LHGSLsfTzU4lOuK6R2N/g5kyZ3GOtIJDwYW+zwhJB1fAO1LlyCF3i0iRChIxf9W9Gsw6wuTz2liLByOqnfWGq72Jt7uEw6GpR6mdGXRDYSAOcT+3YGCya2sUwPMjWDZjISoxFObdzqdlZwXPNpy7OHT2Hg3X9fWqCgm84ADIoZMAbVoVNuYahaELTHVrmvWCz5gaWHfB85nPXRf5VA8by/232cxoGMat1xJv5wG8iq6vrCysdsLELNxQLZe+Xbr88u885HnWEc2t9yqsP+D0DebqmIRh30wGiao6JTQ4nrtqUIito6kWUV01bBed5cv9R3NXwNwZ8EORj/paeDpD3wBPt+AkueGIToOYHHOYZXLXWTYRf7RVNLVG/mjFWb4G9wlaGUHLznmGst4f+ahvgKdzaMuFTYPT5+7GNe6k1y6xVnOIq4o3ba2z6ltCArjwLig3iETcuTCW2mnwXvrwNzMaqx+cYax2cMbCoedNJznzPR3ItCNi5SF3ra/xoQNtf+fSaX11sO4edu6s8SYeZczzqa2Ru0nyshqQjX6zuS/rBm91D0U6rXdWhLHBWRHlFlAC3dM3ofi4jmJzNtikpcD1F7nKQ1OlOrzcLv+yo8xdvg+EOaHkxsP9kU4bnBXBRW0NELqah8MtdpYAhDLTf1Gr/FuuJa52GIOx+mEMxpqHMdzoFNNegoLc4lqisdWjWWd2829tzPAj4L93uMx6hzEYxuN5rw8HLmM+otu+fzCnubKvM8NcDypnPkLlHtDYf4TKfS+i2rTXG67WIwU8nOH6qFd9945Rv3ZyYWv27gv/m5yPwyKdjKWz8aRon6fjQjMtKZUluIuzsT+UpudZzNs5B3qiCEBOErx4GodncVTrMkFxiHblXcNewPdUi9LnfzBQuUrCWEliW0kSxUoS3UkSy08SB/66YZL4EBbAswDCQgP+x0kSwbNYg//wPIFsDg6ktmYoXdXabaddRcbPrhrXpy3LHdjaLUvFacJXFBWMNTVWFDyfRtfgfwjmsoWwBvgPzy14bsMzF8JC+Jv4ioouWWZLBc1xQ7HQ6rldsbAEG3zmiwXt0VAsXhSoTBm8QCxZeuEP//MvpBglTOLIYBTj6JxaghqluJxadEYxUcSpxr4biuH0qCJNJki0Ys80UZGScEpyOTXpjKK0iFOVfVcUUxGsyYk1IkJVtVBRE+NrFPXtKCbwx9FfRDA1drE4sFcfNcq6TTCML+Lh9utfTvKhXw6qt6ZtwjVWqf+X1j8eP7f5jBS3q+1Tbx/HF6Pe9Prb54GdCSPgH7xf5/8atmL9o9bv/1BUxTasf0jKNhrgPC/8TJL+rv3/5MmT55PRNB3G0mVanErFaSzF45N0HEshC88k4KAwzqZD/1rK/EupyPwwzjsYNMmKdHwi+WFxDtzkxM97rWfAcy78IqaU/NGoG576wyEkielepNlkPIrHxUCaXhenwJvqlCe9f/vs+Yvjn16+lX559u741cvXL99L737/8Pb5C+nw7Ys3v799f9Rr/TaBnJM4i8dhLCVxLKW5BAwuk/Lz6XSYAs8qJpR5DgUt4pPrXgsq2UpHWFpp6henwzTo5Nd55898Mm4l2WSE5TzG6sZFihyzh+Upq8/ffDcZplFaXPPmypa/GV/F4XkxKd988V+v3/GyvOCPWm88XpLeG/jbPj5OIM3jY7mXxflkeBG35d7UhzoWLdbMxxh99h2oQs/PTi4OjSMZuTM0chkmHxjMqnmzvwNFOmaJ9LDGO63Qm68L5Mar227OQj9azEEvcxC160HRd7AKfnRcxFdFW5YHfp7H0AZhLz8PgWzyTtiLs2yS5fWK9ZD2jvPzJEmv2juiLBErr9y7zNIiZiliSC86H03z9ued4LqIw0kU7/TDnrjvncZXbbmzk52Pi3QEj7DQYS8C+p1cx9GxiCd/keXWNANp1S7jdpbF7STD8/zUe5+dx3Ir9ho6tF2VAGroB6ncCieQrDcB0vQyJNAi9yaTE6+YFP7Qm8b+macMRv5VlCaJp/QGgR95h0etYTpKCw+LVTa+1tS/Gmt9DTU9pZUAtWFDgkiWcmjVOFrSkeqR3DsZToL2zm4vSKFx5X5LipHqYuiuQUwEPIJ+8k/i4xBGbhu/oApx7/mzV69evD1+9tNPb1+8e9cpJhBWNpUfRRn1LsSO/MKHZ+9evHrx/P3v8MbP7+G9l7+9fP/y2auX/9+LvbaqKLuqsrurOnKvmFA7521d6+wE6cmOTM9vjNEBVuOxqsstifIjMiLKY3HlQ6d/NBh72GoYQd7fB7WkJWFL/YnNlPnAk9pjrL+UTS49jHT45y5E6rf/3FNlvDsaAMPzDqE3ejjaedIQ+/Csf7ana0e8PJTqWZWq0oGXO6C0HkHiRXaNeQAbzb07bN93fzx7s4dF66suFAxbiGhJxrzxF8sbUjkfFj0IOD7P44gKxoYothSUUfY8y6B3JsVC1eH5Yb+qd6fhsa71xeOjWupYVeWpd/XUo261qcmusMkgHyojDQQYEG0/yNsQeHh21IXmPzzbs47kfVT75psZjAJ8UQwifJffd/BLHuDg2/Pw/kDpKeqARh1GwxtsInlAw3HPg/sBDdg9T20xbZdeg7dI/mHjwAiVn6pKH/72/Ok0HkftQyK7sT+KO39Snh0oeAdLbfWPjrB08VUYT0EG0B/Uxn0QV1dEEJwrQI4DYAx73g4UYodGcJG14yu5N5xcIm8ecDb187OXr3Y69Rx5xDp7GgQwCM5aEnunijzu7PC22emIRtrB9tnp4HdnB5sEUseGqXM7xqW9zztIeYEfnuXAbbGhKL1jEMDHmNZxMIUHMwkfK8eKysKrHI79BGyP/NKf7vQpr51R7I/roRkkHrWpW/YpI2J+dMdYntLZoafH2Fx9uoUMJyeQzeQEGD9rVUiI3XRITOTHXxUIENGPdrB3v8zKpkbpw2LAAIhASHtAibyXWLjcEnIPy32gEA2RKPAUrk8xicB/omDgt9gqMEhc5G6t2tBsKvJTTzNM22ptrP9P8uJOVP/b6P+qpRuz+r+Cu9we9f8t6f/vzkcjP0s/xRIMEVTD81M/i3JmDyTnw2F3msVhmiPzIhUtTIHkgUn5RZoXaQhK/wcUZ/1Sp2fUJD1/9ttPL3969v7F8c8vX714d/z899evnx2/e/Hm2VsI/En68RmIsJe/LXv8+4f3bz68bz0b5hMsGen003Q8Bg1/6qcZ5jBhoTkwOAnUm3M0LXLU/3FYIoOG38NrZmRIKTyiMQoJ5FTnWdNAmATAHovTViuKE9QL8nY+jUPUEibnwAa/MA0CtXVkq8St4XkvB9MDWHRnh/QJjALv4lNiGcOJH7UnUKC2eFGWD3cw9Z2jfk1IovjeyeM42jmSxpMC34dcMQL8Oaw9PfLoRxydxDsgZfksCMZt+Z3AY+Wu6Xyd2RDQKAVrQb3PB5mPfwP+l0lXmrTqWKqiGSBnQTlt5x3/MD/qBvDFVJ68pm/6IO65usWlqocN2UugrdsXFP24c4EvwHMIyz/Wn+/Ox0CxwHTl/XErj1nc/GNWtKu32hddjCbv7mqzb++3x7vtcVeVoeAZyK7xTn/MJQ1JwD7edqAtd/p5DH/PR6UgoZJBMP7p7FyCoVKYO/3Dw7xzccTqzDLhtY46Z/G1N/RHQeRLV/0rbOzDvnl09KVVCot21qG+r1lTkDJpT1x4cNlRFy9Q8u3N/8QX/nA6Gd6RCLiZ/+Nkjz0//2NYj/M/2+L/b4G3+hLNOkRSO5oCFcighWRJHBbddAw0DyMOmT9QSBqWTBfnjrtvGMfH2aE09Hut87og0KXuS6kiLekp/kUaPzjs4L3GfvR6vSPpdDKMxJwusrhcIhuw11M1xbA7xPGheBc5n9qZ4K9fn0n7Er44yfxwGEuFH8A3sjoxP/y1gkijNJIOx0fNK57wcDqBgQm5Z8CzUUWV2jDWpZ7TkfL0ZORLbs8w8R6kJ/ox4eX76c1OLk0uxxLkeR7PCxlpAv+Ri3VIOnQk1Etbv754+0Ly4FmPtM4ozVBOtMVvMIqmMzNFcgv5CT1Lx8jKweqUMBGZzUxBmcUE1HTkT0UBeFdpaIe8bbXA6Hz5Yy3bP6G+bUylI6HGnwbHIFSOoQ8cPhnTAqsV5Cm8ArKQSUmSbvg2yT6ynWgugksw9kKf/yWL6QhenxOM9D6Zc0Ka1eNDTuEQJBa07BuiQpbTpQ/y/vhPSA2NFQrCAh0fp+O0OD5u5/Ew6UjvOxKYuse0dkhWDfs9PfVBrpCV029VtDdMeu8xwQG7/0PBH4c7fyg7Rzzotz9Y0G9/VEEaD9LKoJ9/ZEE//1gGPeexnms7R7M5nrIHv5K5JKL/ob3ieWuvysCyJvCovK89o1rxZ3Q/mxEMkRyeHrYh2WdQpQ6m/yPcyB2JwlQRplZhmgiDG2bUUzNjI/Mm3vVrbcj7j/JDAzFvg/HdkdiXXPXSdJJr/P2L2uvYuqL+A2ksfv2m1ZeiLqSnnvTHoXLUL6EYPWU2wgFGGEtdSa0iJUBwRZsC5TL2cNKRTlPIB8pHj8onl6c4MQ7PuhBJOpDUfmuOP8BbbXi0B5FkaX9f0lpzQJg/DiHWEZb2oo+JePjWTCQ0avusAPVHvMSUOOhPXUhpOAG9a19q/3F4mh6VIVWDUluzBr2EfxqwzdNaw/47C8UxCWRWBj/rSD+KRkbyOJyeVtQ5vYRHl5ApJ9M9MSrqbQ2RnkpKn0We6wcIOyiHDbQtj8U6ohZe6w4cJVBMkedMajBQIIv+fCvDO0+lLh93fZaE+NkQ90CajdoUc4oP4OmeeAq0iEGatFsO8L0arVA3LqbARgGR+hAUPZbGAkFDGE3XXEKMP8UPTa5XPZ1pR61PL9UC6nH/hLiQEUXD5Nh9GSOBIOiFrpQOpBO8x8d/lo99JOpnh+nR4Z9HUNm2Ck8TGSoLYVhlHg5B/OEJPuRvUIQlb4ln9OZJmV+A+f3YkN+PN+b345L8fvxafglWUO0p8ALZEvHVtN1t+/DzEiOqcdegOScfWvGSzznViDoJml4PILPZ1wN4vdvwvmBFQQdKUg7eyfi4yPwo5uM3zY+D8+uO5F/Bf/hbdCS4w4AM3puCygGj+8/a4MZBRcUZTk7a1zB4ruD/lBXIqGJp9Wi51hQHx5ikUANkASs+NC5RFXAxla87yDew+4r5cA0hvmgLATElvYdUvI4UJkh+rBFQ6FaaBAWB6oGyinGjyt7Ed2vSBqK87WXnYF91SvWg/V6m1D34X5UU0hMTtxg5EwY03UI1/HTIf0DNRfCFCBI3iXiU+CAOZ1QWMsDZzMH5GC3p6WQy7CzU2fttMgYlJDw9H595Dm+YLEbBjKpaO77ogISuvXWY9pGm6YUjSoLZ32l9yYEtEGF0mactH82U7nPG5CW9GtCrkCfNVZBMEPoczuzkYMWzcqEA5la9NEKWA4Z3hGJoTI9zEoHMGscRAdS0KzFznBvjKLGYxKVnSs+sF2rUwSQgNfGs1UpRg0Pl9/gYuf3O8fHIT8fHxzsVBWFT1eY3atMvUMhJFNcfa4x+sCsgGJteaKmo+/XrfJO9ClmiObIzy82ZVQJtkeZihoRMlI6EJoojyzOx0QhZVHJJ25ahjFmcMA26/k7ZE/gyqixJD2gIesQ/H0KWhztn6ThC2vv8RT7MyqkgSChbSEcsBlJj9RcwmgVqtWh29PCrTSXC8i4jW3khBUEW7DG0euxTEJsJSftEJ5DoYX4EfHpu9FbkMyMvaRIk2fksjJEA1FcygoglfOlLOFylz5hVW5X7PT35IrFhywM1HoiMi4XoItoFDzAgQMEoIsDkAUEa7fv5GapG/IkFT7Tkyz77ZbNfktT+XGu4bqHQ67m8s9hG5XJVe4dZqDtgVf36DL/f78j9RjwtjgciXxqEh7wFVVT3gCAOz47wJ+dbc616JDemKJoVbsE8/XzWt/IvUMP+HjUMIp9BccH7Wg0WlZkx10pqk1iLq9Ig8TgqAJFeXxs+Ohs+9Ae423huCN2CjBtkxixI+yaaZqwYDRw037mJA/TL78i+3zkSEn0x9aU99dVe+RqhS35Bs9U4g1BNPfSF7Y6dN993kOpPb9h0g/T5/eGTkydHuyDURb9+bf7vauqPo7taAfrK+o/ZgP/SFe1x/m+L+C/EFkgfR8dnQOsmzfTgKopP4Hzg5AEMIBihH8/9cQFjJZKQUcI7aXTuD2EgMfqRcHm4RF+dpqBpRdJJlkaN84KC5KSnM/keSE9xxok95hAgCKNFFnZ/OPURmkq/jlr4oC99fnJ59qR/eEkFzpGHwyB+MryAsDxiAFhcE0rDmB6ECjyg2ZGuIoWgF6TRlTRJJFWnp1r5VN3X6s8N96gjRvOTj0/6rEXOR5gh5jeBoFFKwFj4eZriT/+K/0TbGgIOn6j5k84TNYQvDe+08AnmCorfE6wI/OzTg16v9+VL61mtpUnX9cnuuAIlW5FnekRiK+fZ/kdZCoGPTRkU7nA46ZymRwMUcPDSWxnTyM/a3ctOF360RynCseRe6yWigqeTIZvsTXNg1ePYJ4XkUmpDDUGthPu37J7WqpHHRfx3EBeXcTyWzhDuQN0A/BGxej7Oue5Ap6Q8weFkcnY+bfF5ZNHTRClS/BEpih6EkzFCDQt4lb0hZp5DTrAldc3Pr7JZ1SDN41Do45B1+woeXXGxewatwCL02J/jLD05LXicchIIBNwZm9vAF5Qq7IAE31UuMyP7jGtDPKCu4J51pPYVBF7lILxJGcY7ZpqKUF7I4DwdRu2PHUksOcLnHaT88XDnHU4A/qGxH3w+kGYYP7IZRjYdisXAdw93Ls8wxvCiDBheYMDHj2XAR4owqSJMMICmoVjAacqThQGAcvTzjhLu9PnDUNk5+lLaZQVTctQcVRs1xG+N7rUQ9BxK4LA4KlMOtSrliyplMNi7WKk5iBZOuLC5FvkIk88h6h8ay4jfaWWYxsJY0UZTnmXvBBSAHRhhO6Q8czOCAO6lFl7W4xBLc4TzPuWbOHTh1cPmGh7VVLlnrEue7cD7RW0ajTJjbXB4eIjjF2cdgVe0T9MOH7ntZ6jeoWqAE24mzmWolkKzH2LIS4qMJPTxoyzLVTvx9j1asnUL49Fa9OXZUaWTDi+OakY2qIUSW4IFeiXD7WMvLeJR3iYtD8VA+6yHsrLIERjQhirKEkafCfxxR5YXyEKh5lpCHNX0dBbi3MSUWhz4ZVHpTW/QMGYtCLGASkOkmkOkHqg2ts9CUwykMUIX+LDkMasU+bPDqskwhf+siA7feifP6ehn0DZFQUrsuH347nCuOTvSu8P/nFP3KDr2Hc1+Y3+reFMUzfbi4dGCClyz8XVNbbAacOanjVPUQCw4l2MuxDgDEkt4sS+hDpcNqvLkcjF7UYSwhpfElltiuvz5Z4emEzGb8KIjif4JlxgmyPL8ov1qSXJCwX9z+Oqo9ZV9mG1Q489wOnBuBhFD+WRg4xyieGtxFrH+5uw8YnNloAHLuSWo1NlZmRP0NSRAYcTEIByDdpEZ79XGdVOf5CJNuJ+zjqAfag/zmVmukgHhTDtEnH32Y/ns8DA77Pe73GYhUf+KBbCQVxiCCRzNzXJ1+Hj8+mzNx8VZkDowRR4Qm70hki7m2GrZovCekZUUoQJcUNTZZDSUHQi6AKsJbapikuUezhhBcH+HZzHm81s4+l9hF9HNoXJUv6efZetwZZQsL2CWXLYwwGYYD4fI6cayUBzmrWWjXyv15x2sCxexUCyWNPxmN1/mq2TwKskb4/+gNmH8V9l/lqEs4D80y3i0/7Zk//1MnQ+2TzdHcFrRzYt4KhVxXkgEJAANPjwlZEVxOemi8j0ZCwBgnNOGHL5jiOY7etKHPGYafJJmeVHbrQPq/J+gak8yBJEMr9Fm8WGsxEl6NWhlk0nRTcBIw0BGkNI4viokATyWLk8neSxNJ1C+LMXJoRStFDIplJ45j0IsaVp69/ur/3rxE+0revHPN89++wl+/N/Xx//n3e+/Sc9/f/3m5SsIoF8McsjuD9//+lbik6+Y/hGElPuTRDjbC6WYRzftMeqEk+k1QxVuac/QIjIEkeJvgNs2P1m+V6RMGrgML9ooveoIFEknOx+33nsNWI7G5PZ3wL48HqViZ4/ceu7dxPcHzXttCNBN+w5ws8/zw2ojEMqKqQcl7L1Or8RSUOfzzsfRTn95RbWZinZ2ErA3s50+zkl0dj6eT4p4p4+o81MI5AvX4lWzaW+OKRb9TLA1pj3CSchk4dGOjzwe0ijogNDIUfn5tjtDRPJ7wc4Ow/OgMLpq2kdTbcKgotS21WClRELeTZt5WFUZXB3EXONeEq43NG5A6TRtMUn76fzuGlKDgVxpUw01zw2F6hxWO4w69c1EoImisuQtIQSrYZubVW5zE4N9B+iYodNoB9XCrqNWiIxqTKt8A8bePGUQ+sAWvcOjAcgbMHG8nuHipzVn7WLmpM/RfiWkDtychCGLm5P8tbYmqa7GtyZNe+WqczCZDNs+qjYdH0Yqbrdx4E4r7/Qj+DLKnya7gx5v7gvcjdTxZV592lTDW3ZK2/ty+d88De1HNIlCyLcyNESEp0pP7eMkUDpGbNe/S2+ySRCDcAjOr6U8jWIpSvPpEPoEYd8d6SyOp7gblcCJWdwt5QYJKhBGVyAOWmR1TDElvsL50UP23MOv9hQYpDft5dPdamU/kgdXHnR3Txlce1e7iJvBRW7vY9V4hClTevhv2iuGfl7sqUbnqnONeh8n/o+9adr52MFX8QmUA4gBOIxdZZXulivzUPV9fCjva7gRfs4O1BSVui+LLzy2nokRaDqOrYxDVrvHnqhli0FnIDZN2rXxDvq4ywhR3m1PU3H/1GPYmmHn1KNoylGHIElzVGSa3GgDXu61h3unUNABwutYnhAqw6tC622z0CGGVblC9Hq2p55AP9Hi01D8rNKfacB67YA2np9OUDnAvucrgkQhk4TPMfohCOsUtIOcgUQJTZgmIMPYbOeY0YdEeM8e3wGGG9FqbYMdwmrNB3g76syUqdx8xbqGHstE+OwFfHnuFY89aWEd3rI91qwO6J2Bxg6WzRdGC5Ax8M9TSagLHYzNdR3QqeJSWcIqTIZR7MVryVBJ2oTFLpALqwkjmYwxszPGzM4EM6NdENoiQzs87Z/Os7PTZnYm3ciLCLECUgd36Hk3RDxUOwpctYFM4nOX2B3dX7P7I9ZMwNWFHf55h1X0uLZXjoV0dobpRXx8GeMkM4QeNrK8anGh/OwwnfwYdXJ4T9U7O9MUUk07tFuwD180nxl72NuDmuRplQYnlZFEcZ/RZ31XWfms2umXxx/PUV/P+V45isK371GmOGcRHlIBapXg8coqsD15Sm1HHtxTpJ0+/ZnZIsG20y0YuI37JD6f9cVc5QWDsdDu9tp85dm/eTyrL+VOFxbrsKrHUbnN7u/rLYTZ/yfx+O62/33F/tdsVVfn9/+ZtvJo/2/J/v8lHsckWupuHKT2L/45SEgfBeMQDG6En1Xrbh9HbLNFLrM5Al9MzDHpioZp06IvozPpaW0Fl71frgYfSE/ZTq/JkK0Ez5TqQDoEI6wzY5a33lNBIB9CviuIfM8lXHQYsKBcYlu4NdrYGNNKhNRmGPr8eozzDMVpmkvIYnFxBdcopDb6jeqGQ7aITZHlXus5Tuj1pfNxnp7gPkSnG6SFdN6ZWQ+fXaH1pPY5tN1wQjO+uFDck35MIym4ltjKa795YbbXekWLnv1q3RQNoMuO9LZ5rbWKlEezEcQKeC61xbqwX0jBpAA9YhzlcvMCaqv164tnPyF+ZmdnZ39fevfmp392X6VhPM7j7ktkyKA+xVD81y/ft6aZj7thcu5XRPofpef0NGMgUv387HWpgvwIffKFdfuT3v7cA+zlJ9Vr71G/fjlOJtULL2tv8NitfSjfmzjLU+jDcUHzVCX5BvEwBZWfU3Eb5waABMmq9xSJTH0PLX22ol2j8XMgjQxUyXFx3fUvkXLaH0cyp/se5flsiHomkQJpbGw5HvTMHKlQQjWhJ72anIAemuRxkUuYytgHgwAig54PtPCOjBPUDhhkaAideYj7ntSjXkssgZeDACe85lqMu+ji3r3gDWBo0AYfEKQM+Q8an+LclieZS7xRns9Hf/3i7S8vmJKECPjmNF/RJhjL1VXDVh3FNF3XMHXFXRL7919+QZC+riiGqbh4Iqbr2JraHPvdy18wccfVFc2sF3Uh2Z9eY6qWo6gmyHZHV008EHl5/N/UF6oDrxiqYVimrlq27riao2m6yuuZF9k5dQF21GeRwmgg7i7Ku3xa3mbl3TCobv1B2bZFdQtMqIxSpTDyq9sqtQu4/VIv1o+MvD/fmMDFV9IqXcWBnfMb4tBk4Mh1H3HouiBDg6p0FgfZo7E9ikeT7HrOZ5yweZ+8Tq/EOHwyWHRMR14fXo5hwPjD9FNcuqi76oi761pB5stQRk+CMn7iL3Vfx9vag2H3NgaF8CJuX8vd2q8ruXIrB2ObA1fYLieZSRWaWhj6Ke2FLOcxBTwFmOqlp3Tewn8hjPqSBnzQtghV6pNNWttH4BWTn2Mw5x2IUXd8N0h8Lwmq0jDSY00tffLoZzsHIyWHqzv/ekMIXh8otlKrZO5DrT/JA9aebWhGaL4lPgSpq95d+tN2yZIlMeMoFdk366bGqnKXgpw3Hsld+LX7oTMTjJvcZwK05nh6c7ABwXNBJgWxe+uI39hHs5Gc+WzdJcVbVmwod1etdUoTnRYZOWiC2/+eodgq/J+1FHAqDxHQdfedGBUBy8D0RtODT71CxhjeJGAJferA8zT/8fwaSKQetYtRFwoXgqT0xBs/5HufesOgiwy9n+/hH3hrWDuYrGR5/myZ/g2KMO8fmhWVEkYSgZ+Y2dNPvUz+DF8e/hp86gHL9NTBlzlfw8yPs3jp4HYvQak89sxTf1D72qC16Lq4LRhT0BF3vuyx7XZQ2VEHcqG/kBjcX9SarBzlVwGNa/7Dr0WB3KdeDgUsvHrbD7BZve5VgDc+3PgDMWKbxyhqq29FUTNR0tESf59fdffZzp6OqDtlsVWDfs10YXYw6s5E6c5G4cHZkhKPJuSxo82FGB/24c0llkaiahc3FD7sTT3vAy8X/Br5nbB3UW/2kYeRdvHRXvtDF+5l/JHJ+x8WKN73MFp3NOC/A/ydwe8y4gVLrY2Z7Pm7/v4HuUwVA7O9YDeAwDL1hcYQg3GWBXZoOKPgELXOSzYaFctaSvCAr0jD4QRJf0oDWFTtNKWwuTE810MQBZv3Bxbc/tBhg+ACJY3c56EQB8N9CIQ/GT7P5EW2wGa4vKg4UPUfVK0fFV11UMdllRIEPeadPWXxB3t7ZwvMQyg+ef5sUPvxdtbJepsidCqagGEHjVQRyR6qmx3CzcqDefYEPfr0Q5Nbe0r2LSabYSpZLVkWsDxZrnL8hq4WUBNCVQInza7JKB0gKhYtULJtJtIITN90Orwm15tggWC+TDkZS2OeBDzrLWTBm+QSqRmXOKAVgBpFaOYJeqWK1EeB+OCguvT3LrMD5YdLf/fDfpt+yf2GuNBUZ3vqgVezHZAaa0PRE8M/lAeY8ofBV3zHsyJA/3jYkoPWQq9QK88/5KQOLBYGEZdW/XyOvgUtRl5KTmbmeEWpwHvTKGm3h9MuVkOGFsgj9r0QFxuxJMJC3F0UVUQimM6o6FwUCyS4QCbLKK9e4myOrKC4xJSGFYNr18qf1csvy/MdPjOAKuuhMh5aDdQPpN5A+c1jaYEab0+MGMgocWF84qODxiOiZnlY5nE2RYRcdQWvwqBhfLOeElQ7H6eJWgWj9vwgf0m6Qj6VB1DK6Kkau3LkwfcilWUeFmdXs+bN83ozQKxhtsu6s1IJhftt6M8us227YBJjF6uqPZ+evJgeDOlotyEqSK6Fck5TDyhriMxgSMyAfsl94QG89gYqm9P04P2vb2coGoI8WgWfyUv63/+F0jz1sBNBcHhDVIUugPd/IibxZWaXGksGvUrO+g6nN2Hc4ZsXRfOrsySCUabpACUWy3KU8QQyrz5siRa4vKuogRPT/9/el7c3biN9/q9Pwe15ZkTalExSt2Q62+njnez0lT4mh9fjoSTaVqyrSVmW0tvffetXAEjwkO103iST5xWTlkkchcJVKAB1LCf2dEkLnhgrVhkzyRwps2r0hpXRkryps4MxYK4vyxVo6375Aq/2Sr4aEFTOIe8/rIHaMGlxaxXq6aHEGWSyNPTISMXlymzqiabDwyR3KxMRpBHtM2InVgO1wRLceB5sV89Nc4iWy2dz3FcaqUQa9DTjo3UQTQKImwW3wVYcG/4cRou68R6nvMF6MRnDBOcynMeTdahv+ZGstlrU5os5Xo13796/fvsMaidCku0mDqECM5rejLH20pY3CmdsaBrqU6yjWM+h3cv0QJDrgmz/RLnYbA9Fh26O8SeMab/Bhjfk0TcOrcUB5YAtbcjj75onD7oH0FXRQuX5dh22SeQ5adJ65nePn+KM8l+eVc+OR973KEJtJ/sNbZunMeh3cvKZ/dQ9BzdqnVuXsJDXat1YrTL0JR6f+C/++fLx99ana//Vi3/WvMFqVUIHhKEX8/qY0xh/+5uBnMJvAm6oLWI2BwTcJ4g1GWxZTPKSNGn4gHexq2PHohzOoLgcEH1ZT81bO+L94rW9Wlm12+RYbsixuAXQ4g9v04ptaMXEOf73JrEom6H6GO7aFwLc3d2VtKOdtOMX7hplbzq+OPFOK6laxQdZl9vCjVNYUzZuIeehfjyS5Dw0N25t41gHq9XOHZVsGAX6y6qkSqT16KtkZeubmxNaclqNttNyW+1Wp+u1G46rEhRjrP5mV/eIE4H7kLy5d7sODNU+3MlMg1JcVVI31P1Xy0BFdz7UiFB+F4zN2sbahb/srweOsC8+jbg9NmrCzYd166tXHlS3J0m47gdEJxDTgXq78l/9Q99fipl/VZuewH2ySjXzzavDKYSOsI2B+5iZdezfWlN/NmCScUUvhXl94Zu3NU49FdRBvIM4qNAiaj8p2nWZ4DhP3qAYnj3HC4Y8gwqnZtEx7lLQCpEv3wZ8QKMCG9mWYXUH/9UTZ4Ay/OuDV/84wFcmQdJ8i7T9Jsikt6DWipPadMHtaOgNOTmcLmRTJt540JyRNV0k7Tmht9z27yefyr30zaiWZPtJtGv6jbbVYzWGq4zHkw0lx0uUjiNuqiQ4P4xUY3misWiVkM11aKJHaq51QGGH15YI9h7Wit6XtmLqBeuXNWOaT7ajFoCGzMSXsa6o/aE/PZgf/lRyRMY6MCbSWOk5WRp4OC85Sdbj3STbOJPtsOR8fO34tKkd1mgPfpFuG9euPzo0x7WRCM1TtTX119qtrWnVuDz6cEiEw/nqNt2u7CJwApf7/CfdQ8FU9ttFNPaZRfuO3szJUcMrLm/qxsM0kfzkxPSa3Zo5+SulPeha1t+8Vsv6V7tpHX774rV18O2Hx6/ep7hXq1WpTwwxCwCIIWsZQyN6FSszTCF0yYEQcZEIH2BPDf1h0zWOj0VS6BQOilaYilaHhPQ4gOYsUjkZ/UqlWhrOb2YscsIZpXEjynyW0wS8Nf6fD9t3f2PcLOBlAuUaowf9OqFRV2rh6XaHZSZQ4ou5yUbxWewdNhdlwY8ePWIvVnxdJ+UqBICQpWvZCcHNHIVTMyFfHaITjCvaWeqpijZnTd61lZpCUoWd2XCixbnQsmyZJR1tn4DZ51/irisz4D7933k16anbiS00f9MWZ9y0dl4ZhwoF3cvXJ2oEat9b1oG0Pj/Q5den277Tbm4+5113CWi3k8+aCy+FJyNQLffn9X/nclCrxDJa9SVtvGSNaBxSV0EyaJnYIV0GUBRk0FUqnqOUSHIEk47QV3QT25BIfkhNkbj2/MSQT6dnolIJxjM2+khpI83kYw5I0o6zz5boFOhcZtGdSXSFVuihzFtVC1cxzyytYj4PcBNtcskKOBgMwshsHClTAlLRUmpSC2XDs4GuXa1UDs8S0wOnrLfcxE+3zrau+LeNX4/jPH5vUBKRS1gtPaWep+Ca2+Bf2PmhpZZ+OLSFnyZ+ONpr4YcTdvDTxI+HH5cz008P+ekf4tuAAADIj5xIZBtORnqWAiicoikVJaY8lJUgECAABGQUgbJQKEoHGsAHiAFDoAqcGXuuCNTxuZCCYYWC6YWRk5o7YNOxI69o/6BgfiFjnoGTgGhkyW+5Vr02pRPd1Denq7N+0cSYMEz/ol+q672RBsjKdbJvCJUNW0MtjZaStg4MBd7ghxaq0oSolSLUN8a/DFrLIAHvbJqO8f3rt33hPWw6rSmhuhofyGAecKKmU68bw3C0mIUxzLbGC8iejapxKtmzWK4mswllM66C2JgvjIZXg0w5uwsy4vByJq9Tnrx++uzJ6zc/7CDjYunsCnrNAl6QiWODDR/ZOBRxjBWt8lAaEMlqRpIAfhPDWruSGjqAcF2dvaqNQrNK3CP1IzTUsJxO10Qltch/aHG319m4J44WOXJykZ4eCR+aGgb0myYlRkIlXeggmLeQMVwrPZKPVmSkaJF3p9P1KauPy4prJR76ih7pQdnFL2WM7l//ynfERaopeRSx8NEsB9ms5tYViYzkDar4S/Witqa0KjDhjmEJhKicsEra0mxPwFFXml5tS5DchGmTtpVL75xZZaXzQRJyFSxMZJJX86sihWfYsbTWDzGqKPXq79LVV6Xbxpz+B3+nLzZ5fXuhGKdU4v9ivGb/R9SNTVq+lLeOPq4GjqTKzuoKyi0w6G5qEr7WQOrvjMPRZEb5ac5CsrGgsYP8uuHH5lmpyr1YXqsEWTJKOCFWsKXg6VPxqaCeX2yk+TsZYVIg200VLsr0+a+loGwWGrs0E4ubEqVU8I9luA4LU5Q9CJnVXRKbVS7B3TWvd2aDDUKO++u4avxVIiENLeSdVbCVAeEHyQQ7UWrjAKkw2PB+a+39r/6Z9D8g4wjvnX+E/w/Hdd1Wwf9Hc+//6Xd5JL1jMwU05X+dgYLdyvxs6UX6vJz7wl/lxt6yuS1zhyKhZZuu7eKXPon7dkUAf9Crd3BA3KXdQKjXaLbanW7P7nU77Vaz4bkaDAWZv5kf/jKNyN/Yf6PmH3NT5hRze68fzDLl+4GR9XlYqoNvDebQ0C44IfpUZT8awDlmD0r8yY4CpfO+VLXvs7Wn+X9a+q9Urv4I/T/X85oF+6+uu/f/9Ls8WSF/CCl90W1pckt64jtfbfq1zUCXUoBl0csQhj8vA2Iir2b9RE6RdvnzbXI4LqXZaWdPC0SoCzrWFazHLKWRpJwFS3b4B913OCfH4ezAmEDbF/ubmDYJFALdeCWmMZkvb1ZxTqShKEH1pdfFuG7FDd3Gd4t3fWEx6KO/yVzwfTzxaWVzva716ePJiU8vg/CQ/3xOYttNEUnkneLo93MRQsMTaRoe0tBvmt1tS9htBt0uyy6L58L1omXJXHCxXBnLRaYlWiilWHMMAT88afW+2pycmGGt1bP6m+Njs9WrhcUrEeqhl1Cuo5VX3Y4AAK6x5CdhRyCsQ/kZWgcvXnm7RCIK0L64v0Xun31zU/vAl2obSDap4J/9nw9+LhUob3heq+u0my237Xo9p6FdGgZ+cPAz5TpsNJtdr9Pqtj2n3e21W62yNB0n+39Jmma5nl82TaMJyQCn2+612i3PLYXTabs9R/stSdPy2g23RcxYs9Nod5ueW5am2/UaLa/XhKRhs+OU1audf0rSdNo9r+FovyVpek7uv5I0buEpS9T0uq2O/luSyHMe0NSNwlNWnHMHKDkpvIOfoWmwY5BL0Y1fT8+OjVrTO/iwS7iE4zY+/hTG+ZzmxaHJywLNxiOvX+M/lnWEyanIvr+pzdPZmpkmrkvjo9PMjZAIDdR2WjQMG91ilOfQPqDTavfK4loOjW6n2+iWwKTJ1uo03J7nNXp3x5ZBbkLrtNtp8G8Jwr1u0/Xa6rckQaObeYopuneOG6RoundOG9Fw7XvTtO4Zx9F9I/RBiWj4zE9SqaXgQNJudaPoWsfH6n1uFReF4OiODLX5zht9IUn4MCHFOybGulziKuEgEvHNNd95dhPxj4AW/UTER18bCWhwckKr/YljfQrk+j88PuZFXkS2myqOwhCFtT0HoOGpNBSJNFjkJex2ArrNUd1C7qRwUXRSclKwKNdT4VwYl6KBKurtdFhlZ+ibw8PN0RCiLIUWG/kUM8heNQ+PR18N+6NdXQkB+F9N4Zjx3VgnbrOUyin7dUoU7mBzZILmYbknctJuQ+G2ScsezJk4TkFK90m4vApjYz5eRUdhdEGMqjwJXy6m2/liNuErplVEm/ZpsBJm+6VZge8eP01Y33eLm2gEE1ajyXJ7xL/G2q27rbqrwpbhiIAdbeKLoxEXeoRCpQ+9FJOXcKvyYjKMgmhrG+9WCJ0bL+rGy0V8NYGZBNCqmtvrFYR/BeP+wCY3RkoacHkP/7T1ZR8Mlqxis82qvmz1rqHlxPnqQyq3Yy+1xFt/C2WHJq3QbqPV9hpEjnstp1lUs8CVQ7aQonZNwt1tD7Y79GMCv9cm8B0qqNclVsZtN3Tin6zpzIo4xGC5vY7nNIgzIpbOc8tT0gpDA6nVaLZ6TWKieM1pO+VpO47TaHgtqjIRC6fldFrEee1I22q1wCu5DfhY6TV7ba/T7jpOacWG/p20m+XB/OGBYGhabZeYIpeYuZZDDd5rN8tTttArHSq5g7XSa3d6nV6rPCnq3vAaXa/XcXqU2uugfcvTUut4rETSpjWUeLxG02u2d2Hb7FG5VHtmdhvUIMQNFBJjdEAHaUsMVpZYlQsWqsFA5bo9Wt1LOnaL+rebbpcY7GaXqEWb2OAd6UBOCC9K2KS69XrEMZQnbFIVOi43UavddRu0mu8ASWi1iDFqeFS800EGr+ntwNKjclsudVOPBlOnQTuQxg6o1NQt4oW9DvV/r9VpY/g5OxBwwEC53S4N/BZtEfDt7UhLjFar0aJx1Wj3Gr1eg3LmW+CXDVNGgPZcXcLSdalWTaocEe/ylN02MZ2e23S63Vav2+s0vYZXnrLRavYanU6H2LUOwe72qFt3JO3BrFW35bgdGtdOq0lwW40dmNL+iIYxcWrdDv2lnZRHw7o8Lc7PGg1q+a7bpTalodfpebtaoN2iAUITlPqW9p0NQqa7K63sAmoDt9PxwE+3mu2ySbI8KFkEj2gzTDPnqFSfntZ57Ag+1ACgnxLiomw86xEW9L7tRKLWTgRq71Mah4Jfoo6ZQFo9jL0zZyf+dAHFkNmxfzXJrD6zjFGNEnWVhDaY00VtJtVFk9ELed9ZXoc0WT+DZAENLF+uvYE1SOITBZrlMIkf6kruUJQcDWujILPUIfjYDdtJ9Vj98Xi6+Gq66F9N7PVRs1inCGZza1SQ1JfUSln5s8N4DIa/kOvK/3BoBgeUc3hAeTlnLcomXa/8K1rT1wdXRx/y6oMYE/tz+t/4/J+NYv0x9v+IXjRaeft/tIzsz/9/J/t/73VraTQSVqCey2gyCpVOoAl/mrRZIDJpHCn7uuLbYqdciyUs7bLFpLf0Iwyv11OjQfLQna3+1ysVIQkU942PM/848f/15mtpW+1EWmVz6jw+IJtC7y1jFkaX4TkD9b165VuYcBOG1iAtKBRxa7NgRcR8bKga1Y1nbEgh1RKdxMZ4cnGBi09h8u1mxffRcHMgjVFIswtclF4s0kIOVytKXT4k8OuV92xxeBKvoCTqehm3CstosQwuhdHhERom5tUHwvTjuvFqgRUvpPoHl8JYHESoMvb5UjcCbHFOhqatbrOtNNvAv7d/f20bL56ev+Tfd7BKNbHFmqrAKUP+8MXwVkoQJ2YZ2Ax3X/ddIoKE3HR+e8xx8I/iwkWx+pDed5Xn4FvjgMaYEE6HPyTbOBdumwBXCLxqKc015M/N2ST1LGzpedeTXObUqfCaKsNGno3UE0DaSrJWqO35Od9qn0vH2+8hyLZiC7qaSC0FEVrjyWhl4pUwUG7EZOxpNV5crKpwqpO6hNfmQmkpKQR2ns31gKyv8BHFYVQTmgbWWTYlzw9KSTCEgzLhsYDTYsrkAAu5uCQx/BjYLFmXTaYPdCHtlmTRoqoQoUxzSpmDTGrhMkE4K/N1JRAuZgkXc3CI/gt9n+u+wggC+zhPQsboH4jcigrDdHPKiMTnIGC+8TygjVuuJVmx20f+E73raLzLoLwXaHQUywBn/duyKHfqWR3J4iW7gGJP8aKwIZSD2cVeIeVRNmWQ8wc1Yo/XySiplLoZFjo5sKg/RlOwiLtV4l1rvlntdvZ1y3oGrLAyisulwH+USXzJn/PHoSQ88Gt3NSl3kkUFJ06ymBIEG5OAuSHMQFoCaokjrNViFUwlWcgaziaAVonlGZnjmDqpvAYjbZ4RDEW15Kt3ZhXbpugSOQcMTvu4XFmPfGsS8LMyXJmuCqLq8YLESk0Ye/lZudNjNLoiodqxdW+VGb+zSlklJL6iN63iiMjmmi4zY7lkvKOGYkKLYxMt8T1Dfiw950GgPpNLThnL4pHTy/lFQzZa+AgVWu3MNOcY6mxYDGHjF8sh++IcUzr+yBnOESRqYES35V75VENZu+ZJPFYtI7eBhRRUyKFv3CpEqSl5kaP6jcVvpWzeETFcrzIzb/eUi24zs+1HuLAbKxi51p5GcoJFaoIJV/Q5t3NMvAlzajrgT9m4h9OPE8NR3m+cSn6kR4guttVspZd9YESnbhYFKm4aFbKtc9norwe/nWYk/KXPVjrLsBtW+cxOWjq6VeRBvHlnxRWBm2U5yVZYLTsUeZIsxNmRNFVUnRfwfHshI61APEcoKVWCWrCcqJUxENNlnnkQtRWQCc7F9GGA5IA5e0Cr5bIvJykatpruCCwFqTge/qvTtBRqbjSGapLBf4rIbuVbUZAL78o4RvoD4oz7aZivwoptlKQ5QZqjknxH+XwiWtgUz7Mb0ouqGBX9PJKCRBbbE6YrMUaKlLVYugTFWY4TVDNIsyXMHJrwXvOAntUw+S+vSLt3YnLyKzBJuK1DnTfjnr/CAHOT/kWiYwQw7fEqu+sicuZ40mSuipcc+wxuEiRX4ctuhTN6ztoCZalGmbGuR9gcGLdeNolshUJKzWiobVwEijYI88JYcW497OFiW1tYxFyRAHIMPcDI/sGiWGd7KBcmDR5b+9L6Tm6fRPGV/bHb/5Tzv2UwiX67A8B79D88t9HIn/91mq39+d/vdP73hjofLhMM9lCAc7wb9tIhlARiPuC7CikNLcAzyNGyl89KiXsPOYyMYxD3yThYhWwf/dSeQZp3CTfhZyfGceIQtCS28gZKCDGDCsef5jYbdTvHgR1omQ0F3XjV+swbJXliNw6rhOXtnF1gwGbB6spYx8bfHxu3V1QQXti9Np/J9QX+hnDgV3c9p9kp8YCxUF4w/v7s7TMcnki3meNJBCVKU33T5mSZccZplTjfNAAk8Z8Jl5nC6ck6mC4XyRke3NTF8ggO+J4vLkx2bizWL+khXPNWj0LYZwT81MfL6WQFf8Y5RXBme0v8c1rWaRUgq2d9Bn0anVbRMtUznGFF+mkaou/XIA1sY8ia0RJzTfXHLoZ6SpeVO4MWOmqBcGzCkFRgGX/DWDSHVtZvMpJCkxp8GMGh7sTJV3gb0vC9CuY8hvUxWhXZx8yJBqfx2Wk1HF+GVewNhtonDSyxRRAeOJBVHlpiyAE59Ix5ulE7I9aRH8sa8IBMazC2TvutM01DErMJA9OsJrMCur3AJ19oxnt0mi+ZL8g3vC9fRn9HTKNq3/hUndNv2oy2UU0mVrUv9dmpvk3ExGEShCnHYWLeUfjpKYyicCRtPRuWwIZeGSFOdvZ5rw30J1v/oz/s/s9x3WaJ/y9vv/7/Tuv/2xvYXYivYyMYRQsYMo0WI7hAige0C5hODXaiKq+5ZJxcWQNjCUPzRNiwtUVLruqVN29fP3nnH89PBEMh3LGKXKzLnij396WN8ydvPgxo5+bDSAfgCaNKclVcqCVxOQuW5gUxBIyrXOUE3j6t/PHKFBEcPlcXGLRMzNeTiEgi30wwbtB9h948kS2Hf5FstLw5F6r2HOQmS89c7Ctx+ELUU5TBQYULsNMLirdSGy2cViwFq0jb2/PiL3SbRLvgnlBW9w3VP0nIjetzGJ/qz20NB0n0w80IPr6e8Z/JYv7FWCkDRlRYPdPUtjG6uplfx5OfQ182y8VkTgNDy8y5RtNFHJrWQHyx5+n9KvCnoP/S19EfQv891211ivu/5p7+/070/x383sOOCi6qjXE0WYdz4/WrFz/AR+HtVbDS5DiIeYTvL3gjMYIZyCUE15XHGlupZcKnYOU5e9zrG3lPfHAQZUyJ0hgmWFA7MTnNouY1Yx7esvxFP7VFfcmbnyHcfl/Ogn95cKXFEhrsFtfgHd8cshOB8Pm8uIlicUMCo+lYgWTZWMVuIkpbw3EfCwyu2cxLTZr4TkAEEgekwzZKCr1saam5JlhXi8VYyPHXjcc4OTwxWJhDWKoxl4t4VROw4iUtjasr4pgvrxiVizBkf9Pw2Syl698K6ARE4SlxZ1UAZMphXK+8hTWiPlR2F9OblSxmHAbjWhSOrhfQHYBNJtzlT9hZ42qLnTy2ycraDtCDVUgWgplOlkZwCZXZlVyyIQBE/TqZER6EpxBk6EsPn6nLM/avLZPhWEBd5lPC61A2yLQwkGg1juvypIF271/TTmds3Ea4rorQjpxceMJmARWCNr2Gpi8r915RlZizqLC4DONqi+RoFgKI5hAhaDbI0/CJASe5mVdxwBDRVpbQoRYQVtOvpYO38SS4nFP/TUa0o1nx+WnZYYfyD3e8xGJHm64T4xS74/51uIX5Urter5/JQ+j6ZV34jetDSsR3YUlsJt/tjzP/4+z8Gj4oGU7pWQQOfMWJhJhvv8W5REYUqOyE4ukbJWOEs4RKhX0yimuAt/VXzyvSSyMLofSaLb58q+AuFmFe2yh//mK8MQM1wDHpqrGcjBisYizRiJCjFmrqxiXTKJAhq5LKN+lX0a5bd72whq0rvXXaXA7Bq1FzTMVkmREhEjNdgtYoQB8awkKcloJXlXffem++gcHUel7SufJ3h6vXagGT5x9evNDRgIlEHPM79Y5nHGrh1GhH8gyKEgA5ooizcAw6yThd3Exx4zcOoyrk1WK254TbMMUOX03MjZUYr0wuwWqQlDswNviHOyLGnHO8yeYQ6fgWRyIWRhfmBmjVc9ozsLCqDG4Wbp0Ty6nysg7ovzLF3TgtByuam5KOmTLHILXhxnLHRrIMWMqaKvHda77prDsFDpVRxpnQAilm+LmaJHfOQopEXT4XbuEHRsDWOxfpZfuAz63Mq0kaxHl/BOtNbTZEB+IlSPYEPwp7fq6XIvcXRbppqBLZxdhkaqIodt+I50T3FDkPg4gIHc6f8tX70Wb0qBSqGiopDTtbEME4wERqSYtttrHk62VGjYX7CFdxcIcKLeGHeMkXhT+K4yxqZjQH9XcMuYdIGphE6nU6FmgyHhiceYgXAYC+ImRJmgDZjrl/JATV5Gk1km5NRPFSgThT0ZJfKomn8hUk6nJ3Xwsh8SZE9bJR32LDiMNQkfC0+nFWPWMxBryJYzWGwC2P8isPueAVV3kZIsSze5DeZ+syEZmrRWdQLlmmXZgysPz9XiI+IAVWnEYu61LlLBBdEFemg0LgD2wRIwNrP9jxl8vJcZWzgNh5NnIZt4FYQfPUmygCTCaDtu+4ds2D/QuvybTSAyRkYA0JunA5O8dx5jkv8D67vpS9Kvb7iygYTWmuDauWoLLp4s7CyHB7QnNyKjgDZiY0e4SAmoxO9gMrxtpBoB+yZ+5qz9k5ChvGFT//vVeyChl5JSzQ0S+G47GG2rcKq291KYRvQaIwqrP34sqIZFqLFK5WCZYBAPXQmzkexzQAcD5NJCRNjBX529PqO1i2vc6Ma7Z0T2HHfKDxDhRWyL4R6BPfeHfKMnBnfcjC6Vf/K4xBkxLVkOaMRbhUYhWm15XSSyLFOfUZJGJPgLGMdbXYFY8nGNllQRzIDPhKsgm+j020CohlNa6mQiaCMAj7kqOqJmH12Da+Fo3xmM2TBpdnNr6+Vl/pSQrECW6VlBvsPPPLdxnEKdEx+/25LVaKwqTIxavvIAQqU10QxZPSAiI8RW4Kpu3WS8rMQJM1LwisUKZjo8YZnn/dFzDUZ0laiVKStCzlEhFTT1X5+dcDY44gT42251+jo++S7UhAn9MOzDOnniVhiIqnciETeUC4vKUUP6kPLzN4JpmG9PqcSQvQ0/5EaakgTgZw4j0lElinbyloMjAwsJaI/imVXqYpPZya74dW6ZykiNPJmbA3a7rYq2LoIZAHvoi4sFTsJQ9MmUdMjR35VCTnvUxlukFKp+ZjnmEyKzwCHcpQzoaYVSpkPRR5vi7N83V5HqaBYv+Q8q8mOI9bIdBC/DsaN6DGvS1KFfLyV8g+pJKy2YeUvVaSv5y0PkwY3ebFIc+c/I+QS+d1NHcegSUeK+hHoZOjjjcqJXLKWSG/gmDt+R2C7Dp/gP3RVlfXiYvyoVg7sCctxJyXCLCXi9EmMIx7H8kJyR0sdpeVbDQa7GpLLNdVGE9iosvJ4Yg869BOjfhQJrM9EOLWcsT8RiLXdwstL1TvZY2/T5WYq5Bi5q+7JJlDlg2VnAP4LKG3UpDbRLqT7A4wX6SsTAidpAMZesgZD8rQaTpMEuRL5UtFq9FIu4XS89WQFcW5A6vEFGvzl/QAgpjoMfwSrqTjQowKPgSo4fqFGPRb5pKuFrfMsPN0Y/0n2k6OxTmofgpmJgdzRfnMZejowrOzEkWKKFk5aQtSJuAZeSxU60ipWk6vPksUKESOE05ylM2xS5hVysWK6YWZEcHQ/7ivKm0M4c0RHlDLtR7G4XQV6BMm8hg7Sy0ad1NF1UEnxGxxo6I82jOsiOz9Ag2RAhZ3UNdaBtcjxrWABVz17MACKwQWPC6zHJ2nfJKFboLzEE5ITFAwEsG/oF4ANFZZ3ZKsT6UOx9MyVQ0xk2nsU6If+WgDJ1J/B16AmFfgeCoVOHDGZvExlcf8/1Os9XXPeoAMs15amY4IUB1LVEvVRfQEpZojQj+CiQ5UJCRF4nKlokQ26C51icIelsmHKEKegfG+tzx/RvuAmnYHdFZbBGAmLNALUDFXQTRm0tzrtZLYE8lwlaUp0aHwBAIHauU6THUA0H6zVXHRTrJoxNsTihz57CaRa6iHrrQ0VrlKQkargDa16xKB/zLR/FIAAjG70OZ3qERkyueFJscciHmN4w4CDc1kwRKwTIXgriRv0d9xYaNI/Z9WQeJuXPfqE3v1iT+Z+gTfmIg77FVssv+R5LIkf1No1E6MU+mUDprhZ+ompOB9j7140R4J8NKuETlpX3OtPFPVIVHN9vvNar9q5VTZP2Us9RmTVTgD0Ot1qSCxmmWUqjiyr7ncNWvoIoVesF8tjmxoy1+faXeXLCmEq0iGwsvkNUsY4zSeB6Q4vEJkmac/lpIWzVbi8+8esWVNKFvcqqyudB8y7tmd8mSv3j179hTyZJ7T7Faxi46dHUmRkt2uuMJti5XpUUZfOAmU4yUVle6f4RbjtKrfIFd1X4krlIlb4Tp+TG1ACplxXLPTv3Mh4mFWLyGRUeUibSE6JzbcMawO4ApoDt1alhJPqXNWKFngDPgW+7szzE8aArWV0687F59jq4qDkpv4ygdx2kuD/cfKf41ol/lbSYDdp//Tzuv/sKG4vfzX7yX/y53P1vO/e/w0uf9TNnvAhAxZPCfRQ4AIEy7v2WqUOITwHWm0B2IsWUs9tpGY+PnWkyZ+rHrlQ4lEjRyFxrvXL/757On502/eGq8/vH/z4T2/Pvv+zeNXTyn825fn/+fd61fGKXQZHAP6SdFZpT4k6mh0jauQjwnYVYrB6g42G5hteEL+2GK5oDml3CSGZyF1pCrer+jybd+rlx/KBN2+T95+gHvd8fMQGeNr+muY3ErMJoTJ/WU4v4SS0ngRxhkxZwj6gOBOJ0M7XkU3o5XNskAxC+f5Mqr+BjI9umoNXLkgiWkNivI9uKcSAKxEyoc6zVaSPjZWPVold4D3zqwBltnZ9XgSmThtoXWJCbnNqlTni2tJ1j/OfL4TKwXT0LG0KrHjYyXRvLRZBTdtJ9JJGy+VA2OezdEqy9GSrKtTeV/wQsRNcFSl5e98NhmzkBXWX157Q+HZN1kAY+dwjqVVCSxgSPJIT8wI8cJbkFew+vENjSLTSgUT3tufxPa679rgZfofZ7a0jdN3bGmzpy9N9thslqcvr+lUVdtlVW2rHX/rM/U6GFSswz7ziMUbDB7MwcYOtvbK3thS4AJj01cYpxnyaSuKF0YJit9ix8YsfAXjg2awYePW8mMrP9jEoqlHyZizQ86vxmDCRwsT2UJQ/YJvEAhFGoGKqaavirH0ZY9QuJ+AoGEs5jnYExYlNPkgls9DeQjQMD66qH5Cos+gE8Te3g6rFmblBdrjQnm346lXh0tDs3ryzTdVm+Gi/ZfcBkLsXnOjKoJFm+ruUxXEMl9OBEKwU3ng9u/OK6n1X7bkb8IB3GP/r91yO/n1v+Xt/f/8bvq/N1FYe8PLcCJtu7gwhuE8hMGzIVGG7VEwm9VGV3B1RnTS+N/tYbvnuRddwxQLWh1itKOL2QwvlSAaToigXIY3EUcIOWTxyjcd9EqrMCbIihbi5KYjZgPnwrpTOJlCLYZYhzCasGBhvfL21X+xF59gJkz40aKd5H1LHSlXV3YHnApGE70IxX0cxLe5HBD9OFwNKuoWgXdGk1DpHUudZyOmbWOi7/xYichDdtkIUkZJCFAJXSYp8DRngSdIQLEOj5mRIodr1sl1mEpD25UlzXsDop981musJ+GtYQpTgNDOFsLYy0SEueGwh3rAlrLORuxJPPgikcg0tV4lEFZ05eUs14bQZBYoYIZOimES5wKRH2Zd8JJhTYToMS2Q48WsUvlHIlB2oORXKy8ff/+cBVHcyqvnShBN3BJLL08R6Lc8EUkIfl/frDvyQFvI60hBGwbMoScGv4vTACWNmtB92TO2MT/nq2BhEhojUlzR28bHUbDUb+tHEFkUdaq/5T+m65xTJvxjCRRimoQIKaF/LkUnR1H9Zj6h8Umpe+z8PJF3okplEzj1tiYOxYoL+QRUVLfrCat9hHE3Ea4kvDWhAoWAjULsFNTFpVT7LVQlxT4qj2T38ULkIZpc4EBIyg0L4PKvkBq9OZ/OM3dXCh8h2NwS1y/iV6ikzURjpEIZ9C1VlDOCjBvXNrauCrKT8cRx1C5brzwuOd8T3V4XonnAOGkihWI2vX6Clzu/C4FH6GnyVOA4XPHNAgchlBFo9tyw+sYP6oRem6BynglBaKEcHsxXP7Gf5FWwAocsx2kVEfH5T1VbHIIn51YokIiFVi7ueeX98BGLECRSAdGaU69dDen4ZnYuxELxEmgxl6mw/qvnIu3HaKXf92c9zAuOWE4o7bBpaRxoXSuGz2EybpZRnU+XhAgkhr+liUjXajUjWRzsDHlgeRcTFE0YPiUmLgQZC9MNG7R60lmB6mxxkr7JCGLFfCWdPaWcw3szH/f+AyfvlxisSxzWBYjYQBZrvskfdlJcqbEyzgPRFEgEbTy+t+yV3GzOowR4sKE9DC0OvoHyKYI+w9U5AhBco3oMjBV/cvARdVbxvj5aQIosgGQ/TMWttmV3BpzqZJfZw2RSEQ42yh5gyNd8zlbJXu7wRX0WzGadtuMBBtQRNaNsRZMia1SAVcT+jsZMGulQVOzSK7TUdiE6uoaIXa2yXXAzo2nKWoWicdHKd5j/DQ3EZIEIF429jGQWhRfG3mUy66SMmZb+ckej5IZrdrS6xdF6TyMXR627c9RqneI+aOS6+ZFbCvIBg/dBAzizamh95Ko+GgjqmX4RdTz0qbyBpOf8AZHHYGcB+eUl2R4zqRaigCspCsi42Hz1RlyIrSgSX6hTbQT9Z67ly4FZ92N6x8KWzmi3OKO10Tl84OjMEYESGuBapePgnhGajDpFCnZQAncHJXggNfilFOFLR9x2oY04xuViuBOhO0edGA4YJ9vFrx10D4b168ecWO0F55JeUwpdl49gSmlDKBhSK6cW8JF6g3nI3CrO19jIfFCeG6zLT1HKu1C15szo5kRlIUnHEKSOH1+5rUKTOV27KEtETfpR2mqHCAJ2EUJXAYBOOK6voOIj603lZputLG9wCtI4QsgtkXGjz9j4Xhxg/VDoistg16LCpN5VE5Tp/CXYsq2LOeolEZ5YvykCEvLYIwRYzoIi2wHBgksYd404SyH+BqWZiDS3WMYZKhrD4tUBpGAsZNL+V6JAwW11ZOwAJneCN1hME40L5BCBJyI7h9+4xXF6w7VEkhrFl1GhG7A2kA7fRYi2guM4RErFk2wSSkSzf7NI+MZos4vEbBZ3UxViLGhA3wAKJSXSMCiyH6Xouw9BH3T0RvT/DvTdX4k+RsaNq2EfMq0LxwOxkVHvgh6WdMUd5DWhnFyFX7FWb4jM3bgZUidjdLr5U/TA1foh4H496Uwkb3Sp13BKO6Pvi7bRN2q4H5UsLpfDXQs806aEUmx5pGCB2oBSDBNKsU0oxUZRiiEoxXAHpRjuphTrlFJsEkqx2lgJy1CgE6tNKZVYa1RirVMJSi+CTpCVw9YlFIJFDClBjWLLJtj6PvqQ7FnW3pfsWTIsyH30gYsAywyG4kH0Ye0+BH3Qh7Xo9S9gtB6CPsYDl6Cwv5M+bBdfRB+4gF/HWa3dAjf0RSTi4dB+PYWQxzzUABfUffKsB1+BfqbK/kpwXOSHri39rXvqDN5HJ9hgXn0wsBS89iNgH6z9AH/5ipAb2i46ihj6EoUjdeYqROiAvi/xyUcVJWNxaOSnB3d+cnjnayd4Snn8+WQTjndqi19YUj4SG4CLXVq7GS3XCyXet0v3644cCqnXfGDProgS2T7+YhH9pekezoTsNPQG6LOGT7aeyEeF799+eKafIOpXCYn+dF3JApZUe6aqzQeu91WbD+ZtTVH8lyi8scgzDeLYu1PjTVPqY30joVahlDpn2nmgpr+3VCqDSqDzSJMQzYtV6i3/ZDFbhlrb/2O+uL3voqRuPKa+4Yv4vkE9EUajm1VGb4bVK7bGjRiyQ4qdo09g4gHg0avTBdZJ6lQJZ3GzwpcOhVVFAEXmDoa4g+JBQLnv7FWoHVG+2dXExxlqP2dkANH8dqPcBAnlvTTbf8JIiFgEVwg786kzGIihCDtIwpLkHwOpLJIbMdRWNh9dRUFmlNxARjGb9GpiaePr41CeeeVGlwBIBUXDTHYNYK0UoGw7MWQ/gvbFtjbUPwZ/PvlGef/Pdpj+GPufrue2mgX/f97e/ufvZv8NF+RsypNvt9nAEh+gCJ9+QiCAL8Fpxl8tbtla5YrNZxTMw11B4DgwRos5EZLRqtxwljAvfizKOzGOWYqP/s7pH+TNpDEtKR1vwI5WxVDoQU8kughHq8wmiIUHdDN2iSpkaiBMXHmzmg0vBCYOc1iyMcOP8fVVTg9SmPoikp7Ysrtg43aaeS9p2KtgzCvj8Ge1Ah65IAFZReqABeS7QM4W45tp2H/CK6J4trgwJN6B2vxmJROgvYehtEk0gXktCjM4lyld0XGLVe7WcOa1xIKqQlFigFs3WUCSpYNFJ883ydtWl6K8pzgpWYnc6nW7o/S6Unj2pSL1YmoMYXFvZXxfv6eY9zjYU0bcEuO0hi4taEN4gwL8Y7TciSWk9VGSGqSQG4lR0uP5VsiX8BRiUZTpgmYMjXpYyYEVRHiRhIrAQhpWHSSG86EJISRupWAKC43OAPfBVnWzRnW5WFh9RbfLDBYLswiZXjldBIMShaNwspZm8B5uWc9O1ZQlLosotbRXSS3t1Y1voERCjYZNwb9n/zbM6VxZB8oZHNSNEEbRIhIm4JZsZH0glFFES/ybr47/jVar/FvoH/0bRIydA0BGh/tgIioVX+FumUrUbL3Byh+xCXHB1eZO43u21BqZTob/nXb4WJaJWkvppMDi8Zca57OF0XrbePL4xTdfVypPnz1//OHF+/M3r1+Ua97kpGMTNpvFKRP2+jtlllHKMSuCH1NLrsLLrZArIsJ6xcJbtO9N2Fwp8aDrqZVwvpP5PIzy/C4HsloN/ZVaZHNlIUOZzppTF2qfbLifXbiJWPFdxhbnBUesgsW5FAkhamL9Co6ZxpFWgKpZWoJ+n6ykRjiCuii1dZXIjfSlgpjArkh/SxApGMJKhN+wpGdV/34RdOsu3Lm7UrSLeoqyQwuqirgcgVmvPEAx1ROIFs4NOSGq2NfGRAbiTBPGUZBmBIRFw3T8Z/p1TxbdkNURdUX9pZVXQUyVXUM+6KLoUBuKGZwy6mrsgDe4DhNRIbk+J254JcWGKpvkhKrJrk7RAPO9ZWvatdlcQvtLG4OKwgTTPEo5j86KV7DTKZwFLZmYInBE5IEz7/NC5NgJn/gXVi8cTeP0AK9Es1HCTLpW0ee6eDsXfJBJf/hALbZyZYmGv11E16Yy7qY6gLXkJP8LIilVBMVJ23tlS1DF0B63qLKZuOrQPAoPf7LlGuyXdnhGQVYItVMeYdCIs/EhJAWl7cpaqiwUaRu3GS1AaHwK9y597FmF4xMaNqkLlKo4FRSB8h3BmGMchhdOt5Zp1iJeftLfs8/6BGIk2bdM/WYJrycmT3D/Vs50W625CKFXtDG94qR0zm/zOCxV9ySIJWqeUh5U6Tje1Xm+thhK4/Z+N+dQ4LQEwumkD8NZnOEsBSdUFibpvbNjZxytcHrp6RAcnS9cGWCsKWcGenWkHxkzYrBDBku5El8+OBEG10nr1XBMOzVufeG5B6v2+RWOUdhoJZrkKjiHZoEpq3c5XQyJW6VEavYifcEeoADyKQGsjZSdToWY0RDGhyjxNXU+vGETUfj74+pnvYIoXPQXa5JOg2E4laqk/UTZFg3IQQNltlTW97ovXX5e6y5CWQ/1yJhrKtMX1U8Muu91488E89P8s8Gyk8YnQDQf4f2R1e/WGxeflYSljBJfSSQYXRlDrxTcEXnWSfo1Bbah8WoESWCQBFYZLW7TpD9U+xODaibtjLpQsly9mKXCnU7aQTnPRJHm2egq0F05ZUCdZeYT3xdUDekq69Osf8i1IrifaOXHe1UhyXrEQEMu4wrgqXPWz9i4E10jU+U7SMh9yCQ0uwsJdPJx0ddxlKSCMOPcj+T3o5IxcNGve3+VqCvpjQyspRHNYqpvagNAwIzDMnAfrX7dpWYZLuPqL1YuVzSETziIrtlybGoafLaR0W3z4C0rE9JAiKYtV9GV+Af6iqSRtUpesT9VnutrXfZQ1f1EI59KI3KvlYm8MCajtjQxDGOxFr9YnspV/LOCaYmyfz+1DfCr4ebtVsDXSQq+xKCA5kzln8H0JnyGXWcWo8pOZftU0b50AdJ17MVQEJqrStNerSQMK3HgBf9dDEU0uRAcJ3hw50VkMNljDoM45E3nWpp+g00Y+E2Agy7amck2kx7Jr6UrbwJUR58TLfqMZR2+4IQruM92ojQHSfVqxr0Y02yFzf36/ziu+USAPlf3yv//uef/8SiY/2H+P1230977f/mDnvSoSxwqBbPZ+YjvVHkZqIfrGTvenkzD5FzqHc3+8WS1fSLDKyM/H2RaKpdUwc6qrBPPSEQliHH+ZYzq8c0I55L2qM5HfXFl6I/q43A5XWzDMSvPjhbjsDIjrow2EsE5MYfQCK8DY6lbOzyteX3sR1jBFuuynvrQO/bBUeJgYOgPT/s1PbbmnVUmvkMbt2Xsf/pcEVKok2OZQyy4PszpcpLTxZlPf9iqy8J2rEN3YEwOfffQXNScTesCNNjZtJ1jf3HsO5vOhVTXtiqCglZplQCZrLLmb0lFLbv65PXTZ09ev/mhaquSnE2jR4VR1OMXLxCtR114HPX02Ytn//X4/TMkyUQ3OfrdsxfPnz579/7thyfvM9EXNtR0VH/swurY95qtTlsc9Gex8n1H5a7i72w43dKGU1jsmhu7hsB+RfhPof+wFwW+44+g/06n4RXtvzh7+v97PJ8e3V4/6huntS70ZWtN/vVa/MvvLr+7Hv9ySA8/Xfx08NPGT0tkpp+GyMqpbYMVN20D34hACiRFHmQGlJ5Q7oSJZ/y0ODl+WpyBUzlE2R9N10AUaQgYwSEQCB45Mtij5ASa0otCXY+jvZLonkzBhqXpH4Fzmyic/kFrt0P/AKUnUPconUfpPErnNYEa/aN0HqXzKJ3XE9VrADNK16B0DUrXoHQNStegdA1KR7SSm6AJXCi+SXHNLrD8SEi6qOOCXmptint0NUFYD6Er2vygFo/c+BF9uqNHyDMLlhT46ZGHOBnljfh99Ojz5180/1cRrb9/kP2nRrvdzs//Rsvdz//fSf7jKe5mZ5P5hC+DxFAwRlfh6Fp61gtGqxtccW8j4gZxZzqPpWGByyA2THFtSYxhzcP1sBpKVj0r+5HGGJI1FHeNMvxcXO5ykHYHm9hE2sZsEMmWdgh2MqvhJhzdrBYJs/rsny/fycvJZzKq8qRgIUjjTazBS987OPBa7Zpbifys7jwtVT3HhdWdjzewhBX77eYAl8yxD93waBX7i8WlvwyDa2IoV4tVMKW/F8FkekOVhIme0C/ByGQmlvnZq3BjPjmtKq6rCufebDUBB4VxOA1HlN5eB1M+LZXnuYyBjVJtLtOWyNiETEW5eaVu80Nuoxm1N/XMOcPETxhRDLjGZ2/PHz99+vbZu3cEiMISLjAYjyNm0Sk1+GZfoXI4rFbFMQzb+7FKzN2khnEYbZtGjU/UHYYWhP1RBuRTccShPnvy/jUh8fw9ofLNq2/ef/P4xTc/PpPmoHrIhdMIgBB1Iaxupqs6BZzfxCEszbPc8mluf0CVP73uXx82aFHQsIKVM6wOFIyDNY0DpgzE1rabzO6inYif3xz7rnNw4HbSGqEwIHR3Rd599/hNnwcFyzeinwhhSwyQQ5/exSCiXUSl4NEXV/7hBj0oe5VSDahjD/0qZRT+qlaRGVLbTxe32HslA05dmch4ZfLqo2bxSg1kjKYQrUlcvTXYcEWF0hr61bHbjjXYloauiPkXw/OODrRPN/YW58+5uxKaZrzDgmySH2FPAeDDySo2aZoFG24w195kSiUmwbGOjtgkhGp8ys87tTllocH40t4cBhtrMN8mELZHR/MNkieHg4FIG2xspHHsTc2l6T9PCq0pCAJgCiHY+jiP3NbmW2ore+vPN/YcV+erQ6rE6GoxGYUmDStCFf8BzzM0FACt7JcS58lf203aOfUBwLVfVpQZag52Ofil7WaDPQ528qkbMrWTDW7K1LngVn/l5wC0+9yNO/oR49c+Zetgoi2oYdTb1hK2ws60Wh13+r9gBFUE6fdxQylHY7WfvNpVnhrVviByVTkJqn1F46o0F6p9+rGrmFnnmBQ82ewqLmLEN4vcmzzfjhiQJSwsQ6lKbM/tqpo11b56O+27ztnnSnoiKzC1s4sGSMptFUbOYK3C96yBNJbKidONdbpoKLoiVg7fbTe6TWmRRywivlBNxloiX1EhIj9MAff75v2zf/bP/tk/+2f/7J/9s3/2z/7ZP/tn/+yf/bN/9s/+2T/7Z//sn/2zf/bP/tk/+2f/7J/9s3/2Dz3/H4ZhgLg=","code_sha256":"974c242b4c8d250bdd33d2de9e842cdcc2b517e715f665a32c306cc72c002e73","code_note":"code_sha256 = SHA256 of the uncompressed tar (per this brief); SHA256 of the ASCII code_zb64 is 3bd145d94deec58d71f8143fc6258b35ffa3e12db97f4ae728e94623403e67d2. Tar holds m09-2/: THR09 Strategy.sol, math.sol, spec.json, gen.py (thr arg), expand.py, mix.py, record.py, check_evm.py, stress.py, forced.py (thr/trace args), initgas.py, scan.py, cost.py, README, NOTICE, and unchanged pinned solved modules real.py replica2.py evalpol.py run.py pair.py par.py. No tables or traces.","environment":"engine amm-challenge 6b6921f8, setup.sh wheel sha verified, solc 0.8.24; solved folder pinned e65314f8 (26 files sha-checked)"}