SHA512 (netbsd-INSTALL) = 7518100dafe0bdf602f54230298da74087da3ad125fe069b55fcb7bac04663a73b2ce79aa9a0a0a6454460d445f08605752e1a8507802e39d6fa820b8bab680f
SHA512 (netbsd-INSTALL_C700) = a690e90c5c43fcc66ad7eb590198ad67375b3e42fab3abb1b26a3622859d16619dbc4d4ac1dad999e047bd371d6749da6cf2b802dac7841dec1e57b39855051c