SHA512 (netbsd-INSTALL) = 6b03561d9fe15a4185dd08ae144ccf0ff4553433825cb92f5fae55a25e34ce6645100cb60947fb40831d7f8ce25456340565b14d2412f18f112aebf4889d5ccc
SHA512 (netbsd-INSTALL_C700) = 455077244c74bac6e3d48e72e0124a419396e6e2da4a1ec6ff0a2473bcd774a40041d38fb6ce3df7ffd9414090db64a0fe87a0f22b44dbbf65c3dbb556e1bb67