SHA512 (netbsd-INSTALL) = 5842560ffda631d04671b5e063c598b2c4df3796e15c387cb47819641141569df63e210d84a0cd863642f2b8ae4ec79e9e009cb5bd87116156e18e2e19e95a26
SHA512 (netbsd-INSTALL_C700) = 48e78f6086b431ea1216d35bfe55493c61b813a5f6067a8906b07e55379206b9839d1dc5e1a09264924657c46be31381e1133705a47a446fe1753be0fd2efb67