SHA512 (netbsd-INSTALL) = a1da3b88c204bbd6c5e9f09b14eb36f6657161ab91737f07c44217990e86e11bee0829e83782f1d6c17817b4b269b75e1e74513c70d5992ba2a97c3c8ee982af
SHA512 (netbsd-INSTALL_C700) = 3541c70ebcdb141e00671afb4a62927e97f66da36c9b4a613921d1892a2c4bd431c122f46607a3a88fb459182dd4fff642d40930cfc9cc19c745e88db3803bc9