SHA512 (netbsd-INSTALL) = e6c8f018d1d7f1cba48bf7ef712328d1525c1b6d891d1bfaa8ba55a738a2037cb505333e323402837170720c193a9ea5b2e917289c278de8da1d8af0df0741ce
SHA512 (netbsd-INSTALL_C700) = 79bc3a685cf7abfcc5a1a3e9ffb973a4442fc823fd5d5577d952a6b26ae673ccfded49b61874376c87d422ca7f63776b815468f966741a05c7be6b8d2b9fd5f9