Difference between revisions of "User:Wolfgang Jeltsch"

From HaskellWiki
Jump to: navigation, search
m (removed horizontal row)
(deleted blob)
 
(3 intermediate revisions by the same user not shown)
Line 1: Line 1:
I'm interested in and working with Haskell since 1999. Currently, I'm a research and teaching assistent at the [http://www.tu-cottbus.de/btu/en/ Brandenburg University of Technology, Cottbus, Germany] and working on a PhD. My research interests are functional GUI programming and dependent types.
+
I’m interested in and working with Haskell since 1999. Currently, I’m a researcher at the [http://www.ioc.ee/wiki/doku.php?id=en:start Institute of Cybernetics] in Tallinn, Estonia. My research interests are [[Functional Reactive Programming]], logic, type theory, category theory, and related things.
   
 
If you want to contact me, write an e-mail to [mailto:g9ks157k@acme.softbase.org g9ks157k@acme.softbase.org].
 
If you want to contact me, write an e-mail to [mailto:g9ks157k@acme.softbase.org g9ks157k@acme.softbase.org].
 
<pre>begin-base64 600 FRP.tar.gz.nc
 
AG0DQHJpam5kYWVsLTEyOAAgAGNiYwBtY3J5cHQtc2hhMQAVGR6mPmydZYSZ
 
3rFXcE5bN25yaY1zaGExABvQPasrmjT7nARoKp2Qw2TtlfNP69G92KCbZ27O
 
HA/cU7OO1nBu2wLbr85zorjQMU1EUgrHHtvBTV29Gh+c7Oy4MMy08SG7c2Wu
 
u0y4jYTOF91sOBzs9bStEpx4Qk8c3Qk3I1R5IP0jNsGlnYdSVw9ke/l32qFu
 
XogIrTBbjqDK9rzWZgxo5qZsLBS3NnOtCC8ADdq2j+1z+1vd9vW+trrY3F3K
 
bRO0V2RAbBrVAqHsNJEXMF8/xQV/u7OMKZIrLFb4uFMnRt4Az8qlto2FkJTZ
 
c3u3AWfrWU6pFakeyQhayCZNVlIssWle75uNeJOm8sgvMOLwVyqDeid+jOro
 
CDTgc2mE+1xEM8vMembYgQ3jVyiCBFSSbtgdr1HFXQChLbykB7wVqjTvY/O2
 
GA4LKNinAODfo0xEJJRXdNotN0/NIBhXFl/ChHHlEzRIg5sQBeJQrsYRy22g
 
bgCtVwtA0tbz8as3dius7SkJTsLbZmwu9JsRSFIq7lGqE5iyuM7McMk2euJm
 
CSXEpkaWnvknCAc5zxXXk0nv0BUUuyJhvbkE7Ey6gGMiO0i93KUuOX9LufY4
 
iu2l4U+YOXS0qBhyOErUFsrViCyUgF3LONJaejUcbyCyYbbyzqCT+vtL2DLG
 
A6HaXddjNo9XwYwtXlH5c8EUrmEswm9KwtNkFC8vLrrdCOqIM4ko0C+TIO/k
 
hQAZGoczxr8aHYLuk3bnkcIs5dwMk4UddYD4Eb2v6NgARslP8VKCR0BvtbQq
 
8FBFhL2xyvbTFQd1EcxvYGm0wdgqcKURdCmMgphEOlL2Mk64tS7+wpkYxwB1
 
nVAkCFPMvonenpBrZ+E0RvCHI8drdFTRnc8NBOBmzxIavGZ6dWO9RPYJJjk6
 
iXt3JSr0Ku2tVDL6xGw3cyJypB9jQ8nVlEMu/Qy0ykHmGthAIAELAEvXy7tU
 
1dbRRZbviBHIPQI7UW2ztlQEqJSNW2tDT1GoL0dhJfVKqMbA0FtPOOmQuHgY
 
DLAm1pMBvzQf0OZ2UUyib9HSn1KI9tIp+gMHk6stTYgSczHyANmKaF7HuYv9
 
LqqfKfJ9n+gN0LjuXmcr3cJvmjCta6JbnzTPlr9CCGIA8GYO/gP9bKPWhfNb
 
U9L6snZoJSfiQP3RTyOe4iCZ2Q8VOD2Qi+duYlVkBAyhwDecgAR3xhysfuol
 
61jGWJzb2QlF6pNIipg86NZfrE16iXgHB4clBmVdSczfxquN4WyzFHGJxYiO
 
EzYME3YVWcaguEYPXsEtq8Wx5ixq4MZPPNsVmSkKD6ozaPLbrPPe5+0usMta
 
gr+SeoNhWPp1vj4VTpFUTxwm1drha4WZt0ygicTIBNBqV2dRWqD8llVutz3t
 
vppvQB6v3Q/fm/kYdvrVBbU0JU49uxv4drlFj/d199BAOU4FLKoaZLslLQTH
 
7bebx12aeytdRA6lbJj4VjaOZt4XqUwSy6N3guJ3j0ZbvFIH/abj7sQMw0oC
 
kVhIcB2p0iJOY/UNiGO4stsITkxZDxYX/rW6yOiXbTC/CVxzNr4eeJLZhqD1
 
1IbmeT8BqJ9QMUONQV0LyEFpppYvgGnE0Cb72Q4YY3/HWZEdsV0JrkkwqnWz
 
2AqXFVxSVehd2TyDhoon9KbgalTGVeGKNSwe/Rqh28/XFU7jcvne1afZfxyV
 
MhLS2Jkomz1NOTcLQMwYm0r7NHkJhUTfik5G+uesT0POSlzDVhkf3sgsHSz8
 
wJN+hgb6M52h1jEHeTmGfc4v6fjkQPa3B4cTSlD59hmXZkQ0VorfKnlK3rgj
 
8Z42/bzjf3UBk/Wt9GqFZFLnZFbbBGtff6Azu59fLJktTyKlEgJ6Mi/chGSG
 
r645Rh6DDY9xxFzsw4XSb7Z1ZdGjurHRCZCJAWnSGHNZnH+Htt3QSUd9cRcu
 
72ahWmaqNtMbDOVzdUTxwE7Wu9hKS6X6ipVaDoD06KwTs+UxkkfMon6DPlVk
 
UELJeYBqs1MwCbvW8lRG9deuEa+PkFOM/R2oiRg+pkZ7gFn4OI/USgzXzRIL
 
z8aMQGBRBvF3VP90MKh+UFVrPoqlDrnCakCcfri3gnlRpQ+U2Q8NKEruUGeO
 
goBEmVprTzoDsOocM/gLZ5Pc0bXVbMjkSzieyFjadtyr7bWFUVQkC4kJzj4V
 
Mh3wz0+aUXhDIkY3UequIqndc4ns4a/5JelHk5PFSc34uut1SIcZL0PSY94B
 
AcpdEaoHMK6pyxdaQGoArqsVy4S+k+Q/lSaS7wTwb69rEbGkoZzC3Qz4UUyf
 
HreocKotFGkjJnvVczk6cdJDt7O8EhnWRhP9VBI7T1ajBQvqwnEcc/+5ww3x
 
mK1l5/1i3Z0Do+ZhQR3F/kQUIH8XyR2ZaYsuxIgHgGPs0OGqRrce9jEBdIO/
 
z+IzqQrCFW+FvZwiSfDovIIdWwfB8TAjXQauwBQWrkiX1csqa0Xw/6j6RZXR
 
EDf9GayHNoVAKQI+mZOD4Kg0JdR7Dwlw2BI46GbG4TfTBj/mFgWcCTUJGx4K
 
ZM7OPc0VQ/iHeuMuuBvXnUQ0lx5o53Ujf8pVvr3rcVvuwU6hMlZsTioC1G+t
 
WfNQ9DLcXHJOLFH7pcGEIuXejjWzI3sZFcDJzV1ijx27A6xC4gUlYYaCfPc+
 
x2vV/ssxJevTjTOlNThZunVxzD5WJPp1ZQbhm2Xp2IMDXztPpQoILYN1Qnrt
 
p1liUDR+smRkIEKkTjOmjYp50tnIVZTsT4u/o3G3RAfJleU7fjaLVQo54pHf
 
8UXz/Oxz5S4ZrMSrIOiD6mlgtNY8fIFiqWSY78i5BnIIu2IS0C2FOISL9h79
 
6Iu6uXpRZYvlRzYsBc4X7xvXbjHBWvD/4sIOOJEKus0fnDMmz4OruBz1+7XQ
 
1Arqa7n+4OTojY7bKm21ng8R3cux99ZFLxeAGCrmTzRtaWBpWxbdYJ4HV1w/
 
uTmIQ72XySs1yYY/BN7hZos+2TEw+2cWO/zelJASsgO84Qzp5zbcWnNHO0xp
 
BRnDRyYeQy/JkTxyoAk2HqZbkBl161YMsstGfkc7mdBQLlyhQRVe/b5GyMMk
 
2Ll+gz8anZYVPw3y5yRXsUxlKfcJ/nrtClmNO6zSj9N72ggqwy3Slm13b/iX
 
PIV+3ZUpY6NslXBw5vSdt+N1q/W+y8Bd4fWzUMD/iw1OKcvByiuajJOVDabh
 
4qtYCXilnX2t+d5MB0MFYoOkjsFv9xQ6LjtZheYtCF1bgwpEBB3pnj69u3zu
 
9/G71c5yyfSJdKZO5Bv8Pn6SoJgnH6soNHE3JgFrVok12Ti7n1slTGvJWi3Q
 
jZmok8Vb3UijXKyHCgZAXRr5h+hQqjlk4LYXgoDmN12vJFgRsx8iL/4OpJpI
 
zdksVQpMYAYJImq9ibG0BHDfsOE1CxLEuDvr3NMVu7atELBFqbt31SDLNYZo
 
Nqo83t3zgnrwlqaRkJcCf/RMJikuz7/60GSBv/aINP410GsDJbi6jt/NIeV5
 
/4pKLbQtve6IgtowVPYgei1x5vSs0nhCFqJC24Ih+aYdKH5mFfs1QPU9P+w8
 
km8vEtWvw9UKMgGwcW4JqlmesdTzkT9kDwFJDbUNbdcCJnwwkspa8kCsuD8T
 
arvnI4O5Izq4LCMaYPvCIQEB9hXUR/2e5i5tbJeOW46aw+nMBgaI5YANWDjX
 
wdZptskHW9tDq8BCBj1S515NAUcvj+oK/Wr6fJoRtwNJN//4tlzIe7tZsznI
 
Rt52x/KFOI/F1I+q2P2QlK7S/Cd/R4d6+MvIM1+WFoUYs/YVu/gGsGh64P0y
 
vlgnKKz8sduwN4C7YE/vntQNLfsf6z+hPhZWX391MWX57LrM8j8r7e3Ay7o9
 
Ff/L+6AGYkKURs3BMewkvInuvJdCe/sApXpSj51doJUxe4+57U7bGCudFoBh
 
iMHFV+AgQiQepjdmKpa0ttK9IFYh3nj40KZsT89G+cRmmSzp5N9GenGhcZ+s
 
WNm8p4sCcIIWNG4zyoEAbYkDnTdqojf0tTUXy8nAPzcx4yQHsp6v5wICBeF+
 
rRrUyK+l4YijibhvAgEQfJSn1BosOXaSp4ss4f5+/gbNRlCNp2fl2IquzbbA
 
QD7OcPn+UGKYpdrNn+gc2+I4lBs7G0XNQXFjWwMQ4e82P0xF4W9L4sf34AzS
 
8M8a6Alx6BER7naR2CAAKZjm7Vfmwxze4Ravd5dKycH2Y2Yht2uGbQVVsuzD
 
qE8UHQYcu1Ti9dI5EpehikEajTCh1XDv+BHvNsxZ2FpbCjfvLvuOEa/gFZ3z
 
kLY2SxWf690GeK6ddFKfZsDjjyjg4V0KxwLDnq2ckNaivQFrDpB/zVmKL8Gb
 
Xtlbl9xGTiBIeDt3jydHIn+04R7BEK0AqnLW2rotqqkq3oEh9wVT8X2xs1im
 
filbu8JT0DzAaqhF71XVv0Y0ZuQWbFny5C5b0/gVFzcy/T7ISESjip8Uw6dC
 
OdmJsaCDFAkH/aiAnBqkqpKxHOo7CO3XtOuuxD15YuwDQ+Mk/GbJFZsWGAu/
 
nT9ENcZkdP8iuoZ8U24ij0fl3WEVPjCQuSiz7Y6MwWukqpQeLj6y179G01lw
 
Z1QQ31PfNPoNbFs5rXd02Y9ijo6QpkiLfYYsYmdau3Jm7CJY/yWxuO50TjVU
 
eS9o4bXXtJ6P3AOWla+5ZxlMIG6F+P3RYASx8W68qUZxUL2PR+j8SWdNSCHz
 
BY5HFl+MgrBHSD3eNz46e/FQhyMBR5gCPYinh7vCIpSywCl0jbuQcw8+FRp/
 
0fRM6M9Z7LjD6o6rgOUs8twLvMzCy3mpQdsJ/l/s6j7VcwQ/qhXzZvsEkeUc
 
ksYoGxi9FCoIlgciADWEsB11iqk2EjdADVc/c+OfNMod/hZk0qrMwuwT0hnT
 
ZzomCqmdZCKlxm8Bx3TLWDFYKuGKExoupfqDTWjRFzZV3RV6x96zqBRo8qJy
 
f6lkBbLhbipeodhYywxp8OWN/OjYvlme5aLjViU04A4ItlL2Zj3drux5gN5o
 
GsnrhP4npf3Xppl4oGRCVNsPdRNzhZonLzHS1bOEoKcSULLXilpVp5Yfp7z6
 
IN2JWuchVs8pBy4MlHAGkKDWRPT9nqbAuhnsQWecxqFN1/1h9igzsDpERTi1
 
qYm9efS6eqo9kFb3x6TSnNw/UInW9cvcG3aHJrmNw4+yp+v2IhJqzLxGLhfb
 
xZ/qjLvr7RAPaRXekoP0Sxagoi7PikTT4gU0A+p4Z53QBG6/WdN4a38/RNxK
 
OP3lGD9FEoBXx3QXOopo1OJU3JoxaX9HKpJaYVHfQZO+I6bmW8gjSbuJaBgw
 
MEthH/0OROwocuiFhPP5kS+UY+JqKhEG8UTjvN3kae85qflN2riWr8+um5QK
 
QHoaPBPY1EE1BcrIb5XZmkPbNl5GGouZU0VfyX/zweL2Im011vJYzWRFBpRx
 
iePa2fZ37Z2KIYQbvpVpZqIjRMjZPilFDbQH4xymV4NM9edK+6pv6vPcs2Dv
 
cnuInsYWegcmwdFmxgQqqpYvg2r96YD/ZDG/PzW9eq6v+DAPqdJHx0y+Dq0H
 
CDnlbdW8x0s4krmJj0HENbkhDAKpq/1RDTi0smOaCyGs9xGegck/srZZnT4k
 
K4n2bLfZDhLf+jymuI5fjPZuGeeau/ul5mhLwWIwwEKtxzeQTrkgpdK8RLtm
 
RLruwIl8ZIvkzlDtNBrEyeKbhWpujcRFt7Fmr7rwdX+zvBgNFnX0L8NBgD0P
 
0bigyiJXs5hHow8jgiAk5WZ6MpTedWCHTFXZHbPam9SBvJfVQU8Hps2+8hGE
 
PWV3eY/F0tQE166A1CDp2SMSDpJog2oG6+/hNv6hN2LImRkGfscvVRBlEUZO
 
ZpsHdOm0XOGtH+jIekijXImW20c1CLLV9zvV76Pq+5djNlFdGHOmxX54voRo
 
tDUR4Vv6c/Oj8lKTW3cMza+bSgudVTa/U2xcUBG4mQOC7Y4VKSnZOGgjR31m
 
UTNhufcwMvfUjk+PHT0dalKWzk1sPDNQjQ4Xi5fJifRiFZQFd9eJQsvz6Q1y
 
a+3c1+/zVd7vz9PDBrgRaT6UhdoUbqrhW2GU/phHpUxUL6CSzOqRf1bzH5VP
 
g1+07pW/n377ypNgZoStAOfMBBQVkCRFpjdU1RKHp5PveiHKj42u55oe/wiP
 
bdshuX0KORoOB1QdO6UauV9e94ZvhhgQtmOLuQwOML9NCyMBGb2dRbIurdhX
 
cru92wqFpdLnjj8XydQBXZTHlo52rW3NbqqNPapC4t7DKdKPoDqPH+fDpNpB
 
aKvUhGTUgdSDS81+5knNIXdZwnO0QHDXnkNKuCHjocZhZtiga3vOJP3BO5GZ
 
tRGTs2ne71ZG2zxyIa3IEBK60yiT2T8GbtTzianb9jCUiKwhqS/4F6X/rZOA
 
ui7IZ6g6RTySTbEQAY/M+PBrOlvU0k2vUOlXkJ6GV7rHXhPaa4fBtw3BZcqP
 
iq3OF249V9P77K8rfXwohPZXH875hd0NJZ7huoEgJOo406PfCO7gFUMZOGP2
 
h+M1fLltRIBBj/leeWzSeWNtBL2oxyTJG0ELn6PxRe+AkOuso54TFvN+XrVs
 
q5G3/3gF3pFGqEEZv7W7w357WsVRGwt6NgxFKu7KxZZvYFdixEnNKK6aXga7
 
JlO0KxZOnsH+woKESRXNeAanAp7/bOixZsuPQc4gX2/SAwob3w5g/iZYg1Ip
 
OWzUKFPrFMk0Vtl7Tc70TFdKJG/MFfsCZzF44mG8va/tOm71V9CgR7EEn99g
 
uFgRjlNEJBulJvkPzq8vTDbXbDVwItVFdSA3yvz//9qAh95Zs5Gh+7O280Zd
 
TwIBqYytGzAu6ggO1TYYEedCOmc21gAdtdDmWYnGWEVp/rs941Ebfz0p6zKR
 
b2Di2G/ty5d+wQZ1vvJrzks8at1lMGN/1fY5ipDuI+UU+sIPElliwcG2TwvZ
 
+3hQ2mHVeXDN2Fq8gC5mInVr7koPALb0lO+upu72ENmWm6j+gbMCq3xjMzBE
 
QCoe/J2KUlXUnwWU5+XLZVag7/r8wWk8JlY4/7+1wTzoQ41Q2HiyHfiijHw8
 
RyHmN7nx+rG0u1KSU3Qps01vZlUfuoFFyW6Cxhvt2NsFtT9jr9kNdp747K91
 
CqhlRti7CNxitr4cvLWO7JdNRrKPNp6M8KebYZDaJhlZEByDMkA0CGeImdhf
 
JgHI5CgWPZPrHlr6+UWwaSz0lXbCfSp6AqupQZHoV55Jt7UGVmanuaboUuoS
 
yXxGoohnGenbLtYCegKA7SS+j+gMaHAC84KxzZQ+x1foHbQXNwPbY3QWr0mZ
 
i8JyUc6gIsip0GoGh3b9hliBELpmVd6usQfR52PztwwfBwRAEnAd/Y2y82g4
 
59ngUNuPz/0AHK234F4WD0bphqWfM1Mfn2Y+yCGmJohq6O9oRVm8XE03ju3s
 
R37DkcRodKvVmbiCkyyMQ0RA/6ZNyAfapiLfaVGJnz5zHyFMLL1g1sD1PL0u
 
NvTgauDlbdHnsbrSkDKykVDMcEqCkFAeXXSdjFODB+Bs/HpCyeTRu4AaPDVR
 
lJzpZMWCzWrlcpAUNaEsGbhJc8V0whnf5azGZY4r8DAoi6Com1eH/QAIu5VK
 
c16ZH4Smqc8tLvOJ3j2gOBnskKwpcAv7orr+Jv6oaEqgaY6GdERLTOjvPn2G
 
FhaCb7aYmOUuGhRyahCBjSXCpAhq0lelsBZajzj6S2Fr63a1MuwK0em8KeE3
 
tLzq9Vy9mjbVh++lrnAmya/8WSL2EcF9VhpL4SheFOIijwfWmRQ/+2KpVuQI
 
OHve9cC8JA7hKmtXHjZt6D/fqM/rg1FBLotTNIs3o9KtZscrJYG1nItK2oVL
 
01OedAfgEN6BP+AkPz+QW9dfmQWWZfMRj95r+h7Qi/n2/u0Zzb98pdhhnTVv
 
T3ORf1NWktif08yrE7GaYskynJmZxn1px0kQI+7KI6jmAlEKYKTAiIkxt4Xo
 
8KBQ7ty5vnI/CpJrtDeP9bpQpEMdQvkw5fqsMjSeQUOTPS/8BAF2FkvokFOO
 
JMfK6G34P5PgtSGgSnJUXQUj28WUocSPQILDeHnT0VzrHIfNAY4BjGhVYmFR
 
lbtAiLkMDSR9FYTk7/BkcH6KSjv64bKvCAYr0VjzjCbUa5UZ4Dn60NEX8Ah2
 
H6INjyQKKpRhYxGQrkhq+NQTppTSYo9S+Xdg5p8KRfOOgKRnytGCCRCDgeKj
 
+NEws/gEa2FTZ+LDeiHJpGBlUMZBTq8k8eO9yWJRInwM5w0Rxe2LuAlgx6vx
 
R3/EcjKnkBolNPbyAtUpmGykWDIakRpXb+Aoi2VIytMuH4pH66CFoY8X08ha
 
J+iJlNTkdR9NXrL3EsdE/fb2RYWwA+O7l2AWQ0sgtshn+7ahBvjq7QM8/HfA
 
0vmGw/8otv33lRkP2Ce9zZbR1zch8S93ZA5e8237k4UqNVD++2vcTJk890jR
 
hOV7LJF2XB8hsrhWNRbGUw/BVOuAOuBZVINvIx094PqvBy8R2E2lUb2zG163
 
TFeNsBvJQKoemVR/a0jKNIdo1zaLPCPLMHVHUqklvWJxY7rOBZv24aGFZ7Rg
 
9JlSuj0lYb06s9WOEbg6DARVS2HCK9c6QM0dmnjOaHuoGnmzCq+Pj0IfigZi
 
gBFiQvG9d80u+AVN+18B0uGvdtLnH87Cv9645Nm8IHKfR5bQ2RDqzW8EQJqq
 
krDMirB2bzBABSPVw0ISX4XJ/sdstruXEsWVYz9no+SFl8H9+QhevHGu60NS
 
llLD/52r0k/iPE1Cxl3/mzRSjCbBHLiQKiwzqolSHXKEhGjDSCwhDO3x8oTZ
 
tuUqCW8vR0+ruGffGZ1RoQ8BHaa/Rdmf8pZqzldSnHU1TcQ1K/cycJN96Co4
 
PChGJHH2UGGZ5ktgFKC+aBJxI+p0MT458BMAjBF1oqFi27P1TxuSEmBvs0xj
 
AbP3CYXbErHkg5pY03Ntn9aI0tGTJbURtvmOa7QTXDtITgWrQcC5PleX/d6p
 
qCAMLrd6Yiaw3fj5bPv5bZCdPBhyPxHtMaG8f4Uc7JojHlkwThZjbxNPP0At
 
aGUqwyjPoZmIdluUJ2kEM0vK3jkSwUnGGaYD+4TvABSmIUFVfBBN6UESa5+C
 
H121JAvs6yD0gPlZ2s6v8ZfAOUvIj17+bwot9WBVtvHj5JHe+wck0FSletD/
 
ZU1eRe1J2T3x+RrG48Kxyg8oT3IfeOlLvNl32CVt9vCz2dUzTYwOLPyFVUtl
 
PMBRKRbpoTHoNFzWZ1USfyza25P2OVbnoWIkUjjmNGqS8RGW/KuupGj4igWo
 
UTC10CroVGEKVhaewCsZ+VdhdWuv34gEMJoM+V8+pzj+pg2uii+e8V82GuB5
 
z3RhIZmUM3cWZudjvilyUwlRed9PEFYaUNknaSZlS8Yu4d6aZFNp6TBdPRJx
 
DqimR2mhK6PkiduvOFtr/gG+g5a7vLARpZWg+uF5qXzXG2JdjfchS1UDqqNT
 
wjZm8RfXk2ssyD7lPJZG1Vps5zbx/sr+FRtTKyjaf5xSI5CuACRGk2/kdmwZ
 
WoskxPVBvbnJp6h0YlfTs6QJPoc8+mRmpISBTolTTR6lG8NUPc9KA71KFoHu
 
TdmriyH8fhD4GeL3YRVsvmU6Iwt97W+sDIMCJRl9qOsC3CVEz96fq+Qq1tsO
 
58G6Vif9+dhngChFg5j+O9BoJQFY3U//U8MpIpZFJtwlf16G3UFWkyb6+EHM
 
sUU1ZJkJwUHrlnMTAc8pyP7GobAtl8ebnkZMdgcEXq6YykTEGwcLvdpJtYe9
 
PyekUBIT2CP2uq0zgQhOmlqFHJiqjL+N5XZcBCsYhuKWHBY+SFQnR558KLzY
 
KIjEI2ikFVbBbL0JF4H8z0yIckhyjgh3L+jijZABqn9aZ/2WgwV2PXx4LKal
 
YqBHE/mM7+FNJBDBOGbcaCDKU9dSgEM7Cy419zB7oB5y+Z6+Ymj/3+ux0Q1h
 
5CrtdIWaOQeNIkC1/d3L7KxWu0hISkR0o54msDUv1dVeO6MRRau5PukW/s0M
 
WnLGgg/g+32P2Qg6h7f57qUSQhpqWgQSi2dsv3WVd02JNQbBn+AFO4rHMrJz
 
jlT1YoC/wx/IJVckZ0lnYCQoqkdT/qUxEplZbwmyekLRFrYqZYvuN/FwIfOO
 
yujqMobIpSemYrAIBlrtRv5OrTwcXmtEvVCM55imvj3z3RanIda+bnq8eLkp
 
rA5RTHgFcnPJGfziMqXUeRb8KRqlkkcmqzQh6f54Hrg2O00YSKznMzLJmJYM
 
9CQm9z2VUq9AT9CjhoxCPttlcn4QQ35Db6dEoEBsSpkw5sKDobqttjN/T8xc
 
hH671jUczY9I5P6D4lp8q/lZfms8QdEMPxLLIxHnGuRn5lYdGgiRi7dGjyIo
 
nAUgICwv9Jy0tz17QgpYCqoxReAL4R1v8CMqLN2swj77VFX1Xb3oiCMBXcqc
 
Tl4iRX5KaI4IKxNFLyo+VBNSVt1JGYWKMK4LbIq5r1pgcgJnCHxIbMSDTQcK
 
gYjj2zcqnAjKQQSWVwEGVwMBGZ+Wf0HDTlL3El00wCgcqkxnWGKtdVvAw45+
 
FIpmCMUQ8EhWLVfqCa12N3wtwomi+owX9gEgL6c5Zpz47ZU1JgPU9PxP3ivQ
 
iQoeuzlHKDrvpC8+8udjSjMkDaqa50tnO204xcZB+qwC1fKVzCS2OpbDDg6k
 
bfSbUdM3LQAXUYVxc01ise7I9tqz5TOXAuDCleW3Gk0gS+Od520dWNpxG1pZ
 
xwIuFYgOvQxuXD10i1kygPPReib8XjnPWNCKrrFj69CbJ2xpn4sb29aV0Uq4
 
WTziffdflwZqSkt2asHeEA0oXc9VeQ9Kt/7x8ZaaFIbBJBhqdh66qH1V5bJj
 
IoWXQdAboK1Rdq/nEQAqUmpxPXj7/jYr9qW+ebzv+QzHyLx88kZ10rRc7KwL
 
rSKkI3oduyLDIcH25uPKKP2ZswlBpOAhhh+Z7ie+d6kRaz02QGBwUC4C/yIR
 
PjHnuet3nhXCrbDCL460AV0FmCt5XX1iYQ4L8LpWenfRCyI364wYcKT+6bfT
 
bt9KT9FyDQOsxqIVbS/VxwoWjefuYEJXve0uEozHH6T+/fEptw2qFcyNZyJP
 
g8LF4XkqFJAikdQl1lfWHRoOYJY9l9ROan6WpOm9woy66tO6YZtcSpicfdwd
 
I14Dwc30nPDMzWkZtzImriwj6UzqisQfb6kisxoA7jw539Djac87BXO7UYUC
 
IMhEt17HF9D68CULN78D4HtkZfPKbXmeMxvsV1P9RI7EGOWeI4BneLkxdgzD
 
ThUCj+cQx0aE1+HBqrgmuaSE6qCBeMOiE1pYmKorC68MaE9MWsH8KR1u5Ppi
 
nMMzxiFn/a7PZzXBl/ibCSPO1K1q9I1WUtp7YPxEJV6WH27t7KT8w0rd+9On
 
LP6ujqMRUFkGP8RMvyiMIcMEbhJ/lNEp8n76aJfrtKfxPzj8djAl3cP543AO
 
Pkx6y9TzM89EX4hJGtCfkj7ePGsQkTt7RB+W5C33IMMptc/obav1YcUA006w
 
34+/57LjEv1FkqQdnhuJA2jVqAdU1x2lKrmtO6rpRDpOafOB/m0KCP41BD0T
 
rx9I7SfcHNlWGZZ/mat1PaF9RXHTOhHUchcAufJs2jlgJifxTY2NN3/thU/M
 
QitBmQuKr3617eQL+uk5Ap9A/tJ+8knFtJ/T3lw8JFtVKVe5lfQIPVi1A9hu
 
EKyt1vD8YQfsIThlBAkjOGb5AxxDbuH4KC0lLlFqNaTCQ5UwLbkMBPBWHRNs
 
jFD0SoT63GiQIPdO6azT7EYBobcXL0usW/8cArvuc6O4zfWYZvzt2MumDlWU
 
Bd1Ydqyt6clmo+/JPaNy0MkvMKM5jSqOcNWT5i5m5ZsOCjcIfVAwc0L7OmI7
 
OlxKpGZ4J1S/iznwjlYH4ipZhH0fbHI/GTpRtKIOJ/mAaitaRUcickjcosDd
 
zhimP8HC18Chl8ZX0o1hjc01UIC+YGcq9bQ1TF/YU/hBzQ8S/Pk6/TKsuARq
 
UPX4IH5zuT7HyjrOSs2N0F9yXhuFULvJMSj/Ff3JZcEEvRHKhIVJL8Mut4a+
 
FPeRLREpoJGinPnA7/b+Inmty+lEuwtmz1OqBhdjPpCcV2vbWUEfCKAqzuYl
 
nvDe8eA3GjAbnbUl/dpcTtP29ULVS31fPMb6N4rczNhzvZDKXDe5hP01fxeM
 
s0W1T82yqlu5rnt/BvBuIjjVcZj/GIMET8lRd0BOgmkQm8OQzJvFJjt4T23/
 
DvOoa5/MznDvO1lJ4de8xIU+Q4PARbZ6YJJih+k9PCJ1yVp9RAJc/9Z4sdap
 
j1T4lTMXnYgP7Vvvenbc9QGloKYeo+V3YsoS0JxDkXgx3eLeOAJqGHMzis3z
 
MDo8zL7YEDgvL7+gGqFb6BDFRMAduVMnPrT8AhdYM6fpJTv/Nr8X6SkY8s6v
 
xWqMkiM/j8sHxwVxGABMJQ51MkZCJto6mus4MEEfldr9+mex6cI5JktZIur4
 
zYd2a5eeLZg7WY/UjZ9plW+0AdXLsiYqVHcyn9YA/cUzCa1OPW52W0ZIxSXH
 
/+ZaH/WI4AmMN6VoICCAKBz3/QrLEo7z4SoiULkyVuSwcxvcGNBfs3cJeBpG
 
r2uzPCa5yZNcdyNoFNfE9Qa2CugGYioeY4ViPXkCuD/Z8564KUXZ0QhQvZph
 
maUUvrzrtEl9jW4SPIOBVoc0XOZ87HFhWf9xeHwkaq1M+zAX9ZdEzylku1Ui
 
YMDL247F/oYdkHYRFKEstA/OKaVYbh4uGDkp3Y6vEa4sWJgLKB11Lw0CuK5v
 
Q2fMHbf76z4EquBg6ys2SCpVPxQ00OuFSKK6zCmEh2+sPeZT6Qtj8djAeUWc
 
YbDopPAOctORK/epcFdglKJpc/W8R4MxwP5yVGHL5n9uUNgdyR4Eno093GDH
 
XqHrllcnn7QurkLVaJDQbhRhJ2YIVb41LD2LyY63z22/+VDCyrUnTQnezW9f
 
Ab2vYI+1i4faCBvQJKfR/bXaBgwUFcy8jOJeICYOVMmvpqj2/12jTutqoHCw
 
mEo2eZVg2l/G1hHkZmF+qQCJq8tJQj/1gFcuFSbNB8y4C6K1UILdp9r0DlZu
 
dmjXOtdxAFr/+00zS6s9786yIyPa5V1sWQ0YRZI1915A2t9/HwqSe5wixJAL
 
ZLy+XZn13q0ld9Q6w1518E+3TDsydEnmd6/VFh0LizMgmm5BTpdbBYSETpxP
 
aGrH0nAY4EmxHTjVwJAC0iNGhjFZ/U0TPmo3ITPOaIwmudvei69bNbwohVgJ
 
vPu2bG5yn/A/j1+r2W5LPY2N+8sGbg/Sx6mD0xB/0bAuGJVN7hatAcZAopLl
 
QCyXt44h7ycGdujAPAOKxgac/czyzwdEWzlzdXhtJRLOkULTvDOX2/3AqjfB
 
LLhX6msg04CIPq4fcLkuYVT7Bp5NrZ84UH1FTLPwoQjtsi/TFd7TG/CXUnNl
 
7+V8ncd+dhYzBEE6r7+iiaGJ78HABPW6GaDFeYBI/a5WYyU5BPKgV0juMIe0
 
W7JW2iHGyNg8DSHYgRakZQS4rYsDrKUFYibS3BaNpW6OPMlIXEaBwLRT/oGd
 
ba3H+exoLXDMprBplz5uIax94d+4ov47NqJDF3gsIvlaEEtdjeGPqqy5NVU3
 
3AmkRSOnoOhkLCCRcEDtNwTJFCoWUj+8AKumNUOhl+30BQk80VBDCT+U8xhf
 
PgqMH2JbAqlocN13uqv8IDPyPZW0NuteFTtl9Tv8qp8CajfpSVWGnNcw4g42
 
HOqX9KqV0qLEeNSgX986axtBVl8kFcQGhVONts+Hea2dTjqVPDZXkBYMw/yH
 
A6NJ0iZ+3N331Rtya3gro7aZsw8BQPpMXUUwNg2N9eceBirAe2Q8PYZM/lHi
 
x7653hSD/dRGx/NjmZ/4SqGCYUszDXFhuD9ytDOVAAWxgEEE8MFmWSfzzfCC
 
n1XRDw9+Y1njlwJ+VfTjfT1PlVp3kL650VB0ME9hJ1PGFYmk9RDu8WnHsKhh
 
MsxIHvfx1+yjwafTsKsbmAClHNR4NKkVXwf2cw/GwI0tygR2czwsG2VTUIcr
 
mxrHhhqPWZGeXUVw9Syw/dc+vdBXlIj2Tc9wGerlPY6XfL/m+SDA3LhTtdp3
 
C9+pZouiVVPKDxKHhZNfj6AJVZpN1bdFjcDlwxQsY5KVjOTOUNRXwnSMemxB
 
ez/DBigQ5onAkIX1s0R56xJf7J7oujxQsNShphiQBFg21K/fHIh4IiOQC68g
 
GSZDZ4PjT2+Muhdt48/FkLvpatpfrvkYi1ln/0rgcHpydHL2HJ89dS3wIczd
 
zAfdeOvlf3KZ4mw6DmA6xUqGq2shf0yJyASBMcbh0/Tz133uYGedriIT/oBZ
 
C1MCdWClcH/+T1G9xMNKbLyJdsn1j7feRC1TDGDDcLmqwUN2T8hJ6F2ngIxr
 
yEsqirfZCWyoM8TR90O5ex77OW84REjSJhaPFBG6vmt/3gV+kZdRoxtng5NI
 
y4MjUHHLwdCLG7QyBo6AZy1uEGJ0n5mqstukJ5UgG+qf/exAL2wX/HapHiG0
 
8Tv+/kogzPxfvF5QQUg6Cjdqh40ilHT6iWweTsY2mjHvSiD5BLTzmnLux0yW
 
DjFcd1efZdSczL5K8zBPtjLlJ1raiF9tG/fOIPPkiaKiDWEOJh7XTFlpKKP2
 
aqXrtj99dTL4ujLhrnkilVdd8O4JhVGk4ZwVpz/n1vwShZ255yjsnYE2pUKi
 
dgjm/X7A5kvSdS5eXKY44LKdXO3zruZ6Lq/YiOmzWutre1C3R3M64hb5VElw
 
CkMQxboVsxsouM0Z6O4AjmhTUD60q9Yo+1EMwiGTcX2jAEBm88m2NoQV7xzL
 
K7VHrUFNWXJ6DTM3+v7+FiRiRbzm9B/tL/kAaUIiebSnM3LoirsIViOayIT8
 
ZClfc0vVVVSqs6XMicwSiZrC/sWjjtqOzoyLbnsZXCWEMGzJ51PrW1KWQQCG
 
ReFGBreey0CUQ3wxwdDDkc42ogD3+iXIix5v78sFWUm3orzw+GVj2Qr7H/Ha
 
R0x7o1U3QLnz/8VDdBFpWWcn0f41bz7oWRqH/z32PT8EU6EVX4FBRSOq6TsF
 
eeMkxy492OjCRg50uE75K/5RpU8Gt4aipyrwTXC9CR/lFb1XkdGiEKL3kfaU
 
n74y62Z6LyYi/4gNJsyTL4OU8Q8KG+uEEZjRBxgGpFaxUwQEBJER9cHcE2+Q
 
4dWl/arW5evbTgPeFxsP7n4PFUpa+F3T4LJx17/7hdPtXrQ96jpsrU1c7G3d
 
kYIkhSFeeEFxAD1MLbiA+bZrQb5+jwGIfteVUm2cjpxkwA7OhylbWVo5rm4C
 
cbkr9hxxxOIl4CxJ90R4N8OetImm2UeO0J6v0c+vE/WsYqdKm4drjn5FrdPN
 
lwyS/CILLrBLR/2O4CNAcma9PiU0fx+wJ+xxzlVzBGqmFnmP7/JbmKvUH8+0
 
zX2Zuvp67U3G+ZKMUmqXz1bldGOyKeJCJmK+Wkrw85JTIy2YviHDQrNBi/RA
 
tN/gnnLKgFYm+S4puFtuDev8hbthRGY7/8nLBODJ0Ys1mxyG+l8j1LaotqQD
 
lhF5NyOq0RoON+sylN/fA7cjec+FkkFxaZN3VX1wR/hFOKpgAEakfUdKmx55
 
M6VX9eaq43S2moBHwoMl//8acSPzHUCjByLh/qW9E2Igg4thcBkjnMAZnyAS
 
nxh5bcOrEoE2yVVSZ5DbTn3jxM01EkJgNvYk/otc+4/imDn0wkD6Naju9E8n
 
dO+So4ZEXQcER8LhpVoC9ovDZpa5crQVkUt24GgQNNCBYu+esOcNvuDn7N2v
 
9koFcn3htj1E41VHO8VejtDJ9p2IlC3pZ0oMWL2WywepqCpS4xn1v2eBtPj1
 
nsZiu/+ykHHDKcmxMYqrIfHnTBmmzgF1yIVkprDEQCsWaYcAcFihj/fB2XG7
 
1i2IeontLNvMrYKU7G5Gqpde/1bd8lTFT+NLbPJnCfRWnUbBScVNniHiT423
 
ZiglERh3Pie2iqqmBgkDxC7eUSgOAitu2kwqWl9XikFChcsn/JoGzGOuL6Jj
 
Al+3lAD4h3A4gF011+1236jyCr9D6p1opM6KHVvTCBm1KA7caKfr2xrpq74e
 
9ZsHgsOpVPJ7btMyt/Su3nkXLmicrF/ZA0dsInfHeAl3am9Op2i2+uIld+E8
 
G9M0EGqJIOrhUkmGD1be1QGH3tipjWVPN3pB+JHPPHiwpEYjsjYyvBBiCGBS
 
VDP3YDteWRfRl47kejVwj14muc2tW+pssZdHcGUAoD8uDmJzUjZbxL1UB7WC
 
Caq+8JXW12bFsNjLaRh2XKfzSfTLYlrf5sUmzqc62NPV3AxDsTJ/GbG5VAtK
 
EOKFYluamxNNr/Mh+aVkgzUdLWvj5mK7l5s61PGNQTJRtuldKYNVb4I3RaT/
 
/gAWFKc2HZNpV4I7Urc8WA4vgs0hEt0yYNlXzrrvuoV0tHWl8O6g8ioI07N2
 
7+1dbFj9EsMJ9w5NmIWsIFhFLPubCs38y7konYHXwQEhGlzVTSzD8lPK6gYJ
 
zmZvPd8jJTu2/59/A4iwPW0XemL/g7fcoskru1QxNmFuOwJpoEjYOQMnAefh
 
EN3y1GSugvvUU3KzPBCqHFfR2RkzeHEZK0b0CaEcPPKzJ0slcrBD1Jjj9/w0
 
RrT37i5IiQUhRdHHSCXYvRl8VB5gCSE38S/+ws6NMqlEUZG8fBqDDOvtgong
 
Pb8b2GLAol5w/sVgkm6V3C2Adx/W+uoakdpAskmNEvRQsER6FniSq9sS9mMI
 
TtkUhE+lqQZQIOpwMQhcwg6rmWaMNilSKoxRc+BMCX43D8eV5803uJbDPApX
 
mD+WPIl+JS/WKGIMalstCQioCPnu6bsQb7/Q7uvyN9fdv+n0l8ePTjL4+E4v
 
1u6CfhWIjmMAXQx0SYgkXrNIx6WSc0OTZYy2UUcAAEiOB/4XOLgOb3isBsKK
 
iBHqH1Xg/N98F7T4CWZ9GxJo64eXI9yFnquoheOZYvN5GAHudnfU5dg2sEef
 
n/xLOKpjx1H2CdK8ZH+ZmerXaAxzkDC08vuTJZFWllyeFlGs4Z3MvFamoE1n
 
SW3SoaIay4CsgiNP+GURywkHEJaybmgZiYN/76wcCsxU1Aalu7/4YQdNuF/n
 
MZt9gCrxY1rtPDouZ+0PzQdr+6hj/OzVva9YqgLltbc3c02xAQ6JXtNzMZju
 
LD0HxhCD/dPMrL1QuQP5GnHpfv/rPAGWp/MpyCTGlzIykAHb/LxuvLaE7KYv
 
X+7G81A6CKcFRVeGiDnu5x0rqwsI6ONumSwvd7oetU+oz4SS4lcUbARlMqSy
 
dHtLOKk59Vz4IhsS271rD1TVRvIYygidCPfSWWB+D9qX/53omd+VXVqcLMUo
 
hYHZGgf0g8J4vDlGgs6twYhwUW/wwCMf/Nfjt5MbH9Kge5ql9F1krfIjCif8
 
STBYWd+iI4RcMwMU22wrGNknnOZ1BY/z06zmrhS88HAsT2LBiKfzJ4iXNIdc
 
AbdWgYx/Qz9kNQC/j9HtjTM0O8hmqOo3Ciy72nNAtOlhuNEBjx0wpbtV3xGl
 
h0gKcqzSxQpzKz0gdCcrHQAr2QY8HszZRcHLctYgQ3Sg/Kn8L+QNwp0xgK6v
 
zcpGNoqXB4foHieHWLAd/Dv12tvVrkwIJQ0HeHY81kdVIhGU2r63NMUmTDIX
 
E84LYLffx/bgEdVB8twwKVgdE1k5fK5uxrNbXJDfIn+LQ59ny5KVyZpcJJPv
 
iiUd8Vtqwm16nP9gE8TKxAfjja4D5w9SddZJi0a+g2qGRa3EFrFBkleRuq/M
 
WsfIbL38fNHfa0fxIrd02TVR26dzKq4vZVA3F1Zrro7SuV6lZtOirTGFRNtT
 
rHjh/guLskzHmLEWkwxV4qDbx4OfzbxNNBpN+Ro9YaEw556VY20L+xgZUK/9
 
Qgu0PW/EMFy9jG1yVRUpY1OSvZvdAzq5veUsT0KwtDRBjhPUss8X4AwXeYI8
 
C0PY3BrX2YwrI53I1LbUtkpri6654IShg04rhUaBm/DxOEtSCLxXIaM73PCz
 
0m9xBRn2qu5Do87hMnHNrUs8l+CxPF9zhIuvOrtWk10CUQe/rtZbD7czin8o
 
3COKbjP4AVv0w2txy27UEBOJkzLEwVULexXWUXscSuHnhVO4r3BC0Rx8WY2c
 
z/NeIcGhOyNTrbE6ANb3mDAjTjdc8uxa793Lfyxpx99bmu0fVbS9qju/y9Y8
 
ujpkkHByiE524bOsYkSOhEfkPsTljEuChCAAoq8umr+wrgdiNN5fZqVp5f9h
 
/QzhrU6WPN0xwJ043DS/mXBnXWE828d+AHwlnonMhnyhQWmwiQc5oR1h9QO1
 
+kiVBDeKZ266DBBAJoviG4TvFsaehqhCR+zEZ7RRS5u0gJrVMlltDiUWtXIy
 
69Q0xcX5HD/cHqrCM3EUMhEkqE0LvfiLZQio8+DXNfme5YB6ga/GA8zE8iVB
 
6WKbCGcrpdT4bpuqruDycVXcIKi13c2FWxdnJKIUy8Ws6F+MqeRlAkDiZoDf
 
xxfOlRaYLklP3GTKpWkNOvpc/f28uekczlXleetwtWYS7yXXqwKUA5k+ptpY
 
vke53lzI3mQgBsMnHEKYmd/nC//24jPG9KwcwJLFOFP9VeW7pY2YxWYxJRWI
 
Mr2yWrXGJ4+YACtjjDd4Baa+K3HtXn/T8dOZvjdoNw4mHqDvPHs2vg4ZuXUc
 
gOeiPJEM8PqX1aArmhIrN7FypqZhCIXvxzD1EG5rYdxw0D4BkzcQHcnr+a5z
 
aQ1OPSK3rvMHQD8hSUlEyiSgb/j0wXkb0rKyyY1WqWugmie4bRMp870folrG
 
lrrqyyGn/UIbUHmVw62on8sQyVg31VQ8UK7J9wmD+d2GvZta//XUbpCe8PEc
 
/1+qZagAZZGpHIWnh8PyOFLAb4XSnTyJPokmpv9CtkVqfOvan6BPzFSb7ou9
 
ZIXX7ePDQ5e6k/Wi3FumdqgVgQELqj1PJs3TeB3YSxA9ZiEh9e/qHu8nsY95
 
qbZnp3mE4U8GCVXsxcQrzYRWV7kA5jF1vPQCMHapdc3tpKuDmWt5Ls5qnUny
 
jkVRfMs0yheinP35fmtuDUAC+jpnJk5P2ijVt/bLTNkNjhlIa/eONWCk7dTm
 
FPQDZvs2aPvvDKRh8fYvBODoeQx+6AbmWvTFhntCEK3e2XcaMTNM3ame/7LK
 
gtCNYEDFyLUNMf4xvaxM+W24r5uLt+bKSfT43nJ9Tuny5nr10nevDNeTvRyG
 
JMk6eq5PZXMhbaPvgUkVeUf1lp0xpGVfSv06JemFEC5mWzu8N1pFLH4EBKAZ
 
wbdHXEtZIkFEPJzbwq+4pZznheeZOSqTlG01TJonfmeWA1zIuxFgZnwltQuF
 
phlhMNb3iGW4ukugl+ZWiTvI4ygy2QNZCqqfLJtZcg4neiWI5HhVqwjxzM2f
 
4c3Yo7bRuOWHm/MxWrLcj7m/Ulc/7N4FLEN6ko0vAcWMVCFQYKk40ro9DgzP
 
2zZBR4o5gtLDVWXfdvc3vNTdKQUWfbaRt1RQ8E3Fje4vxzWTvuIzpjKOaCx6
 
hjlORlPq+LrqOc+/vKrTy/9hmTwB1uIlPr5+r8OzZ0q3nVVtNi1B2Up7QvRQ
 
lMR6Ql9ZPN0Jqe+952Ef00z292OYrKDmI+52O8fVRHrzZeHthhASi6OgXpP2
 
KSXFNQewd2RJic8OjSyTvQi6BQdQ9Qz9Z6zMtDhmVhp02aQnaEanAZ6z0qO/
 
AH/egO3NqJoTbbxdkvIyYkxN7msnFsE6ZTMn6BNAPapPEcm79Zl0iizbmNBD
 
uDpxDjbvQ4TXKkAVTJrqPne1rr56o9540ZE2g2x1WV1/SnVGin6J1hL3pJIW
 
7fJJLspCW3WpsSNcKH03ckCCY/gljbLxZSX8ZtmouFLMJ0IMvHZ+htjKKUNv
 
n2nqBXWzCNdhkdYpajHAQ6X1NR099oKfrMWoXiMbnaDCzgUdkLahtuLMOHE4
 
E1DpbD+XhK3h/yPZOI20Lp9p9J43PqfiPDN1mc6xH+WMk7FKlLCu7MkN2nlT
 
nfmtG5qOWHHXYbB7UIj+YtUOb5snYjfwcExYZLyUxMqSHiRr4mXNUARmxO0w
 
MCBgo0/zVAOQdg2ejVr/tcCn1r0TO0YC/yCiIyoNYE7wDs/m0Ns8tTj8oSH2
 
dO8aJzXe/N6AaEAtf2PKkAAwOdCs2MLQd9IR8nHdqZeK4DkQ1WB3/W00a7s6
 
qhhA0cx/zqyIJ54j6SYuX+XFr3YzT79d5QaK+PDdvYl41xbCGshK+5Rn4UbH
 
fh3M+siCJaPkxqKYzHsYeUfZ6Wuu1HnPfLTlH+hdqIT6jqQorNloSXIsXzQD
 
Vt1teJdbZSs7yoPytE9USZ8b5ATpmNYKsDOZy8i1lwsNX+T/9d8PRcMp0iWV
 
sSPcQfoNwdhMsxX4jaVq81Q6M3kzbwKg3E7QPYf6uIEQ6ifiHJrWbk+AO855
 
8fjdHdNCli4eOKBH8Ukmaaiai2fkoqmnF29UUAWSM6UW5BgjGT16DqKnbOR1
 
0AYe1jKdflvzEAKXcgykBA6kAe+JN3k7o9TmT5zOMOwACOmI4hhwrP36jhhg
 
GmPQM6+LP5NGecyAB9kSr5NOrkzkDHbfQda8VVCv5a3vmLyytzUM6E0v3Aht
 
cMR+MFWrDrK7fS1fwkSaoTD5mm/kdpdQi9kMOX64LfbVqSCCThtbVOVwcvvb
 
ZKAEoyVWgAlnlnO84MWpzP8e5UEouh3llUIJv50S7ZONfSuyeBOhYGFsAf6e
 
jON6g3K6V2/x/8x1kQDf61iiQZREcsmkc3YbrmUpvMMjqtan8dnlcZaGPSZg
 
EzDFFM0o+/jKcn39fw2JC3yj82dRPw6PxL+Hj9iZLBh4K2kAHnyakN9/LI2i
 
dUMydYSfohKhnEPfjEhz1egv/yFLo1u4fzSdZZZBeQ/CAWZw1iBHU/pXUiJf
 
+77cOH2lNWRMeWJNI5ym2VEeyCEEw9oQYw83z20eb2QcBLSVGg3asi5cRKd+
 
MeQvX6+vj1rO7lUKBE3dn29GEZBYIeac4lEev0b+Py8PFsR1eNPCQcqfcmFd
 
6sHac2IhspybG+uKSSwxW83UXmWggwoKFU6G6wyD1De8/jvJPROCAhxfqn9U
 
syoedIHog3t+ngKfV5Qr4KodGDr27EZP88HWC4dy/T/mIxhMMkzSmpKTwhJH
 
imUDJWG0gG6ELGrPeFaSr8hUnHRW/Qs/BdvHLBuklGtP1NzehnxsN2mKVCHo
 
Bn5ESxtoJw+l7a4dz23otHl7EIjiQ+Ulurhu7Zuno+qYhMC8FuULp5j8+mQw
 
U6/MorXq9OidQvWOI240aJctOqsae+NVzBAkVwYaFb1nwc9kVb3qzogqgWFf
 
grek+9e3fWHEfqSnCP08fqOvcS0oXuHpMp1wOaI9FHCuIBYDvakfHaQE0aoG
 
1VXIDGezeaamyHL5AYJ3kNyaOZkFxsYZpUpX+pSOr2FRTi6Yfl2SevwgGfML
 
W9n1fOYF8Px+Qgxwg32Zv1hsoKFW15TX0xGLOUvDgQc7E90+kPG1jnSe1/Cd
 
t+xR2+pcPx42Gx1RBNlm8dqveFcfpP9Mm6iPHPOCTFMgnIP4Gbjb3BhBcWbh
 
OHlxZlCh0kVSjYYnCkdI/UlrEzPVB00todeVYYTXWnnQMFFUMPdSTuJR9qWa
 
6/nlYGDP8HreFdBmYNTCq3kcKURgBb6kql5fq1M56JFVcq7aitCMUZhs4oe4
 
NSfD3rLasPKOkOvKWHle7CJGxOWQWUwEptdZzrbOKfUEfuBGyzdC8IYylSzC
 
7TXY2GR+71285EZS20B4DbHnw4u+JW728rMhe93DYblp/mpDx+MdCdi87aZv
 
8OVpKDNNxNYEER2cHAIA6ut7f5jb5PXmj90dbo2p4rv+5+gtkMGcSKRyDdeE
 
0/pTc4kg5CveAEMUQ2tKzxUAHGozfWZ/BQZmfIWyZUsREuv1U8qmf3/+44wA
 
TLDmAJaGNcE5mQpBYk7pCHdzv2o7XHg7C+PqzbpXto+PYYEyCHujdalsaCF7
 
19JiV6uAS1IQI74FgF/q6NNZkPGcAPAAKLs0Q9VVJFV70elv+nOvGBASHCzF
 
JrUy3x7l/43AW94VpiEPjOP3RFApVAxfMFbhDygRM8uwqFWgUemJ9OU+iVoB
 
rTbz1iqDrEp/ZZiHXHwouNAn1IhEKKzLBPDCWO4jH+5uWg+Up9oC5sGEb/m5
 
Wn9exjc9QtUH5jFe5z2CnVG0fDXjzvwwB3mwG2cWubJeAXQWAA2+i+rKTnnU
 
GIYSDvuJNvK4DiarjC6zT2f+w/L8zYUw5/5vLgIivD8YdLV6LJ8CDVemKeRx
 
1I80nEaccCxsZDHxqDstDJPdQJHCqa80GBkmSJfd6fYrH1KjJ7k/rb85vycE
 
tLX0rKEXqe7MD3EeAir7X4WfrVf3lAyH+wxilCXNYzB3NjNJWTz5o59cXPQQ
 
+9Q2MvAu2q10Xsr8VGTuxZJbQQoMMYieeU8C2yD3O8rRL2yxAhtcCyHeVdh+
 
yz+VWV/1QN3CAGzNAPtXz9gw9lJRSHYKNJTzLcx4PYgCPkddvpTQBI9Tswop
 
Q9o9gWKsT41FKXAfunwMzldS6JqslZyk0enXm9w9WkmjPz6VxUJqqwiu2v91
 
7NI4q1e1pT3KpQV2r+p9mr5y4j5hxp4w5cwaTtgBW7gD1HMbW0RQN+/yKEfz
 
wapBKiDD+rR+epdYgOLzeTkayyWrRa6hwBkRRbWm9lZ2En3qs/T49YMeo4Fy
 
dFkwOsFJyMVOxPF7kcTKc8um5R1/GrpNXK6HlE+z09Xv/EvNo8IdUuI/VTzd
 
CASaS6lXLfvIW+KcOln0cNJCmcmfjYRdO6djt9gMTMqhC2t93m0fReRkJfx9
 
kpWuCjTsh8XQUcIwXxkzIaq0LoA5TI3shnpMFV0lr67i32V/zXhTOI3pq8pu
 
zZcxvJ2/epzkhGVUz8j1+9soyHw+cJ2EJRg2BFdYUCpU/kKRBIWJjIr+0R9u
 
r9SfHquCLSpIFVtKSvb+I8ZtJTtQ/vPBg/1AFNSuk7lq6hqmXlnAam/6vxTp
 
+CKtqj0j73x1pzcrl5QpdxQJVw8ck6Zvkob87vq7epuCZDBrlr6DB5JXH2FT
 
EIoBrOB+QZENjZJ1mEbRKnkvRC1WsLsWCwvSaKoxL+/a3cAS/YFcSI86+Y9E
 
aSDf2/AQHFCdbHZVY6K9KVH3u9mmwnpsSx3+mU9SOSZll9tbx81ycSv/plJ2
 
3TTmPTqkXKWFav8zLIiz9ouIjutnf/0l1YLn6tmGkNx9sJgjQf3pTyyhQUp7
 
9CgNVvZJGk1l6jGEKZ6/Wy1r0CtGDuPOCCO0aCLRkcMSPZfC9elpxGdEz08i
 
6PKydAx3NYaxr4rHKSH2kNbW4e8/eQI6eGDQHNYaf0Z3gRSEUXQBX/FSbYlu
 
s6vpWLVL5t1TDpclYAZoWAi+s80Pu/zPsSX3BPpU6M4RXN7lX6SPGdKsVnGf
 
MqL75JrqdpiA/wY1lTvVnJE8VKWgoNEj/7qtMhU85fb9Y6ZTmBlM+zYYZU84
 
lRIV5X7Ntv2cTmHVmcNREgFA4hjArnO+Put4baq1gMTJ27dMqBn+L6xWD3ji
 
eJvgRUBNSEeuDcw3U4arbwqGc+RSUcRHF20yBK3s4V6a/pzlUnxiLQPueuGt
 
H9HuPqPp3UgvNCRRdfMjhuKiPhu2ogLntur8TVsnQq/LN4agTVf0Srd7lFde
 
72q1X7Ht/y9bdnId9dvgScxHiozNo41i3+IZjO5ToFObDrJRiEyGkmdZty+k
 
wbatrt4ycJfr4DknUhQ234BCOk3gcvC8oLNRCxV/Yq1khdwzQzcCzsaN2O+N
 
r75qfyMIkf94UG0TPn69XBqtxCW/LECEz8h5wZo7slT1rxTM42utPnj7NEgP
 
ctnaQ/EyoNLe/6v4sTmCMl//zZq3AVK5Ix2VcfT+nw0fXnE36iqayl1hen4R
 
T3mK92ncDPouNnEWxeBzmRiw9OE6ec+crm1zC5uUKr31kzEJjeOUiymWQ2Yy
 
1d5BQny/8g05v3IfWjNp610ecIgkr4Zr5g3W+VmCQev+LxU1ewQp2WhGqurK
 
/2q/LJ1UvS5P8e+qWtBC8dhRdhekXh/B5R7QRCzAE93bYnmSdtKRMroTs0A4
 
QNJdgHK5EAGih3devmSlxdb83qGVanViaQwROsob8zP6Tmj5m2QhB8vvo/MX
 
QXRyiENRyXSfkv784fBz0/oGFzptazX6K0ECzNHcee18WtNoY8gqZlbnwFGO
 
myxi4sIOvrl6k9hjEZow30lkt2g3u9ivmZPwRt6pvtVXrkVjiXgalmp0PePH
 
+M4U8mxEA9T95bP5ry02uDuo7avqmHPrhoTAgMj05tQNd29TfZzvuCg+vq43
 
UIq5WaA8meaZSaLbwu0qpBqk0rglSB/wuD8Wcc9JkeggrWOndTqwCPnmgKlh
 
x64v5XdNCD7u+xldzbKTHlezVk25zWXfT/MTUYMgqxAVuBDShUyJPRwkjVX2
 
zEYm3y3DZC0mNQT1kuDDdfcSDy+nM/Snoti8bymSltAM2Fpe4TqM71wJAPn2
 
/yOHAlZwAJ19zbETrPh2Dv4nYFLzqWXfxCaGLc+UMp2tFCQak+aQufeZ/s7I
 
GZXEbd1/DH4/bzIZqKGHB6s1vxf/wt1JTgSqho0bXkTMKuTCuRPGq8OqxvDd
 
JMbgk1edZcS92XCenLTL9jvos/gdQ41cEPX0sOB3nhVnpIyg4O5SLIRYNDXj
 
NUobmyQhSYdX+YbgRzk7m/KyLeGOpB/LFLLonDY1khhBQUAkdGI4BFAjYWxG
 
GqKGC1GG8/H9NJJOBwu8BwSza0P3diHgTR8TSDCTQmr29hdiIL4xeUIbJsQw
 
Ufrqqx7yqWk2QUkYSbhlBPyOxUpG9NBugi8NSi49qXsEdnxy1QIpd8BM2cpY
 
hpIp6DKisKIo9nw1Y6CZPRoV89628Vk9tw81wk2bB0jG6G6xxBkKsncbVztX
 
gJh4ZWAYRqMlX0Hwt6NNNajMrXD0mGpUjgDA9vmK/B7tt6SAIa8OETmfpFXa
 
j2TZ/+C8k9TkAL4P5VPSAR1V+uHRxSRjzvKq4ig/m6eH0G+A8ALnTfVy7vFf
 
XjZh5GoVRlnyUrAER7/1qBuBLxwjzj3aHdhufDccbDWGCi4K4djD6Ug+PSfv
 
VibLGNYNnI/RkeHHcYvecB092eBLFZJXTusX8szUbEeIp2UAajQ/CVCiQDI+
 
zV7YPcid3uASiJI56b430koQXkyzr5wWaGO15nRyE3SgYihL2wASpP9687zj
 
+VxuBnQxhM/OAMqWYSPgBRfjjilrXLj2hYlzUibch360g1HZR9rRKt2PeBZX
 
pK/lqxgRocQur2e85Ot+YPbszYoo2TvpnSR9A+++GQFi0oIWD4bYRDeQ1DaF
 
oxmvRFMoJWWVImr7bUyywMIrdN+lxMtqMbomDnFgwJOX9fpsX7lvy5cUg64v
 
8KBO5QEyIS74rS9ps72R7C7MC7Ge9IieY/1chY9xISHHua7XkQN/jCZk6ifA
 
IclU2Hu27B63yaZT79YWLvIpvTVkkb4bk6OKPWeZ5V/39y4KW77PgmmgWJ09
 
fAsxGUhrTN4Tg2BD2lU6bvSQbQjbOy4dgQo/akBQOc4J8GvjHFhs3jeBAkMb
 
B+EA2M6Wq1FO1itf6QAEEB5/GGBl2WYgCK3qLCOY2jiCkkTVXoxxaroY5Wqz
 
Ujvbh23G5/7PVhRMhUkXwilVPSqIn2F1RZAa6sPR3oeWqImPdOxuTYaXC1qt
 
ncbSJUhWty/WvbaOIYcd330UzsI4ULsARu5WFWsGhqTikYlpmizuNHX4pgCu
 
hdapVaPl3vaeGQ5cg9JWiWiJNYQ3b2JmNTHcL3vT3D1pHLMXezePhmeZH+Wb
 
iCKpvShhbvP9h2vT2MfSShlSh+L6XuVvmapDVdeuHd+vLAi8AOsTwgrOwzcR
 
gGFKkAz6FhBur26omX8q+9fRVbvykW7bpd6Pa01g9jObxnPYAtlJg0WwRPba
 
hdD3Gnj5fPLKOg0vnohoXvwjcJdQ/l9TTYTmwhgpPaaJPaXuxJ+VbqKsrCUh
 
tc0UWvnkcoExYCG3C6hh4AKEsxmVD69QA5Jgr3xK9aL32LTZVrtvROIGrm/o
 
JO0wrnMJcXwNQI0I1XVllsZ6j3Xi6hFDw4EiFi5MR7BGGlUwpixJ4IEd2aRs
 
De9BSHrN9DVG+cgsQCs/Fcxg8jcpOybEautl9bXW27jzi4oxNwgZrJQXXNlf
 
rs0+kVBf6jpiCOZePIm8pMntvmnEOC7OYOVg1zkHIQBAQ5RQbO+Rd+Xm4SUN
 
NdJUS/GrOCcUVWlmkod1g7mXBwTf4Vj6hsGvyBenC1fZZ8un5Zsvbz1UyWTK
 
u17vUpW7OPA0fPfIDA09/v/PmMtm8Q8Gdo4rOJ0fpB6EzT0b/NUwmEnvt/ZE
 
JABk2H6mkCIi+puOb+Xgvnu7gF69OckAAD+0hLMLZhihsgilPIuCuhlHVeBV
 
4UpdGMukyNBJ5Y3iNYarEU1y7f8bhGRUzmsPiRdrZ7lLgzONegnHiIsubSdT
 
6NjbCB2zwYv7FGpPLOZx3HAEzzIDvmt5+d9enJqQZ224vL5l2YGlYgTlbQwZ
 
tqbDebwiNUPw7jWrjhHJ2iQkIld0rkQD6+BIXI4Ojr3FfTUa4wPqAXeT5O33
 
HSGc3ZJLaWiDAf7lOk3o+tA/Ck+XEs1pN3/wgbiPWfugPyBzuXenYd/VE/gS
 
xw9kmQbVLyl4u5oQVKUyF83PQJxWBCHx5V9UfGGWFmvO5Ck0BzwGIRpCyFUo
 
gYq+P1JwF6qfSvTRmw6uIg322sLMj+Y9OiD7s5eYib/1Em5EA0AVcmOHedaf
 
kJxdp6OXv+qQDe7FNEmLGteBgbg5JomGykv0EgVUhNyfHGng4sg0YSzMpJ1K
 
JOB0/h0cwByzTmbiKxVyMkXTq+McGs74OiEH1jEgsnrcYNsKGxUW2DY2+EoV
 
qYQAnKob/WP5CN17HnYE0EgXMP4jkgQt3oaSw1VlLc/o8d40M3hUWXNDOyjU
 
SxakTURUbeDmYSEII5usRHXLYvJotKufyyWvqNkxkZa0V/nFG1YNz0dyXsKO
 
8Ik8OwSVVbcZJl1BCTpZ250DeXHJIJ7HZ+c/k16Baz+yYYJaiISWnuQM74p2
 
4bhKUTsp95E2U4Wwyl4RBR6vYIZc9P1vINSCQWZswpwsPdPLA9VzP5GbTsEu
 
FhElvhbCLpld3VJCOjnn3kA+LG5z6e9GGX3hJslMZTKMjcYsjUTStcr/Mgs6
 
o0CLn6ryFd1Y0tTOoqJAjPQi2pELXTqmiRP5z4OPXbaCmN9MO2Ptfk845EDd
 
L+GyJTNJbSPc4Jf7mUd5h102bhc2Bw6OVFoU3oKOR4cREBx2Vm0HcvaJwg9d
 
yWAADSycTQTcanIQHWK6LeUY1tDGJQr7QNv9hATBqvDweaLzh0tmpzDLwDE9
 
Q8qWz2NXHq0L1DtyEvqiZt/eAbe6FyDAbxrU0VawRVMENQytlK1m84vf3Twl
 
+lDgJfnXECXEl7ja0NeI0OCWPoW0VloeFfFByyKYBtRb3cLtw9DtIVRDnle0
 
eCyG+7p0mZOqMq95KeRRbejVKAE6MirpKDCtieeWB95WJYIqZMyG7kIHvjcl
 
Hql22pnz4Gxzu3sACcKZcjHGTiZs3ca+fL7du/NaYAD73J9CKUnR9Ll75sIl
 
oG5+YfqanXKSq+WZN43fVxaF5pnNar+WCLDLT9hH1TTpgGW2pD1cfqXJd0ml
 
yLantsfAq0U1MirYv+SMJaRZ+3INdmIwkpPSlqU+wikb5n9tWJfgekxvp/wq
 
0EKRt1FeUI5Xq1RBC0ht6UWvn6X7hgj8MMSBY2FJr5ShDYb3X2Ia4EJjidbE
 
0eSpxI3mAT3fl1zzrCXxVS3aHOfZa6EkMDajD04mYFsqTDP9SuTek6M0z0Ln
 
GCjZl6nJvNgwclK2iiXl6EXb8xi2EGS0nX2ELi32dOZsn9FW9z1c5JJ29wBM
 
v0SuIX5gznA4PeTv0prjdV/jYDlqikpIF1TAprUkktQIKQ1cJsUckVmJwpib
 
6kDpkwk3oXrY/sjU45TE17D/Pgf3BIC3J1voLCPV/eG7wKROWIw2QlO3KKv6
 
9TOyU+d1f9tb4jVar9zocBssRD3BhLESKMKVfU3poyg1Kqjabck1zbOt12/E
 
AspIeNeNo0fgdCSKxJN/gmV3dgJ71sIAvaL5reUPMsJDwIbIchHktRZDUvnT
 
l+MQBZt+9dbT6L7xMbrVo4NofvrTdSkP8lMonMNJBSPra17QP3oniUBmp9sm
 
+7E1Rfwv3wmiYTyuZbpTMeyruDcYb0OCldO1vrE3c5/PLVxzciOO4LtctVT1
 
L/qoS/6kOa/zxm96kK0FBfLYr+8Ta9Qks0Z9Xfo0ETJS15whxNGaLNIGx5fe
 
cCQLjyVD0MKmVGh6D7mX5J7FSMXATGv6l+mdA8EPqVOOpy6I8OimHlR/o3Ys
 
vgySH4e2pNxADVi3JjOKr/CMUMs0GMnQ6g10yIBzNn3LOvFEAHA5ZG677xJo
 
j5LDGxcDXDlQfIn3Opt0PTpfz1+AiGQjteG3/2qtWRim1kAVpM8OtaoOvJN1
 
1AFjZ9BEYA/4Auh96j85q2haJGVbBxUBAe4Y13ZLTkj8kgvpJzwfV7IWzwOj
 
xoANjYlYx3R/JQlZHrrLW44/qlKRlvIMvdz5ybjHrmMA8X7KehhS8sg3ecfE
 
HJYgOxywCFsHOxU9z+3wpBuRmYJmy3RYTapl1aH29JjEgFfnBLMZNBMAM+cn
 
ymZcbP30CXicpCDUHPU7sqSCyABBUjN9+Asm3bRgMFu8iPX4cdoOnYYNZdNw
 
2VSpRI8aVWLU+PxeIewJCG7Vps/9kbdwPZI59wQgGU3eta+cgEnNAWqpPLgn
 
KCVjkX+jN3YTsFSb1EZl9bn1IRfnjl6vBwJnJywu2i1wog+BsP/5ZyDI0w5y
 
sdgTePcRG8t2/JzBe24RWNZmr4Dy1CEWqTTFZRjqdRhBLvGu6mKvroAFpP3P
 
Gx4obacMRudkFqNN+6ZlLWVRHc2nck2D9zRmc11GE46h4v7rucctaojLoQQp
 
gU6Y2HaVEn04jttH4ZZvSkon5NR/5ckrMb060Sqmu28ptThILMibXz0HY0Ck
 
ThmOHdnn6RyrpcEEpUGiWmr7bhRfVnL8MO1MDU01oWw+yUsSbxnVhX/VBE3s
 
95A8lEfmjUiCOghu4G9Z+YGs5AT98Wdydrn+VOw5he7QevmdHcC8NNRDogoA
 
5nJlxHbRuz6S8csnmyh9uLiUPj20gDpuAP3PjyiKT+9Yp+mL/DhIc+Y7cIUT
 
zktVel1fQZrNqCGDlj89Th2pUIWlXYoV4kOmJzdXx+++SAlMOSg9laYz2CQ1
 
39Lv6nGMW9BqL41OImgvqpHyK27kSEzqo+ndIhmJBo4CEvNEZ+YMeX7wgQNN
 
wlLI9hvmr71ILOZoOEXgGgA5qQJguJJDKqWbvM/GvmNPyttIH5f8Ef6k1EXB
 
6bsCTdK0fp68qyHzIXXg4wospadfBSLUnNdPqXe0LTnDYoc9WDBaH4sO+XuT
 
h2gYT2NI+1GAEZr9Kf68XsOiiRsOEZ1IGimiE8MfjvZnVtFFWoMW1bFVUQUP
 
e9Xh67eHMtE/41moO7zdBDdmnN3k5y3e5JncyumBVtMEsAwTWCe3fA+NXdhs
 
j12QYTT2D0cutc/tzvlcUMHkbY+pzyTrbHhoZPD0XbsRNZhdih7vb/TBIAmA
 
qAP5CvUQJFbYYzmozahejRF3EigZCtsThCaanRj+L41ru7CC10Yw1aa99nTQ
 
fD7r55x9OiT25q7otzin+6W//sccSvoypIunK1w1nMDr6M06tYA94UxXK/rV
 
8Vhs0gjE/oUDvCfOawyxvidoCx2BVpZWr9GlA7opSONMYD/79nev3eZ8QAI7
 
1fNlvtmJZn3xBVB35IKWXOn0RqzU4auLpXYvGPRL68zSsEKz2tgfvv2bjHsQ
 
BzyimPhLIzZx9FwIB8dctrAv4ZDUEdAGPhfJYiVgLKpz+4tEBMiz+792GeA5
 
AJj8uAQTvjvp1TT8lZ46Gz0qa6s75eQ8XxuSUUdGuAbQ0HNQ7gh/rjZSAtIl
 
6a6XJVDST+JybZwCgKi13ni6SZDEPRr1nHgpsXpLvLp0b6Zc+hn2ODXj9tmK
 
2lQgj7NoyS0t2NrBqD+aTnYfUowDpXpIJUbCpGwUWkQxgCUs6KQcuuLGcTAf
 
gELt7HrDXDzvnzVSyJc7bcxXHOy3Bt9eje7mffVsALxJdpFcmbQZnCduAFHu
 
2GWPGh3AgXFlZUL+hgqKbdKo6GoitVLsFUcKSwvAc0SbXMdN0UuaenN0ohSx
 
NasaMNuaeHOznIVAFc8YJG2JO31ZW3tBB3sqlvUmVYntTjrBW8XiiXtFYtsP
 
zVUULP+BOzb8y/HwqUQ84EsJ1+kI1zrNuMDm42wP8YlBJhZqs5hPJNr6tA6Q
 
4gA337y00AbKBFfr7z8TRxhsucqfKo4cLA5PmxVc44Np1QAVk/E7+BluwROA
 
m8ljzSgwHTkD8FFfr1sn3s/PWtAPK8wnnlTo26uWsGT0BDCzPUSG0er0PQo5
 
GrI9auxLxRsioIhimJgfSOGQnrSlAWbpouc1gvwS/Dle7wLfdi2AuhbfKHrz
 
11drzvZAbgONm3uvSeX+vk+Rm3qXU3/QMK4bePDfADjLhXm1ULfkgrIltkmb
 
3OhoqZqfw8W1WYgeR3mpcmdCt4Fgch2sEgomrrglfjG10+oNX2EIjGLZr6aH
 
3l0iGz2wq/dPBcVQHwsgappG+TgYe/67WR27YE7ZJklKCMraHrgdZ5yZUbQg
 
CZfvNruosTNKqb880d5ImrC7QbhPGxgKssuZkh4SqAupd8jrYu3ZZVjzDrvA
 
E9swNgpwc6rFgragijVcOcCsCXIRFSPI8x9UUTSotjyOBDGA4fbkvSXHr1sk
 
34Ka3zCVORFM2xh5Lv+b5bPppXhew8mDUgb44bRPRrIJdPdfVxLTyDg+R1iG
 
IOcp/uDmTaQmZbd4MNzvT5a9snYY+Y0xAXgeVIEITr9qoJOUaKCAa5+LYO+J
 
MLL2IFuuaE6ZscRh8qsIYh77Qg5Eqq9bAbMhpnhSTsRaur4fnDtW0nnMTRdl
 
0IB2Kang4UY90IzBvMt9IRIFiAv3v3tmR0sw793AdKRhgtog2L/MyTfTF/wT
 
UDROptaDOTLFAyKNn03YRbvbXy2uAEcgFmKXy825bbjSUkfdtS3To8+sEmYH
 
IsP9O4iAyzIOAp6/cJX4nNw1B960QzViiNqO3H64rVIKMcGvTZ2abTZ3hW6X
 
B+VufsBzUzuya3h/0plFe6LxI2vE4TN7j2TsgJXaptFjvnexURt1DWfSv+tT
 
LZqwwDqLaQ52mn8a4MFuaS8huTyDSuIyaKv8/ODvuLsubEGLGkQnMXiESfDY
 
fnIMWOHbZ+Mn8ErQBCCMMGVZkDnUtFGriYlSxi593TUSoGm82+FNjnu56elI
 
eQpUGLR1iUUdWtyB3d77a45rYqfKBeYwq9Y5c9PWxOoKtkKYYrRgKl/QEvdD
 
PPIzIKrZ67HQj0rEsCdQDvHIOjj6qgI+t51pyQ9qgHI5hKRQIoBK6A5A1dT4
 
zKbhXeW91Zolqbyumz04z9/tbRXAhc4FRCKZ9aNuJ7VJFvjwVbpGcCIfWVTI
 
KNInS49Ok3wKW5IxsiZbrQGI8lLDBT1spZWpWO3F8gjk7jOGCM9c/rPTNVZB
 
1gnLXIs2IGIS2aIU7H5TDVlZPgQH08xJSK1qNUpej9xd5N1+uaIW4ib3TJyB
 
jWxKgeXciVXb+isDG1E+Qdf16+uowTIRl1T7RhgSAic7GcXMuo1kl8np+1Pw
 
bFv65T/joDGZzSziO1yA/W7jrEwZXQ/5aM5mJ1KNdRY6yV1OuAc59Tp0woQH
 
6Lx/h7VIWRITa3krE8hp6+415tp42NssF57p2fkAyf5SIBfWfhTuauhLMJk0
 
V/GcSvD0Q3Jq6NiTnE59bFUsyIfE36PGDQBf/Sdzu8bMjMDBtC6rWWoTWoOC
 
CochHPQ6FYcZyxwiXFveMjmCBXntdoGBAO2GpazcPzGn9k7Lo5ZbxrEBxKVv
 
0RZ/Nm65XFY0djyEZSVv2LT1uDKkUNJHmKeCj1Z0hkFmQKxl1ihovZoFI2OS
 
GUULeJ+LWwd9KsxkUmW549qWhW2s4m83Dvq8/qm1Xwojwei0a+aRdAHgWNNC
 
1ZbgbCh0k8KZq7youPXWa71qCx0nTHUzDDRdTxgwIHFqyASSS6wxtx2Cd5jN
 
63uMyNTopIDMuqbivf2SUf4qa6MZk6x6Hk0fLF2P5mhK0tQxMgCCNldhnCf/
 
phBkNN7z/Vceufv5GtVXqB4F/MHIT06RtvgnDkl8POuBzjKLhsIEOOy5w/A8
 
V9IE/JTVqWBF021SFEcVE4IXXhQGjC0WLBsEQb1a9X/kUD4zs7QTvK9Fon9v
 
Ci9Au9XWwyo5QNnGg2SO0w/BYosUb1nRAwNp+Q/FD4dQuN4gAtTHp17HTnR7
 
P3Z1hQaFy2Sc9iyW3F+lrppb9HdlqVt3nzCtSE4UHmRUa51YuLzScquHgCvk
 
VzMyLYaVxTsygLNrSambddBgVuy8CAcE2S8G2ycJ/XCZ+sbA4KVaqew1v0X7
 
fzcOellVSK15N1FXY0QsiXQRf0oc5rRtBuuJDuMPkrdwt8T86CKQ+0MHjyyG
 
QM7fTyEdLO9jkm/cThDswPmCL9ZdXo7aZKdZsq84lJYjMo2s2Y+f1KF2MOsC
 
7cCoplcgqGTGimQAXnGV88qF3LSdzKY3f3rxebKHvHCXIRXtv9wYMC+zsmzS
 
k14lvR74MhUTQgsX6djeesN65DpHlyCDzcdjsfZy7p8l1dNKfMXTOaq1M3u6
 
okeBJURiFJIRYX8EToD5ZAK9xKDxAU5ERYCl6sYit0CpyY8/xswgFHNT80gD
 
g9Ep3A6q7RwqtyFDLXT0uReD95yZMb0736XbLh5a2Nt2nQXHWrC9R1ZmTf2k
 
cG0X6fqA7Ipgf3GU4BuXTOoeiJVEvcA4ww0F50cOh7V+thHf8HmAxPr7dEOa
 
qtQHyKL8SOPw2RF1rSOHzXf++JaMJpKzEG0ut2T9R3stDzznGHIq1QH1vdR+
 
pGFdZOR55+I/ZHY1hKaCLEPmXJuBs43BZSG9vj4bpk+iXuzM7R+QYJfwlU4V
 
rPKvL7PPJPBNgHn8P677GlxcOZ75jLunWU8Q0CqmOQWFvgeshmNWdyro9u91
 
BxXuU3/i88cU6J8Rk8NerAFNjixt1rhmh026IHYAaoa4AoRRVKvC/jBklLbw
 
6veaLwNvM5SXzWt2/hT/gcIAbbDXt488x5Mmoup8il4LUHcU/mC5jRAl6Rtt
 
CeC4iuQS0HMDv/LDyMs4CuRpPP8loHmcZdcVJIk3jXDDT6VjpAJahVd5Tl9Q
 
mUqAF2F6RtTim9BXdFs6AbXXtuqpKlvNKiXG0l3pJAAnUiFnXixtwYCjbFau
 
UZI+sSFOGAPN4an1bZo7jHsp7BLmGzJvJhlT3991k6XXQMM9jAgzrs+1mR57
 
Velf7nD4QXiYNlM8wBxRsQ8p0SfFcEpuMZ4NtEZZ0Rb6n3+0HTTl0SeB0Okb
 
5XYZjkqLZ81rIVbw6vimPMohCPgbg8WhMI3rH5ePqqioakaiGNgO8a5Exda2
 
BCkNCjZ798T6CJZUv0sFBmmWmXFE8fx2qM/vDEr9BuV6pwNS1Mzgk4OfLi/3
 
Puc/S02gi/Eo/9OYb3B26yWeTFCUn7Vr969cQvHDVNP4wNTnABpoqeGlcKSh
 
b7AiHKlJ0LFTjOZMP1w0zkFcQ9+cUZBTUjE2UvOexZJ+ZC6GBlmDJ6dKXRIK
 
G/HWfvbnyJRE/q1AIooxE9qSDLbhMhu25uZ/MZMB3+CQ1hMMb2syoJdgLZFy
 
eFlTIRUQfEO58I1CRiPZJuO+HiTafZKk5SRBUR9nr+IEpkBd45bbMYstKvEz
 
VNd+ASXzZUtOH1SfIxNj/u1MSgzN/5GbMnOhibxv4LazF5TIYudgbSp5/eIX
 
fL8JID31knrONlKgEEVqdwNwOo1mP2ymFIOc2hm2DzwLX1Dy9iCnQeBvWNHx
 
D+3GQcoc4H8iS82yGctu2GT+TteE2W3FW1UxlL+7HWtcAs7kIuTO/0ESiw5c
 
ryv1rEUH/QpmO9v+aApCGpzl8HkANq7eX8qiBki8VSG57k5apWOfi9okxGwr
 
PVILUluEVe/4p5+gG0XxPalxErTMORY23arWaRZk5+XkDsXSlqEEy5cW2xkD
 
GcDnRv9rC3dGVV4CIA26cVq0/SptoUMASLBD/pcWYHjpsXoY5l3asceh82Eh
 
dzDE8ZL5SiZQWi6LLoOk9IliXQcX0GNbGCUH/v5A/xHdrvXL8D38qe0rahie
 
+x9MnUZaXxRQhjS+cw9zLYpDzD4qe63uqbwTBO8isAfqxyoyVkuewWOUNQUd
 
Xq41SEIWmRH7fBgwfQGZZyGMGeUigc1Taq3xYlNUFfKlVlr+bPd11JVw3+F2
 
ffHgiOfgxJEQE3q9s45DvBjHmqpryJC1cw/b7Z+xDDbNLybJN3+p8ao6vjJJ
 
cIEI0Llx7LnWwZZqEeG9QriHzbYD8NEPvcvM3ZSOZIkIkcjjx/Iww59i50+T
 
UomSAfMQWaWehvvKi0oULGcZKFPn8jnASl0JqTLEinte+Omo00fg+kRkijYF
 
96TUyJoJ+Tuo+83ELG8grJIuHG/xtXoBwkdk+8XWBOfaRHIUjMbSi281j+ix
 
vBsU0Dc1M2xGolq/hrYot1ciQo2r6uZe1BHS5Qk62ifkQCvgbyWeyTiccSbE
 
q5jkEL4CCfW3QLNPvaFYa7ktGMMjMbZxynYunq9eTz1bUEZkGAXlTp3PkYVG
 
NBPA0DjKK1swPjkldepn6YtmVB3d+epnG/PP7+CwSD5+XwwnCRdJ1h+PtIVM
 
h1vFeuMrPHMMG2hbBJcBX9jGhlrerqA5E04HQatxkQlql1nDk8GojLw5Tu60
 
KQXNoBSSUHs5eBHY1NFVslidvVXYHJ2whXP1lLkmfqaoA2yJwG6SNvB309gV
 
KAUOocDOytNB+/0BqTJLv8uOcn032nUOmZD3k3YmRW553O8fNXUXKtGV9JDP
 
Y9wgurRLSssuE0leV2iVGLh8I6qLn74lX/2xlYJ2fwOsjEASNiqHm6Dl1IeI
 
hoOldrphSMkQV0HWgJy1y1VS4Gdb7sDSwlMMoH5uuOcNJ5zyWvoO+C+25EfT
 
T3M9CLXtIBfyk/WPXSeFMlYWkpc0zKOXSPVCOx/+Rvsqcp09h2ADtDWkj76t
 
7i2nGuKDj3QDYgc1dlsAn4MTG2LAqBGgt6BwO6y/RppxW26IDJeZfZab/uOv
 
+F105n2VW/dPzaFvhXTyKYfOByuRabhFCjaaR8Sbi/bqnBJr2sqL2s6JXs4x
 
9MRB+mPrYagPZuxG/q3JAsho25nLI9V7xF2unRiFPCjlNPrXTd0/EEgq/zPs
 
v2sbCzof5Oyh4ig7PU804D0sBpLFCWBf9Jf6WV+reKkIhelk2K5XO4qb1agj
 
VcXiGuzqO5pPYSNkPEGZ7Wz4vRmWc0mnMoc1r2PudfcktusKV9IQ79O9Pdcp
 
jsHj/4A/qnSYCUoZeUs9++qcjf7/Z19PLpeGn045yeP0CuXYHfVAqvXMpSpg
 
bV2mkyVYe2Qh6UOnCr8e5MtoOAkP11Rrmqs21ldNy400yS1vyfa4EXc/ghz+
 
fngM8ij91fWTo3IqzG0h3xJs1oAnHQUxiOkkUdAXV6cj7DBZgQLcZ1HA9N90
 
7ttLyOT4pccViG0CtntZDZxdgjDf63A9dLM1w1nJ8PCPCggxBlCwE3bAkGtp
 
mYoJg5pSTY6IFOAnZvsNQvdza9C5ibli49QkbnhL307Z2nhWhlkGaLUlbcuQ
 
wwgw9VJR8w/c6T7uEBDPUgCN3quhzgh2vdqec7Sp+rh3HRV5WhmPWrOBzD8f
 
87J3MhetotSqewWVNAAB+FM9RVqZdl/Fygp7y/wUupuJ32rMraFIECG4VXvJ
 
hA4PLIG3pMfkU0yN02uXKDxu6mNaDqh6z747TNNDLo7BI+AxClmAomXhZFT+
 
OXPKuRVqSvREMck29Iws2KcEr4s/ZZpShiuhvgDhypvJN1dbYCVKn3jlDlLI
 
CZc1HVW4opAdm2s/xC/bMOh5gcqfWrYX1qPdT1cYk4kofuSTgRaZqU5JGcKH
 
LFQICnNQdPZBWGc6m3lUldYMTAn5d5dnV/CRIan/ILNCwuPGXZwl+YInOXQS
 
V8ulesr4cLWg3iMdoHTVPsLBzy+OfENDVqgLTtEbwX6O/AEJ1FtzpBnxsRXs
 
v5fjZABLaEY4neOZu7DKXMK3/2LKHuan6/ZJWsJ6uQuHb3hJdh84jUPjEY6o
 
9vDl6vLSiXAf6PVld2pZiygbEH4/5Oxicr7x+oP1exv93ZvwIaILOir20haW
 
utqH/B6FcvTySdrdJrsHn362FRZeREeOBLNw0PSsFlKtsyTsRbgs2B8T+ZFt
 
IrFB6ooXc6UrWtSokxlrvOMRStNPhdFYBOO2sV8GRZUV0hDSXliCEHNZ+AJh
 
krqKJEd2rjBUMz4HmQXnt0k2WykHbRKhkz1vKHD4M+Tu8FNIMPuEUf3JneHU
 
DSnil0Kg09xmXTxOQUehSp0dA+eS9N+gD8vCPBLjYkk55DE0BZecm7n05UYy
 
Fv2mQSoSODQwdn8zvT2Rx/zWcNP78s4MpJD1CaUah4V3E+o/0g3syTIOvf07
 
pMHyR7JA2Q8BXHxK3eavQXD3uyn6BfsU0J1djgLsFVWrEQvYbpRxT4/MnTrG
 
kid32fT+WdGhbCFZo+c+tHeROFf3y8xc2kcX9JxTWVpRRx1OlRuGKLtYBovO
 
kSe5KejDwQHgefECwoYfzmlBhV12sdsNH4GqJb8UGu2wZ88T48OopeYAagUV
 
KWxD/E8dyg6HKjaOJXovVgQ7vWlNGJ62FQ/WOiWVEF5BGc0ycVnIzWaEMD6d
 
pm1/uXz4E4fNHOcJ0g8Fx3JUhYGFZ53pUNUCIZK1cj/WrJVayw+toB7i0NLO
 
xYPbbLBAUQVOZidzEg0GuhSKrdGlgK3Jvblhhplf2srixUxwE2D2FYehyHo6
 
0OdTNLEK7NPJXzmzwyf9tTbsgI6yy5L+6JXF5LmYgTqxhK7yPrL/D9zzjWyc
 
QPCnoB6XDwDdetXEtVpQn5gHFfKNjz717JuUXYD4AbVzzGteVtcgVsF8wiIr
 
GGHF5xqHnYHhfs42Fj4pYyHCM2am5QHjOh2whr+kITK3VqLUFmIc9oWzUWdH
 
HCCTs7YHTBKCDqMg3surYXSGjBLPIGOEd4ZI1LnXPFgiFowpRtejO1eXRA9m
 
1k/iVbFrKLLQXY/AfSECqUVEwHCug109DzxEeiZql3TkiQjJAVdcy2UuYdlM
 
aZxICp0CPK6VuV2C0bAdUn3/JIAClEQDtX9EVdnvTsFmlbTiQPuiIIzVVozc
 
QIzfNsWhxxUSnkR7WP/kj3GWDuze9kjwDZMmO/xuD0FflrBUpbDhZrjom/i4
 
3OS2D+/k+UK6FKIqHwzofTtzceVoGmgR5HdMtB02Iie1gTcuwrUZjCgFRjwx
 
Nt+r+Q+cRrmgBjJ8gXKSsyEg+PM9xHVHgxE6QQoaEjqgE2THk5ecEtLJYd7e
 
lmBASHB+lxwof5bDXD7mRK/wNxV8Kqb4t4HvhVjXVxKf+2aKCtpV+aOBw2o5
 
aoN82l14QpGIQPQcHroZn3gSq2Z8NO8n9CRgXBgBPk44K9uRDaGhdA3f0Lfr
 
y/AFXIHal+DrtLqal0AdDvsob1ii08A/UJGozCwN9rAMdm9gxqyEr209yTeo
 
LyT5gSFjcfdnlixj6CdPqb8m/9BcxWtJecIXIo4U+kjNl29rfF/8ON7FD5xw
 
CG1BWpApTifSHp9aqRgYIHmsAtFkslP87GSbHpAmWnQ9jO+mX/ul0ZYKBu4/
 
XJtqHAIAvK/3EmEc/gldE1WhWNNCkQyQbt+LuE0JEawTzDNhbIQTmbWST3uH
 
F1f1zSnTB4vXYms8zMG9Mc3W7z/QC2pnTZe7uIAeJB6RumWIBk5phre8fhIM
 
iHKk7TuJu5MP569zAr5dVKWk08xJxBso6EKpiRmcM668NC8VTzgPlk50aYmm
 
wo+icyBw+BxmHLqscJowshWcBmHypS4CsWCFLwks/gyGflobr4E163+jY+YA
 
U4Kb+/o/nL6Ep4WWTJbvzmxA0e8D7MHgvNBfhbqA8Ey44GBZkEhIW/twrzp8
 
YN6RysW62nJrvxE3XoeY81GtF6MhgHUdPj/rw1PV51IRyX+WskzrEl4EI3RH
 
Oe/Rhe9smxY2bT9fI1j3jFUUaQghJS+iL4gcjG0WJ166pCD70ptcLVGbxsUD
 
v4EpkjPMrZws+xaAfuhhQS082NpEBP+JQ9R15EDtH+zl4CjX1SCCe8hrkLLT
 
/Fe6KAqzpgGgH1dvmCsrLl1K7pUjkx3Ev29JFODty9mPLB517aRWcYPV5bqo
 
xhkZfhYWidnA7RPctcw3U6rZib1YmPkAjT8lF4+wjTFhWNiaDk94ujiFCxlK
 
qbWwXXU/1oTOor0vLtKz7zOpwmbVHhWYmGvvxqcnOwMfQM2yvAR0xaLJvJxJ
 
doi6aC0EqcYvb8voXtHBxZktDpaiwXMp+kPS3q3If1kK5OiyJxdyT8utB3kn
 
g6xjl4iewUvwYF8hgvHMJjXtN0EZmU+ZZD3zCYUvMQcPokCYGZmV7myCsEqy
 
awZ3d68mLry1Q1D8ApsQW/3VMaLT5iaauhZGztsayKZEH6yYYlGKZNSlhCE0
 
GQPhrc4RSFEsU703ruFkCy78XX/nKsP/uXXjnSBabLu9sG+Mv0rYrCEsDCUY
 
O0QlvJ6A2ldff0a28HxBfu9dfzoT2ooazkQqAxmEedYBMfN6PQh3NNwn+avR
 
+BXOLLdjiBcvz+KtvDCnrYBFL7eLdedXGq9ui9WKpk4shDRGRgzS/dLgunw5
 
T1PBzjhvb59v3kjvtatxxRlORINHJJQWMKRtTHrWp0rbYI7aTLgCeEAfAISa
 
lLBvtdyVIZWG6PyfTAW5gy1pfh4Drq+dfD7TlSfrZJ2ZHlAT8EemMJ5a69ih
 
MIeD+H38Sl8oUXwu/cSFhYGZm3XDkiNvUoMn52Te0jLbsOeqrTJLaZ1B22sn
 
mqQskhIQsv4ZwB0UjivOApSKkZCEFs+YKFCvWhHSGnzVYp4ZWiDg24n3OSIL
 
ljPwC4YdqJ3MDQq2JSISBd/CYwWEvenQur5UVp+R84Hoh3GgmVrF4wwyMz07
 
dhEZUIXJdTG9Azmj0n8fpPauwzv1W8F4KW2WzQmmGyC69l6TQxPkHFe8T418
 
qRv+93ELF967WbsDQMnOC5TntDgV5455hQRYFu2rvvLLSGfKAnOQ/qztPLlQ
 
aY/CmlxktN+ecvbUjves3RApXOTOwvh13u+qxbGWuUJpqFoouTD2PK+JMdjk
 
gN7qqNXE3pH2ZQWyL4ZdOfI3T64hZY+J90LlCVO0sXiH/6ttmyAdYMUFRUwA
 
YSxkQl1/09ye++bfDNToMY2uQI7Iv6+ZKksujzPsmbcOw9XSmrkiFauaDIeX
 
pl9HUINzzyaD0DRjwh30glmPsROz1Zm7ftoCQRPBBkqkGeIyplegNA13UNAp
 
CSnYZflN+268tV/nzZUwnUlXF6o9CwXT1Q6F45849w0Oe9wLasLeLVDgMBQs
 
2S+iSO++4m9g7cb+iwFLN8SnZHuaeUwMghN7lBu+39JTcztSnoqwg751SQpJ
 
x+3RHkYslsx7i/ufstpc7950cw2kMUBeF6OcwPhCnN0NxkgDvvI3PmguR0ZY
 
VdJVMEOei7UwF6HtJrVSFbFzMmasDzi7eSZmkySGzkG6M+iee26fPo8Cfjcd
 
DStHU3bwQYCsefITPMNxTbS9YcagGYZf6ZCY/nVvRPxzzEkWBMykU2et9YIO
 
4oH8FgglJa/ZckLcdJyuWNlOjc75UClgad4lM4jSVsVycGsjGG/V4RCBxL/f
 
LAqOxfiCAAfIjb514DBNk9Y6rcTv+KObSn70rb5SDfBgBQuzY8jvrcWavrTo
 
dbDuGJRlXd1JmY15zO5SzRMsZxRQezbKHhgiegSrFCoF43Y4q0RCulMcIMWU
 
xEoRs17o77JATaG+49bsH9ZKnjKWiRkRSgRUwH64y/eFGrWXg6+jbzcQheYb
 
selVjakjah+4ktyeEHVJGPdhpErZ/TMgO19pz0cBmyhPbPU15CIWrCPblzeD
 
oJA2xL+d5IB9sCX5ZoXzdiK1nSVipczFFVXsMZxcWPtBRmFPRqJQpzCGerIh
 
4wR6q9J725p3Ss7n27fIyQF5n3z0Z2yhe0iGUus4H3W2DX9OIiTyjYwsKaCx
 
Ga7ifPogtBX2R5omHI20UNJUSFhki7hAIuDXKAm+MJlanapxlYYCYXXPK9Vm
 
herTGofwRHT6jA1TFtruNelMyt04q8EXwfuvXO9UN/h5MRfvayZF5unvfzPM
 
r1BqHM9EgNaVbT1pG8pHgTiAW5rhvd/43SGknMHHZ9c0CGOtb1aOFKAPLW0N
 
n3MC0GoWp7CHPpKSPFPsKUWEL9/FQtD9xvhgUvBeu9dC2+fnKcJozzv1Yhql
 
PexHLNac80caQDQfcahvEL8Z4hRTyC5eYtJD4OTCqpfuu26WSIP7hC6SIVNa
 
gI8+6TisuP/q5AZVG9w5Q/7K7yeNMiZ9B9UwXmeL0zecxEmZahnaFQ3TEYHX
 
fyCFTTPLO0B8yGUsvWLXUx4W7E8LoUDll3lbUGwPv6E7YX3wyu5nUHICyrQv
 
KolmtCnnxGXxySDSmhMAOutRuwzuwcpHGxyU+X4Iwd3ARtD/JRo+2WVy0WD8
 
umNiKb7B/bgxoAwjoyL6P7Ifth7oTq8Bgr/sl2griveYGJbb00Ij9/BERtGd
 
AkZojJ51bXpWysTj1d8xLSWi0K0iHnixiRWDpFYaNjXLNS9DZasCQ3YMExWZ
 
DinaFq+7pVaj9O1ywE8NWYb6faXigTG5g0q8OSGkImRFfa4j1AOKRja4+j9G
 
Zi5zZ/zhhA4+ZeVDVRqkZjerRXjGVs1v4HwoI5XqymnCZZz8WytrAj2V5cdW
 
enVhxcbIJZQFKoVAYYkY3W8oHnGQe4QUL9mCuT3k4DTFGarkFSmN2a6KNwsA
 
xCWenkYo9shmsKTi5+lXKLF4G4i49wqV4YKb5UQSbMN9mb4MvhzGOPv/K30N
 
JhQJTO8sbkEBt4zRkVDKbSVpMx8CjlpHMsXu75dknSocLwQwaXb4y3BhcMLV
 
B0LZem2jqG65j6ciPQPHaOFe9j6ke/O6n7yQK9T3phdakS/bEeKPt7jIEvYs
 
367Cqm2o1/2R1dIUpKbeqp/pjD99BWDo6Sk7zTj010NXfnH9FnA/9btlBwQl
 
S191I+/TUCXZgfRX8p7ZdB+yBeB3rr1ICpCwlDjnUHs/lRZKk5wpmBfLPS0O
 
TuuBuicukHZKNY6X983FU6btUnRex0eE53tn6xVcPJkjWE2ajTybuSFHTE8o
 
bVd8VP7+8n2vI6vnyySJbKUtdxmZUUwIzw+zJr3I/8C8GXXR1sNKRYyr5oc+
 
Pl+lMkrMHrxE+PPxWLpnUM4IEf+QvrWZ0rXgnbHuZYUdzlBT/Oc/o7sgUVqx
 
PpXqMCQL+UWrPSxeM7+7Cu+ZwNaGUv8vcFIM4ayqgfGTY8EWujeqOOkCpsYB
 
DrmWWZh79qX0/DxfXUlZrp/ruCLmgb92olFUb7+/d8nxV1y+3NgLl5a0elyy
 
nUCAepGFIFb1xn0lwj1tpC2Wc+GEI+SmkVvINmXPQa8V1R0WHXUozS08Uoan
 
cFIs6Lq5zCTKoC2nWg+rveYLAhM54KDR4YeoO1cYMG2bKuxFrR3AHkUAGMq2
 
eESpPoq82Q7ihcTaoMQbABTaS0vh+L8aO8i4f8qsMgIP9DFcBLRJkzjsWHf3
 
hbBoZx/w2Wipg4u15ONI1+rqpv3WeFCxLMzx/aTfiRXAmt033fhCjerGgFzg
 
p1SLEsbDK5joT7IV6JhSMoteyOGjYV7MCetjb0BiaH3gFrzz9XduU547jOIQ
 
rAfFD4JiuG4qz4cc9LwnSe1VuAqVEmnBwXn4PNVU9kUUARER7TyFC8r8zMp0
 
ZStYpITqGhPZD2gMsL64f1Hwwh1DrsbJ4DnyZMujytpOcPMXf4UqHG38uQUV
 
GdhXp2+uap9jFA8Z8X3YaJSQqooyYWK22CUfb79IAMFLAZi99OC4sIJ5EtEx
 
BGBFPWWcIlubICKpKEBSbS8nuWHiCm7mbxYLgEPHKI16fVPcHE+AZmDNL6TV
 
dsZvfJpCns3dyUvChQYupn7bf2vnhAqLx/96NO6VFP+ALvpNu6NfdYMQ0ZGK
 
98XLP3HvcsamYjUyeG7SOBUrMTTVP275eApSjfPEhY0Y+xMnr4ccboy5QjF/
 
rAnfambgj42uKQYaQ4j0O4ufW85YZQXyQngqiok0GRSlqy7eSn+4XDo0+e1H
 
/oyr6rTN7D/ISofpgB+PwD8S3HlNCCQO+JfvBGGrMart2FgWweLX2bvZ0CMa
 
Dfj2KmQ8ZJ/LbZdPtJLfiuPqRl6hf2wBv50sSpAVncPeFIKW2zyWIW54fgE3
 
UxrphnJiQxImTcbr9FaV0MXNLv2nr/+Adyapg+OANCT9F+VWxkg=
 
====</pre>
 

Latest revision as of 15:30, 26 January 2017

I’m interested in and working with Haskell since 1999. Currently, I’m a researcher at the Institute of Cybernetics in Tallinn, Estonia. My research interests are Functional Reactive Programming, logic, type theory, category theory, and related things.

If you want to contact me, write an e-mail to g9ks157k@acme.softbase.org.