SHA512 (netbsd-INSTALL) = 40fba77125b638ac18733b56d0d6e3b0bbba19449e480dcd5df08ede3efd802766a3d921169067e4dce4f342e3adff4bab6758ace5c2144724a259e178509291
SHA512 (netbsd-INSTALL_C700) = f68b6512f88d5e52ece638eb80bd9362482b24d6f59819e2d94c12049b4586aed109c3194489677b1eda5df848f0838a640511cdb837714b4964481f4f0d454e