SHA512 (netbsd-INSTALL) = c821b012d7db81b676f982c79ad5e8d54afef14fdf1fff5f1530e3d4e4aadcb821551a7c86ddba6f4e612071dd562655e5e9d938d7338c3d8f59c541c916bcde
SHA512 (netbsd-INSTALL_C700) = 2e4059f7c8d497567b8703880678975fc78411e4097578d9061bcf7ad58dfc35c7edc5834d034b3f9d8c25b7fe608fed58a3a223012be3772668bdf65fa7257c