/home/prckln/mkrp/examples/equality/algebra/group/characterizationcommcircle
/home/prckln/mkrp/examples/equality/algebra/group/threeelementxminusx
/home/prckln/mkrp/examples/equality/algebra/group/woscommutator