@$pb.TagNumber(7) $core.bool get includeSymbols => $_getBF(6);
@$pb.TagNumber(7) set includeSymbols($core.bool v) { $_setBool(6, v); }