numpy==2.4.1
sympy==1.14.0
matplotlib==3.10.5
z3-solver==4.15.3.0