SHA512 (netbsd-INSTALL) = 3d66a140e27a5a78475d405ae33e0a13e7a2899de276dd1c682f6d1631ceb7f9156d4b4052ecc7b936aad7da9decd7359a11940fd7f573688fea99629e2bb505
SHA512 (netbsd-INSTALL_C700) = 29856654f3a9938f0017b190dda47f01d98ea828d78191271f2a4640a2859989d0cf30a6c78bd59d7c21d89c9fc89e4e017a862f2287093fbc874c8c534c112d