Parsed equation:
With homomorphisms:
Relations:
Reduced relations: