SHA512 (netbsd-INSTALL) = 7fdd2ba7be0509e0416515f1c281f9dfb41c68cb8c546c1bbadb452bf646de8de5bca8534a38eb79f39580c431003b506cee8dd8d099bccfe26c2652ca339ad5
SHA512 (netbsd-INSTALL_C700) = 6dfd0ae05392bcb723770ea8b5454124b36026648f2bba05104a15e63b6b4d3fa2b003c0dfc1b0bdf276d4296fb45f2510bb5464fc0d331e61f0745117c807b1