SHA512 (netbsd-INSTALL) = f883c5c3a4f92c2113963046c9b17e951daa68669dc72564094d1bb2bf91e677d6ecc72ef7e5808f590a51c138807f724521d0182a3ce2600a1ad495d048c91d
SHA512 (netbsd-INSTALL_C700) = 441765d7e25b59e9046f0ead39d5b2e85bfe53248127128e8ded14e51788bad33d2677a37e71aeccc47577a8696636aded4c43d000e818157e3b349f8d88c9b4