SHA512 (netbsd-INSTALL) = ca7dc6730ef1edfa19104976fd7538aa8ee82f7640db1cc65872a523e56f302e2e1257989888afcb2f984a9c36d16a6d18c35aba1a666fe80ae7959fee37f6dc
SHA512 (netbsd-INSTALL_C700) = 8fa30a7cd09ad2b862c50a027578178436362e1439a9f5a115ebd2d151de6925626dc64b04c169f2f70a55551cbc2da4e9e868cf8bd8ed0fa35ac3b18eb23eef