SHA512 (netbsd-INSTALL) = 7da5b83866efd1c7e72041b02f4ca81ffeba50d9980b22a7d3487d654f5c913b168c1fd17efb725c543197f21334e2b22be77c61fb76f9811ec1b7030c8dd974
SHA512 (netbsd-INSTALL_C700) = 287b625b67ecd69581cac9d69c8e880b4efd9e5ff503864fc7257206be98eceb71cc1a684df8085f691938290779a4b39c9ad88e51283b45ee2249be6bf6b53c