SHA512 (netbsd-INSTALL) = 40aaf4fabc5074b38bbafbaf0fb6c943441de982e3ed6d96e71d8ddb4616fa4c650064339bd2b0c86712006945b81a7f264d1c7d4af114e87172109a846ba817
SHA512 (netbsd-INSTALL_C700) = c6e1a27d8ff5b89ddcfab1ce0b1bcdeae71576237f500b754f033c2a5eab86b1d83baedf012f864e215200b9102bf2ad77964e531bee5e544e9e240f6a83ffbc