SHA512 (netbsd-INSTALL) = 2a1951458622cf71eba17161dbdf7dba12e52d7b2ec908f174d006113d57be8fd615fd7329e6aaf3bf4e9183ed4d97a591385f32807bbddcbdb798316aa24bee
SHA512 (netbsd-INSTALL_C700) = 7c24351bd0ba17ecc8e103a2d4868181146ea818e1ead1124a5872517a123c124c41fd1055e826486caa055e686f1c698e2d750ba8ce1af333d7b1eb085546a6