SHA512 (netbsd-INSTALL) = c9466622c00f571142827c3eb100d9731aa3e023165a7e7ed9d6faf2f2174f55301cb698838a22425ff99b7ae7ef3608e781b2256b5046ae0ccb8fff3e9ea668
SHA512 (netbsd-INSTALL_C700) = f73e93579fb12bf65ff0023c47ddd575f71e4c8074dcca01ea3daeff764827ff6f6c94456b275610363ba971fc26106b7e96b6f2bbd17db0df326a2cc7385f3c