SHA512 (netbsd-INSTALL) = 54d75f4dac5468951159bc4b6bf87e257ababc93ae12357291125f92014c509d681e1b772cab68ad0ced6aa9388a8b87e111ccab83e32b2c8a3f798d1d01e4d9 SHA512 (netbsd-INSTALL_C700) = dd2f9f52234482a055a935caeef2818c994fd1b2e9c76b7b8beed7a603d44a9c8b5c3ada6ce91af1b71afb54337db32cf332df15b7ef21694142f66dcc67861b