SHA512 (netbsd-INSTALL) = 7adea7422db4df8d8a8daa75c50d0012ea273b2325a09af8f53b2b6342b3e1a2b87d549b4c4a7bcd45457e0a66679d52dc7069392b1e3558538e663591274900
SHA512 (netbsd-INSTALL_C700) = 81c8b4616c67b0d0be033d6d52026a74905e77140be5b5382b3a317a0f8a0ab3472f36cee2c6a6d0ca860ae7d44ec56c779de33a8247b1b3d9c3d57ff903293c