Parsed equation:

With homomorphisms:

Relations:

Reduced relations: