z3-solver==4.9.1.0
setuptools==75.8.0