SHA512 (netbsd-INSTALL) = 85d52bfdf49ccf912d05708631f0f3f2c6b625750f17a507d45d4642ad1f600963b3a4fddf00eccaae81f3a8d2b37419857047c21c38a7ba356098aca0f1e24d
SHA512 (netbsd-INSTALL_C700) = 196c85e0be4253def2fb704784a691b5502970b05c4309eed4f01c3a24ca947f3e27e39e1aa310a8b3633b4cbbd92a12929d778e6f0ea840b08e9bc33df8523b