SHA512 (netbsd-INSTALL) = 180bcabf80e49f09ee1a7e5292210ffd01e1672b422c69506d502da32b5a8452e0ebd008ef1be1fa68e576a90e78c4e8e627f64000a64f73e79c099ed6277e72
SHA512 (netbsd-INSTALL_C700) = 443ef9705babaf725b3d0884b0e3adb9704a128104dc4ccebecb26a7e082f694b534aa8e46c1d3caf8b33f4be564077aa3635d5d2f1ea5439f5ffd15d555e07a