#3 ⟨a, b | ab=1, ba=1⟩

Up:Monoid enumeration
Prev:#2 ⟨a, b | aa=1, bb=1⟩
Next:#4 ⟨a, b | aa=a, ab=1⟩

Contents

  1. Properties
  2. Commutative structure
  3. Staircase diagram
  4. Rewriting system
  5. Isomorphic instances

Properties

Commutative structure

Staircase diagram

Rewriting system

Format:
Word:
Enter a word above to compute its normal form. Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Strategy:
Result: 1 
1
#RuleProof
1. ab ⇒ 1 [1]
2. ba ⇒ 1 [2]
# ab:ab=1,ba=1 ab - -
ab=1
ba=1

Isomorphic instances

The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.

601 total

Σ#PresentationMapping
629⟨a, b | aab=1, aba=1⟩φ(a) = b, φ(b) = aa
631⟨a, b | aab=1, baa=1⟩φ(a) = b, φ(b) = aa
680⟨a, b | ab=1, abba=1⟩φ(a) = a, φ(b) = b
682⟨a, b | ab=1, baba=1⟩φ(a) = a, φ(b) = b
683⟨a, b | ab=1, bbaa=1⟩φ(a) = a, φ(b) = b
6102⟨a, b | ab=1, baa=a⟩φ(a) = a, φ(b) = b
6106⟨a, b | ab=1, ba=ab⟩φ(a) = a, φ(b) = b
7152⟨a, b | ba=ab, aab=1⟩φ(a) = b, φ(b) = aa
7153⟨a, b | ba=ab, aba=1⟩φ(a) = b, φ(b) = aa
8462⟨a, b | aaab=1, aaba=1⟩φ(a) = b, φ(b) = aaa
8464⟨a, b | aaab=1, abaa=1⟩φ(a) = b, φ(b) = aaa
8468⟨a, b | aaab=1, baaa=1⟩φ(a) = b, φ(b) = aaa
8476⟨a, b | aaba=1, abaa=1⟩φ(a) = b, φ(b) = aaa
8517⟨a, b | aab=a, abba=1⟩φ(a) = a, φ(b) = b
8520⟨a, b | aab=a, baab=1⟩φ(a) = a, φ(b) = b
8521⟨a, b | aab=a, baba=1⟩φ(a) = a, φ(b) = b
8523⟨a, b | aab=a, bbaa=1⟩φ(a) = a, φ(b) = b
8548⟨a, b | aba=a, abba=1⟩φ(a) = a, φ(b) = b
8550⟨a, b | aba=a, baab=1⟩φ(a) = a, φ(b) = b
8619⟨a, b | ba=ab, aaab=1⟩φ(a) = b, φ(b) = aaa
8620⟨a, b | ba=ab, aaba=1⟩φ(a) = b, φ(b) = aaa
8764⟨a, b | aab=1, abaa=a⟩φ(a) = b, φ(b) = aa
8769⟨a, b | aab=1, abba=b⟩φ(a) = b, φ(b) = aa
8772⟨a, b | aab=1, baaa=a⟩φ(a) = b, φ(b) = aa
8777⟨a, b | aab=1, baba=b⟩φ(a) = b, φ(b) = aa
8781⟨a, b | aab=1, bbaa=b⟩φ(a) = b, φ(b) = aa
8790⟨a, b | aba=1, aaab=a⟩φ(a) = b, φ(b) = aa
8792⟨a, b | aba=1, aaba=a⟩φ(a) = b, φ(b) = aa
8795⟨a, b | aba=1, aabb=b⟩φ(a) = b, φ(b) = aa
8797⟨a, b | aba=1, abab=b⟩φ(a) = b, φ(b) = aa
8799⟨a, b | aba=1, abba=b⟩φ(a) = b, φ(b) = aa
8803⟨a, b | aba=1, baab=b⟩φ(a) = b, φ(b) = aa
81074⟨a, b | ab=1, aabbba=1⟩φ(a) = a, φ(b) = b
81080⟨a, b | ab=1, ababba=1⟩φ(a) = a, φ(b) = b
81082⟨a, b | ab=1, abbaab=1⟩φ(a) = a, φ(b) = b
81083⟨a, b | ab=1, abbaba=1⟩φ(a) = a, φ(b) = b
81084⟨a, b | ab=1, abbbaa=1⟩φ(a) = a, φ(b) = b
81089⟨a, b | ab=1, baabba=1⟩φ(a) = a, φ(b) = b
81091⟨a, b | ab=1, bababa=1⟩φ(a) = a, φ(b) = b
81092⟨a, b | ab=1, babbaa=1⟩φ(a) = a, φ(b) = b
81094⟨a, b | ab=1, bbabaa=1⟩φ(a) = a, φ(b) = b
81095⟨a, b | ab=1, bbbaaa=1⟩φ(a) = a, φ(b) = b
81156⟨a, b | ab=1, abbaa=a⟩φ(a) = a, φ(b) = b
81159⟨a, b | ab=1, abbba=b⟩φ(a) = a, φ(b) = b
81162⟨a, b | ab=1, baaba=a⟩φ(a) = a, φ(b) = b
81164⟨a, b | ab=1, babaa=a⟩φ(a) = a, φ(b) = b
81166⟨a, b | ab=1, bbaaa=a⟩φ(a) = a, φ(b) = b
81218⟨a, b | ab=1, aabb=ba⟩φ(a) = a, φ(b) = b
81225⟨a, b | ab=1, abab=ba⟩φ(a) = a, φ(b) = b
81227⟨a, b | ab=1, abba=ab⟩φ(a) = a, φ(b) = b
81230⟨a, b | ab=1, baaa=aa⟩φ(a) = a, φ(b) = b
81235⟨a, b | ab=1, baba=ab⟩φ(a) = a, φ(b) = b
81238⟨a, b | ab=1, bbaa=ab⟩φ(a) = a, φ(b) = b
81239⟨a, b | ab=1, bbaa=ba⟩φ(a) = a, φ(b) = b
81265⟨a, b | ab=1, baa=aab⟩φ(a) = a, φ(b) = b
81266⟨a, b | ab=1, baa=aba⟩φ(a) = a, φ(b) = b
91285⟨a, b | aba=aab, baa=1⟩φ(a) = b, φ(b) = aa
91286⟨a, b | aba=aab, bab=1⟩φ(a) = aa, φ(b) = b
91287⟨a, b | aba=aab, bba=1⟩φ(a) = aa, φ(b) = b
91300⟨a, b | baa=aab, bab=1⟩φ(a) = aa, φ(b) = b
91301⟨a, b | baa=aab, bba=1⟩φ(a) = aa, φ(b) = b
92157⟨a, b | ba=ab, aaaab=1⟩φ(a) = b, φ(b) = aaaa
92158⟨a, b | ba=ab, aaaba=1⟩φ(a) = b, φ(b) = aaaa
92159⟨a, b | ba=ab, aaabb=1⟩φ(a) = aa, φ(b) = bbb
92160⟨a, b | ba=ab, aabaa=1⟩φ(a) = b, φ(b) = aaaa
92161⟨a, b | ba=ab, aabab=1⟩φ(a) = aa, φ(b) = bbb
92162⟨a, b | ba=ab, aabba=1⟩φ(a) = aa, φ(b) = bbb
92163⟨a, b | ba=ab, abaab=1⟩φ(a) = aa, φ(b) = bbb
92164⟨a, b | ba=ab, ababa=1⟩φ(a) = aa, φ(b) = bbb
92165⟨a, b | ba=ab, abbba=1⟩φ(a) = bbb, φ(b) = aa
92322⟨a, b | aab=1, aaabba=1⟩φ(a) = b, φ(b) = aa
92326⟨a, b | aab=1, aababa=1⟩φ(a) = b, φ(b) = aa
92328⟨a, b | aab=1, aabbaa=1⟩φ(a) = b, φ(b) = aa
92333⟨a, b | aab=1, abaaab=1⟩φ(a) = b, φ(b) = aa
92334⟨a, b | aab=1, abaaba=1⟩φ(a) = b, φ(b) = aa
92336⟨a, b | aab=1, ababaa=1⟩φ(a) = b, φ(b) = aa
92340⟨a, b | aab=1, abbaaa=1⟩φ(a) = b, φ(b) = aa
92349⟨a, b | aab=1, baaaab=1⟩φ(a) = b, φ(b) = aa
92350⟨a, b | aab=1, baaaba=1⟩φ(a) = b, φ(b) = aa
92352⟨a, b | aab=1, baabaa=1⟩φ(a) = b, φ(b) = aa
92356⟨a, b | aab=1, babaaa=1⟩φ(a) = b, φ(b) = aa
92364⟨a, b | aab=1, bbaaaa=1⟩φ(a) = b, φ(b) = aa
92383⟨a, b | aba=1, aaaabb=1⟩φ(a) = b, φ(b) = aa
92385⟨a, b | aba=1, aaabab=1⟩φ(a) = b, φ(b) = aa
92386⟨a, b | aba=1, aaabba=1⟩φ(a) = b, φ(b) = aa
92388⟨a, b | aba=1, aabaab=1⟩φ(a) = b, φ(b) = aa
92389⟨a, b | aba=1, aababa=1⟩φ(a) = b, φ(b) = aa
92391⟨a, b | aba=1, aabbaa=1⟩φ(a) = b, φ(b) = aa
92395⟨a, b | aba=1, abaaab=1⟩φ(a) = b, φ(b) = aa
92396⟨a, b | aba=1, abaaba=1⟩φ(a) = b, φ(b) = aa
92406⟨a, b | aba=1, baaaab=1⟩φ(a) = b, φ(b) = aa
92701⟨a, b | aab=1, aba=aab⟩φ(a) = b, φ(b) = aa
92704⟨a, b | aab=1, baa=aab⟩φ(a) = b, φ(b) = aa
92712⟨a, b | aba=1, baa=aab⟩φ(a) = b, φ(b) = aa
92713⟨a, b | aba=1, baa=aba⟩φ(a) = b, φ(b) = aa
103781⟨a, b | aaab=aa, abba=1⟩φ(a) = a, φ(b) = b
103784⟨a, b | aaab=aa, baab=1⟩φ(a) = a, φ(b) = b
103785⟨a, b | aaab=aa, baba=1⟩φ(a) = a, φ(b) = b
103787⟨a, b | aaab=aa, bbaa=1⟩φ(a) = a, φ(b) = b
103836⟨a, b | aaba=aa, abba=1⟩φ(a) = a, φ(b) = b
103839⟨a, b | aaba=aa, baab=1⟩φ(a) = a, φ(b) = b
103899⟨a, b | aabb=ab, abba=1⟩φ(a) = a, φ(b) = b
103902⟨a, b | aabb=ab, baba=1⟩φ(a) = a, φ(b) = b
103904⟨a, b | aabb=ab, bbaa=1⟩φ(a) = a, φ(b) = b
103908⟨a, b | aabb=ba, abba=1⟩φ(a) = a, φ(b) = b
103913⟨a, b | aabb=ba, bbaa=1⟩φ(a) = a, φ(b) = b
103932⟨a, b | abab=ab, abba=1⟩φ(a) = a, φ(b) = b
103943⟨a, b | abab=ba, baba=1⟩φ(a) = a, φ(b) = b
103961⟨a, b | abba=ab, baab=1⟩φ(a) = a, φ(b) = b
103969⟨a, b | abba=ba, baba=1⟩φ(a) = a, φ(b) = b
103970⟨a, b | abba=ba, bbaa=1⟩φ(a) = a, φ(b) = b
104023⟨a, b | aba=aab, aaab=1⟩φ(a) = b, φ(b) = aaa
104024⟨a, b | aba=aab, aaba=1⟩φ(a) = b, φ(b) = aaa
104026⟨a, b | aba=aab, abaa=1⟩φ(a) = b, φ(b) = aaa
104030⟨a, b | aba=aab, baaa=1⟩φ(a) = b, φ(b) = aaa
104033⟨a, b | aba=aab, babb=1⟩φ(a) = aaa, φ(b) = b
104035⟨a, b | aba=aab, bbab=1⟩φ(a) = aaa, φ(b) = b
104036⟨a, b | aba=aab, bbba=1⟩φ(a) = aaa, φ(b) = b
104081⟨a, b | baa=aab, aaab=1⟩φ(a) = b, φ(b) = aaa
104082⟨a, b | baa=aab, aaba=1⟩φ(a) = b, φ(b) = aaa
104086⟨a, b | baa=aab, abbb=1⟩φ(a) = aaa, φ(b) = b
104088⟨a, b | baa=aab, babb=1⟩φ(a) = aaa, φ(b) = b
104219⟨a, b | aaaab=1, aaaba=1⟩φ(a) = b, φ(b) = aaaa
104221⟨a, b | aaaab=1, aabaa=1⟩φ(a) = b, φ(b) = aaaa
104225⟨a, b | aaaab=1, abaaa=1⟩φ(a) = b, φ(b) = aaaa
104233⟨a, b | aaaab=1, baaaa=1⟩φ(a) = b, φ(b) = aaaa
104249⟨a, b | aaaba=1, aabaa=1⟩φ(a) = b, φ(b) = aaaa
104253⟨a, b | aaaba=1, abaaa=1⟩φ(a) = b, φ(b) = aaaa
104277⟨a, b | aaabb=1, abaab=1⟩φ(a) = aa, φ(b) = bbb
104278⟨a, b | aaabb=1, ababa=1⟩φ(a) = aa, φ(b) = bbb
104284⟨a, b | aaabb=1, baaba=1⟩φ(a) = aa, φ(b) = bbb
104286⟨a, b | aaabb=1, babaa=1⟩φ(a) = aa, φ(b) = bbb
104305⟨a, b | aabab=1, aabba=1⟩φ(a) = aa, φ(b) = bbb
104306⟨a, b | aabab=1, abaab=1⟩φ(a) = aa, φ(b) = bbb
104307⟨a, b | aabab=1, ababa=1⟩φ(a) = aa, φ(b) = bbb
104309⟨a, b | aabab=1, abbaa=1⟩φ(a) = aa, φ(b) = bbb
104312⟨a, b | aabab=1, baaab=1⟩φ(a) = aa, φ(b) = bbb
104313⟨a, b | aabab=1, baaba=1⟩φ(a) = aa, φ(b) = bbb
104315⟨a, b | aabab=1, babaa=1⟩φ(a) = aa, φ(b) = bbb
104320⟨a, b | aabba=1, abaab=1⟩φ(a) = aa, φ(b) = bbb
104321⟨a, b | aabba=1, ababa=1⟩φ(a) = aa, φ(b) = bbb
104326⟨a, b | aabba=1, baaba=1⟩φ(a) = aa, φ(b) = bbb
104331⟨a, b | abaab=1, ababa=1⟩φ(a) = aa, φ(b) = bbb
104334⟨a, b | abaab=1, baaab=1⟩φ(a) = aa, φ(b) = bbb
104335⟨a, b | abaab=1, baaba=1⟩φ(a) = aa, φ(b) = bbb
104339⟨a, b | ababa=1, baaab=1⟩φ(a) = aa, φ(b) = bbb
105600⟨a, b | aabb=1, aabbba=1⟩φ(a) = a, φ(b) = b
105606⟨a, b | aabb=1, ababba=1⟩φ(a) = a, φ(b) = b
105608⟨a, b | aabb=1, abbaab=1⟩φ(a) = a, φ(b) = b
105609⟨a, b | aabb=1, abbaba=1⟩φ(a) = a, φ(b) = b
105610⟨a, b | aabb=1, abbbaa=1⟩φ(a) = a, φ(b) = b
105615⟨a, b | aabb=1, baabba=1⟩φ(a) = a, φ(b) = b
105618⟨a, b | aabb=1, babbaa=1⟩φ(a) = a, φ(b) = b
105620⟨a, b | aabb=1, bbabaa=1⟩φ(a) = a, φ(b) = b
105621⟨a, b | aabb=1, bbbaaa=1⟩φ(a) = a, φ(b) = b
105642⟨a, b | abab=1, ababba=1⟩φ(a) = a, φ(b) = b
105644⟨a, b | abab=1, abbaab=1⟩φ(a) = a, φ(b) = b
105645⟨a, b | abab=1, abbaba=1⟩φ(a) = a, φ(b) = b
105651⟨a, b | abab=1, baabba=1⟩φ(a) = a, φ(b) = b
105653⟨a, b | abab=1, bababa=1⟩φ(a) = a, φ(b) = b
105654⟨a, b | abab=1, babbaa=1⟩φ(a) = a, φ(b) = b
105656⟨a, b | abab=1, bbabaa=1⟩φ(a) = a, φ(b) = b
105665⟨a, b | abba=1, aaabbb=1⟩φ(a) = a, φ(b) = b
105668⟨a, b | abba=1, aababb=1⟩φ(a) = a, φ(b) = b
105670⟨a, b | abba=1, aabbab=1⟩φ(a) = a, φ(b) = b
105671⟨a, b | abba=1, aabbba=1⟩φ(a) = a, φ(b) = b
105675⟨a, b | abba=1, abaabb=1⟩φ(a) = a, φ(b) = b
105677⟨a, b | abba=1, ababba=1⟩φ(a) = a, φ(b) = b
105679⟨a, b | abba=1, abbaab=1⟩φ(a) = a, φ(b) = b
105685⟨a, b | abba=1, baaabb=1⟩φ(a) = a, φ(b) = b
105686⟨a, b | abba=1, baabab=1⟩φ(a) = a, φ(b) = b
105742⟨a, b | aaab=1, aabaa=a⟩φ(a) = b, φ(b) = aaa
105747⟨a, b | aaab=1, aabba=b⟩φ(a) = b, φ(b) = aaa
105750⟨a, b | aaab=1, abaaa=a⟩φ(a) = b, φ(b) = aaa
105755⟨a, b | aaab=1, ababa=b⟩φ(a) = b, φ(b) = aaa
105759⟨a, b | aaab=1, abbaa=b⟩φ(a) = b, φ(b) = aaa
105766⟨a, b | aaab=1, baaaa=a⟩φ(a) = b, φ(b) = aaa
105771⟨a, b | aaab=1, baaba=b⟩φ(a) = b, φ(b) = aaa
105775⟨a, b | aaab=1, babaa=b⟩φ(a) = b, φ(b) = aaa
105783⟨a, b | aaab=1, bbaaa=b⟩φ(a) = b, φ(b) = aaa
105800⟨a, b | aaba=1, aaaab=a⟩φ(a) = b, φ(b) = aaa
105802⟨a, b | aaba=1, aaaba=a⟩φ(a) = b, φ(b) = aaa
105805⟨a, b | aaba=1, aaabb=b⟩φ(a) = b, φ(b) = aaa
105806⟨a, b | aaba=1, aabaa=a⟩φ(a) = b, φ(b) = aaa
105809⟨a, b | aaba=1, aabab=b⟩φ(a) = b, φ(b) = aaa
105811⟨a, b | aaba=1, aabba=b⟩φ(a) = b, φ(b) = aaa
105814⟨a, b | aaba=1, abaaa=a⟩φ(a) = b, φ(b) = aaa
105817⟨a, b | aaba=1, abaab=b⟩φ(a) = b, φ(b) = aaa
105819⟨a, b | aaba=1, ababa=b⟩φ(a) = b, φ(b) = aaa
105823⟨a, b | aaba=1, abbaa=b⟩φ(a) = b, φ(b) = aaa
105830⟨a, b | aaba=1, baaaa=a⟩φ(a) = b, φ(b) = aaa
105833⟨a, b | aaba=1, baaab=b⟩φ(a) = b, φ(b) = aaa
105835⟨a, b | aaba=1, baaba=b⟩φ(a) = b, φ(b) = aaa
105839⟨a, b | aaba=1, babaa=b⟩φ(a) = b, φ(b) = aaa
105847⟨a, b | aaba=1, bbaaa=b⟩φ(a) = b, φ(b) = aaa
106052⟨a, b | aab=a, aabbba=1⟩φ(a) = a, φ(b) = b
106060⟨a, b | aab=a, ababba=1⟩φ(a) = a, φ(b) = b
106063⟨a, b | aab=a, abbaab=1⟩φ(a) = a, φ(b) = b
106064⟨a, b | aab=a, abbaba=1⟩φ(a) = a, φ(b) = b
106066⟨a, b | aab=a, abbbaa=1⟩φ(a) = a, φ(b) = b
106073⟨a, b | aab=a, baaabb=1⟩φ(a) = a, φ(b) = b
106075⟨a, b | aab=a, baabab=1⟩φ(a) = a, φ(b) = b
106076⟨a, b | aab=a, baabba=1⟩φ(a) = a, φ(b) = b
106079⟨a, b | aab=a, babaab=1⟩φ(a) = a, φ(b) = b
106080⟨a, b | aab=a, bababa=1⟩φ(a) = a, φ(b) = b
106082⟨a, b | aab=a, babbaa=1⟩φ(a) = a, φ(b) = b
106087⟨a, b | aab=a, bbaaab=1⟩φ(a) = a, φ(b) = b
106088⟨a, b | aab=a, bbaaba=1⟩φ(a) = a, φ(b) = b
106090⟨a, b | aab=a, bbabaa=1⟩φ(a) = a, φ(b) = b
106094⟨a, b | aab=a, bbbaaa=1⟩φ(a) = a, φ(b) = b
106179⟨a, b | aba=a, aabbba=1⟩φ(a) = a, φ(b) = b
106185⟨a, b | aba=a, ababba=1⟩φ(a) = a, φ(b) = b
106187⟨a, b | aba=a, abbaab=1⟩φ(a) = a, φ(b) = b
106193⟨a, b | aba=a, baaabb=1⟩φ(a) = a, φ(b) = b
106194⟨a, b | aba=a, baabab=1⟩φ(a) = a, φ(b) = b
106911⟨a, b | ba=ab, aaaaab=1⟩φ(a) = b, φ(b) = aaaaa
106912⟨a, b | ba=ab, aaaaba=1⟩φ(a) = b, φ(b) = aaaaa
106914⟨a, b | ba=ab, aaabaa=1⟩φ(a) = b, φ(b) = aaaaa
107838⟨a, b | aab=1, aaabb=ba⟩φ(a) = b, φ(b) = aa
107846⟨a, b | aab=1, aabab=ba⟩φ(a) = b, φ(b) = aa
107849⟨a, b | aab=1, aabba=ab⟩φ(a) = b, φ(b) = aa
107856⟨a, b | aab=1, abaaa=aa⟩φ(a) = b, φ(b) = aa
107862⟨a, b | aab=1, abaab=ba⟩φ(a) = b, φ(b) = aa
107865⟨a, b | aab=1, ababa=ab⟩φ(a) = b, φ(b) = aa
107873⟨a, b | aab=1, abbaa=ab⟩φ(a) = b, φ(b) = aa
107874⟨a, b | aab=1, abbaa=ba⟩φ(a) = b, φ(b) = aa
107883⟨a, b | aab=1, abbba=bb⟩φ(a) = b, φ(b) = aa
107888⟨a, b | aab=1, baaaa=aa⟩φ(a) = b, φ(b) = aa
107893⟨a, b | aab=1, baaab=ab⟩φ(a) = b, φ(b) = aa
107897⟨a, b | aab=1, baaba=ab⟩φ(a) = b, φ(b) = aa
107905⟨a, b | aab=1, babaa=ab⟩φ(a) = b, φ(b) = aa
107906⟨a, b | aab=1, babaa=ba⟩φ(a) = b, φ(b) = aa
107915⟨a, b | aab=1, babba=bb⟩φ(a) = b, φ(b) = aa
107921⟨a, b | aab=1, bbaaa=ab⟩φ(a) = b, φ(b) = aa
107922⟨a, b | aab=1, bbaaa=ba⟩φ(a) = b, φ(b) = aa
107931⟨a, b | aab=1, bbaba=bb⟩φ(a) = b, φ(b) = aa
107939⟨a, b | aab=1, bbbaa=bb⟩φ(a) = b, φ(b) = aa
107955⟨a, b | aba=1, aaaab=aa⟩φ(a) = b, φ(b) = aa
107959⟨a, b | aba=1, aaaba=aa⟩φ(a) = b, φ(b) = aa
107964⟨a, b | aba=1, aaabb=ab⟩φ(a) = b, φ(b) = aa
107965⟨a, b | aba=1, aaabb=ba⟩φ(a) = b, φ(b) = aa
107967⟨a, b | aba=1, aabaa=aa⟩φ(a) = b, φ(b) = aa
107971⟨a, b | aba=1, aabab=ab⟩φ(a) = b, φ(b) = aa
107972⟨a, b | aba=1, aabab=ba⟩φ(a) = b, φ(b) = aa
107975⟨a, b | aba=1, aabba=ab⟩φ(a) = b, φ(b) = aa
107976⟨a, b | aba=1, aabba=ba⟩φ(a) = b, φ(b) = aa
107981⟨a, b | aba=1, aabbb=bb⟩φ(a) = b, φ(b) = aa
107983⟨a, b | aba=1, abaab=ab⟩φ(a) = b, φ(b) = aa
107984⟨a, b | aba=1, abaab=ba⟩φ(a) = b, φ(b) = aa
107987⟨a, b | aba=1, ababa=ab⟩φ(a) = b, φ(b) = aa
107992⟨a, b | aba=1, ababb=bb⟩φ(a) = b, φ(b) = aa
107996⟨a, b | aba=1, abbab=bb⟩φ(a) = b, φ(b) = aa
107999⟨a, b | aba=1, abbba=bb⟩φ(a) = b, φ(b) = aa
108005⟨a, b | aba=1, baaab=ab⟩φ(a) = b, φ(b) = aa
108010⟨a, b | aba=1, baabb=bb⟩φ(a) = b, φ(b) = aa
108013⟨a, b | aba=1, babab=bb⟩φ(a) = b, φ(b) = aa
109550⟨a, b | ab=1, aaabbbba=1⟩φ(a) = a, φ(b) = b
109564⟨a, b | ab=1, aababbba=1⟩φ(a) = a, φ(b) = b
109571⟨a, b | ab=1, aabbabba=1⟩φ(a) = a, φ(b) = b
109573⟨a, b | ab=1, aabbbaab=1⟩φ(a) = a, φ(b) = b
109574⟨a, b | ab=1, aabbbaba=1⟩φ(a) = a, φ(b) = b
109575⟨a, b | ab=1, aabbbbaa=1⟩φ(a) = a, φ(b) = b
109589⟨a, b | ab=1, abaabbba=1⟩φ(a) = a, φ(b) = b
109595⟨a, b | ab=1, abababba=1⟩φ(a) = a, φ(b) = b
109597⟨a, b | ab=1, ababbaab=1⟩φ(a) = a, φ(b) = b
109598⟨a, b | ab=1, ababbaba=1⟩φ(a) = a, φ(b) = b
109599⟨a, b | ab=1, ababbbaa=1⟩φ(a) = a, φ(b) = b
109605⟨a, b | ab=1, abbaabba=1⟩φ(a) = a, φ(b) = b
109607⟨a, b | ab=1, abbabaab=1⟩φ(a) = a, φ(b) = b
109608⟨a, b | ab=1, abbababa=1⟩φ(a) = a, φ(b) = b
109609⟨a, b | ab=1, abbabbaa=1⟩φ(a) = a, φ(b) = b
109612⟨a, b | ab=1, abbbaaab=1⟩φ(a) = a, φ(b) = b
109613⟨a, b | ab=1, abbbaaba=1⟩φ(a) = a, φ(b) = b
109614⟨a, b | ab=1, abbbabaa=1⟩φ(a) = a, φ(b) = b
109616⟨a, b | ab=1, abbbbaaa=1⟩φ(a) = a, φ(b) = b
109627⟨a, b | ab=1, baaabbba=1⟩φ(a) = a, φ(b) = b
109631⟨a, b | ab=1, baababba=1⟩φ(a) = a, φ(b) = b
109633⟨a, b | ab=1, baabbaba=1⟩φ(a) = a, φ(b) = b
109634⟨a, b | ab=1, baabbbaa=1⟩φ(a) = a, φ(b) = b
109639⟨a, b | ab=1, babababa=1⟩φ(a) = a, φ(b) = b
109640⟨a, b | ab=1, bababbaa=1⟩φ(a) = a, φ(b) = b
109642⟨a, b | ab=1, babbaaba=1⟩φ(a) = a, φ(b) = b
109643⟨a, b | ab=1, babbabaa=1⟩φ(a) = a, φ(b) = b
109644⟨a, b | ab=1, babbbaaa=1⟩φ(a) = a, φ(b) = b
109649⟨a, b | ab=1, bbaabbaa=1⟩φ(a) = a, φ(b) = b
109651⟨a, b | ab=1, bbababaa=1⟩φ(a) = a, φ(b) = b
109652⟨a, b | ab=1, bbabbaaa=1⟩φ(a) = a, φ(b) = b
109654⟨a, b | ab=1, bbbabaaa=1⟩φ(a) = a, φ(b) = b
109655⟨a, b | ab=1, bbbbaaaa=1⟩φ(a) = a, φ(b) = b
109850⟨a, b | ab=1, aabbbaa=a⟩φ(a) = a, φ(b) = b
109855⟨a, b | ab=1, aabbbba=b⟩φ(a) = a, φ(b) = b
109874⟨a, b | ab=1, ababbaa=a⟩φ(a) = a, φ(b) = b
109877⟨a, b | ab=1, ababbba=b⟩φ(a) = a, φ(b) = b
109880⟨a, b | ab=1, abbaaab=a⟩φ(a) = a, φ(b) = b
109882⟨a, b | ab=1, abbaaba=a⟩φ(a) = a, φ(b) = b
109884⟨a, b | ab=1, abbabaa=a⟩φ(a) = a, φ(b) = b
109887⟨a, b | ab=1, abbabba=b⟩φ(a) = a, φ(b) = b
109888⟨a, b | ab=1, abbbaaa=a⟩φ(a) = a, φ(b) = b
109891⟨a, b | ab=1, abbbaba=b⟩φ(a) = a, φ(b) = b
109893⟨a, b | ab=1, abbbbaa=b⟩φ(a) = a, φ(b) = b
109902⟨a, b | ab=1, baaabba=a⟩φ(a) = a, φ(b) = b
109906⟨a, b | ab=1, baababa=a⟩φ(a) = a, φ(b) = b
109908⟨a, b | ab=1, baabbaa=a⟩φ(a) = a, φ(b) = b
109912⟨a, b | ab=1, babaaba=a⟩φ(a) = a, φ(b) = b
109914⟨a, b | ab=1, bababaa=a⟩φ(a) = a, φ(b) = b
109916⟨a, b | ab=1, babbaaa=a⟩φ(a) = a, φ(b) = b
109919⟨a, b | ab=1, babbbaa=b⟩φ(a) = a, φ(b) = b
109922⟨a, b | ab=1, bbaabaa=a⟩φ(a) = a, φ(b) = b
109924⟨a, b | ab=1, bbabaaa=a⟩φ(a) = a, φ(b) = b
109926⟨a, b | ab=1, bbbaaaa=a⟩φ(a) = a, φ(b) = b
1010094⟨a, b | ab=1, aaabbb=ba⟩φ(a) = a, φ(b) = b
1010109⟨a, b | ab=1, aababb=ba⟩φ(a) = a, φ(b) = b
1010116⟨a, b | ab=1, aabbab=ba⟩φ(a) = a, φ(b) = b
1010119⟨a, b | ab=1, aabbba=ab⟩φ(a) = a, φ(b) = b
1010140⟨a, b | ab=1, ababab=ba⟩φ(a) = a, φ(b) = b
1010142⟨a, b | ab=1, ababba=ab⟩φ(a) = a, φ(b) = b
1010145⟨a, b | ab=1, abbaaa=aa⟩φ(a) = a, φ(b) = b
1010150⟨a, b | ab=1, abbaab=ab⟩φ(a) = a, φ(b) = b
1010153⟨a, b | ab=1, abbaba=ab⟩φ(a) = a, φ(b) = b
1010157⟨a, b | ab=1, abbbaa=ab⟩φ(a) = a, φ(b) = b
1010158⟨a, b | ab=1, abbbaa=ba⟩φ(a) = a, φ(b) = b
1010163⟨a, b | ab=1, abbbba=bb⟩φ(a) = a, φ(b) = b
1010168⟨a, b | ab=1, baaaba=aa⟩φ(a) = a, φ(b) = b
1010172⟨a, b | ab=1, baabaa=aa⟩φ(a) = a, φ(b) = b
1010177⟨a, b | ab=1, baabba=ab⟩φ(a) = a, φ(b) = b
1010179⟨a, b | ab=1, babaaa=aa⟩φ(a) = a, φ(b) = b
1010184⟨a, b | ab=1, bababa=ab⟩φ(a) = a, φ(b) = b
1010187⟨a, b | ab=1, babbaa=ab⟩φ(a) = a, φ(b) = b
1010188⟨a, b | ab=1, babbaa=ba⟩φ(a) = a, φ(b) = b
1010190⟨a, b | ab=1, bbaaaa=aa⟩φ(a) = a, φ(b) = b
1010195⟨a, b | ab=1, bbabaa=ab⟩φ(a) = a, φ(b) = b
1010196⟨a, b | ab=1, bbabaa=ba⟩φ(a) = a, φ(b) = b
1010198⟨a, b | ab=1, bbbaaa=ab⟩φ(a) = a, φ(b) = b
1010199⟨a, b | ab=1, bbbaaa=ba⟩φ(a) = a, φ(b) = b
1010372⟨a, b | ab=1, aaabb=baa⟩φ(a) = a, φ(b) = b
1010388⟨a, b | ab=1, aabab=baa⟩φ(a) = a, φ(b) = b
1010396⟨a, b | ab=1, aabba=baa⟩φ(a) = a, φ(b) = b
1010412⟨a, b | ab=1, abaab=baa⟩φ(a) = a, φ(b) = b
1010420⟨a, b | ab=1, ababa=baa⟩φ(a) = a, φ(b) = b
1010425⟨a, b | ab=1, abbaa=aab⟩φ(a) = a, φ(b) = b
1010426⟨a, b | ab=1, abbaa=aba⟩φ(a) = a, φ(b) = b
1010435⟨a, b | ab=1, abbba=abb⟩φ(a) = a, φ(b) = b
1010437⟨a, b | ab=1, abbba=bab⟩φ(a) = a, φ(b) = b
1010440⟨a, b | ab=1, baaaa=aaa⟩φ(a) = a, φ(b) = b
1010449⟨a, b | ab=1, baaba=aab⟩φ(a) = a, φ(b) = b
1010450⟨a, b | ab=1, baaba=aba⟩φ(a) = a, φ(b) = b
1010457⟨a, b | ab=1, babaa=aab⟩φ(a) = a, φ(b) = b
1010458⟨a, b | ab=1, babaa=aba⟩φ(a) = a, φ(b) = b
1010465⟨a, b | ab=1, bbaaa=aab⟩φ(a) = a, φ(b) = b
1010466⟨a, b | ab=1, bbaaa=aba⟩φ(a) = a, φ(b) = b
1010468⟨a, b | ab=1, bbaaa=baa⟩φ(a) = a, φ(b) = b
1010556⟨a, b | ab=1, abba=aabb⟩φ(a) = a, φ(b) = b
1010558⟨a, b | ab=1, abba=abab⟩φ(a) = a, φ(b) = b
1010565⟨a, b | ab=1, baaa=aaab⟩φ(a) = a, φ(b) = b
1010566⟨a, b | ab=1, baaa=aaba⟩φ(a) = a, φ(b) = b
1010568⟨a, b | ab=1, baaa=abaa⟩φ(a) = a, φ(b) = b
1010580⟨a, b | ab=1, baba=aabb⟩φ(a) = a, φ(b) = b
1010582⟨a, b | ab=1, baba=abab⟩φ(a) = a, φ(b) = b
1010592⟨a, b | ab=1, bbaa=aabb⟩φ(a) = a, φ(b) = b
1010594⟨a, b | ab=1, bbaa=abab⟩φ(a) = a, φ(b) = b
1010595⟨a, b | ab=1, bbaa=abba⟩φ(a) = a, φ(b) = b
1010597⟨a, b | ab=1, bbaa=baba⟩φ(a) = a, φ(b) = b
1112693⟨a, b | aba=aab, aaaab=1⟩φ(a) = b, φ(b) = aaaa
1112694⟨a, b | aba=aab, aaaba=1⟩φ(a) = b, φ(b) = aaaa
1112695⟨a, b | aba=aab, aaabb=1⟩φ(a) = aa, φ(b) = bbb
1112696⟨a, b | aba=aab, aabaa=1⟩φ(a) = b, φ(b) = aaaa
1112697⟨a, b | aba=aab, aabab=1⟩φ(a) = aa, φ(b) = bbb
1112698⟨a, b | aba=aab, aabba=1⟩φ(a) = aa, φ(b) = bbb
1112700⟨a, b | aba=aab, abaaa=1⟩φ(a) = b, φ(b) = aaaa
1112701⟨a, b | aba=aab, abaab=1⟩φ(a) = aa, φ(b) = bbb
1112702⟨a, b | aba=aab, ababa=1⟩φ(a) = aa, φ(b) = bbb
1112704⟨a, b | aba=aab, abbaa=1⟩φ(a) = aa, φ(b) = bbb
1112705⟨a, b | aba=aab, abbab=1⟩φ(a) = bbb, φ(b) = aa
1112706⟨a, b | aba=aab, abbba=1⟩φ(a) = bbb, φ(b) = aa
1112708⟨a, b | aba=aab, baaaa=1⟩φ(a) = b, φ(b) = aaaa
1112709⟨a, b | aba=aab, baaab=1⟩φ(a) = aa, φ(b) = bbb
1112710⟨a, b | aba=aab, baaba=1⟩φ(a) = aa, φ(b) = bbb
1112711⟨a, b | aba=aab, baabb=1⟩φ(a) = bbb, φ(b) = aa
1112712⟨a, b | aba=aab, babaa=1⟩φ(a) = aa, φ(b) = bbb
1112713⟨a, b | aba=aab, babab=1⟩φ(a) = bbb, φ(b) = aa
1112714⟨a, b | aba=aab, babba=1⟩φ(a) = bbb, φ(b) = aa
1112715⟨a, b | aba=aab, babbb=1⟩φ(a) = aaaa, φ(b) = b
1112716⟨a, b | aba=aab, bbaaa=1⟩φ(a) = aa, φ(b) = bbb
1112717⟨a, b | aba=aab, bbaab=1⟩φ(a) = bbb, φ(b) = aa
1112718⟨a, b | aba=aab, bbaba=1⟩φ(a) = bbb, φ(b) = aa
1112719⟨a, b | aba=aab, bbabb=1⟩φ(a) = aaaa, φ(b) = b
1112720⟨a, b | aba=aab, bbbaa=1⟩φ(a) = bbb, φ(b) = aa
1112721⟨a, b | aba=aab, bbbab=1⟩φ(a) = aaaa, φ(b) = b
1112722⟨a, b | aba=aab, bbbba=1⟩φ(a) = aaaa, φ(b) = b
1112805⟨a, b | baa=aab, aaaab=1⟩φ(a) = b, φ(b) = aaaa
1112806⟨a, b | baa=aab, aaaba=1⟩φ(a) = b, φ(b) = aaaa
1112807⟨a, b | baa=aab, aaabb=1⟩φ(a) = aa, φ(b) = bbb
1112808⟨a, b | baa=aab, aabaa=1⟩φ(a) = b, φ(b) = aaaa
1112809⟨a, b | baa=aab, aabab=1⟩φ(a) = aa, φ(b) = bbb
1112810⟨a, b | baa=aab, aabba=1⟩φ(a) = aa, φ(b) = bbb
1112812⟨a, b | baa=aab, abaab=1⟩φ(a) = aa, φ(b) = bbb
1112813⟨a, b | baa=aab, ababa=1⟩φ(a) = aa, φ(b) = bbb
1112814⟨a, b | baa=aab, ababb=1⟩φ(a) = bbb, φ(b) = aa
1112815⟨a, b | baa=aab, abbab=1⟩φ(a) = bbb, φ(b) = aa
1112817⟨a, b | baa=aab, abbbb=1⟩φ(a) = aaaa, φ(b) = b
1112818⟨a, b | baa=aab, baaab=1⟩φ(a) = aa, φ(b) = bbb
1112820⟨a, b | baa=aab, babab=1⟩φ(a) = bbb, φ(b) = aa
1112821⟨a, b | baa=aab, babbb=1⟩φ(a) = aaaa, φ(b) = b
1112822⟨a, b | baa=aab, bbabb=1⟩φ(a) = aaaa, φ(b) = b
1113879⟨a, b | aaab=a, aaabba=1⟩φ(a) = b, φ(b) = aa
1113883⟨a, b | aaab=a, aababa=1⟩φ(a) = b, φ(b) = aa
1113885⟨a, b | aaab=a, aabbaa=1⟩φ(a) = b, φ(b) = aa
1113890⟨a, b | aaab=a, abaaab=1⟩φ(a) = b, φ(b) = aa
1113891⟨a, b | aaab=a, abaaba=1⟩φ(a) = b, φ(b) = aa
1113893⟨a, b | aaab=a, ababaa=1⟩φ(a) = b, φ(b) = aa
1113897⟨a, b | aaab=a, abbaaa=1⟩φ(a) = b, φ(b) = aa
1113906⟨a, b | aaab=a, baaaab=1⟩φ(a) = b, φ(b) = aa
1113907⟨a, b | aaab=a, baaaba=1⟩φ(a) = b, φ(b) = aa
1113909⟨a, b | aaab=a, baabaa=1⟩φ(a) = b, φ(b) = aa
1113913⟨a, b | aaab=a, babaaa=1⟩φ(a) = b, φ(b) = aa
1113921⟨a, b | aaab=a, bbaaaa=1⟩φ(a) = b, φ(b) = aa
1114007⟨a, b | aaba=a, aaabba=1⟩φ(a) = b, φ(b) = aa
1114011⟨a, b | aaba=a, aababa=1⟩φ(a) = b, φ(b) = aa
1114013⟨a, b | aaba=a, aabbaa=1⟩φ(a) = b, φ(b) = aa
1114018⟨a, b | aaba=a, abaaab=1⟩φ(a) = b, φ(b) = aa
1114019⟨a, b | aaba=a, abaaba=1⟩φ(a) = b, φ(b) = aa
1114021⟨a, b | aaba=a, ababaa=1⟩φ(a) = b, φ(b) = aa
1114025⟨a, b | aaba=a, abbaaa=1⟩φ(a) = b, φ(b) = aa
1114034⟨a, b | aaba=a, baaaab=1⟩φ(a) = b, φ(b) = aa
1114035⟨a, b | aaba=a, baaaba=1⟩φ(a) = b, φ(b) = aa
1114037⟨a, b | aaba=a, baabaa=1⟩φ(a) = b, φ(b) = aa
1114041⟨a, b | aaba=a, babaaa=1⟩φ(a) = b, φ(b) = aa
1114049⟨a, b | aaba=a, bbaaaa=1⟩φ(a) = b, φ(b) = aa
1114158⟨a, b | aabb=a, abbbab=1⟩φ(a) = aa, φ(b) = b
1114159⟨a, b | aabb=a, abbbba=1⟩φ(a) = aa, φ(b) = b
1114168⟨a, b | aabb=a, baabbb=1⟩φ(a) = aa, φ(b) = b
1114172⟨a, b | aabb=a, bababb=1⟩φ(a) = aa, φ(b) = b
1114174⟨a, b | aabb=a, babbab=1⟩φ(a) = aa, φ(b) = b
1114175⟨a, b | aabb=a, babbba=1⟩φ(a) = aa, φ(b) = b
1114180⟨a, b | aabb=a, bbaabb=1⟩φ(a) = aa, φ(b) = b
1114182⟨a, b | aabb=a, bbabab=1⟩φ(a) = aa, φ(b) = b
1114183⟨a, b | aabb=a, bbabba=1⟩φ(a) = aa, φ(b) = b
1114186⟨a, b | aabb=a, bbbaab=1⟩φ(a) = aa, φ(b) = b
1114187⟨a, b | aabb=a, bbbaba=1⟩φ(a) = aa, φ(b) = b
1114189⟨a, b | aabb=a, bbbbaa=1⟩φ(a) = aa, φ(b) = b
1114222⟨a, b | abab=a, abbbab=1⟩φ(a) = aa, φ(b) = b
1114223⟨a, b | abab=a, abbbba=1⟩φ(a) = aa, φ(b) = b
1114232⟨a, b | abab=a, baabbb=1⟩φ(a) = aa, φ(b) = b
1114236⟨a, b | abab=a, bababb=1⟩φ(a) = aa, φ(b) = b
1114238⟨a, b | abab=a, babbab=1⟩φ(a) = aa, φ(b) = b
1114239⟨a, b | abab=a, babbba=1⟩φ(a) = aa, φ(b) = b
1114244⟨a, b | abab=a, bbaabb=1⟩φ(a) = aa, φ(b) = b
1114246⟨a, b | abab=a, bbabab=1⟩φ(a) = aa, φ(b) = b
1114247⟨a, b | abab=a, bbabba=1⟩φ(a) = aa, φ(b) = b
1114250⟨a, b | abab=a, bbbaab=1⟩φ(a) = aa, φ(b) = b
1114251⟨a, b | abab=a, bbbaba=1⟩φ(a) = aa, φ(b) = b
1114253⟨a, b | abab=a, bbbbaa=1⟩φ(a) = aa, φ(b) = b
1114280⟨a, b | abba=a, abbbab=1⟩φ(a) = aa, φ(b) = b
1114281⟨a, b | abba=a, abbbba=1⟩φ(a) = aa, φ(b) = b
1114286⟨a, b | abba=a, baabbb=1⟩φ(a) = aa, φ(b) = b
1114287⟨a, b | abba=a, bababb=1⟩φ(a) = aa, φ(b) = b
1114288⟨a, b | abba=a, babbab=1⟩φ(a) = aa, φ(b) = b
1114290⟨a, b | abba=a, bbaabb=1⟩φ(a) = aa, φ(b) = b
1114296⟨a, b | abba=b, aaaabb=1⟩φ(a) = b, φ(b) = aa
1114299⟨a, b | abba=b, aaabba=1⟩φ(a) = b, φ(b) = aa
1114304⟨a, b | abba=b, aabbaa=1⟩φ(a) = b, φ(b) = aa
1114319⟨a, b | abba=b, baaaab=1⟩φ(a) = b, φ(b) = aa
1120449⟨a, b | ba=ab, aaaaaab=1⟩φ(a) = b, φ(b) = aaaaaa
1120450⟨a, b | ba=ab, aaaaaba=1⟩φ(a) = b, φ(b) = aaaaaa
1120451⟨a, b | ba=ab, aaaaabb=1⟩φ(a) = aa, φ(b) = bbbbb
1120452⟨a, b | ba=ab, aaaabaa=1⟩φ(a) = b, φ(b) = aaaaaa
1120453⟨a, b | ba=ab, aaaabab=1⟩φ(a) = aa, φ(b) = bbbbb
1120454⟨a, b | ba=ab, aaaabba=1⟩φ(a) = aa, φ(b) = bbbbb
1120455⟨a, b | ba=ab, aaaabbb=1⟩φ(a) = aaa, φ(b) = bbbb
1120456⟨a, b | ba=ab, aaabaaa=1⟩φ(a) = b, φ(b) = aaaaaa
1120457⟨a, b | ba=ab, aaabaab=1⟩φ(a) = aa, φ(b) = bbbbb
1120458⟨a, b | ba=ab, aaababa=1⟩φ(a) = aa, φ(b) = bbbbb
1120459⟨a, b | ba=ab, aaababb=1⟩φ(a) = aaa, φ(b) = bbbb
1120460⟨a, b | ba=ab, aaabbaa=1⟩φ(a) = aa, φ(b) = bbbbb
1120461⟨a, b | ba=ab, aaabbab=1⟩φ(a) = aaa, φ(b) = bbbb
1120462⟨a, b | ba=ab, aaabbba=1⟩φ(a) = aaa, φ(b) = bbbb
1120463⟨a, b | ba=ab, aabaaab=1⟩φ(a) = aa, φ(b) = bbbbb
1120464⟨a, b | ba=ab, aabaaba=1⟩φ(a) = aa, φ(b) = bbbbb
1120465⟨a, b | ba=ab, aabaabb=1⟩φ(a) = aaa, φ(b) = bbbb
1120466⟨a, b | ba=ab, aababaa=1⟩φ(a) = aa, φ(b) = bbbbb
1120467⟨a, b | ba=ab, aababab=1⟩φ(a) = aaa, φ(b) = bbbb
1120468⟨a, b | ba=ab, aababba=1⟩φ(a) = aaa, φ(b) = bbbb
1120469⟨a, b | ba=ab, aabbaab=1⟩φ(a) = aaa, φ(b) = bbbb
1120470⟨a, b | ba=ab, aabbaba=1⟩φ(a) = aaa, φ(b) = bbbb
1120471⟨a, b | ba=ab, aabbbaa=1⟩φ(a) = aaa, φ(b) = bbbb
1120472⟨a, b | ba=ab, aabbbab=1⟩φ(a) = bbbb, φ(b) = aaa
1120473⟨a, b | ba=ab, aabbbba=1⟩φ(a) = bbbb, φ(b) = aaa
1120474⟨a, b | ba=ab, abaaaab=1⟩φ(a) = aa, φ(b) = bbbbb
1120475⟨a, b | ba=ab, abaaaba=1⟩φ(a) = aa, φ(b) = bbbbb
1120476⟨a, b | ba=ab, abaabab=1⟩φ(a) = aaa, φ(b) = bbbb
1120477⟨a, b | ba=ab, abaabba=1⟩φ(a) = aaa, φ(b) = bbbb
1120478⟨a, b | ba=ab, ababaab=1⟩φ(a) = aaa, φ(b) = bbbb
1120479⟨a, b | ba=ab, abababa=1⟩φ(a) = aaa, φ(b) = bbbb
1120480⟨a, b | ba=ab, ababbba=1⟩φ(a) = bbbb, φ(b) = aaa
1120481⟨a, b | ba=ab, abbaaab=1⟩φ(a) = aaa, φ(b) = bbbb
1120482⟨a, b | ba=ab, abbabba=1⟩φ(a) = bbbb, φ(b) = aaa
1120483⟨a, b | ba=ab, abbbbba=1⟩φ(a) = bbbbb, φ(b) = aa
1121816⟨a, b | aab=1, aaabbaa=a⟩φ(a) = b, φ(b) = aa
1121821⟨a, b | aab=1, aaabbba=b⟩φ(a) = b, φ(b) = aa
1121832⟨a, b | aab=1, aababaa=a⟩φ(a) = b, φ(b) = aa
1121837⟨a, b | aab=1, aababba=b⟩φ(a) = b, φ(b) = aa
1121840⟨a, b | aab=1, aabbaaa=a⟩φ(a) = b, φ(b) = aa
1121845⟨a, b | aab=1, aabbaba=b⟩φ(a) = b, φ(b) = aa
1121849⟨a, b | aab=1, aabbbaa=b⟩φ(a) = b, φ(b) = aa
1121858⟨a, b | aab=1, abaaaab=a⟩φ(a) = b, φ(b) = aa
1121860⟨a, b | aab=1, abaaaba=a⟩φ(a) = b, φ(b) = aa
1121864⟨a, b | aab=1, abaabaa=a⟩φ(a) = b, φ(b) = aa
1121869⟨a, b | aab=1, abaabba=b⟩φ(a) = b, φ(b) = aa
1121872⟨a, b | aab=1, ababaaa=a⟩φ(a) = b, φ(b) = aa
1121877⟨a, b | aab=1, abababa=b⟩φ(a) = b, φ(b) = aa
1121881⟨a, b | aab=1, ababbaa=b⟩φ(a) = b, φ(b) = aa
1121888⟨a, b | aab=1, abbaaaa=a⟩φ(a) = b, φ(b) = aa
1121891⟨a, b | aab=1, abbaaab=b⟩φ(a) = b, φ(b) = aa
1121893⟨a, b | aab=1, abbaaba=b⟩φ(a) = b, φ(b) = aa
1121897⟨a, b | aab=1, abbabaa=b⟩φ(a) = b, φ(b) = aa
1121905⟨a, b | aab=1, abbbaaa=b⟩φ(a) = b, φ(b) = aa
1121922⟨a, b | aab=1, baaaaab=a⟩φ(a) = b, φ(b) = aa
1121924⟨a, b | aab=1, baaaaba=a⟩φ(a) = b, φ(b) = aa
1121928⟨a, b | aab=1, baaabaa=a⟩φ(a) = b, φ(b) = aa
1121933⟨a, b | aab=1, baaabba=b⟩φ(a) = b, φ(b) = aa
1121936⟨a, b | aab=1, baabaaa=a⟩φ(a) = b, φ(b) = aa
1121941⟨a, b | aab=1, baababa=b⟩φ(a) = b, φ(b) = aa
1121945⟨a, b | aab=1, baabbaa=b⟩φ(a) = b, φ(b) = aa
1121952⟨a, b | aab=1, babaaaa=a⟩φ(a) = b, φ(b) = aa
1121955⟨a, b | aab=1, babaaab=b⟩φ(a) = b, φ(b) = aa
1121957⟨a, b | aab=1, babaaba=b⟩φ(a) = b, φ(b) = aa
1121961⟨a, b | aab=1, bababaa=b⟩φ(a) = b, φ(b) = aa
1121969⟨a, b | aab=1, babbaaa=b⟩φ(a) = b, φ(b) = aa
1121984⟨a, b | aab=1, bbaaaaa=a⟩φ(a) = b, φ(b) = aa
1121987⟨a, b | aab=1, bbaaaab=b⟩φ(a) = b, φ(b) = aa
1121989⟨a, b | aab=1, bbaaaba=b⟩φ(a) = b, φ(b) = aa
1121993⟨a, b | aab=1, bbaabaa=b⟩φ(a) = b, φ(b) = aa
1122001⟨a, b | aab=1, bbabaaa=b⟩φ(a) = b, φ(b) = aa
1122017⟨a, b | aab=1, bbbaaaa=b⟩φ(a) = b, φ(b) = aa
1122054⟨a, b | aba=1, aaaaabb=a⟩φ(a) = b, φ(b) = aa
1122058⟨a, b | aba=1, aaaabab=a⟩φ(a) = b, φ(b) = aa
1122060⟨a, b | aba=1, aaaabba=a⟩φ(a) = b, φ(b) = aa
1122063⟨a, b | aba=1, aaaabbb=b⟩φ(a) = b, φ(b) = aa
1122066⟨a, b | aba=1, aaabaab=a⟩φ(a) = b, φ(b) = aa
1122068⟨a, b | aba=1, aaababa=a⟩φ(a) = b, φ(b) = aa
1122071⟨a, b | aba=1, aaababb=b⟩φ(a) = b, φ(b) = aa
1122072⟨a, b | aba=1, aaabbaa=a⟩φ(a) = b, φ(b) = aa
1122075⟨a, b | aba=1, aaabbab=b⟩φ(a) = b, φ(b) = aa
1122077⟨a, b | aba=1, aaabbba=b⟩φ(a) = b, φ(b) = aa
1122080⟨a, b | aba=1, aabaaab=a⟩φ(a) = b, φ(b) = aa
1122082⟨a, b | aba=1, aabaaba=a⟩φ(a) = b, φ(b) = aa
1122085⟨a, b | aba=1, aabaabb=b⟩φ(a) = b, φ(b) = aa
1122086⟨a, b | aba=1, aababaa=a⟩φ(a) = b, φ(b) = aa
1122089⟨a, b | aba=1, aababab=b⟩φ(a) = b, φ(b) = aa
1122091⟨a, b | aba=1, aababba=b⟩φ(a) = b, φ(b) = aa
1122095⟨a, b | aba=1, aabbaab=b⟩φ(a) = b, φ(b) = aa
1122097⟨a, b | aba=1, aabbaba=b⟩φ(a) = b, φ(b) = aa
1122101⟨a, b | aba=1, aabbbaa=b⟩φ(a) = b, φ(b) = aa
1122108⟨a, b | aba=1, abaaaab=a⟩φ(a) = b, φ(b) = aa
1122110⟨a, b | aba=1, abaaaba=a⟩φ(a) = b, φ(b) = aa
1122113⟨a, b | aba=1, abaaabb=b⟩φ(a) = b, φ(b) = aa
1122115⟨a, b | aba=1, abaabab=b⟩φ(a) = b, φ(b) = aa
1122117⟨a, b | aba=1, abaabba=b⟩φ(a) = b, φ(b) = aa
1122121⟨a, b | aba=1, ababaab=b⟩φ(a) = b, φ(b) = aa
1122123⟨a, b | aba=1, abababa=b⟩φ(a) = b, φ(b) = aa
1122133⟨a, b | aba=1, abbaaab=b⟩φ(a) = b, φ(b) = aa
1122152⟨a, b | aba=1, baaaaab=a⟩φ(a) = b, φ(b) = aa
1122155⟨a, b | aba=1, baaaabb=b⟩φ(a) = b, φ(b) = aa
1122157⟨a, b | aba=1, baaabab=b⟩φ(a) = b, φ(b) = aa
1122161⟨a, b | aba=1, baabaab=b⟩φ(a) = b, φ(b) = aa
1123337⟨a, b | aab=1, abaa=aaab⟩φ(a) = b, φ(b) = aa
1123338⟨a, b | aab=1, abaa=aaba⟩φ(a) = b, φ(b) = aa
1123348⟨a, b | aab=1, abba=aabb⟩φ(a) = b, φ(b) = aa
1123350⟨a, b | aab=1, abba=abab⟩φ(a) = b, φ(b) = aa
1123359⟨a, b | aab=1, baaa=aaab⟩φ(a) = b, φ(b) = aa
1123360⟨a, b | aab=1, baaa=aaba⟩φ(a) = b, φ(b) = aa
1123362⟨a, b | aab=1, baaa=abaa⟩φ(a) = b, φ(b) = aa
1123372⟨a, b | aab=1, baab=abba⟩φ(a) = b, φ(b) = aa
1123378⟨a, b | aab=1, baba=aabb⟩φ(a) = b, φ(b) = aa
1123380⟨a, b | aab=1, baba=abab⟩φ(a) = b, φ(b) = aa
1123384⟨a, b | aab=1, baba=baab⟩φ(a) = b, φ(b) = aa
1123399⟨a, b | aab=1, bbaa=aabb⟩φ(a) = b, φ(b) = aa
1123401⟨a, b | aab=1, bbaa=abab⟩φ(a) = b, φ(b) = aa
1123402⟨a, b | aab=1, bbaa=abba⟩φ(a) = b, φ(b) = aa
1123405⟨a, b | aab=1, bbaa=baab⟩φ(a) = b, φ(b) = aa
1123406⟨a, b | aab=1, bbaa=baba⟩φ(a) = b, φ(b) = aa
1123428⟨a, b | aab=1, bbba=abbb⟩φ(a) = b, φ(b) = aa
1123432⟨a, b | aab=1, bbba=babb⟩φ(a) = b, φ(b) = aa
1123434⟨a, b | aab=1, bbba=bbab⟩φ(a) = b, φ(b) = aa
1123452⟨a, b | aba=1, aaba=aaab⟩φ(a) = b, φ(b) = aa
1123456⟨a, b | aba=1, abaa=aaab⟩φ(a) = b, φ(b) = aa
1123457⟨a, b | aba=1, abaa=aaba⟩φ(a) = b, φ(b) = aa
1123462⟨a, b | aba=1, abab=aabb⟩φ(a) = b, φ(b) = aa
1123467⟨a, b | aba=1, abba=aabb⟩φ(a) = b, φ(b) = aa
1123468⟨a, b | aba=1, abba=abab⟩φ(a) = b, φ(b) = aa
1123476⟨a, b | aba=1, baaa=aaab⟩φ(a) = b, φ(b) = aa
1123483⟨a, b | aba=1, baab=aabb⟩φ(a) = b, φ(b) = aa
1123484⟨a, b | aba=1, baab=abab⟩φ(a) = b, φ(b) = aa
1123485⟨a, b | aba=1, baab=abba⟩φ(a) = b, φ(b) = aa
1123487⟨a, b | aba=1, baba=aabb⟩φ(a) = b, φ(b) = aa
1123488⟨a, b | aba=1, baba=abab⟩φ(a) = b, φ(b) = aa
1123497⟨a, b | aba=1, babb=abbb⟩φ(a) = b, φ(b) = aa
1123501⟨a, b | aba=1, bbaa=aabb⟩φ(a) = b, φ(b) = aa
1123504⟨a, b | aba=1, bbab=abbb⟩φ(a) = b, φ(b) = aa
1123505⟨a, b | aba=1, bbab=babb⟩φ(a) = b, φ(b) = aa
1123506⟨a, b | aba=1, bbba=abbb⟩φ(a) = b, φ(b) = aa