SHA512 (netbsd-INSTALL) = fef5d5f4ff30f9fa75a84ff2ea52f0ed462beb984901dc86b92d6198b11aa1680229d42919272108424fe9c85ea0f1fdcecf1a83f86958d28842f695d4dc1531
SHA512 (netbsd-INSTALL_C700) = 9e14313bb8dc913be56cd24c690778aea4cb4dc51f8d695e4b272ec34260f387978fb8a8a1b458c811497a1ceccafb138261f4c0671ec99d2c3af41271b8ab9b