SHA512 (netbsd-INSTALL) = 015687fd0020b8b38501713757e5c78238ea5653397833ffa4515e4b0cdfc7978fefffe26f371097a3b5268e614f01360f4dc54e55efbea770f37f05af5a4362
SHA512 (netbsd-INSTALL_C700) = 27e97d88f734f033f5c861d1d0a1ca7b284fd9afc793b6dc177a0d586a7cb9a1215add0b1a37b0f047a163cf27dd54ac5bc7f197c39d8a4226edf2917f6a51fe