@$pb.TagNumber(20) $core.int get numParticipants => $_getIZ(15);
@$pb.TagNumber(20) set numParticipants($core.int v) { $_setSignedInt32(15, v); }