Directory listing for /.local/lib/python3.13/site-packages/z3_solver-4.15.3.0.dist-info/