SHA512 (netbsd-INSTALL) = 1b5ce0845f6e41b3e3135297b46741fa9ad9c2b4bfd6fcf3ab8dca44ca4511cb917f1b063b45604785c8866a13bb7ace25e78578c744f2a38bca2021aa022a64
SHA512 (netbsd-INSTALL_C700) = 8a45af8a401610f9c74b05ce2033eb130e6b38492cfd03ce8f16d5d993686141234a5e699b4d3cf76f86721d5b7245fe05ab46177a3fd135b3b75ec3e477477f