SHA512 (netbsd-INSTALL) = 7cd310821206d840e70cc53f56c81b4969049f04385022bc5140445d3895885d0ffeb657add4787fe3e45dede16ab4011edae213a8498e9138da9dc61690857c
SHA512 (netbsd-INSTALL_C700) = 89e7e7ccdf78b2a0c8c371e8a7a2f8d92af4d797a0c7b9d890e4c8d30f1f718c31ac54cba8ff9cc2075a75b42ecc8995869e188f66088d7f4e0ae2e5fbf55e0b