SHA512 (netbsd-INSTALL) = fd947f2b960ca1c533818875a6dade4ab9922efdc35f6a2d166af2f25531f95db4d5ccb999da06b6f25b3d77fecbc85120927644747d49bb55e3f03cba9b2ffe
SHA512 (netbsd-INSTALL_C700) = 282359ed7560d89b49ac44f24b44c3964f04062dba651bae3c89fc4edb4c0cba7286e0b0a3c0881407ca5e473a07f6eb87c661c8c7b19356731cb1e31d9d96b3