Re: Intended meaning

From: <kahl_at_cas.mcmaster.ca>
Date: Thu, 25 Oct 2007 13:17:56 +0000

This is a multi-part message in MIME format.
--++----------20071025091730-041624518----------++
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

>
> Given the following program:
>
> test = 1+x ? zero x where x free
> zero 0 = 0
>
> what should the evaluation of test produce?

Taking the liberty to replace (1+) with (Succ :: Nat -> Nat),
the system I presented at WFLP this summer produces the equivalent of

(Succ (x where x free) ? 0)

, see attached PDF.


Wolfram


--++----------20071025091730-041624518----------++
Content-Type: application/pdf; name="PMCFLP_Antoy_Succ.pdf"
Content-Transfer-Encoding: base64

JVBERi0xLjQKJcfsj6IKNSAwIG9iago8PC9MZW5ndGggNiAwIFIvRmlsdGVyIC9GbGF0ZURlY29k
ZT4+CnN0cmVhbQp4nO2cXY8kNxWG7/sHRFw2dz1Ia+zj70ggAQoIBIgkIy4gXESbzQLKJpsvAogf
z3vcZZddXV1d7eqZnVWiKNqeM9U157w+Pn78UfXlXgq1l/zf8O/zV7uffuD3L7/eyf1v8P/L3Zc7
lS7YD/88f7X/5T0uCvsooiNn9vef7o5fVnuSIvoQ9954EY3d37/a/fXw6Z0URmtv4t/uf7d77373
/s4Jqfff7cgEEaTF5VYLr/avRou1JIzZf7b78EoPvMB3Gw8OP7+7/yeux9cd3NPB8hdwnYlE+2dK
mKg9bJ/A1z/CVxWD8+rw8d0zKZyWypjDNzDraMgHDgG3ouZvK3yWcd/cSRyjVtoPXzH1VxzuTIGd
Thf/mC82Skk1XOzqi0l4R1B1uPjf7JixpGgUVAvpIKizDu4rjh4tAT2LwWoryF6vp7NCBt/q+dHd
IGgTkoKbylP28qNDEsDakAVo7q9FcDGWq3+Ei0kGimFOACOU9aNaH3JrKGvV4Vt8kjYEpe3h+Z1V
wjlt8OmZjog/0lSrqRcUcSOt843fabxIwip7TFVF2ghiZR0JcpC2WDhV9bK0alZbhWS1JrS9ZapE
mAhhQij+nu9ZEMSKGKqeVSwrelarfnFXB2Hwxxt3/8ICSyelDuHwgnsPGsPQ4StuDfJaHb7gK1SM
ntQ0XZVjee2YrsXQm67KcQUy8+kapulKbn0C1rpfHfRJ3uGX0saFvMsVUpoo6mbMhu76KDU6hmkb
8WWTR9Pgg4BjaJS2/Mgo9VxoVgTS49XvTHU1C7qipdgRR0UGInRkGWsBsqVbAQpC0iUFGjefkfRC
4tpnSM+oUU+Tu/9DndFaaAwQX7Mo+IG8O/yjFPPDf18Ml9iDKuPBwTZ/LN0y+P3973f3P2luqvgj
iahcbf0q6S+lc/7w4pM/8E+EbhN9Ec1wF/pu5wP3V+SKQsnykC4gcs1j49GwWAHMnHSB0Liev4/s
90fl/nWHuqIlau3HY4SfjRL8+S7Ab+lC/j3CrmMYK62CyDGO7iqFFgqu313cQPhoW38HwWQM9vCL
u9xJa4+/SX6a6O1xED9a6+9V5unI3aTcs4hhDp0ppQ0K/YWineHH4U9jYKhxSHqMNcsaLOOQRKQq
rsQhAz1vg0PlTm8Uh5g0hDM1D0l8QLL181Al6PkBpuKhp084KiLrCGIFk3rf8ceUerJDKfCRcD6s
Sz0eBOZSz6P/zqQeUlpdm3pnavsDpV4iGVOnXrZ0px5uIKTannmdRBkUGspXxSlb1hSnM0QZDPKZ
6pA2EiUGaieQv6Ps2dItO4/9yuoH7vFD1Aq/HYLWPp4ETVJG47YRpUUnwYXVIDNY+gcZiz/udduM
j8aUR070SkOzOqrBsmHoTER3IaoJJwLONf78bTgxnHIi3/KEE+k2nOgcuqPRFShmSzcp4gaCUPNu
QoqHXyfxHEa+cHg+Uto4khG6uDRVICjMUE1tCAR3EK6N44NUfgySFcJ+M8xYDt8OnqqAAD//FZtJ
wT103BLM53Xzl2/WX1TjxRVkfjwS6fwFx9ZF27pTNsW8n+bYVMkgHKlJrq6gU/ghKFR06mx0PDJd
vwKS8dTxEoqk+RWQxan4lJRApU4VUvL4lAaQaM2MBiAUE2Up2J82jJpitxhGoquDLpYVQc8TJKFY
qibm2yG5V/YsF8WngORKopxqlg+TM5OmecXikU50vaAxCit1K+jt13wucPblISpzFCGBuDSWjCqW
3oxSdKxOTS86Gakm2IdaEZfcLdMC5AvqA24uEWMqqsXCxbWjwZSxqDzbOkDPxOBMB3jkiUHQhnWs
OkCxdHYAhdE2WtreAfpmBiQ1MjnWA0O2rBkYZmcGJCE/D+V1Sl/LyM3EgOBKU3dGS6fsuAGY26yU
/ZqJwcxa8yNMDHAznuhXzZgtvYWJPMY6MhcK03RiECJa7GYTgwgydqqOKlu6o0rl2l6IajIx8Git
6LZMDGiEZrlyYqBvNDHg3kj1CnK29E8MiPnYHLVL4E9o4t6JwZ/u2C9NVF+Q+bqaHgQpfKzCURpu
OLchHNxBSF5vqOP5bZIURG/t4ZPLS8jPq891VCcTgBTW0gTgytVphVERtWFISt6CWDkDkAqVr96u
d0p5XmTZMAOQKMvhzB7ok5gBlKCLpTvoMgVYCno6GI+rRQ8xXQgntDRdRp0prlHjhqbWplhWaDMP
8+hPfIKkkebldKbSy7LSopAAlCTSzqVN/Gxhf33PhrOMGJ9C7e/3CWaN13wGwkkNlkpzg8GAWZ1w
PXoal2p0Jecjoqxy3qYBoSR0sazp7POL3J61pjajtx2biJgweF2png3dqnNJa318q1FWO/TKUA9U
2dJbl0hbNs7Wpcda47aASOnrqLKlOyreDqVLUU1QFkooo2+0xu1PUJb3yU9I1qwg2bspvzogvzJq
b30Cf49JqUQlTT9ej3oobC6izfB1YWNoThMwPR/eSyCCNoxoa249Z9zh9exRB2k0Tz0Gx5RkKg69
jvFCLoWJY2sWqZ8CgwbPWwJXL0Jba6RAwo4Iap2Owl7QbxFBLToDJoVvFEGfDNplZAroaiEmwVFA
eQqYDay36dhPRYtbqFmpff2xgDpo5LJdA0xKPwVgIj7HxrlmA29VvRotjggh9Kz+GtT+0Aj6mOcC
DI8hruqRxbKmR84jE/q0bfvjNmBCZxDoP5Xq2dKtOp9YRb1ap/oDHzS9BTIpw1+rC2u2rGjG+bqq
MA4r1bbjIyOThk7W11FlS3dUQG1kz4WoJsjERxEiPdzx0dnVP7uJmfgoQzoIVrBpsGwgJ1QqXsRI
kh3PXgYTwUivq8W+/2R0qmhJAmxql8BP6LVhg0u4gyDjW5dqgBlgznkaYM5LfHx9ho3OmF/xRxWl
abbl68amS/v98xf0oRZm5i5cvdpnpSPh6v1+yyfRzJb9fgtkDebN7vc/XdSSvFmga9ZiwXXHFlVm
rVHu7yNrSY8q4WvWQuPx6N/PWpWgb4K1SpcsljVdcom16g55etSB2kFaorVKaCdt2/wZL8qF2xAO
aZj8LG05GLqbMjhBKq5syo0A9xhLXhgkqanW2bIiNc7ub5OeFOutx0rIQE7mi2pUGSzdfho++2Yv
+DklMsTmN+3HdhCZu81+rPFeHbcv8n5stnTvxxqP0cCZB3qkZ3Q4P9PT73B+qKfxeM1q14i6KJqG
p4GVWyZqPie6wS0++RuodasfKCth1xIgn/O8tOGLdDFSX/s8krF8epYqAjQOGaB6nnnNBGjSwwzu
BwKcI0CTtph9RYBJcHkhMZcQcFHvFTRSb4kP6QEEhOKmSo9iWZEe87u/gbM31N5+n3ZTtdMi9S6p
+ITSq8riePupg3K0Fd6bRtBCOW6Bcp4UAw6sV+mSDb2yDPA3K8vbC39Voc6W3p6Y4a+pG7eCv3pA
GSzdfg7wt+znI8IfZlPWz21h+hr+pmjHC9PGQG4dI+/o8go1WV7byhZWxjr8KQ9aI3QEnZ5GyBYd
+Qn1Rf1IzglooQWXJ4yiGCiG9UwupKSDVv5YSJWLMjDjsdkZnz96hsQv7vgQnDWH77jOGmBIhGqs
oDVKOpBXTvJjw1iNXxzePV5BIVT9nKThuEBvvMecjl9ElcBssHB8ik/rcc7wTrRO5SBbuFwuzwXP
TILBBYi2FeG0BJq2BNoA+Mjp/u6YJz+7mysOCq4Fs99WCF2I/BKPKvRsGUMvKhJnXqhVHCzpKs8x
U5VLxVLlUslLOAIt6rwcLB2o7NHteFCrxb5qffTM8mdiaXQXAx1XsnSC5uF2ROoKlMYUIhLXEK6T
mlaztMQESDUszY9DhE0sLflo85Nn6ZUvWVrB0uVOa1haMpQ2LM2C+y0svaT3RpYu6VEsK9JjmaVH
b69vpGtZGgGjNsy9COssG6qo5I3WCNMjShyxM0N1zBae+V6Y18+DouVu4RsRV/FzzyuCGil5Xxq/
XUvYPSpOnpQhZXVixiJfsfTKR2mxxszL9xaeK7Qpu0oFTz/29k+yXgRl2mqymbAdun0qUcXJbOn2
0wV+Om3Zzelj8AjNTh8tfujXJYXbrK6icLnj8cq8upot3auruAFcGE7m3fPqqUVA+clwjvH1OCOI
TF9UuaH4mG/Y4gbuIJAGrR9pc5okeTX31AyGfuK1W6kPf69WTjXq6TGg7ByAn8F8g3PaCEu6da73
+fnjk0CSwmxMKxFyuNeDI6TiPJi+LOIyQmqLHhnrs48ayc2bKf0IiTQXxv1w9nEWIbX1vNo0EmTS
2y6fGlskyEW5txHkmB3FsiY7ZqfFGSEbdx+bbG7GhumokLbBDUsL2eLAeD0HWZkNjdW1Om/1uyYV
Js4i1YKcQcWyIoPOPFeCDu51m0CbGUdi7u2bOpgtvX5Sev4hXvCzhRzFw/itGIfuThhndgc5bjnT
B1c8v7hhPNOXLf1n+jS/wzaqetQmJWPNNmXUDiGPxfxW4PkdY8mPnJvKVSX5pK3a4CpvQqvW0T72
0ZFfalC5hmkGo/UG19AOEROsGRWvZp9qkRCNo33tKL8Li0zjaLJp3VzFs70t0XhelOyW+pTOJjh1
CmfJvHKv/Mq3I6Gi8LLelVvlWkbASKzZDO7yXscGNgO3OKN/YLNZNpMxcmpXcMaC6wv5uwhnS3pv
hLOSHsXSnR4Fzq5Kj5l3Dj4kWijC2KOruLNhRdhn33XkjW2j3vyuI17cMK52M1u6/cRg4Z264OeE
KBRiC5seE4hNCp7niOoJPnm0BmWuQApvPOoTul46wufB1MGrYunAiSCc9+mekM1ue7gyEh8RHd1T
/JYObza4x1N1gluNe1c+Ynm7k15rXjxNgoKNVx/2h9rEb/0dxy8M3OrSq/iXxy9yvK345Len3sz4
BchRxw3/YmHB1YbtqX69jwPCIPOLIu5DzDUVnI11vhXLinybr7j8DLxqo395mvDv7/4Pul0UhmVu
ZHN0cmVhbQplbmRvYmoKNiAwIG9iagozNjkyCmVuZG9iago0IDAgb2JqCjw8L1R5cGUvUGFnZS9N
ZWRpYUJveCBbMCAwIDYxMiA3OTJdCi9Sb3RhdGUgMC9QYXJlbnQgMyAwIFIKL1Jlc291cmNlczw8
L1Byb2NTZXRbL1BERiAvVGV4dF0KL0V4dEdTdGF0ZSAyMiAwIFIKL0ZvbnQgMjMgMCBSCj4+Ci9D
b250ZW50cyA1IDAgUgo+PgplbmRvYmoKMyAwIG9iago8PCAvVHlwZSAvUGFnZXMgL0tpZHMgWwo0
IDAgUgpdIC9Db3VudCAxCj4+CmVuZG9iagoxIDAgb2JqCjw8L1R5cGUgL0NhdGFsb2cgL1BhZ2Vz
IDMgMCBSCi9NZXRhZGF0YSAzOCAwIFIKPj4KZW5kb2JqCjcgMCBvYmoKPDwvVHlwZS9FeHRHU3Rh
dGUKL09QTSAxPj5lbmRvYmoKMjIgMCBvYmoKPDwvUjcKNyAwIFI+PgplbmRvYmoKMjMgMCBvYmoK
PDwvUjIwCjIwIDAgUi9SMTgKMTggMCBSL1IxNgoxNiAwIFIvUjE0CjE0IDAgUi9SMTIKMTIgMCBS
L1IxMAoxMCAwIFIvUjgKOCAwIFI+PgplbmRvYmoKMjAgMCBvYmoKPDwvQmFzZUZvbnQvQkFPUFFZ
K0NNQlgxMC9Gb250RGVzY3JpcHRvciAyMSAwIFIvVHlwZS9Gb250Ci9GaXJzdENoYXIgNTgvTGFz
dENoYXIgMTE5L1dpZHRoc1sgMzE5IDAgMCAwIDAgMAowIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAw
IDAgOTAwIDAKMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMAowIDU1OSAwIDAgMCAwIDAg
NTc1IDAgMzE5IDAgMCAwIDAgNjM5IDU3NQowIDAgNDc0IDAgMCAwIDAgODMxXQovRW5jb2Rpbmcv
V2luQW5zaUVuY29kaW5nL1N1YnR5cGUvVHlwZTE+PgplbmRvYmoKMzEgMCBvYmoKPDwvRmlsdGVy
L0ZsYXRlRGVjb2RlL0xlbmd0aCAxNjk+PnN0cmVhbQp4nF2POw7DIBBEe07BDTCOFKWwaJzGRaIo
yQVgWSwKA8K4yO3Dx06RYlYadmb1YON0nZxNlD2ihxcmaqzTEVe/RUCqcLaO8J5qC2l3dcIiA2Hj
TYb3JyDNATTN3+WC7Hni9YW3DniNa5CAUboZydB1YjBGEHT6b9W3gjJ7kp9FVc8VimwvoirbVj+C
5VJBOggobDGiS5W7chUe6/D3teBDadEs8gV741bQCmVuZHN0cmVhbQplbmRvYmoKMTggMCBvYmoK
PDwvQmFzZUZvbnQvU0JaQURaK01TQU0xMC9Gb250RGVzY3JpcHRvciAxOSAwIFIvVG9Vbmljb2Rl
IDMxIDAgUi9UeXBlL0ZvbnQKL0ZpcnN0Q2hhciAyMi9MYXN0Q2hhciAyNC9XaWR0aHNbIDQxNyAw
IDQxN10KL0VuY29kaW5nIDMyIDAgUi9TdWJ0eXBlL1R5cGUxPj4KZW5kb2JqCjMyIDAgb2JqCjw8
L1R5cGUvRW5jb2RpbmcvQmFzZUVuY29kaW5nL1dpbkFuc2lFbmNvZGluZy9EaWZmZXJlbmNlc1sK
MjIvaGFycG9vbnVwcmlnaHQKMjQvaGFycG9vbnVwbGVmdF0+PgplbmRvYmoKMTYgMCBvYmoKPDwv
QmFzZUZvbnQvSERDT01ZK0NNVEkxMC9Gb250RGVzY3JpcHRvciAxNyAwIFIvVHlwZS9Gb250Ci9G
aXJzdENoYXIgODMvTGFzdENoYXIgMTIwL1dpZHRoc1sgNTYyIDAgMCAwIDAgMCAwIDYxMyAwIDAg
MCAwIDAKMCAwIDAgNDYwIDAgNDYwIDAgMCAwIDAgMCAwIDAgMCAwIDUxMQowIDAgNDIyIDAgMCA1
MzcgMCAwIDQ2NF0KL0VuY29kaW5nL1dpbkFuc2lFbmNvZGluZy9TdWJ0eXBlL1R5cGUxPj4KZW5k
b2JqCjE0IDAgb2JqCjw8L0Jhc2VGb250L1pPWURTSytDTVIxMC9Gb250RGVzY3JpcHRvciAxNSAw
IFIvVHlwZS9Gb250Ci9GaXJzdENoYXIgMzMvTGFzdENoYXIgMTI0L1dpZHRoc1sgMjc4IDAgMCAw
IDAgMCAwIDM4OSAzODkgMCAwIDAgMCAyNzggMAo1MDAgNTAwIDUwMCA1MDAgNTAwIDUwMCA1MDAg
NTAwIDUwMCA1MDAgMjc4IDAgMCA3NzggMCAwCjAgNzUwIDAgNzIyIDAgNjgxIDY1MyAwIDAgMzYx
IDAgMCAwIDkxNyAwIDAKNjgxIDAgNzM2IDAgNzIyIDAgNzUwIDAgMCAwIDAgMCAwIDAgMCAwCjAg
NTAwIDAgNDQ0IDU1NiA0NDQgMCAwIDU1NiAyNzggMCAwIDI3OCA4MzMgNTU2IDUwMAo1NTYgMCAz
OTIgMzk0IDM4OSA1NTYgNTI4IDAgNTI4IDUyOCA0NDQgMCAxMDAwXQovRW5jb2RpbmcgMzMgMCBS
L1N1YnR5cGUvVHlwZTE+PgplbmRvYmoKMzMgMCBvYmoKPDwvVHlwZS9FbmNvZGluZy9CYXNlRW5j
b2RpbmcvV2luQW5zaUVuY29kaW5nL0RpZmZlcmVuY2VzWwoxMjQvZW1kYXNoXT4+CmVuZG9iagoz
NCAwIG9iago8PC9GaWx0ZXIvRmxhdGVEZWNvZGUvTGVuZ3RoIDE1OT4+c3RyZWFtCnicXU8xDoMw
DNzzCv8gkHZELHRhaIXafiA4DsqAE4Uw9PclATp0OEvnu5PPsutvPbsEcogeX5TAOjaRFr9GJBhp
cixqBcZhOliZOOsgZHfX4f0JBJuB7M4feib5vFzLpt4z6A0tQSNFzROJpqraxtpWEJs/6QiM9nAq
aneoURX/qeRo7nCeBFxjJE6laCmSCzim3y/Bh5yCDeILHrJTiwplbmRzdHJlYW0KZW5kb2JqCjEy
IDAgb2JqCjw8L0Jhc2VGb250L0FUSFdNVitDTU1JMTAvRm9udERlc2NyaXB0b3IgMTMgMCBSL1Rv
VW5pY29kZSAzNCAwIFIvVHlwZS9Gb250Ci9GaXJzdENoYXIgNDYvTGFzdENoYXIgNDYvV2lkdGhz
WyA1MDBdCi9FbmNvZGluZyAzNSAwIFIvU3VidHlwZS9UeXBlMT4+CmVuZG9iagozNSAwIG9iago8
PC9UeXBlL0VuY29kaW5nL0Jhc2VFbmNvZGluZy9XaW5BbnNpRW5jb2RpbmcvRGlmZmVyZW5jZXNb
CjQ2L3RyaWFuZ2xlcmlnaHRdPj4KZW5kb2JqCjEwIDAgb2JqCjw8L0Jhc2VGb250L0dXU0FZSitD
TVNTOC9Gb250RGVzY3JpcHRvciAxMSAwIFIvVHlwZS9Gb250Ci9GaXJzdENoYXIgNzgvTGFzdENo
YXIgMTE2L1dpZHRoc1sgNzUwIDAKMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMAowIDUx
MCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAKMCAwIDAgMCAzODRdCi9FbmNvZGluZy9XaW5B
bnNpRW5jb2RpbmcvU3VidHlwZS9UeXBlMT4+CmVuZG9iagozNiAwIG9iago8PC9GaWx0ZXIvRmxh
dGVEZWNvZGUvTGVuZ3RoIDE4NT4+c3RyZWFtCnicXY9BDoMgEEX3nIIbgGg0TQwbu3HRpml7AYTB
sBAI4qK3r4B20cWf5DHzhz9kGK+jNRGTR3DyBRFrY1WA1W1BAp5gNhZVDCsj40G5ykV4RIab8O+P
B7wPgC58FwuQZ93ml6p4pFOweiEhCDsD6inlvdYcgVV/raYYJn1MsgsvqhTjqK+BZzEmmh3blmdR
2k0JO561o8rLzzXpnxT4zIflFgLYmK/KqVNaY+F3uHc+ufAu9AXh7F1wCmVuZHN0cmVhbQplbmRv
YmoKOCAwIG9iago8PC9CYXNlRm9udC9NUkZYVEgrQ01TWTEwL0ZvbnREZXNjcmlwdG9yIDkgMCBS
L1RvVW5pY29kZSAzNiAwIFIvVHlwZS9Gb250Ci9GaXJzdENoYXIgNDEvTGFzdENoYXIgMTAzL1dp
ZHRoc1sgMTAwMCAwIDAgMCAwIDAgMAowIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgNzc4IDAK
MCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMAowIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAw
IDAgMCAwCjAgMCAwIDAgMCAwIDUwMCA1MDBdCi9FbmNvZGluZyAzNyAwIFIvU3VidHlwZS9UeXBl
MT4+CmVuZG9iagozNyAwIG9iago8PC9UeXBlL0VuY29kaW5nL0Jhc2VFbmNvZGluZy9XaW5BbnNp
RW5jb2RpbmcvRGlmZmVyZW5jZXNbCjQxL2Fycm93ZGJscmlnaHQKNjIvbGF0dGljZXRvcAoxMDIv
YnJhY2VsZWZ0L2JyYWNlcmlnaHRdPj4KZW5kb2JqCjIxIDAgb2JqCjw8L1R5cGUvRm9udERlc2Ny
aXB0b3IvRm9udE5hbWUvQkFPUFFZK0NNQlgxMC9Gb250QkJveFswIC0yMDEgODYwIDY5NV0vRmxh
Z3MgNAovQXNjZW50IDY5NQovQ2FwSGVpZ2h0IDY5NQovRGVzY2VudCAtMjAxCi9JdGFsaWNBbmds
ZSAwCi9TdGVtViAxMjkKL01pc3NpbmdXaWR0aCAzODMKL0NoYXJTZXQoL04vYS9jb2xvbi9nL2kv
bi9vL3IvdykvRm9udEZpbGUzIDI0IDAgUj4+CmVuZG9iagoyNCAwIG9iago8PC9GaWx0ZXIvRmxh
dGVEZWNvZGUKL1N1YnR5cGUvVHlwZTFDL0xlbmd0aCAxMjUxPj5zdHJlYW0KeJxlk31MU1cUwO+j
0PdgXUVqBT/WNk7nDDrqdHF+TCeIIRvogqCoRSjQUSYfWgpaNIgapH3nFWb50oFSEAWstEMowhtz
yhaIbnFzS4xkyxLFP7bsj5E4dh67JKzMbdli7j/nnvxu7snvnMOQ4CDCMAwblxSbtlo/G74iLWKk
xUHSSzKg6VMTU++GgEIGiuDexSGrInDHXNw4B/XhRMYw2xP3xxUdslnycs1W3atxK3Sr169fp9ta
YLLkZRsLdUlGq9lUYLQGLvm6XUXZeSar7TXd1vx8XfLsi2JdsqnYZCk15Tz7O66o4FCJ1WTRJRXl
mCyFhJDQwqIdlty8I8YNhOwk75EYsoskkHdIGokli0hYoHDCkhLyNfM+Mxp0MeipzBWsDd4/w5xI
JcqZoPJxAiJODOf6IlAeOJkoj1QNDIhqA9shjDp74DqMODp4TtyOJhaZR0N3u92lWzS0bfvzQCP7
W+r15dG7k9MOa1QPkbD07dMhBvaOC3K09A6rlL6r7JVUPsaD89CF82TSdSxU48KYCbqOvqlfRhfQ
8PHluBE3PZ7AORpaSxPVVAVIHg/AzeZu7cWP/e4h8IP/WKvZnQcpsJ9bC5RQlUb5RxSI0hORweW3
pKpbMrw99Ya6opEXSoGjNgOS6VE5lPB8kb3Y7oAi4CwGeU/1F4HS/fAZ9Nk50cLaoEywOQureQFa
OamFlc5M/1h/QuCbYMEVqGvTSg9YaBWEjupL1U7oAK5dlJvsyZADRtgDWdWcoZ29AM38BUenXeCh
hJtewSpnmLGmWb3n8OWU4YhJJJOojAyYuT1fXItx7P12VP6q4XnbMSjksjxHOjs97t5bqZ174rP3
Jlo1qgEMYemG/ygMOPcKA85B6IEvwWfnAkZpug9X/vKtD619EZ6f41GG21AG4/GPIlW/V2AtJqvX
wL2BAbg3Pg4JBw5AwhotVZ5UDxbfdLQDh0uHx+6LlmvHm7RdTW5ng+A44zgFlZyl2Xb5cvPFS21l
3vTjBrs5Q2NrNLq3BmwuTXkrPqsly2PVFpkrP4BSOF6zr/cgp5oi5fbY0sSFacNvowHjx0bud52+
m9Ct2dWxE6LhMKTDGSHDVdEDF6C+5qOztdwdmqrGUPlVDIGk3JxUOp8q9g0Ojt6F89qAty2Hn43l
E9RHjKGehiGJVP2EVmm3msbOGhn518hVYcjphy646fAFpjCJVU3US/fUN3K7jZlmc2am19zv93Xf
0ChnZJsFUuWWwkWmfcotmyqRFOoPz9XUjgAnslZHAV8Mh8DgLBE4A1s3xFfY7ZW8XbuE1lE5Xgv5
XJQf5Pc4CgLtNjqPBZgR1r0XHMBD1Sy3iaZELcGGWSzLkcVnQT5kOPP+wnDVdJirrOZkOyxoh5p6
V/MkNkZN0sb/5bjAKsaEkEpfgYg7u3CVL8KDoZtxLq6d3cdSKeyhOh/Sn2o+kbc0wqW2cijX7hDg
HLRxeJB9su0ruiKZKqvWZHiPXrnqcfu7jjbbnZqOsx6hEbgHXuMWbR6rErfZqesUXbYwGsNt33wv
9vlbNWW4Wr2SjY4pt6Rle28gwdfPf1qt+bsBqMco1DM/oF6GJ6Ugdb/Zm/mP036vt19D+4Kfyykr
GqZiG+jZOjzgltN0FyuGofwFTVjwuhZFaK9LoUB5h+JFQaEk5E+7gnlSCmVuZHN0cmVhbQplbmRv
YmoKMTkgMCBvYmoKPDwvVHlwZS9Gb250RGVzY3JpcHRvci9Gb250TmFtZS9TQlpBRForTVNBTTEw
L0ZvbnRCQm94WzAgLTE5NCAzNzUgNjk0XS9GbGFncyA0Ci9Bc2NlbnQgNjk0Ci9DYXBIZWlnaHQg
Njk0Ci9EZXNjZW50IC0xOTQKL0l0YWxpY0FuZ2xlIDAKL1N0ZW1WIDU2Ci9NaXNzaW5nV2lkdGgg
MzMzCi9DaGFyU2V0KC9oYXJwb29udXBsZWZ0L2hhcnBvb251cHJpZ2h0KS9Gb250RmlsZTMgMjUg
MCBSPj4KZW5kb2JqCjI1IDAgb2JqCjw8L0ZpbHRlci9GbGF0ZURlY29kZQovU3VidHlwZS9UeXBl
MUMvTGVuZ3RoIDMwNT4+c3RyZWFtCnicY2RgYWJgZGRk9w129DU0ADFVf0gz/pBh+iHL3P077Af3
Ty/Wbh7mbh6W1d+PCn33Fvzuxv/dSYCBlZHRzScwPsc5v6CyKDM9o0RBw1lTwdDS0lzBMTe1KDM5
MU/BN7EkIzU3sQTIyVEIzk/OTC2p1FNwzMlRCALpKFYISi1OLSpLTYFY7lqak1qUkVhUkJ+fV1oA
NhTOy0lNK2FgYGASk2Bg7GLsZmAGOtm25D+jbygD33/GBasYfoct+Om46rv4fMbvAZuZv1f8+CJ6
wu1ExZJmjlXspqtDTxcc4ij/+5Ktsrtq/vzuuXPksOv66SVazlYQHOJjls2Rw75k8ol5Jy5w/J3M
jtBWuvCnzezf1lPZfidNZ9/MtZlbjovFfD4P55JZPDxAzMvAAABYCX7WCmVuZHN0cmVhbQplbmRv
YmoKMTcgMCBvYmoKPDwvVHlwZS9Gb250RGVzY3JpcHRvci9Gb250TmFtZS9IRENPTVkrQ01USTEw
L0ZvbnRCQm94WzAgLTIyIDcwNCA3MDVdL0ZsYWdzIDQKL0FzY2VudCA3MDUKL0NhcEhlaWdodCA3
MDUKL0Rlc2NlbnQgLTIyCi9JdGFsaWNBbmdsZSAwCi9TdGVtViAxMDUKL01pc3NpbmdXaWR0aCAz
NTcKL0NoYXJTZXQoL1MvWi9jL2Uvby9yL3UveCkvRm9udEZpbGUzIDI2IDAgUj4+CmVuZG9iagoy
NiAwIG9iago8PC9GaWx0ZXIvRmxhdGVEZWNvZGUKL1N1YnR5cGUvVHlwZTFDL0xlbmd0aCAxMjkw
Pj5zdHJlYW0KeJxtkm1MU2cUx++lCI+OoTNrBGW3nXOi20Qlbo4YM5GpEyUyAR2YKUjLm1Da0kKh
vLSUvt1zW1oKt7QIWKWFFpiAL8MBgjM4txnR7cummS97S+aXJW7J0+YaWRnz2z6c5DkfnnN+///5
k0RkBEGSZHRaRvb+rVsWnm8G15DBhIjgazxQhrJDOUsghgcxkYGEJSkrcforOGU53ryC4JHk3oPH
0iqltfLS4hKFcEPaRuHWlJTtwtQKsby0sEAizChQlIgrChThplyYVVlYKlbUJglTy8uFhxd+VAkP
i6vE8mqxaHF1WmWFVKkQy4UZlSKxXEIQBCqsFOfJs5QqgviQyCT2EjuILGIbcYTIJZaGoYloooy4
Tr5Nno9I4hG84ciKeVJ8g4gN5ms8ePTeuIfEEXdxwSNecF/wZX6uHk6CGalZ9VnfOc/oZP7IAW4F
x+fWcus33Nj/C371wZ9um47VGWlaq6NSNyUb6wDlyMdnZ3x/eycE529NfTYOLIyb3SdR7Dw5n0Bo
PMFNizucd3lBOw7wn2Te2fZi6LpvMh7gFZiP1+JEirNzvXxRUeD7KS/mDV4TjNyc8I8Bmuw/kZmv
XHfqkECS/cnxPECL7FIP3hEeHHUHG0Z5WIfVfD/ctk703BuEW9CGrhSNHVjLvbGe27N14r0n/w+e
rvlubLRjvM0nsHv4l/H7T60dgC6clZa+zqVAmSB2PkKcQ8Bw8HmAvB+K5IU+CiXw2U7GATbUroc6
6tmqKCXQtF6Vw+2Po81mLdBI4wSrk2l12aiB3y88wsmAsDDqmevZc4Ne3wJN8c1t0EUF10V5gAF7
9xyWxTGW1k5gkFMLeg1NV+moIi66NInbDYhLjAqb6PUTmjP4zj23hwxufMjDLL7IZ6zjmP8YbNAP
vQ0lGtMpMKDGdpW3O+Aam05ny/YW5yrVlGZG1FMGxVCjUFeoChszw5fVdoCtk2E8Nqr7bs9kAJAX
JBq1SWVUC3ZxM2Y9bQBTvMZR3+tvG3BYqLAFydsJZSC0pZ/Ex+bwiTleaFloJ59pZezQiiy0Q2ug
aU0zdTxLdPtDpgbiueUcGa7oo54js1KB3eTRu42TDXHT9Q7T6Vq2gVVCMdqyMzF5167zf521+aws
BRbGAhbENoO+yWyuN1JHObG5hTaFQfQ2o72NsXQ4KNbpHezoHMn5tn467OhKzMOr8cqBlouyQYE8
0GR9p19lK283WErddYNwEf30w6+P/ujflyqjW4xKim5YsiCbtTKnWxcUxQVepHLzTfd1XrAjuIZv
sTM2sCJW566paJHozNRubtxQC+bmxnhVpaTiBKDjzZ8P3Rz6rW9O4Dhjc0EPmioL5CeVcBv0i55a
XK2UI+B7MguIZU2yKq20QSSQ7ZGlwlG0bVZybWbY7z9Hdedc1vfACJzpcwe6R52zYeEdOmhpomml
nmrIUh0sBSQDnyuckrb+cALJuZ/DsF0/Ytl9l4eceYinHvKCkuBb/EItFIXj9uLoVz92SrLL8lRa
SvlVnkMOKDGHW6X4lwyYLpvA93h67AKggR5FYVVTXnORQHOSNmo+VadX7zgEJqiCOpff0d4HbuSt
tjfK5dVlokuKKxNDo/7TVO/hSY0X0NOreHXvf7Bqg0D6bq6oAFCN1Dl9jr3sGBawl9xfO4Zc074v
vwAr9EFXA4pVekIfeDgfi6ssUVwBGx1YNvcStSxye2/MUk97TAxB/APgdoP8CmVuZHN0cmVhbQpl
bmRvYmoKMTUgMCBvYmoKPDwvVHlwZS9Gb250RGVzY3JpcHRvci9Gb250TmFtZS9aT1lEU0srQ01S
MTAvRm9udEJCb3hbMCAtMjUwIDk5OSA3NTBdL0ZsYWdzIDQKL0FzY2VudCA3NTAKL0NhcEhlaWdo
dCA3NTAKL0Rlc2NlbnQgLTI1MAovSXRhbGljQW5nbGUgMAovU3RlbVYgMTQ5Ci9NaXNzaW5nV2lk
dGggMzMzCi9DaGFyU2V0KC9BL0MvRS9GL0kvTS9QL1IvVC9WL2EvYy9jb2xvbi9kL2UvZWlnaHQv
ZW1kYXNoL2VxdWFsL2V4Y2xhbS9maXZlL2ZvdXIvaC9pL2wvbS9uL25pbmUvby9vbmUvcC9wYXJl
bmxlZnQvcGFyZW5yaWdodC9wZXJpb2Qvci9zL3NldmVuL3NpeC90L3RocmVlL3R3by91L3YveC95
L3ovemVybykvRm9udEZpbGUzIDI3IDAgUj4+CmVuZG9iagoyNyAwIG9iago8PC9GaWx0ZXIvRmxh
dGVEZWNvZGUKL1N1YnR5cGUvVHlwZTFDL0xlbmd0aCA0NzAwPj5zdHJlYW0KeJytV3lYU3fWviGQ
e91QibeAOje0tXVpa0Vrqa1W0WrVaq3izi4gi+wQldUIBJKcJOybbIkEwYCACC64Ly1W69Ra26p1
qR2XTq1Wrc65+GO+mV9A7XxfZ/765snz5Emee3/Lec953/MeCWNvx0gkEtmshUvcJ9h+vSqOkIgj
7cQ/SYEYn6R0ZzjAQCkMtG8e+YKnE+4fin6DcfwQRiqRzPlo9ayY2KT48NCwRLcxs8a6uU+Z4uHm
GRUSHx4UGO22MDAxLCQqMJH+iXTzigkKD0lMGu/mGRnptsS2IsFtSUhCSPz6kODeo2fFRMUqE0Pi
3RbGBIfERzMMM94zKTpoYXJM8KzYkE9mx89JCFuSGK5cOm99ZODyjVFjxr44/t0J7qnTJk56a/Lb
Hu9MYZiXmNXMIuYDZjzjzXzCzGZGMYuZOYw78yrjxYxmljLzmEnMMmY+s5yZzIxjVjALmZmMB7OK
+Zjpx/Rn7JjBzAhmKOPEaBmBkTPDGJ55gXFmXBhXZjjzJkWJYRmQvChptnO0a5DaSddKH9qvtb/n
sNjhsGyizMQ6sce4ef369VvSb0f/Qf0z+p8fMH+AZqDbwKJByx1HOiY7fjd45OBpg9cPfjjkvSGf
DCkeaj/UNPTvTo1yD3nVsNHD9v5DsnAZ49idAVZcZRXn1Ugauz2l4kvdC/jsMm1BCqSARp2dRoJ6
fnZJWhmUukzHRbJb9bsNLWCFw9pGHWdlV8Vb6oz6Yr1BsQ+dHRBkR8gb+hyDGnJco7wgVohkW4xf
wU7YDft0HVrOmsQugrQCVRNHzGIxjw7kogNRyhz/YTe4iyGB5qprotIqqb4mFSfhDb7u1CF9BdBT
ErXRukRIAh+DUk/vYNVVJEM8bNZpsze9SnQuRIrmnGJtLuS61rVCtWBl43TztMkQC0H6KANdsB+q
oTwMx/VIXLLT0yLU6cqlMXM+gmxIhI1V1txCM1RwdRsrEjco06P8OkIPnmo/caJWoLd6zciAVXTo
UJqd0O7UgrMYctZZ3oR2+AtPTKyfCubSCJv1hwzboI5CssMGyVwV7FXgAva3c8dPnypZtkQgaf/h
zRU0CN12Dr1YuA7WyJa0yoiaxTATfAJiFnLy849Y8qLKIZL9qjBrtcLxH5IDcYzKgk23Wy2SHVdx
xW0pEvEFfo1GHQXpXFzVhvq6msrtX05ve58MfZMwZAgZdm8Mcji8EQcWF28GTYY2R60VosfP37QW
uOWTduNk9LjScaTolC60me4vLbLSYLslVgm61Yu1l6Wo7h7LZ5g1FCWOTIuslV0wqEIVPRo2FnxG
9UZzwNAETXBA22yLZhR0blOILXoW1X+3y0vPyygG1xIwFuaWoK57kIu+55wsVKt6X0iIlLUav4Q2
+vkztGo4awL7vrakRSHWsi2GkgtCrZVMk8UB6LKSSExPl0tf5GARh5kl9WI/qThcfIUvKgED5HJl
mZAkkPMyFZnsYJHlP6huRTvgUCYjjT2DMlSghWzXtAJaEnhVVomLHOJlGaT/en/C0Yj6yxxFjcoi
TqDbXsXtV6XiOozgcdjox2QQGTqOSMhQwv/2GvbDQffvolwgccSHDwB/U+y++D1wElpoAEdr92zb
12naBXtgt7IuoC4AFkMIhMIypb/Szz96FXB9RaQyKztEVzOu7XCiqas+4yxPFYcc4+exOLrEwcrO
ziw4oBB/Y8mo5/kmkaz8QEt0QN2yEaT/S2MJT+R3x6Ds9N4djRYFmuxJIEsJoVUlR3n7KQPAD0Lr
EnbGtWtOQDu0Groa9pqsO5uOQjN0pFr9SpIpEkm2u5x7h1Fau9+wSo4/FGO3S7vf6J7GV0KBKicH
NmUKqzzXtqw8+Bq4kkVkMplEAkgQvk3c8WP0uIsK5IqhIF0F6s06RSZ52W0KkQD3MVm5Aw/hYVyx
4yRKbkwgr9YoDGmgKQeuAowmRV/8ZLkVXzeLrh3xFqfHZ7HiqrP8Ms7Cm3zDoQMNh4A7f3IScSCD
Znt4BoXUtMcq0kyghxpuqX1eSsey72hGB/x2F3mUj7tH7KcF+is3KOS/nHkK17kCtb+iJ+wZx3bo
DxvqYBsc6qvKPjZOZZ/zJ8qEM3sznnGGlhKm8GYjmO4t+4Vmm3tzFP0e/mgcsui4F6XVxZmG7Ayt
OlOrCBvlDpthFQRtT2yN2g9noIXTm/h8HHvNsgO4h8VkRLAt1AabXuDOOjxFWSRcx4MPpbgBz/I4
TYYDkbn8690xfyF/UpDHz9lUyz4jRbPxGyqUO+FbaP6dFBqs5HEr22Qo6BRuyHASvLjaByi5J/1+
WpcVm3ZIcOQNXG2RdrthCR8viyfjE2eSGbTKXWU+2oImBdbcZH8pWfe2woJV8bLJqshxgjtmyXr3
RV6Gb8C2pRVEwVlkMah06Ol6fj/Ts/uJ31CZluRYnwvi4zOPrzvL9+KMizyOZ+913PiuwAA6g6DR
bdgEcVyMKdVcZSltbIxsCJgZOjcgTZBfQDuWKH4v8ecK2qbvNNTDLuiEXTT09aynLXQaoL7LFmCn
Fff1BbjUgi9bpOKl7ql8z74/XpFCeJGSsh1uQQvdJ4J9HcqaFai7zt4pfha6x+aI14TJmP809IEy
HAcWrwoi0NBpfDpaI2bx7Wqnpq2J+zGFfjnLb2AwLufNOVdSYBa3MixomkfoiR82CpoyXe5m4NIh
K0lBXNhkyCrJ0+urqwWDAQxV1XsC9+pMtHLZfX/++kjU9k2liojG4MLAQk5+watkbtmnw5vr2q+j
XZ57pEHQZxRROePKIK9acZ+18TFbC5vSBU3O5owcTUj9GkilqXQMmesVVhGzTalojKtXf53GPW9Q
vcoiQTtbf5KKvpjH/2tD8QD/RSmhnA7vy/5FYHoq/1v9i17jh5GM0kxTdcSMh61OtsrXocP0h3fq
nOXJmIiPeSxlYSuUmo3FhgaoAe4m2ueQV+YkvEvGKH5N53+pvXgSLnJ3iOwaGS2QP/8berQYz/X2
jHO9uX1KD8xn5QeRlVVABzSH7wyFSJgL8yGoPaQ99Jh6O3AXK6/U50MJVa2MLJ1C/UFYUjyshsxD
aT+lf++SdHp109Jqen9J1l9s0jC6BmOs+E6N5LezONwiRU9xFI8vW8nLuCBeppsS5TY2h1P+QBpY
MvinTS3n6s+dFk7EL2Wp/Vw7F25VUsMg4bv6+IGDHjt9+3g2FfqfcLb4MU/cbMB/UaSmZW9+Bmej
/qihlkp0cx+c83Ly2hTy+7niTr4x3hQTqYyNizXHWestpkbhX9qIQ4dTX6ad5RvFEZd4dxZHPW8i
lI/IktG/c2wO+5b3hzM9cjoPC/jD0ycXQTNRQcax02ACvn58T/3nDUJfa6BXn2JCz1ZJiwULb2Ah
1ZPx3VP4HpRtJEraYMtx8pYmfA2qaA0Ua005oIJEjuYoHNJeEoIiZe3GB7CPfh5CO81REPsSlO+w
9XWa8fKq3BJaO9VAl2+JKCeT+/gWPvKZ5xh5Q4pK8QHfYiy5JNRZZWGaqbSVBsNUCDNykXXsJePT
etCopgpxNq5fomLZBpd65TKOnarp0wxqJFUmcTh1kWKaVHwLr/NFWyt3n9E/t5EJ4GtIttnIVl0J
9X9AbVGO6hVS6ELssVFdRolocK1rgypqI6N0XtrE323kKchVl0XiKIIu+WmG7DIog9yi3GLuWd67
JZSE0jNSnN09n/+3VGvSHzFYwEItU+tzqtlciDnZiutM227uNzt1XPC+jR5nz1uc5SkqvP4dnxu0
LbATONPJ8suK4/Fe7OJ4tSoiZ2+egD4sLfu20NbgtlUV3sBNmeMzL6omua6+qqauNLvJV6/Y1nyg
pBG4AyeCJyrWUqaoVmpmaxZEzQiPXwH+3Lu/xJ86s29XZ7WQhe/wo9nXZ4X7rV7TfPBYx1Wcki/Q
wUBp6n6RAtntLe2WiFf48tZtDV/agIzUBuniIAoWG+JsQB7WmeKoSczUqLVq8lHPehfiJRrU5b1I
NpwAC0UyVDOHZtMbAgyhthVf2Ax5CKb2PHEp2JinKYNKMOTllXN9+bMxyCopFfVS3IWb+O07dx6o
rbO2tG/ptB0ep43qPXy5Id22lUlbmE4nlZTN6dnqhdNcpt2nvtMA+a6wZUtRTe/7dBZIgfXgo4+1
JfEr0Os6F90jvIvPItD6LPFe/Il2PdAHdQarvg4aoENba8uN0phVBlvA3NB08uuG4EJV26pCVVkK
qCEjIzXWNglt1x83mKnRaNNtp4MNuwySDIkNNAKp57I/DA29bG3+b80N/98Jw9YQkkPSfvQs8Xs+
bXz7f6cNKonEaHriVSO596kUr5EsHoxgSK4kQ9FpHS4Gahlw5k6ciYNxaFkphdzIFeQY1ZvdPyTy
T4SVxG4TkdKTppWQQceIQxcZfH1+MXD5ucaC/707ptDtO9DIw0UVDlqKDotw8OQvaGNV5+SoNaCt
TlLcHXOCTAISAmT6WvIBHWyc0jdRQ6vh1Lk5+cU3v0T5Z8IhtCtFKVx7RsbHl01iao3k+mMpLu1+
g2+KrYqLi02KENp6vPWp+sxScC0GY56+kmsjE/iGhNro6ISE6OjahIaG2tqGZ0r+uG/9kf/8AsY8
fUd0/ONL5KL9HxeKGqW528UsabuKhXTmCMDzPHyf/X3YN753plQEwiKYGbdm/Lo52dPgPZiR694+
ffe75zccgKPwnWnPz41n8y7CJY6EkvN8MHxiSbqj6oLb8BmchjOFR6txwLdFFjqRnUmqHlPsBdNh
AcyAD1Ufpb6+JMqPziKihhZmq3UPRT32Gyl2dg/ja8GQKCz8aBKss3Gghm51uI7r2UIJu8ldWGeT
2R+pMdsFP/bK7DrWXVPSqnB8koqFZgk8SZE+ScFC3vw/KUrqsKX9uhh03YXjd0mOd78h7Z6F3/Nb
qqGmZiOkKXruyNI2woYN1bBFIf5MlvPlfU9SFT1/laX2PSm3iSFcwEeP7lslBx+h/y2puAxnUkOb
HZXlvzk1K3MeKKkTmit7/BAnoNB1FH51RZn798SROHi+OdHrIBgrm0vb65LqwjK1oNMIW7842vop
cLd2vzvlvVVTly5UkKUkQmUbDBNcRdY2ASrrz9EhedRW7H//c4tTB9q//QDfuz39obOcMLgbH/FX
tn36FcX8yqTjr706fdH0CPPGBmuNueGgD6QK1gNnylqAaz+mdN+kXRznr4jyDtfE6zJ1CdosyNRl
6WAzJ+9RqQqgUtgju9L64Vgyck60f8CMys/CFM3ZVjPs5Fpia6IT1qX5T/hpHkrQ8datB1cWXHzZ
JPRmC4dbxcAaJ+y88ME5Z/n9epzCY/VbtkHaU1hva7iHaQvogCO9Dfepcf7xV1b+k3W06E3TmZ+S
obFNdqSrJ9wBLS8QjQw1Yj+H3sDR7i4uMKPzVaeD97ytuPGGs/xvFG9fHgdM+ZUw3gEpYaECrmBr
1E1ZtI3g4K9uleVr8rJ0lHvZig0ZqzfMhSDwLfAxZRq1FFJuM2SmKMgBNgkyywsMxvxcoaSi9ehl
OAwW38KkirWGYFjFyZ9AGCxKCEwIXhvnS/VnyZHkz4w6o64EuKZKS21tsiUiLSzLd/LZcWiP3IM7
KFf03lZ8aevVW7toim5i8O35N53lPeiCl/laFvNxSMuh2g51uFlIDQK/yNpUc8X2orYu//3vkGFk
BJ2d4xTyJ6QGuQ9+QunPf6Xr5BPvEOmHa1d6bxBwAPmWXwBRXeotSZ3wPVRxFxt/vVmxDxZahaq1
sJL6RW9YlRwatcg3O7GXREqT+MWFUkqiD25LxVjxMV9k0z8TR3JkxBG0ZTnVXLwsgqyhjslYUXSq
rLQg/yL1ChwGyVQpU4lEGeFORkQQBbxCEfPbtw/2FguHWDhmPFZ4NHdr+fU9n/eeUt89mEZ7MHEP
1u1JPOhMxycP0Zf33Z6zAyq5k190nDt/esWsJcHei8IEcyr/deuBw3CGuz3xxITR73qOTzL4dfgI
JZta4y3JnPzG4ujJXmOGv/hg7iN0+Pnq31pUe0M6hI2mlOKPdnGjA/n65M6o/ZH1Gzuj4GPOc8aK
KZNnfX7108bTP3T2ClZ9y+1rW8VRNuzn38bgm7Y6keI5fh1L0l/2XZy8zLAjVthT2FBpTdiiTInK
CJ57dM0PdF53xJG4jkKPZsJ+OXHp6iS/AGGNX2IgzODI0L+MRfuT7R2fbhXIkPf5FPCFyFNJrXAQ
bGLXaWrddnBnWTM1k03hlX6l63IXgC/3Tvi4SYIj1c/pZrKtEqNLZGRNKWvtf3aA0N/eo2ZgP3PR
wIFnawYOYph/AusR02oKZW5kc3RyZWFtCmVuZG9iagoxMyAwIG9iago8PC9UeXBlL0ZvbnREZXNj
cmlwdG9yL0ZvbnROYW1lL0FUSFdNVitDTU1JMTAvRm9udEJCb3hbMCAtNSA0NzMgNTA1XS9GbGFn
cyA0Ci9Bc2NlbnQgNTA1Ci9DYXBIZWlnaHQgNTA1Ci9EZXNjZW50IC01Ci9JdGFsaWNBbmdsZSAw
Ci9TdGVtViA3MAovTWlzc2luZ1dpZHRoIDMzMwovQ2hhclNldCgvdHJpYW5nbGVyaWdodCkvRm9u
dEZpbGUzIDI4IDAgUj4+CmVuZG9iagoyOCAwIG9iago8PC9GaWx0ZXIvRmxhdGVEZWNvZGUKL1N1
YnR5cGUvVHlwZTFDL0xlbmd0aCAyOTI+PnN0cmVhbQp4nGNkYGFiYGRkZHf29fU0NAAxVX5IM/6Q
Yfohy9zd9iP3Ry9rNw9zNw/Lyu/ThL47CX635/9uI8DAwsjo5hOd4ZxfUFmUmZ5RoqDhrKlgaGlp
ruCYm1qUmZyYp+CbWJKRmptYAuTkKATnJ2emllTqKTjm5CgEgXQUKwSlFqcWlaWmQKx2zs8tKC1J
LVLwzU9JLcorKcpMzEvPSQWbzsDAwKjHwNjFwAR0qf9/Rt9QBr4fHe0LfqTPZ1y2mflHzPcK0dlT
eiZ1T+ye2DWpesofqe+lEnWT27s7ujnKu8tq5P94sdd0l83v6+ueNF3u+8fvPaK/3/+OYf2hws5X
uvCn/cLfy6ZNm8H2O3Ea+yquy9xyXCzm83k4l0zk4WFgAADxLms0CmVuZHN0cmVhbQplbmRvYmoK
MTEgMCBvYmoKPDwvVHlwZS9Gb250RGVzY3JpcHRvci9Gb250TmFtZS9HV1NBWUorQ01TUzgvRm9u
dEJCb3hbMCAtMTAgNjQ5IDY5NF0vRmxhZ3MgNAovQXNjZW50IDY5NAovQ2FwSGVpZ2h0IDY5NAov
RGVzY2VudCAtMTAKL0l0YWxpY0FuZ2xlIDAKL1N0ZW1WIDk3Ci9NaXNzaW5nV2lkdGggMzU0Ci9D
aGFyU2V0KC9OL2EvdCkvRm9udEZpbGUzIDI5IDAgUj4+CmVuZG9iagoyOSAwIG9iago8PC9GaWx0
ZXIvRmxhdGVEZWNvZGUKL1N1YnR5cGUvVHlwZTFDL0xlbmd0aCA0MzQ+PnN0cmVhbQp4nAGnAVj+
AQAEAgABAQEGQ01TUzgAAQEBJPgbAfgcAvgdA4uB+R35SgWLDAOLDASu+BYS9zgR9zEP9ywQAAMB
AUZLWkNvcHlyaWdodCAoQykgMTk5NyBBbWVyaWNhbiBNYXRoZW1hdGljYWwgU29jaWV0eS4gQWxs
IFJpZ2h0cyBSZXNlcnZlZENNU1M4Q29tcHV0ZXIgTW9kZXJuAAAAA050YQAALwBVAEIABAEBBzJx
1/8BYioADvmCi6D5IZ8B79/4Ed8D94D5ShX7HP1K3/j7jAb33Pz7Bfcc+Uo3/PuKBg7/AX+vAIHQ
99bK9p8B9wDbA/dQ+BEV9yjK+yj3Ez77EzBM4/uRBkicRNPTwqKZqR56y2pzaINvixlhgLS5Hw7/
Af5sAIHN9xvG9yXLAbjb92riA/g+97QV8T3QKExbfm1THpFCrKG8qdqLGbe5akAfYwf7KIb7JmyL
LghZrT3jttqUssAeZd8HNPciFYt3i3Fodmt5ZIqAiwhUYaSxy/c9kbiNHw52oPlKoPujmvdZoAb7
YZYHzQriCx4KBDefDAnGkgwM4pkMDQAAVKOviAplbmRzdHJlYW0KZW5kb2JqCjkgMCBvYmoKPDwv
VHlwZS9Gb250RGVzY3JpcHRvci9Gb250TmFtZS9NUkZYVEgrQ01TWTEwL0ZvbnRCQm94WzAgLTI1
MCA5NDIgNzUwXS9GbGFncyA0Ci9Bc2NlbnQgNzUwCi9DYXBIZWlnaHQgNzUwCi9EZXNjZW50IC0y
NTAKL0l0YWxpY0FuZ2xlIDAKL1N0ZW1WIDE0MQovQ2hhclNldCgvYXJyb3dkYmxyaWdodC9icmFj
ZWxlZnQvYnJhY2VyaWdodC9sYXR0aWNldG9wKS9Gb250RmlsZTMgMzAgMCBSPj4KZW5kb2JqCjMw
IDAgb2JqCjw8L0ZpbHRlci9GbGF0ZURlY29kZQovU3VidHlwZS9UeXBlMUMvTGVuZ3RoIDY5Nz4+
c3RyZWFtCnicNY9bSFMBGMfPcbod11gW7KnczkuZgZIWiRGFrcJQo1TStMSlRzfaPPPs6By63JmX
Ob/dvGw6xZ2Zt26mNBDxwZ5C6AblW/YgIkUYaE/nzDOo2ert+z98v9//jyLJSQiKohJ1SdndnDMH
5wn+GMofT+LTRSB49q9E7SkgE4EseTp66yhXcYS7eZgrTENSUPR6cbWWUpNGC6Vr1NL4KXUmnpOf
n4cXGAhKV6dpwks0tJYwaOh40ONlZJ2OoC3ZeIFej5cefJjwUsJEUK1EfUKuJg3GFpqg8BKynqCa
NBRFmusf6P/S9Ro6jiFo0oggSHJDY+YlBLmH1KD9KCAp8QVIEjKMnkQX0R053yd4wnzDFK9jUU7/
UcQt8GsKWIfJqemJicdTn7w+l9cLA1igCzozcivVTqVQJIEsaG8mrVajsdiBdXf3M8wA+PtVS32b
rZCBCVUSuA261w1LhvddzwAbGYKAvwcYl+qir2HZvtAXADe8xLjTEngKq07/ow9FM/UBTjoPn2EO
+9dIG+Z14f+NNhTwBuYrFmufFA0/BIxhwJYwfuldrBlu9NjACVpMiAMNUOlmRm+8a35lE6Q6uAok
JhRKQA0tJspioU3XHL39Dgf0YDY/+He3V9fdSi6+5weMz8wFg7Ozb73Y4KDLn6hb6zkfhl1Mvt9B
hbn0CJcd4ZQsGr3DbSjG4xNGmRXtCs3aW+336WptJ+OEdsBiMXFHG5jNIQiq+C3xhbNt5dCHdQZg
eAxcE37l6s/ve1zu8ojH54YhGOp12zzCueWcvapvthC4nS6Hpxd6ALPboNMZKv+aq4ptia0J4JhK
/luUuoZAmP8VQfmUiIjPiooV3AtxMAQs2wZWVWwnYWfjdu55bFtsBTPLQiiolLdMRi9PioU0nyQi
3TyklCbnsbLUyJhMhiB/AGhFSAAKZW5kc3RyZWFtCmVuZG9iagozOCAwIG9iago8PC9MZW5ndGgg
MTI3Mj4+c3RyZWFtCjw/eHBhY2tldCBiZWdpbj0n77u/JyBpZD0nVzVNME1wQ2VoaUh6cmVTek5U
Y3prYzlkJz8+Cjw/YWRvYmUteGFwLWZpbHRlcnMgZXNjPSJDUkxGIj8+Cjx4OnhtcG1ldGEgeG1s
bnM6eD0nYWRvYmU6bnM6bWV0YS8nIHg6eG1wdGs9J1hNUCB0b29sa2l0IDIuOS4xLTEzLCBmcmFt
ZXdvcmsgMS42Jz4KPHJkZjpSREYgeG1sbnM6cmRmPSdodHRwOi8vd3d3LnczLm9yZy8xOTk5LzAy
LzIyLXJkZi1zeW50YXgtbnMjJyB4bWxuczppWD0naHR0cDovL25zLmFkb2JlLmNvbS9pWC8xLjAv
Jz4KPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9JzA5NDEzMDdkLWJiMTktMTFlNy0wMDAwLTQ3
YjM3NDM4MDE5ZScgeG1sbnM6cGRmPSdodHRwOi8vbnMuYWRvYmUuY29tL3BkZi8xLjMvJyBwZGY6
UHJvZHVjZXI9J0dQTCBHaG9zdHNjcmlwdCA4LjU0Jy8+CjxyZGY6RGVzY3JpcHRpb24gcmRmOmFi
b3V0PScwOTQxMzA3ZC1iYjE5LTExZTctMDAwMC00N2IzNzQzODAxOWUnIHhtbG5zOnhhcD0naHR0
cDovL25zLmFkb2JlLmNvbS94YXAvMS4wLycgeGFwOk1vZGlmeURhdGU9JzIwMDctMTAtMjUnIHhh
cDpDcmVhdGVEYXRlPScyMDA3LTEwLTI1Jz48eGFwOkNyZWF0b3JUb29sPkdQTCBHaG9zdHNjcmlw
dCA4LjU0IFBERiBXcml0ZXI8L3hhcDpDcmVhdG9yVG9vbD48L3JkZjpEZXNjcmlwdGlvbj4KPHJk
ZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9JzA5NDEzMDdkLWJiMTktMTFlNy0wMDAwLTQ3YjM3NDM4
MDE5ZScgeG1sbnM6eGFwTU09J2h0dHA6Ly9ucy5hZG9iZS5jb20veGFwLzEuMC9tbS8nIHhhcE1N
OkRvY3VtZW50SUQ9JzA5NDEzMDdkLWJiMTktMTFlNy0wMDAwLTQ3YjM3NDM4MDE5ZScvPgo8cmRm
OkRlc2NyaXB0aW9uIHJkZjphYm91dD0nMDk0MTMwN2QtYmIxOS0xMWU3LTAwMDAtNDdiMzc0Mzgw
MTllJyB4bWxuczpkYz0naHR0cDovL3B1cmwub3JnL2RjL2VsZW1lbnRzLzEuMS8nIGRjOmZvcm1h
dD0nYXBwbGljYXRpb24vcGRmJz48ZGM6dGl0bGU+PHJkZjpBbHQ+PHJkZjpsaSB4bWw6bGFuZz0n
eC1kZWZhdWx0Jz5kZXJpdmUuZHZpPC9yZGY6bGk+PC9yZGY6QWx0PjwvZGM6dGl0bGU+PC9yZGY6
RGVzY3JpcHRpb24+CjwvcmRmOlJERj4KPC94OnhtcG1ldGE+CiAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIAogICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAKPD94cGFja2V0IGVuZD0ndyc/PgplbmRzdHJlYW0KZW5kb2JqCjIgMCBvYmoK
PDwvUHJvZHVjZXIoR1BMIEdob3N0c2NyaXB0IDguNTQpCi9DcmVhdGlvbkRhdGUoRDoyMDA3MTAy
NTA5MTYyNSkKL01vZERhdGUoRDoyMDA3MTAyNTA5MTYyNSkKL0NyZWF0b3IoZHZpcHNcKGtcKSA1
Ljk1YiBDb3B5cmlnaHQgMjAwNSBSYWRpY2FsIEV5ZSBTb2Z0d2FyZSkKL1RpdGxlKGRlcml2ZS5k
dmkpPj5lbmRvYmoKeHJlZgowIDM5CjAwMDAwMDAwMDAgNjU1MzUgZiAKMDAwMDAwNDAxNiAwMDAw
MCBuIAowMDAwMDE5ODI4IDAwMDAwIG4gCjAwMDAwMDM5NTcgMDAwMDAgbiAKMDAwMDAwMzc5NyAw
MDAwMCBuIAowMDAwMDAwMDE1IDAwMDAwIG4gCjAwMDAwMDM3NzcgMDAwMDAgbiAKMDAwMDAwNDA4
MSAwMDAwMCBuIAowMDAwMDA2Nzg2IDAwMDAwIG4gCjAwMDAwMTc0ODggMDAwMDAgbiAKMDAwMDAw
NjI5OCAwMDAwMCBuIAowMDAwMDE2NzU4IDAwMDAwIG4gCjAwMDAwMDYwNDAgMDAwMDAgbiAKMDAw
MDAxNjE2MyAwMDAwMCBuIAowMDAwMDA1MzA1IDAwMDAwIG4gCjAwMDAwMTEwMDcgMDAwMDAgbiAK
MDAwMDAwNTA2MSAwMDAwMCBuIAowMDAwMDA5NDA4IDAwMDAwIG4gCjAwMDAwMDQ3NzkgMDAwMDAg
biAKMDAwMDAwODc4MSAwMDAwMCBuIAowMDAwMDA0MjQ4IDAwMDAwIG4gCjAwMDAwMDcyMTMgMDAw
MDAgbiAKMDAwMDAwNDEyMiAwMDAwMCBuIAowMDAwMDA0MTUyIDAwMDAwIG4gCjAwMDAwMDc0NDUg
MDAwMDAgbiAKMDAwMDAwOTAxOSAwMDAwMCBuIAowMDAwMDA5NjMyIDAwMDAwIG4gCjAwMDAwMTEz
NzggMDAwMDAgbiAKMDAwMDAxNjM4MiAwMDAwMCBuIAowMDAwMDE2OTcwIDAwMDAwIG4gCjAwMDAw
MTc3MjUgMDAwMDAgbiAKMDAwMDAwNDU0MiAwMDAwMCBuIAowMDAwMDA0OTQ4IDAwMDAwIG4gCjAw
MDAwMDU3MjQgMDAwMDAgbiAKMDAwMDAwNTgxMyAwMDAwMCBuIAowMDAwMDA2MjAzIDAwMDAwIG4g
CjAwMDAwMDY1MzMgMDAwMDAgbiAKMDAwMDAwNzA3OSAwMDAwMCBuIAowMDAwMDE4NTA2IDAwMDAw
IG4gCnRyYWlsZXIKPDwgL1NpemUgMzkgL1Jvb3QgMSAwIFIgL0luZm8gMiAwIFIKL0lEIFs8MzQ5
ODg1RUJFRUYxQkEyRkRCMTgzREM5NzMzRTU3QjE+PDM0OTg4NUVCRUVGMUJBMkZEQjE4M0RDOTcz
M0U1N0IxPl0KPj4Kc3RhcnR4cmVmCjIwMDE5CiUlRU9GCg==
--++----------20071025091730-041624518----------++--
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Okt 25 2007 - 17:47:30 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:09 CEST