SHA512 (netbsd-INSTALL) = ea2844e5096c83bdae31745b716abd1e6a06f6f895f59c047fbb897509afd4307a222084b570df8a61ce88a54bf9eacde6579a9d90f1a9985f11519522d0c58e
SHA512 (netbsd-INSTALL_C700) = 5cc78f2577755d13badd13a5c0588a1825ce56f918420adc624c6cc56484bf80b6ef7df76a926538d601110d976468d17f96932212950e900c4f889c1dc3309f