SHA512 (netbsd-INSTALL) = 720e9c7098b22aa185e3448bd992a74d67890f18352ed3e012016d8f9edcfcc5ae6a1d745d412cd7591b08f249119235c4ad316dcf647850e9d76faf8fe44880
SHA512 (netbsd-INSTALL_C700) = 68fca3cbbe52697ccd2d1152001abe6037e96168ed1d579c49d524818ec49c05d3d7df9308a3feeec963a662e10c4f0ee40aeb8271cb5e85e06ab82cdf06d98c