SHA512 (netbsd-INSTALL) = fb779e2bad3519ab7196279df09243c7de128fc58d5b613bb9fef465f27d0c39463c5eb82e3665d5161bc301d0c56939b46fd95c78cadc5c1c6c0bb785077168
SHA512 (netbsd-INSTALL_C700) = a8c2e8754881d8653bf8d687907e0c53093aa71f2a9cb55b373b2666b459559b08ecb1dbfc81504d4eedae91ca4b47066037e9075bcaf278294e62d72f53e0e7