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