SHA512 (netbsd-INSTALL) = 68bddea6dbbe002573380ff11b84fe0f4e730978f2ad82182dc44c2c6a284d0070fed6b1446672c61e624fa6e8bf8f1464ceab6649297780a64ca4f3eefa8ffc
SHA512 (netbsd-INSTALL_C700) = 0e2cb00b596314f5f3d30df8aa465555201a8ca23d2abc0b0e7e92490a620159af09828ef441cf52cfe236b44a669be8cc2f09fb9b1aaa0fb46bf261251d34b9