SHA512 (netbsd-INSTALL) = cf87dc0234a8fa0de7df584ce47cecb67c8257491ec8deb6b5c477e3048f9d9ef44a32826985887ea4dc325591f57a88e014a502088e6f183e3c2a30d422927e
SHA512 (netbsd-INSTALL_C700) = c48508b7ba13dd76e3da51d3291a7a538768c7c68ab7ed58f029fd5043504c5fce8350a12e0e148dc32d81b6b4ca551f43ae4fafef9a881cea7dff139789c36c