SHA512 (netbsd-INSTALL) = 1405c7f8c6da0dbf9a9e1d746f901b085ac7b4917627ddf3a23108adfb06211ef579ca0c3f2e3e22542655491379ea0f14f1c14dcf16e9d2319e481f5ec56036
SHA512 (netbsd-INSTALL_C700) = 7c0d6cc97962da9e57e4af72129103794c71a442d77a7ad20ca7c10f8092468b34b8154dbd540a5d7403de411858d091fb2c3dfcafa90731384eca51cac794d7