SHA512 (netbsd-INSTALL) = c7530305a6afd7780cfc542cccb9ee5f6156c68d49cadce626cfc69c05bf8431b8becff705e80d33b6ec3cffbda8181cd5562efce702163b156ca48c8b8ba59d
SHA512 (netbsd-INSTALL_C700) = b9dbe371e25b3d88b68aeace015738f8e3bec00dc9d1f5f1bb41d106ce185769188e0e47970641d75c3cc8323abe79a3b83e44780ba2ec2eb7fd760b697c79c6