{"credit":"Taylor (gtmcknight), github.com/gtmcknight/amm-sim@4812a6382311624e1506aca131ca35c378f930d9 research/solved","ready":true,"core_parity":{"C30":{"n":16,"max_abs_diff":0.0,"bit_identical":16},"C25":{"n":16,"max_abs_diff":0.0,"bit_identical":16}},"parity":{"LEAN":{"n":512,"mean_diff":2.3856583819537036e-08,"mean_abs_diff":2.467403068528995e-07,"max_abs_diff":4.991815103494446e-07,"worst_seeds":[{"seed":10010819,"ours":562.5080615008185,"engine":562.508062,"diff":-4.991815103494446e-07},{"seed":10011013,"ours":521.6151534991393,"engine":521.615153,"diff":4.991393325326499e-07},{"seed":10010840,"ours":434.1645114986087,"engine":434.164511,"diff":4.986086992175842e-07},{"seed":10010665,"ours":415.9616344978349,"engine":415.961634,"diff":4.97834889756632e-07},{"seed":10010868,"ours":419.2160744970788,"engine":419.216074,"diff":4.970788154423644e-07}],"within_1e-6":512,"within_1e-4":512},"QLX5":{"n":512,"mean_diff":-1.7222758774693148e-09,"mean_abs_diff":2.5279466320249355e-07,"max_abs_diff":4.994752202946984e-07,"worst_seeds":[{"seed":10010679,"ours":430.2326974994752,"engine":430.232697,"diff":4.994752202946984e-07},{"seed":10010731,"ours":513.7523605005905,"engine":513.752361,"diff":-4.994094524590764e-07},{"seed":10010628,"ours":424.7176514989878,"engine":424.717651,"diff":4.989877879779669e-07},{"seed":10010588,"ours":482.5394355012557,"engine":482.539436,"diff":-4.987443276149861e-07},{"seed":10010911,"ours":499.16124850178534,"engine":499.161249,"diff":-4.982146606380411e-07}],"within_1e-6":512,"within_1e-4":512}},"qlx5_minus_lean":{"yours":0.035185415827387545,"engine":0.035185,"engine_rounded_rows":0.03518544140625},"split_hit_rate":{"tries":3655997,"hits":3256738,"rate":0.8907934005416306},"runs_per_core_s":6.663051527420624,"timing":{"LEAN":{"wall_seconds":73.86047624703497,"cpu_seconds":73.842888,"runs_per_core_s":6.933639973561164},"QLX5":{"wall_seconds":79.8679186119698,"cpu_seconds":79.84044999999999,"runs_per_core_s":6.41278950707317}},"not_done":{"first_remaining_divergence":null,"limitations":["Six-decimal engine edges cannot establish bit identity for every dynamic callback.","No tuning, gas certification or independent fresh-seed improvement gate was attempted."]},"knobs":[{"name":"initial_fee","default":"2823606104386589","meaning":"Initialization bid and ask; WAD"},{"name":"process_variance","default":"893025000000","meaning":"Per-step log-price variance; WAD"},{"name":"retail_rho","default":"260000000000000000","meaning":"Retail likelihood weight; WAD"},{"name":"retail_logmean","default":"-6801595083153746944","meaning":"Log-size likelihood mean; WAD"},{"name":"retail_logsd","default":"1176000000000000000","meaning":"Log-size likelihood deviation; WAD"},{"name":"move_floor","default":"1000000000","meaning":"Minimum absolute log-price move; WAD"},{"name":"trunc_floor","default":"1000000","meaning":"Truncated-normal mass floor; WAD"},{"name":"soft_low","default":"5000000000000000","meaning":"Lower soft-posterior threshold; WAD"},{"name":"soft_high","default":"995000000000000000","meaning":"Upper soft-posterior threshold; WAD"},{"name":"arb_threshold","default":"500000000000000000","meaning":"Arbitrage posterior threshold; WAD"},{"name":"rival_gamma","default":"997000000000000000","meaning":"Rival clip and marginal-price gamma; WAD"},{"name":"rival_pull","default":"350000000000000000","meaning":"Log rival pull on nonbinding retail; WAD"},{"name":"pdf_cutoff","default":"10000000000000000000","meaning":"Normal density tail cutoff; WAD"},{"name":"cdf_cutoff","default":"8000000000000000000","meaning":"Normal CDF tail cutoff; WAD"},{"name":"max_fee","default":"100000000000000000","meaning":"Returned fee cap; WAD"},{"name":"grid_bps","default":"5000000000000000000","meaning":"Lookup grid spacing in bps; WAD"},{"name":"own_center","default":"160000000000000000000","meaning":"Own-price grid center; WAD"},{"name":"own_max","default":"320000000000000000000","meaning":"Own-price grid upper bound; WAD"},{"name":"phase0_band","default":"6000000000000000000","meaning":"Arbitrage-phase rival half-band, grid units; WAD"},{"name":"guard_lo","default":"2999999999999948","meaning":"Vanilla-gamma collision interval low; WAD"},{"name":"guard_hi","default":"3000000000000057","meaning":"Vanilla-gamma collision interval high; WAD"},{"name":"guard_below","default":"2999999999999947","meaning":"Lower escape fee; WAD"},{"name":"guard_above","default":"3000000000000058","meaning":"Upper escape fee; WAD"},{"name":"silent_cap","default":12,"meaning":"Maximum silent filter-update steps"},{"name":"trunc_fallback","default":4,"meaning":"Fallback variance divisor"},{"name":"split_gap","default":7,"meaning":"Exclusive callback-age bound for split test"},{"name":"split_candidates","default":5,"meaning":"Number of tracked denominator candidates"},{"name":"first_retail_count","default":1,"meaning":"Retail count assigned to phase one"},{"name":"tell_budget","default":4,"meaning":"LEAN preimage-plus-hit budget"},{"name":"tell_widen","default":48,"meaning":"k0 exponent triggering wider buy search"},{"name":"table_arb","default":0,"meaning":"Arbitrage lookup table"},{"name":"table_first_sync","default":1,"meaning":"First-retail synced table"},{"name":"table_first_unsync","default":2,"meaning":"First-retail unsynced table"},{"name":"table_later_sync","default":3,"meaning":"Later-retail synced table"},{"name":"table_later_unsync","default":4,"meaning":"Later-retail unsynced table"},{"name":"reserve_floor_exp","default":60,"meaning":"LEAN minimum reserve WAD: 2^exponent"},{"name":"amount_ceiling_exp","default":120,"meaning":"LEAN exclusive WAD ceiling"},{"name":"buy_amount_fraction_exp","default":1,"meaning":"Maximum buy paid fraction: 2^-exponent"},{"name":"sell_binade_span","default":1,"meaning":"Maximum sell-side reserve exponent gap"},{"name":"chance_shift_cap","default":64,"meaning":"Zero grid chance beyond this shift"},{"name":"split_reserve_floor_exp","default":40,"meaning":"Split-test reserve WAD floor exponent"},{"name":"split_ceiling_exp","default":128,"meaning":"Split-test exclusive WAD ceiling exponent"},{"name":"split_gamma_mantissa","default":8980177656976769,"meaning":"Binary64 rival gamma significand"},{"name":"split_gamma_exp","default":-53,"meaning":"Binary64 rival gamma exponent"},{"name":"split_sqrtkg_mantissa","default":8782888972198741,"meaning":"Binary64 sqrt(K*gamma) significand"},{"name":"split_sqrtkg_exp","default":-43,"meaning":"Binary64 sqrt(K*gamma) exponent"},{"name":"split_offsets","default":[0,1,-1,2,-2],"meaning":"Candidate offsets around tracked m0, in original denominator ulps"},{"name":"sd_levels","default":["0","4000000000000000000","8000000000000000000","12000000000000000000","16000000000000000000","20000000000000000000","26000000000000000000","34000000000000000000"],"meaning":"Belief deviation levels, WAD bps"},{"name":"rival_levels","default":[-160,-130,-100,-80,-60,-50,-40,-30,-25,-20,-17,-14,-12,-11,-10,-9,-8,-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9,10,11,12,14,17,20,25,30,40,50,60,80,100,130,160],"meaning":"Non-arbitrage rival lookup knots, grid units"},{"name":"table_scales","default":["250000000000000000","500000000000000000","500000000000000000","1000000000000000000","500000000000000000"],"meaning":"QPL decoded node scales, WAD bps"}],"code_zb64":"eNrsfQlgJFW1KIsiNHwRVCZ7KntXUt2pvbdUhsxMhonM5iwMTAihuroq6UlvU91JOpMZQRERFxQEZN9U3FABERQQEUQFQRRlkacIiigiggKyiPLPubequrqTYfP9x/tKz3S66i7nnnvuuWe56+qR5cNrNw5vDJfKpT3+H314+KiyTH7hU/ur8BEvzgmPRERhD4bf43/gM10s6TYUucd/5me5babSpTizSZ/L5G0mOFHKGlO59MRkieWYiXRpcjoZNvLZ/kp4v57Nhorp7KFyVBB1VYqKkiCoomwKCq/qhi5IgqFLiiFFolZM4lMxxjaLpm4bk/3FfGbGTIUDgQ16LsVMmDnT1kt5uz+VLpbsdHK6lM7nGCOfMhmML+nJjFlkdNtkCnm7ZKaY6VzKtJnSpMlY+UwmP5vOTTBrRjYxmbRh5opmOLA8X5izEUlG5IUos8KcMTP5gmkXmbxF8pGCC3Z+m2mUAoH1pp1NF4tYarrITJq2mZxjJmw9B4VxjGWbJuYzJnV7wuSYUh7QmgsgOMiQT5b0dA4x0AHlwhwtAcAU81ZpFpHGovRiMW+kdYAXSOWN6ayZK+mkllYa6xZEnNo3OjnaWVJIytQzTDqH+AbcKGYWmiI/XUJaAqkMhMFBIiMznUIcnOhAJp1NOyUgaEKLIgKdLkINEE+OyeZTaQt/TaxWoDCdzKSLkxzjtQKkLGIgISqH9egH1iiamQxCSJtIzQCCd7HjaHvlmQIStMRQEpFyZyfzWcafNgAksqbtHBRpkjypPJCMlIiNgiFVDRww8jngUKhRMR4IbIIoPZmfMUldaFPn8iVAlaKADVCotCqNChQndcA9aToEg3KBvLqvOjYWD4IgV0oD7ZHbsLyAwzQu6sC4m1YNMxvXrdy0ZWjDMDOykVm/Yd0RIyuGVzDtQxvhvZ1jtoxsWrVu8yYGUmwYWrvpKGbdysDQ2qOYw0fWruCY4SPXbxjeuJFZt4EZWbN+9cgwhI2sXb5684qRtYcxyyDf2nWbmNUjwNXDKwKb1jFYoANqZBjyrWTWDG9Yvgpeh5aNrB7ZdBTHrBzZtBZhrgSgQ4H1Qxs2jSzfvHpoA7N+84b16zYOM0NrVwDYtSNrV26AUobXDK/dFIZSIYwZPgJeAhtXDa1eTYoa2gzYbyD4LV+3/qgNI4et2sSsWrd6xTAELhsGzIaWrR6mRa09KrB89dDIGo5ZMbRm6LBhkmsdQNlAkjnYbVk1TIKgvCH4v3zTyLq1AajG8nVrN22AV47ZtG7DJi/rlpGNwxwztGFkIxJk5YZ1AB7JCTnWbQgAEMi3dphAIaRmqloEoOD75o3DHsDAiuGh1QBrI2LgTwytudE0UxvN7dNmzqAyBjs98Ova6ez6OUYMi2EVeM4nVYIGi5JFYdaY0GeKOjMcZtb1rDXTmczCVDEHTkUKvT6Jw+xG4gReQeIwr0niBKjEYV6jxGEWlTiBl5M4zGuROAFP4jCvV+IApQOvReIw/7rEYRaTOIFXljjMf5PEYRaTOIFXljjMq5I4gSqJw7wOicN4Eifw2iQOsxuJE3gFicO8JokT8CQO8zokDlMjcQI+iTNcLuRzZqXR44xPbCxHscHLDIiEjdM5Zk3asPPFuWLJzBahzXJGmBkCDnJ0OhpVNrGmfDJl8W6HfFrpajUyA9UxiJ2MTwyBfTSTRp4tTeolmtxha+T1SsF7vPn5//6zYXhoxZrhcDb1/7CMV/D/IEqq9f9ESXrT//v39f/WWVYmnTOZ1cMgofuZ964+UkGpg9ovn8+AfwhGWdo20XgpxpnV6dx0mSlH1ZAqA1KZdNKAn74+YoMwy/v6RJ5j1s+BPZJjJAaVakq3U2CZJG3dngsH1qLKn81l8joKtYJuTOkTJojU4SNAk+TM0mzenuIcYw1oAA9JnbidObAPqckAdtp0OpPC6BnTBqkaDqAszoF9BbYRCPNiftp2TAIzN4F1s00LzDu0LO38LHVjXWMgzABKYGWUbB3sD5TG00mwYkqENittx36ZziGqaMcBKQzwk+fAHGHgUyBVlRiCUhgMQX+gMWkaU7WBDs7gpYZCaLSRd8AbjY7wNrCcqJ1jTUOdaBz42VbaLpYovCIjqIgwMVhChTxYanNgnpkpMChjEdJrw2HyICgsh75hjrGnwZ4hDYxEIU2cp16XIohOZgEy8PAaDuOTwIsSmAklxiynS6hzcjtMOx9IW4wJDQ0YZU0dICSBjVCPgXJzKWyWDQrPDMnYRlm9nM5OZ/3hYphU0cwmzRQ2qttK2DaTOph3xXQZDGEjndUzwBvFvA9+kZkuIBcoZiiCDRmw89M5YgU79prX1mEGC/FICD2nAKhC6xulaeASM0UYLwcegWMApksYH6hhlnTOMUqhn01ncIwEAIOhDSVClZCHigR2OkMtb6QwKH4InASWCEBXAqSLzPL1m4HQaM4WE4ypG5MuPMf/KBLfhxgj6F/k0MYlRifyTrgfEtN2c5uJEcSoL4407m7iFuQDu2VGz4wXgMU0SeFrPkyxkEmXxg2oSDoFzktRk3YPjMF+Y2rQ7TJJ6CHFsFGc8aUGe23lyGGV9PCl7E38DoM5PJdPQt1L9jQ0CvTKIOXn8GShAN4Q+Bz4xBKaAo2z8BsiwqpoQg8FJy44hQBoIhPsuaJJmopC6alA1jNelymGmSP0zLQzmuVwGbayOQEQ4wErXTZT0K8ghNk+jU5BCb0EaFIwxVcwQcEUomyCKYJQQ2eSgsGYZAHYiVK2EhNwADNKCOJDE3Yah87SiMWQbetzFDCpW6hoFnSbeIszBEHgMxx2Y8D+AyyQiYsB6Nuy0/fsZBqIj04clQ7FOeDZlPsGPd55Bx5DDq96c2PBYrXzqWmD+oyktFweORopPjI8PAx908inHE+M0o/STS/p/boNsiBrgjnKoVUKBNHtnJkKQK8vTeeIfLd1iAfEw8zmXHG64AweYsuCHsiCD03B2Sa6f4gfwimCe5wrgRlslktmDoU06g0UU8ygBpKJsikwKHp1TjeCOLDVqQtItNfy1SNhymuglUAK2VMmYJjPF7C36ci3uaLT/RzJgfhl0maK9DxAC2gOsiLAmLIRifAxISYLhmpZopyK8kYyZsVkXlBTvKJLkpVUorqQkqIpw9T5WMSQVd3UU0KST4p6OLAuhwoM5QAoQQrehsZO23E68go9AdBJjRPPgFmdn1ibt4Er+9fnwZkABJFHQL+NA9LAOj0BUKcoUKGPzOK4hV5kDlu2hrTZRkfjUgAOXdMOiMl8EQV6ARqjiE3qvgcsaLFkHhT4RHoGGr+YQeMC6O+KXRx5KOlpEE02jvoW0zscFjEm9RyIUadBoS+h61MMB0hFxrEo6JouYYuEylm9BJIRSodOOpfLZ0Hi9YPhQ3kwDA7bss2HjS9fB/6cCXq4GFgztOHw4U396zaAF9q/EbzmTUwSRxl0lAB0mKFYAqxASUItUml9IgfVShuARWA9ygG392LhrqIv9jD+fm6lMwAMmA/4AdTPe9evZjYLzqA3BxRCNnA7MpG0WF/oS2nIBVTenimHJ0FkZqemqfBk/D0DC0TTIQuWEcqJdA70UAAEU86oaAxSBmOZZmhiGg0mLM0GMYBKDPg1ZUKT4wg9Ooeu21cEr9LGeuk5MgRsgVVVIvgtGwIf2KcIl+dzVnoCxKDLCkVqYoVQcUEg9nv/AFwAUVq//DBVTrg9B9rT1LOUkoRXC8YECFhsaDClSqR3juOI3fi0KlNhYTttijakq1K9BogHCKZxRldTliEldTUZ0YWkENPNSESN8qaZFFKibAlmjBd1UVB1gTcEPialolI0qoM24Q0pasTkAFFJcQbEsmQqSQP6YiQmJyO8Cp1WSgq8HknpsZjIi2pE1xVLNnQ9pkZNQQX7mIceCv5N1JL5wLDPCnE7P2ApmFaUT1pJNaVGYkIyGokkBUguR3XFVCXDEnVTkQVFMlUzGlEl3ZSsqJ4Ey1sSU1ZSUPwSFsTPFJgvpHEL2KVo+1cKS0UkQ4jIMSUiG4apRnhZVBTRjImRaNIUk7rIG1HLTFmxiMgnU6YZEQwxkgI5FLNEweJBuYKgBNkL/QtNm1lQFdhF08UsGdEsToaIFJ0ARmKGwXAHyWGYWLxjgKLBBlIculMyD2wYIMawN0ZqZPR0Fk3m4TJp9gkmqeemis6ghtvxHHuSinVgF7DUc8C10DsDBewXc1TIEy7GQQ5GRwhAlJRZQGkP/TGdxXEP4nOgsitOU//j33yYgwiNsFEovHH+Px+JKLX+vxJ5c/73f+TT38/QIYD/2RGADscVZtqnQTCJioo6u70SPJDOU+E/iDqQQaMtyM7jY76QmAUnxwyCAo7HjXRucDBfYOdnwWCNxzcDJEbnkpydgK4fxPRpjU+kB+REX1+arWTRR9Njr5AkiUkCTHE2DbZDEMswdNBDfNzW9L5kIgnYTSVIkIBBoaogEYN6q4IkDOqvCpIxaGAAcAgmR/kx1h+nYNzgYG1cyrT06UwpDoJ82s4xYmJXgNl9PcDXHxiwoSIDA8G0pklLe47O9cR7mB42Edi1CyWbO4awxxvY/xVpwfifLETe7P//E5+ON6T7g64Fpwzt6UmwMTnQ+M6QRaCgOYHh9fAbHB/HacvxcTYMMDBzkA2DQge9TPyHom1wOJ6VzjGjwR6UEqjKergeQK+H5YI9nnqDMPLcw46ByVMpMAwmcXC0Z6KvD1KE1kn4F/qOZuCoIr5YViHkGpBa3rIwLN/DgXQKFvqhbNZ5BFTYMY6Mlmmb7GmT/f/DbnCHC9/A/q/wwoL+L0XeHP//N+7/7e3t7hRAMj0Rctxcjljx2NvAcayetQRnIARO/KQzHO0N90NXBVlBjP0wAHUFS6V/c+g35rOcJ2rmipxRnOHS+cD6Vy1qbI1CCW8gP0GsOJvI6sUpLSgMDIDRwYYEoraL2uhYwiwXyMASPBMplUb5ZOOgRVDAcSQWJJCu2eEJEweEUsl0qRi0w8ZkPm2YwVFF4lSZE8QoJ8AvwB5jQfm/puToUQmJfEFLd6kBJm2B0TSoyXEEghAoKqISYQPMDm00o2eTKT0ORg3nPoYqj72Vx/7+yvPAQOUZbKWx0XxhLMh2I00CDKFEWC+gaxUEayO8LQ/2W1YvgNFmc5i0bzQI2YKq3LuNZbuDSEVVBiKyZEBlW4VgMotpk682LctCnVz6uxjsYANFrVbko9Re3+8pBY6MkGhoH1FsSR3YPgzgSma5RIQ6Z+gFHDMeB8GPyWmYT+ajI68Vw8CWkCJMxmWQy4tBNqEXi+D1gqebC2IqVtPw0cWVpZzCBTE5t4PFWplkegnc5uCOdIFk4rzkyEOZdDZZ1DLQRwhtoRdxmJsWGwRSuGUWp7PBGTABCQkp1biZ6hIILBaQ2uFqTTKS1MOlOUIJsCE5B7VAhzuY7XOfcf0AXc9JB0V9S6gYx2Ydt8F5d1YZ5e30RDpHRshxwoEO2Y+vHDly0+YNwxu1eWdSKc6MCrGwLKlyJBqRoyIvRXEKkA9HZUlRYlIkFlVjSoQnYZA+pogChKq8IEdURYqNcYwzKwWQRD4sCKIUjYoyL4uqIJJcMTkmxCKKKIsxORKD3uRAUkELxSRVjYiCLMgSQHInFBykIC2gxEejqhghuWJ8VFKiUVmOyYIqxAQXUkyMxHgomZcBlhKtQJIpUioWo0DFoooIhWE2eBVURebFSCQWg0cXlBDjZSUWA/2oyCCEHFA4b0aRikqyysdEyKIofJQQCrAXxJgqRXgRgEZcSGJEABrJMRVMbdDNY7uoPQXyl5vRM9i0TE2jhNO4ECWIjAe87e9PpAM4XcLrWNQC66FAqL2E0CFI6Bmr9Cg2AXxNeRjEcnhF2ihtIGNBwXQ+vBGEf25iZF0Q7SyWBTcowDgsXZougA9IRh+xZ4xOjVHGniK2YA/OVoClhuxIrMGJrN4zBtxNs2EN0TqkmgaQw2oDFFJ15O8V6aKOq8EY3TDITAi8zTHTZACbzvfRNTDO+JYzl4gDU+GA1+cWlTcOWXAYEhBz5xV6KFUWkS6ojdDTw1XRbRqPuNHeVEQxhyPN2PWKJq7TsfPTE5MEP5yhoiN+lm6YTBaMHG8Et2pMOhxIQu9+tY2Jg54Ea9oRemrbMuCi9K8AhFZ7uZlCbM7auUKEkc3PmOPAD3lbE6oSp5yZMY3nZH7Bh4suEiaIiwWqiwQukhACF0spLVJ4NfEcxiENormUDBRsHALoWT+0cWOcIYjhRFp6Aqe6KnKaqlxc+EVsJytdRkYqUouqegmnCznkiGXCLMUe9s3lXP+JH8owOPr2hvl/oHrFhft/3vT//p3Hf6FYv4XonwcMFvL5zDhO92pgC+HwsCqDoVqy84U5lumjU4SOoHNnF+lYMQE7lJnIE7FIlrGaOR1AxnEiuzDXT724fvCgxr3NR+HCXJn4mkXb6C8YE6pM/4bnDW5yV8JBc9nGFe4uIzQwVvt2zYUDHQVbBwMDvFDD9I1sE9OWDGunc3QBCY7J6rgCYwDcg2TG5KRBpyLjOIZL6zpO5zXZ+QCpvCRCwKSh8WVZSvKpiKls5pBCozKOTuvTpTwzqRcns+myNto9FvSyzLDzM8dok0Zi0uiFzDFJMKPRiLI5MdOLoRA3MzgoqAlnIHkmscsFR0D5IJU573GOnfeebYBq6LxgxVKpzb3lECAYi0hWRFA29865YO1jgjYWwxLwiw1Uk7qkxzSnEjhMzS91C6EmYxzChOqwwUFJZOM86wMK7Qdg4S8BjMNxbkyqWIIY+Eti4JdNW0FI0KbhM0EAHsY0LN5741yESAikRjfc1ySzeTtVHI2OJUjbRJMKJcSCWkZJLStkm9FojbvksWO81lGilhRNmSm3dShwoMrMMcEZh34BxuMPHRt/MWLitIbmJgtSKGJveozdGVwY2ieMsQMDQEfAGToVYweBnptxqVY6ByZcEB+DOs49EId7pz4KDkfR3O7FiJUYaSxhg9cL1hhgY4ehD2jQTtsHBgR2p0CizAL4wE6aPg1LqAQHGNofyCIjDfyYvqAohEPwwPba4elcGuqaDbIcmvNaWO0LQmRYrY4jNr6Gvg04eH3BMJqUfDTkBFSlhfIoe85jeQQqzQ48uivwn6b/qZB648Z/wUFVxIXzP2/O//6b639cIVezII760YQlC3N0K96/vg5uN9q5sujTN+3cvoPawv6gqmVl/ilqMCMGfa9EsfsDvBnsxWa1cZUh6Mf25e2u7KOVx4KCNATk1G5TZfITlVR6MRtsDxfnsriquAIGBwsPPWz1yLLl42hlKe27SQqwOPjWJqVrqYhmAFOE6AVHwHMo3nmcG8fFRAZdeAWF2TRVFpxKR0fwZVFSeRPaSbAMVUnp8ubVqx2lgQZNVElZqhyzDAN+FIijqshnCVHNSZ5t0HraPM+Rf2hOLK5pi1qxV5VUWZBUUZSishoBHuQReB9wqSQr4PGLERkiVdxngoVWTB3NszKCwSIo3ih7TJEdHBQjoHzyJQ2ClBiWDCmD5cFBCAPVWh4YCAYlMYRv3ZIAdoI9mu4Xx3ZWVHEZKg1JeoPpLpElypwhOpJQyQb16RAFniGfwCYoqYNuAsFNYKM+7oO8CU93ArCZfBoMWBIwT3OSv73YFCSx33rIAVeRdCS/F5zJ00zcZJo+DA6qMlfWMvljJtOk9pNpqH7UNe1q6q/KtP6qROvn8KundOedbDQ8SJEACgtsL6jz/hgIfSEWExU5IuOQadgPJF8wcxUIxIxOkhEgMOloksFgBaKIvCVZVtVQC/JdCO0GviwUQorkB58j61ahAOSnRMLHcjjXolHACW/UJa1hcLeoKAm3ktpucMKELka14z8EIykMFJ7u3Tpy2PiRdL0Jg7YpcRSSRWQbJwqNNaf+ZScVWsrsvINCuawJYW5uTuPDzvqYkBjunZsbKJd7y2V2HuJ9ooMSlO2XwiquIxSjUUVS0V6KxNQEAFmYNLHLKX16gF9aLocWyxlfLDBULlN2t4JYlZWkKn3u81ioEsj2eswy4BOGIahAP/CDv/q7ACJ2/AJdqxx0hWOZrhEy8tM5YvLT4AKQxiFKYRDTFLRCpSyQGiS9V0PyFhIA610VKQg2O+PRGkcYgdh0oDHMJdMpNDwlDicEyYNVBilpQWMkKiCW47pZkKQEFPoAYISPJdbTvTSgjRJJjHBXvGuWnimaCcIJjtLodfY95KYzmULJBjIgyCDJtl0r4RhiHOAEt0MFCXh+LIyolfLjTqeD2LCVZBNeNCJcE62TnkHKxcXirqfqsDSzfTpfMoNYh+4CR5Zm5VNuLKNnkXToubpdyy5rhXCZs+fgZ46zTFPD9OjiFRC3eAFR4CbAoNBpH8qmc9BLOfqsl4NAXui0kJF4X8hFtJABjd+5k+SDJ4c15iExH97lpHMK8npIziyNlzWau5fk5KY0u9xrz3E5c3YcMLXLfSQRfZ/TpvppBC4x0ey5EA125R8EDvJLPULhHAXnQEd045UYghbr9gKKlwCc6tZlEEquqYKD8wIEQzTHAgwR7zmNhoYAR1RRAJ8ELySQA72UL+kZkg1S9ROSOJWbd6I45zdEkuwiVViAGpZcRVYHOXuOkNPD3kF2jpKzTMlZft3kJIqPhJJJnQHsB1wNt5pl05h+JX7lPHFf4khnys/mCA/jaMgo4gEIjGmU8wscAeBwegJojGvsKhQm3ZarprNe5vS5Wq7UXV5M6HMawEhAP+lzgpDf4d2CAPo0FyJJkPxmBoegfGy0GKCQGwRZ+zDQhThHIbqAMDNm0ecqGcohB8pcLTq+zFjv2Vx3d5srrwAPpFaS08c0lCMgqlKmW1uOrNF3pIxeZqvf51iuVBUCOLA1AXPQ/Qs10gwFWY0E00mLEDHJzveSX7q80iU7GTUZYXbE518JpZFgiX1lrDio8C7WLamdax8YoCtRAacimb0EG2AiuAPQ9xIdnWtPoAJzByFQcnOER3ZRpnbZxk66jOsqMjttmLtl10VFbrGQR9nVDzLC6bGujQERAwSgJyGpGAZxS8iKlHQF7M6dJGWFzxkwM1DGVHUk7NSkQxa326XgVD/N3ksLIS3jyW4fGCevJ/2dTgm4hmMx1l/KnNcHBbcDhsnGM65g5610yZVCpMDQHBY45yCP0Qux9xuUE2ZpgB8MuhKjUgYwJ1KYXRqiYOI08y63IyIhB3dLSGDZ10LI8vhM2satopqPkFSs9tMyOKrHvIQhaFmHhCTGkeO7Ifai1OQXp+ZcyE/Pf5Ga/CtQ0w/q5ewPuraF8H1yeo7zazJ/JygLmmfklLk539scVxadN4HE+d5I33DbUMAGDEIhS/3mUtxvWrHchFiTSvCnEpxUOvCSyM0I3Izo9D7IABJT8LVyWeidEHrnwPXTRX+w2Dsh9s6JbGJG0OaExIyozYk++e0HMUdAlGtBzBEQZQqiTECURVeKQ8qK8iJk9GsuW9OFfkDdWSaUtzW7Nzgj9gE8SvIQVCpl4o66HImeEPpsKA1rGehIWynT8m2ug0C6LN20bZCDZF8dSkxCvnb40x5vxzN/2qmYdnAAWU3xKgvQkNB60GTchACkd+jqIefHZBfrLwpLqXbRXCE6CLI54U+K0jnQYeZSaStQK9/8NQUTlqAFrkncw6Dfl2KBYPNsWqcngBFD7SvWtbrcLoKBTuerVgm4kqRqlojzDZy7z2Q823kmw9rE7sEhmkKRuiykp+DATsFdlGPThz7gHdeXwq3q4KFojtHIESlAPZ+UnbZKGhhiobDSS4qgf9leMN1n8iC8aJjHggKx17wxrHIho3nDasGQRxiCeZgXWBYHpLLTfj/US0SqShJh6UJYxK9/NAg9v9IArS84dyVPLJvO4Tsawb8PEAXRFna9/wSpYK/mcz3dDFQLufC3AfxtAyKA3sZSKm0bA1MJtDXt9dvGKK1A1G0jNgcxxrEJNNsOuy4rEsHhvBlyusOAJ+Jwp2swVx2JEg+jUjTKjw8d/co5o1+YGWeBKvQlpOxDQtmV2gJ0hIUpbd/UyEBYIZJh8d5b1X3pHlnsWaVX6GFUcTl9azGs/WDJnlsiFVwEq0XDK5Tl1p9d0JUXp5erSTS3tCrnSEPJ5IKMuw9UEyeIwUtE0JjmqKXpObdHk/MIFuOY+WqRghyyVBfiulhR2YM4aSU4FnV+itqGY5qnTF0uQ+TEuE+zVtiNWuhTFdYHPiWV0edCFXO5xgZmqaaP62XHhNpNSjTGK4yPT2DPEq7Z5VPlNAU/RgQYiLE319r8b/xUzW68Qet/FFWonv8TeFl9c/3Pv+/8HxMcWrOGHn9CF/CwZEZwPW7dyFuMe9IEQzZyJ+d851T0FL3DKypnU8TjK3EdMEdOMsTVrd6ZE2Se8V8+YA9R+28+Yw9hvspj9ph1ZK18nFkJIHAdUrYIuBMDJWwkmA24tpdQDPfH9GOoXdzdrGftnKWBeaoCQK9Cuwy6S5Yc9VExJlz/Ck1IMvbjJlm9Vlw1oqnhmCTIESHKS2oMF9sLqhzjzRAvcJBg9TrwlmJ8VBTkmBgTI7wSjeDyfNEMCTw3svYISAMpZFlUYwov89FoNKZKUhTSmH08zjhWFbkeXTS16sMLMV6KkPLWi1pIDEe8Dy/gjgEpKkNpvMStlwBZVZAiiioBPlIkJsmSKgiYWeHWy1oIYCuSFONFkVdkVREVQZFIXVRuvaLJYQFqJ6mRGFQjQiYaeSkGsVH/KqFJ34zi7kyWMktWMyXIIqb0RE6bLEOAkJgsd2t8OWLRTwI38gQhCleC8VFVlMQkGUMmYNPFnJ4DSJVJEogpD0b4WDgSFSOCGMWqS7GIxMdUL1EvTobh7gGSeiAUkRWoFZAjJvA44y7wQC2fl+/Muky5NtJkGux0DzGcdEupoglZ5qc0iilOw+liUlyKg3C0gXvLfUGs5lIw3+NhhWXjQgjfyZ/EZForhxxDY4rtJVyVyOS1qqDV6xJlbTIdgsIBJXcghqJgSjx1cabA6EJomBtxJ8mcugjhvnJl1VG5rJV7y5wBJZfLvcH1Qh/5EemPRH9k/FkP6IJzMgd81xcs9xr9QTEcMlhApG8yXVlXxEyhVTdHx6yLhp5J5oJz3BT7v3B5kePt4OaicEovvQH6H5S9rNTq/4gqvqn//yc+b8TiH+fQG+fIxH/1rBtyeM74jiSeG4THvYEjVsqYIXT7yAkvIHwZHEmkhxFy5Cy5dI7JovIPoZNCz0bjdn8kYSAS6ez8+p1M56f1HzRdc973m979bEvdn69i6i5aeU9D2+g9DSc3HMl9f+vR3PKGL9Ufv/Wr9c89/NOmT3/zjqaxL/++7W0H/b7t23sc1f2RjVu621i1095T7Lxu+A/Nty5/rPl9H762s3TgDZ3GDSOh7z5xWOi099zf8b07f9Nxw5GfbXup/dK2cy4+oqnlxi1NS5teaL7ruhearadfaj7osj1beq7e1dKTPa7l7VfdztzyqzuYre/t6T53qrf7tLsuZy5svpyRrkp2nvHtZGf7p05q33ffj7b/Stnatv/QaNsVFwW64/sEus+9846mvU//adPe37m45RsD57bUP/K+3vMePq73/Qcta/rc5qGmDSOntB1y2alt9dxfG76qP9Xw84d+1N1104+6t2zhG367Vm449R3vbbdOXN/+UMhouKjPaDCuX9px49uWdnzy7c+3FH78Qkvj1Vzb4V8LtZmnfKvNvviatg8+sLXttIEtbcPFZM/R30n2nBP/SNcJp324K/jwW5bsf/U+S/6x1znNJ5bOak59Ua9vO82oPzR/SsM9vzqloXfPr3WeEPtaZ3C/n7dEv3B3y+1r3tksHvju5o8cfVBn7v53du7xtfM7vhQ9r2P5hmeav7TxqeYL7jmm/pnEWP3tf/ltd+ju33X/9Zr6pltHG5rO+cZzXb88+8WuBz/Tx0zP9DKfeOg3jTP7/7aRP/b6uhfYG+pWDP2uZf7OR1qOmDmu77tfPb4vuNeFXfzXz+kaOkFq+sydYtPN56/sev7YFV33n3Mwe57xLvaIrR9nQsefzMx+UGzbEo22fefzD3QOyQ90Hn3xH5oeEn/f1L1caNvxRKht73MerXvsL3+o2/RkvnHrdfnG1pnHWnd+/vHWF3+wtukvpXVNz69/vuf4c57vqVt5c9Nlz97UNHH/ku6Pqk3dlzYc3sIfvrLlrBNGmt4+MdI0f+EeLQ9/7qXmYw86u/muhrOad517ZOs5xtbWzz7/u8Zl0iONjXuvqbvrrevq+CfXN/xXZH3DL0+8qWXF499tGb1qfduZj6xra/j5hS3bV1/Q8p19/8rOf+xp9pGvDDKfvH6QufeyB0J7PvPr0MrP3lF/zp9ur//h6MXNvzv+s82XjrYHv/OTtmD2mEOZaMMgM/rpT7Y/cdUn2/e/5D7unP1+yZ3+zBPM1oueZN4m/6DuzD1/UBcu68037pFqvlG6kN2cPJ+9apJpPGF5c+NpZ0wxyUKeOfdbn2OO+eKlzNbRu5vmn7y7qVN8tuMfa5/p+McZH2w7PnlSW+DXz7Vsuui5ljOKNzeGjvlh402H79v8pxv2a9521CUts5svbun+6nubS0+/t3nL/R9p2fNnH2q5ZMejzd887dHmfe7+aMuj4x9rufvZdfUbv7K+/qCuW9tfOv4H7dc3fb7jD6d9seOTPQkusWuAW2Xuzzzz932ZzPFiw9iw2HDkxde2HLLx+pa3vj3aLH470hyYPL3j6qc/2bHvj37aePaZP2t8avpW5pLeW5nik/mWtku2t7Tukej62M+jXVdc19Fxgd7ecbN0TftPn/pW+yWBXPMHkqXmd531tbaP7XF52/Pv628+9hm+ecv53++4afqHHYcfvbXvF9/f2sedckPziad+p3njs1cwNxx/JbNm6pSG2991WkPTbA979EgP2/zVoaatylDTiqNjjc3b4o3c0MkN04d8uCFjDjb3nz3QPHhAE/NctI756yOX9L3/pgv6koc81PDMdx9saN7D7nzgomLnh+5eFfz6uWuC0Y++o+fsq97Rs/Hi/ZuWrw80PfGJzvo9/quzfr/pCebpv0wy7Qf/qO7hp26vu2/49vqv5G+v7/1lqfHK2+YaH3/qS22/P/8rbff+4OsNHY1XN+zdo7S2S2rrR9b9vrG0zyONqX2GuoYuXNolnR+qu+GO/rrb08+2XdP9TNupD2xoOWrte1s+dMRg60nPaK1nvedtnWdctHfnz6PnM/OPf5558C2fqZ/7+Wfr+w+f7DzsrROdh54XaXlp72hL5OFg60lXcK23Pv6npoNvfbzpe/u8d8lvb9+wJPjYjxuffPHOxqcPWd775RMO7b31si837shf1rgseUIL/+AJLZvOWLXkuluGl9y7eknH2+brO3b+5MXOb7zwj87f39fY8tcfNrZ86Z/x7qcHtO7Hs6s6vnHgSIdceHxJb/3jS9Z84v2dGeYDncdtvab9sTXXtt/46MeZv1/zSWYfIRts/V4u+Paxl5b87acvLXkmH2199Gex1vsvHmvdfNkxrfxPykt6dswsOfLPW+vfv/dofS97bcsD53+rpSf3juYNpQObtYeamX2/diBzaMvyd9//vmXvfvLgo4NCbDxYWPPD+qEnbqv/8vOndUjDn+r47PkvHLL3r184RDz3Pkb86b3M8wNfad45eXnzPz8+Wa8dMFF/xvFv7Vh27p4d112RaTr+2FzTu247oHHVkQc2nnbhw0v2mvrdkt7rv9WRKlzbse76kcan9n5P42e+fSs7tfo29lvW+zoPDu7q7I6uatx6xKrGawujrZf1HN26Z+T5pr69nm9a9dLfOu8657HORy94tuWBwN9avnhZpPu3X4h3n/zSipbQOw5r+aR9YQurXdgS1q5mjvvFlcwt376r9+yf3Nv74yfOWjLDnb0kfNaVXV+/7squSPOXWgaP/krLb664i3ng0vuY236TXnLziokl+7/vGy3n3/aNlvkPBRp+9s39G+54ooH50k8bmEOO+kz9kis/X59Z+otDysFfHfKzU7c0vqvpyMZ9V00xD2/IMTdyg83nfejQ5hvPKjDX7lNk7jzguw0/+8MtDX0vPdjw+ecfbNgRvDmYP+Sm4ODBjzVOJP7Y+O7So/Uff/yx+jVH3df0/R/c1/STz17PfC59PdP/7rtaRg/6ecvBD/5uyRcPeGTJVenPMB+69BLmqj2Ob71A39V6031fYK69+IvMc1NHdu35o6O6ni/t2/mjeKDz2pNe7LrxKy90PdI81b2vMdWdPfXyun/+84q6PY7OM61XZpkv9j3aPnryn9p/0pXs+Ylg9DzYLna8hZU7mm69h+kP3cfs3xBpeiIdb3ps2xld1iOf6rrlrI0tt82sb/nRLx9pOHf8Dw1Xv3+PzrPP/2fHg7d94V2NX/riu5rSs21LdpXb7nl+764/7rdP1wFXTtTlT95Wl77kOCZ2+QeYv+95dOOVVxzduJd0Un3sqyfWn3RpZMmx+6tLDr3+5K5PPHRy16//Gu+6Y3Oi656v/6P70kte7E5f+v3uFX3f7z6GuaDrB/uc3/XCIxc1vu2PFzaeEtqv459vC3TUf+fZrvn6v3e9ePg3un775DVde9z63a5b772xq2vfezo/c8z9nU2h0+rU4Ol1V+8cYPb6/gAzd3++sSFqN7504gPNP935YLNy2W3NsnV78z9/d2LHXZ94f8f999yxZPVBdyz5e1dv171zXNeuz5ptn/6y1Rb+wJMdH97ryY5jH/5Jx1PX391x/slD77zh3KF3vuXW8+qPv/zi+uzb+zkx0sfdcdSHmXvXnsy8+3N/6+p+9s9dp/zswLb89Qe1fXL0g2yy7gOsftm13Rd9/NruM0WubeuPQ23rH9sZbPz4ccHoUR/pbL/2lM5LLvxI/WdfOrn+1FX3Ne6Z/WXjcNvXm2/425XNLQLojp+e3PbIqf9s/dq7XmqdZb/cUfenL3Wc/p5EPZNK1B/4xFkdfezZHTdn92cvfeEA9lutv2Qu++svmeHtX284/a4rG35611PNe93xZPPfsn9sOOeff2wYfeJDPY8dcWJPcMvfO4effK5z+lufaF//40+1f/yY/ZlvDhzInKW+o33rcwe2P/z0GXX94U/X/XFNqOmRqNCUvfbI4Bf/ekQwcd49dW/50N11tz97S8Ml5Vsa9jlg85Kf/9emJa0/e7B+/sWH6ledtov5dO9O5n2faGrp/mFzy1Vbp1o2GVMtf+oc7Pz2vod2jl/63fbnzv9u+49HXmjs2/C3xqfav9l71InX9f72hmN7nrpc70n/Xao7ZEyqe2bJA/U7ww/UX/GdrraNKzvbltaPtZY/ekzrsUeNMLlfHMa8+KeT2yIrP9amfLSn8avvDzY+/w67+eJNpeavbPl55wWf/lnnWQ9kuNJPt3GJ8/7Ylu/4Q9sn8n3MncdzzBdO7+n+4f/p7u7IbAt952/bQjs6jqk7+XK9bub887ov1s7tHtvzsy3Jhs+0HGD+kbnmuj8wx/7Xc4e81PX8Ibdd+2Ld0Fv/Uff40Ok9Hz7s9J6jbvhNXWLd7+pu+9Q4ow6MM/d+4oeN0kG3Nf7u5mzTpR/PN52fvqbt9vpvtjUcemXH0/qVHQfNnlC/Qzmxvnj5vvU3nfH2+pnr3xn+5tHvCm/4vNF60SazNfOFp3r+uPHpnm331NdPN9TXH3bGWY29Xz2r8YUV8U5zv0TntvO/3FL482Utx2/c0HL3Rza2vL370Gb+sGXN5vHDLZsfXNHSkH6mdd+Ln2o97ODVrXuYq1uP/OjBHZvbD+74ckppPDOoNKbOK3fONO7sPHhza33dg831Q0+LTdsul5r+/sHHGvP7/rExOntK759WnNrbe1mi/ai3a+3XP3t/51X3/Lrzjg8exXztzGOYo067h7nvtnuYBxLTnbc/Nd2540/L2u0zh9vHztnUOdu2pfMLHym3nH9pueUH689ue7t6ftu5Dfe23hy6v3XV7PdaV236Xut5VxwaPGvVUPDUC05v3PaFMxo3v+UaRolczTw2fXPzxWfd2PzPJ6eZ9m/YzH4fu7ex8YpfNH7qw+9598pH17y7+8Cft+596N2t3I7hNuO4ZW07ntGYD357kDnufBt4YrZtYMulHfNrLu3Yd9sPGy+ZuLXxx+fbjW1fnG/85H17se+/c292aOPhzY+vX9Ns6/XtL/2hvn348R0NN42+r2Hva6/uWfuTq3tO7Wtvn4aih4867ZAyd+Yhj77zueClyaeDJ7z1kZbkOb9vOfdv/Us+dwy/5DL5svbvfueL7Z84+JbGe97/vcboQac3cJd/quGtEy0tTXJry5a3nNn4+4PPbrTf9Zfumb3+3N1ybKD19r32ax1730MNd234bcNF75jo+t6ek11PFW9pPe/077VeOXNT65Pfvqn14eREV9+ZVte6nft3rIoGOu75xYbW8/JHtu55yPaO4y4sdrzUHe845x3xjvc/cmP3U9ZN3W/768PNu+58uPmWF/fp/J65T+cLP/hTW9dRv2/73LX3LDnwzruXfPWk5cyapiEmv/dX6g478Gt1v1r3jZZfdV7ZMpe5tuP2D9zY8edzvtn62+9d13rLw083HbHzb02P/p9rGpn2bzYGjti/ufnMA5of+WSZObAwy9z19j2a7//HHs3v0efbvnbdfNuZy74avH2/rwV/9bsLO1c9e3HnBXPXMT3Kd5i92x/sfOjTD3dOPhlozh9+YPNjm9/Wsq8caFn12HuYq/48wqzccHXr+P3fbL3sxN8sefSCPyx56J6DGvt+fWDjvReu6jnsxvf0NP/jV4yw1y+ZdWcd1Lzf797RfO4F32h9d9vXWzee9XzdCU+9UHfSj59ou/bBJ9u2RA5oajjn/zQt/dIJHQPcBzouPaW57QC+qe1HLz1Yd++hv66bz7R0XL0P03HDXgNM+2MJ5vpYA3PNB5qYe6VS6+oN0613vPuYhr/8/diG7R9b1XXcTcu7Dun6RuMtx17TOLE20PCWJ/dreGjZh+sn33Fi/Ze/tG/jcfn9Gn9z9NK6I/Y8tG7Dn4aXXBNZteSkk7paT/1od+ue73u26UNvfb5p+Ui2MbUi01hXqmt/y8da29+Vv7zh6fMvb7g4+mDvKSt+3fuhU5d1Dp+0svPXX7ih8yO/urHT+Mw1LWeXrml55GePNh12/h+a0uK23u+/lO1dc/If27/y8GPt2rpHmSvjjzLa5kjD92fkhtP2qGMOOLGeOUi4paNj280dv4wOBN96kRQUIktaX3y2vrV59erOpccf3incNdv2/F6zbaVTbmxL3XpD28Y6rf43Fw3Uv3Wv5W1bVq5sO+OkaINyc6xh6qj72r7whfva7nzu7IYrHrmg4cldK1oLmw5rLcTXtsw8ua7l33j8xzvL/o3b/8cLEWnh+a/ym+N//8b7/17LpryBYuUoWDIpNeLenEDnPug6W9wqRhZz5MwJra0YNrOF0lyQ7e7GNQia1hPqSeD6jXFc/wFJEiPMDK4DIdtoimGMCrIsnqEzS1e52NO5Ujprjpu2nbeD7QScW66zQC2RHnBz0sUkOBuDh6328D07d+LTYE+s52WATpPTBOgR7/T6BSaIp7WTA/a96/vMFAsFzmgzvQLfh1BDAN/brQJ1WRqaic8kdlUdM+AsGxoZ9G6ZqCVWTTJc8+1MJZEklOYMrltzViI5Wcv+83cnTHK+WTCd48pcD9fDsnjuWWG6ODmOV3ME3YYqs6xvoX8FV7pxzSyNoxwK0s0w3QXOX15Oz5pVAYRSOP+I62O6p7RCeCoRYDpSpoUQV44cGcyxZPMDZNS0jhw7PxXOaS4mNLeDDE4fYQZy/v14Js/63ibT/rekmcnP+gPInYAszY672dN6Zhw3KpAA5+yj8RndTuMBFDSU3mcwbk/mq95xfZap52rDiikHeuVkI5qEnOLvD8B55nEPPfI2Cf2Uvup2chw40CxO5jMuRHrAElkozPoC8MQlB/+UNW4AdS2Lvhs171m9TCrrUM9OA4EKRRqXn82NG8i2duUd0juAJ/WiyQNv5BCXDrzQ18KISvuNrN20u/YLVrehvxExF73BY9zQCyx5d+jk3BJDw+jRURNuktqTpGgoWQU97rQE2Q3mADQzmfHkdAqY3heA6/1zLEWB3N4wDiRnfa8UHN59sjCU3oniDyd3pYwvHuqk9ggH8RXCbVqccgRHvLoG+/Qr0pEAcZYeUBbDWX+WhtN1ZtC4aei7E76I5PTcuBNp4ali6XzOF1skZEvn9JQ5Xiwgo5NgvCPAgJDJtEUbzSmdtsnucHBabAEKbsMCSy8IxSWoUzSxR7pNhHYerdr9+bN4AU+xqLcvpN9iySq7fHdP19qCHJResaSadK+xKPfoMwK+chCapxEWyMJKXv+dQiS7P+BVQaAVAJEBVUIQ5GwZfUFWXPXoKNE2TXkZZWnhLSkOODAoyAVxKUcTV5Z1KkQTT4WdhLi+FTkeD0ZZHE3av3CS3vxvw5JCeyUkC2F62QugFiY5NHIqfQXJlzEccqAvZ3Pk6LY4096HdSGrC/xqFVAnUo3o1qKnXCsrd6r0J9RwKlwrDweEnTsXhg4qlVAQpQM8efWkL32vlr4UkKsoyDYSaCOqGZw3n2pwQvy60E1Uo1jdlBWFtjBkcAsGOCqLIue8DG7pF8i7T4EP1AZ4iXx61ymkopmdgIpCoBWuvA+q0stwTTpHGoue20jvqMIjGJxGcTuux4DRSg1rYuTYy5RC0tLtzfRISHItEq5Dq76NKwV5cuRSpXb3gCXaLeJ+McJVo7CLHLfkmdgCsLnuN46xB6FtjEweEsZeCc0ixRB8ALxqymz3n/RUQjw8Vcu5zxU9WxNE1aYXWNGwNUE03S5EtYRsUBqUXwbNknNPGhq0uHicwWvSqgjWXYq7fZzApL18gH8ZoGDN0+ugKHSSgcD09diSVqMrKKOUwgt05oCKtQgv1NuDgribmAFtETiYdDc6Hvl8t5GDkoixtQYAoe2C0EECqdYqoGlrQwdVmYBY3FQYkPlKbHWto4tGYKV3A6uSvlrpDwSFzatXDwwoIru7JIOam0bypanR6IvCqUmzOCDP1hkIqfwiwYMhhV8AkiRfPHwwJL2cYiO3rRH55F6qWblaj24qYbAx7TlV9kuwQthKgoaxdK1KqP7nHbT1v/Tj3pnxxp3/xUuqoC44/4t/c/3/v/X4n++UTPcAWv+hW96w9OJ3QvnDQEqmC/4ga8HNUfig2xMGB3rE7u2Fxxl2vmTPzRPFiTEDsjMg5uxCmy7qE2Yc7/lk5nHZ4E5cNrhzucTvXC7CLznUfBezcdPQhk3M8nWb125iRhFl129gwuHwGDNKz2tZObJ6eAz3ovnvbPIPaNFRTw3RGhXGKicyIWc6+0eLpfx0JhMkScQxljMqW0v9UdKYYzWSrJV7S3fuJBkG3fcQiX8ZaV99wLl7WTI9TBrvWsAtCinnkHQ8EinnvwUV7/B2zVdatzatHanY3t3tvSNB/e9A26pXsTqWULydfWWXiGYhxfvuwHLw0DxIS9vJ9tmaAyChleI0AheGctA8ZpGbxNWh3mXDkIR1th+C/VWwnftHg0LENf2qNuhqhNIJfBwgj85hQ3199JBXYlgb1oTmOweWxDgbxWvxdtmU1IpAHejhegYGAMQoP+Z7EfwvIr4cnetJ4Lnv6dw0PcSDnEhkVIogTeIM9uadXkTPHPJvr92myYltA9hp6H5GPydDKGXjbWPuaLu5HUPCVhqvAtF6iCsNYZovWzyeK+SLLzf47tx6QcaCNeKSt1cPSpMILIdcqm0Hec7cznIkpT/Y3I47nN3DcZwBAKxgOxm8J03TpgkvZwZhatezL9K+rwmADYkIk9OyKmMGbfQokt2DA6ca76XEbIyDSMIIU7nRTUlPNy54Y+RGGNqLI4PiTjkBuu+yxt0n6RDYbs6CIvHkNChfkurTVJwk+kJehL66c2flFfoqO2+EvbOr8EST2pKrMi/FU7LiYdz7V1v84ulkxX/2ENnNapB7FUhnpczPUbbnKMO7u/prOwrmdXtGmJ5UA528KgQ7fFWA1/mdjm/mUhm6L9/dGwP2rIHOdJD6aTQV2MkFdIW6zSrlYoZnJ/VSkHW6ZEUrvBEmMW4Ae2PPf+VVQVYWnv+qvGn//efN/+7mMtDdb1P0Hb/qnvvuDyQng/kD8NZu0i0HA/Q2lxFtfBwgCWJ0vJRwbnjBMzcheLo2fJlWuWU0EaicejqC8puc/9HePj7iiABiauI86whT1nhnzrS3yOJeM4Hv6y329ZF5XG/D3q4qiFt8t5h4n/ERDvdZaqq7yVJRYjFZkfjY+EiiMjuuJ4MjuEPTBT3ALw2V4+XKrOsIY2TSBUzEQWr4Jn2J9aV6PFgeTC5NxstsJc8yvKmNHEfqA71s3nfCKVd5xqNDWXpMqweAniCbBVEaXOYDQQ44LeOppjuDzrN72Kkf4Wwq6KAKX4Ollnub8TKqdYdp5xnfeSzEJPRWCAT1AZ49Jpgkf40B9+TzsgbE03GHH/wmWS6FvwbL7aDWbFnDcd45zXf2kRMxoAXfR4+8xSNI2f45dgc09Fx/KuFsUNyh0bojFctsL/7Msf34k2J9OwfJdP5IcAcbxz++If0RPFc3WNtcQBa87nZLFa1S6Zn04im3cMmqlJkc5RS3Di83NJnJVcZ1RpgpcgAw5erywBZ2vtyriYlQaCqxywkc1MReDO/X8OCLKTJLy8xpBLlyaAtX7tvC4ulLWK05bo7ltmtz3A5tzjfQm9OkRG5AE2OJXJ8msvPbSeLtHB6HtKNP296f85ZBiL07+qZwb2gVyaAzzVbVMCQjUl7bkU2ymspD2Mtan/4RLaw75uKXlvugvH4xXg6RX7YffjhbK4cIIpxN62ZzNs1mzpg5TVUVMQrl9ZEokYsoKu97jcr4YosszZJPpRwYkiSqsi8hnq7qeyXVcjIVKY2xuD4AwOFDCB68FRhTiHyxNzgSFFh6PN4Uy8aL/b6A0BRbzXzg2JVqecUj4zJoKVc64FKP3mWV6wYALWhVcLI0gXaVHXggbpSdh18NHhJgEWmqnNhFo6DbkxgIwQhJdCMkkUZACEYIqhshqA4slUREnek9CHIKoUV4JTgFUPgeeJElUBdc3xAhkxe2FrT7cv022y9CZWc0eHSJORKk/doemFlqx2dqyFZIWY6YpcsnQKpjp3Dygmwps4M0Zikfp82GLBvCZi1zZSiP5UTQqqoYxTOrJVQKIiqCqm5seKWkcOKmNFcpL4rF0Z5HSiPHuDlFevvAB/mlW+I8YR7ocooIujymgmqJxgSidSAmR/gwB/20LwI2eVRCi06W1GiUpvDFq1JEiqmiyEuKJKgKvwgISYpB06sqH4kiKEe5+YHgfXmRmBgT5FgkGhG8JFVgRFEQBUmJqYIai0nCYnAADZFXo7i1VMSLAStwgFhaFIqPSnJElaOSAH2PxtA+lyJoRBRFVSMCUD6KHZBm9idQgRBCJKIAsnzEB96XBkqP8hEJUYnJqsAvhCICuVVZlKORCN7ItzgYpKskqfCNANKV2vqSRGJgjKmKICoCGAbRxeHIMi8LAEuJinJEEatIghOuJCVJ7TDT4gzIEXbNcanK0i7CSCGEEcc/vp7gO6d1hIN/gwyZTUXhnAVmnYFvJg9/JtPwh0y+bOVI7wFO5QiD0wdvNQ8VQzO+k1cz+QEt292dHdAm08jOXJaeEg8CMaUR8TXDcjqVjZl8KMsVUyyXpO+Taee9oGvYZXWOFg0BSRKQdAMIwK2aQcOSHMWMDRk0l+4GUFm3dYDWxcVxK5cdyOSXZvJxqOhMv1sbiqZNcSnoIYC7leWyJS1L5HsxBSqEmymRhpnhtvSRdPiCJbJEWCAyLOQKuSrHd8sJlFqC7GAG8vGZ0q4qAeU/2KlytodnDGqYZyQIJqspRH0yxzsky83rNzidIJBemCvx5kzP/+JPZcXtG7b+W1KUyIL73yL8m/7/f57/j5PMtVNBdAHFgjXhZNzX79pn9cKge9b+4TgEioftI8B4fKOzUIKpXTYxwrgrf8HJ8H/kKPja7jpgTarywpWIF0dWBddmrUSTNcK1uaOOqvXNhmugXCUwJARelqKqEo2ho1+71EmLAi1FpUpdV1YUawsvHUUg1UuMtZAa5QUlpvBgP+D1xWpMlquTga4UhIi6ABQpbtE7VjG/b2mUJlSC3YXJmrIQNW+ZshaLLRJdtWxZ29Iv0vpWVnVBtsjCbC97dSzEVxY2E0ucqyxsRkuZc9aFabjki7KHs2JNUyC2srIZnA3eCYAs4JPgm28Bm6b2bknQw5Iq6+LA2+GqV8VpMuetotMi3MJ7bbmFS5E1gfOtQwYIlTVmmhx1CvUWR2k8V7s4CgEsWByliVzt4ihN4hYujgK3iZbgrq9UyJU8AhcSOJELibvcabfKxoLKulNIKAOdkNCCiH+AShwhnYhPEkQukr9q4el8CCgPhUn4h4c/UfhiiAJfGb4YISrwxQQR+MrwBcwERBHCYpCFC0GECnkgC+SAxIg+1kLkJE7mFE7lIlyUi4GXzUFGyA9gABoABdgSXiTMQYEq3h6MnjiH+ABiaFr5xuEypl3wjVpZFb+PmHXJkM5ZPpuKcEtBz/nnEBwy4FhnN1jJmMS540SHpgXRNOOssQsJzhAjmLL6oEDTZLWgjgdT9ZPDRWdGs2MDWpnVtWyCDElB9qw3gKL7HcritG05aGxCHuhG27swi39EgsQUPJZK5HFblvzY+Vlc5T9P2SNdOfYYhxMKs/1b8AYlkoTbVhMpYuS2LA4rWVphNpQGZpjQCmJom9eLdG8IVSfjE6Vwxt2zExK7u+F1VO8ToHpTbF+f7mSyNULOUtjm0ixnuG8Gt43lcjYudHNgcMDYEO4uVwR/BC92rAwFZKD0DDm/NeNdKonXlvN4eTkJh18vxshjevhLYuCXnRnN9MqYplfE9zFtBNDIjQahdTJsb87uswmA3pzRZ5AEbK+zWJAIIcr7eFvM4ijNjzDTAHKqLxMihIDsW/qDLk3cMG77qDzG5fJ4zC25O9SDtQNg7SA3SO5gt4/uGNMI487AEwd/+iDXNOtPv7DqgIFtAQppfIMC7VHbRQIeKRIkDGhb5in87Thltx1qxdkWy5UFN1TAUImEVh1zvJCsUKqBpW7DNyjBGDXcUuGRlkrCuBwFXubxEHEDAFMy+FokB65rLs7TixkcgmccSpA/NAfvUhDQBqx9MYIbI5GYCbZqgtCBQ8ACDOcJ8pRKZMDIu2aI3AYEnYhaMFNVZ0CTrjhIhXtRqyzbHachQeqcZrVMLijgoCL4jCAkigWNvHG282slq9ficQsX5+HIVdlJXnDuOYK+WLl5IqPjnaqcgdcs0WUSRByV8CejJ7Fy/svaKssnyLCxCybLwysZkgfdQm884rZnynT+OOBQo/qCI4jGC47IYHIhXxTxMg+6iqKbwWr4tQUKvR0Dmh4GJxdkBlsz8rtjEKLILjVfzIi3zj8ksET8EFGCZwiiuNUXEbeZvCdvU1qQHgVIJa4+mk2N9W4Z0HawACCbqojdlCd3M/neLX3BHSF9NJOHtGw/5JpMj9H3mruYyMAJNFARao3CeJYK48IkOdDdP9DRS5qMHCkJtPCEJzzT8d4Fi8qJGC2mBjVf1Cj84L1cIGPMmQQpoVTSyNQRGYEopkI1qce4hdkXpMGJoS0shVeY9cGb5SpbBNg+uj+A2luQw9suwHKzdB4ANEVVGl9mriC6LVdKgnQX3BUMk+TunRL2AM9GShREPxJiFaBQ1cYEruoNcfS9JqAcstlE7K0K79/CVi5sgKIRCWFpEFh+6cKl6/HFlq6z8arUFRstvtgCdhYrRPrGIhViCZaL7h4gV55ho5R1jRgAzvaUUnKMA90Pmh+Sg8BCeoK9RPnIaRSoI/SXvtntoVnasOXkAhhe4hBAAxi9W0KvCmZodnuiclsOaalykow00rHycrKf3moQ5wmfuJsTOZpU9yfVF0/q3LLguINBYqsBu1jYHVwPsbvbGvBeoYs7/dcKuWHEGawkIc5fyFpaFR2vinXHTa1E9VVW3hApDo+S8VHfAKlnRTojqJAAoiFyMs1VbVJBZvXcG3gx/C81myMRASJnpwvoekC5Rc67ZMUT+ynnxiEQ9DgoSxblO6IH5BuoHTJaWeC2hKwky6K8hDAqKkigzvrum8x5VqDvLNxUCbjAv5nIMzy8fFXH98/0aQs3BYGRsYMqzlLaDO7ggEAsqI8g/FI6QXUXz0irUkC08bB8Uh1aGzo5U3RqwfmGlDPOmDIOE9PB5YIzmOynP2YhdSGH+jsjsmM1WOGUROWWkGTQox4ocTx31r/jyBWgaa1SMCRnQ/59U2R5Y/VGqhq0nCo7Y8/uyP/WSibcrcwVwH6m8wc1wNgEZMWYjM05/IAQASvgke7uDBi4NvQ/ip7OkXfofFTpo39aSA9OhaucfVdUY4Q7gNDdXUgPOK9ka/N8lqqANJcpsMSbAmGSBqriRnknhqCFbYF/WF+qmRJ5zpYgDv+wbNXNarh9F+BnCglUnGT5HRZXwi34JUdEFkyNSBRwWmyqPGxSXsHkqvaeObMkC4K9KRPUPzU3Hjl9H+9P87rgCF4iB3/m/Ld/0Sm/OdIDwSJ2TawETgFnU8E5bgtXZiukpjdKUuqWBokJx857t5qC1abR0TJivwULZbD8yBUTVjJu6fQSCo6EcM7+IzoEwfm3uXE1W5Nw75djD8IP8ToYV4RoWKQmJFxJgiyzlKJAA0gf1MtxneJRKMcdjMrxudqCFmwRYsmEJkNq7gi1IkG+FCJVR2vVY1lixyY8I9RdUkmNK2KykuUmhDMAXXKThtdhHAlR08JxX3wNSxAZQttle7lSIhYB5i14swMEwz5vDt232ZJl5/v6iMFdkXDby1yWZ53W824icShX245IgizqvtrRJs7bNLuwEdGy79O205tcCZ7lnTtJIcaAHTcGbUAL+gGhIDHeSTq3Qxltmo10A1EBIsrGLkM6T8Ym/dClDo7acZAAz9PG+atqYMDgeD3hpIZtpflIs8hu/aVCXHTbEPyYcgJ8mDngs1kNZWSRhS5PDWTOtkmQXQlKuLdUIWWtJDhHrEZM7llIzIGpnQD/iZoJuHgWfCfnBZoUXK1igvpGJfdOJwJi1//aS1Aqo+tv1PyPIon8gv0/EUl9c/7nP2/+x12N7J/poYMf3tQOGQRh5mtHR5kMBxYIl0PlRwbOKgOxiwyhLDJ2Mh/wr9ucNMtauwL1kQ1JkAVe0Amr8rikQoa/BgTJgi5CzVXesiKmZcUMy0rCsyHDF95TUcsyRfhG4AtxJt7iAO8WxFsKfFX44u0OkM6KwVeHbxK+kNZKWU4G5xpzZ9kFL5HyERPoUvDFKRDEKQZfRDEJXwO+Jjm7HHDk8UYMXoB3EdJBV+Mlw8kOcVGRZgNYimXyohAlEMjEiqLQhwikiUDeCMREIG8Ul55hXoAbTdGiY5AmBmE4kxMDvHBqJgZpYxCvA846vOtQkJ4k6AukRhKgoUIRUQChQ7lQb0AwibhCHMUB4KpYbsQpm6c4RxW8XBy+EBCF+CjGWQ4ugoOP5OCE+EC6mO7gBPBjkFaHdDrWH9LoAE9XHTwhrR6r4KtDHh3rAXmSkD4JaZMQn4QwQ/fqEwO6W8AVAi5JAt5QBFWICFEhJuhCUjCElGAKlsiLoiiLuMIqIkbFmAjEgVrLgsGnSAs79ZYBror0lRxa++urO3WGHFHTV2+3DXy0x7qSerp19NfPawuCcS2+9B4NSZQJ67vtAakjEBFJOfjEHFxcPPy0VxxcIE0sWUN36VXQ3KTsTGgO6ZKQJgnhScujeXJRejvU3g2tQVTx/holKXcvoKyfqgqtAaFi1MEw5aMelu1SDugGHGxAW8pQhojH2zn/sDUVCJPhn+j8ww15gB6EStAXVPIrET4QQFAYTnjEDUfZENFTUYdTog40ngdBAh3dIuFR+Ie354goXjAuanjhEZAqegQoBvymiymCZQyegShKCsidAsxjloxXIMBbTFBlCBVETA0NFMGbOXhDVCUTmlEkqXVCHggXFFnGloBQJxy4WsDLfiRTQIlk8QaJS1omIawiRbDPkBgL0kdMhYRLgJeJfQn+JuFfNJUiu0QsEfAjoSaBj82EPKCKOspjgIHlJkFQEJEmCtAeKART5B/AR67kTVMRY8g5BAqBg8lBIkOrQktiDoOUK2EvBCEsWaDRIB1imYRfg1DcBCFvWIJTX5PkAS6FMOgMogqSPJqKSDJQyeRf6wfLkKBdog43OFwEvQ4lJrQEaV/ZiUOJjFxiAh4R+Id8ROKhRWm4RXglQv5FUzET+SQCFBaI7EWZH0uBDAapBuHYpxyJbKZUQSQ9lIYjD0GLmQgf2kpG/okBxSQoI2aaDl6oRTAcfyPASwbBCHgKei70PaCxaOmAK5aN4WJEh3DgNYJJFDmH1kCOIf8ANtgawJfwD3uCKCoYTtojRVok6tTYIHQyAJ+kE44xskX4CnhHJLXSSZ1R40H7WirhQdriTjiyq4W8FnHooBPqKaQ3qUKSlJok+JAcqKUEWUSMYg58DDdEoq6ABilSK1oGamJkPhl6gURkvkrioJ2SoPUlFfofSAno6YqFtBVSkdfMPwKvAnSV8A1PZQ/val33CWWh90aeJWoDpAQqf5zcogdBWAjDeReJ5QK8BYaLQWVaTW6hChOSk5QpgjwCigNPmCBIU2qE4CFUyc1Kfoo1/QuQof2ScozkFcGySgLtBOQzX26xkpfYUgLJj/ynSjEJqWxaWKZOVBvN7easQKF5sVTFwjtnBDUK1hqV5hEizWQr5VhmolMq/fJOiQRjM8KnJFmWLLlKN4AMTxHOqilbrNQYsEwqKGvAguQjHoUpBNmIET6rwHPbzs1tyUmBhsqkbUVfGRLqUz7mtJToaztKs6QiQ4kUY1caVeonEVFr+MoWfa0MLgHyoierJAc3F4JMVv5g61kkxpfb0mWir0jPljy8q8pGvc3TnBXMRaS4BDaVIwl3V7ZEFpWnvBZ3oUMzkb69WG7Jo5us6qTeiq/FKrmjNbllP3YITRVJ2TW5BZPowagnw6UqmntUQ8tckEj/dtsMKAR2GkpgKuUVKolrcpOUMrEJIKXklQ7ykshMKv9obn/Zkle2gquqhCihD0/iZcgR80lbt+zaeuM/BSWfoBOqU5iqo4GiXq397V1dPlgXKGcFdF9QUkWJpox5uo3mpbiLDgxSKunXOvpWILux5qA9oL8alkHaSnXwpjqE5qZ5XExE00iCxyanBJkYhSniY4H0IDlVj+KuVsZUivOkoN4wwG4DzyYKdYiB/ABZBbkxTYT4lH6ay0SL07yg+xRFUQ3wEqWYKYO9BFYI1CMG8kYl1FOcmiuE21SiA0F7oo4Vo5IqETMK7Ww1SrSygFoHLR0rStJX8rtPIBnBosLl/rpgUE8VuCMF+dBvBYsCZKeIPiupm0o1IykZLcYIamWwuqMS2pjgd4EN6vCDlXLKBulrmcTCVEjbIQWQbkl4AnRJbrQpwFQAJzlJPV30iAnF8SlpJYmtoTr5I+QL2gAs/6gYobkReSlCuJBHvQYy1MRyrRiRTRGvxhHSXmjtgsYXTTEmOCs2QTMATlaMlK8vYqW5tEM7Fqjl5BZfpZaOOThEqa1MckdfdW63BmhrWAK22WvLTWugE7vOzS28RjsDLSEdciuvPbeFvAKyEvqzgR7aa8McOEBGew74XEbf7nXY2Dz4AeAyYdnE937NH7DSCOZABeF15QftARai7ozwvPb8KaLjJP51fkAQWlH+X/ugRURkqeyzEl/OVvTZjLxkmETSio4m4hex+Gq/jp0BJYopndpOTphraYqeDeSHIdNckC+GnqqgqxHPHqpYiY6GpNYlSgwaA3ID2go4LSZgnwXLXaJ2qlRl6VZsDIFISoHIKpANeKMqQiVw0ZMSffaGSMvyeXqoGSRSZlI0RMMSHdtDdvSDQz2fBSg4cTzBnSc+ki4kSQ1kZ7xB8lmaUa98WnfZa4MYYKsQSZsk+qESSzQqsTSTZPzRpbFExvFE4omLQB+U8opTqkRyy0795KRJdCfvaGbq/ZC0OAIqJYlXqnr1pDpccO0vMsxg0Nq5dpSjNWVZNKOOLqZ2j1KhJoWDo4ai6vACxZxqe+AF4uVFHR0mO5R2PQliheBQq2hgy5O6UqtCJUOhsSprUXJyiz6bkWz5E0Xik7kcQu0elJ8xx25SnHZSfBYPgYYjVDgE6/hoNHeMWAkGye3qb8mrt8sbmDtCqBbxeFQkOiNCvNGKvefHvPKV5STBPEIsdEpLYiE4/m/Es5rkqtzEWuNlCX3dGOE2weEBxDPm88Frc8se5oqYIi1mEv4hvE3aJ+p41wvLlrxeBLnB2gERwSedtqQtRrVt1MmteBa6XGVvSqR1eFEnZcvE0uG93LEqa1EmdZIdfpUJ1yRxhF+kozGCg73gWBtRh1civOtVKV4PxZZXrSSxmZJkRAAsH5Aj2B8jjpXptrdrZcdcLia0jIGlCS0lqyDckdvQSiYjJiRP1ClfISXTlkDrSSffiBJRhFQMbGRdIHWBUtFCpqXT/FHH2ouS/NTuNnhTBGmjiJaCMx0pnAsSSZvHsHTL8HJHnJHJiIM5He8BhCWwFq2UaUJJUTL3kRTQL0S9ohLrS3XHrpx60zf0ByxJEXVJtYQUzh4YeF8rYkfmTkxi7QoexVxbXSYcBJyFZqKIUzRRU0DfwEoS2SZSjxu5NmWCZWaRfJV+Rj0OtNcMMSWCLWuhHjTJ6ABOAako59HbcHSz23ZubmqxCYC3ItJxA7QuFdSiiPciGj3peTdJ0vcttHpAq0QcW/aVLU3qWVFZg7mToiWKr9ryiHrcgiPuOJqeFEXLfE2WJpGxJDfauWj9vJZPivC+RXKnBOu1lG3plM9IvWM42G69JnsPXBILPTGwkRXw4SKvx9KC3DLOQgjy67KyTEsXyS3uvPg67TSwVMHrTL1uO88kcuN1W4m68a9amimQoCAXko48qx4TEWrGGKtH/0CWJSGdlSLzCZJPzktVMETPMhV9+cEKMpyRSt5ybBLJGw2rjFAI1WNTRBeQcVWVJ7IwQkaqZO+f5NMeJAfhaZHO21gRi9rGICNwdJJ4onKVvpAdeULHGFPEdhNB8+hkjoaOXICli29WzPGwFe9LfWc6EmIKqmWksIyoA5FqoyjBLIJjpU6pqgNFIRIFNRSITSti/t/2vv05jhw583f9FZy58LBbbFKFNyCyObEaz85txK69t7bDjtPRDFQVMOIO2aS6qQf18N9+XwKoQnVL1EhzZ/viLM5Q7EYVXolE5peJrEq6u0s6ckARqJ1Oc/rYFYw3+AhUOtVIp9uhS37TLtF96LfUJqQJNMlInhbcoMeRE41M0kuJWpNVUUnTOjoOYoSibRlznoHOmi60yfvFi10gylm0Kn/TeRAdPEdb0O3gVwL/9J7lGABVMHm2IlTB4OibTgpZ0gDFh6TKqH2Uo29MFbSgJtxIVx2dMTDCLSS3+FhfFn5UCTcMq6QSt6lEIfrrdSSnK2Hw4o8eVpwX3KvH2sMIhrNFjI98mjydjiZbRUy8iE3pV48oeeBgVtptdcbnXTPolcIrCTnKgnHNyLtypIBMtekwlc5mi5++tK4K7stIZ5sPRfEto7ZyqW+XdGgs+zb3rQovm3HkunCJavJ5ZitiApjZRoxp5w1IuRnRxtC7KWPIVLdNn8wYl3yaaeyxLRi++PAmeE0VKgz85KFcYvIZuzh4wWkHD35VPXqoch1b9HjGYnQqSbUzN7McLRKzhBxwCvk2WKIdnfgOOMYnFJDOn4r/giXbMUAaqIJ/8x7H1dg3+dwxn3olxEcn7cHHKHw+g46EN222kxPFdOqTPGRt4h+iKdYnnRTG2Kn0R2Q8T3EvLOEfS57NpOl1wclE/z6hHhqlgAZspQKDg1aiYxYoCzZ99CT/GJFy8Ei64hGk0wWWzxrJw8Sc6ITzQJkKdaJmJiT1RHKCEd5UBeUSRTG3SH7xLqFCAR0aRBRt8b3QGR2PmdsTyiX0WmyrjHPBncwkjwPh2J4bKYdnkiFrsweMJ4yLOZB2TueEpshqQ6diyZJJnmJupeYF9dAZUMLKFBFgJpiCp96pdkwUBMiklWEK5AXeLFgiW1T34bTBn8vTmTqtWsclTNju85EmljOvPYEnw4SM7HOxQ9pZkAJA81hPywIL6Nt/9sEn0apLlBdYu55zEZn7IqDhGNEeOpMFLiT/Qq9mzyBzGJ1oCq5E/2WexR7oEnMFBYAznfDNF6PFQPELvvG8Fb8RK0Yy3xwPv9UrGWAbsK6RvxXnBdhz0f12nGhTfND/0U/y92+dmo++S8h5MWLMZts3GW0pm558D2ftfblSVmU8TyaprUpLoiDG/NtoyMrQlnpicvpN0MSE0NsyElHPmKPFXrMUQrhdr2HB0Nu2mhK3VsaS6kUpyVui0jU5XkuyAlwosjSHkOS1TYpkVD4hsFTPufEaixQmZUerv3GDbCL9aCUfvWU2x5BlBBWd0OU0L3sYUlRWRsbMJ3kynBBifjqUNske68YW0zXyl5H+Z03xMtlRZzYit5nC2Eavic5zEHm1ekhUNtrsKsnRRvRJA7TFn6G22mT5fD5pP12QdfJWxCx7ZPIG2OQ7VMV31OfYzHSq1lIUQvKsyST9++JjbZIXmUcd85lg8pwlmtM195GzmPvjQeJ9+zl0nzp5CSG9Z1Df49cn9CDu8dg3cfQ5jp7LYTTZEmWjN3Tk+jRnNfDE4ItJpV6RTdGVejxHnaQrQhHniN7ldS/+9FRLQKsTTuubpkZ3EP9a0SUeMMUrPVxDn1yU8226psb+kl9QiIJugHq8LBor2Qg8RdQV/5ZwmQcTxmY5qnY4HReu+vvpJEKM8QK4lkwPlrAD0E1pMZ/zCZN9UxSNF5swem9TPTPssBRHO9lHJvuuc1xU8ZzWk3ZBhKEz3XK/HbU/5i7SPk9o0I3et8yFLJ3jNynGSI81dbnGR1moJp7DhMsSvnfJy+cKwtXFq6nzeX46m24Tbtejx1UnmySkuix0yfbMFMtYu/mIP6hNFvO9jN2Ye0/1zP2eDkCzLqO5MVKFTc+1eJdQNJ/EHY27gsZeTi/YdmxR8tU29TQjeQDKD67pck0Xews8wAnbOkC5vlwzgw+bqXSm4KLt2/Fabjek+BBLftU+n4MMvn9TIioNWVAJ6A02AFG+L75+rFprxmsmrUJXTk5IP+hyzafr9XzBQm1m34Yp/Ec8OvAESzFAsskS3qdavshWbvuxTTuJxEvXTCi2YZdquPE8HrQwvMxdpBH6yV7JL2AUxatqy2+5ltB9PiuYeuvTaU1SpS4hfzM5R0jX0suX2oSs9eRa8pkmBJlloS5Xh982+uJdZ7EbdU6JiO97KFkbKDacBcu68Srm40Fv3sOA65PtFBLeN8lK+ihWDg67sm3cvfoh2zgf2w/QePf7PGmaPVkq2UvDJzpg+Few7H2aeuqSRujJLcrTDp6coxb7tZykpJoligb2bhtCGKRZO56fkJ3fQEs61hat6Ed/l0jRIh0sPRWyDBmuyYS9fPLTtBTsHvNZXI76oWtdWhXXy3RWb0s9kbxt+aRVdn0ZsS2eHJb9XcQJhEPJr1/qDefT6RPFskefvAPp3CtpyEyHFO+ePE+lXrqms36iyPMkRwpdShxNihx0ST6mEx9ZtK0eZkP7CFQgDhDJ5zbIDHwzLrUpSsQoL3FFyXOhbDrDVtkzUaxjnUemRPKN8zQGUbBL5m8hKU6HeuzSatoy02QfEwYLiiRGrOcyNslywZL0D2RBiuRHyTqHcB7jKaaHqx42P1cxn4LqJLt0ktgunVk3ySNgix+iu8d+I/3UsntjJ9i9Zl/wrP+U9WETXtg5xWH37rvxR4fRati+n93bBta8Mx9YIzt3lihfNsFXnZvW2qozokSWoqVyvCxFdON/bUbbhn1kPCz5aklKAwszipQnfxBXXTn/ZB/UYjmai3tmEhpIZ245fkGJj9ei0VNINMm6pIObaYSy5OXZJbYVaUynH8NTB2wrJjr9JnBodvvCODy3sRvjCLYRMEueHLOLeYF+TNnjfEsaDrVY4b2tWbEcrcp3Ip/HWimOPEznFHvWFc0tdvoa69FzVKwZI3Oo5bboe70TPTKJ3Ul/dKklJv7nT9YizcKmXmo1Rk/u1pqc0pD2YzmGNkdq6NGrrD8yrzKLQKfrSbIlWcfH6JdpLb4Tw87IW5lOj3jW07Ebz3DMGO+gyylO3geMwc6koxguyvkM+fvYVi0xiZQ16YEyzn2fHvSj8ZWeePTFirDjCUmW0cAXsDeA5mOOwDYZ+yULiaWYx4EusvSVqMvoSZs+eU7p3LtN+4bHci6aPIlqEp9QfOnpOamO5t+R77bNUenDU4bFR6FHjcsTPSWj/1qqRU8sNn3Rfn36nQiw0WMvkq+5ZS2TZdd96keN655rka3vPsP7JEstneI+3WfWasppUopZZuTr+4z4u7QK2avu0nOf8vOi9tIJTkZlHcUqfuYIm3J2Q/NSyRv5Jee0KvX1RbWSrU6rLBr9xd4yzcSXnwyHyMxv8RHGL5zXzirmqBb2UZ3KPq6ddTee7DafiGfcboV3evCwbcv/ybMvO/GRtAedGTXUVOo1BXE2Za/2FENd5BDsAm1GXTnK2Kz1kwZPcaa0t1g+9/PpOZ9WhVJr+qxMk586pnMzZhjJV13iaPJ4hVIf1GL5NAQ8x8c517Gk+UhZdGWN1MwoE/wd/XieP6UT7kp62Y9P1Azn6poN58w1bpRParFRV9anPSTTBfvyrb7G/2C3p0c5J/XyiaNq7CQibidClWql87X6FIZJEmlaq+q88rRG+iMSRmRjrIAqeHV7hJMe05PcpuB6PuoeWTDAdl+1x5j8jNMnPaa1al/b/+mszctJaonmKzFf20+ETOYVRdLmosTOxlGXy/KcKi/+i+nzUXSGRl5SnjVKOQEaTnz5qIlqRCTsA9ZRxBUbTu6Hp+JF6avGMorxKfNWkF+KnrvTLFtVoTx9I4vtokp0Y31GqmM9p/g3mkuXYlRDQQFtGaWZaNi8BuTtU9xj35CG0GX3xjw3GK8y+ZbluA4D6ogUBd9ICltjBQEUeT7ICDNGVqgxXoEimsg7gLGxFK2R4sjaQR4nL1sop/sD/Qk7KP7rErsiOJnkDGeBuc+IdK8xtDLV6pj7rJOo4fkXeg22pKepf73WaBmnqA06+WLuc7R5knE5AtPmZwg+N4I/2Rzk06Hn5ZsvikKjGDLy9n7RyRqdKtAT7k3/5edxhFJ+Q5yXaH7D6VuJN/ltJ346Ydq+yEP2Gc8OUN7Irlg0zUfkV/ORJwdSrU4UDMi3tMo0+qvZ0djYa85NfDdDVHnRLuUNHaMGHbV50OmpzOQJmMaaDZI6obykW9up5E32cihPCgzPRObYaJ3scRddsrPZZA7ZXg6lrzH+Oj3jrMmGLRaF2IqKE6SXWfYv1WcXZLFy5IAiJvRJ91FUN51yF192pUQ3PsHKx3PQ4bskrw/LyGQSaR1VkdepjfGJaFHGJNPhRRzfF8LzOxAmNGkKitzSKfSWE5J748zy3PnkaRMxWbNCQ4o3b+IEmfERQVS8MTxfMVyVPI+QjxipeD0n8l1M6J55R5IPifRXsvLC1hOswzsg1KSXXEslDCBinhn5x8SIHwb9JcsTLWKkl0rngl2hQn5qcYhOMkX7mJ2IxvyOgSbF7hAPQ99FO1q+OZposMCaMaLNJtSTnopN4+uTBzWWUWWvhx01kSp+MgZtTtHXuDtRI8URJp8iH32natR/SXOTxct1oPPV9FTn4PPDNz3EzoxvyMj2s6CIG4rBTfcP5y5kD5D97JKlbks0YDc+86LTM6NUyw1RZbRb4+hJTz7jvNJDnHzhfqa5GGy56LdlKsX8lMi3FDmZzg3oucQeIEX8qp5MT7MmL65JXACtx35d+vJC+3QuQk8lQTO3n/WUYbE0Cs6PvzrC9LRlii0tp5yNYZp9hq6M2V8lCwp0nDPxebo1PSVRnkHm7POfJUyhhqJJr1lovkjDdi3lJksepS/Tdh09ffbltm90rPktzxnG9rfq5eFcYXxPRGJr03/ooYSum2qWcpofY9cWud1Mol1C64bS4byfK5Ye8x3uTe/C6uitOC7Ue8mnT68Bit52470hepXfQ8Pt4LMUUar81Ad2hVHFN22ESatF5wwN2cwpMk7zrE0pzjGmY3TyxslUl3ZLHwN5X0P26Gfc37GmaCo635A9vRmGtBtkBCFx2u3Rs5jP3Si2+iNc0N/7xKpLnm2x7WW3TXmWr5l6lbUqz7ENTykm3dRly96lJ60L3RvelpPU9ERPRrGe8TbLA5s9VVFBDOngfIkWTm+mStCCtIEbnp2j1ztliYwJ2xzhIoJTvFAy5HeFZXZJVlcu5ZooQaEDOZY0R6cmPJGkhE9P0+V7VfI1Zg4scZWsSdH76fnv4Ie3xFD8RHp7mkgxMpm6przHbNcbZ+IH/i3btcGmpwtY29gtL02jYIOwNJ9idyfZrkiy9Uky6SGKKoY+h5jkaAlRnjZPRI/01oAcTasEa8FDXZKllOAwvXdEBIUR05UmRXfQUz4iEO+BRj7pj0QzF5MGJPvO5yfSKYh2eNcLBaflk7xujGdJz2/a4W0vJq1+PoPmKrWb9KwrkUdterdNE2V+k0uiMMWgZq8TxRrzEqlEETI+8RuP+XnP5AgR7kOLI8QUPfyRczITvz1+MH033/gqWnoF3+lee0yvSt5bXbTLp2czKtvOTLfv9r9/TSmUH+Nfv3/AmuP3x9Pknc/C66cXZ8cXlDq2Pbp5sXl2nt72P0OTs3xxfnIi5+/G7/Sy+/n2oIacC5vl2wdv3zYL836Bf61aMMoKQ2lheINfgV/67BZMoFyYBZQDflEmNX4tfnFN4V6FcoUyhXs06mn8NSg3bAHgmprHp48kocGl9wv+kaxG7xdpaGIYHGWHRaPMlUHZnJ9GoDOBgQt0LnBNokyKMkhVBmryYNNA0Y6SZbBUhjoaA9Eo1yjXqKN1noDGde3GiWDf4xdtG9xjcM2ijIhm3QJbZpyoS7l1qB1Kr8Nwo0tJdtiC8wWIiuFzteB6wc0C0wB5MRFBhFoIucBEQGhhF5gNJgOCS76QNtHpQwfHSCc+UspgFg1RhJVlm1LIFirRMvIJpcpyTpeRqJMoM1BlSpHJsub53TM5Siv0q2Mf1xi9Ed24KiM2ZbTDSKfr6cpoUa7UzlqKz1hHyn2kyzriu8V3S1OZzIz92hJO1+9XF++jqc93KOBY3nofrNV0nVyecVoXW2YkputRhjlZiV9dhvfHQ/6rp2fLt4p2EcPkFa2H1lYsnHLu/fGDQRTdtpBFt+2JOj44uG1LrpLb5W1KipDa+lQuou18Pzupj7YTElFOnpPVmlLy5HQk18s0SnRzMLtMaYbmD2er7oDNU7cvKVkF0+e3s0Hyztqn15SHffr9IGVjt+js9mg1kaIv69i6JTvuTlYdpeVJr+RHoUWzqfZBd/aRqu/fD/lPbjdfE4T+Z77/uWRc/PfsI7nc7s//iS35Qf5P2Nxf3//8X/n9zyt/FTY3vgspZ+fe2+H1z2Mqz5JojlpeDzkxzsPrm6VuFnv+it4Df96Fi0vcnIpJWVAqhfNyLa59fgF0urjY26SMBhcr34dzShRHZbs5BSgrfcnqmF6e/2HnshmyOG51TXkZx8QNw7v8r678+ZVf3V5sNn5pnYW1ZLTSzmij3T/98Y+lpc3z9e0vP0/uNJZba53hzFkjGe7cGlRumPo9hMbfaiMVSpGyFOa3XT/Z+2FpsIpTXUdd7/1ZieWTGYPoV+J4mqHwatPOnkyQOFfqkFI/PH7cXb6hBPNjGsEne+tVj3tXKUnVpqTs3tSU3Xurk5PZ4SblpN+cLrnSNT/XA1R/vlydnm4W63C1XH03m+XhbCgp0OKZv4xlfLMNCsZk13vPD57MUOOU7nj3jj4ul/T5u+8o4cLs+XdsPp9PUmA/2XvlaZQ5i2FKZ/OEcsw//CEpyc1yhkEAJc6/V+Kx4sdP9m6WNK/VYpPV6O0yHJiDTU74fXtaZ3d7ioX//t+ezJr545uTkyEjwN7tyaGW3+fi09PZ4e32cPo8nj6PZ/Fk76c8Jr/sT04YjIHV0j/6iWi2evjTN0s/X71bsoEDlrQ8q/khBlp6o9aG8S7CweZQme3+Er+gw1gW6Js4TAA8kGkQU7OxJDXfxFPF52838XCJbmKiRlxsKJVlyviA2/P6+WWsI/4hj/iH+0e8WGN/HW4ON3EYO7Vcln2mBODL/HCcynr+8fTyTxZPFumF8DfrgFm9GhZ09urkRMv5oydjJqHZP8/zCj4rY1iE5bNDSDKs8RWx3uwZRjXJo06kvFqE+XL56vurx7SAi1R0wIbCA5aLwzTJ+mjXUhKuymlY2V8aWl78+tepLKVQGZbhqm6GJ5Re6ZeUgO6X5oDlZfilOT0tFS6vD0HQZ7B02fF7qnt5TQnn6Max85ycr2SQRNfLy+vjX06Wzy6Of0G1+dsne5Ru/hdaJXDxqRLzsmNuacdAWkDsvgh0OTHoL4uw+AmT9q/nBwfU9nFNdpi+fmT+ObEMpRZsKJPoHf0bQ2hSdpv0byrq8O+Y+IbIMqa6HWm0hAWWBdigD77b6+LPy+Hb2/d52W9eL9uLn2focE55DNPnO3ymHL/0hXqfL3y+y9NdPt/l6a4uf8Z4Cufj9tMnsw+tE0jM+XS1flrmTUWpxXJNTCWl6aHFwXBOTzHaow/UxxwCa7j4oQrD1W/863fv/OvT8a57FNp8Kkhzyim/aBfhbEm74uZ1ErnfzPy7dvtOYkks6cOfHs229wk2YDgAT8yPK0MtEz97MAJY8ydKEJTZ8SCVtx+Ulyw61bgg7vLz+cF2CYZ08Oy0lqXFH4cpBtnwrCR5ef+gEPXuU0S9+xRRscKfqNt9sq6/wy3+/lum5E3rAOa+g7y4K0txN09urqdvmsUbFL/Jxd1dWaG75t0dS2N807x7w7aao93Qh2V4cxju0r4MaRC7QObduz6cHH7sylZjVH9JguBNc3IC0fGGpT/vhyQ+dBWK9u1dvnyXL4c79E9bf+p4u0i5ZC9IptwtL07493fNY8z5zXJ2AVny/Rv2+E1KwPkNaPfmZHlXpcubw+VdTs1JAmiarDMJnTegW5Y6d8NFNpE7fCJ0ctar2/PL4De3pAcG9V7uDVDU33/A5GF+snz1eKc0qY7ZYZjv5GrOlMw6JjWe1Mir+QE71Hl+Y/+voCDmh4fheMwxNrkCexwydEwGGI631VrKCVZ02npFeOrFFVTGoCnGjlE8P6QPdAXQD3Jos1qGk+Z7XMkTeExVN30qxF2P8Ys5L54vN6tHmz5zwfPTJfQ+ZZlKwj4QXEM7YxtpCm9zyTHaym0cvx8aeU9y9/bVRReW/OFsszp8/pAy3xE2osLTTY8Nk68vN/0WKnv7nBQYjWGZx/B8gKCU8Tek3LxFFT/fVrFDCjFSLv6ip4TbARwZSKdEyg2aoMYExhf1kDUCaswXbfqcq0ENZC1AdeeLy4urMpCM5Glpb969uzld4gr2ZvvuXTt89pDP6fPuTr0JAEqzm8U2c82xKcH9/aKvObELX7UYU/4EGQkgcngTKsrtsSzf//Pj/nSc1PfN438+Pe13QdGUe56T4h+5ZkA9RPBnJ+N2e0ugHL09A8hGr+9HnEbfEjKq6DfOrtJGfYs/WLkDoODi1nkLPnv/ybEQEvLg45bExAoIcYCKq9WjNmPF9ht8yWAxyUi0ebbEJFZD9jzqBYCtef+JLfP8Vd6hpYWQWnhVpO7L1CKhuh/GNl8mlGw+2iYx62JIVpntrcpy64Rh1gOs2cIwJd1x4sNVV7ALvjzcG3KufRaceTVh2HVGLWtCLeuMVNYjUvnm5hWpvVdZL31gkiaNsn49vfpR3bd9ywcN3P16A3f3NTCwW876fNW8TybDgJxoNuOGIGKyjzhjkyGXterN1eKGlvYV5lzW1l8tfC6iPHXru8fr18OqXy1eTq68fry+GxvybLFhiUf81cOfUOFq6cF+4WC5YSRUh9v4YsOH215e5ft4vo8fvAzjrpnNfCCTixSfso+VwRb609JDmG5w95KubuaP+CErFm8ReDo5V4+Psw6dPT/406Pnc9ihtDHuTpfP5+06+F+On0Ndvh+GBGNfpCHNnmMvzd89mT1/+Pyb5Z/meXQij65OQS42MnE/KPVkVldpx+FQqstcXR5+cCNWc2xTLTZqIMu0zW1vR2lS5SbVwe59ucVNFYk+LED8snz91aLP23j2E+kkJUDC+cGMiJrpifZ7avl4F5ckH/VFUtd5Ry6vmoOyA+msEGq1W14RNOivDp7MruaP+6vDJ7PDq5q6dXW1WGUxdHP1sO/mx6vNwfImHPTh8OWQXXO1OWlSAmF8OFSy4ptVkZ5Xi8NVFqDfrK4ml8lCe5/bSIAndQZ2OkTrSizQ3XIJBi9bh5IjLq7eTxPNT7fT+wef4VgnZcSV/nd1AX/a/0un0WzX/6sN/+r//f/W/7s3+92f/rR3c315AUPn6AHG8Mfrzl9WTwE48rDFmPwa/V+F24uONvLe7bOwF17DzC118Wd9e7T3u3rXq7W/2exdXfcvLq/3+L8SZ9/jaz7pIF0IIUyK0OX06+Z2DW21XdKH11242brNX/58nUZwOvFak8lbvdb/hIGQx3r0Ab96CtH7lpKQ4z/awUn9Q+6t07012/XlNfD341dvL6/LvW/f33+zr9mB2/qxmyTwpqbIE9At+tTScOW7veubsPa31+unZ1lejpbSKxKM78cmPrgvDWb75gdYJYjz7qLengyy2e7Nzdm7d6+esvQvT/+KVD2uL8Kqz0bc0MJyOcsYieb8nV9MvrTjYP0RNbpctunvd9/Rd1a+s/Kdl++8fBfl+/1dn3yq56phxPEFVMfx4eFFEv4etPhm2VKYyTA6fD5pE4mGzO8p+e893Z5+xoTbE3/vqD+HYN/M0ML83hF8XhP+pJ02kbh9aOLfZumrz4RKh98vH4Ps85fLf3s5ZsG+r/a7UvtemldvAxH3XSL3r7b63Ze1+t3ntfqvX9bqv35eqwcfb/X8nHYk7FHa4H4NA6A5/qgPJl08WE7uT4w5P0i908eaTDndOz9Of2DRaTny6b3DO/z48Kocul6vr1/dN7jxttdLGslivXx9SONatGz5+qSOcH2Y2zkuzbWMbIuT/G3+66M82dnBoztg/jbdt05HUFRw0rx7lz5snUet0znBq+t1D1BKVx9pCev8tnz7G1Cqzi/dVue4pglgFoep/OyEtMyG+qO/3313cZrK5+vEvuN9h+zs9HSmJanBTZ3h+r4Znp7+B84wrWAe5/YcD/IcT0935pjLD9iJrPMcykCRL5jnw08JpDLTj7LapzbMX+nGg7+mW/+6fevLD3fOw/bpX88OMI8D/ElNHecvdSO9LJto+fL0lHbRr07r0SemBXSQPlWRsCWVqyB+ePvsYrNM/x60x++3Kx3+eqXDloa3Xe0EWqQc335YgYzYnW4gNu6///R082EP7359YO9oYO+3jqHpsHlKsnv0cFHDA5fPBMoeanmQLMuULP7y/E1YX+e7jsczbV29P5+9TuXcrp3fPoNUyl6jNXq4uArnAYJqPfs2tdVfvLzYXFxDd9/tUd/fDj4bDAIgyAOIvGvpU4tP8212XC1n2/yYorO0nKNac7boty+39XJLl58vV4/6YZJb0HH2fL6on4lp54Q2k1ZPQ6OmtkaVpvL8eDo4OmufCvopHtqZBG4dhg0Z/3xLC60e0WBpMa6Wq7+hz6NYeF7GQ4Bj4l/N+x63+8Xz41HyLYlH2vkh/QHEybQPq2ULtqXrW96BXLKF3yiKYJnc7Ph0SJ9ooJCLkF/jYNPZ9AXEI0iFO5IftI52xwGaDYq92+vz/GmERumwYJjRt823x9PbN8evnl1ckhu4EH3pH7EGutIfPn/ImuPNJLSOwqRn+80+xFNDscx+CZJlTgwvw3oTZpujNvx8sZrNF5sjiCGKIiz90t78Gor3X+wHTHER745u7v7T4v/I2aM+8P/Ir/6f/5Cf//afEv737bff/nB9dePXYY/E0t3eJoQecnFv8+Lm5vICn8PqZxKbUKSb473Vdfm+2FuFW+DGX/aSN+hi3R+ikdu7vRsIP/9z2Byh5QcXV+QX2vPrn3FxExbd5uXi4nrx1831anHjb59dXrQLDOn6xboLCyz/7cXm9qLbLLKzZrF50d6sr7uw2SxIdz/487JUOvoz/kLBRkjj8/M5hQvQfGbzI5rJ6vbBD3/58W//8I/L/f9AWu4/+OHv//Lj+V9+/P2Pf/nx7374cfl2/wfR7D/eeyqkPmq4EUZppgVF7u+h7SMlBNOskYZei7LYk8IeaSOUsZw7rXS6yxwZ7EDJjWSNshZFmh1xbqXFD8NY3GKPG3VkuEFVLiTtb9yFIiuMVsJp3XCuc5GzzDBtHdp3Bj1yc8S40Y1TzDgrG5TRWIVOz4iL9GQ0tebskTLMoO/GpL8oU+yIHtHTSmlrhWUyD4RTgjetBVfWCYX7uDgSTlqprXGqYYZuc0fSoY6iZ9AsaIyhMHkk0YdUlK9UOq7OFnv7P3CV6Kf4kcV6cGYsc9Y5ahb0ayCuROOYMjQZ1RwJppyghML0Wg0aONdHlE0rvTmbckwSGXCbwjLwRmvJ8AkDss0Rlw6ERtsoJdoICzo48IDi6JGlqVj0KaVpiKbMCUtr5o5AEmONdLKh5w5AGHGEpaLH1Qy9m9GhA9mA9ko2IAkGrqRJ99kjCbIroy29VIbohw40FsJYhZXDD83AHlmMVukGVNb0TAVuk0dCgMwp+TDmRyspaFYNVio9Zeb02fsHfYh7QL2z7KGl7bW+Xazmjx+UI/nlsPOOfg7Ybxvs2tlY9Jd/+off/fTj+Q///Q9//Fuw8/z4dklb8AjoO54nuB7Ws/mDvbV/tazb9Kh7Frpfzq9f3N68uJ09xTae/fnRPnbV/nwxDmM9S0OZp4+r+dniNry+Xf7j+kVAe+HS32xC/7HODm+PUxjAF437wV5382KZ4weO1i/OX1DDB+PXDX2dH5Zog3pD/Z7veJDk3/IS8mkGIXb0txfd7V+C7zGui+ujf0jw8A9/PwM16MjLbzYBYu8yrGZUbb5crh7slcKn9OTI66f7JGf3z+bJm/4ahlTq4GyZu1j7FSaVVyz9e7Caz8eQA7pzUQi1wPTSSpP03KTuIFHjZvFLuKOlXq+XT3sMdkb9Lbf7XoBkm2W8vPapNPQ/ByrNAh5Ujov+IsYPbjjElTJu6orG/ubipnY9P3uw1y+fogJV3z+bTHF9BhycZnjlb2a+3Sz6ybzSOFfLRLb1fHEV/Oo8jaBqhiMqnPXlIhr4+A0eN/jX9Tq+UNkrCP6L1TkLGjx7NXt9smThUNfxTW+Rk1vk9i3X683tOdFws9xAvYUewyV6Ly/9Vdv7vdeP0fFsnP98URB/5vGnj9XZPC3ZlSf0j0XyN8tBRR79bv3ziyuosD/TN3D9sb858n1/7kv5bP/w8PmLi+6X/UWOMlzub2AOh3M6g9z/6O3YjvsLdOhfXN4uy55MaPOi89TCEenjfeLb9c+bJRpII6EmNuh/tbQw9EiHb45Sx3spdEoxTscfECNvc9BZOQkaWGJbGR5d3IarTZpsZt/zxflyIpxcfmB4wfT8GGR9+gHP3RWGu9tlt/nZMY3iaW7obFmYCHL9Aw4YeW4zp4ie23MKhgTT+Mu81stlUxeabqKT5rxrd6tnzlkMw0dRFoVE2rx/zmmAR72/3Sd44vvz9u42gAL5eH3W7v+v1f6Cz2HHH7/0ly9CES4Z+RC51ucvVgSmZvsnFxf7iyRappIl14JsSSsBAUirm2bfJRy5zBhoQZ3fLX+fTqOJUuc3dJZ3t6TPi/L57fs5qHh5GTpwM74dQ+hBoo1Li2tFfhNpwgqstfa3YfZ0/48//u7v9hf7/+OP/6KwTOPyvvKXlySapmvMcsIHDh1UOxvXLeHL3O32WlJT5zk2a7Mc2h0L8HmBPjbn0BXnaXqb5eoRSmnxSCwsJ4Lx6fopOj57BAGQprWm2WQ6Pn28OjsrcxyqPt0fpcGh3j9LLR3dXN/MarnGjtu9VX78VrlP9j2t0tP9TPb9s3GmdD96vVmThC70ol151L+4utmQJoC+jJcvNs8GRTk0lZYXPa4SI+z5Vb8HGtHW2RKR+2dFktENdHGyOco1PhHUO+M8ykSa0Zbwy7p4efnPjttpWeaFY+hEMDVtrKJ1UsGWymvnxykYfnITfd+5p871+eVrdQ4OebGhmM3VfuGQu6THdnVAFiF3VYTsypRdieIX7XzUfs1RA0Bl1WLczS9WfejTrv6gq9nLp+zs8CU5ekbeernNW/PJNHKAzTOK1MImGmaR6ZX+XSSq0D8LuiN9epSukCTOH5IQ/rvr1RYvbG8EtMwfrh4l2fZ0f7Jrpjo5b7m6wCOP5gtoI3+ovayub897dIxLT89oQDusmIf2dP/3Ly4vSU0cJpMys9Lez5gPrMhbfIco648xhM0NGGdvolWP9oEgtiy9pHygxuZHr9AKdB0Q42yyP/IIFpuAXsg5vFnOIJQW+4+h1Q5I0s7JWZn6negx2gpUtDP+x2t/gQn8w90GOuvH1xfkWnyA2ufnFFRwfr5c7p+fk+4+P99/nHX4/w1f3ZuLn/+9H//8Ff8P7Dcud/0/XLOv/p//Ks9/5lOU/vpFexn2/ucffjr/F3qyvnnNjqJ0ooX5De5x9uaALfaotBdtSwndne+FGEtbWKFRWOrTqbHU29h3xjppmO2oFPoOP3TJdW0ITXo5Sx/HCo6j0EkdRc/8WGp9Sy9j9N5IxmupSG//4i64Tm83bnrJ+yh73YEOYwVjMDayqmOv2lpKqYFjeitXb8ZS3be6tX3jeut2Gtdk1rfBxb4Nfa2gRBfozTt6Oh/NtHZdtPTe01qq+s56LoXvtBPbjSuvusa2oJeQdarKsJZ5J33vVCWLSu4HLrwRytVSynerRHDECduNyyA4yN31pu+6sYJsjRGu160M01LbawgH1wkr6iylll2Q0hsejNxpXPTgAaWk4j2rFZjxEmvtehf1WCoi71vvdROsqfeKLnLTCqajtTtkAamMMo0PpmsrKwowhnBcaSF9JYDQrufGC+HabtI4RgFm8ylr0k7j3JtWBW2dCZNmsMZdj8Y9Z5UviD97WgvdNXV9eN/0UjAUBmu3G+etFEYJ7igHZa3gLEfrxjRlkXIpZsfB5la2XWVQSOO268gn2Gq+07g0UnnpOxvspALvpTFex06LSSkTbed6SrnV1j3BoneUW5N3LdsZOaV/bGMbpG9EXTrWOdd5Z+jx5zofYk/MxkTO1KQUPOiVlqHvM9tOGrfYoEb26TWUtYJuIbPALFilUEuxaaW0mt7SV1mRich6bC4Rfat2GueOM9dCTgUtawUmdKA0FZqpOh96oxW9yEy7pq0LCsbsZRexvbTZabzpRfBgOI8JVG5pWoisnoXQyVgJ0HiPRU67d7JvG3LFNlgyB77ZadyCM2zUggUzaVyHvqF9Tm9qq6WqFW3UvvfYHbVUmt5jo4eg+nancdomVkAoQ2/UCpx5SvYUW8cnXTahl2iKZGyleYwWEoEx24MuNwfNpPHYC0g+zsF0PtClXOpDC8YyrGGtrKXWa91IS+7XSanWlFims1gQvdO45B4CtDW87UytAI3Dre+gAKUeSykRIORtAy3o2lraOy4Mim1an2njodWU4Anc2LmmVnCSM9ly76BDainltuLRmb6VrJaqJm0L5oOOO42ToOxk8LR8tUJKY9ZK5wNp1lLah7Zn0FC88aaSsO98z6PFJsWF7cZ77xvnHG+kl32tALoKKD/Tm2mpdlAMGgK0c5XmPcQ8gIMQnlm20zi3EHSNMB3GXivQC8tA9VZ74cbSLjgVRKNtCwBSSzsXWGeAF5rgtxvvIORiC5bBcOoYOzSLLRooQVNdiU534BYbOko1XUtlbzvs6D4kHbrVOA+9CQo6HaqgVmDgOAjoFpudj6UthEjnWgselXXkGJkTuuUBxA3bjbet0m3fgo2g/msFYuXIguqiqnzRGmIUJyKxYy1VaEOyLjDpd2jeigCRQe89FHpSgTemiwBcOk74gl7H18pIOG9CLB8UpB6zrYUQ3W4cWsLYDpK460TdLh7SUwMtRCxU7dLbIDsNyU/GQC01EGOGQ/3HzFmTxpU00YWmdU2ItYIwbQv5wgGjJo2ztumEi5C4pi6oi9hcXEP96V1uARuFjrc6YgErt2BjGpcmBN1bS71jzgnQHDu+ltoOwAHyFqu2s0OTKG5bgAs3IQswHuCPo3MlW7e/E1ZqBgzQ923dt44BJPUdt0q13U7jTSMwewNk3NZmQFzpFJNSdE1lOttZrXyL5Q+iksWScscWV5gW327cOpBRRWk6O1k6axT0dQTsmnIL5DbYgjIXaV5HDmjnOTCLA+DebZxSJfToHLp3MppGa7RsdetcbdzAiNYWDOQhS2ppF6FC0QO2mNtuHCgPNgpAcOATYUTnkUDGrbcJ/gylpuvBFRDrwDW1FMhaCRWAgf0OKwISRQBc0wD+Vb4wHDytmLaB+brMpgHkjMa2Qpl6L6jRSTqo7aTdkS26txqAjFsXJ3SERKA0ga1o4oSHNNAP5041GE3dE9pqya1IFs2OJtJQnVyZzkGTTkYjo4XsAvs3TeUhYF7WB5gRWI66+Jp2vm48p/czbzeuYg9pQeM2TR2NwtbCJuWRgHst7bQBiof6h6lXS70HiBVcBB7bncZtpGQoDaSGrGNURqak0opP9bxSQI5gRkhHPukS5pPuCW13YmdBFRRxD2TgYbtMRgMwD1muaD0rX0hKNMhgFWso7loKo8V5gOseVNhuHCre0ptJ6c2fdemk060XXFrFVeVzaTwwX9DaqlD3rVQhwoLqvHW7mgg7nJJyA6ZxNakAKYehwHbHpq6lsG6AFOntq7wSCzgOViYkI/N+R7YIaGjtIHT63lYFIFqAfsD2lDmyljrX9zqlLg1VJQrTa9CwwbZQO2QBmAuctDkQwGQ0UtJhOFkkus5HcGMDhIs0SlXOEo2Hyu0Jcuud7Q/93Ltgu1ZDaYwVyIjC5goMW7WShQPkwu5pDSyrOkvuCLPBCHEN29lEkNqAt5r1kCKVLziUrmwACTlIUUtFYMBJwRnfVGJB8mlleAf4+0HjAMreORiSUOljBRakhZoPjYUaqKWALTBlIYuSwTWUestaBUMB/LzDLcw6aFhvLERpZTrC/LaFngc2rGRhsiOlTRlKJ3uCkeXXGHorr5E7jWM9G5ih2KBtJUsDgwXWJlNYikkpiW0Ne9O4ydZqPKZCpimB1+3GG2x/GFBYjxAnFXRUWgG0SxcrzRsZgodGJ7OwchZllmuiAuwyaodboIYUcRGDzq3NxN4q8C+guANZDgcDxSlNrAWYzttaqljUCoARKsdS6cSygLY1VtKbrJ0aK4TOCd/20QKmTEotSC6Ecb5vbC0VWN9WwfQBvNhuHBauoGyx2Nm2HytAIdJbojl2QQi1VBvXcxcopGNyL8MiN8FEwFmz3XgHA5UwE1OwdMYK0KlMeAXlBSaopSJA6DsIXh6asZSwr+YQAAD47XbjrZdCk75sodNqBYhuSW89c6yvXbYwRJnuGRRpX4nlW+lp80OYtX67cQ8NanSP/8EgtUITYAsAFvjWVeq61nXOQkVBIdf5OGg/ipmCacl2FpTMePAXgAQU/ljBYoTSBQOZy7taqlTXKSjSCOt6LDXRSsKUCkbADs2BUHzPcpLYShYDK8T3QkJrtnos1T0H8mOU7s/UxjWgAsQnKG5M2G5cU/6sDnwN+7JOFWxpYQ82GhrG1VLABKU5eZxYnQ82MtZLg8ud3WFFKbA1YVlDujZ16USLzQKzlVGC41oqOspToVRwobIibxUP0KucFZaYSEWAEA5BB7rp2jgjOZxMUTXpknJ8K8p+KGGn1FLZC7QCCCz4DlkiqWHINdtg9W4O+bCJOmAWWESCwSoeSjs0C2MZ9mkPVTyUgtgNbEIJVADQitIJyqWcF8GCdX2nxgqAYBDnFnBWqdo4xzQADLH2mNZYSk7iFjJAQwyB38TYeHNECmJ819/Ewf776mD35OtusMs5ybDSpPQaWwoQOxJSO2QjboouwmTApgWaOnSFcpbedg+C9q4Ht9otR3XwIASkuVaWLhVbnekGiqNroSvGUgb5BwkG8alJbpgBTbUOaJW1jLtIpRPKSXrLeQ+WEiR+SgXIDdtzI2NooQmH0khZuWCOCCABPZYyCfMKRQ12DQaip+gD+Be6lIwh2CW4lEcDeeIjsGd0Wo+l2itIVEpEHq0ZSy2kKUBKw5ilra23TFVMRgYupJe18U40zEFBUB9uLA0MwAt6B1tSy7E0RmuBGyAGPUmTaeNNZOTaBXwMtHZqAAgOBlxk4DIYcUMpD9x0pFQEiDOWih5YtwvAkpbYTE03cQ890wTGQODaDKbfcvKdx5grDAcYwbUAO5QjZywFFgE0ND7apttpHEI2NLRjKb5wrAAWctAc3MFUt2Mp9kFDxrHtFIlINeiTXpDAt06SSp423jeOhxh8wGD8WAGc2CsJ6wNQqxtLI9ecrP0uKFhfQ2nDWqj6QJnkNIglpzT3gBK8Y6rXsINxqWChCLMBw1FA7LUULNWBMiA86fBSyknYS9ljNLrZbpxDXOsOEplE3FgBZnenguyddX1TS6HRIwwkjUXtxlLMLVCSMwAhYsVp4wqr0FK6OgO5PFZQxLoKNhKAbzuWAhnD7oRF4iUstbEUgruFAnIeKn67caME0Iv3MI9MHCuYoDtPiYwkhj+WWtOyzvVttICxY6mjhB5Gwe6SbGfkDjIKOtb12Ha1Amx68r0E2A2xjhG6MYChAffZhISYW4TKiEKCI7cbp7wejbaUqJ1XOnYOIIiOJAN06Fja0yFQ67DdzGTxe1iugOjG6Mby7caDjgb2mGuhmv1YIVIKEtjq5NmsKxE9yIFxt1AhfCyFnnbgFBCeTnsmIh+XDCQF1s1RBk26VPA0rBjRKw4OY2MpY3To0ns6IZK1FNAGJrMHzJJiu3HWSgqTNqpT1o8VYLhKzRWzMEpVLQUOVuBY4YEqa6kHosX+BkAkXTptnPKHBAteNVaLsYKAyLFQRjL6WLsUnhLB+OCgZ+vIwVJcgXyOVMN24zAasf6wP8DutYJ0XdNhb2kubKilsYHk7wH5tK/3KkCLHia97RrXbzeuHExjC0YyoEytEBvpjSbMQ/JCDL4UmJye+yAxnlrqOuDdwKHhw86CAmDoBoPXHis7VjBounMdNo1RdUENNLHtsRcbretKmAhmAWqKvVY7ZLGKY0d4yym5yljBet825O2DlKorAWlL6baA+kDlWqooeUrUHkbMzshdCwRKIhnqtTYDex56mPM+dLGO3EOGBErJDHuvztJ35OwD0gTEaLcbb4EJpOKwQYDmxgqt6Ym81oBYbS3tnUERNkvs6zKT57JBBQdgzrYbh47seucMV55VsnSUTcd6RUdstfEeDIpFhgqJrvI5NGInAe4ta5jabjzA7KaQBhUxgLFCgNrjLedgL9iYY2lnFUBC5znrauPkMYQQhdUEdbndOOECSmpjs+QeKkBMwHQNDQu9rUIBhpGJGkzkY4WTQN0qci6FwFbfxqoNNmZro2tsS/bBUKE1MGxBAEte/bE0WKeUs0ZJ5sdSytEpKOkaRKDabpzBrjcwHiAYWlsrmB7WFGQd5F8dI/Mw9ITrSNCzWor9E6JmwMO63W6cM9kBL5CLkKzYAU9LYqwIgBZD7RKmhO0g5wLQRUXk3PedgfWtnZA7EJ4HJgBpOFNtqBVAvgAjEJKrbUMtBTplXEUSjLGWmg673IK+LambaeOiZYoOXxg2ex055QzCNC1wWltXApRuu54J1StWByJB7y7EDkzHzHbj0OXYcRFTs2TyDxVa74UyLCUIqqWx0d6GNlIP1VABNqGDQSyGk9uNg/tbYRoYJhSOMVaAdtYMlgIs+66WdlgbCfkJu7zem7IcGWmZsNxuN64pKAT3Yyf6SgAaC1iMawFRVUs9NIrvKQiIVxJCzthgAQhaHXZobsB10PIQ9nQ2OFQw9OgPBLVlYdK4AV5x2D8cMKSSxXTJVouSspLtNB5bWPDAktL52rgVCuYJBRjFiRloIfwhnT2GEWUt9cSFsacEZjsjJwgNe7L1GoQfKziMWACKS0pXWUuhtgIwOgwUUUkIA6zBqJkTAE3bjQNoepjkMPaimti2QJDYm9LA0qncAiusI7cOw5aZlFqlKHCBvDg73AJrmqNPFfu2r4tEJEQDPmUvrBav6DogjhYIK1YeAj62rYGR7my/Q/O2tR62m2FRThYUugw7otMs8r6OEWoBgDuyvk2271BqZIBMJcd+y7cb76CHlIFVLMDwtUIEDVvpAyzg2jgwvtDQKdwzyWupIU+V5MY0bmdBYW+ZKDgMfCCMWoGCLiSwZRf72kzAnrABsFgAM9dSKFD0KSMMt53tH9pOB7Tdt7C9awXKq4ktANmia+OAVhwAmmxUV3mIojF6bzyFevXbjcfOGWM701E2+aoWGg1ho1rHun7ifMHSMzozJqk+ccm0LWA8DEIh1LZLptGBIsgiUIqoPjZ8M5pBcbeQdbUUq6AtjGUBfFFLe5tS+jJgtx3vYBOhhghvkzquziSGTS6toKfnqsOLSeETACL/US2FLFeMDkc032mcWSBQrHOLUVbXFgOOY3RYxaOvY2S9tuR4lei5OvtYhKnhYVZH0/BdNxj4GRYDJamT1W8mDTSCB6kovG4s1b2V3DWUcaJ2iYWA+QzFJXi/45HlUAtg254klKkVAvMdpIKHUViXLuUUBN6E2ia3zejWa2D2OgMxItl240JZK20bFVigNi5s02EZejqQr8SCRaGU1xDy04GIns5SIHQh/vVO47DvAgSb7aDDq68SJouz0HSw1OrSQVsyBsjlfNvXLqVx2ipKaWuY3PFregmqc3BjO3Hh0rlzlDAWO8cqn8OI6SBHIBW5FRNXqm5pQiBiu0NziEsYyo0NLDSTCmAKiHLyLUx848r33EFVWMC8usyq99ByUVK8yAfuXjC0s7bxYeIe1cIETod6QPZx4jWmKFUKUIiT+YC/geOCguWud0YOWKmAOLUILa8udgBl1bQ+tJTdsLqveTKsoSq5r+sDWwqqhh79bXZ9yTDaIeQ6T5ixMh2UrvPGQE1pPmkm6tBLmAt2epJioa8V9Bg9wLwjW4AJCOUIgN2+uqQtOd7BoYDRrhILmkZhewaK1K00B0COrCV/slA7O9RhywHKs47ihmsF00utDMxQxeT05AECqOeyU7ouvotQQSGAW+gccftYg3QrmFRDC9bREILCriJmnzCdh+4MkRlAl67OkoCMp8iVLvlb2HZkkIChKBQsusnRS3pq2LuGspPW0i6EVobA+2Zy7NRBysGsChHYZ/coScOsgkGDDtoqcjvQEH16K3XDJydSkDSGwpe5rYvfQ6bSqSnkDtuheQ8LNNIBBuwtNzk1w0YP0Dy6bWvjoYXBogAJled15OBN7SG4uobrXU00/cnu9q9vFfn68/Xn68/Xn68/X3++/nz9+frz9efrz9efrz//r/38b4ZKTII=","source_sha256":"802962e861d3a922087e897dae86d43b5d36a7e9253b69547086c943da8f7007","source_hash_definition":"SHA256 of sorted archive members: UTF-8 filename + NUL + exact file bytes + NUL, concatenated. Archive is source plus credited engine-row fixture; no binaries or external runtime packages.","run":["python3 -c \"import json,base64,zlib,tarfile,io,pathlib; p=pathlib.Path('test/scratch/r4-reproduce'); p.mkdir(parents=True,exist_ok=True); r=json.load(open('artifacts/goal/batches/b-qlx/items/r4/result.json')); tarfile.open(fileobj=io.BytesIO(zlib.decompress(base64.b64decode(r['code_zb64'])))).extractall(p,filter='data')\"","python3 test/scratch/r4-reproduce/build.py","python3 test/scratch/r4-reproduce/check.py","python3 test/scratch/r4-reproduce/verify.py --out test/scratch/r4/verification_packaged.json"],"requires":{"platform":"linux-x64","minCpus":4,"runtime":"glibc, g++ C++20, Python 3 standard library; offline"},"pipeline":[{"id":"build","command":"python3 test/scratch/r4-reproduce/build.py"},{"id":"check","after":["build"],"command":"python3 test/scratch/r4-reproduce/check.py"},{"id":"engine-row-proof","after":["check"],"command":"python3 test/scratch/r4-reproduce/verify.py --out test/scratch/r4/verification_packaged.json"}],"core_repair":{"input":"e4c77091941c6ff24d80cb9f94016d05a33fb58a1d38dcea097c46aead1b0b2a","original_core_repeat":{"seeds":[9700000,9700015],"n":32,"max_abs_diff":2.223544015578227e-09},"change":"C++ translation with contract-exact integer policies. Repair: rand_distr generic LogNormal and Poisson use num_traits libm exp; GBM and StandardNormal rejection use host exp. Host exp for retail caused 1-ulp order-size differences.","first_pre_repair_divergence":{"seed":10010512,"step":15,"field":"retail buy order size bits","old_core":"4631889513306034565","instrumented_engine":"4631889513306034564"},"after_repair":{"instrumented_market_events_bit_identical":28418,"seed":10010512,"constant_edges_bit_identical":32}},"checks":{"arithmetic_bigint_cases":12000,"config_fixtures":5,"config_triples_equal_numpy":512,"evm_fee_replay":{"LEAN":9519,"QLX5":12228,"exact":true,"scope":"Two pre-repair input streams replayed through the original contracts; validates callback arithmetic, not market stream identity."},"callback_counts":{"LEAN":5619897,"QLX5":5626901},"reference_precision":"6 decimal places","seeds":[10010512,10011023],"fresh_engine_seeds_used":0,"leaderboard_submissions":0}}
