SHA512 (netbsd-INSTALL) = 322439c4ea98c4e16ea5cfc97994074728fb701e8162a5dbbf65b3e8654d858064e967589ffd6293d0adba80529d8fcfc98d6d55b098b14fcd68bc0423ca5648
SHA512 (netbsd-INSTALL_C700) = 7d5b02a113547e1b9f86fb34599cfcb5496c54b0a50c9fef6e8ff4d94c962dae0b12d030529cb990431b29292a8fb7e5e6fe31a97cc799911ab65384f9dae15b