Parsed equation:

With homomorphisms:

Relations:

    Reduced relations: