@$pb.TagNumber(1) Ticket get ticket => $_getN(0);
@$pb.TagNumber(1) set ticket(Ticket v) { setField(1, v); }