contification paper
Matthew Fluet
fluet@CS.Cornell.EDU
Mon, 12 Mar 2001 19:28:08 -0500 (EST)
This message is in MIME format. The first part should be readable text,
while the remaining parts are likely unreadable without MIME-aware tools.
Send mail to mime@docserver.cac.washington.edu for more info.
---559023410-162216788-984443288=:23339
Content-Type: TEXT/PLAIN; charset=US-ASCII
Here are my updates to Sections 1 - 3. grep for %fluet for my changes. I
reworked the last paragraph of the introduction, but I don't know if it
down plays the dominator analysis too much. I included the tightverbatim
stuff, so add \usepackage{verbatim} to main.tex. The updated
macros.fluet.tex include the changes to \A{call,cont,dom}.
---559023410-162216788-984443288=:23339
Content-Type: APPLICATION/octet-stream; name="01-icfp.add.tgz"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.SOL.3.95.1010312192808.23339T@hoho.cs.cornell.edu>
Content-Description:
H4sIAKlnrToAA+xce3MbN5LP3/gUSFkuSXeUIkq2bKdqa0vx41a7suOytZu7Ml0JNAOSs5pXBjOS
aBbz2e/XDWDelH17uWztVZiKNZxpAI1+d6OHR9ODKJjn3yQqKDJzOI8rXR6W+u6rX/FzND06On30
6KsjfJ6cPu78pcvjR7h+cvz45Ph0enJ6DPhHj6bHX8mjXxOJbZ/KlKqQ8ive+T1wn3v+L/qZpfo2
yJJEpeF6VmZhtvkw/bjGpb4rr+Zy/eHDg+nHj5vNRggCLZc6K3Sydn8360t30Xkaa0y4+eC+flxf
8PcOSJAVWRyrYtUCe17fs4uFer7G/1EalVGWbtYvmmsLUCNudMl4z3RqKsylyqXdggnWD6Y19jX8
Cx1susD0b6Di9QsC7sB+l2UxgMMsUVH6RiV6zXd6UO+0CpZb5nw3RIDm6kLPf8Tdq+wOeEfpSs7M
XCabATJvsrRUUfxcxT2c3IM+/OUo8OUIpJ+Aibl+MzaRe3bZf/a2yBaFSrpr+Jv9nf81vU6z297m
La/ma/+wv8JfU9Ax1uG2Ue7pkCllVaRdvNy9PlpnqYpXJjJd4Ppub2Ll7w+EzvPcSl13iU0zcH02
eJqlugMAeSgSOTJNeZuNAB4PBbcN9d1gx9Cs92qu3/Voqkz547Q/lYN9PQJ7vAX2zQjsyRbYyxHY
R0MWlUV00985iUCRrC/p0VDNvq9KXXQnt7c2I3B9jPnmj7MtmsVP+4i7IWP6dZ6mfVTsrTG4Pip8
cysq/LSPihsyhspZYC1CX4TYUBANH/bAsewWuj+nR0MRHRtBC1joHpPeZVk5rtj8ZGioQu2tFF32
Hr8MF/4xX4487otxqBZDkSfAv4wADuSdAPtKRIADYSfAPpcI8NEYYF8CCPDxwPCqQjOhreOISpnb
O31+pIE2ZVaYNqiqb/ahYQBHmPciS4a8K9XVd3oRpTTzFV2scSfW/9af08N1wUagXqYhrOoxrGqg
cnL1ZEnpQayu1g+ONyBKuH0NjP6ywSNjAWPNOS50bMG+fTCQC9wv9JwhLwnklxm+tqEFRReIYvQl
hPj9CvSOMaoso5jk9vvL6WY9PT4dWOOsLHVYqBQiSzt4MJ3JWYy7ZiaBeRc4SkN9B3/34RGhq+fl
HsCLaLEs93/EPuUf5IMTN1o+GIiXgUilZRTwHj7Mvv4gH0zlx9nXH/s7BTZmnhUJucItoc3lQD1z
kCO6u2fI28GQWxVf3zPgh8GAGrORoK+NdL3VMXdsEbXi0p6h2QCoOnlwvD+G7nCY30Rnzb2R4fou
Tx3ed/mP66GEzas0cBB0OQaywP3NejFy1w1cbBkI2U5rKR8DuFFF6sIao3+uNIyEvTlGQrrPsHdj
UyXqWv/tgiJzotXX9J+QWz/OLqiiUJQTfFzHm/ugA5h+5BnlZkbSO5t9Fha2hzTpS0BhJe5dm6yI
xXPgKz99usxyyPGNyRUodzA9PJpdKaPjKNXmOsoxoj/gO/Z+9wzoRp6qs8Axcrbc6BGwzrTbwPro
bofrYtmD0+lNVGRpAtezLskM3ejiSpVRMiCjW3J2DwCo65+6dcU/O0n+f/w5cvWfKC2LLKwC8pq/
bf1neno0fVLXf06nU6r/PD4++b3+81t8YOUDJCIN8zfrtijAwD3PkjyKdSFviwjZjZHwrhJuNuRK
jIpllOS6gLreaBkjfqnUQhsZqFQGyywzWs6LLJFK3iCrE2w2ZTaXtzqODyrEMQVi0CyUGeK1JPqk
aE4jxUMm97cy1LDxWjyMUpkVAJaizGjBIsNq5VLLnysVRyVNKRY6JTx0KMmKH0p5mUl1k0WhLHSU
3sA4RemCB90utY4nABvZGblcuzHR7MYssyoOZWV4UfzLZQpZ6mCZRvCSZgL0sMMigus3tD+AJRNa
KNWwZiLPjIkQIgKrc78V7CTMABhhdL3hQjMy4iHNsGovbEAfhJUS7NFFosMIW20RfO/8wuxLk0ke
qkreaJtNXQoTf660VHkeR6DYbVQuZRKlUQLIYElhqDkUfRTuXZoXRQaZ3d6zLPb82VV7pPjjH8Vl
Cw8VY4+EjHL845klJALpjLFY5Cy/wKyDcG4rUkaYrKFQF72lumkIfQXezaMgAm56PtdBCdzE5bat
/TILgOz6bJm9LM/ip6cbaapgKZUhNBNgaKorBHwFkAS4gIPHxnnoRMZZlgNXJz8svjLJ7DP4X7mI
syusVyBCMtgQUzmw+85Y97TAJRGEVDc+mBMTsNd8aTdaaFpXk2iScismVlgVpLwpBcs8F2TztUpX
4rNCA/2LNTl7sBCUAYlwHa/AFVKw9yWgA/Ee17E+OMN2FwRLypXIvffvz/YdqZ6vgGxK1Ho23Uws
+tBSmqzB2O1yLkI9P7AyWCOM65EtG6tjeGCwE1OSzLW2VIsXklZdlGLEeglvGKCYjTmoH9d2A9K2
yiMqpqycRMYquQqxERUHVVwZSZFcKEbVRsbRteaKSJRWdjtvlXEUXMVa7j1/+96T6izPdfzseAPL
Ic4OUiJAzAR1z19hVrVQlpgnG1DgVVaUFeRLx6sJCzoTisgRGZlmJQkmhBybxUVUyltWLqN1QuTD
d8VW75aJ3Ebi6eQvOjZ69ezxxgpXy2B6DWOhBfoSWbAMYjgBUKjQMRtnsANCYFcBLjCP0F5nHh2v
UkOg4kqXt1qTYEN3jC7JrvKsmB1TuL3X6EA7Xw25ZZg1HkliTcxmyOki6VJHiCbYcBBXIRghSC9N
z2ST7Vptt3AkxyMyU4uUTCoSSb/HPmIgNjHLZFUR1BaLlBYLp/L8gkkugDtoaiwocs6BVne0oq0x
I34GjBY8K5ihbhRMHzEiSjt2AORmebPEyFUBFa8gPxNMFFSFIfXxW2GKM59rQ2Ep2dudM+gwKJgj
W6QgIa1MgtmGPr/Aou81T/3LUzIFPb6Tm41gakNtgiK6Al2W5IOyNpUpBCHRscI3YQKpKGUSimt4
FysRGevfF1MTGI6FC4fCJbM/V1mpN+S+ZBRqReKOdeYR5BcybQXar6OtKFJoxLsh1VHxrVoZaU83
rLckfJnlQctyWC+BRynNT8pSRmVVaqugbUgbvC11a9ld0QFgJwQ+kNxfdgAZJbsIghvo9A3Fea2x
tHHKjd22f7A+FptONBjBu6db0ZxtPfYUOOPeEh2iQcFHNMxBJ+Aij5F3yr2ffmKL0qWHHNBjd3d/
4jHNTFsyQSeKaqLC6ZvzaDcRktiQRM8JUS0GB+QnSq1CQpMNeSMYoi0YJKSwHJrFrCLtbFYdNzfS
mhviqJdU5lBXVq3BCOH4gVMVmaX0ZpFgWmsQad0q1uMcsFRsEWZeXO4pZkuYpdqSkyqVzPIND6av
vMuNc22mcQdW//5Uher66bPNPvmcUWT6GHSoJlv87IjSpKUGxGNr91WcLSpNrABlxEi4kyJ0ojDt
jFgNDBRZIFZ3E7EBx1TzjIJU4jAFWhMb/bMyY5HDX7zy9goZoLRcyD140+t9+Qd5jUt5IKf7/GAu
967sAyElMhbii7zelXcW8k7+O0FKWgPSf2VlE7NNTzBqd18SKfn7Y/4OSOiRVaYeGr3ohTQ05HKz
D5QsC693N5KPzkltuxbA6mAaFGyZyfkbpGWLir5NYNptDEKEAvequPR62JnErzOH17Viz18XG2+z
rA6b0cEeQ5CemJ+KumjrZxHW43WHkYBGqV93LGfiFIKwT+1BmVNyjyywI3TqB4cCYSYMC41ws+6a
7WOtvWlG3ycpXyoQ9LGStaInu7VUDWRleuKlZPr4Hvm4JHtb09MSzocL95qCtl/b82xAlgvTA/dM
4b0liGfevnU6OmVnYSM0qheXnXho4rMgcDRGoucpjQmgpeep9Q+5QgxupSFzXp8iZioGJlYGkGTw
fMxBcieSxIumqy2glZmuP5LyB91kjDQvUcrO64HnK6Dy8DsdKILprLaNcpC0LSHBRPLJmoTdo3oD
EznJYV5TdvbjseHDOji0OTRnx2Z7jHkonnew3OM6CnvuDElHCneIfHwJY31FfoKjsU6oMpLpcGCQ
3RAOGLLSqjC/jNl5ZjpNDaHgrE/QBcI/eM+ypD37vKw98YsVVnTzvY3Up0/qmZ1KvM6uVu7BO53n
q6MpZS/d/VFg6njIG1nPkriELEzqGoAuBC2D1DMNVRHK1xduztcXBIgZzyithy+waShY0WH0hPX6
gCRctEntZ6mozhNcP3uCNQd0bfOps23krIGy/mgYdl/Wgi/r5FzJVN/2RFDFiwxDlokVjsrH/WHG
9QOuxWmakMXLZQy7Nmi0TtFqgffGvdmNM8/JlatG8Dwp5QXu/Jc5rno2hSiaNiChJn1lb0N8oF6o
JrOxGo0Z63RmTloyCL165p6DlzmShcnQg0QlIdj3NBSxdi1fTa0aU2i944EPgwmlCRXN+gZFjhgU
wP2gnWe1CFvWy8xTQ9voB4DQMGBTao6SCzKiKTHAFgeH9PxBe0FoZmqiUVsQbKTBNOK3tFshTWpK
mjb0q1WF6EslV/qL7AuzNfIDe1Nk4JjHwZZWXX1sCEbqyDqi4knDW+Bt3LCo9EJGwUcJ90dlByyc
qHTVjsVJtFYywwTN7JjKV8lsGkroIiaGTbvNimuKMoFPTFWNW12nfGRy62SzEWPOpyzlTId2jVIp
w9ms9fO1WQHxiA4R1eGAfeVjJT8b8oeiSllcQAhtPSHXCGEJictUKWwUfBHdcBw2t4Uby+Yaza5G
tph2KF5FhSl5p41osJUmrfGSVPO4w3xPGoH4jqPn0SoU6PlG39klLHbRp74ThPMetRGftRCvnCkQ
PVNQa11nkpYNGTcQYmggJlstRKuSTzpvkwmYja7RcDluucVq2AC4VlmPqthiRL7MhJCWCWdBavth
BgakbT7s7vomRAwIfm7JS+2LNriLrirPr16g5eRJtExNwV6c08//qalB7MXOR99wBAIBNXWWUCtV
Y4FG/JxoLPQ9bu4zTk78I8ara7rEP2662oZL/BqG639htkTPbH2p0fpnH0f+/vmNP/78n2Xo1z74
r9e4//2P6dHUnf8/OsF/gD+Znhz9fv7/W3z4/N9mSWtrR1zkYlx1tklOupFHE1m2gg0zKMp8Kx7e
wkj2Y4o5RSWuoBOVMI4cYiCj1qMRkYs/+qe9h6LGgqIQeHlMcODTDJfIkb0byb/ev75oXBiWsBFC
7T7nWVBxbbQ5ueEM8/UFn+q7qmQLtE4LeSeuF8HZ8/qQ1HcmnJfwTdoexJkqz7OiFEbnVMXrbPRQ
yvYO53CB8ap1SmMTf1rwP95esOsW3Dtdluvb29tDe9ASU4XoELN+47JhIV5pVXJJnyqpIASfRdLy
iUbQEMgkC6uYuhryLF4lWZFDIhLrYOYUkh4EsTKtCregXj/GY6HyukBNM/PBRCtBPr9wp6IU8Iwc
3lLssBJ8MtnefKG5JIIxS3XTtHGQvHh2dw58rOucu236ciKXAFYH5SrXCB3tTvhgb9I7YbTBgKlb
AdyZZSNuCKMo8EJgkJmyfwJYHyD2A+kuLURvWOaqYduDdSGQoHFNzocPNkqN9Y3tG3CSSkVcbbrB
gZVvG1fR/sdPpX3R51IVhCafJ5/SQW+RVYusKrdroktVagr5BgdtnDQhmLrRsTuXr4LSNKFmlOaY
msTFMfNQnFMPQJLduGOxyu3HDrWnUaCmiRapk2REpAAnorfq4b7+jIg9P7Drc65CEVteRHw8jnVS
ldDA9tFXa32W8qzgJfj0l9JxOgKTqqb5AUdUYZXHzGwroAi4rrIwahdFsA9H4ZexQVD57BnU0WaK
vmdFtY596UutgcFELqHKuvAyO8pBsUcU/U/QEuRya/1JFRDY11EZLBGBPzvh0xqb943xq630Aptu
b4t30cJJNj0tzS6TDIYNQkYE8pkX1ElQHuFQ+g6IvCxV/OzJhpOweyjQ1do2CURLM+qNcL28tZv2
gM4ZtTcj1KBQWQ/lEhfRBNpe08Lm4Ou5/jtIQapxdFQjXycBLKmKSeD6eUTXLdljL5ftOGr8OUP8
/XTK1e06D3Z+plNMgzdyZ+b20IzTihGDDAhIJiRSlaqvNL4FQjiDT9XK1hksjDTzzs0AuoGQxarX
qTDxPRsrihACHcKikH7gKQxvGJlcQdrqyu4qzeLQPDneuIzbZtbEgZrVpsNozipbFroWWFUXcpuH
bDIb9jV+wLTzc+sF/GHieFNOl92IgejljiA3XEKeY0THaFuTbec7v2gp0zgCthrwnGoTqe04unt6
KiJnD219sZZjZLc130BP5GlFbTEVOyqbfd7boCR8D9r3xVVU+oI+kPv09JQEGH4BVvebN3/u9Rmx
qxeX5xfj7oAjMkrHAyBIhxxUU/GiOLHK3g/H6jjKa4w/OQp0Qa0YvVYzjkhIiZwhajyofenCCN9v
2BnoXR838qnAtgRmmKjodI7ZjpKMCkie3qJ26UN7AB0sIOjbA9EJtGVOa1A40BORgPpjSHxchdu/
VjHp7XhvS9iwL1yPH5eIOD7yKjAuwz544carwm9f9KIwy4aiRQFrurpBVcdYsXWiKhG71BEy1dRw
7Sh1AY1O8Z2jgGrVJ4quetwYg7ZOc9/P5bIyX0wo17FZijqw2Nq5QzysqBsNNqtd2sOS33cWSzUM
G4Xp1KPEY7Yfm7aaKbAzLhn58tpE7OnDxaFTp/+K3q0qOA92w7AG3AasV7wY9025DmxutcTCkbE2
3cXN4qefYKZUDgrs7jY2f9JDYHCq1m8e8PYNnNFFxKWiDZlupDO+/GYtm2eAzZRYmeClkIT8XjH6
V//4+g983P9R9edz9Z+TkydPHjXvf5yeAP749OjJ7/Wf3+LD9R9o+YajnF7tpynrIOriMkLsfA9V
yMOxOv8u569bWp739F2g+cVcOOg0jJ0J9/kgeYksiehF2H3b987nZgZhqHCtXGZYHhrWdlxdSVAP
q28gnc2jBdk6j8umKWzxGcAqLdWdwOTD6bCfia3q+DhPuKQGYYq+cw3gJsiaqoJ0GZrNURPuGKao
1h6xwtzDowh/pMenKiuy5rKobPZ5NnwDhtb2DdZyZ+audly269q8Wj2VIqnKijEb69Bt8gDV7i0E
T9OKf4LFlbZ82rHDv1iy02nyo/O5kuo+CXlvikd8G5md37Vx1k9dMGBPaqjXZodeIDU71uOFxE/N
fbE2PiJOtzPyM8rZKgo2qUfYVHSCEcfCgzSt+pPuSSC3w7BsVfyuDnwWCQO/ji5mH0TnxdN1HMQb
3Ern73W5nrFwbtaz5/y3uZ/DXW7oh0+o5aq+S2+Qr2cX9Pp46y4QxN2/4d/m3pzf350RLXF3JmZ5
/cbV2rO282qkfZvW/aaKf1vc3sQkL6DDfk4i6YbfLabXdbe9w+p+gWbTXZkGDVe9IIz5ZV4V80p2
RzYG3bKGQ0DMVAxDYLOd1mxt/EEvntVS7wvQ93N37vWX+nuV5J05e/D0vD8mmiM1TV/GRvs90kvS
U/f3uD9FNO9P4H+ap8uM3rC6g7A/Om1+26fPTdpHb5p2m2J/Jqt548vbZz3GO156ge9NR7S4n9pl
heHj6/VBjSYb5Qmczef0202fGUPqhtTU6Z1dZjCieStbzD6yir/Ena2p/qZxBUKcpe061g4J2I7U
ESfYV7BNpik73CjY5UnX7LY78bPCnctTvu5TBX59w+brzTrcMd7MaW0UM4BeIpzUls1QY0HOfy3x
2PraHMfdtyfcsXOJxr5XgIidyOeaHIR1cXKno3Tuh1paWtfyKB0zusOwO3xoIxpD7204GfyrLFw5
4vkePt/14Js53NyhADXhDFSqs8rQmXh9AsP1I86GiBxDJ4aZX3IO3HqZjn4WDM6LK7Se+IXPD0H/
ieflTaTAMNJ9Zomk1+jizj7h6QamY4cbVaL5AZUWD6gdkspQtfZhy+N6S+NEW08B+Rkl37G8bL0C
QQdlXOsrgFpHsXeoySiT11rn3GtQh0hamZVtdFMhdxvcRtx3wT6Tog0ELab0PpaSTjCkFjzXRuCl
x/XHN3e6kkbnd+k8uqOIpnkXRfCKOqYGKu73hYT/d3vX0tu2EYTv+yt4YC0KkIUkRS4pekjbFAnQ
okCfh+oi2bTNRqIUUXKcGMxv734zO/sgV7JkGwla7B4Si499zM6+Zr5v2NJI0r3C5vAd5QW5M4ZI
WRi/NIVrRBkXN4SXbn2aBm7rcj6pryYfP5rl3SGk46BtYLSvAbTVZ+dvs6c0u+D3zUD/PNXFwD9T
DoHrKG4GQ7UTn08X7W9dAcLomybwqJVzd0C0Ngw8PUZQfUNIiPgtaR/oNqOg7zGhAYD0IxosfAaQ
GbpUBgdbx9AgWPoNPRfg1une/GlWDA10nQgNw/D2s/D282EP2q5zIGD7/Nk+2kNfrL/BOg0Vx0S7
mH4go/iyviCw0szAuT0bhnW4zpfLt2xf9IiFKkTxugnhVBgRDViZYgbG1pMMnQyFJjDZSKgDyuys
4S21u+UY825d1oNNpjDR0YFgSuaxAC5GUCOZbXXpr5fvQSgfsYeTXl3Wen5cVLUeVDTH6wLPjMUY
Y5ztQuBzLnVb19e+K6PLGyVdnc4AohKNXaAjOmpJFqC7BKZIYNlD9fMwvk2op12GRaCpjnYTU9SA
hNPR02Iomlrspej0dfUNo8Hk/EjE89qwhuVAa3vcqIHf8UQbtM52O1PQHE8LRcHMLOZWSOvbIRYT
GFkdn6UgyAERe6mfh2MlFImmNLZjVDVkwWhlYAoIQIjNalmfd1nVu4eMXzpRaKaU+bq6rjqag8EF
e/52LZsVGrPwFdBKovcN2/ocnm6iAzbGQdaBhcq2yWquEs0tBH8rfq+REd/I1ZEND7zAhDKAL1LJ
sDIn/LFSZpuD5lpCoowdAwLkxox8TpW1YnywlJjLVoUMJ7MiuOkqIK8dP5qOnNllcQhISfHRtHsk
PdpsH/Kauiwt49ezLkqhbJHDDfs5CwToE9EuW3HOXACg6UiDpFyEbiZogg8n1jspyq2cC4mOXTPA
CYw/Zcf2DLIrrkOyGMWEKCogUxZ8hxOw0Vq687K+1Nqm37J3SL76aXuBBc35oHspL/2HXvT0i3r5
ksWYn3kyyp4cOa+9hogiK1vlvAdWbMqncr75yZvPaNKxXijWegMGOF7LrSxNq3Q7uWFOqNcD3XZP
sHY4iFI7IQYaLXvEG3pkZjIaBidR6aWgLF/4N9HnIXP+CwXUfgd7KxE6vn7YOPq+M+uglm1ArdTV
bLMPVTk/b8IZx/HsFxxbY1M2ClR7Z2AMFzKhHHEYhfv3JHeR8jok2o2c9nTmw7r0fh3b7d59nWxL
2NPVQX6uMqLk2VHK8NKgmYSQFKUbYq1CKafRADUZY6QwGbozHJ119TTJGkZtbK1PuLsImwNiq5fK
DUja9BAKfCSN6cl62NOkx9eiA5XoXgp0HwW5j3ZwEEGlJo3xEWUS2rJpbwMfzAt3g43rON26ayGG
eGWAsVpe9hGyCEQ9Ly5qkw0u4x1EvOVEsW2HjW/MyaOIM2y7oqv5yH+XzBZ66f+TjW8wZM1zRiqQ
sciziIB9shXvE5vx2GTHNEgv/CHMX/V1zviXxXTFmFxrycOgsG/+VZp9Jkxmm5Jig9bXrZhGYTLJ
GRCm9+yMueiVNMiZYE1LKF8p8D600jRIDzvvxsv5BnqOC/Z3Dn3Kza9sghOCfkL/zIU6itoxOFXM
PLQLMp6aJnDVUIli0cTOSOW2tGZoK9RtccNNhlmL2LqbKUkGxkpElCrZOikv6Ntnb9tcuQOJ3QSW
KNtBr3tm3SraYXwyUZQv7c7J5Aa1oEt5RDtF5sjUxLJxZjtEfiMkBmHbhYAWfdo9qqjdugJQH+U7
wohH5FSfayumtzMy+dK4gvGwUWSrbYyUfsSr1tIL8Tn5CZZd5buezWUvt1muuBYCeuOacm8aGfGj
wPNshDNHd3yXWyPzN4fZf/XO7Bb0vB5e4REAz5mWeyROKPnk9LSJOLU/0JvybCQr1ppX+t9+Rnrl
cO+v2z25sNRuJ7/R//2cXE0KdgNmE3xVpclQ8nBHjpuSc9zEGvnqZuXnYf82NZhM1El2kvH0hj/Y
nlW+w9+Up/+GVlqa5fuS/7vjBJ2fkVOJsv11Oy9vjV/Ir9oe1yA/HXXf9Z133DnBhaYr355r8jY6
ZfbLjeUVNKzj29rbLJ4gv0C7YALYrrxrVI2j2knr18EtNf68IAI0l/mlG39Hle6UA3vQDhaE561E
Yc5h+fnlUCPKeFwT4tW6UxbYsE9Xq4OFEXPDfn45oPCfyyl4rAX9GGV9sTTt8DhZ0JIXF8QDwAp0
b3A/SQyOfitoEAMc/Bf2QiIeq4MaHiaRDrmzP/IdEuYcUXQ2gedCoE9Bc+GdXW87M9wxgI77CuDu
l/K+NFpsz1Hf3Nca3kt1hIDqHtT8C715/k+1nyp8gACeHSIA+i5OUJG7wTgP0/lH0vcIfOsghTcG
8LCQIyBEn7Xx/eMID+/gNPKIwhGQk1+HnaCoiCT21Hewo8J758bBl5gcHSDK4aEasuNEbTDtrW/F
IZIW0KhkmjHYJ3eYbrKCNtsjnPsNPkngSSOL6NCbiyEsKgr2QFiMYXPS+b1HjK7TU6a2Tc8JXmXA
IfYU7x3RCazKluWSfYjKuNLsMTNAVf1+VUrx1AYDfWn62BcXj03xh5Fyf3uRvcj8wyHQnvY41T90
yh95O1JiKOcAjMQUN1mGyCzGhjiDBdX2ghBAgaPKD/EoOIYrMsk3CL6oQrs7bFj/IGoofckIpqY/
anYgHoRxGKl6aUlQQAdJ2PazdYkIzqbQTh0HTE/37EAM+VIXy21to8ecbdfkPfW6VxiBVtkcKMuy
bCyiThVmoUfkH17yRuTgG2bNe/BbRX8Ii2aU47xsqnUHWDFSi+W5cYTsrpg10XWpMzunp+hgBChw
1wCOv6BsmEOJZdOtgfWrLddqp65UNoqyEKsZC+iEHbA6s4J8qhhvZiU5QKxBdCeO7OMJcWQHNgEe
Yg4AG89IMjIaIS5eHsI8S7AFSiIDY5b8hq1T9kEZHjy2jImN7qwQVLpjyrrwrFSjyETDVldnQ3T2
Rm+uCgNP1WEZYxUb5E02I4AiKPVE11ogBgR8Kw64Y+MoBKNbBbCiDs7SuMO7ulKQC3woelLuGY0w
VM5dV+zKsKsnyJxmh74GCN+TaQac6wEtyyKmXQYw2aggQlN5Pv66GxZcwlW+UM6DZMJSe1XjIUD+
Jw5y7C9wmL5MtLBZKZ9c4LgVgflTeZG6wUg13wbhE7mLcSCy5vdWSwIlmwUgWiOOwuzXaDweczTo
mXBbQRek0AywBkNP55UWQtCftiQ/NLfx6fwuYae1JvpRpU2A/a6XR9/Sd3BDKQ7eH43bb6FOhHo2
EcUQydpR7hENHVE5Pu34soAfl21upzK9iC/06vLRBSOzvmlFH+CzgdcRmrRcO1fhdIZg9TBstgo1
O0F9wLu4wne2wvnzBDzL6iyb6Q5/q5/p+StPstVVZRVVPyF44k42Afm0PL8s9aNxV7l+GG46fd/w
iYhNBGGdYBMhccz4WwaotvmOITWKf0mLf6lLJubYkMqAr2jhhxx0LQOEcMOQRTFd7lAwLgn56oI7
eNIBFhuXwvjSeplrKFyfQ69d+fsCJm6vaVtWXdbgkVVTUJquqvw0DNXuQ3fCyaKJT8V6Pr1ceshv
Er6C8CXWH2Thwnaaz6O821ZrCThnPzLNG0Spt6LP9XA/SKR+YLOJNG046W619jyXAU1MMU1MLwrf
eQhVcVQ2V9UqNhBJ+ZfdHbQQ7QH3Vnd/mcLRrlkBxom6m1JKKaWUUkoppZRSSimllFJKKaWUUkop
pZRSSimllFJKKaWUUkoppfQ/SP8C1UP/iwCgAAA=
---559023410-162216788-984443288=:23339--