SHA512 (netbsd-INSTALL) = 835c11a94ddb8083ac1e0159c12d623b054a94a5ab61c5dd7bfbb6b161b3c99d4c9759bb0bd04f3a470535ba123959407d8ca249ff44becb374433a317969372
SHA512 (netbsd-INSTALL_C700) = 16d5087fb2d7e0b9f7e320a24256848c2cac258fee480aac756c663d65fc5c8e9ccbdadaa96569d9905472a786c922286e03a225f7bd2244cc0a646e9212157a