#1328 ⟨a, b | aaaa=b, abbb=1⟩

Up:Monoids with two generators and two relations
Prev:#1322 ⟨a, b | aaaa=a, bbbb=1⟩
Next:#1331 ⟨a, b | aaaa=b, bbbb=1⟩

Properties

Element profile

Complete rewriting system

Format:
Word to reduce:
Tips:
  • Lowercase letters stand for generators.
  • Spaces are ignored.
  • Numbers repeat the previous letter, e.g. b90.
Reduction strategy:
Path to normal form: 1 
1
  1. a13 ⇒ 1
  2. b ⇒ a4 
# ab:aaaa=b,abbb=1 a/b
aaaaaaaaaaaaa=1
b=aaaa

Staircase diagram

Cayley table

1aa2a3a4a5a6a7a8a9a10a11a12
11aa2a3a4a5a6a7a8a9a10a11a12
aaa2a3a4a5a6a7a8a9a10a11a121
a2a2a3a4a5a6a7a8a9a10a11a121a
a3a3a4a5a6a7a8a9a10a11a121aa2
a4a4a5a6a7a8a9a10a11a121aa2a3
a5a5a6a7a8a9a10a11a121aa2a3a4
a6a6a7a8a9a10a11a121aa2a3a4a5
a7a7a8a9a10a11a121aa2a3a4a5a6
a8a8a9a10a11a121aa2a3a4a5a6a7
a9a9a10a11a121aa2a3a4a5a6a7a8
a10a10a11a121aa2a3a4a5a6a7a8a9
a11a11a121aa2a3a4a5a6a7a8a9a10
a12a121aa2a3a4a5a6a7a8a9a10a11

Right Cayley graph

Others with same cardinality

26 unique, 114 total

Σ#PresentationDescriptionRelated
92118⟨a, b | aba=b, baab=a⟩Finite non-commutative monoid with 13 elements4 iso
104642⟨a, b | aaaa=b, abbb=a⟩Isomorphic to ℕ(13 = 1)10 iso
104643⟨a, b | aaaa=b, abbb=b⟩Isomorphic to ℕ(13 = 4)6 iso
104683⟨a, b | aaab=b, abba=a⟩Finite non-commutative monoid with 13 elements15 iso, 1 anti-iso
105065⟨a, b | aaa=ab, babb=b⟩Finite non-commutative monoid with 13 elements7 iso
105334⟨a, b | aaa=ab, bba=bb⟩Finite non-commutative monoid with 13 elements
105336⟨a, b | aaa=ab, bbb=ab⟩Finite non-commutative monoid with 13 elements1 iso
105337⟨a, b | aaa=ab, bbb=ba⟩Finite non-commutative monoid with 13 elements
105340⟨a, b | aaa=bb, aab=ba⟩Finite non-commutative monoid with 13 elements
106305⟨a, b | aaa=b, abbbb=b⟩Isomorphic to ℕ(13 = 3)2 iso
107143⟨a, b | bb=aa, aaab=ba⟩Finite non-commutative monoid with 13 elements1 iso
1112240⟨a, b | aaab=aa, bbbb=a⟩Isomorphic to ℕ(13 = 8)1 iso
1112268⟨a, b | aaab=ab, bbbb=a⟩Isomorphic to ℕ(13 = 5)3 iso
1112324⟨a, b | aaab=bb, bbbb=a⟩Isomorphic to ℕ(13 = 2)14 iso
1114647⟨a, b | aaba=b, babbb=a⟩Finite commutative monoid with 13 elements2 iso
1115520⟨a, b | aaa=bb, aabbb=b⟩Finite commutative monoid with 13 elements2 iso
1116012⟨a, b | aaa=ab, abbb=bb⟩Finite non-commutative monoid with 13 elements
1116069⟨a, b | aaa=bb, abbb=ba⟩Finite non-commutative monoid with 13 elements1 anti-iso
1116205⟨a, b | aab=ab, bbbb=aa⟩Finite non-commutative monoid with 13 elements1 iso, 1 anti-iso
1116459⟨a, b | aba=bb, abbb=aa⟩Finite non-commutative monoid with 13 elements1 iso
1116506⟨a, b | aab=ab, bbb=aaa⟩Finite non-commutative monoid with 13 elements1 iso
1116515⟨a, b | aab=ba, bbb=aaa⟩Finite non-commutative monoid with 13 elements
1118958⟨a, b | aab=a, bbbbbb=a⟩Isomorphic to ℕ(13 = 6)4 iso
1120046⟨a, b | aab=a, bbbb=bba⟩Finite non-commutative monoid with 13 elements
1120927⟨a, b | ab=aa, aaaa=bbb⟩Finite non-commutative monoid with 13 elements7 iso
1120991⟨a, b | ab=aa, baaa=bbb⟩Finite non-commutative monoid with 13 elements3 iso

Other isomorphic instances

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

189 total

Σ#PresentationMapping
91330⟨a, b | aaaa=b, babb=1⟩φ(a) = bbbbbbbbbb, φ(b) = b
91869⟨a, b | aaa=b, abbbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
91873⟨a, b | aaa=b, babbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
91874⟨a, b | aaa=b, bbabb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
104809⟨a, b | aaa=bb, aabbb=1⟩φ(a) = bbbbb, φ(b) = b
104812⟨a, b | aaa=bb, ababb=1⟩φ(a) = bbbbb, φ(b) = b
104813⟨a, b | aaa=bb, abbab=1⟩φ(a) = bbbbb, φ(b) = b
104814⟨a, b | aaa=bb, abbba=1⟩φ(a) = bbbbb, φ(b) = b
104817⟨a, b | aaa=bb, baabb=1⟩φ(a) = bbbbb, φ(b) = b
104818⟨a, b | aaa=bb, babab=1⟩φ(a) = bbbbb, φ(b) = b
107678⟨a, b | aab=1, bbbbbb=a⟩φ(a) = bbbbbb, φ(b) = b
107750⟨a, b | aba=1, bbbbbb=a⟩φ(a) = bbbbbb, φ(b) = b
108419⟨a, b | aa=b, abbbbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
108433⟨a, b | aa=b, babbbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
108437⟨a, b | aa=b, bbabbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
108438⟨a, b | aa=b, bbbabbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1110661⟨a, b | aaaa=bbb, aaab=1⟩φ(a) = bbbb, φ(b) = b
1110662⟨a, b | aaaa=bbb, aaba=1⟩φ(a) = bbbb, φ(b) = b
1111117⟨a, b | aaaaa=b, aaabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111119⟨a, b | aaaaa=b, aabab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111120⟨a, b | aaaaa=b, aabba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111122⟨a, b | aaaaa=b, abaab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111123⟨a, b | aaaaa=b, ababa=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111128⟨a, b | aaaaa=b, baaab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1111655⟨a, b | aaaa=ab, abbbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111663⟨a, b | aaaa=ab, babbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111667⟨a, b | aaaa=ab, bbabb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111669⟨a, b | aaaa=ab, bbbab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111670⟨a, b | aaaa=ab, bbbba=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111803⟨a, b | aaab=bb, abbbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111811⟨a, b | aaab=bb, babbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111815⟨a, b | aaab=bb, bbabb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111817⟨a, b | aaab=bb, bbbab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111818⟨a, b | aaab=bb, bbbba=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111931⟨a, b | aaba=bb, abbbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111939⟨a, b | aaba=bb, babbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111943⟨a, b | aaba=bb, bbabb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111945⟨a, b | aaba=bb, bbbab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1111946⟨a, b | aaba=bb, bbbba=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1113468⟨a, b | aaabb=1, abbbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113484⟨a, b | aaabb=1, babbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113492⟨a, b | aaabb=1, bbabbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113496⟨a, b | aaabb=1, bbbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113498⟨a, b | aaabb=1, bbbbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113499⟨a, b | aaabb=1, bbbbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113568⟨a, b | aabab=1, abbbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113584⟨a, b | aabab=1, babbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113592⟨a, b | aabab=1, bbabbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113596⟨a, b | aabab=1, bbbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113598⟨a, b | aabab=1, bbbbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113599⟨a, b | aabab=1, bbbbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113632⟨a, b | aabba=1, abbbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113648⟨a, b | aabba=1, babbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113656⟨a, b | aabba=1, bbabbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113660⟨a, b | aabba=1, bbbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113662⟨a, b | aabba=1, bbbbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113663⟨a, b | aabba=1, bbbbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113696⟨a, b | abaab=1, abbbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113712⟨a, b | abaab=1, babbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113720⟨a, b | abaab=1, bbabbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113724⟨a, b | abaab=1, bbbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113726⟨a, b | abaab=1, bbbbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113727⟨a, b | abaab=1, bbbbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113754⟨a, b | ababa=1, abbbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113761⟨a, b | ababa=1, babbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113763⟨a, b | ababa=1, bbabbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1113766⟨a, b | abbba=1, aaaaab=1⟩φ(a) = bbbbb, φ(b) = b
1113767⟨a, b | abbba=1, aaaaba=1⟩φ(a) = bbbbb, φ(b) = b
1113769⟨a, b | abbba=1, aaabaa=1⟩φ(a) = bbbbb, φ(b) = b
1114974⟨a, b | aaa=bb, aaaaab=1⟩φ(a) = bbbbb, φ(b) = b
1114975⟨a, b | aaa=bb, aaaaba=1⟩φ(a) = bbbbb, φ(b) = b
1114977⟨a, b | aaa=bb, aaabaa=1⟩φ(a) = bbbbb, φ(b) = b
1116663⟨a, b | aaab=1, aabbbbb=1⟩φ(a) = bbbb, φ(b) = b
1116679⟨a, b | aaab=1, ababbbb=1⟩φ(a) = bbbb, φ(b) = b
1116687⟨a, b | aaab=1, abbabbb=1⟩φ(a) = bbbb, φ(b) = b
1116691⟨a, b | aaab=1, abbbabb=1⟩φ(a) = bbbb, φ(b) = b
1116693⟨a, b | aaab=1, abbbbab=1⟩φ(a) = bbbb, φ(b) = b
1116694⟨a, b | aaab=1, abbbbba=1⟩φ(a) = bbbb, φ(b) = b
1116711⟨a, b | aaab=1, baabbbb=1⟩φ(a) = bbbb, φ(b) = b
1116719⟨a, b | aaab=1, bababbb=1⟩φ(a) = bbbb, φ(b) = b
1116723⟨a, b | aaab=1, babbabb=1⟩φ(a) = bbbb, φ(b) = b
1116725⟨a, b | aaab=1, babbbab=1⟩φ(a) = bbbb, φ(b) = b
1116726⟨a, b | aaab=1, babbbba=1⟩φ(a) = bbbb, φ(b) = b
1116735⟨a, b | aaab=1, bbaabbb=1⟩φ(a) = bbbb, φ(b) = b
1116739⟨a, b | aaab=1, bbababb=1⟩φ(a) = bbbb, φ(b) = b
1116741⟨a, b | aaab=1, bbabbab=1⟩φ(a) = bbbb, φ(b) = b
1116742⟨a, b | aaab=1, bbabbba=1⟩φ(a) = bbbb, φ(b) = b
1116747⟨a, b | aaab=1, bbbaabb=1⟩φ(a) = bbbb, φ(b) = b
1116749⟨a, b | aaab=1, bbbabab=1⟩φ(a) = bbbb, φ(b) = b
1116750⟨a, b | aaab=1, bbbabba=1⟩φ(a) = bbbb, φ(b) = b
1116753⟨a, b | aaab=1, bbbbaab=1⟩φ(a) = bbbb, φ(b) = b
1116754⟨a, b | aaab=1, bbbbaba=1⟩φ(a) = bbbb, φ(b) = b
1116756⟨a, b | aaab=1, bbbbbaa=1⟩φ(a) = bbbb, φ(b) = b
1116791⟨a, b | aaba=1, aabbbbb=1⟩φ(a) = bbbb, φ(b) = b
1116807⟨a, b | aaba=1, ababbbb=1⟩φ(a) = bbbb, φ(b) = b
1116815⟨a, b | aaba=1, abbabbb=1⟩φ(a) = bbbb, φ(b) = b
1116819⟨a, b | aaba=1, abbbabb=1⟩φ(a) = bbbb, φ(b) = b
1116821⟨a, b | aaba=1, abbbbab=1⟩φ(a) = bbbb, φ(b) = b
1116822⟨a, b | aaba=1, abbbbba=1⟩φ(a) = bbbb, φ(b) = b
1116839⟨a, b | aaba=1, baabbbb=1⟩φ(a) = bbbb, φ(b) = b
1116847⟨a, b | aaba=1, bababbb=1⟩φ(a) = bbbb, φ(b) = b
1116851⟨a, b | aaba=1, babbabb=1⟩φ(a) = bbbb, φ(b) = b
1116853⟨a, b | aaba=1, babbbab=1⟩φ(a) = bbbb, φ(b) = b
1116854⟨a, b | aaba=1, babbbba=1⟩φ(a) = bbbb, φ(b) = b
1116863⟨a, b | aaba=1, bbaabbb=1⟩φ(a) = bbbb, φ(b) = b
1116867⟨a, b | aaba=1, bbababb=1⟩φ(a) = bbbb, φ(b) = b
1116869⟨a, b | aaba=1, bbabbab=1⟩φ(a) = bbbb, φ(b) = b
1116870⟨a, b | aaba=1, bbabbba=1⟩φ(a) = bbbb, φ(b) = b
1116875⟨a, b | aaba=1, bbbaabb=1⟩φ(a) = bbbb, φ(b) = b
1116877⟨a, b | aaba=1, bbbabab=1⟩φ(a) = bbbb, φ(b) = b
1116878⟨a, b | aaba=1, bbbabba=1⟩φ(a) = bbbb, φ(b) = b
1116881⟨a, b | aaba=1, bbbbaab=1⟩φ(a) = bbbb, φ(b) = b
1116882⟨a, b | aaba=1, bbbbaba=1⟩φ(a) = bbbb, φ(b) = b
1116884⟨a, b | aaba=1, bbbbbaa=1⟩φ(a) = bbbb, φ(b) = b
1117748⟨a, b | aaab=1, abbbb=aa⟩φ(a) = bbbb, φ(b) = b
1117780⟨a, b | aaab=1, babbb=aa⟩φ(a) = bbbb, φ(b) = b
1117796⟨a, b | aaab=1, bbabb=aa⟩φ(a) = bbbb, φ(b) = b
1117804⟨a, b | aaab=1, bbbab=aa⟩φ(a) = bbbb, φ(b) = b
1117808⟨a, b | aaab=1, bbbba=aa⟩φ(a) = bbbb, φ(b) = b
1117813⟨a, b | aaab=1, bbbbb=ab⟩φ(a) = bbbb, φ(b) = b
1117814⟨a, b | aaab=1, bbbbb=ba⟩φ(a) = bbbb, φ(b) = b
1117876⟨a, b | aaba=1, abbbb=aa⟩φ(a) = bbbb, φ(b) = b
1117908⟨a, b | aaba=1, babbb=aa⟩φ(a) = bbbb, φ(b) = b
1117924⟨a, b | aaba=1, bbabb=aa⟩φ(a) = bbbb, φ(b) = b
1117932⟨a, b | aaba=1, bbbab=aa⟩φ(a) = bbbb, φ(b) = b
1117936⟨a, b | aaba=1, bbbba=aa⟩φ(a) = bbbb, φ(b) = b
1117941⟨a, b | aaba=1, bbbbb=ab⟩φ(a) = bbbb, φ(b) = b
1117942⟨a, b | aaba=1, bbbbb=ba⟩φ(a) = bbbb, φ(b) = b
1118223⟨a, b | aaa=b, aaaabbb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118227⟨a, b | aaa=b, aaababb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118229⟨a, b | aaa=b, aaabbab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118230⟨a, b | aaa=b, aaabbba=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118234⟨a, b | aaa=b, aabaabb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118236⟨a, b | aaa=b, aababab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118237⟨a, b | aaa=b, aababba=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118239⟨a, b | aaa=b, aabbaab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118240⟨a, b | aaa=b, aabbaba=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118242⟨a, b | aaa=b, aabbbaa=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118248⟨a, b | aaa=b, abaaabb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118249⟨a, b | aaa=b, abaabab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118250⟨a, b | aaa=b, abaabba=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118252⟨a, b | aaa=b, ababaab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118253⟨a, b | aaa=b, abababa=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118258⟨a, b | aaa=b, abbaaab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118269⟨a, b | aaa=b, baaaabb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118270⟨a, b | aaa=b, baaabab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1118272⟨a, b | aaa=b, baabaab=1⟩φ(a) = bbbbbbbbb, φ(b) = b
1121383⟨a, b | aab=1, abbbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121447⟨a, b | aab=1, babbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121479⟨a, b | aab=1, bbabbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121495⟨a, b | aab=1, bbbabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121503⟨a, b | aab=1, bbbbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121507⟨a, b | aab=1, bbbbbabb=1⟩φ(a) = bbbbbb, φ(b) = b
1121509⟨a, b | aab=1, bbbbbbab=1⟩φ(a) = bbbbbb, φ(b) = b
1121510⟨a, b | aab=1, bbbbbbba=1⟩φ(a) = bbbbbb, φ(b) = b
1121611⟨a, b | aba=1, abbbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121637⟨a, b | aba=1, babbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121644⟨a, b | aba=1, bbabbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121646⟨a, b | aba=1, bbbabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1123112⟨a, b | aab=1, bbbbb=aaa⟩φ(a) = bbbbbb, φ(b) = b
1123258⟨a, b | aba=1, bbbbb=aaa⟩φ(a) = bbbbbb, φ(b) = b
1123682⟨a, b | aa=b, aaabbbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123696⟨a, b | aa=b, aababbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123702⟨a, b | aa=b, aabbabbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123705⟨a, b | aa=b, aabbbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123707⟨a, b | aa=b, aabbbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1123708⟨a, b | aa=b, aabbbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1123721⟨a, b | aa=b, abaabbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123726⟨a, b | aa=b, abababbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123729⟨a, b | aa=b, ababbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123730⟨a, b | aa=b, ababbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1123731⟨a, b | aa=b, ababbbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1123737⟨a, b | aa=b, abbaabbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123739⟨a, b | aa=b, abbababb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123740⟨a, b | aa=b, abbabbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1123741⟨a, b | aa=b, abbabbba=1⟩φ(a) = bbbbbbb, φ(b) = b
1123744⟨a, b | aa=b, abbbaabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123745⟨a, b | aa=b, abbbabab=1⟩φ(a) = bbbbbbb, φ(b) = b
1123747⟨a, b | aa=b, abbbbaab=1⟩φ(a) = bbbbbbb, φ(b) = b
1123759⟨a, b | aa=b, baaabbbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123762⟨a, b | aa=b, baababbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123764⟨a, b | aa=b, baabbabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123765⟨a, b | aa=b, baabbbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1123769⟨a, b | aa=b, babaabbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123770⟨a, b | aa=b, babababb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123771⟨a, b | aa=b, bababbab=1⟩φ(a) = bbbbbbb, φ(b) = b
1123773⟨a, b | aa=b, babbaabb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123779⟨a, b | aa=b, bbaaabbb=1⟩φ(a) = bbbbbbb, φ(b) = b
1123780⟨a, b | aa=b, bbaababb=1⟩φ(a) = bbbbbbb, φ(b) = b