SHA512 (netbsd-INSTALL) = 8391dc94cdace4b3b9b2069d8ec30f5c94d274eb040e011deeee90e8650318a04a0ca2194b4374cbfc45931c60fb485480fa04c0ae7589de286db02e923701c6
SHA512 (netbsd-INSTALL_C700) = a8a7279a282a03d40b68e3374c36d7ca45998d8595aef657a83a4efe54740a9e20840c6d53ba85e26de7138e908a20aec310cbb9be4f7fa74e1c08718ff285aa