SHA512 (netbsd-INSTALL) = 7915414e40e1cc002c136bea69a52268a49508b0dda6920bda5fc69a60bebb6ea8cdefdcc621f7584756ac53ed7678674181f001cb8c52a3b5083932e64c6e61
SHA512 (netbsd-INSTALL_C700) = a533a780e52c0310b0288f4080407037f2d71288fd1bd88728478342c325d0c4eaf814911e7b2bab0050fbc614a92661d3efd11b34d9f3a1d074c28ecba69034