SHA512 (netbsd-INSTALL) = 6550af62b6a0da13379b37c6e7ea355566d3f7012824995a3bd37f523431bbc721394e7419a6b0f54cc142554c194b5591e0ee9b0a0a23fb9356f40e0fd20887
SHA512 (netbsd-INSTALL_C700) = 006fb217366963fba1f82faecfebd58c1664e02e7fa281a4a8515e3e9f870fcf43c8b8e3bacfe0147ac25c2a289d7216545673ef756b0c233e3b08a8d5a76587