# file: C:\Users\runneradmin\AppData\Local\uv\cache\archive-v0\5cW0sKdFVCwVg4h7\Lib\site-packages\pygments\lexers\__init__.py
# hypothesis_version: 6.170.14

[0.5, 1.0, '*', 'CustomLexer', 'Lean3Lexer', 'LeanLexer', 'Python3Lexer', 'PythonLexer', 'PythonTracebackLexer', '__all__', 'encoding', 'find_lexer_class', 'get_lexer_by_name', 'guess_lexer', 'inencoding', 'load_lexer_from_file', 'rb', 'utf8']