in src/math_verify/parser.py [0:0]
def lazy_string_regex( string_extraction_config: StringExtractionConfig,