SHA512 (netbsd-INSTALL) = b73a842d0c47ed3d86fd9b8974e6e0ae7d4465cc823a84748506604299a3fc848737aa3b85d0f71ac24ddd58d562e338085a8247f853d65e99346eae0611ca2c
SHA512 (netbsd-INSTALL_C700) = e746768da397575e37ff66d40fe2ab048c4750358337534b4db88f44e770bf2b603dcd72a4ae80976af68b5f52676eef19cc09572f3b8332e15fdd5acd6939ac