1sympy>=1.142numpy>=2.03scipy>=1.144matplotlib>=3.95pandas>=2.26gmpy2>=2.27z3-solver>=4.138python-sat>=1.89ecdsa>=0.1910coincurve>=2011statsmodels>=0.1412networkx>=3.313pytest>=814tabulate15pyyaml16
c732f7e320257301eb619a8227b914374a41aac4