SHA512 (netbsd-INSTALL) = 6ff676cc35f88b8ada3bd9b139a3aea2974d5d10b6fd6315508ab790b5b861ab626656b7042b8a8fdeabedd18197c4c175f69467a78a78821e60129ddb2d4962
SHA512 (netbsd-INSTALL_C700) = e131a1328f754db039985736da7cc56051c8120ef501a9704c91a32511eb296d7cbd203b3f281528939f58a14472f2b1a1fbf771a5c8766e2d93afd4e94eb1c3