SHA512 (netbsd-INSTALL) = 94f054ba715d00604813614cc5865752642e4e801eb3ec133cb6f3135b80fcb900f8b69166f853cbe7a0d31547643c12cf2a0d7a8e233149a26e60698d4ef082
SHA512 (netbsd-INSTALL_C700) = 0d9da410d154c363f5a2aeca07532afda6707485e9687f64e04437a956dcee98ec40e07f915cd1bd6716382b0705c940f787f439e3bb331d40ae49b088c0c1bb