From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22762 invoked by alias); 17 Apr 2003 23:26:00 -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 22744 invoked by uid 71); 17 Apr 2003 23:26:00 -0000 Resent-Date: 17 Apr 2003 23:26:00 -0000 Resent-Message-ID: <20030417232600.22742.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, karenpcarlson@yahoo.com Received: (qmail 18385 invoked by uid 48); 17 Apr 2003 23:17:44 -0000 Message-Id: <20030417231744.18384.qmail@sources.redhat.com> Date: Thu, 17 Apr 2003 23:26:00 -0000 From: karenpcarlson@yahoo.com Reply-To: karenpcarlson@yahoo.com To: gcc-gnats@gcc.gnu.org X-Send-Pr-Version: gnatsweb-2.9.3 (1.1.1.1.2.31) Subject: optimization/10429: With optimization the addition of 0+1=2. X-SW-Source: 2003-04/txt/msg00819.txt.bz2 List-Id: >Number: 10429 >Category: optimization >Synopsis: With optimization the addition of 0+1=2. >Confidential: no >Severity: serious >Priority: medium >Responsible: unassigned >State: open >Class: sw-bug >Submitter-Id: net >Arrival-Date: Thu Apr 17 23:26:00 UTC 2003 >Closed-Date: >Last-Modified: >Originator: karenpcarlson@yahoo.com >Release: 3.2 20020903 (RH8.0 3.2-7) >Organization: >Environment: AMD Duron running RH8.0 Reading specs from /usr/lib/gcc-lib/i386-redhat-linux/3.2/specs Configured with: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --host=i386-redhat-linux --with-system-zlib --enable-__cxa_atexit Thread model: posix gcc version 3.2 20020903 (Red Hat Linux 8.0 3.2-7) >Description: The following file when compiled with -O1 or higher results in a incorrect addition of 2 64b numbers. Looking at the assembly it seems that one of the addends gets added to itself instead of the second addend. The bug goes away with almost any changes to the source, no optimization, or an older version of gcc. I have reduced the file to be as small as possible while still reproducing the problem. >How-To-Repeat: $ g++ -O1 -g3 -save-temps ../test.cpp -o test ../test.cpp:140:3: warning: no newline at end of file $ ./test zz1 =2, zz2=1 zz3=2 array[zz1]=0, array[zz2]=1 result=2 Abort (core dumped) The abort is not a bug, I killed the program immediately after the printf showing the problem. The correct answer should be 'result=1' >Fix: >Release-Note: >Audit-Trail: >Unformatted: ----gnatsweb-attachment---- Content-Type: application/x-gzip-compressed; name="test.ii.gz" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="test.ii.gz" H4sICIkxnz4AA3Rlc3QuaWkA7Dxtc9pIk9/9K+aSqi3wOglgx7GPzfMUBhnzBAMHOMleakslg7C1 FhKrF9u5q/3v1z0v0rwJyCZ7dR8uVcHQb9PT3TPT0zPSS9IkL16/fpP5afZ6sdm8OHiJkF9u8yDM XgXRPwCw9FdB5BPX/ehMZ4PxyHXJi+PXLdJqNFqN88YxqU39JbnyMjIMovyZnL1uEMC/eleXmW9m ztQddi6coTuZOpeDzyBGQk+d/mA2BxIb8qrz0XEvbgbD+WDkzpz5v64nQNCUKGaD/3Tc+a8TB+B5 lAZ3EagURJlEMplPe4PLS0GlIj91rzpTgQrj6E7HD0bzHfJn815X02qxCfMU/yOUNBtVhu1//ux+ cjofGDt1wCJer71oSUKgUGlHN32gO95F13PAkt3O3Ontlul87jqTObh2tlf73X3ap3TXg9F4CtSt vagnnXn3auh8hBBxSWMnCxitczEQUQnm3dmKM7zcbeI8Cp53m+Euyt0Qw323QEq2hxP2Uc51Ub19 6L5BQXd/wv2Ms2ePxxBz1zhw92iYjq6rMUwRvT3IIZzc2fhm2nV2kQbHZ6e7W9+fap++ZHnka8Tm FPwmT5M3QbQI86X/Js2WQfz6/gUgcOC13lXhj8tmwGKDsXslWlDoV76X5YmfSiIbW0gkqZdOZ34z dWZCcON8Pz73gzMdwcCezaeD7twdda6dGTmAf8oK4XZGswETbPSxQvBgNu6en5feLjGT8QwWkkpE t0Cdn79tnA4lgs/jiTMS6NNGowIF8+bcGfXoDFtSDDvTPixhQ+f0xNb4xaxnA88+DnpKyJ7u6RBq NmYExvju9BsYqSlQEd0RFNGqxIDNjhvn29BgUhua2k/peQmW7amib0aDz+dndjPbrFnKbH1AYXkE GMVW1QZsNbeNFt2AhRq2zkqhwNAmyfVg1rWxQpjYwBgmNjhMeLYW6Kw5cLru27fnesYko7rj68nQ +UxJTP7Z2G02Tk9wuoKcr9E4H6KZ3u4bZzgZDwcX0870V5BwqmrYB0yXZQgaTOQObMLb1ycskZg6 U+c/amvv96N1ENVJrVbkLb/8AkOrTn7WM5R/vAcqYKiXFDXkresmZcpZW+BdkZtQerKjDbMVmvcO x6M+/RAOtiwPX9M3C+DdNp8rNPIy8evM7facSzGjn5zsyejOr6bjTyS7T+InUqur+k9qXnKX1gl+ ClKV4HoukUC77/ZVGIJ1BHlt7fnoa508k5cvyVclYqeDUb/2XCcvn5UGN1niZuQxDpbkUE5VINd3 l3F+G/qAppk/+6U55AL2JyNIqrvDGfGfMz+JyIvuC/LfcgI36nGCP+nKuLchmWy6JE46sKzAqCOa 3ErkzQy6q6Jrkbf262RLAzjVVTagIfUGAC0a0Ex0G+M0u5SZ88gCBE88emHuEyPqV6H/7CUJ+fIb GvDt1jCXDTh1egPY7MypYkebJM7iIy8MPIguhBAKATovXcMwhKHamV1jj0jtJSOrS8I4rrZgvSwA LWS07GKPCKM0RbRqmwRAz0eFKBadhMPrjJMu2nsHi5dlSXCbZ7679sIwXkCHZKBLpyKBwo6R5tnx twvfwORqFc0QTPB569sF56m/tApmCMUVJUkUBxHm0VbOEknVajX0lWkPtVZxsvYyFyYj18XZw2xF piBAwtpq/vW20ixZreMI2vOObre0SCO2ID4i3hG55a2f7O0AWCpB+AL1TwiyGr6TV9QWXUOODUNu y4QweZuO3MFoOBg5rJBwvGtXYaxksGuFzUx+W6xk6gSBKNd1H2D69UN3EachqcSmEBTV2MyzYBf3 q9CDBUuHr8Az3uLehFcyLH07g//sLx59E55nwdo35dxl2VcDGFYQb+I0eAZdl49BajahYCEf1fGJ /xg/mGypn4XxXRCZiOAu8cGXFkyaPZhA1hMIiW2ZHIu7lr6nLLa3iD9Qll+pnciHCSQN/gsXch08 uhkOiRRvYXD75m6xeIV/cSf+KvGX9172ilYu3hy/bsltg6gysWqetb5DhjxomKpqpZPVMRUYA8kA yNg43ZUEnjOgATHFG8JlJro/NaAcAnkiDO5eNUZuzA2iTHRSHgr9bteuiNJi4Un8l33d+LiDk0uv hBG0MWBa3+PX43J/KIUQxurp6Q9xNQ0+EJ6HIUp99/YHKouyUejbrUPGnGhvgyx9g2aV9wx6EqIS SbF7MZjPaDmc7RoOqofhDxhxf5d39bVJ7S21mxl4i3svwcTWxS9tE5/ex0lGCeg3CwWGLuLhrwVL dyCIxi/tgwPXxekOsLj2Ezu5OK+gfH/k3hJHhZ1RpxfUsO/TJ13d+UKEaggQc+baOiIMpRModmJK wGfz1CpEpsoNMsWg8Hncsgop2RlBhWkqLAqfpyfVBq32RMFYaCTMTQ7hm7dcJhpWOA++Lv1HuS88 XqjYpR1xZyJ4LAVRbGdZx0vfjsF0+kFGSR2LVyuVqVA61FCMfqMqxoCpmLwt+iZhsNZRRRuIZGY1 tWYNleGRJfkiOyCQJRD4x2hg5/ml9VsbIH/ihjPlPJp6S+EdAabRDG5b6AjJMJiVbQvA1F/E0TKt 4E534Z9uwwelfxJyAbu9B1tHKMLeR1SXRaA8e1/28ICV5g3NRuvE4Hrwv6rCrGM12CyE3w+sCkNf RARUUywgf7BHGkPy4WWLoVVq45fiSBBslbEKwu0yGIFNRkEEo8/Es5HCBpOOlSPKTRde6CXWqFLo 8pJQ9xh80tqX1Wk8tiBIQj8S3qjIFjbZfeJ7Sz1psC6jOq2eO0zmV1On05NSCD2BWNz7y42XeGtS pQ8lKRU51TerKpGcebMvSiOgAZsv0BwIdilcmz04JgniJMi+0lmkrecXhczKjEo3Dks1RPMcC1u1 NMPRe4AKyBNBBvulFNvmvzew0QU68N2fynDTBS79dJG4HHqogtvS6RhzDWT0s+60zOttkgsZWLlw U6opn0Dp/hdV9SVNqWniMFhQ09nsXVDhj5IziO59sDhFyfLiDRXPs01YBHMvWeIviQgUeaCzNmxl EcxKwBJCkUChTMKfROleZjEu7XGV43D6dZlniOYFinrygizAJK9sCBeA6oa4afP1+qvOVGpoHeKC tJi9tzWwxmKRnzzKpl5DK3mUWXuyduOnyE9k4ocgWra3m2bNTVP2Y51n/vOu3lMiJl7jtDhJ7noc LYzlRlcveWLr6C63Jk+FX5lWAEAaP0mtFgL0E4Qvs5ENS38X8bBFgkxUNC2sXQA2KaQrvmIi0bXt 1kUaVVqlKMnchbzHOPSyIPQVw4v5SQ1Pbt0dhr71NEMDIPH/yINEDk4AbjBkK+IT0JahduslSeAn lVpVdp8zyv3fsjgLLrrHahqHa+aeEwsE2/by2jpJj551oMvBB7aRTtzBmOHxo22ePdJDdb5E0pVZ Wd8Qu10sk9CWRe4S6hZitesrNzPIDwbj2RyWpGtiS03C4Fa+GmPs6gu8fGdkXNyOsYl0+zinroI7 axFaIN17fiC7XwXyCbcQNjhWyf7OguXfVD5pnZz9oDoot4xaCOUXMhUghykVTgYzQRZZpiS97mkB C5Cl8qmhLJgroxwq+qocDeDdUhsLFkpL3UmrOCT8PkfKPcUR0/yR8cE7qA4Mdnt2SymXDYK2Pi0w MK3E/pCu02Lp/2ZZtqmXZZWphZ926KezCo0x4a9vaVatFlcFK7V+OfRP9JWkwBtii2noB8w4x0WX fkhEiSAwKpRFb7bVuDWTGMdPKpG+T2XjRNugMuD1YERqr1rNk3cnZxCf70LyijTDuknX+UxqEhke 3BpXG5SuwF5WjwlJQX25LgJCXl4rM7wijc+jII6K7S13P52M2xTC67fw+/bLSVEwoxc3MBuS2jWG bYGh18R2joByYeVLJ19jLH3g1UdMzGKWakvjgW2NmXZ9dwUUSrFYk4Jll33lsBKNrGi5XxQLYomU ajsGgrfKv8lIWi4T5VIZkXNEriNERiGmXBnF3CmGjqQ49AzmUvbHdv4OvnncciJU4GW/dcejj/wc 6P8nq70mqx0j/CU5qzSW3qIy2PRGC3dZdg4789T/u7nn35OyYCxss59y53b0YTT+NOL3YmnCWatx QXXSeF6tVku8EulH+ZrPOWyYjD+Q96RxJEFGY/yjQnoX6u9r5/roQII415P5r5A3Tm7mMuElZB3u +GaugQfDodPvDE36wYhd/J07AmfhonXAwWQ+nqqseNsH0M50Op7yyqPR28HMHXZmc+zyc6PRaCoS +qPx1GH8M0HR4pKK2iD1AExb/qZtA7pLL/MMTBh7S3BsfPu7v8gMbJZ4UcoZtWJR7VAQrRbgx5ql RXJ4RKoUARxdO6v+4fIbpZl2SHoIEisw28WZYviYhm/QG/pR1w8Eyi4GUZBt62e9LRV2gqXE6UfL HYyVjTLjb7Pu1i6zf1vsz8u7+0j5Szbf4cjvaPYvCRMO3+JmZnH4mvnPwt/cSN9jgl3d+QYRuyyx s3N/5H7ylXdN6CNkqb/3s+o32lYaSMyw0KzcaPVAYvzlcGLs2GDlnAXzK51EteEEkOJ72yCQvF8Q SjCTgatUEPPf8vkJm0CNwVhqikQRtNCuntOVQrtt8qYHNfewurv3XrQMfaapbFx6jQGvUbcP1E0O VtsPSEG1SuK1y+hKYBa7Bas088N3zSrCxfQsKjCMVpqrMNRBqc46iGimAb1CLaSDEu+5AlFyZLGV HsFlCzQFXOUh7YjqoErbi2gyxh9sT/LsNl+1q1E+HhFI7dNbsAokiB7jhZfhZZnSGzIa73B6Id6K 4NYv9wqHvEObyp0ZlbQ18OivdsWJaOHUVcwiUOzmIjRMaolqtja5boFXbwNVLkjMC+TLb7ibLIc9 vXC1c2dclspwq24ZKtgBDHfprK3Y0W8j3bKCluP6TzqQ1rdYUuB74UBor14x6IsbXMTyJALeMaI3 2K8GeD+/3rbw4r2srbwznVe9wNAvLod9mwY2KfvrIu+r2RsKxuOhdhuSYzpz5/NgLj9/xxHF01cV uE8dnW3kOD08vehM++yJrRL16LlhkFKvRvlC/DS1mUwhe790LyeWRq+vOzYwfQitN765GMJWYWwh 4Ic/Ln+804LuO3N8MgB2DpdjpZ7WR6zgF0/zN57xUUOVDGWfnmD5ZONHWL4oUcOZ43yguDD1/QcV iX2iuPXa26ioy9m8Mz89qa2WRzCt4UMYq2deI6m5iEOFjgigCeItrp3N3YvhB3phStTfGOfFzaWE rCucgAMg7PLPW6pI+pwVE3wz6oEturBHwnchlCQf5x30AnsI6aoDOyxn1J9rocCe2ppfwT5VCy2F nT3DRF647mPmvthB5g56hBJqEQ6ROKvBx3Awm9cJ/4K7ab3EURzFsXqtdBpHa3Vl1U7BrXYhWU2t rNQpBGJq77t6oQ6REtaC5oW8vl7JYyjRrFHLw/6wml1fr+YBKheo3EDx6VWaaRW0Oinos4SFtIxM M1gVch6ORWAqyGJWKSYYBS0qx6LoaDkRdQsZf7Wo5CV3UsXu3XeI0Is/bjlNKorTh4M/dlyMZSLd 3KPvb4HszD7X4rr+Vq+ZamHPmy8ta7e2Ooe/JMZj/baD7Uln2rme1ejzjinOZhPx3Tjmx8P10eBy AKvJv26uJ3S4z4pHjDmVM74ktVdN+rBfQ89X7CfrM1ZKkicdBLKqlPyYN0I7+Lw/OdGAkwlCz1To fHoz6pLmqQodjbtTB6SQ45aOmDqTYQff36CJvxjAAtU6sxnkutMfdGHpubzo9PBB9xI5Hvb4lYGC pnPRVWkEEj5nH5AC/hkU9AFSGGWqfcAVALt0pk5PNRH0w8XbeDPVSAj+NB3MwWOKmVxwmAtLIa6f TbVhZzoVmJaK6Tm0Atgbj+ZudziewXrzfKKSwML9AVRrPJ+p8MHIveh0P9xMaHsGj0N7SpdyBTXH qINwwJyANqaiuzfTqTOaD39Fmjk+MIsNay2LOGHopm5nwGM+UbSvYsG/whgnVg8Nx90PrNWGGiKX w05/1hJpkoqbfRhMPs1IQ3Xt0LmETqpenQ76VwA80YzJSqogQHcQBJzmtHEX+VXYlfMZeVXg7Gr8 6aKDTtW9gJjJGFpFQZoNwLTTLuUyLMvYZlSehukOwG0wp3SpRBUJCQRGUNMcEaPBnLqpZaDoiGOy NItIsUolau6FRLwznFx1uNCGtAMG9O/5egO7GP3iEr2h9U4/ApBmOaWIg1zSlTqlgbWXPPiJcrmt hB7yoggxLk4duinddpf7ZHo6iQ9ab5l76RYXK+90v7b0F5ChJX6ah+KwUwDjhyPl98ZLssALVaCf JHGigqIYkxFs5yVpGedWkiZ6f4pTZ14eUBK3IPQZnKNZr7HMcEgJ6K25TZa0TajPLihq0Fsv9VUw uzFZBTdkM7AhHFxikYFQVgUpqkmYUHqPaoMMfOstHvKNBUHphRhbqLAvqY7n4QKCgqise6FNo1iO H2rZFi+w8HQ2Dpf4ld6GlhIemh92x8Ob6xE5kCs//Im2RZ5ARIT5OmL3paWHvB4zD1+fIYSKuwOU Eez0pfkb16kcM6A8u9gpH+ZZQko5rC+0ZtJEnWvjLZtt9XerNApu3EsvuXmE7xlofWm+JYe07hOv SA3PScgryM9KEK/E/lbcqj/Qw9vFF/u1i8eRbVj6q+U2XbzBGbntfWnjPNufGEas21YXItocli04 z2G99pOqivyaBcYAbVZzoEImC7RczYJq0ZcUHL/dciWzTKzLKxVBzAb0KhJuwLkofgj8o6IMCWF1 JJXtbr9mflov7rJWSGUD3CZWLymj+N3nBGX7ZtO8zBm7WI6oaFME9iG9hnLEeZ6M8wYqZxHGqU35 elvrsmQ+RsF/5tGClmOVp5lkq3Bq/ruKXPSHU7OfVcSF0pya/5bIrVeVlE4c4pe2gBbaHtJvBVyo dYhfCmjR/iH9RsuYEKJcGyAQqihXhSpJSAWjPDVwEpyL6cLMBnGRMggJUZCVB6AqG/UtfhERwZ4O wO7uCEojxCo74oJRxIBR36cgfvKHFmGzmqxCfMNTue7Ui5c+tTXqvSnjR1MsO682Ocq7aftqI3F8 E7VdK4aXGZWJ8M7PFmAnXM78Zc1dbejbwODPq3/IeQx9+5cGhpWf/FOyG/L+Ozms6eefBiPI+/ln pRqJRSeI/O/R5KefNIejgPfvaRHgn/RzX93Ul4Gharlio8X9EddOYi6yMk2/Ii2rU1tJPlptjoiq D2qzuK+jFQ3Eoa2tn38m7zlP3SgHgGefKg36FCx9elZSbVwbiXD5k+rzWllKq5PDHW1YXJ+rmj6V FraLshrbSlMorBke2zA0r1Wprhv8yW7xFeReUjeKIOFC2X7hJ6XSUSf/9p406poY3MXsK4gXRoQg ZaLi41ueEJgw+7zGQ51mlJhUHJG9+VY07fwGcuziNgZDMTo9MIts5VNMyUssvH4HG4Sb0dycWspw emUOXdz21C1L4Qp1oQve9vm5ZGAO3YOlsFKWfN3FgiexlSXbY3OGZb03J1zWcTUORduMR8WVnbFh JcUt6EXoexHsKBP/DvOoNIOtfA3vHRztpIXxXHN7cZDRF/hp9npcpQsvUuKQlO8OU2+1yIjKtEQt Y7OE5rBk3OK6x9Umge/amLCrso8mmiqWlqXdAjrXW0ZGdnJUElkESNwpzBoau7hzZbKXChRbXRQB 0QW/VSEFiXTDz9YTXRDsL7YJsmlTDrvE90UJw4M1qHogvTVeBiDXqfAQw3gTofKaImUfI3uLlOcr IrL52Yz6gLoqQpwYEvEsgA1NzVRe8lenv8uLS6KUFocXWuV+BICWso6Jw7TBuDhNI83mWVXHyxkG j7Dx5RtSixTUvZlKbVIQno+orU7cbL1ZBgk0A1/oO8SPt7VZ8UoFpABLr3e9FEohLLswRC0ib02k avX8ekKfgWkdnx23ytMKjB887aa4k8b5qdSZobuAEFxD/J3LsDz1EwpTen5JXx2NUvBwCLq9/e1x VQUb2DliZaSq7ELRcZ5txcOaLK+frAxDP2UYVlrYHxmKxRT2R96U4WyY+GvIvfSbjS4r99EXi9oX /YRiTb44XJoVj8h/UpMASQnWP/AsW0ZxYlDHfbN6XB8LIawhHh61/2nvW7vbNnKGP69+Bdd905Va 1RUlWbbjJs9xE6f1eRw7j+1u283m8FAS5ajRraLk2G3z39/BXMi5YIZDSrm0uz5tJJEABsBgbhgM RhSbaoViJUIshl6mzJ5MOVpaaGNOdCuTCedSVxJpX6bmFqO7Bht1RGlY+FCWkFXlHeppRH0TQV2M ccSyknhqq9XRaLJOXzuhawiCNE3xx6SMEc4t+ldrawRROabOxMgc5AaLD9IORPDhpphCeMnLZMOy i0u34ekTkwDTK/Si1isdOqgiaQDS+xMHmTQoutyw+Or69NSoaX1DZgI8HhXp4Uwjwk2YOcxyN6vM eXwzHgjvmsMVV134wOmz4w80KVQRpmS0oJrI8txIjnJSa56KUYgCwYgQZvUgelhVsD44NAYFDkoR Uq/WLnlIUK3dCxUkTWArKe+8DOtoYtqmMX3YAANmQkjeVqOJSzme5RUs7w1YTE4Siyzmt8ZFICcz Il9QWxFlQ9ZsRQV4S1MGBbEss/Nbtntnea6bwe7urm3Uy9aCG1FJBRkE3dIoKxQol3jrVJfZFk3y eCVry6MI0pLbpL4toTyUrjq70Yi7dfr+BNQb88zNR9YmpvEd9IK2Ur1qu3C6J2duZ3xB4vZOM+iy yHFFgVvh3Id1j8otI0ur0dC7aipQrJmEysxihcyhZWbtAm6P+7bgXtmUKmbc1uO65JluZjSE1Y7O alVGPwSbqi0MBaP2eZnGRInuYIuVX57PLSlLG1y5+7Xc2LrhoMg9vpsRKaaCD7BVxld9iHUorfIA tLnBUa4Ue9P6fW+9b5GX0MJL1er7MMMOpkq95bBtOvs8VoItAq3pwCAb6gIR/jsAyveF+I4h7AaZ tLwcMWb5EhrGiK4Jb3ePOrVX9y69+PPGqelYVKsc0aZYgMvjBfL9VXgUIBoeKZEGnnwZnJUjYIpl 4rvUDmEG3uYIO/2C6tsisVS3JhhGaptlMoqzpsP9YiwDNPoqeZtHQeJFUpObKbdTwdMF1zVCl03/ rxwwSDgcJpOxxd0BK2fXjFD8oR6PmRCNFgCJYQvpeAlpSLENGbYjgadXD5MA2NxAAAv/ThxvH6Te 96QFY2ip5qU2e4S0ZfcEENYzNgr5dYDqBvYIAo1QByhdvCnuJYsec/eXS2RkMilYoKEjucSb8FLI jGswBcXLIR6lJ0hlLQqpCm3sr6yHypWD1Q2ilK0wV8F0jEVUkrzRB9SmdoVJFm39OpkN0C3UDH60 SmALrHh7jsq/TN6OZ+5p12fBnpGm2ByLMlHmpiyRnGSwWBQBTiUxyGkxHF3jRkN5p0qfadLAEofr mkdgaFYBB1L17k4VWyWcy80sLacKpFT+e45tXsRQ5rDVheo3z9Vo17ARcMNUbNK0TBi5CmV4ixLF SYECNZpaxOXL9SgdQbD0RdSuIYxsSU98eO5T03hGX1gWzOg1SVe4KbuaUgJMvXGUaFLfFRXlcyHC NAtG7po1f216n8KhPFg6S0E5eq5MDFTpSeDdjManZCarcsR+SSRevtLmIJEnjUgj8lnQaxn3lOpx X7K+6TG2MnEKFMG/gtTNzQUeOzCYT6fxzG8fWZ6oFQdzGIshEexkXztp8DwQyg6fsuCkeZ9eZ6Kx yJ9GwuWpAmt9DH/qHLXf764J5gAXItxuTYaqfsIc3XRy6b1zeQ+1aq+0R5Gipn2m9GwCI0dBezga WEFytLVrxtAzUlN4BhpK/Zk+ZqtAcu5aloWB3TIcsHufhZrYLxC55rXnObU5J/NL7eE0Gr/mNt/K ZcF7zZwE4BzV3qksWByHMsncWUiDBDkNgwrSs8kh+zLF/IiDcSal4OyR6/ARevrIJrDVU6nyySRG GDVeaJyy9xZWMaoZrwq3dg+kXkPc4wiLaFbzGLnSjkdVG/UMAD2fg73ETkRlEzzzWBSR0HYsylI0 P6oDiJnEugb/6hKbBuPy7WoScmvB5ENeIdKJjqaMbHihrrrMk9ibzjbhYZO8aDO/GpYdqBIdiv+P f8/+0czX8phxeU7UHTYlznhBchh+tsuoU++pvVc5bbUcNqvnA5fqyKmDLqg3ZNYURdXVlJJQiEg2 RYeweLaKFsQmaEwXPauJvZ7Rd3VxyKTO4b+AN43gm0fBQfaeM0tsrv57Hs1MDPSRMACCD6c5j7QK D6gBs6rL3TWD2eooGPHFDmkZjwK57CMGETwOWkfBV1/RH43gd5GwlUAbZ2mlXuAoGLOxnJ9HbQR9 8vzNEeeYWjd5exS84xIjsn8V8EK/5owRaNqGCjXNvz2i2vrjj8ACz1U/45BUsXwIpGpsigFRKE96 AAXkP2cNmAAS3nT3X9YUm8GMpiEHMg2aZiE07hSxzaE0/90naItqfD23SDmh8vu2yzE/dqUNccLa pL5LN8g/s/nRWZXh3XXZXA+9NFy2OZFsT5620zWD85K7Gj0t1g52dne/XpEZ++5gsdiBzGjGaoKg TcZ9aSWBHHriANYbMPTntqva2J1s/5EXY/xJ79/q6IfXcmugZsbXuyL1RVbfxFrPTr/ld9pYb5aK xys6+EvVit5BrADmVvjj+cX3x+ffSWf7fvzh/Pry+AlNAigZ34/HRFEsU52a6iz68cnZxfkJT1TH 3gVdZJtbktkhDLtZWJIGbd0qpNyofoQkx5D69oerOoNosGkw+/o5vRelRTqxx4+DAyWFQfTj9cnl 86vT7yQ8GW1/pIFfXV+8kMHRwlWU02cAcfI0LwIp9hFLAaAhEojz4zMVVRkfxTyGvWfjEIU8Cv7O KBB+XxACAoT21X+XucrewLhgpuuUiVh1y/g3tQVJhJ/+8PwFql3+HhIbamgRsPbk4ulJncx8yRTh BhDJVzJ2f0PG7j9g4LhpKDeeRcAjReHg9IODM840vqBcllgSb2pkWTSOZ477xnMAyRYha8HxOUuQ bV7rg6JEZ6fX12cnHDUI2x0pPWP07el34k2305aOAEcvnr4QbzrdsG3vL1RJ9Pr99ufrk+ji8unJ pc4KSKCPajkt4UDPKT07uzi+jn4ktDJ6OXEZVBXYKFWcZ84ll9WQnzzO5ZeVkePLguGMRCy/OP3n xfHpZf370+bZRSM4u2gG35/CdAE9hKz2RFQRNFV+AC9q8s3tb6Vb06VM+fD3ey3z66rp4KO3Efjl yaOH+0d2mMGcDE/r6eJh6AAijQayKT48wGEehr3M18veQvJ9kIKyMJ7Fq2RYkvd0NV/cxhNbkRkM yFfMlsYVIC4YS++kdEiZxkzudyV9SvBCexYE8VrC4Kq0IPC3EjyXUeN8VxJfAyZKswGTVzDAuicV nwV7yA40MgeFrN2Q9DXvlb+gLiWyvPlcPGtgxu8gxwZAHomBv4SMCecZRHDgwyw2sqtDrilO3tMb o6w08DrxkFFePHLiGUO9OtA6MY2xXp0BFGFrQ7Q2+Ju48KdlwJM7rl/X89VR9muZTNnNHMPxLX6V u8DNgldyAtmjjMqEk8nNhD2RLxKlf+psx1WkrVykcKR0vHgBcHl8/pRlksguU1XeQ/1Gz45Pz364 PJEm1fTx1Q9PnpxcXQUtGeH5t5Bbg13QShbnIBd4oKJpn2Y7ncZ3QZ1UkZbdxQLoiMoeztf9SRLE qzmyITWDtblri3CxXiY8cYB8BGg1H2+FWFYzhOJkM4qmqchlKAXZSircMNWKUzVMLHI1d0fpzRzx oliIKZloKRpQyx1N5vGKFevea3QU61mqrEpZ3El1eatKndUkY2CD8u1li5ArmjwM0UM2T1GZWW/C TWm+kIh4tQHU0AZAOf11U0Yr6A7lTdWkps6NudyKTr2VivUrJfn9IGrdAp+bKxa8kM7Jn7GMvZvM B/Ekkd2YdghpbvrT2cUTMnsS/jTkQjaGFqUiB3AtS3fO34h73djP9GXYoeFpQaDdPsmylY9Zmjk2 UvePMjDlOTGX+dtkaX27JnP/pVxINlLFU8HBu5wndqtb23ABai5HWy8abWYSfkbgTloi5GBfS/W6 G3LvJYcXviSrWyL/LmUrsm1ePx61VKUj2lrNFcpZgoqzFm2R48okcCOxXJXlzY48N9yEm1LM+M0Y t1Dn1evZyTMyqadbrVCjY35n6Dbstbg53izJAGALr2d1yzkbbZOzDRmTK5uzN9mu5grZ9CUhS+M6 fiPE2LIUG0og91AWSXLHhiaA4uCwjqwcbb1twbemgk2UsbZow2dYFvp8P4rZilIqWIdFIWWG9Ey3 ds2Uq1f2t6mZsb+tGRv7s2lY7xcNu7MZnjTwwPXUNESQdaQ1X7eSlytFjZFEhrYZH9lFr8/CCXXW RKXXfH0wXhWALXARhidOhkW14IwbHV3N23HjZ0OeMqzLCIEZB50D1Hx9f1VtY1TVNmTb9fERVmVw 4mO9Vs+wyrNqEh6+p60adRmDcAuD9881b5falg29rKWXrikfd9ZWZfpQdWUKhoyGnkPbe6suy6jl s90kl5+PcqxIcQgAdmEgRg/takBVPltRSvz8GMJg83ELL64ZhAUjn8+GlSGgT4ll24BrQ8vBiRcr nwXdliukVTkYOul146AuzQe15LPGll+vi/Cdeu/3IeG49+nX4D6VowiN8AUZRvISw03m1z+/OLkS fmItOrMm3w6xjii77ONIecFcwPxTfQVC03/Vx1Qh7EN+8es6hrva2YeKwV+JL/LLUUpveGcf8gSU 8ZrNOlV5JixDA/s4Ut+NZ/MIvNNz/YIK9kamqCDRk/3880jFgkcWToYJ3EFP/5WR6AMLyg2V+EYX mD6woMApaoLDPmQk9sSCBa0Pbg/lnzIef2RBXFMO10aVGBxKOKxG8grJ0egzXO0iDwT/PFKxHGpf UA4XOocLhw4pho7ggBc5lfinsjhij2yqGMbDIUTE80/Z3Af81UC8kkyGPbIRfZPcEzz6r4xFHyg4 Whj+gF8ha7xYjacJErYPj7FwfkqH6hDpyAAp78OMC6LEazkAi/OlLyslVXHGB8q90VrkOn+piM0E sxPmgrMPnCx7p2ozU4BGWeOYqij7lpFXuFs6iAj9888jlDd2ziDsGMHr8mDBN9CkZp0mZOwaQi6Y /KvSwLOneHNNJQopTiLFadgOk3zCp0PCrnHoxqFd0yO5VgdIZM91rY25SsTpmo67hI0DZyV3lJFq dR6t6ufN5xdPTxpZ5BlQg/8/++yc/E83EowLV2AYIV8pIsTZyeOwhazKbVS2BHVgXh3I9qJxfuCk GEX/dwpTrMaRjhf2ChC/tyB22gWIVxZEngTJjvhUICKWk+mxtLwmifKimzTKa8GkUUIhsirh9r10 RftBF/Lb+XKY6VOxqG9Pr/nsmN94RhAyxyU+EU+TSTKQswZh7S4H0qbiVydnJ0+u85gNe4YivRj0 EBRaTvTsafSvk8uL+miYLhpk5ZqdCB62YKk7DOF8ZpxOibBRdDufxKvxhKpqZzAZHhGtLo7Iamqe TnaCh8HOo8EOKHHYajTJj6fsRwinGndi8oM+bu2w846wOB6RzjGhRzLFE0j9HU3j9E0DYEMC+zkw eQXqvwoYmy9bryhJuGlleb8DB3aCt69pmpQWvfAcT85kk//q5JrQbTINWITtr9JJ8CBsPmgxOadU NJ0veHJydg0/G4zF5Q4cEqLrbXjYCB4QyufPngIWBRgMdpqZIJrFEd6enF168Lb8KLydXimaM45k iRbH1rXUObOerKz21F8xKdrBEdyMMugHD/pcol+pRAy/mHViN74qIBLSA8iCtXc03t84rqQ2UzZM 29ri+IYwL7XFAii5zZ9+RxQafR/RkRhavXoHPUEiHdd8Oh7o6yGOeQ5Hjoi0YYss+b8O6gfBF1m7 MiYTMGJaAsmxrdDbePLSm/ArFmFOWSZyssCsjhHqhmk1n/VxVHMIz98FOX1zPuhYjKSLZFC85jBm SdKaA5vawy2TuuVgyxTBgTpf59F24mVWGfni4pb0lQPtKAF5OONP3+HzekoMrtgt1D6iKDiKY7N0 VVk9/VSgAoNpDM7yyAd+L38gg9316fOTfx6f8SFP0glAO1WiLiXIm3WuFyI+NvHWxEeODWnDs7BA qV3w0cpclPHeSG0s0uim9KWkV6pDHgD452upK1OAnh9f/S+DyskQ7X/zDcOTu8BGDT2YUqtxVXH0 gPSLEVTUS6xlS8y+OlI4Yd1qnQ7ddfrx1WNBig0U0PzZ4H4kaYUNtlen/zrJRl74oS4pc94yzWYH 1rlOM0EVnStDebKiAyZ7Bj1+M+BPZfh8eM3hyTMrvDzk5Rj0qRVHTK9yeHgSiEc1zM2q3pIGBiiS Hc0IWpOrVtvlgVQl8BbbzUcRaKKJUhjJ3SBZrGwoanPVUOEp5EVy5A1ebEXUCrJWEZaHJGvdNi60 i4A0mqm45DFr4rLCaFaO0IhwNr0IlgXJfTqNB8t56pigGHD6suTnq+fHTy4vrqSViQCYxr/Ml/Vh cgv9AswFyCyN/qIJB8Qh+bx5TMczHZ7+MAHjN6R7uK3TApoUjR6/r8vrQ/KEvm+wA+8NOCBvAFBU Os1rh8ZFxYg3RuqZ+pM33MmUfZP7xeyh6m9VCQxmK4ZPv2jo9BnuJxulGXL+VUbPn9oIjMYTQUB8 VQmIpzkBSAzpdFl1DOno8jz/eoTIwPI0pzYgxgYHyn8I8++G9jMTos7MnbZlPBvOp9gpQTnlZirA tJPaKZm0uFPCjmfsKHyC4uY3SFIY192RUrJ2AJ0k+v2VSrGk4+Cl6gWYUb1iOsVkpAc65KOu1Dfz xWixWh6pj5bmI1qIdCyWUKSrFu3RMLnRnqTJQiOVzGiOSDGDlYYDzucySy4rMa71lXaFZuVo4wdb Slru0spLRusSZ0fXuUQwMw4rSew6g/KW4gD10KBVHUnOfBU+S5etzwsAE2m5RsP1arYaXaNGvrC0 dj0qfgjY3QOTLxUsEWCIsz6K7tJ1f/yy88odJTApKCoDnG2hsKlvYb9ULyyvMsCXw2eJ5snUESkW O18G0FYG4GXYu9VYkBmYkAnYjRV/ES/j6cv9V4YhcHPm9a92o7gqXnZeHdlfQwBfAcjA8Q76Fu21 HpQcZ+4ByfgF/3n3KktkttCR/YYhbupFXaxUeJIX7rQe64UyH4ZjRWGT7Sksq5sSKpt9ZJV586wo bfpxlfbLn1Jpac612Tc2bUwxTpzXurAO06qNvMu0XSrlLNlSKO9mraWKjrZkHSCFah64aTyZzAcR DPID9lVaGMkDwRcMUiRKDSLt3nZsw5ARVBJ5MFoDndZsmkz72h1MxWk2lAKU+QcrZpnwcsSdT+ZF T9UEGC2TRKHqvAWmCNp0Q9ByY0c6uRxAcjwcn8EJ9iwf5J8u8sPYks2lxPJg6rXNoK0GKvtIGShP WZsnqpUpNPhKeg/LAautpBU2bjdrJ5q3b56O7yLSOOIJ6RSEERErIo9UY6YA02S22rgVydLEfeiD tGkuQmM2Z0HDGRUlCVByN+ZEaHbi0Xo2aHCiLlfnfBbhmLwnptmpmtmFbnC/hfoLzdKhyMfoy/TK iamRi062Ro8tIm+SVTK7RaK242li6XMyH0cygCDoMhS0uxwpXu4yWY5nNy6M1FGSeUERaSbr7FTc MllM4gGWVkWiTwbGMrLIqOwiLkDVF2yfBb2ePVuzFrk+fbMizS7XCfyaEPO2r4Pp9O5NWowGyaY9 IuglenBjWgHFA++Y/OmboadocoXfAyPWS6nsWuEXRMWz+WxMpgLQXcEFPrQei2v3s2Df2EK2CgZT gEW8eu0++gMW6s5soE9N55NbxP+Rj7lPLp6/OL6Mnp1H12pcXZ0piEzootGMZmBXL6bMWwr7rcSs KagB+z5OST8Jv7EO6Yt+Six/8FovhQYw60W5s3s452pNjTXxSxkMaCm/ptmIkpVYQBtjyKM4Ovb0 U9Ed3zl7YqoH1g0bniVKRFpkeFOqeWWam0gFKKUUjtxqUbL7bUxPR4xvs23C9TRZ5rchz+b6Tb5+ KmF0J5SwfICHUZeelC/CrixRqlSsUbbX4WwdtQKTpO/B7hHD+55kcEssPctzoYx4s+H4ZrxqIuve YTJY4JuhJiysFJ3TgNHHZ+HGgwXRxyJOboXWr0ylav4QjCJqDzZBPaRSuRh9ElzceHLhoV3qbiTk wP/wvo0F3cexbY1kA4G2xSfxPfoz8S0z/qvQ+IcxJEt8BS6Tj+J/Hf0J+Uem54Rt5GbVVJ6V2F23 /dX8LVnsi8tYVE4WbwfWyYv1fnafYt8OVvNpX1qcNQPBQcQuRMH3wznpaT8FtlMH34574itxrzJA 6IMAKb5XWly0g22ZAXz9r25vLqbxaoAvDxbkgbbyONjzXKSRZXe67s8XK+maOolV8oJMchbuHL+C JS1cav6GTJHKZAemLXJhW8mxfcZkRRYEphbIQ3frYQ4quJx4kTk+5nCNjBvtZhnPVjnGSF9KKct+ ONTngFWHxcUqZctIG7TKPoOOljm8Ml5K5kR+GX2JWuELw1OGlAi3F87jYXx7Iw1Z/MnLV1m/mUwS 8z5m8Ed2HNdNlfLGxsub3KPbqXRzEichx75dPz2+/C76XoooPz6/Os2eR4F8TnWzwm5jcLEtV/Xb 5kT24jJY/q5+2yBvZRy4qDUHZg/k9wRXfU8e1GSAwXxxXx8204YKRh/Xh41mPVVP8vmiQGh8bzvV 8M/j6Oz06joKZJ8EfxhorgoBC4eoahrfcNtwROus63XLGbgIXTkVMgDFZC5Pz7+zZFOwbWKoj9mV Z5/wzsZf6GYyUYPo3sc0mQ4W97l3R5nbpbbLyXUvlDwXWA4KJ0RZ0dP5rbTPRgs0aOsEi7cIqFBO qYoEsAzVPGylmB2dG4jCzphJmygh64SVCAN+XkMvIaKrtoM3xFEiJ10xNPh6iRSK88715VmSXtgy fltcnnfyGF2O5YcQhIetrpbU7JApsmp22Bx6aU/5m1GfOclbrNZdaKEN5qLFq/cq2gbkiz3g9qgU IpjcvLIFWmgWmrZLNSm1lFmJYjZuxUIyNIHU9kQTiV9Wy7vRclraMquaJsy7zD3+fKZiKgHLTG1T vZpIenO1QNmCPm7MmqwO37jGm2tZRUofrjGLKxXZgDRUnCpVfzm71csS0yTGeVxHL8TUC4YklHAv pnw1M7iHHgEZ7iciMI3gyyA8yncok7fydeRmQAlzQx3lIGKiRHGhCgnRZiDA2AnrsGscvUHmz1yH RL7mbGMJZ7mITXohdFkZQS/0sDgBf0mfvCJY//h36x9lhTfOysrCI8OJPCxLbrGS471Odlt00cH9 9XKGJZTdiHreWQzSBe7WNLvJX5LBqtLAkJfmW1g8gPOCVbrBTG+L/vLNhyqL/GcW9Tq+T1fx4I1Z IqydJh4hV0rd6WWu5m8sflHXCDdMJmN9MxOPC6Il2M6pOEcLd+EOVMwrmca3iREMiejCyml1hrzZ QeetafIhrAJb38rBNmLpkRebdefikf2wk06EcSiPt/QBdMiVbFnQhSjFCg4BhEO/uZyusUqFV3VH YN0ivrW0Ub8+w2nqM6ZpfFe++kxzT5bLeeYcJz9ma8MtjaJEGlIZr7oWUxn1f0uWc8XjYa0CGbEP 7lVkrQ51qDqJfBxM/kxI64X+h/S1iDO2w+RuK5MKNY5ue3SVzftRFp81LhFVpZGYKNFIE29CaLyR oDkxY40mHus3O6N88Hhf/gHDQVCurOrmZ5OyxCrZd4k6LzuR15SxFZbktbXJ36Ydbpos8C1j1sPb towLZ4b2wB8CeJss0/dtl7mE4xuaNZ5HyY9vHI5CEHuxVS+oxs12iaPsV3KzVvVm6eJ9VB/vaHnv PkCgz9dGy3nfb6DXS4M4Yjx8HCLLzRDyzr7LuUIP/vjseN6z9F19x1EtBUZPJH/6/ORby4GtLDXb 1jOwmZd/yiy2Zf9KdtYqzVP49LOT3FJGZ+vh6+l4Mhmvpux9/hhwfpvPEv35MF1B9Eh2GFsZ6QEp OyNLWYEKpl/WI7ALqLeeR72pGmzr3l8kIR3UFK8o8xjaf3epP+4utd6URf3xPWqv3Hx4PljEEiCl mmwOigU8Obt48r9X0YuTy+jq5EkQtugfSN71pE8pRJcnx2dQRtDSaEcvLi+enFxdRU9e/ECZOH1K LFyDuf6e4D+VQeS0kfDsMjr+9ooWEAJvti6EpfwLHQ0k7xmm9O4Q2ranIuMg/zUdz6Rfr+frpfxy GN/LP+cy7H0Sy7BvVdh79ec4Jb0HdBpy7sdpdDNdzUcjgFOHBvKK9UDw9y6PDuQCjWnCdyXNZKrl MRuv2CU4t/HkyAZAg++y7owDkF4yuU14onHjQIGs3WyUk7PyOzI0SV1yUOc/eB+5RBFEppbxaKQg MRwy/VN+t0ougFSupm/UHnxKWbNGJuY+D85aQcTpNL6znhcqmteM5stp7DEbU1iXozKtUuR+ayaE M3y2wtbmaLpqBrpGLZGvuGLlLcWqqt1IuT7q3fRScLUaCu4WrugGx6qi0tpWm+JKJElnpliRs4kj +LTEMiTsTERLjIaW2LHgaJZ3c3JIsg0+yrCimVScDlR9Ons39QRsuYrAC5bFr9J8EDs2DgqZXG+m dJ8yjaX06jdYxr1sv1JOocAFPveT8c3rlXlyk3GRD/IKQYmcthJd/ZZF2NnD0u2lqmWqnhZLfb99 jZxSke7pSCdJvKjDZAgSerLPB0E3ePQoaAWffy49IzPO4O/w9I8/ghyQPARQlri9ZZ/NmZOIm2nB cG2i0Ibph0UVeQ8ji3AHMZZLnHmVKM3i2ZxoKlmYDULJPPvrmpgdXxAXJNRREafxeGYmQZA4YLO0 m2RFDJuMqdm9RBG/MGmcJ0bUkuFa1ZOR5FMgX5oOjTO81E3SoUF8fmEUIFUHXgQ/cUGW+67xNjBn B2pt+o0wakUWq3uwWHOug/qCs74ArnNZvsiFcbhX2b1Rg2XCMpBimrALoK0XtD4zuXVNL8SNVki/ bFk85OwOk0my4ouBZeSPlxmVgehd3Vpl58swTRB2ztDlpi8gMKcUCgS6cQiEFsCIOhOZZJTnt8ly uZ4VqBm8JvqpM6PL5keLhpCClBC1T90YjG0DWSv30O5bRMpFgiKM/Yui/lafuZCvZGag9WXg5tv3 cPORRcdrycOjp0QWryXnzvPj6+9tF3ta3Eiv1zcJ1Lp0mAq95kGGy0v8/ofvTiK4zEGL3Gvdhbut RbvV3Ycxe6+wZJPiMwvJvb1RwwC2lN9p7/f2zxrYSRChPLePjYwBUgXofjoZJBfg/PjciGOsr2fk W/B77mEmKyZ1dpBfUVXPr8hi95/DJBECCwMIh5w8JMLtjwbUM/fDGXm8S15TGfVWpspoERGAVO+s riodzLA3+vH05Jl2KaF8rprKQXO8YG/Zh3bFy+n5s9Pz0+ufc4uQXj57EZ2eXXz3bSuof9UOu/vd g06vux98FYQNA4ZWiAkVdG3tLc8wLk1iQcYnxNLqkMQLTr820/VoNL5rxssbejCOKeEJmOJzLlBT hw0osE4WsOqgFwNepx2FDC7ACR9hoJDM5/zJ8TUxq4x+Q2cIEfQnVNImM1mZqZ8KJSb/MixM8p/s oiOFFWhAn3FzAlUVYyFn6Eumi9ehWGcQCI4Tvbg8eXJ+/PxE13ODlk2grr+/vPhRLktoWdw+rjKR E6QJoZaNXEL+wKT07cl3p+cRIF29OH4CV7ZoT+Doq4l2cv5UQVJ+MxR7bwPZM6XLKfb0QdoElHb0 eI8RD+apdABZSml0FKiQEEdrhTXIpuOZN1k7rEF2FfuTtcNiZNsS7H0z8C/DB9FQewmt+yu9hM79 VV5C4y6FYxp4XUIFNlhEB95kHbCIFrzJOmBlPbB8C6StqvWbWdAXlEHlNwHFSubhkRvRUh2LUufg LbYLGOse/AmXqKe4TEW5gGuoQpK7hS9xO6hBdbTUgLPUN+T5fJbMVq6CSmEbZU+GKLZf0WWQzZLn N766tINiVMNWCbpWYIMyWVOMbI1rrB4YMAoqgYtbnb9MLmCd8GL+1p+wC9jSVqZhCa6twGgde7dD FzBGuV+CsA3W1ne0S6jDBovx7E3XAVvDe7wFvEUMl8x1CozFA80oLf11ufKVxQGLCfL6fjFfVRHF FxFV36DvL5AD1lI5g2Q8wTH09ZayYWKWXI2OOZDRBKab81ORjsnPZD5fboWhioRMjshIUMUIPfH0 PQfYMhzP5KFH83V7cs9d9nB9TlKdmEpve5xtypcWAbWE43Xlq8gTz2zF4Mgcj8YDeimX78qlCAXt LuaL+5ReH1DEZcnuYzt00S5uFiOH3FbxTb8qs5sSNOwY2thMWfmWbRZKo9iIlCrsL9l0zWVLKJRO KfSihEHplGZ0h1+Yh5OcFVSjee8lJwqlU/KSE4XSKfnLaQfF55HLkQ+TOJhJa+BJDIPTZ6I38XQa +9CzQqISr7zpWiExst5USzHLRMsTEWerceghybtFsV78kPEp4RIQPEcRB6zZD5Of8Yg82fbgsS3C GMOr+dt4qc2b1CTFG7G9PfJIPdIgo6GPWpCKLYGMzEcG8aSvDeY8G6lzTuKFpo93HituPsgWrbcR ISYzpHJ8RfFERqYsSbzs35doh0UIiHXM1/6TRRcw0tku17MBDl2uhVQlhHVqyfTX9dxmzFknSWAK WkV5KmonK90yW1y/8oFxV1crg0uXgfiWoJxLd3fpiBgehqTI4bIlmyC+ZaiSlLLa0XBcadHmiYes 4+O7aut4LzykvLHH8gorzwvPWNKMFoNJnKbj0b19MVLjYXr+DgSYxfTHxi0gJUmaVWFv09n33wpq pSQJ24hjIVM82ngg0jvKHJE24kykiC0wHmgRCcZ7JfggP2KphERAxJ0tPEqOZ2JxSixcCQu8EBB6 AIgZe0FPc3/22Yj8vwStVwi9eHJ4WDb0gqK8p9ALFosG+6VkiSYC07BeUbxzgOpEmVPNi6gdVCe6 ir2J2kERom0JlLQ03wI80HRl++vaW9X+mvZWtL+eXWpGZH/tL7wN1JTel6gD1JTfl6gDVNaAFGQh QwujyeIisp8+IRaVKKkTybwL8BXYBYt0At5k/WsnLlE9LtgaporkbuFJ2g6p06SREWplFcdVCOBS yHrJNDDCRPYquAyuUe78xlOLdkiEZtjyp2qF1elCTISlJVnCKQSoPyZqZ97SuGA1sjQ4wpOsCxZv GdPQn2MrLFavvm3OBYvQ7fuTtYFa+oi2vyJsoAi/vlQdoDW0VyNVjRkqvmiT7KMYSS8JoiF8x2M7 KCICDX8oL4QnGqY0iIPwna/YQfEKgUgHHMG56jTKrUbGGKDivmWyWYqbimQMbiDIYRvsVKRj8MOi 5koanh+WbBlSoISEuHmgRHVimo98a5xtypeiaoh3KF89flhGu5UCHrxXHUUYWPfAIxkKOSzXW2yF KtadzegycAvhEYKZjQka1svDIzZoDEpT2IiUIuwv2RzMYUUokEYn9KGDAWl0QDAaB1BIzAqpUrz3 kRAF0uj4SIgCaXS8JbRDovPC5ciDQRzKoDTwI4WBafNKupfvQc0KiMm68qVqBUSI+tIswyiXCmIZ 6AOfOAhNI1646DQPtsE8xwkHqNHbJjxUYbvDw5bIIsyyAAWV7GbxDzLP26Nu1p8IYCg/wSiBas4y aAgD5nvBNnCymYYXlj6SeSyTpcAHb2cvD11AasVTEE9ccyoighg8210RvGkTsCHs26gdsGaXCoEK W1j3VKWDdF80UsFiwAXhDlI7KE1D7UrVYIcCzevBDjbly+BasINPCUawQ3Ela8EOZeRwWZFNEN8y zGAHX3uFmIUK62IvLHMNHt9VWYP7YJlljYuXSEhZPljGoiQPcLAvJyoHOGxI0qgCaysWX7HoBqky SuFbxhScRuFwUowGqcv1hDAfPqyB/eVBAtA8IxGsIM1q8FgGGdo7omHy14lokKd9sFEp7kwpjvnK IArR8MLS8axKYUVoeGGruFJhRWjWwtoG2r0+xfYrviQhvGKr1Wulaq1Wq5UqtVqdFlepVYevqynR jWbTYpXCCtFseqxSWCGarEkpmsPEUQ06i8fQHvrEd2yJNjKblrrIKsoqxrN2kpWKq2YJcUVTKMar 2VWa3C0qFFmEhZdFQ0MwIymOLlFRKhDCOaIxIzZCJRgqT8fCz/ymQm0UYVnLClvVSivAw8uD/UWP HsISw6KiVaPlaAOVNFGMhxZH41gqFFeM52rl07CahAV4dtuq0q8U41nL61crzo3m7DfNyaGXQt1o VvmqlFaIVnOMDMTcipoY7mEwrLYcGZwbCL6pMicrQrOKTwNxtqGACoTslQKBO1XmwUVoLkOAoB0X stMtY+FnE5KWyUXcdy6YKnC5EUkLlxDjs202N6Jp4ZOMsNsw/vJ0ZCuUIowMIpvHGW1KUtuY2jKX 2+ERqRSIJNpG1ZanY+lfpIijSqtuP2x798ajjErJUqXP23o59i57Rt0sW4hvUhnbmKzRaniU08ZN UWmIWyCIiP+LNvcutEwHAko/LEvfjoDSn014bFCpQgqwsJLuy2rKgYDSL6spBwJKv5KmirAca4nl qKRALgxLCYPyRdhR0DUKDT4qWUoBkl1nqyqlFSBZC6tSVlXBuEYghkt67BMFhmq2BB3HEgAiBiqM zYVoltEr4YFd73tIfg8FWQViUV8fQqJtl2SzCREwto3JZEVithkljSyz+2Ox3XdtVlmCgj7/8HZG SXFqlTbFeNyZVWWlhC1FxzbtFLFpFfoKP1ybLUIcUJUOqhDPNvxAzNqW1/Gb0bR23TSezaNZFcTH Ge11I6rIUJNFzPnXoxQ3565EGSkvrGRpcpEeZaLilbNTOZ6umoDlylMlrNo2IGJuK76j0nRsvqz4 bju+rLJ0bPxg8RZV+ClLx1h859F8RQvmyjF9WyFsqVav/kd9gEX8GdW8IV33eF1I23fALkUIQthC /V69jxMuqLxiF1eZz9QncB2Y7jriKxgqmTW/U6eWzNZTYmO/Uzt79oKweN6Ub2iDy9nYh4Dg976d KGDiofxdIPzr5PJCAYYH4lMAXf3w7fnF5fPjMwUye6r8yHhlv2RuM+AM8p0YTAVY3qjrpLeuw+3A EM9Ovj96FIhf/CjS/wRaSC+BehjgKGIRq+JwFK0vuaNXJYeH+lXJZsor3k34sZrHCXvymWVO40zm nRLjsN2yhdDmHI5T5ov31KY4K+yrSZ6EXWhRuP2BP61ix+lsviS9E2VEqwFCPTMKDDGe+bEvTop6 cs/zbnPmheuV67ZTXPt018SXM3ac25uzcSZHvoeEaJV2UCeXl+cXQWg8PPnpycmL66DNUMTVkbRP gR4lOj05OYmCR8FXIVzMGl398/RpRL/9dPHi5Jx9fXFxdfoT+3p6dfEkqr0LorPTb6N/nlxenV6c R9c/vzhRxgzjrfIEOrz2vv0uVn4TLMQaDJIFXOsHpEUPCD0niHFEfzEXPsRVs9986IiXN6H+oK08 WCYrMo4fie5H6paBkWS5zO4vl/hgoVkDfaQUOv8puj67uLoKwt1u2D3o7u/ttbqtvd7BAb1pNPky 7EnATy+eH5+eSzV2dXr+HVxiy39eEG09O7v4UbK1H86f8mfd7BkrcS/7/YL+lguCyz+Dzm631T5o d7r7yZedg2dw12lYnM3veXQStHf3w4P2Afzf3Ttsdffanb2uBHF28V37BETutnuHIPDBwcFhr9Nt 7WtQYeskaO12O932Ybd7EB62Ou09QnW/tyfDnbcJUO+wE3ZJsa29vcPD7l6nddhtK0BkItDe7bTa ewd7rcM2gSF89Q6IiBLUi1MiddgN9w7bvb3O3sHh/mGn3Tno9hSYqE1439tv7ROe2739wy5hvhce tjsqVJdwtX+w1zk8CHudzuE+kYBw1ZPLC6HE1i7RK3lzcNAjn/uHrd5+qKirzaB6HShlf7/d6e3v HYSdbqd1oEBd/d/lNYEMd8M20Al7+63Dvb2wvbffOWxJkADXZhbXDjt7PdJnkeJJPRCr08DCCHRL RA0JVwdheNDbIzba7nZbeocSnUzQeu/0iBHtk5rp7LV7vfbemW4HE9QQOqQW293eQdhqhQeH7faZ YRgTi2WERPpDgkPmR6298Ew1lAluKSFRajtsh12i1/1e70wznAluOeH+4SFBIVx2O72uwuKL04nF ktq9bqdz0GnvE3nbh2eaYU0slhUS9npEJGJGe2FXw+pOcEsL94gKDkCmw4P9vf0zzfAmuOV19veJ fZHSu3tQc2eaIU5wSyQdV2evtdfpHrZae/vdM8QwJ6hlHgCfB6T+iPr3iMWc6YY6sVhqSDrJ/XaX TGZ6RG4dLYxoXWOWS1RC6qsdEiqE2zPo13pte79mPwVDVqKkQOkOZ31CjkBKaU/ZKuH0/Oz0/ARG awoD3OjDnJPMOL1ZJjEZiep3zXvwlvXX48lqPIuyF2QC0AzuGyZG8usa5lUWNPrWxJ0kaWriwFMc 1lJI9grHssokvTQx12SqOCScD0287FWGFYRtfaqGKlrUDAz0NezUnuQdYvMj5RZycQd5dsLuSLjA jwIyJ4rWZCIFN4yPYMZ2BzOLACYaa5gSRetdAhd8E7SOau8sjOBZrx2MZODDjJOX7VcqM0MrMy/D V25+XM4zB1faPl7OWkdjbWKyVhe8tV8FnwetO5g7NYK/P2JswkrZerk63jDZ0wgA5gt6UXRzvmjo L6L84g0KEuAwPClFdis0hR01bODKvqWKNGFI8rCr4Z+/sHJ7/sKHXwpVhmOK4MEzqYV9fdVZphYi xlWUXfaN1sgwGUyEAFF+Yzmw0Ax2WjtgKnQ1ZNWffzm5qpwl2SuLUhH11VzEy3ia7u7uWqXSK68Z MBy3GvB6LMQtrNKMQpGEuU0WyYiaqJvTInv1wC4hKbhOPGYDdiOmykUsTNWMPC/IYalGZIsDUHpZ /VFZ+/Suua3xysYBzi/px5fJzTiFMVwBWSbperICceJ0Cl7z+SRejSfUOz5fBA+DnUcr2rIYIHg5 uChH+TAliEDPT6aUlatrMB8mzAzi5U0TfjVMAMNgATawA1tNtQCvwEhzbGudwlvRFB0CIW3QxZq7 /RVibkesdiZVCP+0bbK1MdFC+m/byme7QEAf/GIxVSoFlegrL4GsIjFD20RmRmGrUnd0mck/HZvg HafYFNPGesdX9EIqJcSXaBVUfSk1EPDqimDIm6uC0amoDNKD71Wfu9O+0xjB5M5vw5GW92PIKOvd IW+FPyhOHl0BHQbAmn36ybomrHCtT/FkoRn4qquNTktK94Fb5J0Xrj5oWxVq76NcPCkNtYJS/RXc sRhkle5m2xLhqtYfdDDdk77g0Gvynfkl8tCB/LphOczACah6LuiUlU8w72D3rbXbCv6H/vuQLvWC x/xRSB99RT4azHHBy8gSHeWpfVFeELhts6LFVeinc1C2CnC2wyKp425bj9co6O9pxpoIjCRfVCCx N/iiYme0APwdaWnBI3Ue5ot4sp5f06/39HG6qoeNHXnFQVFY36CbFOVOMin5ijBdYR+RecRS/e5O +qQYlxkon8joExClZmluf05hzNYAB2M9bu6txHv48G+jxTKZ/nv2b8L6zmiWrtK3f3vwIL7jT9L4 9Yh//WXxt7BfSsz4boc8GQy8mo7XrQJ/YinVgMSSZ53/dHLDoNStNPGAPAyO6QRXghRebvd+7YyA 2A7qAsu9zZgXTDdO+4UuhlvuA/CkRIoWpK2wW8774dLWG39yfCIdbdxPiyeyYneUQQOYIjXvzOz3 xVhIjRBaSpdRlGHCQndSQNcjd0UxZdLYe+W2haUJx9Ya+2QYHgXmaIxYBD4GW1u//crN8q3/PTCp z+DeRzPbGts1awdxM3Mc1vZGMsT12Tm/mwyPyCvYjE+GfBP9Lt9Fn/FddAIm9tHh6S4Far8ib+vy z3w3/Q/yrTMajSTwEMDZe/iT3rToG0ln9DlwRhvYoTVdrKuB0YwvxS3MMqcQNpDrJn09J8Mz09Dg rQ/MarowjQpMisxGBm+DBy1mT1NqPoO3DVrZFI3plcCAQkdEj0yhrS5Tm0lxMswIEpKCIqHEiJoI y9mQsOme9VhQ8bIaXjNdx+1d/62TD10nyiBbmB/pv/XzYeoH8mO3vDYx9B4PEob9xTq8gz9Z5ekd nuMux/9Wycfs7wqT6/23ej5cd1c26oZmEq7uw4eToYmXw0edk4P7x+LH1/viGmVR9V2yOpdcWzS8 9aMLwGJe9zr6UZ2iYHTnsZAz08dA09ZWHJ7G1EcgLb2Dx4/oXtBXQWt3L/jCxkVDkCCthSWABqQv A7Z6TyZpYtHwZDiZtYXz8G7wWny9n7TvFqFb9eX2TRy3X/9nqkWWtDDV8X+SiqCV+kW3GL4myLVf tundE8kj1d0l4udFtQDQFxT0a/jBHZ350y9B0438g/Z+8Io7L/gIYnqdgN+ybeKj8Ks4oIpuNPgk eMe3neHuhyIHMGsG4AQC6hkDd6Qp0TK/UJ8yTtDqhdKKfMRbKE2pnKLbLbZQsmU/f4st7yvWZwmb +KrOap7W9dd5F0VGeb3qLb7dLbayLfGmu3S33qI24hNtPTR5uec+Ne/TJfuBQpip8aaM1RUtwm+P uHQJsuLK52EvUyY6KexXnBNa3v6ynr2xzZvvVst4sGIjcj4OAwbMlx+t7Yscn2mc5R7VP40g2sTL mW7vExcKpkoH5aZKtObYsg27bfeTXLahG0q1gnt2Pk1J9FBZmjuOLfEpBSmL3TJJOV+EGZ0zIgqR XfWbCCzK30qZaysTbQGnrehF+TXHnbBUkx+cUeVUrcqm45jvp8Rm4enfj8JsllYrt0LFNnXjlJn0 5NJg05tPl5XmyvWy1Y/Ct2kNGtdFpvtpcu1nyR+N99ykZZtGp7NwZ0W5qEvr4M/d3JN5vw+5FAqC 9ULhKykfrAcThM9j5mcWpbki+DwjM0EVpSIz/4KakK269HUmf0ndkNllz0im6JMLRKSxs/YReYIK KXKHJf+kf3X4K0zMQbQuUnK8a/AkHBIR8vcHi8MZwd+aOo0awePHQSeETKJUvgOvoLasV8lPVdD0 OHrAjpJDM+i2be87tPCDYGd39+tVkq52B4vFDiSWywffNRG1183309S+WD6bBGDq2xqvDflqllOA u55frUi3eFPHyQbExBl0fz0aJcsGTROXLugYW2fPmjsP7naacLdF465B08DxymSv6RMyz5WLHs3n L189+n1nB9LDcdb68/kkSFfLdN2vM6jV3aqpcPwmuVcfENh0NV6tVwljjD5lxb5s7/Ve0bIJzcHi vk6pcSlkLlfLdcJ5xAa54Iqo5QRschj2rFpixYPL/e5zHgjG7e4ueET+B7N7Jv1BGNgPZ2e0XHCp K8Cwr9mS/gBBAHOm74RWazTNY7BYwImw32uL5XyVDFbJ8CG8t3AbL5fx/ctOm6nHArSYk3+h9moL 0tjGA0qQ1tHVKlnUn52enZAaIuvWBG7RpJQYE3WmC/I3gig0mvP+UYs01G86bfLvl1828hbJOBmz ILia/IyGzIXi2TsHo5dJPHyeTOfLe1vtxEPSe6dpxhfXYeuuG4at9rDVYp9KYTRvIUtYOJ7VmdZu BqIxkO+3L19RQX7PJScfRzX2c5cqKYpm68mkkdVVrUYVyKAfPsQUmZG0yDIk/U0zuCX/8+jKGs/a OFYrE+Da6qP5AnopdswR8i02g99+C+GfNvzTIavk6TQZjuMVaw6UVZD+52T1aBQTIz2iiSIpaVI5 kt5bTEQwf242n3dFLVNGCDh86uYuv3v8mJgHpc/4hF1++v7x43avQdtEZ0QJEK7llyF7GYqXbell 2NNeduSXKqZQiwTRUsrN1COR6DIIGE141bOeceffM8rmgyFVMPmEwsnHThOUDjonv5na0rfj1eA1 5O1gB02ZboSxDuI0CVoPf88bjYAXDEvtScKTse/aTx+qw6DMKGtwhK1Xjx7cNQPxsw0/eb+eg6i/ 269Ern6NugDoQDPOscl4m6Me6UjMoh9JyEcG4ZxtDv2ATII4lzww2aAb9+fLVV17/q4mfZV13e1J uroFS1dGgMwKGpIwoSyM2T5uY7lwUX+38ef7Day6HgoSWbsI+sskfnNkwu4rsN980+6isJKwXG15 NegCAqFG3hfiw6po7rx/0I1WmyAEO//vQbrThFEfdJVRV2cgrGuTR2jBuZgctkRX+v8B84FGl7IC AgA=