#68 ⟨a, b, c | aab=1, bcc=1⟩

Up:Monoid enumeration
Prev:#63 ⟨a, b, c | aab=1, acc=1⟩
Next:#70 ⟨a, b, c | aab=1, cab=1⟩

Contents

  1. Properties
  2. Rewriting system
  3. Other submonoids of same group
  4. Isomorphic instances

Properties

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 ⇒ ba [11]
2. cb ⇒ bc [9]
3. c2 ⇒ a2 [3]
4. ba2 ⇒ 1 [10]
5. ca2 ⇒ a2c [5]
# abc:aab=1,bcc=1 bac - -
ab=ba
cb=bc
cc=aa
baa=1
caa=aac

Other submonoids of same group

3 unique, 15 total

Σ#PresentationPropertiesφ
6146⟨a, b, c | aa=b, cc=b⟩Can Inf5
6160⟨a, b, c | ab=c, bc=a⟩Can Inf3
7913⟨a, b, c | aa=b, aca=c⟩Can Inf4

Isomorphic instances

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

294 total

Σ#PresentationMapping
673⟨a, b, c | aab=1, cbc=1⟩φ(a) = a, φ(b) = baba, φ(c) = c
680⟨a, b, c | aba=1, cbc=1⟩φ(a) = a, φ(b) = baba, φ(c) = c
698⟨a, b, c | aa=b, cbc=1⟩φ(a) = ba, φ(b) = baba, φ(c) = c
6128⟨a, b, c | ab=c, bac=1⟩φ(a) = cbabc, φ(b) = c, φ(c) = cba
6190⟨a, b, c | ab=1, acca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
6200⟨a, b, c | ab=1, bbcc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
6201⟨a, b, c | ab=1, bcac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
6205⟨a, b, c | ab=1, caac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
6253⟨a, b, c | ab=1, bcc=a⟩φ(a) = a, φ(b) = ba, φ(c) = c
7362⟨a, b, c | aba=b, bcb=1⟩φ(a) = cba, φ(b) = c, φ(c) = bcbc
7483⟨a, b, c | bb=aa, aca=1⟩φ(a) = a, φ(b) = c, φ(c) = baba
7484⟨a, b, c | bb=aa, acb=1⟩φ(a) = abcba, φ(b) = ba, φ(c) = ac
7596⟨a, b, c | aab=1, acca=1⟩φ(a) = ba, φ(b) = aa, φ(c) = c
7620⟨a, b, c | aab=1, caac=1⟩φ(a) = ba, φ(b) = aa, φ(c) = c
7636⟨a, b, c | aab=1, ccaa=1⟩φ(a) = ba, φ(b) = aa, φ(c) = c
7649⟨a, b, c | aba=1, aacc=1⟩φ(a) = ba, φ(b) = aa, φ(c) = c
7659⟨a, b, c | aba=1, acca=1⟩φ(a) = ba, φ(b) = aa, φ(c) = c
7674⟨a, b, c | aba=1, caac=1⟩φ(a) = ba, φ(b) = aa, φ(c) = c
7692⟨a, b, c | abc=1, abba=1⟩φ(a) = cbabc, φ(b) = c, φ(c) = abc
7702⟨a, b, c | abc=1, acca=1⟩φ(a) = ba, φ(b) = abc, φ(c) = c
7705⟨a, b, c | abc=1, baab=1⟩φ(a) = cbabc, φ(b) = c, φ(c) = abc
7710⟨a, b, c | abc=1, bbaa=1⟩φ(a) = cbabc, φ(b) = c, φ(c) = abc
7724⟨a, b, c | abc=1, ccaa=1⟩φ(a) = ba, φ(b) = abc, φ(c) = c
7754⟨a, b, c | aa=b, acca=1⟩φ(a) = ba, φ(b) = baba, φ(c) = c
7769⟨a, b, c | aa=b, caac=1⟩φ(a) = ba, φ(b) = baba, φ(c) = c
7791⟨a, b, c | ab=a, acca=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
7815⟨a, b, c | ab=a, caac=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
7852⟨a, b, c | ab=c, abba=1⟩φ(a) = cbabc, φ(b) = c, φ(c) = cba
7861⟨a, b, c | ab=c, acca=1⟩φ(a) = c, φ(b) = bcba, φ(c) = ba
7874⟨a, b, c | ab=c, bbcc=1⟩φ(a) = ca, φ(b) = ba, φ(c) = c
7879⟨a, b, c | ab=c, caac=1⟩φ(a) = c, φ(b) = bcba, φ(c) = ba
81641⟨a, b, c | aab=ac, bac=1⟩φ(a) = cbabc, φ(b) = c, φ(c) = cba
81651⟨a, b, c | aab=ac, cba=1⟩φ(a) = cbabc, φ(b) = c, φ(c) = cba
81691⟨a, b, c | aab=bb, cbc=1⟩φ(a) = ba, φ(b) = baba, φ(c) = c
81707⟨a, b, c | aab=bc, bbc=1⟩φ(a) = ba, φ(b) = c, φ(c) = bcbabac
81709⟨a, b, c | aab=bc, bcb=1⟩φ(a) = ba, φ(b) = c, φ(c) = bcbabac
81733⟨a, b, c | aab=ca, bca=1⟩φ(a) = c, φ(b) = bcbac, φ(c) = cba
81759⟨a, b, c | aab=cb, bcb=1⟩φ(a) = ba, φ(b) = c, φ(c) = baba
81924⟨a, b, c | abc=aa, cba=1⟩φ(a) = bac, φ(b) = ba, φ(c) = c
82056⟨a, b, c | aaab=1, abcc=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82063⟨a, b, c | aaab=1, acca=1⟩φ(a) = ba, φ(b) = aaa, φ(c) = c
82070⟨a, b, c | aaab=1, bacc=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82082⟨a, b, c | aaab=1, bcca=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82087⟨a, b, c | aaab=1, caac=1⟩φ(a) = ba, φ(b) = aaa, φ(c) = c
82090⟨a, b, c | aaab=1, cabc=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82096⟨a, b, c | aaab=1, cbac=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82102⟨a, b, c | aaab=1, ccaa=1⟩φ(a) = ba, φ(b) = aaa, φ(c) = c
82105⟨a, b, c | aaab=1, ccba=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82112⟨a, b, c | aaba=1, aacc=1⟩φ(a) = ba, φ(b) = aaa, φ(c) = c
82117⟨a, b, c | aaba=1, abcc=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82124⟨a, b, c | aaba=1, acca=1⟩φ(a) = ba, φ(b) = aaa, φ(c) = c
82125⟨a, b, c | aaba=1, accb=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82130⟨a, b, c | aaba=1, bacc=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82141⟨a, b, c | aaba=1, bcca=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82144⟨a, b, c | aaba=1, caac=1⟩φ(a) = ba, φ(b) = aaa, φ(c) = c
82147⟨a, b, c | aaba=1, cabc=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82152⟨a, b, c | aaba=1, cbac=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82158⟨a, b, c | aaba=1, ccaa=1⟩φ(a) = ba, φ(b) = aaa, φ(c) = c
82159⟨a, b, c | aaba=1, ccab=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82160⟨a, b, c | aaba=1, ccba=1⟩φ(a) = a, φ(b) = bababa, φ(c) = c
82167⟨a, b, c | aabb=1, abbc=1⟩φ(a) = cbaba, φ(b) = a, φ(c) = bc
82168⟨a, b, c | aabb=1, abca=1⟩φ(a) = a, φ(b) = babac, φ(c) = bc
82172⟨a, b, c | aabb=1, acba=1⟩φ(a) = a, φ(b) = cbaba, φ(c) = bc
82176⟨a, b, c | aabb=1, baac=1⟩φ(a) = a, φ(b) = cbaba, φ(c) = bc
82177⟨a, b, c | aabb=1, babc=1⟩φ(a) = bacba, φ(b) = a, φ(c) = bc
82178⟨a, b, c | aabb=1, baca=1⟩φ(a) = a, φ(b) = bacba, φ(c) = bc
82180⟨a, b, c | aabb=1, bbac=1⟩φ(a) = babac, φ(b) = a, φ(c) = bc
82181⟨a, b, c | aabb=1, bbca=1⟩φ(a) = cbaba, φ(b) = a, φ(c) = bc
82192⟨a, b, c | aabc=1, abba=1⟩φ(a) = a, φ(b) = babac, φ(c) = bc
82202⟨a, b, c | aabc=1, acca=1⟩φ(a) = ba, φ(b) = aabc, φ(c) = c
82204⟨a, b, c | aabc=1, baab=1⟩φ(a) = a, φ(b) = babac, φ(c) = bc
82220⟨a, b, c | aabc=1, caac=1⟩φ(a) = ba, φ(b) = aabc, φ(c) = c
82252⟨a, b, c | abac=1, abba=1⟩φ(a) = a, φ(b) = bacba, φ(c) = bc
82259⟨a, b, c | abac=1, acca=1⟩φ(a) = ba, φ(b) = abca, φ(c) = c
82261⟨a, b, c | abac=1, baab=1⟩φ(a) = a, φ(b) = bacba, φ(c) = bc
82271⟨a, b, c | abac=1, caac=1⟩φ(a) = ba, φ(b) = abca, φ(c) = c
82279⟨a, b, c | abba=1, abbc=1⟩φ(a) = cbaba, φ(b) = a, φ(c) = bc
82280⟨a, b, c | abba=1, abca=1⟩φ(a) = a, φ(b) = babac, φ(c) = bc
82283⟨a, b, c | abba=1, baac=1⟩φ(a) = a, φ(b) = cbaba, φ(c) = bc
82284⟨a, b, c | abba=1, bacb=1⟩φ(a) = babac, φ(b) = a, φ(c) = bc
82326⟨a, b, c | aaa=b, acbc=1⟩φ(a) = ba, φ(b) = bababa, φ(c) = ac
82327⟨a, b, c | aaa=b, acca=1⟩φ(a) = ba, φ(b) = bababa, φ(c) = c
82342⟨a, b, c | aaa=b, caac=1⟩φ(a) = ba, φ(b) = bababa, φ(c) = c
82364⟨a, b, c | aab=a, acca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
82379⟨a, b, c | aab=a, bcac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
82388⟨a, b, c | aab=a, caac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
82401⟨a, b, c | aab=a, cbca=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
82404⟨a, b, c | aab=a, ccaa=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
82489⟨a, b, c | aab=c, abac=1⟩φ(a) = c, φ(b) = bcba, φ(c) = cba
82490⟨a, b, c | aab=c, abba=1⟩φ(a) = a, φ(b) = babac, φ(c) = c
82502⟨a, b, c | aab=c, acca=1⟩φ(a) = ba, φ(b) = aac, φ(c) = c
82506⟨a, b, c | aab=c, baab=1⟩φ(a) = a, φ(b) = babac, φ(c) = c
82511⟨a, b, c | aab=c, baca=1⟩φ(a) = c, φ(b) = bcba, φ(c) = cba
82534⟨a, b, c | aab=c, caac=1⟩φ(a) = ba, φ(b) = aac, φ(c) = c
82535⟨a, b, c | aab=c, caba=1⟩φ(a) = c, φ(b) = bcba, φ(c) = cba
82550⟨a, b, c | aab=c, ccaa=1⟩φ(a) = ba, φ(b) = aac, φ(c) = c
82573⟨a, b, c | aba=a, acca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
82588⟨a, b, c | aba=a, caac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
82602⟨a, b, c | aba=b, abcb=1⟩φ(a) = cba, φ(b) = a, φ(c) = bcba
82613⟨a, b, c | aba=b, bacb=1⟩φ(a) = bac, φ(b) = a, φ(c) = bcba
82617⟨a, b, c | aba=b, bbcb=1⟩φ(a) = cba, φ(b) = c, φ(c) = bcbcbc
82634⟨a, b, c | aba=c, aabc=1⟩φ(a) = c, φ(b) = babc, φ(c) = cba
82637⟨a, b, c | aba=c, aacc=1⟩φ(a) = ba, φ(b) = aca, φ(c) = c
82640⟨a, b, c | aba=c, abba=1⟩φ(a) = a, φ(b) = bacba, φ(c) = c
82643⟨a, b, c | aba=c, abca=1⟩φ(a) = c, φ(b) = babc, φ(c) = cba
82650⟨a, b, c | aba=c, acca=1⟩φ(a) = ba, φ(b) = aca, φ(c) = c
82653⟨a, b, c | aba=c, baab=1⟩φ(a) = a, φ(b) = bacba, φ(c) = c
82654⟨a, b, c | aba=c, baac=1⟩φ(a) = c, φ(b) = babc, φ(c) = cba
82662⟨a, b, c | aba=c, bbcb=1⟩φ(a) = bcba, φ(b) = c, φ(c) = bcbaba
82667⟨a, b, c | aba=c, bccc=1⟩φ(a) = bcba, φ(b) = acc, φ(c) = ba
82668⟨a, b, c | aba=c, caac=1⟩φ(a) = ba, φ(b) = aca, φ(c) = c
82672⟨a, b, c | aba=c, cbcc=1⟩φ(a) = bcba, φ(b) = acc, φ(c) = ba
82686⟨a, b, c | abc=a, abba=1⟩φ(a) = ba, φ(b) = c, φ(c) = bc
82693⟨a, b, c | abc=a, acab=1⟩φ(a) = cba, φ(b) = bc, φ(c) = c
82698⟨a, b, c | abc=a, acca=1⟩φ(a) = ba, φ(b) = bc, φ(c) = c
82702⟨a, b, c | abc=a, baab=1⟩φ(a) = ba, φ(b) = c, φ(c) = bc
82730⟨a, b, c | abc=a, caac=1⟩φ(a) = ba, φ(b) = bc, φ(c) = c
82731⟨a, b, c | abc=a, caba=1⟩φ(a) = cba, φ(b) = bc, φ(c) = c
82746⟨a, b, c | abc=a, ccaa=1⟩φ(a) = ba, φ(b) = bc, φ(c) = c
82767⟨a, b, c | abc=b, abba=1⟩φ(a) = baca, φ(b) = ba, φ(c) = bc
82780⟨a, b, c | abc=b, baab=1⟩φ(a) = baca, φ(b) = ba, φ(c) = bc
82785⟨a, b, c | abc=b, bbaa=1⟩φ(a) = baca, φ(b) = ba, φ(c) = bc
82789⟨a, b, c | abc=b, bbca=1⟩φ(a) = cbabcabc, φ(b) = cba, φ(c) = c
82791⟨a, b, c | abc=b, bcab=1⟩φ(a) = cbabcabc, φ(b) = cba, φ(c) = c
83089⟨a, b, c | ab=aa, acca=1⟩φ(a) = ba, φ(b) = ba, φ(c) = c
83108⟨a, b, c | ab=aa, bcca=1⟩φ(a) = ba, φ(b) = ba, φ(c) = c
83113⟨a, b, c | ab=aa, caac=1⟩φ(a) = ba, φ(b) = ba, φ(c) = c
83116⟨a, b, c | ab=aa, cabc=1⟩φ(a) = ba, φ(b) = ba, φ(c) = c
83122⟨a, b, c | ab=aa, cbac=1⟩φ(a) = ba, φ(b) = ba, φ(c) = c
83146⟨a, b, c | ac=ab, abba=1⟩φ(a) = ba, φ(b) = c, φ(c) = c
83149⟨a, b, c | ac=ab, abca=1⟩φ(a) = ba, φ(b) = c, φ(c) = c
83153⟨a, b, c | ac=ab, baab=1⟩φ(a) = ba, φ(b) = c, φ(c) = c
83154⟨a, b, c | ac=ab, baac=1⟩φ(a) = ba, φ(b) = c, φ(c) = c
83206⟨a, b, c | ba=ac, aacc=1⟩φ(a) = ba, φ(b) = baca, φ(c) = c
83208⟨a, b, c | ba=ac, abac=1⟩φ(a) = ba, φ(b) = baca, φ(c) = c
83209⟨a, b, c | ba=ac, abba=1⟩φ(a) = ba, φ(b) = baca, φ(c) = c
83215⟨a, b, c | ba=ac, acab=1⟩φ(a) = ba, φ(b) = baca, φ(c) = c
83222⟨a, b, c | ba=ac, baab=1⟩φ(a) = ba, φ(b) = baca, φ(c) = c
83245⟨a, b, c | bb=aa, aaca=1⟩φ(a) = a, φ(b) = c, φ(c) = bababa
83246⟨a, b, c | bb=aa, aacb=1⟩φ(a) = a, φ(b) = aacbaba, φ(c) = bcbaba
83250⟨a, b, c | bb=aa, abca=1⟩φ(a) = a, φ(b) = c, φ(c) = bcbaba
83251⟨a, b, c | bb=aa, abcb=1⟩φ(a) = abcba, φ(b) = ba, φ(c) = aac
83268⟨a, b, c | bb=ac, aaca=1⟩φ(a) = c, φ(b) = ba, φ(c) = bcbaba
83274⟨a, b, c | bb=ac, abba=1⟩φ(a) = c, φ(b) = ba, φ(c) = bcbaba
83279⟨a, b, c | bb=ac, acaa=1⟩φ(a) = c, φ(b) = ba, φ(c) = bcbaba
83287⟨a, b, c | bb=ac, baab=1⟩φ(a) = c, φ(b) = ba, φ(c) = bcbaba
83292⟨a, b, c | bb=ac, bbaa=1⟩φ(a) = c, φ(b) = ba, φ(c) = bcbaba
83684⟨a, b, c | aab=1, abcac=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83702⟨a, b, c | aab=1, acbac=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83730⟨a, b, c | aab=1, bacac=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83752⟨a, b, c | aab=1, bbcbc=1⟩φ(a) = a, φ(b) = baba, φ(c) = aac
83762⟨a, b, c | aab=1, bcaca=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83770⟨a, b, c | aab=1, bcbbc=1⟩φ(a) = a, φ(b) = baba, φ(c) = aac
83772⟨a, b, c | aab=1, bcbcb=1⟩φ(a) = a, φ(b) = baba, φ(c) = aac
83798⟨a, b, c | aab=1, cabca=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83804⟨a, b, c | aab=1, cacba=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83816⟨a, b, c | aab=1, cbaca=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83826⟨a, b, c | aab=1, cbbcb=1⟩φ(a) = a, φ(b) = baba, φ(c) = aac
83894⟨a, b, c | aba=1, abcac=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83904⟨a, b, c | aba=1, acabc=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83906⟨a, b, c | aba=1, acacb=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83909⟨a, b, c | aba=1, acbac=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83931⟨a, b, c | aba=1, bacac=1⟩φ(a) = c, φ(b) = bcbc, φ(c) = cba
83946⟨a, b, c | aba=1, bbcbc=1⟩φ(a) = a, φ(b) = baba, φ(c) = aac
83954⟨a, b, c | aba=1, bcbbc=1⟩φ(a) = a, φ(b) = baba, φ(c) = aac
83955⟨a, b, c | aba=1, bcbcb=1⟩φ(a) = a, φ(b) = baba, φ(c) = aac
84029⟨a, b, c | abc=1, acaab=1⟩φ(a) = cba, φ(b) = a, φ(c) = bc
84077⟨a, b, c | abc=1, bbcba=1⟩φ(a) = bcabc, φ(b) = cba, φ(c) = c
84084⟨a, b, c | abc=1, bcbab=1⟩φ(a) = bcabc, φ(b) = cba, φ(c) = c
84091⟨a, b, c | abc=1, caaba=1⟩φ(a) = cba, φ(b) = a, φ(c) = bc
84190⟨a, b, c | aab=1, abcc=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84236⟨a, b, c | aab=1, bacc=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84256⟨a, b, c | aab=1, bbcc=b⟩φ(a) = a, φ(b) = baba, φ(c) = c
84274⟨a, b, c | aab=1, bcbc=b⟩φ(a) = a, φ(b) = baba, φ(c) = c
84276⟨a, b, c | aab=1, bcca=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84304⟨a, b, c | aab=1, caca=b⟩φ(a) = ba, φ(b) = aa, φ(c) = ac
84330⟨a, b, c | aab=1, cbca=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84400⟨a, b, c | aba=1, abcc=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84407⟨a, b, c | aba=1, acac=b⟩φ(a) = ba, φ(b) = aa, φ(c) = ac
84412⟨a, b, c | aba=1, acbc=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84418⟨a, b, c | aba=1, accb=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84435⟨a, b, c | aba=1, bacc=a⟩φ(a) = a, φ(b) = baba, φ(c) = c
84449⟨a, b, c | aba=1, bbcc=b⟩φ(a) = a, φ(b) = baba, φ(c) = c
84455⟨a, b, c | aba=1, bcbc=b⟩φ(a) = a, φ(b) = baba, φ(c) = c
84458⟨a, b, c | aba=1, bccb=b⟩φ(a) = a, φ(b) = baba, φ(c) = c
84486⟨a, b, c | abc=1, aaab=c⟩φ(a) = c, φ(b) = bcba, φ(c) = a
84509⟨a, b, c | abc=1, abaa=c⟩φ(a) = c, φ(b) = bcba, φ(c) = a
84572⟨a, b, c | abc=1, bbab=c⟩φ(a) = ca, φ(b) = ba, φ(c) = bc
84593⟨a, b, c | abc=1, caaa=b⟩φ(a) = acba, φ(b) = a, φ(c) = bcba
84628⟨a, b, c | aa=a, abccb=1⟩φ(a) = 1, φ(b) = ba, φ(c) = c
84641⟨a, b, c | aa=a, baccb=1⟩φ(a) = 1, φ(b) = ba, φ(c) = c
84653⟨a, b, c | aa=a, bcacb=1⟩φ(a) = 1, φ(b) = ba, φ(c) = c
84697⟨a, b, c | aa=b, acabc=1⟩φ(a) = ba, φ(b) = baba, φ(c) = ac
84699⟨a, b, c | aa=b, acacb=1⟩φ(a) = ba, φ(b) = baba, φ(c) = ac
84702⟨a, b, c | aa=b, acbac=1⟩φ(a) = ba, φ(b) = baba, φ(c) = ac
84747⟨a, b, c | aa=b, bcbbc=1⟩φ(a) = ba, φ(b) = baba, φ(c) = aac
84748⟨a, b, c | aa=b, bcbcb=1⟩φ(a) = ba, φ(b) = baba, φ(c) = aac
84807⟨a, b, c | ab=a, abcca=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84825⟨a, b, c | ab=a, acbca=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84829⟨a, b, c | ab=a, accab=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84831⟨a, b, c | ab=a, accba=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84853⟨a, b, c | ab=a, bacca=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84877⟨a, b, c | ab=a, bcaac=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84907⟨a, b, c | ab=a, caabc=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84913⟨a, b, c | ab=a, cabac=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84931⟨a, b, c | ab=a, cbaac=1⟩φ(a) = ba, φ(b) = 1, φ(c) = c
84997⟨a, b, c | ab=c, aabca=1⟩φ(a) = c, φ(b) = bcba, φ(c) = ba
85011⟨a, b, c | ab=c, abaac=1⟩φ(a) = c, φ(b) = bcba, φ(c) = ba
85020⟨a, b, c | ab=c, abbbc=1⟩φ(a) = ca, φ(b) = ba, φ(c) = c
85024⟨a, b, c | ab=c, abcaa=1⟩φ(a) = c, φ(b) = bcba, φ(c) = ba
85034⟨a, b, c | ab=c, acaba=1⟩φ(a) = c, φ(b) = bcba, φ(c) = ba
85056⟨a, b, c | ab=c, baaca=1⟩φ(a) = c, φ(b) = bcba, φ(c) = ba
85071⟨a, b, c | ab=c, bbabc=1⟩φ(a) = ca, φ(b) = ba, φ(c) = c
86308⟨a, b, c | ab=1, aabcca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86316⟨a, b, c | ab=1, aacaca=1⟩φ(a) = ba, φ(b) = a, φ(c) = ac
86330⟨a, b, c | ab=1, aaccba=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86351⟨a, b, c | ab=1, abacca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86363⟨a, b, c | ab=1, abbbcc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86366⟨a, b, c | ab=1, abbcac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86370⟨a, b, c | ab=1, abbccb=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86373⟨a, b, c | ab=1, abcaac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86382⟨a, b, c | ab=1, abcbbc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86383⟨a, b, c | ab=1, abcbca=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86386⟨a, b, c | ab=1, abccaa=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86395⟨a, b, c | ab=1, acaaac=1⟩φ(a) = ba, φ(b) = a, φ(c) = ac
86405⟨a, b, c | ab=1, acabca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86408⟨a, b, c | ab=1, acacaa=1⟩φ(a) = ba, φ(b) = a, φ(c) = ac
86419⟨a, b, c | ab=1, acbaca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86423⟨a, b, c | ab=1, acbbac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86430⟨a, b, c | ab=1, acbcba=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86437⟨a, b, c | ab=1, accaba=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86441⟨a, b, c | ab=1, accbaa=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86448⟨a, b, c | ab=1, acccac=1⟩φ(a) = ac, φ(b) = bcba, φ(c) = ba
86457⟨a, b, c | ab=1, baaacc=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86465⟨a, b, c | ab=1, baacbc=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86466⟨a, b, c | ab=1, baacca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86475⟨a, b, c | ab=1, babbcc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86477⟨a, b, c | ab=1, babcac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86483⟨a, b, c | ab=1, bacaac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86489⟨a, b, c | ab=1, bacbbc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86490⟨a, b, c | ab=1, bacbca=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86492⟨a, b, c | ab=1, baccaa=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86505⟨a, b, c | ab=1, bbabcc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86507⟨a, b, c | ab=1, bbacac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86514⟨a, b, c | ab=1, bbbacc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86521⟨a, b, c | ab=1, bbbcbc=1⟩φ(a) = a, φ(b) = ba, φ(c) = ac
86522⟨a, b, c | ab=1, bbbcca=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86525⟨a, b, c | ab=1, bbcabc=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86526⟨a, b, c | ab=1, bbcaca=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86528⟨a, b, c | ab=1, bbcbac=1⟩φ(a) = a, φ(b) = ba, φ(c) = c
86538⟨a, b, c | ab=1, bcaabc=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86539⟨a, b, c | ab=1, bcaaca=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86541⟨a, b, c | ab=1, bcabac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86549⟨a, b, c | ab=1, bcbaac=1⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86554⟨a, b, c | ab=1, bcbbbc=1⟩φ(a) = a, φ(b) = ba, φ(c) = ac
86559⟨a, b, c | ab=1, bcbccc=1⟩φ(a) = bcba, φ(b) = ac, φ(c) = ba
86567⟨a, b, c | ab=1, bcccbc=1⟩φ(a) = bcba, φ(b) = ac, φ(c) = ba
86571⟨a, b, c | ab=1, caaabc=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86573⟨a, b, c | ab=1, caabac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86579⟨a, b, c | ab=1, cabaac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86588⟨a, b, c | ab=1, cacacc=1⟩φ(a) = ac, φ(b) = bcba, φ(c) = ba
86594⟨a, b, c | ab=1, cbaaac=1⟩φ(a) = ba, φ(b) = a, φ(c) = c
86606⟨a, b, c | ab=1, cbcbcc=1⟩φ(a) = bcba, φ(b) = ac, φ(c) = ba
86875⟨a, b, c | ab=1, abbcc=a⟩φ(a) = a, φ(b) = ba, φ(c) = c
86893⟨a, b, c | ab=1, abcca=b⟩φ(a) = ba, φ(b) = a, φ(c) = c
86914⟨a, b, c | ab=1, acaca=b⟩φ(a) = ba, φ(b) = a, φ(c) = ac
86940⟨a, b, c | ab=1, accaa=a⟩φ(a) = ba, φ(b) = a, φ(c) = c
86947⟨a, b, c | ab=1, accba=b⟩φ(a) = ba, φ(b) = a, φ(c) = c
86984⟨a, b, c | ab=1, babcc=a⟩φ(a) = a, φ(b) = ba, φ(c) = c
86990⟨a, b, c | ab=1, bacac=a⟩φ(a) = bc, φ(b) = c, φ(c) = cba
86999⟨a, b, c | ab=1, bacca=b⟩φ(a) = ba, φ(b) = a, φ(c) = c
87014⟨a, b, c | ab=1, bbacc=a⟩φ(a) = a, φ(b) = ba, φ(c) = c
87027⟨a, b, c | ab=1, bbbcc=b⟩φ(a) = a, φ(b) = ba, φ(c) = c
87032⟨a, b, c | ab=1, bbcac=b⟩φ(a) = bc, φ(b) = c, φ(c) = cba
87034⟨a, b, c | ab=1, bbcbc=a⟩φ(a) = a, φ(b) = ba, φ(c) = ac
87037⟨a, b, c | ab=1, bbcca=a⟩φ(a) = a, φ(b) = ba, φ(c) = c
87044⟨a, b, c | ab=1, bcaac=b⟩φ(a) = ba, φ(b) = a, φ(c) = c
87046⟨a, b, c | ab=1, bcabc=a⟩φ(a) = a, φ(b) = ba, φ(c) = c
87049⟨a, b, c | ab=1, bcaca=a⟩φ(a) = bc, φ(b) = c, φ(c) = cba
87055⟨a, b, c | ab=1, bcbac=a⟩φ(a) = a, φ(b) = ba, φ(c) = c
87059⟨a, b, c | ab=1, bcbbc=b⟩φ(a) = a, φ(b) = ba, φ(c) = c
87076⟨a, b, c | ab=1, caaac=b⟩φ(a) = ba, φ(b) = a, φ(c) = ac
87098⟨a, b, c | ab=1, cbaac=a⟩φ(a) = bc, φ(b) = c, φ(c) = cba
87109⟨a, b, c | ab=1, cbccc=a⟩φ(a) = bcba, φ(b) = ac, φ(c) = ba
87435⟨a, b, c | ab=1, acca=ab⟩φ(a) = ba, φ(b) = a, φ(c) = c
87493⟨a, b, c | ab=1, bacc=aa⟩φ(a) = a, φ(b) = ba, φ(c) = c
87533⟨a, b, c | ab=1, bbcc=ab⟩φ(a) = a, φ(b) = ba, φ(c) = c
87535⟨a, b, c | ab=1, bbcc=ba⟩φ(a) = a, φ(b) = ba, φ(c) = c
87542⟨a, b, c | ab=1, bcac=ab⟩φ(a) = bc, φ(b) = c, φ(c) = cba
87550⟨a, b, c | ab=1, bcbc=aa⟩φ(a) = a, φ(b) = ba, φ(c) = ac
87559⟨a, b, c | ab=1, bcca=aa⟩φ(a) = a, φ(b) = ba, φ(c) = c
87575⟨a, b, c | ab=1, caac=ab⟩φ(a) = ba, φ(b) = a, φ(c) = c
87798⟨a, b, c | ab=1, bcc=aab⟩φ(a) = a, φ(b) = ba, φ(c) = c
87800⟨a, b, c | ab=1, bcc=aba⟩φ(a) = a, φ(b) = ba, φ(c) = c