#21 ⟨a, b, c | aa=1, bcb=1⟩

Up:Monoid enumeration
Prev:#20 ⟨a, b, c | aa=1, bbc=1⟩
Next:#22 ⟨a, b, c | ab=1, aac=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. a2 ⇒ 1 [1]
2. cb ⇒ bc [3]
3. b2c ⇒ 1 [4]
# abc:aa=1,bcb=1 abc - -
aa=1
cb=bc
bbc=1

Other submonoids of same group

2 unique, 75 total

Σ#PresentationPropertiesDescriptionφ
57⟨a, b, c | aa=b, cc=1⟩Can Infℤ2 ∗ ℕ65
653⟨a, b, c | bc=ac, cc=1⟩Can Infℤ2 ∗ ℕ8

Isomorphic instances

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

225 total

Σ#PresentationMapping
6165⟨a, b, c | aa=1, abcb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abb
6169⟨a, b, c | aa=1, bacb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abb
6172⟨a, b, c | aa=1, bbcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbc
6196⟨a, b, c | ab=1, bacc=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
6202⟨a, b, c | ab=1, bcbc=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
6203⟨a, b, c | ab=1, bcca=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
6208⟨a, b, c | ab=1, cbac=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
6224⟨a, b, c | aa=1, bcb=a⟩φ(a) = bcab, φ(b) = b, φ(c) = bcbca
7308⟨a, b, c | aab=b, bcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbc
7315⟨a, b, c | aab=b, cbc=1⟩φ(a) = a, φ(b) = bcbc, φ(c) = b
7614⟨a, b, c | aab=1, bcbc=1⟩φ(a) = bc, φ(b) = bb, φ(c) = bcbca
7624⟨a, b, c | aab=1, caca=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = bca
7656⟨a, b, c | aba=1, acac=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = bca
7671⟨a, b, c | aba=1, bcbc=1⟩φ(a) = bc, φ(b) = bb, φ(c) = bcbca
7706⟨a, b, c | abc=1, baba=1⟩φ(a) = abc, φ(b) = b, φ(c) = a
7721⟨a, b, c | abc=1, caca=1⟩φ(a) = bca, φ(b) = a, φ(c) = b
7876⟨a, b, c | ab=c, bcbc=1⟩φ(a) = bcabc, φ(b) = b, φ(c) = bca
71069⟨a, b, c | aa=1, aabcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcaabc
71074⟨a, b, c | aa=1, abacb=1⟩φ(a) = a, φ(b) = b, φ(c) = abcabc
71079⟨a, b, c | aa=1, abbcb=1⟩φ(a) = bcbcabb, φ(b) = bc, φ(c) = abbb
71081⟨a, b, c | aa=1, abcab=1⟩φ(a) = a, φ(b) = b, φ(c) = bcabca
71083⟨a, b, c | aa=1, abcba=1⟩φ(a) = a, φ(b) = b, φ(c) = bcaabc
71084⟨a, b, c | aa=1, abcbb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abbb
71090⟨a, b, c | aa=1, baacb=1⟩φ(a) = a, φ(b) = b, φ(c) = aabcbc
71094⟨a, b, c | aa=1, babcb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abbb
71096⟨a, b, c | aa=1, bacab=1⟩φ(a) = a, φ(b) = b, φ(c) = abcbca
71097⟨a, b, c | aa=1, bacbb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abbb
71102⟨a, b, c | aa=1, bbacb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abbb
71105⟨a, b, c | aa=1, bbbcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbcbc
71107⟨a, b, c | aa=1, bbcbb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbcbc
71242⟨a, b, c | aa=1, abcb=a⟩φ(a) = a, φ(b) = b, φ(c) = bcbc
71255⟨a, b, c | aa=1, bacb=a⟩φ(a) = a, φ(b) = b, φ(c) = abcabc
71265⟨a, b, c | aa=1, bbcb=a⟩φ(a) = bcab, φ(b) = b, φ(c) = bcbcbca
71429⟨a, b, c | aa=1, bcb=aa⟩φ(a) = a, φ(b) = b, φ(c) = bcaabc
81771⟨a, b, c | aab=cc, aba=1⟩φ(a) = b, φ(b) = bcbcaa, φ(c) = a
81873⟨a, b, c | aba=bc, bcb=1⟩φ(a) = b, φ(b) = bca, φ(c) = abab
81902⟨a, b, c | aba=cc, cbc=1⟩φ(a) = abb, φ(b) = bcbcaa, φ(c) = b
81994⟨a, b, c | abc=bb, bca=1⟩φ(a) = aabca, φ(b) = a, φ(c) = b
82081⟨a, b, c | aaab=1, bcbc=1⟩φ(a) = bc, φ(b) = bbb, φ(c) = bcbcbca
82091⟨a, b, c | aaab=1, caca=1⟩φ(a) = b, φ(b) = bcbcbc, φ(c) = bca
82120⟨a, b, c | aaba=1, acac=1⟩φ(a) = b, φ(b) = bcbcbc, φ(c) = bca
82140⟨a, b, c | aaba=1, bcbc=1⟩φ(a) = bc, φ(b) = bbb, φ(c) = bcbcbca
82148⟨a, b, c | aaba=1, caca=1⟩φ(a) = b, φ(b) = bcbcbc, φ(c) = bca
82156⟨a, b, c | aaba=1, cbcb=1⟩φ(a) = bc, φ(b) = bbb, φ(c) = bcbcbca
82206⟨a, b, c | aabc=1, baba=1⟩φ(a) = bc, φ(b) = ba, φ(c) = ab
82224⟨a, b, c | aabc=1, caca=1⟩φ(a) = b, φ(b) = bcbcab, φ(c) = bca
82235⟨a, b, c | abab=1, abbc=1⟩φ(a) = bcabb, φ(b) = bc, φ(c) = ab
82236⟨a, b, c | abab=1, abca=1⟩φ(a) = bc, φ(b) = ba, φ(c) = ab
82239⟨a, b, c | abab=1, acba=1⟩φ(a) = bc, φ(b) = bcabb, φ(c) = ab
82243⟨a, b, c | abab=1, baac=1⟩φ(a) = bc, φ(b) = bcabb, φ(c) = ab
82244⟨a, b, c | abab=1, babc=1⟩φ(a) = ab, φ(b) = bc, φ(c) = ab
82245⟨a, b, c | abab=1, baca=1⟩φ(a) = bc, φ(b) = ab, φ(c) = ab
82302⟨a, b, c | aaa=a, abcb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abb
82306⟨a, b, c | aaa=a, bacb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abb
82383⟨a, b, c | aab=a, bcca=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
82392⟨a, b, c | aab=a, caca=1⟩φ(a) = b, φ(b) = bc, φ(c) = bca
82397⟨a, b, c | aab=a, cbac=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
82407⟨a, b, c | aab=a, ccba=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
82421⟨a, b, c | aab=b, abcb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abb
82435⟨a, b, c | aab=b, bacb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abb
82440⟨a, b, c | aab=b, bbcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbc
82443⟨a, b, c | aab=b, bcab=1⟩φ(a) = bcbcabb, φ(b) = bc, φ(c) = abb
82445⟨a, b, c | aab=b, bcba=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abb
82446⟨a, b, c | aab=b, bcbb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbc
82456⟨a, b, c | aab=b, cabc=1⟩φ(a) = a, φ(b) = abb, φ(c) = bc
82462⟨a, b, c | aab=b, cbac=1⟩φ(a) = bcbcabb, φ(b) = abb, φ(c) = bc
82466⟨a, b, c | aab=b, cbca=1⟩φ(a) = bcab, φ(b) = abb, φ(c) = bc
82468⟨a, b, c | aab=b, cbcc=1⟩φ(a) = a, φ(b) = bcbcbc, φ(c) = b
82474⟨a, b, c | aab=b, ccbc=1⟩φ(a) = a, φ(b) = bcbcbc, φ(c) = b
82493⟨a, b, c | aab=c, abca=1⟩φ(a) = b, φ(b) = bcbca, φ(c) = a
82538⟨a, b, c | aab=c, caca=1⟩φ(a) = b, φ(b) = bcbcbca, φ(c) = bca
82639⟨a, b, c | aba=c, abac=1⟩φ(a) = b, φ(b) = bcabc, φ(c) = a
82647⟨a, b, c | aba=c, acac=1⟩φ(a) = b, φ(b) = bcbcabc, φ(c) = bca
82695⟨a, b, c | abc=a, acba=1⟩φ(a) = a, φ(b) = bc, φ(c) = b
82734⟨a, b, c | abc=a, caca=1⟩φ(a) = b, φ(b) = ab, φ(c) = bca
82737⟨a, b, c | abc=a, cbaa=1⟩φ(a) = a, φ(b) = bc, φ(c) = b
82781⟨a, b, c | abc=b, baba=1⟩φ(a) = abc, φ(b) = b, φ(c) = ab
82792⟨a, b, c | abc=b, bcba=1⟩φ(a) = abca, φ(b) = a, φ(c) = b
83216⟨a, b, c | ba=ac, acac=1⟩φ(a) = b, φ(b) = abc, φ(c) = bca
83217⟨a, b, c | ba=ac, acba=1⟩φ(a) = b, φ(b) = abc, φ(c) = bca
83223⟨a, b, c | ba=ac, baac=1⟩φ(a) = b, φ(b) = abc, φ(c) = bca
83288⟨a, b, c | bb=ac, baba=1⟩φ(a) = bca, φ(b) = b, φ(c) = abbb
83676⟨a, b, c | aab=1, abacc=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83688⟨a, b, c | aab=1, abcca=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83712⟨a, b, c | aab=1, accba=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83722⟨a, b, c | aab=1, baacc=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83734⟨a, b, c | aab=1, bacca=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83774⟨a, b, c | aab=1, bccaa=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83794⟨a, b, c | aab=1, cabac=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83812⟨a, b, c | aab=1, cbaac=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83840⟨a, b, c | aab=1, ccaba=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83846⟨a, b, c | aab=1, ccbaa=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83873⟨a, b, c | aba=1, aabcc=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83881⟨a, b, c | aba=1, aaccb=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83887⟨a, b, c | aba=1, abacc=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83898⟨a, b, c | aba=1, abcca=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83915⟨a, b, c | aba=1, accab=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83925⟨a, b, c | aba=1, baacc=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83962⟨a, b, c | aba=1, caabc=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83964⟨a, b, c | aba=1, cabac=1⟩φ(a) = b, φ(b) = bcbc, φ(c) = a
83998⟨a, b, c | abc=1, aacab=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = ab
84031⟨a, b, c | abc=1, acaba=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = ab
84074⟨a, b, c | abc=1, bbbca=1⟩φ(a) = bca, φ(b) = a, φ(c) = b
84076⟨a, b, c | abc=1, bbcab=1⟩φ(a) = bca, φ(b) = a, φ(c) = b
84085⟨a, b, c | abc=1, bcbba=1⟩φ(a) = bca, φ(b) = a, φ(c) = b
84089⟨a, b, c | abc=1, bccca=1⟩φ(a) = abc, φ(b) = b, φ(c) = a
84093⟨a, b, c | abc=1, cabaa=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = ab
84318⟨a, b, c | aab=1, cbac=a⟩φ(a) = bc, φ(b) = bb, φ(c) = bca
84464⟨a, b, c | aba=1, caac=b⟩φ(a) = b, φ(b) = bcbc, φ(c) = bcbca
84466⟨a, b, c | aba=1, cabc=a⟩φ(a) = bc, φ(b) = bb, φ(c) = bca
84492⟨a, b, c | abc=1, aaba=c⟩φ(a) = bca, φ(b) = abb, φ(c) = bc
84705⟨a, b, c | aa=b, acbca=1⟩φ(a) = b, φ(b) = bb, φ(c) = bcbca
85014⟨a, b, c | ab=c, abaca=1⟩φ(a) = bca, φ(b) = abb, φ(c) = b
85060⟨a, b, c | ab=c, babbc=1⟩φ(a) = bcabc, φ(b) = b, φ(c) = bca
86117⟨a, b, c | aa=1, aaabcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcaaabc
86122⟨a, b, c | aa=1, aabacb=1⟩φ(a) = a, φ(b) = b, φ(c) = abcaabc
86127⟨a, b, c | aa=1, aabbcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcaabc
86130⟨a, b, c | aa=1, aabcab=1⟩φ(a) = a, φ(b) = b, φ(c) = bcaabca
86132⟨a, b, c | aa=1, aabcba=1⟩φ(a) = a, φ(b) = b, φ(c) = bcaaabc
86133⟨a, b, c | aa=1, aabcbb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcaabcbc
86141⟨a, b, c | aa=1, abaacb=1⟩φ(a) = a, φ(b) = b, φ(c) = aabcabc
86146⟨a, b, c | aa=1, ababcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcabcabc
86148⟨a, b, c | aa=1, abacab=1⟩φ(a) = a, φ(b) = b, φ(c) = abcabca
86150⟨a, b, c | aa=1, abacba=1⟩φ(a) = a, φ(b) = b, φ(c) = abcaabc
86151⟨a, b, c | aa=1, abacbb=1⟩φ(a) = a, φ(b) = b, φ(c) = abcabcbc
86158⟨a, b, c | aa=1, abbacb=1⟩φ(a) = a, φ(b) = b, φ(c) = abcbcabc
86163⟨a, b, c | aa=1, abbbcb=1⟩φ(a) = bcbcbcabbb, φ(b) = bc, φ(c) = abbbb
86165⟨a, b, c | aa=1, abbcab=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcabca
86167⟨a, b, c | aa=1, abbcba=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcaabc
86168⟨a, b, c | aa=1, abbcbb=1⟩φ(a) = bcbcabb, φ(b) = bc, φ(c) = abbbb
86173⟨a, b, c | aa=1, abcaab=1⟩φ(a) = a, φ(b) = b, φ(c) = bcabcaa
86175⟨a, b, c | aa=1, abcabb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcabcbca
86179⟨a, b, c | aa=1, abcbab=1⟩φ(a) = a, φ(b) = b, φ(c) = bcabcabc
86181⟨a, b, c | aa=1, abcbbb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abbbb
86182⟨a, b, c | aa=1, abcbbc=1⟩φ(a) = ababca, φ(b) = abb, φ(c) = bcbcbca
86184⟨a, b, c | aa=1, abcbcb=1⟩φ(a) = a, φ(b) = abb, φ(c) = bcbcbca
86190⟨a, b, c | aa=1, abccbc=1⟩φ(a) = bcab, φ(b) = bcbcbca, φ(c) = abb
86195⟨a, b, c | aa=1, baaacb=1⟩φ(a) = a, φ(b) = b, φ(c) = aaabcbc
86199⟨a, b, c | aa=1, baabcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcaabcbc
86201⟨a, b, c | aa=1, baacab=1⟩φ(a) = a, φ(b) = b, φ(c) = aabcbca
86203⟨a, b, c | aa=1, baacbb=1⟩φ(a) = a, φ(b) = b, φ(c) = aabcbcbc
86208⟨a, b, c | aa=1, babacb=1⟩φ(a) = a, φ(b) = b, φ(c) = abcabcbc
86212⟨a, b, c | aa=1, babbcb=1⟩φ(a) = bcbcabb, φ(b) = bc, φ(c) = abbbb
86214⟨a, b, c | aa=1, babcab=1⟩φ(a) = a, φ(b) = b, φ(c) = bcabcbca
86216⟨a, b, c | aa=1, babcbb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abbbb
86220⟨a, b, c | aa=1, bacabb=1⟩φ(a) = a, φ(b) = b, φ(c) = abcbcbca
86225⟨a, b, c | aa=1, bacbbb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abbbb
86227⟨a, b, c | aa=1, bacbcb=1⟩φ(a) = bcbcabb, φ(b) = abb, φ(c) = bcbcbca
86235⟨a, b, c | aa=1, bbaacb=1⟩φ(a) = a, φ(b) = b, φ(c) = aabcbcbc
86238⟨a, b, c | aa=1, bbabcb=1⟩φ(a) = bcab, φ(b) = bc, φ(c) = abbbb
86240⟨a, b, c | aa=1, bbacbb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abbbb
86245⟨a, b, c | aa=1, bbbacb=1⟩φ(a) = a, φ(b) = bc, φ(c) = abbbb
86247⟨a, b, c | aa=1, bbbbcb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbcbcbc
86249⟨a, b, c | aa=1, bbbcbb=1⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbcbcbc
86263⟨a, b, c | aa=1, bcabbc=1⟩φ(a) = abbabcbca, φ(b) = abb, φ(c) = bcbcbca
86264⟨a, b, c | aa=1, bcabcb=1⟩φ(a) = ababca, φ(b) = abb, φ(c) = bcbcbca
86265⟨a, b, c | aa=1, bcacbc=1⟩φ(a) = a, φ(b) = bcbcbca, φ(c) = abb
86358⟨a, b, c | ab=1, abbacc=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86368⟨a, b, c | ab=1, abbcbc=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86369⟨a, b, c | ab=1, abbcca=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86376⟨a, b, c | ab=1, abcaca=1⟩φ(a) = b, φ(b) = bc, φ(c) = bca
86380⟨a, b, c | ab=1, abcbac=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86389⟨a, b, c | ab=1, abccba=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86398⟨a, b, c | ab=1, acaaca=1⟩φ(a) = b, φ(b) = bc, φ(c) = bcbca
86410⟨a, b, c | ab=1, acacba=1⟩φ(a) = b, φ(b) = bc, φ(c) = bca
86416⟨a, b, c | ab=1, acbaac=1⟩φ(a) = b, φ(b) = bc, φ(c) = bca
86443⟨a, b, c | ab=1, accbba=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86461⟨a, b, c | ab=1, baabcc=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86463⟨a, b, c | ab=1, baacac=1⟩φ(a) = b, φ(b) = bc, φ(c) = bca
86471⟨a, b, c | ab=1, babacc=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86479⟨a, b, c | ab=1, babcbc=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86480⟨a, b, c | ab=1, babcca=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86484⟨a, b, c | ab=1, bacabc=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86485⟨a, b, c | ab=1, bacaca=1⟩φ(a) = b, φ(b) = bc, φ(c) = bca
86488⟨a, b, c | ab=1, bacbac=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86494⟨a, b, c | ab=1, baccba=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86501⟨a, b, c | ab=1, bbaacc=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86508⟨a, b, c | ab=1, bbacbc=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86509⟨a, b, c | ab=1, bbacca=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86529⟨a, b, c | ab=1, bbcbbc=1⟩φ(a) = bc, φ(b) = b, φ(c) = bcbca
86530⟨a, b, c | ab=1, bbcbca=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86532⟨a, b, c | ab=1, bbccaa=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86542⟨a, b, c | ab=1, bcabbc=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86543⟨a, b, c | ab=1, bcabca=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86550⟨a, b, c | ab=1, bcbabc=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86551⟨a, b, c | ab=1, bcbaca=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86553⟨a, b, c | ab=1, bcbbac=1⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86565⟨a, b, c | ab=1, bccbcc=1⟩φ(a) = abb, φ(b) = bcbca, φ(c) = b
86582⟨a, b, c | ab=1, cabbac=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86591⟨a, b, c | ab=1, caccac=1⟩φ(a) = bcbca, φ(b) = abb, φ(c) = b
86596⟨a, b, c | ab=1, cbabac=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86600⟨a, b, c | ab=1, cbbaac=1⟩φ(a) = bc, φ(b) = b, φ(c) = a
86634⟨a, b, c | aa=1, aabcb=a⟩φ(a) = bcab, φ(b) = bc, φ(c) = abb
86651⟨a, b, c | aa=1, abacb=a⟩φ(a) = a, φ(b) = bc, φ(c) = abb
86669⟨a, b, c | aa=1, abbcb=a⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbc
86675⟨a, b, c | aa=1, abcab=a⟩φ(a) = bcbcabb, φ(b) = bc, φ(c) = abb
86681⟨a, b, c | aa=1, abcba=a⟩φ(a) = bcab, φ(b) = bc, φ(c) = abb
86684⟨a, b, c | aa=1, abcbb=a⟩φ(a) = a, φ(b) = b, φ(c) = bcbcbc
86703⟨a, b, c | aa=1, baacb=a⟩φ(a) = a, φ(b) = b, φ(c) = aabcabc
86717⟨a, b, c | aa=1, babcb=a⟩φ(a) = a, φ(b) = b, φ(c) = bcabcabc
86723⟨a, b, c | aa=1, bacab=a⟩φ(a) = a, φ(b) = b, φ(c) = abcabca
86726⟨a, b, c | aa=1, bacbb=a⟩φ(a) = a, φ(b) = b, φ(c) = abcabcbc
86742⟨a, b, c | aa=1, bbacb=a⟩φ(a) = a, φ(b) = b, φ(c) = abcbcabc
86751⟨a, b, c | aa=1, bbbcb=a⟩φ(a) = bcab, φ(b) = b, φ(c) = bcbcbcbca
86757⟨a, b, c | aa=1, bbcbb=a⟩φ(a) = bcbcabb, φ(b) = b, φ(c) = bcbcbcbca
86771⟨a, b, c | aa=1, bcbbc=a⟩φ(a) = bcab, φ(b) = bcbca, φ(c) = abbb
86774⟨a, b, c | aa=1, bcbcb=a⟩φ(a) = a, φ(b) = bcbca, φ(c) = abbb
86971⟨a, b, c | ab=1, baacc=a⟩φ(a) = bc, φ(b) = b, φ(c) = a
86995⟨a, b, c | ab=1, bacbc=a⟩φ(a) = bc, φ(b) = b, φ(c) = bca
86998⟨a, b, c | ab=1, bacca=a⟩φ(a) = bc, φ(b) = b, φ(c) = a
87015⟨a, b, c | ab=1, bbacc=b⟩φ(a) = bc, φ(b) = b, φ(c) = a
87035⟨a, b, c | ab=1, bbcbc=b⟩φ(a) = bc, φ(b) = b, φ(c) = bca
87038⟨a, b, c | ab=1, bbcca=b⟩φ(a) = bc, φ(b) = b, φ(c) = a
87050⟨a, b, c | ab=1, bcaca=b⟩φ(a) = b, φ(b) = bc, φ(c) = bca
87056⟨a, b, c | ab=1, bcbac=b⟩φ(a) = bc, φ(b) = b, φ(c) = a
87058⟨a, b, c | ab=1, bcbbc=a⟩φ(a) = bc, φ(b) = b, φ(c) = bcbca
87099⟨a, b, c | ab=1, cbaac=b⟩φ(a) = b, φ(b) = bc, φ(c) = bca
87179⟨a, b, c | aa=1, abcb=aa⟩φ(a) = bcab, φ(b) = b, φ(c) = bcbca
87220⟨a, b, c | aa=1, bacb=aa⟩φ(a) = a, φ(b) = b, φ(c) = abcaabc
87250⟨a, b, c | aa=1, bbcb=aa⟩φ(a) = a, φ(b) = b, φ(c) = bcbcaabc
87494⟨a, b, c | ab=1, bacc=ab⟩φ(a) = bc, φ(b) = b, φ(c) = a
87551⟨a, b, c | ab=1, bcbc=ab⟩φ(a) = bc, φ(b) = b, φ(c) = bca
87560⟨a, b, c | ab=1, bcca=ab⟩φ(a) = bc, φ(b) = b, φ(c) = a
87599⟨a, b, c | ab=1, cbac=ab⟩φ(a) = bc, φ(b) = b, φ(c) = a
87677⟨a, b, c | aa=1, bcb=aaa⟩φ(a) = a, φ(b) = b, φ(c) = bcaaabc