Following pakcages can be installed from APT.
You need to install following softwares manually.
How to run
$ python3 count.py test.json
If you had an error
Your Java may be old. Update or recompile Simplify_Integral.java and Unsimplify_Integral.java
Please ask us
Feel free to write issues in English or Japanese.