semigroup generated by a, b, c, d with relations a²=a, b²=b, c²=c, d²=d, ab=b, ba=a, bc=b, cb=c, cd=d, dc=c, da=d