SHA512 (csl-93-9.ps.gz) = a742b236ba4cc6ba647be00f5c3174d058d1ab98e30582c77d8511e35438355814a0c0f7c29ede628a8b0d5d048a9a507f6f7fe2d137d35df96268e8eaf3b260
SHA512 (csl-97-2.ps.gz) = c2a151989e485e26ed4e227d689dde879bf9c73519b9be62c849bb1c30a310682023b1f4666c5f51ba6a283e17be3c43be27530dc723ee3b9f4686210f0f62d1
SHA512 (interpretations.pdf) = e06fdca6ebf5c701f749caec735ae9fa49c4740bf69133446c7deee78729f83ecf42b5571488864c1de5a0e81c4a900c8bb93f6189dc2009c0ab57d92e18d6a0
SHA512 (pvs-prelude.pdf) = cee5b938ec9684e2fb205abce08d9c56c9a7f00dab626f24c3431da5b66ea58b616915a5a6678c3056e31454d5197b5bb052b67ec6c7cbabbfe4061ded305d9c
SHA512 (pvs7.1.tar.gz) = 67b6714b0fef14b178402de30f07e69b90b66d40897d77dca42498c1bae5c8f448ba33d2de26c0fdcda619d0ec2cea17555057724f5699b20096bf0987b3bcce