SHA512 (netbsd-INSTALL) = 2147990dc43fcbbf1999f14e03c4153642173660bcc1e8837d527c9af92dec30fd17dc1234b9e3d0ef817a72871a8ab278a20ca9d95c186fa67f7b487341995e
SHA512 (netbsd-INSTALL_C700) = 171857c07f45be3fa36ae108dcc1e3497882dfc7d20b20555dc00cd5e2528e203e55c89c84992a97726640cabf67e933c0fdf4854749f11fcecf306229efc9f6