SHA512 (netbsd-INSTALL) = 5836dfe857028914440fb7cf730a53f1c027caa7e4000b60ec8df570da7e25b9e5a49a8683919567d39ac9288a9eacedcbc486fbc6b4ad4754eb6e83c1fbe146
SHA512 (netbsd-INSTALL_C700) = 04c7584389942d62b1da1c66fd5ac1839a5cc067d80c11082aff758a23b928a4d8b3e90de6e441d73f94b11ecde746f1a91e377540b08a7c34fb0c0f9087b581