@$pb.TagNumber(4) $core.bool get prove => $_getBF(3);
@$pb.TagNumber(4) set prove($core.bool v) { $_setBool(3, v); }