@TagNumber(1) List<int> get SHA256 => $_getN(0);
@TagNumber(1) set SHA256(List<int> v) { $_setBytes(0, v); }