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

Up:Monoids with two generators and two relations
Prev:#456 ⟨a, b | aaaa=1, abab=1⟩
Next:#461 ⟨a, b | aaaa=1, 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. b12 ⇒ 1
  2. a ⇒ b9 
# ab:aaaa=1,abbb=1 b/a
bbbbbbbbbbbb=1
a=bbbbbbbbb

Staircase diagram

Cayley table

1bb2b3b4b5b6b7b8b9b10b11
11bb2b3b4b5b6b7b8b9b10b11
bbb2b3b4b5b6b7b8b9b10b111
b2b2b3b4b5b6b7b8b9b10b111b
b3b3b4b5b6b7b8b9b10b111bb2
b4b4b5b6b7b8b9b10b111bb2b3
b5b5b6b7b8b9b10b111bb2b3b4
b6b6b7b8b9b10b111bb2b3b4b5
b7b7b8b9b10b111bb2b3b4b5b6
b8b8b9b10b111bb2b3b4b5b6b7
b9b9b10b111bb2b3b4b5b6b7b8
b10b10b111bb2b3b4b5b6b7b8b9
b11b111bb2b3b4b5b6b7b8b9b10

Right Cayley graph

Others with same cardinality

37 unique, 334 total

Σ#PresentationDescriptionRelated
7124⟨a, b | aab=a, bbb=1⟩Finite non-commutative monoid with 12 elements23 iso, 38 anti-iso
8645⟨a, b | ab=aa, bbb=b⟩Finite non-commutative monoid with 12 elements1 anti-iso
91646⟨a, b | aab=bb, aba=a⟩Finite non-commutative monoid with 12 elements2 iso
91963⟨a, b | aba=b, aaabb=1⟩Finite non-Abelian group with 12 elements30 iso
91998⟨a, b | aaa=a, bbbb=a⟩Isomorphic to ℕ(12 = 4)6 iso
92018⟨a, b | aaa=b, bbbb=a⟩Isomorphic to ℕ(12 = 1)27 iso
92019⟨a, b | aaa=b, bbbb=b⟩Isomorphic to ℕ(12 = 3)23 iso
92259⟨a, b | ab=aa, bbb=bb⟩Finite non-commutative monoid with 12 elements
105040⟨a, b | aaa=aa, bbbb=a⟩Isomorphic to ℕ(12 = 8)
105072⟨a, b | aaa=ab, bbbb=a⟩Isomorphic to ℕ(12 = 5)7 iso
105092⟨a, b | aaa=bb, bbbb=a⟩Isomorphic to ℕ(12 = 2)43 iso
105202⟨a, b | aab=bb, abba=a⟩Finite non-commutative monoid with 12 elements9 iso, 32 anti-iso
105330⟨a, b | aaa=ab, bab=bb⟩Finite non-commutative monoid with 12 elements1 iso
106597⟨a, b | aaa=b, bbbb=bb⟩Isomorphic to ℕ(12 = 6)4 iso
106660⟨a, b | aab=a, bbbb=ba⟩Finite non-commutative monoid with 12 elements1 anti-iso
106661⟨a, b | aab=a, bbbb=bb⟩Finite non-commutative monoid with 12 elements1 anti-iso
107105⟨a, b | ab=aa, bbaa=bb⟩Finite non-commutative monoid with 12 elements2 iso
1112897⟨a, b | aab=aaa, baaa=b⟩Finite non-commutative monoid with 12 elements5 iso
1112910⟨a, b | aab=aaa, bbbb=a⟩Isomorphic to ℕ(12 = 9)2 iso
1115428⟨a, b | aaa=aa, abbbb=b⟩Finite non-commutative monoid with 12 elements
1115996⟨a, b | aaa=ab, aabb=bb⟩Finite non-commutative monoid with 12 elements2 iso
1116057⟨a, b | aaa=bb, aabb=ab⟩Finite non-commutative monoid with 12 elements2 iso, 2 anti-iso
1116104⟨a, b | aab=aa, abab=bb⟩Finite non-commutative monoid with 12 elements
1116274⟨a, b | aab=bb, aaaa=ab⟩Finite non-commutative monoid with 12 elements1 iso
1116275⟨a, b | aab=bb, aaaa=ba⟩Finite non-commutative monoid with 12 elements
1116448⟨a, b | aba=bb, aabb=aa⟩Finite non-commutative monoid with 12 elements2 iso
1119773⟨a, b | aba=b, bbbbb=aa⟩Finite commutative monoid with 12 elements
1119917⟨a, b | aaa=b, bbbb=abb⟩Isomorphic to ℕ(12 = 7)2 iso
1120054⟨a, b | aab=b, aaaa=bba⟩Finite non-commutative monoid with 12 elements
1120686⟨a, b | bb=aa, aaaaab=a⟩Finite commutative monoid with 12 elements15 iso
1120787⟨a, b | ab=aa, baaaa=bb⟩Finite non-commutative monoid with 12 elements7 iso
1121086⟨a, b | bb=aa, aaaa=aba⟩Finite non-commutative monoid with 12 elements4 iso
1121092⟨a, b | bb=aa, aaab=aba⟩Finite non-commutative monoid with 12 elements3 iso
1121112⟨a, b | bb=aa, abab=aba⟩Finite non-commutative monoid with 12 elements
1124147⟨a, b | aa=a, abbbbbb=b⟩Finite non-commutative monoid with 12 elements
1124991⟨a, b | ab=a, baaaaa=bb⟩Finite non-commutative monoid with 12 elements
1125603⟨a, b | ab=a, bbaaa=bbb⟩Finite non-commutative monoid with 12 elements

Other isomorphic instances

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

325 total

Σ#PresentationMapping
8460⟨a, b | aaaa=1, babb=1⟩φ(a) = bbbbbbbbb, φ(b) = b
8510⟨a, b | aaa=b, bbbb=1⟩φ(a) = b, φ(b) = bbb
8677⟨a, b | aaa=1, abbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
8681⟨a, b | aaa=1, babbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
8682⟨a, b | aaa=1, bbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
8754⟨a, b | aaa=1, bbbb=a⟩φ(a) = bbbb, φ(b) = b
91710⟨a, b | aaaa=1, ababb=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
91711⟨a, b | aaaa=1, abbab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
91716⟨a, b | aaaa=1, babab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
92294⟨a, b | aaa=1, aabbbb=1⟩φ(a) = bbbb, φ(b) = b
92304⟨a, b | aaa=1, abbbba=1⟩φ(a) = bbbb, φ(b) = b
92309⟨a, b | aaa=1, baabbb=1⟩φ(a) = bbbb, φ(b) = b
92313⟨a, b | aaa=1, bbaabb=1⟩φ(a) = bbbb, φ(b) = b
92379⟨a, b | aab=1, bbbbbb=1⟩φ(a) = b, φ(b) = bbbbbbbbbb
92415⟨a, b | aba=1, bbbbbb=1⟩φ(a) = b, φ(b) = bbbbbbbbbb
92593⟨a, b | aaa=1, bbbb=aa⟩φ(a) = bbbbbbbb, φ(b) = b
92791⟨a, b | aa=b, bbbbbb=1⟩φ(a) = b, φ(b) = bb
93251⟨a, b | aa=1, abbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
93265⟨a, b | aa=1, babbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
93269⟨a, b | aa=1, bbabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
93270⟨a, b | aa=1, bbbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
93406⟨a, b | aa=1, bbbbbb=a⟩φ(a) = bbbbbb, φ(b) = b
103832⟨a, b | aaab=bb, bbbb=1⟩φ(a) = b, φ(b) = bbb
104114⟨a, b | bbb=aaa, aaaa=1⟩φ(a) = bbbbbbbbb, φ(b) = b
104115⟨a, b | bbb=aaa, aaab=1⟩φ(a) = bbbbb, φ(b) = bbbbbbbbb
104116⟨a, b | bbb=aaa, aaba=1⟩φ(a) = bbbbb, φ(b) = bbbbbbbbb
104117⟨a, b | bbb=aaa, aabb=1⟩φ(a) = bbbbb, φ(b) = b
104119⟨a, b | bbb=aaa, abba=1⟩φ(a) = bbbbb, φ(b) = b
104355⟨a, b | aaaa=a, abbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104359⟨a, b | aaaa=a, babbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104360⟨a, b | aaaa=a, bbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104429⟨a, b | aaab=b, abbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104437⟨a, b | aaab=b, babbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104441⟨a, b | aaab=b, bbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104443⟨a, b | aaab=b, bbbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
104444⟨a, b | aaab=b, bbbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
104493⟨a, b | aaba=b, abbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104501⟨a, b | aaba=b, babbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104505⟨a, b | aaba=b, bbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
104507⟨a, b | aaba=b, bbbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
104508⟨a, b | aaba=b, bbbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
104807⟨a, b | aaa=bb, aabab=1⟩φ(a) = bb, φ(b) = bbb
104810⟨a, b | aaa=bb, abaab=1⟩φ(a) = bb, φ(b) = bbb
104811⟨a, b | aaa=bb, ababa=1⟩φ(a) = bb, φ(b) = bbb
105429⟨a, b | aaaa=1, aaabbb=1⟩φ(a) = bbb, φ(b) = b
105435⟨a, b | aaaa=1, aabbba=1⟩φ(a) = bbb, φ(b) = b
105449⟨a, b | aaaa=1, baaabb=1⟩φ(a) = bbb, φ(b) = b
105708⟨a, b | aaaa=1, aabbb=a⟩φ(a) = bbbbbbbbb, φ(b) = b
105714⟨a, b | aaaa=1, ababb=a⟩φ(a) = bbbbbbbbb, φ(b) = b
105716⟨a, b | aaaa=1, abbab=a⟩φ(a) = bbbbbbbbb, φ(b) = b
105718⟨a, b | aaaa=1, abbba=a⟩φ(a) = bbbbbbbbb, φ(b) = b
105764⟨a, b | aaab=1, abbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105780⟨a, b | aaab=1, babbb=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105788⟨a, b | aaab=1, bbabb=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105792⟨a, b | aaab=1, bbbab=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105794⟨a, b | aaab=1, bbbba=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105797⟨a, b | aaab=1, bbbbb=b⟩φ(a) = b, φ(b) = bbbbbbbbb
105828⟨a, b | aaba=1, abbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105844⟨a, b | aaba=1, babbb=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105852⟨a, b | aaba=1, bbabb=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105856⟨a, b | aaba=1, bbbab=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105858⟨a, b | aaba=1, bbbba=a⟩φ(a) = b, φ(b) = bbbbbbbbb
105861⟨a, b | aaba=1, bbbbb=b⟩φ(a) = b, φ(b) = bbbbbbbbb
105863⟨a, b | aabb=1, aaaaa=b⟩φ(a) = bbbbb, φ(b) = b
105895⟨a, b | abab=1, aaaaa=b⟩φ(a) = bbbbb, φ(b) = b
105927⟨a, b | abba=1, aaaaa=b⟩φ(a) = bbbbb, φ(b) = b
105964⟨a, b | abba=1, bbbbb=a⟩φ(a) = bbbbb, φ(b) = b
106009⟨a, b | aaa=b, aaabbb=1⟩φ(a) = b, φ(b) = bbb
106012⟨a, b | aaa=b, aababb=1⟩φ(a) = b, φ(b) = bbb
106014⟨a, b | aaa=b, aabbab=1⟩φ(a) = b, φ(b) = bbb
106015⟨a, b | aaa=b, aabbba=1⟩φ(a) = b, φ(b) = bbb
106019⟨a, b | aaa=b, abaabb=1⟩φ(a) = b, φ(b) = bbb
106020⟨a, b | aaa=b, ababab=1⟩φ(a) = b, φ(b) = bbb
106021⟨a, b | aaa=b, ababba=1⟩φ(a) = b, φ(b) = bbb
106023⟨a, b | aaa=b, abbaab=1⟩φ(a) = b, φ(b) = bbb
106029⟨a, b | aaa=b, baaabb=1⟩φ(a) = b, φ(b) = bbb
106030⟨a, b | aaa=b, baabab=1⟩φ(a) = b, φ(b) = bbb
106931⟨a, b | bb=aa, aaaaab=1⟩φ(a) = bbbbbbb, φ(b) = b
106932⟨a, b | bb=aa, aaaaba=1⟩φ(a) = bbbbbbb, φ(b) = b
106934⟨a, b | bb=aa, aaabaa=1⟩φ(a) = bbbbbbb, φ(b) = b
106937⟨a, b | bb=aa, aaabbb=1⟩φ(a) = bbbbbbb, φ(b) = b
106940⟨a, b | bb=aa, aababb=1⟩φ(a) = bbbbbbb, φ(b) = b
106942⟨a, b | bb=aa, aabbab=1⟩φ(a) = bbbbbbb, φ(b) = b
106943⟨a, b | bb=aa, aabbba=1⟩φ(a) = bbbbbbb, φ(b) = b
106947⟨a, b | bb=aa, ababba=1⟩φ(a) = bbbbbbb, φ(b) = b
106948⟨a, b | bb=aa, abbaab=1⟩φ(a) = bbbbbbb, φ(b) = b
107246⟨a, b | aaa=1, abababb=1⟩φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
107247⟨a, b | aaa=1, ababbab=1⟩φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
107252⟨a, b | aaa=1, abbabab=1⟩φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
107269⟨a, b | aaa=1, bababab=1⟩φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
107508⟨a, b | aaa=1, aabbbb=a⟩φ(a) = bbbbbbbb, φ(b) = b
107520⟨a, b | aaa=1, ababbb=a⟩φ(a) = bbbbbbbb, φ(b) = b
107524⟨a, b | aaa=1, abbabb=a⟩φ(a) = bbbbbbbb, φ(b) = b
107526⟨a, b | aaa=1, abbbab=a⟩φ(a) = bbbbbbbb, φ(b) = b
107528⟨a, b | aaa=1, abbbba=a⟩φ(a) = bbbbbbbb, φ(b) = b
107800⟨a, b | aaa=1, abbbb=aa⟩φ(a) = bbbb, φ(b) = b
107948⟨a, b | aab=1, bbbbb=aa⟩φ(a) = b, φ(b) = bbbbbbbbbb
108021⟨a, b | aba=1, bbbbb=aa⟩φ(a) = b, φ(b) = bbbbbbbbbb
108397⟨a, b | aa=b, aabbbbb=1⟩φ(a) = b, φ(b) = bb
108409⟨a, b | aa=b, ababbbb=1⟩φ(a) = b, φ(b) = bb
108414⟨a, b | aa=b, abbabbb=1⟩φ(a) = b, φ(b) = bb
108416⟨a, b | aa=b, abbbabb=1⟩φ(a) = b, φ(b) = bb
108417⟨a, b | aa=b, abbbbab=1⟩φ(a) = b, φ(b) = bb
108418⟨a, b | aa=b, abbbbba=1⟩φ(a) = b, φ(b) = bb
108427⟨a, b | aa=b, baabbbb=1⟩φ(a) = b, φ(b) = bb
108430⟨a, b | aa=b, bababbb=1⟩φ(a) = b, φ(b) = bb
108431⟨a, b | aa=b, babbabb=1⟩φ(a) = b, φ(b) = bb
108432⟨a, b | aa=b, babbbab=1⟩φ(a) = b, φ(b) = bb
108435⟨a, b | aa=b, bbaabbb=1⟩φ(a) = b, φ(b) = bb
108436⟨a, b | aa=b, bbababb=1⟩φ(a) = b, φ(b) = bb
1110885⟨a, b | aaba=bbb, bbbb=1⟩φ(a) = bb, φ(b) = bbb
1111105⟨a, b | aaaaa=a, ababb=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111106⟨a, b | aaaaa=a, abbab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111111⟨a, b | aaaaa=a, babab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111173⟨a, b | aaaab=b, ababb=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111175⟨a, b | aaaab=b, abbab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111183⟨a, b | aaaab=b, babab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111184⟨a, b | aaaab=b, babba=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111188⟨a, b | aaaab=b, bbaba=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111227⟨a, b | aaaba=b, aabbb=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111231⟨a, b | aaaba=b, ababb=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111233⟨a, b | aaaba=b, abbab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111234⟨a, b | aaaba=b, abbba=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111239⟨a, b | aaaba=b, baabb=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111241⟨a, b | aaaba=b, babab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111242⟨a, b | aaaba=b, babba=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111245⟨a, b | aaaba=b, bbaab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111246⟨a, b | aaaba=b, bbaba=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111248⟨a, b | aaaba=b, bbbaa=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111332⟨a, b | aabaa=b, ababb=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111333⟨a, b | aabaa=b, abbab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111339⟨a, b | aabaa=b, babab=1⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1111673⟨a, b | aaaa=bb, aaaab=1⟩φ(a) = b, φ(b) = bbbbbbbb
1111674⟨a, b | aaaa=bb, aaaba=1⟩φ(a) = b, φ(b) = bbbbbbbb
1111676⟨a, b | aaaa=bb, aabaa=1⟩φ(a) = b, φ(b) = bbbbbbbb
1113537⟨a, b | aabab=1, aaaaaa=1⟩φ(a) = bbbbbbbbbb, φ(b) = bbb
1113665⟨a, b | abaab=1, aaaaaa=1⟩φ(a) = bbbbbbbbbb, φ(b) = bbb
1113729⟨a, b | ababa=1, aaaaaa=1⟩φ(a) = bbbbbbbbbb, φ(b) = bbb
1113815⟨a, b | aaaa=a, aabbbb=1⟩φ(a) = bbbb, φ(b) = b
1113825⟨a, b | aaaa=a, abbbba=1⟩φ(a) = bbbb, φ(b) = b
1113830⟨a, b | aaaa=a, baabbb=1⟩φ(a) = bbbb, φ(b) = b
1113834⟨a, b | aaaa=a, bbaabb=1⟩φ(a) = bbbb, φ(b) = b
1113840⟨a, b | aaaa=b, aaaabb=1⟩φ(a) = b, φ(b) = bbbb
1113842⟨a, b | aaaa=b, aaabab=1⟩φ(a) = b, φ(b) = bbbb
1113843⟨a, b | aaaa=b, aaabba=1⟩φ(a) = b, φ(b) = bbbb
1113845⟨a, b | aaaa=b, aabaab=1⟩φ(a) = b, φ(b) = bbbb
1113846⟨a, b | aaaa=b, aababa=1⟩φ(a) = b, φ(b) = bbbb
1113848⟨a, b | aaaa=b, aabbaa=1⟩φ(a) = b, φ(b) = bbbb
1113852⟨a, b | aaaa=b, abaaab=1⟩φ(a) = b, φ(b) = bbbb
1113853⟨a, b | aaaa=b, abaaba=1⟩φ(a) = b, φ(b) = bbbb
1113863⟨a, b | aaaa=b, baaaab=1⟩φ(a) = b, φ(b) = bbbb
1113952⟨a, b | aaab=b, aabbbb=1⟩φ(a) = bbbb, φ(b) = b
1113967⟨a, b | aaab=b, abbbba=1⟩φ(a) = bbbb, φ(b) = b
1113976⟨a, b | aaab=b, baabbb=1⟩φ(a) = bbbb, φ(b) = b
1113988⟨a, b | aaab=b, bbaabb=1⟩φ(a) = bbbb, φ(b) = b
1113994⟨a, b | aaab=b, bbbaab=1⟩φ(a) = bbbb, φ(b) = b
1113997⟨a, b | aaab=b, bbbbaa=1⟩φ(a) = bbbb, φ(b) = b
1114080⟨a, b | aaba=b, aabbbb=1⟩φ(a) = bbbb, φ(b) = b
1114088⟨a, b | aaba=b, ababbb=1⟩φ(a) = bbbb, φ(b) = b
1114094⟨a, b | aaba=b, abbbab=1⟩φ(a) = bbbb, φ(b) = b
1114095⟨a, b | aaba=b, abbbba=1⟩φ(a) = bbbb, φ(b) = b
1114104⟨a, b | aaba=b, baabbb=1⟩φ(a) = bbbb, φ(b) = b
1114108⟨a, b | aaba=b, bababb=1⟩φ(a) = bbbb, φ(b) = b
1114111⟨a, b | aaba=b, babbba=1⟩φ(a) = bbbb, φ(b) = b
1114116⟨a, b | aaba=b, bbaabb=1⟩φ(a) = bbbb, φ(b) = b
1114118⟨a, b | aaba=b, bbabab=1⟩φ(a) = bbbb, φ(b) = b
1114122⟨a, b | aaba=b, bbbaab=1⟩φ(a) = bbbb, φ(b) = b
1114123⟨a, b | aaba=b, bbbaba=1⟩φ(a) = bbbb, φ(b) = b
1114125⟨a, b | aaba=b, bbbbaa=1⟩φ(a) = bbbb, φ(b) = b
1114129⟨a, b | aabb=a, aaaaaa=1⟩φ(a) = bbbbbbbbbb, φ(b) = b
1114193⟨a, b | abab=a, aaaaaa=1⟩φ(a) = bbbbbbbbbb, φ(b) = b
1114257⟨a, b | abba=a, aaaaaa=1⟩φ(a) = bbbbbbbbbb, φ(b) = b
1115264⟨a, b | aab=bb, bbbbbb=1⟩φ(a) = b, φ(b) = bb
1116580⟨a, b | aaaa=1, aababab=1⟩φ(a) = bbb, φ(b) = bbbb
1116593⟨a, b | aaaa=1, abaabab=1⟩φ(a) = bbb, φ(b) = bbbb
1116596⟨a, b | aaaa=1, ababaab=1⟩φ(a) = bbb, φ(b) = bbbb
1116597⟨a, b | aaaa=1, abababa=1⟩φ(a) = bbb, φ(b) = bbbb
1117108⟨a, b | aaaa=1, aababb=a⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1117112⟨a, b | aaaa=1, aabbab=a⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1117124⟨a, b | aaaa=1, ababab=a⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1117126⟨a, b | aaaa=1, ababba=a⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1117142⟨a, b | aaaa=1, baaabb=a⟩φ(a) = bbb, φ(b) = bbbbbbbbbb
1117675⟨a, b | aaaa=1, babab=aa⟩φ(a) = bbb, φ(b) = bbbb
1118195⟨a, b | aaa=a, abbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118209⟨a, b | aaa=a, babbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118213⟨a, b | aaa=a, bbabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118214⟨a, b | aaa=a, bbbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118479⟨a, b | aab=b, abbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118511⟨a, b | aab=b, babbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118527⟨a, b | aab=b, bbabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118535⟨a, b | aab=b, bbbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118539⟨a, b | aab=b, bbbbabb=1⟩φ(a) = bbbbbb, φ(b) = b
1118541⟨a, b | aab=b, bbbbbab=1⟩φ(a) = bbbbbb, φ(b) = b
1118542⟨a, b | aab=b, bbbbbba=1⟩φ(a) = bbbbbb, φ(b) = b
1118667⟨a, b | aba=b, abbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118681⟨a, b | aba=b, babbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118685⟨a, b | aba=b, bbabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1118686⟨a, b | aba=b, bbbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1121135⟨a, b | aaa=1, aaaabbbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121142⟨a, b | aaa=1, aaababbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121146⟨a, b | aaa=1, aaabbabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121148⟨a, b | aaa=1, aaabbbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121149⟨a, b | aaa=1, aaabbbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121163⟨a, b | aaa=1, aababbba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121169⟨a, b | aaa=1, aabbabba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121172⟨a, b | aaa=1, aabbbaba=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121174⟨a, b | aaa=1, aabbbbaa=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121183⟨a, b | aaa=1, abaaabbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121202⟨a, b | aaa=1, abbaaabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121211⟨a, b | aaa=1, abbbaaab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121223⟨a, b | aaa=1, baaaabbb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121225⟨a, b | aaa=1, baaababb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121226⟨a, b | aaa=1, baaabbab=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121235⟨a, b | aaa=1, babaaabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121246⟨a, b | aaa=1, bbaaaabb=1⟩φ(a) = bbbbbbbb, φ(b) = b
1121678⟨a, b | aaa=1, aaabbbb=a⟩φ(a) = bbbb, φ(b) = b
1121704⟨a, b | aaa=1, aabbbba=a⟩φ(a) = bbbb, φ(b) = b
1121718⟨a, b | aaa=1, abaabbb=a⟩φ(a) = bbbb, φ(b) = b
1121734⟨a, b | aaa=1, abbaabb=a⟩φ(a) = bbbb, φ(b) = b
1121742⟨a, b | aaa=1, abbbaab=a⟩φ(a) = bbbb, φ(b) = b
1121758⟨a, b | aaa=1, baaabbb=a⟩φ(a) = bbbb, φ(b) = b
1121770⟨a, b | aaa=1, bababab=a⟩φ(a) = bbbb, φ(b) = b
1121780⟨a, b | aaa=1, bbaaabb=a⟩φ(a) = bbbb, φ(b) = b
1121918⟨a, b | aab=1, abbbbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1121982⟨a, b | aab=1, babbbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122014⟨a, b | aab=1, bbabbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122030⟨a, b | aab=1, bbbabbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122038⟨a, b | aab=1, bbbbabb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122042⟨a, b | aab=1, bbbbbab=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122044⟨a, b | aab=1, bbbbbba=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122047⟨a, b | aab=1, bbbbbbb=b⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122150⟨a, b | aba=1, abbbbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122178⟨a, b | aba=1, babbbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122186⟨a, b | aba=1, bbabbbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122188⟨a, b | aba=1, bbbabbb=a⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122191⟨a, b | aba=1, bbbbbbb=b⟩φ(a) = b, φ(b) = bbbbbbbbbb
1122307⟨a, b | aaa=1, bababb=aa⟩φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
1122311⟨a, b | aaa=1, babbab=aa⟩φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
1122816⟨a, b | aaa=1, abbbb=aaa⟩φ(a) = bbbbbbbb, φ(b) = b
1122844⟨a, b | aaa=1, babbb=aaa⟩φ(a) = bbbbbbbb, φ(b) = b
1122852⟨a, b | aaa=1, bbabb=aaa⟩φ(a) = bbbbbbbb, φ(b) = b
1123321⟨a, b | aaa=1, bbbb=aaaa⟩φ(a) = bbbb, φ(b) = b
1123435⟨a, b | aab=1, bbbb=aaaa⟩φ(a) = b, φ(b) = bbbbbbbbbb
1123507⟨a, b | aba=1, bbbb=aaaa⟩φ(a) = b, φ(b) = bbbbbbbbbb
1123667⟨a, b | aa=b, aaaabbbb=1⟩φ(a) = b, φ(b) = bb
1123674⟨a, b | aa=b, aaababbb=1⟩φ(a) = b, φ(b) = bb
1123678⟨a, b | aa=b, aaabbabb=1⟩φ(a) = b, φ(b) = bb
1123680⟨a, b | aa=b, aaabbbab=1⟩φ(a) = b, φ(b) = bb
1123681⟨a, b | aa=b, aaabbbba=1⟩φ(a) = b, φ(b) = bb
1123689⟨a, b | aa=b, aabaabbb=1⟩φ(a) = b, φ(b) = bb
1123692⟨a, b | aa=b, aabababb=1⟩φ(a) = b, φ(b) = bb
1123694⟨a, b | aa=b, aababbab=1⟩φ(a) = b, φ(b) = bb
1123695⟨a, b | aa=b, aababbba=1⟩φ(a) = b, φ(b) = bb
1123699⟨a, b | aa=b, aabbaabb=1⟩φ(a) = b, φ(b) = bb
1123700⟨a, b | aa=b, aabbabab=1⟩φ(a) = b, φ(b) = bb
1123701⟨a, b | aa=b, aabbabba=1⟩φ(a) = b, φ(b) = bb
1123703⟨a, b | aa=b, aabbbaab=1⟩φ(a) = b, φ(b) = bb
1123704⟨a, b | aa=b, aabbbaba=1⟩φ(a) = b, φ(b) = bb
1123706⟨a, b | aa=b, aabbbbaa=1⟩φ(a) = b, φ(b) = bb
1123715⟨a, b | aa=b, abaaabbb=1⟩φ(a) = b, φ(b) = bb
1123718⟨a, b | aa=b, abaababb=1⟩φ(a) = b, φ(b) = bb
1123719⟨a, b | aa=b, abaabbab=1⟩φ(a) = b, φ(b) = bb
1123720⟨a, b | aa=b, abaabbba=1⟩φ(a) = b, φ(b) = bb
1123723⟨a, b | aa=b, ababaabb=1⟩φ(a) = b, φ(b) = bb
1123724⟨a, b | aa=b, abababab=1⟩φ(a) = b, φ(b) = bb
1123725⟨a, b | aa=b, abababba=1⟩φ(a) = b, φ(b) = bb
1123727⟨a, b | aa=b, ababbaab=1⟩φ(a) = b, φ(b) = bb
1123728⟨a, b | aa=b, ababbaba=1⟩φ(a) = b, φ(b) = bb
1123734⟨a, b | aa=b, abbaaabb=1⟩φ(a) = b, φ(b) = bb
1123735⟨a, b | aa=b, abbaabab=1⟩φ(a) = b, φ(b) = bb
1123736⟨a, b | aa=b, abbaabba=1⟩φ(a) = b, φ(b) = bb
1123738⟨a, b | aa=b, abbabaab=1⟩φ(a) = b, φ(b) = bb
1123743⟨a, b | aa=b, abbbaaab=1⟩φ(a) = b, φ(b) = bb
1123755⟨a, b | aa=b, baaaabbb=1⟩φ(a) = b, φ(b) = bb
1123757⟨a, b | aa=b, baaababb=1⟩φ(a) = b, φ(b) = bb
1123758⟨a, b | aa=b, baaabbab=1⟩φ(a) = b, φ(b) = bb
1123760⟨a, b | aa=b, baabaabb=1⟩φ(a) = b, φ(b) = bb
1123761⟨a, b | aa=b, baababab=1⟩φ(a) = b, φ(b) = bb
1123763⟨a, b | aa=b, baabbaab=1⟩φ(a) = b, φ(b) = bb
1123767⟨a, b | aa=b, babaaabb=1⟩φ(a) = b, φ(b) = bb
1123768⟨a, b | aa=b, babaabab=1⟩φ(a) = b, φ(b) = bb
1123778⟨a, b | aa=b, bbaaaabb=1⟩φ(a) = b, φ(b) = bb
1125973⟨a, b | aa=1, aaabbbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126001⟨a, b | aa=1, aababbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126014⟨a, b | aa=1, aabbabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126020⟨a, b | aa=1, aabbbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126023⟨a, b | aa=1, aabbbbabb=1⟩φ(a) = bbbbbb, φ(b) = b
1126025⟨a, b | aa=1, aabbbbbab=1⟩φ(a) = bbbbbb, φ(b) = b
1126026⟨a, b | aa=1, aabbbbbba=1⟩φ(a) = bbbbbb, φ(b) = b
1126051⟨a, b | aa=1, abaabbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126072⟨a, b | aa=1, ababbbbba=1⟩φ(a) = bbbbbb, φ(b) = b
1126083⟨a, b | aa=1, abbaabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126092⟨a, b | aa=1, abbabbbba=1⟩φ(a) = bbbbbb, φ(b) = b
1126097⟨a, b | aa=1, abbbaabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126101⟨a, b | aa=1, abbbabbba=1⟩φ(a) = bbbbbb, φ(b) = b
1126104⟨a, b | aa=1, abbbbaabb=1⟩φ(a) = bbbbbb, φ(b) = b
1126107⟨a, b | aa=1, abbbbbaab=1⟩φ(a) = bbbbbb, φ(b) = b
1126127⟨a, b | aa=1, baaabbbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126134⟨a, b | aa=1, baababbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126137⟨a, b | aa=1, baabbabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126139⟨a, b | aa=1, baabbbabb=1⟩φ(a) = bbbbbb, φ(b) = b
1126140⟨a, b | aa=1, baabbbbab=1⟩φ(a) = bbbbbb, φ(b) = b
1126147⟨a, b | aa=1, babaabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126155⟨a, b | aa=1, babbaabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126159⟨a, b | aa=1, babbbaabb=1⟩φ(a) = bbbbbb, φ(b) = b
1126167⟨a, b | aa=1, bbaaabbbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126169⟨a, b | aa=1, bbaababbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126170⟨a, b | aa=1, bbaabbabb=1⟩φ(a) = bbbbbb, φ(b) = b
1126172⟨a, b | aa=1, bbabaabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126178⟨a, b | aa=1, bbbaaabbb=1⟩φ(a) = bbbbbb, φ(b) = b
1126554⟨a, b | aa=1, aabbbbbb=a⟩φ(a) = bbbbbb, φ(b) = b
1126600⟨a, b | aa=1, ababbbbb=a⟩φ(a) = bbbbbb, φ(b) = b
1126620⟨a, b | aa=1, abbabbbb=a⟩φ(a) = bbbbbb, φ(b) = b
1126628⟨a, b | aa=1, abbbabbb=a⟩φ(a) = bbbbbb, φ(b) = b
1126632⟨a, b | aa=1, abbbbabb=a⟩φ(a) = bbbbbb, φ(b) = b
1126634⟨a, b | aa=1, abbbbbab=a⟩φ(a) = bbbbbb, φ(b) = b
1126636⟨a, b | aa=1, abbbbbba=a⟩φ(a) = bbbbbb, φ(b) = b
1126668⟨a, b | aa=1, baabbbbb=a⟩φ(a) = bbbbbb, φ(b) = b
1126698⟨a, b | aa=1, bbaabbbb=a⟩φ(a) = bbbbbb, φ(b) = b
1126706⟨a, b | aa=1, bbbaabbb=a⟩φ(a) = bbbbbb, φ(b) = b
1127164⟨a, b | aa=1, abbbbbb=aa⟩φ(a) = bbbbbb, φ(b) = b
1127216⟨a, b | aa=1, babbbbb=aa⟩φ(a) = bbbbbb, φ(b) = b
1127230⟨a, b | aa=1, bbabbbb=aa⟩φ(a) = bbbbbb, φ(b) = b
1127234⟨a, b | aa=1, bbbabbb=aa⟩φ(a) = bbbbbb, φ(b) = b
1127762⟨a, b | aa=1, bbbbbb=aaa⟩φ(a) = bbbbbb, φ(b) = b