-----BEGIN PGP PUBLIC KEY BLOCK----- Comment: A working program is one that has only unobserved bugs mQQNBFelze4BIACjwM+2/y6cvYwRWrN9YME9ayMZiDAIQeggiLZu/LKDZImCqovC aerVjLOIXO1YX+y17rIxqRLfips1i+gelyOELu4GkNGYXkQ9o2skhmprHIpDmKsa q+xrXrynUCCDBPNiD1e2HDu66HzZE2raVpQuST0kMMl6FwDXA2qGyv+227N0Zaoe mthnzffpcwarLt4841JmdVaFo38XlTWu/imKXTCmxiNQ8jcdDxdFcYaZ5IqfFpNx 6vOowK2ayjqfYuerQaVN8sDnrgVBBT/fpw8abhXrj5NH3qTpGqYJK8YR7PJWUSba ASoPOhXDmOnXCUzYFhjH+mZmUXyz3D8ylzG+VpWWXVFwHt2MHQzOmlJ9VWZRJAV/ rQ2bFA8WiBWyz0rYUrdYz7W7RB2Bly7rAtqfKIs2P5054hH6N3yfyP5lv9Qu53gZ oUF5WOpjSOEsk6D3HBNwq5WEbSCIbKcHK1eSTJL2kgqjJOI99CqB9KdK4p3eZr0x DClJsrJphIvLGLchcQt/FvRc52+lllN3RF41isdyEKOxrXaKtLAqlzHeI9cjOXUw RcAKOJ1DpnFwjcCym2/EJoo6q9fZrrLUQK5KJ8t2ILAQh9DU8AUBlJuRX7Uq7Lqn VIkfBIJmgB2Bf/89vB54SmyhKxdb+l8TFC7IqK2ATageilV+nZJnKxrzZ9S/K2OP Xz3Te+U+eJs5yEfB6OfDaVzBkwiuizsOq4BKmKYypYwAjlts3/XDp9I/Vas9+F0f y0fvDrkC0khiqBFXps9REj7PLiyYW7i4jhwGF5XIMzhsWOypEn7jT0HlG671E3DK TyyqTqYBtw9xNs2FAtFRUpACIYXLidMDXNo+2KaejUpGZGmEktNdm9Xc6av8hrU1 GUYtNmzM+OZZ4adchVF4KWbgUorVIjCOc1DDfH1xz3z/XUJ2kNMUI8eiqqKGItn9 C2am3YPaCbSLxe1HqrtbllbFrvJsj3ygWm5YH5QMsfQfCMBvRTOD46syOVGSTuN1 UdHjPNnFONqQsWNahZdKy9gcBNcqzVSSPZM8R+6nvhnzX7edNzs6X62/ywkdmWgF VL+94zQqJg0uIUWenEATtaXZ8vlSEiNW9wA4p3O5JR8OfDiLsTWvwzrpWGTWZajY 7JrADbKcpklNBJaS5haknG6EsMVKk4epkq386mWtpU45WbuqXBZOrZcQ7VeqMS7g m6wjGpgaBCAfSVFCE9xh8U6qGnVhZSf+WZciWxrMMuWNQQ75D5QOqMBuVTYygXMZ DC6OWL7QL5OMQI+zQRr8arA3EiDUzCFYfmRr+v0s8gscFLUV9GikCSQIK0gQ8ZPv 754ijVYzOMmt4sbMXdGJBNVo4t7Hgt3urnEXABEBAAG0NkdpdXNlcHBlIFNhbW1h cmNvIChHUzhrKSA8Z2l1c2VwcGUuc2FtbWFyY29AZ21haWwuY29tPokERwQTAQoA MQIbAwIeAQIXgAwLCQgHCg0MCwQDAQIIFQoJCAsCAQMFFgMCAQAFAlgmg6cFCQJh 6TkACgkQkavEqFjTTMO3Ox/9FOUGtOosA0PJFl54PWX6v/z4NOKApkEwa9+VUGpl sV8uefF0CKPKXOjh9itoTmKrwNCZkKsfy3J6n7Khqo+lemvlyt2cJO+UmiC6JFM2 CGR9Fgsu1h8dASTPvSSzL2wdaM4yWojeVrRONgQWQcXC1qvMNTBMWSkgr9R1CQag Eo+6tK31Wwz0ckvjXLst/Dwrp879Ev8WuyKuROA6o51iK0clmbAonmEeqkBjIXds GQMIw3NoWLicSrHEOKaPqgrA5QCC2rfAWzHQbXO6Y7nM59dhxz3BANY29YNvuBtl HwW6J8/qYsA9o+mC7XRCrEmQbvX9pqJ6Izti21Urj2eDBtIxJEjRJ31YA1wJ+QY9 nWKt27hnqU8XEnrHw/3Oc6Qm2mPccfmZKqe/aAoGYiMZJQJ/vdOJO0/tLf8IhRuU n2jqlAb+g6/oRaprV0Rh1gemBLHDe26O6x9j7EC6X9Yq9qAt2/bjUWaWVwRe0OjN mQJqqMtXy7omsCw/bxFogHUxNTV2z7d/IDnvibrdpNaVIeHBuxv8iT8YOIH7m4UR FR1FSy6aluPHZB5+mziBUMdcR00Pu0wlfvDLGXRIlO98TZg65QblcnGMs333iflR aNAT3QNH78u+o/OU3f9lboagf5Dp8atzdVd1Mv6xI3poao9ODzKXX04HNNjZ1TnU mvOUYI6e+j7ErkoEkTdwMbHPBtOIeHq35xlrRRXZc+MTXD38OcHYRGPuEktnMZ2l GHGei9CXmHuzguHWtuzTbMONvD38Do1s/5y0R4o5VC/12Eo5GOgZw4dMcqsVr4Lu Lq77bB2x5vYRhDtHvgWGPq5bfYL020XIHiMxyBkiaS9hwj0CAQWoEmV4783NUoGP I2y41M4hjEv2kw6NobCaRPlupDnOKvg9fqpID3V6kuUBQaROacwo6o28eWOe3ecw Vg8VtFCJsLPgbs3LTLv26bRhUNug0ofIFRFc2oNcvrNegrWwCNmEW13zITyzngBL deB6WPhMygOn22zHFpmBdKxOMvSoej1e2VPRSREdOPeRk/rbj/8DA/KuS6Eyx5SS tbYEFzln/kCiVBX9DlBwo2WkTJ+KDoM/Wd235Sp7k77Kx1dTbcAJIBehQfF8v2ZP tCSoq6/MV5Y/XKo66ZKoi6XH2L69XDOQN6D2vO/Yal+ZEPuRCR2JRZuoCZTD1WKV 89vtu/U4aiHTf0XbpBLF+r48WRIM8wqBqv8T7Y7Lp3ElEcRJi+1wYkNNxBZoATeW fZvwpg6Kj3vd05CNtI13C+fWT66svszcXnAsKHYjITXEw5xVvTS9LRYgegHawkmw uCrm3H9pK/+MJwY4Bo4gP6RnTCiVkOGpro72xitg2h4vH4heBBAWCgAGBQJX/6Hg AAoJEGuriYV0ok2f754BAMghgPNgO5rzNFJ6jWYH7oLZn3guboy835er8Hi3296Y AP9KDbjJ6fkehQmsRAFnUQATVMYcbgbtzBpaTAJWzwVXBbkEDQRXpc6PASAArO2j fqAZE1hNZWzBxo28fj8H+2vN87BJDQuHxYX3eaCbGn8tmPSGQLnFhg+8W4NDMfiJ bCm41H5gXxfrWiJy81p75FZ2PHw0ySuXz0LDDiJpuXwDAYdYJJJKaYr+6ltpUlP1 rF99n79Z8xWGl9vXXNb96Sv7m2BcE6K8Ny44WLoeEDlHS/MeB/MaubH1SCQPHq4Y F+FP73WlgzK+YnK2fbJrUmC1jYNMB5H336iVLuqWElUIThhl8OMneKUPwrdslqGz UwoVbJSt5hWGnRuQ9dkImi59tojeckuSIFOP3UZsdIHsB/2tVrcaVf8XeaGXUNKn u990dXjqbadBmR8DNNWpvDvcYn7UEjCcwUf0dPgSB7tPUhKnpI9aE28y4Mb7zpJx v7EgL0iU+6wU35bOOlPnMI2mhanAVFeA68EVfbStKM9WxWzpcQ2IfowsWmA8DFAN iJGY6KV8BeHbM4Z23MsRDfZ2pRDwOf8QmDU+iQbDJY5Ce3qmF7UFls05ryvZ7i3F 9uIqnhYhBBf77qy+reCNwFW87iQa7rU87dL52vpISrR8mMV11DQcCgTcxDCPJHvF S7Abo/TLvhnhmctJeYvv8Pi2nRqd/Aq5qkVoDMKR4MQcunhsu+MMK09qfJjJHCoo HMAoKfa1I3ta52gDZHPg03P+7Z5SFb0bQDpTbv5F1UlPxsUvJxua6uPgyBEmz1gB ohavcvQUNZwCcju1NTqhqT5ZS9QeYP7q9/BAFHksOeswvwr6W4qbFR/hzeG/usXF bj5OoJMry45GGKgvIQSQOoiNSqdfFqDckfGi7XUkMN+jKUDR9jfNhSexlH7jMsM1 IjyrLD8HZda9UL2DIqRWFu+SSV5jMUQkf/UG1lCS27xDs0i+Y4MbAGLZkEja2EQh 2V4/RjBMlL9Mik84AlKwkt1tq+UeZIGiLl8tRPdLGL45bsqDvSmwg0ON1lVFUmWB XvxYdVBJQosmBpxb5fLTcPqOexdeahIcM56Vqun+cnu84Mdize21YsvGhTTWFU/L 3TBc4CKOW2Q2oCU57CZuyySlw8kBKs+j04jTdwyllmg5K1nfMZf7vzvCjo+EnA8s qScUfZ/0Q22Z81nQ6WGjVXTvE6wX7iRlM89ej8oYYErVtjz8zIvWAbB37VL3W/Td R17nty0ZKuQvv4yIatRmsaJXy4M9ruNWSxAkkb0NUAJFK2sh944imVqW42bvWFu4 7469O/OJhIMRce0xQfer+szSm4Xnr5HEMwh/cO2L25PTH0xqPInIOa497D0KoP4H FAKeCMGignGu2rWqze2x+9B96NJzwU6i8vQPvrrpj93rZQ9xIVh2y/WQQ8IOZADs pBlQiaCewDnsXqcTmQARAQABiQQlBBgBCgAPAhsMBQJYJoO2BQkCYeinAAoJEJGr xKhY00zDy/gf/38Yy/ctCN6mvpbK9QsCgkgH+qSwgIMrsvCSXTENM3io5tkg4HiN vtBNRthWlFTc+yV4wGwHSMm0D66QFM6Zv1UprsK2wiNlhwKN2V97FLzsWhpqKE02 uKGC55dnPZHKicXzPbYIQSO/Z4hHH7/okzJo/LrWqtpNU6X/Nd44NQnvErn51ASL rgO/T1+FdaEBpB7x3RGEkmR3B6a1BZStD1ogzgvQ90Jjw/kO1PB7DJ9Eo+B285dJ SkT5rrFWkotImCawkMAQyr9gSncqeRkJXAnfZt3xFT6tV/YTXMtF/NGxVvJc1mmv I8YeuKIT5mnEwZqofu9+1pc93tbVVxF9EYn+23QH+nBRsPV6/p/gDCPrjkAfLkvq f9Kw9a+mLE5IagjIZWGyZd/T1gNsnBUQwjOghw5ME5/Gd2NVx4j1gJW+YzqToq/S e37crQqzubnev1hBK7+fP0LaT+fopN/5TIMQ/WPUCucDqlpPB8gHHmFur0+4/nhn Kr8mo6ZiEM1Fxv6EHVCN/xkcLcGk6omZhHB5VPVM+Hm6tjdUqddqDuELsSY3VDIQ r9gRHbLWXkZmZGJTgXtGEWeL1/xHyCYYJv1//aOKFhQNXlQmrMEGdHhZP9o6ddLY 92COYUh+iJthL1DJPkJrlOCANP9o1jjXFt0ecLhFGd8K+mjXp+7hdbjioWARB88k RGwB42MGYROuxkjh1fo8kzOjvQb3gwgK260P4mrD+ONmiX/cygtTc69M9tp3knQe R33nvpfWCp+/Bvpt0XHtATJ0iZjZc/JyCItiCwp9rm+2v9aoQD9mzSI5VTi5exz7 n43UaYLK+vksFaCjOToEusaPw5OLCYZfDLWVubk0a5RWRZ0rXeIQOsoeX8v1WkqP 9bYIS9THuQLkJP8wz2jhWPxa4ppJ33kiNFmGCt9J13ZpZK3iKfa+aUXVsl2elv0v rqLZFBwRWVvduF38tb4rVDdqsBPynlRitP3Ne6SapfKnHRCcblnRO85fmToAI765 8tV2gtl12w1jssqvIcf91MIJJRd5k8QfKdTb124qlTWSOOtpMGtejNc/irMT9/fF NOHByDJ3cnzOFB1n3NhCyedkrhJJh2DtmI+DSdTV1kdekIpMfeINQZL1um4k8ytw x1Wkhk3ZWux7R+Qgi69OY4f9s3nfeLTwi48WIIXBR01JTzaZWSiiHmMsK+rh08Xx 4gjSe3HF5jtqhneO2fJbBN+ZwBNCBI5f7SeYyUQyTo1sSnuAeFQlGMzr8848UVLM sxwwPtDY0toeUCwYJWecOVavn4w4JlK14PsnUgikvuOHQFbf3H7cwfDHTSJ29DzM oGAUoNU0DS34V2zmGjhbOq5kB7oLn+3M9D25BA0EV6XPHwEgALV1roGYxqssiqQY cUtyrUJxrMzr/BerBSSFWLOcUd4hgtif6eRq3sI1o2JLcOQb4aV0Bc9sgAuHq6MK Vgx/RG3API/1PcBa78DvsQbz3clM10pRy644yy6eK61W+jBB8c2p+HMCjSJL5pH6 DuC6U+a+6TABWEkIqClKPJ9ULLShJELV0lKyt+nbiLLyCZA4osuMo7/xjM5zVjUS dQMCp7weTaL56EAUqWMte+4fDtRVM+aLAUISauNPt4YJsBh1YBWBTu8WSnn1wiv8 yxGrxwnJbgz0Yl365VB7hbw1PpDbfbiZH+tn0mRo8Q/rSJVLgDwD0XxEHXX3ur6l S6UZr8dHJiehGoL/c3/WUChdCTNy/pgqhEIU0nFHy8U8CmpbPBrukQxCwI/sOUsb ovqfzef0guA2lYNCcEXYWRmPUC9MTjaMNTdut9q+IhPpMzvjJn8Y1aGHvkBH6DzI dOcrCicXYzdFRthTYab5hZG8YMcGhU8zThD3hLeQqUpOiIQ4lvQDPiCnXLrExIZB JLiBHtBsSoVGVXfhzqCRdOGj5umdIh3RpGXtwF2sX9bgKdpOmBUYjPav+hwaFxy7 OXv2GOmG7SK/t3DShaLMv+0/VPkcMuFGYikspwryZjC/ns5dsV9xnyIPcNHvFdJV 3FtqZjROjECY9VPx49YDAmaz4e2P50GIwf2KJrL3cNCAAoBHsSAvuLxHHIXXMd9Z KXzAa7TKpp9JzKdMJ0OQNO8LzzGwflZvNDBbPxde/e39LpheFDEZ9ak1erCOF6h4 /evv2i9b8RGkgcn+7TjZDvRtVyqDdp+1Yb+tpyQA4rZtI/ZEsgonJkwsitlvSE5j eLLQBHSCJ6z6BKJnooDO23CN+4EgbTIvhbVaM2hXeDudIT1Y+/zcLLrXsAndJNjb KrhAbtz2ppq7b7qyJaxwvtdKbEdnA0MC/v3Se7Fc2jNIOOdTwXHD2X2+Ns14lSga gi0wHa0Eb8uBbkgSvSsPZTw/xfDifbRqr9YdP/6g1GYGStqUhoF3cfQ3thpkgZFf m/zg3ivhH7sk8KXJlZeyITClAJxhzDfcz+Atv1J35DCN0WnzulPYOY36KP691L+Z UguXjGIjjOgYzJtUYTklCxpMqI6sPZcDJbmyO2xWppSjy9/MME9ws4kShPWyoXFv 7tOTJibGMh6Cdw13f6lYJOJAAL3y3s4wSQtz3kHq4wGrW1UMOtPuKcWnC+MeBL5p q51BwEf2UGLBIWAKKLzmiP7SF4SWteAuBIl001VyJ31yrrH5x5PcrLy4X73GJ10s CgRMQSVuV+/MUU3mylT/SPUuFuBHwv1QtD6/zHF5FP259Cok5+Rq/ko7pynf/4zX SnWwbPEAEQEAAYkIRAQYAQoADwIbAgUCWCaDxgUJAmHoJwQpw10gBBkBAgAGBQJX pc8fAAoJEG1k3fafdAGm0Qcf/1ZUjsIu8RPTA3Qt0pAHrybUQld7vCEQ6zV9tsKT PQ3BwqJ7p1CHZdgTWQ5o0/LuqDwr1tHYKBwdKDu4VlVC2VcpE9Aj8Ly8OF4rjoQs jZrylypkED8ovejmY069EessmLGxPi3IHM802xD/MYzS3pO/t/ZOAp6OD/hB/rS1 4Rk5lzny5U4ZazFh+0T0k7Op7/hkfqOmC5sKNmOaf/fnX+YYQtxBoWpiAX4v2GSL 6iFTrH4Azqjtf90RP2k1s8TRENkYIKS2i9Kz2gswQt7aSUoLjbbVGTNZItA3eICR jQRm0reR4EF3eiMla5xEdfbY2IvlyFhP3BESGJeUKIEmbU7RG9GgY7GIrbGdPDs5 4Uq0TjCbxvIwkUfUPrEUY+4Bdh9h8iZvfGhGlHJahr6q96JoUHfj5FblZybHQ/7w hwi34Jh2gnl76fKw0tbKqX1qD3R7X6E3LBUzZX2GhHVMeZ+0u+xOsWNBZHQC8ahO FOnZEdyHoZuekDkB6Zb9sNHM00onkUzDrdmwNah9zH6iVjtch/gqqnj40OnA1ckU f1kb6g0nuSNSKxZWFmfdScRWIxq6scU5Nd2bNSCA9SLpdVbDF4PQcM4wM9W4P55g 7ctsHek/kA/6G7xQoc0Nu2xosb5eflFOrcZZrh+Z5mlgYtuTg+OmxfbKlA9khLGT t2HPec6lsGlnpRRkwPCeUL58lV+Bmd/ZOc0R8dx1n8FnBT67vl20C++vj/iK0lx7 rBanzrYSK7DhdLLo13/vqI6hVFAx/o0hohMdofrTmDBmbuqMW6h0r4OU0AUrKqHR ox1hTmnKhy5F9MV54GN5oVjO7g6Q0z95VBSfpxaQEZLlViqj2z0PnmrtUR6V1HmZ 28JMv6UFvm/2bod+bA3aR5ER+zjc1f2roxSJpWZeFrSPndfEjlnNBxJOjtC9Abbw FZDW3xGFfYIX5zwkvLwfQ7h3GlauQp17oQh/dqz+IqSBI0FQV0fmgZR6vGCMDqKU +F9GK9cAbcNlqMNA+lLtgnPWmYxOrwdh+P92MsyMjCUzSud1a4kCRtYw72vYvqhp WGWzd5uDlHbAzzlKZBFyXT8bOHlxq4Fmgpp02j/uyZQUKJo1ozQUsSkHvnN6BAd1 tT2TAaR9VE1UkxUsrhjwDwDsN/VYJBZoHmeL61fPIwBNToWElRlhaagxvcbmrBAS rQ4unLvtb9DGwDxFhgpM0NJElwN8j1+jgsjziu4eiZsePGm7BeDMUg/JQl89F+Fy RgGCbehjKJGyTxi8a5WjlHlZ5SAA6YS9+cXdGYGjTA72jpJl4ZUEEyXy9ZGHW95e hj/mLoEgdcKdrfvkYh9abk0mhylkBkQVeAF5bjTS2L8DP4IJEJGrxKhY00zDmTUf /A/IApMQN3FwLbWVMQnkUbUaDJ2N+MzgSyNSB7ZT0KqTY7dAemXi8kpTTq56PvjB aKasj67QMy4lQlT6AGe4xW5gM94HxL8yWlqrgENVWsDvZHzu+VEcou+Ebq7WADr4 3vwraLDKjtaW6AUZpfMn7E2s+h+o3lNgjcGScwC1knU3XOxlbw8XxOxWGFp9f27S 3J+KlUayb5OJcWH+Ou6qOh0xG9QrFciyJER7vUPZiIEv5ORG4WHZQNsxxSVJQ9t9 MEJOu04zAJeij4qKpV30k+PK45EvPEkusomnEYwHZ8HvlVkQ0MEFDGrXasJ7KFMB euS05Tk4IFIIeYsZT7nItSm7m4lnRZGYwUMmSR4rnlK0O9yrcPMH8qIRPI9Wzov6 lJbmoBvRwH9juCdJh6UZUE6HxFqSfSNQOI2YV5jDO+stWK4/ct1m+IXo2yRZySUl wv2Sxavz9FngbLQPqZvWoUesSyg/hGgCmeKV6Q+OXH517XrXf6OlstGRVx8a+E6E JtZ9FypmyrNsAvD+qJfcKNVJzIQ8Zeq7H2Jl4aOXgjSntMaw13FSlS8xx7Xp40CX bPeOGFUljzpAecsj3kY721H+ZVo5/56gb2OBAZtUs/ytqlBESdo07CuO3q/VOXVy RvKP7vqhhCZw0n38NNER0zzxXCWnfi3tnjFpVqqK5tC2xIVi0ghYXxa1pnEDi1zZ vX5levUm/4L0ab5sDtxocgt+EwLZJinglWkZ+arpURaii2T7KxJU+EPhHB2k7Qu7 h29e2t/D1kDHtQ8UUzrNRGOVPGX/c9FFOA5vxpJinlGzajlJQFABmKAwkzI52zi5 r6nO7rddFbBp5RFfhuGplgiOKI5uVxr7Fi/rU9qFffafk7adBkSUIwlnOsDN1uRJ GQLPjNwQqFx/ktDN8T9J8j/+ziPXb9DO/4pMUTcwA19PGwI/A/IiXDROWSgbY+ME VPJ6X/K3mVfK0OXKtTyx+iLPrBKIQfKUflNPUjdzf1M7yOIe8y7PzgilSWK/rC/t dIoKNZIffoIK+ZcT5Dx5VHbxsGCyhbZ2oUTQCjPZaRU3yHAaOGSY1jlK78V9hLRM d/ekrBf2H2ewmhMWq06TzGn/kb8T5tnaTm1h6oQfMiuQYqUTDgGBmzz5JuZjzC3C x9zWehv24+a+I6n0MZTQbJQL1Oduxqe+t4MzXQjVRfZuMtWM2HwaOwPGOmBy6uO+ YJWdJXNW9Boh7/Colx19SdrinS/ZM45oycZsHhfwbUJ1B/Sxq4kAdsDZsOkdgV+c QaAkJvC4i6dUFjT73Y00UYwFjmAL6wjCeXEtulYlls1M/uXsXGRS6IyoMrmYZCoZ +VEg7j5PpYhyf4X2GUNhnh0= =xc3N -----END PGP PUBLIC KEY BLOCK-----