From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <46ce702f0501102035329f22c9@mail.gmail.com> Date: Mon, 10 Jan 2005 22:35:42 -0600 From: Serge Hallyn Reply-To: Serge Hallyn To: SELinux Subject: TE Policy Modules for SELinux policies Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_3617_693326.1105418142240" Sender: owner-selinux@tycho.nsa.gov List-Id: selinux@tycho.nsa.gov ------=_Part_3617_693326.1105418142240 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Disposition: inline Hi, Three or four years ago I started using "policy modules" to write DTE policies. A year or two ago I considered porting/extending the policy modules to support selinux. I've played on and off, and finally decided this weekend to get it to a state where I could send it out. The attached tarball contains sel_pc.py (and supporting code), which converts policy modules to an selinux policy. A sample module is in selinux_policy_modules/modules/basic, which compiled to bootable policies - under enforcing mode. I have not added sufficient permisssions (ie to class lnkfile, process, etc) to bother trying to use enforcing. One way in which this differs from writing selinux policy by hand, is that access rules are actually grants and requests (and denials) by specific domains and types. As such, priorities can be used to resolve conflicts in intuitive ways. For instance, if we have type etc_t access boot_d f:r access user_d none end domain user_d type etc_t f:r end Then domain user_d will not receive the f:r to etc_t, because the "incoming" permission grant (into etc_t) trumps the "outgoing" permission request (from user_d). Of course this example isn't very useful, but it becomes useful with grouping, ie domain user_d can simply ask for 'f:r' to 'bin.*" or "all", even if etc_t is defined as "bin.etc_t". The DTE module compiler code had support for automatic policy analysis. I have not yet tested this under sel_pc, but will do plan to do so. One class which I had written, for instance, checked for maintenance of Bell-LaPadula dominates relations among pre-existing types when a new module was applied to a policy. (an idea I took from TIS' live policy extension paper) Usage: tar jxf selinux_policy_modules.03.tar.bz2 cd selinux_policy_modules/modules ../src/sel_pc.py -f list -o policy -c file_contexts checkpolicy policy -o policy.bin install policy.bin and set file_contexts (I installed under /etc/selinux/serge/, for instance) TODO: general debugging write better policies test under enforcing test policy consistency classes (blp, mod_blp, etc) incorporate booleans into module language thanks, -serge PS - For more information, usenix members can read http://www.usenix.org/events/usenix04/tech/freenix/hallyn.html. Sorry it's not publically available... ------=_Part_3617_693326.1105418142240 Content-Type: application/octet-stream; name="selinux_policy_modules.03.tar.bz2" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="selinux_policy_modules.03.tar.bz2" QlpoOTFBWSZTWdkpY8oAjYf/l//yAQF6/////+//7v////oEACgIAgAACACIYGF+bwAAAAPl3vfG zKYKB9B3vc+m2uwXuB733au72Tvny77zH2NJVXI9e7DbD0+9z7xhIW94b7xp8qPvme7oVfPjQkr6 VHe3vl9XGPPvZdvbzfD1vvXWRW6eEAEX300zvuZjZ1r1ut19Ynra2Yl9uDyn33p8dG3vnydvXW76 lsBugGePe7Ne23n26775xrHL2UaaX297e7eh6vViq9ae9x1Wr17G9e4XJvtHHzvvs9e5l7xpXfdc 133HfXuYtqKObVtWvffO756772d88Pve726+j3WSeBfFh1pb3YjbqctQ1nNy3vo976+5zt3u89vO nW3t3j1ttTvbXvLy3rwlNEEAmTQAiZE9CZTGmplPIZT1DQ0AaekAaPU2k0ABKaBBCaIiYplT8lP0 m1T1DRmoxMAIA0AAAANNNGCQSIggCE0U9U/0UT1PZUGgP1CGNTR6gA9EAAAAAQpEgRqGg0miYahQ 8NR6aUzapp5TagepoAGhtQHpBoACJIQgJhNAmQCZNTamU9NU9kp+pNPKbap+lNGmmnqPKfqTTT1N D01BtBEiICJqp+k8FNT0wgU/VPKn6jT1G1BpqDQGjIBgjI0xMTTH8fwBYf1H/pJD93pLz1Ke50+O 0XIOckiwBJcUAOfaSkX3aSfCe6fD5T4TGhqgyMIjqMB4ExlkMyG6GZAYyVxtPhVEEyp+hfOR8c+O 2CJI+ML4qq4LIKGSAyoFkBQMtLCqSygBLCuhlEgXHBxwWhYIMUVVe6iIBMUBE0FEBJRSQSETRREx fVZAUlFQsTQVE00tFBRQwQBIQE00sLKMTREKSRFSRETE0U1BSLFTUsQ0ERTKwlNJEQMQBRRLJUNJ ERFlhRJRQNAREVSwEjElQzETQyEElRBQUJVNKRQEK1VRAVTSUtC0JVNCwVJEA1BKMEU1FFTFUBBM gX1zhf8P++a/ywhlQkTQzBFBRUUFRPw/l/m0huOJ/12kItEZJllBQ5AYCxDUEUTERVFSQTQswsLK 0UEQESElEDBEBUqrKTQ0QNIMh4YpgQVRShSgeEBhBEI0iVRAUAyRKswU0tCFAJVKS0EUgTMykrQy ksrAFMMRQQRVBEhJAQMSlEUpSARUkE0pQhSxUBTUTFSMSVBjmJKqkKFQESwBMEGpwilKiqBiSmkh f3fN9dmH8/0+PB3/49eXl0vR+538c1t/OPsAzndyLxrF0VdkxM5pgh9klLRFZ6QDQ+y4DvHAwhoP 4McGehDlBkplByslYg/aBHOGNYnBI+2PRO4KqSq8Sw4zsOhMAsITPZ4OaD8z3bg/fhUzBgwSYpO9 LSkukoGp2TtD3memRGokJiCHEx5PqvYhrAN4lBBBBBBBMMG+2t8WJ1APEeCm5jqGCVIBaIWwcMJo yEeAZBxi/282RtWVtgfcr0exFdgz3MiGmefEZxqDK3OkAVT9OUuvJBBMq9XG2EiVqtR8l9dA5yJL ADaXz5I8fWA4i/CWkG/u0LvcFo5LHW22zq0RSJQZ3YHvYe85RuY/qILk56cG4aRLw3vAXnJoGxxk +SccTndh+WpjQ+3uU/LU4prEFEcN8jfdEAd8ZdZDoLE2bmGDMzOKvnylV+xDX2CaCXIdyWTG/p69 Ja6MYQkkJJJ49TrbhVltBXS5TfHF9eazSfSKmWOU1fB73JBdwIMrk36zMyInzUbW3ZHw92RyONtu GM+PfEfDDZSM2XzoGZ4aClH7MWlzqYYEmw5X/J3CnxAUu5B0kkmNcRua5Ym5GZClnenozR2Hu9bx c4tkj8XnOc43zVrtEvIpnTAv/TiyS9rdbhe88L4c43ebJS3cNrnGGK1tezpN0kWUHiihRSHh9kRw zxjZz6W2Trh0ict70o+S742wM6sbG7QXCONfR1tJ3eNP08t9c7WQa88HwQfWJu7Y/+93pvlCnon6 +qZBw128J7ZG2VQ9W+efPfbdldpeZkdr74CYhs3fkm6aM37rN0a3N8v40vu/W/PzGfeiOZfcjpx/ 11tlPbusu++d/dPH/afTdhM4+p2hNRssfk/B6fNtG4cURirgdLAPwbYI+9nZ5Y2JtI/MwKyknYib hVM0IXDln2L26aTUPwjCuszKtG+h5xlYUmaGxV+Dwngj6rZXyMu4cHrJS2R3X1pKewx8R8FyT0st Sy+p3oX6OeEvNb0sfYObd1uQvjeetl3D099x9XcWjajb3PXnn6PKb6e5ptsJ3XbXPSa79xSedeRR 9GsrNYHNbO5ODvGA80QmSavmnf53zmufnylVm2a+MBfX66np3zT1lsu0iKEJcV1Dx/Gy+ZU83Xed h+13bnv4XFh3k6yN2t9Pdv8vu0NNg8qT4FUwIjFie6Dm0Nv6SiCdD2uwkWo8Z9SBqqiZTPm+a+aW CbCHoV98bJ3e5pN6fie++/Mlip43wepGUx54xBqts5ykpPo2t0HRFNj7kslg0B6pj473MYxfKJJD JbUexFizekRiNCIlR/czaexfaVHZk6PNTZ73vn3/sVnDcp3v0rfn83LDCeNk/f7zHG/u1i2WCMVU hOKEKHNU6ZklDiIeYJgSYdp8fXePGtfRer7vFezKBog8+CfkkmXc25dUbTwXevWLb19OJ6+OyZNz jD3lJNYh8bXtX5bB8dfv2ezPVJjQP3srVfH2PKPnFaOteB5RFyJUcw59bZaKzLGPrwfNm7dAjkMJ MJMcdI1q4CVi96dWKqNkn2xziSqrV0XzqSuWChcFYppJKq6dta8LKq3vWvz63d9/euU8X9F1tVbq qtLYkoSQ2aYs4uDT+NctPou/q607XHf4t556bEXdWM0Vg5Sd5uhx4hDoTFVz68H4DBw42mY12Ysk d/9OeZ5bOGY5hSPs668UtjpMDo/J/JqOvZ+bH572XOfbeeuuvZbu05PnPO8PGPWVedlM07Lvgiw2 ysN83iuT5WE06Al1tzv0nnV63d62/K7ZYYQddVZSda1Zd9H29eXwvS/mRYUT4n2ne9OzvL+U9l7i bhYgBwtwsKhW3y0k23PAFmJTuhei/pzFN6DcYsKbMrLnN+DZWenzDSGbSkr6S7/J7aLY80pAa77w H9ZSTB+pe93aiaYpoqhS2Ow6D1y9khUET5HESw0N60UZzC0b+dhxm4OwdyaqvOXJ8VOvhE0BisFC MdTcmYyQOyYSSEJhCYZISZI6F030Rp3RlN84Or+Po4Nb4aZ+GeBK7AteqnId9i+/TLYuS0QO17hh dYVEYMDMDGu1t/erP4dMmSfTSIcQdgIBJ0zOggPH2aB9ccBMExxO7SdXF6kRpwzLlgWBkc4dzpjO 0VVVV682I7M9MGiHi2SU/KGkzfSxjisgsyCAzFmNNiQToyCYgoRkyM1GaAnKJKzwTDE16MDOScdj XOebRMysAcqpiSsNRmhDIoMg8Ly3itwma3MQX0YVGngHbpEa2SBoUT/fPffZpds7AKCAluzk2+Ih bBzwRsWsujaMdDigQEmLIfnDrPq7fJ9/MNT1+/wkfVPrU3S0J6QWgY2fB87Ztcdexfbxt3n+Q0au jGRSUFHtB6muuN/dTf3D9JjN0OO88e6cNamxh4KAUFA6TJv0a1BGoYcCcb8mPYA6Z8IiOCs16r5w LypXszIPiYxmOx9k5lKOIwNk7Mil8hJ02wttrZDyaUbE2OOMeMWMKttInkBPCFAcIG93O/e12mwl cFVrkq3p42fdt3TXIgyCR9vIOQpKkhvhXjYOzbu2ME7JTOpxH/PlWC9mLhDu5xhHYugb8dNHEwG0 yZ+IQYbYaMga3vN8iMw9TBSOd4uyoeZ3I0JMTl9nPwp/F2IAz6CWWWY9gTAgd0CSFeIkwx1yObDX LpDGkwShOk4hJMJAkQfRJrvI7unKpb8J4gR6NJlp6kniGhFqlihTGZNmPqzMk0IFJELixi/uWqz0 NdWFywSbcUWl+axa9cNNOX9eLZFf94ms4mi8M9Ws2GpHaWVySovHiiiJ7Fv5jPlWDmbw6/uz3L+x ex2XwKzrnfO2+fQwiqmq2b1hWa2H8hDXbBlETfBEjAT434KGeNXm9ttAFPnIOj8z6ifzyXLmmBiM eqKKX2cXzI+T1DtzN85BOgcAUJ1sEoStDjw+gkIWaiVYFQsQDgdFZLOxRkqexFMr3M3pV2Y2Lrtf ZutMlIEM1+wHjVdxYBegCSxdrMh4rSQ5uAw5U3GnSSNr16epd0fDv9nF2N6+94d32yr8ts003rDN Ppflqj0xgUHcX2c4wH1TlMtep17Ktpm6TPnJExO3v2gj5gF/6ucTr49N8uT1209IKSmH1ls8Op4w 2zbY181GpzDntnqaExoMwnsXPCfizIczT2CLARDXVcPZJrTfORs3+aV9BGRK4jTTHbkp5ZXNPZUu fF0wWHrITUikq5nvPYVMTI4Rdo95fKK7uaM/CmhrYmEEzMCdxvnzFWU2adk4PdYUYZrDxDEjoVNp 2gSEhKaj8Xt+pxPWTBNjjQGAntmGrHTXwY0edq0WKwePSSKteKn6csvnKNSGx6mISO07+kbZf4ba NouPQxg4FuT5S3xk7zrlQrJn4+nfB8ZLlX7ZKYo4dI/ZZk3vjriZJi3+aurIbv59dTzxdHjmYZqw BMYgbA29kNcJim1WAIsyMPw/JBbdrDNajEvv1m+C0XpurFejWHnvJmtdT2758TtnPZaN8P6Yky6X aJiYSimjqzmmakL5iLaZ0rp46bGzWJjiVcvKiYcOTuLG/SzHK7rxsi5NhnoaefHx2DTjV4w/tc8n aY3Pj5OBn+qu679Id/y9Vgitbx8zMuwyzAzmULT24lxaslSRW7H6Op34yZm8Nb4wafJKb3MUPjm+ g7ZScNb2nTIaJ8TzXJ04zKo9xtt6jkDRYF71rhe8xhuPHWksnzTWEYBCjhVtC6TqdFebxryo429r dtvC/i9FdWyn685FoLnbYzFljcj1wGKJitf2z2T+Fb+Ty133ZTkt/Fm2ccWNhTwVQwe8Diystvfk GV5ZwEybhmwwSnIu9J2G5PI0dhRAg2KSgmWeDavTX8M8IT7KG93t2NbGC5LEDJm20zZiuUsRpGaH MqVuHgbM6NeXSnr34QfB8o6dmvGEOlvvlde2RNxQ9TodDscXMPgMnzzpesmktZ6i+d0OROB6HSUp S2lLrlkbZs09Rlhbwj5bfXeY3M2Wzt8FG0I144y+a8Z8zIN7lJhtBCG4vKOdeGVjMcBk1pYOw+jW 3Vkjsi9Wh0zxZ8qRsSmnBhD71Et2mbZ5/Ug0SIHJNsV2EO96WADO9AGcypIBbRum1FiKs2vcN9e3 UzOo+AJ5ZKGtVMkjr+NX59caiX3pPrj2eRp+GNLrnjuHf54vgFpFfVFibbl6mD90hOGo+t7ttnqc L4mqTJymxUWghu7EysLeq51LifPKCyZ7idNM7MCpMsL8+1GK73wJG3Xyzi4WVD41d66vR3OBkEX4 79NxpvED6mabCNxWVB03KTA41zs2wO7kZFLWZVbMck80zp0ZprTInxAqW189RsgQ53a7dm8w+1Zx h2QvlxFTsEmbbeMkRfRrOuCpEjElsvv9h0mdxibFhZjBqgPwy2W5QaSskdhEKiFY64QRvs2i23uy NVNOJ8086piBqAS7ZMPBogtZu3IZj213kONuNOBQHpKQXQCQwIDI4wkDGoFBkATtj8PqrrA4xjwR CmlyjXJ1GVxYPDO/sSbCUNlHDcbnOs62+daMRKHK2fY3w4yNwzMZxx7G1tv823dwvk28g3BaSAWd kakp5zrW+Q46uWrCbW6iaRaJMk1rzttIAFtNuzHXdbneya2x8wvH41ICjF4BXAy3ZyuYnr5UI22U 0bQyKSwh4+GMs6Rvrvttm69CpObHo+zU48GMjVm4hGsnHn1caFuDae3Q5WZZtY7ihcS+fok/w8bX LjM84PgruQZQY99B3vucYvMPxrEurMEUsczTs26bvt91jV6j5VO+qU3iau873fSzm5lZgHNPMeBS KfxVH8F6w+s2bp5qiIePOftslMsYd32iWh8rwvsw+C8e0x1KspNrcZVLZyyftdoVeVJJ7uGzc9Mc VVNM0jdwJFWsuYWBlmzbIDYXxLhN9z67XLK+DZa7h97l9SQY53TTnhkjubasXFQDzz7v4GQ3Hvjf u3x5AKihmQ343nhekd3DuZlo4tq+zx3d585v7je9P80at3+yoPIB6r51UvIvUF7v4NWIB0HUE/nZ qhmwWNyaN/sIDBDWMDfedmWTBqxfNzJCf3lOaSVXy1GbCy0VohRb64Gl2tK2fgJyICNNm5H2+ER9 elNB6tZSeO24/Csd2PZlj4aCyCyQ76/O/oZEEg/rIE+XRX7A3vRNFShT/JrWoJ/8WGm9xVn8WQVa be3INwbiKzhN2LcObNWwOKKrExyEkQ4QMkdibAtgOuJsikJIiEHG0rCVxxuMuSYGRym8VOeA0FCA fcDB0dUY2nwABWn4EUqIUQkVNsQtC0JEJ3m88Y9J5+dHwtyxjufyemCHymNcaSG/2ZG8/wWp7rMX 8eKHCJ/JP5F67PZQwjz0bZ48Rvl1omTCZHkkhMcfTAQvSgZ3T9Q9qSEg+1M12mouee3HT1C3DTRy X7ICe62GJxVzp5xFuyq2vQ65c4xe+PWWrVh2DBmQJmz7R9gF8JEvAi58tE6rb+Gd9lc8vnPaOL0X 5s10WSsq6ZOISdTsrKacm5HR1WOaMhAtv4ThhVXLOBwmSk3CcUrwsr4w5B7ZTbnY9aHp8/lcX1nd 5PRZ4147auJN9TDqocSZWuf0yfwyu9TfzjzreNRBlk9edXlE4c28vhtCrx57jHLa/wfR76xtkkmn 6Qn8d/LvznHNTQN8IlNmM6Gl+kb8TWO/zOXGjF+5Xyp5cRkdrUxxVY5w1R9fbt48Me/p6VnBxjP2 R+SrrH8XuD6edPy3vpdWO+XzwHdsbeeLxdchXbfyot5T+whH4407UX+ZweX+m4v+Dl9n6e2t37nd hxyb9WB2b729rhff5bpYceJHPhBuXj4+H5vu6/f4Pu/V5bMv5tn6O77/8em7v9XDhhz/JTZt7fn6 2Twm02q5ub7XWfguW8Pi8nuEzESSXAJgn0CfECgUlIooFAqqaaYxtdoEB/so/xfuz8mVullrSliG yOuA4MKySNtqlbIaHTNCYdMkxKdltuntkmSR6K7fV5fn7ebzN2r7I+Lhj0tw7dieFfdXdW2lZam4 huFyvLpWqB3eLpYI5fQhdehIvmglRP9Z94H9w/gOC4ZZDaH9RA0SSJ1SKU4uCGJMgCGDVRWtZqK1 ZXqysbOjQhtFYGmYxBtiLYRt7DJc5Emq1gcTqChaF4JNMBq2y005mDyJEyA/NG4WnRhkZiZNmC8i DnsxCmh3GTkJkNZAeSypxGfEuNFNwBmEWYgUxxiHIErFcgB90iDEMSx0YNkdrIIJAxX3fcdOvTg/ n8vN1lFD+OU5lRUEcyS4AkYVxm6/lhS/oymPD9xkKapWNOyZq4lRvnpZajHKZ2BOV9cqf5B0A1oc jrh6MPmBI0w1A192uuDcDQDcCwMmK8matSpHNQgJATjw6tNBVAeOJ2yjJZgJUuNLEA5jksgkyWxp sGkyQcJNhnMMaEGAvwPU94n9/gemEDSusahqpCCW2oh4RV3PD9OBww5HzrBXgEYLjmYMPFmNbMOE buGtFS4/8Q9JkJI5wMcSNXAIFtV4l4pCY7AeB5LqkdPIqBd0XADiSEJGOJi8TDjO1BZnBVjo9P2T obXjW4xDGCTTO1Ugp1Dv0zT9an5ULOuR3pkb98jpkqQ67NQ2dgDOsw0YyHNLRM4ycT6v3t9GfqrR /DRlbG5CDFBg7KdDE+dhFV1pRJ3+H9jmC0GPzvx/tAfnfwGimJY6VaqzAhCEIQ519T1p2FhzuA0u nn8SYqk6RoSip8dfmwPMyNl6Xxv50nO/XrJ+90iz9Fp0bAknNJ59JETjmJwwdhnqJv8cUJjVEK+v K5oW5Uxdek5xT++3ZKlDdEd2entxMIW+r36lCHZTeUvybTcGzdq61i0u078JNykTK4fRMU5JV/Tr x4r31he+y7iTnhNGfKWJwahGfhH4pNhIm49LEZeKeJWlmR+2vu0zT1tP3ldnd72aRpvDT+xM26yz Sx6VjGjE0zQ7HDN57237ZygkF7fTJqjRj0O6VPRTEwiTkodkGETlgBNuTQGdjtMA7AZDQxXJwoCA v+Rpy52gQ7YqdrnNBUuTVK5wzWv5eaTXsq2wzdlFzjGO1Srk9nJNEY43YJrFtCxqlcOGct6MNuet 2OES8vN6Fa514PR5zvh/ExgGnjwl7lAmie1Q/dpqPt/uhpXrqI6+rREUdzD2N31RBFWG2tCtJQya Bwb7/23D7kH9ohqUutkXdB0CxcdIa4IzPvHbOJGVfPIAro1kUuB/B/B436/LzM8TAOjyYrxCWBwZ ajUXDT+woDeITUSBEDw1ykWFUHSj38aAyTvGgNEvjq9OMY0Pb779+t9KggNanezve9mfQo5zbOvp oPpuY9EAsb+uiCnYQnQxu1w0DGe6ufORwLTMZvPGBQKwbSIhmfr2s0+tomG2pSfZzxy/Ttr46DPv LOR1mOFSR0J0NNX8K8NG2ZWR/k/W70w/s3fMmdyd36P3C6XtNrO/s0iEns69lpEfBdLi3qoucpSl BKO5eYkTTNz36MFJLJD9r2J3SspL6XJV7nby+D4Pg8vL1ejUtbRx2E2h/T4wMSnl3HJj5tvUbdx6 05v8V7r1Bwl9sOn0MvlTBsQX7TQ3JCNHV1ty0sY9pdORDTSMhEjjz4jm92ty2t271hozWaK9uMGY 4ylIq0FHFbBlGnJZGpk5+iNg8Q4m7nYvQXjAPog5w8uR8Y2OJ4c12o9bwpT9+IiIuuGEJrqVvYKb Sd4SU6x7pce3rpDkYB6t9evJoFKV68pc1IUi3EKQoOtWzG0kJjrjAzdYutkee+nbWAF25nblYzQd IiehdrGaiyxmjxpQutCHPAy8QS5wHWApq4sXeWamDVjbH1x74wBZd3dypmZ5VVVXgPw6a5JSKPnn XOW3hIIV15Zbp5mZdDb4M6WMURZYxRFljFGuoGHSXx7rjfGhsZmcqS/LQoCaWe2TvLADNCfL6QDI CGQHox4Nxcr0IC9GLtm8zp1iBy7xRoy21Wt676QuPYiB4gZqYXlCfVPTes1AXMUSoTuCSnEekEsg d4vbxlAWmnh2pJbF3CdipEdW+lCxd0rdatlPyta1CV70aHYqzbCr5/13Mp4EcGQ3hR+vNT6D5D2n usCJdX6NVfUWK4GAET+Q/J/y/ArPX+K/0fd+T8YA/3iwD8a/TF511LY+nGBYpIdL2wBi6PK17T8O H1ilsadEX2Z/J3xb6nvZ+iznqWtVfp4C2OExN0cssFjuvV6zWK3LsvYJq9KpQfqCcKhYiC5nHlzq tPYdcpfkr1h2dOmTeYi/tX7ufPpKQh2VUho60Z+G2f96pebQ7+WnBhq4XLDbvTb8Arnki2wfbwzs 8njx7taZJDNxyc5Yjj3ozeBoLshYCpFTULd9Vyz5eNU0hU2rMIGrgCgMmX+e9nz3NcVjZoZrGhxm crn9EfIse3A2gCOuIPZ+FPcMrmP7Q1VY+b4RP5pgDu/JxyTfh+OaZAYjcDj0olqwNA1mKBzzulSf hZQgwCA/aQQ7ZmYQ51TZLDUyTQAn7Og4MARMp946rgcKkrWjQ4GzWJI/gBrQBvQ/kG+Z4SpElipX cCTSaJ4H5tWcb41CmJJdREaam1XItJk0jiRt5N3dTY73znCYh+eOJd9NR90u2uNaXivOjAp4zj97 M9ONgz+s4RSaVjkfygDysIJBJALg1FNNpSm+lHMBHcTg+f9bi8v9V+1dI8LSypdsphdQoSAmZyw/ 7e822mS08y0vkFTt7w1KgP68l5ZXAHLMrIgNQUH/MnGaLYKFghieKu06iBtwJJJm5O+IahdxXZAP aYjdQP9C3MTBXz0QDFyOWSgYb9nfyvWeKRtGpFlUEvaLzXWcSOV6OHEI9nFT8afcNYYX2OEYrosC Q0VGjFxgMzFKoiLJMYaWJWCqiSIgCkdBfZmFrLeCIDkiRIKTk+EmUXyxg1P1RkWzrrx42aB5ogV6 CO6cJxmmCo73z67jaEkQ0rB5Gc4713CepvrtlLmPtF1OJOqittoPO4bMTgb1cw6zl/Tb96/eFJ9Q EAgMP55nPdBz/oW/VgDD9lw0Wz1BvZJys6l0rSaRUhHMlT3f75Y/Wcf+HV/su0r/hq+MdJ91d4HV Px2w9cBxYkTjYMkihvj6xwcVosr7CBzIYiJCfsz/XovLDAmT5sB+jdgWE/nkHIo8wFzhf77YhDeQ zh9ZMrVSfpA/5rb+7TzrmDdCLAPXA0gKeOrp1+e5hyPCq55/subpJ2TdYpiTzRdB0XhYOcJL79dN nmXzCyDfVpQyc7u/l6bNRkzgh/xWZm4prYsDw/DvxkRxFiwDWfIfNfYXMPUXr6CRCScv64H33MV3 GRkRBS5A/X4fU/IVfY36sP39nGnjMRyWglrdjkmQTUmzA9/iqh+aiCiA8fDgiY7IYnXl0z7AuR+K bpLADDh/bDP6SlPsXn9qfy/0nP7ADdnkEjXSwYKv99nvZ0fyO5ENgk2lj9iyxRcwUZNpzYhh5AJS y2cSxIYAP+qaux4zbvw8kdm222OGt5jCeer33T55fBKTlL+KLb+I1PUNpXccDKTheGhN6WNeJpAa uH5CR+13vCBFJJxR+Yi9HgCdHtIUBaAxChts49W9CJVfiL9RQMNaIM+QftaGf1TgKhbP9j6+JI4S EkccbY442ONkig4pCVIVwcNGj8hy7nVcwmhS9DcN8xNx/ztJ7kMo5Xs8LX8HdbJULhd6huZMnRXu IAdx4wJ5GG2AWgoPQbOpf2z3I6NEJGzZkyMxBQaazJA0nsYMH7ox7AGvyIz6G2StPgO5peuj1XEI /F0bTshVUpWWEY6KFlJURPUg1WvEBLxR1W0wWGiiIo4DZzDZ25J6hRgheD0HSJqY6mUIEGXauRZU QcF6R51eB4I+AIsRZ6ENA7oEeTTbDnsoIBzLMzkAeEWkJJJJIQkhJJW51riOqw+tonhWau6u9azi dWYQkyioyo9MG203TGNL/Q47uOnQJuMINkgJuYHjjgdTZ5e2J78265HhVRFRVXBh6icMyBgqKh9J s66qD0eVQiaNPNDOl0LCKdGsidkvhRMdTHb1DNnsYzc51+32VAv0/PAguwNJZgmNfr0aB0KsQkQB cLy9FaMwwwjc0Ou2O2SVW2kjc/FJMGJpiYn5YPNE5BBsYCJTSYCWAmAQkAnwAuF0/NA9lko+o6gT xXsLjug84B7f5e75LNQ1Nv+ANGiEPWF5E6w9hGkPcCAKAMCrL9D9gJIwR9X1+U1wD2MgRAjADUV1 AMQGCl0mQ1DUKC4pFlMMIEIRNuQZCKNDCBAz20joLOhgD/PdiPYHuih92GIGA3U+0hT1c7rsNJ5S jL1RH6gi+2mpBhAsEIXebVVVUVcvbmgJIiqqqqoqhcc5zCSKVYrtB24rLmcGM/OiRHfvPAZskDTT QtAAUAQEiRKFD7xM/aXUfdJC691P3zdvlIMv8TTZVV0S1BRCFBX7YnuAuAe0z8XCl0n3Ck7RNxv3 mYL/YLBbuTdwhXET/BYK8sEWCd1ZySWFQ7pP0gyskgoYwmEyh7Tj43YPKkPkwe0MkKwBsg9AmfqN GLpmDkcBadJCKGRGIpXhR7KyDvHkrYgQJF2fOeZ9KIBzqqpTt+nD3nbjVVXK0L3cx1BvxSxfCWsu EMZGimo6b8H6nTMHWeulqIpwEGeV+vrWpFr08JKFDn7CB9XkUQJZbgiQD17iJy3lRgKB0KA23G6n bpfn7ZmURFXLZzMR8ObXo7dfGu05Retbsoh4GVPh65sA2ESHFGheIEiXh5gaQMYlAQAxsdEXB4mg OaFA4jws3fpN2MxTyISI8eZNZ86oEDN9eArqDnGcUHcKcTZIbrAyTurlBR+sfeATte7cAdcTu6/a eg/F9+RqNDWa7loISL8eUlbNpTmjaml7wEi8g48g8E6Ue06Ai6oPUXJwTSscCpXiGCvjADwWGjgi g7cidO7w+6e43MRJH0rEYGwOPO2v2ws879LVKhdzc6PdYPRmt52RaMbEX9TAndwxz8eG4ZBQ7NNR BI1JEhPehedg0CwF8CiHHXpBeDMkpOnpQ+R4czR4T2AE/WSAVEihAUCQA0iRAUipQn0snHpMzGjB 5fgzTbMyFZYUJCpJNSbI4OBfT+AUmOXGntNEVUolIEyhQqNCCQFJApAdDRy+GYaMNRolNVM157k0 eceSDqjTwGcyDUnBPXWGKjpm6FAkYD1TIgXcQWSJRmG4zygIEIQIGQA2ErEjMZ8Ox0+JSBRQUI0C MhkhhbASMAcDsnQcTC9s2aOKEgUr6IBMCA+U3GZgEy0ZncvFiIFo4XISHdySEkJITCHwWYx1YNCY U7Vf4x4j6JPpEyCgKWS6FobPJaA8SBeTo3TeMRisAhFPDjKHfq2dxcpLxjyWNWBt6SbBykDnr6eN r4gFIy6Y7zYQILcQ2RbnoH22Vvz39hR0tEtTrMlHMhtFTt3GV7zlET1b4t5ebzIypqlpmR0gyTjv NswtM9JeIfT3dWxrbfbt5hlEb/JJ2jXky2JdvAhgH3p19ydIsT+DkTgGxNNCzlnJshm7cCwkTNJh FvqlaunSlZtMZHwA4FGzpIMuRqAgHRITFCgphDjgjIpkAvUkEbIqGbWnzi2tyorQmcweGxVBbn3w 2BJll2YVLiJjSdTmjSuqqQEyYhTXyZP8YSYkVDUkFJAkECEADfu4zmHO+UvsM992InBQPf+H4VW2 rHZoLPriN63VbarbbEkkkn2UVWbhObcrmoEcBGrOGMziFwbxDZtohPPBwk2EcOjGZA0EBGGDEkfC oumZmZ6POvHcfMCROwMMm4+jI9QGLBiHsNVo5ObpBDqJ2gesgjSERCoyCMgECLp09tV951vrxtDn mk6ruoPaEqlCIQpJIWKpq6IXp2zRmGJOY5kYxGYYkMwRa9J20qBo816IoKDMBh8kcz0PbulHJX6g QMw2jsEo5pgYTlFgCXMt5MO6asSzzLLquGs6qUzfH6uohCTxLlye4rda8cLOgbCYTngIHSSBIxcH iYT6m+/fIHeUkX3YZOYWD5wcGRi56N1HFOwhg1h4KBUkoIWeM9sbdqJNdGjAlBD6nk3Du1mdwvDk Aa78CqJyR7TLr6yzYzQRzuPWv4c/hOA7JLpKK/Nxjg4VyEXxpWXJi+8yPyJh8V+EGojZ361r+hAa TX+OvBLHOkuliR7alGMfKDgTAwIid4Fbxpok7Hj4tzQbZPGyMQ4FeHDjLp0uEN4xi07OsnLPnmKO UySIOzp92BoRjAg4DQmCVSdJAp4BG1Ve3F4Q9RLYxMUdisYmNuqqd9ZyBr2l6/huWle0W9LvjwWW XYbnW2yp0yDdAblPIn++8Dktkbtctv0YeXZrDjTO+Vr+pw2x4Oq3gviJgFeWauJ2OUTVJGuszG6C HsHhCQ6aZ1WqMgPDz7V0qwLfxLG6Y93AcOXBFuxD0KL4q44OqZvPc66xiWPb34vaM28eHy0t316I hRi4y/p/5+nBeKhJJztpkkz4I0IfZI8j3VnwZn+G93x5C8s3vghmjvE8YBu056jHh3laSGdGXrFF dxwuefOAPTKGo0iGZ3NnWDRt7TRzt+GBqvDo54cxXB5LTlwrIrdcWZONC7IEJ8zqA3dJK/Eu5WF0 2OHjwKZDKA3WdwNKDTIBwwKFdExrCd3UPHHAbG524mDWBGuedaNcREK4cHCLGMZsWbNo8Oot5yk5 vl4jNQUcIS6iHYA1dUG6DN/DVAfKII1uG7AOWtyDZ54lBFQYXwoBcY0dJBNn1jQungk8C7aCjVRy x3mzeqbSffUYNgxnDBquolgoIHDQeIlbvSVVsIxxzT2KD5zBb5FoViCNEaRGhD2aKitO7maMrCtC RKdHWXvTN1vaM2JJZYIxA1BYzpDVTM42QpMGCmRIsuQE7bwSSUGg7OAYGx2bPM4DZycODoFRNRFM bHmbHp0Nj1TmcBj4dNwQzETEVJBzPRBFQlKn2QJuQ8AuY6U8h53FSyDuV/EJkPb15G07UDC8+H1t VS8+pA2sMuivIuFdeNdzBemd8dJ68fi5TG6/hrYap4pz41gNzg441xksIrGcBGdZzMCsymk1kuF0 mcMTJsmaRdIoYXgFa9F8O5pBRuw/UkCIxUkSk5kDMTd+nbyMgNjp6L2Ml9xQJThrkMFYig/jkYiQ ulNW0BjBmD2Dv0QuKChdPmT2QFimfj4jGx+aN8AhGY2PuSOfGFJCKGvihdik4QOQX6UpC046dgOr ZBkhAFL4FfrkkG3M3rc9uZmAGS9Zj9luOMgne8purvrjvyhiQzggNHIwY5SONsYz2prvsXH4lLPe b4U0bgL6RkQNRVBQslVSlSxDTBFCUFDbwTjg8uPkQ3vqWEThwO4r/IzPpIOVhmNjEa3jNQa/eaas 0z6Dlb1CDYN49e/7HY7e5RaRjMa2F+1PPfEDYXc9TgC6Dt39sUcIXB56wDXwmn2Wp/nc0SBjKASF hunwaqVZz7+2th1co0urWQaJcXOkG7ndSTsk06KO0zpsGjMk0+UMFgIJEkOAgbLN6zkDgPym5Wfs OdfoFxwLxVbbIBQ6HKwUYU96UL0U58XJ5zbtUE1oDUWKbkWEX49Yj5x5OhVY46l5vWnqwJk8u2tt Lg4B7EUuogp7dKqdWcakODl7a/kcQpm3slswb7Pt8Zj4bYxk3bwvVoY53QqwWtZhm1d6T0VcVbPZ zblpS9IexOH4P3wcR0rGTYTkj6V4kGJB0FqYSDoEIMHpETHIqznNOTBAhJ0Ttb1UeOYA8qCOsQBq KJuQDY6hANareIbTpAUPjA0ROH0fFAdID3zv0yVYZnXy1sTQDS00HUIcOJrRiiGc2QiJkKYiD5vt TWqqp7CRiFBeg8s1R0X7pU6qkbAcXGoSHEqQLNrKVBy9F7zsYNARe/2dPGtRc8NGwd0RU1EQWQsF +QHvAgew3u/xz2vDp30b+r8J22BrL76uqqioqoxsvEYfBZeYd4PONFy5iSjpmXJ+kstWBe0U/vgA 9Pn9knY0xZBOHO0QZZAJirSYjE2QGDMEBhUhkFfiwVcJYYG1ywyE0JFCRlkIESZCU0pK/4sw1lDO uWjuFfNFHMEFCAd3xi7puqBgLI0NH3ttO2H5jHZsvcYed6zMSKWHHXsTA0dW4jAOOW2uFgtHGFEQ Zicg1Y2MQaqLnpwmULE7E2KDWdFzTuwXCOnmfHTxYeXpTM5TDt9Sek2MeKCYxJIxMTFSHUko8Rtf WOJqSqHUtEyxJc13beu6UQhx4JnWdGJaJS+Rt7H31lvTJIWwRaMJJVw7vVab7gLjCS1XJm5jNizX oz+04MHfXYfeJaCd4GgkHlUO5A3mF4NG+M7EtUYisSVjYyJDdYPqGxM5Y4OyBwalGr6xYzQKKFlQ mTN3AhIfjDR3BkPFMtaK5mw0jqYqsDdXbweyMJxOqSXEDWbDBtE10W9s5Xx/AWGSAF8xbw8J1A+a 2HyAMUXnT832ioYMsg2sMDUOEcda92tJqKcFsKq57N+05YyJJ07u5r5almYhlwYbSlqfe/wqslBC hxIQNkVNNAYRL56KrQ07reafIxxtNIAYhnef2i/UL2F2JteRhqqqqqqFPSnrt+rHgM3vYC6tQaup 7KqjkuP9qBKFoWnrIZMVFA0NECj88ANQIRGzSdggusuteyAY1JpyNJJyTA6ITEho4OcNUzEsOWVs JHSLSgkLAnMLbJBKRi7KWMHcklUcA+tTn3Gp1BZcw+WHrW1Erh7JCfvi/WmOpoaA2qmp2OfhVorG rs9c1E12ttFfPy8Me8xQeiEjq3JxlMCRrbTsqI7adi7TwTAYCEIYkLIMMRiKSIppxPFIA1GswdWS k/hxXAI/x4BlM3FUEGYZHLNF4S6d+0zwT3L6TCKHNN690sGsgKQihjP1C5i9aRG6Cf5iyaBc9mCh kLQfav3j8TJPUA1cE9JtPHediSEIMIvX5/Xc1Hl0qxKI1IwZaVimqhOMwQklKQYgZxiQvnSN6aAl YRJmKJuLVdoVRtIk/pOmWlImoTb5A4PRGOihmUKRsKUtoCzkHPPiChdmicsqGJDyTh6ewP4j2nOQ oUmpSUIkhaVYDxhykKVKpKaADkfQX8ZdS8Onk+UWBo4cTkpuhwjZOkN2airA/V/lN1qRW5V41u8Y z8LxmM41xhr0pKyQUJ80Hw1KfEAzTshOT5KEgmAM7HmZ0Rh+K51ouS6BE4gBXxL+jUZIhEwnK/Lq UGMCMXBW18YDcIXLnAVNfyEFEwbs2aixwOWgkhCJZJZEhiJEJZFZZGGBIEVXJ74uw0RzQzH561Wk k6Bm9gj9+l/reY/fPn7FKUBBLDEMBLLJCZdonJez1lCgdIIrAIInSKZRD5UIhQHTu12zyv0wv61x ZZmUWO8iRS5EdQaIu7oJ6lw5GNRuFC8JLprwqyu+6hIBISOpefw+bbwYpODJ8ARfp9ydSEGCZ7cs fhD6NivN1bSSDeOsZry+w+xknXU1/e1L2MBCLJrVUSkDG4et986Hvk9+yAjjMQZJjqeDsME3N5OR K+/KRuFKhwLynLIIMfpWNn1HQgN6kMx6ppksHWB4jAhk8iGPEtAxhpsabKWqUkkaCxkByjre5Axj /Z1o1oRTVqwYley9npCZVAlw0KzaUTxWAnKd9aEI5Q4FgYQ6Dk8llIkgoQ2muVdgxIC02FsyYdJu QepE8kflA4FR+6IJ22fn8WaLYCE36zgeUyST5rWEzYIXh1QXysUBGWUjHWwkCCbVdGF+h9esWlJq 5XKsPR7xhiNmnlxlQUUU1YiqMbCIIJwbGREJJCuNCbCFKDRRO0hVJBOmpmZCuSlaUSoqaMRlG0Qg ht6nq1h2Q86DDsnLQAod2pTt4/ElgNRyTo+HLl3X0csoMky9VlNFRSEwJFRQVJ69viJ2Dr9bTTTe nVepF7gdQMl/5oCY4SUfKfjuJsURQ4LoeHAVKE6MOGSKbp6AhqWHtjyORRDB3Y9F0zBafqhsFDcV JRkFjFnrOIwni/szEbI8IdsOPZtqCIgu6l6WEUzogSlCSauQ1efX6HttKRNqnwgYvQoHRb45km7b VtJW3FipiEnz978Q69OnpvtRo+WvkZ5CN4yPmhr5PdMFcNh3ZCNX8BtClMYYIcbxOEeEudLC3pW+ NmKsPCN3KgyWO5sg2lLvts2/hbo/R5J+5BegxbJyOmGRmGHqny8tezs8BBeaTDG+yJ8CGD3JfF8a j6dZOZQYGYBJmAZAGGYLkaBg+CHn8A0qFTCckAByBrypeOZLxFDZuSHXQbgak2YPFA1puvEi6R24 ZnNm1YGtTFOLCdjgahMRFXAqqopg2UW2R1qCYBgF0mgmFU4YUHPXx3nmc3iW5q7aIJAF8sAbs2SH wg/5UKA/lA80G0sKa3CuQ2nIOP0A2w7xrQSZ2Gl8c75ZJUhGpTFILygl1EyOEZCgUz2i4UUMzq6a GRn4FsgsAn1ip7jYeAvokGhT5JTxJKpNQCJLUiaBak1echdaK4WhBt+em5ydxvi8VoQbaivYZnMq 1dlGQGWwQTNurh+JUq4BQez1Ifb39PxHOfzcwCc2simk/BrwFWMRUr9qPr4qNDMeTtjTQ2BC4Lz9 gUIe/M9+0tUaFd87hGQgTpJDkeydZlLFUq/l+3dqPumgJOtFeZjXKre8gblBZ05XhpTw8gX1bdq8 oEZIST/Bz8DNC+j+D4OyhpDGahxUQZWbIKRb4FlQwUV7KLPj1JYU/PGjvmdaOomVBe+UdbdOGm3G Wt6BoyXVKQmoM2GJSrKR8NBgPC2wpaIpWJKaEiGSBmDV6G0BKNpO27rZBas8Gl6GkES9BnpYOxiH GK4zjQZPtSFxFzp00LbpIKQiRgooSIxMwqMBMlM9WL3ldbifhBEXn5QVA8/WDDhkMTpDuxFQqQMp Sj1i6HSg6CUXx8lMIiPXCFVTmDp4LvhEpJNXaUXS41Yt0wabrr6hst+CMHnRsx8uIJZ8A6YZFAw/ 2uJjOJtVSnBd5o3NBKRG1tETINRQHB6dsDsTXOXoHci6AVYdxv6XPH5g53mMpN1qQQHphQ5MHmnz aNQh7bKcPeGjEHUNmBTiYjSohSzFCnINLikDHJwoNFqVgEAoWpNtMBiGNQTJ5jpiGShlYkdjmC0I RESJIqRSmUu1Ih2Qc15Jh0XIA8CACLQKgDFczLokkk5AOyGBJgto4Y+pfUoEUUXxBGMVHgoS2UcC EtSIFHDocyvSxoaG9haVTCY7HIYYyUizG5ydUvOdirsk60IA8QLGQpTQwTbAJnBa16Ia1IMDA/OS B3NBncicSuoNBw57yU2kSABU6GybPQNr+g8vc8jJzHBHfz+Y1RT6bMzIq4eRyEKDo4HNIBY/MdRQ nEgplE3Bt3hyIcN55mz0NKQXliWLuYkHqX4mYVcOERIOSIpt0cEr7xsWVw4apQgvG7CgeLQ2CaOF oSdllmFYp0EO/I64Lw7whoaRjMBSLhdD3iijcVpQ1IM4YFOzDAtOOAV82OmQ4V39Dch42AYIGpqU SQyEKC+eFRRKaIRVPfsk2Xl1FMC/ohOx8o+mBIYj9ESieaQvgmBQfpnJ+DD8ha5fdo5Q8uzh6Yw/ VmyaTbPPRsNpTR6EsSiqIeAC8vnEYJAIJYNJuQDxDBIVDsPQ6fK/vTlCJ5fkwTIzMCjCFDIU0Kfx lEUUJSlDFASzJFSgeCId08l8F2gcIIG8D86D1/ATHiwIn8jIhCbKoA59YAL9eRUJSi0Ac0/ZBM0U 1VTK4ntD2HNA5qDsU8KHYuCYv8UjSFKzUpQIFCmw3iEgRip5A+3enznaHY8JQh8ZRAzgpSDdA1mt YaxBHzIIOT0UPMmx00LBwGm0Owz0lgLqr9dJzORSKFETMecgQL5UEgRSHp8yjy7eqA4OgXI7g/0w 4FfgnlFSs3fACLomnZiwRaIFqOoFP5YbgaiHJciOOFNHEDsIA/qrIOboGQAkaMBO5bX6FB4InhuY qKHkW6NjAdCr6onPXAY7KBKBhnSgFzaHRs3WgoTRhz4kVDyoF+I09DU3NAnY1T4IZPHXOuq4vWuj YIxhkqLmvIVDX719PI0++G+7GgxmgpiG+RFPlTsfl/hD7DOx5U5IQ19hJEWrawJXeecgD0id733I BlKapxS6zJZh03eZ3iGSdZIlDc/W4wb1RDfNMfcjCwIKRCIEYWSU57s1cpISMlLVkBmOpRv0nUDA BoHlVAdR2sE38H6vazXJMXDAFoVUSBhhTqRqLuVUpQU01VFVV5Ja2xeR4AsDYb/y0/aKO5551Lm9 hp1m0/eJtgCIG9HtMiOZezi58LwJOSZYFp4nigdoO5quUxNJ1qbjgLMGCHtM1Hg7HvQOYCpIEgI+ or0sUgEA+gQQfPCfLnIzDIgsYY77B8VQV32SeiGHTOA4F8ugNO07QM1IHZRyIcb6PRcWPdHwlEel eNWsLs8DrvZRkDSVYuqofOSRH3+O+AIdC90+CVEwSR9uLi8MVrXcSCiOImCDgw4dWOT0VHHZJJTA cDt0crgUuRjf3QJFJGEa7zKhHzMsoyAP2kAYTj2G/6dHavraBJ1L6pbIwHFdYMivrv8gZYdyHWJy d9LeZJK5gBvsQakke5DxDaTajqwmVLzc17uYZCaD5iVRgYlCZIxBX+PXMzUOlwEiyJpijSg0m2Fh WiySHaUWIxUDQbJDJUNbz2rbiSQoqmJCEupGNGMZKxyzg3rU1manwd5NasInz2jlmctrhQUSydI8 3QZFqpefGJxPycEpvopVfqI/VgKVi7xV1mz7+AwUkzeGYYf2OsIWV3sFDAdd6qqQ6JQczjE47tFy UyJ9RS4YKBZjxkPm4PGmjgthHYntBA1X1qPv9kxNKgT2HeAplMP0EuouckAtynIODUrg5G6YaqX3 e+JB3S7yBNAIbvsLLJQe1pp73eewX7Yj8iBxx02I2NpbfB2g+9PmWLrxc3BWnlJrCnYQIfSuofb9 dfDjj2776eCyEhLuy4SBH8aOMaHmnVBKVG2Jofxg+NjAB2tV6YVunBQA0nExcc41VNU1zu+C66TI yGViJ7oBIN0UFaKZC1yResnpixCwIrTrSrIJ4sQsJyaF9wr3AHVaId6kKinxXNDcHEIncFPKUcX1 PH4VShlX1/Q0tMGyGRv68LkN8jwM3PcaZmgERXNpQGhI6B9Z4g94EPLr1x9haDw+WbI42TRDqCEj HzQfmbNdcc6MqTz9NYWaFu+pgCEdU9SAeB9Okmuh+Wq33sz2TzVhs9lD9qBIMEjRSgHM7hhz8/MW BA88B/QlNBPyElAwS7NxguF8w+o4QOIQsVEIU+0stW6oRYNUhRyHJ8i94+JEe9CaL8QqBpcd5uRF vT6+s6GJCQphl+7pcVjFklY288n+Zy42MpE2jRuezI7vKaOo/oSnz6vjeN9Oqlb/5PvEo1PCaS0g brJ4Ssr4tONQK0aEY1EP9caCIabBsoCbDloaGiTyaZqKsrNUds+WcXihG3qG6sMYYzlidyzslEaZ UxaQxjDXYxKVZaumH3Au8NjY9bRxYxjkW7aTDBSoRCFWfaum9uwOgGqw5WQ+mLNzOHGBIl3NgITM feORjvymLoxvQb8PVaNnnziLSEybAIbrjTQ1IA1fVFO75vCN4cChssYTDMn2k/cYT28p17d+BI/P koMdbUbSsU06D1j3Qn3UCzVsDFAc/xtqd6sw9mvIZQRzzZxAl51hp1rbbOR1G3NlYECblm5rZrzw FtVgPG5RipGxBjDdMPjIm0Y4iNpmTjk1A0pqTgCbopAmVKMYTZQ35JF0lBYox7zEDWgDFCjzw0LB D0jpInEFEAzmwCoG5IMNEgFLSobM4tM9oXJI3qN+IfpWJnfXxdXYQehUCnsRL01rpLS9gDK3r5TW SgY0JFtHmhI5MY85VAZUQIfFAy9zx6Nj/WkknwggYfq39gu+ZDoahZyfDD1APDsHRjRwhbnhcGcE I0erS2136ldyNItFicAdfT4nwyMD6CeUeBFovdz3zUSJ89/h8urxnP1Io7orZnVTQSBE5PwLJGyS EkbkikkGNotiXWkwcPs3gG5p3FFGgjElkiYIgmKovyxg73mgmvyYZvejQFpnCZMIcgiCIIliiMsj Mx1kGMLaFaDAJvILG0v07UprVFUMB22lttsrYGwIRtacQ0FAha8iVYjAHMhDWoBjTmFyxH9xmC8Q b34VgMSiqooaCmgCq/h/j9P8fh/Qf/pn/Hf/j/H0Hs3nofoPiBw+2Q3OP5wPGC5/dHXqA/jlKqJJ AQ/MLigbiH2IH5jHHNTAjlgL7zGQO7YZl31qNZQVX5SMoqqf3gX8P8N9NfEGy7LC4CBpp9z9gHAf axDAfytB5h+idkCyJECAF00DA3/KcgeBvD6xdIJA2Rcv+arcJ0/Th1ulwMiAvLbfxRoNGQhhARFg gzG6fI+xw7bZiTQowIk1oiiS9OgHGXjz95mtZf3Dt3ZD8k5CHdDsQYGkKUpgYTLBPE/QI+9B0HL1 EWr7DNkWlQuWhmIF6++nIh7cJfyRfQHsX7yHX2wUQSgQtEEFKlExEUSSiSsLRBDKEpIowRRQgkQE kBIEksLRVDSsqR8piYBI4YQzHxshpYqeAxCjSrFEwKQhGdLENqPCuwWkJhmCgAt4cSCblUyX73Je ovJzPZPd+liSEiFoHT0EB5b6UpgFCKHjyZbA/A3svjclr3xZ7xqoegOi89twDBJCRSRQ7Hr7yZmY fbkZQLIkem42b9vgjkFnxpMEDEPSn0F02JiDgKOGlkPfg7qqqqqqrQBmVWHepzMQ+pIBiSO/rlov m4n5vu2x+t+V+esvMcIX8nPl9sr6OGiBMfUffom0pH0RvAB94kHTJBQfJBkNFFEcHGCYctR38Sx2 oboA2mniuLEkFNhEN1Uvb+bm3uhlRS8BGjz46g6ZkC71bNVysesCc2Hmo2PlUh80WJMa5vGjtkwk LxRK+3Cx0X6znSTrOTOzRjOSEvG+iWy3lXBxJjelxsbDoep5OhuucMLTm3HTGJXJln3b0m3kDLwZ p8A+ZMRl3opm4gs3eQFipVbiXaKmpL5xEoSe9t2zYZmg0jhNHRgVbJMgmROkIFibj8mT4mhnjtDI Hgl2WSB6Je9QHffI0jzqR1Gpm3y+/ys1uVPXQ5zXnOux5cxXkIwJCHbwPRVUw08yEzNcDoYXlDSF POEw4RwWgdYpDItFowFHFLnJeY5GmQCqFvMkj5GLADQxHK5MMSI0tz2AR2D7eI5CsYgKc8eJFIMR +3zextB3GFMGAivkdQAKHkggaWAMYLybDQXoPykYR3CbHwOqavUdxvtzCKVCkIAYEhxONmLhLZ3x zejSZBMboyJuCGMD9EUCjDQoQA0b0eDXjN1GZl7XTAgNb95O+ccHMVdQQaNWkxQFoAZZpAJjU8wZ LnScS+jjjNektuO6hJJZaYwxMzIuYe5k7HYp+OYXpmjHlsxDgX5ViC9YAGu0kDZbqe+KHfmzhcFs dxNWyEXuPQHPkc/iVQznn1cHGgBDQSQxeb48SbeMkeW0FRqjQlQTSRCMAIXAaG72Eta66MQeDDHe YiSOl1TcI0RDpJFN+7nYw2vrVG6pcCwZGzed1rXTqioSJWLnDgmRoajgb1LMG5tkscbrVYAJAhAS KBZ2Cc+Cw2J6BCBRwKDvICWAs6Nc0pDajEV2m6ixyYlJlSZgeYCB8hZecdDVqNaHogfgtxIPWejb a3yMjvqjoHucxFLHeFugJxKGxxMjgAdoB6ABsiDk6qNZ6Rest4HJpAk7EZBPM06kcz6DbjL6d2PP JWonnBMxwccTBvn6uu+B/nuK25nYXq+gmCGwRzm5YhqTBV7gBuhSdHUzkTiX86zSR7/9rdHal53a MCUkPc/SWYPbetLZgrVC+GEk9UNlnbHMRNx+9DcOrwP9K9609lz1CeQU+RMT4l9ALwwh8MOdkD4y LL3Nr+IT2vgbNJwB8fp5Dz/ApFEKUlEQsskSNFCvgfFYvUJ4JQQEisVXjvy2fkugipa0gfod8nwI ZXBxwkZq7Q0egfLPq3j6wCAMJaQwAhCAGUNNTDqsjwilRRHjXjKRc0QZeBzIl0HyieKbXtEr2QT6 3sdGscBgfQIVtUhqgD8fypgmGeNF83U45bycIzsx7/l7f07Bd/i8aJBgESQZEQMciUnvt3BIS8LY CcgcIOCWggo8f7C+vHSHWQ4L5IKX0Hz9ae0S539Y4yW8PDGMkgWEvtLPZDtjW2IMa01mvd74VIyB XJBsC5A6wKwaAi/5apdfeVmVpwkrClC53gD1TcjUNn4b5Ibs88nCEhpEBt3ASBvraRNv1REDxIA3 IbTkdDrAPPd1mTkcJJUAoqqDCJhdsti6EEhhKAPIAyrQmFQuBAND5gUvzY6FFXcqyMPIkGp1L46b baHtaJ1n4/C/eqEKscpyztofd0Nce4G3DYdGFAiJOfw7uCmHgYq7w2TpXZTIDh1wA1ApQkkLLD5J fP56k7SLyNPwNl3r4pfrJSjxwHpA+b8oXzqHgIonCqarRF4GMOqmVD3n65M0sZFhTU09OqEuE8i5 0gTMmAiNgSowrqQZhUBLWaBEGM3VsKJMp0HB+K9afUJIYC/sw2AdAP5IFoBKqJQKEUkEc8L0XRRe 0ARhDmzkFPAPo5IAkH1x8osoB9tVv+YE7j/R75MIDlwUJ+7/pSj55P31WEyaKCRKIie0UD/IXckU 4UJDZKWPKA== ------=_Part_3617_693326.1105418142240-- -- This message was distributed to subscribers of the selinux mailing list. If you no longer wish to subscribe, send mail to majordomo@tycho.nsa.gov with the words "unsubscribe selinux" without quotes as the message.