SHA512 (netbsd-INSTALL) = f4b50ba760d4836647cce3443accd935a84b851703d6f7cdbf7d453c2935db34746fab8666b9f3de638e092a49b1d2fc3da2ecfe3f29cdfff48ea74ba71a890d
SHA512 (netbsd-INSTALL_C700) = a027cbb1933b1e1b1cff42e3b5361a21f0acfcdad87c0bb3fd55f814f43e239f3292b043b155a1605432b195b694b08ed8af681e2c45507934e081c2ad8e7eb7