SHA512 (netbsd-INSTALL) = 29eb834e8625f179d6b6414e6aa94efdfabe2d488cab1220b44c3388e6c4804c7755cc34135bcce439e00fa811014f04724294e96f09ce83b0b30140e29fd97e
SHA512 (netbsd-INSTALL_C700) = 1757b7988143779f0b02c7efc2ae4ca534f47006084f94a43dc0a5623baba698409bcd70c2ffa323802216fd6e3b91db5024cb21ebfc2c32c86ca8c7037f21d7