SHA512 (netbsd-INSTALL) = 865cbcf09e99d2cd796699b0beff27434c897ad1c0c1fa77c1157a4f9e1d315d4d33cd21d9684db33c83ac0531dcbe13ad9df86025e8625d497e7afbeb1ffc30
SHA512 (netbsd-INSTALL_C700) = 11385face8292f7527427b6598c05d621a24817758128af48f454d2653ba4938df030658c98959abdca9712445780e11401669d5d236ce0013a5b6147dc0673b