untrusted comment: verify with st.pub
RWQTleDnDrmVqTBzVXvw/xllz7T2b0aaQ3eEs2EycUXjDB81bc0LfqtNvfnVzQrq6OXfp/uc2p8vcPV2ppGiVT7woh3CuZY59Aw=
SHA512 (binry-hop.asd) = bb4962e83c7c18a80b3e7346b5a540e95ad288c24aac96c417c9ba6f12ce9342f1d5e3e08f8b5162d6bd26e26c12767e2b712fbb171a5c95ba28ac097439cf9c
SHA512 (book/01-01.txt) = 2c57e467a3cfb4b48fa9f7b4f1799322f955eb488f5641d7444282202eccc06c0a57c6f566743d7d8d8da8cf37d48e59fdcd0e2c8ba07e945185a34f8f5323de
SHA512 (book/01-02.txt) = 5e2c6c6a30b62722f0e8da912f1db8cc9ee3139ec8f8ef35f7eb3a2e3ab4d25058ff138ffb0b4db0647a880d40541dcda05f5034423a4e521a2342d75b27ea94
SHA512 (book/01-03.txt) = cf83e1357eefb8bdf1542850d66d8007d620e4050b5715dc83f4a921d36ce9ce47d0d13c5d85f2b0ff8318d2877eec2f63b931bd47417a81a538327af927da3e
SHA512 (book/02.txt) = cf83e1357eefb8bdf1542850d66d8007d620e4050b5715dc83f4a921d36ce9ce47d0d13c5d85f2b0ff8318d2877eec2f63b931bd47417a81a538327af927da3e
SHA512 (book/03.txt) = cf83e1357eefb8bdf1542850d66d8007d620e4050b5715dc83f4a921d36ce9ce47d0d13c5d85f2b0ff8318d2877eec2f63b931bd47417a81a538327af927da3e
SHA512 (debug/all.lisp) = 8fb3018a197a987a9cde94ea895df0a0e961d4c05df58312a92487073674cf2610a307c23e2fa39593fc7d65ac7c4d0e5c791badfeb7406daeccd1831c4c3188
SHA512 (debug/sequence.lisp) = e9819f8d04d23eca7ba4629d552ad1765d76d9e778eb0dbd00532546d1b0d95eea12fc94d9291b7c87a6b0cfc48023c392e2ec59c0f091334798ead6ba129001
SHA512 (debug/util.lisp) = 4e2caa1df38f1f05b89c9eebe31b0d973cc6d6ffb0488e9e25562a2c82f7ec170050dbbae28f0147b3ee0268c48680ef5e0f62637e8e44b3cdc42ea6b02a2cba
SHA512 (lab/tmp.data) = 3788cd7e060a4eedb551ebe480e888886dd7097883ec45e45d33803cdee6082332332f0613992f260865233aac20e937f0306b262c9b3395bacf1a80ca338878
SHA512 (src/all.lisp) = 0c94f80261c6b8e3a15a2b505dbc5379492df7daf2ed67fed6b083b8e45734a25c2d204d49fd2aa97f58ef4b81d8dc422e6de3c73c3f67aa853f1083c082a32d
SHA512 (src/updaters.lisp) = e8fb8f5fb2bdf862ea63f0bf4968da16175e398b60b2aad1bd7273be41439c00a4170418068e6aec7fc7975c8491f4b2b322e40111ab7226727b5fb9fdf09793
SHA512 (src/util.lisp) = af32228da66e52530c36793c4138e025227d07b5fdb9eb4a2524d1c72f22b47ef32ccf641be2b0a7a2d583710b08ef373a05b426bf9358043695038bc9d9e787