diff --git a/WebUnifAlgo b/WebUnifAlgo new file mode 160000 index 0000000..a8ce8f7 --- /dev/null +++ b/WebUnifAlgo @@ -0,0 +1 @@ +Subproject commit a8ce8f76fd6fdbccf3b9c61004f85562b2fde51e diff --git a/publication/xml_type_equiv_illustration.tex b/publication/xml_type_equiv_illustration.tex index c7ba20f..e16635d 100644 --- a/publication/xml_type_equiv_illustration.tex +++ b/publication/xml_type_equiv_illustration.tex @@ -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----- diff --git a/publication/xml_type_equiv_intro.tex b/publication/xml_type_equiv_intro.tex index c3780d6..815e05f 100644 --- a/publication/xml_type_equiv_intro.tex +++ b/publication/xml_type_equiv_intro.tex @@ -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----- diff --git a/publication/xml_type_equiv_rel_work.tex b/publication/xml_type_equiv_rel_work.tex index e62876c..b2183a4 100644 --- a/publication/xml_type_equiv_rel_work.tex +++ b/publication/xml_type_equiv_rel_work.tex @@ -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----- diff --git a/publication/xml_type_equiv_ts.tex b/publication/xml_type_equiv_ts.tex index 8cff576..ab137bf 100644 --- a/publication/xml_type_equiv_ts.tex +++ b/publication/xml_type_equiv_ts.tex @@ -1,59 +1,59 @@ -----BEGIN PGP MESSAGE----- -Version: GnuPG v1.4.10 (Darwin) +Version: GnuPG v1.4.10 (GNU/Linux) -hQIMA0MkBWJVnajJAQ//ZcbVlJoj4qBjjNL5dQn6j/HEryuyKr8EW4DkZLLerdiW -RemlTFDt3HCVWEE42ZnbJNEFuxVxHACdP1Q26fZLnB5vX5Tp5Pq6JTVbFVVbtNwS -h2gNOjLbwVRhWT0syc8duew5rgpTYPt8nYqxuHFqzLKN/EA6Hc+VjjXHtBprdwAN -KOpS1FbRX2PT1M1nShbvEAC7GD2iO+ioNNC3wE5XgZCLTCpLQorCATvzW5L1V7vN -bTjAom6v9NOxTGM3VH7rfvf/i15beIOgDnf1Em0RbYVJty1ItZ1WAx4o7+RalOJk -skvIQV1P649WCs2uWBh+lM/Rv5xACqzLSGST+PiHkMTH07wbI36RMsRrpG24kG8j -/u7a59HcWRlX1FW9qITYDt4nQ9kutm1rItnaW4Mjfl352M6z1RjjDytHIKA2FXqp -fAU27W42SgeKXxZh7HmOmwx/SycQ9TE3aJbksgr5CDLFO7xOeOFULr72I4dfavRT -ZjXiLa89vBxf/QcD7zyIifmMgJ6y1eNiMH08B3mra2B1p2O6zbwFprHV4jQGlK4m -ThkgbySN5W62TDFcIzOpRGWt/GypCznA5dVDgqRGXV2Grgj387aqjwuf2lYFpGik -iloNuhg+qG5a/u1F4/E9gePA5b4lJTxyg0n3vSuvwbmmETs59bJzgKw2u/xAJWbS -6gHpjigTETIf96FTU+iAW/oGMVSM+xZEc5uRq8FrDeiySvJvWlKNRdWQIjrogCLM -GvgGLD6vsxz/2UCi6XkjU43nG/Z8KdF1syrOk+duwtKdPHMsqjTo1mmIK/aDdf5A -Do64QtDoyzYwSgGglMLxNhhR6YRpAbD72VJvLp7NZkZ29lt5+osZbN4dYKzdSGV/ -MYr3zl3IjC5JMiCr0jVYX/1PRVofAW79i1wz5GokQhstqAvXjf+/DorPUohtXnQD -grMFn41f1tg2khfVPa9vWzSU0xpbuZVkFQLJ4TIMpaABZ8Z9opRWyfZCUa9OXlmN -T5KtOr5S6HxNPEfILdAUBu7TDDuvsKa0mF7RNwRMAEvYHPq2F0lcrnv2zQ66wYgo -Oc502NCTqu5yDlffrfypZBu5JEYAVwTysPZ57Z6venp8QnyDF4K9DbIPGiYcfAFb -5itKP2bRYpCgqp5mzJSvnk8M1XJbT0uRXCgbrv/86jOGtxDY3fy5n9Pjn77FX7tq -+NISlBw6FeK4LiEnxyjIX40M1xXkwkd3UAib/YsMH6dZmRtwmVQ5WQrTnH6RuMfc -zW1stQjAmEmrg4yLLjYF7AseFM2ISBCpEeAmw945MJZ8040EFc2bJ3XF64KmfHWW -355ABzn13Hfv6XEeHqssSiW3fDv+uGK17bUQExZkj/aSDK6z/T7QitG6im2/6Dwj -9136JfCLG20DX6AUS6veH9Kpf4uqDM5g4FQUtIn2BMwCa92X01hY7zDtrF587jZw -jqeAEVZ7ClM8KxBFia2rZaQmzIkXJVTMXAkxbv/3B1hWTZqQgpJUifqdleJZqJra -3K6f6mSkPMnjT2lptVQ9hmkQacO5ac+Uc+MJu+lnsHw6c9h8BrAeFyk/r5td8QN6 -9Q9m58OhYVztB3PFpcbksRX6ZFhRR9QiWTNbNMWF4SDHf22hUQfxK2UH11dVcGyM -ph2nGeQDUX4C1B7Q+1asvrTOpDGw8LQo7AvvKw9din4GYwbHcvn3tPA7Fz5wxBlS -H1cx0Pj1g9NTEiw0lT25sHdTtO8mPVMs8/EvzaTd6f0siuRZmwJFe9WHbpZ93mEF -npgxmxrPLbZCm5MRvYCnrf0hEh2IV8M5dmee4mAyVnbYpanDcn7w7iY7UcqlRjmq -LCC7hfeOJFF4pMykzOB4DG1DgNyExAGObhIjnx8QD6w7OWqNIpcQOI3/z329teYA -OqUzERujsgZHhNDF0Y9Fuq30vAMOA1pM3hPRMkDbPUzGtBcnYm3X3/gVthn11812 -pWkkXxPC6scMHy1unu70yA+k3h7v1ABsRNt0IUjD1YfAh3l7L6fN2NsK7rwixVYQ -gWG/Jv/B6CGbcFMi2T6M5eTpZyypSjbt77ZW41A7Nb+oqThXpicDK86J5ps848oK -bYAXbfN+3arN1anK2Eq6lNfWixsRlZLdbgLiTW07rkUyx0X+ppVFQMQqSyNtRH8Q -D9czblURQ4c7MXFZeIqdh0+YWltaehosTcLy3RzVfgGuyMGZ0XHQ3rE0ABnGHooA -UsePC16WW8H2d6SB6A+C1iZFu/6TnoOElb8olqXmKE4/1wjb5R2DFeraVO3DuyU0 -rIgqWh9gEhbzHUuItsh5A9mIa2CTsHODYqqdT3HzXMkn7yGxDuxLRgaBy6AS5+JG -MSE7a3+IuzbHwz3FyXpTjxrNO0G8s2uNzTSmpzhTofPCJYwioloNxEHrfN8a6LHd -QLC4zjchNRwHZdRATwwKn1csJHrFXUAxBUuXmV8eAvQmgkf3WPkdij2z3ZDfoclq -CHeKLTpl8SZdPGB9J2a59X2XNkuhoflD8ip6nbPkpx/BAAvIWBAyD3iEiP2U4Ta+ -ZAulYoifkPu2QpycUv27et+QLiEQ77gqQhC5Er9TkgyqvP4p3DSHhdTjoH2wfNNB -RINPK6JSfXJ8HmnhggQdc2iteEiRDWvY35zPDUcKZXQUsv+NnmchHTDB6kyl4AUR -Tegjuiz+IhRp2H6NZKmZsPe8qj1RSBv82imz+pXNUmgRH+TSkE11pioiknS3tVHy -Ao/BMS89kkc2qUdNTOQPV8zZabcl7YRgAi6zD2J+t4dpyMxU49mptIgTlgZVRY54 -QAcrpa2uh9UeCDqw8YeU+R2trLUNwmEj/WNIuEf0bXrRH62nd1VQhN1iDVFb9dM+ -paGy8vqf58Ebr+zeWjNMSzzz86GVdECC0bcIOi//DyKTW7oeN3QcyLMajAZfVkft -Jn9o+11TSe92yXP1hSOnqDFU4gu13u3PNxLO6kokkcBlRVxjzvaZT3933M5OLuL5 -oQBy+4cFes0sO0lkqv4F0VCyDt5vQ420Ri1pq9KTzvkZdo3/B8PnyLLY5SssvPyJ -QQXrBd1HJ4mnkZ7Svaz3jAYhbssYLPxBzZlh137L2Y0njCJ3FYB2f8NN3RblYFyB -VZEnolmJ61TAVHTFfyqF9ro/bQm5qkk55rDXUlfymz0aARanQntxW/6cN9UH8L3s -yRF4pUx9fQUPPOesJe3jjmZf2i1IOLICgQDElWO62fmYvnCi9NRs45XMwD5hSaSu -rJh6MnrJADhkqfD2YDvk0RcEXTMxc/hUSUgbDfKMZCKsIH9voVO06SMWsxcL9b72 -8/9OCzB/ACJzddihbnNgABk6tHV73AEOwRih4n/E3en2RK/7OwHB6RI1Q3h2vANu -FAdYiC/26xB6CUa8k7gzlX/ZFO2G -=Lwrl +hQIMA0MkBWJVnajJARAAv0m6hg0taCYUxoj6+dXwNZ8LVQ5sSE8fr1sQOF20VSpM +ekFOPxMsoAB8KpE3/CQmwxAO+tRvueHrsaF2wUpYAEO1iXaOvDXy3bnYRHM1avSd +J+jc22KbYhYY18WuZHPkqKA0QtyWB6haZscl2nyVO69xtqaG6ztiBnzk/Gt/y+2a +vbNyG2TvWbDHrAw+G3Kmdj2HsEGwCSW9DmBMxDqjSRBI0+ehuq2BswjSV6bT7X8P +ApSUV5TRFGkmvCVRfqTigY0Ag4a4RMKoL6D+96MgBjKZahy83Qe6Ls7j1yiv/Sye +dlKhgXXrVEYwlV4MNl2dDQMX9BqXRf3a2CYQIC1o597ooxVX0Ab9ze2jX8OPOcWp +G2J5MnrN9kisBAcbfV5orM2oK140YgZeK6lkLUOKvXG8finucud3vWzPAPbl+pD4 +sahGx/iw/9WUonBo0/HLrI3N2j4RAEzaKvq4glu/T3evuNbECOLKLTGcug4BiYXG +GBVTBUnef3K8h8qOaXEPjYYEK1uFmV19p0+QMHbkoCLe5QFnfZloYUovEFaklNzu +nTjmFLIYRrdykO/YF2txdKFxJXvkoe5zsa0luq6gFCc5CLjzVK6Mo80dn/voCKe6 +nKulgCOHxAVQThv13RKj6o5ssDLUhGRMNAl2eINJ4ll9vcl3fUN1QZDR707kGmnS +6gHnxq6DhLU7ilg3TjSJ95pEgV1VwWSbXboqrT6SmN8MZsOP2lixAEZ+Dj5B3iSg +jXi4njCIFUzpZVub+K+vxRB5D3jg+J6bIx4waJToKkOGwBPsE8VEN0Ong+EFZfem +9syn84tUlQhrbYX5G6UgU11j/aXWGfq6iEGIYlqoyGAPSXckuZNhKk8ArFXZFFBt +Pf8ujMHiYgebt/jGyvL6HjkCYUBM5VHCEwej2zb52A5tuAY/wf9jExq/GeRERE4P +x0RgfjwOSWNa4CwS1A1SXKNn4ooOi7GY2e8H3KIfqiu+uhMclzcSZhRDRlSjJjWU +liN0KlZAUqKp8zdbtNQW8Q1sVVGDLTDafyDqIEJSSmuL2NJrJ8HzMuotzA8nJtW3 +SOveQLnjgY2C1ZVOG8cXzDl2va2PiUHiUMeK80agDsRlqWb6nHDbyOSGYYqdVytS +tVQklXxKZqo+G5cPzpknU5ZSPBXmJkDD/HG2XvoK3wtPny+lUwYDiGvpksvmhVAJ +Izvm7vo0Osdb3ttu0YrofZMwcyskSp/F+KFrvepLcB3escjiS9G6fxbyC2fET3VF +mDcmtFa9af+uC/pvQzuR1q9Ju8jUSFJ4J2Jv/86Nwi91lioHDFHKh9syY7CeCU+U +UnS6aqK6w5dZsjzjPlRl8jcFgn9E09E6OW8uZrng/RXOMxDnsorGk7nnPRmAgA4+ +ZnfHEcf54LuXtrE0gzkAJKw5Afl4okjvExTkscOLdaxcAQ2G7sLMQ6DPUskA36+f +faEd5WgIL498Q5DDKdd88NI/7lBI5uOBQcMSrEw5/PbubsL5X8SWCg8e25DoySPa +GxUa8pNOzgbi0qeQrzncX2Jy0bnTey1JuLa/62MyLVkzlDz/W/cdQZrEDES+Dj9Q +hBE5YDsKjeFQMxISDQ5YmSHBoS9zGkpqpMZCmcJeSQRTdYUnbUea5Bo0jLW45/8F +UR3DigZZhAT/W4/CosiJDmmBqRzFeASteHpi++YNOYdZNPUCKXQHfhyIK3VZonTv +ofiLhmOLg3l67WOUOJan2IAAsyJlDh1d9zlENMvqpO++FyVFMRDvDTewbpgTNl9/ +akUyWYKzLGZZWqiL9VUE7CqAkLxSz9PlcEmdiGEA3ZK+pnu6Nx/IG7vY8Oj/SxuS +5bcLymTlW7zjcQUqHRcRTS2XXgCcPDbfneEz22NkHK2DReICsxjqJboYobOclkpb +/SXPzzmu0uT55m16WbsefHouaZ2hcmPMzGVurIa7J/bIt7svBowMo0kxgP+a4HIs +MdReXY2Xa0d8nPKoatyJ2GvDn8Zwg1AsVAhQaDIpAtOEjn08kooLBX+0bfT0TWPo +kqWaxk0bBhdBjGwsImAFV4zpZ+8AYEr5Jy+XcaqATnmDH53SHfXkS3WbpT8zp6C4 +OdFu2EEzkmygl5WLSBldLjfnp7xxbFH2ul6zjVEGGgHYgszXjKg6P72+7bz3NVQB +OOuRYTCPcZ/5JpdUwq/PJ15u4LrzmkoXU/cOjlinhSJZfd5WPdj2VlYggYc554B5 +CVK6J4QU4pT5IoupodsyA8SbN5JYsLvI9fwy2K8/ET5bqOJ81M7Q0qNRcrE0mVY7 +CGpLhg3Cs5eef+boUqD9pYN8HP8tYFLV4SA5H9EJp5qoXDZrzHDbTlgGUmJw+ABk +ZBwlq/AUC/erd83Ss4sL8k30Rr8CkBM57UevXlldr5LYR60YOokL8jjSBtw28Jua +2Bzzd+H61QlxvsrCWjuRQl+nVifW2ITudf3yH/rz8NUO1H18kpLMPWqaWQc9x9wr +AQhfqoZjRzxmpp+RjhuAf994H7QXPVRuWZmDo0berVBKj/kHzG6gKwYTu0dZfa3Y +ScKGP1BAEQL/AWOq+P9L7AeOT6OMd1gu0oPoqWB8P4tCVxzIQyTzeroTmoY2+OFn +/rzlE7ei7mQh+vE6HiXqOy92adXWzG+8VRSfsZFs4xh33LbjBfbhuB1Ob9ScFOsW +VP7GY3UPQDHuxRsdbO4bBHBpLu8/2P9xWrmGKamgwoJVyjLbVnjlOS6ISll5KqBx +FN7BLWMO3LG7pq3vGacVGEHbNXKvEXDw/1D5s6ZkmWjFoaJwTJ3K9WDSlBBh62au +SLmd5GEDEjHtzCTfN3ORkvCXg4DiFehhkcdnaKSB9VDVr8daAERA14rYd+E/Fyqs +vpzWTKEtaHPIgteNkyK48nn6MJa51mQflqbCtS2GiXb4VqNmTyITWmd7cbBt+FPh +9UjcTdBbuZSXfPIBUCXLBeL2BBTk+E66bYlZ87f4Db1FHWbdpT284iE/Wgkz/VTC +GuxXltge+COIb9Z2mna/NRMmEFSw+6SSDGsGq6KlvnjzmTPnJuPFyJN1av6eTSZS +ZcLrf0TtCfm6t0yhdTGbyoaKYUA6BbC8+1jre+D0PkplKy1J01/zbvwdkxj8wzOz +uxjTnDlTnIBGDn60EhGk0zRwdMtio3CtsCFHkDTjdshWFKBOee860eJkVfGEWU8m +bvp5hNOY99sp6ezIz+Va7psIojULaaKW3zLdCOQI3wEya/K9tW73Fwvsm295yTlS +SjO+GcWIizhKhHRqZAW2dJeLcjKcePiTygT2vifKJi/wJ2o6InZWdWNPhivBnCru +LluZ35jMyod9sq0Otkfkm0zA0ZYI2YkDPCKE3pDXn68giW88vl1oFoJ+RyK8jNQV +NRxI3VfU9VWnM5jTY45on8E= +=2+AH -----END PGP MESSAGE-----