SHA512 (netbsd-INSTALL) = b067ad629afdba5d2a5e1b511653661580a8a3700dd4b4994fcf9d883fba4fe12aea392677c97da4439ce7b512a2de98b34319b520b8283928eabfb5659e0563
SHA512 (netbsd-INSTALL_C700) = 3572d46ec85b54d34078b9b5c85b2a63931c98826b95b5eae77815521e178efada7346362e0dd4caa68505f1e13dfe450f932ef43399fc9d05d5800cadb6673a