SHA512 (netbsd-INSTALL) = 1d4e861242d71a526b362f310c69c33ae9e7ec2c7b36906a74e790d5c7f6457d26820d757ff124342a6c3076e3e96689b2b63670805fea3860be308272978279
SHA512 (netbsd-INSTALL_C700) = 9131c3ac85d68d4444b20aef3ab7f8271a3a11689aace943208224be1784f8c8a20b3f696473a6f3cf6ebf8abadaae5cf5b3cf95f6a67bf2ac1501b49713cc77