SHA512 (netbsd-INSTALL) = f5ee474861386c6e92f39f37eaceaf2262bb75abbb6c33bdbd9371e6edc9ccae932506b7ff68e4b223a9097c3b234c4ec306712d975be8345e2c53dbc3f4e424
SHA512 (netbsd-INSTALL_C700) = b56312434b62686032a15f55153986dc1502a326a51f5fd6fd3ca1768446b8bdcccfb0c23816b1ac42df42452e664ddd0f8e3500ca37b1a8d34f1bf1b1280e6d