SHA512 (netbsd-INSTALL) = 1332602bd7a4f6d1d62ed5c41218b54b82035c6a9703eeaea6d04a17f46325001c2a318e5561d681541f22591a7af34e91a3fd491a3bf699200787040b6f2998
SHA512 (netbsd-INSTALL_C700) = a74c9dcc3f325952afb41473acfbdae6118fffcf15de22c5597a70ba7cbfbbf9f80301a5f02068d00404d93022619491e6916dfbde4d98cfb9ab9e1090ccda8d