SHA512 (netbsd-INSTALL) = 54fd562315f067d2d4088171992a9ed2ea3bbb99f66a96cc91aad96ac21725260a1ff01691b1c7eb0ab74657e81dbbd34593efea93e08607c79b90f77989d237
SHA512 (netbsd-INSTALL_C700) = 4e5ac4fa1b7cc445229434793a79c59a1145a04c0e39b5579b7ec8af58851d634deee201b4d41161b3b5bdec775ff37efecea3d8badba8569062f2e2d470615c