# PGP Public Key

```
-----BEGIN PGP PUBLIC KEY BLOCK-----

mQINBGKCqukBEAC5L3c5MYpH3GL/DHI57mazcvh1INQUWlIn+yWdIitVDq/Epj6h
eQYMh5kdoVzy8nZIYLCOLTjgP3MBaY+Y3UmpmMCdhMSKpPXx5RMKN0y9+N9Uh6RQ
2bu6VjYqnm4LnLRJ8bGw+Ve56ysQMhzYpLan3j2Vcne+X1qaDPVhZJGmAdQztCLo
paGp75Rtq1sO0fxBZ7hnh2aTXSS4DE25AsVQjnpQXGS3l/pxK6dNQIY9uB153bCd
Uxrkod0wLICObo1WZvSAc690jeBSvspLPxfgri8p7ZxwQ9Z/X4tDxchDUcAZIYR4
Iz0JsIi2OSBLZIYD9wrsw/GvSPXHPi7n4gJz5K5lR9mCzcSOdavI3Kiqt1JaLljy
I+Q10AZPowyL2JymYRxa8R/ACV8pDCBhp64jBOyS7AtUXBbwoPQ72ppNUTP/OgSI
JH+YanKnwA7mFyS7XUtyyfadJ+scer6Opg5ATcIoRJ5vWMi9gIe5waNfM3PJPSq1
me8cFHB3tiajSm1HqonMaZIbQdphiIVDCPlUXflmWdfjOctsUo4m8x9izRJqNk8M
0KPQGRQCA1+3l4XXTzFWAq09RgBH1aZcPA2Mp2k2oxfC7wjXXDyw+9MysrSGkfXX
B+5a9KQlHoJYTJv7fWk271HlJdnkRTbHunfWDYpGHmi7WhNxijU4UeUTgQARAQAB
tDlHYWxvaXMgQ3J5cHRvbCAoQ3J5cHRvbCBSU0EgU2lnbmluZykgPGNyeXB0b2xA
Z2Fsb2lzLmNvbT6JAlgEEwEIAEIWIQQH/JDQyT9fO1Y1Th3L9LtBQ9tKOgUCYoKq
6QIbAwUJEswDAAULCQgHAgMiAgEGFQoJCAsCBBYCAwECHgcCF4AACgkQy/S7QUPb
SjoyYRAAnxed7FwVF/8py1vHvWB/NwEdUw4KHhNTBC1JK2Q1bj1CkdMhTLqKqAFP
Dak+BYhOFq4b5GxMfJWkW+p9dzsavDd1Cgb7JIllNE4WejNPEwgrIxwPMdZAmTGw
WNyWk9fTlTBm6RqNUiSd++SprukfF+AIJ49iY65KUC4hL7rxx6JSUR/uu9J0HDPV
YhhsvjwnR+fR0HSbU0Vs2hETwR9AGM24OGnEn0tQ4PW6TtHkbFngVh1bUB6eDMzi
qyrOueLPpnXme7I3FJg0J8c6Te+tydEomJ6CmClQxzCeuGs0O526WLpkLazX3p0Z
UZjjdhS+g6anBA3pTa9bXbCBQVxuQ8grGGLHkpELpPpc55cnCtVBxhP0KlwbniyE
gQaKQtxoMZ/P3E6DOSLfoo8PFO6RonDlxke+ZI1VrHlztoXBDEoUSRJVg57lFvYn
/HXl98BaXr5CI5ycAf68YrMZ68iZ2VXYrnO7yfphd1xE1aGQzoMyKUztLuwbH+q2
0PIQ9pzbmkVmCGFK1ExJu5RNRuWN7IkUMWNpyyFZSocZqaKGpbtsEvFM5Gaiw942
pn2D/e/GhcdqdjpitpiAtv8H4CpSzQO72xgEy/trH29AkrKtfOVdnLgpw/J9Knc/
c4iJXzWyylT87D9sQvLSNoez9VcN4sMg6xIwIO1wp72Fox9ab/q5Ag0EYoKq6QEQ
ANhnpUZuy0ouXsQn8ppozMm3KJvOc4b9Lq2TREG0kXhJsidNiDz3PeASRAbPhjnv
nRAAbLEC4ZhjE74ukLbB7xnWEqqovYAXMghbJz6+pkNDjduhxm1mwDpmZBd+xDsW
ACred5NpkMdwKU8puQLDT/Y9j7tLlZ0x1RmK/cOIm1oG03QMqbYnkrkWQoVgz1sF
bYzDTIB9bYvdrrB7AL8g81XZmCtzFv01YG7vIwkAgS9XDbnXD+zWWenNi38s8k5S
+POiExOePL3+dORWKNmRiMoiFV7/rk56TbvRmGZAeo0zZ2Cv1ojpaDKTX4vk2QJ+
nbH+rmKHso2g7GiGf1tFytMQmfF6h+ztjCMiqgKGKpVECfvKB5IwyP+A2m/Z4NNJ
DEPeT3XaXFiUaW3RC9e1dPGkZw+CY+GXlmtCMyTsWNbTNjt7snt4yF9Ukex1xt0W
91Gm7pcbLQeOn4bGOMbqaKtUAOUiZYjawaTrwXSLWHVQfabd7bwa/wg+Z4RZV/LU
/jW3V6ZFaMDZUg3y0Gzh/K3ow+VdFgKAKXLDCtEJsdVBmCNhu61ZYaX/EXqhDoLi
yffVFxvo+bl3qE1mNbOW838t3jk4LBMHHwT0ZJ9WfQRAFpAcpWm2smonaIFOBvNG
epdFjywIR7i33h1wMODsAASpy8RNz/VS0TzdM03DFos1ABEBAAGJAjwEGAEIACYW
IQQH/JDQyT9fO1Y1Th3L9LtBQ9tKOgUCYoKq6QIbDAUJEswDAAAKCRDL9LtBQ9tK
OthkD/4wm0PCXAVZugwQdmMKkQYp1xcC99W6CzK0fDYYx7FkFO28EabnTMEB9aFT
/aAqouwu6BpHjVrNv/82Jla3ZQPHoy0QMTQQEFmJs3Ii5VGYlHGw2fnn7171Vffj
3qqbaPNULV5x5lS/kmi9n8ctImfu/TdDIezv/2gRc2Gu4I5OcMlTRcPViPt9mQbl
6vjsS/2pCtuuB1SRN4+qJpqHCSWGyAJDY14uNhgfxqPwC5z5YZp7NYnD1ZfCE2Vq
EQp4Kijf8L8oeGPpkYqjLFHJgJBGr4AGiKYzx8ETV9MIGCsDsAsAeQYn9EFYtuOf
qqS0itP+MtwEqS74zQ+leDrP6nPSr8wLpYVUo/R8pTv/0Q8nvM/nDShDjv6Etmkp
XOZZ7ZJOO57exT6W2fpZt12T3N19lblKRC0YuJpWaw8RhAvAcXx7BgcEPRb9JVWk
6XvyJ+Tl3pgL6RXUSTIglRci6QnVOh7gIGb9m9LGqadOlSjcUmpcPcyGq0jsm6oJ
nHdsF+ebaqB+LqapEv+TmN9b4CXVP2DoMSYfD+FffESaM99IapjyrsrfIpN2Gz7M
Mlt7hiEt0V5OX88e8yGVSEVShQrJf0IJmK8T7ZFr0TuvrvRt67mIxY55sgarwuAG
fivwqr2HwvnbXI1+nlXWQhDWykKQIw4QWEO0PsOPfULLB+eEog==
=dmYY
-----END PGP PUBLIC KEY BLOCK-----
```


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://tools.galois.com/saw/crux/pgp-public-key.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.
