{"hypothesis":"Replacing BASE\u2019s moment-matched Gaussian with a 10 bps, 31-cell probability lattice preserves nearly all tuning gain while retaining the exact integer arb/retail odds test. The selected one-SE size is compact enough to justify a holdout measurement; its holdout outcome is reported without retuning.","frozen":{"parameters":{"width_bps":10.0,"cells":31,"silent_cap":12,"a0":0.35,"ainf":0.35,"tau":2.0,"soft":1,"qm":"qm_k1e-5.json"},"parameters_sha256":"f934c6a6500bd6d4206159e5f2c63cd192764e3045ce468b2df35cc42e9a2f4f","code_sha256":"db5cb5d672e81dcb5faa0b14dc280d9d2ff5fb99e33713f5201d5939765f24ae","core_sha256":"6ab8784d5f4314e9709e7333ddae821a9bbca569c3f8f9ac437e229db7b0be7e","frozen_before_holdout":true,"selection":{"rule":"fewest cells with paired mean difference from tuning winner >= -1 paired standard error; cap 12 preferred on ties","winner":{"width_bps":5.0,"cells":121,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03839954931368794,"se":0.01459074670243712,"sum":9.830284624304113,"sumsq":14.274930474966446}},"selected":{"width_bps":10.0,"cells":31,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03117195667101158,"se":0.012236737794170274,"sum":7.980020907778965,"sumsq":10.023633306300058},"paired_vs_winner":{"n":256,"mean_diff":-0.0072275926426763615,"se":0.011003176725283169,"sum":-1.8502637165251485,"sumsq":7.916815896985816,"worst5":[[62647,-1.8903274786276825],[62507,-0.6966115434688618],[62525,-0.31698733641280796],[62543,-0.30113238456465297],[62708,-0.2760599515506783]]}}}},"tuning":{"seeds":[62500,62755],"n":256,"BASE_mean_edge":534.8238157872122,"comparisons":[{"width_bps":10.0,"cells":121,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03213257174134809,"se":0.012218553145242457,"sum":8.225938365785112,"sumsq":10.010170268750603}},{"width_bps":10.0,"cells":121,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.027489103653221658,"se":0.012387675431942078,"sum":7.0372105352247445,"sumsq":10.210956540026524}},{"width_bps":10.0,"cells":16,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-0.4834590481097827,"se":0.06993776575226397,"sum":-123.76551631610437,"sumsq":379.1390403061623}},{"width_bps":10.0,"cells":16,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-0.49274286715987947,"se":0.06835655086018068,"sum":-126.14217399292914,"sumsq":367.1841624933269}},{"width_bps":10.0,"cells":21,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-0.022335203716733698,"se":0.018137547212610673,"sum":-5.717812151483827,"sumsq":21.602910500335792}},{"width_bps":10.0,"cells":21,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-0.03017059220367102,"se":0.017731599528499203,"sum":-7.723671604139781,"sumsq":20.757687859938276}},{"width_bps":10.0,"cells":31,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03117195667101158,"se":0.012236737794170274,"sum":7.980020907778965,"sumsq":10.023633306300058}},{"width_bps":10.0,"cells":31,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.026522681862072073,"se":0.012365083630249874,"sum":6.789806556690451,"sumsq":10.161088618199143}},{"width_bps":10.0,"cells":41,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.0324585135866855,"se":0.012235388899275074,"sum":8.309379478191488,"sumsq":10.042435632887166}},{"width_bps":10.0,"cells":41,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.027471004038163382,"se":0.012389702692869231,"sum":7.032577033769826,"sumsq":10.21398091043226}},{"width_bps":10.0,"cells":61,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03213257174132811,"se":0.012218553145242747,"sum":8.225938365779996,"sumsq":10.010170268750734}},{"width_bps":10.0,"cells":61,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.02748910365323498,"se":0.012387675431940757,"sum":7.037210535228155,"sumsq":10.210956540024576}},{"width_bps":10.0,"cells":81,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03213257174132811,"se":0.012218553145242747,"sum":8.225938365779996,"sumsq":10.010170268750734}},{"width_bps":10.0,"cells":81,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.02748910365323498,"se":0.012387675431940757,"sum":7.037210535228155,"sumsq":10.210956540024576}},{"width_bps":2.5,"cells":121,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03458814986028935,"se":0.011825671363521643,"sum":8.854566364234074,"sumsq":9.435442797120478}},{"width_bps":2.5,"cells":121,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.036583783625784516,"se":0.01231328328783181,"sum":9.365448608200836,"sumsq":10.240177736348095}},{"width_bps":2.5,"cells":16,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-26.01077432641879,"se":0.5724806284311806,"sum":-6658.75822756321,"sumsq":194593.9376362935}},{"width_bps":2.5,"cells":16,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-26.00772289072533,"se":0.5725632149916637,"sum":-6657.977060025684,"sumsq":194559.47569330272}},{"width_bps":2.5,"cells":21,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-18.7414960737846,"se":0.435904803284924,"sum":-4797.8229948888575,"sumsq":102322.42929997695}},{"width_bps":2.5,"cells":21,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-18.735275248275762,"se":0.43586327122019963,"sum":-4796.230463558595,"sumsq":102260.38281839146}},{"width_bps":2.5,"cells":31,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-8.885124085473075,"se":0.19439332670142664,"sum":-2274.591765881107,"sumsq":22676.880693272546}},{"width_bps":2.5,"cells":31,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-8.994175550342549,"se":0.2127286275057047,"sum":-2302.5089408876925,"sumsq":23663.316074316084}},{"width_bps":2.5,"cells":41,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-3.7774737846370154,"se":0.12472568020511643,"sum":-967.033288867076,"sumsq":4668.470910922313}},{"width_bps":2.5,"cells":41,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-3.8072108507444464,"se":0.1280592107374188,"sum":-974.6459777905783,"sumsq":4781.2200020409255}},{"width_bps":2.5,"cells":61,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-0.4363292857419607,"se":0.0403409637957451,"sum":-111.70029714994195,"sumsq":154.97434941141552}},{"width_bps":2.5,"cells":61,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-0.43781153892399005,"se":0.04032254866743603,"sum":-112.07975396454145,"sumsq":155.20907930358223}},{"width_bps":2.5,"cells":81,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-0.023428808542532042,"se":0.01771454940720624,"sum":-5.997774986888203,"sumsq":20.625728140367904}},{"width_bps":2.5,"cells":81,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-0.024646613652576477,"se":0.017650218557217708,"sum":-6.309533095059578,"sumsq":20.492201067395893}},{"width_bps":5.0,"cells":121,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03839954931368794,"se":0.01459074670243712,"sum":9.830284624304113,"sumsq":14.274930474966446}},{"width_bps":5.0,"cells":121,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.037004414665188,"se":0.014828910409764874,"sum":9.473130154288128,"sumsq":14.705396636064156}},{"width_bps":5.0,"cells":16,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-8.951109886279285,"se":0.19027867012244815,"sum":-2291.484130887497,"sumsq":22874.85213021605}},{"width_bps":5.0,"cells":16,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-8.960672926125604,"se":0.18890403142575296,"sum":-2293.9322690881545,"sumsq":22884.676154027613}},{"width_bps":5.0,"cells":21,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-3.7777125819457247,"se":0.1502990387473856,"sum":-967.0944209781055,"sumsq":5128.066974497281}},{"width_bps":5.0,"cells":21,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-3.7665875682293564,"se":0.15029475192187108,"sum":-964.2464174667152,"sumsq":5106.496661818986}},{"width_bps":5.0,"cells":31,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-0.4237476716894022,"se":0.04016024243873973,"sum":-108.47940395248696,"sumsq":151.2544211994801}},{"width_bps":5.0,"cells":31,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-0.42900290810861286,"se":0.04008319724673244,"sum":-109.82474447580489,"sumsq":151.99807591766117}},{"width_bps":5.0,"cells":41,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":-0.028099823462397477,"se":0.01763734323796812,"sum":-7.193554806373754,"sumsq":20.50917083764796}},{"width_bps":5.0,"cells":41,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":-0.02527294704776195,"se":0.01697522206997439,"sum":-6.4698744442270595,"sumsq":18.974477761367073}},{"width_bps":5.0,"cells":61,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03606604257792445,"se":0.014612682576969628,"sum":9.23290689994866,"sumsq":14.272264937350899}},{"width_bps":5.0,"cells":61,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.03588179369900657,"se":0.014826290245801996,"sum":9.185739186945682,"sumsq":14.679377444995259}},{"width_bps":5.0,"cells":81,"silent_cap":12,"paired_vs_BASE":{"n":256,"mean_diff":0.03529442982318587,"se":0.01513568292327075,"sum":9.035374034735582,"sumsq":15.273821607106608}},{"width_bps":5.0,"cells":81,"silent_cap":4,"paired_vs_BASE":{"n":256,"mean_diff":0.03698259562119466,"se":0.014831678572675967,"sum":9.467544479025833,"sumsq":14.710343205399179}}]},"holdout":{"seeds":[10000,12047],"completed_seeds":2048,"remaining_seeds":0,"paired_variant_minus_BASE":{"n":2048,"mean_diff":0.019078017955912546,"se":0.004857837306776326,"sum":39.071780773708895,"sumsq":99.67671456235503,"worst5":[[11701,-2.6484084894310627],[11949,-1.2304732195726729],[11911,-1.0070524541940813],[11998,-0.9888528006932233],[10547,-0.8238354282020737]]},"paired_variant_minus_tell_qm":{"n":2048,"mean_diff":0.10768073156944027,"se":0.007700637598745611,"sum":220.53013825421368,"sumsq":272.34687041298037,"worst5":[[11701,-1.9268539953392292],[11696,-1.8594700592183244],[11949,-1.307736584652048],[11413,-1.140302469811786],[10676,-1.136549096858289]]},"paired_BASE_minus_tell_qm":{"n":2048,"mean_diff":0.08860271361352773,"se":0.007079197151580293,"sum":181.4583574805048,"sumsq":226.17274777636902,"worst5":[[11696,-2.0920680876059805],[10822,-1.5921358448919136],[11022,-1.4867062508961908],[11277,-1.3260298263055574],[11413,-1.269064635952418]]},"variant_mean_edge":536.6398883730288,"BASE_mean_edge":536.6208103550729,"tell_qm_mean_edge":536.5322076414594,"variant_diagnostics":{"first_trades":14400358,"misread":3590,"misread_rate":0.00024929935769652396,"price_callbacks":22374659.0,"price_rms_bps":7.095355645531475,"price_error_by_steps_since_pin":{"never":{"n":8591,"bias_bps":0.3423502589088699,"rms_bps":11.988891952810459,"sum_error_bps":2941.131074286101,"sum_squared_error_bps2":1234814.7584306996},"0":{"n":12932831,"bias_bps":-0.0007490830454700466,"rms_bps":0.4357056111368108,"sum_error_bps":-9687.764432029428,"sum_squared_error_bps2":2455160.6132025756},"2-4":{"n":3621130,"bias_bps":-0.004110188547458707,"rms_bps":10.840324094715813,"sum_error_bps":-14883.527054859145,"sum_squared_error_bps2":425528497.12000453},"5-15":{"n":3379611,"bias_bps":0.01247872870171589,"rms_bps":12.65008402385804,"sum_error_bps":42173.24878633474,"sum_squared_error_bps2":540820985.660619},"1":{"n":2113873,"bias_bps":0.011036908050368536,"rms_bps":7.011014751732526,"sum_error_bps":23330.621931156686,"sum_squared_error_bps2":103906006.47317263},"16+":{"n":318623,"bias_bps":-0.006287575056655582,"rms_bps":12.83462150446251,"sum_error_bps":-2003.3660272767715,"sum_squared_error_bps2":52485973.151982486}}},"BASE_diagnostics":{"first_trades":14400097,"misread":4260,"misread_rate":0.00029583134058055305,"price_callbacks":22377806.0,"price_rms_bps":7.118381544597329,"price_error_by_steps_since_pin":{"never":{"n":8655,"bias_bps":0.3872757781745124,"rms_bps":11.977273806142144,"sum_error_bps":3351.8718601004052,"sum_squared_error_bps2":1241603.7851452704},"0":{"n":12911492,"bias_bps":-0.0002884079822902464,"rms_bps":0.4319053993999419,"sum_error_bps":-3723.777356076658,"sum_squared_error_bps2":2408539.0788107826},"2-4":{"n":3619192,"bias_bps":-0.004191722993495955,"rms_bps":10.848459746956204,"sum_error_bps":-15170.650324276612,"sum_squared_error_bps2":425939372.774675},"5-15":{"n":3397554,"bias_bps":0.012674833484943238,"rms_bps":12.701239214117681,"sum_error_bps":43063.43120610284,"sum_squared_error_bps2":548098431.4182719},"1":{"n":2115436,"bias_bps":0.0115235952513696,"rms_bps":6.97358073053605,"sum_error_bps":24377.428244176303,"sum_squared_error_bps2":102875404.69531487},"16+":{"n":325477,"bias_bps":0.001046575425287606,"rms_bps":12.802912069815541,"sum_error_bps":340.63622969633417,"sum_squared_error_bps2":53350418.42082622}}}},"blindness_checks":{"needs_flag":false,"policy_callback_inputs":["is_buy","amount_x","amount_y","timestamp","reserve_x","reserve_y"],"uses_truth_or_seed_in_policy":false,"uses_rival_state_or_run_parameters":false,"run_driver":"run.py run_policy with module:Policy and instrumented result recorder; recorder passes only the six callback values into policy"},"per_seed_rows":{"encoding":"base64(zlib(UTF-8 JSON [[variant_edge,BASE_edge],...])); edges rounded to 8 decimal places, paired stats use original full precision","seed0":10000,"seed_step":1,"count":2048,"data":"eNpVnQmOZLGNRC/0UdC+nMXw/a8x8YJUtmfgMUqursy/SFyCweB//jPG+iu97n7r/Vi0dm6t+/73+8/c86+0O+vHT7W13nbp/KLdv7F3uau3j8Uq4+w7jv9o//Ux15ytfyym/llts/rvxl9fq5Y+rv5On1nr3fpY/+78nXvL3WV8sdAX3sb3jXP/emn7ntU+Fm2Mdsb1Rfbyp2+fq5/la9mDC+Xr1lp/o6xd21ofC31ZX8P3tqaWrfS+9/lYjDrrKXX768pf360ePZaPRdUX79Wnfqf//U9XWcu942NxxjlVN8XfLS31i6q7+Fjs09fsh78bpf+dWrbudn5erDNq20O/0x3/nX701Nr8vCjnzsvTXH3pUu5ta3/8PJoeeS3TD7r/XX3drDzn8VeH/rtNnuW4+qtb2qjn42d97lqjxqOcf63Uq1vbH4t656h6mfxubj2TurUBxsei3a1flvjI87fbXbvpz/TzPLv2U7h8Pbm/o4ewev1GXbyNO7ZvevS/svUCBg9Si1rH0rvfvrPzd8vpu+i9sdCH+SnnRRY9/nLH9EWW3Uu58SDH1ZbSs9A//VhsPW6+m5czdJG9aBuX/rFoZ5Y+vRnm1HvUNtEFfFN/po/WPownqd1W9Mh1Ydrqbf/p73WP1+90aDufPdjEHws9yl5n53fzbu0Fvf1zPr2uPz2c0+bxhcy/va+OTV0fi9P04118m16EDlkvu8z5sahdR+7kZtaTvdpa5eoq+9XxK/ry7UO3tr6h13u3DogWs7dS9JjyYepMcN3HD3OzXXucYt2snn3RwfaNN9356t54Q4+odJ04ziML7a119vH7aU1ntZSlx/KxWPrVGX4/82qj67b6nLqU2/WcdUPVh2fVzgZrei3jY1F1j3us4cvUvtedTp0zXebQVpmz6rI5BHX86QTq7nTGWZzd2i3Tnzna35hltNF1LVr0o0/3Zep/+9OD1B7UTmk6EXfpRrxTdALYRXpXvAQtalnnFu+U0aeMVi1DxoafZQn20sviy4oOri5cj1rPUouplyCrYSNVqq5Z5qDohLDQkR2YJb7urL+l060j+vlnvbY6W7PR0L4p2omjn88L/e2dM25AhmjIYpSrDaaFNrP2jZ/J6DI2ZdV5x9Jl6jDJ0uzSvPlG+dO7KnvwDlj0yf3UfK/HL2R0v1cdmIox8nPuf+P2jon5WJw5Za29jeYZ2pq8gqK9ooXeuN6x70FmRttD336ObD4f0vRTHsn6x5ade+lpstA96AV595WrN6mXsvVH5U8ORE/LTuRiuNfVtpUl8gIzoS3ivT7lRLRjByeSxd7aZ78NpgsZMp/VG0wPTkcirJQeWNfTqjo0H4uGDdeOsTeYMvJXb/TqvWpxpuyNDd88ekT1yor7vnUOtEFl++rzPbLO+rRq3zP1wGT4Wx67Kht2t7Zl37L3+2C5fd+LI7LkkXTnLGRB9H32S9qnrXadEZ0Cftbnd5nGtKV647PI1n4s9Cq0LcO9yB5or8ngfPw4eTjN17/0+V0HdS05EBZLllomxE/Sl3hlR/TaWAwZmOo3yr6XddcrwNjoIestrGtjuXSq9Ep1kHT1Wug4XD1YbzztQ7adzIY+kcXuHIKdz19bhgCixoYteqZ7xF1PNrp8oF4bP8vsytTZJE690iNr3HXXLPSMe9W++Pl+fQj7lYVOvGx0PGTdj/6lDMOOm1t36nlFjLJkPSc+fCrW0EI/a9c3P2Wsp+yOdrbOhxZDX1hXbCEdz62DpG/XLWwZSJnHc9I9ah/uoz+ze8Sb6eTUDJUmt6C34mhJ16EjF5ENYVTtimVkGfDUeoM+5D46egc6qrIOuBf+Tm89LJtcKV6D4MJ+FdNS6/JHyubqM4o+SB8pazyH/K+2mD01AYsiq7auH5ieMed/2AlyGhUmdHblJHBT/LXDOBMgKWRYmEvOh8KOLXMZDrlyXKZsjc4VC+1LvUT/XZHtudqIRx6Shc6iHnVs2UuMMuX95OS90GaQYwyDou9TtCTng0HR4sgWHBs+7X+5Pm3Oq3v3ohKONVsbBV11XR1JnToWTU9DjywcmkIk2U6d84hmtcd0MI7vveP7eJxn2rcq9lNw4utU+CsfWaZMWP1YKGJsw8ZNJpSXonCw7I+FfJK2jYNBuXAdch14YmQWCu/0BOIq5Sn0jgdPmsXU65D/9O9k7BTSXRmcj58VChLb3nxgMgkDh+oHhh9XXOQwpeMcqkwPnlznVW5IttuBAxfW9fRm1e9YEJQo8vLD3MvBO87Ue1NOkCjPm6xogyuGkUXQA9OD1t6c2hHe79oDupa1LtEbG0J/vO4zRX3IF2jv2BgpLFV8HnEK4Ye8rEwGl6nFbexFH/SlO5Ip0bttH4tJeNG9jwi8dKl6tOwHLbr2nwK2k2ZRL07GtGv/KThQIKqIMIJMRQAKvLhSQoDBZ16FVHGGMAK6HdlD/R1eUZHvzbOg29P94yA+FrMSl7ST93B5StpoEYdxe8fOFf+wta+0/4edxcRLlrCN8nZT/7vifPmtgueQ46gRgOr1EUEPxYgfCyUwS2bZluX86VR1eTQsy8GU6CLj9mR99UIV8A1ZCBbaaFvhg3eLjrN+xFLpx30GgYR3Jp+vnSgH/fGzfl2UkUQ8WP9ktWSIj7aDFtpeskaR+eiVyHsqkmzxZYqLdFlxfhTuVIVTMlXHsQ/RjeyLHSh7XyZaYSVxkR6sDrmCynCSFeekEEUeiIWOj8Kk856zQkDtfpJFFvpHM2LosRRI7GnDyI98hCKVF5rq/zBG/KyXL3vd4ld6//Ngy+XkvZBn0pbyRTa9RznbO5tvwFG9Nry/jMwBX6sAmoWMqYJQv51JqrgUMsn4fyzkEeR7bR1k2ojRcUBshmrrcCPl05GQzVaoutjsWuih6jL7M2IKRm89RGgs5K6rglgbMUW7sjayd/gERaNN3rBnNKIMWsdCwQ/p29AD0x3NMGKLoEzHbmCpOFyynrIjNuBb1yKzqFgJr6YFe60uRw8X/048qIOwMNI6DTNMhzKjSB1wolo0nHSpvvVb/btBzsFCPl+x/n1OVG5YlsO3Jwc7CLUcJ3MmyckuwRYLhdPyXPv5J72Fo/M17J9IpfVun2nUZQwlBcemUUdeO6WszNjlBsrG2OpnQmad7Z7HTqGbPqj51DVF5eF72W/65kES6s13icl7XCSJmAzYdVKrhdIBWQrHTXIUZNTajYXoWu9Vtz39lBXM8XHK6JazER5WpDexm6tegE4d2IB2jdIwwxuy6H+ykSAh3yYevPqbFond5mZI32XcWPBySef5nZIMvYDZSWlZyEQ13l3uIcVninh67iGFNDrmNa8Sm8HZ9lXqfKyVAfTFrShO1fP3z3rCOvHeziTGBHencLRkn3VWFAg/pKizg5cSNC8GAZvfjeIex/IyCO1jofuRkbp+3/aSQ68O8GazofTAjy9zXW69V+Lfj4WRox23pzCj8pRxTd1WUG6lRcZBDCBnIDejNz54+3JoIzJ9ubuBJdQXfiz0ePSCxk5gYch/XmyRF9qc2rSBFinaA9XSuTdadHHDJRJlxU06TQo7ZaADZdIpKLaZXeZBx1pfry3mhazDaelF5D1Jt2t4EfkN7d+Vjlc7ueAcw/HKuOlKwpnLNi02km5uH0fbZY4AAQbpgmJ9JacKG2S0lEAtB4WT1LgSL7DXyZl1hbI3tm8DDwNMhj8AfSL4aYnl8YGrgnBwjJV9yG37E6fSQ71zZQz63TSwpzwmkg59uQ5HvDpnFspEdVXVm10BDxtTN/yx0FGV5+0nUzTdjH51rkNQxSI3YEUnbDKfe+JFHIzoaM3M7EAEFV0rPPlYFFnUdl5Gq8Opk6sAgIUsjT4mHDkgw9IBXjj5yj8kNr1p8uUl+uU3ft3Ku/+9N8V4zTjSAfSZJMVx6ORvFKEtp8GyzVvpz4gnIqeu0wGmxdOSIdXD52XZeC3QVAXbeH8vZK56JsIdV6eTvMliupGDccOkAIwpWgC1DChPQb6cb6CwsjBFFjhyjgqkqFyiBLKjXFtvQ2dCdoOFjIccVcscZxPOyLc7x+Hu5N/Cuilw0H6Vf9MB0UIGV58aAZPsga5LL8fI7gZWUpQS6S72UrGuAna9HpAK/VVvAdESCisYUYC37CNP8zZqucPkkwxleYddRX2KcO0MGkEm4duSM9BCrjtSu0FufdkmOyBH+SdyIX8ZjlU7oJFmaqE3IJcbGcdxgqX/sGVZaNdrEfCAoRbdAlCLFvp/IDs/L5KKxR6Sxcd76S7JjvNZyhloY+qEeKGtF2HDIiFQCMvj/Fgo1lig3QmSgZcphwLLI+EoIG3pjkmzdCTCHSv144Z8A4S6Mk+KL4FaiF9lhOc+mfrwKQpMAlaUWbjy6T5YbTkMll2Xh2EhU7oiReOcXdJdPJ3tnM6xwv3nIXUdA6NlD6k8W8ag9NzROp4LB+EdrTvTYfAb34qKC1F+A+fTohqa7uNhuwqb5XVsgSfJz4yMF8PEh+iqbaV4CjomcSkkBHqT+prPCx3w3Q0RYBTBFRQaD0OOcq7am3EQ7ia101/IvLFowD6BdhXSdKXzl+0AJK8T1cNe6owp31Y0iA1mscjeDCtyYfLWA5BFV4nN1fkMONKuYSgR22P6YWr7ysNEgUM3q9/p2+Y2YHfIwaaDCoXmerFAgph1fd058p8tTABpy1VsolegH5UAKL0Oe1n05QS4E69Uussiuv9AOCdJn95B0SdqIT+qA2/0c/B6plwcJQDeDslhqzORSj3FSdBnpFLPjYQ5I3L5YyVsNUJyfXTVW155IvU/ycSU5ROpAy7f5nSXC9MGAuqNq1SCvgBbE4PSYeTrrjEojqBMzMh8o3VwX3JMLeSO9fVRgFKYXwlm+Q0eVzullIcAKOAm8YmsTm9bp9+BFonwBo1WWvux0J/Jhdh4K4n7ozYAjvmxILBW8uYtqzxCOcpcAMn8jMttNUzKVDyj+AIghgVogIKO+5Kp0RVZnQCSJ6WDHvE4r0dW9to4sJBhrzuBis5BW0qSlOdroW2rjw3skHhZ71+7OGyRgsGmdN4n2fuZ+lrhM3H4ekLjf+y6slTnkdj1rSvWf7z5GgibHB5ovhZb+/BGrGgw/FIjYrNr0RQGKTT1y9tXSeYldKR6CFqgKxqB2ukrOtUJIgAWZPYjqjTsYhkfbWKyXRaXyl6AklWhthIa2ctrMLmT7dwdwC9JraK+gd9ioQMJ7pDlNb0inn11eU1WsMotRLC4iTiK3jXBjxZK5ZRdnQxq9ZyX8+tYsMX8qDfph4JHBUUfC70EZb9xlsHDdPnHOXTB9zWw2szKtTtkZXZzWi5rQGhnj0A1BPCtE+h3LMBV4BrFiv2nS5azwDpoQVZHXG5TS5WLpIj6FNA1vi8QLxJ4GQctDeAMhzSKCWK/D1uOaWSuEMtR/3KJYE3cjHwIpUUWB8Qm4laASFJqSo1GJVepbGp/HccLAKmRQxOT6dsC3FmuZcnMtIKfx+o3XsLI8kEBTNDWcflAz0S2IhJCqqjKaOVbvhkVVRnQwBb1xAaxHNaIn5VD3qxPY/x0YpyUu/DKqR8PVe1ymjqX19c/ZE1LC0t79SwXdYytzU6RU9kwlabE8xSjbJ255gT6KtiRQ/LGJAG57No5jIBSK5Bh3ImcNoL8hfXTAuS3hqengqusRfauAxp3SuVFh+hkvbXJ8bL7XHB1urZ9LYvq4gW5p3SqhQLczjl0UqiYTe6CcsbnBdB23/VlWxvXP9jQeBJdVhZxtQUGJACyAC+WPGWPPQbiekmpemCZsiK43pXWVk9Q0V67trebjDGzLSIG2TRFR7w9198JxWtmaTolMr7O0ZTdyByFD72YFbwhZQnlfTrqS081cEA9zav9trHSWmgXFR59vgWiIcVK/J22GNX9Him7vNUG1fJ51UI79oyeZULSXCWQhcLd1VWCYiwHJDpx+p1CI/1PkWJX8LvyokIeWN8EVQd4p5O9RmlFcYBekNJZoIVBxW2WNFUbdFYxhd6MbQeAawnTsSoouE4oEeMqlHHxM37Qs/9hQrUPQKG0UEC6l9MVckQ5OQUVJ5DaTpk44i0qzIrnj87JcrlZj6vN+ExgVfk6nFR3tanrOlvUFzuosUJvvXw9lo23l0Vwtq8gUzYHVI3EY8OdaHjOk6Uo5VMcohGlKCV3sv1x9sA5dIIJqlgoMirAnr+yMfuDWIyFLviUMNJsq+qwYcUeU6wnlxiAH0WME0dPP8vy8SpXFkk6QE3HB7HQUdMrijwHf6ikF3RRP4Op9oBcprycjnK5C/eEy9M2jVBsOn7UISyUMylmUwSNcEU+EbRER4+DXqjV4rQdoK4LBIr7r9NQxjCkFrEyMbacYdUB8LvTTtmA0t5igDPK4i/IvbJXvVJys4BVXEunuDE/L3DNrpAQhSqFqeDLjpX12XJdEXjwjPRMSA5Nl7l8YCDihM56pURF1XF029hyX4ocE/meIt1Fal61/aYCZKcXilX/nLbJDnwsui+yxAmCmYKjBlxkUQgonTz1TRVTkaFs89cdJHCAI2UBsNBqAigBq11cf5oOHXT5ADmkYDTodwdr6Or2/dvLZV6q21p0bbEVIDWuhcfSAKkhXlS5i5XwgotKio4u8EIANXpGO+Oq3vCUMqksigOUCClluy6AybEhUxJ8YbhE/ne24w4KkPzcKfvtGjG9jC9frYD8c4BftG0zBCIL1he0yenSwqW2kqXExZOmZKGUmEMJgBTJoaMEGYFBTZAFFjsCCIgqiuEqBZzPC8qR1ftPh4dDKRcDSk3ED83iJDJBhQb+BL5LwaZenqxdPDC9SkVi3UC7UQoIDfumhZPPXsscI/waoe6ZKylgRE2FIhz4PNdx2ysAyfCTwQSGoPTRkY5vnPBI8U0Bu+fzAb1qAHDsVMAHGQineBMrvVZs2w0jSN9I+regplXtxcjj9BWuRi5Aai0WIfC1y4vK8t3LBpyFgnr4InbN7Y+QWB+pUICF9rVMt+PlRqGUEtPsToRcX7qBrWobL6O34Dws5HBP0MqMRetFd987qbVeMuFHsjnAFDHE/NyMKt+ZZYsKK2dBCljg8woFI1zGmYBtguzYmVwlUrcHn8bw/LiVDIMtPLGtsf3kyeQq+iH7kI+RjZPZO+FG+wQsBiusps3oERGQRzg2yWj1ntks8AX1ZyDLjsDxckpvG6eSiEEpQ72Bmet3YMp3OPHqjhhWRIagWLIqPpYfi0Zuk8gYCY7sra76GlHTkalk6X57lZhP1p2TDtheG3f7Kj2F1MDI0YLBpUPTHDA7jVU8RD3541XqcNQVVRl+pwOqO4IwCB9K2a72/8rdckk/oC7yM86qRIw3IccpRilEMxSPdDMEuPZ5JDvKHfXCPhbyoYpUEwXipOvBb9Bvir1K2PdyAkWYv0+BBNMd88M4pMTp41wJ66gYXLOXSIXlWmZuTpgxAzoeC901LK6RlUu8HgmdK5fklTCBMt4sxB4QRbxojnBPmo+m3IL38q2oJreXJbGPddQX0JIXMrg4/yw0yIYomsaoagGmVkskiKMZIpJNl5HQolJbfqZ/u6JPxAxCpAO8stxmD8WCK1nEhoVw8GXpC9gXB8xCDkp/GO7ksq+gHulYEnwe8pIdQVcjrHNpmZo0pR7Z9xZlFN0sgK4S9WrEAHqEooH++DMLluUI2FZv+DY750ty2oHidRZY6N1B8ulZ4mq4J5JAFvp3io/CkeIWyDknARILBVU3OCsYRO3rKbMX1lGeqsE8esBZxbbMwM0U/mduogv848b1dwpLqMQNHYUo9lYieSXgftDVeT9kEP/uUje5JGLXvEf5352WBYYkcGhpQTwrOr7aHeNdiEyC3FPUGZa2sHZVTTLbwV44YCEd7PVVLq/+7FBcKSRCfIaOQZJ4F3RfXWMUBQhmuKjVEm4D0RjYHDOBSfRuWNRFCRJKKcmVFgvvldE5PmlynqrTSiLSmdg/rKuluA86nvEjjnJwMyZFLplSYwUsZFBHUEjJtPTQYRRup11y7ftG5b9DB1LAvRVJfiyOiwYBSZG9ga9Ws2C1uFjpSDkhQS9lA06gWHTIQFEMxahtLCMkOJs7Wb8EE4sjMHiQ14Cbjtdg6ZegpULk5Xh52Cwf3WtLeFwfI/sD4MZCzlCPaSeeo6cBknqN5xBqrMCyXMNV4goDezp00u1EhYIzv2GwXqJzWUmFX9qXYVR0QwSz1Qk1H4FHj2jsyA4feETwfymp4bJ3RPUKbXQKSRvwzNsgQI3yHmke2DWUo4/FJD6fyT8DM5YzgZBHXUuvXOdzJ9tNO0WxFkBdN5TZIcXnn8nVu55p2tqFV9EC2ZSH0LHTmW/hLeSF4cRkQVQ3q2dSuyN3JUs6LwGWNl1l88ujrkEmd8jqbnpmhRY6MnO5yk2NU4FeuBIy9koaDetWC/D2PCX1QCPi3JFawayXp1x9vRoF+2ZyulgobQFETnB2wUmAW8tCH7f6DchdW5zwzrHtxDPqtaYJgGZBcFSxASzmTJgYiwDdwzxF8405XDqyCRZA8FG+MQ0W6CE0KrD5oKFWzQV3cFLFI2Rw7dzIz6ayUb8NEgfH2zWpTZFYZqtBRmRRoHsFbOai3oHSiH1jIQdT8jkDQCxYeMDqEBsULVMSMceC2r8yBd4dC8wnbEWnOu2P2LUCjbGoBCQ1eBveOV03DrzCYsLDDpeNwQMfWHavCtSI8COdVs5NzY2zDKZroBYQ7cWasjfKK/e0O98UHwOyUTKrnBZWR9d1wortNDHMx6hUGtS0bSnyU0m/epUryRJT50yfdM2WAGAbiRiy25W3LiILFkrPIa75zmXhXGCgbnuMMrHjRqYzeuyDUkSw3SYXHfw53dCh1qz89IsFJnQlmlMIVnCTRnMovwSTNNDX6YjENroYjgz24zITRFuOcJIF9eUeHptE627nYX6Y2hl6+IFplG3qM6ieiXAyH025zcoyuAIeRUvUnpR1KVbVxrW/gBlADKfUFNuxQXvb+AE9sJ2pbzoNavCBoyhyqFlUYAAF9V5oEwEuZq4jl4tDP+aL2lsEpLGgXUFuUjDJz9qmNdggJCIUWQFWHTuUoasKdiAxlMJdcqkIqC65TRDoQbx6h5wONx3463bTSJIu0WS4sKKmS+hRlnKyiATW3CjPLwd+4EY62zP5bI1QDxoPCyjAlLQeKKiHG9n7AoozfzLwFW3ibtMLRY4d3XWCoyKHyZ44Akcd888pQ0ta/sTLjOJKS3FZ/65orgGPpfq05LsSnNW97hXtFs0lVIUlUBVhYRVaIOqjkmvvHCIgU8kXVYngi8P1loc32wU8vpBWrpPxt/LWSz/Ex6JRPq1RaCEJO5TreCwsLmxiG4gub6XNqAdScE+bGqYCjcRQqntQmlItHy+gCF5YEguUbMqvO/Cg7LtOZlbQiuw+KOvwc4GpYNNhRLfDgZZLYKG3yxb0ZgF5xmtC+nATDWydGuiRNn/D+sEfblDcFcCv+l6CHsRZRnsLDlZBxgqivA4UFINC0dcL2ZWepI8KHuFwVS9IC9lhDmzPcleDJSkT5HKXYuGjXLg/OjbUX+fFPnl6JZGxkPNVaCXcOwudyUmw7r8DCVQGG+VbZaaO1H4sAE4oVTqHOYPoftXH6NV+A+XtRsEbXm4HNXybQ963zTQLmhlO0Mx0SxjKQQXAC+3bHkgqSBOMmuoIfHFoMeD7BToK1fXiqdAcOs1kxMOl9wMllUqSdhmLBhsmYqBtNu6V1438nSI8CFWSVzoJhWnVVDXJL6NA0xTbjgovzzjqgoMXXXsEUhRQui04C3oXapzK7YaLLk/XnKFj1FYQgcnqtNO1FXZziqdnqQsJZBMQgM6wvVyhoXYMDzC53xACe3FtlwoGrP6kVFYyXx5KN5d0kPHfqBfLt8gGEfTMaAQ01SdKTJMoQUG4qSssJr1/kaEP6BfQLUFEIcfKbvUEYGGWwAOxwYVwgeUICBlMvDismwGQN6We+Zkuhc3ubJNcg86SFkEVTTDVicO3XMPshNEtUbpG18WAUcVi6xFNbxSdMoVtsCtB41nQrRSbwXxRiEwL7uqA1rL3jVhzUeGa7i8i9tPuJjBcPzaJdqyOWt6ctgL4Rs/2FaIJBUHH7SsDguINK10D+JmGNKpzgQdmmz6klB/gxQtIpytYNJSg4TxV3k+UtdnQMytTCkjdX5o8QEi23rRr0xKjfaXjK1sFzfHQ0rmTvCK3VuHum7xCVFiiz87V3E6PHLZq8A91etK4wybTmbz0eJnnvkH541rgYnTt/mU+HBAGfYP7oSTEAfIF9ocXlokP8jBcIwOt3Al4rejVrSgdkuvi1Hi6Tnz18nVvmVdFaKFXThGJ1kManU5LHoASXl3LbuYB6HdrhG3X45dxALji5i61NHiTvjlK8ZdmKdo/WSiQ0PE6j6/U+cVqyVfikM/MrMh8eA02OIMYFSLqTOoUcTQJoalThVY027cOwhUkzv111+8Nef56hUiduj2lbr2Q96wfRbVC8acaNJw/y3mlEVtUj2li6K4wVeL70V4T8aaXbhAIsIAOFXgoIFqnbK4jbEStw7Y/9wGGdHwEp0/Wzo5rtAwMNxzEwYGd1b1tso03GQkHQp5euxkJ+rRagnG9oEcrHNKVUH0yZXjBE7L3BVCjrwLrR3ubQrlTshVApn1SSKrOKStgZc9SnqKQgRF1Ka85PKpBxnD3DiD0jWR6G88K0itgLMV3ioruDQGYX8H94FMa7Vp2MnQ30jwR9YsmcwQLAEwaCpkSg5oQ+IUhAF2BM8lCD4i2zqQlGkGFHbW64em1fm02hCPAqAZJaC2vwbKnk6/YhzrHGxmU/hptL8yZEX22l4g604uIWJVl+HB1d/VxLBw3uf5HB3MwgQG5qT4mQndcfZZzYoFthQOfnQ6kWbKNoOMgH21Q1c5TPuheuOQeEKLKIT+vydxTji2jhgHfzsAoI706JdBobwAoxUgiUdXNen6ln8p0BRaDAD8yZgc98vrsaHMqzqErvj9P3yiUKgzt7oWrrjMnt2BD3jw9uAU0qSg5jHZ67SO9kkPQoZ+hbKzkHgGvcv1uYgVepeW7/TjEOsiVHpCgy4HJrfl2Lc0gazk6bzDWzmvKau76nMeIGnWPShfur3J9AHNka1y53m6UDo4UkXsn76KpGQ9BAfpxlqCm9nnMDSWZJ84+P+oERSU5gpH1oGWWSAZ/BAz60ySN6HH9v2buRe4x7B82+dJItGNAyRuQXqhD0DoWfZ5EiYSd2p4RPpgm+Prz9T6wr80N+np4MGJakvp44UCx2ak+T4sGXei5+pKGx9bPOjx1tGS8gPVX7FRP0oTblmeiQ5XsrJxAh7S13X/uIqzbi2pxDRZGhQ5dxBxgH5RZOV0GQgYuNNuL6AfTFWJlXLZRYqb4Ics9ulPlrwpcl+vBFM72QwM2MBz9g0FulUtUMBQ1vm2TBuy34+XISpXYszpW0JeIv5Tn+KEc8w0zNiq+NLgr1CD8Y+IBha+QKUxWSKMN7kYr9MGTgHXQRQQ+iCsss2apCyrJotObBUyPHiQ1niDIkXZHPE75g357lt5detI7gnnEZypqvyMAIrj1mzDNfKzhHm2sUz6XBih4skl00EPwODbEUaQv8LHKMkBEfJxdbPCXHKixUHBCt0tNOPTAdqTS4IVZDf25Ltq+9Z8AiDpAyX6tv+DOOrNRlqLSqf3xGkgVooD8DTeQLjgnK6w0LUAE45fzw4KazS9WbtA0xo3eMWp1LVvfCjbtwo/yz8rgTmaGBrK1Ayu4uTlJEJOjeAvi0EFloKdcECcUNCLIOXE7cibNDBtUEuRNThIMOQptuhJusIjgeWXJAMxu0W7PotHctNeL7gikG4091oEoytsiNhr0O1Y6E3r04l5aJr2NNjEpRHiSTS/og9hZpXQBASbiCq6jLnhE+zup1IBNBILiHIv+5Jmxg3YwV30cO2ivjaxDElSjEEHf4ke4vcnSIthXUnqxyIDtLOg+l13pGWjSLtUa3NfRXRuRi76ZkdD/U1/JQ8k+Dm5nQA+2MSsOga8rqCj43S1vFLIXSqK0HYO8jWhiI1apF9pyC72Tqu0Q7wdXRbS6aVv0ggBxZLcQe5EW4VrdxOKmiRMJC82+elU23izox2m1PIkI2RgiJdk4XSeiDYGnmXCFsMSimdOmSgdyRPmyB3Mh8NXumgcs0vVcqNIxAAe70Iv6SeZOUERMTofK5KpU+fVJ6s8WORc06eUEUuelzoTi6QC71uKoDvflwRzJ6Kv+yNsqybn+BprqzgxcT5/eZW16XBpEN7d2BlO9GydbYHZ2MzoxIwleEwTyEpzTEjTN+9CjCPKXU7BKlWganTzmMo2RcDWAJIV5w9X6SJjY4zWkgqEuZDXcu0JvxxpJi900wJh7jfvAukfqQZavSFmBdY2UXy560OecbScTQYSDO2chB4EEThblkbIxf5wFCi4l2JUg4gUmFRQbFnQkp+UnKpDLg8TajLYpOCoriS3gSrTS0IHNgv7OGuUsb9ZGnzVMJ7bxPhQ7b+IPik+1d2j39A6Eqtd/PPc2+btryP1A1YryGZE1JYMzToTZcFN70oxJteUNAJfdU8kzC+cMr0Ymp7RumlAn9S1ZcKSJCGJktb93mxaYwnldfDIqBwr76+JTSBFk1UUmzC24gWybhbIDJkb0QVkVd2TfdWDDhk/AO3aa913/WybAIPGUNb5C99iBfUiNb4A9GdZ0SFwuakDZzLIhl0SCPlGU0qHdfbhxriL4ERU558VKDYu7y4ZttqLGYGlQN5RN5VJMuYK6d5Ntuzhu+Pfr1PeYOxzsV3BoXnoz+0EPnd4MB9l038Fz00sebsUbtHCFKBK7WB4IWnY3wG9nUrKXBWAEtSCes9u9KTFForBdY15IVfnvgF2y9Q/OH0pBqDJ8JgAi47KjsluhnRS/sY8FsFiU67myTW+h4sn4mUp7AGN0+JRmmNG5WgEsSI4a4KtMnvuevbiutN/sc6uIK8m4WLkFLFwu9YVOF66RyQ8HWw9eGIDNQDJHPvxYMolEsRoNzf1AoxvRWXD4T9BmHXf4oMuSGHylZxUkuI9UTFBoiynuVkygcZvsKtPbAXxD37PpPRQbSyacAyO3erEgzPApufs9FtkbLFc8Fv1QWpAmNoxTStiofLFAWGdHASOUz053i4IXkF+DfUP39KJlWSGmW6mPw9n9S2fog3JLoXObi/CCo9uFM6PVRY6bhRnVPVp5YWVunOChzDew7wjOrIwMQb2L7SaR4b0ck0eAwBses31YHPqEQkliUmVEdMKFloavmQrjZjI9a0PrwS2fbBedvenQsE/zrKjBzI8FF43ORNIOZB5kKGgH0cLiF8GboNJLRjtAgikBE2X1PX/EPqzA7oZl6MBsyVYABqKEwOP0gq7xFQ00h/K+jvc8oa8DUb8GgdxduJDrvKu1oEchcnvCwQ0OMxyfU5WlMllnNnwgRkBDjRs+aIORdVpZg2FD014V9UE0R06gTgubtzZp5ecFX5fdSMSpgGyujLLA6bX4u2KBokUpyYePMHhkxc4kUD2xSYkJgI+gL+SWSDkUgiKrt5x/6F5dOU/YyeoelaaIifwelZ0kJw5wO21swB6ImMhrRGe0/hvqxKDt8NtwGai312xbp1kcIrA1O/QSkO7ZCVbJIuCiuBIU1siZMqrkzosdst2CDL+xzdxjUBZJo73HCJ2yT7nScNzhpRjR3QjG9XBPdOujC9RCXq87fohMG65CoTBKWhmCHdpTtn89S7tUKb5Y0Fe4XksE9zzlSKMlQkEjPOdHH6e98mRLGN2BcgThDoGvF33yy4zGZVGzaLNw/ykH0RKBdJx1CAmvaKWPhPZZM7ho6EzcLOVBjsFluKKKMJMCrCcfSN8dbEHLB6KhcX904Q1yZmG+TVJ5syF8+oYotpsQNwEd6ebbiReQoLfQOUJqjnaj8VTOwC0mryduVRlFPY/a1mUKLxWYZnLErNmbTuc9DXzOp1lAxo/cHogA3NQFH+MFdfMVLS9lLt/39KXQ0joCZyCloV9rO8VYoSoRX7dJyaDwA8bLodF4j+ZhTaK0MsUFny2aH/GGEQjQS0jqI6d73FhIXdWHjuiLIjzVVYdisvEjAyDww4XGTL0BJtKjMZL6CiUJUTVy9wMeQFAfUS+KZ3rOis6XnSik4plFsO4y+fU5toqJ9YiiJ5y6F6wjekxZQAVVSBfY3vYZr919hRAQqlPCfzRVHeeWLFVdc1KvOTJUmBspGdQLimcniobXvcTDGdl1pw4I14v8qDrMaiIGnR86EmPMbPOTBSZ6OG7zqxQBEquCpUr59IJMkB0OGNXlISEkbui75AZDkKL8ZDI2NK6eMhkUAk4y6TDYUF8LCLgr9KCjL8OdxPDbqKYWE3nPKEWSuA64OdliNiCr7UBzKMHQGzsJeocbmfVYZrIZodlOh4wsLr1V/cXR2l+gO8HKpqQtI7BTSkuGr9AyZaZMIc5t98db5snTpjTcuqoPyUdG5Rg9lxY5Os0CMy0tuOmio8k9Fi6kKBA4z4XqGRz0GO1CeeEzmuHdfIvjqCdkAvvmCZ3QD6Hfo5JbjW9bWq0YK3v+59IX7ACP1Ea7eiSuBPv0XMQ7nT1VULIQ0uHraaXpLgyw2LjeBDXoNiHEd8s4vLelexgvAzyEHAX+5LUskDLhVIwh6zpmhRhzknHFPaUd3mQs8OZZKBnLXipsIbQmNKsS8dBllOx5QHmQjl73SqASRJ0oXx6kPiQ8MH5abBCuVPwEtkVBNKWYUAWDTvta80G4OJQG+PVfKyWqJtwLNOVAzaaZjgpZQlgVKQtsjGlvGFeHeqkEQNGAzgmDgtWp6I4yf4fPIQ+j3aKQUQsazMBmsmS6Mb2lBq8FeoNM/0jEA7J/cVQP4qEoN4rrm8C9onwaYmbwY3Xvr5eAClgNjMsOm5buB9mgxEIZ7Iu6QxAtk5O0KHZbRpAFuWVCRFhKOItuo2eBiNNNo+M+Z0iSw1WwyyMr40GzOiQ0h01Ds6QoJbQmOmUJPUsqGh+LRgkpmmfIyWX9dGeuwrodFnG1nU8FEiE0cD8VJT/UeSMPOvSJT7fRQsS49ELap1l1tSJoZ8k/zvuKoGMvN3tM+FLftm7Pxm4+fByVC/0y8PGr8A1s6VUb4VUeklvLGqFJEbsPHZLazMFyW1cljChBj6IbUdH8dYuZggeZM53JXbPWpW+7r9S1LBmxk6GmFJJqWgi1KEID1Vy5iXTT1u71JqrHjSevU6xRgu0nStMDWH2F3hIEan0oJXVHw5VGpEfUossPfV7+juNKIeZEDRYtvYBdotW3ww6P7Nb9JO6bAG7bQISzZSXPRTGUASDoxgIXF+V1KAeKEBUYNNd1edA1InrseQWVxPlWa4ZRl+yp+btoqAAjnhxJeggz5V/WRCHTceo+aaqJ92PJHZoYl50vWjMXdOi1eigBh+kRoLoZ0lHtDuVKeWbKoiy0f2U54gBRa9CXdRSEWND0O+avF9uUT5SV3JgN3X3MJyI26AloJ0XEYAYGsGnhZZqiBvKw1fWLinhUIk7oS1GLD3KHbmhF/0jUh2WHECZz5fiCdsWT7sr+IO651tC3W4hGYLOkGu4LN1mBBVINa4XxKJRsKYV3mzF2IOk6ZMcKkKB46yhYPiXq4iMQm24Ogt7rGR8/0xsWOXgH6hu0xQHYAD8MkpzxenZpIy1IsgWZe8IF3CmKB6xZLZRKRViR64iuQqvkVB5D2yksTaN2YKzVJEkk+thjLHBj4X0XHfjoinPSUQ+9QKD3ZKajF0dze0jtUCYfJShQHSBuz+Bwocmnh06nVRIhOXjN4BHsZ85MdslRBKYFmv5AFjKg8jnRAwOGDDlh24zRYgaLKwG8HjygHmIGyKaWiNupZ2gPb5cwR/rlHZGa+YXQay3XAvtGDz5jEpPVN7WVY6cNDbEEdZRjI8NfuxkCwF+E9CnNSrZuSe/U2wZyp2kvnZDcbTlW6WWhKyuvnoWWT4UAZuAZRUNIx8lDK/pMYmTz0AodSaO/aAzJbiqJr4vMiUFKmgDCFPeMF7fjl5OnEraFotTjKKcB/JJlmepNf8+k1m5Vdst7Q04/WewaCKFNMnA0Huh/DQIebF5KxyTvpvZqN8hn96dNgsMggXYqSvB6o3/dPdZ6p/Bvgk9GKJO3d2n+AfyjaY2MTAEdvbIp6IxGLTwACzpX6xEl8ALJlDL2MZ8W8cMzojBqOTesGvVutDfBpFMtbJn0fotfOn1VaBo9v0xpH/0W+2W633cA53K5QL8IyegGDkZaxiDsPobYhSlezwwdD7nR4HctilEIDGzzu4YVLO5TJUDbk6A7LKN8d0nlC/p9aOIpZ6bcBI0SKYYULaEVAJwFovmIjj0RcrSoTguKA7nhCNCWTUxUg8kLIBgaRp6gA9513GD2xQIl9eCMIVOgoIeyDj8Tt9+QxiRiBQe5J9W96PkcoUxiQn+BewsPIIu3+z6AVfcpJ+ERC4ApBNwZm1O+k2fBMrqH+xpif4ptoBIW3IaI2hxTzWzTrvJwIFxu024VEbLEj2kblN0w9wttTGii0T3c4f7Q9klwwcITIrJWvM3taAB20XlGd+3TWK80eFzbTDc1XzqJ34SFgmJAg1y9r/X0VupEw7Gih9oNyRMOHDSNiOkn4Z0Ocsd+T3ezoV20k4K3yZdkSdzUeiyHdG92msPBRfino5pHsBcC2a4PNyQEnOMN68WWkoIZpnEikXFc2W3QvKOmiHY29HdSJyfT9DaGO99A5cwvIObdlMU79aObyP8pyIpAcyIGbbD0Y7QEOwUxGjYYC4COmTQTYhyIJcj3kOfQORf6t5tv3wiII6jFAkOR8D5SueiZ0CJCZbc1qPgBYU2rBMhnl+h6sm5zRCuYGPyw+7ZY6OG4V/4pqCh12vDhLEs9EYJ4im17A6c4PwK3Rq5srux023R0Dzy9F+5PqGlOCyXStZI8oETjRr8uaJryFW2AtUyMRyZvhhoqPu4S0O0eVPWKDGT0DisKhBp6kFb/NqwMPdoVZhiEnRZSOYVtuB3Box6dOq4gQHVmLgULpag9YzFS3W1KXAi3I4S0Skrnu19umo5A2zysrBD+JZaVfYJdtmJ2xo6idnItQlnOOfFANw+C+UhOVUMnb9OJTfNpcanpBTnTqQi/C+UT45+vFqTU7Vh9jcUchNInUT94+bV6ykohz6ZfvWWOh/InYX3oHS0Lr+tXwFd/3o1ydJ9XxA/EankYJkH3hXVJcFnhed6Hm0Glg3EauNn8EcOMty0yNBqtzgylzhPFJwqoa7kTxSSuRUvMT7cVBAVB04DbaHwLnuq0FBwiIis07Z3eho0zURFOKTx2L1Airz8KHq6kwoVmQXPTzn5KMvvVnTRHZn8sDffCKtrZKroywzMlZHrOq93SYnVGqkGSHZ5wyzPqs5Z/YKE92+nlsxmDK3EZcEBWHPQRdD6S2Ut9heqFCYbo1a7oj8EDHoikjIox2+MUi8ZluweJ/KUjdJmQRTttpE+MRaBnktaMWAAdneTmWC353OTmWDvzvsbOTrNRS6VepWqoUjzAHYl0krLQYCPVfYLJVOwPmp+hpYhKRUtFnRrCCoWgqoLaWs5uvUBmmV9/HclUI+x7/1RZrCIa3A8s0Mx+SjDC60aAFk+lEiNGv962PzzoMDrwuMR6qbNM87UVy6qbqQYV7KB+1HRyA7nxagW2soMQsxZhGhoSVMIJoi7IYntcYao0dVkZ4iDZr/P861RUXIsmQjdBb6MHObOFXocMzYjQIVbur/yhv2SaEh45i53oJAyM4QHd9NYJZ0RWk4W8WMu+QfyTrvhYaie6phGinVl/6YgiL+D9SvzNv0xNUQdxGHi3MdMkQRNAavXS5XRoY16wfQ5chCiEU36BkdfRBvRwFauRB/trWvi8AnMvQ+WKLgNlRAnMihU0q7DQ1ttZ12gWV53X1o9a46Fd5bwWpY1exYX1xkI742QPGb33kAVutJdNhlpE1O6oQ/ZrmTkOUcGCGGf91Dopfp+VBAdD5z9KM6ERGyz4zUqBeuAB4EoVWW+YK16gB5oPE6F6PhXPvKEMNb5xZnUWIWK3vLtUu2l4aY/Up/ejbTs81QKkqKRM+aGLEPykhcSsdgbN/smq0jkGLayh0kAjUcJpqKIgfUjNmkVDbKZHCEe1Bz6upx95AXoY6hUcO+DpdRxGK6le25F5n9YLk/9iDNPETFGIvkl8PdABHERv87qJt3tGD2w1VNkdPVTs3AnJi+bilWc7uFTK+CzapJOuTc2dhMJdGYbJR8RpFV/RvTfd+4y8aMu/o8Wm2UtX99vU6wrBq6pVY7krBtAo9Zrnabd7kAzl+umHgnx98CMRy5PXJEldVs5jYkbOHGHvXcYdoe1AH5NLePHqwPkYdrVccIO9QSdicJZhbyDNR10de3Np0krUHMQWziiNgbGAmNWzMatZhNtDH+hMjh5jJwJs4UY3lDLb5nzfArCvmX/Czoa8Qd4BjBg5fTc/hN7KgZp1J6SesA+Sq1nQdEZg0nYdKawZQssRWMxucWBPQ4F0YevgRuXD+5FVYeG0emUHHO9EVhGYfrhTZsHPPZm+Qq7AmDh9JYoa0YW0LAOwPIbEuq78tIPCECEIreU4EmfLOMaTTB/AfiWVIauypse0DENYLr8wzm1+LECmZ1bODwCz+beeYlRuSuIwf4BKPIJrjhfpRVl5/ZRbkPMYNNy5TxQtohTrB66b3UpihqON9hjaV2iyaBN1sF+t9XdOmiKSqsbprZGtdOulZ3XCh7XCL7DFrBDVU2UHQKl5SkYQD2k+OTGdajnWQsrJ3MkwYYpsRwIkNMguACwWTR/RQ/fBME6llg1gAY6DbGdNlRNwD3YARsXDa6ByR5kYCibxwTpB5WZSAJoer8xKiU3b33EfKMvIMiusC9jwHjgAAjOOA+DXEt7g2c4QQpKlvamhv2lCMv29Md2FhVK/0JVC6RW8ifzZsq9oWrXg9ls6g6iz3xCuNZo6+30E0G6qejUBVIbAGWBqp0wPOiKstcQk7fX9jXaQh67ZfcWzq0G2x8Ix9gWVBTek0CtQsqeGMhdC1aTSLA6v6AYDfPZgRI6QDNQlouHyFPsZAhLdkiysAlezS2JC56eR1wvmKkRuC4cKla/lQTkQqmg0imY8JG7pQ1UEsq13W+naC7YirYeXHlI0X1mAoZf1q6oxAWuHRBJEa23FmFBnKVIwkUhS0eGqMyfsEG5bXPlm7A0nPzMSojmmDg20loH6ETjrUYVEgQWb71ewXT5vqf/EYYOpdh0RHvJqOIk3yceoPkDHNPm4MmdkZmsjdQB5W6vr0yc/IGzd+bIO3mrf0YpM+2qqjIEyWxmyWACKQNkw+Xm0m4gXpmk3Fee9s4W5WOSsmDM1LS9DpPTa6gqaABQMWFS0r1Pk4HraBoBX/zKFxP3OBIFxVYOAZLyO85Bbdk6CezLNloVbn5Nd2GDN094YUfuE4huw+Qa5xtWTUW6zPpg5Ej7PQq8M3GnRdjt01kYU3YAViL8QGDHGIJdH7bmmw6B13cIQLLCpWa8/GERk51DgYLFI/VIT1vSxW0NVgbwKbZ3zbHh1pHmC/cRoBPpdn/ia/Msmt7X62va4nJUR6qQJxHQ4wlUG0YSvtAaLcsSO1qUXBb77fIHHImGeJ+T4MOAlKb/HzdAHTd3o+j5QOX+NVJdyAaqVbqRComLf16CJAe9mOzOGrYLRRiwwLMLClJJo+NJ5bXOv12oAQZHOhi9HciHoXJ8fRcJ3w6YFekFzavy4cjMoQy4ODhotg92P8/dJZzCp5W/haJQniWEcmH1LHiqbNvNXzRXfTiTtDjLqO/fReoc7YSuBB4tD82eO06QPAME2K1SzKFRWU3ABoRXtD9NTECmE6VdCcY/ma2i2KHezYKJpSDjQPlLo70H0FUzm3rte02CBLoT39YLJIsle5SMQsIxOymKF1NdZAr3zcokgCGXZjeUELvQjGCXFUXcpFVXNGaw2CvQFJlbvwX+klE77cTKrPTuL5j+o/Wib7mi1RmDGLBlwfxadFDhYbZbdidaf2NAD5M1pKDVluTD6Gmr0Uhrpjfa4aKA2dOlifbWhij6dah7BoVfLowcgT+tw9bS213KnUD9ZePxG0GTgBtPRDJhLtqwTn8xIV8H1VybXsNDWvCE3pRMNbZxWPeoyi9I9It0BnnBz10WOj4V+wWyzmu6JkUTX8BYleOUYuRk4oBRItedyE6GwHqJSdk9W1bjhnioKLPvNxATK0D/tDiYv1vPE3mOre7Rujb2+FvNK7lOG10UftoE95XV9ZT6R5rs8vyZa4VHUDtI1iTWFzUpcQZLtTbpT9tTzEBCRZSHL5m4Vv1U+Y1KpQFkEwgx6bevRLatFE9CIBI6mONrqk3An2J+ecwZGT+vVTC03elU6TiakVGmsvzE7kn16KU5sV/eM7aP71lLVNRgFbiPosBvkUUNA0pK8RPs39IXoUSdDt2OmOVNuslD/t2Zy8byBfHfo/VRLVxBuUcE7mfd2t6cQsURT57Su08ohybMBFJE8XU++1s9hw6YZd3cwRYQF+t0tJnu6Fjc8r8PQuMf/ndDVZKtQRfW0pumwmsh5P9QF7PH2mOTUQVeD59wdlMqdo/zAgl7xEZPcPOLBJtic62l6izbLC+IY1tJNMjEZk6pgzQnEnaAbsVsWZKI6JY/ZAXLTCsJyVJ47QXY0hB8P9FSU6F69bsIJuEjitYckxaUSFtipE/3NdK7QBddJ0NGK7fTd/3YgdEw6Lb0D6T4+iSO694xeb0+IhXiBrnCcPKZ9ou1nfwchiSQvZn70bl1N3ZJsDgtXX2LWltUkJlwVuNrgNYy36vf5u+N5QJQMquVshgLLUPSAHAXOA2jm4UoDekDLoHgDHRiMJyim3bk5cu9gAGYjuHJLZYhWxADpZgppVFO/6Mtlkl0onXs6MjqHvneSiEkjcE9xWoQ5wI9DnBbKRHZ8UVAAx/DoJWcUGwbCfbEM7DtIkI5riKxjSEex7Bjg7gntP4oQOYgLDEWbcUJ9tbIFrOQR4j1oaRLfWbzHqlNIutQkJjd6EVwgG57DsSIOzaIYs316TKO6kCADwR9mZbQQUjTGDYL+2p9phjruDQSO5jWGWCKQHUrsdG9GA3ohGQ2+gdN8ZjO7BKv3Q3t7WjKQsUGzYInTfGJ+449pgXky3sFiQHY/bzDBQqZoRHjXAD92EkmKoYlidQdr8a03hBTWzEUcZbs2eKDQQBae6WKZagwWFy6WvCfy4k0hnDmn8gafF5THYkKuTxT5ZUTnRFGLlpQ3LgztTONmXuhZwkF5usINBa+kJjPPaQVt1PUlbbgNGcFzP9xUmMPQsJUKQ/sIbrXMk0K1QLIobzH5tt886nB3YxTXcF5Mz8sIHoacyq4lp6ValIzmPd0fC4U7J0trECoUPV+ryNISsN4oYlQpqScRZLMYsGJTa+JEtw9VUtfddZXw8FeOGwaBrM7lIMUSaiZ+jLvULeilbY8ghKFdc4oKZV7FoMuw8/YQ4ZoKzrKLf5SbYQ/xMyNO52hPGxR9+e2GahbXwyPeHIRTrUuSkmfdWMUTVwJKQhEDJ3SvFdffEIGJtARYPAs0NrNIxEmgz40irGdqMgPm8eEoGxLyIjdTKULUnmMNYdAz24fOMdPp+fjyAmIPJcTaNv/dYoTTehNkaTSsRmVcNmE+9kkuGaqaHFgX3BiqPLJzExl/6zdQygJ446HGZGBYJWAt12Aves16c6OPFxLTMou6hPXV5FFnr6kRgLrt6UEarUxeWevJuTFazoNRjmubjO85bxgSpdmbQpaQUNfJAtEJMBeZWC+YjXAdn4JvoACA/AE/M8s35yTapOyU7UHgzqT+N10NeTQktN3mCgR7s9epEWFBhiTcavozQNgayhs19SdgvC536aEGd569RLCKK7O9pOeqBlI93BuiB+AoGnt84TLH5qIxCSarZwuAijFF8Abln/IhLCn0ulkwxj7SDo811q16mqPHGtNjdvvrjt0EmmvEZOYVeszt4Zb0bs8VPNqtuKRnmwpFVMTauJRYoGcQ7Aa6eLdJSzu6eMHFx36N3dMlmxIKQnAFS0Z+APgkdwT7xu9RsTuPFAUrAbiWn6enMTgGhS3PKJODdNI2e10HLjiAWDq0VlAYttm76Dw+Dlb0lm4yXiSQUd2LUah0TJibyjQn4j4iwJ0a+og+wI4GG2IRVMX5RvGi2E6KGmE0GsGB63E6PSkXWiELGe0RjA9rOaB3GQ2WtBNT6A0hWDBnWiMZQcrCiimZyVB8A5mcQIUsQPxelQ4oPISIchIXieh9XFLlbx6jZS5ppa9/hqwuco7aR0TuHwvMak2hGVTgGXH0Bk+7OfDkfBsmfA8TNcPwUbL5N0Rt0nNdsi+403UTpWX6QJvrMjEUbLrmsB4tAMWgWgIeJuGCipt5R2hi7+hmKExTGu0FKhPRB8SnWeh2yBr3T3GJ3MzQ5IXuqAefJWnmVcNcI6robrOAWH0frcMlUJ6Y68foOZzXLUQtdDoa6aEbfmd2V3W0bRmrGEmjtg17v+XIw2PiiFGqYyCxviGKRr0KaYcXZh7f3A93WBu6xkDk40l5T/MPHaDaY3aKYj8Ghew85nClu9sWXT0k+49i9QppR9k3fkbavqT+spcMeowuViTX7yOmmUTU3JI+nf4cmEjzTekmQrlvSjeduMlgpBYKqrtbTr3pFqRJzkZBFdaSrdZQ4vtyWDCBKQMWewgRoCeHdGT+ThaNWaYx5JbpKyXm/nUjbtoOunP3X18r/kUlzvzQqO+HxtFUkBm/29czARkCK5NJhkiKFsk5GFiFPeII5jgXomPv1wlOLGoqLOSwTTIeZVTSNPhGzTV8XDAJQSgp75gJ0SyetmO4aEltoZSiYxS8tdMakWo4kgNZ0P3J0dlXKj5sZnDtQu9t0ZIlXz9fx32Ngb4zFfIr/NmsEDuyqtBOojDL2IVknxEXKw8HGZwOknmWO2Jy2pSgGLpTf1vSbdLGcZ59QwwLOkSo2MC6Wm9AHJOlgxQ1GS2rOKXeX7yBjiREA3IrBk6U8WCoAenF9HsWcgap/g2/A28KQhuq+wWmb0SD8EeQmfVwHgovF/HBkwLzE0lJRJy8QMno/urAepJAzzPKFgcBvvYrtzkspkzn+Myy4b+pWOyVQ8PPWD6tKQXt2BdpHJSTLM9OuWHH4Kjr9wo0FAS6Vc3Jq2nDlLdWurFtw46LxEltGu4UGlZExhce3H54GSARWNqrRidKpatihvIYCTfNyjB8om12ewJzzr9DSp2Bxp5/p+1O2XunyvIA2GWe23AoAWF4vTnx0Dl39XRWoHW3Ac9HWzM/ucccBuYF3jckCaY5Cc9KKXzKtDmwBGVE8AroqV40kvbweIgzYZMnFeTpUaA1WywN7KE/YiFiIjOYOz0ifeMzl5x7WN5A5g+JkJ5TcVrMsyVVtgy7NnbOICt/lhWZHg5O7D3f9EkD9gzj6CfQ+8sEtJVlyJjQy6d+XlDMTt2A7oa+Zh2x+Pmex1PabtZQ7L9tWZhJc2PElU2E+7Vmyiuy/2Yduc2wVW2WGB5V0I1fyRAkBMKOuZAfHao1lNyGxSpQByuhy39hJAbQC6J60dPsZmFMQDI+ZWf2ih5t9ZQDLxr1o5fmVI91nNH8cqnNJyOErx/w7eBVb8QDmQgU7t5sPuTiuc6KhAvV05kqDGxyGgbpE4ezXaLUAyZMXYkuXAPEwPkpNEp3FwwdlB7c6tUZMBpQFKOKBiqGcFM8t+ggsNHGI+5SpXQK5IVM4PlJK5GLwc+3tBIHA1JsMsOVu7Qg3hhWvLVEu7GTPz5wWXOu0QYIpfJkmxGOjSqN24xQqfiN0J28FKYaXYM1UHFbIHR0EetkoJ/sPQZdYmaiUKFuA8/Az6+08Fnco/2azyvjtqPj21B4VMd6BHWIdDcTdxtpbkvbgqgm4B02CXwfzmHwmNzlPSCrtR6zsazsF4RsNCfoy9o3ZrOhdb1SEhASHUoP3SN7i3d/2zm4zazbOj0+igCMWbItQx1QnstA9G1S5TCL6ie4SV7q2iZ2FPnz+ztfB/pgD8LohZxdnLOYK0CyafIdkjGMb08CbmeSvKwxM60p/eDLYpC8w2yID2dEmM0XtxyXiAzXNIV0RUCp4zNTr9Ya2RVmof3CQRciCsWWJ6R5u+yQJ6w3mozeYQZcm6nCJU9JF+J5QwMHuBEHb1g/m37P/YitjC+BL+YFOMEbYENuStXAKpfuz97EZ8n1AwZTanxcVju075TUgkU7FQeaM67oIWjZt04f4mScwDZYDawGrSQDkwkvnkThUpKYjEF643Lcmc47YOFnWX511KLLOaHfYm3AADOmGyaGdsg1UMg47R0DOaNP7lAdC6ADPc0b4LcHhDMa2X3BjIJEHC5mbzPu6sbogpmoF3z1wEitjkRfK3ZxMpmUpCGCYk+NLDq7OywOWFbf581HgRiO87QgoBUMQiWo0zmJyQbsYEGtZYwc3Eg90UjudNSI4M2uqTk3HW0w7OaLvgH6hiKJAM+a6I4yB5wFtPqTAgdWEJq+dxYI0t3947wC/jHz05zXQQKdKOLklszUjhGMysgg7awcmrVAvwdqbjAzK3HXeJT/gnSX5xkdDw++oXFn9R26w6EkshjW1oiWJg/gQ2H/pA6L44knJUj/mTx8SAnCfNmnPe6QfoEkXMjF6M/Wj7dy2EYMwQvpfQRNKJIlI2Qg8mF5DRghzKANmMpsL07B4CDAA/M+mu8wI8nNYwq0E+JB0MJoo5Tl0+kusBtMiHaGlgeIAJO615cL9yS+aQw029ycxsDAW3oZXVL0WaO1BOKuVQghLZxXIZebKYime0HmGJpSFL7A67b5VpbjrAwPe5PoaWGw5KYXEJirOVzH8aDTK1pBPZ5j1vSHMvzarOSnJplcvHtMn+yg6IzMRPoqFw0RtiRPT5fugM3BjpVQrZI06OHWSWacfiygcJXQw/GEEWb4mrTD4jJdq74pUNpWVNZGTIECUIlXG0j57vBxDJsvS87H4+yuNDA69Bj6p+lwzYy1O23SkOa7Y22EUnKKDWaU2oiT6mHIoyCc8URcdNE83OtYG7LhnL/tElKDnodG2+OgfNVyC3aIvCuHd3SepxO6TmtOwZoV5J9gIleI8ffNV2qQw7k92tzAlm57h8ja+CfVymXCSYBfyd7Tt+AIeYEA2LlPqwBidzHFGK6wTFLJrvxm9anBxIeY9NlQCq1PNq/07dl2jqzw9m28miIzx9Cf+piohEjuSAU/A0jaERD7o8UdSDI70E+QHQ3BuvEf8YeVTC3zxCAPsCC/zoZjkBM00uoMFAXYv2fPoBuaqeFwA6izul5wXyBKSeqg4uRAFA8VzxJOy/a73G7LBwiuL36FhY9hBjGAha+ooMSWBlLmfhhRZnwZJOsmDw0C44lZ194OHuZ0zxvt04e+oZF2WkISYYn+VO3pA3XyaEox8dbrKmEyCNU40PFLvai+pmFQGYaq8/NhVGtEHd1yX9hzGgYtxjk8pvTJosOX7itl0Wnxr8lt9yB14N1mcK8wNLkF4wAcqFuqfASXUbv5RH3ZXd0oh6zU7YGxPrKnZLgJsaP3GRArrRTJYkBvmqEHxW+OiAQ9xfYEpmFLLkABL3Y7WQbiMU+QJZJRHnljzt9+IB07kXb6QPg9+yFkg4GM4Nx6fpcFs82aWMl9HzS+WhLejY0U+QNWp3xONziKJB5OBcvrDaI3amNVLw8locGpR7nUgQFS/Ctlg2mvuzO/zwNo9QhPkFqssNmiaX3zyBT+0dbNggFXY7Zf1aB4FwVtmb3dR7IRTNpS+GJJ3mZB1hDXNnPtEu21aAy0+NOO01pNA6nDpxXYhgbz1e5P0dZU+zzJg17AaKuDn0KzdL3R/oLkUg0JrlWi0aMyaceLYlmIqPLTWVuK5x1BDkDGZmUDEt6DEsYOJjRqhOflf07l+c1wTaKb655RI0AwYxVDgNUtpCFdTyGHabpZrZLhlq8IFwrHl542z488xgqYjv1knGgFvaXGK+fgKi24bxQD8Vdz/3ILXnqMit1YxYZ4PPRcW8WBvvF9ekxsd1pukWO6Hr/5ZlDTIL09Hp2iOy/jFdZdcOMyI/PYocHcH0PaqdqpFrBi6PjJ+I4GY4sit5iuSxFHd3cf4NuptBE9sNhUdcMtH2t30VgSwtsF+YTV/ukiEwOVUBFrdjKl5W53WyMTlTFiO2SXs3KDrBJ23T/TSD9S797AgQfaW+5CoYqixrC0FgCAQzlitCldPqnE7hGI8HgL4NgxhxKkfqeXJPGAGOHfMT5CJvq8wSOu6bSQFkHUC1+UcOkgw1wWpwCwRN1z/OTATG+41p9Y5CH3pwx1Ebg+OcaYKao10XMzfS4waGhMTFhUqcqNlCRNc+S2/Gxdx6jAUG5ioKMBX9r1K5NGEs22Oq9eAx9pVjxyYPuRh6DA3TNCTdQBQRbIGVixgQBqwJA82p0Kfb47eJoUBxnZ7FpzvPPpY34ZAB9zOyw/Pt6IY8Zh9HNzoJbbp939C74GokFHnRGFmzicm7q1K+XSIu896NhGxdcyURxRKzJ6QfNDjOkjM6h4EqrInrKkeO2GmIJHM044Jc2SbKgU3FSAhE0DUclqjTDFIf7GWSZwMbV5I6dw6dKZqOKdlDRsMDCcPMGtYVJnCnHiODubmOm5tKDQzxLhPhLJQF/XAQLjBDtjpO6bn6R4x+J9MUsJhZhfF8i2Xk0PHR1OKxXNH6TbKIyatKKIGinPJ/C0kAWmmsUieKdJkrHWYjvD4tohpJQaNAsUXI/reuA6KLiylZr9Qla0Rm+SA+SRQmjTR09dDwW4YbFhFsz/qj++Du1wNxRd7TWJ6CM3JDPFUSraZwEe2SMBJHxZ0GI8dtdxDVLYcZ2ocrC/kG/wgnbLGChvteE23LYXI/BICgKw8czPipAJJGKmrwFx3nDMWDz4afr3bkpTuEBivLJxE5F2aolu3HS03epzvnKF0HrTq3m6RPD2lkM/5jB1txkwmmGlY7bDrch9Bm/c06iCwkp7IZN7KsPtQxaWAbvjRy2o0A1RDGUHdsQJYhpat/AtbM1uivFGL+CNCYde42bKmU2rdCXlvGhsJcwP3wMlBqUrJ7T5GWWNUII1FrEzKFr19qjXx5oKlNFZTMZHlwfAUpj1XEcvmKCb7wgdVQQdPKDDKgdU3NurCsNr6jZXvCNmPoZjMOa6maV+Y64CRMQ12k+3kQz9WOjEqjSAEDsVF44HIEOkA0ZBdOpmJgdzvRIn3NTe/k28BaGCLoks9zK1iBAiTmZ4RISSwyMiQEAj0mOUNMLiZdu/FWhkfSomSgBQ2i8MuL2tJSOue4aqYqcaMmkesXfzrdMezBRTMx1laA609r1+c81gWa0vUgMQ/3jQHRjKuN2Mg4k62Zk/WXiCIipzNqsbduF9KtOLgcjTGtNMac/OC4dcpsedAMAoKGTORQkfAMrOC1Kxp0JH0njpGvPQhZAZRPoneeUcDJhD9FpGMw4ip8uJ6D6Wa4Z4ez4W8ANKUOUMjyIj7SarTXvhtt9+E3q2Mhy9EsvmIe7/9JkJ3VEeikkUpk7CGnz8AXSH+kiWExSkG9hs59kqELl1biNZbIz54l5fGkrECeJps4En+++odFMjASehh3UgRBPWEUVtbaITJQUPw2JSTU8MnO3sWYqhMoAdC5gL7asD1xxgkAUqDa+lZiFWV5PGSXUmHsr0JF7czg1ZmM308NgojsBkVpa7M4kE0ZSaKc3DYURW05MakN86oS8N4f2aykp5EOIfg0pz5opnAyER390OBXEstZk93Z3KUPeYaZI1CDZRL0a/yvttxWS5TXH3X2DY0EPxnCcvFiWz9go+DL4EgiTgQkk1o1dPFKVjEZPCQqGT9tDKwchoisnaTg9GhndaH23Xbd18fXXeCHvoZg1JlolaAhSV782VHkleQZevoFDJLSwUzasruNlFhR7l7khxQm1VcFGCfgOoaukAioooUBQ6CQKMWkasgdsYqudBjTOwGvsAAshO/44raaNG+E3hlYJR2bxxqJiKOGr9ReYo/ewToTkT7Wem/CQzaDIOojuik0ObdZD+iaMYCHyYaU1/MbNGsmAAW4GKdyMgZnFoD8pc7Zq8v01THy78E6L0pxm8aXIBtrCAMDWVDGXQJmC6W4uJr5PJ7KExsd0bUeBArey7RQEkBmlAzTj8GcJDdNPzD4PCWS0KSYwS3sBTfkt9tVvEFChaunjLje5oFrc6gGffptwmM/tWzMqAXIr5X+Zpyruaxd2yt9FDtBGxmzGpWF9cQ/uOeHwAdoyUqEG2LedRdZsmJRBMHeDnCTQRNd/FlV2a3kIegMGP5aRYJcDvpKySQ5kGk8tD1gszTxRFWY2FJyZnJZLxrHz3zGCl0hKWUAEDWsC/y46B64N28BhqZi0B5u8tCmssAtB/dQ9mEaOL5roHQDmDXP07xKEncw/OF4tmWk/CwODRaFgbBh5Mq4+SopUmBzoJO9qCECdYQXPgRROMYKT91hFK7Dl+lh1/9VicHVKsYZ5azMWZ1j9BkJBbcGKyc9KJ1Y2JIS0BbuUS6hzRsk+LFRw8ZEjN8Sdr6E9ifuveQPpivBL6ECXHuiL+yXAiOP8sFJqvlBqlxAgeOW7WGxWPrPbTVCnoK1RPRiZ+vDSFPwB8gX6GbH1FPYkK1n4wHbGmAwvrYaIGFgBEMScLACxmVMBj6G/UE7gpjfndHA7qkoAmWUTyrOeF+bCspdKzX0MKcxI6A49YMHj0PN4442ALqtzVkYUOE3Dea6AwZYS0ywv8YFQ9gCMQ10cbMbAJZGjnfqpfaJgxTM1UwcMg8xosInIDnY/iioh15EwCXim/QQIxLwG/+9f2m4SLB7yuWtcWU+ohiNby5AkvEhjW4cPyDwYnB2yGMhrEO49ThRVlEbioFqP30Cm8Ww6WvmIrEa2EjxR8g14GzeYytiC3bUM/0h2AIZSPuU3+7nEa7oqT3xC6LGNneTCrzDJnof8EFl9/1RKI7wVRQBYwoUKPzmosDP10TZ6RWsitB/OaCi3lRrKE7RnNBNHRGQNtiNmxnpbIolJiHm9imAU3EHcnVKZ+jobjK63B0ET+ziyX7ibIDASO3xz1TQtZ0vT/6xum8XqVFgPDPG1tRzi8EaFgGDclHY995jytN3UKgfjadkydatDFs9JgqXIF+MHEwGaDhoRnW9FhiFJadEWaKhaMwGv5QATklicLgAoGO0yBkcUkFdfy4zIjPDgT13LJnrke3cYUDf/NWWUeGZGfNy1twCP0VxlHTctHYRyLZ1MjKJX4arXSqLIGuFM16lxRUXT/xCQ8Ojl/WqEfFLr8yEXbBTRcFgOGUKraU9iFI+lOfzdYTZQx4/0gyyd3yFzA7ZGyLn+nip0lPAq4HzVl1LpzLHw1v2JUO98NEcfCM5nkUC1iDHjECGQuqXkBp2vRw8DIQLfmnZ3jeawMBGOHwVEu3y+PJB9OBJzYHJPUWEC6fCkxXL6J7ixoKG8cpcwRoFPM7OqMnouhyZYsjqFS1ZLPNPLigehaR1Ql5gMz+AbiEVNVWMD7ODPbJKZlXACY7bkgaQR0SXY5KfPPFammop/doyPN06mbR+Rcc30aI6xmjiOGUg3sXGK2EiONQxuBaqaV/hiTzaKB7M755JmZksx4oNAHwH8npRnU28jL07yonm13MusdPBJSGSuB0DuSAx89xM3aEjtiBJjkicYjtMxHblK85o7F1UJQJqBM01qXcU0if+ah2c1UWmG1W0lLGo3KpH/jsUAVy4QauR2zthOUlN/wSXpRLXyDtAnTYfsbliGbBlc2lIJQF2op3kV9icdrzXEaui5zx8+bXL3IDc30hFDWfgAywOZt8xAeWfqBQRTBkuRoLGaymhi2TZZmEGpPbKUdq4JvYyvNuqrhLkjddCnXpUEWgPbzN5UENIMQwho8fFvJeTm0pTCgZoxoT0dc+GZOdjwThYEIMc7keGJTQMGQHzct+ylCeJHCjv7MFT1+BTziS7hSYd1vrAIirjqXIaVKnLFSFJAiidOZFhxlyJwzRjVMI+R1RhMcC8eb67lKpjZbfZYFmrWnpCTBNdtISUagrMwqu+Fiu5MTajC9mzFHIJpDXkKeg0FWno1a4CJ6+mGymToF9TDvtH4z7Lk8lS56p25ML2N8Hdsl++9HDN6YO6ZHUfHr/TfpnEHrZ3twG9ZkcPRvSicUrBLyUSwssxLzR3ZFUAfH5q5xKpd9tGyIt/AlxeL9xcJ9d69tdQI9glV5nhgyDiO3GVMJ9AKtqoC0faNNKrYuDdcIMVs5FDIuSkkJoENCcAIE2D3dy9NyKuwyvEPq1+00FvTllcUI95PLoIBs0pfYaDhIPTQ6fYEr4VLTeUuTc/Ad/TQhRlw/S6i3FL/SZ6C8RD+jnYZy/plQt5vCJ20ky3b6Wp48rAAd1o2eHHfyUORBxmG+vlsADtL0aEK30GSGXAxUBays5iwedwaEOiZuFVnDZuEvfCxK+fN1Z9DoYko3GwVCVo1sgJIpBZnqWUEwISCgPBYkqi5BtYASiSL8Y5dP63m00Osm1aFwHCGJ5eMVr1wKwugY7uVhZZl2QQKqCHazYOTTGv8zX7dQ1tmeWcJ81tnXa5Klbd3zsFk4Ws4h9Seat0Iw1fMRMbhlp5NFPgkuEz/T+Vxm1s8Y3wNhILTdF3qImbLA56F1fSaf5zA+IsRFPGR9e1pCTDHVtqwllOvxLY2CqucqGJ3S3e3I3xFBpWJ6qN9CYNyA4fs3J5K6EZ0Py+OwcWQBhyCAZpVfhLdZwC8NEMVMejThrWSJIxsPZUBySJfJ9j5fLOAVR1NEKFkWS/7ws97cCbmcDhQDX5d30D3PRqlbiDYyRYYaix06SollecDHE8uodLCuOMecqh7RmCsI+mdan8jxwIAizjGBR6mHzmEzMGt+VwTgG+orqJ2s1scCYVYo2tnrQggm8xZtZA3Wz66/w7qYszPD9F1rI4Sdaj6Gsqhud9v2HTlLbEOt20i8IKpphTXqJTcLWpcZqYNwjIUZY/UnaY3gakwuw8BUnM7MpIuKQWlW1HJpYdVQTwEco5t52FNCr0btL3oGUE8hmIXwE+op8P9qVERGCZUduGau18nUMfvyN1pY349wtXmK1uyOgw4TROFDM6nqeuJCLxGURK9YB+qJRtNtGP2kg3WbMkr5LEBHKW9lfrGgmrVMLwhcWlC4jvtkleCS2B9ME9cZcbbnOBJNMxWaLL9vZu+tFCQHl9sxOAbFReSGX9ckU6wZ9+ehU6g/Ka4aySqNRm8D59Q8KlXHx2sZKIL3GXjiZpb0TdyZfPCMUOICqIc5k4yrDiugQ9g80aKNVGfgK9TGPTV3ZIs2gnQrRi7DQacNYNKqbIkPFHgj+7CmFYqlpArgrWQ3YVE9+oZ+sQ6k6+aFzQiJNAF0dtJcx8/keztGhB8M1RoWsGHh2Qv9vM4MnHzdwfVDmyJVxWFoK6jQ07vW/CrY+NVfUxSvHkTXFJRCgSj7oonnwHCNZ8BUQDkzcAkYB6iqOF2OLunJrMSaADg1XqMSUbiYwTA2E4//Q/LUiwMBJWl5aCgCVXcnvfIneiTBf5we0i3r1kPXvTMBLsRRoJ97MPqhTYIFlfsSgbk5OoMk5Xq2w7FyRBx/0n9tZk+vZ0FhfaWcAgU97YXQqEGFv+egW/ZaaDgTt1I8KIwqrCtBYOVhnbZ0fqYv7IYEiOs3KHqN5PWTpiHvnG2WE4VDhFlZoMqSDRTYnlHNUt42RKO7feg35tEDVkqMW6GB/aTKbSELLtYO/FhQxzrZLGV04XIeRzSRtSx4OCktvNKx7D315MabMci3QY8dJch3MJNqmz+MlNElBIosdLxo+rZfQpgcJUZaQFgQtLJrUy8B2tLkDmKBKmjs2e1XzlTcapeMNk55Ejs28jc7NKlV8hkhWNY94HIj1hsK39TwSk6lvdZcIiXyYART72LeBVqmCkiQgo2BCkEQioqBNbdhi9VIZFApKAFHY8gRZTGjkskedL9noyUzug8dV8M8OZoDe8vmimlSaLe8AWggRe7YRlSh4GeUGvXJayWgHA/QLD0FQ/Vjc/NEds2LpNIEMbiGAg1TJXbUC3FvaAlURgICIjK6lvOZPgtlipEuq9OdWaOIj/liBO2tobPHCPBUUicgQJuLejs/T5pic8I5VAc0XzwTHhVQ4Koocu0Yg9bhIHk7wP28KbBK5oxEP509IVEO1T6Qu2b1jr23dWcJWiY5x03459BeNT0hBFaO7FDICGJYAZuitNyLqzu8k8ynEJi4y9cJVqcHEM6aW7CkAsVQbmGhjprZPmZ3Ee2Q7ZN3KbmfKTrpch8c+RgarPMPyn9yHNN1Id0a8rR2UJkNu25X5CZ9R2iMjuk1Xd3AS1mfz5v9YmLC4HDKOayyJu4dkWm7JUZiEcsx9pUCqQM7CJy1/kZ+oVY/zUgsluUBiXrh7mZG48jR53zgPikrYl23DWvY7ULXdNhsvYJ4ipBz8EVlV0/U8CCQo5ZIcenrnlvLTulPbneiNl93yP/DYzg7oQWK1R4dPx2wV4jHPcBH5gHCW/IWYwEFIXYRZ97j59hFISzEiNtfICwDNndg8Bfg9EZkujwDC03faCrelPD6TwvwFHLfHZ0OQJvzZh2BHqMF5HdNIOb13plMv2GvziTeiJKZ9xaP0rn8NHLovce80XEzo50eBwcJ7WNhYfsRRRkCYSq6yPjHArX51Km0HCQEpxhVWUGCW9w5wc0hpqT84KogzZn9FQwpFDjJ5Feyz1k1s2ykOylotqPmqZBixBjlZZZNgTk9nXifY55uT116KrXDVRI+k6ESKXlFQEvdHPli4lkPOE364yA4JN0+PloTkYeS4mnUYSqZfg3tbNqmguYy3UIt6+xpOF4wkyUhBzKQ+XT9rPEGRaEnTZNGlOYaA4plVqrJngvPi1ktIGBgGbm/Mt8tDMuQxS1YcTl1frr1IKuHSNCpC/s5uFROLJmjUFCkxU7R/LYTrKXDaUO+CHkXJgP0CExDR5Rar8HhSsbRqTql7Kx2Nc19CD4zDonMOwvWWA733jUzZCyzf+vD0dykd1Ih6EbKu55Ik+LxAZoJHgEemuIoALQoYR7a8lGk5dtiTCKy7o3WA5BVFsXMBr+E5bk29MuwpamPN49ZWC9eX0F798+F1rjg4+xgu81giTQPjvxNrnLr5TZWUUKrP/ViaKyBPnzcLQ2WSRtKZFrgMpteY87dtGSLPvo3G4lIohGjsYBgce+rOjeE6Yczb4AknlZUiIsVm0AkQFsMJJFt3xxftzozLYEBp0u2JMPz6WO3Xj2eD9XKi+fbAUhQFK7N9MTPC5hfO2Q4zfexekS0scnCz1QLde8Y4yCRmnPvmIezh2IweTnq2IyWdWMjcvYnaQGIXBDwxLBD5baIeeZJRkV2r5wwAV5WM4Uh80FGG51KL+R4R4bQtJDIfA8rwHrxGwcR41UH1PCYrwr773WH0VhTzLOKJptKaBId+Zb/IyLMNnG6Xdv91SankT/CN0+RQN8jCBi2fegLmsQNA6tkX9XyiLW+vNUhfwEdRuMiCS5PgeKas13r6mYahvJTQxKM5nIGTCJVNyMAvR5hAbY+Y4wtPNlyn4A0A7ymZSp5sOu5Cuioh2FF9LYM2CudDfDmngCSQTp1iUQnhdktN1na1XJ7SdMuaLj3/ugXxFLamNX0CwZe1dy0WD4CL49GYh5xGbySnkkH/XlyS9VJhzYGWex6B9lbwBktY+EO4ijP3gQUQsjeeY+V8ODnlWfLphFidNMowr4hJ0TGbE1jWmBp3Ao+L7uqWQrc8pb1L0ragWIwZGRRS4JHimjH+U397Jb460y87e4uZ4TBzgliBfiSABg2NuAEBfx9XjTMyF42gcNhUzV7DloAVkIl4fPUBbrMe9IviPQqc4x1lBnFTGwXLZsbpU135ip+2/gRSFYxHzuiWs45hSo6t/TIS8Z9MKCZCDBPxPrcahZPmml8+kI7elSUkHRqL1yclP0QavLioMNa12vjR+8J8NoVCpTO2nidKFFSXSnGhsfcyS25bAAa57fJ5PJTIynOgOi0kVmai0r1od0wxcs30yu3Jd2JKh0YxwxE3PcEOzgfC6jQSjgfAeHABZsO7WAq9Jr96t26SRCJ2zRRx9X06OCl4FOAhNBUCvXRpnP4S2SYX2Dek4eSNaYyBX/EKnTdPQNx4wwjCfkMrozuomW1wgN8w8jFpyUHZdE6oWi6NaQtckLdAg8l6BguAjOqjFlSSQvSDfntmRYEZajGjDCgHlc7p1GfA5lopkbLMHflwhN1L9hmVGJ/LcgKMCn7RwuyZ1SETISZiJAukaVg0WlMrOUn29nNla+W7aS9aI+faBzsDTRTvxgNWqjRPnJWgxuDJ2TgMZLJqfVjHUPLl7ATkDIdSUCyyBjUK/eImhIRgSJiytjH7l2OvAdgZ7Bjm4NDCPQx4AwcD63oHBSDSj6AZgyKAaCfqUGHfg/yV0/tBmRnpwYQRCLY16Dr1UxA5G1vkg2pDjQr77BAoTsb97DWt3tqiFm1yJGdQNDA/Se21MxmD1YqLQlIRL6bp3w8MoS3TVnu8W1Lj+NN5zi9B9XIzkYeCIXDS+GNBf8XrbnWh5DjBAnrTIxtDCUL2pxlVNCD6tH+VKqHOo0HvG/KyYBF8IZoyTj7Dd2hWQgr62e5jycDP3UFVDNKXSGvMCfyhL3+pi4XWPbH6CYVoBh6a4EImPMeCIB4IHXfX6USiRMC7aiuzUPB9SblBwEX1D5iICkz7VvqQTIWmA5l60FSg94tk2fUIYisb7wbAP+ZifWEtg8WAcoKbYj5fPPXM6Cd5+lc7hlAgEamZiXqTrUGjptRd4T9Wo5sQL9LD69YqxAKNwWO/nQfrXax3chI0Yck+/56tIAtqX14YjAM2BBNQ+4OYarqTqXrZi46xMZznbS908SNjwXn3qnzVWOwljswrFi/3N37BLvocHOjXHet475TYFuGtn3Oe9p3e5Re5sjLGl3e6dup9ajlTR+IYWNZeUO/IyfWYH/1iDoqjq6+Y63m02xZ1i5k5I9ndl4gk8B2PckSfrzJpSwKLPT1vD9SXgfypRdLsfMKCRwmZ7JRLLaP91eQWqMuR/VVuw+gb7sUy15sSbOGi1lpIm2hbo2aPuGVdxnETAqbNm6EjdWi9gmoQMOhvcyACuywGz2jCE1o0+GDm1UnADjgTyR4iIe/3ZOVYT8x5TS2xCCy46F5CCBUaoOhiacAsTJsx4jKWgtJ+J39EjqHR4cmeukXQobnR5hGvhSqGgva6B/pHjlrT85soW0NrgCt7akIUPqd8E1YYM5SAYdImBoTtG6r8UBSyQEslqqHaM9OotERkZAYGbIsB4CxJV4/1gLFvd0cTaWQaxQLUkAeHMgphL+Aq8aASpevWUzoQvUxyyaDoygEshgMcQnc0aUlGq6YT0Ai1mjHC+U0GWjPlNZlw6uFYAUJIqi6B/gF4UkojwiBXLd0jQxwNmN3XVwk2uHxRfQ2zDBGiK5HlQDZ4RICsNsjtAHOKGZaXx3B4ojnQ+SZyWLXcHlDjyeSOyblUaYZKLUt2nyZ1bJ+akpUAqBVGftBMLsEextSH9exkNl0kQtqZrCaII0yTNDBA+E8c1p+ainA+DqLNyeCX8bG1EzSQLZ5Z5GkMQZyrF8nvhsKAcRYNHvfx0Bi5O9GJCeGz1BdjHjXoq9uCF3uraQJrAZjhpiBHQEbMAIIKHCp+HscL2L0Rii9k/4kbRh1bYrllnk8UUS4IeXoSEDnaXueAEIgFxHw6JMBSKmeFXuNqkyqC6EZ12NwmnINUmy+j3bn8+OUoMhEe5nxpLJQnA2uACAFaRPP0wv4MvW+2SYHLT3DmbAUZegybaf8BKm3mc9KLaq3p9hKHUZvhbm81UUZOPNr5RRUcgRGfABZLKdKvdx/igjIAFv3bpqbQCPAk44GSmkMK/ICNxXDJ2jELHT0e7bvseizooOwEm1Zpsv9qF6guHZfmZopCKdlmdpTknL2qAkbyHmuUCefzKIdUUDhSaCW50SUZ3RhdswXT/Iplz9rmG26qHpM+bjegcCR37bERkdXfKellmUDrlm21C7BlKy0W7wA9cvhyISpK+g5poOmw2Y6xlvWJ5Y1bo+MLNdGKTwaURq9y0GitzQEs+6ulcUI1Qml4vChnocWpvuL3CyKOQzInF4QRM4nZCgWLoXFbgECQFECMoQRUxq44zIn2fNEOK1b4rIAwvfgg1LYHyhYmFjCPDYkDcdLs+l6Op6uA8YH8zmmxdhtNLoHrr0GytscjRxoiv41c0ZiwKBi/8LUl//+H6KwI8Q="},"multiply_adds":{"worst_callback_upper_bound":3367,"derivation":"13 convolutions (12 capped silent steps plus current step) x 259 valid cell/kernel pairs per convolution; convolution multiply-adds only, other scans excluded"},"solidity":{"status":"unmeasured","applies_when":"No overall holdout gain >=0.05 was observed (measured mean is reported above); implementation sketch is included for later port review.","pseudocode":["State: 31 uint64 probability masses (248 bytes, 8 packed storage slots), a log-price center and packed support indices; keep BASE reserves and returned fees.","At each elapsed step, convolve each supported mass with the fixed 9-tap price-move kernel; for silent steps, zero cells outside the no-arbitrage interval and renormalize.","On the first trade, use BASE integer grid hit and retail-chance likelihood to compute posterior odds; mix arb point mass with the cut lattice posterior without pinning solely on a hit.","Feed lattice mean and standard deviation to BASE qm tables; then apply the unchanged rival pull and fee rounding."],"operations_per_worst_callback":3367,"state_bytes_for_masses":248,"gas":"unmeasured; fixed point precision and EVM costs were not benchmarked"},"code_zb64":"eNqNVclu2zAQvecrdIuoMNqaoIUT5hIUaVE0KNrcikKgJcomQosqScUSiv57uUiyFh8qwLI582bmzcIxPdRcKO+A1R56DCvl3jQnORcEeoJgBj2pMCOCvmF2kTMspfeNM5p3/gQaPuoX2Fx4+ilI6WUZrajKMl8SVsIXyGuFnnk1QMxjRAXNla9/eFx4f/6CO+9IC7VHJePYysOa1/6lFV7CNLwFGpITxiSi1QRgRZcwSRMLwPVCjWujBGCMPWX+6RHZAEFCrm/uZqrnR2RdL6Sxk0ZRetbhl4/f4ez8FU2Pr0RUhM2K9+PzE5xTOlE1BQwlZaRSmclMf066pibCB+FYbVvohW17REkcB0kcBMmHOyfrrGwp3R6R/cZH9M5pbueuBG8UEZlCcW+BYxS+ux0OtConR4UblIbxOBI1l9qYcuFmgmHIxGQcaOlVXDnTbE/VRhDViMqLexfm6UUMR7p8V0wEDp3vcZUTYFysxQ+xR5gkXjKhovOoiqwkxFHRWU2I9KWA9rvcotP0h8ZCg3/Gv8CQ84DD53CJwfWke3cDfORiOudoBBhspuAJy77PFtuPsbHlVaYELvo0qMy2TQdxC3EHFWxhB0uGd6t7x4pMpq7TMt3fGYHmZd4YnWM5FoVvJfInaR5x4eMWwKWoW4nWoG5yG3W3oWvWtIhuyYQ6x52gxZkUdYKLUTdzA6fNRyfXI7I9Qj3+/0HwVLFGoaEFY8nX1V7dOzjcNRvy7KRrL1hsT82x1qiLWrPGqgLJwE+ubYNAZJZx+JQaexfcDbYMekXUQzGYuavNnUOu6zOF9uPaTIVUcwrWjiDzvxCStrbFDw96mJ2zA279mgxx4YFW+jjwgxYDwDKWyefe6pYZGM2D1Wzma8ZscTV3hHfEho+hU17PLDTDnd6RljfjO994joZJXzHSUL0dFmS08D5eVwOj8H2gg0e+fl3pvTZsAO34VKcx8BjzCgfa4wju9CQW6EU0ZF3vPZYEJWNb8krd66Mlla7QdiYNjHH+2tT+JHRfkwPQ/2g38Aynmd6GhRYkfwu3isI3qwPLxbtYS2ZvXvwDU2OQfg==","bundle_sha256":"e542a03e4ac1f29ce76445485b4b8e534763d4127167259c2d49361d59a6c84f","bundle_zb64":"eNrFW/9z2zay/1cwyQ8mZYqWlHiulUzP3KVpc9Mmr5f03pup7dFAEiQhpkiWoETpOv3f32cB8Dvl+Nq+d+pEFoHFYrG72P0swP76IuRZJpdiGafCT04vpi/u9X9vj3yZsb/xk1AsjhhnSQoqZqk9lgoesnihRHrgi1AThSf/PrqP/iZCKdYswIh4wRcylNmJ7bjSfJYiDPFjzXK5yrbs3RvG03gfrTDBLj7IaAOKKIMojL3lyy0TIU+UWDGViYQt4+gQhwdMlksMzrbiPtJiDTFWsEeRRiKcgZWm1jRRzOI8YlnKV4L9S6QxBmOclSPfilToZ54uWB7vwxXbcrDS9KuZ7lrLVGWm5T6C5Ja9VCSzPGZ7sEDz/QvwuH/BnIQJ0l14YjzTDJJYZUMjwYJjqWK1ES6jX/cvUpFxGZphMlJyZcSJ4iFJJKOM9Bu63n2UC7nZZlDF4sRC+Qglb+N4BT19iLMtKU7SylJaLc/5yWMqhoCwl0hZIiMYTBnd8YgJnsJGKeO7hdzs470yy4P5/rGPM6GmMMYOdhjueLbcYk5nJ3gEliuXZIq1jPtoKVJIH2WnIWYkRWpPAJc4mpv1ZvwRMxb6yLfQCF9Dok85T9hGZIo5SgjtTHA+rZN0H+Gnq11pr/hGTFlyyrZx9IoN/679jyhvkjj0P6s4umUR34npozgFUJTn+z6728GXH5j+CH/jF047/WUX/LKbP47F8FqPxRTG2yO5S+I0Y+qkPBbjH9a99RjReCyTOxj+3duPb+HTsfIT9PkrmdK8TvHMF4r+OvP5WoZiPnfd+wjcTCcMC005I48RF7ecLhVJKJd8wrhiH2utPLyP1mm8M5vMNn/E7x9j0MO0yVZ67LuJxz6++y+P/fDN/L3+/oQJRvrXt//84QdSIPZXwCb+tRi+ZrXPS+3/dg86YbyBTB+IdDwZs+bHkMIjLofj6xFbJAqkI5CC/uqKTe6jT3//Do8jfzQaff36mma9j1YIAGY7OkpuPLZdutP7iPgp0KKJXaFtxt7jCQ7kkL79pZCh89ofsQFTpD8iz0Fwp3vFMXGGI/8avc4jhiuXDQZs4rJ1nLJHRh7Oo41whtDFe3bJxu6DYZHRjPudk1uW2HL7NGJ3BzDJ9OgDjc4fMI5k//7tR499T5LZFWCBUOwb1yxtGVIoewMXcyqTFKujdc/nMpLZfA7PDtce+wkelWTBhzgSBRV9qrF+7wC3IqVmfwl5tB5gLWc8grrdupHQaiM0QpE27odRi8OPpEqMe4AGP7yZ2ca7D2iA4f02eRjPJZl5ZCm30j7bGdU+0X65oPCNfSyhmb2SB2Elf8mG+BR7D0tSlYpWcr3eK6EXXFcKiWjEmmFFesVH2jaVQENYxp2xLYmyk5EDLxyysVcT8ZIoKpbxPmusu+ohy8vKb8o5mszGdfnok8g5GP54Jx+a7XKtu26gS4GtMqVslcloL5pkn2nvmHU0O1puPIG037/vE0BzARNwumSP3T4IMiIxPrMbrHdKGrj7/MAuAy0fuL79ePf40OMcIJw1bB/GTdtvZWXC5T6z/hrG2N+yLqWJqo8CWZJQgUn+Oh3DqDcsjFiCP7Ch05frZnaHmkT9KJLMMFgIqIhyRRSnOx5KhaRXxO8+B1oWvxFnsjgzMeoPmx/aJduzQLM7Z+UjWXmJ8Q6ZGntmCOprRCzEkRk7jtF7JPO9e9Mcx7XWaRJ83xKNCJXA3xlbaANQF75viIfpGrfcCGTOAvNxF/GtzR+j1+QbWnSzjqZWdM4E32mvX2EsRQo7dBCwdZeMVH3Z3iA25qKv8iAyo3UhtNf1jJmIi9lKr0aYz47/lkO0fmvL6GDCGEX1Yhr66DhC0ddGDfr5p3nBrdZkVwmFfiBVryJ1/42OFJPzhnjCGJYP+YrSS5qahcp+Ur1y2dBwfWi/enuVEdj93rHtT2mxCXSEF5Gyxj3WlQcsTA56hIOavWm8FDqu5ytZhwXrMI5TBwNdhAZdV4DHsLUa2hIjpo15q7EJskK5roZibZtj0x/ZiTlj0K9dSFG0ktGpZ13fRbQwA4zVk6lrZ4z5Z4adXbGnSFoTU9xZ/16rdk+1cYyuvaYoO3YVEOmMHf4kKQ9dKfG1M0itIj3YiTtGsUjnEqJRpPRASX/1V2WCVJga0frXMhJ5N/voipASSAFAFFUtqD8sOAIIRfVBzxgODCwjFEVgPVzIKEJmcdupRW3JcTV103f7feBPxx3PSzxmf5Hq1XamYcKX9tHnzjRn0ENzr5wbBcnrI80+qkavn8QdlLJJw/1Q1ILB1oLq2FBtXZd2vtvELXWg2Kw2Kio7mBRfeRrq5r4gVsp6nD0PWjdhVRNO12MmLCILWHX0WP7/ETm13aS1WRUUYbK8snZzATurFuu2sq1u2Kl8pu6++So/aYZcO+/66Rm1nZ6etWZKW4oseRgu+PKx0nhxTmFVLtV8sUd5zaF7OkHJtBXwYx3yTaeCiwtTxjXPQNsJdjlWTSuKA1lhtQzVYy3uYUbCvkFv6jUHTwFxQE4bN7Ro21oxwjhGpJNOs8dWU7Z+1HQq0fb1R4Vs64VbllZtyqsmJXdbASB+xKgKAtRj3byKdWTGVVar2JQMEcrnS564fWWOpimKRbfbr2fVRCWY9KkwsSWJ24u9IiTH+HHKFqngj50wRj1PTRsm1mKVinrUqCGJ9iaD0mvEX9JkJWFX+pcogvTh6krqQ7l4JULsDaWP6VzK9irjqMlzOke0B6vF6SZWu6KKqV/JFOnM0uACiWyfCDyBREOrD6M0gn2WTw+WTWh/xP5GZM4FnXteaETSbyYiPgevNXrZAR4ciokLWOb2ExdCWtWDN9VipvVSTzWgQzXHyk6gZUfx9fVIDF+XP7q8V+DJF8pp2NfumT73e8nMgS+cj0fL7ZQ9derbU1bomroAGXfTBzomoWhnY2Afluhy+bksjKut0mdXiArKn6Eaa7J0G1/oM0e3UFe5boq+K48Kmq91CqYzSdIbnUrS3wYBRuv27qRJuQo6NBepRP7SVvKMPP2uYsWLU74MgeIW5FbYDYUb68oVEdxsxd4qa8vTVeWa9KRd8+uvr/tnTHSZoUchwv1cK1X7/a+9x/rqPMP2xog81Myf4qYj3s/uv1UxviwuLKYmsSeSbGFdstQ4dgQEgYVjeKI5e7E3GU/GkS9L1sTI/f3PRsdljW33dCLds2UymYsOYGxoLwuIs9aoko/FZIbS685SZvBijp6MvLPCfylavWR6f5OmjdZzfmL6IoCachmt4lzfHnUyBsUgw7kGD28RtXTp1F62oSzw03OlS0SR9ego3vLoSGKC32QLcIcBA/bdZFq1BUVbO7PUB94S0VXPwKvOQNN/ipZi1cVQNpEaA3WLKZOeezbKkm6hoIpuWu+RwDLTY25KeRuSU9+sJWoXKZ3ZtTVhvpt0scN5YW7/iDAljrxs4E7tBVvK4ePS1ERFMcsE15p2ehZkxrYvGsodZH60ejVgJgRdSK3zX0VEF0S19OsWyqFDB8Tk1zOWT5okVhkdylqFjo2+5lU+jR/3iZOjHpvQ1Zu9HvTVL6mp1fyD5dC+syE+1lJg9tFfhnyXrB14kld7qlvRnoMYAcx9k6QbJbprnM+p9r+Yz3dcRvP5hVVucWu4j8wz3TiS6Cfl83RzuBvbo6HIVoax8kV0kGkcmWT34dPbt98g211MRq+/uqAKQI3OkBLliEjHI3wuCoBDIVslYqnvrXTopuvcA08l1ydlhSST6UMd5Gc0DV2u+vRVjzZpnJOj0E0w/s0TfU3mXNiTnAs9DwCBVJljswTdEdF5euRCtaSBGrckpbUQMzrkcYykNAVV++sL5vxaE2KYjab+aP2bci+o7NurbUDbA+xeeMWrEoBr3LwqYXVvboup12O11ynMSxKQLOMhEqtGdOb20Fz8OfVXL+hC8fwt4k9e3x0ita3kEoaC3mGEX3+D9fSlboDSn+t2AKnEudCNF97EvyYD6xvdQFu4INBNF954MtYEPGl184Q665C2Lvy7N4GeYQAQhB1X7/rwJtC8W60j03p1NennSJewjef3Qf3R3szWm+iWtilTeztWxWaAf7XOfSJSx63uYbW226OPeQC3H4xHg8H4KxuMTrqt3brIA/2X58Er03Pd4oXKDFBrngXFyRAfBf6r6+JBRuvaY8b3wcSvnRNV0Fj7Rsi9MG1dn1Di04PnW5lNnzgGD/kVtHgZpgNDvtyiLhG6fu0239rrqHFdGl1lztfCHqJgZZ2jskXu2XgYVHvBpyF0Rjh6KJAIL+h4H934obwaLMOrJa+kIQsaQQbcndapa3Jae2ta1z13HGRPg/jR4ycv847eyes/BwpXczUJirwyowaIRt886BW0VEy8UIFTW2rOVw4/ul676dRp6hKd6psTVveMzeqatO8bYJmbVK56Vok1tt2eHMirO0FQ8a5Ij7mHvfAMGRsX80FhiVLxXZ13t6FXbD09ab/b94I+FZyujjMNgQI1cMZDbSj3SqcroKvWmY0a2I4rS9qGWwntwcCYvx8H6xO8HlSXiKANpGeWHdXJiSim9ujELBGFiJ6m6TkxojXd6M72KqjnVvdMm6GH4nu7nuYbEZhTdtM7bAyBjBvEzhJJEeurEk51ZALt7agtDhpv+opkHvh/GWD6Kwdflwh3RUwA60pXXRB3yQdg6TYgbdAFtAZ9ciWCBnK9Cbq4teGfNfxXB5lDazTku9dej1SNfj2v14GMgyZg7A9VFE019KhtpNpLmv/z12+G1TuY7CekVLPHWQLogngmDPiIhFJD/SqGZsGSfRj67FO2CuXCvrjZfBGOpC0fMrAFBvP0j1SsPfuKGmYPTOIrXvmiPX5wy1tHciIDRLBcULuGihZ2KCJobh2OHF0z+4tnuLjl4f3b4zLcrwQTB5GeaDTLtzGMJqINAB1carfjbBmHIYCZfc/kv3kkw5BfKNPr27m2QACUvYZGqty9glSEqqmN3mB7VXPN/DIYT75qvDOWe/WB1dtgFs9ZRfmVHYpVRkKs1Fynj1qV+gdwXisqAj+0EB8HUB8BRLgdUkIXbWK0XXiWU2cEAZDWADQRmuzSVsimv4MizOh3Qi+ofNaEXdoILajxJex13hTltlPPgjJ1/NKGLzXM0r/Fv4Rd0o06A1/Uk/jlicReWwpH6uSn3LNp20KRBnwI7Ga3qbTKzLWRXisjew0V8bxehHG58swbXJ5+Azhw+LFicMw7VyYOP1WMT3Vem4CCRSHfQkaEHAxv12s167lcd3hdi/AWx+iI44/IjQeDNjuSl0YNN+Yyh54L+NuHo9ug6PfDyRIYZvskFEguiYOA6DmVIeub7kuWfMm+lSG9Ak5nQhT22R4rQA7YI1SmqJQilaX7ZSYpf+ijxuKWVF9DbERavtlfTWkFCZyDjp/lK7TF9G4bHG9LdFw/ZBl5a8Stswj5ywDRgJT/C5TYbKoQI4R+Hl7Eyp5Ai9s/DBd7iH4vfITH04F+4DwHRHZhnh3+DHTZzgNPIM3mwH8HdTo2i93qt8HKjHc7Mv/HhXMelbq9sNSyu3RKVsMiTw5aC7pyWg2XRfp0z9y6Pg/cnhv8NNhV/xGoq34f0FUF0v3tfwHEW0FY","completed_seeds":2048,"remaining_seeds":0}