sympy==1.14.0
z3-solver==5.4.0.0
hypothesis==6.170.15
