SHA512 (netbsd-INSTALL) = b5a999581238349ec8305fa15a40aabe7b4237ff434a3cec50f28e14154072cdab8ed643381b3b6de1f4a9bb3a60abcc41a897905e6a2801ef7d5e2fe78011c0
SHA512 (netbsd-INSTALL_C700) = deb0def503fb8310243fd1554adb6d7999835c4a741502060e579d91f4b59f41c80df268e3d34c58fe52f7499b166c7d57c638e26b5c90162ea4a7c4f7dadc48