SHA512 (netbsd-INSTALL) = 9b93c6d93b0f94ad943a1ffccd83c04f1dc3b6cf51f357ca2fcc420bb0ba2345bda4f2c28013f8e9ff5873f097b499575482fe19ebbb53e799529ab8fe741990
SHA512 (netbsd-INSTALL_C700) = a008dda40a028ede2e2828ecc593ae5cb61667426b5d471e3a8e623d98436da843f0e74c44ac1c1fc05278f09d333d371a771ca8dd3298a254269668536a2170