SHA512 (netbsd-INSTALL) = a7688794ec9d61f9293f2a6ad417a65ed5c519fbeb6115d684129517f71306fad889e3d937d62de79a6e2eb461ee8083e7b6c8daf501aa3482b1e52ea5a03275
SHA512 (netbsd-INSTALL_C700) = 781068a165b3b35e034c3851845a035bae9fb3c892f5e8556be0849f9e53460f487d0f63cab1f147c2eca4989383a33504128bd1fe72d94e0d92b63592011ebd