SHA512 (netbsd-INSTALL) = 4456ce73f997559023dd99e2975aa7532329efd851e01d0508ec9960fd90df3482ab2e6b9c6ca6393ef86de513231a7463926a9cb149797e7bb02d1772a8146b SHA512 (netbsd-INSTALL_C700) = 7df279447aef24fcbdf86ec361319860d892765a530c6bdc2046f5aa5d3c793c12350342d5833c1de3a975ff03c8b8aeecd01f9a5c626f9628c0c7bde86eae27