SHA512 (netbsd-INSTALL) = 53872a447077fc54137f2779c22fabf8ec80bbe0367e0f28dd8326aed4842276d54bf4eb1978195a08097d4244ae4aed02803a5297fe7d25bb7134538d3eac86
SHA512 (netbsd-INSTALL_C700) = 133e6cbad9441486cf6d155bd876d66c4e6265bf938c8ad21c92eb6e9dd522660b9fc99b8f1fb68b0340363e5154a6e9aa8aed353c39d9af4c88882c47ef1613