{"key":"mix-1","bound_rule":"K=1: retain both Gaussians through the first silent cut; moment-match before the second silent cut, then continue single-Gaussian cuts. Cap silent cuts at 12. Current observation recreates the two-component posterior; collapse at posterior weight <=1e-5 or >=1-1e-5. quote=0; THR=0.5 by default.","cost_paired":{"n":1024,"mean_diff":0.38458187468832417,"se":0.0182337224263466,"sum":393.81183968084395,"sumsq":499.73107756116497,"worst5":[[60871,-1.9644495044759651],[60409,-1.9077208981689182],[60337,-1.2431529451752112],[60843,-1.2364773044516824],[60219,-1.1446239790594746]]},"parity":{"thr05":{"callbacks":213160,"max_fee_diff_bps":1.183585e-08},"thr09":{"callbacks":216440,"max_fee_diff_bps":1.264243e-08}},"gas":{"peak_afterswap":178071,"mean_afterswap":64152,"worst_case_peak":162965,"oog":0,"reverts":0},"stress_reverts":0,"validate":"pass","bytes_runtime":22073,"slots":12,"complete":true,"blocked":null,"code_zb64":"eNrsvXt72ziSLzx/+1Nw+33OWLQlmQDvlul+0peZyemku7eT7MyujycPRVKx2rqFkm3Z2Xz3t6oA8CJStiXFajttMZEpEgSBQqGqAPxQNezPW+zgzSwNZ8mH6/Z0PPjLF/8Y8HEsi/7Cp/zXdB3XMNU1cZ0xbrG/aMZftvC5mM7CFF7/lz/n5+BAe/PrD/9qvepHyWiatF7GyWjW7/WT9FB7/fLtziQNPwxDDfiiH/dn19q/jbbX5lZnpz+cjNOZ9unF69eKe74Lp8lnrZeOh9o37YOFG8ha3+SPvU3DOHk56o3zB14WnpCpdw6gfH8PL6bTfjjSusmgn/S0Xn8wS1KtkSbhoD25hrL1ZgHTtXAUa9F4OEmT6TSJtYtRlKSzsD+aXbfCqzBNtMbHoa7Nwu4gmbYp5xeDgTbtfxhBasxM+3gRQuVn/WSqXUwTjSXMa2uvxh+0ca83TWZTDXMZhbOLFBIPxh+mbe3NDMqrDfqX8Ex/pE0H49n0xGi3GTtt70TjEdQnmmmqWlp/qi3QRfu0o8EHisltB8o/An4czbS3//hNCzTbWPx0KPXFYvKfIDFbcu/Ny7///PrFG0qiHR1p3LZFyuksvYDCfSfI+kmV4aqjzoZhdnqZnw7T/Cqcfq4t/zt8G9CvU3v31c8c7ju+ySyXeYZt+75lm4a/JPUvf/87JG+ZhmHZhm9wg/uey1l9aqguZu75psHtItEq2f7wGnN1PIPZvm14JrNN13KXp/+Z/cg8eMRiluXYJnNc0/O5x7nJeImigikygg5zemVn00l2mpNz0M1Pgd6qJWf56fR6pCjeAwaf9ccj7UMy+zkcJg1dS+bQMUbAm5MLYNTxZZKm/TgB3gaOHU21BhSvP/qgDZPhOL3WoYCQxVkSnQP/f5KptG9e9+dwkqhe9w28b/GNYQ/e83IEPSUc9G+ShirdvKnOrguFWSxHlrzXzdL3woXi0AsLrTANoL/9lkyT9DJpXOutwq+53slSQ6dWYqEP5QOaQEeearOzRJsMQBZok/Hg/bAft3+fQj0G4/H5xUQLZ9pVYDR/g//a5Az7pHGocRBzrqN1J9DrQUjESfaOXjeYjf+WJA1oetcp9E290wuDXjcvjeADQW7tJqCfjWnTaE7haC0+XnMFjkLlhHDxTgNJtcY7vSOu+fm1qf5v1eHlTWbcepedBqzwjhAoeqN3RFs1oImgacTtejZ4cxVOGpk016JwMIjDWajN0i/GArVkVBUSAvdUb5YusMULfPGCuXjBWrxgwwVx5pzKE/e00Bx1nDlL26k4/e8Sj+bX/1XIoTseD0CnFDim38Oks/4wAZkznBzftGd6gRKF114l/Q9ns6BUYq9YPPxI0S5JF5VvwrtkJsE7XYsCkbjxrnnTHsL/ywXuw08ygM6RpRRPl4nmn2YMpkMG5UYxijfLt9hpi+kLbwPKBOOuIOBNM2oCZfrT7y6uofMUidRCIlWqFrWvoF7a//6vRmeGXtt9qrUrE7u220GGNR0vag/DW/seJEhru1+e4DLV91m5UJ93qmdKM4HFEyiifDvdv2kPui1UlofTffwDhAE1kj2VqZOwzHD/AXSuMBnxIWWMvRLpCS87ummn+if4CvBX56YN6giEx+dC0XI6qoeO7/cQlCoQ9wL2LTvknZp6N5Se6TbVWagHvSSZNqYtwbUp/YXMkIML7ZsJ7XmXxLT8ERaSwNsnwRQKOAuK7NVBsgateRdPQjgJO0pI1ovFaNCf/KaKmqqSgukJZwX1rEShuL9U/fUa6dGQmlOXGlr8KjVhejxslZK0yknk5XRJiYfjIVj9jQVpcXuBtaGq2eWysg8D7Cp72DH2G+9a2G32qBMcvKtI0TDAZK1hR/7u4u8UfmcJL0Vu2EvC/XAvPHinZ7lS19nv7nXhYpZ7tWEuKnVUdRiM1dlZf7Het9olN6Eq8U2al7VxEzaxPk0srA7sBDk0sgv7aKI24ZXwrlIzCpklG7GYW4q54RcIiDw3cWFpbjfhkaHfhIHRwR8p/kgDo0L5KyT91d4NEFRV5SoNFGVv0lJjgdAP96/SY0PHsl6Fe+8OxBW9I3QDXF1GfiXKy+q8udgipBTR4FItMs1MhHi2jCeVJr2lG0k18EkUERuDWKyDLRIgITsVATsYo0iakGDtZPxB15bI1ml/AD0piGfHzPyW8cN41mIl6/RXaQaA7p+daWfXE/iToInaG6cwihPPI6dOm2i1qr7ZGoaz6Ewbw5i2ncu0cZoZUufQsudH4vHO/v55jUA/D4KftL/+FdvoP1DjVzVdo8CzUiZEeqfQplWRjB/sV1GFA/M0xPMBsmmF+QYgcaGppfI6nC6QVVE1DvrTj+mM+n7VAhsIDp7EvUZjMGmRIgbGnMY6/O9UtMcwnE4zqRxmUqzaT6udqtRjMJ8aSXaVdvKBcj5OXmDFmhagzizIVKxwumClDICWqncWqpzWVZmqTfUFYVEjOyo1xE+h9y9WsdJDMMHb8SwcBCQFKsQYzoJhJiEvZ8FlWCJE9jgIlAVqwJMgWaAEkO0e6owsbafOHA4D1B6zXH2g8piVk16KLBu5/oCsGwXFUfOKSo3jIOxOX5K9MZ3oKFrjI5b4ehzAd6X+vTjgzuIcjmy2fHSgDMBY11tilqH16ofX2KCMuYuPl7Qn5N+LUQjHezVJD97VdJY0yKq514trGHjSD4DHBiDkvx2QgKdf+qEsZHFMgBb6pH/89h+/lZoVLgXvWixhJtrfg/QoMKrMnknhwUTIYAN/pvJnSVN9FiYl5XwUYL63ZAetTtldzkR+4neKvxczrOYx6deWqTaPgn4WA6ai0CxYlWD4kkUIZzi00qUJbCxRk2RclnVkQevVqzc1Cs6GEvQeNRQuXL1UV3nxKjKyGhUXLqeVuQereHvQVU/ZpcuhuuycgqqcddTQWZj35VqDRgRbHedb5MSL1sVpXJqk7WhMXp5qrMVx7itK4o7GS1eRtpMkbmuXh2qC+DJM+yGk1Rr/fPEDztP+m+vtMpFpzKAEdjOz1QtDpIJ1e6sZXBqL3DGHpaR6cWCSKXAlumazUl+axseBaS2IgE/ngd3indkMmD7nQznuujoDK6BxfgQpUN1jBoPkMhk0zvdhiA22QQfeEUDGLXlZ16mXZ2ny6x0aCM7AdIQnjE5VGkJPuRw0rpopDbnOm7OZ3srnj7t0t3XVbBXu71/l9ZuDJh3AGOtfDWCaeVf96C4bWmF2t7daRs5mRs41B16yUY1ATP7nlVRUoUkFObKaV+3qOas8CbStjMnmxn5jzlpzQ9+bzZYPXQRhVNbrVUm9EcTxt5kwP2zMjwNm2KZj2Mx2bNfjjmkwlaB6Rz+cL2seMai+q5AXd454sYRqKGuUekNtWVVSUAxuhb7ZZE8rmU/+GcaN1lxfVn7ZXvfksLUH9FdHWsszjIRZ+lWgTompro6z6/JqRU4MOursLDDN4uhC9Puz1uCYwctVKhiEn+0P9AOOpsr5aDxrDPWj4EofBEMxZDuDk0q/7oGl1KLUAyEdxDkKB3W1WrTflQj7kJVxlJ11QWKX5znDblC1C2i+A5d6kAppIM86NMehLpplyuBnFLgdfENwvmeae275Zka6cU67fuC2FmbaJP36rcGYKKgVSdjfH4wlEVFD/aQImeowSFSU7MPZwtjo9wDe+iFopK3ssd8FRfPfSNXi3TvsFEkiySlpzkFEpOzyIgMJMllM0MkmOu03sBlaTN+zYciIlyx2H9pZbF3ipf3LcLAG9fLnJPkKF5B+pft1RhrWej8Y7I32f6+ZfIKHL5IGptHzIUR+cX9UNaSj4n2WPRaXHitJfGVRGEG43+i2YJDay+dcLlkQ7TfiViSuLoqxS1ATl6x1CWriw8G7fZAUxrdXuUm+TKKJsqi26K8nstTjV+M0Dsg0+yecNfoHJq/qM7Uw02hg8uPjBre8VqP/fyDtnqfrf+W2rf/bsfT9FnztsbrV7epCE4641tJ9mc47Bp03P2zNO0XT8yVk9CFJ0UQEk3F2NjzURuN0SIuaWji6zmqeTdokvTG8cngxmPUng+v+6ENb5fVCu0nScZZyGE6moA+18QhKGF5BmfozEPEzSDAM+6Op1sP1yURDg3+GiAWo1eRiNl2wU6uDxHWVPypPlLfz4mqfyjOpXvoYzEvi+uNxwPf2GPf0Tx+PQQtzrwP9Cf98zu5Ci9JNx8J78P25mgPwAaUxOaaB7/xx5si8HcraqXtcvp5eXny1fDO9uPpeeZdemb9Rx7dUa44sECTHtv/tHNg3adk+mDxHRw3bbyVVfocWeo2okek0VKyPGaCMkj+hdJCFvi9/Jvreq5/5MgO3ktva7S1npYPGvPWOJOZ8/10mpW5ugpu9m9p5eJNz2zMcy2YO475hFibtwiDcu4Gn9k3L8rhrew43HM93FKCknMY1yv9q0lj18JZyGtNCO8/wHB9MPs5q83Ed5huF75o0NtiKDExG33JNx7M4q0vjedy0uW/hZIrlGnX1chY/NWlcx+emUfiuSeMbC0dNGlb51CWyuGe7xe+aRNy4B6nNyqfudcYtWclOwfducIJtCZNLQ3xzeQZWkMX33i0bKtC9eYB/Knw+gn6x3yC1AL3xgB+26I+uH2DnVGI/mLdGeW8tdRPGgD9ca4FDUiQQjE6ADU2veosbnuu4tuPX3bMN4G7DM72aPKGz2a7JfM5N//a7dTlbCHHyXJO+awrsexbjjvquSWB6pU81hXcr32AKi93abQThnDvT2HfwcXoXh94rEbDP6Dgfg4Z7UnarwSTTj47U+UivKoXw4JYHWqOl5pqYHrrfzNMtHeOyfvycWRDZbN0lWGAI0rvI2HqeD9iKuhEyDY+PQdsfG/qnUOr/7tERKXlx07HUPbiGt1C3L2RgcpUGbmIaVPIybyfL2qFbXuXp7OXi1dmbsxeL93J1nV5GbylkVV00c2m9rBs0uvvzgy6OUyoUiwK4IzFRUgQ0ukfRt93DaFlT4hz/xhKODN+5fsysWiknr2QTG3vzgwbKPFT3IE4cBwFlFqg9YG6+aF2Dzfp9MjlLptoonqUHSdoDQxWLjqUcD65H42E/HOAyZBqOpoNwBoUDg1biZf/54ofM9H0zvkij5FCbRv3J9QF9w3Cmzew2U9cmSQSZHcynvYOIXnqAL22fLZTkdTg70171u2mYXje1NzO8OtJetbXX4+lZH0G/KKtazPcrM7rCcL8nyfOF/8kd9tN1INugMwmwSa/La+zXxaYBdWJ8+y4flDUnhcTXwTWu51igoZlpO9wEcezbhlVdM5qF/UH5JUfvloDAbiDT64N3S1bEfAeyd+FFvgemDHNMb2FihHQ6mSIGGFjMd7lhgmUEJh1n9SlBwwAj2aZl+xYYUaRzHKM+rWsYpsltqDIIC8M2XBssryVpbdtGW4nBP8P0Ld/hruMZRm3FQDDdJrtpsB9094RBYzsMjCIGxpxtAMF9x6pPaWOruPBmF3Uld1zf9e36pFh3k5se913Dh9TcRfrWpwXqgA2N+x9Ah4KNZ1rccpaV1vLhvVB7MnZNIAhYA5XEyB24PnsNBlZZWNVPFilmgPcyH7R7TcNeY/0di3lgYFseSAsHzOAl6VCcQLkgoQV1832wGOoTWlAFlxGJbMdjJmjzJVlCsWwwjEwOrzdcfIBbfEkpObzXZtBMPjCTa8IIxFySK5DaBluYu9D+vu06yH7GkgIYaEAxzwPGt2GIgL/5krRgaNmmDXxlOr7p+yY8uUiB1diUCgBjLg9KyRjUyoLKgfCuT+k5YHRyZhmeZ/ue71rc5PUpTdvyTdd1wVxzIW/Ph2ZdktR3bdfwbIO5wNeGbUG+trmkpDA+AjYGS81z4S+MpDiwdX1aDixnmkB5j3lAU2A91+fLKODYwCDQQaFtYdxpQmG8ZWllEwANmOtytKdty6nrJJO9GiV4AINh6DkHtQBD0PM4InjXwgwOc0FcXekgHEUFCXcfONkijK6IRpllOc3uZ941hsfBYIzLfMOj4Kxf0j7DEny3Zg0ykw2Nwbg1FPiRfPYTJ3PVxQqGJspwM5NQD6TuDfVOdj9bFZ10s/vdQnGw2kHUbUVVQMgRS5yseoRdORqMvx2MD8/6zcsDq1qnFJo6bMGLoLD4QOEts2C4P4330pqZjrPg3X4j3IMnu3vwLD3ZSstJL2fBGej0y72zg3eL+IcqT2Qzo3fNt2p3r4EBpbUjjXO/ukAibsH4sw7CpW7bbt3dUt7eshSl11i3pSqmdO9KWExs3idxqRz3faBgFxtzx3N8J4Sj60RwiL+xkzg9OCL8C+qBg4lkOQkKVjgD4YLiysV9iV7nXq/8vAw5flel+CqVKlWMMeazhKRfaMSg4mIOQg5tF7zDDW7RHZeZrMsZt0ERxEYIhlDEIaEbdu792pUrVyonyNwI5HkMasqDEuDKncsS0O+4iwuUAvNYj9scSmp0GaeSO7xrRFAni4WLRsit5dz5MqlWqm/W2/Q1Wt9au/WRRtDOYKhC60J78oh1gR8c+uXxmMXw24W2BpuKJ3DdgrQm0BN3xCVGvLXWD6FVDeROwzNwCGBCOyesOOtrQ1sXP+Zya+kLtP66HdXRN+gAG3222FG3Vc4v1VF3vgg1MgVjrKqSvLVUUplspKD8OgXlGvgXlBKqIhi9SgVlPbBK8tfmdDD0e2CQC82J3d5nsTiXKoCBbgWxT6qrx3Fs0iUFFZKC8rbF6aCGfKkIsWy5gnLdxLAyBeXBea6gfFJQpFqfiEpifB2dxNgmSgnEPVBTtKgLajwBjrDIAEEVBcM1qbA8+BWxEOguVBQqe3Nrkq6HJYRWhbYG5eNLFRVBC7sGLi+gijINq6Ciuo9SKTHzWSs9Na20sxGdsnEDW2WsxdyVB1v2F1BtC4rOJVUn1FxMik6pNy5Vm/3Aqo2tb8W5ntt1RSlxZjgxHCMGpYwajIP8MGHECIMqg4Fm4aT3fKlLUMIZbndruq0ndVYC2jbKyoPaNgHTOpTDQQvugOEttaANtfGorPFT0W3+WrrNW1+3gXWQDWaEdRAB/dSA1WeItVR6L4TrnIavQtNZzN5W+5N+JY2KQ2hRQtJ0Iem2kMrfJS1nZZquMBh7NLqNG/oGg85n3fYURlzcWlUvcf7F9dKClnJAS4VyCJbQWc9lDz0LuL4dR/OVTqaXIpD/Bo25QpD3HPo56qUuXLXAzk2YQdfxHG1gx93eRBADHYPSyGWiZKhvLNBTEUkin6ayQhZTmXGcBfY46+GaMY0n/Ceil7izjl7i9vrTwKDnQd6FRE0c05gg9WOgpiM1ew9ampM9ADoLKMmRmjg9DL8sZm1RL6FuhBEilMzJJioj1JtQXlFCE7gCx9khlBnSZ53SNeLHo5fc9duKl6Y9/We99IePuXbWol42f8/vuzRm2iutjbGV9aL/wHqx/LF7Dncs56HHa+b6NiDocVCC8O3TOLOHUzvwDWNM0Ic+aMTIxfnH0I1BNyLcw3dj0kQu9MvQjbbY11ASRDhTBiVBCRiRxDZphOaDbGSIXoKSOUZXaG3m0WJKBHfsJ6IXTXMdvWhusDzqMVxE7NKoDEY8LGEMqCesDNCZcNUU9geOjmhm0sFxO85EQ+qtLY/CO7uotTnaO7iIRyUAzWhAieGgxb0QyueR1sSyc6qHAd+MOY9GL5rrL2aCpvcNwdPE74VFQPs+Y7lnvbil8ZrpraqXTGeremk1Sq/P6+6G8+4Oyw5Oh0mHhTpVHsWPmx/b4nV6m1c4fImjMQtltUpldQvPPJXxmmWspZfWXyMlOgpK5kc3OyI5O47HYvsTZbfW/nmL5yWLlx44V4L6qge6zFiRTx+2r1rrr2cWekCx1YrUSG45eluzIYDmYDUgMh/B5X4NZxXLS7Zw8fhK18gsf5Uxl2Wvqtsscy3dJmietZloNRuUgAtWn8/9WllQaLkH1m3W+nYcISmzAyxbtK1ZVsO8jiHv8giOuMCbUL+tyTaB/uwRPZnCf4oDxgeq3KYsMZY5L3XCk6ei29y1MInrr5HyHu9Jrs0wtpmUEVQmIBMqMxjh4mgmhl7AgTuIM7bV/mUe5D0ThhswrM57muILxc+q1PDB8eTj0W3eRuNjHAcr2hNFBE1i4HGkCTOhC2Q9hWWUQFpsbT1T0t2DIzQ8Gr/7kmvsgjQplpuLDciPVLetOuayVwbK22ydfm+vP9cmYInUUthOPhwhHDjHhoDvSPb1hGSqU+h9sWizbfES8bRpWqZt2rJ/C2ilQ6XuwhHDkdCMoFgvM6mf9EhGPR6b1l5/XoxoH8neksheTpvZ4HALVHFo3TCCI3ETGLIygwNNtiajad6TdDH0dcE1yDNxSTphW7qmB4ef2R2iNaOnsm1grX0D9gY2WiynSICshlOYUw5p5tEiSi9qAaSzY/pmaG4Nx2RGhRYlTjQYHRb1TI+wLQazxNwuldwF3u7KcrPH01fXt6dwipr6JvC3GZmJ2YsMtzgZ1CVJhesENq2uO9SSHPoNSa2t2VOcZqxDso57stTYL0MsdWSKwXMd2AKPB5jD3vZ64c5K9Mx2D9j32X7nsvuuMTrWKuNdZ+XdDvZ62x0I5+2CJLdphSWi1Q5H9lXkFof4OwbuNiMvtnynzC8PPN61/S+AoQZdxUlfoa8Dm1bverThKh/jYA8hqQryFKQpnG7Nhk48LxLHwkarGI4uagA4EjhPEL1P0jUkDAlK1/DJYEKdtfY7OOvPDyq7EG0qaFU/6sY9j4tjUcrR4Ul8iwt/4ffWbCmL1tMQS4XroUI/hNATE1z75L7p4lRMzxPHFtat1t6Et8F+BxrkE9ebdYAGWoPHFVWTrM4u9NnE9KFLyM+jXmM0gZsIQ8Ce/njXWXmvgrPeXgXoB11uw/DUTSxxPKo1RucL7Tg1BW9DbSPumnEciuPJrKebRpfZ3DCt2BDHH7qevpZeWmuvguP9EXu7IubyrY3x1FTxo8FTrNtXXeNL9VWwKGDMRMcTw4Q6zMP5YpPcg/1p9uG53ipjLnfl/Q4u3x5+xhGIM5Y8uG5zn/etPkKs2Dq6zV1rv4NrP7f/k9Ft7nNbfe24Tm/l/Qbul91vcAsesoSIfGC95G2032ABqbkSgnJrc4FVpGYNIrG7HJH4RPSSt9Z+A49v2v5V2hYRg8sRlNvEPiVOj8UCq7nApUVeKCGz8uPR6CVv/TXQIkZTHDQTahBSzbwTQbm1dbUCDonlaE1ZVlZA1uXYwRK3/Wn24fn+fdfIfL7KeM1beb+Dt95+hwrKU6Gt8FBYykRyaBFL6dE6WvTQenF9GxCxJlkPisu9LkMFEqKM/G6qHVmM6unwra2RLKA8CUWwiGYsYBlZGRXInoqbSn+t/Q7e+mukVZRnhjVcgr7M0KJ0bA1nyCUSjLCGRqx2DUoc8J0IyUejF/0N9jv0SihdWyB1iSKhGxke+XITK/icJNAC+nJrfTVHeVpZn+RZ6wn0YSjxfD1aQWAZwsnkzpMfr/kr71Xw19urUMVqLsFQ2opLEPNJVEeE2YO7qlzfBpToTtHHs1X8rHeXkZHuAjLS26I/L6KmxHkRApNwb7iCL5CRtrQBqNQFxJ5NCKynsg/PX2uvgr8Btq6MGEXPOYmA8hBCANEaIWEllP5SmKXoD8Asq/b0zS6uDC0gI3sFFKBvCL9kCrvzeMZr/ga+1xS6U2leJmkiMIaIHMOFy+LEC/pBUgjX7eFsuuQfziQkmMKNZ8hIakkhTbAdsdR21F0d6fbk1siY4azkrNLgK3urNIzNpiNNaUUk5EkfG89aACsC6xHTkVA1Q2A4K3ro4ADAS2v3mdhcxFEufGKycdFLIWMckUOEVvSVrNviXiwxCkBUJOLQzMStRSsa0LtCOgRWMRJoxafir9Kw1nJYaWywUuot4jglXlHaC6YfhXFSg1c0CE2+tRlp9FFHhwtvdSVS0ljAKyJ+OKYZEMZ93FIUWwqv+Hi8MRtfdFlTARXvBVjc2lZzVGqx6UU9BYz8swUJWD1KADO89fr+xiuvJlmxhAuFXhRC3+9Fzn3Qjo9k5dWU/h8Z63LHjKrYxUfU9/1tL5ObFM2nZ25tiqwKwPwqIS1s3bgJ7MtwQJc5PFwNGvloumvC2W3wxcfTXbcbOQHslxwb+Yxq+eKj0fvuytu5F3XzqAnsrgh67HYPoHkkFu++C5RsxcgOa4R22Cy2g52jRB/VfgnGnkN0fTUaeL3oDsx75oCnAitl3HhurII/ZXFkW0UJB/n0B8urB3hga0Z4uNUnZRWL6ZX8+d2b1huw+/oGZ62LUFU5r+KosVsArdCxVWhh5jyr4sg0L21YiHKoYDXMZU8mrN5aex7YBkEeCq7IeAYMs2lN2mM+Cyss7pepvD0OKEC6LAlfyw9yHVbYeo7rcyWQ5SPSTuvPvVUwY6yILHIxHgv6v3PJ83dESNwk899pbxXx5mYiIy5jYmUkbOFLKXRjg8l4LWodwfhDAjNvZbVytVANbPVYDWzNYA0KnixhdBJ4lcn8JIMmKmlhZcEOMPSb/9AqboNoDYQsEx4JjQqqOVRenXivUNkiQnZrkUNLJFURjXKEY9FjqMKKKHxjtKIq/kNV3HrhGtgG8RooRgfL/bBK9KGQPkbBG1+UYTJL3mS3JjXjDBuW+8bkMgqXkvACgygwKGL9IvNa+Yhix24QfX4R/Jk73rQKkEyLuooAYipgIDpX5FtcWi7C/JR7uxLIm5rSEsCcTH7awuXc0x+ArR6xga0ZsgFhaBlMEYGKtoQqWgWooluA0KluZAkHYA+undxNsIJKrTrEyj3pi5CTN0IRPbVLUXuUn1Mrq+p2sYJGhln1yftejhV0SGcZsswWTTO4FGstVo30VLTTekEb2AZRGzIfpN2C/BdeMV3hm5EQiIrWHvGISYhMXMHeWtQOwkd1CTWjdI7gxVD62stEHWEQk4hHNkhmT40fH4922iBsgxtKNhdzaT4GeIdDOAw1VRAlas6IiGJKgmCH6UVsa+5v7CiJwxqIni07Zig6J7kSZJmrU66a80+zvY/d7UM155uVgj6w1aM+sDXDPkjwryehv27UjS2wE2+DaCInWMQLvvHgWNMN4j5IlJ6Kn2YqT7yZek8iM16G6vyj5uMtks/Sc57UgF2y0cUAG43E2LQjA0ouMZJPRj+utZmCWVtZQLWqXij51jiAeDMy3ShZ7u3yaSyfWRutdeboUZvmkFEjujyJ7PugOv/w5TMRpLOLITMpUHTCu2ZUhTU+/dGbvfpOCNvYjsMwiwY9FKiZgyn80NrJ3mAnxD08Xj4qdjcpzgmMHFcDXD4V7WSvtxPCfjDEXghmin0b4PIRgztAcOeAy8ejnew/i4M3YMtbnF5+JfDKlZbP7uejO+cUf3UV535ZFWfeD9H44CruGb32tag4Z60IXMx5hsQ9nQGYw58b6zZEo2/7T38AtnowAubY6/X99affgNQhHF06YjshGKlwpanwgouOCXNXf74Tbg0dFmZuwGInsfNDQF9Vee0MK+hnCLb4UbkeZBvEZijERGWZH7ECPqzW72mBFFv2PcgzH2deZSlf+vihaYDIiMsgxCejqtfbarBBdIYMBEs4JulzS+GKQoq32JOL6QatMps0Uy328nNmbW2rt8PcRShxBvFlC/Ay5ARbTstF5J0hfjzddZPwDAmtveGqIc2SkmtCpsiSwQLyrqxIEguSbE1VezSpjuub6LlE4oIJYJrI8GMEl8pKzpXLRXH8SUPw8dsdx2Qc5Nn3XoBcLSIEWz0kBFszJgRJcdVbVcSoXuZdo5uDsslLiE3LzATWWcWb7Aa9dIMdEhEBXMofgg4SBE8Iz0SuofsEuu5lkGtrq85uVJBMI3N3yWXD5AcpARL82Ehx5prnyQB01osKwTYIC1GA0FsSZxZKdAeu+SlEop0hEqPsIEm9VWc3+fJnDnjO4axd6Q7JLLlY9KnMj8gG3iAuhLRt5Awq2ZAKh2aKHQYlf7F+5j+NC6+GW8PTeRmiqytjYJuEGxCoP5sQdLkUVZ5RLRWt+umPf1cPDMHWjAwhsfIq3rHALqqNQxHRPscsijiaYtzRIx9mDw6P2SA0xEKA6hwtLYJqR9J9odoj1ZPoWVXRcIvgwS6Z70pTFqGs0QJet2vGGXhQAvafinZaLzYE8zaa8BOujDzC9EUCjWgkhGDgBWeugtKqGzjCvWW0tQk/6HNhlMQ8ttRYntyKuhJBWSy1UQhvLHgE9Nbj0U4bRIeQxCeELHRMEENRFLsw6PV7vQr8IRIEIXJwigK9tb1IWRdVsaWTrHNGyDSRFXVBpDpe5Js1EEPza12AXC3EA1s9xgNbM8gDOlWUch0xyUWgtur/ApMcS+3gEkC755kCOPngKu7BIn2Z1GPsbMwpPY2Sc1Uy1rc2AOsCaW0zjJxeWOP38q5auE9Fxa0X5oFtEOdhYYCtfKpHwMZJj92NtfxD17TsbPrMook+NNgcKHu3Cod8PCrOZ9tYgBRzEF0anHFo3BgGplsbLa8XmPtrQoDe38N9/sh6+Dp/I3ydsocSYpFwNczlI1jPNsm/gced2zCXj6jvbxFf5xk9znJ45DNW6Aur6vWcA/sbGmsu81YLNP6IumvvfpjLR9Rdt+McuA7H+Nxdv/hodLPNjJxZ911L5PfzAJ4nN1c1FvhqESa23NprdzhuPIPzvhL9yI218HTcsJ454KlgabnxpXaeWsWPbyU2s03bsh3btT2CSEYCICk9bcJgf2t4urqo5k6G7QutmA4x3u3ZtiwvlJbKaT75oSxfPXAGXy1wRk5riyCkCmVXjmOdR57N0Y1OBp+N8Hhw7bS+OWjDEIwYyYZS+5nfNyZDdgqYZhGoGZHPpUSCNbe2OIHTvcKJbcb2JjWLR02inH3loMdYllFAAp6KL1C+XqwIvkmsCEJoEQjBlpMuXaPi81WeF6lMwFJjawKPVjydbLFerHiEEh6ayGV7mznKX610+WbJkNfm49FOG8SKWICD5quGsVhGlQuptG5I5HDJI0LMEkGWrWmnGMopoub60kepV0H2RnLDvSgrltaWUNPwK11L5KsFY+CrB2PgawZjIFclwg2irXZVQKMJYD5K/a4MgRxLPImcxZcRwx46MC/fIBgD7lwhrlIQ5phA15bAgknx1qPKksIgrHwidySwLao40ZfjLAhbEXRNfZgAibaKzpvFNfdFyZ+MivPXU3HeJirOJCXHJD7QJnygcFgiVuhy38kKyCtAn4QS3Bo+UOHTXJLvjFSyRcv8Dp1lcrOwhSDKoaqPR8VtEIwhw9t2gfim8OUoHbiGhB5ylAerzAbwZVA6IsrW4DJeJkrMgv9ShM0w0xI4q4hJt7NdCUmNaC0Iw40mT38Axlf2dcb5WlA5zjeYfksovmtx240ASRfdhwq3rQiQ6YKotSMv8gmuFrpb87VJ7CEUqrDgmMR/CfvIybyJKcmU+190kdkeUd9ff6Ys4lEY9WIztmjHBS73huQIFbECSAZUi1bhfzEM7VZhP9TLBXw8BJaxojC24i7yGdlJEfT3rgyTaVGpbWmGYEM6T0VVc3e97rqBsSa2DiXS7Z9HlDYyICJihJ2oB3T2YazDM7hNLH2PbW1/nGxJVMBooqGRRiZE1kHDDHeLGh1dozrAI0bi9UJ4zHpE3fULuAlRe3YlcpUaQ8guk/5aEp+X0NaUDP69NbuKA/PE0E2hg/Z8IL9ZcT4mpj5c6dxVAdelWfHVRy7cuZXOilXMepeeGScth7FmSW53tZMlu9slapb0ft7F8+Qre8Dj5noe8CQotWxs9ECOdSMeJz12B1j0oT3gcXODKUNTjkbU+EQgtQxSdLmd4vAYxF8c2yCsS2jNR7agZWfjbi7xpj1orsh8KhtQuLkWQo+b689Dxmbirh6sPaf4Frexi5bFSB8JyBUDlHDv/hDQx6OmzS+M0FMuIHoCYBl5ywGWj3L9WQAsXQ7DNQWwfPojatNfXTu5XyXgxtzIKnWANSIzWiXk+aNhdwfGDN59gJRPRTtZazmv49ZWnNd1ea8K/XwagBv2eDbvc4tv4GlhneDfz+iox7KkeT8H4TmnrLwBha8WSeLJqDjLfkYUfiWYUstbT8W5f3oOyJwSLjkekYpbH2RXCFq9GEP8XsfWUDvVd5ede4a3H09/AGavvuPBXm/Hw120LISxLsLw4tWCsK/P7vZGoVfrju6tR7SWX9YvEV9+7eOpaCd7vR0P9vrruHno78xT2krH1sIvLy9DHnwRDumKiy0ej0c72esvuRYr5N5+8DyecuafjG0x1tYth3vXYf15dgS67N7LZ/dzE54nX33Phb3enguxj6IUDd267XAXjgfXj+ubgwtFFe6wXRmOPI8rvfTYWodb9IDqVjyiem5IwaWycOS0zimPp6IfnfX2XDjrL6Byt3rQDpvlB/oVNY1IdIitoVwEDsfh3m2Hci9ePR6PfnTMzbyLIhbXz7poBji77ZAba7bnCpbXHojNiWX05twpWFg9nv7obfXoGtxZb7tETjUZFHr50ZX+yZRjQ4r6/dDaaYOAEry7/KC9V8sPioi9VXeFZU+otxyEviwdT0Y7rbddYoOAEiU6Iesq39I96RoSsY23HFvjgPDWA4E8tvBzTo4BHblxJjsej3baIKBEsULioL10yw8bgdQEqTa3akoo8/CWw4iXH1/r8tlq4R346uEd+JrhHWifCoJgfRkqxpAOYuPbjnwC5aFV3AbhHWpnfDzS1hb5FrULMcVrjq31Gfk+itiz/KhDNOIusacS3oGvF96BbxDegfws1x+PeflsVT54RPhF93mt86v3Lsq91dH1nrFe3/ef2enJYJc99txYXwnSxVtvq4FnPnPA0+muz8C0r9676HrhDc3bvctkyQzj3guQ93MTnvPm6jskvK9zh4TnPffSr0Sp+uvtkPCNLXLA2rDMzSBa9bDQe2MpH49S9TfA090HJHoLUHOL8djXORT6L3r649/Vo2twf73NDUswlvdGXT60dtogoEQJEPqwsMyHgY/m/mDx+BIgxz9WO623uWGDgBIrQEUFTNOUTj4FUHNrHMCN2w6X33o8BCJx/e7qb+KSlA4MmipRsnwVoObWsL4LcFCFu2PsfhDDr3QB0lwtJoS5ekwIc82YEFVMZw1s0nMR3WRmUBAzX01+YBVnbhATom7x+06sJXoV84we9LOt+TmTAajt29Co3FmOWnwiKs5cLyaEuUFMCIHodHuGaXQzCSSwlu5tWMtHMgTnGRxSdDyu3OkuHo9GxZkbxIQoYDpvX4FFrGVEcGgVgBXhUttzS3gbGvUunGL4FbgkNRlbXTv56/X9DfB1+aYGgUoLb8Vc+ovH1vq+eiNiOyNi7MUo7t0vhAN84L7PNpgp6y4/oCEN8nB4Czxya32/Qn5yT7nscKnMVg6PfCqqmq3lQdhkGxhrDvmrjG87GF9+bM1YQ+91jHHpic+RW3LM2zcT5cinR9RdrS8L7BI4Rm8BxxjV4Re3B4eVeMnbVDI6JBVnRgmUaDH7T7OZ0eT+fdcSzfu5Cc/ZzFvZWFgtDEUFyFk97gfoe+ihLPsi4DybfOdGq2ErH81aIlrvy4+nMltrcmM9/fiMp3syAB2TP+Ppvnosrbl6dA1ztegaTwXpYvLn0KtfCdLFXC+ghMmdZw54OtrpGZj2J/UFaq4WjMFcPRiDuWYwhseu4sxni+5rUXHrBWMwzc12SGQxkRcPqxAe3K4HTf6B7iXxWP7JkY2EaXw8Km6DYAyZV8ei48O6w689tgvmlIFgC6782N3HKgDDxzwAs4zVtZO3Xt93NwVLLrJTLBuMZeA4MwfJFY+toa8K70SAZP2RldhS4B44SAg8or6/AVTudgz3cq+LnIKub83xG4GNYoNRiBVThuSLlh/r+d7741W1tZbjN9NiX8L1n8CvYezmxDANn4BdIqSsiEFce2wP2Xorp7oyljszHCMi+JKfxSF+XI5RTcv8Io5RMweptyH0kCgxhRMkbNRWIxFnQaCX4m7DZcdXH95wGXUVk1jLEaoZH93uRSdLdre30zwpW2mwbK3s3M601nNuBzzRJWwiSAHq3uTdU0a6vs0FayKOhx4sW+vPBqoilo4eARrtEqBRVNX+41yvZviMuxCHjsQcKvg9QjGdJ6OB1wPfWd4Xdb2qjlugGOKeb3S3Nl3SkzBB5Q64Fl6boTs3AQk+cHe1NwDf+QUMop+hdzzp0U/EVL0FPbm1xroFJEhBhCmMsPSSXMROPpQnwq0Plu2V/dKZ9np+6argu1shJwkcmbNDRKo/tHayzU22hQj0aMyTZYex5MCA21szOFWEbyuD/wuMZMJ7vLcUzfRwsumBtJO9ll8607a/hMDLBZ+KRy78EfrZVjW3ulVka/bJwnaUJR+LwsyapDmjIvDyEWknd5PIhb364xGuvFhgwoQkJkxyAmtXPSLj8Wdarbyf7+88+ep7S1YLEnG/pTKbJEJE7lnrjwdfrXSM7a5WYph5WxjiW+sziwOAr3S10llvO4XDn9ernwwgx3nGz339cFFn9c0MjvNVYmmcZ0/DX4t2ctfbzOA8b2Z4OtrJfYa+ffXeRu+92c9z7r18dj8P4Hny1bdTuF/ndgr3z2oO2snC0aOhHU574EqbKXGS8Hky+nG97RTu+guo9w5fXsSgFqi7RcehDmFHhTfMUnzpOw7ypPmI9OP6a53SKaiXOQcViM4yONCWiB43A9xlxxbxZtmxJDg4NZ0sM2KnhEMs4UTp6TsONVcPnGF66+2EAIrddtwe+dm5L0+sz+4bxIoghkikdyo7C+e0dGO38lyojq2xe/5OR6LGEglBcWm1WE3tPp5QaGtpp/ViRZibxIqIF0VY4fDRgx5RWixIdclRCi+ExtseYs+sHrUe9BRGL8o4hHyYPB7ttEGsCFqUx2WoW7cTgHyvP7bmWUk66mOEtcK4aj1ah3WZVwo36S8GoPzal89Wi9xgrh65wfwCkRvyWNTQgKZcPEskdEHA2pXvnwzO/uAqbgPXcVkhb8EEIlDclMokznxBEbJ8awKuhxj2JYvjt2Ps8G/4VFTcepEbzE0iNyj5I/YKCHfLSz/AAQvH1obg6o1d+R1TueUeB0KwCF+9S/ySPR4Vt0HkhiWYNGHHRfRfySLlD9IuAj3/OMehRm/pkSD8izB1gg0j1nv6AzB/dXS9v57TYH/96TfyL6kgr0ucbrK6j0HH9jwRqk8x7n0OeU0ETnDxWMtj4kP3fWcTL6/qkKMLQl4J9FXRi6oCfC5AJ7fVWBk8c1FKLWKYuwUcc77V4Mls9vPX22rgb7jVoN6L93LjDZFOONCwt4p1EsMa7K4e2cTJMmzjo15LtIwvDkwTsMmYiCNGq7X+dB/tWqKYMBBTSqS0/6SRC63bHcdkyZh93wVI634ewPPkK++QsIz1dkhIdZ8dj2wB0jI2DAZr0uSuR1uCqsfziv/2lKplrLVDwjKeI8w+GYCOZTzj6b56+Ki1euAMy/C/RniMxYxndv9KtNN6sSIs9ry54eloJ/a8ueFP6m3UWi3cg7V6uAeLOV+nint4i87qFo7INmxuW7Ztb21Oy3Ztz/bt0O7akR3TUcB93npYeDwVFbdeuAdrg3APgj5wuEBfQd0eoWhNhZ6tRCMvHVtDgBbfurjWjHhULCuWEeGFAhApQG7WymiwB+6uG4R7yGBm4lgAvC3gQ10JmCWCENbS3CIkzpEQre69jqLbHuaypz8A4yuHjrf4Wvg6i5ubBuYWIFxHQnBjcqDFCHSi4CdcglAWjq1ZTCawUvFA/B9+HBVJV+LpylOJnjoeUd/fYKbMq86R5nAoOND3GSHp4OjKhmQSOeRvESmSQyIWj6JXg7IjTDmvjbV4MqraW6+7upt4u+tJODS1KNFZQDcMAeJQ5wsLBrY4tsYB8n0EyxYihJFAEd7tQlp2NjC24cIhobOPqLuub1flSOCKAyCPIgG6tCpsLRBFoAtstjXLuuIzpgDWrXg+C6XropDq4WK5/zSbGS3Luvda4v08gOfJzZWNhdUiTJThhixb+vbpCLO/i5DnsiOae+9VWL/DmRvM1QkNI76FDlJV9TJocLJwFKAQW0dTVVFdBWwXxfKV/qOlK2DpDPip6EdzLTydZW6Ap6s4Sa4J0WmRkBMOs2zpOssl5o+3iqbm5I9WxfK1pE/QfBC0LM4zlPXx6EdzAzydR1suXOqcoXQ3zqWTXjfDWi0grnLZtLXGKm4J6cKBZ91sg0gsnQtjqb0a76VPfzOjtXrgDGu1wBmVoOd1kZzlng4U2jGJ8ki61uey6wDtH1w7rW8OFt3DLsQar5NR1qKc2hq726Qv8w5Z6zdb+rKu8Vb3VLTTerEirA1iRWRbQAl0T9+E4pM2iivFYJ2VAscf5CoPhyp58HI3+ytCmftyH4hwQikHD49HO20QK0Kq2gIgdDUPh1tsLAUIFUP/qlX5p1xLXC0Yg7V6MAZrzWAMtzrFdJegILe4lmhtNTRraTf/1vqMDAH/tcNl1gvGYFnP8V6fDlzGfka3ff1gTntlX2eWvR5Uzn6Gyj2hvv8MlftaVLXtrtddnWcOeDrd9dmu+uodo94VuXCnfPZZ/u1djKJZfzzSzkfjWeOiP5px29H6ugZnSToKB9rkIk0knafAT5QA2EmDB8+S6DyJC02mOA7RrrJpxAP4HHMof/kHLxrzXpQYvcQ1ej3D6fVMr9dzwl7Pg79+1OuFcK0L97pwLbLgf9LrxXAv4fAf7vfgNcfHWoNbRos5e41+y9Dxs8eS4rRltgOb37NUkidCw2AwWGOJYWB8GpPD/wiGyw7CGuA/3Hfgvgv3fLgWwd9eaDB0yVIuFZDjlmLhqOd+xcISbPBZLBbQo6ZYsihQmexyhVnS/mU4+OkP5Bgj6iWxJTjGMyW3dAuc4ktuMQXHxLHkGvdhOEbyI0Oe7CHTqj3TxEVGT3KSL7nJFBzFY8lV7kNxTM6wtmTWmBiV8chgPesujvpyHNMNR/EfxDAFcVHt2Kv3GmNdEgySy2Sw/fpnk3zol4PqzfkmUmOV+n/e+csmn2F/3mIH8J0mvfbk+i8P8cEqOpb1F1nbxb+uy7JzcZ1BX2J/0Yy/bOFzMZ2FKbz+L3/OzzfffPPdoD+KNWCBGfaRyXjQj661q/7sTPv1u4P/5Foyn4BkgR7ycajNwu4gmbZ3Pl6MZ0lgNLXeYDxOA5a07Lb2ywQ74fQQEgaTcHbW1GZnaWC07ab2U8DaO7+MtFD7EE6ayMthHyTWGF7y9/BiOu2H0C1741T7SZv2B8lopkUXs2lTG46H8KM1DGfRmdZNIEUCmSY7o2ROSZoaFE2LxqNZf3SRwLOjD4OkpbLUJul4En4ISTY0GC/mrQ3DeX94MdTbO2/PEriUpnir10+ns9YsDeNEG/TPk0H/bDyGN6RJOEumUP5emkzPtDDtHlAlQLKE/bStvQmHSWs6SyY7UTgYTEEShZdUVCAoXE77UDeQF2E0a2v/icSbahdgio9Hg2utD6Wh92qzq7GsMtD4t+TjRR/eBtQKB9A3qappMoH2CTn+7qXjoXhFfzSC9pmOB5cJJuklUJcoAYIO4iRt70Aj7/SHk3E6g1rPznboQcxVk1d/g/NfqeGb2puXf+dNDf//9o9fmtqrH96/pu83TW1y1oc2TUFmquxUcbRwqv22s7MTJz1VgUY0Hk6m+uGOFKlAeXlJCwKNHS4KNrp3YpyesNNm/oOfUrqhFmjTi2HjStsDTiVOuQLugOK8B7KK5DqlvCykbFz2tX2tAQ+0tKGu7e1pYGwUnoXb5YdlUYZwCyoTDcLpVHvdnwvSNHIqyVphbd+/74/6s/fvG9Nk0Gtqb5vaeDILfh6PEj2vIlyCYsX9aNbAUyjBp8968e7J7nTcm+2eQiqWXc/f1659S54DXm1TPSCDkwZrQ8+ka1ATo23op+WU1GkhJdzCzQDlm9Bn4RZk3/6QzBq78HMXM7EX3vYTJAKGbmQJf4JkTNd3MsqMR++pH8ky96fvuxfAX+Ec/sNf6Ltwdl2gEhb+WjvQ5tmVGMk2g9YTJYP2mOVaevoeeiHc/1sIg9qFClJvCvD54yJFgQ3lpcPS0E3Qb4SPGKUbgzFcwj7THow/UEXa0wlyFpBYFavX1fWOdtavS3lQThnqein7CKucN17pHvLpOfJnGo4+JMDEo0aMpGBAZrARD3dq5iLOsWvJ5kFpQX1OdDh+WDuoHSKvY5/Jeu1Ur00YFVhLPFTgqoyTL5CEJ9UbqtPBc9TlpvWl+R+ZJBBSpkE/9qVIGoybQOX60sGL2+FkkozihpAR4bwBmYFegnGALnLVq4/OxjMpLiIQNlTKCMsH2el19MX0R8Ajh3eSCHJQskye8tMaguF8zK2ZXR3AO2X5F6kIGZ/u1D0jkwjC6VXil58aTEqcW8PdWHXRfcUEUiHxHQweU9bzRtidNkpPyQ6i69RIfvmpHj4G2geKAiqnkT8Z6/Am1Eg6ZIE6Cf82YkhHP8rVCoWE62jpVZUpkSaKUPoylpzGijLTj+mscVnlCXjJfqBdqYICKUnTQP1i8b1Tx+LQoJezEpMv5+70qsTY/wP/e7HKY4Hag1Ryc6q4OSUBclVONkFRBSUH0mH54TFq4fzHsWaIhgby7Sx0AXjHcV0HGM6K797TUuD9UhHgdYO08tjlwmPwl5+i0qbngZizot5enld9R8oonV6p3ijOeJkbMl0CpDnO1GCZYQZKVJP2XCQLPghqhboCJIWyAqHqRUWdsh5MFhW1qJTIGfLpDe6XkeSL03sQZ+HxST8vRlP1arxYm6WyLuhvUX/kuS4wXaL6EownRKqhvkhFIRX4GQy+If0eWKGH+bVAXavSKEtzjGkOap47WHxO3L4GMzmu2BCQ4wgkveCKw8VCCklYpWeEGhd4pCpAq2+XWdEjR1lRS4XGe52FYr5NL5J7tGyhJH/nVRG9tCTHG5QkM6H2iwYXtfwZMhjL2hcTHeEFEjE5Xap1EU8aZdsu66viZMF4RRMRJasqL+q23K5CRVDQQ7oiCg4OQA9ZHe2Kl5NIKlRSZln2ujAIDpVsANFwfjFBxXLFcbyEQ9hMf4i+IjNYMKcxG9k+qPvaMPYYTnoNYJ5m4Veh7eRQRbx+Z2ez+Z8PyeihJn/unP/hjmPYi/M/hmk9z/9saf7n78koScNZor2Z4Z8P1+3peKA1skmUXn8wS1LQySjV02Q6LU4F6WIWItQmIc2i0lV8JGnvXEzDD8mhNrmenY1HptZ6qQk+045E4vbv0/FIPC/mmODesXYkOsx4AKc4niiW6njnLb0VMj0L0T7BSZSptmtEux1xaQpyBUUZ16ZnYZpou2y6C8YELqZoUnjNzvpTDadqUC7vsgju49R5Kxr0wdCKxcqL3t75PhkM4E0Xo2n/A06veK1uf6ZdwOh1eg7db9qPLyDTEI0UsHCvmoaOouMCbagxdvKPWncybWvf9WOte60N+2k6Tg+1bj+GtL9hWsin0bpqtn6Dl70iwYG3B/1REpKhg2IEEnaT2VWSjLTzZDKjNUQQKnkisFFLCaaxmAWfag2SGlDwcCZm2sCInOql2aDpNeSFrbCz848fX/yAhtLu7u7Bgfbm1x/+1XrVj5LRNGm9jEGz93v9BIr/+uXbnUkafhiGON3Uj/uza+3fRttro29pmeunF69fq1b7Dtrks2jjb9oHCzewSb/JH3uLswUvR71x/sDLwhMy9c4BlC9jzi7o/6SneLShpspwNiVgupwdzNgWzO0kxanH2XUrvEL+aHwEia5mNTHnFwNgFNHgNEP28SKEys/6csKOJcxra6/GH7RxrzdNZlMNcxmFIIwhMagMaPE3M+xNg/4lPIMtNIAmOzHabcZO2zs4V5mGUc7XoMe0BbrItQi5jAFPgIwCpfn2H79BC9lLFtYvFpPjDA1bcg8Ghj+/fvGGkmhHRxq35f7xKYxJoHDfCbJ+UmW46qizYZidXuanwzS/Cqefa8v/Dt8G9OvU3n31M6pexzeZ5TLPsG3ft2zT8Jek/uXvf4fkOLy3bMNHNwO+53JWnxrHwZDa802D20WiVbL94TXm6ngGs33b8Exmo5eZ5el/Zj8yDx6xmGU5tskc1/R87nFuKs/4kqKCKTKCDnN6ZWfTSXaak3PQzU+B3qolZ/kpiLXO4kLYh2T2czhMGjpI1uIK2PgySdN+XFgKg+L1Rx+0YTIcp9cLK2LKyPjmtVgcUL3um0516S3swXtejqCnhIP+TZItws2b6uy6UJjFcmTJwZ7JTsOlC3Sy4gH0t9+SaZJeJo1rvVX4NdfzhTPo1Eos4CQq0ISUBk2cD3AZYjIevB/2pToSFhzKzKvAaP6GaxxS1xxqHMSc66BYB7EP8j8pWIHBbPy3JGngpkanuLTX6YVBr5uXRvCBILd2E9DPxrRpNKdwtBYfr7kCR6FyQrh4p4FajXynd8Q1P7821f+tOry8yYxb77LToOClZxoCRW/0jmgrsEmb0DRLVmCJDd5chZNGJs01XBGJw1mozdIvxgK1ZFQVEgL3VG+WLrDFC3zxgrl4wVq8YMMFceacyhP3tNAcdZw5S9upOP3vEo/m1/9VyKE7BuMLxjVFSAImnfWHCcic4eT4pj1bxJopKZ30P5zNglKJvWLx8CNFuyTdwg5WeJfMJHina1EgEjfeNW9gsH/TvlzgPjVsy1OKp8tE808zBtMhg3KjGMWb5VvstMX0hbcBZYJxVxDwphk1gTL96XcX19B5ikRqIZEqVYvaV1Av7X//V6MzMNjquk+1dlXAXOU5yLCm40XtYXhr34MEaW33yxNcpvr+gsusRaRZUTOBxRMoonw73b9pD7otVJaH0338A4QZFHbSZuokLDPcfwCdK0xGfEgZY69EesLLjm7aqf4JvgKaJrjBKQIQHp8XwHGCjuqh4/s9BKUKxL2AfcsOC6Fm8nQNpWe6TXUW6kEvSaaNaUtwbUp/ITPk4EL7ZkJ73iUxLX+EhSTw9kkwhQLOgiJ7dZCsQWvexZMQTsKOEpL1YhHHFr+poqaqpMMlAJU78SmN9GhIzamrFUv6VWrC9HjYKiVplZPIy+mSEov5vMaCtLi9wNpQ1exyWdmHAXaVPewY+413Lew2e9QJDt5VpGgYYLLWsCN/d/F3Cr+zhJciN+wl4X64Fx6807Ncqevsd/e6cDHLvdowF5U6qjoMxursrIIkutUuuQlViW/SvKyNm7CJ9WliYfVAzP1nF/ZpjQteCe8qNaOQWbIRi7mlmBt+gYDIcxMXluZ2Ex4Z+k0YGB38keKPNDAqlL9C0l/t3QBBVVWu0kBR9iYtNRYI/XD/Kj02dCzrVbj37kBc0TtCN8DVZeRXoryszpuLLUJKEQ0u1SLTzESIZ8t4UmnSW7qRVAOfRBGxMYjFOtgiARKyUxGwgzGKpAkJ1k7GH3RtiWwVoJMgnh0z81vGD+NZi5Ws01+lGSBG6WfXE/iToIlaA4iBO6MyKmYMY9r2TmFdKzOkzqFlz4/E4539/fMagX4eBD9pf/0rttF/oMavarpGgWelTIj0TqFN68HQ2K+iCgfmaYjnA2TTCvMNQOJCU0vldThdIKuiahz0aVaVilbNRHDwJO7hqlyLFDEw5jTW4X+noj2G4XSaSeUwk2LVflrtVKUeg/nUSLKrtJMPlPNx8gIr1rQAdWZBpmKF0wUrZQC0VL2zUOW0rspUbaovCIsa2VGpIU2c571/sYqVHoIJ3o5n4SAgKVAhxnAWDDMJeTkLLsMSIbLHjyu7H+FJkCxQAsh2D3VGlrZTZw6HAWqPWa4+UHnMykkvRZaNXH9A1o2C4qh5RaXGcRB2py/J3phOdBSt8RFLfD0O4LtS/14ccGdxDkc2Wz46UAZgrOstMcvQevXDa2xQxtzFx0vaE/LvxSiE472apAfvajpLGmTV3OvFNQw86QfAYwMQ8t8OSMDTL/1QQWALeaKFPukfv/3Hb6VmhUvBuxZLmIn29yA9Cowqs2dSeDARMtjAn6n8WdJUci8L5XwUYL63ZAetTtldzkR+4neKv3du3RyDeUz6tWWqzaOgn8WAqSg0C1YlGL5kEcIZDq10aQIbS9QkGZdlHVnQevXqTY2Cs6EEvUcNhQtXL9VVXryKjKxGxYXLaWXuwSreHnTVU3bpcqguO6egKmcdNXQW5n251qARwVbH+RY1yY/T82KStqOxw2yiv8XllH5H46Wrcia/rV0eqgniyzDth4iJbPzzxQ84T/tvrrfLRKYxgxLYzcxWLwyRCtbtrWZwaSxyxxyWkurFgUmmwJXoms1KfWkaHwev/uv1i3/pn86Dn1/9V4t3ZjPg9c87C8OtqzNQ/o3zI0qDeh6fFCD5830YW4NR0IHMA8ixJS/rOnXvLE1+vUMjwBnYjPCE0amKQegil4PGVTOlsdZ5czbTW/nEcZfu4npH4f7+VV6xOahQXLH4VwO4Zd5VP7rLxlSY3e3NldGxmdFxzRGXbE0jELP+eSUVVWg2QQ6p5lWDes4qTwJtK4OxubHfmLPW3ND3ZrPlYxZBGJX1elVSbwQ5/G0mxQ8b8+OAGbbpGDazHdv1uGMaTCWo3tEP58uaR4ym7yrkxZ1DXSyhGsMapW5QW1aVFDSCW6FvNsvTSuaTf4ZxozXXl5Vfttc9OWztkfzVkdYSezr0q0CdElNdHWfXi5s+igJi0FFnZ8HPPxWHFaLnn7UGx+grR6WC0ffZ/kA/4Gij0HbEoX4UXOmDYCjGamdwUunXPTCRWpR6IKSDOEfhoK5Wi/a7kl0fsjKOsrMuiOryBGfYDaoGAU104BoPUiEN5FmHJjfURbNMGfyMgp+/Nzr4juB87+ef9vBXKUFGvnFOvz4+1FqYaJNU7LcGY6KjViRkf38wlqTMtl4hOVMdxoiKnn04Wxga/R7Aez8EjbSVPfa7oGv+G2lbvHuHmSIJJfklzfmISJVdXmQjRSwuiAVaQpJrv4Et0mL6HlyDgaO4zO9HRb4uFfMtj6uRMX9O0rFwAQlZul9nrGHt94PB3mj/95pJKHj4ImlgGj0fSuQX90dVgzoq3mfZY3HpsZICUJaFEYT7jW4LBqu9fO7lkgXRfiNuReLqolS7hPa6ZK1L0BofDt7tg+Awvr3KTfNlAk6U5a7NcndIMPX41TiNAzLR/glnjf6ByavqTS3QNBqY/Pi4wS2v1ej/H0i75+n6X7lt6/92LH3/P1/9ou/957sXP7/Ny767uys3mCB6BDOYwqhtMG1q3f5M7TOZJAiBxQKBFYnXOzgcPUdgBq1zU1IE0XfKWHWcaennYHtEZCYjyl5vYqYFuP1VCZJGKH0JrE5GF0NC0tCDJ/1D3H0CD58ugPWvtP+F8lxqf6Wy6ViuBha5RcVD+OA5PMgK4N4CvP2qtFMFbkiioCTujRqjcJg0sWmn77vZ7ptvvvmGtizSyqVEkIgMoC37pCstaF18OZAJn2sjSITKinRGCGVG8xPc9SHB6FRt9bLTJu6YpKeQsr3dErd9wpJ9XmVvZonhPv2/0W7WUlf9JhCxRHEqW4HOhEMURShu6fwERAD6XvWJwJ/vub/z09Wh4Vjzz4v7NEVuV/3Phf2aqpxUgN36zZv/bySZWiWWt1VbztJE1gj4EJqqqcXJZHameDxEACZlvQuvp1tqk1UKTDQQ+6tUpph8H0iR+XH4RDmfDE5FpbIS4x6rxgDSpjr2Hl4smcoko+Pwsy4aBS4vFHcoi0skxh5Az+4qxVV9ZphXcfEZLJugyQfojwI2JiCV0zSS9JhOkkhyaBKf7OLP3dOO9mvhmvi7K/r6G+z2BoKlLfzy8Itx+nbwm9M9TucmJBFP/ZO/wueg5eFyi5n0beC3h1901cYvC7/oNrfxixK6+GXhF8cvRg/Dl4/Pw3+872AOmAE+j09ioqZmNIvCAy7AdbgNqSAxPAOPQg6QEWbIaHcQ/Ifb+FJ8OxYDy4MFwxJiUbHMVHqqCNRJVHJAu+eAgCe7g0sk4tV5duHqHC9ERnYhMugCzy9wSWHaNSWzGWOij9nvjzIJCo2y+J0R5A2hfE1C7TUJm1fo0pjoFSb69WR2eljZzZGOSSS8OqzdfDQn4T6+qt9scwFFmWPXGdfeDqfTJJ1pBsKWL/ALFFVtQqyVEtQX2r810GWa9v9Bn7MM7V+//HZIoJNwMGgp+GDrJknHJGQpkWW021o3icbDZKrhHr4xouyi3WmOOBpPZv1hHx7TzsKpNhprJm91r2eJRgiLafIBZ5tg8KV9/8sPP37/y6//vUSMC9XpCXlNIDdE/40voOQfCaHMJERZVh538IhkLS1LgJvkk5YjumGKvRBhhG3cFRpGSWMXrEdox+ksbaA6HVyClCzc/Klw7+q8fO97o3AzMhZu8uJNdJhQKAF850nBkFBJx8UsyLaQd6hWxZs0tSJvCoq8ORlcQtc/PVUVL7xxP1DyqHiprPxyw+hu/Vc/Iq5KTWmjCMXXxB0y++KtBb0iCyNtg138C/UCWkNadTGzjuHOCUi5k9+xljb1mt9pZxQ/LaZXwxJM3vgduMHRF9Ibp3rd22kiCZ96c3J+mm9vHFyWk+8uakW4XjLH8lqDaujjDlw0Ld6/R7W3+/79MOyP3r/fVbqSyBcQyLU9GMOQfwy9szG9hn6afrhEUFD29qY2gn9o3xWVTTk90AIYBbKRj5XvmmAD7V7t6u2rtI+wLtBRohgpGk27ESKKd+k1u1QDPAeD7g/Ef0v/DxJy/Ufg/xnnlrOI/zdt+xn/v41PGbyHq1hrTStm04nHgfHt/LA17xSn819CRh9AYw3GH0LoGGfDQ1Bc6ZCAolo4us5GkdlCuPD0MLwYzPqTwXV/9KGt8nqhkcpUKYchDGlA241HUMLwikYxHa2PnglQEKBjBbiCjhZQnCdTRGRPLtC9QnkuubLwtu68Ks5L4lTWvIigVHkm1Usfg3lpJuzjccD39hj39E8fj48DOOkk+/Tnc3YXzAq66Vh4D74/V3OAMTWlMTmmge/8cRilibwdytqpe1y+nl5efLV8M724+l55l16Zv1HHt1RrjiwQJMe2/+38+LiRtGxfP5wfHTVsv5VU5w6ghV4jEn86DdU0AmaA8z3yJ5QOstD35c9E33v1M1+2dlDJbe32lkifoDFvvaPZp/n+u2zG5+YmuNm7qcU2mZzbHshFDAHBfcMszK6FQbh3A0/tm5blcdf2HG44nu/Ydl0a1yj/q0ljLffFl6cxLZxCNzzHtx2bs9p8XIf5RuG7Jo3NHZPZrudbrul4Fmd1aTyPmzb3LVygtlyjrl7O4qcmjev43DQK3zVpKg7Xa9JUHevXJbK4Z7vF75pE3LgHqc3Kp+51t3lQlJ2C790gaGEJk8s1js3l2REMSvneu2WrMHRvHuCfCp+PoF/sN0gtQG884Ict+qPrB9g5ldgP5q1R3ltL3YQx4A/XWuCQFAnkGDawoelVb3HDwwC6jl93D+NbM8MzvZo8obPZrsl8zk3/9rt1OVu4bcRzTfquKbDvWYw76rsmgemVPtUU3q18gyksdmu3EYRz7kxj38HH6V0ceq9EwD6j43x5L9yTsltNvTH96Eidj/SqUggPbnmgNVo69S2W3O+3mn9Lx7isX5rMLIgMAXFJk4Netk4SgtLP1sKKuhEyDY+PQdsfG/qnUOr/7tERKXlx07HUPbiGt1C3L2RgcpUGbmIaVPIybyfL2qFbXuXp7OXi1dmbsxeL93J1nV5GbylkVQUiuoRB7AaN7v78oItrPhWKRQHc6ZTnZLtH0bfdw2hZUyJuamMJR4bvXD9mVq2Uk1eyNeO9+UEDZR6qexAnDgYHcy1QexS/1ajAWb5PJmfJVBvFs/QgSXtgqGLRsZTjwfVoPOzTXMwsDUfTQTjDLapjtQfxny9+yEzfN+OLNEoOtWnUn1wf0Ld2ydrMbjN1bZJEkNnBfNo7iOilB/jS9tlCSV7DeE971e+mYYoev2Z4daS9amuvx9OzPm6kRFnVYr5fQckIw/2eJM/B1JM77KfrQLZBZxJgk16XccvXxaYBdWJ8+y5f4GpOComvg2vEyFmgoZlpO9wEcezbhlXF4aH3tvJLjt4t2VhzA5leH7xbgjL0HcjehRf5HpgyzDG9hTBJpNPJFDHAwGK+yw0TLCMw6TirT4mRuQzDNi3bt8CIIp3jGPVpXcMwTY5xxUBYYJwZGyyvJWlt20ZbiZk4xvYt3+Gu4y26Zs4F011OnLtBd08YNDZGhwLdY7m2AQT3Has+pY2t4sKbXdSV3MGA33Z9Uqy7yU2P+67hoz9VF+lbnxaowymSjgM6FGw80+LoknVJxj68F2pPxq4JBAFroJIYuQMxr9dgYJWFVf0KvGIGeC/zQbvXNOw11t+xmAcGtuWBtHDADF6SDsUJlAsSWlA33weLoT6hBVVwGZHIdjxmgjZfkiUUywbDyOTwesPFB7jFl5SSw3ttBs3kAzO5JoxAzCW5AqltsIU5xa60XQfZz1hSAAMNKOZ5wPg2DBHwN1+SFgwt27SBr0zHN33fhCcXKbAam1IBYMzlQSkZg1pZUDkQ3vUpPQeMTs4sw/Ns3/Ndi5u8PqVpW76Jgeo9z4W8PR+adUlS37Vdw7MN5gJfG7YF+drmkpLC+AjYGCw1z8VI8CaoGH9JWXH+zDSB8h7zgKbAeq7Pl1HAsYFBoINC28K404TCeMvSyiYAGjDX5WhP25ZT10kmezVK8AAGw9BzDmo3bYGexxHBuxZmcJgL4iqIjLDpld1F99mis7g1qYjwn2U5ze5n3jWGx8FgjAjK4VFw1i9pn2FpS2QNrjOTDY3BuDUUmPwcSYLAGHWxsi8hyvYiTEI9kLo31DvZ/QxpOulm97uF4mC1g6jbiqog+yOWOFn1aD/A0WD87WB8eNZvXh5Y1Tql0NRhC14EhcUHCm+ZBcP9abyX1sx0nAXv9hvhHjzZ3YNn6clWWk56OQvOQKdf7p0dvFvElCNP/OX586Dz/5n7lT/C/zMIxcr8v209+3/elv+f76V/FO3j8P05eXImRwgwBglp7U6bXnSnyUzbl75QbtClTMEFDgxdBP9o3TA6x+dwlRvGEeRN50Paj+tcAWUspx2V3iu8/rxXTqfVNRzZyPOTgveg0x28cah9+ubq/JvDkyuBbtIEGumbwSVcUw5xQB7F/SihG5EBN2jDQMvQojHci+fauKcxk+7y7C474MX7ln+aoTG++fjNoaDIxRBfiO8bw6Vhn4au8POsjz/Dufw5gxEOXDj5hk2/aX7DIvjieMajb/Ctw3DyDVYEfh7SjXa7/fnzzouisyEEt5UcDhVbRK7epwcfdU25/oHGOKH9XKedes9D6B0ZHRPBMA9XaVIYkYZyiqTgZOhKayAqrInnv4lzcq0j/A+J33VuiqZj5Xpjd5q7NhIuNnaQx4BRMvfiyCla8hE5im4oTznwqHTKIZ8oOPQR3FXn0QhhgdMkUpAqeHVjDrfmElCCuBaRoC3+vE/RcYFMgwjBncyn7hHuRTnPYH907ZiWoecEJuTibuFCcfn6vKk1EFsyn56cn5K/UjxDoNNpdlUWsnvRH8SNj03CysiCIlrp48nuG4TR/JOLH//kr/Dn374TP//2nQTVVNA6FTzPxxISp1NF6pAbY3HhrC+zhQ6A2JFPiM05LIB/Pi9idzLUDnxzOueI4KEMTmanVaAQ3LjMcz5BNAFUKkMSCDAm1/bwKiLDTgU06BAoIV4kz3h2jYtromjDiXyl8FANPQzKpDxvZ9CATwv1OMHSoA/S/EnsuohcqK9hEd/5QjTJC0Jr5C4zJRCNaHBycoL9Fx2+olNn9Kkuem7jBfACwSuvgE1sBF0gMgsBGarLa4aOLPTxo67rBcSFoO/pkoBGBJmkbryAu9jJfTZ/Oj/ULkto1o/t/iwZThu6cofZOG+jrpxNMTZAA6qoo5vT8sXvdnX98x2QrjJz5LvJCL0znBDFQV4WPDAXoHyQCkFnyDUnyD1QbaRPhRQdbdS7GAxkt5Qp8xzlvYJTYLHXOmM6fOrNopftc6DNDKmF0qQKY2lqb05+Oi2716Tk2HYEKsT2Jjets0XXven4alrvpbgASzY5q/H7TU4t0cU9MAtBcSopzoHFerLYV1CHqxo3w+Or5Z67o7wIRFW9HkX3++9N7YN8TXTZ1FT7RKf1TrtR5IWzxqsl2eHnLWT368mr0507opM1Gm9PzvvACgReajD0wov9B6+SqJV3erq6/QFvZ08JcbzsSXWXnv5QXxkgYOaoGSp1fp69CTed7Wt0TcBb9+jSHgrj/UK/rmuTDE0I5ws+sqEdCjenJbB4JoAQhw0Jy/e+y+6dnKQnh4etoqfmV+LCaQ63xAxOF0DnTdkf70ZgfbwDfNVR+N1liUyF0Cq8FpV3SVdSAsohvhhOGpR0EbgloFnoZnUSpuFsnE6Dxm4TBdHhrnzFSDqjxt7/CpuITtCVVOGcfmbUkcYobaaYKlTYIt5LLwbBUEVCP9vWYaHUnwR2WahYKJZELR/Kd3xerJIlq7QJgEyM/zLr+o8Y/xmuySvjP+4+j/+28REDJ+0EN4wReF0A1+mbzhmdM57j3f0M9O4uRb4bEuBuCFg6/l6EoLsShu5nUHRMRa+jN1MhqDxQNDWa004wDQHgbchCjeXoMidQvENweMLCczWYq9xeRMubEjFvIxZeIOcZ5uJLBD2i7iEdh3TcEoh6Duk4IuwhHfdF9UwsGcLzTdw5AP8ReQ/pTEhnQjrTFySwsCxw34J7loelxLEkUyPIlmOp0SPz2eLIUcOhY2nAiPfkLRw8UoLPn1fp/2kSjdM/av6HO6w6/2M+4z+3Nf/zGzU+oSfRNwJ6a6SJHAGUpHF+l0KEFQJLJckUZw5k1LhCFDCM9NXMx/T/yZWf6PbOu8ocUMZ22ptfXv3Xjz+8/+Hlb9ov797++u4tnf74r19f/PwDXP/P1+//75tfftZOpkkSGxpOA6SnOzByHx1qnnaWhHGSargLAh2aJojaRkSBiXM3F6OZLt0medo8QxrgRkFV08Mdci2lhUNM/S918t/wmHL41lSA039lZ/+NMwzx35KEHELDX61BZMm8LotZjGT0oT9KtHicyF11hYkKDJI26HebwkVskxwxiyBegbzV/hX+lgwm9BmJSRp6By9junZ/hFs0GgZm1BAZgFGgIn5RKzVVpK5mejHaAftoyRv4qd7B3YbD87ifNsBQwqAOAXr7bybz/nT2fnxOv/Sdj8MAX1efjVksqL4zNdApZdFy0SvW0LEl1lVpNQ+Gb+Un7LonbBlCwNh5Gyyaj0SFg92ib1e0lNBuQw7JRzRTIJuxP8JBiAj4JfqD4u4s/BeNUioRv/TD6QXwUkPPQ3S9bX4S0bwOWXP343D38OOwuUs9ZPdQRtxq7v5EdzG41iHcCgs1depq6qh4LPZnaHeME4A2f0DjtWqsLWLncN4Mr5uz5rwpY2whdwaqtPkDi2l3VEiC4vCDZiUwKfnobIRzwjPJH9fyB62qNYq35J3TfXo+i12nwhkIVJQwpns01IAinipHs/RrR5sEskHgepBlAVwsejqctCmCYWOCxjfFLSQOAC4+6O1+wkSfUVKAqX/V3dWxX/aQHj21SYM6Xxtt7Mbu8cuXu03KF+k/IRqIzT6FLWbisqBpcWuZynHeno3fkzSCEXtzt9v/QOMLMShYzLzZG1xMz2Sf+qPWf2j5831yOXwQE+AO/Y/A4wX9D6ag86z/t7j+0x8kousUVFYkrqdZ3MnwmowEnJRPaAc56hd0Hh5GM1yd+BBO2zsvoln/Eh1V0VbH4bAVnYGahSwx38t+Oh7hBsWONAO0Iudpb3978f2PpPlPIK/3g/6wPztt7/w8LpseuDaRXELBQJiBOBDLHLTmpCIFFFcEMiULCpcWBlCpN0H2x+OhiIQJpXyPlU3Qzz9oESxNVnmZyxsZ7EASK13+ZDJPoovZOHvyx//KfPv/KG/t/FrWvu/fY8CM9+8LOrMtVO9OFCy+Ge7Jwi3VvVX9YQr98evBbjGawq7Yy/Z+lsxnoKY7cqtn1J5eRNDE02bUTnBxaLrTgCflW5UuFcJOPJvNYUwbn3ZR8kXjONk9jNrqvH2WzBt6cxekNZJ/95BmZdsxcNX4Oonfq3T6Z5CUcvZEpW0uS1sSnUlQQ+hGXgKoS9jt6ztkEQbofByUCXyDdTMefwhm5LBwkoSIVR2G87jf6wVGu9MNY9SyxIpli4TX6WkuLRKCT5OxgW1E62TAC0ncWG7XfRiMu43dPVJVNPGckHtwaJhOQowFpiha0O/RbG3gF1QhaX//4tWrH397/+KHH3778c2b5mwM1zJShXGcUjtKD+xw782Pr378/u0v8MTf3sJzL39++fbli1cv/+fH/QZYXnvM2NsDlVyjwej+rSma0GkDUXVQd/Q+Mk+Jx0Ra/cQ7PO2MAqQaJtAPDsAa31lc8iFrDHVqgIlOft+DRIfkzAXPTjsghgI0KdrYC2XWkPrk/PB834RhvyjPYghNowkPN01OocxmqQjhFY6mwQPS980/X/y6j0U7ZD4UDClEvERmFv4S74ZcLgazNkq9i2lCUQNlZ0RKQRn1IHAo6NSH8axSdbh/cpjXu1lz2+SH6vZpIXesqnEUzI8CalY3N2jgPVRG6ggqhCNcPDk/bQH5T873wVA9IM8hC2TmYhJUdSJ8Vp438QvGF9Dt9gM8PwZ7mHWo12EyPEES6R3qjvsBnHeow+4HtB6L8VvxMXgqi28KPVQ/YsYh/M2sVWI7coXyO72zCQVvYqmdw1NajEjmES5T/0h/aOsjqJQ5MYSUCrhlDQTDfrALhdilHgyjnWSuwyDjCqVwR4qpv714+Wq3WXyjTFgUT50udIJzZQPmiUfNXUmb3aYi0i7SZ7eJ381dJAnkjoQpSjuhe4NPu2oMOwVpi4Si/N6DknyPeaFblt3DUsbvjfcGE9fzN7ynsA3Tq3Cye0jv2h0m4ah4VaxQUrMciEE1RY3DMzk0gezHHyDT8QcQ84KG8Jg4aZJSmL6/U/xDwjDexbb8TDoH+sZ7UdfbtY5IA4yPoYoC4EDZOuK6/gwgu2P+n7bG/kHzf6ZlL9r/hvNs/2/N/v8hgV4+7I/601k/UrukyS6fijGBNO8n19Cbh2KbSijDDIHYbJAljN2sxXenWsZK+gLqK7+jlSxJeb3YzW+z3u8y3O9jfn8f3Loi+Ro3OoOp0GI7YCTS+9q/0Z+Ga3LfYDgF8/EChyNT3ISFMnhasialHSmMSqPTC/uDC6gkWpL1diqJR9LZaCh/f5Ib0bj6iTM8ZJVMk0ESQfomucIAdYVGIzQNlUBoCXpnU8ldKMyOMnW+rKWjirLf3d1t/z7ujxo0+VNnF+ZGhfDgUTITbzWCaMqqztpZZuidGGDfERCmxnwik2G5xYMvwwKJOKVUuaDeoDu8w2LB1iCLZbmZcW8rQ/GOsm3kfTWT+bEwkal4sjx4mFNF0zYyMjaR0XQMvXNde3UWGDuC024ZKDRP5s1rtKIW0Cm4xQ6rhtOEQYowHswcXdo1oMeEcyIYa85Lb2U2ei8/YP9/e9fe27Z1xf/np+DaDbZsiiYpUZKlaECapA9gbjInHgYYhkvxYbGWSIaUbKlD99l3fufcS0qy0nTtmgCDGESWyMv7PPe87zkaGjD59D5zYhm9QnB1Ya1Og1VrlK3rGtZnZ9mK+TidMzaQssHKYmcba8Wpg7K60bauQSpsagj45Nnxup2taa6s9ThbWdkaAsIpDSKc5mkYH18j7ZaLf+jnDSYKFS2sC9Xn9C+97njsDFGBa10YKi+x3Hb59oXlbt/2+LazW7qjSjvbt7uq9M5tf7gY71TQG/IyfmAdAb/WNWt9ZS5oYvS3dUt0wDcbo3rWH/4XENQwpjU0Hg3rrxazq2BVGV/tYRMbFpLZUmyKTYaUf2+xoqhIWFF8q1lRvWuOhvobCWDOzc9G422hWMYnXiLsJFIzkv/vfKTwf7STw/hz2X/7/e4e+6934P8+Ef/3NS++OcuzuzYniwlj2U22+SIokPfRJNq5eMzbSGnaBsOVZwgyVyEhQSW5WuHmbdTCKBzFfyQKasZBOJVyfMgKdCJS1lhCrXmF8D86CVBkVkW+MO/ShzS7M4p07Ni+5BM0XdgGgwIe30jcSz37R4DEQEA9ESqHiklM1cy4MmOKXwXiDa13bM9mDe7mi9cXb77726uXonpWZmjz7xfm5as3ry/fmddsaN6ngC4CdkBXmmftq47kr3lJbakJUJ70NE2Ldp7N1k981ZmnRfit2hgc5sX697G3++3Cv8ZQ2zLqxdQN8Ak8q5imFueUuvz2tfW3l7cX+HgrpcVQqsvX9lJLEl9UxpVwWoMRUtw1rPVHmPDfwic/sQJ/cMxPDcPFuO45W3BhuP3wtHW3pu03GXLFBvwztWxLWtItNp85/E1Ombic/zkD/xt5d/C7xn79pLLcfkRBeXb1ERXl2dWNtV8m+DhzCi32lTBqJ1fEyUBX/EFfhye6aUOQGiS1HfYWA6W6RGON5YB6GjrFVLTTaaOd/p266V9g3MrrYQ/c2ZeMZ+INtCRIFjiP9o3+tRCzWDCPGySrkbRtmEXjBoBkacclJ00taQPSCpU0P/ync0MfXfnu0x9qXoF1wZYorL3HLduO/0zdEz/ZZ/a5zyIBT2rtH30ta1sJqjzeA6U/tnZNAi5NDeNGGx8w9jf9kOoZBIeiaN0Azo2HBsttIq5DTNciuzOaRzD2EBtMZMe1YQBi+jOKYhxObsAhWllUocXB4LcDUKtmhlibN2VeBHfaCNqsEbQpOG4hawHLaZ2L3lzHC1qRsBqjbpnDEQLgA4/P8juOGW9Xxcmx2+avyYSQJOLi7xQ4qwsELSWj3W/N4lB4+3uSS2odeshryILU3HpQKYsq3B5Rj66PXdui+2w5yJTXCR8qwV0+dSHeED/ht8onRt+2shBmzfIjTdrq+CfLjZG+u8VVQ+Igln4M7+tHVfmtdYvKM5bKuR+PZ1SGy2+3n1Vs86SHf3UEwXKfMwZD90Z9of1+Y6iKLN2/1u5IqAhLsLTWf/EM9q4hGSAvi/RYdC5IUEfyfT3xzYJo6VW6MKvaT8oEGMoskGGeEFXlVG3zlorAKQfGt3/t9g81RLVFZrMRBQFEj2hmz9lpJRoTwZZ26mJRqw0K3joDCW8hTRh/QcdK1bF6CdXq0eydJNG+nujofIFOCcZ7UlKFaVLH6Ip4NTkTBG4JflZpksYlIhuXOf2gvYCIZbRBYNfHHOYJl81nwhdic8Q4ofgE4mFcGX9PLCnMK/HDWIq1baczSviGXj78aLVt/4m5keR6z5GjNeGy3Kjg9McTdtjyR0ldC5WQSjDS5ISbeOYQ3hlzAxaea3MPd8iSXtB9K6nJ5qQEX4hjVdLzmTUdT8pRMqvbmTVdvW262h1wN4lzGR/PTqcITNJ0je5udW32bOwMp2O6rVUlM/xAK9QTQmu6CkJ2GzCu8CCUAvzNKmj/CkpUxjy5Z5jQDBCVHa3ZNM4LE68K1HGygpKEV2hBq704dbsAg+fmIs3WtKk2Vc6SaccMHvIUTDycO+NqioVnUR+wERKTEhJUSK5LaW5NuPCUIN3lszPULvHbcSRtbtM1cVyzHVpnGxoOImVrpmMMB2C1dnF5aygkSjjo2yBkS9ftL1EsVNOqla0wOIJX+qgS5oqVX9aV0rxY7rmvVGFbltegPYG3nBhbA2uCDv+UFrDIWnroRBDmghnmkZhajV1D78Ozse02qRuUkXePOrPRYZqKBjaugEQECQCoGDdy0/qf6Dn3taLKUAtwWI3ScHG8qXi3hJKLMknSnN6yeDh2O/QMx89v1W0kTx27nkVS7C2k2NtailXOrUVK0kA21vB+Oxd9JX5s2UdZtW/t2ljHNOFgKKC50kyF1mlpFkL9JX5/LzPq33zItonDTE8Mm/+6H+rjmryS8NndOK95/6fxkWrw6OdfUlsp+x9h5z9K+/Px8z89p7ur/3H7B/vfJ7kaVcTv8IX7RSe1J7J9HT8d+byfuACMzBTJBXPaVP/62eDUUWb6jB091DnRfDy5RjwDKnKd34zpDx8Zzi2nderS64RrTo/ztrPyE2wFZ9UjxJcTKVz1E8WS7Pcxm5Agr7MmHFm6XmfVOaeq6RGJ13i8+Sjx+NFLQu/fPH/3CkW2Hnf5MWH/r1++evvu8urFu63HieW0Pq9SWfZ/EaQlLXu1+Bz+v67nu0/8fzvdw/7/RPrfV6sghKE9LaFeXc5Fc4psI1FQRiZ7gCol7xJUArSmICl2MsvD+2pXt7oJSqygdVjFZuGrKwZ/cGjqLr7K3Q8qRgUvKaKpURBoJ+vL4EN/TJgFuAFMAoI5gCzCuwp0kR6RiDBLFzjqywikPulc6wqrYybFeGXbIfb6CNUfSbIZxUiV10dw4T+6YeY9Vaehj6IlH0wgkZ+fGuqsdV36Zkxf4+guRuSLjeRdxMqNeQybGNLavoMzOap1mHQDktXxd9IyIhJlKyu4rm7aE/oQWbHacDcNWrW3ZWtUieiUQMZbiWBhsWoPz7Yenuw8VuhygylhZiwb0xLBLsesanWWWVU8bmTX46pqVyd0m4TMrO226ItF1Y8rfFbvx8Q1P+ZltfDHqreRdR+vx7NgPokCczVcYS6uh8QZtQ4eXH8o/r989fzlxSt7Hn0W+9+e/B9u3zng/09xfWkyBAzNCURtIgAFyTkklnMSqce8/U2wrKo0yFAMpkDDeBknwXK2qE1eQ/Pdt5ew1Vly9rMg3B9DmbBxKtQyRaUIXVU4jSOjrvb9Modm2HzzlTkpgyycyh0iLjHiS1XI45E/IJf3m6/O9GnSOgIUcagGlalNi0Oz65+bb67eftvxTJUniaRDMyGRD2dRdSwwJJ3jsFcSyuxskkaWoROIM/mjstOgjNXpVdv8PjdJ0k9V3GbpBUmYZb5K5xIw65Fk3nkQxbZhfIW55AR8AaHPSb6Ymo28CfVGvrybcsoSEU9NEk9t8ytJeoIkXjS3kdE8s0yVmwoasbk5WeNvWpqPMWJW0RiAhLnbOs35SOU/gSUVsq+5rPBysDD1zNvm8wWtSrUwXW+jGzQzST6DUB6hnXBZ4hhKG2K1UedQvyP6REjefCFPlT5bpqGMQyKhsAsH5aRdpNkZ1drmqZhtzAJO9egMMNI6t9GU4MiVqEUZkakWGFuhSsNTAGtJAPZoG++2dOxLvARTq5iO35LMrlO+AFBNgRRdpJycqa7x6htaMxnyYCym8Q1Ay3xTRV/HPL54K86aYzm2e0PL/xamgKHJOe5Nx7b75n1MQyMQh0YVykyLk25Zs/yuDdDDXwJDOZkkKe1t4y29bg6wBdTWU81b5hWvNzRl0JsSINa7acmK1LphV2qpzHP67pqsUqMh8+uWqQa+9aNeYp6eR9jppdVnV7ZxIa1ST/75+rJNs51HAiWTdIGUeFbzun5Ie+Lh1LXN7zLaOlhtnldiJxCDJeYT0gSY3OGRGs2Gg8GyiBiSZnHwoGC/3uq0mtO0MpTSEDmB2ou8neWZZNSDJqVCfKqQXi4xKxHgDV4LPCOcHmNBmyRW/qeslgGMTGNsQvqf5SgiEWVFx0SAhBB2zArOJ7O1hQa0xKhRhWF8+SWNtz47X8YcqsYgPlnbg94vY4BUm8O1JzjA1hy5m9Nc9ia9c89NBhEC+7rdIOiH5z0SiWJ3Ent+4Ple10/6TtdgRp1POmPX4hA8bZe7xTy8z7BoZzh/V6VzVa8R93yqLhkMovicauhFju9PktALgonjht2BF0x6ft+Jz+A7GJTh9Ewq13vs/ZJlBNVZnJgNsJXY7ULrCIgzxZlAgROSCGjQzMBj5AsC8qPKoCLLwq6mQ05uSIA6sBFVo8lsyPE/HtLgu0uLPTgE/2bxo26TdefEV3PXeNrVVOOgMLYjH1HkLiAocCZomyA6XoWzJUqoPqUoFE6JPNBWiRfaAUR5dSQxU6vtKbbEjXTzmKOakI3zjQQFP/zwg7E33uUXf5ZWzrbiXn5hrm5DT3lE63A8ZqHvbVZ1F7MYVj8zdfo2c/NwnxEWZhOhoW60vvWFsTcSgy74hZpEx9/oGFvVaXngv2DsO8FZvyNq7O0O/So/cMffHO+Gq852Yd2QeI7i0NxGz5sOy+uqTu41tgRzIXBoEOehvZ0Ujej2Myyp8TUbsbSFwrHPFUkRlAlwAJkhiTMuCXEwnD1NpmIQhJ0/uWupdRC3+yQF5iEJcMkpPaklSx/FjZVlX7z0be5TM1NwTeLHPE4xM+v+EkJGmmeYZOqqbWNrDZmCitcJ+1Gx4XsLf3M31AojkAYU47ahzgfseGzQq7zlpEcelgt7klBylYYjhWTLQD+pwGYx+ZNzCJud0TE7LPij1YYAGAo54jZ1gkPRClZXUToqQ9rHLDBlQNfr/PMBcW/LucT54DfA/zAfFZdr9oijGShkguEjBz+uivpQe8XRVlxi64NV3nWM23aCa9zfDHZ/4+UiEp6kJAGbbKzSzm4dzY+xMcM8dr02uB9qtiWQUaT/BsPNaHkNAl6hOxx9BJ3HonGoVCDf2vVM9YZd6Ngbw9x0azPg1kYLPU1p+oFRyvtYDeRXHLcGyXtBbJJhXC4zrSaSoDEFu1QpTDSsfaxkIO/n43qvwi2wbOQIAyE04KJwhzR+C8wUYJgGR7yOqR7S+9tBi6FPAom2hOtmfpQVM0aP8YTdcx1EcWKVEOAwp4VYlgCgNocFAaWkOaTZAbmGMovRWs7oR0habIjma7St6xIXYdi9oE6rAFas5rB2VGkCYKz4YLmEz7crCoIuVMRxlczHEo+DSRXu/tSxO4Oujxj/3d5g0PG6bt9klOx1uSMEpZc1FwyuJ1sWLJTQ0gmTARV7G0bUBU3IDC9DNuo6u3ST1vM5C00ZH+oHI6W8HQnt8LzW+ITm6SUEqrxgHPUA4TFH1sUAqJrWkPYVwFEQ1UgjB14rPWE13pQGoxgGupLXQjlVHpQ/f7D+5/vX77578cperBafQf/jEo+7q//pegf9zye5XhJyeND8MEmoQblIEyAwjwiSG3jdpO8POr1u/5xwSxwkid/vxl3fS5JOnPih10migd8LfWcSeaEbdAPXifoDkltYNtGSa11rMgjcoNPxPW8Q9sPYm/R7Xr8z8X3PDZyB30/6YeROek7s94OgE4cEB3EchgQ9vaDXDfu2QX1UdKh6qgyyCIes4qhd5ClrEAhV3ZMAxwof9Gca0A8iH0QmSKgwIEGasJpr/YowR0oRJSqoOirKHgWZGp5lEM9SbTBZcnyM+4NWtWADTz9xDhfxVOtA2hHVV6aTpShQdHKwMI+TJA1TVhpFvE6yTG/D9E2d+cv4SOYvywwJl6Ycp2Vf9i/jafYvBD4cdPmzz58cCvHcG+2kKHtxegrpX7pDDLhHpIgWSOg7Bi7rw4npQTprObCRgIsyf0ijRsRq9DjBwtgjyP5aCfZAMg7X4Tpch+twHa7DdbgO1+E6XIfrcB2uw3W4Dtfhous/ApM67g==","code_sha256":"389f36479b924e86a10503ff02bcfbca3d0941f3d19da3e4dc204a78d7d2f82f","notes":"Final contract only. PB/Q2 tables unchanged; branch blend removed. Cost: blind replica 60000..61023, four 256-seed blocks, fresh original Gaussian+qm baseline on identical seeds. Parity: replica 10000..10019 at each THR, all callbacks, zero errors above 0.01 bps. Gas includes 21000 intrinsic; peak covers both parity and stress, mean is THR=0.5 parity. Stress: 64 sequences and 16384 swaps per threshold, zero reverts/OOG. Forced: 64 two-live-component states per threshold, first trade after 13 silent steps (12-cut cap), pi approximately 0.5; max fee error 5.583e-9 bps. Both runtimes 22073 bytes; no assembly, no runtime CODECOPY. Single-component states reuse m,v and leave encoded dormant component slots unchanged. amm-match validate passed on delivered THR=0.5 source. Solved gates reproduced. No engine seeds used. code_sha256 hashes the uncompressed tar. Archive has source, reference, generator and checks; no tables or traces."}
