[Coq-Club] Featherweight Java formalization
Bruno De Fraine
Bruno.De.Fraine at !NS! vub.ac.be
Tue, 11 Aug 2009 13:24:56 +0200
--Apple-Mail-16--1047726396
Content-Type: text/plain;
charset=ISO-8859-1;
format=flowed;
delsp=yes
Content-Transfer-Encoding: quoted-printable
Hello all,
On 06 Aug 2009, at 16:41, Thomas Th=FCm wrote:
> I was wondering if someone has a running version of the =20
> Featherweight Java
> formalization for the current Coq environment. The author Stephanie =20=
> Weirich
> pointed me to this mailing list in case that anyone has an adapted =20
> version.
Not so long ago, I've developed a formalization of Featherweight Java =20=
with the help of Erik Ernst and Mario S=FCdholt. (In case you are =20
wondering, this work was a steppingstone to research the typing of =20
aspect languages in Coq, some of which is included in my PhD.)
Our development compiles under Coq 8.2 and you can find it in =20
attachment to this e-mail. It considers the non-generic version of =20
Featherweight Java (without casts) and provides preservation and =20
progress proofs. For more info, please see the included README file. =20
Note that it is not based on the version of Stephanie Weirich.
Any comments or feedback from the community are welcome.
Best regards,
Bruno De Fraine
--Apple-Mail-16--1047726396
Content-Disposition: attachment;
filename=featherj.zip
Content-Type: application/zip;
x-unix-mode=0644;
name="featherj.zip"
Content-Transfer-Encoding: base64
UEsDBAoAAAAAABdoCzsAAAAAAAAAAAAAAAAJABUAZmVhdGhlcmovVVQJAANdT4FKm0+BSlV4BAD1
ARQAUEsDBBQAAAAIAPWBCjthf9G/NwMAAB4IAAAcABUAZmVhdGhlcmovQWRkaXRpb25hbFRhY3Rp
Y3MudlVUCQADjiuASo5PgUpVeAQA9QEUAK1V22obMRB991cMC4F1ILtpnlobpw+94IfQhMbQh1DM
WDtrq5FXG0nrSwn99o606/uaUlpjfJGP5hydOSN3vtJLJQ3Bp1WpjYNHZ2QxTTr3JRXwKHRJYMPS
2PovSacTX8Ll/3nAZZer8Rt8JCULQsc8INCSBVlAabTOrQcF1GgmLVgSTuoClmjB4TNrzI2eg5sR
PNw/3M3RPMM3+Sw7wI8YZs6VvTRFpSQWghJLaJOKj1YklFXpr1IJVU1SMZVXE1mkpS6VL5FCN9ny
empkVgEZ5bKQnr9WdedQwFwvaOw0P0tYQW/AzHN0YgaGFmQswVSjgqV0M/7lFYbQgzG8XvHL4Bac
WYcCvBNzRwaGDKIiY5sbzi/aYThxhNaScWN6iUBmVLh41QXBUpyJF92aWJHzBAM2heyMPeS1ehvE
KxgA49i3IUzWrC5XtJIL6dZ9RglFyOxtvB+4H2OsVqe0Bc6pYc6lsQ6egu2WAh3LCID+oUXBhe1Z
+OAeFBZzlAreQDQhgRUbtyRADuZSm2efC9aCkMk8J8MyQkySCL4nTR+8zFDLE280B1RYTWrUYzvM
VpMT5HnoIXoTYQ1WMxYrpzkAIS5sUiV2eeHJaQKp9FQKVIlFoXCdyMJITHKTCi20kUKnGQk9L7Wl
i5trw59NZvnTxc1bF9pzcfMuVDxp1nZfBFGzL/IdMlTyeEFcR3MXSQ7kfh555KYcHQvxthDUZWDI
jWxS0uGEdtui4r1xzCyLH/WcHpLvqp+RMdiTsq0Bwy1xn1ed0bYfuuCCjlYhG+uZf7Yu46FPaRg2
Q5m/WrjS6QHbCuXaLNFk2zLRZB1B3YPYNdnnucOyVGtf9elIKg/bK7iQ0j/W9nNbL9UjKjMmatvI
4+cMZjLYE7Vqaqb+MypLXpVjGQfb2iX58HLBhcRoM+S0O+Xx7QLx5nLh7jGONfsC/SOn/bdTt/sB
29o9+mcZ9Dc66KwQW5KQqORPP078L8iC1H6iW2P8fngNV7e7JG/u5dHRxbxTPerB8Drobjj8jbzj
ZgTv7u5d06Nu58yfRK5VNrZyXqqtc+7AOX6yjJgWrDngvDkM4Vcxw2JKHuEPA47r/wZQSwMEFAAA
AAgAy5gKO5BZ9MKgAwAAGggAAA8AFQBmZWF0aGVyai9BdG9tLnZVVAkAA41TgEqOT4FKVXgEAPUB
FACtVU1v4zYQvftXDPZS23WF7tWoF0i3AbLZBLttAvRgGAYtjSO2EqmQVCJlm/72viH9Ice9FKgP
tjTkzLx582Y8nk7prm0a6wJtrSMVbO1npDPOZmQ3f3AePD3rUFLBuS7UpmLix1ZVOvQZ0e88Inwa
Z590wVSyYwolk9pouUHB0gMbdirAZmJ02jr2ZUpmetpqo0OKktuqQj5tzR6AhKq4rhUtxXUdXddw
XXsOq2wU3b44/aCNqki1obTOz+nChbJ19LFU7qFF8rZAqoJ+dhoYLvqCa+2y0XQyGv2GWjQwf6oj
Azfah+yt8VZ1Z7YbPpq+sjJ2DXqAZzyl6f/yIaAbyw/9wpEisCK2aLyQJpFCbh9cm4fWccXeH/rl
27wEdyrQM1MuvFfPqveHVkTarOF9Kxy6onadGHQB/b3ctRq3kzRIe1ry40oIjWEOsohqoNYzfbSP
33mqbdFCLL73gWsRQq3+FGEAssqDtDb667pBh9kEFUu025QH0e7R/OVlF/mWikF9taJKA/eGK/uM
qvDtY5TWSwbHW3byILoJfcNJNhEsaRADnTbsguakadsGKtWTNg8xCBxjudue+IldH0qcJPG/W+4R
ZKt3WWzEbarvXtJc3H+5jWr8qpyqOXAaJJrTHYd/ORgIuYLkaB7z4xUl0bjzcIx2uTuZ0bcOhhjw
L/o7ifSToY46//omOD+uY3x0BS67gB31O/8YakH9K30vTz99wCMiXIKeXQkiLyH+vC1prO0TzgxS
bVXOIoZSFwUbSZXkYPP26Na0rrGe/QljeyaB6cAb5mbDmGIJx/EyDYWfyFyQUYnNm7gTatWtq7B2
p5W+zCIQVLegF/rhQ3rCXTnLhC1n7TZL4jPBWaBTTVP12DRraNPs9t34/XxxNRmcSTonfr9yMUAB
TLGJcn5EMmgiLkwSpm9kYMQ7+rhHPKNdKw9QDb2ewSzaOJFyTWEA4R9dlj1drWiVboHDXHlGAl0J
hWLjDgg8/ZghBiTtJcb7N9dzi5JjuFOnsRQE1ibZjifQeZ2RF2nAIs8FpwVE1xHWZ+D6vEND2EKY
9Tf8VfvDZN13MJPdbc+5/S+zEmk+ofg4KpG4c1ZjUZ0f1DE+6WbnJ7GuDixnJ9TcUXekRUhpsAax
Ol6YxlfpmK4nySeVatZ3ZicsM190J2cgR5mgfV8P6BIHvHrf1k3cxgN2BqNxMvGLwZ8RDqSY9L8U
280Y88N8xZnf7zS8nu5ZWP4BUEsDBBQAAAAIANNYCzsMzR4LeQwAAKwmAAAZABUAZmVhdGhlcmov
RkpfRGVmaW5pdGlvbnMudlVUCQADnjSBSo5PgUpVeAQA9QEUAK1abY8btxH+fr9iECDV7llWVOdL
IeBsOLo1nCJ2g9qtP8gHYbWiTlvvi7zk6k5N8987L+SSu1rVdhEjyEnkcPjMC2eGQ11F13/cvyu4
hmWqzdNXjVLwSqVmr5oHld/vDfw1PaY4TyQ/NW1Vwy1SNGleqSk85GYPe1UcYNfUJSRN/gn/V2kD
abWFN2mT1/Cu3e7rwkzxQ1mqBp7N539BZn/cv/jqCnUBhyavTF7dw8e8gu8/qkq3jSpRkt9w4Pfv
Aen6ZFVtzih5bIT45mZAuK2N+iyETPl+n2so8k2TNifI6sqggjSgGiHNTJsWI0qFIq3u2/RewVbt
8io3eV3NrgD/vd+HY4Cct/kx36ottAfYKPOgVAX6hJs8TiFtH/MiR1UrPQV1TIs25VVoAWZmTgeU
YMZI/64+t3mj4OfyUDcG3ihDoOrmNBMpruEdc+3Ewv9+UY95hgJkqVH3NW3Tzb5NS/xW7+CI26eb
ghDsclVs8W+pzL7eanaErEi1RsoUt05NXWqIcNu8AYSTFrk5MVASU2X5lhjFgvfWKwG3gMUNL5+F
47sKQYzOlBdnsv6MNaCCiuVZGbTlHQNf/W3zL5WZO0Z+aBQbRW1n8EGBzstDcQKUrEVmZp8aMrdW
LItwQs1pI5L8mjY4ZND/iTssSJ5ZMCob4Thjm3Xaf386KIaCRCUyRBBaowzeCEtSrt2QYJLP1RUi
29W4Ao2DDqA0ohgoFIdJBeF+pAO/BTMQns6+0KidalSVKWtouFfG2Rry6lhn7HysA0Jdi1hZo3hc
dPFztW0zkx95MxT5nULBb67+A2rNVmZbP31OszwoOy2YGofF4sE8be+nSzddoPLdoCOt1IPT8QiJ
V3tSHfOmrkpVmcCFwbCTd6p/WcFKVcc78tsC9YSkULXlBu0ZHgqxHzu8tcVLWG144Savtpq15alN
HdpZVPa2NnKqcRVZLWLkESnqmpjG8czTbMaIkCURMe7VDo+o9fDS7PFjmR7YcSp3ouUYM4k7yYiL
hWC4PjwNERLvYHex1jlI2jcgKy1ZRG55zWJazB3ojLXPWHUfrIsvDmEf3UtrPD/IEmCQ1rg1M0jh
gOarjKUkqUNLnitjILNAC8TJnDjuA2vlmqX2ImEUseEjxT0eVc/NYLV8fzcMHsv35L4834Xslz4B
hHH7FZ8ajxmKuv6E+cORrORYLQEjxB1gikaA+Y6R0DjhRvfY3UmSJ8fFyHgnUZqjIMUHAcz6XC1x
smLDiBT7XGE2zPan4am36gzOIWsH//7a1AcJBUKzxviBdHaBjZFVXgQElFSJpG7SokBpbmGn8b8J
lJiEGBifMZyJbqc7PS11TFp8+pznLOdbXtEfwwU4+OTJTpO5XmMhAEt0GdOgFHWjLdmsF1NFddHS
yRYjDwJnP1N8p3OAf5yktCGnCf0MMUz95ijFnyx0NBB+dSD+Ue3QVkLojoa18BJKKCkW9expJ61B
S2tQCVniviu7KNf+bIf2/Qbb2s0C23bxeHCy+/aWdWubHPvWxCRk5Zp+0aAyZ8lppR0fashvqdvD
iAd9y55Vve62HW5422G5AGTUt4QoqAIo+et2o01uWjZZd4p5dE36TACDY6NM29jKc1AyYK5C2+Nx
oYLiBHWWtU2TYi6nEChC1i2GC5+J9iladEPFZqMORZqhT2xONsSSxFhXavIL5bMlrBIbtF7lj4ea
JPMIowT1TNkJz4KSjB3DbyI2qN9tDrenAuvsbA+KvZUHXH1whBtRpafCKgSHE08r9O9q9Dw1QXr8
fzD+tq4UDwq/bkbZktkXHWqOp48p7dHuqXsew65bwFUI0qPKtSzhkbMVJUS/UFlIKTecjHFd3HGj
QmXZcZJvX1qH8LukkPiLQJATglG6o6hH41MGJqOy3qoivEN0RClGobbKOKO6mhL9qauc7uTiQiNr
uwiSJAhDK/qWUw4d4T+Dn1JNl4ziNCXfZF4oYuC7lKSr0Jkv87o+qzF1h2mBjiegXekX9+OQ0tl6
r9KtDwh4qbFROuAToTZAfGixIP3LSrz1FcFKVMHI2iRxsWCE5dzyjBL2Fko9PVFGJBkRIhN3XafN
/dzj2XVgRjcNXD4WJuTAAx5lqI9xNuFBGDDSPUbzr9DPmMaDHVhNsd0FT8lgk+X/u4M9cMJ9NESH
K0Pms7HD1kVr8legmOSOBsbjajRQ42WzzaSmXRE5hlmKWtqow9ktipgugnvMwBtwurtDdYrBHKeo
tMByzFk0rD2cfqrj+t/5wVEr3c+zdnlHTUCiLlb6KIZxEsOUw2Lvax2UEuubhLSi4Ui3Zj2fDlNl
ZKbJVMVDWIlbMwAgkdfvz2GXYASBM4qo2Jj2qOLF4khkKnZY/XGzcBNGOpn6/TjFjPhT4GUMi51J
/kwu+BTSzdBR4DW11Jb1Z74LpgfqM/TQNC3eD6LvqH8DWVpVtZF0zsmYctqm3p6+i8lPeJfkEV2s
gmeok56J1vACDbOO2elln6i30aX4gPgvMGbVI98SXpAmv5Z3L2h8gfsLpEP+0QtU5Tr+ij0uRI3L
25BHvFh+8w69qBF3ufg9d+DCPPxBFcVTaq9gRcUtAR8h6k9rTq6mFyHszSuFh8HKYSxwy/mi0Y8D
OIXXqUVHItcpmcirdWY6HzdTPJHURt3WpdS53SIz6rh21se+d+3G9KXG0sAoqaFvw7pgaQXb5g1d
7vB8yg0DE/7q9u6sDei4RFSnd7essfsUX6fsR7oLjlXwgzuVZT7zpTVoaEO02qLVLJ9ilC2ipM6Z
G2tUkbq+LdbKDKlRuwKxHBVqFmtunbOxsqKmjjIXVNTyHajAMRramHB19j0zM86uaTsIzUlLDBg7
zRCC+T+DeQbmR0vG35Alf6Hx7gvO/GhZODuE96YpBDZ2i/DjqMvg3OB+EyTAoe/Y7xR6++dikDT3
WKf6TsX5xUSK1Id8q9YXWTo+fSObu6EVLIMF32h93j2zh7FNTaunIyU7yR71J0j6+ZQn3VCHMLL3
lJgNaIa5nApFMHNqEkz7C2U8bGvQd2onjGwRRHe7Tz9PJ5DMaXoje/lCcHw7m7zN3Gbv+XTTpe/A
AFpyeJSX9HEejyHr5QaLTRq5HTRbz1ysYy7tuNOjO/q6ZXl1xe2S0Ge+aPIHs5Yz6i1Ep28y1Bcb
wp1NqiHgzDUn5/trDyDsX/PnESh6XYWXkhHfGyiHyKXHRoupTTp0Ak3IphcUm8xH+HbSji2K5A6F
brJYoAuMhgvLJmQZcvGh5Dboaw3DCKYp9qUlt2WMdEzCo4+OigrC7G3DPCb6vOufBh0zcbO6cVPU
VcNw45tlbDPbUx5LY1i0reujahqUATOSbxeWC2mYsTakWRglbO9hlnPBewLJBNQ0bDhF6GrJROpl
714/fAQ5ZXBjP0wG+S9E1W9sOs1R2v06sGhUuZn2UfcEd1ZAZKFhbWW+xGqcuhu+5rAwLZiZt6oo
vmvd9YyaG7KlWBLLaWlujptK0sPtXdeGXe3sM4l7A1kh8zNjWjyToXbAq+doE3b4sjHQjHSyjoLH
3XdunsOI09pOTx+CSBQtPYAAy04vuMlOsPAjP0MM9o9cl0BPpsO+OIUL6obDkycUMmO0mIsipXZf
ZP2aBIw6lSBqvHsNm9cObmhCefTIBsk4Gyt8g1eSMWPw9KSnimPXke4/xfxPG2ChSE/ZQiiWCByN
uPAj1qgxnDT0JoRawg/o5IGGPMxsxL0HLzwEUTUmfOD5oKjhlRXtVl58g58L2GoyS4usLVotwqQj
FDrdKfv2fvA78Eu2vHfjQa1c318eWvCcyIuZ7HlURX2g6mrmgyx1PdQgsF7qRjeKvsojK/DCGfyT
/vCzs2RLRY/QDMq+2MnrNhVlnKjvzl9LfZEmYBbnTRGe6FcRWdVVEO4sYFj9uZLOBK62ksX+sy0V
eOV43hKh/PM6WrioHyjKlfWWbvESj6Rhvz8dav4Nge6bCJVx34qaP4hWwl8ddD9SwHNCnQD3fNN7
sPFPivY1OjXB210wi0yCoyb6fCNQ+bcIr08HLXW0f5XMsB6r+W5pn+jsb2vk+jikZv9eBKeESBIE
JaxZVe9EbquF7ocyZXqCDemsZB2nhm7B+6Zu7/fUDaZfZCjSUxq4uY1NA7VTYb+A+/xovTPdoLMH
BphS3qATgHnJX+OCY4LM2XebY/dzG5q+J08815qVJ3q9YCnjoU5CVr2yUU1cpTVSOvqHi2EfaqT8
mnAeHW4rgIOW9fluVA8O9rMnAT7+QF1ovmKrydTDiMWgIvXs6r9QSwMEFAAAAAgAdG0KO2PwCg06
BgAAbhUAABUAFQBmZWF0aGVyai9GSl9FeGFtcGxlLnZVVAkAA+sHgEqOT4FKVXgEAPUBFAC9V91v
2zYQf9dfcehLpVRx072sUNoCdtsgK9q167I9FRBoia65SKJK0XY8DPvbd/wUJdl1uhVL0UTkkfd9
vztG8dn3+4ngDF6STp5fCUrhihK5pmJH2ee1hDdkS5CujizEpuHwCk8Iwhqawo7JNaxp1cJK8Bpe
C3aLv5pOAmlKeEcE4/DrplzzSqb4UddUwA8XF0+R2ff7SaLoI/2yYYLCT3XLhYR5WTLJeEOqG1JI
VnSz8Yl3VCobudhPSFdv8ld0xRrNYXoTyVfI9CDhg+AtFZJRpEbxGdysKRQV6TpWwAfCBNA7UrcV
Nd5C+XgJWoJ3QFnxO/qLLJE8hwyKhtR01u8t+r3rfcvxcsc6mOcrQbt1Bu+Xf9BCwrMXMB8cWEwP
LODxJxShvmaBUK3gIRmKYLhAyEafd5zcYuEWyPktrWviNMwbLjP4O7b3n8M8mUXoL76aRegV3LIH
Z9EvtPS3F0duL+DTY5SMHz2bknZSbJC8cJwk2Ug+ZNgbM+GpbbBs3ffCfh+Q0nMKNq8vRlKvWSPh
LS9IBR9px6stDT0S2jdSLQzNCgsqg9UoIzosMb8bxAtP5w39klt6p6OFi/AqlYZnPeLZ0J0hbIkY
MDUEzVeucZ2B/oOcDQXV7asGc1qZUpXqnPnzHGI8lRpnJ5BlEKNK4bph1ZQJxCTDqmkTiJf2A1lR
1GNnYhQTdXdpGSRDDsbMnDZb1EP/RjWMvhPJ02tLXu5BC1X3jDY0R8dYkxO1XDFalW5fuSRRrk5m
E2/Ucq28Yf6gGkZIGisr0l7RNBCeBH4JQlFIlHqXwcsbeB4B/sTz1GZxiofVf33T0BZfoWnZjuxj
lnp9QwXe8XKDCfL67meOFzLQf3xZoU4N52rfltMnTGHWQIk49/LGF4+gO8EktSbMoo4hHM4Aa2Rj
XBWWzmvMXysulIMJsWQN5tQcxpYdF4Ui4K9zOJtpCbDpWPPZsEGqwDjYhfKxGCIGMlg6kYv/TaSK
gZNqEv0rYbq3Ej/eU40DqKU8r33htBvgzAgeHIvfmhXH8mh4roV4A+ldzm/zQXnyW4hjdTfVeJtl
PbUH35Z3dCprY6QE7JzVUeD6hhtDVeT8otAtPvS99uoAv1SF2yD4fa9RsSbNZxoAnh6JYhQCjx71
24lT6RLoifYw8c1Qo74U3dyhppEnClN0qejlpG5CpsrXeU1RTW2TLVjbEvRWIDyAI29z11YMAR8H
RgoPKrqSDy7BxqAgTc63VAhW0ktV14J3l4BeloKUrNA1HiNOIFooDTrI8d914pgJNXE+wLB1Hc5R
iPk6/1WCWS17h0bLPcRWqt+13j2R5UkvQO5bddJmnmn1CvOC5BuDvm0cofz+9DcrsENH5UaL7oQa
Qz2y7Hj3yTINTTGrkWnvsmM+0yjsNH9yMVU+GdeYSgcfc8VplNZh0hkkww89CQ9yrq8aj2XjJHMp
5GDNJo8tSpU7Az1MiYDtK/er/vC6bs8ePawOxjIXMVs8Dw9Vj+moQdhSGPTzMACOzyWQtq32gxJN
nFDjTt9739/eqDENu6z58K5W7jWFXUg9yJ3uCFGvh71zyG54etqBRv8V+balHisCHVR2POxhMnRK
qx8Up846Qk7rVu6//Xw4dfT+9b7HCazLQP0eDplu9FEI7GDX7Q3GQO1oc8qx11teqOU9hHf1pjTw
3r8u+7P4yHSjcEwQY5KZAsvzFzgR44vSl2EnaWvAAvsZF6SqgMAyBbrFxtPjiG7rSDAoAkufQqYK
B6XSZwu1oUJehpEL8rhxjeu0D4ipV3vtz0GmjFc6be4DshMsQpS1lmaRxX3Vpkfmx+ZxMQcDoWa1
ADM4a7eYku9fr0Yz6WwfoaIlIher9tQP3n57eiddZR3Y0Bz8ft5tloEKoZQQ1f/7RaF8SZUS+qHL
xVFrDkVHByQNQzWJDupjYTJMUShS/VQxVPUUsz3Spyr2QfuiK1zfC99v5oWkTxdHM32S59oFfYY7
BMWJk0he5+gC+m+pK1J1A/KqondsyxQChZh/oLK1WXGRqPr2tELRpsWuWsshR7qK1/Nf6AbbwArj
w8TSjvts6jRn6bPzYTwnHec4fCit/I5a8NLO+GbLPj2+1rPt5UGqHX0gnEAejTU6HP8AUEsDBBQA
AAAIANNYCzsJNhtZkwoAAHIhAAATABUAZmVhdGhlcmovRkpfRmFjdHMudlVUCQADnjSBSo5PgUpV
eAQA9QEUAK1Z62/bRhL/rr9i4A8VmdI8yjmghVQn6DkymOLStLW/uYZAiSuLMclVuUs5KoL7229m
H+TyIcd3iPIQuY/Zec9vVhPv1bf7TOAVXCVCnl9XjME1S+SOVU8se9hJ+CU5JDhPS/5V1SWHd7ii
SrKSBfCUyR3sWL6HbcULWFbZI/5XCglJmcKHpMo43NTpjucywIeiYBVcRNGPSOzbffzJ5A/2V51V
DN4Xe15J+DlNM5nxMslvk43MNiLsr/jAJMnIq+Ng6vqX1Tu2zUpFAXdOUNEo+8/15yzPkuoIW6Qp
gI5VM6/gQy3rJIesTOsNbQKx2bGC2TVwgzoVTE/NovA18C3g4VCxbZGUatWN2gHyuM/Kh5X+Eiuk
CPNL+IDMFEmeSTybV2YR3BCzv1V8P1FWeMpStnrRfmflM0TEy6mIlgyq64oXa3SOFDoyiVVRS6Kk
HGXIZ3BKgOAkU2FjgPflgVWCzAWSo1pllbEDQ4Mgo0Wi9O4cq+1yjVZseMuKfZ4xseKPK1Ye5hPA
j4ebkzyHJaAMgdW6eoPzN8DR0334x59ja10Nf3WDADyyK2Uz3OwLJ6hdvg1xc7Lf58eeVhcoq6y4
WACKfsiSPJz8zkhBrSdbnXdFJcPuK/5pdkIVoUvBtdApMh59XZyg5p8i119o6V18ld4kRskxdAuW
ZolkJ6R8hvNnuAiNl+DbJk8EKpvJ3RyM6a7gHWwFFPgXDYwWC5Rl7WJn/vyNmsGoSGmxJ4NlwHxn
BvcQabXFEHMMrk1LTykTssIcAzEkArxVoP7Fvk+TW56n4BlSU0MLz4JlAEwvYdp3tslK8bJieVYs
cFSIutiTTazbNGLLZJ0zLVAjOE41srUyq5U015H2Crx3wVYEhfCduaGOXihu3JVUEZnqQ5BOgIT+
R0FNArniVcXEnpcpKzcM1kw+MVbCIzsKVckw8T1gRJq8LRJMa+gfWcXLgqH7Nflk1Jn+zvaN7pYR
Gjc1auuGfITj4GUFPftWU+xzJrDYLHELnUi0FAEaGeoMHljJ8Jzsb4bK2zMSR0Iq9BJbnZZttshs
4oR4AaJeC0lLEQkwOGP5qszysxDVVkveGd9gpj0LFYONjd7HSw0HvNn8Mv6n35tOGjqOh2njjOiH
xIMDptIX66mnm64XHlRMmSFP6/QCA7aZZmrPd93EHVHm9gda7vMYYsFBLcrGKid0fQdfHHUoj06i
QEb+fccOs1bTjpqdBVFoLOUOhq31HKV7B7i8hCQyxrjRZHEQx87MFqTySWMTYUwEtSD5tXG2WWXJ
Ntt/eqP2q8GTHvCDD94Ffv+I36/x+7VvNwwP4QQ3eyFJaAK1igGEMZdICvqcP5k6jkF4t5GrkvP1
p3vYHfdEQWS6sn/gaY2p6Pa4Z/Ar/7j+pA/+LakwbiUiULtzDjiJssOfJccqCimSvroNJ0uMeLPR
ElOv1wr4eQYnxnM9SkWI6Oucuf6EtLcZy9EbGq/e5hS/ZtScSWNU3tX3JWCoGTatt2mz21zYcQJM
fCypOjGrP4goc3TvA4K0dhDdSFZJmmmPXB/R71R2tGrwQ5svtTXel71USUS0bXpyUqVxxCygSNkm
D+A/NMFTK6oZH5GvLlUuR/UvXijrArrML/4P3m05Z7jo2NbzwK1LhnU0y4tMYwSxBJBZzP2OYUzq
wFoXu9Z6qjLELB2naSPIb1cKqiUh2ESsP+1bT0BNabWty0Y4SUdvxTRodpvj1AS5Yfs6Ve/klPh8
UvKGJFbneNokQTUwbZfaRBiPFp2ptWrDlsQGS/Ac0fvd1x33eePDvWVDJy6jFtx4Fo5FSncVpaQz
R9lCkHiegzRQQd67iF4jeo98X/HYYQlt0OHJtWk/+zp+sc8ThCGoy5n2B3xaDOzdpCmVl5pG9SNx
TujZpk8CMC0wSG0nU2Fea9vYW0ypJxdVbFMxha5xFa/SrKQ+GFNp0VmH9bSWEy2BbqkTuHNK6j1K
C1o0RFI45wwTZbR3arpu4ueoSNUCe2vCcr38bwQ86uqAyjSc7BHIseqAXOskZLCWNmsQhmGL1vSC
XpyYZKX/N/Fi0lk7iQHSH1NRo2cvzcgQOvTJ69iZ9AKlxb1k9Zc4nsY6X3W+xajTab83ypC7TJw7
z2e94tCn+SwBE0QjgTzEACVX3/6AoCLSY+nbEeQ7qVjsgFMDQW5GnMrkycaHUKErPdb4UI2ocCsO
2nVwXg20KVZN0rvB9tsWGtTg0dz33+PgCPA0hMlpDk7CPdBr34fa8qRlJz4p55mUZs72qL7NFQbx
w6Ye/XRORZbQP3bBaQhj1iZ6aIKxPgCnLpwydvAV1t2KOsDJi35joNbP2vW0xGyQtGFmNljmiDMq
0Zgz3muwDP0OhXhjnyXy3ueOyu9IH9IYsWtD23/0bajn2teaXh1zGTCgJsPRfjYyEmJHiyFsZGym
W59y0YCG05FVDu2LTbPbd/0dS9KeL18Tjgf5xJ8vBf9mRZHAg+ypYwksUjLLaNCS6UkZ2f5K60RG
RkdqrFnpMU1Z0fMdrTXCzxYdgRpdWHnUfc8fTGMEy2jocE7WchknrqejXLf80R5aZt8HC6enGW0V
DbcckgPPENAylqJKBQjErpsdIssSM+iOWDccPu2YLnr0UrFc31JiB5PkWGrTI7oN3bhTokNXXhAC
zHLEwej2Yp9hJNBN51nv8kvTDs+oDmN9RQQqsXcpOFbiPX9i1bbOycpq1xIDpCphBp4r7NslvGXw
VmKNeTMpErnZwQNPcuWHky/U8xC/b9G6Er6cwwqXEZTKSgaekUzpi+ZXEPsTVr6wp7tTl0j3TrIZ
NHMfH2/pkqnfzqmNc+cSyvZwzXpLxQwM+jgzbjs5545SER1c6M0v+5djKGw7rebCcVLNPV/n6hBT
+vyywX+d+8aRxZ7L1cr8iS33nQBxV7YMmJX25wuNZNYcvQ79je7M1T26RTikejJF01+Y0mnvt7Tr
dCCUjNoL0R6A8jCFqOtPE2ptNbqgOG1DsXsb43lU+gM59efzpa9c7HRThi5ZsGKNvkGn6QtQSptO
G9orl50+eoBnLD6AQ5Y0V6z2tlaJ6o/utfjHKXZ6ZgF3TgMCXwz5H+77/dwzSMQxj+jah3JmQeNO
OTNWQb+Xjl10ZZM9PEtKk6jrcSPVWLXU7ZukFlE91QK+a9Y55oysPaMpHe6uaSBIzQJ7dq3PngZ4
RG1VOtZ6dsWhmm7AUDv4TAfaNVULjFoY0Z11Yc4QurhQZ6aLcy0uFNRJAhJHP2/wuWb6ee37/ily
XSS0tgRnCgppgvpZE9TPXYJWsWJGl45uMVWSrNhfjcPdD6XtAqcOg7FFLV4hgtg9coPbia73wFSL
I3w62lgLQ3eGJvXJphCv8XA1QY/3LQlzu2h/JMEUpLfRLoeZthOP+eO8/8vJjFyRjsGWgHVvS1w5
+KOSJOboNBUmmWDlh+60GXYsG/kupR5pw3rJVy33XXcaBPTH0tTlE2isCegG1igxHVxD19MRrHWp
LYCJNqqfAWf0sZEe2d+HMEWuO6E+/C3S3LdHp5ZpaKd4ZJFiR4G7EwHsKntwjdxkL0f9F130i14R
14FKFTF6I6aQuHBCwLYKcU1wyTYJMG6QPp409dHBD/Z65b9QSwMEFAAAAAgA01gLOyDYS6IrBwAA
3RkAABgAFQBmZWF0aGVyai9GSl9Qcm9wZXJ0aWVzLnZVVAkAA540gUqOT4FKVXgEAPUBFADFWOtv
2zYQ/+6/4pAPi9S5nuwOa2AjA/Zw5hXruq351haCbJ1jLrKkibRTF/vjd0fqQcp0k60pJrSRRR7v
+buHNAiePN41gCfwQyLV06sKEa4wURus7lDcbBS8SPYJ7TPJ99UuL+BHoqgSkeMQ7oTawAazEtZV
sYV5JW7pTy4VJHkKL5NKFPB6l26KTA3px3aLFUyi6IKYPd4VDgZ/4F87USH8vC2LSsF3aSqUKPIk
u05WSqzkqE/xEhXbWFSHo62rF/GPuBa55nB8kraviCltDCgC5JTrDcIdJreYi/wGMtxuEwiK0sgP
gdX7RS+2ROfTAdAVrIsqyTKYzwGB/KMOJXMwj/D0W00E0FDBFfw0pN3Lqy+//Im2obiFgH7P6THk
5/p8t0ZsQvjqrVfYnUgx/lSJNpP7xUrAfO9Ilt36p0mXtnjNLxwNfquKYj0irsEToN97hLIqSqzU
ARIFRb5CllW7zfUIo9dhv5N0Mwpud2qXZCDydLeiGI84wgBJWWaHmpeMiYb2Z0SkqkLOQO6WUs0A
k50qDC9YEoGMDSZGg98xHR3hZOr4QsdNq9BzhF6zomBC4Nlow2P5xmjIv1KUqtqtlIVTSMixC34e
QhwyERo79doMVCX2IslmRCd3Ww35xhSTG3XubDFXUju7rFBitU+YVKeGpuP4WOsUqgre4PtSxqsi
V/hevdMR4aVuhU9zJjo8Yz4bo1x1vpuT+0g6Ap4b99mMebt2VANVKxNrP7rJQnwY4PUpF80QMKBD
lveR/XMmOI4B3GCOpIL4gBSMEvOU3KYpwaBNO2fRoUrkZKzUi+MaY0xLhRzhjHwQbzBJz0ZdZBff
jAwGXTKViOys3THxe1mkuww5bzhjBDIQprA4lJJwYPxFYatrIkVgL4qdBPLqKtuxSibcKLiRQLEG
usPmUBZ0l8SMg8dMajFNbeXCOobpJfxavFr+qR9hMTpFOWHKV7fXyTLDllYTn8JFDxaoYzmsC49G
hgcYDjgiFx2RHx5RaB9utxp02Jvu4RYfxugWInx1qcpXF1QvENxi400Rw8mEuwko/bvGamt4CEVl
bC+oXpqu1gTNlClFdLFLd25VrHkEKSE+lUOfqbLeD8SWfzvuouodfxAl8TAMfHG4p2fqixYvYX4U
oAgCrXVM0dbsOSJtw/q3vfLxJElKdW93VPIh4rRHg18E1YBtUvYkc1fkohN6YPW43ZEvf4fsIGyj
AxZLWHxodHlQF5ViW2azrpDxZYqZivdJdTZqNWlzxDRbBpWeWIPx9HKxDCGY0P0D3Z/RnXKW2x1N
tYtxwn+WYcepwrtKKOQtKpTvubwQQT+DTiaGmxcMoI/kBhxB7BES535gPrzi+DLfcmxUO3ZsHBoP
qXUQNY8QrUebOYLWT4wRrmfNOOFMCS1cm7J0zfM8bp1iZzm+X+xPORv3hF1NfLJKM6PT7jrRxzuq
tpVHs56L655MGsRrgVlqYdmq8ZOR/UQ9vW39vUAtLnQE1nJMeL5gUF/YoCZ3kwN5P6KCQlQhLA+U
ASY2WgEZr3c551obmfBIXMdmrNn8Ny4fzdXx1zWmojpZyQ6TrdSPF0s2bznxWIZsGDoKGfb361Mn
+XLiic0W1cYfmvE9oWkUC6itzEl30u0SAp4q5pMhLENHVRZTpI2uVO0sCzVfkvUnrur31CNH1se5
WtL81qC3c+qFcaE6HzI2XGjUGngyfUYnqoNThEOPi+ox6uyIpW8qc0JxKvWLGzopP5b2hqJ+u9ZH
reQ/HuudlkphyEXGPZW031H6w9uvCAPUTiW/OHRVwd+/PYPC55CSet+h6+XTwhoGdPLnHPagW0Ot
wj4kHexzUCs0oTljePSy9IVLSso11JyKenyNGNMk4otmj5Za2yJ+CMP/exB5wKABc/pR4kqYSl43
Ke/Awe89qkpSYep6YGoMO58KVv9Ev7B31TrifHxDt7/Jc5SVUfhuBm/oqeIPcc1E/8571Kk7p4ur
7a22Mri19rkpCzyd0GQmytAnb1w3lsg7LfUby2foCM+b6Y0UNC1h7NYvz3DYK9snHC//N89POs/3
HO81J8c7rzVjY82YraEU5vhwnyQH8Z2sG68oAbWB2qy/bcMM9FGOfDLvFDcDwrtvSwOe9jJcq1E7
C7mZQd46OkUU8t6osB1RbUe0pP9kgqX1a8NOVzQqNzY/m+PEcJw0CTaxeRAXmw2gwwRcu5ydVoDI
Y8KCFdFnIXvZ+JTcPHMcZ4vEtn31pGoAjpoeEVDWANKY9S39nU7ppa73HtS6AqWfYxff05ynU13H
x6HLvWvJ/ZbbTtnoGbC5DPZaodX8Am/3e/i7SNC2fZM8C3oexm3q1K8ZtGhFhUpNheuMJPNAYxs3
p4bSffJqP2POS5EVN6Ry88Xyhw2ubkFtqEHpD1pNy+LvZFSsEFNeoVYmkzXWs0r9Aeu1XtGmwbR+
4u9Yjth/AFBLAwQUAAAACADTWAs7Azb5IJYJAACpIwAAFQAVAGZlYXRoZXJqL01ldGF0aGVvcnku
dlVUCQADnjSBSo5PgUpVeAQA9QEUAM1ZbW/juBH+7l8xCHA4aeMzkuDQa511AO+eHKdor9vutv3g
CwzKohM2suSIkmPdpffbO0NKFPXmOOkWqIHdyNRwOPPMzMMhPXDefb3PAN7BRybT72YJ5zDjLL3n
yRMXd/cp/JHtGL4nkQ9JFsXwI0okTER8CE8ivYd7Hm5hncQb8BLxgP9FMgUWBfBnlogYPmfBfRym
Q3zYbHgCF2dnv0dlX+/jDgaIBWwTEaUiuoOfRQTf/MwjmSV8g578igP//gZQri4WxWlLUo11CE8m
DcEgTvmjFlSSX+6FhFD4CUtynBbvRMAlMIiyjY9Ox2tg2V6Egl6vYkQoyVapBIdwQrBFMgD84MQt
T1LBpQvrOKE3INMsyEkBvrxL2GZD9oQsusvYHS6BLnyMH0doAIeAr0UkUhFHShvOQQWS2wuilZtY
pmGOejGIGGBc54klwUi58jf+mImEw81mGycpTINAqWPhF7ZKxUqOjIS31xJpvGkN/knIdDQYfOYp
KQrFSqBgcpdteJSiCgXYOzVVqlV/ilNGy8DJnpDOT2A8AYc/LhmKLAO+gj3kLoKVQsh3PITf/eCi
mhnaBKUU+sfHBBoLQ3CmMIYv+Za7GAJnBQF+nbpDhYojMBa0DCN0IlgBDxGjwIUJrEaDT0kcr0co
iZFPYklPGEmFHhqg5rmXsIDnaji6vYSEr0O+FzuR5qPBX3nQNG/NcJFu+/ymhQzeX+Hod1eVrX7b
1uAYW31lq8x8mV5W7+ZofbfNP5oMgptIWx5iMFUMMCY4Rk9WZEw0vWgnkjhSITZVMY2AV+OwYVus
CRX2NAYZbzjsWJhxVR4RPieC+SGHFJGBxfR2BP/kmK4BDzUudW2M6ousU8XBRCLHsFDfHVqDMsy9
HbUSjOjB0xl2E2FiebXE+gMmVk1as0Qx4TfomYK5vlJTLBhwlKz+R+nVVIe8GNakwWGdRXrm4g7L
BXXfYlzSRKBuqep/jY6l4IsooMJHVxf7Wwy4UkIfG5KFVzhML2YCqxEzA0ixsx8r5NFybwwNlFxM
vnirrMDEnBjVSHWre/AUzZvBZ4hECJMr+CmOuDXq5MOdOx579ArTVleyTtvPKtI6dwsvLfMDC5EF
+SlRYEdA4L6BX55IhXJagh9nRJgxLHYEgnYYFlG8LCd6t0a1NZ32M04KcP8qoSSC1VgWakrgrCKw
zEGMsN62lAdmhcIZrEbt4qilwLas0tChgNAspiviULOWKviGNvZU1cQT4A2NaUhwzn7ICHp3pOYb
WqBPRQ30yaI1gqLnjkAKZOfyFdtucVew6VS/0cTQsCsmQC27crLML20z7mkbc3zjEZ3tidhyeqpe
vNF4itq7hgcJf0pEyuucq3sU53w8kflmidW85I8wP3ON21JmG5X7B9zFjG8HYQi/VTFAiQ77u+Au
nYJAyFUicDtn6SGokSDM2p5e3bc2iwpmMsOrwN2XqONGAP6Lxmmr1Aq0wBzm3zZxnX9LqM9J9l8F
3c0NjFkaH3CCh2KDwNdB7MuXMqd9lRaHXCiM1iZ7RyR5M0WqNAfLq/PRUf5ENYd6SqCZ89q53HLO
it4hF3PtZAX5K9xUlXAJuK3sBAsP+HXPGXUixinKqFlXfGYNj2ZwegqdNVwz0zgVZBrqGW3ji2cF
CLYkyovL0mnjKp5NOJxgjZ10lU35ntpcEjAtkN6DsAV6IZpRrD2pO95bXzVOx+8zQvfFAiu+lZNH
DXIzRaZq7OwIeiisrpPT0Laum5Q6SbUyq9YVHliW0K6lv29D1sCoXQ5dklVd9KPZh99rdoLj6b90
FjdHy1fvHLwL46vt6rnlmT1+0T3ueOenp97FG9ytKgjXLEtoZ0qoq3CarvaXzWSSG4AAPmux/SQ/
qQZBHypGBmqrXyl2CTuBq1Ku9L2/aigkw4u5LwQwcrWcNburxJs9NsL0wHNJrSWduxcB3VlU/bZq
t4vjyT329wxbRt1wWu02yfS23Fbjpxbq6bXVkBqxWkF1aMYTEjhoLmypjdb997bwez9cujS6p57Z
LTeL5rqB0qqWtxMZh3UiVWdQDzqMQ84sDgr2FkZnJgUW0R2Sg8Qz3m48Hdr98YtMY6WszlhwsiHs
0JMya2tBtVMXUzRNWCBWfdlrbO3rEfWzEWvsEZk6JnPKITzJ6E74Zu7BbceMuTpR55sNZk2uLL6s
22c0zMv5nZsOniRNLBhxRO9+Y+H/34D8IrDgmA0F5u7/COberdhkKPZVd2/LUn1WN4naPFx9Xeha
+2QPVEenXz0W83oidgPXvkQQmzvZvkNQtyzSnHQXRDNrRYO4guDSGLZY39LpumNOB8WptQ5R3PRV
/LbE/YtGd4bfmguq2R/KmzNnjb02xflD76VGbQjFXke32hx8QKzwuWaVuqyIHxq3FB2bgworE5G6
eggyug1lxXYpojtZAXuj0w+3ofih5Qy5ad8dPKOQbvzQBvxbDdbaMjrN7YYk09m44rij/NQtV5Oh
UBXaukSpvhNBg6hIX3EQOPp4cOxRAP7y8PqmxkRbRDueSFoF1RStS0c15lSN+2N7H2ugXrv1U4VO
JzaeMMzTC+w+v3ftqbwqbHvFZnekucC6fSHKKDcsA8LBHeeJswcetYIJ1+1wOtcmjMU7iq0anDXf
NGcdE+vrN8XagsDk5uX/SwrUG+HiwsM6c7h90VQ98xsSoNB9Qe1wW/Bmfl31NJmkC8/61cXhvFH8
pvNkiYwGnxpMR79UxVLT8uIT0Uz5mq5VKbtKhistWxCR4gmFdpTeBtpcln/S+zvRyLQkv1GTKC37
jmDMNbOPympWxZz4sos5LVnFcMpTerBetCh0TpfuH8vf3OJEWtJ2VeKaFJeQ2xU5VGuwjjXolhQN
7iqs3qYKl7CPrrXLnKZv1vdZc3nv9HTWf0F7aVX23FTzIaM0Fdl2VSwErZVPT6/dDouuj7PIdHM5
QnjggGwxRWNLKqa2alTTUu1WzXpbnKvLcpyNLAqalwz00qm8c8oBYKsaP/IyqyvD2XGRPqtbrOvr
NYeKoujad3b7sw4CBho/GTUvHpw64eIaHZhaWt5faTX9zGhj6+Hpv/6b3t8j2fO7drvu44euUZsN
2noKnlK/f77wG/oCVSx/EVtgFD5fgo9/b3FfwKjrZjbb1rmWFQK4cZgeXzGncnnhS9X+I7ljkHm7
nVX6NVtXLFwa4UxNZ2569E5aVkMfzJPVn1uc/Qy/KBjGRj99K/6pt5Q69WbGrwGhU74LorJ3MZYX
7EoyaL0/HvvSNT9B0Ayi9nYgi/kHk2LwH1BLAwQUAAAACADRZAs7mD9EOlQDAAAaBwAADwAVAGZl
YXRoZXJqL1JFQURNRVVUCQADKUqBSo5PgUpVeAQA9QEUAIVVTXPbNhC981fsMZmRmDSnTNvpVLak
jJLadS3lnAHBJYkRiKXxQUn/rbf8sS5A0pbleoyDRgSwu2/fvl1k8Oq6Fs7P1xYR1ih8g/aAqm48
fBW9yDK+cGWDIVjyuRXK4AwOyjfQoO6gstTCyqo9/xjnQZgSboRVBNuf/5YNaT+DbWhbtPDp48fP
WXa/+uf75n51s7rdbaPzJfaoqcMSglOmhmt6gP5z/imHhXYEHp1/cdbpX/Isu/q++Wu5uf0SvewI
iqB0OQOG+msCDfkHSaZSdbCYvluxx/FujQat8AiOWoSSZGjReOEVmRl4exo9RAtofKufvoTWeVdW
o5+SQICkttPIziK8Qgu5nxd0BNmg3Cc+OquMByYWkG/SifMRR0WtG8NIepDNHuYE668/7iyTYb1C
l2XXf9/uJp52bF6R1nSITDgKVvKG0uhAWARlpA4llqPLRVmqmI3QOyG9ki7vx2I/nYAfjphcRqRM
QthZosoNPjy1j2bP1sIAdeIhMHVYKZP8AVUg2MLN2JVHywH0KXtddHGpSFxk/rHCRvhgGZoJbYF2
wHGDPqqS7OkSzZdURn2Gwo2ETxzOuGrKvAnEYi1sGQGg6ZUlE0E5JkR4dtANiYEnoNgebzhjU5Xq
Fz+4ossndOcJxII+py/yr4Wpg6gx5RE3IpmGC/tGUCcq9KezzKfoay6ye1nGjSmDTIEdC7XFgTjn
ucG59SuyBybk0t3r6xL9u0GPkVHeV3bU1fsJ1ZPKn0G7S7cmby9yShhFOCqthH2rpqysVjzSsDqK
KLZLInanTklWEA7HU+Q7wZClFs7FgXWzuP829SC3Wmy3NDdcyxqHUlUVbxuJSSHRvGfpjjXdsLCE
axQgz0adj+05TzPXQSN6hAKRr7bKcxv8xvaK8+xJlW5oSHJOFZwxM8H+KsF/mVWZ7LlOIwv/y9cU
i0xtA8sSsBc6pDEHHCWp77H1zs54bno8+sk+KpU7ugXPbPFNG+LUOShO3uJDUJETOKDWc8bTssOz
JoJ3JZ9Lrxn9hFWZae/9GGEbuo6sj/lw8J7fD8GmLfqGSiCm06qopSxbr1bLq8X1t0jjlvsiDt+h
V6M0ilCnGly8V/B72siXmA8bf/ahyIXMC/yD35H/AFBLAwQUAAAACADRZAs79jcMzogBAABFBQAA
EgAVAGZlYXRoZXJqL2NvbmZpZ3VyZVVUCQADKUqBSo5PgUpVeAQA9QEUAK1UUU/CMBB+pr/iRBM0
8+amISrhYShgMCAajE8mULeONWzrXCvBF3+7lekgkshA1oe233d33767pPt7Jy88PpEBIZIpQEaI
K16HEZ0wn4cMUEAvP8cCeSwVDUN4JqWG53HFRUzDR+oq7kpzCg0lIr1ptscUVQET6bu+t2+HTV0j
nsfLLEBjbZ0nM/o+FQlLFWcLtjWjURIyc0pIQpUbAErAxIJ6vdK6a1YIIub/9lE6taxLtC7QtsG2
a2d2rWqb1s8HhqV5YhhGnvE74bRWPV9JcBzQvH1sn4PxvTsOgRJCNPF4CoGKQn09OLzuPzT710eA
SriAXzDgGH7wbudqoDlvHq/Rp3an2xocESCoe2kmsrYE4kq5RP6uJODAgVEGtu41IEWqhyfffJ/P
QHcwLzcixkLiptu/yuAlPWMLvfnpm/tDOvOHY1rI42rDNrW5pFTc6nrZjdyaieevser5/59nJlLU
5XrFLSZaxOeuZrqx3R1O9WvpB4cQ5gYCyvlz6KaMKuaZZfIJUEsBAhcDCgAAAAAAF2gLOwAAAAAA
AAAAAAAAAAkADQAAAAAAAAAQAO1BAAAAAGZlYXRoZXJqL1VUBQADXU+BSlV4AABQSwECFwMUAAAA
CAD1gQo7YX/RvzcDAAAeCAAAHAANAAAAAAABAAAApIE8AAAAZmVhdGhlcmovQWRkaXRpb25hbFRh
Y3RpY3MudlVUBQADjiuASlV4AABQSwECFwMUAAAACADLmAo7kFn0wqADAAAaCAAADwANAAAAAAAB
AAAApIHCAwAAZmVhdGhlcmovQXRvbS52VVQFAAONU4BKVXgAAFBLAQIXAxQAAAAIANNYCzsMzR4L
eQwAAKwmAAAZAA0AAAAAAAEAAACkgaQHAABmZWF0aGVyai9GSl9EZWZpbml0aW9ucy52VVQFAAOe
NIFKVXgAAFBLAQIXAxQAAAAIAHRtCjtj8AoNOgYAAG4VAAAVAA0AAAAAAAEAAACkgWkUAABmZWF0
aGVyai9GSl9FeGFtcGxlLnZVVAUAA+sHgEpVeAAAUEsBAhcDFAAAAAgA01gLOwk2G1mTCgAAciEA
ABMADQAAAAAAAQAAAKSB6xoAAGZlYXRoZXJqL0ZKX0ZhY3RzLnZVVAUAA540gUpVeAAAUEsBAhcD
FAAAAAgA01gLOyDYS6IrBwAA3RkAABgADQAAAAAAAQAAAKSBxCUAAGZlYXRoZXJqL0ZKX1Byb3Bl
cnRpZXMudlVUBQADnjSBSlV4AABQSwECFwMUAAAACADTWAs7Azb5IJYJAACpIwAAFQANAAAAAAAB
AAAApIE6LQAAZmVhdGhlcmovTWV0YXRoZW9yeS52VVQFAAOeNIFKVXgAAFBLAQIXAxQAAAAIANFk
CzuYP0Q6VAMAABoHAAAPAA0AAAAAAAEAAACkgRg3AABmZWF0aGVyai9SRUFETUVVVAUAAylKgUpV
eAAAUEsBAhcDFAAAAAgA0WQLO/Y3DM6IAQAARQUAABIADQAAAAAAAQAAAO2BrjoAAGZlYXRoZXJq
L2NvbmZpZ3VyZVVUBQADKUqBSlV4AABQSwUGAAAAAAoACgARAwAAezwAAAAA
--Apple-Mail-16--1047726396
Content-Type: text/plain;
charset=US-ASCII;
format=flowed
Content-Transfer-Encoding: 7bit
--
Bruno De Fraine
Vrije Universiteit Brussel
Faculty of Sciences, DINF - SOFT
Room 10F744, Pleinlaan 2, B-1050 Brussels
tel: +32 (0)2 629 29 75
e-mail: Bruno.De.Fraine@vub.ac.be
--Apple-Mail-16--1047726396--