@$pb.TagNumber(2) $core.String get ticket => $_getSZ(1);
@$pb.TagNumber(2) set ticket($core.String v) { $_setString(1, v); }