Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions WebUnifAlgo
Submodule WebUnifAlgo added at a8ce8f
61 changes: 44 additions & 17 deletions publication/xml_type_equiv_illustration.tex
Original file line number Diff line number Diff line change
@@ -1,20 +1,47 @@
-----BEGIN PGP MESSAGE-----
Version: GnuPG v1.4.10 (Darwin)
Version: GnuPG v1.4.10 (GNU/Linux)

hQIMA0MkBWJVnajJARAAt5omFVjrlBLjltpgYrcpUHA6VKpXrRYWL9CP8jKpERDE
mahL5PWA1jJHaVS1OYBOcmZPnhKub62LWEljXsWT5gqq+mpvz58Xbhg4ws4HMdu9
CrWh93BXmhQ4JmtAgHQRypre52zk4mM36295OuvgkZAng02PkAxbWAcy1qdev82q
BOwROkytix5aoRtYjzJ4dm9/3uCbIZUW2kCg9VSR254qEXJydlhHieyCu0dIIliE
PIJbBdT4wJEBgA8y2eldUIgjHM8SMdbyqQjXLkntqkjTj39Slbuv3lvPSbuIq57D
ZEFbCs8Lz9qVdMBKHVqsC/uQ76HhRYRp1GVF0c2MwUeZUzSdkZ/pc8xssF5JoP3E
4XFytITyr9mdLI6pxJLqpocihcmzDQBjQGZyOA4PmNpJO/NT0NSusqRZ6HnMVoNm
u0YQEyRxPBPl7GF3aggUFuNPxPJDZHaKV+W7+PIXs0tlCYx3bgt7p0pdc13BkWp7
1mF7AWlrcQm0FcMFatLfLhQWlFfAE/U4cMrXRYqt+HqQ/DIxwOyipbCZdGf9xkJK
nf0srgibnt4fxHExsvQX09EwLO8BydpnCvqCHAI1l+ICS4pb9EJcaDBhDVjkxySR
rNOSl4UbN/TgKe8q0Mx4l8Gbf+WRFgxT0NKAKUFtzrRWFAStrSkR5yVq+RP+39zS
pQGz5+SoCQdGNNwoL3dux8Ia2zOk/nQx9k3f2KmEMhmtgVKwNiM3+I0y7XcvasUI
3Pqex6DkBWG3TbwguxxDmWAhdZ6BnZlCd+PCEncUfNT4B8RsCfXRCAkt4c+AUoJK
sXAoEBQVDWhX8f6jx/dWXzFEFJBmEHuxbxwfgs7rxELmY4GaUmJ+4GLQ0odL++vL
Uba1v6E0y9wkMMJStloGHIwWxPOXBQ==
=VJK4
hQIMA0MkBWJVnajJARAAsOx/ezXgzOZX/4hDQGnvhzVgj5c7QnUMxJiK0y7cZrBI
Rkm6Q79h8UtHalAHWFKMCM/BnxCl+kUcw3CaesVTSN5gYrEo3nOgFq7jWtKDeHh9
/dzE7SNyiSrZSAfEb9tlhRBDBkP0nsFI2sg6hA03Ob0pOIROJVxgGSI7hDd2yxtL
m8ERQGR6Qa4IdGd/80rQnBeWIBkQYGlc49xYoxqdi31xee0zZypDrTZJ7DPOibhb
C5cuq4mLPFPnmjg0wkuwTugsE9l3h9goc5z5R7ZvjLcBtWeRgqpVAXeuEtKld7/n
vt/HtegNlRXqcyI/+s8tru9UhGhvMcws4dRLOt+3ANNXLSkU0qLBRchdvYzyL+NH
6PWAthQfaE03fQQUc3QmOSZIcPwZYWflJDmc9Xf4IBz8DkyqO75yNZBEwCYu9fa2
MMSsbj4EVAY8Z934k7DxS3wa0c6WZlTVoB6cm2TQZ/ZmgjhcQ5sZhfgQGM3Lq2up
NH26anpnMa3J/xIk46oHOnGTuANRz7uxhxkpJeNFvgnVOhMqsH6q5/IljbZpr7ge
Jy5fTMvBUPPF4akucYT7xSZkoQKmvcKxnN2RI725C5gBEckfYV/omLFQGs56CYHR
JFuhGVsYzJ1J2ooZqTQqHLupvvXvnHCl1YMnBktxCFIyla3wW+GEFbJ0Th9Ea6XS
6gHXs4VYtCdGGUTHqIXnaYo6PrANn5rqSmtuxcMJzB/AR9FhDHPU+Tp2QN924GAU
AJMouw0/fTbx1Wj9iCwq8JXq7+jreoNnwkMm8kNoVcL3kUlLK4pszqBfzh9Y6s7b
m1b914DKVXaTjp4p3WMjzGRflnJsyDG1I7ZiAoVSwTXSW4uGq+mQn6raCpwktTjR
BcBOfU5qZr2KxFwDIpwgXOtk7E8BsOkhwaWaslMr2uY6PHp+8cVRt4Wy0F06ZLmU
GQAcH7UCmFUkQexEL2wY3iulZWaFbfwx2HbOIBobzfGwqr+IAABncnAWwv2OR02k
ccCdK6vPbtjXdxX8zxaSziL8+i+SWicF9OhOPzFHOG7h9oE9+C3h2Oz/g9nIbgAt
4CXXg2udWeyZZxnhT1nlcX9ISyQgfhHi1ahYTSym19PXc/SQzT5NK3TmVBqHmYcn
xSr7A7rc2v+6G6QdxTyDwfpXL+O5tN9DDKXkuy3CMpsZPrLdstzd9NWqLFFaS9AH
p8UyS5YtPMh+zzGFEyZURQd0NNmqGxGAo73qJHrzXeLGQocHIHG0CIJVNoRHj4Z5
3pv6Na7kkx35qlO6n5bDS82K84Om/jad3sLi3rsyWNMepJlooDJyz266NLDJhxsE
zFXtsIVrNJun/fBhuP7WTHD4Tqk1Z/3IJ/keILPbp1CflbpbFeSGCqyOm+YhX1YO
vAe9TFXtSGI5F5LLUNPRDhf7GPDhyruDO+G0+PfNY0OnQVxxYywL3AXLT2r2go/Y
bZOEoggJz8O9Rvr4X4rBWJyhgH+tJ7pickAxpq7q49Vv5edwPIxaNWu7qdaYV4df
JlBnFKkUBU7sZR4J0DLTADxhyR9H4rw1syRuVuWyLNiCvEh//NMWsjLZ7ROrA2tS
2tU8NWwOzsmbN2FfyyNcd21S2y4TSzzfGhhpnQQdFpWq51adg+vEeUL+XKccX2s8
+jubKiTUnmZnjdwyOZjS60QFvZWusAcllRp6H5gSIN2HK8D2uQxT3QtRwl1ZZks+
NKuQxGPKbo+8n0SJaf7WH8n3nMdovqB2Km5btUzR6YEDHYiyjE11MyLOdGNIqA1D
XZackodC5ICNFgsgwP62HhGBzKEHucAJC3HzdwKRP8EFr5TMVvx/6kdZF0S4lx4A
w07cb8lVNhqdQWgnUsWT+Ecn0YdECcXnM53mZOwN3JN9kv6HX+7wlMSrbpFPzcmZ
wNGe+yNH8ewgUaxEZwkAllu43ksoNGU6Dkf7w9cXqwje0hOU24Y7HRFwjWqD82bQ
h8qri/QpGQW6lVfL5ug9W5e3g0XP/8jeUsXy5b/nMm0NXQ3IgTtKnM59eFH1z3oy
+67k87ZuCANiPEE+dICtFiPBCtSApYiL482FhR/GZrZTxCOyOR4Lhoa0//vWK+IQ
SUtqEuml8RBYyTTPiF5ytx9QvcmKvV+vKJvcUZD3koeBACoj21vtKnZCH1K9InSs
prrK9fjhcAuqJ8jV0lJkoZ3nzLpNAED3byGMhw/UW2/9Sul0KLuNW76ml6fP5s13
zjdFD9tkAgpttrQuig9pHpYryyEO0Nc1sC4RVUihPQ+QnL2GWn3Z03cTFOA5rGi+
AvRiZ4M4AeL281htD1PuVO6t6fOckAiunstmmjfN/pbV873pKWcxrbllPg7kLHoJ
fiLEuard+KmtVQQZVfBO27cr5PXL8gCax/+lo5e3/G8aj7+jb9g2PF0igjefeNUs
0DG0q963l7dsfJMkM7oIZcNXWsKdbJ7ySoIDcSdWpaxiAcQ/jH0oz3TjVLVNsSJr
HvtPMiryu7Vz0tNkmKdgzh+efo4ZVA5rRfgc+CEsBb30lKX6jepp85h0fpnE1hRE
NZo+PF7Hoq5vGQIh06dNUooxkEyxrEbkRmVvboxrd9TV0u/0EHXwUK85zB7J4PA7
aHTn7z6g3YLgBjdfAC5RWZ/L+ATuCCcOVZeyNjmylWa/Pf2ZCcPJTdm6zsKv
=SDhP
-----END PGP MESSAGE-----
78 changes: 39 additions & 39 deletions publication/xml_type_equiv_intro.tex
Original file line number Diff line number Diff line change
@@ -1,42 +1,42 @@
-----BEGIN PGP MESSAGE-----
Version: GnuPG v1.4.10 (Darwin)
Version: GnuPG v1.4.10 (GNU/Linux)

hQIMA0MkBWJVnajJARAAr+ocsd+rWYd9yytIWCN1e54Eh9of3hHiobkCQKOcq9Zb
C5EfPZN56wJ0xdQ/+Q82SBXK+N5o9vnE6CP75H3NZ00GraEvz5k5R/TEHemoThtF
DqL0uYTuGfo8cQuzNTf7hQ9vyyiee39E3b3nojFj3MlJrw0tNcp/D5ZWJjjD4Wzm
QnMiN5Srxi8uUB7QZB4H0I9PrhX1i0540Igs2vPaXVnLk7bcYcQF9fyAE6pef9dx
5H0kJg0/AXiECHjuinKrwXDShKJyWcKPQG2Ic6hZJKnNBWmnspwMDxplFRBgQ6m3
2y654ej7qvvIZf+L1C0RtqOS6OURGvqCzVOsyvbdgYG4z75UFYnvSqxPwW6Y/eqn
i32dwnNsGOCZ63KieNemZ9746bIPS3Xk/loK46q4t52shsT07OG6kU9/gJfOENPC
FBAO2WulgHThGwvxEctNwelk/wiea30Cmye0hD5JKu+XBEbKP5ssSaO4IxgvaXu6
Uh5gzaQDqvCSf9WvYTtPgC9ZyIfA4E3fP8sgyNeOqjt/OD/WBgGrzkiRoluRvhvY
bEtSTbeila7hm1MD+6nmSwryBQLZwH8OBy2hdWzjGfn57R1oI6OYgL7tuuxcOAZ5
Ue85UOWSf0RABn1VCqwprKgbDHdO5LOLHXYfYvNngcPPnMzJkmkDRQcaPyCdrTDS
6gGbA8AKpXB2EisL1sRX4QvFB4IqlF+xLra9BZPAi/qZUPVHbrStG62hBB3YqH1i
n/RqApAGGUmV+bG9UXYi8kFLUNiGfWeB/LnMQ7Jog1dNiGdIvS1sK4GkwFg6Zff1
BPrd3r2CLUoRFiJX8Xq+rIbkpk+0pSKbGCuZGA/70cnDJHCbv/3dwmBO3VkdQ/k6
TAXYf+1RIdPP1ryURCKJIvUaXPCkABP6+OfcoPJ1NwfKl2nif0kBgDLb2BxWsHpL
9PZK3z9N6kHu0+bluuxbT3/rRWU7RUYAn1hYBxsiDUQ66p6sXdgoDZv/FwAb5WgY
MPRgM5Z7mboY4llgiUJRPFnGbpVGfyMoU+jq3SAt9wnUHeOsnARPSPuMKc4VLrmE
eMzy6nOm/mCzh8UvRNmuShFyBE5AjTgG68fUsGM77gL7/t2jhxxCo5EOy2BZnplO
zt6D7RVxNCS64h3WzBmDF0qgh7/3f03bX8YjM+jIkqGrvCflm9H/Hpt8dMZBXzUw
TtJ5Ii2CJRpftGXBJGxx2SyKYn8G16Ek4dKquF+xNgSMvw/SbFoQridONc2bYTAJ
emG4qFOvhMN8SQ1lREWl22B7Z2+s05epMGzoQ5oSy7JhCrA//KuhNPtHEC+8J/6F
APCMG0VlHiyvpisDUxm7Cl0H9Mo93DKF6hXi9xivX6SN5/x3rO5MXtPHP4zlw81T
bv0ZE+VSbqgno3U3wCvn9sy85OG1ybw2FGSQ7On7ELMLwqQv6sbrpYMbwvt6qO2G
Uqh6IniJ19qfgaa1sl9RrVC09K7f0lamZju9CPOZiL81qN3NdugkbD6xHxqEbT6C
vhmhLjICwc2tSaR8JlowNeO1/Cl2RFq+EczZz2i/5/wtzhCdzL0+15TVYxDLg5N1
roaOg206BYvUsF/v8mofEvOHgKC2lDaZxh4/xMZR/VEugB1ZqFKWxqAPfmvqWeIc
vKrDMesHewrTheKJmCSY6ysM2QpBvbUEigq10is4nUeJ5FQd63I29PkjdzZ8mygm
V9StEOfxQTFYNXF4eR3zj+I1Ts+ZibSYhLpnNFkDzGe0EtcUM1OqRqZfW2JWYIMJ
kpkFbOHqh+xbjqqpDareCrBZ2rJwBGm3s3d/Vj11z/SRBbdFch2Ii5q4a1XKNUiU
i7Op9QzYBV43hxU2y8vp/g0O9iFBhanhuCEhJUsE4aYvWsHrKgOJe0LX79WQQ2f3
PB37UVehlXIilHir73wA/AE4/RQKjfQgugy7NzRXqLGo438WOhM4Eh9xs/Dgygj8
BvyGTTf4K6uklWpBRfTjjHa63kmwMwabq6P8gfcLP63D4ILIcttq82cxD65qkWtg
1xwMyFNP9powvNHgNQRq3pvAHHjY/SprOpQbFH4IFDRfk6Mc6E1ADQxdR2NwPHHB
nVh0a0ju6zvUurd3mZu2g+HZirPWKivBgEaNPjWtETwetFi+z5MWXbd/JY96x6zR
f2hkxs2sXRu5vtkxu/iSRu5zFrL6fR9OiGWeyIXgkXeyMUTD+TKOT2M7eWFXxUod
vJejbf682fpJrvLeng1ykUBO6VO9ipn7+OuuTlxR2WQifARj0V6AEIXBQlt/pBYR
kAQYe6Dusuk68hW5p5BAdiGIS5bla3HM/cazirQdXm8g3Bnv9nYhSUmPtHv9VZk=
=wxH7
hQIMA0MkBWJVnajJAQ//aFEeCnqDp5xzYEDUZ64CmmIZXxbq3Tr78qO5EozeHf9o
T0t62BnNN5KopLF97bOPNqo6zxicwR3XnhAYXFVInGvL9EyYOn5pME79OcfqubTI
qy6Oj636zq8LqSob1Gp1e/GnSm78nz6l96sI5FT8ve/I9cRNBcsJQO0/4LljM9xo
OCcb+t2K34gLXV/sDpbnubOp+ecJcC3f8lhaNYPSR5yMNZUxZYGUbjxd5Vkvlz+8
qPi8XPe6S5okgkBQydMu6GSrqrXJWcyAlTkagYWRhzRTN/6d4MIs3vXP5e504kjK
zV0Fhe7Bou5PMjmBzcLh9r/4+hdFxNMBSb9g6gbmWYjDye+uopqDtbRazs/U86TU
rHtMcFQknT1PVLGgAo7DHjAq5b9IcV9xmBq4wx6JdlzUlm73Uztre+LiLOKkN84V
DNHDfQ28FSoff/Dso82yIS3Z4PjKMaH/T+Ej4rd5FAAKtVgBFaX2wpdIKiTrIxDg
2iiVXlbMwfJDUJu7VNJCnBrgKiteBRJUVtKtUTD/u/xqNTfpXWS8G03De3QOjZK9
G4j0VBtPjbaZRlStflcK1slECYFJvvkr97Hch7jkk2K2kOnPd0m/PtjG9G/nJl1G
OvXK4ka/KQ5g8eN7n2tlf8J4067uwKcRuWf/7oHal+RatVvCNR5nUIgqNZYzBknS
6gE5g0+HoixKMJQ1C0///9VEGdFfanozhenzxXAr7ouNG9u9GjEapvpvLijkgqFw
74/acGJllCJRUIHg3iUted/TGQrA+mTr+g0RmDsYoADVWBDhmT7CbF8lSFHG7KYb
NmgpX1PtsHVGnO480NJoR0uYjDwHuaD6u7/phV5raeoG7Dhc8qXVP/FXVrDXcjwQ
6rAi1WK9mKmmbQQO8PuxmL8cn13QBRhTpQNK2/ThLogFIFriLjVRP9WD8UfjFMue
HsaP8ghLMrPZku5Ca6jePbkqOKrtn7zotrmg4bhiiZcsBYGIfNBEvVw7lg8lqh6I
JRgrUOyLBiQf9bngTICtFtkLBMSCy1KECWvk2rw0UC6opBx9kuiFjOG40UDFopeJ
9xxG9+VxN58y8ja/ukIEvnzKfxpfpuOcL5rfK9MDVealjpN6AHqHhe73A+UCb8Tc
9lKdm2jkYnHEOeIy1BC1MNoaTA3MJXz0d0+9spCz0ff1ydE8TBTjE+QozM7HGw4A
MsE0ZptUN+hc6h6lrdcNBBpTTJ9bSkwYvq6WOnTDw+BTKg9Kd9hodsAxN5o5Zs1v
ehrV3hbxq/YDgA8ZiD5zS5XysmsrJXzWH7OPIIJjf5TdG0lrtcUS3xVFuxeZatk9
6AaC+qjh3oo9XTaY6zkM83oN8eCrYBhzvaQYoNNmlKOxvbUevhYiQizqh7mNG+yw
/jjO6oR9DNnojh/EtRhtgijC11aiMQtFyqMyo56CmiT0o2wgpE8spBWDKyy1pxqR
Fp9DTgAK3b0owKyTLhfPvt7NV9Bd0izAeipmu6dGDUoU1weqWMSFyDkRF5Nz1yrS
KjJO0O1+tQCiWdTqmF6B2zt757g815uPJAdwQPNZT9ilwTqkQ41YVVIUj/Ila1ql
79WMwiD1N67WX77Sc1H+/xE94rCIjhOPHXlgCI/a5R5iEkE87E90Gvq9wJl7fkbq
aAw/Xt89mn7A/ahWrxkOqN8GW21gfoxmiu46lAhmaL9rzHzawdlUDoHpCes5PlNL
rD3wlHBU4HsP5IlIrAvvpIHrzRaVQbWgrKETF/go+/6/a0J8/S8NxP8EUlIWTWG5
B381jhGUiAHErjnLSWS/8oDp/Z0XwYVKKW9svYmqh4TVB1yoxZ9xP27a/bvsnBb5
o2kGBJfz1J6tDT5W9It5x9Jonv5WnsZxMHgW/g2PioY0C2wxn3B7p/op9KzIYsU/
fNWE6dRZ4qhyPio+YHO3IBAf8qM7cDHDh4igOt9gsQgAlKdGHgbJcskI6h+scb5D
li1nA0d4QDJgk6frJrIOxUKDu4i/Kc0PmTqmG3fpJ1vDW95/hKaGksRklQEe7Wps
CM4xKwEAl04O4Kzev5cwKgfAGYToBibL5numsek8S5zINfOEaTJ5Bm19FKUSxY0i
0wyDEal4Lr5t7/zY0EXUuvEcUCun4lkm+zkh9rzyNttiQENd2XoegyTAqJFalHuh
uOX+1QLzNSo/Hk5kEJL7NVBMuDQGmQYD60wBOLPb09vHqbaxuxlXj0TcXeMHkhaj
S5Ypb/hhzxhcuBBGiSLUbbe6BilhjzhAn8SiKG+rz8jW5Go3+OJTk2/kOoo32UUm
6smblyFRcFdFnL9txrwudZskZTg2dtVsQ+UggKicXpccNVy6g6ctZYB8dw0=
=TJu8
-----END PGP MESSAGE-----
122 changes: 61 additions & 61 deletions publication/xml_type_equiv_rel_work.tex
Original file line number Diff line number Diff line change
@@ -1,64 +1,64 @@
-----BEGIN PGP MESSAGE-----
Version: GnuPG v1.4.10 (Darwin)
Version: GnuPG v1.4.10 (GNU/Linux)

hQIMA0MkBWJVnajJAQ/8CMODYagg6nFuh7hq0eD6oYCvbdiuzl2LpdkN104eu/nc
mCOOFyIFacYJnti2sveQ63zWzi6IerakpX0jqwTfXEHt5njKJoF3wULTIZHpWnso
ImrZGLHm0hKjUd6ny6IXd1BJNsp3MKLZxy1EMak5212rskaA1Oi80o5YkIVl+CQQ
eRValP7TXp3L1AtjDasnQMfhpngj1CIRQw4crqDgy575PvQ8Yfk28q25JCV32FIB
Jd7FblLIDeEoGk1mGrfzlUyiMLGr3iA9KkN3v8Yb1cKGA8n+rSecbtqcGcBRT34Z
zcKYt4pAsCYKnb/aPcs9emM5yYPID7tKh8aKj0SiHlSJsMRFxyHUhTushcXFHCrA
JfDr/cSn/SG+q3mK/M2pJaXY1q9HtgOHzxu2v4OuNn6g7yROVuEnPih/enFvdRds
azCItNP9398QXDhsxbl9U0P0ahtn1IOd1n2+unLkSwze7eTTUT9klFvJU6Q721cu
U7PqUyrj7MnLppqp6qLqV1Qnqgj2iWQXG6rKM6EtrVTJHT4C5qCucd48ziOsJZQD
bMHMrisC0YMnBelr7yMAKeIgWQOjideIueMLb93rg+rbDEFi0bzv1e43KpxpP67R
+H+axF0ez2pr+DJU1GiXeiAFNO8BNm7AL61Ejf2IM2hXsOyVjBnreWYZXL4D2yfS
6wGtmklwbiz25xGnNW2cwykOIRi6oNoxX1Utm4Vjdh5pjfZ3tAYYGJPzj3End1PB
C8qEWtiNco+MIEusZ/APHkqgfhkj7SGmolOHNPsr4u4M36+0/HVRbkrHb1Y9TtNf
vsV4YIf1CoyfW9RhRijkrM1Vddf2HIGPIPPPgf0cpNBS5TsG4ElkMRcgXT8JhFyi
QcKOZZwASjV9vO8N4ruNsVMs00OxC9XvItzEt3Nl5XzTnTLeVvxGqDBSkIjL03o4
87HK+pZDk7tOWBWVfCpSr+AeN/lv+5GSiyGM6e+KGBN5h44Tv91xYIaGqm8Ak5a4
TaVryDFxJVcGAQ4w0aQ35ssmvMqRJeJDbfy6hnfD7AT1lsGNXzbQePOHkbsNUtj5
LcX3jiw/K8P70rkyNgGU6ZY9L+n7KQaMta4B47rjv6w7GOBP2xFx1dGfJ4PjoUiY
nsSoumYK/Dlqpa2LR/hjBrADaozuYGiRLUM/mDC5COH5sSFC8GEYpRWMBcvP3Ki9
LGlj26oRNe4L29jVeBjyai4YYWHZhnCMJ8a4yM1ml1kjGDNkLSJUAK1jel7gLOlI
PQD06s0AkoFP3DGM78NfdzsGsLnNYnJ9NR+OCRCTvQQ3rMgYYDlYEh1lUJXFGSTA
W1ZYjy+sWPlNexLdYcUxOMuCsvqOQw8nrN3tmtBDvrOY1QEQQGrAyvd+O2y2cuFP
vOIf9dhPQLSUdDWzZcvh2+sqHiJSViSzLERoHPTdgVLxd2zH/DEH7CPEezGnIj5X
dVcK8zv9wOVtNyuHCX3RQA9E0b2Cz7cdnLI9TkYhMK8611LWYgkaJMe44baI2eIb
Am2MbN3jEbuP4VQPcZSlCNa9c1NlZELit6fWHc83lD7ClKTYGRzvPQtnf1mUG1Vj
9TMeJklZC5iUs/Mepwsqlvm1xmk8HR5jU+PBA3G9R6/E7p3oo/fBC/dBbkcoGwwW
e+g/3tL4vLINfL4sLDoLi0lHcdm2JD+ZrgUuhFdE4jD4Uxw9LPgM/pFQ+znsz0i3
g9/hNMp1P4bqMmidwJkIcr3xg5iAO2khJ8adOR17dxQ1GOCFBLambFs0nkwPXLAQ
ioT+Dh7G2DI9GK4peBareQG6FsXh+xa1uRwYxql7pHBoWjPhoEg8OvFcFOBaSSzy
JrjnOrPxN4eifJyjpu9U47ZCVBgM8FtVq+ntnHBSKJTJjYCKeMgKBfGDG/OYSL99
McGwojxzxU6ZFbLvjFkWdJJiGYXKPpOH0zBREjVs5K0qKWa+ut2JdDCHgC9q/PMi
TKWfCvR7nRQk39E8Fa6iLdVtJhby3ywQUUxLLnsqi0F8immyzemMj9O/ietucD1/
5kHtypWZYSnr+kLJBA20RFO+CA6vdC4WSo8A2CrOYaLoogFhfTLkOqkeX2VOQeEF
FVSN5FIdCPEx4flMT+qAmfGhetiCVZdMU6ciZ0Mk2HXdbHJ2vbCa5tITw82J6yau
D1tm5lAuyFnpTjMkL/zo2LJ6EiUPRxSDqq91pZcV/ubiHODgVUSiVmyGoeIPTqC8
3sCEUsM6fwYKIkGEE0/P1+qlXmW8N5HB6jut7jJz9ttUnxcrm0xrPKTSbgEZxQrp
OzrDResfYh0gjcFG6F3UIalvJMbxRL66aFQ8UoxoQVmJ8AlNJl1486AUpVMIq+K0
wICGLXEr37Ihr5NOeV2E7qQlW8oy+ytDiYG4iZkKO2x2fTCls/bpOlRuedQmJ/l7
FIcFa9dqBaeeiBsAUkAimVJFn5gU0wUpKvrIfvdXUl6mGyGbc5JMfpxxnitpBiOz
3s+/5vx7ZtpgbXsq7RXcEpE+esvBiq7dvNovK8Wc7TG2ZTXgNg15+FLdW1o8hQCj
muqEYbh5jSVRFp2LB04T27SBOcOzrjU8W/SJL7xZ5tXMB/6Rb4SqIgM0leS84iI6
Rn19KyiDkE4AUCtis2RmMU3emVt5cAhAD7sgGZ2AxISTFbA6xhYedEGB39C0LG9p
/zwM6DuM0FB6Ww73xyB10/A9+/6McktffsoXjOph3yuvtnhUpJ9qzEtONXf3GvYJ
exNp027qu7JIPqe2wP3zBBlcuWrzHjioMISdOLlIsNOk1gb1r0s9O1oR4HwQCot6
QGA/7qpOZVbaybSp5iJVAilWSztIOtD+LDQSx3xNA9Pqw2tzJG6UMMGC25KmAqmI
BCS/U+MjIGavvakCOcNjjEV4AhRX7FH2bmdf/zfvGdz1WMmENeZClJS6tDuupS1T
2O6rbqwc8xepIz2O0g+B3uWs5zQPtYn0lqkYfvlAk1MAbKQybQvb1gSGAFCNAeBy
cad7hZNjTwRNMxB2d62xrD9VwPrmwyHq69G0rgOrdpwq3FqxY/Cbi7kYkgKZ56GM
eIGRXY7MKSRD+11xrQGvUG0bp7RVUnTgnu2JJq6DvyhidswN38Q2wMpRHw2XYPp6
oPXz4BdRnnXN5RFW4Ht7ze9x22OAOhJWxMS1q0/n8+oOPwJoCdjyd+FcSdv8USUr
qUcPbvv93a6m7p8RzGy9Ul/b9cQhxPAsSIbsJKA3BvVkmM5zZ7FgXJ6qQ7oX6l8M
PHe6oAXZ84ipBmF+r/t/5xFoeP7o0UX5GKRXgVMThplpe5V5ecmc+wqZ/OZTTPad
GBxn2xBgfnbNp9y3G0c8957G5wLKO+OsQKizQ8chPfOcrFDN5nv7JjJeb2CrtyxK
w7BgM1jxKu7bLQUTdBIliXKUWqJTVGfI0kMs5lnUoZq/wCV9SFVw09BkTIzHncBT
lnHKI1vSYAIFAkjbeHFpBDj+fLxcz31TiyCMojJrqQ+hq/iT3gowBwaC9cEFBPs8
ZW2RZy/weWATZRhsy+BI2dNkARv/RQ1b15gr0BOXlv1MHp2COzr341y0Sbddyb64
alFgzr3syLmHSIZrKLvMthFFMRxrdUxdaRIyV8u/THh1UeNZkn6EsTOnfuCM1AL6
77RQKTROcD7psod7Af1BcxctJw1eTLZW0S9YA+PIwgkRGysirwdo7Cln18VpT52F
IqZGL5bgcQdG3DSqH3rndcJRm2dYDLq8
=rQYA
hQIMA0MkBWJVnajJAQ/7BZzCZ+PL761qLXnSz/o+vvTjlAVZuaBZndTrCGpc2u1A
om2tn7sFIdCYO+KOEhiAAB7VBnj2iAclH8ctGFceQGBxiH07B77w80aqgeYm02JY
26643k808bs7exBdUOLmsSQQwb0UJRZsdxrFi7Xh8bO+PJl31snKpvAz8aexkBFD
B42Agy7jUCmpbEdL3P4AWBm2KjiDACkani9lG+wEVkCkuTqLhNcRtfLUZwG0qVlX
qrLhdYIwN9g0D5TegKkyeuks1IQcSd97ikh1qEsSmkDP4FQ3l5I4vG3ALNshBUCq
XJ8vokaLqjk6mmVmf6sGFcRWIqbZsHqwF9EoEk+jX7HGHV6SAl3deftITT/nRL4H
9QjtmwxT3szTZ+mViFGS+NHl5wOIgxNGdKRLRhkKXpD4sFqWVmoyJ7H5bQ2lY9RH
xCfYDCb8mcN7cqoZWHqp18zD0PTKOG6q4EpjCe5Nr1NfblolGodURIlYeaSbWr3j
jleUoJ6Vn1wkzf8aO+NSaY3qfbziReImkuoq+Djk5s6rwKjAnWpVGPUPizSmiRLI
qghplCp7BSGh03mhSNCspdGgyWLslvaZ3IPSEwB9R4BUBilchyKNYl60Lwt0JjOe
n/+UPU5bEcNqQEk+3oiqReNWdX0hUv9cO4Igfnn2A2y7Osy4tjjvqtOYAAwY8EnS
6wENjYKjuqAUrHcl7QmYNeuwnTO32RZFO/tdPSwRyfgeej7lTAPnflk09vkfGxNn
s9ElE6QIEsD/LdlFOTDSVwAMqSyZk8C0goiCDaliivp2/hwIEfv7cFikAhzuxHY8
dsq2JC3UWG56tEdi6Q+eAT6SGkt3pckd7IS/m43MhbGpu+uq+f0uLKLaNTvIrMaq
YPSDO0oalFo5GwChpIgAWczfR7SfCKxFtUr3x4cAxtJd6qq14D7j/J360QfJYFra
7hjyf5BiyMUe1D7c6OiOb6hEk+2EiV6rCyx7lQzmTfyTnB76AatPq8iBcxTZBo0+
BiSo8DQHj7GrUtcF2xw/LSX5kFqk7GxV3LweYiYPVpcKZGtxxa5sDC5j/4RpXMip
FA2bj2JR6oNjM/gvOnIb839UvRrJBIWcgCMgQi8Bf8A+WOI2Mz0UNBZ89YEbMWkL
PgjyL9grOAIFWLhUiq+uXhpT4K6atD3TJ9JiD4Q6uDVeZYYfqPq86LiJrwL4ddy8
wW0Mm+KGw5PTv74Q36y9roTjAOXPqX2TDCfGJOzUlduEKbFPPkWAA/9cSU61yS+9
vM8kuasOwcIoyJYw0eqRMVRQfjWfO/vnNZraRzMIeFLXu+r7AWkaWmAICStuBXXL
CUEEp43XMMoE7irzdJWYaO7cdFBpskxYKuq0DVkNrhGrx1WW1zKgZKtebS21+s24
ZJmFHQPj8F4DhqODzcFw7CKJzIiHThMfYVfM5RfsGvjKwlQ8yiHLcH+fE78BzMCb
MyTuRVFa3Wcq9TTRA1HSxOjWggNPMQtgMWVoZTZMhGRjDhy2IUngtCCHr9OeRbq6
9MFuZKBwkY75aqGGSx/2TtgSB1P2nPQncoDk8E+wXGpJDImLbjqAKL7cxpfDfuLL
xLDxyxgSLy+DiqyHH9rwEenVTx8GaSma/mbu/gxAtUKtF87lr3L+rXaFBUn0C9L4
wuHTdxAIs0vVO/l8CQFvRrqZUh2I3fn2Go50FT2gD+6roN+u1OWzsOtrReXoYWey
4CJZYdflFoQBpK78EkKwfwHGteUFQW1lqF4/nYh2QZp3+w3a8qDNR4vP+v7eN7n+
peCkZxg9wnIuOW6YFjeeJn2zP5vfAv9U6TuXrOtzFr5Ho0MHjAEYzYOYGZ9VvXt0
aFuKqOT5TwAQRtkt9m+a+6VHJm8aHmMjowSPLihBnSr7f4wP7w33rD1nrcbsqNBx
FTNv0LrmNIA3sUHY5tMtj0pH7/QA/Cl+33Op4alAKhXccxJNLm6JBIFoEx91+oWy
LC+xJUD0BnWZoe00i4450rOlYvPdebwJiCRm4qEVtu4fpBMNRYuHh67Xv3vtKyM5
hW/W5IxQ4vE7S3mssVnZESCLCPsWFAMN/EUzYJny2CKfKHFPT4cUhbY2aissXnmL
dqLvR/vZ3eQGGGmsn6gHin3CO0XDf6zLp1yAICSz8GTEalksXY6fSftJzModwcPp
ZagSXcbwMcpF2PEC3HGYjeQVD0UL0ukxtIIFlh0MKaxSm2G86+X6ZoOXwenSbMTP
0URx+Go7+dEJNSLFkf/0sCczO7+FRAeZH+I/FNtybaRHWC1i3xXv/czDYJaUAnlR
TZtpA+ZHTEy011HuXnYEmdLdsCaGk+dsT7Y7S3U0G7ATzq6IW6Xrqev+Fhy/U7fr
O6YCA5BWZpT+z6SDNG5CJUmUblzil1x9E393yL0k2/1EXXbeX9V6UJoTy1pinSUR
Eh5VSBvSdSZJQJp/w47ESbv6/jTGeNxGLj9sBhfLt/I0gCFLCe8tr4vogrk39+h4
GBJn3gAOt/Tf4qZdH38vNV0S/ouO6f5iKWHoa2Scfqot31ieqc5zI/j46VFupZ5C
iXdx7APkOr7SMX92zFL9I/sHXr0WH0fP1+tSJnk/RcJdEhz4YNWaOL5UJDa0cPF/
ylQxXRLMMsqK4sLBS8HgXXZSOfBYwJDYgzLIYfmjjvjZ4iyIZP8JmdEqPlE4Snwx
sHi4k6VHWiacQ3xigLrUsayKadIA8ki4Jy640ezlLJ7twJ1gQLg3HyRvR3flBSkR
Kpy+iyH1dEbrIHz+oQZNe3OdseugeI139fPS1vPV+eSa0jQTp0y+B8rQf4pYmfdb
MOEXe8izdLs3s29dH8QvPZIWermwGGWd2XGmXfBJquVlGPKMrgQBHxk3Dq0czkQB
cp2iDO6Cv0Sl1+ghtbEL8PnxLr4PduyzY5jnYckIHNgpDdTGoKQGlDmn+2MxSOFm
LWVtSgCK8QkXWYO+BoxfV3yaHg6GptDuR2V0A3LLsGETOgLaeZU68ywlTtJUHZ2/
hszAG8jpdLsXMOTRWDp1CR6Og2IFYApFUwXuYmb7972XA1ATnumhEmHZ2JzpbM/l
Zk9VrcvLEriPuTfuXXvJv3ZscrAWcWVAAJibELEejDbCb6JOGNpIwT8i+blYpYCb
FGDPPsd088aC6UqcA+0hTIw7gPZFptSAbjwhcY+erOO8pdg08+uIkD/dft8LfKD9
iH7+CY7/hfnr5OTw8YG2IgxMv+KMZ9jhpOQMq1upWYfWkbMVjkAe9EisEU1/XnLo
vR2dJV6g8o5JL8tr1qnC2f0zYbBH0F5fnUIksRTbdwLP3TaL17ehdpMY8W67bFAf
CFIPM4zH5dASermZHPfMLEZbEDryvmnyROCdIJLXBtLaw7Jq9kB+sFM/cztqmqFi
jau+vtKxy1d/9ioGLuyoxypaMpya+M3ZvoyWNltjzkhLwCJ7xgtK32n/m87tnDaP
KzNnMNo2ct+kV2UK2/nBaO3m+95TB+FH2yuWGbfnLo7tZIfqH5Gbgc3GF17ooWtm
cnqQu5mRENkoQTpLsY5NeoSWOr74oiv3tqFfe1gVfZahlkjG5AAv9A760MPcEgvy
lRM4cztNercmbj6xOZ+OUEuKi4fMBdF6uXil0y8FFr9cIbCTkG++Xgz+RIrW+BQl
4igOzBmZ0CAsitLT7pNd2MPjjtQLuuu6HTp603jhrtb016gkHt8zD3okKD0yFXh6
FpEWuGu43JAmP7XjF+5R8KSyvx4s
=Lo5B
-----END PGP MESSAGE-----
Loading