-----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.14 (GNU/Linux) iQIcBAABCAAGBQJalLiQAAoJELu+vbskxvNV9sgP/1DciQlBnmzDl+b0VVULerEF oGd2G9ReqVfCShWzX3Op+Ag2TRkp3Gf9t+TVYPfYMrYI51tz8Hk01G3YvfebHyTx bWj+rU4HEPtPjiCszHMM8jcY+B223WlaCvKBAfbnBm0P8aP/MDYqag1/uVr0ZIek CIpFQmxdLZ53SH92Gyj6PcD54vU//iEUoSbbmi6ixzShUEBNw9uhx6ZehTGitfKz y9oNC7lo68a1MTqPG7C/juUspGpcPM+U/BG4Zb/oJPg8rPxeyZHke/MC02+i4oeL VnPD3ETB4ld7Vr+KUvrnQhu6Gn9jSe4LoehaGhqKX4z2WEEDxtcfY+P2zg4Mi+Sw RSEDdDSQWhjN1dKlu0jhV0dWAftiZjKfhzHEuv2g7XvlPJmJGdIgd9aXaqj+H0VF 6tKHV2IFbzZoJc9iogIJjtW5DBOHn920aFQL+J6+KKCvP3o6ZXArCDsyWQxvWd5V Cd2/D0XbzeLTUiwiAw3R91EXuL7yr5gD5FJIhu5UADdmpJx/hQbNvZlnO48d9ASV moBSSQKhI3FV28fjVCBoomGaEWCF/O2lorMl17xQ7cth2QkfQEIhm2/I5bAPIfFW XYvAvMGT/kzB6I3lWjYhy5EcX2cl6ue6MdpLdKVGnCJpuY+Z/ejyRrzfo1AT487q 7paMctmXSXbodVSRxHBy =/Coq -----END PGP SIGNATURE-----