SHA512 (netbsd-INSTALL) = e9358edddc50b82080d1425b887a30e52437d8b802c8819a4d023996321068d3344ef9eb6cd1b0661a6f80c6bc34f2da9fc18d1b33110a45570539ec35594c6a
SHA512 (netbsd-INSTALL_C700) = 71125e1a8b234f166004517c88e1a2efe229a19efdbab47ae043a2bcc409a0dfc795011108687f9d72b853b169e02e360ccc0235336b70cdd43241e405c8153e