SHA512 (netbsd-INSTALL) = 514832dce83a20802632bd1cf1172ee260e976ed28790424284324a279f3dfcc888ab37fce68a9e4b933d48d2baaeb7bd7c6c35dd57658d348ea6b77b45fe1ac
SHA512 (netbsd-INSTALL_C700) = 12abb68ccdaae7f77ce8dfda4285ed3de7158fb57e0fd8630d90de74cdac66ea78c6b7fe74d83f116aed86626470e2ea4270670bdc992ac82acce43bb341173f