SHA512 (netbsd-INSTALL) = 73dc6a7a4649816044fae5b105a97a0376f824b2b7566f72dd759e5833a5dfdb3f5eae8af728ca5c2d3737fe360cabfec1a61ca5f58a04e82a35eb7c58490b72
SHA512 (netbsd-INSTALL_C700) = 5604f0456c7f7cffdabe390e82bcd74338a53b1ce274b61c3e4a49b93bda1b3265b9c04599f91c32a212869cabe60cee03eaff3754633ac5c30947efc383dfa3