SHA512 (netbsd-INSTALL) = 1543537aeaa9790e02b33196bf555ac62049c59774452c9d17f00a8274fb5449911e6a17dbff435ddf8daf4a5abed8b0f4bf975ff23183e5897ee9e741751c08
SHA512 (netbsd-INSTALL_C700) = 58ee412ae557977e1059ebce244f729d698e140999a9bca400fecc4d0be8c14d0392609376e775a4b2ba907d170cfca2f52c2e864bb5125fb35fc7b6a11134e5