From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15473 invoked by alias); 19 Nov 2002 14:46:05 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 15453 invoked by uid 71); 19 Nov 2002 14:46:04 -0000 Resent-Date: 19 Nov 2002 14:46:04 -0000 Resent-Message-ID: <20021119144604.15452.qmail@sources.redhat.com> Resent-From: gcc-gnats@gcc.gnu.org (GNATS Filer) Resent-Cc: gcc-prs@gcc.gnu.org, gcc-bugs@gcc.gnu.org Resent-Reply-To: gcc-gnats@gcc.gnu.org, steveJepsen@netscape.net Received: (qmail 13379 invoked by uid 61); 19 Nov 2002 14:42:14 -0000 Message-Id: <20021119144214.13378.qmail@sources.redhat.com> Date: Mon, 25 Nov 2002 14:56:00 -0000 From: steveJepsen@netscape.net Reply-To: steveJepsen@netscape.net To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: c/8639: simple integer arithmetic expression broken X-SW-Source: 2002-11/txt/msg00951.txt.bz2 List-Id: >Number: 8639 >Category: c >Synopsis: simple integer arithmetic expression broken >Confidential: no >Severity: critical >Priority: medium >Responsible: unassigned >State: open >Class: wrong-code >Submitter-Id: net >Arrival-Date: Tue Nov 19 06:46:02 PST 2002 >Closed-Date: >Last-Modified: >Originator: Steve Jepsen >Release: unknown-1.0 >Organization: >Environment: gcc version 3.2 20020903 (Red Hat Linux 8.0 3.2-7) >Description: the expression: bug_result = (80 - 4 * intvar) / 20; with intvar == 1 returns 4 (should return 3) >How-To-Repeat: run attached "tst" program >Fix: unknown >Release-Note: >Audit-Trail: >Unformatted: ----gnatsweb-attachment---- Content-Type: application/x-compressed; name="gcc_bug.tgz" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="gcc_bug.tgz" H4sIAAlA2j0AA+w8bWwk5Xl73vXaXg7sI9eEJiSZnCH1umt7vbv+gD1C4M7cmforto8QLmQy3p31 znl3djMza98BVzjMUZ2ulVCrVlHVpkX90Ur9UUVqCyqRCiVtQ/+UElVppFalUqMcBaK0QgmlJO7z vB8z73zu+s6GSGHuZmfe9/l+3ud93o8Zz+hYbN+PbLaQnZqYgGs2OzXpvrIjBgiTk4X81GR+HOqn slNTMWli/1WLxVqmpRiSFDPPtMN7L7R5z4/RsXllQ61oNXX/ZGTHs9nJQiG0/cdz43b7T2D7j2cn chMxKbt/KjnHz3n7pyzTul2Cn9FGqq9UkkYaWKAV0kitlEqRW4pSoiib0oipbKojllpvmtII1Kyv l9cYxvtt0AfHro7RMdJs+yqjTf/PFQqTvP8XpgoTFD//Qf9/L46x4T09UhL+Z6kAbnhlX5+lmpYp Seul0i+ZkqZb6rpqSIqhWdW6amklST3bNFTT1Bq6VFX0ck3T1ymzvTzGUqm9NXgM+EmzC8fmTh2f WZFI0SVtUNNLtVZZlY6aVllrjFY/k9oXFVZOLn5euvvUiQAVwNcps9rYktda69IQlDYVI53qg5s+ WiimHqZFQJChDVo1K5Pq61O19ap1Tq5resuUK42WIVtaXTVlStQeQy5rm7K1perWuWIqJTCX7pCG prPSiFSAAGH6SGNSLoto0TyB1ENZbEciqAHUbdgzLSpNAyoqQ9BmqmFkjnxR5w5k/rvj1nL6i/qR TIq5MF3001iOxYBOsZ2qQIpo7Wwu0WhXwVnwUYdCBAqQlzrfBzFo+yiNUdg35onS/Qn8+btmF8Sg HyPxXlc0XRpSjPVSBnLM+mZGUvXNJot6rIawKVUVo294mIAhmIeHEYX0BduQcbDtPCr+fmfp/Tvo +K/tq4zo8b+QzzvjP13/Af5U7oPx/704BqVx6QgZro+kyP3RtZZWs0Y0/TO8otSo12FElmBIVnml Q5F3k4+1TGOMDXpjbMw7AoA8gHPTYfB8AHFFVawWJEuB/rYonCAe5jlzrFRWKy4muQgmOYKTz2V3 KWhdb4E1rTVBUD4XpW2OKRPmEYSTw5FV09bGYPo0glctPz05YqjlqmJBWW+dHcuP5kQuYLRgc/Za eORT1rmmCgWppZvauq6WceyVTO0hVbaKaOlEpBV+b61pljmGTF3tEomU3xNH5L3t6hZCne6zFkcK SZZbMt4U/XAYLwyLIJC7AAz0F8LhGgCtNfR1AsYbGE1lWT1rqTrOhWVZCkYnP5ztV1pKGZsimNCL z7EHpUI7n3MWbkcAm2k5yBDuKC+Cy09UCfgdnwxkImK1fGguh8JvPhfIxCGnCCGuCfEo/E4Wwh0a 3hI2oa0Rd7c0DHdKuWx4oLzx4Lasboq2sHghbMvBgHU/gMWSpjeCSeqNshoM0aH7bIggwbBGpeIm spWueUAUv+lWjFaaPGME6GvUtLoXZMtAIHWrX2sqyAkPy2iVrJQkPQynxARvKrXTuQeLUHMeShWT 0XjUK/PW4dUkmqHZSl6A4BicE0cFoKmWGnrZDKE228G31mobLvsEYKnWKG0EGUIAwTaiujQCyeEG bqjn3DSBXVJrlnjzpgL1ApV5Q4djlHQrJKAokPWioFCpmEH0QrhwhEgeFa0WzYMiBPGwkaCT+eG0 Q9A+44WKgSObJaWmGIHB48JrOYjeFoPfpmWENBoLIYiFmqrz1ggZi5tW1VCVsndIzneCGzQdIohm qaqWHW6T3tmfGymfon0XdcY6uakYSt3TkxnE0BqGhtsK0KNxHMsVOlGUju5cCoPKFcW0sMOkUI7Y 9yyYrJkogpWbmo54uNp1hb6XYVk1S4bMaofd1UV3v7Mt5kiKBc1pElVYUlItpVRFXVRBFfRCs1HT SsQFQX6zsbDgUGp6VQXPEZDIr9Ek7Gm/xYGlpRhlLAlIoMgGyYSmamH1ZkMrY3q0AS4OpJZyOC+5 zLMCvEcsDmsZTGkydb3kcTMBbSmapeHEyRGESTVcEHNtq14/5yVyNAzsTxzVTpVRAuq41aMam6Kr 6yClpVuBltTlxpauGiLyhqaXi9GuqTPXOHbUW5Z6tp31BImy91AGNJJoekMvsWn/eCFwNu3PD+H5 jTNl/AK7sav/whR+qu2SKaiLzS7K98zOzUj4U+Qrq0nvUlBYkIYxkGXKYlCaiqD2p0RYrIhr4byX 2IYHEcsnMDor2rrDYNzrLBfO3iyXcrcV9mTdaLf3Fs6p2KIxtw9r0i2NjulgvHdN6nIPW3137EKO QPR3/FPwDmk2fG/871uf2fyjFtYeJSdCjaBemAqFezuBkD7sLNbSYW1kj9LU/wAHHkVSw5aEUF47 XbDn4DAjb5GRARLRGhndaKvl2rZakEpsfYLjaIOM2AJXNpJTYSfkCmC4lpMeLjhj65QPnd1BK+06 jNYBvBmxL2bDf+ZjMGDfxlae5uM92bbxJkuPDDhUvVVnzXji2OLCffLir0h3SNmMULOwiBd3zfG7 3eX5mflMSqiZmV9a/YI8u7B0alVEvOfU3Jy8eGrVUz07Nzdz4q45P/7swrHF+aW5mdUZDgugOj6z cmx5dml1cdlNujqzvADgmeXlxWU29/RZO7siz921soomn8U3alwcTiwsLs9Q+hWOkWOc7MkjcSnE uNosBlXC8thSfJBaQynDlLOxdkYtWT6oZSi6yQg9s4mhYY5UKVlpaShAojSckcIUARjJLmEHJijd tDw7U8PAMQQSzc7Phs1z4Q6sIT9p7/LMMVHTNSvKzrSTj8ik2qFUYRobTRgqlDo/yruRJtMjwv9s /t8Jl6vyeZuGvAaxV8WMN3hEM1OPwy1Monl7MyddiwvambMLFu080da4r7RU4xwzjevDebnLnXl1 l74VOhJ1LIgVhYZ3JErvdCdKjgJDcxbkV5JEPd0J92T4fdGHILS+jSjU+QmYSjYyK4sLbJpAfZ3R 0RSRdJBQDM/prgV2UPImK/kqDM0yeftGpZqKziV7x7pSB5B7GohL1pRkY1WMRl2meE6l1ZBtUiHz 406b2yu8iclmheZzmuMu21EpR526poMjVLQKtRBW0srZEIBDYTUC8bHakUDmgJVWjRjibqBQ3/No 8vU/mHG2rLVWpRgOUnGBLsiv1JR101Wj6ZuNkmLhEwqnNUQw1OhKDbeimfedOe0wM6gZOtklnCID j5SKIXtidqNWGjQC+faQjo4xA6Kajk2ybMPdj2BCByTaCtLpB3GC7nR7Mj9vu6hw1pK4mAnoKmgA hruwGWOveaJQI0ZQp1+fJx2pvqbpapktLzSuvXvD9wR/bAYUuE2jrbWguWRpaIg92JExLZ+cleV0 Ol0MoMWHYZG0K15a93byCfuJ3O40COLSuS6wAPDuRNu7JXQRMhEKv+pFkGIImy2F/DWwcOJLlsnL FZBzNhW5ppkkLvRWiRfR1AnvatJj6rhv00qwVdisOtOqNyGCvPtXZG/Et3MlsHANoEjlPGYS0hvU 1xVjQzUksbc4tcNsQJJ8+2fDsklSnpOjyGIbtLrN208FrUh6wVUP6StltbRpsRfp2DKIVzY2Mq5y UzEsTam5K1XDaBjuKr2BXS5FHydMRoST1x57T8RJzWzcGyZIZH+zaRlFf61KN3c9tWuKqbqrtwwN ukdYvY83rfYxB68H8MBaOsjYgzXU4uv9LmRavaaUNlrNAADB52yCooHemF44iwhgpOnOtAL/GkVv iCFCfJtj4xfb7GnUynhLnkYQTO/7GKWWAc1ba9V1+mRCeEVh01LWaqpNzrepCCF45PT4g4yn0wFA TbrRDtloPHRzN+/eSBL0EycMTaU8XnSXc475mAGd9pBbOgzd5dzp8QlpmAygjQp5jTctjUBKcKrY lPZB/oAqdAPbzgQpbzDLzRo+8krhiGvoXkoCJaWcPC7jZrcuFzvFhelM58jQP2X6YpH3CUNAorJf LMDZToP2oYrO/YE9vLGhqRl7YgXtmxEmImvnLNVM8yfiYVxpnwpi650kI/v2Kx9Hvl80m7g1ZFNV N0Jk8ggbJnuVGUaz5VtBET6lWsMMUp4MrYVsxGDA2ou9zKBDw1RqjS0YnO2+m5aKHqy2GI1NPxu6 heJgOhvJ7aQKmB1hBUuncCTAwb5DjwD9umqVRE4wQ296DQZgs4VobM2UkdriV0iP7gANB7IgRJ8C EEr0ISrkwCB8sqtIaeyRv4L4mIxDnOogtvQ2qLbGlnEuDBU8HzW38XDarJglRXd5CZwLcwKYTpYs 976ACAjtm+6pGO1Sww5hgDGb7D17t0ODVehEA48KgkQhG2FjKmXd13kyDpJAKFCZEKseMr475ZA5 Au0xDEkheqDsJrZRhD1QUWMvA8hTUQxE6U5gGarKZx0KZHZ/yEx5p2qux8GD0vRk+ENaIdvzJ0MS f0DEXpbJ7+qVZfpGC2JAA9aFZ7X5du/5Bg+M0jAZZcPGTQKGgTUSDinCHmFcacFQ65ALvft4Mp19 KXXVm0YMUuvHh3mYfxTU1S07rXAmVCWr3qSdHxuZtuF4eCPa3Z4yBmJQQhriYkwiBDhM746DbHh4 BC0/QlmoTAuv0WXN8HuiWTmbTrHe7VvrKjVIhrjKLfqap0JGbWmIpxVoW1WpexulUoGpUzUQKxWA KNNEjWOAnwIWPuMR4e5tyEqjqep+J/A0JzmRFJzxIghxBmyKpjKJhnqNMttLDaPzZnfJ47lC6N8+ kAf1uYmIl0XcRpapjWy/L6Bv2d4BtlE9xzOiw0IE5qZOw/ssyQQ5BUhYNAnBBKw2r45XsHudV5NN cWoeODGhZsDMZ8+kS+Jra3BDxXpk4h+/uEx29zRXV+OzgnD9dtshKg2jrsA4OTo66s0A9hTkqqhN Th5AFtIXdiFIlLQZ6RZ/lPvZBjeee86ESdZY91q5uQsnBfKjoj1Mo3239wZ5O6EeLd+O6bpyFnJi qLSOWjNsBKM4dL+WqiPLGSmfkQpk59btrz1RuBONI9pwFyZkqQm4DRGV3F1dn61Jdtfzr7LrsuXP 1RG3pw7u/rsQB46b7thxdCHtT64CThhKyouEqtnTy4CZL+JEzoT8/AR0kbHXgkiu/nHCvSsQqUdb 3JQXm3iBEYQ4gmgg6BzJ3iegM0K/Vn66IO+AO7fatjZw3OJctsLUds/esZ3MsBREOemZiOmePRR4 +LrZ8oVJYSr0dWVvDwBbzDYdsiO13O4JYGn6J3QtnXau6ABw7ylUcKfV2VIUVGpaRsY9pQrJ5c5U L8o0IXVx0WQ71rHsWnRoqwRryYlsxE5CgGc8GeOq1du1r4JcJSizJz67ihb0ph7cEvL274znbw7t fe2qqpdcGxI2XsVSa7WoVTKx01C3ND04KeMT18g9Im+SJ/tYEUsPtpHkcW3DDJxE4uMhF0POhTeT ww1ZkEXfxGTETgXCp6LgLr+UaqpiqIbRdpuB7Ee3w6Gb0ZFjh0tqp2MwSu8cF7XoeBwm+jT5NnpI okyFvmpvnjPxYTLOMoXXub0pPwjVtZ+NMJ1s1Nm7p25NaElgge+5DEqTvmc3vj+GEV1DHqt2sldE ENv70L1x0Qzem2Ffj4jYxnAPWeHbXr4htwT3dXzNz7OVNznRfiuPNLzwgCNqwKN5RnxwETEtoYzF ByJBO22TU6E7wvQPOwr8sxpSjjlbC/yOE0/EqKNmf85JrBW/6uRN3+2+8bQ7fPcXnzhNZx9+6kxC 0Pefdq3bPnwGSvB351+D8jvoGj4K1ZkX9ubbULv2OPlEVEqI47DvM4lxSz/TxGvYW8X0a03esHS+ 3WTPS9yfcHq/v7Lzs3uQ7z/tswzyPafQ7/8WxsenCt7v/8LtB99/ei+OR2fm7jlw4IBd7orFY1j6 vccTvQW4/skkrS/EpFgyNhQ7EvskXLEM52OAA+fzcI9nN5wJOONwvoUnwPD8ENx/iMEOsJMcAMNz EQjxRPrYAIUvQWHptxO9eCag4iCcSQbvgsuXAf5lgOH5LSjjmWQy8OwF/N4LiV48JShLAoy8xVkr 05c2R83GaI7WDzDdTiycYr6gZzezKSncJzx+5DZ1Bfj4OjgfAX8OwvVG5ovV3wG74Hoo9uFYGq6/ DvB/YfCPwvnEExx+Q6wo8EI7YqB/CfWejLFsHqPZPEaetZMXs/CdsZgsIya+y21YMuZcqFmvN3RW I8dOzM3efUzOjWaJ5viPts8Bch1gMgc07XqE38vKS6B7spva0A0Gn4RrDxDM4RWcc+rS97bf6L2i AOpTV56D3yt/BdCXXtyZ+Cxg7Nx6HH6Rz86tSFnF29de3YHjVuRQRdhrL0Nx/M0vXfqP7f/84dLq cvUk+KO6Ck763H3VLri/8o+A8NZTT4GslaUryOL0hRcN8Ozl7cNQuPi81bXz8uUH333pRYID+jx2 x/0ot5V++n6ImcsDF1+xPnLpR9vPJ/4Iyzuv2NWt1/+uG1EPvPTipR9R2qenoQw8f/HZGGU+sP3G wSpWXnnukf/78fY3B2w5N12e7312vVKp/Pi1f3rn0rdeePuT6b95Flsy/fKlmXcvz/T+xuGLyOTZ JVb39uX5txnBC+/EGcUlALy1/UZip9Vb/UMwd2cCnX3lH366swPCCODd6l86gK8LgLerrzqArwqA t6rSRRvwKAW89CK1ENxMbEt/Eyw7c+BKdoeBn6I+Xn56CKi23955Dq/Wwe3XE+DfOFS03rr/NOGy sszb4b8OYctfBAmkBQK6hH3ESbwF9Rp6pAKmXKlYn2s2FTW8t/mOZRvqtvTu2ZHAqsBinOe7g3Bi +EJHip1kfXsIchPmkz+HK+aWVbgii9UYzRnY/35B8NNR4NnF6jHIwcuxj8B5HPjifQGuNzI45hhU ANqgcRjqoTkbqMcP4dr7ONVtNwd2T/GKB+Zefv848PxNzvfEsWO3S0OQRtNSfjQHk+lsLntbNi8N LcNq8qRiSXOYeaXp0SzCR6bSP/cksUwMM+x3ruMjC8bIjSxmMHaeZ+MHP24m+KMHOf7cdqL3nwX4 LQRufpTD5SdorJ15nMYQPz4V42MWyv5rOD1jiMMMhc3cEIs9CY3Me2Xsu1AgIwse376OM0uQ8RCV xhMj76sgfbAPOkPXUQzNroU4ThG65rHUBZYl5uBmBc5uvDkQSw6A4omeHuhnsUR3bwsqn+mBmvhM /AJA4vesMMLer8HNFqjRm/hY/HdBUuLmr1FQfBl6VeLjFDERS34HOhGwygLOr4GatySG4+8gxi8z VvFLwCWRYfjxLuQ18gAp9cZ/ChSJUQo7GH8NVRmjpYH4p5FLFvl2DR6OL6D94xR2U/xG5JmbIrCb 499AWJ5iwoRKRhE9fYmuL+EUJ3E0/lvI6fYW02cefJYolgl2byy1CnYfuC6BuF0XkDJxLP5nqNbd 3BddL0P1TYmV+NPovAVu1++j4Yvcrs+i7kuMa/x7qN/nuF19yG6Zyh+IdX2fSHkgbkHDJb5ge/w+ wFqDKilRjp9HCpVr/DTaV1lhPvsJkq9TSQfjS8ikSksD8Q+jTlqZ+QzTWeIM99lPUMMNWro51vVw FzauFb8TRRm2UVgyeeN2fQOKhxMX4jWkPc/1qaE/f5Xr8wmEPcpt/VcsPcb0iXV9G/klnqR8L3Jb D/4PFrsXrp/GCeoclq6/FZzbPf+/GOnJeRKliT6wBk8SvPFY8hmM4WTXBFT1di/G3wTc7lmu+TsY 5Qsoj2j+ACAdTH4ifhR0Td6MJUQahnZJfnwgzmL3JLqyu+tJKA8kBynup54UcY9Q3N5Y8v4elHrD K+jhnk/3PwrFWP8zIO5A/58CXVf/vVAT738Co6s/jVr3pwGa7H8IoD3957B/9v8t4PTFbvg+YTLd /2/dSK70YgfvvR2MfhUAh3vujg8CoGf9v7upJv1Yqn4sSSPtTVC6RxtJUu//AIh7zkyxaHgASxv5 JPX+QB1jGx10CO8OHQc+hxD10N/j3Xe7+d2/48/rmMmuS5iA2YuYT4Eu0z13xj+D0o07k1SXbiyZ M0wXTI49LR4Jf4HSt5aSVJd7wfqes7Q0EP8BYj50KUkj8x0Q0vPwHyRpZK4i5iNfT9Le/AJyeYzy lOKDaO0FWrol/segU8/jtDQUvwNL27SUiX8eS0/S0v+zdy0wdhbXef77WN979+F9+LfXv42zNmti h92797m7Ni/v2muzxmBqG2JeXvZx/YC1d9n1GgOJagIFQiNBKBQUQYhKaEpKSBpQCGpSUQqpIH0Q qiqVEI1aHpEqqBJBRGmUpvOdM/PP/P/9r702Ia0iruV758ycmTNzZubMOf/+c06O+XIH86Ukh7VV 9juFwb4syXQu2BD/FdDvelOx+O/QobsZSsSfB3SvHtYP0L0H9AJ/ENP5oBZSe9G9Lz+thoUls+Bh XjLt8fsBPcKT0SG78Pey9dZX5FfdE1jIqfoE+lOfeJO+X6FvCLH6BJZCM+abJ89MGX29qb8k5vvy pw1rwSEsmbOyDt9YYZknHBJt6yjnAvndit1UT/uq+fN11WsjYkW0EAq+ZMVLZZ3mhwMVZe5dMqPt L6gPKudRogg+pN6TyXux9hc8Fl8IZn2d5bSI3wLoz1EDLKf5evw9XtXyQJIbBVO2CFtfxNZIsKuu FH8AO6rwfbUWUaeuuDXJdRq2EFK5kZB6gNT4L7J1WQ171cWxkHpxh0yrU9C9HRPVAca7r0NurJxC 4fPo3wJ3JXJWAd19mib0Cyis55rXoNerv4ycOuyXBe4vgH7Gt5DzCskn94hMx/LPIedbJLjch7HR C0TvmBTbseJPUPgsWk+6XWiyhB64azDkMljsjqGwl3qxCO31g4K7B8TWgbxbAC/OWpMitiPjJdQ4 54+QPA1Nnot+uBmQPo+SX0PlDTcjmUblAcp9BK0PUhJSMbYRx73roZubqN1XUW2IOnUxEEhVcHvA /C3U2B70+nwifAS4w9RYI7pz0WrgrgACHYpuAu3ugGxwoZPHdhI1PG6I7aLBTqDdSyj3G+jZpZT8 Lvq7m5IrMKArqLELQWIPJX8fyQol5zD4/cTPy9HfSar2CJLXUfIdkJihsd0JEnM0iv9G7hEeBXBv oNw/RPJGyp0BwmcpiSMhduwm2RP3AEZ8C7VbQM9uxWpxLwPu7dSdFHDvpLH9BMfy6a+mMWVQO9xf QFsoPQq0VhyMZ69DbhmH08ZrkHwOB+5mqgyn8omdUFTcVuReDuXEvQfLklkwDoVgEjqGeybO4sPQ K9yXcCzdsF0aQosJ6yBOoJuhA7h9qHsbTnr3XeR+AV1f8hnIyzMcjGgJjuPUgEP0fy6/ktuxtd0x rN4VOI3dH+NB0umjSD6GjXz+MxktL9wCJP8FL2W0qHAHIUG3vZrRksL9J1S55O2MFn3uBmRc/quM lnDuv6PKnqZ6ZCyS383Zei2EcBS1ANQHWImwkO2+Djk+OkQZF6Da1X41pKiuLILkdJ8A7th19VqG uq9DPn3jc5QBYeJuhGpShihy2zHePmxfMiXr+ompTZL1detoyd0P3qwHx9qvgmRc+iNQTsbxBKqV pCmdIKIek+wU5Tf93Wp2ZrwHt5knevKl/t5CrhvXoXsGLxnetqlnHx47dReyhey6Ys/47ByeqHUM 7OwoZPPF7LpcNpctCOfYQBOaXUrNflV+r5QEYcZkJH3YwR9bC78T1kJDXUCDrjMadKOtQZ8mAfwP adDDsdoa9E8dpUEfitka9KGYrUF3xoIa9Jditgb9JRt3FeMaDfqt2G9Ag/5lLEKDvige1qCTAQ26 J2lr0APJ2hr0lqTSoG+Oa4GBVMvuhFbHXkXqnYROvYuvX7P2A7UiBcygBr0zaWvQlyVra9B0+Pka NENag34oaWvQTyZtDfqF5EepQe/BKYDBBjXoDxK2Bv1B4tQ06B8mbQ2al4zWoHkyoEH/m2y19a2E pUGjP/WJD+j7rYTRoLEUmjHflgb9qj9bH+gviVkPDRprwdegy6SJY4VpDfpCyhmB/o7dVE/7qvmh ZPXaiFgRAQ36Glmn+clARZn7CPrwAvVB5TxDFMGHVOoEGvTNcVuDTmkNeolMYMqUBo2daTToHyVt DXpPQmnQV9TZGjSQlAaNxkTqHvn9thRDDalvx6+AtH/yHqWJ3ylzU0+dmeKenCNzU99Vky+HgWZT KHxCot2bzrovYCmlHCV43K/JcynV6PBCT7jfxFHVpMCUexXAhQpscF8DqWYFNru3om6LAhe5GwG2 KrDdbUbdNgUud3+K0kUK7HC/B3CxAjvdwwCXKHCNex8ItSuwy/0PNOU5POKc+3tAXu7wkEvufShd oUbU7z6F0lUKPNv9EzTV6bAM3eB+EqVrnEup7ib3e6i71rmKwM3uuyj9lDNB4BZ3GlIz6xwm8Hz3 b4Dc57CI3ebuBvI5Du/SXe4IwHMVuNuF0pXaoLpxpfuvAAedI9TU1XJiHpCDWYxuvI/DJfW3C0+D Nr7wIegqC+/PQCZ/qp4ODjaKlCGTQGf8Y0XK40TiNjunKJbgCabzInSNJaAODQR/YHIuaX8djZMS Gvtiamm/JOK0M/SZpT9E2VKGji69FpDH0GGxZAVauwf4fZQnm1vJTbYhs6SabC8CKgM79sWG9rtR q5ehZjlkTKeHMz/zYk/aNwU9NgUhQTw2BcEVj21A4HlsA+L5nLIBPbYBcSwrG9BjG/C2tG8DemwD YmY9Nv6IAht/2AzK+PPY+COaxvjz2Pgj8mz8oWmPjT/Q9dj4e58siZuQwcbfASTZ+NuGJBt/lGTj 79NIsvFHuWz8UdIYfx4bf9SuMf48Y/x5bPxRY2z8EWE2/qgxY/x5xvjz2PijiTDGn8fGHw3WGH+e Mf48Y/x5xvjzjPHnGePPY+OP+GmMP88Yfx4bfzQ2Nv5oFGz88SjI+KNcNv4ol40/SrLxt1UuNs8Y fx4bf1gmnjH+PDb+aGxs/H29Xht/njH+PGP8ecb489j4o8rG+POM8ecZ489jA47If1t+pbPY4d5z SJ6L5DKYdRk265ZBR8wMONQym3U4bzw266AiemzWzSHJZt1Ygz7EPDbrZhv0+eWxWXdrgz6+PDbr 7mvQ57HHZt2fNuhj12Oz7mnK+L78bv5xgz4Zwb0WgFqreo2wkO2xWfeflPEeqqUbdTWkqK4y6zw2 67xGfbB7bNadSRk44Tw263A+emzWYWN6xqzz2KyjxcRmHXGsHdbpmbONWh3IPA1Js/wViPrHl6GN 1BYHPM+8DIG0DNZsao/zVVmh+a/Q36szWjHBem/pTGNO9gJrn/MSsN4IYl1msC7GITDl/AxYmaaA kgNQKxv7Jdqys4A74yyX+c1dAVzhVaBM7x6QLDxtWKKl78Zx5jjKNsXTgYSzPv4bs02dFqe5rlV+ x5uWNa1uasMfttocp62+fn09uhlvFPEmJIfbcC4kHFk23CYX5kox3NYjEeo6JUJ9/bkyuUAmU5xM oQ3kcyvphaJe/mTaJO7ZWCOA0UzDEotWo6ElRFPCKlm4RpYsx9MCV+Z+sgEILUmBn9Yz6KeNC6Ru tZJgd7HV1uIy5S1ReUkA7SUf4byGGP4a7bRIe2lZanWqLUnQ7yhjGn0moN+LE4H+LMlK8LwGTa3F aXU2SKz2pN8BsGppKQB6Nq+X2Uxerkvkarb5jaGG+N0DiS7WQrl3ftmUkd8Ov1IA75gctzmbxcvl E5Xp2Z65QweOAjjSww7p7AAK80FV0VgUKhVwhIZZv54K2RAV60FVu3589uCY74Y+RBaB8iz/i6qU /B1qr97IO0WH4aTjHSSRgD+Wh1jWc/jgdM/4+KH9m8cPTGZnCVkkY/hTe/x54azoWrHi0ytiCyBW kjH84T1elJnrY3Wcg79kx5cptImJrq7u9StiMVl2D83Rgeo58kNr14xqEV1oTcOJ4mtU4Vhsr+X0 sqoszPiQ952qfPWu+oecqFN0qKinDYp6fLGzP/VMan3qZvXvc/HGM3/2g1hczsHWEyyD6/ZuvejS a80ywBsS8ZWOnFOH5xuvSsTbHYbxTg3efZHpz6QaEok7HH7PJpzXLvjdHPTuO/J3oCn1B7HBxmRs T7ZZl8Ee+IRVtiPbLIx/TqGjisnEzPUUAkb40cnEiIUW9JgrjN9QEQrXI0wMNRGKEiNqe6EXtktT 7gxqVmZmRcBbraaGu2DCjnkmfAfBIhjsRoxwhxEHQqhoEMKOWCS0h1hhfJ6KKje+ojpyj1DuAYXv DElYEcmE9nerpacdCUwop7MiGP1L6FBQwgQuE5EulAX7HbR9nQorVIRfiWbYdvbMvKWLemANR/QR wVhGQoW8q5oviieANz1lHbVWlLNlMWIR0KEJhR16THD8PKZPRMOhqDCFaHJ6Vk40vVFKkQWFCp8k grEVRJQ7YqHCAQo/QKZeF0KHfRPByFRCB+mzGKOjPImIEAwi5LBZ+IHu9ITvnZsUJhykz9qx0ZmZ AwqPQjoJHeVT2A57hR+3SYQ8RgsdU074IfKECuQoAsEhRbXzZL8XtGjJ27NVJ7iKOASk4DgqwsTF DI9EbQL2ZiciQ5IJE8JOWNH89Pbzg6uJYMAnYcezEpE+zIVyTy0s59XCuDYOVTJiy04qF+Miwne6 sByvCx0xklkigr7LhRUVTJgoeSIQcFH48fuEikokIoJ+nII9ofmmA8bZMpajdAg7yqEIBiwUOkSn iAjKJazIbMKPJyrobqgIuUgXJmRd9WvhY6NyLq+bO8BbOjpGidBh10TQi7iwo6cIPw6lCMRGE1UO r0PT70cSEIEgd8KKWCj8QKzc42ksv0OG0Mz1oOxzRoVPE4FgLsJ3Mid8H2/cmhlZvzVD2y+w5oMr zZkDV4VIFX5kTrNr1KkVFbOF6Zn1SOH2hOVuncWcEbH79IbUZ7jmssknTlmxIUPcDW4buGIWkdFg RFVEOf8YpvCCes8JP6ivT0hteO3sX1R53w91Se1vo89YEtCfw3G9oo2jcaFDapKhvnG+b9T66oph fHDd8JrRUfDEiFEz4J9a4EKZsF0bC8vhsNAe9oTxtC04MJx5M9a4DhZBJ87CeEYWYW/WUt7gQhZU YoELcCLoykZYTo1RfkSYF+EtKtRdcqos2Nkw/xREwJetCLl0thqQ8lKo+yIBn9nC9mgtlFtmwyZu BfLL5xD59hXaibGwXE4L392ysB33KqPJ9lht9WLqWgtgn90i4OPWvwljOdA1vabW5v1Gv1CeqC2S yp24aZEGEnAnfYL2hfaFLQ3f2RsOypry9/AM/+7XKRK40yJ7aOpwJTswONx9eHSfyO4fnd0vshM3 HJIV+VfOQlYukOwR2aDUuQLAiCybqUwCjxPTcpFkcdiKLKSDyO6VgCyaos2Y5e/Kfrl7saFRb/Tg gXGRHT88JbubneCfa8ZBc0pWH5uVIO53QypnJypYi1IOHtpXmdXg9NwYpIMPkymhUcfGZipHNAQH azqtO0AAxjj/zzLB9y3wagHdPxN8F0J/HPULu3CBwqN7Yo66W6U++n5XXvCdL+DhvsYah9/VT1h4 +N8n+M4G8HCPY5fEu1rVdYS5X3ae4LscwMO9j6ccvu8R7t8Wti2nqH/SEMVL+w0WXX03DXX/R+Hh nseiGI/DposPHkOkVR3cEynFuD/2OHB5Y9LCw72STRZevYU3p9qneysSD3/Wb4/g37SFNynxJiVe LoSH/zdZeLh7+KDEe9ypbu9mCw8Pbs5P8F2IMN7twqyDYxLvmCz4RwuvQ/3epfAwJ3TfMMl8Drd3 n4V3pcS7MikCdwB1+mHVN+DR/cQk301MWnjg359Z7eFG1Zo6zg+3900LLyfxcjXwvmPh4V5af110 //7SwsN9IvwxITxv+P+s6ifwcF9sVw26LwjrPidwJV7BytDJfwjh3SE331EL1m2/FsJDwYUWqMve CeFdKPFe8qrxPgjhLZEb//OxajzcX7TxvrJa9jFejdcWwluzlve5/mi+dCg8vdbvkHjv1gfbw3/c 27LIiJvKQpwZwT+9lvXnv86SfUzw/Z0+YeRLOtTeAxuEeCOivagP5KWg+owFucgwU17jw0xhlw/z qJ/yYV7t+p5ZnG/uknxieAHBJR/m2d/kw2lu34f5Yt2kDzMjH/Rh3rGQBww3EnzMh5sIvvg+DS8k +Eof5puuV/twC4/3jzXcSnDOh/lE6ffhRQSf7cN8a2+XDy8O8DlOt/ZsuD0ELw3BXgheFoKXh+DT QvCKEPyJENwRglcG1klC/PzXqRAMDjyr+B+T/D89VJ4Vhn+O5B9e3Mz5cBvdJdb8dyT/rxKGn47k J27j7/bLFwpcMKNLuQQvFjfK3zcs+nfL345bavfnQfnbZfXnMWHf0Wwj+Wn35/lQf16Wv523mvbD /HgrBL8tf3fp9mILSQ7p9dUi/+F10WPWHe+0E7wjvtwx679Vrv9VTvDOeMkxz5hbZX/Occx+ALzJ MeuvWfaH3oVQz51RfokTvHM+45j90SH5/VnH7KdWuZ9uCbV3p2PWe4tc71+R8JVW+aNO8A77U1b7 zbL9v7YWWIf8/88hWD+hxQ/UVJmUpu6kdX1djM9IU2Fu7156jrtx1/YdI9uGd+4aGZHQpgA0dP7I 5h0DFw6NDA5tGb6IsrZu9MunszkhldjpycrhykQWptLE1Mi+yamx0ckRUnlHRueOClJJ/YeeRG3o ok2GmAaYkIZARqdNq+N+q8rWGZmYnfKfXW267KKBC4c3SuNjemT/9fqG/4YN5q4+PTBTho6db0xP ZtDIiNTQVVpZcyF/AHZtqP+6IhkGIxV+brNl2/bBgW0j2zdv3jm0a2TXwKC06gQbPuHnSnYbW4+M 7Kjsk0ZrZWbj5OjsbIUeUdneBz7+/N9/yP9Ldmruo/QBA/8vvaVSDf8vuVy+t2D8v5R7gV8qlT/2 //Lb+FT5V8ivzdjeFUqZE3lQ6Os9EYrtJKH4sS+m/1cf3v8f7do+7v7P50vlXDHo/wn+ono/3v+/ jU86i2ecaeVsMMMgnF36GbOVcfw5Nx14ate1alXXhumZqX14JSWT3WaX5dZX18Jzv+g6KImqgeeB 0TVQQjXwEFPm4odg6nrYI6b9to0/vnDUDPutGx8pHIgz4u0bHzfscFK9heOXhz3M2iFoNU7Ybah6 K8cvD8dm0bGxdHktj5I2b/lZr2TaRub5Yalc7kvX9GwIxHwAscqPoSwcnTyw71BHsQDsQhB7Ps4L Qy0UT6aFKu+EelnoNmWT0LonfY+AQJCTl9Zw14a9c4eIO/5RuF52Y/MgjXtyalxuhkKxIyfzBgcx uum52f2T6dWVsWn0dvMwGHlw6giyZqe7OkwBGpidG5tMdxZKyJ9V+QWr4X7ZMNfuX4Oaa4E4flTl deb78n3r+nvX5dchf1TmHzg4NwlSwJkdnQEOiiaO+p0YP6pxubyY92F0BslAjc5SqHzCb0C1iArd Je6f3/ViLqrrqDVZGZ1M59Z0UcXS2iCx/ty8qPWHqeV9at2nzKnih+RUrc7mC+HeYr2ouddTr9aN PzAGO7ETNcAWHS8S7AIYvGll/2XSoxMTGGevbk/TKtekZebMEMuHiM2TSF9tIhEjKpwakXW1iRgW GyrFk6Iit++QtfNKBRCTS/VIJZOeqeAc2TyUx87fW2GJd+BGS0hQdrclQ0LSBca0lixIW1IFIEsU i3yZZi0sSkq1REnZFyX9tiTpldl4apDu7Dbc5P0Q3ma8lC1ul3sNt/OFILs789x+n16EZuA15q7c F8HOArOz4LOTOENZ3YphrG3oKK8n/x6p0Vg+RJDvauWDnvaEtQ/KzPEcyrMpu21o4/BQrju7bSd+ M+rXL88d3as+MgdRZmVO3jraQHZusjKWxyHAJQrqLpka/SY5HqhQqoJ0jf6qhnmxljKqy5iWnZs3 DQXGAliOZYAKMjphYfDwDSxPSAsYynfrLNWPkinFKRkurgR6aQ2zvxwoKdRqEQTRsCmfCFQs16pY 5IpWXwrBzuRzQZ4xI5hnhRDPCppnBc2zwnF5VrB5VujWWZEdLYWLPzTPyjz00knzrI8rlk+GZwVL R6/4SnqEYWB2TKWEWaH3gdM8DNWFgH0R7GRwqQfwyVIwmdwJA4fAjYViEMoHIIup+Spuq/4XxyN3 rj0fQbYVLRLl6AoT0c1bKIVioE2LP7kqIaFaKo2bdDlYvRzCssYc2WqvNYRScGpUsi+A32fJQHlS r4qsElzP/aZLfWWLXF9k3aKVW67J7d7oCr0hvpw6t61Or6tYhO1tG9n//FjNTq+LrjAeIjWvTkdT yOeiSUycLF9Ktfhir5d8PpJazdnPB3Zo3qYevfQKo7VHWoyuMXYqK6AGiRqdCm++eTGzBolyNAl7 vkbnQ6K/NoneaBKVkx3FeG0S0Tu5sPdkSeSPMxnRu82sKL28TkzkONMRvUPNUTLvgdSej0L0Fi0W 7IH0zYtI7RkpRO/MYvGkuVWoKSFtSVAoRNILHh0h5kYewfmyJQHHowdxnGFHC4XiqCHQF31Oz1so 1JBURUvu5HtL86HRX4uxoxa5fmtEQb1lLNiPAP+iWdsfvSjsZLH2uKMlVcki8CFPXLurExZWjZ1f Pk5fo0Ve6aRF3nGWQbTIK520yKstjAo1xm1LvPmvtBo0ogVe+aQFXu09WYyWd2Vruue3J/PzWjmV /2XvWn7kOM777M7scrWkZEqUZSWS4hGlJGKi2e33gxZtU8sltchyl+JDsHXIoKe7Z3fEeWkefATI U0gAQfEpQBDkYPieYy46xrEPyc1BkP8ggRNAhxwMRDCUMFXd1T1ffV1V270k9QC8ADnTXVXfV/U9 fvV9VdXTEsUAzvKgwpQENP4jM3IQOxia2Eyho/HOHMGuGuIWBQaS5qa4eQSbR2Wg3yyTNQCEMmAw ml4cmb2YpToCxgH0yMsAmIphAeP3xOLoyk3FEbc4lqlIWLhiFgDGOHM/RjQPxeGIZ14wTl2e/Zqe uEUoYXAsefhiHtCejFKAWCq7sSTAJRWgDyJ1CFaOtB8lJGjoEg6PUIKGUVmC0uCFkyBwQ08mQWDN RixGRGjjvDt3ITdD1ieuljSg4mohIUhqAa805bXQoCS1XJmAuFrISCS1fF524lo2MFFPXgvo0JcJ GOqwiwLTog5NBTfpMh1XSwys0gUc04IrODZcGBH30OJ1zi3z2cIWjgtwX3vIHMN2xDzAkGyjW4aH PLq0XTEPOH9B/z1OdGl7Yh4gHSuZ6srDS9sX84DrQFa5dFoatOkg5DZhFoXDZNBEx03EZZbtSctS 2UjaRR15WRwdr11XPgYL7oPx0hEnoqbHd97DY85XcoHYTbHBmPIwzNGFLVyYlj5sHOYYYh4m5OGX 4SF3R8cU8wABcblhyL3REWOdC5GrXD4p90ZHjI6uV5mHYinQEcOjC2DF9qNSTBQKEeOjC3Gl87Br gY7Y3l24whyWS44VOhEjpAdArZxpGXKVuJqYR+V1BEOuEVfs6l7lFShDrhBX7OqeWZmHXB+u2NW9 yntXpiKCEBuWx23GlJoVTWmuJMZ9yy5uc3NzTy4GCAOSMExhcGKg8cD6m9UthckKHmKc8bXKPBRG LYYZH0j0YXHfFduC71VloTBpMcT4lXfKFKjviSHGh4u6YacUE7k6TMlAgFmVTJAVqO+JgSyAIFMu ZJVvzkicM0aRqAHL+IQSJvIeSssybyvDEgWcklqJHx3dfadELd0sFZ9aghMwouSqXIx/7FhdGY/7 R5RVUL2tIUactaGcRjXGKjxNu0StdMVgUYvb/rJkHZNwtKIytWw+oYBugFekJX1GtTjrgbHn480Q H1+mJy5TDAHieynbcAK5BGFgXUWCVfgHiBj0hxBtJTwqnp0yKGegGBjM044GM2cP9FI8xwc8P24S Egc3Abc2U+qEgGLKFgc3QUciw2OtY0lGHmKplYqghMoEunF0kC3jUFfHJ/SE1ADWONyJQPGeiykf uifeMYAnSeyolHjLJRKQh4nFcHzxQk3ZnaMFws8p0dEC4c4hRbq8uXh3xCzoXzgM6KY+OPu65QMv Eh8w7ciXm33xFkrHxNweQsewPeQBxu0ZpSJrua36pphH5SREakZiME0tSqglz4DpqA8iDe476Aly d3iW1UdYnB2C1rXKI9QUXBwZF3hgsNwCm6Vg48rYxJXZeAo2noxNtzKbUMHGl7DhQo5jrUpyfHRN kzHSqzNSqEfXdBkjozojhYJ0zZAxMqszUqhI10wZI6syI0OpI0vGyKnOSKkjGSDACKIsI6WOZJig V190N5Q6kqGCDmLGkpORqdSRDBfgaZKSM5Kp1JEUGSqfFDRVKtJlwAAPXpTko9KQLsMFA6YX5Y7h WCoN6TJcMOD8CrexFYxUGtJluGD4kFGpzR7LUTGS4YIBjNsrObO6KkYyXIAH8j23HCOl0clwwQQA VPJEkaW0OhkumCAoKbnbYCuNQYYLZlydkVJ0MlywKu+Z2SrJGTJcgKeqPbeUGzkVl4IdH0kAzH+p 52bdNOBZUeQmWVojP2WkG9JFEr5aqZM/uoGkLqsmfqBM8SgTPN+ONgFlLRy+xyBzFK4dpE4tWUCU HHyVKlX6LAVkCLcUy560lUoLxi1e5PNjz4UCl4zgojIMekBeiJ9CFja2+Yx/EdckDMVbE/rRu6k+ fGgbOYMPWcCz/pDF0Zkdx6JlqXh4Yh5HHyfmeSjH4Yt5BBV5wNlfbiO+Hq9LbESsZlNqI2A15fK2 WN9qGzHFDI/eZFXZCM/CErOwJQKR8dANFRPxCXfTqcoEIFe5tXpkunCLBgI3CCZCYLm+wW8pVH3m mOOnm5L5EG7Lo41CREASIYAsPZ0BpQQk68mGfMiIgOLUQEbAMaQy0yVH01VSk53lhAbqWgqW4kVC JUtJhATN1ZNvOuuWONiwVSzFs7jJqTZSERAbF1xTVxuXZOMeLpj7QawYtNi2lIMWWxOEN7U92+J9 HgheeOuNby+2LQ6XlP4Aj31DAvAhfE85ArGpmRCEXAWI6bY44YKPdfpd3tjFWOm7HRUbiX2CTMl3 fBUBiX2CDMjH2RpPQGKf3dIEJL+MAeDXt1WwIDkqa+lle+CIzRUmTUoClqQ9dNFYxV9s7lZpK3DE 5m6V9TdHbO2FX7+QthcbuwWjN6UKHbEZW9BflWbsiM0YPj13hA2IzRg+G2eoMNORwKzitAHfXmzE 8KlWZdSku2IjtMsaoSs2QhsaoRJzXbER2nbZDoiN0HbKthcboe2VbS+2QRv/AIi0vdgEbbz0K20v tkCnrBO7YguED/moZ21XbIIO/jkZWXtPbIGuXra92ALhoxdqGPTEFgifeVDDkCc2QReaoBKGPLEN un7pHkhWjYLSPRBboVs2IJCE9fBwf2AFqg6Izdgri0Oe2Iw9iEMolUEExGbs4dUAWXtfbMYeVIES COERC2gPQAKdgBdhud/eQGwMIRsYpQeqGcsXr8KawN3TvFJKQJxqw7BHx4fyeAKSnwApHebD4wvw iWrYA3wSkicg/nEHGx5aizQVAclvapQFfd8Xtvcg5qqs3YBnBPDREkagsDLPExA/j2uqCHQ4Ami9 ZrEBpZi5IQW41MUR4CJ4lSEYcLsf/9xCFr3h3XWeAOgD/oGCjIClcAYDbs/j5/MzAq7CHbkf74BW CabvEFlCyYOwPBvxEUoLRDmha5Zhg8+78mzEpyjhr4mEnlWGTUcpdfHjFTDmDP0yZ8YLp/c5NnC/ HbIBMBEGZR4lKBya59mIn+OAYBJ2yqwZhB35afIwQrsPEpiCRbb8uYGUnLis8jO+YVTutL3KJOBm Anx+G/Y5jst0pmtJhRhpov0qpRDTJioBVxBU4ekQXgSmWAQgkI70MgEIft4CsRE/ZBeAUDMyyjys g8/QIjZiZIWLiQ4+xcITcMQE4OpEoHR/V0wA79dJ20vOPHNHThSZmQHPD0ACZUNSAx4MgMecAOpH pVAf7/ryXORP/YRcPfHSf4CUKDtNy59sAFrEcQrfOVPaOS6cMWScIAxHgQIbOqJ9StIbBwWSJZ/2 Kiz7cFGR9GlaNCrZKSH4OyNRKH+EJoqtRzsqxZxSflSyI0kOCPyirvzHN2ItEI7qmA/mpeQkA674 PFPHUQXd8AgBN3K4WhLjI7Jw5PBpiCojF6uFdzXg1AC54EpcaCEfjDgCvpAAfFCaO64p3v+ntYVv K+I5F8crRoniWR9QaBxFU1bIi1uQJckK0Wo0ainFcuVvHiICYjkcxUh2ZRYjDlAojROkHeY5S39a UCXgql1aXOFcUHl4NygxGqsg5OrSF3XqKL7o1+ekZ+vUA0bBRxn1oZ9RlCK+Sn9Kc5PG+NIuucfq UvGh9UfYJa8o9ep2cWwRPmKP5U1ImRtWIxxIpVQBC/i5ssyZyc5xx/NwLosmdZTOfwmROipcfcFI fVSHed7Snwz40giYR18YfpWXMIoVy7AVPbxWXVAGD7votUbH0B6Kt2xZvWPR5sMkmIA8AuLmY5Ln kYz56KNaFHAk8eLz1Y/V/e0jewyaVg/U9OJ5/K/ujKyjkCc+3mh4/Cn+rNPng+pSBEBXqlwNPaVW yiB4G5LCzRchCKP6aNAvfBwrLv8SDQeFhlK8/vIEHyjrf/xdPhowj+xy+AVI+chO8WHnl8uS1ZBZ NhWRL3SN551hMIin/EsrwV72uuK9esk7uBeVY3iONH0GLHthW/Yi0LOgQvIoV1aBvtcTFIqW5CbB 8EDa0cSyjuwoWD0FIsma4e+MBHrdX/o2wBa6D1oIe0/G+frZqzdA319PXpZq6C58b3X7Cn1BtWm0 Z8k7tH3utdjtaWfeTd+t7XKv4W4n77ZmbSyfL7qytb/3Tntnb2v/6rXd7Zvb5Ou1WzdTMo7H142C KJowOrqNeMCOGRrf7Xby0nFSpTdrd0NGwLRhnXh4Z5ze1xyu7c5+exrcidvxMEpp6zYWSUKcUUXD m86C8HbS7WnMajh8+/ak3xs4Vt6e487ey94ezIk6WRU8cCbB3d3tKxd325e2b2xd37l2c/96Utmz xYLojthgTFH5jBjzlI54IS2DI0QcZjJrzofT3sEwjprJCw8pN84g8mL61njGTiAd+g7dlIfOF4/6 UXvU7WaC8y2sl8s7u9vM4BDhObHv0TCaMpE5aJThaD6cxRMmcb5tJvIonoZpDYc3iFwmSLTEN5Pb plu4P2cDRC2m4WEcjQlyDFLpIPGQEb43H4zZGDzUi+F0Fo+nTKxO0Ut1J3MGTilU2qwAe+kguNce xnEUE7VPRqxPGpLsQuYmRzd9cT2TqCWyYaqQYDbLHNhC3ImmMx8wNWRrDJzTM/5IhmBAnlYwLyKj tJ1nISVOu71+OJzlQjKw7Puj8HZG2MWEM9Hr2MEyurlH+z4mfHfSm8XtTjBNraKIGLN5RhwNqNO/ veiyr2HCg2ByO7Nq1y80BZLSsZHO24lLM51zlHONGxpGvu54NM0HauhIxAcAF23Er4gwJrbGRAHM oEyZQeXj8fB4MkwyzILzR3F4Z9aexNN5P6vDWfnmfHM2ndH3bTM1mFjHqSLyoVuIOw/JixnN0A2h iBJhcLMTNte0Yn8UUO8cdd6LWT08mcxGbRowMZvmukWVleEh6i+H9DYa7bwHRqrz0gwmB5mMsIIJ ugX9YJL7F1LvwXAeEmhs93tTRhnJJpxPiKr688GQOT7Cv16ueyTTzDwSrGGOZFqo13dSKSM5hBGj yA2GBkjAWHQbteoNR9kokTai+WBwP7UQU2Qhe/v0IwXjAtE7ozCgMRo/Wzl4tAs5aIXpI0WaLHLR ecil0WBxCjcd7C1zVqLjMbw/D3LeWDnDw5jwTiY4VsHFPpR33HJFsrl8a3e3vX/rZuY7Lho4mK1m I4Z5qBc07MwM0MXzBp0buvM+UymOH2A0qbuog7fj+7k7IJbzdh7s6BqvUlLQY7aMour2OIh0VuIV SozUZbH/JIAwzeY3A1EcAMXh4GjQG2LJmT4eBrUO5rnIqHsjZlddNhoe/dLQMDMn3cYuEeehsmUV zDH5L2tri+eTBCxJJBEwKdvY6jskqJyPFxOsi7owms/yTEUrTKLp2MYzpkR+ZhjkKrQMcecLDqXb 2ERyw8cz093wsMOoY33AgI4Hs7u9PCLgM5qFIRqSGTCeTEZpFTTDcTEwTQ7n2eRgYUfhUKAAYuMQ ABSSQwIO7fGkNyISv88meo5A1o3RMMwCF7+QnCU1MnUZDnYDAtzx5E6GQjqv7m4/OJim/oV9PClK SxyR+WSg6vlYtoNOb5jx0wo5S5JL5qaJUZGLATDUD0ZRPrdjo0q9gjgITftzCobmy10on/BRzkrY MB44tuCaGciqWD7WHvez6NVB/ksT3cxSjYLlp0PGCeJhv9dpHwbDqM9iGkQzbN8NerMewyodRRnz IUkEGYDqWqG/RI355OjbRctgkY2PdTQb51mMjxxnxBrh2WqKMlIdp3MkiFhE0hrX+i715KwdCrIT tM3QzMDSIVCduAdDagvxTCfa7avXbn4fBql8JE4i4Y00xrMNUfOdG+3dizfYio1WyKKojHNz1z2k XxRH67z/4uUDHa8fZEA2YnmC7Rc8Js94fM7VuIUVkJXi+fdgHkyixQoFnpLeBytSOAXJbMHQMM3E CWHMzVEtziA4rR33hnluVMB2kDYVnIWJaziiPUjBrWjc8WQY9OkKSto1S6T0vf1LbzJDxzxA2mzg qITYIymfLkIH3usypSziK0x9EfUsIgDD4MYwnUVkXmPpli5qnuLY+/N4ch+sBuIwZRaEh0mQyHqK lUCG2Y+HGQzwjIYEhJnBGAX5grU+XzR6JjtkNIP26O6QJQEGnuaIXKdxfDv3c1uss6vbV9NyJJZR t7voFFqkWhgamsvS7D+P5XCQOJx5mWz4kWRTdg4KlhBW9n+P+SMqzXLvHDE4Gca9g8PZfRrhzslM NSIpJM0BaG5NV6faUY9o/248ZOGGgWa+KyjuxzH3sN8b3s5jHZxQ3CUdy8xWGOnkC306SpfAIidO RLLl8Zvb1/cu7ra3r19nC7s4hZiGozGbItFE1x50EjvOF87x2ngeoOEcPV+8ZhxtgauD9JMXZrdH 3CNNL3B2AdwKZ+AzAjzcugEGP+jCONzB8J+7IV7SYFK9srd/fTuV6Q1mTcjaMsQkupv12Pou3+PM a7vBdLZAXktgAONRvxemhoenwWQ4rGUhW1h4koG2Jpgw8ngRL3FORoPFapCD58ZFFpiv9vJzZO6q +QICQsk7s6DTj6H5GphJ+3Yvb1xImPIJjgc7tROnCi3sDGXpIL8nxa0FZV6NI3a4q4Q2jtIV1WyV nWd6hc/KdBy79hcr2gYf717Zu9XcapobRtPQNBKja2bztetkwn8rmDV3yajvNb0NjZa33HOpA+EM nkYtC8niBZS8W09s9CKCdoTj1tb55muE77nSbGtf5b+NzUFwO97ojw4eHw9N1zTHsmoa+XMdm/sk fyYRcU1zbcexTNcxdVrf1txaU3t8XVr8zQnGTprN2vS9o+p9Hr353P/CsNm602zRZLs1iwfjabNF 7hwcRJ1mks+sXyeoQLylOR3H4bRJAbC5OZ9ONkm6Sdf9W/SzZ3pOaxJHh8GMXBP/2CS+sZm0WN8a Dbu9gzkpbd7tzQ7PNzc2NsPsXrPVGk/ibu/eBUqTXA1IAtubJFebU5LNxMQ8h+Q+3YdFBfQWKYmH FFpbyb1ocZ3C2fQCibx698jtqDdN7pP5hUzFZDyt1uFoOrtQ6DopoP1sTe+T4HnQ+gMyvgVVgoH3 AoKR8b3ebP1mwqJJU6f++WbCaJ1IpHmH4GBvNCyJH+tlxRmOx1qz1Q+GB61UZ5fI9Lx3a6vdvmAu Lq7ukKma3DIWt65dvLn11u72O9u75L6W3v/e99oX39xpv7N9/cbO/t4Fko4m97d3L7fb5Nt8SIV2 Kdl8aCddSG4zAYGKZNolVdlXvnKb+55TZDQupvLN9EMK9vZJ9La7s7fNWty4eWmr/db+jZvb5OKC TpqE43miL/J1QHKO3jBml5fYBwF0+IURms2HcXad2HTyf289mVyuXauor+ZrRBFES+RLwiwp3yTy OLdOktERnVmawxEJqHpkfMNZk1htHM5Gk/vNs4mii8rtDcP+nK4kvcK+Nc9ubGycbU7jYBIeNik+ zabNw3gSn19UeYNU+bawCrOnEQkOM9KlbYyvn11tD6PmqJsxo/tQG+WtNiSa6xInH09GYTydEqkm 0m+23p/34lmzFc0HY5rhMNWk0NPKdNIaJfenj15ZaWhRlVxhkOfWnwhHgzEJ4aNm537zOFSJMAMC u+80W2/fzwYMhx0QqQ0I+kxyusaGbm742oZG6Au61JxPqRW+efmSsEXSI08z1in2J4wYy1Y//GoH M7/6q/y3sZno/rHyUMd/hmMaFo7/yOWv4r/P4++PCRguLS3l10u1em0JlP/om+mnlfz/Wu252pna rQ//44NPnv/o6trHB91u93/+619++eE//fjTb577x48bpM65n324/dlH22s/ePbPaZOPr7F7n350 9VPW4Me/rLMWH5KCX3zwSePBfO2Q1n5g0///87MHDx588NPTScFnh8+JCz49/K644BeHf1Io+Oef JL1e++Df//tjev/cTz/45NR7S4tiOvanl06vPkP+rz/1wlO/+dSZk7Xa8pmlpTMnT54/+S1yUX+y Vn+Kft054xGgbBC5ndk5U6utvFzbObNJKqy+SiqcPPlt8vUE+bqWfl2jNOj9lMoTX6udJB/rZ0jd N07VaifpNSVz6huA15MLXrXaUw1Q8rXXSMmL5Mvpr5O7v32KVnh6pUY/nvmt5ONMWlCrPftycv11 Rmsl7fdzDa4/39ggl985lXF7eumZpe+SWs+v5B1YJpe/ZnGXv/4c6N4Lz+X0a7UXs5Ja7aVFm++c okOtXXyKiDSxpEZiZP+WWd2JWu3vScG/EtJLy2+QO2vLe/VdUmf5Kr1afoW02CVfbpB/K7uJna7+ FWnUOHGC5PC1xsranNx89Qlyp75d/+sVoqzLN1jDtR+SL5+QorXGC/WzhEvjxR+mRfUfURIvpRUb tdUB1erKmkb4vlcn5Bq/U/fWyK3fZaTq/0cZvM7q198l9Rqtd5Ortfr/khaNjbTsVP1tWnMzvTpd P6B8NEp3+ZVn67SrDT0te74+oDUNNyl7sf6AlplpzWZt9S8oixNPNJZ/n3w51Xij/neU0vk5688f rZKrb0VJ7bXaeo+Me+lkg9Zd/lPasrFV/xvarTczWSz/jNx+vnGj/hNStbGXjesvieM29rNx9emY rzGq9YgK5e1sXH9G5Xc95X+6tvzzhMu79RpRd+P7GZdTq7TWyt6TvVWqLnr15LcIw5WrT1Ltr16l zE80XiIX9F+i0Hpt9Sbt/uryDrm1trJf/4T0fGUn6+J1wmll7+dLqaqWh8uUzW/U/5DIY/VFekUr /YDIcvWlV5eZPv+B9m5l+W/J9enVV9K6L/9/O+ceXUVxx/Hf3vdNbpIbyCVhoRARrJoYEMJDeQhR gSJQDxEJPhKMgAlqUYIoj1Z8YhErKnjw/UBtfSAqlNbWR2uxWp/V4xOr1VatbaXi0daiPdr5znz3 7uzm4qP/9o7H/ezMnfntzOzMzuzm9+VqO+8AkzclictSuGr5u6h5cp+KR1RUKm5UVXAqXlDlIhXn qZRoxU70eEVO9Ve84mmVN1HhqozJihsxZisOVjbTUv6ZNjKqIplE8e1pDPrUdGXrdVWuKtkUnais JE+Kx01NXMQ6BsdN7y9ShZOdE+Km99er3k8uMKMjE31QmUqePCluej97DqqHDqrEWWWLsl6JrJWv 4WxnzDv7CIcv8HAuja1SOVPIebb6f1TykOhCXH1RM+uSRaxrNutygDKWPKOZI3x/1OXMuXFTl6wy lDzLxLLRici57Lq4GeFxWFm+JW5G+F7IueLRuBnhI2BlpbFZG70E5c4xsYHRK1Wdkuea2L7R/RA7 z8Tqo4cidqGJDTH9cpHpl0bVrFb1awqNTarbNDA5PirqcslLd8dMs95EbK2JxaKvILbOa9ZmVG+D N8AfVfcsea03cV9D9a5/ks3CkEneYIZMTTSDKmw0N6NWVeEtZb3Hu+qQ+BAPqFRpDPUpje3Wx3f1 ERO7NIahkMX9NjfPv2X6sNs7qJylKlNPjAVH51Ipw+M4YoSVfBrR032aTmlTxx6YTaV6XmWvi3cf GwVGRKXOgoMquECVyW4JFFSpG1GHR3UdmHK/viL6IZVSd/qXGPvJ26OL0Fl3mGeXRP+D2J0ogS7X 9+su5MZsi1WrE9yyKkx9iYxR0fpEY3Slyp0Y+hzHIsokhrXGTJnMsTrT8DKdaTAylb2vDolGGJPU 5eo4Ak+F1H3RGZjMWy5PGDul+HlrXcrU5F6Vmvo5b75qBsym8GO1qvC6dEPuBiSkHD54ctvUNVJl jhnosdxkValUOaOp3FZcqYLRTK4n+iTLaDaXRtlKRqtyT2Hu9WC0Jled1JsDE+2buwLXrWK0NvcJ yvZidGBuFwZ4NaP75o5Hm2oYrc/9FLVyHdPiIbkFyNzXMU1uzF2Axa8fWzQq93tYHsDomFypandq oGOeoeNzs1DJfZ2jddnDcjNheT/neB2dmHsJldzfmaujk3LXoPkNzmIdnZwbiguNdMwjdmrudFRj rGNm6VG5sxAdx2hLbjxMjWc1jsutRrTJWaJNzVE3ZoNK6IVq3IzHaeqxirFJPJN3pPFQ1U+oiq1J vXC8ARPJxIF43CZiqEx+WVHP41jsQjtlmFS/quLO46oaTnUzdyDbMGVn1tyGxF66Spelel+A52uN ia3ovQSbk94mdlbvHbDhmthiqe6HWlVjkoxsprkXjckRMNJIkzXLERuO3JHLMjUtyDLCxLKqybid Ltb8kt8NxvJktjjuCZgCtXiCuNPQtXuhV1zdywOQz71Nz5F2FNkR1UXORv8MWoyUvrjdSfdjzMR9 LkTKs7gRcfdOdPWBuLNulWpbZKi+Qgbb3mF3I9+DMBt3m2CrUV9zLJoxHI1xp+PHEfryLTA0Cqbd OlzlIFzX7cKyOfqTNJ4Vy5HwGEqM7cTpMJgcNxWn89D6Q/TpWhQePwunU1B4gk7NIkOTPsWCHjkU uzf3CdT4MG13O4odriv1HDLonZ87B3NhkjaGF5HIZH3hE5H3O9pYBtWZPgh5hyGD3uO4d8LuDH0j KpHarK9WC7tH6cZug92ZOtVFzY7Wp2+hvi36dClSj9XGDsIlWvXpbJzO06er0fgO3Z8TcA9P0cXq cHq6Ph0IY4t0255G156hW/EQMizRrXgb1VmqU2NIXaZTt6Nm39en2M1EVk7BTn00WnyetrseNTu/ XY8Y5F2lqzMReVfrtmFqxva+oxS3DLtI91ps/hpvRbaLMQvHHITUTch26AKc7sYInagLr8XWtRn7 TrcZqcdgr+n+GHs90wXt2Feu0ZefpYylGzDD3RtUrvQ4nPZ5Rh1K9nFQ1z5Y1UomONrybHWIfxfr jXuTspHohy2iexy2X3ufgdN+WF0mt2e8RcydhE3ZEV0Zb/1yz8OyPvX8jLd8uQ3Yosxcn/HWY3cj Fvdjbst4y65bqy6VbP2ZTnhQHbMvZ7yVEU+fSkS9XdXrOheS3T9j/3bCP3TCxyiWLvOK4UyXVT+h q93HUc12t8xb2N0OFN5UpxOwwrn4KpEYjvXRXa5KJEZiYmLLKYlRulMfwiJ5kB5MMczZg3WPTVYt Kq3rKvO2AyUn4cHW90M86u/qg5UuNclBn5fMUAenz5t4+LY6t6gC2YdQ3zkl3sYEU6ESb1bSZzOe Gyc5TyDX28Fcs/1ceIKnFjq7kKukPLDJQdTbbHSoUdbn71gCFzl9VXq2PpBXzS7VhnTLBNWF3+qt TKbXYjlzHLkcg1860SDns/ISddTfLxzRX5Bh3P56PRgazcGLl542r6uho/CP2ulgTz/yD+N7MqBd Dgukt01qM3/lKvCbdkYokH5KZ3vnwgLpXYvnBtK/9nd8lJw7b/7/WvSERay9mn36rT3ay+lI3Z86 OHUO/zs3Wla367eRqFhfkIKhxBOl7WucEsYOmrtfiaR9pYhK+LKPzukv93H4itJfWd5ydDKmsqrM Fyo44qxIZWKxi/C+bNnDwj6hPHVBpKksHmltyNZY6f2t32Y0ZGWgCL92HK6GNjYhXmcIdiBwkde/ 9s3ni+Wv86L4wRcTi5YOi6cTlj2pgiUvAZY2v2xI3CtQ8oot2xVfoyshRa748lsJaW1lz8pasXW0 UlA0K90VshLQw4qlfhVL6iqeI7XYKlbJa1Yl6JwvWo4qWmUq1JqKrSwVX0YqnmhUfIWoGFGgdFN/ ipF6ihlQ0l3EKZRs+nc/L8YUT3opts5SfFGlUEIpQb2kBNWR4okhxVc+iq9zFEvUKHkFo5i+87WJ /v2RkOxQPJGhBBWFQvmghLWC4gsDJagC7DZYvPFaSOAnBeV8khfviXGslDarop4IT6C4E1teJ0Et nVjCOTEqOQlr4mBkCVo3V/wnllDIJpStSVCkJoUkaUL9mQTEZtJNCOMNX/FEYxKUiImnB5MC6i8J ab0kL+wSX8YlvmZLKNAST40lRnolRmdlMFRsZ2LJC6YkJI8STwslAeGT5FVOQkmTBPRL0l2tJCFp knhKEgmojszzs7CeSCgeEiMVEl8XJEYFJHyyBAQ+UlDOI752RyyhjoR1ORIU4YgtuRFbYCNU0wi1 M2IpZcTXxUhABCNt9qygwEUKyFmkm3ZFtHe/tNkptgZFPMGJ6S0JiknEko6IpxMRSxQi+VZ4eg+B R78EpByS120IRRqSV2SILb+QAmILbuxCOgqxRRNiKyQkuHr42gfxhA5SQNUgloZB8oIFaWNjAloE CQ02T2ggnqxAwhoCCSoGxNYHSF4MIAHPfwm4+Us3p34xHvyyB3d9CTjni+WJL9rhV/JO9vkLmSe9 9p8X21leAq7xkneEFzbWc3EXz59dAt7r4vuqi+2YLl97cyaWy7nk/csl70wuAd9xyW8RCrqFC53A xfL4Frp32/sesTy3hW7a3pNUAh7Yskd3a2nz+rqAK7V085uWbm7SEnCK9max5P2dxXJuFsuVWbo5 LovtpixBn2TxPJAl/2D+8nsjxpVYgn7DkncSFs8jWCz3X/F8feWbOPaK5cYreZ9dkW/sqivS0LX0 VNVsgQuwYYd3tmjeKQ24adKg29XQ3tUlgX9E3GTx/x0iO66G4zwVX2iK+unzF+FOWAneP9Nkp/Ef RBL/XxiSBrUInKrG/Ze+2gQC3j3wDpZgvDH0DuG9WfTBO5GVfpR6ScE7XhXLIx/+9DWI8SjzZUIv eJ69Oub/qnxDaE+sfO1WgnfaFMqHr9J4ewrnGxdqxwOqHa8kTTsSVjtmhOxtUS94Vxa47vSQvXX1 pnwV7Xj2WlkmwnxzeohstsrVkgtC1832FJlqxb1+mR+67rX1xgauW2pdd3nI3nE94Y3RvR1nhuw9 YLWjzLJ3acje+T39utv2Lg7Z215v3pFhr8Kydz3LeD47tyh7vUqD9vD/7aHr/qIfvsh3vy6+vUat 9J0q330F8tn3AiG7t2qHSsyp83LWL8s22PaGqPEysIC9cLDTY/LhF/Zv0VCpaOAKiMdC8XgongjF U6F4SSheGoqXheIVoXhlKN5DkjzH94oeqv5Z63ecV4fi/cX/toH83IvlX2W5BZmvdsHfWzzf7Mln Cf78KYK/UTmqSu2KEWXsNKYvYfpypv+Q6ZcyfR3Tb2b6T5i+ielPgeVmnjuqS+FZAg8S1NeJ8FkW Md9tnIz5vgLWkg3kNLKNPIlcRp5LriVvIO8g7yN/RT5D/oH8G/lvMuEYVpEDyAPJJvJIso3sIleT G8jbyK3kI+Sr5C7yMzIZMexHHkCOJmeQc8iF5A/INeQ15B3kPeQ28gHyEfJx8hnyBXIH+Sb5AflP EtMJTJG9yIHkUHI8uYZcR95M3kM+RD5F7iDfI/9FxmKGPchasoEcQ04hTyRPJpeSq8j15EbyXvJh 8mnyL+T0uOFL5Bvk++SnZG2C9SIPJ48k55Ad5BLyfPI68lZyK/kb8nnyLXIX+QVZnjT8FllPjian kLPJDvJM8kJyPXkLuYV8hHyOfJP8gPycLEtxnpMjyHHkYeQU8khyFtlKriGvBNUYvJq8iembyQfJ J8k/kn9l/p3kx0yPpA2z5CByCDmSbCKnkS3kieQC8gxyBbmK/BF5FXkLuZncRv6afIp8mfwTuZP8 nEyXGFaR/cn9yeHkePII8mjyBPIU8kzyXPIScgO5kbybvJ/cTj5L7iDfIXeRn5GJUsNKsi/5bXIo OZacTDaTrWQnuZg8m1xNridvJO8lHyAfI58nXyffIz8iPyfTGfY32Z+sI0eSTeQ0soXsJJeRF5PX kpvIt8lsmeFe5FByLDmZbCZbyU5yGbmSXEVeQV5FPky+Q1aWGx5AjiKXOOKv32mu3xHzToP4KMb1 +p/w6a3/xVAMxVAMxVAMxVAMxVAMxVAMxVAMxVAMxVAMxVAMxVAMxVAM/8/hvx/vJnQAkAEA