SHA512 (netbsd-INSTALL) = 12c45ddbdebe3d20d83d7dc924f2a0690a5d7df6448d2b2b67bfe795786417166d4aab12abcd33ff1cd6bb5e240c02b85793097575d02e6dcfd8059e2ec310e2
SHA512 (netbsd-INSTALL_C700) = 819933c55711c6f53cf3a0310cab5d717a489b6db70682fc596a428c7940f42b3bdd5eb8c32b78411fd3dde4534c6dda1bd97f4d7ffcefb615343d12b58ef500