Infinite non-cancellative non-commutative monoids

Up:Monoid enumeration
2904 unique, 4766 total

Σ#PresentationPropertiesDescriptionφ
41⟨a, b, c | aa=1, bc=1⟩Noc Inf28
42⟨a, b, c | ab=1, ac=1⟩Noc Inf36
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
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
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
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
649⟨a, b, c | bb=ac, bc=1⟩Noc Inf4
650⟨a, b, c | bb=ac, ca=1⟩Noc Inf
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
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
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
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
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
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
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
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
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
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
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
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
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
7407⟨a, b, c | abc=b, acb=1⟩Noc Inf
7408⟨a, b, c | abc=b, acc=1⟩Noc Inf
7413⟨a, b, c | abc=b, bbc=1⟩Noc Inf
7416⟨a, b, c | abc=b, caa=1⟩Noc Inf
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
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
7462⟨a, b, c | ba=ab, acb=1⟩Noc Inf
7463⟨a, b, c | ba=ab, acc=1⟩Noc Inf
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
7477⟨a, b, c | ba=ac, bbc=1⟩Noc Inf
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
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
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
7534⟨a, b, c | ba=ab, cc=c⟩Noc Infℕ(2 = 1) ∗ (ℕ ⊕ ℕ)
7536⟨a, b, c | ba=ac, bb=b⟩Noc Inf1
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
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
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
7556⟨a, b, c | bb=ac, cb=b⟩Noc Inf
7557⟨a, b, c | bb=ac, cb=c⟩Noc Inf
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
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
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
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
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
7914⟨a, b, c | aa=b, acb=a⟩Noc Inf12
7915⟨a, b, c | aa=b, acb=b⟩Noc Inf7
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
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
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
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
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
71077⟨a, b, c | aa=1, abbbc=1⟩Noc Inf3
71080⟨a, b, c | aa=1, abbcc=1⟩Noc Inf2
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
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
71234⟨a, b, c | aa=1, abac=c⟩Noc Inf1
71239⟨a, b, c | aa=1, abbc=c⟩Noc Inf1
71243⟨a, b, c | aa=1, abcb=b⟩Noc Inf1
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
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
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
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
71397⟨a, b, c | aa=1, abb=cb⟩Noc Inf1
71404⟨a, b, c | aa=1, abc=bc⟩Noc Inf
71409⟨a, b, c | aa=1, bab=bc⟩Noc Inf
71414⟨a, b, c | aa=1, bac=bb⟩Noc Inf
71415⟨a, b, c | aa=1, bac=bc⟩Noc Inf
71418⟨a, b, c | aa=1, bbb=bc⟩Noc 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
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
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
81581⟨a, b, c | aaa=bc, aac=1⟩Noc Inf
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
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
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
81670⟨a, b, c | aab=ba, cba=1⟩Noc Inf
81671⟨a, b, c | aab=ba, cbb=1⟩Noc Inf
81673⟨a, b, c | aab=ba, cca=1⟩Noc Inf
81674⟨a, b, c | aab=ba, ccb=1⟩Noc 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
81715⟨a, b, c | aab=bc, cbb=1⟩Noc Inf
81718⟨a, b, c | aab=bc, ccb=1⟩Noc 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
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
81743⟨a, b, c | aab=ca, ccb=1⟩Noc 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
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
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
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
81879⟨a, b, c | aba=bc, cbb=1⟩Noc Inf
81882⟨a, b, c | aba=bc, ccb=1⟩Noc 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
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
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
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
81983⟨a, b, c | abc=ba, cca=1⟩Noc Inf
81984⟨a, b, c | abc=ba, ccb=1⟩Noc Inf
81987⟨a, b, c | abc=bb, acb=1⟩Noc Inf
81988⟨a, b, c | abc=bb, acc=1⟩Noc Inf
81993⟨a, b, c | abc=bb, bbc=1⟩Noc Inf
81995⟨a, b, c | abc=bb, bcc=1⟩Noc 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
82010⟨a, b, c | abc=ca, bba=1⟩Noc Inf
82012⟨a, b, c | abc=ca, bbc=1⟩Noc Inf
82016⟨a, b, c | abc=ca, cba=1⟩Noc 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
82024⟨a, b, c | abc=cc, acc=1⟩Noc Inf
82025⟨a, b, c | abc=cc, bbc=1⟩Noc 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
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
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
82175⟨a, b, c | aabb=1, accb=1⟩Noc Inf
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
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
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
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
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
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
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
82622⟨a, b, c | aba=b, bccc=1⟩Noc 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
82757⟨a, b, c | abc=b, aaac=1⟩Noc Inf
82759⟨a, b, c | abc=b, aabb=1⟩Noc Inf
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
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
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
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
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
82853⟨a, b, c | aaa=b, cbc=c⟩Noc Inf4
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
82974⟨a, b, c | aab=c, acb=c⟩Noc Inf
82979⟨a, b, c | aab=c, bab=c⟩Noc Inf2
82982⟨a, b, c | aab=c, bac=c⟩Noc Inf
82985⟨a, b, c | aab=c, bca=a⟩Noc Inf3
82986⟨a, b, c | aab=c, bca=b⟩Noc Inf2
82990⟨a, b, c | aab=c, bcb=c⟩Noc 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
83029⟨a, b, c | aba=b, abc=c⟩Noc Inf
83030⟨a, b, c | aba=b, aca=b⟩Noc Inf
83032⟨a, b, c | aba=b, acb=a⟩Noc Inf
83033⟨a, b, c | aba=b, acb=b⟩Noc 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
83046⟨a, b, c | aba=c, abc=c⟩Noc Inf1
83050⟨a, b, c | aba=c, acb=c⟩Noc Inf1
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
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
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
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
83192⟨a, b, c | ba=ab, accb=1⟩Noc Inf
83193⟨a, b, c | ba=ab, accc=1⟩Noc Inf
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
83230⟨a, b, c | ba=ac, bbbc=1⟩Noc Inf
83232⟨a, b, c | ba=ac, bbcc=1⟩Noc Inf
83235⟨a, b, c | ba=ac, bcbc=1⟩Noc 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
83257⟨a, b, c | bb=aa, accc=1⟩Noc 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
83425⟨a, b, c | ba=ab, acb=a⟩Noc 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
83432⟨a, b, c | ba=ab, cac=c⟩Noc 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
83440⟨a, b, c | ba=ac, aac=a⟩Noc 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
83449⟨a, b, c | ba=ac, abc=a⟩Noc Inf
83451⟨a, b, c | ba=ac, abc=c⟩Noc Inf
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
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
83473⟨a, b, c | ba=ac, cab=b⟩Noc 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
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
83489⟨a, b, c | bb=aa, acb=a⟩Noc 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
83496⟨a, b, c | bb=aa, cac=c⟩Noc 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
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
83514⟨a, b, c | bb=ac, abc=a⟩Noc 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
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
83536⟨a, b, c | bb=ac, caa=a⟩Noc Inf
83538⟨a, b, c | bb=ac, caa=c⟩Noc Inf
83539⟨a, b, c | bb=ac, cba=a⟩Noc 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
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
83615⟨a, b, c | aaa=1, abbbc=1⟩Noc Inf1
83618⟨a, b, c | aaa=1, abbcc=1⟩Noc Inf1
83623⟨a, b, c | aaa=1, abcbc=1⟩Noc Inf2
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
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
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
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
84114⟨a, b, c | aaa=1, abac=c⟩Noc Inf
84119⟨a, b, c | aaa=1, abbc=c⟩Noc Inf
84123⟨a, b, c | aaa=1, abcb=b⟩Noc Inf
84125⟨a, b, c | aaa=1, abcc=a⟩Noc Inf
84127⟨a, b, c | aaa=1, abcc=c⟩Noc Inf
84130⟨a, b, c | aaa=1, baac=b⟩Noc 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
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
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
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
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
84414⟨a, b, c | aba=1, acbc=c⟩Noc Inf
84423⟨a, b, c | aba=1, accc=c⟩Noc Inf
84444⟨a, b, c | aba=1, bbbc=c⟩Noc 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
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
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
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
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
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
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
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
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
85267⟨a, b, c | aa=b, cbbc=c⟩Noc 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
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
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
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
85584⟨a, b, c | ab=c, bbcc=c⟩Noc 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
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
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
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
85691⟨a, b, c | aa=b, abc=bc⟩Noc Inf2
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
85718⟨a, b, c | aa=b, acc=cc⟩Noc Inf1
85732⟨a, b, c | aa=b, bbb=bc⟩Noc 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
85750⟨a, b, c | aa=b, bcc=ab⟩Noc Inf1
85753⟨a, b, c | aa=b, bcc=bb⟩Noc Inf
85760⟨a, b, c | aa=b, cac=ac⟩Noc Inf
85766⟨a, b, c | aa=b, cbc=ac⟩Noc Inf
85768⟨a, b, c | aa=b, cbc=bc⟩Noc Inf
85772⟨a, b, c | aa=b, ccc=ac⟩Noc Inf1
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
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
86039⟨a, b, c | ab=c, aca=cb⟩Noc 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
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
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
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
86097⟨a, b, c | ab=c, bcc=cc⟩Noc Inf
86100⟨a, b, c | ab=c, cac=ac⟩Noc 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
86111⟨a, b, c | ab=c, ccc=bc⟩Noc Inf
86112⟨a, b, c | ab=c, ccc=cc⟩Noc Inf
86161⟨a, b, c | aa=1, abbbbc=1⟩Noc Inf1
86164⟨a, b, c | aa=1, abbbcc=1⟩Noc Inf1
86169⟨a, b, c | aa=1, abbcbc=1⟩Noc Inf1
86172⟨a, b, c | aa=1, abbccc=1⟩Noc Inf
86185⟨a, b, c | aa=1, abcbcc=1⟩Noc 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
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
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
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
86257⟨a, b, c | aa=1, bbcbcc=1⟩Noc Inf
86259⟨a, b, c | aa=1, bbccbc=1⟩Noc Inf
86269⟨a, b, c | aa=1, bcbcbc=1⟩Noc 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
86638⟨a, b, c | aa=1, aabcc=b⟩Noc Inf3
86639⟨a, b, c | aa=1, aabcc=c⟩Noc Inf2
86648⟨a, b, c | aa=1, ababc=c⟩Noc Inf1
86652⟨a, b, c | aa=1, abacb=b⟩Noc Inf1
86656⟨a, b, c | aa=1, abacc=c⟩Noc Inf1
86660⟨a, b, c | aa=1, abbac=c⟩Noc Inf
86665⟨a, b, c | aa=1, abbbc=c⟩Noc Inf1
86670⟨a, b, c | aa=1, abbcb=b⟩Noc Inf1
86674⟨a, b, c | aa=1, abbcc=c⟩Noc Inf1
86676⟨a, b, c | aa=1, abcab=b⟩Noc Inf1
86680⟨a, b, c | aa=1, abcac=c⟩Noc Inf
86682⟨a, b, c | aa=1, abcba=b⟩Noc Inf2
86685⟨a, b, c | aa=1, abcbb=b⟩Noc Inf1
86689⟨a, b, c | aa=1, abcbc=c⟩Noc Inf1
86691⟨a, b, c | aa=1, abccb=b⟩Noc Inf1
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
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
86727⟨a, b, c | aa=1, bacbb=b⟩Noc 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
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
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
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
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
86767⟨a, b, c | aa=1, bcabc=b⟩Noc Inf
86769⟨a, b, c | aa=1, bcacb=b⟩Noc 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
86778⟨a, b, c | aa=1, bcccb=b⟩Noc 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
87145⟨a, b, c | aa=1, abab=cb⟩Noc Inf1
87152⟨a, b, c | aa=1, abac=bc⟩Noc Inf1
87155⟨a, b, c | aa=1, abac=cc⟩Noc Inf1
87162⟨a, b, c | aa=1, abbb=cb⟩Noc Inf1
87169⟨a, b, c | aa=1, abbc=bc⟩Noc Inf1
87172⟨a, b, c | aa=1, abbc=cc⟩Noc Inf1
87183⟨a, b, c | aa=1, abcb=bb⟩Noc Inf1
87186⟨a, b, c | aa=1, abcb=cb⟩Noc Inf1
87193⟨a, b, c | aa=1, abcc=bc⟩Noc Inf
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
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
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
87227⟨a, b, c | aa=1, bacb=cb⟩Noc 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
87237⟨a, b, c | aa=1, bacc=cc⟩Noc Inf
87239⟨a, b, c | aa=1, bbbb=bc⟩Noc 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
87249⟨a, b, c | aa=1, bbbc=cc⟩Noc Inf
87254⟨a, b, c | aa=1, bbcb=bb⟩Noc Inf
87257⟨a, b, c | aa=1, bbcb=cb⟩Noc Inf
87262⟨a, b, c | aa=1, bbcc=bb⟩Noc Inf
87263⟨a, b, c | aa=1, bbcc=bc⟩Noc Inf
87268⟨a, b, c | aa=1, bcbc=bb⟩Noc Inf
87269⟨a, b, c | aa=1, bcbc=bc⟩Noc Inf
87274⟨a, b, c | aa=1, bccb=bb⟩Noc Inf
87275⟨a, b, c | aa=1, bccb=bc⟩Noc 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
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
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