SHA512 (netbsd-INSTALL) = 0ab913d97fe311e33041214119ade0bd07d7c5daeeb16a6834e0a0785ef471f26c0d6326732095f8e8c475062ffc5ff4032c2969283f25159c550f07f85dbb28
SHA512 (netbsd-INSTALL_C700) = 56bc7bd3f729e145b42173b8adb71dbbed4199b3dfb5c2f25db79d751a7c7553aa3310fcf1e200e2f7952d5909efa8c06ebf7ac34a7e141ed4dc61d035f04a81