1364.1 Semantics Section 4.

Ken Coffman (bytech@sos.net)
Wed, 07 Oct 1998 06:46:33 -0700

--=====================_907793193==_
Content-Type: text/plain; charset="us-ascii"

Hello all.
Here's the latest version of the Verilog RTL Specification: Section 4
(Semantics).
The perceptive among us will note absolutely no references to wire
insulation specifications this time around.
Best Regards.
Ken Coffman

--=====================_907793193==_
Content-Type: application/zip; name="1364s4.zip";
x-mac-type="705A4950"; x-mac-creator="705A4950"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="1364s4.zip"

UEsDBBQAAAAIABJ4RCU4Afcp9xIAAEFgAAALAAAAMTM2NHJldi5ydGbtPGlz2ziW312V/4D9Mol7
3WqRuuPO7ji2ujs7aXcSe3arZjgfIBKSmFAgw8O24vL+9nkPAEnwlGTZHqdqpsc2D+Dh3RfA3Fph
PDcsyiNX/LKDhWEOTCuxDWI5bD7v4m+P8oXR7fXS6znDu1tr7vM4nnlw0bXmob+i3JrbSxpGLIYH
QfjVvLV+sALK/YiRrgn/Dbu97qDbhx8Trvp3l+6KReScXZNPOP34DmAZA2seXbtR1A5sBsD6Clwf
7gEYXQKQ47sXBwDFHHTLYMzeWAIiciQ5nYoFzYFRGdrtl4auQzW2Vx5rDI3i2F9Dxr6o0f3qaLM4
+jJJIVfoNsbD4ti31Itd+/gOxtu+54fA/GMrZE7XWsCavGvNvIR1j18cVB4CdH0kLtbyuCse4l0N
iNLj0tgGEA0LShCGOdYfwm3bYwkZ70ogJNmlF6XRDUDKSxoTU72AC/FiYqKUonjtsWjJWHxrXbuO
HXsBDS3qfE6iOHQXy5iADM2uZS9C1yFWxNlN3CXnfriiHs7/wbIjo0tghuPG7hUjZ2xOEy8mH2hI
FyENluQXMCqxFNhBvkT81bbim34PYMdf4fZmPOx3CwsD9YWlZzRijs+7CgtjQJaMOiyUsIc7wW6H
PCRz349TyKMmxtizgMYTogy8Bd6InPl2smI8Jr/TQEIdW9yvh5vRPTdqYI3JW99Zk0u4Fmbzg+W5
URzTmcduxaW8Z6vAozFzHTD88WQwhP+JF5ELL9RIj10xzxK/+dzuyqvP6cXc9zz/Wt1EMQ1jGhvy
zvcc9TigNlNDXO4Agb1h91bex4Ch9bLbg59uhyDRcqVkNWNhBE8NdGzWrGu5XeFvkebE4z5nSLo1
n7k0ArLn7o8AFBCG3+ROYs7pigFIce06vcGoNxmaw/FdLQeGo+FkPDImexJdpbVEqSkorSe0QAVQ
/dlWUgPl1Oh6POT6AjlEphZDFJTEEqwGUBmBl9BxhPsHwhGIb8ZymGOJDG1EFX4GEl0IloCVYZr9
Ar5Gv/8ETB2X0EXUKjgDwRrW8DOSmA/7Y8R8BI5ax9w0nkIdaB3mqCatLEfk4WciCUAd8VzT7BVV
BbKtIgGpxB+YBLuRBER1KzrgZyZpmfTQPZoj+FMwTXMvNUop30gLa6cFLWNrguDHkUQZ3bHwOEBE
2eE8toqh0hvdLahCzHciDX7mijw0eiBv1C/aPsb9pyDP3JY89BQ70wgLqLiBvgyIEemMTifWCfUB
cdjrTnqDydisD4iD8WQCxtvr1/EI89paLmXKvGNUrLqUUjj8FwXDfqffHKuzKFiK1Q8XB1vQGyn0
WmPg8DHj39aOa6sI+Nzin4jITxkBn0P8q6YhTxEBn0v8q6bcj0/Vs4l/j5OAPeP4Nxr0zDHUvQPR
OfseSsJHioGtxdazKQlbcNynICzZ/DMqCR83IN4zUfu+A6IIb99BSbg1Lf8uCR8zJD4Sec83JBqm
0e0P+qNhv61JCmvfq0l839pw3/BYonE06vaHg95knDfG/SsWhq7DtAZ5+qgyq/DW9hPA1/Ii4652
WlZjI+1188z6ebkg6qf16qdlKU39rH79rKwzXj9rgHxy+dy/tWIXJE0umB27Pid98rvvoNAW5Dca
Otc0ZGTqMdzBiERORZN46YfkL4yTU38+X1EOkPyAhTSuPLZDRmN3Za1DYwJMXvngBZx131qGxgBe
h+yq5W0Qurzhdd9audycwCCgKwK0kePMgYdRF664Pw/ogkUDeX3th05kGCP1SmxIDofi9gfL9lcB
5Wvydh0zewlsCK9cm0Xa0OtobEwMQTusxseTuzvcFvKv7Tj0rHnMZ58tyrjj+La1ol/YjNpfksBa
roOlTYOoa1257PoLWIEhriKbeszo4vYG7gZHwHeHgJA4u1F3chvN9sitJbe5iBWAKCywV5eTxs0j
fSPqVuyjiOsueTedTskHozfsd7C8h3nk7cnF9Iz8cU4uf5uS/51+evf+j1+J9ZIy8tvJp7P/O/k0
JWfTi9NP7z5cvoNR70/Of/3rya9T8j8JZ6R3RFAiClSuOKd+sJao/FkMEAt3yInnEfE4IiGLgL/M
6RAjxQS1RKJ5uXQjAv+nnCScBkEISutI5C9iyh1gQUTOQjqPj0iUzD7DuiT2CciIL1gnA5deCOkG
HDjqXXkGXCV2uMIH6KjwXvqlEfAs4AgDNI7HNzElneJcU8z14vA+k3twBWZ3n6l9uPK2XvfwTmho
Pn2w9coz8upOh6NDGe6ARBuckYCzlQDawAilexCEJvdHqNEa/SRGOxYRrXnT+daa6da5jeNNdbqw
cttGcr6NfCvMKlKLOCyyQ3fG4InY/Sdz8NmrdN1lui5T64KdgU+kEWHOgv0YMR7JnX4IKCE4WAAn
nOURESQ3DyCvINWwlyw6PALzdki8DBnAg3wBhoQuOvHUgC+XLMcDAhQLGUcIUcBsd+6CRwDaY52m
FweOT7gPzgCcL7wFn0BtEeiIH0AAcb9RHBcRIDUOKY/meIRBPOpIpxMp90IcH1ZCUHK1NU7xAEIR
Eri0FB0bPJDvkRVdE4iACLgwUhCL8BaMY4BkgDkwJ1lAcIqBlDpCYclsNCWOOxdvACUGWMzrprw4
SOlYUvC1GNjFone3MyaYwlGElFy5vifRAjhxgXB0tpAeOBK/NYc/kfsN7jmLMX+AZSP5DtOuecIF
66nnxmui3rg8SGKpS51afd05bhWgbGtpJeuCkJfb1am/mrmcStTJe3/h2ltZ1ka7RjsrAvcQuBII
SEGwBdiZRIgHJbYPqQ1P/ATkEkXugqO5pWy7P/dqcMjjq8KGepGvo3S9BP1QeHFUnlk6gXrXdB3p
ANBgxVkWwOh66YJvQMkDW+CRUJPMgJBAxBtAou+QYyLhSDP4gR/hO20BXwXwbAhni+KQw47wEHVL
UrAUTAnqNbhDfvOvYVp4RMCc0WCBB5yB+UQ0XGMi4XLbSxwwOmASArmioYulA6YtVLkd1sqgFwca
izQU0SNd+SCglRutpCOE1eNrBpyHgivxcmehYy7kV1KKkwwtpTjSIW4vOZtyZNZMmy+FP/NjcPVk
5vn2F6EMmV6SV28OBXIU+Mx/rB3xMwxRHBIuohUbAaGTpWqp578rWH8m5TSqoK8R7MSYhSZUtTfQ
OrCLBLRgBQZSUETELE0/iagIFI75ikofSREPoZPFgUorSwNfHCBefA2eFZgD3ITEPYY0QlOkBBZA
fyl8Jf6JwOkK1CSPNDnNfGedyv4ctRu0MgcEcOFREDB4mxIn3MFSKBFCBR9PuS4jDBoh+5q4Ifp5
vzS9ntcd8gsQxW4odgWOKgiEmhZdUS9hBZrKbMv1QGdaiWbQTJAvgz/IRcGw2Vpxk90EIMJIBHMV
85cUso1tiSkjREoOFwKn/noqycYY0jGKaL/Op9SQSP5cHE1evTs3KmP9sDTq3bl5qOD+8ddL8obg
rP/Ex8fq8U8/bcVUjaVZbldjLql6WS/Hg+05Ye7HiQajKw07OUS7e3uY0402ECVB4IeQOB3nXl8Q
2EZdp1OOqy3E9fYV82G6ihXTWWWeOy/PmJ6fHN4zz9HgiMVSndGU5SJl2BGZQXKmxZo0EolI6Nt2
EnbyaZc+mnUSqnQ1n3XtepjsxirwV4IVZPeOQ4AmNMliapBDJ1H5nQiw0esd2IzaobGuRoNrmFlk
X6MO9J/G1DcPupi+P2zTphlbuFxrozTog3GMXH9bjdq7aWoZGwT/8xtiHkvrrM0LOm1LMO4U3Jr2
qmDsR2nOsnJvtPREVFa1q0YyI6p4eyWx4lJpLlIcW8vVBkXod8y8xJhioXyR1cEXEG8BI7dcbgi4
+tv2eoFnixb8ve7oRUBeqlI9TbcL4VCEwAYaHqbUMqHYQgaQ6VWla9FmikjK5aPnZxlzRVIBDiot
8ls5Jmvl7ZKZXBy1pdw+fAXOfvCVUiGLd+Ft3mCF0l3s2qBShQyTKUE0RdZK2JIXWZ5VqC0qvq/E
35T4x0kJTt//cfqXYqzcsRNWzQQetpMnBWWSc7agjyUonsK20W89C3FpNXqTuOpysArrWryo6iae
yW5i0Yme8PbuZNWpyvoxq6OF53SjvJKhspYpMbPoeQt1S+57byjIFhIqzjSvUuOGZRMjH5F3NyW2
mczFRE3WUM7i11Y+7pHgzlDehSlTDbcsUo0MoKYkgELADkLfZk4SQhzSo2jRYSLXSvWfzL3be8Ol
dd9uWFM1ZppWxIoTd65hidD11prMuCMnXbtYf4vSt1RSd2qj+caiwESrfoqap8bB7VcM/KxXA0pv
IdXCV27V6SOoBcPeQKtA67moJeA7ebqtuN9QcYZsQf7ee939B1J0/PhO7OFFsn/TWQUiJVVhj7in
k4R5oBDS3FK40ebO/baRUaf+MZVjz4r9Hqa5Zb30aXoxvayrmIyXs+5xGyyQIStY7S6WrXSgZN3b
KoBwn1jX28vQ57g9gWGowXXu0jdCUe1ZWD+eqJoFZXw/gkIx1XjjNosqR7nOQKFYFk1JJpowilJo
Y39Nu6LAp3qbyJbcsOJxnfzqIeZ9h1wg2HDwwGN6x2SVeLGLTMnTtUjkHVxvSmh5RkNpLhsLrWLY
typM6+3GVDnPqIW6nOj6csHiHz+hcd/HNW9MusV6Yv+hqKKYqP2E+XfFx2BO0tj22K6SgWwY/0EN
rXhXuz/Frggm1y8ORHqNy+QZttjj0hHD6aGvbbx0yPvSSQcFU+bK6c4alm7MqW8m0E2sK2yhFzX1
lyTEjZAVpPZHha5EY1tI4qXtxmYzUjdYaCL5KqdH2HM3BIxr+YGMwnMOotvO5VmG3L7AKwL0FOcM
epSDl/9khJhdBz/CExZzF1+n28EKbgXlI1UBpQVUlDamM5iys4ZWm518aOSbsNmjvPBR+HhyEypO
a7ayWgi5o3xZaZu4wGZkWhOTXhzkbJLFYWVDMENKkYCHTV5XtKSOqoovbXamWF6e6C21Ui9NDHhb
N0CHcIoDMAiRpnVOkdFpmEAHfMLX4B6wHWoLCnV7tUFtZ6IcrzYySR2nXwkyDgXgLLoGvgfiimEZ
F9dIm4liaA4NpwjMf6YVJfqv6ppKjNnC/0FOkUGHCCbLwEsrpxwVrNx15U1Lnx7mQ3OIZHuQKTyc
/A6SA9d244xZp3pMK6zQCD9TzRPpe6TS520M7UxJlFfwuI9e7xqEGcFQKE1saW451FlIuThcIXoF
QchgBNP8u3yv7KsmMKHaylgknYbY7kKHK7ekxV7zEoIhCwG46wuZih3+fInUJRQD/5ZdhifsM2ze
fdoOWDl1/hcn22d12XbW8bhv0rJP5+hp9sulTGu2QuqHF2rTR2w1ZWk1+G+bgnU3xcaCF1i5EeZ/
9Vx/+A7C3rv+e4qoqfU0Pfl02IBJ1arkcLF5jwc7Y0gSIWPwE8+RofOKiarl1f+rgZiKZfv4WYBS
qUUefDsPqCNaibdZiI2m/yCI5LpaKZVL1WCNruaxKz+Esg0rW53Ibgzpd3p5aScrkm13SzYc1VYn
tQ/TRnzDnok4NJoelMy3qmgQeOvUfMSRefzaK28lZp1L1Sa0MHe3KP7LjDN1AVF0ac27xOgIgd2l
nCl8E6axSZ7pJ3ia/8rDA2SWCxfiEyd4FoJ0utmHEDO8dPEXohBwgU3l/D8uUP4ygwAeCLG6b/3i
4FI7K7rzPpJevEL0AVUub0e78Kea9+7HXPM7Ye4l5l6i+cJumJ2oY/xzYPpWxW/hlLKUhTJLXV7i
dK86dYjMrh5f2e4Egxp82Xp8YEOhLqYUj3oK9FS3aRtI90xWevsmn9Pzk7fvpxjgznbMCOXMh0pH
PoJ/P2t171v7QPweDb+yCJUD/Ngh7+ZEEQovHTcCZWHykNJHWS4sfQi5qEZy13U/p98oqz2Tyucp
q6asv4QDTvq2ScAiILsyOmcy1JNQ7WA05EIfcWzWFsdvQj0Wp7XwEXE7rCPMUn7kkmUAwhl9TOWJ
pQb6qmwzf5MplmK69gXYpfhA6kJ8IHUmP5CqhXWpfUjVcIRMhur6CAWUW97XxIfZf7NCeZGWxzp7
KoPSnkzGCUjxQZsSrj2QZ8cpQUDUyw9JZA129eXXERbveGJCuUr1WIwtnmDXMQEGKFyOhGTSWZJ+
UapTzOIo+mC+kaBs66RCafVEBOpUEPoBXYhvtOzQj6LyZxmyk/dA9t7f1jeDzBOvbC/fYgY8eIW/
zSOCf4wjwjg9bNozF0peAgLjdxn+9xHuy4u1mqaBn6jOE0g2zbh2wzJt+TrZrCZXKMRSt5zwO2/E
b6CS/LdEm7wm41QHZt+0M9VyEpqR/hWjsDKc7mL/6/q+dVP5gGydQB+lEO5vG1KaVWwHsSkl1FSy
t4t2tWpJo141LtGoGoamGkZVGbaG09PgSOX6k6IBFUqMkMkDxw/UCPYtMSuhrd6o6ShvpjXb7ABX
FeEhvoFoC+gbDq1f/v4BwvvL2d8qG7pv8N1xunuusWumQgaXezRgk6T2y+INh9Dv7v4JUEsDBBQA
AAAIABt4RCUztLxK/RQAAABWAAALAAAAMTM2NHJldi5kb2PtnA90HMV9x+fkP1hYB7ZsDBgwY5s/
EhZnJBkwlg2WpTM2GNmWBM4LoXjvbk+3YbV72d2TLL+WmBcgJX1JDHkJhEfAbiA4ccL/tIW2D1pI
XqBOSin0vRTKM5S+B7wm4Y9j7Apb/f5mZm/37lbS2QQCrUbvw+zNzs78ZuY38/vNrJfn/3nm3p0P
z32NlYWL2SR2eKSWTQ2lxcAC/8cMxk5XaYdHRkYoaSEYmQifqfDKfTmW3ls7mcZPDyvAJPzGgC5d
Wq4ZjN15uoyfq7wVhAsY2xeK910gk8eKZyOedqH8PVZch3g24lMRn3eh1En/fu+FpLuMdavfHyWu
UeWxI4hvQ/w5xG8j7gqllwe/3d3F+/VsDpvMplRIUh7K7/eW/S7v2WrLGS0uL6f8d3n5O46xC6//
7u9j5SM3ngaMJ8fHE3r0tGfYFl/Cr7AzumlYfXyN5mQGNUfnSVPv1y3PjffmDJe7KmdGd9OOkdKR
4g2ZiLK2w/v9h3P+w7p6mLuFdI5rLtczffq5rm65hmcM6HjYdrQ+HcUNGGndbeKmPqCbo2fgDabm
pXO629jENSvDvZyjozxP85DFwQOOm4CgeiCBYWV1R7foWTevp42soWeQiCfDrbG5ZXvc066jBzyb
a+m0XbA8buc9o9/YqlEul6OJnqNZLtraL5MSXPaKB2FQIwpCPVSUrGuIHjFRQmlJCd7uC5Pmnm2b
vF8b4nndoYJLcopGUnl9uqU71EoPjXMLfX2666EhUc1ElcXcGs8YWXEHIumQIhv1iN+KnGaaoraU
LvrCohHT+IBhm1IaPO6VtDfv2ANGRs9IsYYsRK6xFb8t3TMN10Ntrryn9es8W7BEf2um4Q1xdcew
8gVPqk4iHl+SaA50sMPuTxmWJh/h6+w+Ix0vTTMpTQkOoUUpqL3g0uMaT9uWZ1gFu4BmuK7RZ5Ey
opbRC9FM1w6XNJhDL6ji0B3moDYkmu8JvSZFGswZUG1qCVQXSaLZRT0gCTSDxlGovswDNc7brviN
wbL0PrpspFGILkTDEKa90fo4wdfYg3jMaeLQM9IkyG/pGFdXc4agX5AybRYy0AY0kAoZ0BxDS9Gs
dXRNzQa9snEhUWhKDNhGhvcbbr+cgajFG9TRO67RXzADbQ1LKHoW/d1erFKNg5yDUT2a1iylgcWc
svtTtocVhKdMO32dGI7igPKGFY2iag29ZZ0bmWM5sqh2ClVU9Yq8EDDoeX/pIQ0VTaeFjTSpUmMw
tq7nFDAy/QVkDA831ePoru4MkA7ZTsbllSNOl5o1hBkFYdE6HctLDn0SDE8Bj9A8EXOEIheTLXqw
UnZmKBHvIm3BKAdFoEQk5fO65vgd4Bh9OZqZNFhUHmY1jUTQW7Q6OPqXCoZDM9suezy6nxJ8NZqj
b9H686beVCGAExrPAc0s6OO3BjqAvtcRUf+IrkgNqX7St+TRva5YldXindNgLqoWNh5PSlE5VpxE
87K4EmElb1jb1Uwjs7arpTG+/spevoJTyiJKaIsvXlwpbNHsRShJIn5TaVUt4ap8nWhvpBpXNVLx
NIRuIZ+3HSzwbcEiIGqJriKRSJRW0lrankYerzWyvCHZ1d4Yr/XbJBrT49fUxFNYhkNz2Z/pYkWx
0+mCk6AHem0ayIKjLFGQf9AwyY55ajGsWAZgsDMZDhFokEqXSyqXu+WpYnFyl/FwS6ibRCvKenVJ
9ABS1JNch0an9D7DCtre3MZR56rKlUJ2lHyGMi9fwVtE3q7olSURr9WtTMW4NfnrWL+xJbRkCWMe
WY5buh7669KSREtgDpPkO/UUXaMezFA8aRRNYyhhbLsYseyKWZpTDppvpUrmkJg3QiKYaBKFJweU
X1jNWleURUxkqIDvIY1ZofQ4KhcIXxCIssFW/UEyCWGytmnag9RSR6dlQhStkVAyo6yxuIKMYomi
5mnHuvUdlzfK+Sbrb+Fdep9WVf2WnzFNg3sUUvhdWS7FGCqivOdO6T3H262xHfBKjZHWr2i9hZoY
brCWa3I1H82aB2q1RUt7JhYSSw+NeISGSScoyBE47VK2YpeKB0NdCdObMcRKVLAyMBGBX1beRvzU
XeUIQXb0Ysnkhk+b1jMFB9MoPD9LFZj6pczGyQV67A0O6lo1Tj3KgRutFrKk6FwsM0g3h0IjYWXk
Q4MGeRRRw1FiJVpIf8dQcn/5U4aCfhmV08iDM9Gnk58wZsPLzCDVDUPo6H386tZl511DpbeNrukR
oojOpl1nwQkmlhChSoncCJFax+oOsgvdyZ5kbyBP89mp89pgAExXH0PGsi6rVkAxjmRG0znHtmgL
Q3rvRYi9ZDyxy4Vu/gSFjha5OXH+WEKHrDWkoz5eWZanLWhPW4kJNqEMZhs8ctMzqL5gaXHF3LHC
ZrpyroQMb9HQjbqgBuuuaHZ7uN09unduNw3Y+IuueFh44KX9RlN6Ma2/FUpAM3F8mz6YQ5eFjana
nZQa+eKCSsUEa6rYT4UrpocdO7S1SPB1ZYc1qsSScwSNbKGeiTbt2nhd4x8LrC445Pf3Y+Vuit4x
yEpD220ofsgO2Wp5pmezhoPqIxtHrabzF+FdW/KMhWZKSWluUBxcWkPljirPpZOerEG3RSnFIpqU
efKtm+v7zMUSpAdHalo8eCndtTYFFknVZsodkucb0PIRE0NCXR8Mh5EVTa5sorTDo/RySvcFogOr
ZfGImUzWuD3s/1HCqvKEDkq4qegudlC7GuPkbrdbQ5gC5M+mRWVhjYVrTSKgCWHPlFMDGkS9jZyK
KC5gedtED2Drh5mS1nmJiPQcZb6JL9cquv9i3PS7pmE+76AmNFLuosUpK7qkseMWXV52RyMlqkf4
WM9QnrVYTo204ZX2XiJUREQBtBihwsBXCh1luYH7QMcS0Qot1AVZ86aWlmqE4lKOZokjIeGhYDnB
LT20lsj7SqUiFjnSArmuSa0XW0ma7/IAQOzsc0YfbfzzjmGLDhcnJUEVvo5XujhjODlUr58gbWRV
1rJTmcuiT3S0C3yEsJHHAxXClvkhSp6i+cPsSGsYTH+Klwwy9vVkMSLqHt39Cc/bjnXJ9u7GOPWU
vCRtE+fHHhZorBB2wczI+TmgCyPbcL3KSMtm8YCgOHXUUhLM8IS/T4fhDzpeNvOmMjtfoszBWUlV
tcDItwYmXBqzMfZO47ybUK8mGn0HfpQdlDhQ9g9ig52ils+bQ8vE9rGY9Qj2WaRhdsEr30wbiMJr
ZC/NKeEG6Vv0dEG91YjeYpeebcvaVdawhOIEWZ3UUXUl5+y9VW3mlVURWUoPL0Xhykcb5RggUOLW
0pme7GpftS5JmtvZWDz+Qgp+bIQydSpdqnpYDVe+MXHUmG5M8LVZrmrBzYzhou26PP3ZKNewnI2p
QL3ibzTD0rYcmbRiDeL0Y2sgutBzQyp9Ubrw7A+d6mL2baS8aZtE8OBIGQk9IXpcvoMpTiShExu5
WONIWYp7cDFnQi8Je8Xrtx7x+q1Tvn6L94ZeyY1yDCXnQLSiQ8pbP3+bbyvCwiPZN/1FSbHWocsK
VihBHkRrnB7VzOAEorgjUO8Jm2jtoOMIpZUqWeQtPQ6XdTeJnvJzyTYJy6TRYqSRelsRIifiJHfl
QQKNWN6x81qfeE+XdmzXLX9LIj2xsNYsIR1HNxbwa6sH/5Q30H9b4BQjam7iuqVhbyTHE9f+5dUX
0i5b5GmLY6GgNPFgW3zQwAgH95ESl7XLn7UrsLvS+CXyYb6ML70ttVWaP3GfBi/8FlaMLT1hkNMx
mIhjbyYFLm1HS2k7lByqFaE2tfpNUMKFhMetkKTNkLRZyBZKbEWiFPwsVQBZK3FHzlCLXpxx8lho
6mu8dLBGkb7ygL24Ze29YgNm6Nmpz7f5VgspolL6FaoypTTOki47OpCXvcYWu9q1yWSSb2huvQC1
xle19yQ7+fou3rsmya9Kdq9dt/5S/gBf097duam9O8k7kz0d3Ws39K5FlnXtXZde2X5pkl9WgFq2
NvHmiy5aGg9e9HfY+SH5ImiluMWpJmxX6IiNkt3imW6CNzfLl//S1ylYMFaOTae9Qroe9TLYxRKg
ZbG1cQupL4r3lTZPw0vro4UP4VS2M8ZuZ9+tuff5xfftXfGDacfcP+2YXTum/HDHlB99nP+4oZow
ibEzQd0UxmaAW8DXwG7QMJWxBHDAEPgzcCOYcgxj08FWsA28Bw6AmmmMZYAJbDAIttUydjN4F+wD
sWNRJZgOZoJZ4FzQCq4FJrDAANgCvgyeAf8C/hW8DP4T/Bf43nTG7gM/Bf8IngF7wAvgRfBr8DJ4
HbwJ6uoYOw6sAJ3gFnAruB3cAb4Lfg7eBR+Ac+LICzaAz4GrQRrsBPeDx8BzYPJxaA+YA+YBDs4G
i8EScBn4GrgV3AXuBT8APwFPgENsmB08xD4I/R08JP/2qYt9of8G8dh/rHiBMPmqG1IxVnPlDayG
4qtuYJOvRMpmqv9NsOZ4xrrA2zMYOwiGwaSZGGtQB7KgAG4G3wDbwe1gN9gPDoJp9YwdC+rBbHAK
OAOcBS4GHeAh8CT4B/As+CfwAngZ/Ad4HxwA6VmMeWAAXA+2ga+C7eA74C/B98G9YDd4CjwDJs1m
rBbUg2vAz8Ae8MgJjP0NeBH8GzhtDvQepEEf2AUeAAfBMGAnoj1gJVgNLgVrwGVgI7gapIEJXPBl
cDP4OfgFOOUkxhaAQXA92A0eBG+D34B3wPKTGbsE7AGHhg8NHxgO/stUHKSUXh3JH9uPPwQafaUH
QIy/RnX/ErwK9oI3wdvgXXAA/A8YBjVz0a9gOpgPzgJbwV+Ar4Nvg9vB3WAXeBC8Al4F+8Exp+B5
MBPMAnPBGWARaAXngzvBPeAJ8HfgA8pzKnQG/BWYfBr0C1jAA7vAA+BvwS/Ac+AF8Dp4AxjzoD9g
C9gGtoPbwH3gh+A34Pdg0emMXQ7u4Yz9GDwAHgPPg5fAy2Av+C3YBz4EbD5jx4MTwBeADvqABwbA
n4IbwZ+Du8H3wW7wMHgcPAl+BV4EcxegneDw8OEDob/hiKsDETmGQ7/Kc5b9ZnLUAy1IUb1nghaw
BCwHHWAt+A64EyxYiHV9ofz3oF9ZGJKTHdj/iduriXDUoaYQKx//Ot/+/2pSqe3/HXgHXAu7vhkw
2PIYeBa8r2w52fGTwTngC+BPlA0n+30LeBI8rew32e7XwX+DD0AD7PE28Ah4TNlwst+vKVs9Hfb3
BLActJfZZ7LLh2SThkuiQyXRWPf+P0cIsXrxr5tb2bnUl4uUn/NoyKeZo/yX1pAPQ77LT8Hjym8h
v2EEPgN9C3AdMMFbM6QPQf7DbPgEHKSBrnyIQeVD3BPyHQ4o/4F8h4VgMVih/IX14CfgQeU7kN/w
7/VH0erPijZ8/AKy8PhTX74B3lN+12T4UJtBapb0wcj/+qbyuXaCx8CTyteaGfKzdsCn2gkuUT7T
N8Az4ENwMnydTcADt4BdYA94S/lDvg9C/sc0+Ar1gCsfoxUMKV+D/Iy/Bk/P/WMP0mc6UkGOP/Xl
75WPVqt8se0hX+xH4Mdgf8gfuwW8CTadhn0ReOI06YOR//Ua+C3YDw6A3Dzph5EP9k1wF7gXPAwe
BSfC7zrndOmDrQPXcPhLXPpi5Id9jP3wckn0qRiaakcPTmP82Jm52Kw7DreyuiUYzKVsWmzbbBZj
uZjMkuBs7CDG/2zqY/Jzyccl//ZDcJzybVuUb5tVvu2A8mnvVr7s48qH9f3XM5UPuUr5j1eCbysf
8n7wlvIlNZAC6ZBf+ano2z9oFGlwPiWBdESM//zj2Cy4djF2OTte3MEysPLdkRrEU7voWw9TfAU1
iWnyE7GysIC1r3xvZCfiOZ16ViuYHt+gOVqfo+VzfLVteaG8nJ2+MsbeQzx1ja5ldIfVoc7jp7Ga
vTOemh+roRwcOWpiyLHatj2RY0ZJjjPY4fUxVh87g9V12umCOGy+QsuzKWwmW8xjkPMa+LHz2CqU
syA2j9Wuon9N3atvgSCTWT0aXMNSYoLonFpFmhcT3yxS2rNgDxPNFf4N2SXSa9rz1KOfZrMTxD3y
mchu0tpJ84dKmcNOZCexk9FvIysvZifUb0ctvUa/7vIufZB32/2axepmbEcjeob6U7bJpi+gLO2O
gS6uE9e9Wg7Z0JfU0zfALj6PFsvp/NTCc6YS3wNyft+GTMfNJekhDJ74Cgt/JhUTIxwrGSv6Gu2M
aj53Qr7pl+sW77CzWYgdvv4IKjcRPpUhxg6P0D6O5sDU2hqR9pS8tRoqyK4w6P2MnfX4JtvJcH/W
sWPpXg+lIYk2AIyuE/79xFK276JHvlRaF32vSd8KHwLz1XWjiscK492fCEcfupmNPw9rb5JZiB02
hBGp/vu/OWxKzC9LrDdlOkT/8UvyvwzlSNuGdZS+/9uE2h2WYZ2I06zA+pku5ICXUNX3f3NhL6SF
kjpczfd/JBN910z/FDbGOlBzP8uz9SzFvog7R/b9Xz3qD/dn1Pd/UfOOaqK3e1NYj2h1P9NE369F
67OiTyjFYwauadkd7fu/BlX/ZNX+qO//yuum/tqLwaJC/O/3qf+ojCmAvvlXRz6sVt2fzuR31/Eq
5utE+OyE8PpfPnc/yvp/QcT6HxUOj5De1VSkk17uveme9w6uz83Yfes0tujsR399HtIeipEvJu/f
oXR5h5r/zysdfkXp8TtKlz/09TkmdfqkmNTrJlXWUsTUns2ISc/NmNT1LTGp7zcihjvIyEkjL/mO
mDjyYjsQz0K8KybleGMy+Z7YB7HqvivH7kfk9/20eWqOhR2u8vvha2qTctJHfZbkamaXiet5leOZ
nVKx8la3HvlhKWoI69P4Iy77+p1qMlYZjrT+P3T4LNf/Sdj/zT+7Vth9Zr/vTdh/GT5N9t/vv9Hs
P83XsP2ntVAd+2PfLddQWgfp/9+CHTJTr88Z2Q9soelMgZ3CAv/fD2H/n/YDh0axURP+xscXql8p
JsJEmAgTYSJMhIkwESbC/4WAjd0mw8rYgy6/6HzW3b8ydE9cXzCPvYo9m7h+6One18uuad9AewiK
6Z0UxfRealKV9Y91/lPz0i9fuitxyoxv3T6NLWo6+ACd/zzF5N4kpuSjfcgaJvctm5ncu+SY3K/k
mdyjbGFy77KNlZ7T0L1VQ56ezvEe3RHfugm5L1TtiatyWCiumyHLOKJznmo7448Q/hdQSwECFAAU
AAAACAASeEQlOAH3KfcSAABBYAAACwAAAAAAAAAAACAAAAAAAAAAMTM2NHJldi5ydGZQSwECFAAU
AAAACAAbeEQlM7S8Sv0UAAAAVgAACwAAAAAAAAAAACAAAAAgEwAAMTM2NHJldi5kb2NQSwUGAAAA
AAIAAgByAAAARigAAAAA
--=====================_907793193==_
Content-Type: text/plain; charset="us-ascii"

--=====================_907793193==_--