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