Made by EffiSolve v1.3.0 stable