SHA512 (netbsd-INSTALL) = 40f2a958b8cba524db0a8371215e8e13001d184a00862b22f58347cb4abff738e9c95e9c94d463dad08aec686a0ee67716b84e728bf29b12129e6d974a6931d7
SHA512 (netbsd-INSTALL_C700) = 127a3f97aa242fcd35cbbb2fc11dc0cf99b70f7f5d4e896b433fc4460004c402f577100e76de7a7617a14e438272fab7b18c97c4a30813a784cacfddcaccae07