public inbox for gcc-prs@sourceware.org
help / color / mirror / Atom feed
* Re: c/8639: simple integer arithmetic expression broken
@ 2002-11-26  6:56 Christian Ehrhardt
  0 siblings, 0 replies; 2+ messages in thread
From: Christian Ehrhardt @ 2002-11-26  6:56 UTC (permalink / raw)
  To: nobody; +Cc: gcc-prs

The following reply was made to PR c/8639; it has been noted by GNATS.

From: "Christian Ehrhardt" <ehrhardt@mathematik.uni-ulm.de>
To: steveJepsen@netscape.net
Cc: gcc-bugs@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: c/8639: simple integer arithmetic expression broken
Date: Tue, 19 Nov 2002 17:10:33 +0100

 On Tue, Nov 19, 2002 at 02:42:14PM -0000, steveJepsen@netscape.net wrote:
 > >Number:         8639
 > >Category:       c
 > >Synopsis:       simple integer arithmetic expression broken
 
 This is:
 a) real
 b) present in 3.2, 3.2.1 and 3.3
 c) present at least in C and C++
 d) A regression from 2.95.2
 d) arch independant (!)
 e) A show stopper (IMHO)
 
 Someone please mark this as confirmed, priority high. It should probably
 also be reclassified as middle end.
 
 > >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)
 
 I did a few experiments with expression of the form (A-B*intvar)/C with
 A, B and C beeing constant. In these expressions the Bug only seems to
 happen if C divides A and B divides C. According to the assembler output
 this is rewritten as A/C - intvar/(C/B) which is NOT the same.
 A/C - (intvar-1+C/B)/(C/B) would be the same as far as I can see.
 
 A minimal example is this:
 
 int main ()
 {
 	int x = 1;
 	int res = (80 - 4*x)/20;
 	return res;
 }
 
 Compiled with gcc t.c this gives:
 elbereth$ gcc -Wall t.c
 elbereth$ a.out
 elbereth$ echo $? 
 4
 elbereth$ 
 
 Here's the asm output on sparc which shows that the expression
 is rewritten as (20 - x/5).
 
 main:
         !#PROLOGUE# 0
         save    %sp, -120, %sp
         !#PROLOGUE# 1
         mov     1, %o0
         st      %o0, [%fp-20]
         ld      [%fp-20], %o0
         sll     %o0, 2, %o1
         mov     81, %o0
         sub     %o0, %o1, %o0
         mov     20, %o1
         call    .div, 0
          nop
         st      %o0, [%fp-24]
         ld      [%fp-24], %o0
         mov     %o0, %i0
         nop
         ret
         restore
 
 
    regards    Christian
 


^ permalink raw reply	[flat|nested] 2+ messages in thread

* c/8639: simple integer arithmetic expression broken
@ 2002-11-25 14:56 steveJepsen
  0 siblings, 0 replies; 2+ messages in thread
From: steveJepsen @ 2002-11-25 14:56 UTC (permalink / raw)
  To: gcc-gnats


>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


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2002-11-19 16:16 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-11-26  6:56 c/8639: simple integer arithmetic expression broken Christian Ehrhardt
  -- strict thread matches above, loose matches on Subject: below --
2002-11-25 14:56 steveJepsen

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).