SHA512 (netbsd-INSTALL) = 0858d80a79711f53368954c576e12f908e97e79cd457b10323f656c8ba88bcff6347eecbfeffbc64a4fe4e3c7413438c98ea7f26924fe6d4f99bdf239eea833c
SHA512 (netbsd-INSTALL_C700) = ab8391a983e36ed6d6b152087e7b720a2fe5be6a555134fbfbc56b727b576ffba33a5dba553a2ac36933dfd46f917a93516328bb1b028b7042bd671c6cdc8c67