SHA512 (netbsd-INSTALL) = 773fe728835b9a78d67a25c39d9791f3b820e3b72d23ae80d192984967b65bce11249064fdcc5e83b5830f4f46b9bf5eebcab663ac546637d9abda725a196788
SHA512 (netbsd-INSTALL_C700) = d3dc57521ea6573c5276a000017e4df83950fecce697d5110d2485d80d721e8fae669aa9aba9d9ae88031def42282589d9f0fa2fca97111b65d2edd00aeb6105