SHA512 (netbsd-INSTALL) = 42250bffae85053b7d717432e50470a1679ea75c24910d3f39e63c6295027dd283a3bac06963d5c6c98c505674c2ea538696f83bbc5ac232bd4c0ae4ece346d8
SHA512 (netbsd-INSTALL_C700) = 5f4ba25cdd535c5f7b7feebba683b870ee53227a67687f82e4c88413706011f12a3454f0ec69a16980f769e808dd4b00c9ea13ae8bd09bc187d5ceec08434dd7