SHA512 (netbsd-INSTALL) = e07fc05755ceb70c79e4dc9b854c5d6028e995dd5659145391b6826dbbdcac712928f7b27cace9d7579d6ae4e053b28bdcd01e16de62b6aa3771c57231cb687e
SHA512 (netbsd-INSTALL_C700) = e233be596ae8572f010abba43f28b07a85008e923bc30ceeba1e03692160b3c5ca671b6a785a3df2afb4a594ad5a623ed3318012b1dbd03cab36052358479111