#1472 ⟨a, b | aaa=bb, abbb=1⟩

Up:Monoid enumeration
Prev:#1470 ⟨a, b | aaa=bb, abab=1⟩
Next:#1475 ⟨a, b | aaa=bb, bbbb=1⟩

Contents

  1. Properties
  2. Commutative structure
  3. Finite structure
  4. Staircase diagram
  5. Cayley table
  6. Right Cayley graph
  7. Rewriting system
  8. Same cardinality
  9. Isomorphic instances

Properties

Commutative structure

Finite structure

The order of x is the least n such that xn = 1.

Staircase diagram

Cayley table

1aa2a3a4a5a6a7a8a9a10
11aa2a3a4a5a6a7a8a9a10
aaa2a3a4a5a6a7a8a9a101
a2a2a3a4a5a6a7a8a9a101a
a3a3a4a5a6a7a8a9a101aa2
a4a4a5a6a7a8a9a101aa2a3
a5a5a6a7a8a9a101aa2a3a4
a6a6a7a8a9a101aa2a3a4a5
a7a7a8a9a101aa2a3a4a5a6
a8a8a9a101aa2a3a4a5a6a7
a9a9a101aa2a3a4a5a6a7a8
a10a101aa2a3a4a5a6a7a8a9

Right Cayley graph

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. a11 ⇒ 1 [4]
2. b ⇒ a7 [3]
# ab:aaa=bb,abbb=1 a/b - -
aaaaaaaaaaa=1
b=aaaaaaa

Same cardinality

29 unique, 221 total

Σ#PresentationPropertiesDescriptionφ
104155⟨a, b | abb=aaa, bba=b⟩Noc 114
105086⟨a, b | aaa=bb, abbb=a⟩Noc Com 1111
105087⟨a, b | aaa=bb, abbb=b⟩Noc Com 113
105111⟨a, b | aab=aa, baaa=b⟩Noc 117
105322⟨a, b | aaa=ab, abb=bb⟩Noc 113
105335⟨a, b | aaa=ab, bbb=aa⟩Noc 113
105410⟨a, b | aab=bb, bab=aa⟩Noc 112
106292⟨a, b | aaa=b, aabbb=a⟩Noc Com 11ℕ(11 = 1)35
106293⟨a, b | aaa=b, aabbb=b⟩Noc Com 11ℕ(11 = 3)11
106380⟨a, b | aab=a, bbbbb=a⟩Noc Com 11ℕ(11 = 5)1
106834⟨a, b | aba=b, abb=aaa⟩Noc 11
107114⟨a, b | ab=aa, bbbb=aa⟩Noc 111
107116⟨a, b | ab=aa, bbbb=ba⟩Noc 11
108691⟨a, b | aa=b, abbbbb=b⟩Noc Com 11ℕ(11 = 2)32
108777⟨a, b | ab=a, baaaaa=b⟩Noc 1125
109083⟨a, b | ab=a, bbaaa=bb⟩Noc 114
1112179⟨a, b | aaaa=ab, abbb=b⟩Noc Com 11ℕ(11 = 4)20
1115607⟨a, b | aab=aa, bbbbb=a⟩Noc Com 11ℕ(11 = 10)1
1115671⟨a, b | aab=ab, bbbbb=a⟩Noc Com 11ℕ(11 = 6)8
1116148⟨a, b | aab=ab, aaaa=bb⟩Noc 111
1116212⟨a, b | aab=ba, aaaa=bb⟩Noc 11
1118715⟨a, b | aaa=a, aabbba=b⟩Noc 11
1119070⟨a, b | aab=b, bbabbb=a⟩Noc Com 114
1120096⟨a, b | aab=b, abba=aaa⟩Noc 111
1120112⟨a, b | aab=b, baaa=aaa⟩Noc 11
1120168⟨a, b | aab=b, bbbb=aaa⟩Noc Com 11
1120885⟨a, b | bb=aa, aaaaa=ab⟩Noc 1115
1125539⟨a, b | ab=a, baaaa=bbb⟩Noc 11
1125635⟨a, b | ab=a, bbbaa=bbb⟩Noc 11

Isomorphic instances

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

259 total

Σ#PresentationMapping
91474⟨a, b | aaa=bb, babb=1⟩φ(a) = bbbbbbbb, φ(b) = b
91735⟨a, b | aaab=1, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
91743⟨a, b | aaab=1, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
91747⟨a, b | aaab=1, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
91749⟨a, b | aaab=1, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
91750⟨a, b | aaab=1, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
91767⟨a, b | aaba=1, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
91775⟨a, b | aaba=1, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
91779⟨a, b | aaba=1, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
91781⟨a, b | aaba=1, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
91782⟨a, b | aaba=1, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
91863⟨a, b | aaa=b, aabbb=1⟩φ(a) = bbbb, φ(b) = b
91866⟨a, b | aaa=b, ababb=1⟩φ(a) = bbbb, φ(b) = b
91867⟨a, b | aaa=b, abbab=1⟩φ(a) = bbbb, φ(b) = b
91868⟨a, b | aaa=b, abbba=1⟩φ(a) = bbbb, φ(b) = b
91871⟨a, b | aaa=b, baabb=1⟩φ(a) = bbbb, φ(b) = b
91872⟨a, b | aaa=b, babab=1⟩φ(a) = bbbb, φ(b) = b
92518⟨a, b | aab=1, bbbbb=a⟩φ(a) = bbbbb, φ(b) = b
92558⟨a, b | aba=1, bbbbb=a⟩φ(a) = bbbbb, φ(b) = b
92781⟨a, b | aa=b, abbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
92788⟨a, b | aa=b, babbbb=1⟩φ(a) = bbbbbb, φ(b) = b
92790⟨a, b | aa=b, bbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
104365⟨a, b | aaaa=b, aaabb=1⟩φ(a) = bbb, φ(b) = b
104367⟨a, b | aaaa=b, aabab=1⟩φ(a) = bbb, φ(b) = b
104368⟨a, b | aaaa=b, aabba=1⟩φ(a) = bbb, φ(b) = b
104370⟨a, b | aaaa=b, abaab=1⟩φ(a) = bbb, φ(b) = b
104371⟨a, b | aaaa=b, ababa=1⟩φ(a) = bbb, φ(b) = b
104376⟨a, b | aaaa=b, baaab=1⟩φ(a) = bbb, φ(b) = b
104803⟨a, b | aaa=bb, aaaab=1⟩φ(a) = bbbbbbbb, φ(b) = b
104804⟨a, b | aaa=bb, aaaba=1⟩φ(a) = bbbbbbbb, φ(b) = b
104806⟨a, b | aaa=bb, aabaa=1⟩φ(a) = bbbbbbbb, φ(b) = b
107343⟨a, b | aab=1, abbbbbb=1⟩φ(a) = bbbbb, φ(b) = b
107375⟨a, b | aab=1, babbbbb=1⟩φ(a) = bbbbb, φ(b) = b
107391⟨a, b | aab=1, bbabbbb=1⟩φ(a) = bbbbb, φ(b) = b
107399⟨a, b | aab=1, bbbabbb=1⟩φ(a) = bbbbb, φ(b) = b
107403⟨a, b | aab=1, bbbbabb=1⟩φ(a) = bbbbb, φ(b) = b
107405⟨a, b | aab=1, bbbbbab=1⟩φ(a) = bbbbb, φ(b) = b
107406⟨a, b | aab=1, bbbbbba=1⟩φ(a) = bbbbb, φ(b) = b
107459⟨a, b | aba=1, abbbbbb=1⟩φ(a) = bbbbb, φ(b) = b
107473⟨a, b | aba=1, babbbbb=1⟩φ(a) = bbbbb, φ(b) = b
107477⟨a, b | aba=1, bbabbbb=1⟩φ(a) = bbbbb, φ(b) = b
107478⟨a, b | aba=1, bbbabbb=1⟩φ(a) = bbbbb, φ(b) = b
108216⟨a, b | aab=1, bbbb=aaa⟩φ(a) = bbbbb, φ(b) = b
108290⟨a, b | aba=1, bbbb=aaa⟩φ(a) = bbbbb, φ(b) = b
108383⟨a, b | aa=b, aaabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
108390⟨a, b | aa=b, aababbb=1⟩φ(a) = bbbbbb, φ(b) = b
108393⟨a, b | aa=b, aabbabb=1⟩φ(a) = bbbbbb, φ(b) = b
108395⟨a, b | aa=b, aabbbab=1⟩φ(a) = bbbbbb, φ(b) = b
108396⟨a, b | aa=b, aabbbba=1⟩φ(a) = bbbbbb, φ(b) = b
108403⟨a, b | aa=b, abaabbb=1⟩φ(a) = bbbbbb, φ(b) = b
108406⟨a, b | aa=b, abababb=1⟩φ(a) = bbbbbb, φ(b) = b
108407⟨a, b | aa=b, ababbab=1⟩φ(a) = bbbbbb, φ(b) = b
108408⟨a, b | aa=b, ababbba=1⟩φ(a) = bbbbbb, φ(b) = b
108411⟨a, b | aa=b, abbaabb=1⟩φ(a) = bbbbbb, φ(b) = b
108412⟨a, b | aa=b, abbabab=1⟩φ(a) = bbbbbb, φ(b) = b
108413⟨a, b | aa=b, abbabba=1⟩φ(a) = bbbbbb, φ(b) = b
108415⟨a, b | aa=b, abbbaab=1⟩φ(a) = bbbbbb, φ(b) = b
108423⟨a, b | aa=b, baaabbb=1⟩φ(a) = bbbbbb, φ(b) = b
108425⟨a, b | aa=b, baababb=1⟩φ(a) = bbbbbb, φ(b) = b
108426⟨a, b | aa=b, baabbab=1⟩φ(a) = bbbbbb, φ(b) = b
108428⟨a, b | aa=b, babaabb=1⟩φ(a) = bbbbbb, φ(b) = b
108429⟨a, b | aa=b, bababab=1⟩φ(a) = bbbbbb, φ(b) = b
108434⟨a, b | aa=b, bbaaabb=1⟩φ(a) = bbbbbb, φ(b) = b
1110643⟨a, b | aaaa=abb, abbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110647⟨a, b | aaaa=abb, babb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110649⟨a, b | aaaa=abb, bbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110650⟨a, b | aaaa=abb, bbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110657⟨a, b | aaaa=bab, abbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110659⟨a, b | aaaa=bab, babb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110773⟨a, b | aaab=bbb, abbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110777⟨a, b | aaab=bbb, babb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110779⟨a, b | aaab=bbb, bbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110780⟨a, b | aaab=bbb, bbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110877⟨a, b | aaba=bbb, abbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110881⟨a, b | aaba=bbb, babb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110883⟨a, b | aaba=bbb, bbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1110884⟨a, b | aaba=bbb, bbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111147⟨a, b | aaaab=a, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111155⟨a, b | aaaab=a, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111159⟨a, b | aaaab=a, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111161⟨a, b | aaaab=a, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1111162⟨a, b | aaaab=a, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1111206⟨a, b | aaaba=a, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111214⟨a, b | aaaba=a, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111218⟨a, b | aaaba=a, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111220⟨a, b | aaaba=a, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1111221⟨a, b | aaaba=a, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1111291⟨a, b | aaabb=b, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111299⟨a, b | aaabb=b, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111303⟨a, b | aaabb=b, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111305⟨a, b | aaabb=b, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1111306⟨a, b | aaabb=b, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1111317⟨a, b | aabaa=a, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111322⟨a, b | aabaa=a, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111324⟨a, b | aabaa=a, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111379⟨a, b | aabab=b, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111387⟨a, b | aabab=b, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111391⟨a, b | aabab=b, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111393⟨a, b | aabab=b, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1111394⟨a, b | aabab=b, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1111429⟨a, b | aabba=b, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111437⟨a, b | aabba=b, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111441⟨a, b | aabba=b, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111443⟨a, b | aabba=b, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1111444⟨a, b | aabba=b, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1111481⟨a, b | abaab=b, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111489⟨a, b | abaab=b, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111493⟨a, b | abaab=b, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111495⟨a, b | abaab=b, bbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1111496⟨a, b | abaab=b, bbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1111518⟨a, b | ababa=b, abbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111525⟨a, b | ababa=b, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111527⟨a, b | ababa=b, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111557⟨a, b | abbba=a, baaaa=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111593⟨a, b | baaab=b, babbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111594⟨a, b | baaab=b, bbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1111647⟨a, b | aaaa=ab, aabbb=1⟩φ(a) = bbbb, φ(b) = b
1111651⟨a, b | aaaa=ab, ababb=1⟩φ(a) = bbbb, φ(b) = b
1111653⟨a, b | aaaa=ab, abbab=1⟩φ(a) = bbbb, φ(b) = b
1111654⟨a, b | aaaa=ab, abbba=1⟩φ(a) = bbbb, φ(b) = b
1111659⟨a, b | aaaa=ab, baabb=1⟩φ(a) = bbbb, φ(b) = b
1111661⟨a, b | aaaa=ab, babab=1⟩φ(a) = bbbb, φ(b) = b
1111662⟨a, b | aaaa=ab, babba=1⟩φ(a) = bbbb, φ(b) = b
1111665⟨a, b | aaaa=ab, bbaab=1⟩φ(a) = bbbb, φ(b) = b
1111666⟨a, b | aaaa=ab, bbaba=1⟩φ(a) = bbbb, φ(b) = b
1111668⟨a, b | aaaa=ab, bbbaa=1⟩φ(a) = bbbb, φ(b) = b
1111795⟨a, b | aaab=bb, aabbb=1⟩φ(a) = bbbb, φ(b) = b
1111799⟨a, b | aaab=bb, ababb=1⟩φ(a) = bbbb, φ(b) = b
1111801⟨a, b | aaab=bb, abbab=1⟩φ(a) = bbbb, φ(b) = b
1111802⟨a, b | aaab=bb, abbba=1⟩φ(a) = bbbb, φ(b) = b
1111807⟨a, b | aaab=bb, baabb=1⟩φ(a) = bbbb, φ(b) = b
1111809⟨a, b | aaab=bb, babab=1⟩φ(a) = bbbb, φ(b) = b
1111810⟨a, b | aaab=bb, babba=1⟩φ(a) = bbbb, φ(b) = b
1111813⟨a, b | aaab=bb, bbaab=1⟩φ(a) = bbbb, φ(b) = b
1111814⟨a, b | aaab=bb, bbaba=1⟩φ(a) = bbbb, φ(b) = b
1111816⟨a, b | aaab=bb, bbbaa=1⟩φ(a) = bbbb, φ(b) = b
1111923⟨a, b | aaba=bb, aabbb=1⟩φ(a) = bbbb, φ(b) = b
1111927⟨a, b | aaba=bb, ababb=1⟩φ(a) = bbbb, φ(b) = b
1111929⟨a, b | aaba=bb, abbab=1⟩φ(a) = bbbb, φ(b) = b
1111930⟨a, b | aaba=bb, abbba=1⟩φ(a) = bbbb, φ(b) = b
1111935⟨a, b | aaba=bb, baabb=1⟩φ(a) = bbbb, φ(b) = b
1111937⟨a, b | aaba=bb, babab=1⟩φ(a) = bbbb, φ(b) = b
1111938⟨a, b | aaba=bb, babba=1⟩φ(a) = bbbb, φ(b) = b
1111941⟨a, b | aaba=bb, bbaab=1⟩φ(a) = bbbb, φ(b) = b
1111942⟨a, b | aaba=bb, bbaba=1⟩φ(a) = bbbb, φ(b) = b
1111944⟨a, b | aaba=bb, bbbaa=1⟩φ(a) = bbbb, φ(b) = b
1114940⟨a, b | aaa=ab, abbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1114956⟨a, b | aaa=ab, babbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1114964⟨a, b | aaa=ab, bbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1114968⟨a, b | aaa=ab, bbbabb=1⟩φ(a) = bbbbbb, φ(b) = b
1114970⟨a, b | aaa=ab, bbbbab=1⟩φ(a) = bbbbbb, φ(b) = b
1114971⟨a, b | aaa=ab, bbbbba=1⟩φ(a) = bbbbbb, φ(b) = b
1115232⟨a, b | aab=bb, abbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1115248⟨a, b | aab=bb, babbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1115256⟨a, b | aab=bb, bbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1115260⟨a, b | aab=bb, bbbabb=1⟩φ(a) = bbbbbb, φ(b) = b
1115262⟨a, b | aab=bb, bbbbab=1⟩φ(a) = bbbbbb, φ(b) = b
1115263⟨a, b | aab=bb, bbbbba=1⟩φ(a) = bbbbbb, φ(b) = b
1115390⟨a, b | aba=bb, abbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1115397⟨a, b | aba=bb, babbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1115399⟨a, b | aba=bb, bbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1117190⟨a, b | aaab=1, aabbbb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117206⟨a, b | aaab=1, ababbb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117214⟨a, b | aaab=1, abbabb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117218⟨a, b | aaab=1, abbbab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117220⟨a, b | aaab=1, abbbba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117223⟨a, b | aaab=1, abbbbb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117238⟨a, b | aaab=1, baabbb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117246⟨a, b | aaab=1, bababb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117250⟨a, b | aaab=1, babbab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117252⟨a, b | aaab=1, babbba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117255⟨a, b | aaab=1, babbbb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117262⟨a, b | aaab=1, bbaabb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117266⟨a, b | aaab=1, bbabab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117268⟨a, b | aaab=1, bbabba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117271⟨a, b | aaab=1, bbabbb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117274⟨a, b | aaab=1, bbbaab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117276⟨a, b | aaab=1, bbbaba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117279⟨a, b | aaab=1, bbbabb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117280⟨a, b | aaab=1, bbbbaa=a⟩φ(a) = bbbbbbb, φ(b) = b
1117283⟨a, b | aaab=1, bbbbab=b⟩φ(a) = bbbbbbb, φ(b) = b
1117285⟨a, b | aaab=1, bbbbba=b⟩φ(a) = bbbbbbb, φ(b) = b
1117318⟨a, b | aaba=1, aabbbb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117334⟨a, b | aaba=1, ababbb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117342⟨a, b | aaba=1, abbabb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117346⟨a, b | aaba=1, abbbab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117348⟨a, b | aaba=1, abbbba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117351⟨a, b | aaba=1, abbbbb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117366⟨a, b | aaba=1, baabbb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117374⟨a, b | aaba=1, bababb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117378⟨a, b | aaba=1, babbab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117380⟨a, b | aaba=1, babbba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117383⟨a, b | aaba=1, babbbb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117390⟨a, b | aaba=1, bbaabb=a⟩φ(a) = bbbbbbb, φ(b) = b
1117394⟨a, b | aaba=1, bbabab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117396⟨a, b | aaba=1, bbabba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117399⟨a, b | aaba=1, bbabbb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117402⟨a, b | aaba=1, bbbaab=a⟩φ(a) = bbbbbbb, φ(b) = b
1117404⟨a, b | aaba=1, bbbaba=a⟩φ(a) = bbbbbbb, φ(b) = b
1117407⟨a, b | aaba=1, bbbabb=b⟩φ(a) = bbbbbbb, φ(b) = b
1117408⟨a, b | aaba=1, bbbbaa=a⟩φ(a) = bbbbbbb, φ(b) = b
1117411⟨a, b | aaba=1, bbbbab=b⟩φ(a) = bbbbbbb, φ(b) = b
1117413⟨a, b | aaba=1, bbbbba=b⟩φ(a) = bbbbbbb, φ(b) = b
1117691⟨a, b | aaab=1, aaaaa=bb⟩φ(a) = bbbbbbb, φ(b) = b
1117819⟨a, b | aaba=1, aaaaa=bb⟩φ(a) = bbbbbbb, φ(b) = b
1118219⟨a, b | aaa=b, aaaaabb=1⟩φ(a) = bbbb, φ(b) = b
1118221⟨a, b | aaa=b, aaaabab=1⟩φ(a) = bbbb, φ(b) = b
1118222⟨a, b | aaa=b, aaaabba=1⟩φ(a) = bbbb, φ(b) = b
1118225⟨a, b | aaa=b, aaabaab=1⟩φ(a) = bbbb, φ(b) = b
1118226⟨a, b | aaa=b, aaababa=1⟩φ(a) = bbbb, φ(b) = b
1118228⟨a, b | aaa=b, aaabbaa=1⟩φ(a) = bbbb, φ(b) = b
1118232⟨a, b | aaa=b, aabaaab=1⟩φ(a) = bbbb, φ(b) = b
1118233⟨a, b | aaa=b, aabaaba=1⟩φ(a) = bbbb, φ(b) = b
1118235⟨a, b | aaa=b, aababaa=1⟩φ(a) = bbbb, φ(b) = b
1118246⟨a, b | aaa=b, abaaaab=1⟩φ(a) = bbbb, φ(b) = b
1118247⟨a, b | aaa=b, abaaaba=1⟩φ(a) = bbbb, φ(b) = b
1118268⟨a, b | aaa=b, baaaaab=1⟩φ(a) = bbbb, φ(b) = b
1122452⟨a, b | aab=1, abbbbb=aa⟩φ(a) = bbbbb, φ(b) = b
1122516⟨a, b | aab=1, babbbb=aa⟩φ(a) = bbbbb, φ(b) = b
1122548⟨a, b | aab=1, bbabbb=aa⟩φ(a) = bbbbb, φ(b) = b
1122564⟨a, b | aab=1, bbbabb=aa⟩φ(a) = bbbbb, φ(b) = b
1122572⟨a, b | aab=1, bbbbab=aa⟩φ(a) = bbbbb, φ(b) = b
1122576⟨a, b | aab=1, bbbbba=aa⟩φ(a) = bbbbb, φ(b) = b
1122581⟨a, b | aab=1, bbbbbb=ab⟩φ(a) = bbbbb, φ(b) = b
1122582⟨a, b | aab=1, bbbbbb=ba⟩φ(a) = bbbbb, φ(b) = b
1122680⟨a, b | aba=1, abbbbb=aa⟩φ(a) = bbbbb, φ(b) = b
1122706⟨a, b | aba=1, babbbb=aa⟩φ(a) = bbbbb, φ(b) = b
1122713⟨a, b | aba=1, bbabbb=aa⟩φ(a) = bbbbb, φ(b) = b
1122718⟨a, b | aba=1, bbbbbb=ab⟩φ(a) = bbbbb, φ(b) = b
1122871⟨a, b | aab=1, aaaaa=bbb⟩φ(a) = bbbbb, φ(b) = b
1123125⟨a, b | aba=1, aaaaa=bbb⟩φ(a) = bbbbb, φ(b) = b
1123659⟨a, b | aa=b, aaaaabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1123663⟨a, b | aa=b, aaaababb=1⟩φ(a) = bbbbbb, φ(b) = b
1123665⟨a, b | aa=b, aaaabbab=1⟩φ(a) = bbbbbb, φ(b) = b
1123666⟨a, b | aa=b, aaaabbba=1⟩φ(a) = bbbbbb, φ(b) = b
1123670⟨a, b | aa=b, aaabaabb=1⟩φ(a) = bbbbbb, φ(b) = b
1123672⟨a, b | aa=b, aaababab=1⟩φ(a) = bbbbbb, φ(b) = b
1123673⟨a, b | aa=b, aaababba=1⟩φ(a) = bbbbbb, φ(b) = b
1123676⟨a, b | aa=b, aaabbaab=1⟩φ(a) = bbbbbb, φ(b) = b
1123677⟨a, b | aa=b, aaabbaba=1⟩φ(a) = bbbbbb, φ(b) = b
1123679⟨a, b | aa=b, aaabbbaa=1⟩φ(a) = bbbbbb, φ(b) = b
1123685⟨a, b | aa=b, aabaaabb=1⟩φ(a) = bbbbbb, φ(b) = b
1123687⟨a, b | aa=b, aabaabab=1⟩φ(a) = bbbbbb, φ(b) = b
1123688⟨a, b | aa=b, aabaabba=1⟩φ(a) = bbbbbb, φ(b) = b
1123690⟨a, b | aa=b, aababaab=1⟩φ(a) = bbbbbb, φ(b) = b
1123691⟨a, b | aa=b, aabababa=1⟩φ(a) = bbbbbb, φ(b) = b
1123693⟨a, b | aa=b, aababbaa=1⟩φ(a) = bbbbbb, φ(b) = b
1123697⟨a, b | aa=b, aabbaaab=1⟩φ(a) = bbbbbb, φ(b) = b
1123698⟨a, b | aa=b, aabbaaba=1⟩φ(a) = bbbbbb, φ(b) = b
1123712⟨a, b | aa=b, abaaaabb=1⟩φ(a) = bbbbbb, φ(b) = b
1123713⟨a, b | aa=b, abaaabab=1⟩φ(a) = bbbbbb, φ(b) = b
1123714⟨a, b | aa=b, abaaabba=1⟩φ(a) = bbbbbb, φ(b) = b
1123716⟨a, b | aa=b, abaabaab=1⟩φ(a) = bbbbbb, φ(b) = b
1123717⟨a, b | aa=b, abaababa=1⟩φ(a) = bbbbbb, φ(b) = b
1123722⟨a, b | aa=b, ababaaab=1⟩φ(a) = bbbbbb, φ(b) = b
1123733⟨a, b | aa=b, abbaaaab=1⟩φ(a) = bbbbbb, φ(b) = b
1123753⟨a, b | aa=b, baaaaabb=1⟩φ(a) = bbbbbb, φ(b) = b
1123754⟨a, b | aa=b, baaaabab=1⟩φ(a) = bbbbbb, φ(b) = b
1123756⟨a, b | aa=b, baaabaab=1⟩φ(a) = bbbbbb, φ(b) = b