SHA512 (netbsd-INSTALL) = cdc6f61a29719f863d171f1e0e1873a9533a44120d437b4f729c41a9bf75092307a054389afa5f86dab1c24f09efdaddc6f37b911e4ef68eae205b4b8e476007
SHA512 (netbsd-INSTALL_C700) = dc815c2963ad6d47f3b9ed2cc04aa0d3dfcc0ff64b630ecf2d87e73566738ab8ef1a2259a4fa13448228a6729c2f2655d8d875040caae995bb6429aafd877730