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