Playing Mageometry 2D - Plane Geometry Solver - Antonio Giarrusso