Quick introduction into SAT/SMT solvers and symbolic execution | SAT_SMT_DRAFT.7z.004 | part 4/5

[chan] Crypto-Anarchist Federation
Aug 11 11:38

QwOuMpVgF8WGIFfBoxkJV7DKV/RAhpeBiS6BGibGXmnGDNinDlNzKuPnLxzVafEwyCFWU+fU/RnG bSAfeTjSsnFOnxNHUdApEFwLACBnEcrb9DlkDg11kYUCDgU5NB/3hcJj4NYX/NjseFZNvwZk/tFa e4cb6sSCKX1MYohcSr0fenQvGGkdIGOOXBUfhe7ACtg9pSKv6dcd/Bjd7WTmPFK7/zHS0mqCZoop ZvBYuhHfBDPoZ0hVpdp2nZGSAV97QMWsbIwTddIkGdyMtoBhvgC4/IMVgsQ8AJJ9XT6nYwEYhy1E BWZDSANnR73fFoKs9G0BzcxT52MgNfxbkwYJClB27UHlc5A1L88W8X4IoasI3mgfMSdWgevmKz0e WctsBQfhaVAeT7BFL7HFVzPkzqf6VBmIvlivYvN/Lw0eioDL/klYHBLytxfU2l2K+94zSk9ye/6m Uq5bB+E/oPIE8aiO7ArBBSPCLtqiTuIBEMBvLKmZkp/CEfduYlZj+MwF1DVv9xMMb3vDYAfvikz+ HCWHkNixoFP+Zc8tMkem8KxFGwPCVRG+fsTqfsDQRxuBdWUa5Jb/zt2KNeGgtFWgu7rgy2MxzxTs 6Jr/NB7xqQl/M6ELrI4gvFZgVuwW/MRSP057Kh+3WTj3/kBUd/FMU9654hG+cf9R2MAbuijk0yUs vGd72nvSAWM8fXZ7ALYRvctnxUxdPi/EUTBUz4Dt/V9bjjjVBX6N+aOSF5CAEY9aIti46qeJNxpg UDncwqQisKhwF3htQoLxSr4EqVDkS2wf1xVSiPnfn8wcX0iYLFf0pzCptroKqyWxJQnmf/XqsQ8S DuoGl4NU4eSVjwNR148Pu2gilpAiR0fAHekfKqUgCfhpaRG+mZFbVp2Oo73/0CrHPsZIl2UwEH8m OiEADlMItXVWid0umL8HFKqZ1jP2z9l03x51DldYfPIKscRBXrL/O8ntiGdSR3PTPlhFFcq8yjbn dg51nt0dWrA1ezEyRIKGvBwBIT6NpybtHzvXG5ct2Z8qyzqt39ajNPzXe/nqh5bVWsmd5v0jP6Y0 YTzBLWkC01l/7xc7l8FGeBmZ8QuUxObKc1QBHUgopHD4LD66HcjmEy0Iyi6uC/2kE9/fSd2gQQJr fc2whOfPVdJ7ECACdBAlADfLY+VlhqpK5IqxIbNCRKymE1DfVJy/HV+RzD3dbrbha1BoMf3wT2du idlyFelQMk5Zq9W7OGVQS1Sj4OH0LwqCpMMIocAgJQLXYmCQdgdsGpPXMTI6FmuwHbPcafNEGnx2 BUGDWtbQ5b9XLv3QxB0KXhGNsxizznmYmBykQ1QXunDq50xpv8jGs8IM6P11XPQz+/f2EzKhC/ZP 3GzHYf20aae6Pt1Mx6xjUDH2guCF24YXXNb8UUHXnfwk65vuMHGvgbLe3bxJYLaCcFuK7H4SzfNo r+e4fG7z5BdgyIB+v2VqKtJUNCABni+rs4kMR71lAH6qp6t/8ckkdPgfhWFGd3rxfIzfAWvnimWR mwykqM0sSDFVtVtkUxMWzc3RETwsM7SaO0qiG3rqcN/rmJfpoqVYMl/Uxa0UrDdFMwIj3oQ/dlym xAWaqeR/C1dJE6JBMwOdFkLEiD+maL6hwyO90VEyXoGueUPqx8zmtU8LXqaJ287lMeoDTbfRMuoT 9YLJcLepF1JHV6z2vPUo/7Z1RGAwlGWBWtgX4W1Z2DGXUZRydhH8FRHP4mjbgjIH2CaD6BgzLEs+ JW+V3d8ZNDETJ197M7UlQV1CgNhUve56IqXGWP3VxjFM0FuRsdPiUzokmo63CXfvgWpbLa4gueO0 vm7VOKZ6TGA3FLetf0W0Ux6ONSIhMFm4VvbO864ksRtLu8aw5zen/s7P5rAKtJBPR0Y5SvVaFUO8 0Oft2mclP5od/UYr/mDipivJUrZ6v5TOkhURXF4cRTZst8hV4hHyOupe1CKeYkKsRkpZDHzaM6/n XDycgr/UPeamqL+M746CCQVXfihIUcGbT1TYDOe+U8O7zCWiEKc8gkz3Ce9bMHXQh+ylZvfD8M5O soV8kcHDG5ilzRGYEo66h7ZFsTQ/HHP7IS09k0aXNOq29wEJ7FSEGxo5HCIVunmHbwVGjwSZX3j4 0/4Z2UT6AfBalD+Zr+5mzeJGQS+cxGdmxVqk+EakmrwbwWnKgqLsLerJ/dmcZor1tk9AXOXNX7oL ITKGgA10YuSquZ6CCtRw5cyIBYiDu9R81WujiIiMIlsr/1dB5+3P5oZltKdzu3c3QR/UuY4HXmNt NpHivCMgX5NZ91Xhn+3xHJUMX5LoGdN1Sr5E78UXZkWCbptq88B76W+u1FZUyM3B5AIuvYOiCDR5 ukGBa8e8RXBslnCjTVjCRoiKTzlo1y0XYF6Fe5SVd7yZ1Vcdgjfa+8q2iePHFRrxO3/YVMZse5tF qg7xlG9cmC9vL/0jIT7mv3R2W63W8J18ik4DDGehTVxMU9MounNASv/ESsXWIvoA9z4BsgFAMAUW 0P2JEOgwXWxE7cdNCWpanvm2Axxh7gtuk3inocWIUxwUKQnNc5VXV8vZ0WrHWz3QFeRAL8tBA5mc AdDLD82/nVQRe3odzA2wTtl1OFI+l54q+FqNvmfddT5MqkgFoMWMfXTqgALyoqS62WKaJdxBN8r4 LmphVhtw+umD9mhZfVj9x3lwOPCo3Wa/bLiCTgebpq7fVpXd6sJ45qD+0dFA4aMKjx+L5yAf29HE auj0Hgo8LdTG/BwVT5wTHmEUsd3OgvftfzElKwnTg2/rfELjQ61KL1fnInRDwn/msMJJJ6lTXLnO 7ehlRZaimEwMprkw7BHu2tvRcqRAS3Tl6U7qIlFn+9sFO05SgwehBa0LaF6HlSh0j1KUVShI6TSt CeasCh59TJMytGpCBEAlCZvTGDq7HiYwDRclKDV/Y5W6GGxKSwoZNERCp3M9nbaz5e7gcCXTiAqA HS/w7Gk+T2K0GX/xprdRiVc+uZH36i6+p1qEV6ZhXSWPQrHhVAnHtZoTB69ratnVBWTI3s6QoCSe ffbh4262PmQZ7bVEcbY2kT55XEhBx34NsQNw8Zf4iQcRLSO4X+vfcnYjm7oDitiFpME03NKK8xwA 6/RO8/pN0wpdcY7491Jadx3p1pk7x3AuuP5DjgI3VxKyu5li5hh9IoOfsW3h9PQ0iRkFVGAodDiP gfntKW4XD7d276jeTRiohAGP5inJseNvm61J/Yuksmp9hZ6JoaqSwyNLxy2Ct0gI/ip5qs/KhfBG DM/+6KCpidbYR7dRNvCvWp6sWOunjAJaTUmtyeRGiviw8Zg5EEEAh42QUgzvfRy67Ke0uhfdwI92 TxzS+9z9SyZIWh3TvIuBknfihgE8qjBF6sUlx7M4PJEghO/tvP/snuojQYiJZ5S5lXIYikzl8dyo VLuhv3gApwZLpeNvaAVVyUua/1LpgFwVoLwUKW9gVfT0m0HDWJ8eoWCBTO1TYemq5JeCRSc6NG0v PZgJIawCdeTdV2BzlXUldhaK4D5UOQzGWvF0pexhKoRAyJH9DAQ65mGYEFpfxsab+LCpJxBxpAon SK9AxrYq42DaIXz21AkmBfxHkZtpAxW8E30DHuuWrTVb14dxQtEJF30c7l+2ABoFiLYuK6nDPlsM TSgsV7mXhS2PF/x4hQ6Nzugnxzht8Aduqdi6QkcCBeOkcD3clBRPCGjhFnQCp2zQ3Ljm8vKTdUTc d3n/YIvQV9uRa0HIVsUtSS0PZS0Ih0s63pxxp3ossZx80y5AWNqkPuKiiuQE9w/rCVgZ4pKllyC5 UG7Bk49GTG06rpwukWyPAIfkkDKkdrukv0QBb/3QAD7q6vpqQizSiCunz+mD2pqQJJuEf6kglrSP G0l/zVV5h8uEuvs1e/9YK5tyT37dcvT4mLH6BmwOP/7OOVmpWab7HSXVhUZOIDYGJ4r1iW5Fiv06 +/CuwTOMatXQnCvXJc3IKsE9kaRKWc478YlJF4QkxiraoRvgUxjkf9HfhnTptUFiokZdcHb7xx1q tQOgSbMzNW4v3bqlRJz0Lu175nj+VHkCYYLdNHxqvN3YnA6Tws0kE32xDNiXYRmAnIaNTclp4pGv jmByV64j4JxJgHMJLoUABDXgUEhEqEkefmGmKuPHz9qSzEu3oxP4+aGraMuwPmEXhDu5TA7YIF3e nx8PaBVWAfGWz4cf/4jBHgc1wFHpX3itcHkRsBysnLvPlGvHMLc5qj6KueiNXJ23ANu4u95Vli8e MApXLtzCrPwempxgmBzewb+UaStXarJqsEewJHc0Yei5kdpy47piZEUv5zFgUR6N28d0QlWLKjHd suVeKTgro3bi2iNooTB5tgJ/xptG6imp47+y9okq9KuW6h34Ny8PYTVGWH9FGJg23iqWEIjxGila a/gOqRx7G7VOKXw1I9TO+uRNs0uzIeNRVKEZW3aVZYKb5GR1Ax+M8W/XkoDugCOc20Bm1acSVjeS 8wk73Zka1QYCHzM6kcl909oV66ihzi8bQmGFjA8ZS9M7YOqxF/0HWGSsMH9VVtt5Et5sog8ZWEz4 tkI1mPaNWTn+pKoZ0SVcuCQJ4I+2q3wXfsGLHuuQFynvbg9i2Zo1QU+rXbCWNHGBm7T7kZ8cOvjT 6TISn+dvT/YE/8wFF+M6n4UAHxrVpaJKubXomW4BAB8HnyfCXgu2K0MXrJkoUDXb690yyMHU7fyV OkRp15i4p5GEG/i00zbed+T4QZnYaCaGV0G/mTB0xtGnhTiTmu5P7ym5z6dvkE99R1KZ/OBd3ZNq lQzaU4KrTOKfjh/t5dhog2QJK4YjpAdF7verlTzj0v+E43kHIkkClNU4FhDlUsco1pE6BbnS0u7S dd5MyKtNbKyHPZ+b7n2lLMDSpS10sGhh6CeFeqhWERwi/9t/ZUShJ0ufh8hElRwAENFTz27yMlHT GekSnX1bsYsNMaT8CUueIN1Ka4Dnp2KAo3gmv5XXXzaRZfTzVmPqQCqLZ73KaXolPXJ8QY7JtyYG jp2aUDCgSod61TbYRKOSwNqxjfbfa36FPawGilCETbBczmHpJG3mzQwC4yJP25B3cOltiTIabJIg hhq/HITO8N4FwsrJ4WaWDLOD/b40uYbeSsFIBn7HQe1CUTnr1YhFAs0O08N4Ew3KKWjNPDD6c04L AmSbB8X8ldeBkXXz3Wvzn/BYdmKp0B6P60SdbVVcGkPAs9DXji9j77Q7wQRLChopVoyyZvOY16qJ auPdgTlaKgAcehgotc3SHDU39p5vpbiFCih4gcVTC4dkBr49VmoSuRIvYjDoQ4q8KKI+k95blC5g AO29o+I352ovdkQ9YQ6IbUo3ZqY8qve1sfIqDrKnCcEq9RVms2Hoz9Ritda5uSICzrTFLO2h37I6 VvHeXqBXdDzA1gDPRlhahr3TlEYfOiBthjUoUAMYbGzD92lOxKfIoe4GAF/o+d6ITDBpIjvrBlsN AtpKsfMSAXdEeTBG+wqyMymBLytPBdlP8NXbmtE9Y6gAVYbjKzoXSxenhjaie3o3V/9pKDm/igJM vamipVBRznRnkD2oq+6e6i0fdpGEPBOnSvQRQ2/c0BnPZispIY+60ukJ0X/70i6epYJgwLPtPZgv zMU1+EDH5NIl74K09CFnJnQgT3AMgZiLhALNj2jjZ0iUUiFqYT4w8LMrwN3s5IElShugNeGo1KlR sJQivT52n7OWwnIKlgRtHhTJIUDLMZ9NsRduvs6dPdQxOd32rHr/k0cR3RRveKTFe89Z6PnatFeJ o4A/wE6yKFnf51pFv2VEyKU1nB02XBTk9ilETGPCHgPNe8vwzZWqlQu9/KuyykntOd+PPYFRLiuM SUJwcoMc3FNLOk6CAbz19Qcb38O+wTk1MFIiNO1OhSS+W+SLuR2iCeTfrqcJnND5B4pV+Z7QZGA1 KlRG61DlR4z9U1J4K+5VK6rpaXdVYQzPl1/gB08acUXKNKpxqjEJ3DWJ4ZVHboh9SHd2BY6VeDdF ouxIZVprgxrDTlpz+WkCDi8hUAXQRxWMoUqmCf2to8gR8G9fPtpzUUu+dN/c8gH6M2dCQYcX+of+ tjNs6LBZ4qtAYhrqtrsyS+Enk8q6fYOel9Ctv30qMXYNn7vvrXFyG17a0TUWTTPoN2m5HTZKtUsa KjHyOk0ELh7z9auaEb9sZznq3v92+vwMHg3ko0O3i87xde536fP4z9ulNLZ/FmV5rljWPQ6xGQQM HJVp52KlyfLBDOO8XPa4o9kUxGeyUW6NPRKSUoLmLfQh03s/oE/Doo8odM0mXON648+2mdKrr9Fd ilFg7dRiC8k6xhrW0MkFmzf0FO9iEIws23S2fPWmtbKUV1+mf6ShxDQ4i8IgdrohsW/oIranMOa9 e/HRdhqzF/qHkFQOCTwCecmGVWZ0KaYcC5JejcR78v5apuIp7fMaJoTadZhZF/3C7PI85BOCXmD2 lZS/Q5DMRRPs8wja0jSxxwGwHx7O9dt8swf8Y3O28s83kWUiXKF9/3D5UjgUrSf7jsqIHgTbBfg9 TzN331V+38DFP9GX1Af07tOA4hQ0qmoEyhagY8G4UxPu0aQEeY8fs6xKRwNhZkL4eb0t66qz7lCj gP4g/vhh4TCvAUTIZ/LI+mzAX3i4DjArvdy2DTOeuYe2XmTx5fWQhQNw/PlkeTwKFk/RcNRvphAB 80p45Zb5hTfyChukQ8DrlqQ5P6Cz2SFqK+RbIUiCIj83l0cIJk/6FpJJh7+hYsZXiAW4pphCjKDH YTcnRtWr95oaAtFkxk6wIl4j+mNusHHrVQpDwBV66zeF6Fd0yXYt15tzDKZF1s1tGQR5T4A734nx maao72XzY3NV7Dxp5lte2JRzq4NI2bbAjkkVaPDGFIpXFdeO631ihwmEQvLq413Oxp49yx7bBSme wNLO3XzugRLVMdb/QY/HHt8sQMTkHHVmuc8jUa+PhesYXq/42SPOKus77Ex4hxyxfVtwjn51ZdR4 wo6EFAupjty4IXsHql0EYWuB28ukao6ELtEec3FKWwzOIIFIugliEN1AWYVB91k5X+UxUA7oCuuI 1KV4yWnr6Hal28pp27VGkMH8j0tvsLYlYO0tQpII/rgrN2MUUIr81DgqFEIe1TDXc3bUguocx89r LFObmkH58RoyHwIFBEKaA/GUjsb/4mf+bAdp475T+aF4umcxFS3PpYVexvLS9qJu5dLNKW8oYfGS L1eCUmaakl8QZ4opBReucixLPOvacHxhmsqDd9ik2O72F5bOIN7yHxJdOUoWY6dqOP9NnVruO00M BnrZqPmXaA6SBbC8Hl12AJuUM9DuYfvhOA6qYp7FEZSnKXsawaMbzjD1YqENbPrL46Tu0J94nzjP SYllztVwoXqyIthAJZxbHc7HkDv58I3BFOLguWJOuZO3xd2jYTr9/m5Gt6MgzhngdarQHkLkXeeT 3PdTGNCLM9Ga1VPKHIzUGgK8/+zBl5RNBpC/qFIdPcuZcZaZq4UXYrIoaFWoJx55BcEfUT0Ovz99 Jx7PMeYDBzGn0BH8BpQrxKANc0DdL7iUi7/Zq57mrT5PDhHy+4MTK+7b/mvS+ZUY6b2GXbBfUudI DKf2nIy5tV+5sEjHUQzBnxsVCbSqZT4ShcZPJ0iaMjTwxU3hXG7sw12LHQZ9Lh9xngJTg97aSaSS igPCd8rz137ODW8fB9+vi1m4w+zEQKHdU5m+8goaTJlhAdkNuyAnXZiAUudwZmnQCccy4HaMYI5L zP5GoKfHEZVeBbjUaA9+BjEWvDrYh9/jj0ZGy+8/lrwgNDTCFocKKp2n/bQBIohnYDpzCBHAwzvP H2FOcNcsgcz0JYDQnTT7e1IG+PNRUBaT7D3wskPGVvq7Ip7DYIyuoah3RBd1sZgg3Sx1MjSMnMYy Gm2uPuSn80TTeUdY/EfYakLymHn0uhrw3TtBolAOkYNoiCs4q7C90MIrdUlEL5xTNKswes5wOuVv Mx0+PgTfBzcjvSsdFixr5AYoYEa9SoaDzrUsZmzXbbbT5Blh+bYAB01Uj9EK0efHwDEjaybR8wqL UXXQFzbVGAno9JTFzbu3LjhDWfIn5RMVyIW+23nOoswFMuQL+FMH0MbQo0Y1szYRxbb0i5RtLiD1 +Q0LfJ11II8pRfywgZk5z3k36IqzEVmCWaW73WRMsL+iwTe2eNss5NaOftXQhzRq4DR5QB4xEINB XfAeTHmIJaz1gTrLBqnvw1LsmvJopP1FRRgsSUpuc7EyvB12O4QEDRIgDeM2U5cWO97IbkPv+0L7 8pNa/1zCFS6UHg3Shk2qjeZRnnpgTGlbT02A79UPoGtjUsMJWYgEBG+EpyQFHFnW3aV6sgIF00EA yTEsSBR5qDY94D7zllFZVUUWbCGtyCUlx2rRRT/z1C6wc3JMDpukS+NlszufZgZBcCmDSiBhAapb MyYmMF/rW9fwvJ3+bM5ZRcnm0EpT8H3MaQCLCVEFiZI/sjZhZcHez2pWgyKz8H10l5VMnSfuTBnC L6q4eQ9/b11cTZdrkFxZKdyhCDoCooQjwWE/OY6hvW4I+D+qXs50lcaFSVQLviU4xwj7WfiVFEm0 JckyqzIEEsT/FTOrImhDkf/ZoJxQSW5IC9Ic2glIqVBGwA/BAEsgeVSbpJh+cgC2+IQBgkdF2QJl 4hOCEk26oKYZPVfD88RzrrFWux9kLoErB9ryYFH5DfGYCweSTZz6Hj//tpCg98LKgNhmq70pXauS spIxneuEox0SqDMYgpBxBcl8Uofzrlnrl9bxrNhqNgV0aOs9VI2uibJ0uvcbl6s87H3L5nH8SgxP 5xEGnZlHZgdYCD0ZpJrDMXW2X+6y4mLTN+y9Zd1JO8XuTBbpRuQ1QZFmfjdD3f1hhzk38Xow+/dT dbtWYtmhbd8v62nK5+rzWudroJKjWDswph0q/OTnvzveCQK6bIANdY6YlZlLhoR3lG9lAqgzPyPn x7KeXqEjKiBh124YQ+4BhVvjb3w+FhgGN72KIYPxSt/4DW70c9sBvPNwrFJFRKf8eNet1e6CnRGj QI8B1E98QcfDRY6DIyXEcWjujjRoXk1n5+4Ar1i94oqaFfB66FH1priVwOcAkFRMqthi9V8fiqPd VCiTJ1O3KQr0tn3ZBLaWTDSB93RvXReLG296OoMRGU6dpxBweEpUTuO/U/yXvJvovQc54mdH7/BG 38A2S7XMg2hRLAr1NLDlKWy/l/1ssfFLaI+Zz/1Wovam6bTvabywTW1JpH/A0eeh1p26YMHGRp0N SHJ5bEBBZJaEBco7Ci1IPHqUYSwKkY/ncB7n/sAiOthTiTMPNi6Zmxk/qg4M0u0yttWyRiZTBSf9 9LK5/EQdF3B/9pHdYLRBQQuYBVt0UBhNGbGZIZ8b38+DKHTzEp0bWrl9NeJV8PgSUNFNFRq08dAV itNDRpJvPAiZJgeq/8oMJ5DzQPbG2ful/LgymmTlOAfFWbO6COi+HXkz3SuGlLYYtIjw1dgrc7rB bLVvZ115GABCu4sdYsdZoynEeL8UIG3SObktN7RHePTbB5VfQM2FkXcbeyKBu5e/8KxiDeLmPMPV iwMiVQm2pJsjYf+MMhrBQgx8BqU4nDY57DlFuu7AdpdmVxHYRZjc60kSAEz0sjnvWNaFFeEvsKK/ m55pPXYpzGK3v2TmjfQzS4BRWFetgAVh5DwouTFmj33dOIdPLUI4KmL/WaMRRxipyThAiJwlSP5x J/SLJGajanb6qLV8wONVNChhGjbV0lVQ4AnCqSlKhgHUTy3AK6/lfm/Ec7IIaAgfgK6h/lxXm/b7 /fBaZtj7aiHDlyfYQB7j7RSq8A3vxsgBUjB+MEi+QQJjJGd9rqWdXo9NR2qAzfGkx/BAnBlsnZ82 k8khJEvz38PTT6rkrZ1SrW9o3r4T0/KPS03DgYF4yGxN8QuWk7jH7vNaINkK3I17tEzeV+dQTY7R LHNcI0RQyECoK2Flho74Q5neQFFVt5fshM7NNCeHXIvOHUqP/Kdb1DuRSCpTtPZSPmzxdzoxezdG iX4XDz3gy0fbyRXul89s4ZQ9tqfSTA9BaWQeKbQzCSe/rMl1JvZomwsIueF/W/irVvPSO/OnUoDs mH4p7adJXgzXlFyNSS/YLwCQpHI6v28OI693NnGJvic/vwsUuGi6KjJUIHz6AIv9iVmob4bTAim6 Rg5gvsueso0DMOwc022nE+29ZsevEElDmMCGZCaVl/sY0jnA/QiiFbqizm0midMqFUIi7OEVri4G vS5/qKqYmLeeXBhjmV9lz1fAahWXqiIUAuAvbUo0isL43c9GLT//IvPWA9UgCM/0JgHdUDoT8Q2N 1f8fIF4HIPcUqLkejnMjdItTq7oU5gjdC9v9t3WZe2ORl96r0jPkMrnsMtHRSJDke4evNyyUcNSj w+llbcQMHR7yPZwLGqHSkfTFDxO6bY09jylnhJk16FWAWaJo5HFHsKNloS4xn3FATidQXB4LlFd7 GiAF+g5olpkx2KjVJP25+qYvtzg8qitiAKv2FGfGxkyi3IcJugrTx5gfkOH+ygUekAE8ALiPBGPz xTip1ZWwLKs+X6Np7490Pae7jir7nqxxx5MwKp0LpXqXRUi5hz9VDdxwQjV7CddKvF/DocSfdvhX DkVxKTJpB2s/4WkEHKrqeiXaiVWUMf4yYcXWvy0HGYEJVLAUd6C65CJ+ctppIqgcmYZESxI5vYyH 9JqmPAVOEXnmYvJfpXSNaoWZiovG/pd9vsdRJa8mHYTMweJRrhDSNDgRcURBx5Wdql6I3qkQAvay 1pzSR+GNnXG9LU7THmZUR7YaNzoFM1fLH8UZL9jf4eoJvMjnkqd2CHyfwLRncjksv+U/Pywa3SN+ 4eqK49VfRtVVWywI3dEashJpRXdwVQYifX+uTNPeCC+mZnKuzloRNDQado7udyZnb4uSYBOdpnx1 qQJ8QlYKiF3BRdmQx6Lua/w8NSPMNgFdQg0UJlOLFb2ZwtD5fY9hU9+u3fx6yYihupjJ8TbGH5YR cvJSF9+OSmxxNXVRWsM1XEpDOKLFTnPamsXBUG7y/sZSNLs6N0jBQpv/jHxkwlbGSdE3b+pQf9c7 A9na9jWBtO244IkxddbeMgWNElFsq7RGgPOTcHtvaYZ1bLeZFCKgLg0lNx1FsHvRob34J7krnXhr EUk70u1qERRTBA9CTlYqf32bM9kXE5NOs04jykeYnZI02a5PAA3B8ViI6vUbbZpbu0bSqLFos1Kn CNxYQdY6dx2js6hD+8ukadOAPB0eDow0O8xea9HKJXgQrNp/S3wvGvRD67Xl2eDsLzuz15eIrYBe 3JCkwSWKxtNK7vHsXtZsM3fWsgto4Hk51wdzGTJJ6ocierT7dspn4+1oxqCBTTXS8h7T0MmXAqlx yn5JV6W9uDtu332+dFOQyk6Hl0MmAIC6atT/mIpaSzhQo+pRM97XqC1b5dVl1IwufdCkVFkpg1As p0Z451pm8vv78Gg8IjTNNPh3bqOBdvFAjQdOVbJ1Jy5Xky78iZ5OZDneY4XY79aRK8/EiP/mWtgF /jDYxoqznF0eN5RaWatq4hzJS/GPaZPKVbHBEOVD03LTJXwpmfSR5VfAY5hWBdii0i8Mcy7kw6Mp Ui1p5OOdkkwonViACryOKFaGbxw8D+l1rSh+oHDc1vBmlGAsfegwKIo7jv7SUZHZxuCE7CHL8ZdG XayOvKvhzQFHk+576DDeNgePX5ekUHgaNUR/BHwBWKspFQ1zRXV9b/xX1KJ0d3auhaWnHNCNrkYO kA2TgTfbWc6CdKnB6HQxYoviis2bpkOVIew9uREZfPNvpZuGiLbSWR5z9tgeDyS+YlWaU6Qs8kT6 abLU2rcbcxG9vC81ZAWrcOApv1HYi3e0WvzFatbFRQvyfxuWDFq87dqm1nmSAf2Pt0t5Oio2krOX s8tJO4d02JH8yFWhdLUIPLBshdBE9L0/lJNHhdDUYwXWd51u+FT3U4SvP2muhDM3pl3Vbe5SP2WN Wagq54oYhXtNbn33mVBQ/NgDWwwPlYZkK+tkTnJun6w0Bd00Qjl7PWW461qlfbW2+mZIpxGT8TTv JWH0SuWN7HvRSdHeH/06blGZS1y5vUyj35ykqRkb4+gZvJsRvTBhKo2jFxS0YIc8gNHFaHDLtZ7L b3XVQY41Tnjm7i5cLN3nqZPO4NtfhPbN2QuunS8gOv7j0hkQLtdbkxI5P+UIi91x6jVfh/5ucro5 8SLMg0CD3Ak2gCDmYCq47p3bXjN+IIMnpawVTyOqLlQgSV+Ymr1AAx0LUSqDSEAzhZBBY4unpdfX VeS1sXKS/S1NZIMzGuUE7erZF+tGcxGFExnUEYFDfZbClckPC0wFDMF8PKTVUFfAApx+BQ+blh8v YtDHYJFVI/15GlhhqNGcvU6WyBq3mrlVVQ/IOScuCTkFv/kCR1KgxbQ/sED6qcEkcH/f8XneS0A1 4MXRJQIKkRhgVLdJ25K0UtyPg4/jMv4WDEYISGdLdcnImVLtH8sEYJdJMreeQda/QXTc7V9Y6ckh hfx2b3eVKHvQ+MioMvSCY74Lwp+afCe7Tf2zCwa0k6VoCjp6xyy7W14t3lPygCgWGfySsjOHfnvu cAuMppaB572sjTK/+I0CoAvB9V3Tj5ZgIWc1gExXkO/SOk8dmsA5uQZSXhp1xUrO+Xavvp+xAvF7 g0Nj9WMUy1rOL5CYObJmsfplIzzbWjwza6hyoENnl8/ygQqBJYyMF0ZOKU+bXeLbWIy1YWycRZKg eEZTtiEljsa7VJClbvn18zZ2uyOqdYRDEPkWw37lsCzy9Hx3TM0E9u5AlznsWqvljjqwnMpgxP/J rTVv1dCEFweNG7TvDWxiovNMvIhS8WxYhgT83FRJwfqYexjh32qk59wI0DvtG2++4b3anZVNWVJY 1nExuXI8CxIrt+MLee/egPi4ntl8VyoWPIhZ4FuoWEvfFn1uvKDmNtD8NqQKiDtC9cpynFE5+KmO 7W3kJgBJE0yhf8YDkM60/6N0gfB+hTMuqRCOzHaosuehaYKNBhkXNxr4F6gnxTlN84DUH6TeS7aa kVH46WdDebi9F+98U/tXuDtInk+lSN9OEhJcwhv7mpKAlY16l8XJSA8EF9m44PpR2vg6B3nSwySl dxXkrE91MtNf8SrHaL0rSZi0mqwS5Y6DapHQzI9HsSIuPWrI9yzdHfVOsp1b8pPcbBaAMQ8eLzYe tTcrV3k2QzgvKAvMGfMr51ZrcmOj+WMB754tV4j3TjA2NChafeHhIsSn3ALwdyhG41DwduG4ZlCf h/+La2BoJ3vh1Hg6HE89SvK8fJ37wWswdUbu2AYW//DALWlCURLd6NcJnDGccMBj9oxaMZ2M3dmb S4gdsW4eM/dhcDjUoFB6r8m8++se+oasti0Q7d/pWAe0+mLbFbAdtpwxXl2eWzifme9hMmhcYR5w jXqthe7CGwxkYws51Hb+fy1BpUTwUePX8zqT8p/4LjcG8wfJ94GlGJB0ktmLhkq1CJlwwrij8wIW 1WrnUMRDEduFfSL0z6Ze7h8w/FBFrZNJEz/deWf/Orf2Pqfxq+cyEMEzzSuWTgj3r9unHPUFPvM4 CR70+LGYGgHY0ae+UlTHq/TuvOEY1zAzYdMfIr7S39W1qjEcXvSVjwoacv+QuCK+QuYnmZUZJwfO LMccVm1PzrTGAIiRLxpKxrc2D6fDvIkGcNPJZ5YrwXxuQUOfi8i7UtIfIXH+eF3YBxYRhhl20bR3 Mz8mYkQV1lS++n0aEDPnlapgh+J4qtW2l/qFlJQwHlKCPFQkE5R5kSjTe0GzAdScW6CPM2ntb7oS qxovlxlt2OWahZLkGTsH/MlWgqRaThZXq+MKSZbh4K+pH80ye/Rw7sC/ZLZV9cO3ioA2F2vtXs5B cno9murTUSezyIc1BxONwrUWwVUFGzcr2dXNoHKBdeJiFWdBXFp+xsTubiMU4D1tYSITTZaKfoFb Gg76HZeySqZcwC7YYNDcPjkgN4mf8N8XndNNl1zq0Px604Y6cpdFOoq8thMQZM4ZMKRfsQ8jTpBS DScaQ9kOHOL5h6V+u8OSqTQ9X6zrvqT64axXIB7n7eMvGC3RIJIo6uOPXH0dPWQrK2PDPOC9XV/Q yV1HcFYf0tdQu46d0BI/lCHM9ECkIqgwl4VK7OX3otY5PJaCHGisi84jOloSC5cMH6le2QeznUwa Emfei6LEeGWCcTvZJ9bRVFiJ0ovorNHV8H4kQkeJiPUJ8kn1TyZWUPqKKUoCA3UsSwbABP+1mKav dAfHfznlKHDADewsGKBkAbdW1Dz/1Yawhzo7e0VWELRI5zuGo5M6P5H10kzk438+4xrLhsZ0QDuv EgtjldpCsPzBdf6kdF5+uMlRaUzUwDoQKSkCuVy82Xm68Iuq+YxFmNXPTGJi1apzqygtyBCm/KCA 9yEpbzvXfJqaSYJqhmy/V/JFH9W5ccPhXdwsSCBOj2N87mTONJ6d2WF7qYP8dtn9wFxF3PqqZMfp s0sCZpGewied0xrTPfKeiBAVDYHsgz1+7KNMgNIO2/AC+tejUl9NDG8gufRK/0I7kWlv72S0++Vl mJk+gLq7BI1MqxZQ/jVxZ+dV1Rxh5tQMGjx3ptAJ14dKLA1XePfcwNQrAPE0a3WRDaCw8u86wy7i GbDSCC4z02SPpfaeVui2w6MtvAlrTWOMm0P+Th9o0vuWbWe6cil6pRAzICzqZUl0P/5Y8AG/zxBZ 6wRAXGorpaovOQAkxLwM695+JyMasdHz51rQDXq7pZxJrrORPYs6MjsC/fd+hj+V4eJ4Qf3a0Q8U J0MjH1+z6lijMQ7UDJKgATazZluiFtZkL6O3VrtEAkWaM4RpVys9eD0wbRedy27DTtdkfC9R3qQD p16pjuk2U0HCVnSrXJ2Yo3vsRjGxZEUVzfcD0FRoeBDPmhUQMe1dV0WL2RmDYHJuwi7AB7wnSYEi 9BREUMgWTL1afr/vz9j0sjrPbdLXBg3/vfQUlYVwFYA3oS6gULUDqMWlghkgBMwJO2RbzW9xvEaL eJ3OmEPkZ7dUESpVql7g0jkc4iylaouhOATQzUY11K9hN6mwYB5hC9OVzES5DE6XXzHfHCxDuC2j 9QXnnr9JSTirveHPjPAWvs0wfb6fsm7oYc1o2PdPcfOP5d6fL5colL2ew9dMPLjtnFf6B/zXcd74 b0WM5vaqsXIR2sraHW1hczh1uaZdvgW+s3z5jkVECY+ZnxR+D3V3+GKMbD75qjIyhBLXIt96BFBF YlOrjD3TKNJD5JUXfkRSiQkSX82DfabDV0JFvcl6RJJjYeBL64N06PJ9W337QzWsV6j+GGSWyVpZ idMwLpbm29TDcY/TePkKJ3NZgrgJpe5EQRH6i0f7bhew0YPZcT5YJLPx0aR7EUnEjulaPvZb8SHL dUNIWLxzP9BbrqG4m9cwSQtV/3tP5ec2LvB75i4XE0n5qlDN+B4IJPJlazNBFaqoCx45fTXaAfZz bu6EvjFFOgrOcDaV1pJ73JqXpB1YpNmkJTEXcjsMM9S2F2+rcpznq4ttvZv5NYOrHAcdb6RgAvaf zZBYmpMpHAj2CRspA+5pUQl+4s5h0zsqIZE9DDP2yL9ihB/2Gfyqlx6XwisXAZSTN/8q/VDlmSRL fgR+MIgybT2At6atWXW5BhbQmQwCTEa7sQoMwNW2FRf8/4B0NadEPMazkrC4UvVo8uSW8AzmZynm 0GcCRJWb2uVtFdBx1d8fsj2IXmVMWfppkv/vuV8h2Ro8Zv+tBT4zOEBpO2dB9hf2ybNfDdV8ioPJ L+5LLCNU8ZNIfvQAlFm9skvmFrwnlCM+1Gyo2mNeUSBL1H7Drrp6KmbJmlJU83zFoJZ3o5bQyATL xRUZrj9yZ2zvQNbCjAb1YdmaDfUPAkpmbBYU5r7ap2up2/FVfWYcoKa8spjjKYuvloxQOvYVSePe 0YZXU9k0RV/v0vPYMLAY0OdMHSzDyOOvI050HypqVsRGtg0XI5nBPt/s5hRw13cGBHq6Iwwg36o9 5btUakJ4BLzY9RAAzVf++JAC82fxC7uY1igCKJR6Tr2WW7RtlfYysLe1B5+bF0d54Mp4SAD6Acvm hHNWEEmPui0NtWqsjBuzDoCPn8aEM4b8fIPmwrrZrhKIYfq/a/sYaSjtJsp+AWTmI3eZkcoHbRCv ttIVXAJiN8brQTduSnZR4gr0cQEOsmCT8rAUR0625Cx+TT0vl3CBItCRy2KrXXcb3d0pk+izGLmR x/DHqH/UXz7GhQvFN4yZ9V9PtvPKfPTcWHZ5XMnxR8vxqONd2EK6IZCNlMNPNEYTv1ay2TpxkK7O w8AfNuZOVq8sbsLNDvjVAJCDjAuKwGHzx+ygR7nrd2xgVo663xT1HxFfYVyTTGCawEFcB2/VzV63 wrkzsTS2VTmudjaCLHu3SffQBcSqymNXT1kaBw1tyuFGe+Ua3gAahXDPrXclDFmJIhHCe3VtA2eE X4xUps+L/amlWiGVcfm1tV2mihly19hcAbfVJkPlUGaD5KB8d77spMvjBlky//0w7XarwQ4HqBRU mIXpGxxyGdHxdYHaYmVjmF79iIg2C9oqfQ7syADf5VUgHjGA8NQH2ZqAB8Wvkh1Cz14k2uSgInHJ gpaRQegS5plp/0TK6/XkHbs0uegFGF7unamgkU0j81nf5J0nhSTY/KCLPk5jiFnwR7hEZjlZF1d6 3PCVFZ+PoIc+PYw+MbSE1OO6BmRKAAW+Rl1GUxSj0+6vilgSQUjrDBpouDqwhjCATv5Pz/l7y7SX X9hVAyJShPQg2aaAGrQXyYyvxopSnVkV+DRhZcrVWrJAQCfE3ikjRbUSeIlN9PbAn0b/bjehAIY9 yDqlyHIK7QdTgilAwbL7LfQuVN51RWIvOHmfO2rexktpt4TVSLOPgjepRRzy4JbBERKc98S8JKnd J5sMV6rsto7btIpYid5Mj0pHgmiYvAWbFiqnsMf07BaQRG8aeUywhiS2Y5el1NpJqnEWv24DEbnE NdgdGFWYb5zdXxQSyZItBfEe7rl8lTHPsQUAX893E0rF2rMAKecucnIQWyOMpnPmwiot1Fq1Dj4y MjXLIEE5q1t2bY4NpMo9zVDWEjc3MPnNIDr0yE5lMnD1Hztgntq6Ia9z/0gHAkcBuiTRwRYizexJ XjgRtT3pM2348TIg9vlIiuftgQS23wXnKezdyYoqrmaUPDBUkUTosReV/VqWCHsx2XDqs3E+G9DL zXuqgeJyooMwFo5nPLegNHg8OCZvM8WC2ei60aRt3zbyKWaRYq/nBuzjWBtGsVv1Kv5b8O9L3Oyr CRssRFuAqQXoC7+ZgRWMoOPJKxfNLYX5rgsPTMVyfhTpyDZyS/cATh/l1cRICgQEqqXLRgM8tkda hs3kKrIj1HK/d98mL99RzL8NnFxNjP0tUkC4bHESH7ABu600vPvg0Xv2ielJKYw/JY1ya9OPkqtv q5LWr+bE+LCZgCsYZaw/eGK9xX4Sz3PmE/CSruQbrRY6rt34fppx4pUzZgkXFFZJF2PKfcbvZI7/ MJL60VZ4JfMCIPeowsOyBr9kq0Lp1y4Zax2UBvmlpzNtevhkAwnqNV+NeYln63jQK2neiNY+ydB7 tHdOVQN1R90NtxiudKrZYBImmLHAiu2DdTHtejXsyw2FC/wQZTSLMxTJIbYJ9FArcuzpdIkgy232 CG93wvIoasl5SF8bJXH3q9RhFZ3AsGA2BF6Xs801jGn9hb++wbFMEswI9FIDZCICzdsmJ9KpUuvA 2ybtO4bv4nUtL9UvC/fd+b62+dNbBcqalKcPVZzCr7o2M26VCwaM3Qh2n806XvuB9BULtIAAj5NQ ca3FV3NxEQXowxSJjvTTNx3i/mTMWASP6IqO1u53/OArPB8YH9b9n/EnZM1o5KHhvVwIWPkpVNLt INq4RPF+EXXs6JVUrLv1vqPraSjbRbaaROSMK4SUu8O/EMTsinFZImXtexxNoF3vXhGYtDJH3WQB mUs8OFVf4z/BBwkTFDM9W8itfpidlqeANjVkH42MVx6UQnrChmaIHpLPc4RwnTviFkvDsywKdxhX rzPHXteR7OdLT1PM8TeMunMonLtsacs35hjoYaKPg0gFPJ4Q8LqlCmiIMMPEvIv5fOhJh99rgQ/B G7wWbmGh06Pm/7JGSEz5RKzZuNtG44FEj9H3gKYHb+hRBGN3KFKszGOqymFbRVWVZPROWND7HmPK 8FwmNP5IfCBzJRJoZBzvc+svhVSeq5kWk9pkZhdjoFLTimXE46nkST6jY1rU37EqxHr64uEs0Ars wxGFWpCzkABU681h4iXRLyr6Cmt6KwC6qfC56m7N4Bfxut2HyvQuchgzXbDHbwc8jdYXxRPeFGtZ DDq1GuC91LK666ZyFcRZTjRRrB6lsUvvkC5tvV9Hy2s4ktxc3vpbx2gnIsMDmJk+K2dGubZLMvJ9 G7buUHu23bq1G+OkrU9dGGSh5YP8HgSkRuNoo4rPoCmYHeyP/mCdRSN1teIYkl4qFs6WD3KN7cVB Iwg171XIoV3ZXCRN01WYtq4ha01zfqpDGaPI/IMNrbJCpKiokKZvb2+5dlipzifiQSk0RLk7LmAe aYdp3YvEwF/bLSzSRNjAcmlAd+Q/o7ohGTQVJdBhwdWMWfogN/7S0RlBCEkoP7R3j3yNgg8zIr9y u2LIF+0xwjlpVjyYhgsP77BUI75BumkZwMSKCCEihFJczhKlapo7uU5M55Uk5CxRYVWFrCfzF+bo 5RfVZQaaXqKP0dgbYYGCQGepZwVYAdVb7r2qhhqLZiMeqN7U4d8z8M+/FDwnYnAGoaobFRvq/LfT ZQfbvT3a6VId5pjmWWgEFkbKciXJ+f7130bb23H7heUQZwVNcY6YxW8d6qXMIYhaE3YWAATWxs+y khpGQI8IBWNlaLFEr/rzxGycDzEkyJ+63Y0A2O0dAUtrvdxKSC/jvdCS92TSL6E0n3dmDmLane4S /sMIkwPHh71qhds9VF21QwsntiDGLmNGYAmrIJjQ9/0sfhg5Wvp9AVYGLL1PffbF6deIb2NXq1W8 5jfbfnBXNOeb+8q4itotWoowuxeFmVSnXMiAxycinnlwwO2ivhXf6YSD+JwxKEiaDunQgwAoHZSk vOOOrGf4oGGw7U4tnRyFGaJNjHR3J9CHkQqTs41WBZzUVRKiRkfSkfy3uBOfLxOiGR85SowYC/gc ZJY/0bwEtKifCJ/c/d2XqvYVn65dn7GJ2DDv0yZVm+L4t4W3oitHucmvtcIdrruw5dTA8nJfYlEN c0Q384NzYqIw1xQ9+8/hCMOAzioz/2/XC9Sab916Oe/Ue85K/WZYK0nXILYEgkrKwuwKzi/of4K6 hsboHo5k1uZfyDm7KNqQaJrSggOaW+ejdEvie9tI3dxlFH84vXouLt4TR52xyR8ScI96WmM0gHvQ kXB5BZJlhRG/e6ATx9JbrKU1K/006F6/2QOCZTKe2kVuXWF0Hq/GEoaGDs0jLd8YgpTpUnkf/6cg HpipTfgkGTdJ+bmbLCTz44ungHBtG0SpJJv7B39v0jgvD1Z9rPIWbgaKh1UeYH+gC4+BeIhyiU2Z dolMHInSd4ZU29uPJKaD70UGmd1+lbDe+Z2P+vvHIZob/dIcIVgQ2LSxBcwe3CvYOrkvqCFzMVHT o+n07yyc22nvKQGEkAnvWCZJPCWmv6uLH+ycyLe8v5UFi3m3f1lI9Q6OlQ2E2Pt52Onlqr6xl4bw d1+QGh132bur5rWRDnAmEomLE4Ddf6faqz+M/JsyNJ5NxIlhI1dWh2SIfnoeVExwlM1VVEpBLRAS 55mwxmUGw0OjBMHukQ/yddANliI+Bzvb8vh+FrvRPvfuYZNmhkJQ6n+iEYVy8OHIF7t2BNtSN8rc jf7+guOUXs7sT42gLvBXQlHMflf6utOZSUMcV2jtQsfna1DhlV7aPEtpe8QJFVlR33HAhSsxfPkk fC108UqlunAGNI7PIfaNaljOvIB6r/YMPjmcNCGGuJrCAO99vFAO/9v5h23JRGhJYHI4m8RIGZu6 8P8QTLbXJksleRgGQng9yO8eOvGIV0pLhVKhURLZr1dSrrDhFMyELtg+9DCri0FeJZryjTNzqLas D7mRXsXJqznRNSljpOhjJCwQHk/oUL85/nw+DS2x7kpKAa+JvMcDHFzPv1ePjoz6bhyJ/t1IGNfT YlfWYQFcnDnG8ZBaCTZzw/+OdGseBzpZcSrSOjTXfTN5feSWuYFKengOpOR3iDvJU1if8KeAC+X9 q/y+BEVN7UNuwd8wjWWiZDjjE8WIBkx5TvDvxZUWznFbG1R6LB/AW9qL219cGxrH7jXdRPtO91oq OBsVIwj0CaOC6CBT0wBevKw8AWBsbEXmgjbMazm3EEeJ6b2j1UVfsMN92HNHBZOIHjQCTWnq+98I DIBnncCMrszguPyE8Ok/nFaY8uGtRovQXaRPgKPsc7FnR0OGKzhYhH7YsZyzqTm1c2VJPXMl2Yqt BIs/kAhHiChrBd41WZgLLhVMvkBM7ESE5YdiCBFKRIlEvTAlZqrnKrsvelXZI63C8UBI0CGq/8Sp KzIhBLNwa+SLwchTUZNc0kcDbOAk96M5plmVS6TFdyyAjuO+n8K+W1yUJ4BWqRz0Dm0tFOHXbtts QIiyJ7cDeAo6R1hFFj5j8vlhOw+GaPfC1FyM5IaWSAN9r+I6L8tdh/KISe7u+Tffo97hqBoFquP2 SmyEpu8w3ehmK6Fa4AexXNlQO43jEi8yF2caxQxKcB0uJnsZSmF83EXg8Zu/i1SteqUTkDohl50P pq5rogbdhtmdEuAmK1sNUFto4Non88AN0EzPkj12TlnCqx/pry7i7HNJ7Bso/9bCSwoMuw3q40w4 C4LrfLIfBB8EIqpp99X1wCPQs77h7awvbPFpaYeHh/t8k2GX5vpUODgpB30/XE3FnI9z/J+XUHho JiZzCXYp/fB8ReVvWVZRcCDDTUtbnZ/TkaOODJvR7JPd7BNT+oJJwA/0Y9mY5FCR+w1WRvw/BcmA nzQhxnQ/qcMgstw3az+lhFnBGQpH0v8V0FQPLzM0xVjrq2hAo5C1EW632FgNmceLynxqLwPKJKvH BnvdNhfl+6rG8OnrY3yG4muy0i5Pu8oMUJOtDXpdKqhWefQ3r+GZTYzdBGoqMgh17NEaoBxMzoZK cn5M82UbeE00Vb6gX8ZvycIJiDLnrnPSn668YTjbvSdQDeTU09cKa85yREhSWvaf704GTHA/u8OC UX2JFVoetcCPOlhYhOJ0/0PtJTJT7+CP/dCkJEWLk3Shw1B3j71vh6VD51xd7gpfhDN/vJ5jQp0D evBdKulKZTupq3f2b5xgYmQ+zbvWffrWhjnD1N3Bo8LLNXnty3F7UbGdobjt3/ryClACukmwH+hn BDX/GZnD5CCLO5UzAbUyvVukIFY3JctDExEYnsKs5RzHKSwQVUx0vQDZsKLw/rhmmM5GaDOiqXQb nxtSltVaVAL6gWGHSvzrmxvy5vjZQBqi8m2E/dmzwsI5jx9Cof28JJcMBkOfbBmYWc9r+RV2RWW0 EfqXPr544E4uVuuec3sB1uyO842LvV5TajrTyB+rYntCBg5Ynv0dNDX/mEWar941EKti91CIJdTa T3KFgpZk/T/e8aGagt1IQnmcMT6NxBhutV4o3Fi/DrpIG3ge7maR42EneI4qIiBcixvXhWPr6Xfk 08crqmgVL6YBi8TU6dyIC69Bli49SQRYnvGPMujGo4Ajmkp1mgpo+PcXCGs6WZBauB8RB0hNnOkn WIyWaR68sOAw0PS4jqvyi2YJnByuyMAFANNVEfesuRzaviS8B2e96zNwR4Fua8WnR39tyG/kBcf4 toafUI9Regqm9g/HDbd/SpgyespxMVrKjuv6a1e7qLCDjHGDdhaj0QRGP7efnnEwC0tKCNdGnRrP pMK8jbTsBhFDta3fROgrbywA2I9KONtpYyaUg07MUtmNKUeblmVLPm4Ctf0QaCmkcAkMeWHcJYeW 7p7tQEnpvkHsshcP64g4FzD/VigHgL0RjtiYThhpBwO4efHQT5ri+RtYckozBPW4d+SHsk8Uc2MV uTlk/DSJhmDur+MfdYByr3Rj0Hr2qadcuESzxgOnbRp0DIsGfnIREUB2rqweBbRWBxRYDjMNmP3Y bYEOrK1TUO9mo4EPzbMgODXZM68fdpuUynWpy+eqxbePeOiDgjqxXQxd+20byQp1qjQWmliZl9so jUQe5GAQBUdvGXTYJ0yjxuYEKKeVOMunP/FudjqMzHrWFgW72uwbi5VuBSHWW0p1/Tfkyj6kMeI+ GV+eqZisqmO99yfFMltXj/CCqarUc1F5wX/IF3Ps1Kw1vYdG3xattrucrCzhEKKYvKA53uaO+EMN i9z9lak+A261X/Y5VJojPfYi4xSvJI0lfowSxEDqUi1HeG07g7D32hHv/XHnePQ+B8dzfsdfPnmi TQfTYa+2ozDxKsooEV/KVhuQPgxSnNhAbK8NNPoAgiSDTnfcUS/qqQGu103m2nUxvMgnI94+OxZv Q8o1cZWzxSwVAr9P/ax+JPmdA4jOgv/660NcZX+nETEqAIlUlsXs5BZPiFbeffOkJLgKB7yK8PxK JqQG1PDYY6s7/2+8waGH94SJQ/UQR5epNx8NqOWXXjBpbJcJcNkobTca3dwidwYY5xlfvnRPwj9B 1xW8Hu80mzYMgvc7EiT7pKm2X9ikLzwkv4E2Hb22kRHtr8VhXmeOmaVsCRisa3EWrsvczDhscOAc 7MG39tVfyc7wj8qEr4uASQD754DhFS9Rnq7MXiJ8FJjt06MpZ9ex8BCCbjnX89y4n9IxVZY127pO hqJh7xmdh4KqjBBTQrE8vq4dghODuNqKoWAQxeJQmbiKsDsSfN4R7LAPgghWiOFkK+U+mkHvcvbE v7tADzYM+xXLWXFyV3stORIYYPfIed2y6UgRPYg2hdA/5Krys5qgweoYEGVgSXy3WZghZPFqWSrs xCXWo2DMCtUvoq/wqbAO760FZGL2SKVP7JkIRbVhJA40pYu14zUtmBPm5ucXo/jIJiwsJ775AyLe C3st3UFQNNQE3QNJmlWTottxhuyz6HfuEdT44HyBwC2r/EuUiMK6FQ0swO5cvqKKkFiMT6HtehYi itSKbOMM/VDvqdHw6Z/BbMWi/pX7SLIi+QCmfnZo3bVQoIXfMdfv3rTWUCW0fvffw769zmLvgDm+ TZyJPY9zMCk6fhfB/xlvWhqrAHqN7P3JFG/qhcXZi74JcdHHpnvm+901PxUdwoozkXt0GvEKtnXU HbNzgxtK3MgZScEgihwSbpfNRaWWgox9I7BIte6d8wbVDXtRT09LKGm0xR0LQJXhsLvwEFRSE6ex rOu1raleersrm9jWUjuIMcgO8k3hPPnfWNQlwg9+wASPnBB2GzyBaktnULbp1//ZI4LQ2ZepD3oy KPSCBHKxvAGujzRDulv+hSO+MHhubBbTyOZmwc7Az6RoCGDBAC8XndSyFiQ2ruzZQL8Q0gpysBp1 SwFBbO9WSyBv9znXf9YVykRgDu4eP8ynprgpvw3IorcjQsU02eadIaIybv8f7dYT3DXi+sclev4S dsmb0gEhNrixvqfj0PwCf/5jKQ8vTGT3pvhmNgb03KHoxd/mUvNqVsBJteIKYHZhRisFgMofvkMO ejmahUE8IFo28BKpBQ6rSYtIHtj+bu0XHvx45zBxAMgFVtx/nW+0dwVPuZHaN8IEBR6HJajvf84O Ol3dtu3JtHylNbSkzxOXKEjrMVdTuvvsC2YGZNIXSgyF4pVIF6CsC6y1MnBHtWY8c+lyH7YrZBUY 7cFXY2zJiSI4BQGtNMVoKHME/FPfbtQgFqug2+SoakmPc9I76aMW1topgXsjLQ0ZEw6gAQsuuUP+ luK2XQxMq8TVQGHgRo9NQDKeDBuLXD3mGS6ygN1SPH5HpjgXyDnMOGuxx6eCN8giI4ZgjIPDBJI6 BOBh+ObqcT71Em85NlihHrHKl5xlaiOme2j2E3RSaMIKsNX2vrS9pxU7QzruJVjV4sPCKfguUpYU 2ucHFdWwsyOz+3EoFGADKPoq1tDcicSoTNDmO2PfLSKGdbmBbTof9nSNbVM8YewHLlZvj014bmyd VRQD/1JZx0SRDcA821yBh+Xa40OOIamSLtErfEpc9h9FMtBtzy228iNRFwYP3UL4iOh9wMFtUyqd sCuNVOd1mCPyiUAtpInJ1O6tAgz7EVxWCLQx9AbdopanIqv71tPekM34buFZ2Gfp2iflIny56UKH iZWtuGM8MhtL18L0Em9DSo1pxpza7JY4nr9uvPyk0SCHDLL7kvrdQGJwTPyOo1CFa/bhqt3FrO/s 5jyKLFNHlu8HAvwjCdPPQebOEmvqDbXH6aK94Naz6UqCWFrwuYMJenOna8dnVxo0wXmvM28DZl0h Nvs7RIBiWs2mS8ECMHwJi6Cv2pV9vtYGKF5OCXvRZM3oQbX2oc8OmVEgUswGZJ8Dpv6IJDhVu1Yp 3czimm0Euv3PCUprhDu9rJIuIqETuaRL+tRUbg3IgKvi0wT5AWCcyZ2pAFQDWP3c/8jOlLNmiJpL 9jzXad/f0V2odXgccLD0AeWt1gasoVWMFsU7C482B0/gL5QAzilQKdlKMJWumV3otZYNXjIs5nxz xie7fOw0aqibQojat4RK8PsJ2vYQPidzTLui+6o8oPAn7q9tvuQusikzPvqIs6hW9LMkxsx0TaQL aMlSN1C2o4fiQOOCyHMqd75ssIG67Xd3dzA/gmiSRjwHsnXxKbSyN7nT8Hijj1kpELRPMYAqMzyG VKB+R5U8zeI32DxSZ2Ju/SQ0d3AqUrduS/uD5vWx3kjpEgQ8Zq/S5QLxB2jI704hxmI99mpBepN3 QgpD6BbiqYlnhD3QDWVJqkeZiYCRyC8JCiph3E0v2qMkXazwYk9xj5CzJzCUL8emAiutTXN1Ko0w 90ENgX4bcrzRxgLV3Lj7/EXXqJofk05dxSRy2g7EFkxNumqz+ID6h+ywMWJdbC4Z3A1+SFsxgLvP OpOwcFniZt27r9uYpB2zcimeHv8a6misGerFZIYSxJkaPx/+mpL4pAYhSwyvlXj8SQ8I/Jzb8A2A x6Pzcpx0093w1cQ2m1txi9Smr6/5lOeiTnFgmkHUCAu0OshnZB0KHV49OGmUyTaU1sjSyhwJGJsg dYrGcCvYnT75ZRrPtLshUCzOeQ1cfz6aN5zvl028f52y7tvcPHTdHNpETUzwoQcYd6X2hqAmD1pY CG/ymfgmGUKTFu+ezFX0pKBR6cHeM17qqi4PPQw+iel8wCd3LxrCAqtnw7NeBCYuEKEUoCtk87Jw FXw6hP81aJ728a4O735b1CdzgFKkkL9iP+KPTcs+YxERcCQ4sc2DnX7hULbFsVwJhhd9hHYDWqbP ULHf3UGit73ep7KaICy0bbEh1zfiwHjJwIYdQ/tGs4qLBORtP7R9FYyXs98zXhjZ9BKsBLyLmyoe 1NxfzqJC7s7/bk/N21GlehdTNECcfC2Nx4/HE30UKJUeFacrpzAwn0/6P4xeLAT2NPiGMAuJAGBn 8/LCVVQUQhSUhbSw6j4cbmVtBu+pyZ73WAd/9yGJbe5s5d1uHXI9v3t3T/y55qvG8/1mCa13U9BW PE5RlNr+zB/bRMCHdHN4LkpNsKxnYU1O+vuwrAjzIIQte2QV8s3RzudvY6JF8ZPJlsMmIbhSViBq JDWSXbhj1aHmWufr2pE4IFzzouCmQY0NEIWz3rr0Zfd8TiGoEihqG6aXoofhzrcnNycbuqqlPwcn Xp+fEqbqVaid1q4mAEZZshFQUv6LTjouhhyNJZyamA0Q+XYugAXgXIgHBkYu0pOsi6um8cLNrdd8 qhHiJmncjfi+9SK5lXhG+ffagi6XZ5qDHDUmN9TmBCd/TnBgg6/fiVOmzveJZNlkJvEIFrnmj9IZ 38Jw1wbNkDJ533lBdhgB15DC85srU517tmAP/UeShsq8aRbWxf1qIJ1Tm2pbANKdpbETTLXNBk1+ i3q77IgKH/G2RdYaLDPJcim0m7kO/JEkuIn9sqVGWztFYqDAUbh/jnNif25+JV3WXpNADkiDGDgY 9+FhoxCFuMrPZSlRrDH12r8QtyHlq2f+JKg9uAqXvBR8yZHOa///sDnivz4fJQb/bzHGNu+Kaez2 sbGBXMlHzBv2hSUcIyHKoa45rE4RtprxX57PXxr3+GGnly5tWBFWrDmA+99piOv9+JHphQ3HoBe3 d/KKEOASjX6NMayMgQ58Q1DTJKVTHq9yoR7qvJCkN0RcSZRxvhyyvVfSr2XP3QUEIFb51c6gB5ej JvZ2kw9iDTCqU7Ez5oav+yAUJFZkfP9agWBn+DBqp5RjzUyoKoYsY2kjqrgwxutSFZY0iWsLdtnN hK3/oQW6D7g4z0PQg7JQ8tiDkqPIgWfFvEyywdkEGDK2/6BwXpQdza0C0PJLuBna5YY66UxAhoJ/ R/lEE4V5NS+H3PaxJgHf2GWRM/HyVn/25esb9j9lwocsLlPEl7tc85uRdRJlKuSivHFJ00vFM7Zd 0QNu4YyYRCAJodxCjv317BARxdHdSv87KK1oFmsmNI3IQCr9oLBgN2hF0e3ao03wt8woXLLKCNEY qMYPPl8gwF7NidFIkK0jtSZCG0pyKfjEz5cvTM/hUJ1GYs+OxfvubUc9GRvDJNvlft8wbLIiEm9z PZ5S1D8g8NmezpbDLXahgh0FBa1fOmL1YiGaqDqkHZ2Sw/jeo/JnRSsH3eG9aSWwvfiL4mVLzfv9 ulgglOz/RTXj/ZA/qOyDWd5kW1QHaF5r52XAsgtvWpdDXpDKVLCI4LXIxrflKnpZDqjZkhIc/lyV 9lCmwOAVnFTTFUz1w08US9l9AT1sydwvv0sTgmYX5Aa3RWDcznMdD4QRBQHod6VCMHQAiTQ3nwd8 QVNJj3t0YVFhiSKMT1E/QpfrrTu4zobcddrC8yPlxxe9x941XdtEAZ9oPmHsWIfMpYI1mo5Lqxs2 YuXh2T78wSABzz2OOmvAsuQYp/9jRDfCOLgNUqyZsY8sZDd2GOgkHhESsIGP9sXYQMlnrMDoEzp3 uC+PzP0TBj7BbAeBt0Cm0bd0eCUyKdVBY3rgfcFcDEb6zl40twrEeZZ2ufJj3M7A3pLj4x3ZTI8K a3YcXNJFZCxMBd1nI0D9ICrjmxuTeIukXWReJknH7jgJ8KA5XKeKRu/OKjyljmUAcI94o7eyg57a OQvL2vmKEO/eV5c9iYb3BuxhA5o3T6s6d4tJtvAru/W0jYMoBuGf5UUK2ta/vzE+jdWHpQNSPHJV t/mIow57k6qPR3BXplov80WiXt9RRikgXCvzkYU6S23pnCTwqG+T06jPXmdkcfKjXO3WsjTDzfYI orU07jQKYuwG4Tpzhm+nuyUqtl6wzPhn2jgrEBJsSekSVgqklMST+330MkrVlk/TmzI9Uf0Xkqdu jtcsi27mUo4IHHjm0jddB6lbQQrUrU1oOZAc3Mlz4M3m3AEWvHf0TJofCbK5zI7b34dMaMHwZRbM NINF4uc2NV/IO87e+J7IS33+XyvOv6TcbLCNxRvSlkGDECIAQ1x6ErapSBMvwR1mFaEmg9pcMB5Z 2Y+3hqVy3u/YXmJJRhjregWCZ5IJUy+pbKxzhT/aV9pG4UZHZVqCFo83o2hbzZ+/XLgoL7JhcOhN YqKaMlag1RCr4Z1eKheS67+5xGc5e9LPFyKNBaGmlWztd0GrLHW8uCRVab560Ora36vZTtMevfX7 o8VVk/ymOwAG9cNTXb3jDJ4PgJSYBs2lZLg/notBXAanA0rQB18U6b5hKsuMTpxb9pWjGgFsnnnI +cMhZbui0uFd5I2rAoqMFaOErcqhuFiBd0/O1Kkzm8fzWtjUxS1jUTN8Gxxu951VxmDCfWk4+YDp 1WKhzKevh0okw3pz4z2cBjOOn42jRfDC3C4rVyS1QttAB9NqXrsr5DAgR9jznyLybev6Mh1c3LGy UudPPy7PuEEftjk2dH0XEv125E/fgaJJKOjpytwfLVCUSS2/akb2+5iFrpHRnJlJRDQt6bQvDG/u LaJvpxKDy+c6AvplaZzrxhZ9+UvJz755KWxVScKS2OFtjFazwDEGJGZ3UrNVDq8yvX682DOotoRg HPIhlANqVXrtrkGHlAq9Oy5PvAjXJMaX1z+AY4+HUx71N3xL1ahhtTCRq+mOq9m8pVQ/ag+Er8sb 7jhH42i6Meg2e0wCISAyiwCv6wyEU4yDj5xSMxKux4XPuWf8uB5EJFYWYx5xFh7l4Uy4uYHuQoFR 6TNZgI1tyCnAcyXSi0H9hxI41fmVykZsUepuvtXo8LmO0XwHbsEKazduLNjwpRwfIjK/GT8Qfbge UfpxiCel2AcLk7858dce7b437EazCYKKznHKsPwDG3KNSB0YDq1sKVnCYrovlVFkOWkXXqw5N3s8 lmwH2LdHDjr3S3yeWfhni0KQUpOYITJvwFK/5Yr3GTd/F3UIUZvBIwIPiBqA6xU5OWT8Lcz55y1c 4aJyLO9PJXTe1a95uhgkQzrsPtFq56gJAbMGY0LIEoEynVd0IJBZjZqy2iO7Bcg2KeFtx8nVoaYr tbxyYS5Ne/Q1gw+XjpCm6rw88CG973/G+95pgYtZjCoc1h8g2LnI/UUHkbvCXcynIdefknDOtdXL HdCiAFFCYNGjxR/VsVPhxmDvk9kzYCxYtUQVoUj4RFkzVkRDl6/ZyDWnksTkogrELWsGarOiDB4p JkLyoSboze2MObEQMSkl7pDbPZCaEJ3AenHiHuYQ7nr2IVknxEVRSvFT3+ZnoCjvrX3s9hZu49Am ysp3T5tlmLSHxSlabalvR+rYRLDqZwvAk6Nx41+bag9ET0AFyw385FHc1vyFxzSv5/HCrVJwsAaP c5qu/65VJy5bIlaQ7Iey1WohQ5WTxyxRSbcA8Elb8M0XTQjPdgd+bMv9rkiO/9k9s5glIfEHUVTL v8pDTPsQsZYhGEtkE6VMRjt3RYNiEfQyISe5EtbaKVl8vsFDzmnArTWTqKszVhx9Ge8m7W7gyoiM MOx7RC2RDJxuNlKh52NqW4JTSrQtHo5q0Lvtw/OeCpQSbV6joZ3ddQSsk2A90uT9YXDXe2oM4PI/ +EBjCpSlSGc95T1ZCmRqbwhsEXjzHMGMETWT0Ol817FBfcKbaCMCHH5o/PRAg4GXsUezThmyy0LY IY+B0VuvoRJTEjqcOVgo0qGd9JSbsl3GFbmYIPmwGhMsYqx5r8Znr8RcmxAuZPhC8VvaHrKHCuqI CdTczDqIZwWtEoXbbVp9kt1nrss8w9KbG5SaSqkJq3zA4ZfrZ9xFEwdUQkf5tDdi7z10PqNXJa+g 0/lYbfvEy9tLbu5tx3OItTjMrMMv0h/itlwDKArKgkWlIEIouK5jK3UjC/BrCy4vQusOhZOpe1yt JeflGvHLeCVyprKfSbU/FejGWcvBhmVLeVCMcdowbpkM108Eak3VO3Fr21JSAKzFXBiRD6xIhSx9 Fr85xcGJ/ukaFX23uBl5TiZmm5m72TM0uDpLX2u7cdidevtNpHq5esjX7koYFbE0+GgxV3mzoS1/ toR0l5WJDIc8wX3grD6lwBSqVbBzMg/JRUF2x1X7BfhENjj0nZkaVPH/0VX80Ytx0Xh+F1jVWB5b eMLCpuv5Pe1df+VUZKp4Kz5joJd+6UD+FGHl+/UMMmaftPnqEAG5ms76Tccsj9ZI72Ns18CVwAnk av4DCXkLXXZAexUhL77b7lXj2vP8JuhmUxhvyQ9Onj1O9IgTa8CVGVb5yPQGnJ7O5e+QDkxaLEW1 zY3iWfco7WFwNa//ecan00FuBV2FhlDoHWI1TcMpc5HF33yl9mYYE55cLx38s0jrmCkW6y9+F+bd avBImPoOoAaUYjganbjgYJom02rt4Ai1HHtxWSlZ1wzd37lH/3mzTPe8roVneeKq2PWgs8ioF98n AOje8r3vUTDZ99MXlIoRXaYEryobeqrct872NBmm8P9mYq0R4Hv7r5UYvAtBtG4MN5YzNIacqMOl 2IB9j+6J61Pi/NPb52ZWPIupM+5Yjm3rNyYcLEPaOI+qG4ansPACYFOL3sstyakchaBzBFcWkuf3 z+IwUAxeFA4W48vK+4SAUjRwUnfkBlbf7zOCy5q5LIHsdVuXufcBtNk3VU3VL7w6I9m3rTG8H3Dg CHdCn781mPFafzuXKjAbpG9uTuzUTBH30+CT++2cLdlv5a2JySqRa0zupu7RaIFkidDnu9ExgRg7 ghr6eFh06wltWI4+IEIvfD4n/FAdG+q0hYY9sFDIX9PSgQtxBKG/fp4goyXVNBAymNSL5KvVNM94 nsjeoMUUjv62amZlgpYG3CgzToos5CQ0V9Iw6cE7Rf+IaUsdYLUWzUijCpqn4PHB0m1jB4JfcYPW /eZgjqICIvjFt0LbOTJexEtwepqjd9tpr5F+0Uip4UnvBb3+lx3faK4bYgC+zu53y3NJu51L+pLr SXP+wmDCBvYQ3tdeYUPPW9d/u03A1SU2sC7xgJyXXp9763t70iYpbC8G8BeX/YGs2bDToTXUSlys kdM9MdR4uof2hbbf9k+PGHfBfSi2YuIHQZdfs4FVsgQMZjLI5NAPl6boTzDplapk8iSTVr6Elgj6 aRl6t4heNF+/jcyUrt66Qkc2QyxLBcmoiCEiLlLuYDdUZhDpt6VtZfw91mNVlAERcQANw5e0ddfj CmA5q866C9ywIL/rTxD/7d5ZSuneBCE4Z7jMBeOG7H3MGTmXO5NtbYO/dFHjaG7+nuz+2ah6w4va mFwDe2DxuN/6t5wjAM8ZE4WDabv6JpoKWP9+C85/HQxSmYsNKiXf2BM7pZrKiYVX+EI6LLCggvBr nnNyX9eBKd9eMVIRvmcZDZlwGdH2nTwEr86tqAdf14MMTN8oPGEWXh93gAAbZbrZJkGlmblRO3Mz Rlj1YCtBtXppnImLBRgJB2VamIWY438LT8X2UrD+xshDWZCYAC3PDHJJBoPSKkjwkTdIfATZ9ZAL Da4h6YM0PU9fIjnPnCVBHvw6n9/M5fh76jZy9oMALdPVTzP+WhXaQsQLdb1uER1Qws+xIoFvRNA2 jzPbpqy69E0SBcHjDPH7sRrTs6w8ZNvk6UsrP/SEmlelbXbFzg2rMvVLgrhp5LBpW08D/h+XGBeR kTIVJtHFrqk7cn+kC5BLAiUYmBujhfzbZf9scJQAu4FaNSAoQF06TDYhitjWDDQlku+SW+m1i4AG pBOFALSGtgN03YAg5zWPIRj42+aLipOoh9M5huijSo15WCoba5sa98jcPq9d09KqaKcR9yw9Juqr jH4eXqH6RiOOx0psf1zL13iyneRVaNxi+pYdzMa3JfOBAqjixIU7npfS9Ky1L9diQd8xsJth/ir9 0xQihEd+PqRt9voGqw3VHVOGZcLCKtk6KWp8XPyXKQmkHeNwzzo0WbTFKjdwY/PE6a+eFNEPnbN7 nIosd4OMFJxVNvD/oUe1XzKCz2wTbucbuGCVVMm7cs0Z0JyZ9tpoI56g9NCKfOAyktTsjn0tX4no /fg1WhBSX2vHwhFTnlRvBNrmhnpk1o4aSZVuuhvtNCEiFUDE0tt2CSrQHjCOtmZa57lbC7nyBy7a utuv42dTLguqRl7FJd+BX3ass3DXDrMTqBiUUAkK980qeHqfKDzZmT3cgakvwCrTjJQoqgZ9gNvf JvzgOIls+nxvCZgAC0l0oY5QsZRtqQYi3yMswYYKBiVUO/2hSdz8lMs4NrJ1bSBdj39WnkEuR4aa nHMZMNHzqJkUArvPkP5YsHuHyjAo+0WLaoXMrSp336WzQHxk5SjXLoECLDs2C/YNEy8lIw1AwAPp 2CTaYtQM88MVSsSGDkV+7SUG9oNfa3OiyyFN1gsao3gxBknLDT4zGvYYfeDWcGiAORujYNQ0x+uJ XI4l3AjalmLHsCKjef4U4eUbpvVfnJVsqVrhD0RVcubGUtrwgQW+Y7Nx8MhklshwXnKMd/RDu3vM bxgkEJtLIKH8ly2GL7hlTYkLWB8x3cIe2s6whX1LXpy6vZXnyaoUHFXh1UtS5O4g96nNXHbLarqx 2Ya+xBfQj+mhhuVkUp+Y5cAg4gOexcYGIwH/tfrgUoITTTeibewy01P57lwAqvw4OL40f7sQYxv2 5pBj31Gy+8NL7QgkreV+Ohias08CjWTAahacEaHC9tm6ykik4b0lpYybOVWwlCRMbUfvfcRB2+KS RqVt0HGM/BhZQTfmkeZ52MBBW8TPKdyKVJgsfGIrp8JPVyqHehUw82QoON4AmiTvvqL0pHf0ypam 9ileJqdKS4904AslLjb52qx/d0oLKr8ordIZXvUoH5VJLAN4CWHGndnlnTyl9Yumpoc4vmo3/MXo N/7x1Ae3q9VnhJbM1Vp+LT/WUG1X7u/PZZZ+vJ6a4oI1zBI8b7I9r7JMaGDoIfDuljTZkm8ZDQkt RniXeReIwGt2udNaaEbJT2i2azT5l2jFVAvu5hz27apIA+vK+drlxvGZnfEyezgCl5DD8h83v7PQ fHJfx+C+pgQ4/EDm2lLf1+D3ZjnWsD7laP1I2si6psWesuuSgLC5S2L1K5weWVNz0sC7QsuemUFG uXvnGABHwvw+2YgOzc3+xLOCWG+s5k1VKM2waQrgqUaAQsQCncvcfbYNgOIEyhx8FEZ/lzXiBHqt BrTfT3kh6CtCA/En8DxUW+AO+7bC8SW08ILQV9RktjQjbPN9vnFes6oj7DpA+x6h0Sp3bi0I65Ho s/FzE/vLtmjuXvgiRUbY4fkEWrsVAxEwNzNM01sNYO0rr+oZfb/hknVzvXxqKZiFzZxtQMpwuagk 3YjlH4HNSOpEVtPe8cJpAGNx5mAvgHPRHDbgecIZJ5qgCYAVJl16NH2UpofLj1vsGjrkqercHYv6 /ArklcskLMuNaTzEml9t0aEBmtkU7OVC4EyShYThtY4Y0Vele1Ci5uDGa3RWdHJ0BEiaEsuBO8PO DIdxoA8sZHgUDZCLzefqEnfsRUi2KuO+1mu0mkppGTq+VG/N8uCffqn9wcjAZbNoIHRs2N9e6jSg i6ZobQoMuAR2LUH5cXdPr7i7Gg0hg42VYFJ8Yxz+E8KLGgmUz5nbIYTsrVxD/hMDnLv1PU6+ODTL ESToSLlgjFsYCwayrp6tIPYzt/WzFCWQzoPvl2ekL8jHdah+GKKom7SfA+jDhAvzzVsWZAMde4Q4 6COc/sMs6w+2WiywRiJoSMzuU6zO7d3a+i7ZkfXeNNh8cvqUeppZPJA1X0/aFOWPkvMe1jd8auXX rfDuxfGf3wIyw4ZYOyvn63F+D9RkqyvqcZRVMoJn9Kd3g3250skb+LySB6ay96dhJHgu7cw06FPe ruKkSq7QVxZvxHB+pXT8LaE1EXyaUhB6kcaWrSKqtgDdI5+1PU3VpPe5ATfoiRNUwlgY12HXH929 5y0ZWttK48xfARaS917lFj8ezx0m42GomtoFBg67CD3/CEXyY96f2rjVfGGGLhoIZ658KntT+vH1 dey9ZY6ZiNc5RNOj2HkEiEL49NSSTcdhxFttksJ7PkenAWn8+l0wDFmaY7t+CU5PJpYkOjqzxbCv kHFIJcAg22TTYDdiVCWOy8JkmwBIlBtYtrUcg5mpVJO7o5rzIAHorIz0IvJxKzlndCYzpHTIMWZN BMCbyVMCahe7OreV+7mE5CDDvDEB6KSUFHdwK9mLubNMRYGpIDFsnpq8p5p43NU1VFVAj+ONVIuS XYfzBkb2K1pGK+jzU/RPdV6uyH7yvS8k3GtlKBf5VmYXhTbzuXvo0TcnWJdi9z0roJML8A7urOkJ 1FaVJg8uXbKDqUh7z1kF7cAXhxeRobVSuZS9DZXGE4qUcVih+wmgk6Cb1c6qY2r2Gk0QDK3J+OIy TsQUd9ShPV1jmqJOL4Mbt7EIJh6sxptACjUKDePebviq1bKSkhid5S816BcPeGrsuLl1vco6zXST T1t8h32sKoONVvCQeEHtGtQ9M8p/9SaZGuHorHDNufp7Hw1x0N7p1IQBX5zM/nuhRtLBBeCij2uP 1/rqYo3hz4tS/STrVXIeI0cd4y4pZ6H0My8r1gppbRqycXgKfm7ms3eIR75wggUZQrGtRZjnoyTn QRco5pW+BCY0d40dc4ByV3Tovbl2Jp1qlVRb//IIk8sPgZnqtzvjiEFlFVq30qF+nY/HeoVpWo7I jhT3TgMJN+dNikSjcIHbYcKEcu9kpvB+mdQa4Chhskj5QuVBpy1D3g4KsmQhJwXV1h75UAwnLN0C UMc/GTDauTnLPrlVbk2vK0foRQ7PB/Uckv5g6SSMbURXfXJGkeERaiaZqrUJeYunJH6LpIKEcact k4LixhHY9FGRIu3SL3AqLMLF8QjpJ3agcs49gxzPl8/w+reflLhIjKaC/xbycHVTC7B0r5gf76Rt LQ2ZWVlLnLnZZjBlllnh93y8tI3NGYWyU0I/NAms4viEtn3GlLOV7Zu7e90T9MaBojZWIdrg91fU DH0Yb35hts/6gSRLiyH7Q9w7qSYzdT1WpYnnqKgoNp6lkhVdfRLs035i+8T63rUUTSvpyw9Ou3ST Cn8OYCfN2Q1OvXl3LcQwao3apFj/MW7CsWL9eWdlQZmfmfAOCfvS4sEe8IyFA2qUYgPaM7PAsrzs MZO4I8FgFaoo/fsDOpm1X7MrtYabYW3IQ6dOrZw+gLDnfVWDmUbDMxDAXehqstJbQ8waFBGKheyR qOJ8nRo+FkpOZqSVUAUiK/omvN9x+Sx5xqJtrpw+4+ZTeVI5h5wW9nhD5U9IUppW9wY96DKy97/J TUMvwdHI35PSEyA9M4TUFnerh1AhM08g3RHxFZiPVWWibNaOChZ/g5W0JKUb2oVIXb0UJNXwRQbH H+ckUyY0qdzkqQg4vJIiNnnC1VLwuIm6xOser94uExE/y2GsjyIgJMR3ToFBtPTTabgraX7mQEuL 9wCYdaB81bSvYCZnR7XZ5HKLvhVUfp4HIS1mnM0pOfzWQEV2FnGley2uG9K4ad/1Hd6NcQuyZTl4 22D7OkLbFzv6RyVwn8NDv9wDWViMQRZtZfYYbA67/BQgccSlPVtrw+EvZSJTbWQzGOOPGeEt2OBV xAWS1Nm13gF7t7NBr6YZHI/ANphytKNL97V44nnS8Ayo4vPQuB+cl2XTfEkVXQ9m9PQDusz2oUfo sXjt0eLuPxS63zSRRz5/4t/9s1WGdIPBBuHvaAKtX0tvf4BawHCLYplnQKkqy3oEJOJDzrMhwCxu dKvCZfVKRZpK92Fi5jP8m3coj8MEgz6sI/WUqa8rvqrcrHiHVvm75qpmOLMPrRvguOIswxtLyRKJ LADnMLZb+s4tB0vFipQ+0jLSfma8eNOpd/59sivmGcAlp/8C7aVJiem7376JbKFEg8Luz5nAysMV 9B2rMiH95V8dtK60Hh77m3wn+W8EhJM1G8iQTNuKMinDiXYRBSqz0fragDDLs4vJxI7QBwauyei9 pcv82Dxc1gbo6d+bWQUUV+DjN7pncZZtJwtilB3jx/LdftZhD6zSh4G0aL18AjcFjLduCfH6nbxo EJYfIuYk85fi8yIiPGdRaGGljwjSKzkYAZ6ZIQKN7YIjAI8D9a/NsSGOY8f1EBC18r3GORzRRm7C wRZ5A4C0te7QutElDpX6BilMDUw1AxQfhP5dBc23ROdHUUumHTSOfNAS4nZNILAQha2v9ZJd1U0q XdkVDeKD2uTxltFa3wAUJkHQXHma7sWeT/Set4PZPIoiPz52q3U8c4Eqbxpqg8aqQQ/qc8ViHp0c ZhziMuQO8tIVsvjxblF1wheGzoMTk8IVpYm3QhFQNgBEZe+vWbFqYNTjLZAmJ/2HdPusF0LRzb6Q fOvgxA95EtQj6aO6H8AwKorKGsdrgz61nWCnTdAN/G24+cKcNqWESHIXwBzdA9PfrOaCiGxkcO9N qm37sMO+WMX8slioxSx+pgvsYVsrRb2guN6UuK/oR+ZhuYZAgAOhC4I5ak2QFfT1eQcGpFZQTTHP K6cHoVeXB/DvcACWSsLvGzXxsQQqKJmfCeoA1PLg+Sar/DUNPLxhAnQ3bGFvfRCCVEthgwW8+4mm /uDLBz7VN2AdipxEmDkq07SRW/k8V8zShmxBpDtDXvxTrUn6eEHTthxZPrM+vJg3IY6zhYrd1Yoz XQGWCPRK/E+lHtqFuZ9mbmkkK2wvQWXTd526tF8OEt8mC/lrT3KXUPPVuwuqlNI8f9z5jPLYGU9u LHCaruHxrAqacIx39n7v8PJ4R/Py41XEoisSciiW0S77rSkRQYtVnwUGmcfWwLhKvRLzYYDsSmgc 6viHr8YB8pEuE8lYhfYmSzFGVDlq37LsfnuRKDu1ZGc3Ii8amDT18orTTg8QviHgkrYnMlvdcaJO F7WCTafSSuihmlW2hfAsWxtrOuRPhqvJeVGzIsML1Rkdpt9f9391QLBvr8IgvwsRweWEH0LKMWHV AFFY8a4kViAp3eQzdEoTulVhg4eHdbpCWKbUfPsJI1z50HhrAd/WxOKtOw2ujdORjafuRbfooKE7 OhUoj7MaEwz6MLB5JOU1afj5fJSMTFecmTNpjb43xdJ9TP7dpB6vg9K4Wojibs5Q3RwM9TJjordT hEBh/a9yRdJVHQyIUSJ+eN5KcYebgTiiRkMvk3YN2HxbAmlni1JE+uIqqNiE+7BagUsMe1Zg9IPd QV4G0IvqpRNq8ZjU/skL3eNqvPTKssx9nQBbOqmYs4dGF57Mf5bpGpO+CQfBZWRTbKQ0kfQj+/fb RwhfEfwSFl73W4V66jN7r2eZX208QG67Buj7bzGUPR5PFu6uYaohh1/cAiWdM2+RgaWC7PRC34VI YPf/w4bp7xtHQSdfzeFDHh5wWjALu67kRl7PQlIbdcbnDoRkpH1Z8Y9YgTzUtA6J0oK+WoZqzWHB /kIL5ngK3M2HSvqeOMD3g+1wDroOxsGiGcz5WF0XWey68U9X1fHKdameFVBvDFeAFAVY8enNf0+7 aFIBGC83tbNJ5dNU7gBdIkJmI09uWyK+A7aDecqYbG1foW9cbE7NVQtz6zJLmvXrofKBeKB9H94V o+OItQW6cs6c3FOl2k+RxAWYRDqfnujocJSxuRz8012fN0oNeYkUAw1hupqVAn4EuWjHPSWjYA2N uqe7ChKAsHGl+CAdYKgZTz9UZLzRlQ3vUp0jyTGNgCL/8rfaZZjYAic2fvSQraxJT5EO5EQEer3u itVQrDkEDwMNNtzhoukeKYs7bM24tWANOyzBZXD61Tf4YhjYmr+2tljttfyKZXITCb1JE4IE/mav NL4C5DYy4a0j6j6+p3QpOW/3EdmNS459LE9HEnZUV5y6TnLqos2y/TKKwlFahRWGGlohvV2ej4lM PbAHA/10H3RIno8otYlavOtvY0Dcxywc5DMnkN84OI1/WzhDmDRVVpbSDtss1OfMdGrR4uFI6QSv L4SjdSA+0UT9Dj8pWrNZgtOgpWtt8NfGAHIDXSUBFEEjx864YALHSInX6+B69OrLvWfYX5WedvZv OiSSIc5GPJnK1YpgZUEouOT7Ko5Hh+BKHQEIXRQqigJiNS7+Rw3Bf6pUAsN2xjbNYo7L8T64FA0C 0J6XjbErCFomeHHVsyXZawP+R+BfM72BYsEGSkTvskg0Q73MAzuDYxnX2iyWIqJNW+nOq3VFuL3O sZ4KKWMSczZBrc8QYZPIFvEOp+fuv8pTlcJ5cWgO+oP4xYqXBj/hAp57Ue+FPpgf7Vo50mF80cU2 4B1paUeUJr4jGdmW1q9NysG26Ce/l8gQNUBlcxZLlOO2K2zzSuxscCQiTweYn7J4I0hI8KFSWJNI Jlbqa/tngb7KTyBtWVW66nCiSekngaqJU3e6xzxSdBOSYqxn4kzcJd5ws9QrwzFL1Dc5A8x+hGKP EETSYcvnVzSh6AsnS4ikTLYDrxriJumMHHlHy65NqpI1vo12tv3hEz74QFE7RJzzivF3qMN3NkHp tqSUYGLVb0NaX80hGVDuNJlnK88byBQ/I9AoodIyan8I8pJE6nWd+AkaUMvqzcUhrg6bZpbiRZql 7fAjJuZmguiVidwybnTM4QkIpGWoLlMuSksJiVoSrIta8QfQSnlNaQGS1nk7IR3HH4d7bnc0vk2z 6+dwJBAvEJu4m1mrDzyAIhqN5WD/vEGMKd4sS3HNHIguMbrBTrsf82X3CQ2ilP1NzUzLupt4pNBN umeu75Xx0yGWVINENVAIw8R9PgrW1LjpLTGgdDpmqN2OZoyuI2qHZ0lDcDGS7jMFFc3ekpXkf2fM z++tIF9tKhYdpKVM0ftpZ+4kVsiGbPeynb0VFMA+BDxQmsFCDC3ER7sO/sPXKxwrJB0KUIG7VKWu X/GzvZ5gNV4EqYxta3Fw/t/lo0/K0IZFq9SUv1fda7i0P/YjqEe6hemrGZO/eHeRfwbB7yNtRtZX 7xXnHVtJSTm1319yqexPZKVq2NQdI4iSG5dKzcBePkjRQwsalniSpgfU4SgSesFhVuMgIFakNyMa lap5jQeaZqiE7hwP6wsDOQrVG4eQOlVGw/REQeM3RW18m+GDUV3UqyepACPYT+WTGWjSeMPErMia gk0j+yuXx+83iwlaVCLRCkrp6Z+22qgwHrmLEJkGkbN5t63lRwbDTNGNdqJNLEGfepyi6hYbIIHw OKbf5T2wn0fmR36HGPm6FMr4HpVsvI2H8IaR7id5EElnokvygJlfmazeASpM44SZqwoL3LvZAfsF vl1KXARXGu8DOqI/TYSELmCgpjIxYRgpw7fgVGVF1ddgDU87DEeDNJR1Sipvg4LyiOr2Ov3Zm6IT f6MFFIIBhwUVlOStpHwZ92qz7qlqpSQGQRdrQRHNOoe9VEiLAx+oY8bcB8UwRQh+Upw4iKHEEF+l guracoZqKQQbVUUoLeHxUH6zm3E4MKydAjisCrrw3cpdHvGX+VSHwrlOymq8czE3cCjkK0sZlCzd C/fyTwN2uyv7YiidTS/g3eiux5gB12WXFK2yDV0m+mLKlV/VtfHaFnEv+mF3+wz6XAgGI1bkX50p xploxQG7eF0QRIbq8IMEx1DNyvLENW/01iO19iU5zgxDiw+NJ/bjLBNSS5KhWnmL/R0eszlBCXne dH+v1dnhXG5Fxd2ATN4BmM4blldKwhuietvoMD4kiYkWxqRiP2cC7lJi6zwKyyXQ0Otlf1jRiT0X 31/SeZn+SP9KXbnkeMjyBnVYcxh8FAV47kLM8X7xvb66MAlnimZ/edFyE9f0x4hms1zEbE/6nD+B 44x90JWYaedFJTvD8rB4CRcjwfVaniCLzRHxsAOYY5jofdN8yLOjtS1vOHarqB6X3xeFdj1Yv7mf lMYf0jtS3wjd7+SUBt3KebQ3oq8BhjFp7DgdUVkWoy693T32Vi6k+dFAZg04cwpeNujQLBZlhj3a Ns0NQ0eKtLGTvKUQTCMF+CNXS2CpgDxzfpefN1fvAis+l0wd5U4Zur50AbPc9d/lNanyTcYVieTm pAXZkfWIaL5rm09xkIyhWYHVgDMit5P7DTthzzd4rWnWh2zpYE73/zhDtzjv5qAJWFPLrCYcHsWe 5gC81qYIUIM/0YwbJjxH6BwlNIlhc/6sX7kefACyLRmVjElYeJhjR00osuMIyB7y0hTfZBxa1dy2 SuWdBlE3cy58qg6us8UvbOyNWku0bc0AtDMkRTOwo0LxTC6XHuTcnaPxC0LdqaxGwtfNm8xz9eGT KnTm2PrnkxBzzN/3oAD49NnFOyOq9Ukxvc+yXyJdP51+3lpIHkIJRLWksNooxBGlRFcN1jGFpWhT cezSDoK6y8J7w8LxSPp3OEqX1rQk1nUfhfNytJXV2vpd5xnm73EuIZQS8lKmSu6qm+0cILKtlpmQ BXoWICZCCKVxD2nfH0TA4iPjSYfyaWneBU8GK8tfVeyYyFz2gUnxoK0y4Kbm+yFXxrBVNlEUhDGj xhygF0w9qeMUsYA0VSD8WJEn175zvRRylpK/xE7euAmoHVkaSWOYMoKWNl70wTjRGi4oEisV+QlB 7m/gZ9UxjjmzqRo400+n1H8RqUfcdHfGSIi/tOlIMSJCAp56pfogLviEvL8//tTMAO5rpihQi0dh mEMdzXRke9jg/C+NCKhvIO0Km1Lcjc4dXcffoIDE8Tx7u78j3KlJ+MUJLOnEyOZMyWvR4zZyGNt8 WWXMnT5DyCCEHeITX+sf1yDsf5hBMRQFjhArRLpzRYN1YZd+onYrNpc8/OtCl+dgK3Cqf4TXyGZB gUV2ytcTeHwzBirn3Go6WSWJjiMJsCnHp7z2Uu7cYeGU2+TQQZHdBGXXl+VO39ftw3DVs1xQ+i3z xRhAG+qlk/J4PJjOWZDmXOOXLoYGNl56fMJ3J6qygTssAiY/paeebH/NEi+F2NSG9/NV5WvpfgQh b/l6/x0ziP9lo8IVlBpUIIBvGqp2aICQjV5lqscNBmYwF/u3hLfhLXeUP+WWPskXjrd9XTsrFPrF HfFIkp7yGIdJff6ghuNosK33umwslLv9W1v60jBUndxN+vu82vRg2tyunP+bXYFWlAwhFXe5C7/n DdWc4K8mcIPPMFx6ojabEJmnJ1vm9x7S7BDL3wM4bR6DBhtsrH5G94WhlgVEjNRefGKf3YHM7yk+ +/WrGgG7FFV6EGlUFBGFp2OUGF7zxzZCJ5b5WxJwe9AaJdcxSHtckTr6RT2EWQxFslLirMuBro0z 4I3rd6AYubfiRD1vvKZrI21UaYYB1V5KKkC85bMebOPreQ6YGTT2u4Jj1ihtJw1RHRydkPj+lxQ2 o93S+xYbTcV6iLLt4Dl7tlBksnFvc6lwLDK6S34L4b1nO4NFIhytECAfuGBqOwyg8RbPvTBBPd7s TBNZTIaw+2+jK1lkF/oFc/+j3dqZrgOlJyLWrns5ihK1PtfGZsU+/DXYgEcVrRHxMAHwP4imMFwa uGntlOE/hDZnkKJYX5A53bOsfrOdC3MLrWGM6IDtNOADAFTXq+HGCxaSXR8wmvoqlA2kOS/tgUKM XQImEdvfj5AnzJDzkBe3KHalb0jIzrSTvfXkYfiFyAOEE9IizGSPm2SzaUU4ioow1zGGxNVPDmCx C8qEoeYR7kVmT8DeVOH278gx/cLF8YQwbVbwFLR+HcXYviPGZY7ETtMdsEaLaXxQyw2inppDMWav zP9cToLpoSzwTMjUXe/qw7XO+AQ5HPk9XTidDwUVTnCSUP8yvBTOLaY/f+4x8U2/wjopRGnCWvRc 578ZM+5bU3oYSujeOA2VNVG87sycNsj675CDKKangzveu3gPOd73DLS0fphsPDdPKiVOVub6BjH+ tXs6j4iowWKda7y4IhfhSZ0oVTfXcLAwhTtWkvNMwzQpCSeTmJTRn/aE19li/SwtvJfalG0RRKLT JF7GWvXMGwT1lw24WeVaUAZgxm/mZ2mJdGiP7HV/HFQQxI9UbNXwD/L2kKHxdb2c0SzSS3Tdn4FZ BNzKVnRvG7yhqlejPDIUeie12jZhUeEK0ZGarWFkjeF/Clbyf1vLwT3aq5aZgfd86U3EvsmoxXuL cY594cRDbfGkyvRGPoBpTq7WbGpYZj8OguGzHw0V2pkr7/Gz3IvTyvVunGVMOFmiiqTYLnOz2QWe YKNxesdOccGHqsXl/ySfJkFsHy8HOyqPm+GNJbiQWlrCWX6yKqaEdALZLzx2oqvOJvy188372AYT tDCrl2Fk+HS0pqsybANyrX9y+wtq0VC+MMTsO8srF3voYVzrYiGlT71fd8T25lg0LtAkgid4jL3y nOaxKnWuyCJRsjyDuvAuDsd0urEL2lUMIdQBOpS1Mh6+CAkmDssuc3pMih0b3Ws7EvLuhV2LP/Bt g7nu+QziG6CQlVa83pREYh5RVk7eSQpX+HM/OVXSaEmwmT+Ce6FWNsR39+Rec5uDzkinwKCYku/b Gj93urbXIQMRoBK/c3Yv2Fq6NAeVNlL+FVhCQwBSWE9Mscsh7tcAp66W0l3Ohrr26zzDJCFPZsl5 wj7rTVd2jo/ygOD9M8Ncbs6ekHZ2aK+HjvaXbgyLInbqaaYKhnSFefmp0UaDEsZpp38An83iRNDd t3gWl8Fq3G7nThl222EXbGKPYTDKBDUya5C/uynDGfB9utfIevCEvmCOvFRyjprl5zuvxpaWCdmE A3vA7M6ZAE6able95KcnUM6ZD438WRboOdTelsrV9fHsE0mxdcopByHbnvLlurKduOzd7HjYncT7 vT0oVBobYnewwK3XaoWR5Avl3TIn/yyCTT+YAqmgZjzxTHvCdP54H29AkbD3N+mr7dvSIM0LHcZo wxH82nMCrA4XS/xeu6KCsQVMg4Hxspvy+AeX0vOvrfc3PKlVpA5XLWrjySC35I7qxyEhrLFAqWER OcA31rcjiKhQ0xFC0OBP0lrsctRqncug5FI3z4CJHcae9+XllD5zrBcdCq10l4cQHp6uWcfBmCGs 36olA+EldJyv594I/aD2ePyB3pqVnR8vQM8hmffHgjP+h37Cb1GXPsXULfea4EyULqNaJ3mig/si C8Nm3r//DA5RSMEbkpUhPVKFDmTqBk/OvYReYf/Ns79KS2PJFxDs7kwGopgo3RdzQss1YP/bl4v4 VbPuacTwAb71DivHnKFh80wKy1q8VKymUbxC0LISY/D/DyPQmc/Wu6/TMviw13A9Dcx6wVRkK5+g zooxfj01SS1JTT3FKoCKADd274cSmOsbmRBxgSH1H6cw2adLSq4CpslKEfuaq7fKdXXCVkfavqt5 cfYCioAJwNF2/qaNXwXuz7h/WuM1rBr9T3KOkdXQ18scl/1sqwcNQOjTF0ipYJpDncgMq5mJ31IS pP60yfJDWb35LVTLcuxl2T6VJwrcP1v8YYgsh1NDJJqLgWULrsCrXlDwgfQluNV4Y9+XYKYA/EpI ySpdoGpOJHdXuFv0f0m8EJAUK5GXTH/vpbfwqDo4LbTKnE8OHKacqS7akoH/w8Tw1WzDuXoaGZYd iBUcM3C7D+ZjusgVodja3vHtA+Ou1OjtEENYWz2SmvEtKQRTLY0lLtwEVwBxQU6BpCFTfP26B+LR pOrT/cdjKK/Dd4s+5C44bA9gPHYXyjgFTjFoPBH0El1JHHn3kiU9WR9msk+O1yoYdnew008hLfaX IR2VnDfQ05/q4BO4dgqiINQau5sPL6MPr3zNBA9PnOfxWXqqLAu6VB24YGjkEosl4/Y0SLMTBEo9 epBu9tEauKyPySWqVGptjbL43Wou65P0+WoYPuS2o88fStDm/kYkbU4fmCe7WGN2n+NroCTLVewW 4yOwSlLIYshUelts4/GSIGAj/gefw6sppG39dxw3fpflO0vB3J8R8ZfBP78yrObij3eTJHgRtFYt Hd6bn+mgE5rh3DhVHPegF6oYDGzrvliR0CqXiska81V9xX5xwQi/gTJx6diqdHgY22vOtYQkYWZp hFbs0+wf6TgTR6DylgprvinYmPkBPjoiOILaEHu3NVs+CtsllGIAMD0vW+SVkgP1BHu4Ov4DjKs+ PHwLQPPFl0ahO4SwHqvHg4+l1xqZsLzhaX388x0RhZaBqPW7id77AXSoLcKgLxTPl5CJLvf7auu6 dhsaFLBEgApnE7aeUOIauHbmKwvxCGKNyFpXP3FnLL7tZB5twuYEncSBu3uNI7MspYILcMHOHn7M TP5m7cuQGWacljpRJsNHphZrPTwrkusDDArc621yn4Xfsys3W9dLZKA/e3XwWKw/9zoJf8JGJc8K 2/EMIY6SycvtJ1Qs42LBii9Zx2bRjNp84305ly52TokRbss5Q6N/S3CYtkBLVPSS36maYkKeTM2u lB0LD/Ao/lBaD1VcWs2otx/pMCwtKjsnTWHPQ9kmdW+sllfhFHx1Q0BKpteOGAQ1aDmCRDFDQiak rKR+C+8GxMuTDV4TgScOaHSXoZIiF+K37xZ4gdO4623gAeua6t1bF0HjbJ6xyYWNNL4YO4ixuhCt X4jdmdquPitvgJci1W8TiQ7MvA/yptCAuql98uOOcSZUTIJecMoNxX/QaX80sA2d41rP4GQbGpxf k3LCviup91PtQWoQTw6WEUGATOwaLeYLyack10I46NP45J4kYcHoHVkAYT5NZIU8v7N4qEU1Qor1 2z20VWpGb9sS5SaFO956pXnNdSzjY1WG3TasEeuMX0+ytqWZfc0d/HR+gu0FoCCgtm0FUztLqTtB 0X8GwTxpIDI5PB56vhMx9lfYx0TPV61tGdn0XKcvq+OUY7X0eg15RXx0fkQungsQZJ6nTADl6wnX +ZFZ4uSv8QbNW1W2tLrG5RAgcpUV+R9aEMYLF2O7T9b5xwWmADTA+G6sm9GROsXpG1639H9hiN/q hmQ+HzO9Ab7m73pCgetEfHLEHltNqaJtupf/f/lVa7x/UqybnbQMbu541prnCyvwpwK4X56LwX4n 9jtCxXEju9gJtbuMPlY8d/2Wh2ot4yEF07Bw3bFfE+ibmzzs/ySs5GKtqyCbzt9k5duWKIb7URpV 1gDqe1RMdbqZpt3uDJKDqcr23Dxw0yEz1vmE7GdnU/0txa6+B8636I3YSxRf6li4XSDMgElXRpMM yLQCxYo8EC1l1ixPQg52v7muudQ5LYM3jRhacBTMNmercYt6Ppj0ZWAlGHoMH+CLUGR1Vq6sItxy X5737arUXq439gpgpVLVxrKlD6ruJ+AwKPJAvtmZI3E6ebT/20jlHdhnPYdjgBUVwGHR2BwTc5TA IPdT+mrEGqyfG9+MnUXEmSM0a3hi71vgUIILFY4vIYuo0EteKh95aA/vKps8pfrOnJ8fUkzvUb7K pj2CAV/+cXZJX/yMx2iQdZIGXxbYgGw5lJTmv70HpieLWzFS9H7rJD58ohPtWo0yRsAUYGetF3Y1 FxmM+hSgFV76xyC3OZ3Gm8mipSXP5li8RZlWrPLNjrivYJRdVA7ce+oiXdzDUC60X0pi8dFHvaqz pULa70qXiWJJLu484FZVK0Nn1Bn0coYNqZ/uWus3+gy13bTvGFIjPn3PcwHvIqs1Eqql62NHcuTj FaGXjRr2qkd/L+8bI0EFNNtfZNe0u3f39e/8UldH6Jar454YiZor0/L5YZB+3WMJUNiliXt5X8li ACbRkLaQLhRFxTUCvSlmAz988C6QObUMF15Eohmk+kobYrK6kMkdCFlzvfonOR/KujH1qHPIZxVM 7dn/BX3q+2lsPIhd/iaR0WAg4WJl6pV4cB2p9x2WV11YS7KXGchkVXsbxWNgBHS4evxJquAGLyL/ B1bIVYPqre2wT1Oi4mcIZjjRIgxbBvSI7/BoD/wCWF36cE8fCxoh2XiMj9or4PndiahQcWqcQsbb uJm/5HnvNFu6mpLa3dQLLh+uJ+iaJo+Clwnbt+cG9/I4g6dRjomSenOXGRYRsjmGuidMItchJplb pNj2+1X1Fy1AjDTUw40fi+uqbq3dNZ/kNMEfAf65mqNNlyNCXA/2+87TjT+voTnX9VUbnZSm6lsI C6D//JkTUoSQi0N8RHkQS7TmPzPwIobJ2gRGIBS4EXu2ryB+9AKEN3uBuDJZTbNxtP3KT2iTaAQl 8bNQVYGNeLefyk7hoL4TPOMBlXzXVqQI9S+WVuGis48vtdCE/1wSIm3Ympnr7ehIIDalPiFn6qCn ggZ4RWFpjhURO129DLEF6KIIfnTkeyZL0W0Kss83wDN/R4OL9Ku4XXcpd+c3xVnfu2ccSEt9ZLcd TcWVncAOTzwQqZRbUfjfpavmJZZVyL10wqghU6CJTbCniaZwc5oQoOpf16p9TW6Lu8tKMVpyxuv5 0SxBCCUCpp/ZTmXHt74cikXeYG+cWKnDVz0lk5butUrVg3eeCr+NYEbIsPVP8Q5Q29/4PcHEnzNl 00oNhjEc2teZVvfHv0Q/TrRuLUxlJv0cqbpiEYZUuCn8mQfX1qbutftpa5av3n3TCFQekZ3n8h39 VMyI3sYukvbS1Yk6s8yoJ4iDoCrHKQjM2gGxRx9t507YaQ/w+YJAJe9g/SY0NRF9f7ZgYw1AgFm4 fHThMc8fvMUNPxz2pOfAHvhNfc2mPrmK0BWmzXxuXvCCoEZAyV0lFVj1B5ucqAVmRCs0p/4LMJiD fcxMC9yUir2E9cdAgrY6/qDwVvuH2LasMD9Of6woWMwauPIwff6YRRuSWxJxSYgPmGY+CUu9TCaV eJPQ5P0N9uURHBtRbBK6/Shh54AjUHM4wrORY0QiT+vJbRJNA4aCcXbrFSHA59DYThYNjAv6TZaD nU6v/ffSlS+yxUOZSX83l/qKgQQXvKrsvnGwf8ifkIdpEj/qmXxpPeHRwsR28wAdmThRwVmZfVBT wzoo1GYRnqUW8Q60zNLgFn/FT5mjqS8XIeLxqox5qFBTZVP6v8tWJAtzR7kYXdzdlnY5NDmsf1Jn RsUXi50ixV0D81qQCx14Wmq1N9HK3Ta8tv76XzfR7k9zzVeEPf/DB2TbGjoCd94+Np6tZd8CVKig Rqm5QA8ggOggBFbINMsj60ivPUWImo/T0lNkjScC3rTZHbwVxEJ+ZNLGlh6MSxqBAU21SnY1XxY2 c7KdOT5TU/4s/dAvYF/p8mJ78DRh6QraF5kE5MnLiRCH9X1KrSQEy6bpenk3ohyJMpJUxDaoAE7L PIP7uYrD1q5SmQDVWczzcwX9Fvc4Ek45jClcuqndQETsSCBTG0618FzQT0Mwi9Tz+AoRHx8jUKx8 czg9m3pV0xpkohE1IsfUVqp32J7hPp1Pfb4yavfSaZTUQmjgpiVGgl2gmlS/vkWvFHuo/L7yxmXj Jwgvg2oJut1igFAecTb3eRH3axAF6S2fbvfIpxi320zJbIqlVpxq2thuw9vRnOGAyj91Xc43bRDX 2YDlM82uMDMqFR6IQzybLe4XQQnTsenn1ypsQZXK3ntDuKSh5z6VavACiuhXzPPeicNe8K/7CXls deaOlB31tz78hBxI2c1xugVVeJY8xEDpeMgj59vIFKVmap0o0OlSccaVDgWaflZvGsQ69r47IwKL n+953Rae7+NciJnpg4QhTRE2yeTB1qOqNiDWUahL/yhnmqfj0C3JehEDqj2o8RvmDn/CxSDjiaun yxZeN111yMfc/PeRKaQgtVfO9MhTjce4aHwXoqBN1xG6PdfMoiea6CEOZEY91ImQUKKj+5KQibZ3 uJrar+mdIZEFeleeEfMlgq4I1xYtTaQq1dB4KNGpZvRGQKbTeSEO7e4pRxSzOzE6MasghHRw8XvQ YFp3tT/CntKOnFTFXG0KQ01xBFhuFstsNp5ABrKJIYTszC9olwAM439Q2kAA4S2k5aZ84//OtxvX 6WB1RWoypMTsgO/CwiTWJP9zynDPSz5D9Z8+5FeLgvr4kNS8bKerkBx1zsN5rQC15mLFjbR8zhul oJQTQw/NZvzZdQRI8YOh+DhJeNJ/tkzy0Iq8NdawHRmyx3zRSDH9MGYYZg5djI3FwK6LHUMTyPK4 8ZZG+0tXIHEYcoZg4Znzl7j/kIxNxxhpaltvr0LJqCVDypw1ARJ9KRd7Yvp/UirjAnqggTs5g415 Ahb+o4/XXMD50rsanlAS7780JAhsTDtOamOKRdsyrajxVk955QXsYHpDVwl/3zwOhmFBJJNUF0/i 91gY51SPXZMagXAvN6wZwD6jqMuH4ybC9OB8C4W9HhkqZFXmo+km7z++aFYoeCZhntJXACJQLFC3 7YW8gsRDUeQf5Xc1ASaq/6ysUvq5wlHGBIfsMV8TKA37ZQpz2H1xGL0cK7qcNWiybcXVFyjLLWBU dZd7lTRgaXHC/sJgY+xj929kngvoj+3/Ve5vDv/Gx2NoC6k+AgFJLWVCP0cCAPNyaNs8CHQg+lhJ kj0Lr/mXt4mxDGKuMBwokzhRxE3/+Z/kbuHg1Is/4SlsSqe72az5OUx9YdPhDl6TZnsEhIEvHnsF 0U3gSLE49RGDdAVbMk6MKCf8JrXeYr0ghJOfnEbx1J0Bmk7fOpWe+3PhFtbXVadfbf9du24Lt5jA tyaHlGIAYcDdJuxzDIlO97UI1QzOToaeLLzaXqxYJAThq8aq96yz7ccEwHvXNt6adlgJRGLEdKqL UB/jYo6nXgeZLCLnlW5nJIjHGqBJBdLSbmbo3bd/e2a1mnWCdYxTJPghZDEIYGMaJaG21odsf3Q1 Pqh4Q+Sbzue1dkie0iB/KupPSD/gttT4FbF24NuTw9sYks7cE9g7NnMfjTaIEEHb3v+Egj7024kR 1JBx71YlIDDabjOrU8kr/irbXrIufNWO5CrmuHjmCs9yT8xAvJsVVdey/Y35gHrKNfg0udsrQ8Zs Hii3tCUYygtKi9YUtrHoC4YVlEq2wycPaY4HCw7+kvo7zsPb0ELf+md38xvj4yoxSWfZkfXql/Vi I4/uhw9I+EQwVAn4r0kwAZQwK1UQtMKXuKa/vhRm7MYDbkJ3aGiEw+9oOCSI2GKgeTuJEQNvF9HJ I/N5piuzvx1K2VkWM2i8NIfn+G6WcmXqd2dpQB3grJxuYrvjRf1EsTPMod5IcPh86pBolG/6DmMe V1/dBJL0fhZmoKx9IsC3xDaA6rr7B9zLN+qe24O9auIWnKMSLQkMIayGZVDMsM4ULcxvl70k0dS6 HgDnS4zSpgbWcTyF44tHDsR+I9odoYPveLfwGENfFrSdXuAS4LDM5YuW1cGoyjh3HZLeXugzOH2X dTYX0Z2DhO789n/IE/2/aOx3hqWK5M90KYA3w/W/zmtFyyCwyK08VxTZ0Ib7jLRWGMbQwrwuQCdT SPgDvZPPFbq0gPMrM3PWfhzFUCrGjrz9tphhGiBrvs772zo2fucbfHo0OK95y5+WvTFNcJrJmN2u u/yHgPShJegcYG/y6kmHxPFCGZYqTCphiWXKliv5gHPZ6kNMw56ikuLCAs2HILkOif8VwQJW+B+D aUjfZO7I5MUPL2dXdypWSv0r2bHxQ8+cIVt56cZfJ6cPxZ4drH2JhNhsY1KhVB5OKbPMpvJuMfdX XEOvF1WSdxHcp08wh+MH8dNUSPWtctY2ZIn9Z251Lizk63yPDRF5X8orIy+N6cZ5ooPNt9vACV9J C5cD0fAMhWtG26wc0BkVAL2cS5z1V/q+nIWpR3Uhvmp5CUoQwL/rt5Yru37wCiDYZSbv/Mbt+sof yThu8GT7SbqbpIQr81NpMVXxXy/2HZ6erx5fWUh5eQfzqCnb3lVOUOAcwsd9sMHPdcWwojodzzhD RHXxv5lLkeLjEDraMA8+P3lK38o

[chan] Crypto-Anarchist Federation
BM-2cWdaAUTrGZ21RzCpsReCk8n86ghu2oY3v

Subject Last Count
Thougths about Crypto-Anarchism, and the Cyber-Space paradox with the meat space. Nov 18 13:06 2
Tor replacement Nov 18 03:32 3
OKAY WHAT THE HELL IS GOING ON WITH THE FLAT EARTH SPAM? Nov 17 20:13 11
So you want to have "secure" software without having secure hardware first? Nov 15 19:51 3
VPN, privacy & Firefox (+ other Gecko browsers)* rev. 0.3.13 Nov 13 10:51 1
VPN, privacy & Firefox (+ other Gecko browsers)* rev. 0.3.12 Nov 13 10:35 1
Your privacy - VPN & Firefox (+ other Gecko browsers)* rev. 0.3.11 Nov 12 19:47 1
donate? Nov 10 21:27 1
WARNING! OVER 300 TOR NODES COMPROMISED AFTER JOINT NSA-DGSE ACTION! Nov 10 18:58 2
I'm back. Nov 10 13:10 3
NixOS Torrent Nov 5 06:23 1
What sites have best crypto whitepapers? Nov 5 05:56 5
HASH QUESTION Oct 30 23:40 1
PROOF OF WORK. DEAR CRYPTO ANARCHIST FED. Oct 30 19:36 5
Encrypting One Time Passwords [EOTP] Oct 29 00:44 1
How did the title have a book? Oct 28 20:49 3
Anonymous Publication of a Proof of Work Algorithm Oct 28 09:16 14
Hi ! Oct 27 07:15 2
Crypto keygen circumnavigating potential backdoors Oct 27 07:08 3
bitmessage secure station news Oct 23 11:26 1
OpenBSD on ARM Oct 23 06:51 1