-----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEPVqa6fcVCKDYXnjfh3pPQXUrs7UFAmIqA7oACgkQh3pPQXUr s7V81w//XfanxQrEAYxC/4WoExnhNDEdVTbu6Djc9Phkq3VXT/zDNLgmVwWIIO7q BSh8iN+J+FpS1He4ZIxoij/fnF29lM0pFZYCv6T1M89UxOvwqPp3LMfjrF8feMGq oLdD0gNJlcxcBnGRQN2DUBZNoa5+mVijd/y6kYHC3cyFA8tHvKdwnvragiUHrFn3 ER9xxfPLBQ0j1anKIvQfoCW/SEFEMYWlZ255v+S/ZqjTA/sAawQ8OeVpoTZzQ2BA 5nCWuRnu9KITE4jqcVPqphkd8VniK2ag972TYsXYZj9ratsNZqMi8WHxSEFCP9Cz 9BIx8c5LY00HzlXTw2mPr3SB8xg/1ONkKWUFexHgiLvoCor32cdRHjJ7KL3RDw1m Mdqtf3dWkseAWBVt4gQxBz9Cb5H6czJ4nP1k71tl5V2lp0qXSDV/vBq7erYdDfXs X+Z57zQF6ZCWwrLHdH8K6mxpO/AQOpPOtuZ/NsTGN2YikniPTQ6/w6FmJrPvZahH BgG7yELoeeuRah6yII4pGNJZTmCj2m7LKQpZjOp0gE4mUMmH+l2BOJjDkvnloqMv V5Nv321WKmahylrbD9EqDuwBm8uF223n430qW0ZQGHZ7tw5naDiWVqNbx1zSC8tk XjmO3qH/wYZL9pzTY7JrNM+JKee/K+nHjIiRtUl6liaqiZYqSII= =+Coq -----END PGP SIGNATURE-----