SHA512 (netbsd-INSTALL) = 84435c6f6ede29581f25852e0bedb6266cc1919364a3d238e0ff30a2ac915fd098db4037abeaa6fc22cd19de681094c9b38a71f951c9048f1d604fed03802c65
SHA512 (netbsd-INSTALL_C700) = 2d8df7e021e56c634d394790d5a4ce8cfbe403fec5e6ad31950d372b6adc93bd7a374c77fb719f6a4211df194d51fd78f1c6d0c74f547c027db77fdcb914bd92