SHA512 (netbsd-INSTALL) = 718e2287081d9af5764ede61583c1d68876224b4cfe417745725dd9de8b9472644e4169f342ab3f461d04b76c9d218038c28c6b1de56d48019caea4d4b3c356e
SHA512 (netbsd-INSTALL_C700) = 0d62f1a9ae447fa9bc6c4cdd0220c228da48fa13221909568b8edf52d08c6e9330f2750b88d354cad1b8f77d5faf6d271ec780b5bd22c7ced9933c78dfb9a0a3