SHA512 (netbsd-INSTALL) = 445a227dc6f1e098cd3b5ed019583951209fbec848694498d82df52afbdaca042357488cf1e5f333a8cebcb5d87c527f25e65aa58491f58c3f8bdecb6410b16c SHA512 (netbsd-INSTALL_C700) = aa29eceeb7c84a1c9c023ce9bf7000e3c8f9fad7ced6739d45ea59b77af4ff6fa4f7e7d71deb819af04ebc2258eaf7a5be431dcbec38da9de7fdd62df223bb56