SHA512 (netbsd-INSTALL) = 9e66e11d1d0f1398d44603a1029e0b726074eafbf7ba5b4a5460c4f564af23d4ceb375ef949a163d6d6935185e138e03be59cd7a101bd4c805b4972e19b3fb17
SHA512 (netbsd-INSTALL_C700) = 7fdf74dd542865acc9d6435f4bb23735160c2d113b0c780505b34f4484f62ee6c2f2950f1a80d9cdeeb950b1cc6ddd909e5b4c9314bd222dd6a29cbca21428c4