SHA512 (netbsd-INSTALL) = 8bf215e62977ac118c07ea1514a8be15a6171a2488d9bd6bfb02da8314ca578ad3f77b1d3810b7701d8864e04fcb8f0c8721af0881b99a952d27705eb041daec
SHA512 (netbsd-INSTALL_C700) = 587e752853821df531359a5260c3cf86e9cf9f79ffe39d2b2d3fc6710b5be8cede2383db5a86b4857d651a18b0ec4bd998e2275df15dbd923cd782490a4d5a03