Monoid enumeration

Up:Monoids with three generators and two relations

This is an enumeration of finitely-presented monoids with three generators and two relations:

⟨a, b, c | u1=v1, u2=v2⟩
where:
2 ≤ |u1| + |v1| + |u2| + |v2| ≤ 8
This enumeration has 7873 instances in total, after filtering out instances that are trivially isomorphic or anti-isomorphic to those that appeared previously, by some combination of permuting generators, permuting relations, and reversing relations.

You can download a plain text copy of this data set.

Contents

  1. Search
  2. Notation
  3. Hard instances
  4. Solved instances by kind
  5. Solved instances by difficulty
  6. All solved instances

Search

⟨a, b, c | ⟩
Hints:
  • Spaces are ignored.
  • The empty word is denoted by "1".
  • Lowercase letters stand for generators.
  • The sides of a relation are separated by "=".
  • The sides must be distinct.
  • Relations are separated by ",".

Notation

"Properties" notation: "Description" notation: Remarks:

Hard instances

This means no finite complete rewriting system could be found after the maximum number of attempts.

44 total

Σ#Presentation
646⟨a, b, c | ba=ac, cb=1⟩
7480⟨a, b, c | ba=ac, cbb=1⟩
71473⟨a, b, c | ab=1, aca=bc⟩
71512⟨a, b, c | ab=1, bbc=ca⟩
71520⟨a, b, c | ab=1, bca=cc⟩
71527⟨a, b, c | ab=1, bcc=ca⟩
81711⟨a, b, c | aab=bc, caa=1⟩
81717⟨a, b, c | aab=bc, cca=1⟩
81732⟨a, b, c | aab=ca, bbc=1⟩
81735⟨a, b, c | aab=ca, bcc=1⟩
81875⟨a, b, c | aba=bc, caa=1⟩
81881⟨a, b, c | aba=bc, cca=1⟩
81981⟨a, b, c | abc=ba, cbb=1⟩
81996⟨a, b, c | abc=bb, caa=1⟩
82014⟨a, b, c | abc=ca, bcc=1⟩
83022⟨a, b, c | aba=a, cac=a⟩
83240⟨a, b, c | ba=ac, cbbb=1⟩
83241⟨a, b, c | ba=ac, cbcb=1⟩
83242⟨a, b, c | ba=ac, ccbb=1⟩
84251⟨a, b, c | aab=1, bbca=c⟩
87318⟨a, b, c | ab=1, aaca=bc⟩
87368⟨a, b, c | ab=1, abbc=ca⟩
87376⟨a, b, c | ab=1, abca=bc⟩
87403⟨a, b, c | ab=1, acaa=bc⟩
87439⟨a, b, c | ab=1, acca=bc⟩
87481⟨a, b, c | ab=1, babc=ca⟩
87511⟨a, b, c | ab=1, bbac=ca⟩
87520⟨a, b, c | ab=1, bbbc=ca⟩
87531⟨a, b, c | ab=1, bbca=cc⟩
87538⟨a, b, c | ab=1, bbcc=ca⟩
87547⟨a, b, c | ab=1, bcac=ca⟩
87556⟨a, b, c | ab=1, bcbc=ca⟩
87564⟨a, b, c | ab=1, bcca=cc⟩
87571⟨a, b, c | ab=1, bccc=ca⟩
87751⟨a, b, c | ab=1, bac=aca⟩
87772⟨a, b, c | ab=1, bbc=aca⟩
87790⟨a, b, c | ab=1, bca=bbc⟩
87793⟨a, b, c | ab=1, bcb=aca⟩
87803⟨a, b, c | ab=1, bcc=aca⟩
87818⟨a, b, c | ab=1, caa=bbc⟩
87819⟨a, b, c | ab=1, caa=bcc⟩
87840⟨a, b, c | ab=1, cac=bca⟩
87858⟨a, b, c | ab=1, cca=bcc⟩
87871⟨a, b, c | ab=1, ccc=bca⟩

Solved instances by kind

PropertiesUniqueTotal
Grp Com Inf21261
Can Com Inf437
Grp Inf531102
Can Inf124333
Noc Inf29044766
Mon Inf224330

Solved instances by difficulty

See Morphocompletion.

Search depthUniqueTotal
Solved with original generators31137318
Solved with one auxiliary generator184465
Solved with two auxiliary generators1137
Solved with three auxiliary generators39

All solved instances

3311 unique, 7829 total

Σ#PresentationPropertiesDescriptionφ
41⟨a, b, c | aa=1, bc=1⟩Noc Inf28
42⟨a, b, c | ab=1, ac=1⟩Noc Inf36
43⟨a, b, c | ab=1, bc=1⟩Grp Com Infℤ1255
54⟨a, b, c | aa=a, bc=1⟩Noc Inf
55⟨a, b, c | aa=b, ac=1⟩Noc Inf141
56⟨a, b, c | aa=b, bc=1⟩Noc Inf67
57⟨a, b, c | aa=b, cc=1⟩Can Infℤ2 ∗ ℕ65
58⟨a, b, c | ab=a, ac=1⟩Noc Inf4
59⟨a, b, c | ab=a, bc=1⟩Noc Inf
511⟨a, b, c | ab=a, cb=1⟩Noc Inf
512⟨a, b, c | ab=a, cc=1⟩Noc Inf
517⟨a, b, c | ab=c, cc=1⟩Noc Inf53
519⟨a, b, c | aa=1, bac=1⟩Noc Inf8
520⟨a, b, c | aa=1, bbc=1⟩Noc Inf9
521⟨a, b, c | aa=1, bcb=1⟩Grp Infℤ2 ∗ ℤ225
522⟨a, b, c | ab=1, aac=1⟩Noc Inf11
525⟨a, b, c | ab=1, acb=1⟩Noc Inf7
526⟨a, b, c | ab=1, acc=1⟩Noc Inf8
532⟨a, b, c | ab=1, ccc=1⟩Noc Inf8
633⟨a, b, c | ab=aa, ac=1⟩Noc Inf
634⟨a, b, c | ab=aa, bc=1⟩Noc Inf3
636⟨a, b, c | ab=aa, cb=1⟩Noc Inf
637⟨a, b, c | ab=aa, cc=1⟩Noc Inf
639⟨a, b, c | ac=ab, bb=1⟩Noc Inf
640⟨a, b, c | ac=ab, bc=1⟩Noc Inf
641⟨a, b, c | ba=ab, bc=1⟩Noc Inf4
642⟨a, b, c | ba=ab, cc=1⟩Can Infℤ2 ∗ (ℕ ⊕ ℕ)
643⟨a, b, c | ba=ac, bb=1⟩Mon Inf8
644⟨a, b, c | ba=ac, bc=1⟩Noc Inf
645⟨a, b, c | ba=ac, ca=1⟩Noc Inf
647⟨a, b, c | bb=aa, bc=1⟩Noc Inf6
648⟨a, b, c | bb=aa, cc=1⟩Mon Inf
649⟨a, b, c | bb=ac, bc=1⟩Noc Inf4
650⟨a, b, c | bb=ac, ca=1⟩Noc Inf
653⟨a, b, c | bc=ac, cc=1⟩Can Infℤ2 ∗ ℕ8
655⟨a, b, c | aaa=1, abc=1⟩Noc Inf22
656⟨a, b, c | aaa=1, bac=1⟩Noc Inf1
657⟨a, b, c | aaa=1, bbc=1⟩Noc Inf1
658⟨a, b, c | aaa=1, bcb=1⟩Grp Infℤ3 ∗ ℤ27
659⟨a, b, c | aab=1, aac=1⟩Noc Inf2
662⟨a, b, c | aab=1, acb=1⟩Noc Inf3
663⟨a, b, c | aab=1, acc=1⟩Noc Inf2
668⟨a, b, c | aab=1, bcc=1⟩Grp Inf294
670⟨a, b, c | aab=1, cab=1⟩Noc Inf2
674⟨a, b, c | aab=1, ccb=1⟩Noc Inf2
681⟨a, b, c | abc=1, acb=1⟩Noc Inf1
682⟨a, b, c | abc=1, bca=1⟩Noc Inf1
683⟨a, b, c | abc=1, cba=1⟩Grp Com Infℤ ⊕ ℤ4
685⟨a, b, c | aa=a, bac=1⟩Noc Inf3
686⟨a, b, c | aa=a, bbc=1⟩Noc Inf1
687⟨a, b, c | aa=a, bcb=1⟩Noc Infℕ(2 = 1) ∗ ℤ1
689⟨a, b, c | aa=b, abc=1⟩Noc Inf44
692⟨a, b, c | aa=b, acc=1⟩Noc Inf44
694⟨a, b, c | aa=b, bbc=1⟩Noc Inf13
696⟨a, b, c | aa=b, bcc=1⟩Noc Inf32
699⟨a, b, c | aa=b, ccc=1⟩Can Infℤ3 ∗ ℕ25
6100⟨a, b, c | ab=a, aac=1⟩Noc Inf6
6103⟨a, b, c | ab=a, acb=1⟩Noc Inf4
6104⟨a, b, c | ab=a, acc=1⟩Noc Inf4
6105⟨a, b, c | ab=a, bac=1⟩Noc Inf3
6106⟨a, b, c | ab=a, bbc=1⟩Noc Inf
6108⟨a, b, c | ab=a, bcb=1⟩Noc Inf2
6109⟨a, b, c | ab=a, bcc=1⟩Noc Inf1
6114⟨a, b, c | ab=a, cbb=1⟩Noc Inf1
6115⟨a, b, c | ab=a, cbc=1⟩Noc Inf2
6117⟨a, b, c | ab=a, ccb=1⟩Noc Inf1
6118⟨a, b, c | ab=a, ccc=1⟩Noc Inf1
6126⟨a, b, c | ab=c, acc=1⟩Noc Inf11
6134⟨a, b, c | aa=a, ab=c⟩Noc Infℕ(2 = 1) ∗ ℕ15
6136⟨a, b, c | aa=a, bc=a⟩Noc Inf9
6137⟨a, b, c | aa=a, bc=b⟩Noc Inf
6138⟨a, b, c | aa=b, ab=c⟩Can Com Infℕ26
6139⟨a, b, c | aa=b, ac=a⟩Noc Inf25
6140⟨a, b, c | aa=b, ac=b⟩Noc Inf11
6141⟨a, b, c | aa=b, ac=c⟩Noc Inf
6143⟨a, b, c | aa=b, bc=a⟩Noc Inf14
6144⟨a, b, c | aa=b, bc=b⟩Noc Inf7
6145⟨a, b, c | aa=b, bc=c⟩Noc Inf9
6146⟨a, b, c | aa=b, cc=b⟩Can Inf5
6147⟨a, b, c | ab=a, ac=a⟩Noc Inf5
6149⟨a, b, c | ab=a, ac=c⟩Noc Inf2
6151⟨a, b, c | ab=a, bc=a⟩Noc Inf2
6152⟨a, b, c | ab=a, bc=b⟩Noc Inf
6153⟨a, b, c | ab=a, bc=c⟩Noc Inf
6154⟨a, b, c | ab=a, ca=a⟩Noc Inf5
6155⟨a, b, c | ab=a, ca=b⟩Noc Inf10
6156⟨a, b, c | ab=a, cb=a⟩Noc Inf5
6157⟨a, b, c | ab=a, cb=c⟩Noc Inf
6159⟨a, b, c | ab=c, ba=c⟩Can Com Infℕ ⊕ ℕ5
6160⟨a, b, c | ab=c, bc=a⟩Can Inf3
6162⟨a, b, c | aa=1, abac=1⟩Mon Inf13
6163⟨a, b, c | aa=1, abbc=1⟩Noc Inf24
6166⟨a, b, c | aa=1, abcc=1⟩Noc Inf15
6168⟨a, b, c | aa=1, babc=1⟩Noc Inf6
6170⟨a, b, c | aa=1, bacc=1⟩Noc Inf6
6171⟨a, b, c | aa=1, bbbc=1⟩Noc Inf7
6173⟨a, b, c | aa=1, bbcc=1⟩Noc Inf7
6174⟨a, b, c | aa=1, bcbc=1⟩Noc Inf7
6175⟨a, b, c | aa=1, bccb=1⟩Grp Inf8
6176⟨a, b, c | ab=1, aaac=1⟩Noc Inf10
6179⟨a, b, c | ab=1, aacb=1⟩Noc Inf7
6180⟨a, b, c | ab=1, aacc=1⟩Noc Inf10
6184⟨a, b, c | ab=1, abcb=1⟩Noc Inf6
6185⟨a, b, c | ab=1, abcc=1⟩Noc Inf24
6187⟨a, b, c | ab=1, acac=1⟩Noc Inf9
6189⟨a, b, c | ab=1, acbc=1⟩Noc Inf9
6191⟨a, b, c | ab=1, accb=1⟩Noc Inf6
6192⟨a, b, c | ab=1, accc=1⟩Noc Inf9
6210⟨a, b, c | ab=1, cccc=1⟩Noc Inf6
6216⟨a, b, c | aa=1, abc=c⟩Noc Inf7
6219⟨a, b, c | aa=1, bac=b⟩Noc Inf4
6222⟨a, b, c | aa=1, bbc=b⟩Noc Inf5
6223⟨a, b, c | aa=1, bbc=c⟩Noc Inf4
6225⟨a, b, c | aa=1, bcb=b⟩Noc Inf4
6226⟨a, b, c | aa=1, bcb=c⟩Mon Inf4
6229⟨a, b, c | ab=1, aac=a⟩Noc Inf9
6231⟨a, b, c | ab=1, aac=c⟩Noc Inf8
6235⟨a, b, c | ab=1, abc=c⟩Noc Inf12
6238⟨a, b, c | ab=1, aca=c⟩Noc Inf7
6239⟨a, b, c | ab=1, acb=a⟩Noc Inf6
6240⟨a, b, c | ab=1, acb=c⟩Noc Inf4
6241⟨a, b, c | ab=1, acc=a⟩Noc Inf7
6243⟨a, b, c | ab=1, acc=c⟩Noc Inf7
6247⟨a, b, c | ab=1, bac=c⟩Noc Inf7
6250⟨a, b, c | ab=1, bbc=c⟩Noc Inf7
6252⟨a, b, c | ab=1, bca=c⟩Noc Inf4
6255⟨a, b, c | ab=1, bcc=c⟩Noc Inf10
6256⟨a, b, c | ab=1, cac=a⟩Noc Inf7
6258⟨a, b, c | ab=1, cac=c⟩Noc Inf6
6260⟨a, b, c | ab=1, ccc=c⟩Noc Inf4
7266⟨a, b, c | aaa=a, bac=1⟩Noc Inf
7267⟨a, b, c | aaa=a, bbc=1⟩Noc Inf
7268⟨a, b, c | aaa=a, bcb=1⟩Noc Infℕ(3 = 1) ∗ ℤ
7275⟨a, b, c | aaa=b, bbc=1⟩Noc Inf7
7277⟨a, b, c | aaa=b, bcc=1⟩Noc Inf8
7279⟨a, b, c | aaa=b, cbc=1⟩Grp Inf146
7281⟨a, b, c | aab=a, aac=1⟩Noc Inf
7282⟨a, b, c | aab=a, abc=1⟩Noc Inf
7284⟨a, b, c | aab=a, acb=1⟩Noc Inf
7285⟨a, b, c | aab=a, acc=1⟩Noc Inf
7286⟨a, b, c | aab=a, bac=1⟩Noc Inf
7287⟨a, b, c | aab=a, bbc=1⟩Noc Inf
7289⟨a, b, c | aab=a, bcb=1⟩Noc Inf2
7290⟨a, b, c | aab=a, bcc=1⟩Noc Inf
7292⟨a, b, c | aab=a, cab=1⟩Noc Inf
7295⟨a, b, c | aab=a, cbb=1⟩Noc Inf
7296⟨a, b, c | aab=a, cbc=1⟩Noc Inf
7298⟨a, b, c | aab=a, ccb=1⟩Noc Inf
7299⟨a, b, c | aab=a, ccc=1⟩Noc Inf
7300⟨a, b, c | aab=b, aac=1⟩Noc Inf
7302⟨a, b, c | aab=b, aca=1⟩Noc Inf
7303⟨a, b, c | aab=b, acb=1⟩Noc Inf
7304⟨a, b, c | aab=b, acc=1⟩Noc Inf
7309⟨a, b, c | aab=b, bcc=1⟩Noc Inf3
7310⟨a, b, c | aab=b, caa=1⟩Noc Inf
7311⟨a, b, c | aab=b, cab=1⟩Noc Inf
7312⟨a, b, c | aab=b, cac=1⟩Noc Inf
7313⟨a, b, c | aab=b, cba=1⟩Noc Inf
7314⟨a, b, c | aab=b, cbb=1⟩Noc Inf
7316⟨a, b, c | aab=b, cca=1⟩Noc Inf
7317⟨a, b, c | aab=b, ccb=1⟩Noc Inf
7318⟨a, b, c | aab=b, ccc=1⟩Noc Inf
7325⟨a, b, c | aab=c, acc=1⟩Noc Inf3
7339⟨a, b, c | aab=c, cbb=1⟩Noc Inf5
7342⟨a, b, c | aab=c, ccb=1⟩Noc Inf2
7343⟨a, b, c | aab=c, ccc=1⟩Noc Inf4
7349⟨a, b, c | aba=a, bbc=1⟩Noc Inf
7350⟨a, b, c | aba=a, bcb=1⟩Noc Inf
7351⟨a, b, c | aba=a, bcc=1⟩Noc Inf
7352⟨a, b, c | aba=a, caa=1⟩Noc Inf
7354⟨a, b, c | aba=a, cbc=1⟩Noc Inf
7355⟨a, b, c | aba=a, ccc=1⟩Noc Inf
7356⟨a, b, c | aba=b, abc=1⟩Noc Inf
7357⟨a, b, c | aba=b, aca=1⟩Mon Inf1
7358⟨a, b, c | aba=b, acb=1⟩Noc Inf
7359⟨a, b, c | aba=b, acc=1⟩Noc Inf
7360⟨a, b, c | aba=b, bac=1⟩Noc Inf
7361⟨a, b, c | aba=b, bbc=1⟩Noc Inf
7363⟨a, b, c | aba=b, bcc=1⟩Noc Inf
7364⟨a, b, c | aba=b, caa=1⟩Noc Inf
7365⟨a, b, c | aba=b, cac=1⟩Mon Inf1
7366⟨a, b, c | aba=b, cbc=1⟩Grp Inf93
7367⟨a, b, c | aba=b, ccc=1⟩Mon Inf
7386⟨a, b, c | abc=a, acb=1⟩Noc Inf
7387⟨a, b, c | abc=a, acc=1⟩Noc Inf
7390⟨a, b, c | abc=a, bac=1⟩Noc Inf
7392⟨a, b, c | abc=a, bbb=1⟩Noc Inf
7393⟨a, b, c | abc=a, bbc=1⟩Noc Inf
7396⟨a, b, c | abc=a, bcc=1⟩Noc Inf
7398⟨a, b, c | abc=a, cab=1⟩Noc Inf
7401⟨a, b, c | abc=a, cbb=1⟩Noc Inf
7402⟨a, b, c | abc=a, cbc=1⟩Noc Inf2
7404⟨a, b, c | abc=a, ccb=1⟩Noc Inf
7405⟨a, b, c | abc=a, ccc=1⟩Noc Inf1
7406⟨a, b, c | abc=b, aca=1⟩Mon Inf
7407⟨a, b, c | abc=b, acb=1⟩Noc Inf
7408⟨a, b, c | abc=b, acc=1⟩Noc Inf
7412⟨a, b, c | abc=b, bbb=1⟩Mon Inf
7413⟨a, b, c | abc=b, bbc=1⟩Noc Inf
7416⟨a, b, c | abc=b, caa=1⟩Noc Inf
7417⟨a, b, c | abc=b, cba=1⟩Grp Inf10
7419⟨a, b, c | abc=b, ccc=1⟩Mon Inf1
7420⟨a, b, c | abc=c, acc=1⟩Noc Inf
7421⟨a, b, c | abc=c, bbc=1⟩Noc Inf
7426⟨a, b, c | ab=aa, aac=1⟩Noc Inf1
7429⟨a, b, c | ab=aa, acb=1⟩Noc Inf
7430⟨a, b, c | ab=aa, acc=1⟩Noc Inf
7431⟨a, b, c | ab=aa, bac=1⟩Noc Inf
7432⟨a, b, c | ab=aa, bbc=1⟩Noc Inf
7434⟨a, b, c | ab=aa, bcb=1⟩Noc Inf1
7435⟨a, b, c | ab=aa, bcc=1⟩Noc Inf
7440⟨a, b, c | ab=aa, cbb=1⟩Noc Inf
7441⟨a, b, c | ab=aa, cbc=1⟩Noc Inf1
7443⟨a, b, c | ab=aa, ccb=1⟩Noc Inf
7444⟨a, b, c | ab=aa, ccc=1⟩Noc Inf
7445⟨a, b, c | ac=ab, aaa=1⟩Can Infℤ3 ∗ ℕ1
7446⟨a, b, c | ac=ab, aab=1⟩Noc Inf
7448⟨a, b, c | ac=ab, abb=1⟩Noc Inf
7449⟨a, b, c | ac=ab, abc=1⟩Noc Inf
7454⟨a, b, c | ac=ab, bbb=1⟩Noc Inf
7455⟨a, b, c | ac=ab, bbc=1⟩Noc Inf
7457⟨a, b, c | ac=ab, bcb=1⟩Noc Inf
7458⟨a, b, c | ac=ab, bcc=1⟩Noc Inf
7459⟨a, b, c | ba=ab, aac=1⟩Noc Inf
7460⟨a, b, c | ba=ab, abc=1⟩Noc Inf
7461⟨a, b, c | ba=ab, aca=1⟩Can Com Infℕ ⊕ ℤ2
7462⟨a, b, c | ba=ab, acb=1⟩Noc Inf
7463⟨a, b, c | ba=ab, acc=1⟩Noc Inf
7464⟨a, b, c | ba=ab, cac=1⟩Mon Inf1
7465⟨a, b, c | ba=ab, ccc=1⟩Can Infℤ3 ∗ (ℕ ⊕ ℕ)
7467⟨a, b, c | ba=ac, aab=1⟩Noc Inf
7470⟨a, b, c | ba=ac, abb=1⟩Noc Inf
7471⟨a, b, c | ba=ac, abc=1⟩Noc Inf
7476⟨a, b, c | ba=ac, bbb=1⟩Mon Inf1
7477⟨a, b, c | ba=ac, bbc=1⟩Noc Inf
7478⟨a, b, c | ba=ac, bcb=1⟩Mon Inf2
7481⟨a, b, c | bb=aa, aac=1⟩Noc Inf
7482⟨a, b, c | bb=aa, abc=1⟩Noc Inf
7485⟨a, b, c | bb=aa, acc=1⟩Noc Inf
7487⟨a, b, c | bb=aa, ccc=1⟩Mon Inf
7489⟨a, b, c | bb=ac, aab=1⟩Noc Inf
7490⟨a, b, c | bb=ac, aac=1⟩Noc Inf1
7493⟨a, b, c | bb=ac, abc=1⟩Noc Inf
7500⟨a, b, c | bb=ac, bca=1⟩Grp Inf40
7501⟨a, b, c | bb=ac, caa=1⟩Noc Inf
7502⟨a, b, c | bb=ac, cba=1⟩Noc Inf
7503⟨a, b, c | ab=aa, ac=a⟩Noc Inf
7505⟨a, b, c | ab=aa, ac=c⟩Noc Inf
7508⟨a, b, c | ab=aa, bc=a⟩Noc Inf2
7509⟨a, b, c | ab=aa, bc=b⟩Noc Inf1
7510⟨a, b, c | ab=aa, bc=c⟩Noc Inf
7511⟨a, b, c | ab=aa, ca=a⟩Noc Inf
7512⟨a, b, c | ab=aa, ca=b⟩Noc Inf4
7513⟨a, b, c | ab=aa, ca=c⟩Noc Inf
7514⟨a, b, c | ab=aa, cb=a⟩Noc Inf
7515⟨a, b, c | ab=aa, cb=b⟩Noc Inf
7516⟨a, b, c | ab=aa, cb=c⟩Noc Inf
7517⟨a, b, c | ab=aa, cc=a⟩Noc Inf4
7518⟨a, b, c | ab=aa, cc=b⟩Noc Inf4
7519⟨a, b, c | ab=aa, cc=c⟩Noc Inf
7520⟨a, b, c | ac=ab, ba=a⟩Noc Inf
7521⟨a, b, c | ac=ab, ba=b⟩Noc Inf
7522⟨a, b, c | ac=ab, ba=c⟩Noc Inf
7523⟨a, b, c | ac=ab, bb=a⟩Noc Inf6
7524⟨a, b, c | ac=ab, bb=b⟩Noc Inf
7526⟨a, b, c | ac=ab, bc=a⟩Noc Inf2
7527⟨a, b, c | ac=ab, bc=b⟩Noc Inf
7528⟨a, b, c | ac=ab, bc=c⟩Noc Inf
7530⟨a, b, c | ba=ab, bc=a⟩Noc Inf4
7531⟨a, b, c | ba=ab, bc=b⟩Noc Inf2
7532⟨a, b, c | ba=ab, bc=c⟩Noc Inf
7533⟨a, b, c | ba=ab, cc=a⟩Can Inf
7534⟨a, b, c | ba=ab, cc=c⟩Noc Infℕ(2 = 1) ∗ (ℕ ⊕ ℕ)
7536⟨a, b, c | ba=ac, bb=b⟩Noc Inf1
7537⟨a, b, c | ba=ac, bb=c⟩Can Inf4
7538⟨a, b, c | ba=ac, bc=a⟩Noc Inf3
7539⟨a, b, c | ba=ac, bc=b⟩Noc Inf
7540⟨a, b, c | ba=ac, ca=a⟩Noc Inf
7542⟨a, b, c | ba=ac, ca=c⟩Noc Inf
7543⟨a, b, c | ba=ac, cb=a⟩Can Inf
7544⟨a, b, c | ba=ac, cb=b⟩Noc Inf
7545⟨a, b, c | bb=aa, bc=a⟩Noc Inf3
7546⟨a, b, c | bb=aa, bc=b⟩Noc Inf2
7547⟨a, b, c | bb=aa, bc=c⟩Noc Inf
7548⟨a, b, c | bb=aa, cc=a⟩Can Inf1
7549⟨a, b, c | bb=aa, cc=c⟩Noc Inf
7551⟨a, b, c | bb=ac, bc=b⟩Noc Inf2
7552⟨a, b, c | bb=ac, bc=c⟩Noc Inf
7553⟨a, b, c | bb=ac, ca=a⟩Noc Inf
7554⟨a, b, c | bb=ac, ca=b⟩Can Inf3
7555⟨a, b, c | bb=ac, cb=a⟩Can Inf4
7556⟨a, b, c | bb=ac, cb=b⟩Noc Inf
7557⟨a, b, c | bb=ac, cb=c⟩Noc Inf
7558⟨a, b, c | bb=ac, cc=a⟩Can Inf2
7559⟨a, b, c | bb=ac, cc=b⟩Noc Inf
7560⟨a, b, c | bb=ac, cc=c⟩Noc Inf
7561⟨a, b, c | bc=ac, cc=a⟩Noc Inf4
7562⟨a, b, c | bc=ac, cc=c⟩Noc Inf
7564⟨a, b, c | ca=bc, cc=c⟩Noc Inf
7566⟨a, b, c | aaa=1, abac=1⟩Mon Inf
7570⟨a, b, c | aaa=1, abcc=1⟩Noc Inf1
7571⟨a, b, c | aaa=1, baac=1⟩Noc Inf
7572⟨a, b, c | aaa=1, babc=1⟩Noc Inf
7574⟨a, b, c | aaa=1, bacc=1⟩Noc Inf
7575⟨a, b, c | aaa=1, bbbc=1⟩Noc Inf
7577⟨a, b, c | aaa=1, bbcc=1⟩Noc Inf
7578⟨a, b, c | aaa=1, bcbc=1⟩Noc Inf
7579⟨a, b, c | aaa=1, bccb=1⟩Grp Inf
7580⟨a, b, c | aab=1, aaac=1⟩Noc Inf
7583⟨a, b, c | aab=1, aacb=1⟩Noc Inf
7584⟨a, b, c | aab=1, aacc=1⟩Noc Inf
7591⟨a, b, c | aab=1, acab=1⟩Noc Inf
7592⟨a, b, c | aab=1, acac=1⟩Noc Inf
7594⟨a, b, c | aab=1, acbb=1⟩Noc Inf
7595⟨a, b, c | aab=1, acbc=1⟩Noc Inf
7597⟨a, b, c | aab=1, accb=1⟩Noc Inf
7598⟨a, b, c | aab=1, accc=1⟩Noc Inf
7622⟨a, b, c | aab=1, cabb=1⟩Noc Inf
7625⟨a, b, c | aab=1, cacb=1⟩Noc Inf
7628⟨a, b, c | aab=1, cbab=1⟩Noc Inf
7631⟨a, b, c | aab=1, cbbb=1⟩Noc Inf
7634⟨a, b, c | aab=1, cbcb=1⟩Noc Inf
7637⟨a, b, c | aab=1, ccab=1⟩Noc Inf
7640⟨a, b, c | aab=1, ccbb=1⟩Noc Inf
7643⟨a, b, c | aab=1, cccb=1⟩Noc Inf
7644⟨a, b, c | aab=1, cccc=1⟩Noc Inf
7679⟨a, b, c | aba=1, cccc=1⟩Grp Infℤ4 ∗ ℤ11
7680⟨a, b, c | abc=1, aaaa=1⟩Noc Inf9
7682⟨a, b, c | abc=1, aaac=1⟩Noc Inf
7684⟨a, b, c | abc=1, aabb=1⟩Noc Inf
7687⟨a, b, c | abc=1, aacb=1⟩Noc Inf
7688⟨a, b, c | abc=1, aacc=1⟩Noc Inf
7691⟨a, b, c | abc=1, abac=1⟩Noc Inf
7693⟨a, b, c | abc=1, abbb=1⟩Noc Inf
7694⟨a, b, c | abc=1, abbc=1⟩Noc Inf
7699⟨a, b, c | abc=1, acac=1⟩Noc Inf
7701⟨a, b, c | abc=1, acbb=1⟩Noc Inf
7703⟨a, b, c | abc=1, accb=1⟩Noc Inf
7708⟨a, b, c | abc=1, baca=1⟩Noc Inf
7709⟨a, b, c | abc=1, bacb=1⟩Noc Inf
7713⟨a, b, c | abc=1, bbbb=1⟩Noc Inf
7732⟨a, b, c | aa=a, babc=1⟩Noc Inf1
7734⟨a, b, c | aa=a, bacc=1⟩Noc Inf1
7735⟨a, b, c | aa=a, bbbc=1⟩Noc Inf
7736⟨a, b, c | aa=a, bbcb=1⟩Noc Infℕ(2 = 1) ∗ ℤ
7737⟨a, b, c | aa=a, bbcc=1⟩Noc Inf
7738⟨a, b, c | aa=a, bcbc=1⟩Noc Inf
7739⟨a, b, c | aa=a, bccb=1⟩Noc Inf
7746⟨a, b, c | aa=b, abbc=1⟩Noc Inf16
7756⟨a, b, c | aa=b, accc=1⟩Noc Inf22
7764⟨a, b, c | aa=b, bbcc=1⟩Noc Inf10
7774⟨a, b, c | aa=b, cccc=1⟩Can Infℤ4 ∗ ℕ8
7775⟨a, b, c | ab=a, aaac=1⟩Noc Inf3
7778⟨a, b, c | ab=a, aacb=1⟩Noc Inf2
7779⟨a, b, c | ab=a, aacc=1⟩Noc Inf2
7787⟨a, b, c | ab=a, acac=1⟩Noc Inf2
7789⟨a, b, c | ab=a, acbb=1⟩Noc Inf1
7790⟨a, b, c | ab=a, acbc=1⟩Noc Inf1
7792⟨a, b, c | ab=a, accb=1⟩Noc Inf1
7793⟨a, b, c | ab=a, accc=1⟩Noc Inf1
7794⟨a, b, c | ab=a, baac=1⟩Noc Inf2
7797⟨a, b, c | ab=a, bacb=1⟩Noc Inf1
7798⟨a, b, c | ab=a, bacc=1⟩Noc Inf1
7799⟨a, b, c | ab=a, bbac=1⟩Noc Inf1
7800⟨a, b, c | ab=a, bbbc=1⟩Noc Inf
7802⟨a, b, c | ab=a, bbcb=1⟩Noc Inf1
7803⟨a, b, c | ab=a, bbcc=1⟩Noc Inf
7809⟨a, b, c | ab=a, bcbc=1⟩Noc Inf
7811⟨a, b, c | ab=a, bccb=1⟩Noc Inf
7812⟨a, b, c | ab=a, bccc=1⟩Noc Inf
7820⟨a, b, c | ab=a, cacb=1⟩Noc Inf1
7826⟨a, b, c | ab=a, cbbb=1⟩Noc Inf
7827⟨a, b, c | ab=a, cbbc=1⟩Noc Inf
7829⟨a, b, c | ab=a, cbcb=1⟩Noc Inf
7830⟨a, b, c | ab=a, cbcc=1⟩Noc Inf1
7835⟨a, b, c | ab=a, ccbb=1⟩Noc Inf
7838⟨a, b, c | ab=a, cccb=1⟩Noc Inf
7839⟨a, b, c | ab=a, cccc=1⟩Noc Inf
7848⟨a, b, c | ab=c, aacc=1⟩Noc Inf12
7855⟨a, b, c | ab=c, abcb=1⟩Noc Inf5
7860⟨a, b, c | ab=c, acbc=1⟩Noc Inf9
7862⟨a, b, c | ab=c, accb=1⟩Noc Inf8
7863⟨a, b, c | ab=c, accc=1⟩Noc Inf3
7888⟨a, b, c | aa=a, abc=a⟩Noc Inf2
7889⟨a, b, c | aa=a, abc=b⟩Noc Inf1
7890⟨a, b, c | aa=a, abc=c⟩Noc Inf2
7892⟨a, b, c | aa=a, bac=a⟩Noc Inf2
7893⟨a, b, c | aa=a, bac=b⟩Noc Inf1
7895⟨a, b, c | aa=a, bbc=a⟩Noc Inf1
7896⟨a, b, c | aa=a, bbc=b⟩Noc Inf
7897⟨a, b, c | aa=a, bbc=c⟩Noc Inf
7898⟨a, b, c | aa=a, bcb=a⟩Noc Inf1
7899⟨a, b, c | aa=a, bcb=b⟩Noc Inf
7900⟨a, b, c | aa=a, bcb=c⟩Noc Inf
7908⟨a, b, c | aa=b, abc=a⟩Noc Inf10
7909⟨a, b, c | aa=b, abc=b⟩Noc Inf9
7910⟨a, b, c | aa=b, abc=c⟩Noc Inf4
7913⟨a, b, c | aa=b, aca=c⟩Can Inf4
7914⟨a, b, c | aa=b, acb=a⟩Noc Inf12
7915⟨a, b, c | aa=b, acb=b⟩Noc Inf7
7916⟨a, b, c | aa=b, acb=c⟩Can Inf2
7917⟨a, b, c | aa=b, acc=a⟩Noc Inf2
7919⟨a, b, c | aa=b, acc=c⟩Noc Inf4
7925⟨a, b, c | aa=b, bbc=a⟩Noc Inf9
7926⟨a, b, c | aa=b, bbc=b⟩Noc Inf4
7927⟨a, b, c | aa=b, bbc=c⟩Noc Inf7
7928⟨a, b, c | aa=b, bcb=a⟩Noc Inf5
7929⟨a, b, c | aa=b, bcb=b⟩Noc Inf2
7930⟨a, b, c | aa=b, bcb=c⟩Can Inf4
7931⟨a, b, c | aa=b, bcc=a⟩Noc Inf6
7932⟨a, b, c | aa=b, bcc=b⟩Noc Inf4
7933⟨a, b, c | aa=b, bcc=c⟩Noc Inf4
7937⟨a, b, c | aa=b, cbc=a⟩Can Inf2
7938⟨a, b, c | aa=b, cbc=b⟩Can Inf5
7939⟨a, b, c | aa=b, cbc=c⟩Noc Inf6
7942⟨a, b, c | aa=b, ccc=c⟩Noc Infℕ(3 = 1) ∗ ℕ6
7945⟨a, b, c | ab=a, aac=a⟩Noc Inf3
7947⟨a, b, c | ab=a, aac=c⟩Noc Inf2
7953⟨a, b, c | ab=a, aca=a⟩Noc Inf3
7955⟨a, b, c | ab=a, aca=c⟩Noc Inf3
7956⟨a, b, c | ab=a, acb=a⟩Noc Inf2
7957⟨a, b, c | ab=a, acb=b⟩Noc Inf1
7958⟨a, b, c | ab=a, acb=c⟩Noc Inf1
7959⟨a, b, c | ab=a, acc=a⟩Noc Inf2
7961⟨a, b, c | ab=a, acc=c⟩Noc Inf1
7964⟨a, b, c | ab=a, bac=a⟩Noc Inf2
7965⟨a, b, c | ab=a, bac=b⟩Noc Inf1
7966⟨a, b, c | ab=a, bac=c⟩Noc Inf1
7969⟨a, b, c | ab=a, bbc=a⟩Noc Inf1
7970⟨a, b, c | ab=a, bbc=b⟩Noc Inf
7971⟨a, b, c | ab=a, bbc=c⟩Noc Inf
7972⟨a, b, c | ab=a, bca=a⟩Noc Inf2
7973⟨a, b, c | ab=a, bca=b⟩Noc Inf2
7974⟨a, b, c | ab=a, bca=c⟩Noc Inf2
7975⟨a, b, c | ab=a, bcb=a⟩Noc Inf3
7976⟨a, b, c | ab=a, bcb=b⟩Noc Inf
7977⟨a, b, c | ab=a, bcb=c⟩Noc Inf
7978⟨a, b, c | ab=a, bcc=a⟩Noc Inf1
7979⟨a, b, c | ab=a, bcc=b⟩Noc Inf
7980⟨a, b, c | ab=a, bcc=c⟩Noc Inf
7981⟨a, b, c | ab=a, caa=a⟩Noc Inf3
7983⟨a, b, c | ab=a, caa=c⟩Noc Inf3
7986⟨a, b, c | ab=a, cab=c⟩Noc Inf4
7987⟨a, b, c | ab=a, cac=a⟩Noc Inf2
7988⟨a, b, c | ab=a, cac=b⟩Noc Inf5
7989⟨a, b, c | ab=a, cac=c⟩Noc Inf1
7990⟨a, b, c | ab=a, cba=a⟩Noc Inf2
7991⟨a, b, c | ab=a, cba=b⟩Noc Inf2
7993⟨a, b, c | ab=a, cbb=a⟩Noc Inf1
7994⟨a, b, c | ab=a, cbb=b⟩Noc Inf
7995⟨a, b, c | ab=a, cbb=c⟩Noc Inf
7996⟨a, b, c | ab=a, cbc=a⟩Noc Inf1
7997⟨a, b, c | ab=a, cbc=b⟩Noc Inf
7998⟨a, b, c | ab=a, cbc=c⟩Noc Inf
7999⟨a, b, c | ab=a, cca=a⟩Noc Inf2
71001⟨a, b, c | ab=a, cca=c⟩Noc Inf3
71002⟨a, b, c | ab=a, ccb=a⟩Noc Inf3
71003⟨a, b, c | ab=a, ccb=b⟩Noc Inf
71004⟨a, b, c | ab=a, ccb=c⟩Noc Inf
71005⟨a, b, c | ab=a, ccc=a⟩Noc Inf5
71006⟨a, b, c | ab=a, ccc=b⟩Noc Inf2
71007⟨a, b, c | ab=a, ccc=c⟩Noc Inf
71013⟨a, b, c | ab=c, aab=c⟩Noc Inf3
71016⟨a, b, c | ab=c, aac=c⟩Noc Inf6
71019⟨a, b, c | ab=c, aba=c⟩Noc Inf1
71024⟨a, b, c | ab=c, aca=b⟩Can Inf3
71025⟨a, b, c | ab=c, aca=c⟩Mon Inf2
71027⟨a, b, c | ab=c, acb=c⟩Noc Inf5
71028⟨a, b, c | ab=c, acc=a⟩Noc Inf7
71030⟨a, b, c | ab=c, acc=c⟩Noc Inf2
71036⟨a, b, c | ab=c, bac=c⟩Noc Inf1
71039⟨a, b, c | ab=c, bbc=c⟩Noc Inf1
71040⟨a, b, c | ab=c, bca=a⟩Noc Inf1
71041⟨a, b, c | ab=c, bca=c⟩Can Inf2
71042⟨a, b, c | ab=c, bcc=a⟩Can Inf2
71043⟨a, b, c | ab=c, bcc=b⟩Noc Inf5
71044⟨a, b, c | ab=c, bcc=c⟩Noc Inf2
71045⟨a, b, c | ab=c, cac=a⟩Noc Inf5
71047⟨a, b, c | ab=c, cac=c⟩Noc Inf2
71049⟨a, b, c | ab=c, ccc=c⟩Noc Inf3
71062⟨a, b, c | ab=c, bb=ab⟩Noc Inf
71063⟨a, b, c | ab=c, bc=ab⟩Noc Inf
71072⟨a, b, c | aa=1, ababc=1⟩Mon Inf1
71075⟨a, b, c | aa=1, abacc=1⟩Mon Inf1
71076⟨a, b, c | aa=1, abbac=1⟩Mon Inf
71077⟨a, b, c | aa=1, abbbc=1⟩Noc Inf3
71080⟨a, b, c | aa=1, abbcc=1⟩Noc Inf2
71082⟨a, b, c | aa=1, abcac=1⟩Mon Inf
71086⟨a, b, c | aa=1, abccb=1⟩Grp Inf5
71087⟨a, b, c | aa=1, abccc=1⟩Noc Inf
71092⟨a, b, c | aa=1, babac=1⟩Noc Inf
71093⟨a, b, c | aa=1, babbc=1⟩Noc Inf
71095⟨a, b, c | aa=1, babcc=1⟩Noc Inf
71098⟨a, b, c | aa=1, bacbc=1⟩Noc Inf
71100⟨a, b, c | aa=1, baccc=1⟩Noc Inf
71101⟨a, b, c | aa=1, bbabc=1⟩Noc Inf
71103⟨a, b, c | aa=1, bbacc=1⟩Noc Inf
71104⟨a, b, c | aa=1, bbbbc=1⟩Noc Inf
71106⟨a, b, c | aa=1, bbbcc=1⟩Noc Inf
71108⟨a, b, c | aa=1, bbcbc=1⟩Noc Inf
71109⟨a, b, c | aa=1, bbccb=1⟩Grp Inf
71112⟨a, b, c | aa=1, bcbbc=1⟩Grp Infℤ2 ∗ ℤ1
71114⟨a, b, c | aa=1, bcccb=1⟩Grp Inf
71115⟨a, b, c | ab=1, aaaac=1⟩Noc Inf
71118⟨a, b, c | ab=1, aaacb=1⟩Noc Inf
71119⟨a, b, c | ab=1, aaacc=1⟩Noc Inf
71127⟨a, b, c | ab=1, aacac=1⟩Noc Inf
71129⟨a, b, c | ab=1, aacbb=1⟩Noc Inf
71130⟨a, b, c | ab=1, aacbc=1⟩Noc Inf
71132⟨a, b, c | ab=1, aaccb=1⟩Noc Inf
71133⟨a, b, c | ab=1, aaccc=1⟩Noc Inf
71150⟨a, b, c | ab=1, abccb=1⟩Noc Inf3
71157⟨a, b, c | ab=1, acacb=1⟩Noc Inf
71158⟨a, b, c | ab=1, acacc=1⟩Noc Inf
71162⟨a, b, c | ab=1, acbbc=1⟩Noc Inf
71164⟨a, b, c | ab=1, acbcc=1⟩Noc Inf
71168⟨a, b, c | ab=1, accbc=1⟩Noc Inf
71170⟨a, b, c | ab=1, acccb=1⟩Noc Inf
71171⟨a, b, c | ab=1, acccc=1⟩Noc Inf
71216⟨a, b, c | ab=1, cacbc=1⟩Noc Inf
71224⟨a, b, c | ab=1, ccccc=1⟩Noc Inf
71229⟨a, b, c | aa=1, aabc=b⟩Noc Inf3
71230⟨a, b, c | aa=1, aabc=c⟩Noc Inf2
71233⟨a, b, c | aa=1, abac=b⟩Mon Inf1
71234⟨a, b, c | aa=1, abac=c⟩Noc Inf1
71238⟨a, b, c | aa=1, abbc=b⟩Mon Inf1
71239⟨a, b, c | aa=1, abbc=c⟩Noc Inf1
71241⟨a, b, c | aa=1, abca=b⟩Mon Inf2
71243⟨a, b, c | aa=1, abcb=b⟩Noc Inf1
71244⟨a, b, c | aa=1, abcb=c⟩Mon Inf1
71246⟨a, b, c | aa=1, abcc=b⟩Mon Inf
71247⟨a, b, c | aa=1, abcc=c⟩Noc Inf
71253⟨a, b, c | aa=1, babc=b⟩Noc Inf
71254⟨a, b, c | aa=1, babc=c⟩Noc Inf
71256⟨a, b, c | aa=1, bacb=b⟩Noc Inf
71257⟨a, b, c | aa=1, bacb=c⟩Mon Inf
71259⟨a, b, c | aa=1, bacc=b⟩Noc Inf
71260⟨a, b, c | aa=1, bacc=c⟩Noc Inf
71263⟨a, b, c | aa=1, bbbc=b⟩Noc Inf
71264⟨a, b, c | aa=1, bbbc=c⟩Noc Inf
71266⟨a, b, c | aa=1, bbcb=b⟩Noc Inf
71267⟨a, b, c | aa=1, bbcb=c⟩Mon Inf
71269⟨a, b, c | aa=1, bbcc=b⟩Noc Inf
71271⟨a, b, c | aa=1, bcbc=b⟩Noc Inf
71273⟨a, b, c | aa=1, bccb=b⟩Noc Inf
71274⟨a, b, c | aa=1, bccb=c⟩Mon Inf
71277⟨a, b, c | ab=1, aaac=a⟩Noc Inf
71279⟨a, b, c | ab=1, aaac=c⟩Noc Inf
71282⟨a, b, c | ab=1, aabc=a⟩Noc Inf6
71284⟨a, b, c | ab=1, aabc=c⟩Noc Inf4
71287⟨a, b, c | ab=1, aaca=c⟩Noc Inf
71288⟨a, b, c | ab=1, aacb=a⟩Noc Inf
71289⟨a, b, c | ab=1, aacb=b⟩Noc Inf
71290⟨a, b, c | ab=1, aacb=c⟩Noc Inf
71291⟨a, b, c | ab=1, aacc=a⟩Noc Inf
71293⟨a, b, c | ab=1, aacc=c⟩Noc Inf
71302⟨a, b, c | ab=1, abbc=c⟩Noc Inf4
71305⟨a, b, c | ab=1, abca=c⟩Noc Inf2
71307⟨a, b, c | ab=1, abcb=b⟩Noc Inf
71308⟨a, b, c | ab=1, abcb=c⟩Noc Inf1
71311⟨a, b, c | ab=1, abcc=c⟩Noc Inf3
71314⟨a, b, c | ab=1, acaa=c⟩Noc Inf
71315⟨a, b, c | ab=1, acac=a⟩Noc Inf
71317⟨a, b, c | ab=1, acac=c⟩Noc Inf
71320⟨a, b, c | ab=1, acba=c⟩Noc Inf
71321⟨a, b, c | ab=1, acbc=a⟩Noc Inf
71322⟨a, b, c | ab=1, acbc=b⟩Noc Inf
71323⟨a, b, c | ab=1, acbc=c⟩Noc Inf
71326⟨a, b, c | ab=1, acca=c⟩Noc Inf1
71327⟨a, b, c | ab=1, accb=a⟩Noc Inf
71328⟨a, b, c | ab=1, accb=c⟩Noc Inf
71329⟨a, b, c | ab=1, accc=a⟩Noc Inf
71331⟨a, b, c | ab=1, accc=c⟩Noc Inf
71335⟨a, b, c | ab=1, baac=c⟩Noc Inf
71342⟨a, b, c | ab=1, baca=c⟩Noc Inf1
71345⟨a, b, c | ab=1, bacc=c⟩Noc Inf
71352⟨a, b, c | ab=1, bbbc=c⟩Noc Inf
71355⟨a, b, c | ab=1, bbca=c⟩Noc Inf
71358⟨a, b, c | ab=1, bbcc=c⟩Noc Inf
71364⟨a, b, c | ab=1, bcbc=c⟩Noc Inf
71366⟨a, b, c | ab=1, bcca=c⟩Noc Inf
71369⟨a, b, c | ab=1, bccc=c⟩Noc Inf
71370⟨a, b, c | ab=1, caac=a⟩Noc Inf
71372⟨a, b, c | ab=1, caac=c⟩Noc Inf
71375⟨a, b, c | ab=1, cacc=a⟩Noc Inf
71377⟨a, b, c | ab=1, cacc=c⟩Noc Inf
71379⟨a, b, c | ab=1, cbac=c⟩Noc Inf
71381⟨a, b, c | ab=1, cbcc=b⟩Noc Inf
71382⟨a, b, c | ab=1, cbcc=c⟩Noc Inf
71384⟨a, b, c | ab=1, cccc=c⟩Noc Inf
71395⟨a, b, c | aa=1, abb=bc⟩Mon Inf1
71397⟨a, b, c | aa=1, abb=cb⟩Noc Inf1
71398⟨a, b, c | aa=1, abb=cc⟩Mon Inf
71404⟨a, b, c | aa=1, abc=bc⟩Noc Inf
71405⟨a, b, c | aa=1, abc=ca⟩Mon Inf
71406⟨a, b, c | aa=1, abc=cb⟩Mon Inf
71409⟨a, b, c | aa=1, bab=bc⟩Noc Inf
71410⟨a, b, c | aa=1, bab=cc⟩Mon Inf
71414⟨a, b, c | aa=1, bac=bb⟩Noc Inf
71415⟨a, b, c | aa=1, bac=bc⟩Noc Inf
71416⟨a, b, c | aa=1, bac=cb⟩Mon Inf
71418⟨a, b, c | aa=1, bbb=bc⟩Noc Inf
71419⟨a, b, c | aa=1, bbb=cc⟩Mon Inf
71423⟨a, b, c | aa=1, bbc=ba⟩Noc Inf
71424⟨a, b, c | aa=1, bbc=bb⟩Noc Inf
71425⟨a, b, c | aa=1, bbc=bc⟩Noc Inf
71426⟨a, b, c | aa=1, bbc=ca⟩Mon Inf
71427⟨a, b, c | aa=1, bbc=cb⟩Mon Inf
71428⟨a, b, c | aa=1, bbc=cc⟩Noc Inf
71432⟨a, b, c | aa=1, bcb=bb⟩Noc Inf
71433⟨a, b, c | aa=1, bcb=bc⟩Noc Inf
71434⟨a, b, c | aa=1, bcb=cc⟩Mon Inf
71435⟨a, b, c | ab=1, aaa=ac⟩Noc Inf
71438⟨a, b, c | ab=1, aaa=cb⟩Noc Inf
71439⟨a, b, c | ab=1, aaa=cc⟩Noc Inf
71445⟨a, b, c | ab=1, aac=aa⟩Noc Inf
71447⟨a, b, c | ab=1, aac=ac⟩Noc Inf
71448⟨a, b, c | ab=1, aac=ba⟩Noc Inf
71449⟨a, b, c | ab=1, aac=bb⟩Noc Inf
71450⟨a, b, c | ab=1, aac=bc⟩Noc Inf
71451⟨a, b, c | ab=1, aac=ca⟩Noc Inf
71452⟨a, b, c | ab=1, aac=cb⟩Noc Inf
71453⟨a, b, c | ab=1, aac=cc⟩Noc Inf
71470⟨a, b, c | ab=1, aca=ac⟩Noc Inf
71475⟨a, b, c | ab=1, aca=cb⟩Noc Inf
71476⟨a, b, c | ab=1, aca=cc⟩Noc Inf
71477⟨a, b, c | ab=1, acb=aa⟩Noc Inf
71479⟨a, b, c | ab=1, acb=ac⟩Noc Inf
71480⟨a, b, c | ab=1, acb=ba⟩Noc Inf
71481⟨a, b, c | ab=1, acb=bc⟩Noc Inf
71482⟨a, b, c | ab=1, acb=cc⟩Noc Inf
71483⟨a, b, c | ab=1, acc=aa⟩Noc Inf
71485⟨a, b, c | ab=1, acc=ac⟩Noc Inf
71486⟨a, b, c | ab=1, acc=ba⟩Noc Inf
71487⟨a, b, c | ab=1, acc=bb⟩Noc Inf
71488⟨a, b, c | ab=1, acc=bc⟩Noc Inf
71489⟨a, b, c | ab=1, acc=ca⟩Noc Inf
71490⟨a, b, c | ab=1, acc=cb⟩Noc Inf
71491⟨a, b, c | ab=1, acc=cc⟩Noc Inf
71492⟨a, b, c | ab=1, baa=ac⟩Noc Inf
71495⟨a, b, c | ab=1, baa=cb⟩Noc Inf
71496⟨a, b, c | ab=1, baa=cc⟩Noc Inf
71499⟨a, b, c | ab=1, bac=ac⟩Noc Inf
71504⟨a, b, c | ab=1, bac=cb⟩Noc Inf
71505⟨a, b, c | ab=1, bac=cc⟩Noc Inf
71508⟨a, b, c | ab=1, bbc=ac⟩Noc Inf
71513⟨a, b, c | ab=1, bbc=cb⟩Noc Inf
71514⟨a, b, c | ab=1, bbc=cc⟩Noc Inf
71517⟨a, b, c | ab=1, bca=ac⟩Noc Inf
71523⟨a, b, c | ab=1, bcc=ac⟩Noc Inf
71528⟨a, b, c | ab=1, bcc=cb⟩Noc Inf
71529⟨a, b, c | ab=1, bcc=cc⟩Noc Inf
71530⟨a, b, c | ab=1, cac=aa⟩Noc Inf
71532⟨a, b, c | ab=1, cac=ac⟩Noc Inf
71533⟨a, b, c | ab=1, cac=ba⟩Noc Inf
71534⟨a, b, c | ab=1, cac=bb⟩Noc Inf
71535⟨a, b, c | ab=1, cac=bc⟩Noc Inf
71536⟨a, b, c | ab=1, cac=ca⟩Noc Inf
71537⟨a, b, c | ab=1, cac=cb⟩Noc Inf
71538⟨a, b, c | ab=1, cac=cc⟩Noc Inf
71539⟨a, b, c | ab=1, ccc=aa⟩Noc Inf
71541⟨a, b, c | ab=1, ccc=ac⟩Noc Inf
71542⟨a, b, c | ab=1, ccc=ba⟩Noc Inf
71543⟨a, b, c | ab=1, ccc=bc⟩Noc Inf
71544⟨a, b, c | ab=1, ccc=cc⟩Noc Inf
81546⟨a, b, c | aaa=aa, bac=1⟩Noc Inf
81547⟨a, b, c | aaa=aa, bbc=1⟩Noc Inf
81548⟨a, b, c | aaa=aa, bcb=1⟩Noc Infℕ(3 = 2) ∗ ℤ
81549⟨a, b, c | aaa=ab, aac=1⟩Noc Inf
81550⟨a, b, c | aaa=ab, abc=1⟩Noc Inf
81552⟨a, b, c | aaa=ab, acb=1⟩Noc Inf
81553⟨a, b, c | aaa=ab, acc=1⟩Noc Inf
81554⟨a, b, c | aaa=ab, bac=1⟩Noc Inf
81555⟨a, b, c | aaa=ab, bbc=1⟩Noc Inf
81557⟨a, b, c | aaa=ab, bcb=1⟩Noc Inf
81558⟨a, b, c | aaa=ab, bcc=1⟩Noc Inf
81563⟨a, b, c | aaa=ab, cbb=1⟩Noc Inf
81564⟨a, b, c | aaa=ab, cbc=1⟩Noc Inf
81566⟨a, b, c | aaa=ab, ccb=1⟩Noc Inf
81567⟨a, b, c | aaa=ab, ccc=1⟩Noc Inf
81568⟨a, b, c | aaa=bb, aac=1⟩Noc Inf
81569⟨a, b, c | aaa=bb, abc=1⟩Noc Inf
81572⟨a, b, c | aaa=bb, acc=1⟩Noc Inf
81573⟨a, b, c | aaa=bb, bac=1⟩Noc Inf
81574⟨a, b, c | aaa=bb, bbc=1⟩Noc Inf
81576⟨a, b, c | aaa=bb, bcc=1⟩Noc Inf
81577⟨a, b, c | aaa=bb, cac=1⟩Grp Inf22
81578⟨a, b, c | aaa=bb, cbc=1⟩Grp Inf9
81579⟨a, b, c | aaa=bb, ccc=1⟩Mon Inf
81581⟨a, b, c | aaa=bc, aac=1⟩Noc Inf
81585⟨a, b, c | aaa=bc, acb=1⟩Grp Inf7
81586⟨a, b, c | aaa=bc, acc=1⟩Noc Inf
81588⟨a, b, c | aaa=bc, bac=1⟩Noc Inf
81590⟨a, b, c | aaa=bc, bbc=1⟩Noc Inf
81592⟨a, b, c | aaa=bc, cab=1⟩Noc Inf
81593⟨a, b, c | aaa=bc, cbb=1⟩Noc Inf
81594⟨a, b, c | aab=aa, aac=1⟩Noc Inf
81595⟨a, b, c | aab=aa, abc=1⟩Noc Inf
81597⟨a, b, c | aab=aa, acb=1⟩Noc Inf
81598⟨a, b, c | aab=aa, acc=1⟩Noc Inf
81599⟨a, b, c | aab=aa, bac=1⟩Noc Inf
81600⟨a, b, c | aab=aa, bbc=1⟩Noc Inf
81602⟨a, b, c | aab=aa, bcb=1⟩Noc Inf
81603⟨a, b, c | aab=aa, bcc=1⟩Noc Inf
81605⟨a, b, c | aab=aa, cab=1⟩Noc Inf
81608⟨a, b, c | aab=aa, cbb=1⟩Noc Inf
81609⟨a, b, c | aab=aa, cbc=1⟩Noc Inf
81611⟨a, b, c | aab=aa, ccb=1⟩Noc Inf
81612⟨a, b, c | aab=aa, ccc=1⟩Noc Inf
81613⟨a, b, c | aab=ab, aac=1⟩Noc Inf
81615⟨a, b, c | aab=ab, aca=1⟩Noc Inf
81616⟨a, b, c | aab=ab, acb=1⟩Noc Inf
81617⟨a, b, c | aab=ab, acc=1⟩Noc Inf
81622⟨a, b, c | aab=ab, bcc=1⟩Noc Inf
81623⟨a, b, c | aab=ab, caa=1⟩Noc Inf
81624⟨a, b, c | aab=ab, cab=1⟩Noc Inf
81625⟨a, b, c | aab=ab, cac=1⟩Noc Inf
81626⟨a, b, c | aab=ab, cba=1⟩Noc Inf
81627⟨a, b, c | aab=ab, cbb=1⟩Noc Inf
81628⟨a, b, c | aab=ab, cbc=1⟩Noc Infℕ(2 = 1) ∗ ℤ
81629⟨a, b, c | aab=ab, cca=1⟩Noc Inf
81630⟨a, b, c | aab=ab, ccb=1⟩Noc Inf
81631⟨a, b, c | aab=ab, ccc=1⟩Noc Inf
81632⟨a, b, c | aab=ac, aac=1⟩Noc Inf
81634⟨a, b, c | aab=ac, abb=1⟩Noc Inf
81635⟨a, b, c | aab=ac, abc=1⟩Noc Inf
81637⟨a, b, c | aab=ac, acb=1⟩Noc Inf
81638⟨a, b, c | aab=ac, acc=1⟩Noc Inf
81643⟨a, b, c | aab=ac, bbb=1⟩Noc Inf
81644⟨a, b, c | aab=ac, bbc=1⟩Noc Inf
81646⟨a, b, c | aab=ac, bcb=1⟩Noc Inf
81647⟨a, b, c | aab=ac, bcc=1⟩Noc Inf
81649⟨a, b, c | aab=ac, cab=1⟩Noc Inf
81652⟨a, b, c | aab=ac, cbb=1⟩Noc Inf
81653⟨a, b, c | aab=ac, cbc=1⟩Noc Inf
81655⟨a, b, c | aab=ac, ccb=1⟩Noc Inf
81656⟨a, b, c | aab=ac, ccc=1⟩Noc Inf
81657⟨a, b, c | aab=ba, aac=1⟩Noc Inf
81658⟨a, b, c | aab=ba, abc=1⟩Noc Inf
81659⟨a, b, c | aab=ba, aca=1⟩Mon Inf1
81660⟨a, b, c | aab=ba, acb=1⟩Noc Inf
81661⟨a, b, c | aab=ba, acc=1⟩Noc Inf
81662⟨a, b, c | aab=ba, bac=1⟩Noc Inf
81663⟨a, b, c | aab=ba, bbc=1⟩Noc Inf
81664⟨a, b, c | aab=ba, bca=1⟩Noc Inf
81665⟨a, b, c | aab=ba, bcb=1⟩Mon Inf
81666⟨a, b, c | aab=ba, bcc=1⟩Noc Inf
81667⟨a, b, c | aab=ba, caa=1⟩Noc Inf
81668⟨a, b, c | aab=ba, cab=1⟩Noc Inf
81669⟨a, b, c | aab=ba, cac=1⟩Mon Inf
81670⟨a, b, c | aab=ba, cba=1⟩Noc Inf
81671⟨a, b, c | aab=ba, cbb=1⟩Noc Inf
81672⟨a, b, c | aab=ba, cbc=1⟩Mon Inf
81673⟨a, b, c | aab=ba, cca=1⟩Noc Inf
81674⟨a, b, c | aab=ba, ccb=1⟩Noc Inf
81675⟨a, b, c | aab=ba, ccc=1⟩Mon Inf
81676⟨a, b, c | aab=bb, aac=1⟩Noc Inf
81678⟨a, b, c | aab=bb, aca=1⟩Noc Inf
81679⟨a, b, c | aab=bb, acb=1⟩Noc Inf
81680⟨a, b, c | aab=bb, acc=1⟩Noc Inf
81686⟨a, b, c | aab=bb, caa=1⟩Noc Inf
81687⟨a, b, c | aab=bb, cab=1⟩Noc Inf
81688⟨a, b, c | aab=bb, cac=1⟩Noc Inf
81689⟨a, b, c | aab=bb, cba=1⟩Noc Inf
81690⟨a, b, c | aab=bb, cbb=1⟩Noc Inf
81692⟨a, b, c | aab=bb, cca=1⟩Noc Inf
81693⟨a, b, c | aab=bb, ccb=1⟩Noc Inf
81694⟨a, b, c | aab=bb, ccc=1⟩Noc Inf
81695⟨a, b, c | aab=bc, aac=1⟩Noc Inf
81700⟨a, b, c | aab=bc, acb=1⟩Noc Inf
81701⟨a, b, c | aab=bc, acc=1⟩Noc Inf
81702⟨a, b, c | aab=bc, baa=1⟩Noc Inf
81704⟨a, b, c | aab=bc, bac=1⟩Noc Inf
81705⟨a, b, c | aab=bc, bba=1⟩Noc Inf
81712⟨a, b, c | aab=bc, cab=1⟩Noc Inf
81713⟨a, b, c | aab=bc, cac=1⟩Mon Inf
81714⟨a, b, c | aab=bc, cba=1⟩Grp Inf38
81715⟨a, b, c | aab=bc, cbb=1⟩Noc Inf
81718⟨a, b, c | aab=bc, ccb=1⟩Noc Inf
81719⟨a, b, c | aab=bc, ccc=1⟩Mon Inf
81720⟨a, b, c | aab=ca, aac=1⟩Noc Inf
81723⟨a, b, c | aab=ca, abc=1⟩Noc Inf4
81725⟨a, b, c | aab=ca, acb=1⟩Noc Inf
81726⟨a, b, c | aab=ca, acc=1⟩Noc Inf
81727⟨a, b, c | aab=ca, baa=1⟩Noc Inf
81730⟨a, b, c | aab=ca, bba=1⟩Noc Inf
81731⟨a, b, c | aab=ca, bbb=1⟩Mon Inf
81734⟨a, b, c | aab=ca, bcb=1⟩Mon Inf
81737⟨a, b, c | aab=ca, cab=1⟩Noc Inf
81739⟨a, b, c | aab=ca, cba=1⟩Noc Inf
81740⟨a, b, c | aab=ca, cbb=1⟩Noc Inf
81741⟨a, b, c | aab=ca, cbc=1⟩Mon Inf
81743⟨a, b, c | aab=ca, ccb=1⟩Noc Inf
81744⟨a, b, c | aab=ca, ccc=1⟩Mon Inf
81745⟨a, b, c | aab=cb, aac=1⟩Noc Inf
81747⟨a, b, c | aab=cb, abb=1⟩Noc Inf
81749⟨a, b, c | aab=cb, aca=1⟩Noc Inf
81750⟨a, b, c | aab=cb, acb=1⟩Noc Inf
81751⟨a, b, c | aab=cb, acc=1⟩Noc Inf
81760⟨a, b, c | aab=cb, bcc=1⟩Noc Inf3
81761⟨a, b, c | aab=cb, caa=1⟩Noc Inf
81762⟨a, b, c | aab=cb, cab=1⟩Noc Inf
81763⟨a, b, c | aab=cb, cac=1⟩Noc Inf
81765⟨a, b, c | aab=cb, cbb=1⟩Noc Inf
81767⟨a, b, c | aab=cb, cca=1⟩Noc Inf
81768⟨a, b, c | aab=cb, ccb=1⟩Noc Inf
81769⟨a, b, c | aab=cb, ccc=1⟩Noc Inf
81770⟨a, b, c | aab=cc, aac=1⟩Noc Inf
81772⟨a, b, c | aab=cc, abb=1⟩Noc Inf
81775⟨a, b, c | aab=cc, acb=1⟩Noc Inf
81776⟨a, b, c | aab=cc, acc=1⟩Noc Inf
81777⟨a, b, c | aab=cc, baa=1⟩Noc Inf
81780⟨a, b, c | aab=cc, bba=1⟩Noc Inf
81781⟨a, b, c | aab=cc, bbb=1⟩Mon Inf
81782⟨a, b, c | aab=cc, bbc=1⟩Grp Inf1
81787⟨a, b, c | aab=cc, cab=1⟩Noc Inf
81790⟨a, b, c | aab=cc, cbb=1⟩Noc Inf
81793⟨a, b, c | aab=cc, ccb=1⟩Noc Inf
81799⟨a, b, c | aba=aa, bac=1⟩Noc Inf
81800⟨a, b, c | aba=aa, bbc=1⟩Noc Inf
81801⟨a, b, c | aba=aa, bcb=1⟩Noc Inf
81802⟨a, b, c | aba=aa, bcc=1⟩Noc Inf
81803⟨a, b, c | aba=aa, caa=1⟩Noc Inf
81805⟨a, b, c | aba=aa, cbc=1⟩Noc Inf
81806⟨a, b, c | aba=aa, ccc=1⟩Noc Inf
81807⟨a, b, c | aba=ab, abc=1⟩Noc Inf
81809⟨a, b, c | aba=ab, acb=1⟩Noc Inf
81810⟨a, b, c | aba=ab, acc=1⟩Noc Inf
81811⟨a, b, c | aba=ab, bac=1⟩Noc Inf
81812⟨a, b, c | aba=ab, bbc=1⟩Noc Inf
81815⟨a, b, c | aba=ab, bcc=1⟩Noc Inf
81818⟨a, b, c | aba=ab, cac=1⟩Noc Inf
81820⟨a, b, c | aba=ab, cbb=1⟩Noc Inf
81823⟨a, b, c | aba=ab, ccb=1⟩Noc Inf
81824⟨a, b, c | aba=ab, ccc=1⟩Noc Inf
81825⟨a, b, c | aba=ac, abb=1⟩Noc Inf
81826⟨a, b, c | aba=ac, abc=1⟩Noc Inf
81828⟨a, b, c | aba=ac, acb=1⟩Noc Inf
81834⟨a, b, c | aba=ac, bbb=1⟩Noc Inf
81835⟨a, b, c | aba=ac, bbc=1⟩Noc Inf
81837⟨a, b, c | aba=ac, bcb=1⟩Noc Inf
81838⟨a, b, c | aba=ac, bcc=1⟩Noc Inf
81843⟨a, b, c | aba=ac, cbb=1⟩Noc Inf
81844⟨a, b, c | aba=ac, cbc=1⟩Noc Inf
81846⟨a, b, c | aba=ac, ccb=1⟩Noc Inf
81847⟨a, b, c | aba=ac, ccc=1⟩Noc Inf
81848⟨a, b, c | aba=ba, caa=1⟩Noc Inf
81849⟨a, b, c | aba=bb, abc=1⟩Noc Inf
81850⟨a, b, c | aba=bb, aca=1⟩Mon Inf
81851⟨a, b, c | aba=bb, acb=1⟩Noc Inf
81852⟨a, b, c | aba=bb, acc=1⟩Noc Inf
81853⟨a, b, c | aba=bb, bac=1⟩Noc Inf
81854⟨a, b, c | aba=bb, bbc=1⟩Noc Inf
81856⟨a, b, c | aba=bb, bcc=1⟩Noc Inf
81857⟨a, b, c | aba=bb, caa=1⟩Noc Inf
81858⟨a, b, c | aba=bb, cac=1⟩Mon Inf
81860⟨a, b, c | aba=bb, ccc=1⟩Mon Inf
81863⟨a, b, c | aba=bc, aca=1⟩Mon Inf
81864⟨a, b, c | aba=bc, acb=1⟩Noc Inf
81865⟨a, b, c | aba=bc, acc=1⟩Noc Inf
81866⟨a, b, c | aba=bc, baa=1⟩Noc Inf
81868⟨a, b, c | aba=bc, bac=1⟩Noc Inf
81869⟨a, b, c | aba=bc, bba=1⟩Noc Inf
81871⟨a, b, c | aba=bc, bbc=1⟩Noc Inf
81874⟨a, b, c | aba=bc, bcc=1⟩Noc Inf
81876⟨a, b, c | aba=bc, cab=1⟩Noc Inf
81877⟨a, b, c | aba=bc, cac=1⟩Mon Inf
81879⟨a, b, c | aba=bc, cbb=1⟩Noc Inf
81882⟨a, b, c | aba=bc, ccb=1⟩Noc Inf
81883⟨a, b, c | aba=bc, ccc=1⟩Mon Inf
81884⟨a, b, c | aba=ca, baa=1⟩Noc Inf
81887⟨a, b, c | aba=cb, caa=1⟩Noc Inf
81888⟨a, b, c | aba=cc, abb=1⟩Noc Inf
81891⟨a, b, c | aba=cc, acb=1⟩Noc Inf
81893⟨a, b, c | aba=cc, baa=1⟩Noc Inf
81896⟨a, b, c | aba=cc, bbb=1⟩Mon Inf
81897⟨a, b, c | aba=cc, bbc=1⟩Noc Inf
81899⟨a, b, c | aba=cc, bcc=1⟩Noc Inf
81910⟨a, b, c | abc=aa, acb=1⟩Noc Inf
81911⟨a, b, c | abc=aa, acc=1⟩Noc Inf
81914⟨a, b, c | abc=aa, bac=1⟩Noc Inf
81916⟨a, b, c | abc=aa, bbb=1⟩Noc Inf
81917⟨a, b, c | abc=aa, bbc=1⟩Noc Inf
81920⟨a, b, c | abc=aa, bcc=1⟩Noc Inf
81922⟨a, b, c | abc=aa, cab=1⟩Noc Inf
81925⟨a, b, c | abc=aa, cbb=1⟩Noc Inf
81928⟨a, b, c | abc=aa, ccb=1⟩Noc Inf
81929⟨a, b, c | abc=aa, ccc=1⟩Noc Inf
81930⟨a, b, c | abc=ab, aca=1⟩Noc Inf
81931⟨a, b, c | abc=ab, acb=1⟩Noc Inf
81932⟨a, b, c | abc=ab, acc=1⟩Noc Inf
81935⟨a, b, c | abc=ab, bac=1⟩Noc Inf
81937⟨a, b, c | abc=ab, bbb=1⟩Noc Inf
81938⟨a, b, c | abc=ab, bbc=1⟩Noc Inf
81941⟨a, b, c | abc=ab, bcc=1⟩Noc Inf
81946⟨a, b, c | abc=ab, cbb=1⟩Noc Inf
81948⟨a, b, c | abc=ab, cca=1⟩Noc Inf
81949⟨a, b, c | abc=ab, ccb=1⟩Noc Inf
81950⟨a, b, c | abc=ab, ccc=1⟩Noc Inf
81952⟨a, b, c | abc=ac, acb=1⟩Noc Inf
81953⟨a, b, c | abc=ac, acc=1⟩Noc Inf
81954⟨a, b, c | abc=ac, baa=1⟩Noc Inf
81955⟨a, b, c | abc=ac, bab=1⟩Noc Inf
81956⟨a, b, c | abc=ac, bba=1⟩Noc Inf
81957⟨a, b, c | abc=ac, bbb=1⟩Noc Inf
81958⟨a, b, c | abc=ac, bbc=1⟩Noc Inf
81960⟨a, b, c | abc=ac, bcc=1⟩Noc Inf
81965⟨a, b, c | abc=ba, aca=1⟩Mon Inf
81966⟨a, b, c | abc=ba, acb=1⟩Noc Inf
81967⟨a, b, c | abc=ba, acc=1⟩Noc Inf
81970⟨a, b, c | abc=ba, bac=1⟩Noc Inf
81972⟨a, b, c | abc=ba, bbb=1⟩Mon Inf
81973⟨a, b, c | abc=ba, bbc=1⟩Noc Inf
81974⟨a, b, c | abc=ba, bca=1⟩Noc Inf
81976⟨a, b, c | abc=ba, bcc=1⟩Noc Inf
81977⟨a, b, c | abc=ba, caa=1⟩Noc Inf
81979⟨a, b, c | abc=ba, cac=1⟩Mon Inf
81983⟨a, b, c | abc=ba, cca=1⟩Noc Inf
81984⟨a, b, c | abc=ba, ccb=1⟩Noc Inf
81985⟨a, b, c | abc=ba, ccc=1⟩Mon Inf
81986⟨a, b, c | abc=bb, aca=1⟩Mon Inf
81987⟨a, b, c | abc=bb, acb=1⟩Noc Inf
81988⟨a, b, c | abc=bb, acc=1⟩Noc Inf
81992⟨a, b, c | abc=bb, bbb=1⟩Mon Inf
81993⟨a, b, c | abc=bb, bbc=1⟩Noc Inf
81995⟨a, b, c | abc=bb, bcc=1⟩Noc Inf
81997⟨a, b, c | abc=bb, cba=1⟩Grp Inf5
81999⟨a, b, c | abc=bb, ccc=1⟩Mon Inf
82000⟨a, b, c | abc=bc, acc=1⟩Noc Inf
82001⟨a, b, c | abc=bc, bbc=1⟩Noc Inf
82004⟨a, b, c | abc=bc, ccc=1⟩Noc Inf
82006⟨a, b, c | abc=ca, acb=1⟩Noc Inf
82007⟨a, b, c | abc=ca, acc=1⟩Noc Inf
82008⟨a, b, c | abc=ca, baa=1⟩Noc Inf
82009⟨a, b, c | abc=ca, bab=1⟩Mon Inf
82010⟨a, b, c | abc=ca, bba=1⟩Noc Inf
82011⟨a, b, c | abc=ca, bbb=1⟩Mon Inf
82012⟨a, b, c | abc=ca, bbc=1⟩Noc Inf
82016⟨a, b, c | abc=ca, cba=1⟩Noc Inf
82017⟨a, b, c | abc=ca, cbc=1⟩Mon Inf
82018⟨a, b, c | abc=ca, ccc=1⟩Mon Inf
82019⟨a, b, c | abc=cb, acc=1⟩Noc Inf
82020⟨a, b, c | abc=cb, bbc=1⟩Noc Inf
82021⟨a, b, c | abc=cb, bcc=1⟩Noc Inf
82023⟨a, b, c | abc=cb, ccc=1⟩Mon Inf
82024⟨a, b, c | abc=cc, acc=1⟩Noc Inf
82025⟨a, b, c | abc=cc, bbc=1⟩Noc Inf
82029⟨a, b, c | bab=ac, bbb=1⟩Mon Inf
82032⟨a, b, c | aaaa=1, aabc=1⟩Mon Inf7
82033⟨a, b, c | aaaa=1, abac=1⟩Mon Inf
82034⟨a, b, c | aaaa=1, abbc=1⟩Noc Inf1
82037⟨a, b, c | aaaa=1, abcc=1⟩Noc Inf
82038⟨a, b, c | aaaa=1, baac=1⟩Noc Inf
82039⟨a, b, c | aaaa=1, babc=1⟩Noc Inf
82041⟨a, b, c | aaaa=1, bacc=1⟩Noc Inf
82042⟨a, b, c | aaaa=1, bbbc=1⟩Noc Inf
82044⟨a, b, c | aaaa=1, bbcc=1⟩Noc Inf
82045⟨a, b, c | aaaa=1, bcbc=1⟩Noc Inf
82046⟨a, b, c | aaaa=1, bccb=1⟩Grp Inf
82047⟨a, b, c | aaab=1, aaac=1⟩Noc Inf
82050⟨a, b, c | aaab=1, aacb=1⟩Noc Inf
82051⟨a, b, c | aaab=1, aacc=1⟩Noc Inf
82058⟨a, b, c | aaab=1, acab=1⟩Noc Inf
82059⟨a, b, c | aaab=1, acac=1⟩Noc Inf
82061⟨a, b, c | aaab=1, acbb=1⟩Noc Inf
82062⟨a, b, c | aaab=1, acbc=1⟩Noc Inf
82064⟨a, b, c | aaab=1, accb=1⟩Noc Inf
82065⟨a, b, c | aaab=1, accc=1⟩Noc Inf
82084⟨a, b, c | aaab=1, bccc=1⟩Grp Inf26
82086⟨a, b, c | aaab=1, caab=1⟩Noc Inf
82089⟨a, b, c | aaab=1, cabb=1⟩Noc Inf
82092⟨a, b, c | aaab=1, cacb=1⟩Noc Inf
82095⟨a, b, c | aaab=1, cbab=1⟩Noc Inf
82100⟨a, b, c | aaab=1, cbcb=1⟩Noc Inf
82103⟨a, b, c | aaab=1, ccab=1⟩Noc Inf
82106⟨a, b, c | aaab=1, ccbb=1⟩Noc Inf
82108⟨a, b, c | aaab=1, cccb=1⟩Noc Inf
82163⟨a, b, c | aabb=1, aabc=1⟩Noc Inf
82164⟨a, b, c | aabb=1, aacb=1⟩Noc Inf
82165⟨a, b, c | aabb=1, aacc=1⟩Noc Inf
82166⟨a, b, c | aabb=1, abac=1⟩Noc Inf
82169⟨a, b, c | aabb=1, abcb=1⟩Noc Inf
82170⟨a, b, c | aabb=1, abcc=1⟩Noc Inf
82171⟨a, b, c | aabb=1, acac=1⟩Noc Inf
82173⟨a, b, c | aabb=1, acbc=1⟩Noc Inf
82174⟨a, b, c | aabb=1, acca=1⟩Grp Inf6
82175⟨a, b, c | aabb=1, accb=1⟩Noc Inf
82179⟨a, b, c | aabb=1, bacc=1⟩Grp Inf15
82183⟨a, b, c | aabb=1, bcac=1⟩Grp Inf7
82184⟨a, b, c | aabb=1, bcbc=1⟩Grp Inf2
82187⟨a, b, c | aabb=1, cabc=1⟩Noc Inf
82189⟨a, b, c | aabc=1, aacb=1⟩Noc Inf
82190⟨a, b, c | aabc=1, abab=1⟩Noc Inf
82191⟨a, b, c | aabc=1, abac=1⟩Noc Inf
82193⟨a, b, c | aabc=1, abbc=1⟩Noc Inf
82194⟨a, b, c | aabc=1, abca=1⟩Noc Inf1
82197⟨a, b, c | aabc=1, acab=1⟩Noc Inf
82198⟨a, b, c | aabc=1, acac=1⟩Noc Inf
82199⟨a, b, c | aabc=1, acba=1⟩Grp Inf5
82200⟨a, b, c | aabc=1, acbb=1⟩Noc Inf
82201⟨a, b, c | aabc=1, acbc=1⟩Noc Inf
82203⟨a, b, c | aabc=1, accb=1⟩Noc Inf
82205⟨a, b, c | aabc=1, baac=1⟩Noc Inf
82207⟨a, b, c | aabc=1, babc=1⟩Noc Inf
82208⟨a, b, c | aabc=1, baca=1⟩Noc Inf1
82209⟨a, b, c | aabc=1, bacb=1⟩Noc Inf
82210⟨a, b, c | aabc=1, bbac=1⟩Noc Inf
82219⟨a, b, c | aabc=1, caab=1⟩Noc Inf
82225⟨a, b, c | aabc=1, cacb=1⟩Noc Inf
82228⟨a, b, c | aabc=1, cbac=1⟩Grp Inf11
82234⟨a, b, c | abab=1, abac=1⟩Noc Inf2
82237⟨a, b, c | abab=1, abcb=1⟩Noc Inf
82238⟨a, b, c | abab=1, acac=1⟩Noc Inf
82240⟨a, b, c | abab=1, acbc=1⟩Noc Inf
82242⟨a, b, c | abab=1, accb=1⟩Noc Inf
82247⟨a, b, c | abab=1, bcbc=1⟩Grp Inf
82253⟨a, b, c | abac=1, abbc=1⟩Noc Inf
82255⟨a, b, c | abac=1, abcb=1⟩Noc Inf
82256⟨a, b, c | abac=1, acab=1⟩Noc Inf
82262⟨a, b, c | abac=1, baac=1⟩Noc Inf
82263⟨a, b, c | abac=1, babc=1⟩Noc Inf
82264⟨a, b, c | abac=1, baca=1⟩Noc Inf
82268⟨a, b, c | abac=1, bcca=1⟩Noc Inf
82272⟨a, b, c | abac=1, caba=1⟩Grp Infℤ ∗ ℤ1
82290⟨a, b, c | abbc=1, accb=1⟩Noc Inf
82291⟨a, b, c | abbc=1, bacb=1⟩Noc Inf
82304⟨a, b, c | aaa=a, baac=1⟩Noc Inf
82305⟨a, b, c | aaa=a, babc=1⟩Noc Inf
82307⟨a, b, c | aaa=a, bacc=1⟩Noc Inf
82308⟨a, b, c | aaa=a, bbbc=1⟩Noc Inf
82309⟨a, b, c | aaa=a, bbcb=1⟩Noc Infℕ(3 = 1) ∗ ℤ
82310⟨a, b, c | aaa=a, bbcc=1⟩Noc Inf
82311⟨a, b, c | aaa=a, bcbc=1⟩Noc Inf
82312⟨a, b, c | aaa=a, bccb=1⟩Noc Inf
82319⟨a, b, c | aaa=b, abbc=1⟩Noc Inf6
82335⟨a, b, c | aaa=b, bbbc=1⟩Noc Inf
82337⟨a, b, c | aaa=b, bbcc=1⟩Noc Inf1
82341⟨a, b, c | aaa=b, bccc=1⟩Noc Inf7
82348⟨a, b, c | aab=a, aaac=1⟩Noc Inf
82351⟨a, b, c | aab=a, aacb=1⟩Noc Inf
82352⟨a, b, c | aab=a, aacc=1⟩Noc Inf
82353⟨a, b, c | aab=a, abac=1⟩Noc Inf
82354⟨a, b, c | aab=a, abbc=1⟩Noc Inf
82356⟨a, b, c | aab=a, abcb=1⟩Noc Inf
82357⟨a, b, c | aab=a, abcc=1⟩Noc Inf
82359⟨a, b, c | aab=a, acab=1⟩Noc Inf
82360⟨a, b, c | aab=a, acac=1⟩Noc Inf
82362⟨a, b, c | aab=a, acbb=1⟩Noc Inf
82363⟨a, b, c | aab=a, acbc=1⟩Noc Inf
82365⟨a, b, c | aab=a, accb=1⟩Noc Inf
82366⟨a, b, c | aab=a, accc=1⟩Noc Inf
82367⟨a, b, c | aab=a, baac=1⟩Noc Inf
82368⟨a, b, c | aab=a, babc=1⟩Noc Inf
82370⟨a, b, c | aab=a, bacb=1⟩Noc Inf
82371⟨a, b, c | aab=a, bacc=1⟩Noc Inf
82372⟨a, b, c | aab=a, bbac=1⟩Noc Inf
82373⟨a, b, c | aab=a, bbbc=1⟩Noc Inf
82375⟨a, b, c | aab=a, bbcb=1⟩Noc Inf1
82376⟨a, b, c | aab=a, bbcc=1⟩Noc Inf
82382⟨a, b, c | aab=a, bcbc=1⟩Noc Inf
82384⟨a, b, c | aab=a, bccb=1⟩Noc Inf
82385⟨a, b, c | aab=a, bccc=1⟩Noc Inf
82390⟨a, b, c | aab=a, cabb=1⟩Noc Inf
82391⟨a, b, c | aab=a, cabc=1⟩Noc Inf
82393⟨a, b, c | aab=a, cacb=1⟩Noc Inf
82396⟨a, b, c | aab=a, cbab=1⟩Noc Inf
82399⟨a, b, c | aab=a, cbbb=1⟩Noc Inf
82400⟨a, b, c | aab=a, cbbc=1⟩Noc Inf
82402⟨a, b, c | aab=a, cbcb=1⟩Noc Inf
82403⟨a, b, c | aab=a, cbcc=1⟩Noc Inf1
82405⟨a, b, c | aab=a, ccab=1⟩Noc Inf
82408⟨a, b, c | aab=a, ccbb=1⟩Noc Inf
82411⟨a, b, c | aab=a, cccb=1⟩Noc Inf
82412⟨a, b, c | aab=a, cccc=1⟩Noc Inf
82413⟨a, b, c | aab=b, aaac=1⟩Noc Inf
82415⟨a, b, c | aab=b, aaca=1⟩Noc Inf1
82416⟨a, b, c | aab=b, aacb=1⟩Noc Inf
82417⟨a, b, c | aab=b, aacc=1⟩Noc Inf
82424⟨a, b, c | aab=b, acab=1⟩Noc Inf
82425⟨a, b, c | aab=b, acac=1⟩Noc Inf
82426⟨a, b, c | aab=b, acba=1⟩Noc Inf
82427⟨a, b, c | aab=b, acbb=1⟩Noc Inf
82428⟨a, b, c | aab=b, acbc=1⟩Noc Inf
82429⟨a, b, c | aab=b, acca=1⟩Noc Inf
82430⟨a, b, c | aab=b, accb=1⟩Noc Inf
82431⟨a, b, c | aab=b, accc=1⟩Noc Inf
82437⟨a, b, c | aab=b, bbac=1⟩Noc Inf3
82444⟨a, b, c | aab=b, bcac=1⟩Noc Inf3
82450⟨a, b, c | aab=b, bccc=1⟩Noc Inf3
82451⟨a, b, c | aab=b, caaa=1⟩Noc Inf
82452⟨a, b, c | aab=b, caab=1⟩Noc Inf1
82453⟨a, b, c | aab=b, caac=1⟩Noc Inf
82454⟨a, b, c | aab=b, caba=1⟩Noc Inf
82455⟨a, b, c | aab=b, cabb=1⟩Noc Inf
82457⟨a, b, c | aab=b, caca=1⟩Noc Inf
82458⟨a, b, c | aab=b, cacb=1⟩Noc Inf
82459⟨a, b, c | aab=b, cacc=1⟩Noc Inf1
82460⟨a, b, c | aab=b, cbaa=1⟩Noc Inf
82461⟨a, b, c | aab=b, cbab=1⟩Noc Inf
82463⟨a, b, c | aab=b, cbba=1⟩Noc Inf
82464⟨a, b, c | aab=b, cbbb=1⟩Noc Inf
82467⟨a, b, c | aab=b, cbcb=1⟩Noc Inf
82469⟨a, b, c | aab=b, ccaa=1⟩Noc Inf
82470⟨a, b, c | aab=b, ccab=1⟩Noc Inf
82472⟨a, b, c | aab=b, ccba=1⟩Noc Inf
82473⟨a, b, c | aab=b, ccbb=1⟩Noc Inf
82475⟨a, b, c | aab=b, ccca=1⟩Noc Inf
82476⟨a, b, c | aab=b, cccb=1⟩Noc Inf
82477⟨a, b, c | aab=b, cccc=1⟩Noc Inf
82486⟨a, b, c | aab=c, aacc=1⟩Noc Inf1
82494⟨a, b, c | aab=c, abcb=1⟩Noc Inf4
82501⟨a, b, c | aab=c, acbc=1⟩Noc Inf
82503⟨a, b, c | aab=c, accb=1⟩Noc Inf
82504⟨a, b, c | aab=c, accc=1⟩Noc Inf
82539⟨a, b, c | aab=c, cacb=1⟩Noc Inf
82545⟨a, b, c | aab=c, cbbb=1⟩Noc Inf3
82551⟨a, b, c | aab=c, ccab=1⟩Noc Inf2
82554⟨a, b, c | aab=c, ccbb=1⟩Noc Inf
82557⟨a, b, c | aab=c, cccb=1⟩Noc Inf
82571⟨a, b, c | aba=a, acbb=1⟩Noc Inf2
82580⟨a, b, c | aba=a, bbac=1⟩Noc Inf
82581⟨a, b, c | aba=a, bbbc=1⟩Noc Inf
82582⟨a, b, c | aba=a, bbcb=1⟩Noc Inf
82583⟨a, b, c | aba=a, bbcc=1⟩Noc Inf
82584⟨a, b, c | aba=a, bcac=1⟩Noc Inf
82585⟨a, b, c | aba=a, bcbc=1⟩Noc Inf
82586⟨a, b, c | aba=a, bccb=1⟩Noc Inf1
82587⟨a, b, c | aba=a, bccc=1⟩Noc Inf
82592⟨a, b, c | aba=a, cbcc=1⟩Noc Inf
82593⟨a, b, c | aba=a, cccc=1⟩Noc Inf
82594⟨a, b, c | aba=b, aaac=1⟩Noc Inf
82595⟨a, b, c | aba=b, aabc=1⟩Noc Inf
82596⟨a, b, c | aba=b, aaca=1⟩Mon Inf
82598⟨a, b, c | aba=b, aacc=1⟩Noc Inf
82600⟨a, b, c | aba=b, abbc=1⟩Noc Inf1
82603⟨a, b, c | aba=b, abcc=1⟩Noc Inf
82605⟨a, b, c | aba=b, acac=1⟩Noc Inf
82606⟨a, b, c | aba=b, acbb=1⟩Noc Inf
82608⟨a, b, c | aba=b, acca=1⟩Mon Inf
82609⟨a, b, c | aba=b, accb=1⟩Noc Inf
82610⟨a, b, c | aba=b, accc=1⟩Noc Inf
82611⟨a, b, c | aba=b, baac=1⟩Noc Inf
82612⟨a, b, c | aba=b, babc=1⟩Noc Inf
82614⟨a, b, c | aba=b, bacc=1⟩Noc Inf
82616⟨a, b, c | aba=b, bbbc=1⟩Noc Inf
82618⟨a, b, c | aba=b, bbcc=1⟩Noc Inf
82619⟨a, b, c | aba=b, bcac=1⟩Noc Inf
82620⟨a, b, c | aba=b, bcbc=1⟩Noc Inf
82621⟨a, b, c | aba=b, bccb=1⟩Grp Inf1
82622⟨a, b, c | aba=b, bccc=1⟩Noc Inf
82623⟨a, b, c | aba=b, caac=1⟩Mon Inf
82625⟨a, b, c | aba=b, cacc=1⟩Mon Inf
82628⟨a, b, c | aba=b, cccc=1⟩Mon Inf
82663⟨a, b, c | aba=c, bbcc=1⟩Noc Inf1
82676⟨a, b, c | abc=a, aaac=1⟩Noc Inf
82678⟨a, b, c | abc=a, aabb=1⟩Noc Inf
82681⟨a, b, c | abc=a, aacb=1⟩Noc Inf
82682⟨a, b, c | abc=a, aacc=1⟩Noc Inf
82685⟨a, b, c | abc=a, abac=1⟩Noc Inf
82687⟨a, b, c | abc=a, abbb=1⟩Noc Inf
82688⟨a, b, c | abc=a, abbc=1⟩Noc Inf
82694⟨a, b, c | abc=a, acac=1⟩Noc Inf
82696⟨a, b, c | abc=a, acbb=1⟩Noc Inf
82697⟨a, b, c | abc=a, acbc=1⟩Noc Inf
82699⟨a, b, c | abc=a, accb=1⟩Noc Inf
82700⟨a, b, c | abc=a, accc=1⟩Noc Inf
82703⟨a, b, c | abc=a, baac=1⟩Noc Inf
82708⟨a, b, c | abc=a, bacb=1⟩Noc Inf
82709⟨a, b, c | abc=a, bacc=1⟩Noc Inf
82712⟨a, b, c | abc=a, bbac=1⟩Noc Inf
82714⟨a, b, c | abc=a, bbbb=1⟩Noc Inf
82715⟨a, b, c | abc=a, bbbc=1⟩Noc Inf
82717⟨a, b, c | abc=a, bbcb=1⟩Noc Inf1
82718⟨a, b, c | abc=a, bbcc=1⟩Noc Inf
82721⟨a, b, c | abc=a, bcac=1⟩Noc Inf
82724⟨a, b, c | abc=a, bcbc=1⟩Noc Inf
82726⟨a, b, c | abc=a, bccb=1⟩Noc Inf1
82727⟨a, b, c | abc=a, bccc=1⟩Noc Inf
82729⟨a, b, c | abc=a, caab=1⟩Noc Inf
82732⟨a, b, c | abc=a, cabb=1⟩Noc Inf
82735⟨a, b, c | abc=a, cacb=1⟩Noc Inf
82741⟨a, b, c | abc=a, cbbb=1⟩Noc Inf
82744⟨a, b, c | abc=a, cbcb=1⟩Noc Inf
82745⟨a, b, c | abc=a, cbcc=1⟩Noc Inf1
82747⟨a, b, c | abc=a, ccab=1⟩Noc Inf
82750⟨a, b, c | abc=a, ccbb=1⟩Noc Inf
82753⟨a, b, c | abc=a, cccb=1⟩Noc Inf
82754⟨a, b, c | abc=a, cccc=1⟩Noc Inf
82755⟨a, b, c | abc=b, aaaa=1⟩Mon Inf
82757⟨a, b, c | abc=b, aaac=1⟩Noc Inf
82759⟨a, b, c | abc=b, aabb=1⟩Noc Inf
82761⟨a, b, c | abc=b, aaca=1⟩Mon Inf1
82762⟨a, b, c | abc=b, aacb=1⟩Noc Inf
82763⟨a, b, c | abc=b, aacc=1⟩Noc Inf
82766⟨a, b, c | abc=b, abac=1⟩Noc Inf
82768⟨a, b, c | abc=b, abbb=1⟩Noc Inf
82769⟨a, b, c | abc=b, abbc=1⟩Noc Inf
82773⟨a, b, c | abc=b, acab=1⟩Noc Inf
82774⟨a, b, c | abc=b, acac=1⟩Noc Inf
82776⟨a, b, c | abc=b, acbb=1⟩Noc Inf
82777⟨a, b, c | abc=b, acca=1⟩Mon Inf
82778⟨a, b, c | abc=b, accb=1⟩Noc Inf
82783⟨a, b, c | abc=b, baca=1⟩Noc Inf
82784⟨a, b, c | abc=b, bacb=1⟩Noc Inf
82788⟨a, b, c | abc=b, bbbb=1⟩Mon Inf
82794⟨a, b, c | abc=b, caaa=1⟩Noc Inf
82796⟨a, b, c | abc=b, caca=1⟩Noc Inf
82799⟨a, b, c | abc=b, ccaa=1⟩Noc Inf
82803⟨a, b, c | aaa=a, abc=a⟩Noc Inf
82804⟨a, b, c | aaa=a, abc=b⟩Noc Inf
82805⟨a, b, c | aaa=a, abc=c⟩Noc Inf
82807⟨a, b, c | aaa=a, bac=a⟩Noc Inf
82808⟨a, b, c | aaa=a, bac=b⟩Noc Inf
82810⟨a, b, c | aaa=a, bbc=a⟩Noc Inf
82811⟨a, b, c | aaa=a, bbc=b⟩Noc Inf
82812⟨a, b, c | aaa=a, bbc=c⟩Noc Inf
82813⟨a, b, c | aaa=a, bcb=a⟩Noc Inf
82814⟨a, b, c | aaa=a, bcb=b⟩Noc Inf
82815⟨a, b, c | aaa=a, bcb=c⟩Noc Inf
82823⟨a, b, c | aaa=b, abc=b⟩Noc Inf3
82826⟨a, b, c | aaa=b, aca=b⟩Noc Inf2
82828⟨a, b, c | aaa=b, acb=a⟩Noc Inf8
82829⟨a, b, c | aaa=b, acb=b⟩Noc Inf
82830⟨a, b, c | aaa=b, acb=c⟩Can Inf1
82832⟨a, b, c | aaa=b, acc=b⟩Noc Inf3
82839⟨a, b, c | aaa=b, bbc=a⟩Noc Inf1
82840⟨a, b, c | aaa=b, bbc=b⟩Noc Inf
82841⟨a, b, c | aaa=b, bbc=c⟩Noc Inf1
82842⟨a, b, c | aaa=b, bcb=a⟩Noc Inf1
82843⟨a, b, c | aaa=b, bcb=b⟩Noc Inf
82844⟨a, b, c | aaa=b, bcb=c⟩Can Inf
82845⟨a, b, c | aaa=b, bcc=a⟩Noc Inf6
82846⟨a, b, c | aaa=b, bcc=b⟩Noc Inf
82847⟨a, b, c | aaa=b, bcc=c⟩Noc Inf6
82849⟨a, b, c | aaa=b, cac=b⟩Can Inf2
82851⟨a, b, c | aaa=b, cbc=a⟩Can Inf3
82852⟨a, b, c | aaa=b, cbc=b⟩Can Inf
82853⟨a, b, c | aaa=b, cbc=c⟩Noc Inf4
82854⟨a, b, c | aaa=b, ccc=b⟩Can Inf1
82855⟨a, b, c | aab=a, aac=a⟩Noc Inf
82857⟨a, b, c | aab=a, aac=c⟩Noc Inf
82860⟨a, b, c | aab=a, abc=a⟩Noc Inf
82862⟨a, b, c | aab=a, abc=c⟩Noc Inf
82863⟨a, b, c | aab=a, aca=a⟩Noc Inf
82865⟨a, b, c | aab=a, aca=c⟩Noc Inf
82866⟨a, b, c | aab=a, acb=a⟩Noc Inf
82867⟨a, b, c | aab=a, acb=b⟩Noc Inf
82868⟨a, b, c | aab=a, acb=c⟩Noc Inf
82869⟨a, b, c | aab=a, acc=a⟩Noc Inf
82871⟨a, b, c | aab=a, acc=c⟩Noc Inf
82874⟨a, b, c | aab=a, bac=a⟩Noc Inf
82875⟨a, b, c | aab=a, bac=b⟩Noc Inf
82876⟨a, b, c | aab=a, bac=c⟩Noc Inf
82878⟨a, b, c | aab=a, bbc=a⟩Noc Inf
82879⟨a, b, c | aab=a, bbc=b⟩Noc Inf
82880⟨a, b, c | aab=a, bbc=c⟩Noc Inf
82881⟨a, b, c | aab=a, bca=a⟩Noc Inf
82882⟨a, b, c | aab=a, bca=b⟩Noc Inf
82883⟨a, b, c | aab=a, bca=c⟩Noc Inf
82884⟨a, b, c | aab=a, bcb=a⟩Noc Inf
82885⟨a, b, c | aab=a, bcb=b⟩Noc Inf
82886⟨a, b, c | aab=a, bcb=c⟩Noc Inf
82887⟨a, b, c | aab=a, bcc=a⟩Noc Inf
82888⟨a, b, c | aab=a, bcc=b⟩Noc Inf
82889⟨a, b, c | aab=a, bcc=c⟩Noc Inf
82890⟨a, b, c | aab=a, caa=a⟩Noc Inf
82892⟨a, b, c | aab=a, caa=c⟩Noc Inf
82893⟨a, b, c | aab=a, cab=a⟩Noc Inf
82894⟨a, b, c | aab=a, cab=b⟩Noc Inf
82895⟨a, b, c | aab=a, cab=c⟩Noc Inf
82896⟨a, b, c | aab=a, cac=a⟩Noc Inf
82898⟨a, b, c | aab=a, cac=c⟩Noc Inf
82899⟨a, b, c | aab=a, cba=a⟩Noc Inf
82900⟨a, b, c | aab=a, cba=b⟩Noc Inf
82901⟨a, b, c | aab=a, cba=c⟩Noc Inf
82902⟨a, b, c | aab=a, cbb=a⟩Noc Inf
82903⟨a, b, c | aab=a, cbb=c⟩Noc Inf
82904⟨a, b, c | aab=a, cbc=a⟩Noc Inf
82905⟨a, b, c | aab=a, cbc=b⟩Noc Inf
82906⟨a, b, c | aab=a, cbc=c⟩Noc Inf
82907⟨a, b, c | aab=a, cca=a⟩Noc Inf
82908⟨a, b, c | aab=a, cca=b⟩Noc Inf8
82909⟨a, b, c | aab=a, ccb=a⟩Noc Inf
82910⟨a, b, c | aab=a, ccb=b⟩Noc Inf
82911⟨a, b, c | aab=a, ccb=c⟩Noc Inf
82912⟨a, b, c | aab=b, aac=b⟩Noc Inf1
82913⟨a, b, c | aab=b, aac=c⟩Noc Inf
82916⟨a, b, c | aab=b, abc=a⟩Noc Inf
82917⟨a, b, c | aab=b, abc=b⟩Noc Inf
82918⟨a, b, c | aab=b, abc=c⟩Noc Inf
82919⟨a, b, c | aab=b, aca=a⟩Noc Inf
82920⟨a, b, c | aab=b, aca=b⟩Noc Inf
82921⟨a, b, c | aab=b, aca=c⟩Noc Inf
82922⟨a, b, c | aab=b, acb=a⟩Noc Inf
82923⟨a, b, c | aab=b, acb=b⟩Noc Inf
82924⟨a, b, c | aab=b, acb=c⟩Noc Inf
82925⟨a, b, c | aab=b, acc=a⟩Noc Inf
82926⟨a, b, c | aab=b, acc=b⟩Noc Inf
82929⟨a, b, c | aab=b, bac=a⟩Noc Inf
82930⟨a, b, c | aab=b, bac=b⟩Noc Inf
82931⟨a, b, c | aab=b, bac=c⟩Noc Inf
82933⟨a, b, c | aab=b, bbc=a⟩Noc Inf1
82934⟨a, b, c | aab=b, bbc=c⟩Noc Inf
82935⟨a, b, c | aab=b, bca=a⟩Noc Inf
82936⟨a, b, c | aab=b, bca=b⟩Noc Inf
82937⟨a, b, c | aab=b, bca=c⟩Noc Inf
82939⟨a, b, c | aab=b, bcb=b⟩Noc Inf
82940⟨a, b, c | aab=b, bcb=c⟩Noc Inf
82941⟨a, b, c | aab=b, bcc=a⟩Noc Inf
82942⟨a, b, c | aab=b, bcc=b⟩Noc Inf
82943⟨a, b, c | aab=b, caa=b⟩Noc Inf
82944⟨a, b, c | aab=b, caa=c⟩Noc Inf
82945⟨a, b, c | aab=b, cab=a⟩Noc Inf
82946⟨a, b, c | aab=b, cab=b⟩Noc Inf
82947⟨a, b, c | aab=b, cab=c⟩Noc Inf
82948⟨a, b, c | aab=b, cac=a⟩Noc Inf
82949⟨a, b, c | aab=b, cac=b⟩Noc Inf1
82950⟨a, b, c | aab=b, cac=c⟩Noc Inf
82951⟨a, b, c | aab=b, cba=a⟩Noc Inf
82952⟨a, b, c | aab=b, cba=b⟩Noc Inf
82953⟨a, b, c | aab=b, cba=c⟩Noc Inf
82954⟨a, b, c | aab=b, cbb=a⟩Noc Inf
82955⟨a, b, c | aab=b, cbc=a⟩Noc Inf
82956⟨a, b, c | aab=b, cbc=b⟩Noc Inf
82957⟨a, b, c | aab=b, cbc=c⟩Noc Inf
82958⟨a, b, c | aab=b, cca=b⟩Noc Inf
82959⟨a, b, c | aab=b, ccb=a⟩Noc Inf
82960⟨a, b, c | aab=b, ccb=b⟩Noc Inf
82968⟨a, b, c | aab=c, abc=c⟩Noc Inf
82970⟨a, b, c | aab=c, aca=b⟩Can Inf3
82971⟨a, b, c | aab=c, aca=c⟩Mon Inf
82974⟨a, b, c | aab=c, acb=c⟩Noc Inf
82976⟨a, b, c | aab=c, baa=c⟩Can Inf2
82979⟨a, b, c | aab=c, bab=c⟩Noc Inf2
82982⟨a, b, c | aab=c, bac=c⟩Noc Inf
82983⟨a, b, c | aab=c, bba=c⟩Can Inf
82984⟨a, b, c | aab=c, bbc=a⟩Can Inf5
82985⟨a, b, c | aab=c, bca=a⟩Noc Inf3
82986⟨a, b, c | aab=c, bca=b⟩Noc Inf2
82987⟨a, b, c | aab=c, bca=c⟩Can Inf
82988⟨a, b, c | aab=c, bcb=a⟩Can Inf2
82990⟨a, b, c | aab=c, bcb=c⟩Noc Inf
82991⟨a, b, c | aab=c, bcc=a⟩Can Inf
82994⟨a, b, c | aab=c, cab=b⟩Noc Inf5
82995⟨a, b, c | aab=c, cab=c⟩Noc Inf1
82996⟨a, b, c | aab=c, cac=a⟩Noc Inf
82998⟨a, b, c | aab=c, cac=c⟩Noc Inf
83001⟨a, b, c | aab=c, cba=c⟩Noc Inf
83002⟨a, b, c | aab=c, cbc=a⟩Noc Inf1
83003⟨a, b, c | aab=c, cbc=b⟩Noc Inf
83004⟨a, b, c | aab=c, cbc=c⟩Noc Inf
83005⟨a, b, c | aab=c, ccb=a⟩Noc Inf
83006⟨a, b, c | aba=a, abc=a⟩Noc Inf
83007⟨a, b, c | aba=a, abc=b⟩Noc Inf
83008⟨a, b, c | aba=a, abc=c⟩Noc Inf
83009⟨a, b, c | aba=a, aca=a⟩Noc Inf
83011⟨a, b, c | aba=a, aca=c⟩Noc Inf
83012⟨a, b, c | aba=a, acb=a⟩Noc Inf
83013⟨a, b, c | aba=a, acb=b⟩Noc Inf
83014⟨a, b, c | aba=a, acb=c⟩Noc Inf
83016⟨a, b, c | aba=a, bac=a⟩Noc Inf
83017⟨a, b, c | aba=a, bac=b⟩Noc Inf
83018⟨a, b, c | aba=a, bac=c⟩Noc Inf
83019⟨a, b, c | aba=a, bcb=a⟩Noc Inf
83020⟨a, b, c | aba=a, bcb=b⟩Noc Inf
83021⟨a, b, c | aba=a, bcb=c⟩Noc Inf
83024⟨a, b, c | aba=a, cbc=a⟩Noc Inf
83025⟨a, b, c | aba=a, cbc=b⟩Noc Inf
83026⟨a, b, c | aba=a, cbc=c⟩Noc Inf
83027⟨a, b, c | aba=b, abc=a⟩Noc Inf
83028⟨a, b, c | aba=b, abc=b⟩Mon Inf
83029⟨a, b, c | aba=b, abc=c⟩Noc Inf
83030⟨a, b, c | aba=b, aca=b⟩Noc Inf
83031⟨a, b, c | aba=b, aca=c⟩Can Inf
83032⟨a, b, c | aba=b, acb=a⟩Noc Inf
83033⟨a, b, c | aba=b, acb=b⟩Noc Inf
83034⟨a, b, c | aba=b, acb=c⟩Can Inf
83036⟨a, b, c | aba=b, bac=a⟩Mon Inf
83037⟨a, b, c | aba=b, bac=b⟩Noc Inf
83038⟨a, b, c | aba=b, bac=c⟩Noc Inf
83039⟨a, b, c | aba=b, bcb=a⟩Noc Inf
83040⟨a, b, c | aba=b, bcb=c⟩Can Inf
83041⟨a, b, c | aba=b, cac=b⟩Can Inf
83042⟨a, b, c | aba=b, cbc=a⟩Can Inf1
83043⟨a, b, c | aba=b, cbc=b⟩Can Inf
83045⟨a, b, c | aba=c, abc=b⟩Can Inf2
83046⟨a, b, c | aba=c, abc=c⟩Noc Inf1
83050⟨a, b, c | aba=c, acb=c⟩Noc Inf1
83051⟨a, b, c | aba=c, bab=c⟩Can Inf
83054⟨a, b, c | aba=c, bac=c⟩Noc Inf
83056⟨a, b, c | aba=c, cbc=a⟩Noc Inf1
83057⟨a, b, c | abc=a, acb=a⟩Noc Inf
83058⟨a, b, c | abc=a, acb=b⟩Noc Inf
83059⟨a, b, c | abc=a, acb=c⟩Noc Inf
83060⟨a, b, c | abc=a, bac=a⟩Noc Inf
83061⟨a, b, c | abc=a, bac=b⟩Noc Inf
83062⟨a, b, c | abc=a, bca=a⟩Noc Inf
83063⟨a, b, c | abc=a, bca=b⟩Noc Inf
83064⟨a, b, c | abc=a, bca=c⟩Noc Inf
83065⟨a, b, c | abc=a, cab=a⟩Noc Inf2
83066⟨a, b, c | abc=a, cab=b⟩Noc Inf
83067⟨a, b, c | abc=a, cba=a⟩Noc Inf
83068⟨a, b, c | abc=a, cba=b⟩Noc Inf
83069⟨a, b, c | abc=a, cba=c⟩Noc Inf
83070⟨a, b, c | abc=b, acb=c⟩Mon Inf
83071⟨a, b, c | abc=b, bca=c⟩Can Inf2
83072⟨a, b, c | abc=b, cba=b⟩Can Inf
83073⟨a, b, c | ab=aa, aaac=1⟩Noc Inf3
83076⟨a, b, c | ab=aa, aacb=1⟩Noc Inf1
83077⟨a, b, c | ab=aa, aacc=1⟩Noc Inf1
83085⟨a, b, c | ab=aa, acac=1⟩Noc Inf
83087⟨a, b, c | ab=aa, acbb=1⟩Noc Inf
83088⟨a, b, c | ab=aa, acbc=1⟩Noc Inf
83090⟨a, b, c | ab=aa, accb=1⟩Noc Inf
83091⟨a, b, c | ab=aa, accc=1⟩Noc Inf
83092⟨a, b, c | ab=aa, baac=1⟩Noc Inf1
83095⟨a, b, c | ab=aa, bacb=1⟩Noc Inf
83096⟨a, b, c | ab=aa, bacc=1⟩Noc Inf
83097⟨a, b, c | ab=aa, bbac=1⟩Noc Inf
83098⟨a, b, c | ab=aa, bbbc=1⟩Noc Inf
83100⟨a, b, c | ab=aa, bbcb=1⟩Noc Inf1
83101⟨a, b, c | ab=aa, bbcc=1⟩Noc Inf
83104⟨a, b, c | ab=aa, bcac=1⟩Noc Inf
83107⟨a, b, c | ab=aa, bcbc=1⟩Noc Inf
83109⟨a, b, c | ab=aa, bccb=1⟩Noc Inf
83110⟨a, b, c | ab=aa, bccc=1⟩Noc Inf
83118⟨a, b, c | ab=aa, cacb=1⟩Noc Inf
83124⟨a, b, c | ab=aa, cbbb=1⟩Noc Inf
83125⟨a, b, c | ab=aa, cbbc=1⟩Noc Inf
83127⟨a, b, c | ab=aa, cbcb=1⟩Noc Inf
83128⟨a, b, c | ab=aa, cbcc=1⟩Noc Inf1
83133⟨a, b, c | ab=aa, ccbb=1⟩Noc Inf
83136⟨a, b, c | ab=aa, cccb=1⟩Noc Inf
83137⟨a, b, c | ab=aa, cccc=1⟩Noc Inf
83138⟨a, b, c | ac=ab, aaaa=1⟩Can Infℤ4 ∗ ℕ
83139⟨a, b, c | ac=ab, aaab=1⟩Noc Inf
83141⟨a, b, c | ac=ab, aabb=1⟩Noc Inf
83142⟨a, b, c | ac=ab, aabc=1⟩Noc Inf
83147⟨a, b, c | ac=ab, abbb=1⟩Noc Inf
83148⟨a, b, c | ac=ab, abbc=1⟩Noc Inf
83150⟨a, b, c | ac=ab, abcb=1⟩Noc Inf
83151⟨a, b, c | ac=ab, abcc=1⟩Noc Inf
83157⟨a, b, c | ac=ab, babc=1⟩Noc Inf1
83165⟨a, b, c | ac=ab, bbbb=1⟩Noc Inf
83166⟨a, b, c | ac=ab, bbbc=1⟩Noc Inf
83168⟨a, b, c | ac=ab, bbcb=1⟩Noc Inf1
83169⟨a, b, c | ac=ab, bbcc=1⟩Noc Inf
83175⟨a, b, c | ac=ab, bcbc=1⟩Noc Inf
83177⟨a, b, c | ac=ab, bccb=1⟩Noc Inf
83178⟨a, b, c | ac=ab, bccc=1⟩Noc Inf
83179⟨a, b, c | ba=ab, aaac=1⟩Noc Inf
83180⟨a, b, c | ba=ab, aabc=1⟩Noc Inf2
83181⟨a, b, c | ba=ab, aaca=1⟩Can Com Infℕ ⊕ ℤ
83182⟨a, b, c | ba=ab, aacb=1⟩Noc Inf
83183⟨a, b, c | ba=ab, aacc=1⟩Noc Inf
83186⟨a, b, c | ba=ab, abca=1⟩Noc Inf1
83188⟨a, b, c | ba=ab, abcc=1⟩Noc Inf
83189⟨a, b, c | ba=ab, acac=1⟩Noc Inf
83190⟨a, b, c | ba=ab, acbc=1⟩Noc Inf
83191⟨a, b, c | ba=ab, acca=1⟩Mon Inf1
83192⟨a, b, c | ba=ab, accb=1⟩Noc Inf
83193⟨a, b, c | ba=ab, accc=1⟩Noc Inf
83196⟨a, b, c | ba=ab, cacc=1⟩Mon Inf
83197⟨a, b, c | ba=ab, cccc=1⟩Can Infℤ4 ∗ (ℕ ⊕ ℕ)
83199⟨a, b, c | ba=ac, aaab=1⟩Noc Inf
83202⟨a, b, c | ba=ac, aabb=1⟩Noc Inf
83203⟨a, b, c | ba=ac, aabc=1⟩Noc Inf
83205⟨a, b, c | ba=ac, aacb=1⟩Noc Inf1
83210⟨a, b, c | ba=ac, abbb=1⟩Noc Inf
83211⟨a, b, c | ba=ac, abbc=1⟩Noc Inf
83213⟨a, b, c | ba=ac, abcb=1⟩Noc Inf
83214⟨a, b, c | ba=ac, abcc=1⟩Noc Inf
83219⟨a, b, c | ba=ac, acbc=1⟩Noc Inf1
83229⟨a, b, c | ba=ac, bbbb=1⟩Mon Inf
83230⟨a, b, c | ba=ac, bbbc=1⟩Noc Inf
83231⟨a, b, c | ba=ac, bbcb=1⟩Mon Inf1
83232⟨a, b, c | ba=ac, bbcc=1⟩Noc Inf
83235⟨a, b, c | ba=ac, bcbc=1⟩Noc Inf
83236⟨a, b, c | ba=ac, bccb=1⟩Mon Inf
83243⟨a, b, c | bb=aa, aaac=1⟩Noc Inf2
83247⟨a, b, c | bb=aa, aacc=1⟩Noc Inf
83248⟨a, b, c | bb=aa, abac=1⟩Noc Inf
83252⟨a, b, c | bb=aa, abcc=1⟩Noc Inf
83253⟨a, b, c | bb=aa, acac=1⟩Noc Inf
83254⟨a, b, c | bb=aa, acbc=1⟩Noc Inf
83255⟨a, b, c | bb=aa, acca=1⟩Grp Inf
83257⟨a, b, c | bb=aa, accc=1⟩Noc Inf
83261⟨a, b, c | bb=aa, cccc=1⟩Mon Inf
83263⟨a, b, c | bb=ac, aaab=1⟩Noc Inf
83264⟨a, b, c | bb=ac, aaac=1⟩Noc Inf1
83267⟨a, b, c | bb=ac, aabc=1⟩Noc Inf
83269⟨a, b, c | bb=ac, aacb=1⟩Noc Inf2
83270⟨a, b, c | bb=ac, aacc=1⟩Noc Inf1
83272⟨a, b, c | bb=ac, abab=1⟩Noc Inf
83278⟨a, b, c | bb=ac, abcb=1⟩Noc Inf
83301⟨a, b, c | bb=ac, caaa=1⟩Noc Inf
83303⟨a, b, c | bb=ac, caca=1⟩Noc Inf1
83304⟨a, b, c | bb=ac, cbaa=1⟩Noc Inf
83306⟨a, b, c | bb=ac, ccaa=1⟩Noc Inf
83309⟨a, b, c | ab=aa, aac=a⟩Noc Inf1
83311⟨a, b, c | ab=aa, aac=c⟩Noc Inf1
83317⟨a, b, c | ab=aa, aca=a⟩Noc Inf
83319⟨a, b, c | ab=aa, aca=c⟩Noc Inf
83320⟨a, b, c | ab=aa, acb=a⟩Noc Inf
83321⟨a, b, c | ab=aa, acb=b⟩Noc Inf
83322⟨a, b, c | ab=aa, acb=c⟩Noc Inf
83323⟨a, b, c | ab=aa, acc=a⟩Noc Inf
83325⟨a, b, c | ab=aa, acc=c⟩Noc Inf
83328⟨a, b, c | ab=aa, bac=a⟩Noc Inf
83329⟨a, b, c | ab=aa, bac=b⟩Noc Inf
83330⟨a, b, c | ab=aa, bac=c⟩Noc Inf
83333⟨a, b, c | ab=aa, bbc=a⟩Noc Inf
83334⟨a, b, c | ab=aa, bbc=b⟩Noc Inf
83335⟨a, b, c | ab=aa, bbc=c⟩Noc Inf
83336⟨a, b, c | ab=aa, bca=a⟩Noc Inf
83337⟨a, b, c | ab=aa, bca=b⟩Noc Inf
83338⟨a, b, c | ab=aa, bca=c⟩Noc Inf
83339⟨a, b, c | ab=aa, bcb=a⟩Noc Inf
83340⟨a, b, c | ab=aa, bcb=b⟩Noc Inf
83341⟨a, b, c | ab=aa, bcb=c⟩Noc Inf
83342⟨a, b, c | ab=aa, bcc=a⟩Noc Inf
83343⟨a, b, c | ab=aa, bcc=b⟩Noc Inf
83344⟨a, b, c | ab=aa, bcc=c⟩Noc Inf
83345⟨a, b, c | ab=aa, caa=a⟩Noc Inf1
83347⟨a, b, c | ab=aa, caa=c⟩Noc Inf2
83351⟨a, b, c | ab=aa, cac=a⟩Noc Inf
83353⟨a, b, c | ab=aa, cac=c⟩Noc Inf
83354⟨a, b, c | ab=aa, cba=a⟩Noc Inf
83355⟨a, b, c | ab=aa, cba=b⟩Noc Inf
83357⟨a, b, c | ab=aa, cbb=a⟩Noc Inf
83358⟨a, b, c | ab=aa, cbb=b⟩Noc Inf
83359⟨a, b, c | ab=aa, cbb=c⟩Noc Inf
83360⟨a, b, c | ab=aa, cbc=a⟩Noc Inf
83361⟨a, b, c | ab=aa, cbc=b⟩Noc Inf
83362⟨a, b, c | ab=aa, cbc=c⟩Noc Inf
83363⟨a, b, c | ab=aa, cca=a⟩Noc Inf
83364⟨a, b, c | ab=aa, cca=b⟩Noc Inf3
83365⟨a, b, c | ab=aa, cca=c⟩Noc Inf
83366⟨a, b, c | ab=aa, ccb=a⟩Noc Inf
83367⟨a, b, c | ab=aa, ccb=b⟩Noc Inf
83368⟨a, b, c | ab=aa, ccb=c⟩Noc Inf
83369⟨a, b, c | ab=aa, ccc=a⟩Noc Inf
83370⟨a, b, c | ab=aa, ccc=b⟩Noc Inf1
83371⟨a, b, c | ab=aa, ccc=c⟩Noc Inf
83372⟨a, b, c | ac=ab, aaa=a⟩Noc Inf
83373⟨a, b, c | ac=ab, aaa=b⟩Noc Inf5
83374⟨a, b, c | ac=ab, aab=a⟩Noc Inf
83377⟨a, b, c | ac=ab, aba=a⟩Noc Inf
83378⟨a, b, c | ac=ab, aba=b⟩Noc Inf1
83380⟨a, b, c | ac=ab, abb=a⟩Noc Inf
83381⟨a, b, c | ac=ab, abb=b⟩Noc Inf
83383⟨a, b, c | ac=ab, abc=a⟩Noc Inf
83385⟨a, b, c | ac=ab, abc=c⟩Noc Inf
83386⟨a, b, c | ac=ab, baa=a⟩Noc Inf
83387⟨a, b, c | ac=ab, baa=b⟩Noc Inf
83388⟨a, b, c | ac=ab, baa=c⟩Noc Inf
83389⟨a, b, c | ac=ab, bab=a⟩Noc Inf1
83390⟨a, b, c | ac=ab, bab=b⟩Noc Inf1
83395⟨a, b, c | ac=ab, bba=a⟩Noc Inf
83396⟨a, b, c | ac=ab, bba=b⟩Noc Inf1
83397⟨a, b, c | ac=ab, bba=c⟩Noc Inf
83398⟨a, b, c | ac=ab, bbb=a⟩Noc Inf3
83399⟨a, b, c | ac=ab, bbb=b⟩Noc Inf
83400⟨a, b, c | ac=ab, bbb=c⟩Noc Inf
83401⟨a, b, c | ac=ab, bbc=a⟩Noc Inf
83402⟨a, b, c | ac=ab, bbc=b⟩Noc Inf
83403⟨a, b, c | ac=ab, bbc=c⟩Noc Inf
83404⟨a, b, c | ac=ab, bca=a⟩Noc Inf
83406⟨a, b, c | ac=ab, bca=c⟩Noc Inf
83407⟨a, b, c | ac=ab, bcb=a⟩Noc Inf
83408⟨a, b, c | ac=ab, bcb=b⟩Noc Inf
83409⟨a, b, c | ac=ab, bcb=c⟩Noc Inf
83410⟨a, b, c | ac=ab, bcc=a⟩Noc Inf
83411⟨a, b, c | ac=ab, bcc=b⟩Noc Inf
83412⟨a, b, c | ac=ab, bcc=c⟩Noc Inf
83415⟨a, b, c | ba=ab, aac=a⟩Noc Inf
83416⟨a, b, c | ba=ab, aac=b⟩Noc Inf
83417⟨a, b, c | ba=ab, aac=c⟩Noc Inf
83421⟨a, b, c | ba=ab, abc=c⟩Noc Inf
83422⟨a, b, c | ba=ab, aca=a⟩Noc Inf
83423⟨a, b, c | ba=ab, aca=b⟩Noc Inf
83424⟨a, b, c | ba=ab, aca=c⟩Can Inf
83425⟨a, b, c | ba=ab, acb=a⟩Noc Inf
83426⟨a, b, c | ba=ab, acb=c⟩Can Inf
83427⟨a, b, c | ba=ab, acc=a⟩Noc Inf
83428⟨a, b, c | ba=ab, acc=b⟩Noc Inf
83429⟨a, b, c | ba=ab, acc=c⟩Noc Inf
83430⟨a, b, c | ba=ab, cac=a⟩Can Inf
83431⟨a, b, c | ba=ab, cac=b⟩Can Inf
83432⟨a, b, c | ba=ab, cac=c⟩Noc Inf
83433⟨a, b, c | ba=ab, ccc=a⟩Can Inf
83434⟨a, b, c | ba=ab, ccc=c⟩Noc Infℕ(3 = 1) ∗ (ℕ ⊕ ℕ)
83435⟨a, b, c | ba=ac, aaa=a⟩Noc Inf
83437⟨a, b, c | ba=ac, aab=a⟩Noc Inf
83438⟨a, b, c | ba=ac, aab=b⟩Noc Inf
83439⟨a, b, c | ba=ac, aab=c⟩Can Inf3
83440⟨a, b, c | ba=ac, aac=a⟩Noc Inf1
83441⟨a, b, c | ba=ac, aac=b⟩Mon Inf1
83442⟨a, b, c | ba=ac, aac=c⟩Noc Inf1
83446⟨a, b, c | ba=ac, abb=a⟩Noc Inf
83447⟨a, b, c | ba=ac, abb=b⟩Noc Inf
83448⟨a, b, c | ba=ac, abb=c⟩Can Inf3
83449⟨a, b, c | ba=ac, abc=a⟩Noc Inf
83450⟨a, b, c | ba=ac, abc=b⟩Mon Inf
83451⟨a, b, c | ba=ac, abc=c⟩Noc Inf
83452⟨a, b, c | ba=ac, acb=a⟩Mon Inf1
83453⟨a, b, c | ba=ac, acb=b⟩Noc Inf1
83455⟨a, b, c | ba=ac, acc=a⟩Noc Inf1
83456⟨a, b, c | ba=ac, acc=b⟩Noc Inf1
83457⟨a, b, c | ba=ac, acc=c⟩Noc Inf
83464⟨a, b, c | ba=ac, bbb=b⟩Noc Inf
83465⟨a, b, c | ba=ac, bbb=c⟩Can Inf1
83466⟨a, b, c | ba=ac, bbc=a⟩Noc Inf
83467⟨a, b, c | ba=ac, bbc=b⟩Noc Inf
83468⟨a, b, c | ba=ac, bbc=c⟩Noc Inf
83469⟨a, b, c | ba=ac, bcb=a⟩Noc Inf
83470⟨a, b, c | ba=ac, bcb=b⟩Noc Inf
83471⟨a, b, c | ba=ac, bcb=c⟩Can Inf
83472⟨a, b, c | ba=ac, cab=a⟩Can Inf
83473⟨a, b, c | ba=ac, cab=b⟩Noc Inf
83474⟨a, b, c | ba=ac, cbb=a⟩Can Inf
83475⟨a, b, c | ba=ac, cbb=b⟩Noc Inf
83476⟨a, b, c | ba=ac, cbb=c⟩Noc Inf
83479⟨a, b, c | bb=aa, aac=a⟩Noc Inf2
83481⟨a, b, c | bb=aa, aac=c⟩Noc Inf
83483⟨a, b, c | bb=aa, abc=a⟩Noc Inf
83484⟨a, b, c | bb=aa, abc=b⟩Mon Inf
83485⟨a, b, c | bb=aa, abc=c⟩Noc Inf
83486⟨a, b, c | bb=aa, aca=a⟩Noc Inf
83487⟨a, b, c | bb=aa, aca=b⟩Noc Inf
83488⟨a, b, c | bb=aa, aca=c⟩Can Inf
83489⟨a, b, c | bb=aa, acb=a⟩Noc Inf
83490⟨a, b, c | bb=aa, acb=c⟩Can Inf
83491⟨a, b, c | bb=aa, acc=a⟩Noc Inf
83492⟨a, b, c | bb=aa, acc=b⟩Noc Inf
83493⟨a, b, c | bb=aa, acc=c⟩Noc Inf
83494⟨a, b, c | bb=aa, cac=a⟩Can Inf
83495⟨a, b, c | bb=aa, cac=b⟩Can Inf
83496⟨a, b, c | bb=aa, cac=c⟩Noc Inf
83497⟨a, b, c | bb=aa, ccc=a⟩Can Inf
83498⟨a, b, c | bb=aa, ccc=c⟩Noc Inf
83499⟨a, b, c | bb=ac, aaa=a⟩Noc Inf
83500⟨a, b, c | bb=ac, aaa=b⟩Noc Inf1
83501⟨a, b, c | bb=ac, aaa=c⟩Can Inf2
83502⟨a, b, c | bb=ac, aab=a⟩Noc Inf
83503⟨a, b, c | bb=ac, aab=b⟩Noc Inf
83504⟨a, b, c | bb=ac, aab=c⟩Noc Inf3
83505⟨a, b, c | bb=ac, aac=a⟩Noc Inf1
83506⟨a, b, c | bb=ac, aac=b⟩Noc Inf2
83507⟨a, b, c | bb=ac, aac=c⟩Noc Inf2
83508⟨a, b, c | bb=ac, aba=a⟩Noc Inf
83509⟨a, b, c | bb=ac, aba=b⟩Mon Inf
83510⟨a, b, c | bb=ac, aba=c⟩Can Inf2
83514⟨a, b, c | bb=ac, abc=a⟩Noc Inf
83515⟨a, b, c | bb=ac, abc=b⟩Mon Inf
83516⟨a, b, c | bb=ac, aca=a⟩Noc Inf1
83517⟨a, b, c | bb=ac, aca=b⟩Noc Inf1
83520⟨a, b, c | bb=ac, acb=b⟩Noc Inf1
83521⟨a, b, c | bb=ac, acb=c⟩Noc Inf
83522⟨a, b, c | bb=ac, baa=a⟩Noc Inf
83523⟨a, b, c | bb=ac, baa=b⟩Noc Inf
83524⟨a, b, c | bb=ac, baa=c⟩Can Inf2
83525⟨a, b, c | bb=ac, bab=a⟩Mon Inf
83526⟨a, b, c | bb=ac, bab=b⟩Noc Inf
83527⟨a, b, c | bb=ac, bab=c⟩Noc Inf2
83533⟨a, b, c | bb=ac, bca=a⟩Noc Inf
83534⟨a, b, c | bb=ac, bca=b⟩Noc Inf
83535⟨a, b, c | bb=ac, bca=c⟩Can Inf
83536⟨a, b, c | bb=ac, caa=a⟩Noc Inf
83537⟨a, b, c | bb=ac, caa=b⟩Can Inf
83538⟨a, b, c | bb=ac, caa=c⟩Noc Inf
83539⟨a, b, c | bb=ac, cba=a⟩Noc Inf
83540⟨a, b, c | bb=ac, cba=b⟩Can Inf
83541⟨a, b, c | ab=aa, ac=aa⟩Noc Inf1
83543⟨a, b, c | ab=aa, ba=ac⟩Noc Inf
83544⟨a, b, c | ab=aa, bb=ac⟩Noc Inf
83545⟨a, b, c | ab=aa, bc=aa⟩Noc Inf2
83547⟨a, b, c | ab=aa, bc=ac⟩Noc Inf
83548⟨a, b, c | ab=aa, bc=ba⟩Noc Inf
83549⟨a, b, c | ab=aa, bc=bb⟩Noc Inf
83550⟨a, b, c | ab=aa, ca=aa⟩Noc Inf1
83552⟨a, b, c | ab=aa, ca=ac⟩Noc Inf
83553⟨a, b, c | ab=aa, ca=ba⟩Noc Inf
83554⟨a, b, c | ab=aa, ca=bb⟩Noc Inf
83555⟨a, b, c | ab=aa, ca=bc⟩Noc Inf
83556⟨a, b, c | ab=aa, cb=aa⟩Noc Inf1
83558⟨a, b, c | ab=aa, cb=ac⟩Noc Inf
83559⟨a, b, c | ab=aa, cb=ba⟩Noc Inf
83560⟨a, b, c | ab=aa, cb=bb⟩Noc Inf
83561⟨a, b, c | ab=aa, cb=bc⟩Noc Inf
83562⟨a, b, c | ab=aa, cb=ca⟩Noc Inf
83563⟨a, b, c | ab=aa, cc=aa⟩Noc Inf2
83565⟨a, b, c | ab=aa, cc=ba⟩Noc Inf
83566⟨a, b, c | ab=aa, cc=bb⟩Noc Inf
83567⟨a, b, c | ab=aa, cc=bc⟩Noc Inf
83568⟨a, b, c | ab=aa, cc=cb⟩Noc Inf
83569⟨a, b, c | ac=ab, ba=ab⟩Mon Inf2
83571⟨a, b, c | ac=ab, bb=aa⟩Noc Inf
83572⟨a, b, c | ac=ab, bb=ac⟩Noc Inf
83573⟨a, b, c | ac=ab, bc=aa⟩Noc Inf
83574⟨a, b, c | ac=ab, bc=ab⟩Noc Inf1
83576⟨a, b, c | ac=ab, bc=ba⟩Noc Inf
83577⟨a, b, c | ac=ab, ca=ba⟩Noc Inf
83578⟨a, b, c | ac=ab, ca=bb⟩Noc Inf
83579⟨a, b, c | ac=ab, ca=bc⟩Noc Inf
83580⟨a, b, c | ac=ab, cb=bc⟩Noc Inf
83581⟨a, b, c | ac=ab, cc=bb⟩Noc Inf
83582⟨a, b, c | ba=ab, bb=ac⟩Mon Inf
83584⟨a, b, c | ba=ab, ca=ac⟩Can Inf
83585⟨a, b, c | ba=ab, ca=bc⟩Can Inf
83586⟨a, b, c | ba=ab, cc=aa⟩Can Inf
83587⟨a, b, c | ba=ab, cc=ab⟩Can Inf1
83588⟨a, b, c | ba=ac, bb=aa⟩Mon Inf
83590⟨a, b, c | ba=ac, bc=aa⟩Mon Inf
83591⟨a, b, c | ba=ac, bc=ab⟩Mon Inf
83592⟨a, b, c | ba=ac, ca=ab⟩Can Inf
83593⟨a, b, c | ba=ac, ca=bb⟩Can Inf
83594⟨a, b, c | ba=ac, cb=aa⟩Can Inf
83595⟨a, b, c | ba=ac, cb=ac⟩Can Inf
83596⟨a, b, c | ba=ac, cc=bb⟩Can Inf
83598⟨a, b, c | bb=aa, cc=aa⟩Can Inf
83599⟨a, b, c | bb=aa, cc=ab⟩Can Inf
83600⟨a, b, c | bb=ac, bc=aa⟩Mon Inf
83602⟨a, b, c | bb=ac, cb=aa⟩Can Inf
83604⟨a, b, c | aaa=1, aabac=1⟩Mon Inf1
83609⟨a, b, c | aaa=1, abaac=1⟩Mon Inf
83610⟨a, b, c | aaa=1, ababc=1⟩Mon Inf
83613⟨a, b, c | aaa=1, abacc=1⟩Mon Inf
83614⟨a, b, c | aaa=1, abbac=1⟩Mon Inf
83615⟨a, b, c | aaa=1, abbbc=1⟩Noc Inf1
83618⟨a, b, c | aaa=1, abbcc=1⟩Noc Inf1
83620⟨a, b, c | aaa=1, abcac=1⟩Mon Inf
83623⟨a, b, c | aaa=1, abcbc=1⟩Noc Inf2
83624⟨a, b, c | aaa=1, abccb=1⟩Grp Inf3
83625⟨a, b, c | aaa=1, abccc=1⟩Noc Inf
83627⟨a, b, c | aaa=1, baabc=1⟩Noc Inf
83629⟨a, b, c | aaa=1, baacc=1⟩Noc Inf
83630⟨a, b, c | aaa=1, babac=1⟩Noc Inf
83631⟨a, b, c | aaa=1, babbc=1⟩Noc Inf
83633⟨a, b, c | aaa=1, babcc=1⟩Noc Inf
83636⟨a, b, c | aaa=1, bacbc=1⟩Noc Inf
83638⟨a, b, c | aaa=1, baccc=1⟩Noc Inf
83639⟨a, b, c | aaa=1, bbabc=1⟩Noc Inf
83641⟨a, b, c | aaa=1, bbacc=1⟩Noc Inf
83642⟨a, b, c | aaa=1, bbbbc=1⟩Noc Inf
83644⟨a, b, c | aaa=1, bbbcc=1⟩Noc Inf
83646⟨a, b, c | aaa=1, bbcbc=1⟩Noc Inf
83647⟨a, b, c | aaa=1, bbccb=1⟩Grp Inf
83650⟨a, b, c | aaa=1, bcbbc=1⟩Grp Infℤ3 ∗ ℤ1
83652⟨a, b, c | aaa=1, bcccb=1⟩Grp Inf
83653⟨a, b, c | aab=1, aaaac=1⟩Noc Inf
83656⟨a, b, c | aab=1, aaacb=1⟩Noc Inf
83657⟨a, b, c | aab=1, aaacc=1⟩Noc Inf
83664⟨a, b, c | aab=1, aacab=1⟩Noc Inf
83665⟨a, b, c | aab=1, aacac=1⟩Noc Inf
83667⟨a, b, c | aab=1, aacbb=1⟩Noc Inf
83668⟨a, b, c | aab=1, aacbc=1⟩Noc Inf
83670⟨a, b, c | aab=1, aaccb=1⟩Noc Inf
83671⟨a, b, c | aab=1, aaccc=1⟩Noc Inf
83695⟨a, b, c | aab=1, acabb=1⟩Noc Inf
83696⟨a, b, c | aab=1, acabc=1⟩Noc Inf
83698⟨a, b, c | aab=1, acacb=1⟩Noc Inf
83699⟨a, b, c | aab=1, acacc=1⟩Noc Inf
83701⟨a, b, c | aab=1, acbab=1⟩Noc Inf
83704⟨a, b, c | aab=1, acbbb=1⟩Noc Inf
83705⟨a, b, c | aab=1, acbbc=1⟩Noc Inf
83707⟨a, b, c | aab=1, acbcb=1⟩Noc Inf
83708⟨a, b, c | aab=1, acbcc=1⟩Noc Inf
83710⟨a, b, c | aab=1, accab=1⟩Noc Inf
83713⟨a, b, c | aab=1, accbb=1⟩Noc Inf
83714⟨a, b, c | aab=1, accbc=1⟩Noc Inf
83716⟨a, b, c | aab=1, acccb=1⟩Noc Inf
83717⟨a, b, c | aab=1, acccc=1⟩Noc Inf
83749⟨a, b, c | aab=1, bbcac=1⟩Grp Inf16
83790⟨a, b, c | aab=1, caacb=1⟩Noc Inf
83793⟨a, b, c | aab=1, cabab=1⟩Noc Inf
83796⟨a, b, c | aab=1, cabbb=1⟩Noc Inf
83799⟨a, b, c | aab=1, cabcb=1⟩Noc Inf
83802⟨a, b, c | aab=1, cacab=1⟩Noc Inf
83805⟨a, b, c | aab=1, cacbb=1⟩Noc Inf
83806⟨a, b, c | aab=1, cacbc=1⟩Noc Inf
83808⟨a, b, c | aab=1, caccb=1⟩Noc Inf
83814⟨a, b, c | aab=1, cbabb=1⟩Noc Inf
83820⟨a, b, c | aab=1, cbbab=1⟩Noc Inf
83823⟨a, b, c | aab=1, cbbbb=1⟩Noc Inf
83829⟨a, b, c | aab=1, cbcab=1⟩Noc Inf
83832⟨a, b, c | aab=1, cbcbb=1⟩Noc Inf
83841⟨a, b, c | aab=1, ccabb=1⟩Noc Inf
83844⟨a, b, c | aab=1, ccacb=1⟩Noc Inf
83847⟨a, b, c | aab=1, ccbab=1⟩Noc Inf
83850⟨a, b, c | aab=1, ccbbb=1⟩Noc Inf
83853⟨a, b, c | aab=1, ccbcb=1⟩Noc Inf
83856⟨a, b, c | aab=1, cccab=1⟩Noc Inf
83859⟨a, b, c | aab=1, cccbb=1⟩Noc Inf
83862⟨a, b, c | aab=1, ccccb=1⟩Noc Inf
83863⟨a, b, c | aab=1, ccccc=1⟩Noc Inf
83978⟨a, b, c | aba=1, ccccc=1⟩Grp Infℤ5 ∗ ℤ
83979⟨a, b, c | abc=1, aaaaa=1⟩Noc Inf1
83981⟨a, b, c | abc=1, aaaac=1⟩Noc Inf
83983⟨a, b, c | abc=1, aaabb=1⟩Noc Inf
83986⟨a, b, c | abc=1, aaacb=1⟩Noc Inf
83987⟨a, b, c | abc=1, aaacc=1⟩Noc Inf
83990⟨a, b, c | abc=1, aabac=1⟩Noc Inf
83992⟨a, b, c | abc=1, aabbb=1⟩Noc Inf
83993⟨a, b, c | abc=1, aabbc=1⟩Noc Inf
83999⟨a, b, c | abc=1, aacac=1⟩Noc Inf
84001⟨a, b, c | abc=1, aacbb=1⟩Noc Inf
84002⟨a, b, c | abc=1, aacbc=1⟩Noc Inf
84004⟨a, b, c | abc=1, aaccb=1⟩Noc Inf
84007⟨a, b, c | abc=1, abaac=1⟩Noc Inf
84009⟨a, b, c | abc=1, ababb=1⟩Noc Inf
84011⟨a, b, c | abc=1, abaca=1⟩Noc Inf1
84012⟨a, b, c | abc=1, abacb=1⟩Noc Inf
84015⟨a, b, c | abc=1, abbac=1⟩Noc Inf
84017⟨a, b, c | abc=1, abbbb=1⟩Noc Inf
84018⟨a, b, c | abc=1, abbbc=1⟩Noc Inf
84020⟨a, b, c | abc=1, abbcb=1⟩Noc Inf
84032⟨a, b, c | abc=1, acabb=1⟩Noc Inf
84034⟨a, b, c | abc=1, acacb=1⟩Noc Inf
84036⟨a, b, c | abc=1, acbab=1⟩Noc Inf
84037⟨a, b, c | abc=1, acbac=1⟩Noc Inf
84039⟨a, b, c | abc=1, acbbb=1⟩Noc Inf
84041⟨a, b, c | abc=1, acbcb=1⟩Noc Inf
84045⟨a, b, c | abc=1, accbb=1⟩Noc Inf
84047⟨a, b, c | abc=1, acccb=1⟩Noc Inf
84052⟨a, b, c | abc=1, baaca=1⟩Noc Inf
84053⟨a, b, c | abc=1, baacb=1⟩Noc Inf
84063⟨a, b, c | abc=1, bacbb=1⟩Noc Inf
84064⟨a, b, c | abc=1, bacca=1⟩Noc Inf
84069⟨a, b, c | abc=1, bbaca=1⟩Noc Inf
84073⟨a, b, c | abc=1, bbbbb=1⟩Noc Inf
84078⟨a, b, c | abc=1, bbcca=1⟩Noc Inf
84110⟨a, b, c | aaa=1, aabc=c⟩Noc Inf
84113⟨a, b, c | aaa=1, abac=b⟩Mon Inf
84114⟨a, b, c | aaa=1, abac=c⟩Noc Inf
84118⟨a, b, c | aaa=1, abbc=b⟩Mon Inf
84119⟨a, b, c | aaa=1, abbc=c⟩Noc Inf
84121⟨a, b, c | aaa=1, abca=b⟩Mon Inf
84123⟨a, b, c | aaa=1, abcb=b⟩Noc Inf
84124⟨a, b, c | aaa=1, abcb=c⟩Mon Inf
84125⟨a, b, c | aaa=1, abcc=a⟩Noc Inf
84126⟨a, b, c | aaa=1, abcc=b⟩Mon Inf
84127⟨a, b, c | aaa=1, abcc=c⟩Noc Inf
84129⟨a, b, c | aaa=1, baac=a⟩Mon Inf
84130⟨a, b, c | aaa=1, baac=b⟩Noc Inf
84132⟨a, b, c | aaa=1, babc=a⟩Mon Inf
84133⟨a, b, c | aaa=1, babc=b⟩Noc Inf
84134⟨a, b, c | aaa=1, babc=c⟩Noc Inf
84136⟨a, b, c | aaa=1, bacb=b⟩Noc Inf
84137⟨a, b, c | aaa=1, bacb=c⟩Mon Inf
84138⟨a, b, c | aaa=1, bacc=a⟩Mon Inf
84139⟨a, b, c | aaa=1, bacc=b⟩Noc Inf
84140⟨a, b, c | aaa=1, bacc=c⟩Noc Inf
84143⟨a, b, c | aaa=1, bbbc=b⟩Noc Inf
84144⟨a, b, c | aaa=1, bbbc=c⟩Noc Inf
84146⟨a, b, c | aaa=1, bbcb=b⟩Noc Inf
84147⟨a, b, c | aaa=1, bbcb=c⟩Mon Inf
84149⟨a, b, c | aaa=1, bbcc=b⟩Noc Inf
84151⟨a, b, c | aaa=1, bcbc=b⟩Noc Inf
84153⟨a, b, c | aaa=1, bccb=b⟩Noc Inf
84154⟨a, b, c | aaa=1, bccb=c⟩Mon Inf
84157⟨a, b, c | aab=1, aaac=a⟩Noc Inf
84159⟨a, b, c | aab=1, aaac=c⟩Noc Inf
84164⟨a, b, c | aab=1, aabc=c⟩Noc Inf1
84167⟨a, b, c | aab=1, aaca=c⟩Noc Inf
84168⟨a, b, c | aab=1, aacb=a⟩Noc Inf
84169⟨a, b, c | aab=1, aacb=b⟩Noc Inf
84170⟨a, b, c | aab=1, aacb=c⟩Noc Inf
84171⟨a, b, c | aab=1, aacc=a⟩Noc Inf
84173⟨a, b, c | aab=1, aacc=c⟩Noc Inf
84178⟨a, b, c | aab=1, abac=c⟩Noc Inf
84183⟨a, b, c | aab=1, abbc=c⟩Noc Inf
84186⟨a, b, c | aab=1, abca=c⟩Noc Inf
84188⟨a, b, c | aab=1, abcb=b⟩Noc Inf
84189⟨a, b, c | aab=1, abcb=c⟩Noc Inf
84192⟨a, b, c | aab=1, abcc=c⟩Noc Inf
84195⟨a, b, c | aab=1, acaa=c⟩Noc Inf
84196⟨a, b, c | aab=1, acab=a⟩Noc Inf
84197⟨a, b, c | aab=1, acab=b⟩Noc Inf
84198⟨a, b, c | aab=1, acab=c⟩Noc Inf
84199⟨a, b, c | aab=1, acac=a⟩Noc Inf
84201⟨a, b, c | aab=1, acac=c⟩Noc Inf
84204⟨a, b, c | aab=1, acba=c⟩Noc Inf
84205⟨a, b, c | aab=1, acbb=a⟩Noc Inf
84206⟨a, b, c | aab=1, acbb=b⟩Noc Inf
84207⟨a, b, c | aab=1, acbb=c⟩Noc Inf
84208⟨a, b, c | aab=1, acbc=a⟩Noc Inf
84209⟨a, b, c | aab=1, acbc=b⟩Noc Inf
84210⟨a, b, c | aab=1, acbc=c⟩Noc Inf
84213⟨a, b, c | aab=1, acca=c⟩Noc Inf
84214⟨a, b, c | aab=1, accb=a⟩Noc Inf
84215⟨a, b, c | aab=1, accb=b⟩Noc Inf
84216⟨a, b, c | aab=1, accb=c⟩Noc Inf
84217⟨a, b, c | aab=1, accc=a⟩Noc Inf
84219⟨a, b, c | aab=1, accc=c⟩Noc Inf
84224⟨a, b, c | aab=1, baac=c⟩Noc Inf
84229⟨a, b, c | aab=1, babc=c⟩Noc Inf
84232⟨a, b, c | aab=1, baca=c⟩Noc Inf
84235⟨a, b, c | aab=1, bacb=c⟩Noc Inf
84238⟨a, b, c | aab=1, bacc=c⟩Noc Inf
84243⟨a, b, c | aab=1, bbac=c⟩Noc Inf
84248⟨a, b, c | aab=1, bbbc=c⟩Noc Inf
84254⟨a, b, c | aab=1, bbcb=c⟩Noc Inf
84257⟨a, b, c | aab=1, bbcc=c⟩Noc Inf
84260⟨a, b, c | aab=1, bcaa=c⟩Noc Inf
84263⟨a, b, c | aab=1, bcab=c⟩Noc Inf
84266⟨a, b, c | aab=1, bcac=c⟩Noc Inf
84269⟨a, b, c | aab=1, bcba=c⟩Noc Inf
84271⟨a, b, c | aab=1, bcbb=b⟩Noc Inf1
84272⟨a, b, c | aab=1, bcbb=c⟩Noc Inf
84275⟨a, b, c | aab=1, bcbc=c⟩Noc Inf
84278⟨a, b, c | aab=1, bcca=c⟩Noc Inf
84281⟨a, b, c | aab=1, bccb=c⟩Noc Inf
84283⟨a, b, c | aab=1, bccc=b⟩Noc Inf1
84284⟨a, b, c | aab=1, bccc=c⟩Noc Inf
84287⟨a, b, c | aab=1, caaa=c⟩Noc Inf
84291⟨a, b, c | aab=1, caac=a⟩Noc Inf
84293⟨a, b, c | aab=1, caac=c⟩Noc Inf
84296⟨a, b, c | aab=1, caba=c⟩Noc Inf
84297⟨a, b, c | aab=1, cabb=a⟩Noc Inf
84298⟨a, b, c | aab=1, cabb=b⟩Noc Inf
84299⟨a, b, c | aab=1, cabb=c⟩Noc Inf
84300⟨a, b, c | aab=1, cabc=a⟩Noc Inf
84301⟨a, b, c | aab=1, cabc=b⟩Noc Inf
84302⟨a, b, c | aab=1, cabc=c⟩Noc Inf
84305⟨a, b, c | aab=1, caca=c⟩Noc Inf
84306⟨a, b, c | aab=1, cacb=a⟩Noc Inf
84307⟨a, b, c | aab=1, cacb=b⟩Noc Inf
84308⟨a, b, c | aab=1, cacb=c⟩Noc Inf
84309⟨a, b, c | aab=1, cacc=a⟩Noc Inf
84311⟨a, b, c | aab=1, cacc=c⟩Noc Inf
84314⟨a, b, c | aab=1, cbaa=c⟩Noc Inf
84315⟨a, b, c | aab=1, cbab=a⟩Noc Inf
84316⟨a, b, c | aab=1, cbab=b⟩Noc Inf
84317⟨a, b, c | aab=1, cbab=c⟩Noc Inf
84319⟨a, b, c | aab=1, cbac=b⟩Noc Inf
84320⟨a, b, c | aab=1, cbac=c⟩Noc Inf
84323⟨a, b, c | aab=1, cbba=c⟩Noc Inf
84324⟨a, b, c | aab=1, cbbb=a⟩Noc Inf
84325⟨a, b, c | aab=1, cbbb=b⟩Noc Inf
84326⟨a, b, c | aab=1, cbbb=c⟩Noc Inf
84328⟨a, b, c | aab=1, cbbc=b⟩Noc Inf
84329⟨a, b, c | aab=1, cbbc=c⟩Noc Inf
84332⟨a, b, c | aab=1, cbca=c⟩Noc Inf
84333⟨a, b, c | aab=1, cbcb=a⟩Noc Inf
84334⟨a, b, c | aab=1, cbcb=b⟩Noc Inf
84335⟨a, b, c | aab=1, cbcb=c⟩Noc Inf
84337⟨a, b, c | aab=1, cbcc=b⟩Noc Inf
84338⟨a, b, c | aab=1, cbcc=c⟩Noc Inf
84341⟨a, b, c | aab=1, ccaa=c⟩Noc Inf
84342⟨a, b, c | aab=1, ccab=a⟩Noc Inf
84343⟨a, b, c | aab=1, ccab=b⟩Noc Inf
84344⟨a, b, c | aab=1, ccab=c⟩Noc Inf
84345⟨a, b, c | aab=1, ccac=a⟩Noc Inf
84347⟨a, b, c | aab=1, ccac=c⟩Noc Inf
84350⟨a, b, c | aab=1, ccba=c⟩Noc Inf
84351⟨a, b, c | aab=1, ccbb=a⟩Noc Inf
84352⟨a, b, c | aab=1, ccbb=b⟩Noc Inf
84353⟨a, b, c | aab=1, ccbb=c⟩Noc Inf
84354⟨a, b, c | aab=1, ccbc=a⟩Noc Inf
84355⟨a, b, c | aab=1, ccbc=b⟩Noc Inf
84356⟨a, b, c | aab=1, ccbc=c⟩Noc Inf
84359⟨a, b, c | aab=1, ccca=c⟩Noc Inf
84360⟨a, b, c | aab=1, cccb=a⟩Noc Inf
84361⟨a, b, c | aab=1, cccb=b⟩Noc Inf
84362⟨a, b, c | aab=1, cccb=c⟩Noc Inf
84363⟨a, b, c | aab=1, cccc=a⟩Noc Inf1
84365⟨a, b, c | aab=1, cccc=c⟩Noc Inf
84370⟨a, b, c | aba=1, aaac=c⟩Noc Inf3
84375⟨a, b, c | aba=1, aabc=c⟩Can Infℕ ∗ ℤ2
84378⟨a, b, c | aba=1, aaca=c⟩Mon Inf
84384⟨a, b, c | aba=1, aacc=c⟩Noc Inf
84402⟨a, b, c | aba=1, abcc=c⟩Noc Inf1
84408⟨a, b, c | aba=1, acac=c⟩Noc Inf
84411⟨a, b, c | aba=1, acbb=c⟩Mon Inf
84414⟨a, b, c | aba=1, acbc=c⟩Noc Inf
84417⟨a, b, c | aba=1, acca=c⟩Mon Inf
84420⟨a, b, c | aba=1, accb=c⟩Mon Inf
84423⟨a, b, c | aba=1, accc=c⟩Noc Inf
84444⟨a, b, c | aba=1, bbbc=c⟩Noc Inf
84447⟨a, b, c | aba=1, bbcb=c⟩Mon Inf
84450⟨a, b, c | aba=1, bbcc=c⟩Noc Inf
84453⟨a, b, c | aba=1, bcac=c⟩Noc Inf
84456⟨a, b, c | aba=1, bcbc=c⟩Noc Inf
84459⟨a, b, c | aba=1, bccb=c⟩Mon Inf
84462⟨a, b, c | aba=1, bccc=c⟩Noc Inf
84465⟨a, b, c | aba=1, caac=c⟩Noc Inf
84468⟨a, b, c | aba=1, cabc=c⟩Noc Inf
84471⟨a, b, c | aba=1, cacc=c⟩Noc Inf
84474⟨a, b, c | aba=1, cbbc=c⟩Noc Inf
84476⟨a, b, c | aba=1, cbcc=b⟩Grp Inf
84477⟨a, b, c | aba=1, cbcc=c⟩Noc Inf
84480⟨a, b, c | aba=1, cccc=c⟩Noc Infℕ(4 = 1) ∗ ℤ
84484⟨a, b, c | abc=1, aaab=a⟩Noc Inf
84487⟨a, b, c | abc=1, aaac=a⟩Noc Inf
84489⟨a, b, c | abc=1, aaac=c⟩Noc Inf
84491⟨a, b, c | abc=1, aaba=b⟩Noc Inf
84493⟨a, b, c | abc=1, aabb=a⟩Noc Inf
84494⟨a, b, c | abc=1, aabb=b⟩Noc Inf
84496⟨a, b, c | abc=1, aabc=a⟩Noc Inf2
84501⟨a, b, c | abc=1, aaca=c⟩Noc Inf
84502⟨a, b, c | abc=1, aacb=a⟩Noc Inf
84503⟨a, b, c | abc=1, aacb=b⟩Noc Inf
84504⟨a, b, c | abc=1, aacb=c⟩Noc Inf
84505⟨a, b, c | abc=1, aacc=a⟩Noc Inf
84508⟨a, b, c | abc=1, abaa=b⟩Noc Inf
84510⟨a, b, c | abc=1, abab=a⟩Noc Inf
84513⟨a, b, c | abc=1, abac=a⟩Noc Inf
84514⟨a, b, c | abc=1, abac=b⟩Noc Inf
84515⟨a, b, c | abc=1, abac=c⟩Noc Inf
84516⟨a, b, c | abc=1, abba=a⟩Noc Inf
84517⟨a, b, c | abc=1, abba=b⟩Noc Inf
84519⟨a, b, c | abc=1, abbb=a⟩Noc Inf
84520⟨a, b, c | abc=1, abbb=b⟩Noc Inf
84521⟨a, b, c | abc=1, abbb=c⟩Noc Inf1
84522⟨a, b, c | abc=1, abbc=a⟩Noc Inf
84523⟨a, b, c | abc=1, abbc=b⟩Noc Inf
84532⟨a, b, c | abc=1, acaa=c⟩Mon Inf
84533⟨a, b, c | abc=1, acab=a⟩Noc Inf
84534⟨a, b, c | abc=1, acab=b⟩Noc Inf
84536⟨a, b, c | abc=1, acac=a⟩Noc Inf
84541⟨a, b, c | abc=1, acbb=a⟩Noc Inf
84542⟨a, b, c | abc=1, acbb=b⟩Noc Inf
84543⟨a, b, c | abc=1, acbb=c⟩Noc Inf
84544⟨a, b, c | abc=1, acca=a⟩Noc Inf
84546⟨a, b, c | abc=1, acca=c⟩Noc Inf
84547⟨a, b, c | abc=1, accb=a⟩Noc Inf
84548⟨a, b, c | abc=1, accb=b⟩Noc Inf
84549⟨a, b, c | abc=1, accb=c⟩Noc Inf
84551⟨a, b, c | abc=1, baaa=b⟩Noc Inf
84553⟨a, b, c | abc=1, baab=a⟩Noc Inf
84557⟨a, b, c | abc=1, baba=b⟩Noc Inf
84559⟨a, b, c | abc=1, babb=a⟩Noc Inf
84560⟨a, b, c | abc=1, babb=b⟩Noc Inf
84562⟨a, b, c | abc=1, baca=a⟩Noc Inf
84563⟨a, b, c | abc=1, baca=b⟩Noc Inf
84564⟨a, b, c | abc=1, baca=c⟩Noc Inf
84565⟨a, b, c | abc=1, bacb=a⟩Noc Inf
84566⟨a, b, c | abc=1, bacb=b⟩Noc Inf
84568⟨a, b, c | abc=1, bbaa=b⟩Noc Inf
84570⟨a, b, c | abc=1, bbab=a⟩Noc Inf
84573⟨a, b, c | abc=1, bbba=a⟩Noc Inf
84574⟨a, b, c | abc=1, bbba=b⟩Noc Inf
84577⟨a, b, c | abc=1, bbbb=b⟩Noc Inf
84578⟨a, b, c | abc=1, bbca=a⟩Noc Inf
84579⟨a, b, c | abc=1, bbca=b⟩Noc Inf
84582⟨a, b, c | abc=1, bcaa=b⟩Noc Inf
84585⟨a, b, c | abc=1, bcab=b⟩Noc Inf
84587⟨a, b, c | abc=1, bcba=b⟩Noc Inf
84591⟨a, b, c | abc=1, bcca=c⟩Noc Inf
84595⟨a, b, c | abc=1, caba=a⟩Noc Inf
84634⟨a, b, c | aa=a, babac=1⟩Noc Inf
84635⟨a, b, c | aa=a, babbc=1⟩Noc Inf
84637⟨a, b, c | aa=a, babcc=1⟩Noc Inf
84640⟨a, b, c | aa=a, bacbc=1⟩Noc Inf
84642⟨a, b, c | aa=a, baccc=1⟩Noc Inf
84643⟨a, b, c | aa=a, bbabc=1⟩Noc Inf
84645⟨a, b, c | aa=a, bbacc=1⟩Noc Inf
84646⟨a, b, c | aa=a, bbbbc=1⟩Noc Inf
84647⟨a, b, c | aa=a, bbbcb=1⟩Noc Infℕ(2 = 1) ∗ ℤ1
84648⟨a, b, c | aa=a, bbbcc=1⟩Noc Inf
84650⟨a, b, c | aa=a, bbcbc=1⟩Noc Inf
84651⟨a, b, c | aa=a, bbccb=1⟩Noc Inf
84654⟨a, b, c | aa=a, bcbbc=1⟩Noc Infℕ(2 = 1) ∗ ℤ1
84656⟨a, b, c | aa=a, bcccb=1⟩Noc Inf
84685⟨a, b, c | aa=b, abbcc=1⟩Noc Inf2
84737⟨a, b, c | aa=b, bbcac=1⟩Noc Inf1
84741⟨a, b, c | aa=b, bbccc=1⟩Noc Inf
84771⟨a, b, c | aa=b, ccccc=1⟩Can Infℤ5 ∗ ℕ1
84772⟨a, b, c | ab=a, aaaac=1⟩Noc Inf
84775⟨a, b, c | ab=a, aaacb=1⟩Noc Inf
84776⟨a, b, c | ab=a, aaacc=1⟩Noc Inf
84784⟨a, b, c | ab=a, aacac=1⟩Noc Inf
84786⟨a, b, c | ab=a, aacbb=1⟩Noc Inf
84787⟨a, b, c | ab=a, aacbc=1⟩Noc Inf
84789⟨a, b, c | ab=a, aaccb=1⟩Noc Inf
84790⟨a, b, c | ab=a, aaccc=1⟩Noc Inf
84817⟨a, b, c | ab=a, acacb=1⟩Noc Inf
84818⟨a, b, c | ab=a, acacc=1⟩Noc Inf
84821⟨a, b, c | ab=a, acbac=1⟩Noc Inf
84823⟨a, b, c | ab=a, acbbb=1⟩Noc Inf
84824⟨a, b, c | ab=a, acbbc=1⟩Noc Inf
84826⟨a, b, c | ab=a, acbcb=1⟩Noc Inf
84827⟨a, b, c | ab=a, acbcc=1⟩Noc Inf
84832⟨a, b, c | ab=a, accbb=1⟩Noc Inf
84833⟨a, b, c | ab=a, accbc=1⟩Noc Inf
84835⟨a, b, c | ab=a, acccb=1⟩Noc Inf
84836⟨a, b, c | ab=a, acccc=1⟩Noc Inf
84837⟨a, b, c | ab=a, baaac=1⟩Noc Inf
84840⟨a, b, c | ab=a, baacb=1⟩Noc Inf
84841⟨a, b, c | ab=a, baacc=1⟩Noc Inf
84849⟨a, b, c | ab=a, bacac=1⟩Noc Inf
84851⟨a, b, c | ab=a, bacbb=1⟩Noc Inf1
84852⟨a, b, c | ab=a, bacbc=1⟩Noc Inf
84854⟨a, b, c | ab=a, baccb=1⟩Noc Inf
84855⟨a, b, c | ab=a, baccc=1⟩Noc Inf
84856⟨a, b, c | ab=a, bbaac=1⟩Noc Inf
84860⟨a, b, c | ab=a, bbacc=1⟩Noc Inf
84861⟨a, b, c | ab=a, bbbac=1⟩Noc Inf
84862⟨a, b, c | ab=a, bbbbc=1⟩Noc Inf
84864⟨a, b, c | ab=a, bbbcb=1⟩Noc Inf2
84865⟨a, b, c | ab=a, bbbcc=1⟩Noc Inf
84871⟨a, b, c | ab=a, bbcbc=1⟩Noc Inf
84873⟨a, b, c | ab=a, bbccb=1⟩Noc Inf2
84874⟨a, b, c | ab=a, bbccc=1⟩Noc Inf
84883⟨a, b, c | ab=a, bcacc=1⟩Noc Inf
84889⟨a, b, c | ab=a, bcbbc=1⟩Noc Inf2
84892⟨a, b, c | ab=a, bcbcc=1⟩Noc Inf
84898⟨a, b, c | ab=a, bccbc=1⟩Noc Inf2
84900⟨a, b, c | ab=a, bcccb=1⟩Noc Inf2
84901⟨a, b, c | ab=a, bcccc=1⟩Noc Inf
84909⟨a, b, c | ab=a, caacb=1⟩Noc Inf
84924⟨a, b, c | ab=a, cacbb=1⟩Noc Inf
84925⟨a, b, c | ab=a, cacbc=1⟩Noc Inf
84927⟨a, b, c | ab=a, caccb=1⟩Noc Inf
84942⟨a, b, c | ab=a, cbbbb=1⟩Noc Inf
84951⟨a, b, c | ab=a, cbcbb=1⟩Noc Inf
84955⟨a, b, c | ab=a, cbccc=1⟩Noc Inf2
84963⟨a, b, c | ab=a, ccacb=1⟩Noc Inf
84969⟨a, b, c | ab=a, ccbbb=1⟩Noc Inf
84972⟨a, b, c | ab=a, ccbcb=1⟩Noc Inf
84978⟨a, b, c | ab=a, cccbb=1⟩Noc Inf
84981⟨a, b, c | ab=a, ccccb=1⟩Noc Inf
84982⟨a, b, c | ab=a, ccccc=1⟩Noc Inf
85005⟨a, b, c | ab=c, aacbc=1⟩Noc Inf
85007⟨a, b, c | ab=c, aaccb=1⟩Noc Inf
85008⟨a, b, c | ab=c, aaccc=1⟩Noc Inf
85030⟨a, b, c | ab=c, abccb=1⟩Noc Inf
85042⟨a, b, c | ab=c, acbbc=1⟩Noc Inf
85044⟨a, b, c | ab=c, acbcc=1⟩Noc Inf
85050⟨a, b, c | ab=c, acccb=1⟩Noc Inf
85051⟨a, b, c | ab=c, acccc=1⟩Noc Inf
85100⟨a, b, c | ab=c, cacbc=1⟩Noc Inf
85116⟨a, b, c | aa=a, abac=a⟩Noc Inf
85117⟨a, b, c | aa=a, abac=b⟩Noc Inf
85121⟨a, b, c | aa=a, abbc=a⟩Noc Inf
85122⟨a, b, c | aa=a, abbc=b⟩Noc Inf
85123⟨a, b, c | aa=a, abbc=c⟩Noc Inf
85124⟨a, b, c | aa=a, abca=a⟩Noc Inf
85125⟨a, b, c | aa=a, abca=b⟩Noc Inf
85126⟨a, b, c | aa=a, abcb=a⟩Noc Inf
85127⟨a, b, c | aa=a, abcb=b⟩Noc Inf
85128⟨a, b, c | aa=a, abcb=c⟩Noc Inf
85129⟨a, b, c | aa=a, abcc=a⟩Noc Inf
85130⟨a, b, c | aa=a, abcc=b⟩Noc Inf
85131⟨a, b, c | aa=a, abcc=c⟩Noc Inf
85136⟨a, b, c | aa=a, babc=a⟩Noc Inf
85137⟨a, b, c | aa=a, babc=b⟩Noc Inf
85138⟨a, b, c | aa=a, babc=c⟩Noc Inf
85139⟨a, b, c | aa=a, bacb=a⟩Noc Inf
85140⟨a, b, c | aa=a, bacb=b⟩Noc Inf
85141⟨a, b, c | aa=a, bacb=c⟩Noc Inf
85142⟨a, b, c | aa=a, bacc=a⟩Noc Inf
85143⟨a, b, c | aa=a, bacc=b⟩Noc Inf
85144⟨a, b, c | aa=a, bacc=c⟩Noc Inf
85146⟨a, b, c | aa=a, bbbc=a⟩Noc Inf
85147⟨a, b, c | aa=a, bbbc=b⟩Noc Inf
85148⟨a, b, c | aa=a, bbbc=c⟩Noc Inf
85149⟨a, b, c | aa=a, bbcb=a⟩Noc Inf
85150⟨a, b, c | aa=a, bbcb=b⟩Noc Inf
85151⟨a, b, c | aa=a, bbcb=c⟩Noc Inf
85152⟨a, b, c | aa=a, bbcc=a⟩Noc Inf
85153⟨a, b, c | aa=a, bbcc=b⟩Noc Inf
85154⟨a, b, c | aa=a, bcbc=a⟩Noc Inf
85155⟨a, b, c | aa=a, bcbc=b⟩Noc Inf
85156⟨a, b, c | aa=a, bccb=a⟩Noc Inf
85157⟨a, b, c | aa=a, bccb=b⟩Noc Inf
85158⟨a, b, c | aa=a, bccb=c⟩Noc Inf
85184⟨a, b, c | aa=b, abbc=a⟩Noc Inf2
85185⟨a, b, c | aa=b, abbc=b⟩Noc Inf2
85186⟨a, b, c | aa=b, abbc=c⟩Noc Inf2
85188⟨a, b, c | aa=b, abca=b⟩Noc Inf1
85190⟨a, b, c | aa=b, abcb=a⟩Noc Inf1
85191⟨a, b, c | aa=b, abcb=b⟩Noc Inf1
85192⟨a, b, c | aa=b, abcb=c⟩Can Inf1
85194⟨a, b, c | aa=b, abcc=b⟩Noc Inf1
85202⟨a, b, c | aa=b, acbb=a⟩Noc Inf
85203⟨a, b, c | aa=b, acbb=b⟩Noc Inf
85204⟨a, b, c | aa=b, acbb=c⟩Can Inf
85206⟨a, b, c | aa=b, acbc=b⟩Noc Inf1
85207⟨a, b, c | aa=b, acbc=c⟩Noc Inf2
85212⟨a, b, c | aa=b, accb=b⟩Noc Inf
85216⟨a, b, c | aa=b, accc=c⟩Noc Inf2
85236⟨a, b, c | aa=b, bbbc=b⟩Noc Inf
85239⟨a, b, c | aa=b, bbcb=b⟩Noc Inf
85240⟨a, b, c | aa=b, bbcb=c⟩Can Inf
85241⟨a, b, c | aa=b, bbcc=a⟩Noc Inf
85242⟨a, b, c | aa=b, bbcc=b⟩Noc Inf
85243⟨a, b, c | aa=b, bbcc=c⟩Noc Inf
85245⟨a, b, c | aa=b, bcac=b⟩Noc Inf1
85247⟨a, b, c | aa=b, bcbc=a⟩Noc Inf1
85249⟨a, b, c | aa=b, bcbc=c⟩Noc Inf
85250⟨a, b, c | aa=b, bccb=a⟩Noc Inf
85251⟨a, b, c | aa=b, bccb=b⟩Noc Inf
85252⟨a, b, c | aa=b, bccb=c⟩Can Inf
85253⟨a, b, c | aa=b, bccc=a⟩Noc Inf1
85254⟨a, b, c | aa=b, bccc=b⟩Noc Inf
85255⟨a, b, c | aa=b, bccc=c⟩Noc Inf1
85260⟨a, b, c | aa=b, cabc=b⟩Can Inf
85265⟨a, b, c | aa=b, cbbc=a⟩Can Inf
85266⟨a, b, c | aa=b, cbbc=b⟩Can Inf
85267⟨a, b, c | aa=b, cbbc=c⟩Noc Inf
85269⟨a, b, c | aa=b, cbcc=b⟩Can Inf
85273⟨a, b, c | aa=b, cccc=c⟩Noc Infℕ(4 = 1) ∗ ℕ1
85276⟨a, b, c | ab=a, aaac=a⟩Noc Inf
85278⟨a, b, c | ab=a, aaac=c⟩Noc Inf
85284⟨a, b, c | ab=a, aaca=a⟩Noc Inf
85286⟨a, b, c | ab=a, aaca=c⟩Noc Inf
85287⟨a, b, c | ab=a, aacb=a⟩Noc Inf
85288⟨a, b, c | ab=a, aacb=b⟩Noc Inf
85289⟨a, b, c | ab=a, aacb=c⟩Noc Inf
85290⟨a, b, c | ab=a, aacc=a⟩Noc Inf
85292⟨a, b, c | ab=a, aacc=c⟩Noc Inf
85312⟨a, b, c | ab=a, acaa=a⟩Noc Inf
85314⟨a, b, c | ab=a, acaa=c⟩Noc Inf
85318⟨a, b, c | ab=a, acac=a⟩Noc Inf
85320⟨a, b, c | ab=a, acac=c⟩Noc Inf
85321⟨a, b, c | ab=a, acba=a⟩Noc Inf
85322⟨a, b, c | ab=a, acba=b⟩Noc Inf
85324⟨a, b, c | ab=a, acbb=a⟩Noc Inf
85325⟨a, b, c | ab=a, acbb=b⟩Noc Inf
85326⟨a, b, c | ab=a, acbb=c⟩Noc Inf
85327⟨a, b, c | ab=a, acbc=a⟩Noc Inf
85328⟨a, b, c | ab=a, acbc=b⟩Noc Inf
85329⟨a, b, c | ab=a, acbc=c⟩Noc Inf
85330⟨a, b, c | ab=a, acca=a⟩Noc Inf
85332⟨a, b, c | ab=a, acca=c⟩Noc Inf
85333⟨a, b, c | ab=a, accb=a⟩Noc Inf
85334⟨a, b, c | ab=a, accb=b⟩Noc Inf
85335⟨a, b, c | ab=a, accb=c⟩Noc Inf
85336⟨a, b, c | ab=a, accc=a⟩Noc Inf
85338⟨a, b, c | ab=a, accc=c⟩Noc Inf
85341⟨a, b, c | ab=a, baac=a⟩Noc Inf
85342⟨a, b, c | ab=a, baac=b⟩Noc Inf
85343⟨a, b, c | ab=a, baac=c⟩Noc Inf
85349⟨a, b, c | ab=a, baca=a⟩Noc Inf
85350⟨a, b, c | ab=a, baca=b⟩Noc Inf
85351⟨a, b, c | ab=a, baca=c⟩Noc Inf
85352⟨a, b, c | ab=a, bacb=a⟩Noc Inf
85353⟨a, b, c | ab=a, bacb=b⟩Noc Inf
85354⟨a, b, c | ab=a, bacb=c⟩Noc Inf
85355⟨a, b, c | ab=a, bacc=a⟩Noc Inf
85356⟨a, b, c | ab=a, bacc=b⟩Noc Inf
85357⟨a, b, c | ab=a, bacc=c⟩Noc Inf
85360⟨a, b, c | ab=a, bbac=a⟩Noc Inf
85361⟨a, b, c | ab=a, bbac=b⟩Noc Inf
85362⟨a, b, c | ab=a, bbac=c⟩Noc Inf
85365⟨a, b, c | ab=a, bbbc=a⟩Noc Inf
85366⟨a, b, c | ab=a, bbbc=b⟩Noc Inf
85367⟨a, b, c | ab=a, bbbc=c⟩Noc Inf
85368⟨a, b, c | ab=a, bbca=a⟩Noc Inf
85370⟨a, b, c | ab=a, bbca=c⟩Noc Inf
85371⟨a, b, c | ab=a, bbcb=a⟩Noc Inf
85372⟨a, b, c | ab=a, bbcb=b⟩Noc Inf
85373⟨a, b, c | ab=a, bbcb=c⟩Noc Inf
85374⟨a, b, c | ab=a, bbcc=a⟩Noc Inf
85375⟨a, b, c | ab=a, bbcc=b⟩Noc Inf
85376⟨a, b, c | ab=a, bbcc=c⟩Noc Inf
85377⟨a, b, c | ab=a, bcaa=a⟩Noc Inf
85378⟨a, b, c | ab=a, bcaa=b⟩Noc Inf
85379⟨a, b, c | ab=a, bcaa=c⟩Noc Inf
85383⟨a, b, c | ab=a, bcac=a⟩Noc Inf
85384⟨a, b, c | ab=a, bcac=b⟩Noc Inf
85385⟨a, b, c | ab=a, bcac=c⟩Noc Inf
85386⟨a, b, c | ab=a, bcba=a⟩Noc Inf
85387⟨a, b, c | ab=a, bcba=b⟩Noc Inf
85389⟨a, b, c | ab=a, bcbb=a⟩Noc Inf
85390⟨a, b, c | ab=a, bcbb=b⟩Noc Inf
85391⟨a, b, c | ab=a, bcbb=c⟩Noc Inf
85392⟨a, b, c | ab=a, bcbc=a⟩Noc Inf
85393⟨a, b, c | ab=a, bcbc=b⟩Noc Inf
85394⟨a, b, c | ab=a, bcbc=c⟩Noc Inf
85395⟨a, b, c | ab=a, bcca=a⟩Noc Inf
85396⟨a, b, c | ab=a, bcca=b⟩Noc Inf
85397⟨a, b, c | ab=a, bcca=c⟩Noc Inf
85398⟨a, b, c | ab=a, bccb=a⟩Noc Inf
85399⟨a, b, c | ab=a, bccb=b⟩Noc Inf
85400⟨a, b, c | ab=a, bccb=c⟩Noc Inf
85401⟨a, b, c | ab=a, bccc=a⟩Noc Inf
85402⟨a, b, c | ab=a, bccc=b⟩Noc Inf
85403⟨a, b, c | ab=a, bccc=c⟩Noc Inf
85404⟨a, b, c | ab=a, caaa=a⟩Noc Inf
85406⟨a, b, c | ab=a, caaa=c⟩Noc Inf
85410⟨a, b, c | ab=a, caac=a⟩Noc Inf
85412⟨a, b, c | ab=a, caac=c⟩Noc Inf
85422⟨a, b, c | ab=a, caca=a⟩Noc Inf
85424⟨a, b, c | ab=a, caca=c⟩Noc Inf
85425⟨a, b, c | ab=a, cacb=a⟩Noc Inf
85426⟨a, b, c | ab=a, cacb=b⟩Noc Inf
85427⟨a, b, c | ab=a, cacb=c⟩Noc Inf
85428⟨a, b, c | ab=a, cacc=a⟩Noc Inf
85429⟨a, b, c | ab=a, cacc=b⟩Noc Inf
85430⟨a, b, c | ab=a, cacc=c⟩Noc Inf
85431⟨a, b, c | ab=a, cbaa=a⟩Noc Inf
85432⟨a, b, c | ab=a, cbaa=b⟩Noc Inf
85437⟨a, b, c | ab=a, cbac=a⟩Noc Inf
85438⟨a, b, c | ab=a, cbac=b⟩Noc Inf
85439⟨a, b, c | ab=a, cbac=c⟩Noc Inf
85440⟨a, b, c | ab=a, cbba=a⟩Noc Inf
85443⟨a, b, c | ab=a, cbbb=a⟩Noc Inf
85444⟨a, b, c | ab=a, cbbb=b⟩Noc Inf
85445⟨a, b, c | ab=a, cbbb=c⟩Noc Inf
85446⟨a, b, c | ab=a, cbbc=a⟩Noc Inf
85447⟨a, b, c | ab=a, cbbc=b⟩Noc Inf
85448⟨a, b, c | ab=a, cbbc=c⟩Noc Inf
85449⟨a, b, c | ab=a, cbca=a⟩Noc Inf
85450⟨a, b, c | ab=a, cbca=b⟩Noc Inf
85452⟨a, b, c | ab=a, cbcb=a⟩Noc Inf
85453⟨a, b, c | ab=a, cbcb=b⟩Noc Inf
85454⟨a, b, c | ab=a, cbcb=c⟩Noc Inf
85455⟨a, b, c | ab=a, cbcc=a⟩Noc Inf
85456⟨a, b, c | ab=a, cbcc=b⟩Noc Inf
85457⟨a, b, c | ab=a, cbcc=c⟩Noc Inf
85458⟨a, b, c | ab=a, ccaa=a⟩Noc Inf
85460⟨a, b, c | ab=a, ccaa=c⟩Noc Inf
85464⟨a, b, c | ab=a, ccac=a⟩Noc Inf
85466⟨a, b, c | ab=a, ccac=c⟩Noc Inf
85467⟨a, b, c | ab=a, ccba=a⟩Noc Inf
85468⟨a, b, c | ab=a, ccba=b⟩Noc Inf
85470⟨a, b, c | ab=a, ccbb=a⟩Noc Inf
85471⟨a, b, c | ab=a, ccbb=b⟩Noc Inf
85472⟨a, b, c | ab=a, ccbb=c⟩Noc Inf
85473⟨a, b, c | ab=a, ccbc=a⟩Noc Inf
85474⟨a, b, c | ab=a, ccbc=b⟩Noc Inf
85475⟨a, b, c | ab=a, ccbc=c⟩Noc Inf
85476⟨a, b, c | ab=a, ccca=a⟩Noc Inf
85478⟨a, b, c | ab=a, ccca=c⟩Noc Inf
85479⟨a, b, c | ab=a, cccb=a⟩Noc Inf
85480⟨a, b, c | ab=a, cccb=b⟩Noc Inf
85481⟨a, b, c | ab=a, cccb=c⟩Noc Inf
85482⟨a, b, c | ab=a, cccc=a⟩Noc Inf1
85483⟨a, b, c | ab=a, cccc=b⟩Noc Inf
85484⟨a, b, c | ab=a, cccc=c⟩Noc Inf
85493⟨a, b, c | ab=c, aaac=c⟩Noc Inf1
85504⟨a, b, c | ab=c, aaca=c⟩Noc Inf
85507⟨a, b, c | ab=c, aacb=c⟩Noc Inf
85508⟨a, b, c | ab=c, aacc=a⟩Noc Inf
85510⟨a, b, c | ab=c, aacc=c⟩Noc Inf
85513⟨a, b, c | ab=c, abaa=c⟩Noc Inf1
85521⟨a, b, c | ab=c, abba=c⟩Noc Inf
85522⟨a, b, c | ab=c, abbc=a⟩Noc Inf
85524⟨a, b, c | ab=c, abbc=c⟩Noc Inf
85527⟨a, b, c | ab=c, abca=c⟩Noc Inf
85529⟨a, b, c | ab=c, abcb=b⟩Noc Inf1
85530⟨a, b, c | ab=c, abcb=c⟩Noc Inf
85536⟨a, b, c | ab=c, acaa=c⟩Mon Inf1
85542⟨a, b, c | ab=c, acba=c⟩Noc Inf
85543⟨a, b, c | ab=c, acbc=a⟩Noc Inf
85544⟨a, b, c | ab=c, acbc=b⟩Noc Inf
85545⟨a, b, c | ab=c, acbc=c⟩Noc Inf
85546⟨a, b, c | ab=c, acca=a⟩Noc Inf1
85548⟨a, b, c | ab=c, acca=c⟩Mon Inf
85549⟨a, b, c | ab=c, accb=a⟩Noc Inf
85550⟨a, b, c | ab=c, accb=c⟩Noc Inf
85551⟨a, b, c | ab=c, accc=a⟩Noc Inf
85553⟨a, b, c | ab=c, accc=c⟩Noc Inf
85559⟨a, b, c | ab=c, baac=c⟩Noc Inf
85567⟨a, b, c | ab=c, baca=c⟩Can Inf
85568⟨a, b, c | ab=c, bacc=a⟩Can Inf
85569⟨a, b, c | ab=c, bacc=b⟩Noc Inf1
85570⟨a, b, c | ab=c, bacc=c⟩Noc Inf
85575⟨a, b, c | ab=c, bbac=c⟩Noc Inf
85578⟨a, b, c | ab=c, bbbc=c⟩Noc Inf
85581⟨a, b, c | ab=c, bbca=c⟩Can Inf1
85584⟨a, b, c | ab=c, bbcc=c⟩Noc Inf
85585⟨a, b, c | ab=c, bcac=a⟩Can Inf
85587⟨a, b, c | ab=c, bcac=c⟩Noc Inf
85589⟨a, b, c | ab=c, bcbc=b⟩Noc Inf
85590⟨a, b, c | ab=c, bcbc=c⟩Noc Inf
85591⟨a, b, c | ab=c, bcca=a⟩Noc Inf
85592⟨a, b, c | ab=c, bcca=c⟩Can Inf
85595⟨a, b, c | ab=c, bccc=c⟩Noc Inf
85596⟨a, b, c | ab=c, caac=a⟩Noc Inf
85598⟨a, b, c | ab=c, caac=c⟩Noc Inf
85603⟨a, b, c | ab=c, cacc=c⟩Noc Inf
85604⟨a, b, c | ab=c, cbac=a⟩Noc Inf
85605⟨a, b, c | ab=c, cbac=c⟩Noc Inf
85607⟨a, b, c | ab=c, cbcc=b⟩Mon Inf
85608⟨a, b, c | ab=c, cbcc=c⟩Noc Inf
85610⟨a, b, c | ab=c, cccc=c⟩Noc Inf
85612⟨a, b, c | aa=a, aab=ac⟩Noc Inf
85614⟨a, b, c | aa=a, aab=ca⟩Noc Inf
85615⟨a, b, c | aa=a, aab=cb⟩Noc Inf
85616⟨a, b, c | aa=a, aab=cc⟩Noc Inf
85617⟨a, b, c | aa=a, aba=ac⟩Noc Inf
85618⟨a, b, c | aa=a, aba=bc⟩Noc Inf
85619⟨a, b, c | aa=a, aba=cc⟩Noc Inf
85620⟨a, b, c | aa=a, abb=ac⟩Noc Inf
85621⟨a, b, c | aa=a, abb=bc⟩Noc Inf
85622⟨a, b, c | aa=a, abb=ca⟩Noc Inf
85623⟨a, b, c | aa=a, abb=cb⟩Noc Inf
85624⟨a, b, c | aa=a, abb=cc⟩Noc Inf
85626⟨a, b, c | aa=a, abc=ab⟩Noc Inf
85627⟨a, b, c | aa=a, abc=ac⟩Noc Inf
85628⟨a, b, c | aa=a, abc=ba⟩Noc Inf
85629⟨a, b, c | aa=a, abc=bb⟩Noc Inf
85630⟨a, b, c | aa=a, abc=bc⟩Noc Inf
85631⟨a, b, c | aa=a, abc=ca⟩Noc Inf
85632⟨a, b, c | aa=a, abc=cb⟩Noc Inf
85633⟨a, b, c | aa=a, abc=cc⟩Noc Inf
85634⟨a, b, c | aa=a, bab=ac⟩Noc Inf
85635⟨a, b, c | aa=a, bab=bc⟩Noc Inf
85636⟨a, b, c | aa=a, bab=cc⟩Noc Inf
85638⟨a, b, c | aa=a, bac=ab⟩Noc Inf
85639⟨a, b, c | aa=a, bac=ac⟩Noc Inf
85640⟨a, b, c | aa=a, bac=bb⟩Noc Inf
85641⟨a, b, c | aa=a, bac=bc⟩Noc Inf
85642⟨a, b, c | aa=a, bac=cb⟩Noc Inf
85643⟨a, b, c | aa=a, bbb=ac⟩Noc Inf
85644⟨a, b, c | aa=a, bbb=bc⟩Noc Inf
85645⟨a, b, c | aa=a, bbb=cc⟩Noc Inf
85647⟨a, b, c | aa=a, bbc=ab⟩Noc Inf
85648⟨a, b, c | aa=a, bbc=ac⟩Noc Inf
85649⟨a, b, c | aa=a, bbc=ba⟩Noc Inf
85650⟨a, b, c | aa=a, bbc=bb⟩Noc Inf
85651⟨a, b, c | aa=a, bbc=bc⟩Noc Inf
85652⟨a, b, c | aa=a, bbc=ca⟩Noc Inf
85653⟨a, b, c | aa=a, bbc=cb⟩Noc Inf
85654⟨a, b, c | aa=a, bbc=cc⟩Noc Inf
85656⟨a, b, c | aa=a, bcb=ab⟩Noc Inf
85657⟨a, b, c | aa=a, bcb=ac⟩Noc Inf
85658⟨a, b, c | aa=a, bcb=bb⟩Noc Inf
85659⟨a, b, c | aa=a, bcb=bc⟩Noc Inf
85660⟨a, b, c | aa=a, bcb=cc⟩Noc Inf
85663⟨a, b, c | aa=b, aaa=cc⟩Can Inf1
85674⟨a, b, c | aa=b, aac=bc⟩Can Infℕ ∗ ℕ3
85675⟨a, b, c | aa=b, aac=ca⟩Can Inf1
85677⟨a, b, c | aa=b, aac=cc⟩Noc Inf1
85681⟨a, b, c | aa=b, abb=ac⟩Noc Inf2
85682⟨a, b, c | aa=b, abb=bc⟩Noc Inf2
85685⟨a, b, c | aa=b, abb=cc⟩Can Inf1
85691⟨a, b, c | aa=b, abc=bc⟩Noc Inf2
85693⟨a, b, c | aa=b, abc=cb⟩Can Inf1
85697⟨a, b, c | aa=b, aca=ac⟩Noc Inf
85698⟨a, b, c | aa=b, aca=bb⟩Noc Inf
85702⟨a, b, c | aa=b, acb=ab⟩Noc Inf1
85705⟨a, b, c | aa=b, acb=bb⟩Noc Inf
85706⟨a, b, c | aa=b, acb=bc⟩Noc Inf
85707⟨a, b, c | aa=b, acb=ca⟩Noc Inf
85708⟨a, b, c | aa=b, acb=cb⟩Noc Inf
85714⟨a, b, c | aa=b, acc=bb⟩Noc Inf
85717⟨a, b, c | aa=b, acc=cb⟩Can Inf1
85718⟨a, b, c | aa=b, acc=cc⟩Noc Inf1
85732⟨a, b, c | aa=b, bbb=bc⟩Noc Inf
85733⟨a, b, c | aa=b, bbb=cc⟩Can Inf
85740⟨a, b, c | aa=b, bbc=ca⟩Can Inf
85741⟨a, b, c | aa=b, bbc=cb⟩Can Inf
85742⟨a, b, c | aa=b, bbc=cc⟩Noc Inf
85744⟨a, b, c | aa=b, bcb=ab⟩Noc Inf
85746⟨a, b, c | aa=b, bcb=bb⟩Noc Inf
85747⟨a, b, c | aa=b, bcb=bc⟩Noc Inf
85748⟨a, b, c | aa=b, bcb=cc⟩Can Inf
85750⟨a, b, c | aa=b, bcc=ab⟩Noc Inf1
85753⟨a, b, c | aa=b, bcc=bb⟩Noc Inf
85756⟨a, b, c | aa=b, bcc=cb⟩Can Inf
85760⟨a, b, c | aa=b, cac=ac⟩Noc Inf
85761⟨a, b, c | aa=b, cac=bb⟩Can Inf
85765⟨a, b, c | aa=b, cbc=ab⟩Can Inf
85766⟨a, b, c | aa=b, cbc=ac⟩Noc Inf
85767⟨a, b, c | aa=b, cbc=bb⟩Can Inf
85768⟨a, b, c | aa=b, cbc=bc⟩Noc Inf
85772⟨a, b, c | aa=b, ccc=ac⟩Noc Inf1
85773⟨a, b, c | aa=b, ccc=bb⟩Can Inf
85774⟨a, b, c | aa=b, ccc=bc⟩Noc Inf
85775⟨a, b, c | aa=b, ccc=cc⟩Noc Infℕ(3 = 2) ∗ ℕ1
85776⟨a, b, c | ab=a, aaa=ac⟩Noc Inf
85777⟨a, b, c | ab=a, aaa=bc⟩Noc Inf
85778⟨a, b, c | ab=a, aaa=ca⟩Noc Inf
85779⟨a, b, c | ab=a, aaa=cb⟩Noc Inf
85780⟨a, b, c | ab=a, aaa=cc⟩Noc Inf
85781⟨a, b, c | ab=a, aab=ac⟩Noc Inf2
85782⟨a, b, c | ab=a, aab=bc⟩Noc Inf1
85783⟨a, b, c | ab=a, aab=ca⟩Noc Inf2
85786⟨a, b, c | ab=a, aac=aa⟩Noc Inf
85788⟨a, b, c | ab=a, aac=ac⟩Noc Inf
85789⟨a, b, c | ab=a, aac=ba⟩Noc Inf
85790⟨a, b, c | ab=a, aac=bb⟩Noc Inf
85791⟨a, b, c | ab=a, aac=bc⟩Noc Inf
85792⟨a, b, c | ab=a, aac=ca⟩Noc Inf
85793⟨a, b, c | ab=a, aac=cb⟩Noc Inf
85794⟨a, b, c | ab=a, aac=cc⟩Noc Inf
85807⟨a, b, c | ab=a, abc=ac⟩Noc Inf1
85808⟨a, b, c | ab=a, abc=ba⟩Noc Inf1
85809⟨a, b, c | ab=a, abc=bb⟩Noc Inf
85810⟨a, b, c | ab=a, abc=bc⟩Noc Inf
85812⟨a, b, c | ab=a, abc=cb⟩Noc Inf
85813⟨a, b, c | ab=a, abc=cc⟩Noc Inf
85814⟨a, b, c | ab=a, aca=aa⟩Noc Inf
85816⟨a, b, c | ab=a, aca=ac⟩Noc Inf
85817⟨a, b, c | ab=a, aca=ba⟩Noc Inf
85818⟨a, b, c | ab=a, aca=bb⟩Noc Inf
85819⟨a, b, c | ab=a, aca=bc⟩Noc Inf
85820⟨a, b, c | ab=a, aca=ca⟩Noc Inf
85821⟨a, b, c | ab=a, aca=cb⟩Noc Inf
85822⟨a, b, c | ab=a, aca=cc⟩Noc Inf
85823⟨a, b, c | ab=a, acb=aa⟩Noc Inf
85825⟨a, b, c | ab=a, acb=ac⟩Noc Inf
85826⟨a, b, c | ab=a, acb=ba⟩Noc Inf
85827⟨a, b, c | ab=a, acb=bb⟩Noc Inf
85828⟨a, b, c | ab=a, acb=bc⟩Noc Inf
85829⟨a, b, c | ab=a, acb=ca⟩Noc Inf
85830⟨a, b, c | ab=a, acb=cb⟩Noc Inf
85831⟨a, b, c | ab=a, acb=cc⟩Noc Inf
85832⟨a, b, c | ab=a, acc=aa⟩Noc Inf
85834⟨a, b, c | ab=a, acc=ac⟩Noc Inf
85835⟨a, b, c | ab=a, acc=ba⟩Noc Inf
85836⟨a, b, c | ab=a, acc=bb⟩Noc Inf
85837⟨a, b, c | ab=a, acc=bc⟩Noc Inf
85838⟨a, b, c | ab=a, acc=ca⟩Noc Inf
85839⟨a, b, c | ab=a, acc=cb⟩Noc Inf
85840⟨a, b, c | ab=a, acc=cc⟩Noc Inf
85841⟨a, b, c | ab=a, baa=ac⟩Noc Inf
85842⟨a, b, c | ab=a, baa=bc⟩Noc Inf
85843⟨a, b, c | ab=a, baa=ca⟩Noc Inf
85844⟨a, b, c | ab=a, baa=cb⟩Noc Inf
85845⟨a, b, c | ab=a, baa=cc⟩Noc Inf
85847⟨a, b, c | ab=a, bab=bc⟩Noc Inf
85848⟨a, b, c | ab=a, bab=ca⟩Noc Inf1
85849⟨a, b, c | ab=a, bab=cb⟩Noc Inf
85850⟨a, b, c | ab=a, bab=cc⟩Noc Inf
85851⟨a, b, c | ab=a, bac=aa⟩Noc Inf
85853⟨a, b, c | ab=a, bac=ac⟩Noc Inf
85854⟨a, b, c | ab=a, bac=ba⟩Noc Inf
85855⟨a, b, c | ab=a, bac=bb⟩Noc Inf
85856⟨a, b, c | ab=a, bac=bc⟩Noc Inf
85857⟨a, b, c | ab=a, bac=ca⟩Noc Inf
85858⟨a, b, c | ab=a, bac=cb⟩Noc Inf
85859⟨a, b, c | ab=a, bac=cc⟩Noc Inf
85860⟨a, b, c | ab=a, bba=ac⟩Noc Inf
85861⟨a, b, c | ab=a, bba=bc⟩Noc Inf
85862⟨a, b, c | ab=a, bba=ca⟩Noc Inf
85863⟨a, b, c | ab=a, bba=cb⟩Noc Inf
85864⟨a, b, c | ab=a, bba=cc⟩Noc Inf
85865⟨a, b, c | ab=a, bbb=ac⟩Noc Inf
85866⟨a, b, c | ab=a, bbb=bc⟩Noc Inf
85867⟨a, b, c | ab=a, bbb=ca⟩Noc Inf
85868⟨a, b, c | ab=a, bbb=cb⟩Noc Inf
85869⟨a, b, c | ab=a, bbb=cc⟩Noc Inf
85870⟨a, b, c | ab=a, bbc=aa⟩Noc Inf
85872⟨a, b, c | ab=a, bbc=ac⟩Noc Inf
85873⟨a, b, c | ab=a, bbc=ba⟩Noc Inf
85874⟨a, b, c | ab=a, bbc=bb⟩Noc Inf
85875⟨a, b, c | ab=a, bbc=bc⟩Noc Inf
85876⟨a, b, c | ab=a, bbc=ca⟩Noc Inf
85877⟨a, b, c | ab=a, bbc=cb⟩Noc Inf
85878⟨a, b, c | ab=a, bbc=cc⟩Noc Inf
85879⟨a, b, c | ab=a, bca=aa⟩Noc Inf
85881⟨a, b, c | ab=a, bca=ac⟩Noc Inf
85882⟨a, b, c | ab=a, bca=ba⟩Noc Inf
85883⟨a, b, c | ab=a, bca=bb⟩Noc Inf
85884⟨a, b, c | ab=a, bca=bc⟩Noc Inf
85885⟨a, b, c | ab=a, bca=ca⟩Noc Inf
85886⟨a, b, c | ab=a, bca=cb⟩Noc Inf
85887⟨a, b, c | ab=a, bca=cc⟩Noc Inf
85888⟨a, b, c | ab=a, bcb=aa⟩Noc Inf
85890⟨a, b, c | ab=a, bcb=ac⟩Noc Inf
85891⟨a, b, c | ab=a, bcb=ba⟩Noc Inf
85892⟨a, b, c | ab=a, bcb=bb⟩Noc Inf
85893⟨a, b, c | ab=a, bcb=bc⟩Noc Inf
85894⟨a, b, c | ab=a, bcb=ca⟩Noc Inf
85895⟨a, b, c | ab=a, bcb=cb⟩Noc Inf
85896⟨a, b, c | ab=a, bcb=cc⟩Noc Inf
85897⟨a, b, c | ab=a, bcc=aa⟩Noc Inf
85899⟨a, b, c | ab=a, bcc=ac⟩Noc Inf
85900⟨a, b, c | ab=a, bcc=ba⟩Noc Inf
85901⟨a, b, c | ab=a, bcc=bb⟩Noc Inf
85902⟨a, b, c | ab=a, bcc=bc⟩Noc Inf
85903⟨a, b, c | ab=a, bcc=ca⟩Noc Inf
85904⟨a, b, c | ab=a, bcc=cb⟩Noc Inf
85905⟨a, b, c | ab=a, bcc=cc⟩Noc Inf
85906⟨a, b, c | ab=a, caa=aa⟩Noc Inf
85908⟨a, b, c | ab=a, caa=ac⟩Noc Inf
85909⟨a, b, c | ab=a, caa=ba⟩Noc Inf
85910⟨a, b, c | ab=a, caa=bb⟩Noc Inf
85911⟨a, b, c | ab=a, caa=bc⟩Noc Inf
85912⟨a, b, c | ab=a, caa=ca⟩Noc Inf
85913⟨a, b, c | ab=a, caa=cb⟩Noc Inf
85914⟨a, b, c | ab=a, caa=cc⟩Noc Inf
85919⟨a, b, c | ab=a, cab=bb⟩Noc Inf
85920⟨a, b, c | ab=a, cab=bc⟩Noc Inf
85922⟨a, b, c | ab=a, cab=cb⟩Noc Inf
85924⟨a, b, c | ab=a, cac=aa⟩Noc Inf
85926⟨a, b, c | ab=a, cac=ac⟩Noc Inf
85927⟨a, b, c | ab=a, cac=ba⟩Noc Inf
85928⟨a, b, c | ab=a, cac=bb⟩Noc Inf
85929⟨a, b, c | ab=a, cac=bc⟩Noc Inf
85930⟨a, b, c | ab=a, cac=ca⟩Noc Inf
85931⟨a, b, c | ab=a, cac=cb⟩Noc Inf
85932⟨a, b, c | ab=a, cac=cc⟩Noc Inf
85933⟨a, b, c | ab=a, cba=aa⟩Noc Inf
85935⟨a, b, c | ab=a, cba=ac⟩Noc Inf
85936⟨a, b, c | ab=a, cba=ba⟩Noc Inf
85937⟨a, b, c | ab=a, cba=bb⟩Noc Inf
85938⟨a, b, c | ab=a, cba=bc⟩Noc Inf
85939⟨a, b, c | ab=a, cba=ca⟩Noc Inf
85940⟨a, b, c | ab=a, cba=cb⟩Noc Inf
85941⟨a, b, c | ab=a, cba=cc⟩Noc Inf
85942⟨a, b, c | ab=a, cbb=aa⟩Noc Inf
85944⟨a, b, c | ab=a, cbb=ac⟩Noc Inf
85945⟨a, b, c | ab=a, cbb=ba⟩Noc Inf
85946⟨a, b, c | ab=a, cbb=bb⟩Noc Inf
85947⟨a, b, c | ab=a, cbb=bc⟩Noc Inf
85948⟨a, b, c | ab=a, cbb=ca⟩Noc Inf
85949⟨a, b, c | ab=a, cbb=cb⟩Noc Inf
85950⟨a, b, c | ab=a, cbb=cc⟩Noc Inf
85951⟨a, b, c | ab=a, cbc=aa⟩Noc Inf
85953⟨a, b, c | ab=a, cbc=ac⟩Noc Inf
85954⟨a, b, c | ab=a, cbc=ba⟩Noc Inf
85955⟨a, b, c | ab=a, cbc=bb⟩Noc Inf
85956⟨a, b, c | ab=a, cbc=bc⟩Noc Inf
85957⟨a, b, c | ab=a, cbc=ca⟩Noc Inf
85958⟨a, b, c | ab=a, cbc=cb⟩Noc Inf
85959⟨a, b, c | ab=a, cbc=cc⟩Noc Inf
85960⟨a, b, c | ab=a, cca=aa⟩Noc Inf
85962⟨a, b, c | ab=a, cca=ac⟩Noc Inf
85963⟨a, b, c | ab=a, cca=ba⟩Noc Inf
85964⟨a, b, c | ab=a, cca=bb⟩Noc Inf
85965⟨a, b, c | ab=a, cca=bc⟩Noc Inf
85966⟨a, b, c | ab=a, cca=ca⟩Noc Inf
85967⟨a, b, c | ab=a, cca=cb⟩Noc Inf
85968⟨a, b, c | ab=a, cca=cc⟩Noc Inf
85969⟨a, b, c | ab=a, ccb=aa⟩Noc Inf
85971⟨a, b, c | ab=a, ccb=ac⟩Noc Inf
85972⟨a, b, c | ab=a, ccb=ba⟩Noc Inf
85973⟨a, b, c | ab=a, ccb=bb⟩Noc Inf
85974⟨a, b, c | ab=a, ccb=bc⟩Noc Inf
85975⟨a, b, c | ab=a, ccb=ca⟩Noc Inf
85976⟨a, b, c | ab=a, ccb=cb⟩Noc Inf
85977⟨a, b, c | ab=a, ccb=cc⟩Noc Inf
85978⟨a, b, c | ab=a, ccc=aa⟩Noc Inf
85980⟨a, b, c | ab=a, ccc=ac⟩Noc Inf
85981⟨a, b, c | ab=a, ccc=ba⟩Noc Inf
85982⟨a, b, c | ab=a, ccc=bb⟩Noc Inf
85983⟨a, b, c | ab=a, ccc=bc⟩Noc Inf
85984⟨a, b, c | ab=a, ccc=ca⟩Noc Inf
85985⟨a, b, c | ab=a, ccc=cb⟩Noc Inf
85986⟨a, b, c | ab=a, ccc=cc⟩Noc Inf
85995⟨a, b, c | ab=c, aaa=cc⟩Noc Inf
86004⟨a, b, c | ab=c, aab=cc⟩Noc Inf1
86010⟨a, b, c | ab=c, aac=bc⟩Noc Inf
86011⟨a, b, c | ab=c, aac=ca⟩Noc Inf
86012⟨a, b, c | ab=c, aac=cb⟩Noc Inf
86013⟨a, b, c | ab=c, aac=cc⟩Noc Inf
86017⟨a, b, c | ab=c, aba=ba⟩Noc Inf
86019⟨a, b, c | ab=c, aba=bc⟩Can Inf
86028⟨a, b, c | ab=c, abc=bc⟩Noc Inf
86030⟨a, b, c | ab=c, abc=cb⟩Noc Inf
86034⟨a, b, c | ab=c, aca=ac⟩Noc Inf
86035⟨a, b, c | ab=c, aca=ba⟩Noc Inf
86037⟨a, b, c | ab=c, aca=bc⟩Can Inf1
86039⟨a, b, c | ab=c, aca=cb⟩Noc Inf
86040⟨a, b, c | ab=c, aca=cc⟩Mon Inf
86045⟨a, b, c | ab=c, acb=bc⟩Noc Inf
86046⟨a, b, c | ab=c, acb=cc⟩Noc Inf
86051⟨a, b, c | ab=c, acc=bb⟩Noc Inf
86054⟨a, b, c | ab=c, acc=cb⟩Noc Inf
86055⟨a, b, c | ab=c, acc=cc⟩Noc Inf
86062⟨a, b, c | ab=c, baa=ca⟩Noc Inf
86064⟨a, b, c | ab=c, baa=cc⟩Can Inf1
86067⟨a, b, c | ab=c, bac=ac⟩Noc Inf
86068⟨a, b, c | ab=c, bac=ba⟩Noc Inf
86070⟨a, b, c | ab=c, bac=bc⟩Noc Inf
86071⟨a, b, c | ab=c, bac=ca⟩Can Inf
86072⟨a, b, c | ab=c, bac=cb⟩Noc Inf
86073⟨a, b, c | ab=c, bac=cc⟩Noc Inf
86076⟨a, b, c | ab=c, bbc=ac⟩Noc Inf
86077⟨a, b, c | ab=c, bbc=ba⟩Noc Inf
86081⟨a, b, c | ab=c, bbc=cb⟩Noc Inf
86082⟨a, b, c | ab=c, bbc=cc⟩Noc Inf
86087⟨a, b, c | ab=c, bca=bc⟩Noc Inf
86088⟨a, b, c | ab=c, bca=cc⟩Can Inf
86089⟨a, b, c | ab=c, bcc=aa⟩Can Inf
86091⟨a, b, c | ab=c, bcc=ac⟩Noc Inf
86092⟨a, b, c | ab=c, bcc=ba⟩Noc Inf
86093⟨a, b, c | ab=c, bcc=bb⟩Noc Inf
86095⟨a, b, c | ab=c, bcc=ca⟩Can Inf
86096⟨a, b, c | ab=c, bcc=cb⟩Mon Inf
86097⟨a, b, c | ab=c, bcc=cc⟩Noc Inf
86100⟨a, b, c | ab=c, cac=ac⟩Noc Inf
86101⟨a, b, c | ab=c, cac=ba⟩Can Inf
86102⟨a, b, c | ab=c, cac=bb⟩Noc Inf
86103⟨a, b, c | ab=c, cac=bc⟩Noc Inf
86104⟨a, b, c | ab=c, cac=ca⟩Noc Inf
86105⟨a, b, c | ab=c, cac=cb⟩Noc Inf
86106⟨a, b, c | ab=c, cac=cc⟩Noc Inf
86107⟨a, b, c | ab=c, ccc=aa⟩Noc Inf
86109⟨a, b, c | ab=c, ccc=ac⟩Noc Inf
86110⟨a, b, c | ab=c, ccc=ba⟩Can Inf
86111⟨a, b, c | ab=c, ccc=bc⟩Noc Inf
86112⟨a, b, c | ab=c, ccc=cc⟩Noc Inf
86143⟨a, b, c | aa=1, ababac=1⟩Mon Inf1
86144⟨a, b, c | aa=1, ababbc=1⟩Mon Inf1
86147⟨a, b, c | aa=1, ababcc=1⟩Mon Inf1
86149⟨a, b, c | aa=1, abacac=1⟩Mon Inf
86152⟨a, b, c | aa=1, abacbc=1⟩Mon Inf1
86154⟨a, b, c | aa=1, abaccb=1⟩Grp Inf1
86155⟨a, b, c | aa=1, abaccc=1⟩Mon Inf1
86157⟨a, b, c | aa=1, abbabc=1⟩Mon Inf1
86159⟨a, b, c | aa=1, abbacc=1⟩Mon Inf1
86160⟨a, b, c | aa=1, abbbac=1⟩Mon Inf
86161⟨a, b, c | aa=1, abbbbc=1⟩Noc Inf1
86164⟨a, b, c | aa=1, abbbcc=1⟩Noc Inf1
86166⟨a, b, c | aa=1, abbcac=1⟩Mon Inf
86169⟨a, b, c | aa=1, abbcbc=1⟩Noc Inf1
86171⟨a, b, c | aa=1, abbccb=1⟩Grp Inf10
86172⟨a, b, c | aa=1, abbccc=1⟩Noc Inf
86176⟨a, b, c | aa=1, abcabc=1⟩Mon Inf1
86177⟨a, b, c | aa=1, abcacb=1⟩Grp Inf1
86178⟨a, b, c | aa=1, abcacc=1⟩Mon Inf
86180⟨a, b, c | aa=1, abcbac=1⟩Mon Inf
86185⟨a, b, c | aa=1, abcbcc=1⟩Noc Inf
86186⟨a, b, c | aa=1, abccab=1⟩Grp Inf
86187⟨a, b, c | aa=1, abccac=1⟩Mon Inf
86192⟨a, b, c | aa=1, abcccc=1⟩Noc Inf
86207⟨a, b, c | aa=1, bababc=1⟩Noc Inf
86209⟨a, b, c | aa=1, babacc=1⟩Noc Inf
86210⟨a, b, c | aa=1, babbac=1⟩Noc Inf
86211⟨a, b, c | aa=1, babbbc=1⟩Noc Inf
86213⟨a, b, c | aa=1, babbcc=1⟩Noc Inf
86215⟨a, b, c | aa=1, babcac=1⟩Noc Inf
86217⟨a, b, c | aa=1, babcbc=1⟩Noc Inf
86219⟨a, b, c | aa=1, babccc=1⟩Noc Inf
86221⟨a, b, c | aa=1, bacabc=1⟩Noc Inf
86222⟨a, b, c | aa=1, bacacb=1⟩Grp Inf
86223⟨a, b, c | aa=1, bacacc=1⟩Noc Inf
86224⟨a, b, c | aa=1, bacbac=1⟩Noc Inf
86226⟨a, b, c | aa=1, bacbbc=1⟩Noc Inf
86228⟨a, b, c | aa=1, bacbcc=1⟩Noc Inf
86229⟨a, b, c | aa=1, baccab=1⟩Grp Inf
86231⟨a, b, c | aa=1, baccbc=1⟩Noc Inf
86233⟨a, b, c | aa=1, bacccc=1⟩Noc Inf
86237⟨a, b, c | aa=1, bbabbc=1⟩Noc Inf
86239⟨a, b, c | aa=1, bbabcc=1⟩Noc Inf
86241⟨a, b, c | aa=1, bbacbc=1⟩Noc Inf
86243⟨a, b, c | aa=1, bbaccc=1⟩Noc Inf
86244⟨a, b, c | aa=1, bbbabc=1⟩Noc Inf
86246⟨a, b, c | aa=1, bbbbbc=1⟩Noc Inf
86248⟨a, b, c | aa=1, bbbbcc=1⟩Noc Inf
86250⟨a, b, c | aa=1, bbbcbc=1⟩Noc Inf
86251⟨a, b, c | aa=1, bbbccb=1⟩Grp Inf1
86252⟨a, b, c | aa=1, bbbccc=1⟩Noc Inf
86253⟨a, b, c | aa=1, bbcabc=1⟩Noc Inf
86255⟨a, b, c | aa=1, bbcbbc=1⟩Noc Inf
86256⟨a, b, c | aa=1, bbcbcb=1⟩Grp Inf
86257⟨a, b, c | aa=1, bbcbcc=1⟩Noc Inf
86258⟨a, b, c | aa=1, bbccbb=1⟩Grp Inf
86259⟨a, b, c | aa=1, bbccbc=1⟩Noc Inf
86260⟨a, b, c | aa=1, bbcccb=1⟩Grp Inf
86267⟨a, b, c | aa=1, bcbbbc=1⟩Grp Inf
86268⟨a, b, c | aa=1, bcbbcb=1⟩Grp Inf
86269⟨a, b, c | aa=1, bcbcbc=1⟩Noc Inf
86270⟨a, b, c | aa=1, bcbccb=1⟩Grp Inf
86271⟨a, b, c | aa=1, bccbbc=1⟩Grp Inf
86273⟨a, b, c | ab=1, aaaaac=1⟩Noc Inf
86276⟨a, b, c | ab=1, aaaacb=1⟩Noc Inf
86277⟨a, b, c | ab=1, aaaacc=1⟩Noc Inf
86285⟨a, b, c | ab=1, aaacac=1⟩Noc Inf
86287⟨a, b, c | ab=1, aaacbb=1⟩Noc Inf
86288⟨a, b, c | ab=1, aaacbc=1⟩Noc Inf
86290⟨a, b, c | ab=1, aaaccb=1⟩Noc Inf
86291⟨a, b, c | ab=1, aaaccc=1⟩Noc Inf
86313⟨a, b, c | ab=1, aacaac=1⟩Noc Inf
86317⟨a, b, c | ab=1, aacacb=1⟩Noc Inf
86318⟨a, b, c | ab=1, aacacc=1⟩Noc Inf
86321⟨a, b, c | ab=1, aacbac=1⟩Noc Inf
86323⟨a, b, c | ab=1, aacbbc=1⟩Noc Inf
86325⟨a, b, c | ab=1, aacbcb=1⟩Noc Inf
86326⟨a, b, c | ab=1, aacbcc=1⟩Noc Inf
86329⟨a, b, c | ab=1, aaccac=1⟩Noc Inf
86331⟨a, b, c | ab=1, aaccbb=1⟩Noc Inf
86332⟨a, b, c | ab=1, aaccbc=1⟩Noc Inf
86334⟨a, b, c | ab=1, aacccb=1⟩Noc Inf
86335⟨a, b, c | ab=1, aacccc=1⟩Noc Inf
86377⟨a, b, c | ab=1, abcacb=1⟩Noc Inf
86384⟨a, b, c | ab=1, abcbcb=1⟩Noc Inf
86392⟨a, b, c | ab=1, abcccb=1⟩Noc Inf
86399⟨a, b, c | ab=1, acaacb=1⟩Noc Inf
86400⟨a, b, c | ab=1, acaacc=1⟩Noc Inf
86409⟨a, b, c | ab=1, acacac=1⟩Noc Inf
86411⟨a, b, c | ab=1, acacbc=1⟩Noc Inf
86413⟨a, b, c | ab=1, acaccb=1⟩Noc Inf
86414⟨a, b, c | ab=1, acaccc=1⟩Noc Inf
86420⟨a, b, c | ab=1, acbacb=1⟩Noc Inf
86421⟨a, b, c | ab=1, acbacc=1⟩Noc Inf
86425⟨a, b, c | ab=1, acbbbc=1⟩Noc Inf
86427⟨a, b, c | ab=1, acbbcc=1⟩Noc Inf
86431⟨a, b, c | ab=1, acbcbc=1⟩Noc Inf
86433⟨a, b, c | ab=1, acbccb=1⟩Noc Inf
86434⟨a, b, c | ab=1, acbccc=1⟩Noc Inf
86440⟨a, b, c | ab=1, accacc=1⟩Noc Inf
86444⟨a, b, c | ab=1, accbbc=1⟩Noc Inf
86446⟨a, b, c | ab=1, accbcc=1⟩Noc Inf
86450⟨a, b, c | ab=1, acccbc=1⟩Noc Inf
86452⟨a, b, c | ab=1, accccb=1⟩Noc Inf
86453⟨a, b, c | ab=1, accccc=1⟩Noc Inf
86577⟨a, b, c | ab=1, caacbc=1⟩Noc Inf
86590⟨a, b, c | ab=1, cacbcc=1⟩Noc Inf
86592⟨a, b, c | ab=1, caccbc=1⟩Noc Inf
86614⟨a, b, c | ab=1, cccccc=1⟩Noc Inf
86625⟨a, b, c | aa=1, aabac=c⟩Noc Inf2
86632⟨a, b, c | aa=1, aabca=b⟩Noc Inf4
86633⟨a, b, c | aa=1, aabca=c⟩Mon Inf4
86638⟨a, b, c | aa=1, aabcc=b⟩Noc Inf3
86639⟨a, b, c | aa=1, aabcc=c⟩Noc Inf2
86647⟨a, b, c | aa=1, ababc=b⟩Mon Inf1
86648⟨a, b, c | aa=1, ababc=c⟩Noc Inf1
86650⟨a, b, c | aa=1, abaca=b⟩Mon Inf2
86652⟨a, b, c | aa=1, abacb=b⟩Noc Inf1
86653⟨a, b, c | aa=1, abacb=c⟩Mon Inf1
86655⟨a, b, c | aa=1, abacc=b⟩Mon Inf1
86656⟨a, b, c | aa=1, abacc=c⟩Noc Inf1
86659⟨a, b, c | aa=1, abbac=b⟩Mon Inf
86660⟨a, b, c | aa=1, abbac=c⟩Noc Inf
86664⟨a, b, c | aa=1, abbbc=b⟩Mon Inf1
86665⟨a, b, c | aa=1, abbbc=c⟩Noc Inf1
86667⟨a, b, c | aa=1, abbca=b⟩Mon Inf2
86668⟨a, b, c | aa=1, abbca=c⟩Mon Inf2
86670⟨a, b, c | aa=1, abbcb=b⟩Noc Inf1
86671⟨a, b, c | aa=1, abbcb=c⟩Mon Inf1
86673⟨a, b, c | aa=1, abbcc=b⟩Mon Inf1
86674⟨a, b, c | aa=1, abbcc=c⟩Noc Inf1
86676⟨a, b, c | aa=1, abcab=b⟩Noc Inf1
86677⟨a, b, c | aa=1, abcab=c⟩Mon Inf
86679⟨a, b, c | aa=1, abcac=b⟩Mon Inf
86680⟨a, b, c | aa=1, abcac=c⟩Noc Inf
86682⟨a, b, c | aa=1, abcba=b⟩Noc Inf2
86683⟨a, b, c | aa=1, abcba=c⟩Mon Inf2
86685⟨a, b, c | aa=1, abcbb=b⟩Noc Inf1
86686⟨a, b, c | aa=1, abcbb=c⟩Mon Inf
86688⟨a, b, c | aa=1, abcbc=b⟩Mon Inf1
86689⟨a, b, c | aa=1, abcbc=c⟩Noc Inf1
86691⟨a, b, c | aa=1, abccb=b⟩Noc Inf1
86692⟨a, b, c | aa=1, abccb=c⟩Mon Inf1
86694⟨a, b, c | aa=1, abccc=b⟩Mon Inf
86695⟨a, b, c | aa=1, abccc=c⟩Noc Inf
86711⟨a, b, c | aa=1, babac=b⟩Noc Inf
86712⟨a, b, c | aa=1, babac=c⟩Noc Inf
86715⟨a, b, c | aa=1, babbc=b⟩Noc Inf
86716⟨a, b, c | aa=1, babbc=c⟩Noc Inf
86718⟨a, b, c | aa=1, babcb=b⟩Noc Inf
86719⟨a, b, c | aa=1, babcb=c⟩Mon Inf
86721⟨a, b, c | aa=1, babcc=b⟩Noc Inf
86722⟨a, b, c | aa=1, babcc=c⟩Noc Inf
86724⟨a, b, c | aa=1, bacab=b⟩Noc Inf
86725⟨a, b, c | aa=1, bacab=c⟩Mon Inf
86727⟨a, b, c | aa=1, bacbb=b⟩Noc Inf
86728⟨a, b, c | aa=1, bacbb=c⟩Mon Inf
86730⟨a, b, c | aa=1, bacbc=b⟩Noc Inf
86731⟨a, b, c | aa=1, bacbc=c⟩Noc Inf
86733⟨a, b, c | aa=1, baccb=b⟩Noc Inf
86734⟨a, b, c | aa=1, baccb=c⟩Mon Inf
86736⟨a, b, c | aa=1, baccc=b⟩Noc Inf
86737⟨a, b, c | aa=1, baccc=c⟩Noc Inf
86740⟨a, b, c | aa=1, bbabc=b⟩Noc Inf
86741⟨a, b, c | aa=1, bbabc=c⟩Noc Inf
86743⟨a, b, c | aa=1, bbacb=b⟩Noc Inf
86744⟨a, b, c | aa=1, bbacb=c⟩Mon Inf
86746⟨a, b, c | aa=1, bbacc=b⟩Noc Inf
86749⟨a, b, c | aa=1, bbbbc=b⟩Noc Inf
86750⟨a, b, c | aa=1, bbbbc=c⟩Noc Inf
86752⟨a, b, c | aa=1, bbbcb=b⟩Noc Inf
86753⟨a, b, c | aa=1, bbbcb=c⟩Mon Inf
86755⟨a, b, c | aa=1, bbbcc=b⟩Noc Inf
86756⟨a, b, c | aa=1, bbbcc=c⟩Noc Inf
86758⟨a, b, c | aa=1, bbcbb=b⟩Noc Inf
86759⟨a, b, c | aa=1, bbcbb=c⟩Mon Inf
86761⟨a, b, c | aa=1, bbcbc=b⟩Noc Inf
86762⟨a, b, c | aa=1, bbcbc=c⟩Noc Inf
86764⟨a, b, c | aa=1, bbccb=b⟩Noc Inf
86765⟨a, b, c | aa=1, bbccb=c⟩Mon Inf
86767⟨a, b, c | aa=1, bcabc=b⟩Noc Inf
86769⟨a, b, c | aa=1, bcacb=b⟩Noc Inf
86770⟨a, b, c | aa=1, bcacb=c⟩Mon Inf
86772⟨a, b, c | aa=1, bcbbc=b⟩Noc Inf
86773⟨a, b, c | aa=1, bcbbc=c⟩Noc Inf
86775⟨a, b, c | aa=1, bcbcb=b⟩Noc Inf
86776⟨a, b, c | aa=1, bcbcb=c⟩Mon Inf
86778⟨a, b, c | aa=1, bcccb=b⟩Noc Inf
86779⟨a, b, c | aa=1, bcccb=c⟩Mon Inf
86782⟨a, b, c | ab=1, aaaac=a⟩Noc Inf
86784⟨a, b, c | ab=1, aaaac=c⟩Noc Inf
86792⟨a, b, c | ab=1, aaaca=c⟩Noc Inf
86793⟨a, b, c | ab=1, aaacb=a⟩Noc Inf
86794⟨a, b, c | ab=1, aaacb=b⟩Noc Inf
86795⟨a, b, c | ab=1, aaacb=c⟩Noc Inf
86796⟨a, b, c | ab=1, aaacc=a⟩Noc Inf
86798⟨a, b, c | ab=1, aaacc=c⟩Noc Inf
86812⟨a, b, c | ab=1, aabcb=b⟩Noc Inf2
86819⟨a, b, c | ab=1, aacaa=c⟩Noc Inf
86823⟨a, b, c | ab=1, aacac=a⟩Noc Inf
86825⟨a, b, c | ab=1, aacac=c⟩Noc Inf
86828⟨a, b, c | ab=1, aacba=c⟩Noc Inf
86829⟨a, b, c | ab=1, aacbb=a⟩Noc Inf
86830⟨a, b, c | ab=1, aacbb=c⟩Noc Inf
86831⟨a, b, c | ab=1, aacbc=a⟩Noc Inf
86832⟨a, b, c | ab=1, aacbc=b⟩Noc Inf
86833⟨a, b, c | ab=1, aacbc=c⟩Noc Inf
86836⟨a, b, c | ab=1, aacca=c⟩Noc Inf
86837⟨a, b, c | ab=1, aaccb=a⟩Noc Inf
86838⟨a, b, c | ab=1, aaccb=b⟩Noc Inf
86839⟨a, b, c | ab=1, aaccb=c⟩Noc Inf
86840⟨a, b, c | ab=1, aaccc=a⟩Noc Inf
86842⟨a, b, c | ab=1, aaccc=c⟩Noc Inf
86874⟨a, b, c | ab=1, abbcb=c⟩Noc Inf1
86880⟨a, b, c | ab=1, abcaa=c⟩Noc Inf1
86888⟨a, b, c | ab=1, abcba=c⟩Noc Inf
86890⟨a, b, c | ab=1, abcbc=b⟩Noc Inf1
86891⟨a, b, c | ab=1, abcbc=c⟩Noc Inf1
86894⟨a, b, c | ab=1, abcca=c⟩Noc Inf1
86897⟨a, b, c | ab=1, abccb=c⟩Noc Inf
86903⟨a, b, c | ab=1, acaaa=c⟩Noc Inf
86904⟨a, b, c | ab=1, acaac=a⟩Noc Inf
86906⟨a, b, c | ab=1, acaac=c⟩Noc Inf
86915⟨a, b, c | ab=1, acaca=c⟩Noc Inf
86916⟨a, b, c | ab=1, acacb=a⟩Noc Inf
86917⟨a, b, c | ab=1, acacb=b⟩Noc Inf
86918⟨a, b, c | ab=1, acacb=c⟩Noc Inf
86919⟨a, b, c | ab=1, acacc=a⟩Noc Inf
86921⟨a, b, c | ab=1, acacc=c⟩Noc Inf
86925⟨a, b, c | ab=1, acbac=a⟩Noc Inf
86926⟨a, b, c | ab=1, acbac=b⟩Noc Inf
86927⟨a, b, c | ab=1, acbac=c⟩Noc Inf
86930⟨a, b, c | ab=1, acbba=c⟩Noc Inf
86931⟨a, b, c | ab=1, acbbc=a⟩Noc Inf
86932⟨a, b, c | ab=1, acbbc=b⟩Noc Inf
86933⟨a, b, c | ab=1, acbbc=c⟩Noc Inf
86937⟨a, b, c | ab=1, acbcc=a⟩Noc Inf
86938⟨a, b, c | ab=1, acbcc=b⟩Noc Inf
86939⟨a, b, c | ab=1, acbcc=c⟩Noc Inf
86942⟨a, b, c | ab=1, accaa=c⟩Noc Inf
86943⟨a, b, c | ab=1, accac=a⟩Noc Inf
86945⟨a, b, c | ab=1, accac=c⟩Noc Inf
86948⟨a, b, c | ab=1, accba=c⟩Noc Inf
86949⟨a, b, c | ab=1, accbc=a⟩Noc Inf
86950⟨a, b, c | ab=1, accbc=b⟩Noc Inf
86951⟨a, b, c | ab=1, accbc=c⟩Noc Inf
86954⟨a, b, c | ab=1, accca=c⟩Noc Inf
86955⟨a, b, c | ab=1, acccb=a⟩Noc Inf
86956⟨a, b, c | ab=1, acccb=c⟩Noc Inf
86957⟨a, b, c | ab=1, acccc=a⟩Noc Inf
86959⟨a, b, c | ab=1, acccc=c⟩Noc Inf
86963⟨a, b, c | ab=1, baaac=c⟩Noc Inf
86970⟨a, b, c | ab=1, baaca=c⟩Noc Inf
86973⟨a, b, c | ab=1, baacc=c⟩Noc Inf
86989⟨a, b, c | ab=1, bacaa=c⟩Noc Inf1
86992⟨a, b, c | ab=1, bacac=c⟩Noc Inf
86994⟨a, b, c | ab=1, bacba=c⟩Noc Inf
86997⟨a, b, c | ab=1, bacbc=c⟩Noc Inf
87000⟨a, b, c | ab=1, bacca=c⟩Noc Inf
87003⟨a, b, c | ab=1, baccc=c⟩Noc Inf
87007⟨a, b, c | ab=1, bbaac=c⟩Noc Inf
87013⟨a, b, c | ab=1, bbaca=c⟩Noc Inf
87022⟨a, b, c | ab=1, bbbbc=c⟩Noc Inf
87025⟨a, b, c | ab=1, bbbca=c⟩Noc Inf
87028⟨a, b, c | ab=1, bbbcc=c⟩Noc Inf
87030⟨a, b, c | ab=1, bbcaa=c⟩Noc Inf
87033⟨a, b, c | ab=1, bbcac=c⟩Noc Inf
87036⟨a, b, c | ab=1, bbcbc=c⟩Noc Inf
87039⟨a, b, c | ab=1, bbcca=c⟩Noc Inf
87042⟨a, b, c | ab=1, bbccc=c⟩Noc Inf
87051⟨a, b, c | ab=1, bcaca=c⟩Noc Inf
87054⟨a, b, c | ab=1, bcacc=c⟩Noc Inf1
87060⟨a, b, c | ab=1, bcbbc=c⟩Noc Inf
87063⟨a, b, c | ab=1, bcbcc=c⟩Noc Inf1
87071⟨a, b, c | ab=1, bccca=c⟩Noc Inf
87074⟨a, b, c | ab=1, bcccc=c⟩Noc Inf
87075⟨a, b, c | ab=1, caaac=a⟩Noc Inf
87077⟨a, b, c | ab=1, caaac=c⟩Noc Inf
87081⟨a, b, c | ab=1, caacc=a⟩Noc Inf
87083⟨a, b, c | ab=1, caacc=c⟩Noc Inf
87090⟨a, b, c | ab=1, cacac=a⟩Noc Inf
87092⟨a, b, c | ab=1, cacac=c⟩Noc Inf
87093⟨a, b, c | ab=1, cacbc=a⟩Noc Inf
87094⟨a, b, c | ab=1, cacbc=c⟩Noc Inf
87095⟨a, b, c | ab=1, caccc=a⟩Noc Inf
87097⟨a, b, c | ab=1, caccc=c⟩Noc Inf
87100⟨a, b, c | ab=1, cbaac=c⟩Noc Inf
87103⟨a, b, c | ab=1, cbacc=c⟩Noc Inf
87105⟨a, b, c | ab=1, cbbcc=b⟩Noc Inf
87106⟨a, b, c | ab=1, cbbcc=c⟩Noc Inf
87108⟨a, b, c | ab=1, cbcac=c⟩Noc Inf
87110⟨a, b, c | ab=1, cbccc=b⟩Noc Inf
87111⟨a, b, c | ab=1, cbccc=c⟩Noc Inf
87112⟨a, b, c | ab=1, ccacc=a⟩Noc Inf
87114⟨a, b, c | ab=1, ccacc=c⟩Noc Inf
87116⟨a, b, c | ab=1, ccccc=c⟩Noc Inf
87129⟨a, b, c | aa=1, aabb=bc⟩Noc Inf4
87131⟨a, b, c | aa=1, aabb=cb⟩Noc Inf2
87132⟨a, b, c | aa=1, aabb=cc⟩Mon Inf2
87138⟨a, b, c | aa=1, aabc=bc⟩Can Infℤ2 ∗ ℕ ∗ ℕ1
87140⟨a, b, c | aa=1, aabc=cb⟩Can Infℤ2 ∗ (ℕ ⊕ ℕ)2
87143⟨a, b, c | aa=1, abab=bc⟩Mon Inf1
87145⟨a, b, c | aa=1, abab=cb⟩Noc Inf1
87146⟨a, b, c | aa=1, abab=cc⟩Mon Inf1
87151⟨a, b, c | aa=1, abac=bb⟩Mon Inf1
87152⟨a, b, c | aa=1, abac=bc⟩Noc Inf1
87153⟨a, b, c | aa=1, abac=ca⟩Mon Inf
87154⟨a, b, c | aa=1, abac=cb⟩Mon Inf1
87155⟨a, b, c | aa=1, abac=cc⟩Noc Inf1
87157⟨a, b, c | aa=1, abba=bc⟩Mon Inf2
87158⟨a, b, c | aa=1, abba=cc⟩Mon Inf1
87160⟨a, b, c | aa=1, abbb=bc⟩Mon Inf1
87162⟨a, b, c | aa=1, abbb=cb⟩Noc Inf1
87163⟨a, b, c | aa=1, abbb=cc⟩Mon Inf1
87168⟨a, b, c | aa=1, abbc=bb⟩Mon Inf1
87169⟨a, b, c | aa=1, abbc=bc⟩Noc Inf1
87171⟨a, b, c | aa=1, abbc=cb⟩Mon Inf1
87172⟨a, b, c | aa=1, abbc=cc⟩Noc Inf1
87177⟨a, b, c | aa=1, abca=bc⟩Mon Inf1
87178⟨a, b, c | aa=1, abca=cb⟩Mon Inf1
87183⟨a, b, c | aa=1, abcb=bb⟩Noc Inf1
87184⟨a, b, c | aa=1, abcb=bc⟩Mon Inf1
87186⟨a, b, c | aa=1, abcb=cb⟩Noc Inf1
87187⟨a, b, c | aa=1, abcb=cc⟩Mon Inf1
87191⟨a, b, c | aa=1, abcc=ba⟩Mon Inf
87192⟨a, b, c | aa=1, abcc=bb⟩Mon Inf1
87193⟨a, b, c | aa=1, abcc=bc⟩Noc Inf
87194⟨a, b, c | aa=1, abcc=ca⟩Mon Inf
87195⟨a, b, c | aa=1, abcc=cb⟩Mon Inf1
87196⟨a, b, c | aa=1, abcc=cc⟩Noc Inf
87207⟨a, b, c | aa=1, babb=bc⟩Noc Inf
87209⟨a, b, c | aa=1, babb=cb⟩Noc Inf
87210⟨a, b, c | aa=1, babb=cc⟩Mon Inf
87214⟨a, b, c | aa=1, babc=ba⟩Noc Inf
87215⟨a, b, c | aa=1, babc=bb⟩Noc Inf
87216⟨a, b, c | aa=1, babc=bc⟩Noc Inf
87217⟨a, b, c | aa=1, babc=ca⟩Mon Inf
87218⟨a, b, c | aa=1, babc=cb⟩Mon Inf
87219⟨a, b, c | aa=1, babc=cc⟩Noc Inf
87224⟨a, b, c | aa=1, bacb=bb⟩Noc Inf
87225⟨a, b, c | aa=1, bacb=bc⟩Noc Inf
87226⟨a, b, c | aa=1, bacb=ca⟩Mon Inf
87227⟨a, b, c | aa=1, bacb=cb⟩Noc Inf
87228⟨a, b, c | aa=1, bacb=cc⟩Mon Inf
87232⟨a, b, c | aa=1, bacc=ba⟩Noc Inf
87233⟨a, b, c | aa=1, bacc=bb⟩Noc Inf
87234⟨a, b, c | aa=1, bacc=bc⟩Noc Inf
87235⟨a, b, c | aa=1, bacc=ca⟩Mon Inf
87236⟨a, b, c | aa=1, bacc=cb⟩Mon Inf
87237⟨a, b, c | aa=1, bacc=cc⟩Noc Inf
87239⟨a, b, c | aa=1, bbbb=bc⟩Noc Inf
87240⟨a, b, c | aa=1, bbbb=cc⟩Mon Inf
87244⟨a, b, c | aa=1, bbbc=ba⟩Noc Inf
87245⟨a, b, c | aa=1, bbbc=bb⟩Noc Inf
87246⟨a, b, c | aa=1, bbbc=bc⟩Noc Inf
87247⟨a, b, c | aa=1, bbbc=ca⟩Mon Inf
87248⟨a, b, c | aa=1, bbbc=cb⟩Mon Inf
87249⟨a, b, c | aa=1, bbbc=cc⟩Noc Inf
87254⟨a, b, c | aa=1, bbcb=bb⟩Noc Inf
87255⟨a, b, c | aa=1, bbcb=bc⟩Mon Inf
87256⟨a, b, c | aa=1, bbcb=ca⟩Mon Inf
87257⟨a, b, c | aa=1, bbcb=cb⟩Noc Inf
87258⟨a, b, c | aa=1, bbcb=cc⟩Mon Inf
87262⟨a, b, c | aa=1, bbcc=bb⟩Noc Inf
87263⟨a, b, c | aa=1, bbcc=bc⟩Noc Inf
87264⟨a, b, c | aa=1, bbcc=cb⟩Mon Inf
87268⟨a, b, c | aa=1, bcbc=bb⟩Noc Inf
87269⟨a, b, c | aa=1, bcbc=bc⟩Noc Inf
87270⟨a, b, c | aa=1, bcbc=cb⟩Mon Inf
87274⟨a, b, c | aa=1, bccb=bb⟩Noc Inf
87275⟨a, b, c | aa=1, bccb=bc⟩Noc Inf
87276⟨a, b, c | aa=1, bccb=cc⟩Mon Inf
87277⟨a, b, c | ab=1, aaaa=ac⟩Noc Inf
87280⟨a, b, c | ab=1, aaaa=cb⟩Noc Inf
87281⟨a, b, c | ab=1, aaaa=cc⟩Noc Inf
87282⟨a, b, c | ab=1, aaab=ac⟩Noc Inf6
87287⟨a, b, c | ab=1, aaac=aa⟩Noc Inf
87289⟨a, b, c | ab=1, aaac=ac⟩Noc Inf
87290⟨a, b, c | ab=1, aaac=ba⟩Noc Inf
87291⟨a, b, c | ab=1, aaac=bb⟩Noc Inf
87292⟨a, b, c | ab=1, aaac=bc⟩Noc Inf
87293⟨a, b, c | ab=1, aaac=ca⟩Noc Inf
87294⟨a, b, c | ab=1, aaac=cb⟩Noc Inf
87295⟨a, b, c | ab=1, aaac=cc⟩Noc Inf
87307⟨a, b, c | ab=1, aabc=ba⟩Noc Inf5
87308⟨a, b, c | ab=1, aabc=bb⟩Noc Inf3
87309⟨a, b, c | ab=1, aabc=bc⟩Noc Inf5
87311⟨a, b, c | ab=1, aabc=cb⟩Noc Inf3
87312⟨a, b, c | ab=1, aabc=cc⟩Noc Inf4
87315⟨a, b, c | ab=1, aaca=ac⟩Noc Inf
87320⟨a, b, c | ab=1, aaca=cb⟩Noc Inf
87321⟨a, b, c | ab=1, aaca=cc⟩Noc Inf
87322⟨a, b, c | ab=1, aacb=aa⟩Noc Inf
87324⟨a, b, c | ab=1, aacb=ac⟩Noc Inf
87325⟨a, b, c | ab=1, aacb=ba⟩Noc Inf
87326⟨a, b, c | ab=1, aacb=bb⟩Noc Inf
87327⟨a, b, c | ab=1, aacb=bc⟩Noc Inf
87328⟨a, b, c | ab=1, aacb=ca⟩Noc Inf
87329⟨a, b, c | ab=1, aacb=cb⟩Noc Inf
87330⟨a, b, c | ab=1, aacb=cc⟩Noc Inf
87331⟨a, b, c | ab=1, aacc=aa⟩Noc Inf
87333⟨a, b, c | ab=1, aacc=ac⟩Noc Inf
87334⟨a, b, c | ab=1, aacc=ba⟩Noc Inf
87335⟨a, b, c | ab=1, aacc=bb⟩Noc Inf
87336⟨a, b, c | ab=1, aacc=bc⟩Noc Inf
87337⟨a, b, c | ab=1, aacc=ca⟩Noc Inf
87338⟨a, b, c | ab=1, aacc=cb⟩Noc Inf
87339⟨a, b, c | ab=1, aacc=cc⟩Noc Inf
87360⟨a, b, c | ab=1, abba=cb⟩Noc Inf1
87361⟨a, b, c | ab=1, abba=cc⟩Noc Inf4
87369⟨a, b, c | ab=1, abbc=cb⟩Noc Inf3
87370⟨a, b, c | ab=1, abbc=cc⟩Noc Inf4
87378⟨a, b, c | ab=1, abca=cb⟩Noc Inf1
87384⟨a, b, c | ab=1, abcb=bb⟩Noc Inf
87388⟨a, b, c | ab=1, abcb=cc⟩Noc Inf2
87393⟨a, b, c | ab=1, abcc=bb⟩Noc Inf1
87400⟨a, b, c | ab=1, acaa=ac⟩Noc Inf
87405⟨a, b, c | ab=1, acaa=cb⟩Noc Inf
87406⟨a, b, c | ab=1, acaa=cc⟩Noc Inf
87407⟨a, b, c | ab=1, acac=aa⟩Noc Inf
87409⟨a, b, c | ab=1, acac=ac⟩Noc Inf
87410⟨a, b, c | ab=1, acac=ba⟩Noc Inf
87411⟨a, b, c | ab=1, acac=bb⟩Noc Inf
87412⟨a, b, c | ab=1, acac=bc⟩Noc Inf
87413⟨a, b, c | ab=1, acac=ca⟩Noc Inf
87414⟨a, b, c | ab=1, acac=cb⟩Noc Inf
87415⟨a, b, c | ab=1, acac=cc⟩Noc Inf
87418⟨a, b, c | ab=1, acba=ac⟩Noc Inf
87421⟨a, b, c | ab=1, acba=bc⟩Noc Inf
87423⟨a, b, c | ab=1, acba=cb⟩Noc Inf
87424⟨a, b, c | ab=1, acba=cc⟩Noc Inf
87425⟨a, b, c | ab=1, acbc=aa⟩Noc Inf
87427⟨a, b, c | ab=1, acbc=ac⟩Noc Inf
87428⟨a, b, c | ab=1, acbc=ba⟩Noc Inf
87429⟨a, b, c | ab=1, acbc=bb⟩Noc Inf
87430⟨a, b, c | ab=1, acbc=bc⟩Noc Inf
87431⟨a, b, c | ab=1, acbc=ca⟩Noc Inf
87432⟨a, b, c | ab=1, acbc=cb⟩Noc Inf
87433⟨a, b, c | ab=1, acbc=cc⟩Noc Inf
87436⟨a, b, c | ab=1, acca=ac⟩Noc Inf
87441⟨a, b, c | ab=1, acca=cb⟩Noc Inf
87442⟨a, b, c | ab=1, acca=cc⟩Noc Inf
87443⟨a, b, c | ab=1, accb=aa⟩Noc Inf
87445⟨a, b, c | ab=1, accb=ac⟩Noc Inf
87446⟨a, b, c | ab=1, accb=ba⟩Noc Inf
87447⟨a, b, c | ab=1, accb=bc⟩Noc Inf
87448⟨a, b, c | ab=1, accb=cc⟩Noc Inf
87449⟨a, b, c | ab=1, accc=aa⟩Noc Inf
87451⟨a, b, c | ab=1, accc=ac⟩Noc Inf
87452⟨a, b, c | ab=1, accc=ba⟩Noc Inf
87453⟨a, b, c | ab=1, accc=bb⟩Noc Inf
87454⟨a, b, c | ab=1, accc=bc⟩Noc Inf
87455⟨a, b, c | ab=1, accc=ca⟩Noc Inf
87456⟨a, b, c | ab=1, accc=cb⟩Noc Inf
87457⟨a, b, c | ab=1, accc=cc⟩Noc Inf
87458⟨a, b, c | ab=1, baaa=ac⟩Noc Inf
87461⟨a, b, c | ab=1, baaa=cb⟩Noc Inf
87462⟨a, b, c | ab=1, baaa=cc⟩Noc Inf
87465⟨a, b, c | ab=1, baac=ac⟩Noc Inf
87469⟨a, b, c | ab=1, baac=ca⟩Noc Inf
87470⟨a, b, c | ab=1, baac=cb⟩Noc Inf
87471⟨a, b, c | ab=1, baac=cc⟩Noc Inf
87486⟨a, b, c | ab=1, baca=ac⟩Noc Inf
87491⟨a, b, c | ab=1, baca=cb⟩Noc Inf
87492⟨a, b, c | ab=1, baca=cc⟩Noc Inf
87495⟨a, b, c | ab=1, bacc=ac⟩Noc Inf
87499⟨a, b, c | ab=1, bacc=ca⟩Noc Inf
87500⟨a, b, c | ab=1, bacc=cb⟩Noc Inf
87501⟨a, b, c | ab=1, bacc=cc⟩Noc Inf
87502⟨a, b, c | ab=1, bbaa=ac⟩Noc Inf
87504⟨a, b, c | ab=1, bbaa=cc⟩Noc Inf
87507⟨a, b, c | ab=1, bbac=ac⟩Noc Inf
87512⟨a, b, c | ab=1, bbac=cb⟩Noc Inf
87513⟨a, b, c | ab=1, bbac=cc⟩Noc Inf
87516⟨a, b, c | ab=1, bbbc=ac⟩Noc Inf
87521⟨a, b, c | ab=1, bbbc=cb⟩Noc Inf
87522⟨a, b, c | ab=1, bbbc=cc⟩Noc Inf
87525⟨a, b, c | ab=1, bbca=ac⟩Noc Inf
87530⟨a, b, c | ab=1, bbca=cb⟩Noc Inf
87534⟨a, b, c | ab=1, bbcc=ac⟩Noc Inf
87539⟨a, b, c | ab=1, bbcc=cb⟩Noc Inf
87540⟨a, b, c | ab=1, bbcc=cc⟩Noc Inf
87543⟨a, b, c | ab=1, bcac=ac⟩Noc Inf
87548⟨a, b, c | ab=1, bcac=cb⟩Noc Inf
87549⟨a, b, c | ab=1, bcac=cc⟩Noc Inf
87552⟨a, b, c | ab=1, bcbc=ac⟩Noc Inf
87557⟨a, b, c | ab=1, bcbc=cb⟩Noc Inf
87558⟨a, b, c | ab=1, bcbc=cc⟩Noc Inf
87561⟨a, b, c | ab=1, bcca=ac⟩Noc Inf
87567⟨a, b, c | ab=1, bccc=ac⟩Noc Inf
87572⟨a, b, c | ab=1, bccc=cb⟩Noc Inf
87573⟨a, b, c | ab=1, bccc=cc⟩Noc Inf
87574⟨a, b, c | ab=1, caac=aa⟩Noc Inf
87576⟨a, b, c | ab=1, caac=ac⟩Noc Inf
87577⟨a, b, c | ab=1, caac=ba⟩Noc Inf
87578⟨a, b, c | ab=1, caac=bb⟩Noc Inf
87579⟨a, b, c | ab=1, caac=bc⟩Noc Inf
87580⟨a, b, c | ab=1, caac=ca⟩Noc Inf
87581⟨a, b, c | ab=1, caac=cb⟩Noc Inf
87582⟨a, b, c | ab=1, caac=cc⟩Noc Inf
87589⟨a, b, c | ab=1, cacc=aa⟩Noc Inf
87591⟨a, b, c | ab=1, cacc=ac⟩Noc Inf
87592⟨a, b, c | ab=1, cacc=ba⟩Noc Inf
87593⟨a, b, c | ab=1, cacc=bb⟩Noc Inf
87594⟨a, b, c | ab=1, cacc=bc⟩Noc Inf
87595⟨a, b, c | ab=1, cacc=ca⟩Noc Inf
87596⟨a, b, c | ab=1, cacc=cb⟩Noc Inf
87597⟨a, b, c | ab=1, cacc=cc⟩Noc Inf
87598⟨a, b, c | ab=1, cbac=aa⟩Noc Inf
87600⟨a, b, c | ab=1, cbac=ac⟩Noc Inf
87601⟨a, b, c | ab=1, cbac=ba⟩Noc Inf
87602⟨a, b, c | ab=1, cbac=bc⟩Noc Inf
87603⟨a, b, c | ab=1, cbac=cc⟩Noc Inf
87604⟨a, b, c | ab=1, cbcc=aa⟩Noc Inf
87606⟨a, b, c | ab=1, cbcc=ac⟩Noc Inf
87607⟨a, b, c | ab=1, cbcc=ba⟩Noc Inf
87608⟨a, b, c | ab=1, cbcc=bb⟩Noc Inf
87609⟨a, b, c | ab=1, cbcc=bc⟩Noc Inf
87610⟨a, b, c | ab=1, cbcc=ca⟩Noc Inf
87611⟨a, b, c | ab=1, cbcc=cb⟩Noc Inf
87612⟨a, b, c | ab=1, cbcc=cc⟩Noc Inf
87613⟨a, b, c | ab=1, cccc=aa⟩Noc Inf
87615⟨a, b, c | ab=1, cccc=ac⟩Noc Inf
87616⟨a, b, c | ab=1, cccc=ba⟩Noc Inf
87617⟨a, b, c | ab=1, cccc=bc⟩Noc Inf
87618⟨a, b, c | ab=1, cccc=cc⟩Noc Inf
87650⟨a, b, c | aa=1, bac=bab⟩Noc Inf
87652⟨a, b, c | aa=1, bba=acb⟩Mon Inf
87659⟨a, b, c | aa=1, bbb=bac⟩Noc Inf
87670⟨a, b, c | aa=1, bbc=bab⟩Noc Inf
87671⟨a, b, c | aa=1, bbc=bac⟩Noc Inf
87672⟨a, b, c | aa=1, bbc=bba⟩Noc Inf
87673⟨a, b, c | aa=1, bbc=bbb⟩Noc Inf
87676⟨a, b, c | aa=1, bca=bbc⟩Noc Inf
87686⟨a, b, c | aa=1, bcb=bab⟩Noc Inf
87687⟨a, b, c | aa=1, bcb=bac⟩Noc Inf
87688⟨a, b, c | aa=1, bcb=bbb⟩Noc Inf
87689⟨a, b, c | aa=1, bcb=bbc⟩Noc Inf
87693⟨a, b, c | aa=1, bcc=bab⟩Noc Inf
87694⟨a, b, c | aa=1, bcc=bbb⟩Noc Inf
87695⟨a, b, c | aa=1, bcc=bbc⟩Noc Inf
87696⟨a, b, c | aa=1, bcc=bcb⟩Noc Inf
87697⟨a, b, c | aa=1, cab=bac⟩Mon Inf
87698⟨a, b, c | aa=1, cab=bbc⟩Mon Inf
87699⟨a, b, c | aa=1, cac=bab⟩Mon Inf
87700⟨a, b, c | aa=1, cac=bbb⟩Mon Inf
87701⟨a, b, c | aa=1, cac=bcb⟩Mon Inf
87702⟨a, b, c | aa=1, cbb=bbc⟩Mon Inf
87703⟨a, b, c | aa=1, cbb=bcc⟩Mon Inf
87704⟨a, b, c | aa=1, cbc=bbb⟩Mon Inf
87705⟨a, b, c | aa=1, cbc=bcb⟩Mon Inf
87706⟨a, b, c | aa=1, ccc=bbb⟩Mon Inf
87707⟨a, b, c | ab=1, aac=aaa⟩Noc Inf
87718⟨a, b, c | ab=1, aca=aac⟩Noc Inf
87722⟨a, b, c | ab=1, acb=aaa⟩Noc Inf
87724⟨a, b, c | ab=1, acb=aac⟩Noc Inf
87727⟨a, b, c | ab=1, acb=aca⟩Noc Inf
87728⟨a, b, c | ab=1, acc=aaa⟩Noc Inf
87730⟨a, b, c | ab=1, acc=aac⟩Noc Inf
87734⟨a, b, c | ab=1, acc=aca⟩Noc Inf
87735⟨a, b, c | ab=1, acc=acb⟩Noc Inf
87736⟨a, b, c | ab=1, baa=aac⟩Noc Inf
87739⟨a, b, c | ab=1, baa=acb⟩Noc Inf
87740⟨a, b, c | ab=1, baa=acc⟩Noc Inf
87747⟨a, b, c | ab=1, bac=aac⟩Noc Inf
87752⟨a, b, c | ab=1, bac=acb⟩Noc Inf
87753⟨a, b, c | ab=1, bac=acc⟩Noc Inf
87756⟨a, b, c | ab=1, bba=aac⟩Noc Inf
87759⟨a, b, c | ab=1, bba=acc⟩Noc Inf
87761⟨a, b, c | ab=1, bbb=aac⟩Noc Inf
87764⟨a, b, c | ab=1, bbb=acc⟩Noc Inf
87768⟨a, b, c | ab=1, bbc=aac⟩Noc Inf
87773⟨a, b, c | ab=1, bbc=acb⟩Noc Inf
87774⟨a, b, c | ab=1, bbc=acc⟩Noc Inf
87782⟨a, b, c | ab=1, bca=aac⟩Noc Inf
87786⟨a, b, c | ab=1, bca=acb⟩Noc Inf
87787⟨a, b, c | ab=1, bca=acc⟩Noc Inf
87791⟨a, b, c | ab=1, bcb=aac⟩Noc Inf
87794⟨a, b, c | ab=1, bcb=acc⟩Noc Inf
87799⟨a, b, c | ab=1, bcc=aac⟩Noc Inf
87804⟨a, b, c | ab=1, bcc=acb⟩Noc Inf
87805⟨a, b, c | ab=1, bcc=acc⟩Noc Inf
87814⟨a, b, c | ab=1, caa=aac⟩Noc Inf
87816⟨a, b, c | ab=1, caa=acc⟩Noc Inf
87825⟨a, b, c | ab=1, cac=aaa⟩Noc Inf
87827⟨a, b, c | ab=1, cac=aac⟩Noc Inf
87831⟨a, b, c | ab=1, cac=aca⟩Noc Inf
87832⟨a, b, c | ab=1, cac=acb⟩Noc Inf
87833⟨a, b, c | ab=1, cac=acc⟩Noc Inf
87834⟨a, b, c | ab=1, cac=baa⟩Noc Inf
87836⟨a, b, c | ab=1, cac=bac⟩Noc Inf
87837⟨a, b, c | ab=1, cac=bba⟩Noc Inf
87838⟨a, b, c | ab=1, cac=bbb⟩Noc Inf
87839⟨a, b, c | ab=1, cac=bbc⟩Noc Inf
87841⟨a, b, c | ab=1, cac=bcb⟩Noc Inf
87842⟨a, b, c | ab=1, cac=bcc⟩Noc Inf
87843⟨a, b, c | ab=1, cac=caa⟩Noc Inf
87845⟨a, b, c | ab=1, cba=aac⟩Noc Inf
87846⟨a, b, c | ab=1, cba=acc⟩Noc Inf
87847⟨a, b, c | ab=1, cba=bac⟩Noc Inf
87848⟨a, b, c | ab=1, cba=bcc⟩Noc Inf
87849⟨a, b, c | ab=1, cba=cac⟩Noc Inf
87850⟨a, b, c | ab=1, cbb=aac⟩Noc Inf
87851⟨a, b, c | ab=1, cbb=acc⟩Noc Inf
87852⟨a, b, c | ab=1, cbb=bcc⟩Noc Inf
87853⟨a, b, c | ab=1, cbb=cac⟩Noc Inf
87854⟨a, b, c | ab=1, cbc=acc⟩Noc Inf
87855⟨a, b, c | ab=1, cbc=bcc⟩Noc Inf
87856⟨a, b, c | ab=1, cbc=cac⟩Noc Inf
87857⟨a, b, c | ab=1, cca=acc⟩Noc Inf
87859⟨a, b, c | ab=1, ccb=acc⟩Noc Inf
87860⟨a, b, c | ab=1, ccc=aaa⟩Noc Inf
87862⟨a, b, c | ab=1, ccc=aac⟩Noc Inf
87865⟨a, b, c | ab=1, ccc=aca⟩Noc Inf
87866⟨a, b, c | ab=1, ccc=acb⟩Noc Inf
87867⟨a, b, c | ab=1, ccc=acc⟩Noc Inf
87868⟨a, b, c | ab=1, ccc=baa⟩Noc Inf
87869⟨a, b, c | ab=1, ccc=bac⟩Noc Inf
87870⟨a, b, c | ab=1, ccc=bbc⟩Noc Inf
87872⟨a, b, c | ab=1, ccc=bcc⟩Noc Inf
87873⟨a, b, c | ab=1, ccc=cac⟩Noc Inf