SHA512 (netbsd-INSTALL) = bf002f6585b4a102411660745076d0205faf7b7535f08ae3e0f2e30b75cd4ed5e39b819f88f36f04d64c5073d878cf3789ee1b9c47d7cac1935c2a826010b434
SHA512 (netbsd-INSTALL_C700) = 83bc296bb8275cbe9f695af68f7b8a149f2abfe93dddd430823b6fc0aa7233d8605eb6a4a1ccd60aa553673decb226441fa98366979c6a36c350e42d00bfb951