@$pb.TagNumber(2) Proof get proof => $_getN(1);
@$pb.TagNumber(2) set proof(Proof v) { setField(2, v); }