SHA512 (netbsd-INSTALL) = be1a850f772c4b8181914176753c8bc81c977f4ffb04fa1586df6063f8e5424a59ba9779c49e131e24bf3327ca0fe45b6e940a54967d087f4b9e8c521fa4ce32
SHA512 (netbsd-INSTALL_C700) = 9dfd9a80112e5198df8f75e2f50bcd1f9cf4665237c6557d9ce8d2b1613d75e1975340572e7bdb581375b9b50ec080f8c3815dae6f46f881956e3de39c9fdc48