SHA512 (netbsd-INSTALL) = 17d14259c7edbec8e2693e36a3c1ae776b0f9357b912c609dacc3a234b994fbe556f1ba999f1ca1a40de169225bd4cb201e6f31d3727f0382f577da6409e7424
SHA512 (netbsd-INSTALL_C700) = da74eb37734a7335a7053b2ea2191af2cdb867d722fb7851485e7a6bf1a63f74822f23d01e9c094bf431af0137f6c2e2c83046e0a8ef8d436b403aa464398f87