-----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.21 (GNU/Linux) iQEcBAEBAgAGBQJSTlqfAAoJEIfuLLj0uPz5YHsH+wQ/UxUDU2IRAcCXtHkmjFTe 60O3tkx2yzHmL6siUguc1dGLOudSZAfdAl//zftmcrnoudO6/z3tRAh0khJ9G9/k /ZRRCQN06lKjMo4LzDYJK7sZf7TedPqwsZyHU9wuuWoEp1eFob5Vcza6z2+vMj3i k6uyX8zj0sm5G5kCZ8VuI2klgl//Nceuo2iW38H3DsRWEoUP+IAqo4jw5lV6aE3h Boy0sRrcSxrnoNpF36x9s3oake0vBxrsSlyMoQnnRuHccEGtPFvMPbPG8JyvRCkZ VlhMO5yCLrKIcDDisXjA4PvAEaCUsDH7uKWk5TlrheBqioNvrDk5jSiOm7xoLG4= =8Coq -----END PGP SIGNATURE-----