sympy>=1.12
antlr4-python3-runtime==4.11
