SHA512 (netbsd-INSTALL) = 06ff8d542ff694fbb4264bd2a0f5922552ef32ed8eff4deb8733502b3c376bb7fc2d12a2b0c3c04c2552cd8729b8559d4249e27010aea72a91af86872114d88d
SHA512 (netbsd-INSTALL_C700) = b811640be5b808a9976c79a0bbb0b1a37d528b6540f317965bd613d403ba25266d94f144c9e0d79dda05667d147057467222f4cad333c483f75b9a4b28515204