SHA512 (netbsd-INSTALL) = eb63d70b951256f6ca5660863070be3e47ef19d369fd07e3121eee0ffcfdfe5e36163c1690aaaa236caffa5c96b0db71f54541db099bc2c79b9304184ff5e3e8
SHA512 (netbsd-INSTALL_C700) = 8344552ed922d7d21a8e27a292cf5cf0289f67bb1a8af3229ca0ec8be0c30413c69784d5b03363e7e4ea60003e9d409880430e06d674fa3041b3effbd35efad5