SHA512 (netbsd-INSTALL) = a48c368fff400683fb8eef60322085d54cfbfa163da88e3f95c6bb3ebf9d7522fa0047d9e67fe72434b53919eb147150a4cad2ac2ae8914ed45b230c33bdb001 SHA512 (netbsd-INSTALL_C700) = 8b4927ac696e7543be862e032bb8ed5aebe00c7239a571d43e3224b1d4c34f04d32864e14c4b9064f1b4000cb64a8aa67b7e92935eb3b4b0b74411a397472c9e