SHA512 (netbsd-INSTALL) = e30b824effffde9e9e5ab0663ba807978b3c64bd7fd950928b9b1e304bd7bfa27abba2ff94e000ebc83c20ae7244168ae94533575dbc3743078501d18678936d
SHA512 (netbsd-INSTALL_C700) = 598dc56e874d897e0e83f330f1711ff00b2fb44060ad30f966bef168a0c60b2fc012b589772c42dc133919ba874d717d3b35d006cbe78425693aafb15bd77671