Infinite non-cancellative non-commutative monoids

Up:Monoid enumeration
2661 unique, 6917 total

Σ#PresentationPropertiesDescriptionφ
55⟨a, b | aa=a, bb=1⟩Noc Infℤ2 ∗ ℕ(2 = 1)
59⟨a, b | ab=a, bb=1⟩Noc Inf
640⟨a, b | aa=a, bbb=1⟩Noc Infℕ(2 = 1) ∗ ℤ311
654⟨a, b | ab=a, bbb=1⟩Noc Inf12
655⟨a, b | aa=a, ab=a⟩Noc Inf221
656⟨a, b | aa=a, ab=b⟩Noc Inf5
658⟨a, b | aa=a, bb=b⟩Noc Infℕ(2 = 1) ∗ ℕ(2 = 1)
677⟨a, b | ab=1, aabb=1⟩Noc Inf108
693⟨a, b | aa=1, bab=b⟩Noc Inf19
695⟨a, b | aa=1, bbb=b⟩Noc Infℤ2 ∗ ℕ(3 = 1)23
7113⟨a, b | aaa=a, bbb=1⟩Noc Infℤ3 ∗ ℕ(3 = 1)
7134⟨a, b | aba=a, bbb=1⟩Noc Inf
7157⟨a, b | ab=aa, ba=a⟩Noc Inf
7208⟨a, b | aa=a, bbbb=1⟩Noc Infℕ(2 = 1) ∗ ℤ46
7234⟨a, b | ab=a, bbbb=1⟩Noc Inf6
7235⟨a, b | aa=a, aaa=a⟩Noc Infℕ(2 = 1) ∗ ℕ31
7239⟨a, b | aa=a, aba=a⟩Noc Inf45
7241⟨a, b | aa=a, abb=a⟩Noc Inf40
7244⟨a, b | aa=a, bab=b⟩Noc Inf4
7246⟨a, b | aa=a, bbb=b⟩Noc Infℕ(2 = 1) ∗ ℕ(3 = 1)
7259⟨a, b | ab=a, aaa=a⟩Noc Inf105
7265⟨a, b | ab=a, abb=a⟩Noc Inf68
7271⟨a, b | ab=a, bba=a⟩Noc Inf24
7274⟨a, b | ab=a, bbb=b⟩Noc Inf
7282⟨a, b | ab=b, bb=ab⟩Noc Inf10
7322⟨a, b | aa=1, aaab=b⟩Noc Inf48
7326⟨a, b | aa=1, aabb=b⟩Noc Infℤ2 ∗ ℕ(2 = 1)55
7336⟨a, b | aa=1, babb=b⟩Noc Inf42
7338⟨a, b | aa=1, bbbb=b⟩Noc Infℤ2 ∗ ℕ(4 = 1)29
7368⟨a, b | aa=1, abb=bb⟩Noc Inf42
7371⟨a, b | aa=1, bab=bb⟩Noc Inf25
7374⟨a, b | aa=1, bbb=bb⟩Noc Infℤ2 ∗ ℕ(3 = 2)29
8395⟨a, b | aaa=aa, bbb=1⟩Noc Infℤ3 ∗ ℕ(3 = 2)
8413⟨a, b | aab=aa, bbb=1⟩Noc Inf
8435⟨a, b | aba=aa, bbb=1⟩Noc Inf
8451⟨a, b | bab=ab, bbb=1⟩Noc Inf10
8484⟨a, b | aabb=1, abab=1⟩Noc Inf2
8500⟨a, b | aaa=a, bbbb=1⟩Noc Infℕ(3 = 1) ∗ ℤ41
8516⟨a, b | aab=a, abab=1⟩Noc Inf4
8527⟨a, b | aab=b, aaaa=1⟩Noc Inf
8552⟨a, b | aba=a, bbbb=1⟩Noc Inf1
8563⟨a, b | aaa=a, aab=a⟩Noc Inf35
8564⟨a, b | aaa=a, aab=b⟩Noc Inf1
8565⟨a, b | aaa=a, aba=a⟩Noc Inf7
8567⟨a, b | aaa=a, abb=a⟩Noc Inf3
8569⟨a, b | aaa=a, bab=a⟩Noc Inf8
8570⟨a, b | aaa=a, bab=b⟩Noc Inf1
8572⟨a, b | aaa=a, bbb=b⟩Noc Infℕ(3 = 1) ∗ ℕ(3 = 1)
8582⟨a, b | aab=a, aba=a⟩Noc Inf6
8585⟨a, b | aab=a, abb=b⟩Noc Inf1
8589⟨a, b | aab=a, bab=b⟩Noc Inf1
8590⟨a, b | aab=a, bba=a⟩Noc Inf9
8591⟨a, b | aab=a, bba=b⟩Noc Inf4
8594⟨a, b | aab=b, abb=a⟩Noc Inf2
8595⟨a, b | aab=b, baa=b⟩Noc Inf3
8596⟨a, b | aab=b, bab=a⟩Noc Inf2
8597⟨a, b | aab=b, bab=b⟩Noc Inf4
8598⟨a, b | aab=b, bba=a⟩Noc Inf4
8600⟨a, b | aba=a, bab=b⟩Noc Inf1
8642⟨a, b | ab=aa, bba=a⟩Noc Inf4
8652⟨a, b | bb=aa, aaa=a⟩Noc Inf4
8660⟨a, b | ab=aa, bb=aa⟩Noc Inf1
8662⟨a, b | ab=aa, bb=ba⟩Noc Inf
8751⟨a, b | aaa=1, baab=b⟩Noc Inf4
8753⟨a, b | aaa=1, babb=b⟩Noc Inf8
8755⟨a, b | aaa=1, bbbb=b⟩Noc Infℤ3 ∗ ℕ(4 = 1)5
8758⟨a, b | aab=1, aaab=a⟩Noc Inf39
8767⟨a, b | aab=1, abab=b⟩Noc Inf13
8827⟨a, b | aa=a, bbbbb=1⟩Noc Infℕ(2 = 1) ∗ ℤ51
8879⟨a, b | ab=a, bbbbb=1⟩Noc Inf2
8888⟨a, b | aa=a, abab=a⟩Noc Inf50
8890⟨a, b | aa=a, abba=a⟩Noc Inf17
8892⟨a, b | aa=a, abbb=a⟩Noc Inf15
8896⟨a, b | aa=a, babb=a⟩Noc Inf13
8897⟨a, b | aa=a, babb=b⟩Noc Inf3
8899⟨a, b | aa=a, bbbb=b⟩Noc Infℕ(2 = 1) ∗ ℕ(4 = 1)
8920⟨a, b | ab=a, aaaa=a⟩Noc Inf66
8944⟨a, b | ab=a, bbaa=a⟩Noc Inf56
8948⟨a, b | ab=a, bbba=a⟩Noc Inf12
8951⟨a, b | ab=a, bbbb=b⟩Noc Inf
8960⟨a, b | aa=a, aba=ab⟩Noc Inf13
8963⟨a, b | aa=a, abb=ab⟩Noc Inf9
8964⟨a, b | aa=a, abb=ba⟩Noc Inf7
8965⟨a, b | aa=a, abb=bb⟩Noc Inf3
8967⟨a, b | aa=a, bab=ab⟩Noc Inf9
8968⟨a, b | aa=a, bab=bb⟩Noc Inf3
8971⟨a, b | aa=a, bbb=bb⟩Noc Infℕ(2 = 1) ∗ ℕ(3 = 2)
8992⟨a, b | ab=a, aaa=aa⟩Noc Inf55
8994⟨a, b | ab=a, aaa=ba⟩Noc Inf34
8998⟨a, b | ab=a, aab=ba⟩Noc Inf33
81008⟨a, b | ab=a, baa=aa⟩Noc Inf34
81010⟨a, b | ab=a, baa=ba⟩Noc Inf19
81016⟨a, b | ab=a, bba=aa⟩Noc Inf19
81018⟨a, b | ab=a, bba=ba⟩Noc Inf9
81023⟨a, b | ab=a, bbb=bb⟩Noc Inf
81117⟨a, b | aa=1, ababb=b⟩Noc Inf15
81119⟨a, b | aa=1, abbab=b⟩Noc Inf15
81129⟨a, b | aa=1, babab=b⟩Noc Inf4
81131⟨a, b | aa=1, babbb=b⟩Noc Inf9
81133⟨a, b | aa=1, bbabb=b⟩Noc Inf5
81135⟨a, b | aa=1, bbbbb=b⟩Noc Infℤ2 ∗ ℕ(5 = 1)5
81186⟨a, b | aa=1, abab=bb⟩Noc Inf15
81193⟨a, b | aa=1, abbb=bb⟩Noc Inf17
81200⟨a, b | aa=1, babb=bb⟩Noc Inf9
81203⟨a, b | aa=1, bbbb=bb⟩Noc Infℤ2 ∗ ℕ(4 = 2)6
81257⟨a, b | aa=1, bbb=bab⟩Noc Inf5
91279⟨a, b | aab=aaa, bbb=1⟩Noc Inf1
91283⟨a, b | aba=aaa, bbb=1⟩Noc Inf1
91284⟨a, b | aba=aab, abb=1⟩Noc Inf2
91288⟨a, b | aba=aab, bbb=1⟩Noc Inf1
91322⟨a, b | aaaa=a, bbbb=1⟩Noc Infℤ4 ∗ ℕ(4 = 1)
91372⟨a, b | aaba=a, bbbb=1⟩Noc Inf
91387⟨a, b | aabb=a, abab=1⟩Noc Inf1
91397⟨a, b | aabb=a, bbbb=1⟩Noc Inf2
91423⟨a, b | abba=a, bbbb=1⟩Noc Inf
91449⟨a, b | aaa=aa, bbbb=1⟩Noc Infℕ(3 = 2) ∗ ℤ41
91491⟨a, b | aab=aa, bbbb=1⟩Noc Inf2
91492⟨a, b | aab=ab, aaaa=1⟩Noc Inf4
91524⟨a, b | aab=bb, aaaa=1⟩Noc Inf2
91549⟨a, b | aba=aa, bbbb=1⟩Noc Inf1
91577⟨a, b | aaa=aa, aab=b⟩Noc Inf2
91578⟨a, b | aaa=aa, aba=a⟩Noc Inf4
91580⟨a, b | aaa=aa, abb=a⟩Noc Inf
91582⟨a, b | aaa=aa, bab=a⟩Noc Inf
91583⟨a, b | aaa=aa, bab=b⟩Noc Inf
91585⟨a, b | aaa=aa, bbb=b⟩Noc Infℕ(3 = 1) ∗ ℕ(3 = 2)
91586⟨a, b | aaa=ab, aab=a⟩Noc Inf50
91590⟨a, b | aaa=ab, abb=a⟩Noc Inf23
91596⟨a, b | aaa=ab, bba=a⟩Noc Inf6
91604⟨a, b | aaa=bb, abb=a⟩Noc Inf1
91607⟨a, b | aaa=bb, bab=b⟩Noc Inf1
91609⟨a, b | aaa=bb, bbb=b⟩Noc Inf2
91610⟨a, b | aab=aa, aba=a⟩Noc Inf4
91612⟨a, b | aab=aa, abb=a⟩Noc Inf
91616⟨a, b | aab=aa, bab=a⟩Noc Inf
91617⟨a, b | aab=aa, bab=b⟩Noc Inf
91618⟨a, b | aab=aa, bba=a⟩Noc Inf
91621⟨a, b | aab=aa, bbb=b⟩Noc Inf
91627⟨a, b | aab=ab, baa=b⟩Noc Inf
91629⟨a, b | aab=ab, bab=b⟩Noc Inf2
91630⟨a, b | aab=ab, bba=a⟩Noc Inf
91631⟨a, b | aab=ab, bba=b⟩Noc Inf2
91633⟨a, b | aab=ab, bbb=b⟩Noc Inf
91635⟨a, b | aab=ba, aba=b⟩Noc Inf8
91636⟨a, b | aab=ba, abb=a⟩Noc Inf7
91639⟨a, b | aab=ba, baa=b⟩Noc Inf3
91641⟨a, b | aab=ba, bab=b⟩Noc Inf15
91642⟨a, b | aab=ba, bba=a⟩Noc Inf17
91645⟨a, b | aab=ba, bbb=b⟩Noc Inf1
91651⟨a, b | aab=bb, baa=b⟩Noc Inf
91653⟨a, b | aab=bb, bab=b⟩Noc Inf
91655⟨a, b | aab=bb, bba=b⟩Noc Inf24
91657⟨a, b | aab=bb, bbb=b⟩Noc Inf3
91658⟨a, b | aba=aa, abb=a⟩Noc Inf
91662⟨a, b | aba=aa, bab=a⟩Noc Inf
91663⟨a, b | aba=aa, bab=b⟩Noc Inf
91665⟨a, b | aba=aa, bbb=b⟩Noc Inf
91669⟨a, b | aba=ab, baa=b⟩Noc Inf
91671⟨a, b | aba=ab, bab=b⟩Noc Inf14
91672⟨a, b | aba=ab, bba=a⟩Noc Inf4
91675⟨a, b | aba=ab, bbb=b⟩Noc Inf
91677⟨a, b | aba=ba, baa=b⟩Noc Inf2
91687⟨a, b | abb=aa, bbb=b⟩Noc Inf1
91689⟨a, b | abb=ab, bbb=b⟩Noc Inf
91691⟨a, b | abb=ba, bbb=b⟩Noc Inf2
91693⟨a, b | abb=bb, bbb=b⟩Noc Inf10
91697⟨a, b | bab=ab, bbb=b⟩Noc Inf
91699⟨a, b | bab=bb, bbb=b⟩Noc Inf
91789⟨a, b | aabb=1, aabab=1⟩Noc Inf1
91803⟨a, b | abab=1, aaabb=1⟩Noc Inf2
91855⟨a, b | aaa=a, bbbbb=1⟩Noc Infℕ(3 = 1) ∗ ℤ51
91908⟨a, b | aab=b, aaaaa=1⟩Noc Inf4
91959⟨a, b | aba=a, bbbbb=1⟩Noc Inf1
91983⟨a, b | aaa=a, aaab=b⟩Noc Inf1
91984⟨a, b | aaa=a, aaba=a⟩Noc Inf12
91985⟨a, b | aaa=a, aaba=b⟩Noc Inf1
91986⟨a, b | aaa=a, aabb=a⟩Noc Inf8
91987⟨a, b | aaa=a, aabb=b⟩Noc Inf2
91988⟨a, b | aaa=a, abab=a⟩Noc Inf12
91990⟨a, b | aaa=a, abba=a⟩Noc Inf5
91992⟨a, b | aaa=a, abbb=a⟩Noc Inf4
91995⟨a, b | aaa=a, baab=b⟩Noc Inf1
91996⟨a, b | aaa=a, babb=a⟩Noc Inf4
91997⟨a, b | aaa=a, babb=b⟩Noc Inf1
91999⟨a, b | aaa=a, bbbb=b⟩Noc Infℕ(3 = 1) ∗ ℕ(4 = 1)
92048⟨a, b | aab=a, bbba=a⟩Noc Inf8
92052⟨a, b | aab=b, aaaa=a⟩Noc Inf1
92055⟨a, b | aab=b, aaab=b⟩Noc Inf6
92061⟨a, b | aab=b, abaa=b⟩Noc Inf6
92063⟨a, b | aab=b, abab=b⟩Noc Inf8
92066⟨a, b | aab=b, abbb=a⟩Noc Inf3
92069⟨a, b | aab=b, baaa=b⟩Noc Inf4
92073⟨a, b | aab=b, baba=b⟩Noc Inf5
92075⟨a, b | aab=b, babb=b⟩Noc Inf6
92077⟨a, b | aab=b, bbaa=b⟩Noc Inf7
92079⟨a, b | aab=b, bbab=b⟩Noc Inf6
92080⟨a, b | aab=b, bbba=a⟩Noc Inf5
92081⟨a, b | aab=b, bbba=b⟩Noc Inf10
92083⟨a, b | aab=b, bbbb=b⟩Noc Inf7
92084⟨a, b | aba=a, aaaa=a⟩Noc Inf5
92090⟨a, b | aba=a, aabb=a⟩Noc Inf5
92094⟨a, b | aba=a, abba=a⟩Noc Inf4
92096⟨a, b | aba=a, abbb=a⟩Noc Inf4
92099⟨a, b | aba=a, baab=b⟩Noc Inf2
92101⟨a, b | aba=a, babb=b⟩Noc Inf4
92103⟨a, b | aba=a, bbbb=b⟩Noc Inf
92104⟨a, b | aba=b, aaaa=a⟩Noc Inf1
92176⟨a, b | ab=aa, aaaa=a⟩Noc Inf32
92200⟨a, b | ab=aa, bbaa=a⟩Noc Inf10
92204⟨a, b | ab=aa, bbba=a⟩Noc Inf1
92228⟨a, b | ab=aa, aaa=aa⟩Noc Inf12
92230⟨a, b | ab=aa, aaa=ba⟩Noc Inf3
92244⟨a, b | ab=aa, baa=aa⟩Noc Inf3
92246⟨a, b | ab=aa, baa=ba⟩Noc Inf1
92252⟨a, b | ab=aa, bba=aa⟩Noc Inf1
92254⟨a, b | ab=aa, bba=ba⟩Noc Inf
92270⟨a, b | bb=aa, aaa=aa⟩Noc Inf6
92437⟨a, b | aaa=1, ababb=b⟩Noc Inf4
92447⟨a, b | aaa=1, baabb=b⟩Noc Inf2
92449⟨a, b | aaa=1, babab=b⟩Noc Inf1
92451⟨a, b | aaa=1, babbb=b⟩Noc Inf2
92453⟨a, b | aaa=1, bbabb=b⟩Noc Inf1
92455⟨a, b | aaa=1, bbbbb=b⟩Noc Infℤ3 ∗ ℕ(5 = 1)1
92574⟨a, b | aaa=1, aabb=bb⟩Noc Inf11
92576⟨a, b | aaa=1, abab=ab⟩Noc Inf5
92578⟨a, b | aaa=1, abab=bb⟩Noc Inf3
92583⟨a, b | aaa=1, abbb=ab⟩Noc Infℤ3 ∗ ℕ(3 = 1)5
92585⟨a, b | aaa=1, abbb=bb⟩Noc Inf3
92588⟨a, b | aaa=1, baab=bb⟩Noc Inf1
92591⟨a, b | aaa=1, babb=ba⟩Noc Inf5
92592⟨a, b | aaa=1, babb=bb⟩Noc Inf2
92595⟨a, b | aaa=1, bbbb=bb⟩Noc Infℤ3 ∗ ℕ(4 = 2)1
92755⟨a, b | aa=a, bbbbbb=1⟩Noc Infℕ(2 = 1) ∗ ℤ61
92855⟨a, b | ab=a, bbbbbb=1⟩Noc Inf1
92874⟨a, b | aa=a, ababa=a⟩Noc Inf11
92876⟨a, b | aa=a, ababb=a⟩Noc Inf10
92878⟨a, b | aa=a, abbab=a⟩Noc Inf22
92880⟨a, b | aa=a, abbba=a⟩Noc Inf7
92882⟨a, b | aa=a, abbbb=a⟩Noc Inf6
92889⟨a, b | aa=a, babab=b⟩Noc Inf3
92890⟨a, b | aa=a, babbb=a⟩Noc Inf6
92891⟨a, b | aa=a, babbb=b⟩Noc Inf2
92892⟨a, b | aa=a, bbabb=a⟩Noc Inf6
92893⟨a, b | aa=a, bbabb=b⟩Noc Inf2
92895⟨a, b | aa=a, bbbbb=b⟩Noc Infℕ(2 = 1) ∗ ℕ(5 = 1)
92936⟨a, b | ab=a, aaaaa=a⟩Noc Inf28
92984⟨a, b | ab=a, bbaaa=a⟩Noc Inf16
92992⟨a, b | ab=a, bbbaa=a⟩Noc Inf15
92996⟨a, b | ab=a, bbbba=a⟩Noc Inf6
92999⟨a, b | ab=a, bbbbb=b⟩Noc Inf
93009⟨a, b | aa=a, aaba=ba⟩Noc Inf5
93016⟨a, b | aa=a, abab=ab⟩Noc Inf9
93017⟨a, b | aa=a, abab=ba⟩Noc Inf9
93018⟨a, b | aa=a, abab=bb⟩Noc Inf5
93020⟨a, b | aa=a, abba=ab⟩Noc Inf14
93021⟨a, b | aa=a, abba=bb⟩Noc Inf3
93023⟨a, b | aa=a, abbb=ab⟩Noc Inf5
93024⟨a, b | aa=a, abbb=ba⟩Noc Inf5
93025⟨a, b | aa=a, abbb=bb⟩Noc Inf5
93030⟨a, b | aa=a, babb=ab⟩Noc Inf5
93031⟨a, b | aa=a, babb=ba⟩Noc Inf5
93032⟨a, b | aa=a, babb=bb⟩Noc Inf2
93035⟨a, b | aa=a, bbbb=bb⟩Noc Infℕ(2 = 1) ∗ ℕ(4 = 2)
93072⟨a, b | ab=a, aaaa=aa⟩Noc Inf27
93074⟨a, b | ab=a, aaaa=ba⟩Noc Inf20
93104⟨a, b | ab=a, baaa=aa⟩Noc Inf20
93106⟨a, b | ab=a, baaa=ba⟩Noc Inf14
93120⟨a, b | ab=a, bbaa=aa⟩Noc Inf14
93122⟨a, b | ab=a, bbaa=ba⟩Noc Inf9
93128⟨a, b | ab=a, bbba=aa⟩Noc Inf9
93130⟨a, b | ab=a, bbba=ba⟩Noc Inf5
93135⟨a, b | ab=a, bbbb=bb⟩Noc Inf
93141⟨a, b | aa=a, abb=aba⟩Noc Inf9
93146⟨a, b | aa=a, bab=aba⟩Noc Inf6
93147⟨a, b | aa=a, bab=abb⟩Noc Inf5
93148⟨a, b | aa=a, bba=abb⟩Noc Inf3
93151⟨a, b | aa=a, bbb=aba⟩Noc Inf3
93152⟨a, b | aa=a, bbb=abb⟩Noc Inf2
93153⟨a, b | aa=a, bbb=bab⟩Noc Inf2
93178⟨a, b | ab=a, baa=aaa⟩Noc Inf20
93187⟨a, b | ab=a, bba=aaa⟩Noc Inf14
93191⟨a, b | ab=a, bba=baa⟩Noc Inf9
93383⟨a, b | aa=1, abbbab=b⟩Noc Inf17
93397⟨a, b | aa=1, bababb=b⟩Noc Inf9
93399⟨a, b | aa=1, babbab=b⟩Noc Inf5
93401⟨a, b | aa=1, babbbb=b⟩Noc Inf10
93405⟨a, b | aa=1, bbabbb=b⟩Noc Inf10
93407⟨a, b | aa=1, bbbbbb=b⟩Noc Infℤ2 ∗ ℕ(6 = 1)6
93512⟨a, b | aa=1, ababb=bb⟩Noc Inf17
93516⟨a, b | aa=1, abbab=bb⟩Noc Inf17
93519⟨a, b | aa=1, abbba=bb⟩Noc Inf17
93523⟨a, b | aa=1, abbbb=bb⟩Noc Inf15
93533⟨a, b | aa=1, babab=bb⟩Noc Inf5
93537⟨a, b | aa=1, babbb=bb⟩Noc Inf10
93540⟨a, b | aa=1, bbabb=bb⟩Noc Inf6
93543⟨a, b | aa=1, bbbbb=bb⟩Noc Infℤ2 ∗ ℕ(5 = 2)6
93659⟨a, b | aa=1, abbb=bbb⟩Noc Inf9
93671⟨a, b | aa=1, babb=bab⟩Noc Inf9
93673⟨a, b | aa=1, babb=bbb⟩Noc Inf10
93678⟨a, b | aa=1, bbbb=bab⟩Noc Inf6
93679⟨a, b | aa=1, bbbb=bbb⟩Noc Infℤ2 ∗ ℕ(4 = 3)6
103752⟨a, b | aaaa=aa, bbbb=1⟩Noc Infℤ4 ∗ ℕ(4 = 2)
103780⟨a, b | aaab=aa, abab=1⟩Noc Inf
103790⟨a, b | aaab=aa, bbbb=1⟩Noc Inf
103845⟨a, b | aaba=aa, bbbb=1⟩Noc Inf
103858⟨a, b | aaba=ab, bbbb=1⟩Noc Inf
103871⟨a, b | aaba=ba, bbbb=1⟩Noc Inf
103886⟨a, b | aabb=aa, abab=1⟩Noc Inf
103896⟨a, b | aabb=aa, bbbb=1⟩Noc Inf
103898⟨a, b | aabb=ab, abab=1⟩Noc Inf1
103907⟨a, b | aabb=ba, abab=1⟩Noc Inf
103931⟨a, b | abab=aa, bbbb=1⟩Noc Inf
103958⟨a, b | abba=aa, bbbb=1⟩Noc Inf
103979⟨a, b | abbb=ab, bbbb=1⟩Noc Inf1
103991⟨a, b | baba=ba, bbaa=1⟩Noc Inf
104011⟨a, b | aab=aaa, bbbb=1⟩Noc Inf
104021⟨a, b | aba=aaa, bbbb=1⟩Noc Inf
104025⟨a, b | aba=aab, aabb=1⟩Noc Inf2
104029⟨a, b | aba=aab, abbb=1⟩Noc Inf
104037⟨a, b | aba=aab, bbbb=1⟩Noc Inf
104053⟨a, b | abb=aaa, bbbb=1⟩Noc Inf
104079⟨a, b | abb=aba, bbbb=1⟩Noc Inf
104107⟨a, b | bab=aaa, bbbb=1⟩Noc Inf1
104120⟨a, b | aab=aaa, aba=a⟩Noc Inf
104122⟨a, b | aab=aaa, abb=a⟩Noc Inf
104126⟨a, b | aab=aaa, bab=a⟩Noc Inf
104127⟨a, b | aab=aaa, bab=b⟩Noc Inf
104128⟨a, b | aab=aaa, bba=a⟩Noc Inf
104131⟨a, b | aab=aaa, bbb=b⟩Noc Inf
104132⟨a, b | aba=aaa, abb=a⟩Noc Inf
104134⟨a, b | aba=aaa, baa=a⟩Noc Inf8
104136⟨a, b | aba=aaa, bab=a⟩Noc Inf
104137⟨a, b | aba=aaa, bab=b⟩Noc Inf
104139⟨a, b | aba=aaa, bbb=b⟩Noc Inf
104140⟨a, b | aba=aab, abb=a⟩Noc Inf
104141⟨a, b | aba=aab, abb=b⟩Noc Inf
104143⟨a, b | aba=aab, baa=b⟩Noc Inf
104144⟨a, b | aba=aab, bab=a⟩Noc Inf
104145⟨a, b | aba=aab, bab=b⟩Noc Inf
104146⟨a, b | aba=aab, bba=a⟩Noc Inf
104147⟨a, b | aba=aab, bba=b⟩Noc Inf1
104149⟨a, b | aba=aab, bbb=b⟩Noc Inf
104150⟨a, b | abb=aaa, baa=a⟩Noc Inf2
104151⟨a, b | abb=aaa, baa=b⟩Noc Inf
104152⟨a, b | abb=aaa, bab=a⟩Noc Inf
104153⟨a, b | abb=aaa, bab=b⟩Noc Inf
104154⟨a, b | abb=aaa, bba=a⟩Noc Inf
104157⟨a, b | abb=aaa, bbb=b⟩Noc Inf
104158⟨a, b | abb=aab, baa=a⟩Noc Inf1
104159⟨a, b | abb=aab, baa=b⟩Noc Inf
104161⟨a, b | abb=aab, bab=b⟩Noc Inf
104163⟨a, b | abb=aab, bbb=b⟩Noc Inf1
104164⟨a, b | abb=aba, baa=a⟩Noc Inf3
104165⟨a, b | abb=aba, baa=b⟩Noc Inf
104168⟨a, b | abb=aba, bba=a⟩Noc Inf
104171⟨a, b | abb=aba, bbb=b⟩Noc Inf
104173⟨a, b | baa=aab, bab=b⟩Noc Inf
104174⟨a, b | baa=aab, bba=a⟩Noc Inf1
104175⟨a, b | baa=aab, bba=b⟩Noc Inf2
104177⟨a, b | baa=aab, bbb=b⟩Noc Inf
104179⟨a, b | baa=abb, bab=b⟩Noc Inf
104180⟨a, b | baa=abb, bba=a⟩Noc Inf1
104183⟨a, b | baa=abb, bbb=b⟩Noc Inf
104184⟨a, b | bab=aaa, bba=a⟩Noc Inf1
104187⟨a, b | bab=aaa, bbb=b⟩Noc Inf
104189⟨a, b | bab=aab, bbb=b⟩Noc Inf
104190⟨a, b | bab=aba, bba=a⟩Noc Inf1
104193⟨a, b | bab=aba, bbb=b⟩Noc Inf
104195⟨a, b | bab=abb, bbb=b⟩Noc Inf
104199⟨a, b | bba=abb, bbb=b⟩Noc Inf
104274⟨a, b | aaabb=1, aabab=1⟩Noc Inf
104279⟨a, b | aaabb=1, ababb=1⟩Noc Inf
104361⟨a, b | aaaa=a, bbbbb=1⟩Noc Infℕ(4 = 1) ∗ ℤ5
104477⟨a, b | aaba=a, bbbbb=1⟩Noc Inf
104515⟨a, b | aabb=a, aabab=1⟩Noc Inf
104521⟨a, b | aabb=a, ababb=1⟩Noc Inf
104593⟨a, b | abba=a, bbbbb=1⟩Noc Inf
104615⟨a, b | aaaa=a, aaab=b⟩Noc Inf
104616⟨a, b | aaaa=a, aaba=a⟩Noc Inf2
104618⟨a, b | aaaa=a, aabb=a⟩Noc Inf3
104620⟨a, b | aaaa=a, abab=a⟩Noc Inf1
104622⟨a, b | aaaa=a, abba=a⟩Noc Inf
104624⟨a, b | aaaa=a, abbb=a⟩Noc Inf
104626⟨a, b | aaaa=a, baab=a⟩Noc Inf
104627⟨a, b | aaaa=a, baab=b⟩Noc Inf
104628⟨a, b | aaaa=a, babb=a⟩Noc Inf
104629⟨a, b | aaaa=a, babb=b⟩Noc Inf
104631⟨a, b | aaaa=a, bbbb=b⟩Noc Infℕ(4 = 1) ∗ ℕ(4 = 1)
104649⟨a, b | aaab=a, aaba=a⟩Noc Inf
104652⟨a, b | aaab=a, aabb=b⟩Noc Inf
104653⟨a, b | aaab=a, abaa=a⟩Noc Inf3
104656⟨a, b | aaab=a, abab=b⟩Noc Inf
104659⟨a, b | aaab=a, abbb=a⟩Noc Inf2
104664⟨a, b | aaab=a, baab=b⟩Noc Inf
104666⟨a, b | aaab=a, baba=b⟩Noc Inf3
104671⟨a, b | aaab=a, bbab=a⟩Noc Inf5
104673⟨a, b | aaab=a, bbba=a⟩Noc Inf
104678⟨a, b | aaab=b, aabb=b⟩Noc Inf3
104680⟨a, b | aaab=b, abaa=b⟩Noc Inf1
104684⟨a, b | aaab=b, abba=b⟩Noc Inf2
104685⟨a, b | aaab=b, abbb=a⟩Noc Inf
104686⟨a, b | aaab=b, baaa=b⟩Noc Inf
104687⟨a, b | aaab=b, baab=a⟩Noc Inf
104688⟨a, b | aaab=b, baab=b⟩Noc Inf
104690⟨a, b | aaab=b, baba=b⟩Noc Inf
104692⟨a, b | aaab=b, babb=b⟩Noc Inf
104694⟨a, b | aaab=b, bbaa=b⟩Noc Inf
104696⟨a, b | aaab=b, bbab=b⟩Noc Inf
104697⟨a, b | aaab=b, bbba=a⟩Noc Inf
104698⟨a, b | aaba=a, aabb=a⟩Noc Inf
104699⟨a, b | aaba=a, aabb=b⟩Noc Inf
104700⟨a, b | aaba=a, abaa=a⟩Noc Inf
104703⟨a, b | aaba=a, abab=b⟩Noc Inf
104704⟨a, b | aaba=a, abba=a⟩Noc Inf
104707⟨a, b | aaba=a, baab=b⟩Noc Inf
104711⟨a, b | aaba=a, babb=b⟩Noc Inf1
104712⟨a, b | aaba=a, bbaa=a⟩Noc Inf
104715⟨a, b | aaba=a, bbab=b⟩Noc Inf
104731⟨a, b | aabb=a, abab=a⟩Noc Inf2
104733⟨a, b | aabb=a, abba=a⟩Noc Inf
104737⟨a, b | aabb=a, baba=a⟩Noc Inf1
104739⟨a, b | aabb=a, bbaa=a⟩Noc Inf2
104741⟨a, b | abab=a, abba=a⟩Noc Inf
104769⟨a, b | aaa=aa, bbbbb=1⟩Noc Infℕ(3 = 2) ∗ ℤ5
104853⟨a, b | aab=aa, bbbbb=1⟩Noc Inf1
104969⟨a, b | aba=aa, bbbbb=1⟩Noc Inf
105032⟨a, b | aaa=aa, abba=a⟩Noc Inf
105034⟨a, b | aaa=aa, abbb=a⟩Noc Inf
105037⟨a, b | aaa=aa, baab=b⟩Noc Inf1
105038⟨a, b | aaa=aa, babb=a⟩Noc Inf
105039⟨a, b | aaa=aa, babb=b⟩Noc Inf
105041⟨a, b | aaa=aa, bbbb=b⟩Noc Infℕ(3 = 2) ∗ ℕ(4 = 1)
105048⟨a, b | aaa=ab, aabb=a⟩Noc Inf14
105056⟨a, b | aaa=ab, abbb=a⟩Noc Inf8
105066⟨a, b | aaa=ab, bbaa=a⟩Noc Inf5
105068⟨a, b | aaa=ab, bbab=a⟩Noc Inf8
105070⟨a, b | aaa=ab, bbba=a⟩Noc Inf
105089⟨a, b | aaa=bb, baab=b⟩Noc Inf
105106⟨a, b | aab=aa, abba=a⟩Noc Inf1
105108⟨a, b | aab=aa, abbb=a⟩Noc Inf1
105116⟨a, b | aab=aa, babb=a⟩Noc Inf
105117⟨a, b | aab=aa, babb=b⟩Noc Inf1
105120⟨a, b | aab=aa, bbab=a⟩Noc Inf
105121⟨a, b | aab=aa, bbab=b⟩Noc Inf1
105122⟨a, b | aab=aa, bbba=a⟩Noc Inf
105125⟨a, b | aab=aa, bbbb=b⟩Noc Inf1
105126⟨a, b | aab=ab, aaaa=a⟩Noc Inf
105143⟨a, b | aab=ab, baaa=b⟩Noc Inf
105149⟨a, b | aab=ab, babb=b⟩Noc Inf1
105151⟨a, b | aab=ab, bbaa=b⟩Noc Inf1
105152⟨a, b | aab=ab, bbab=a⟩Noc Inf10
105153⟨a, b | aab=ab, bbab=b⟩Noc Inf1
105154⟨a, b | aab=ab, bbba=a⟩Noc Inf
105155⟨a, b | aab=ab, bbba=b⟩Noc Inf2
105157⟨a, b | aab=ab, bbbb=b⟩Noc Inf
105158⟨a, b | aab=ba, aaaa=a⟩Noc Inf
105167⟨a, b | aab=ba, abaa=b⟩Noc Inf1
105172⟨a, b | aab=ba, abbb=a⟩Noc Inf1
105175⟨a, b | aab=ba, baaa=b⟩Noc Inf1
105181⟨a, b | aab=ba, babb=b⟩Noc Inf8
105186⟨a, b | aab=ba, bbba=a⟩Noc Inf2
105189⟨a, b | aab=ba, bbbb=b⟩Noc Inf
105201⟨a, b | aab=bb, abab=b⟩Noc Inf4
105205⟨a, b | aab=bb, abbb=b⟩Noc Inf11
105207⟨a, b | aab=bb, baaa=b⟩Noc Inf
105211⟨a, b | aab=bb, baba=b⟩Noc Inf2
105213⟨a, b | aab=bb, babb=b⟩Noc Inf1
105215⟨a, b | aab=bb, bbaa=b⟩Noc Inf3
105217⟨a, b | aab=bb, bbab=b⟩Noc Inf1
105219⟨a, b | aab=bb, bbba=b⟩Noc Inf7
105221⟨a, b | aab=bb, bbbb=b⟩Noc Inf3
105222⟨a, b | aba=aa, aaaa=a⟩Noc Inf4
105228⟨a, b | aba=aa, aabb=a⟩Noc Inf1
105232⟨a, b | aba=aa, abba=a⟩Noc Inf
105234⟨a, b | aba=aa, abbb=a⟩Noc Inf
105237⟨a, b | aba=aa, baab=b⟩Noc Inf1
105238⟨a, b | aba=aa, babb=a⟩Noc Inf
105239⟨a, b | aba=aa, babb=b⟩Noc Inf
105241⟨a, b | aba=aa, bbbb=b⟩Noc Inf
105242⟨a, b | aba=ab, aaaa=a⟩Noc Inf
105259⟨a, b | aba=ab, baaa=b⟩Noc Inf1
105266⟨a, b | aba=ab, bbaa=a⟩Noc Inf3
105270⟨a, b | aba=ab, bbba=a⟩Noc Inf
105273⟨a, b | aba=ab, bbbb=b⟩Noc Inf
105274⟨a, b | aba=bb, aaaa=a⟩Noc Inf
105277⟨a, b | aba=bb, aaab=b⟩Noc Inf
105285⟨a, b | aba=bb, abba=b⟩Noc Inf3
105286⟨a, b | aba=bb, abbb=a⟩Noc Inf2
105293⟨a, b | aba=bb, bbbb=b⟩Noc Inf2
105294⟨a, b | aaa=aa, aab=aa⟩Noc Inf4
105295⟨a, b | aaa=aa, aab=ab⟩Noc Inf1
105296⟨a, b | aaa=aa, aab=ba⟩Noc Inf1
105297⟨a, b | aaa=aa, aab=bb⟩Noc Inf1
105298⟨a, b | aaa=aa, aba=aa⟩Noc Inf2
105299⟨a, b | aaa=aa, aba=ab⟩Noc Inf
105301⟨a, b | aaa=aa, abb=aa⟩Noc Inf1
105302⟨a, b | aaa=aa, abb=ab⟩Noc Inf
105303⟨a, b | aaa=aa, abb=ba⟩Noc Inf
105304⟨a, b | aaa=aa, abb=bb⟩Noc Inf1
105305⟨a, b | aaa=aa, bab=aa⟩Noc Inf1
105306⟨a, b | aaa=aa, bab=ab⟩Noc Inf
105307⟨a, b | aaa=aa, bab=bb⟩Noc Inf
105308⟨a, b | aaa=aa, bbb=aa⟩Noc Inf3
105310⟨a, b | aaa=aa, bbb=bb⟩Noc Infℕ(3 = 2) ∗ ℕ(3 = 2)
105311⟨a, b | aaa=ab, aab=aa⟩Noc Inf6
105312⟨a, b | aaa=ab, aab=ab⟩Noc Inf6
105313⟨a, b | aaa=ab, aab=ba⟩Noc Inf2
105314⟨a, b | aaa=ab, aab=bb⟩Noc Inf2
105319⟨a, b | aaa=ab, abb=aa⟩Noc Inf5
105320⟨a, b | aaa=ab, abb=ab⟩Noc Inf5
105321⟨a, b | aaa=ab, abb=ba⟩Noc Inf3
105323⟨a, b | aaa=ab, baa=aa⟩Noc Inf
105324⟨a, b | aaa=ab, baa=ab⟩Noc Inf2
105325⟨a, b | aaa=ab, baa=ba⟩Noc Inf
105326⟨a, b | aaa=ab, baa=bb⟩Noc Inf
105327⟨a, b | aaa=ab, bab=aa⟩Noc Inf2
105328⟨a, b | aaa=ab, bab=ab⟩Noc Inf2
105329⟨a, b | aaa=ab, bab=ba⟩Noc Inf1
105331⟨a, b | aaa=ab, bba=aa⟩Noc Inf2
105332⟨a, b | aaa=ab, bba=ab⟩Noc Inf2
105333⟨a, b | aaa=ab, bba=ba⟩Noc Inf
105338⟨a, b | aaa=bb, aab=aa⟩Noc Inf2
105341⟨a, b | aaa=bb, aab=bb⟩Noc Inf1
105345⟨a, b | aaa=bb, abb=aa⟩Noc Inf3
105348⟨a, b | aaa=bb, abb=bb⟩Noc Inf2
105351⟨a, b | aaa=bb, bab=bb⟩Noc Inf1
105352⟨a, b | aaa=bb, bbb=aa⟩Noc Inf1
105353⟨a, b | aab=aa, aba=aa⟩Noc Inf2
105354⟨a, b | aab=aa, aba=ab⟩Noc Inf3
105355⟨a, b | aab=aa, aba=ba⟩Noc Inf2
105357⟨a, b | aab=aa, abb=aa⟩Noc Inf1
105358⟨a, b | aab=aa, abb=ab⟩Noc Inf
105359⟨a, b | aab=aa, abb=ba⟩Noc Inf
105360⟨a, b | aab=aa, abb=bb⟩Noc Inf1
105361⟨a, b | aab=aa, baa=aa⟩Noc Inf2
105362⟨a, b | aab=aa, baa=ab⟩Noc Inf3
105363⟨a, b | aab=aa, baa=ba⟩Noc Inf1
105364⟨a, b | aab=aa, baa=bb⟩Noc Inf1
105365⟨a, b | aab=aa, bab=aa⟩Noc Inf3
105366⟨a, b | aab=aa, bab=ab⟩Noc Inf
105367⟨a, b | aab=aa, bab=ba⟩Noc Inf
105368⟨a, b | aab=aa, bab=bb⟩Noc Inf
105369⟨a, b | aab=aa, bba=aa⟩Noc Inf1
105370⟨a, b | aab=aa, bba=ab⟩Noc Inf1
105371⟨a, b | aab=aa, bba=ba⟩Noc Inf
105372⟨a, b | aab=aa, bba=bb⟩Noc Inf1
105373⟨a, b | aab=ab, aba=aa⟩Noc Inf2
105374⟨a, b | aab=ab, aba=ab⟩Noc Inf3
105375⟨a, b | aab=ab, aba=ba⟩Noc Inf1
105376⟨a, b | aab=ab, aba=bb⟩Noc Inf1
105377⟨a, b | aab=ab, abb=aa⟩Noc Inf1
105378⟨a, b | aab=ab, abb=ab⟩Noc Inf2
105379⟨a, b | aab=ab, abb=ba⟩Noc Inf1
105380⟨a, b | aab=ab, baa=ab⟩Noc Inf1
105381⟨a, b | aab=ab, baa=ba⟩Noc Inf
105382⟨a, b | aab=ab, baa=bb⟩Noc Inf
105383⟨a, b | aab=ab, bab=aa⟩Noc Inf10
105384⟨a, b | aab=ab, bab=ab⟩Noc Inf2
105385⟨a, b | aab=ab, bab=ba⟩Noc Inf1
105386⟨a, b | aab=ab, bab=bb⟩Noc Inf1
105387⟨a, b | aab=ab, bba=aa⟩Noc Inf
105388⟨a, b | aab=ab, bba=ab⟩Noc Inf5
105389⟨a, b | aab=ab, bba=ba⟩Noc Inf
105390⟨a, b | aab=ba, aba=aa⟩Noc Inf5
105391⟨a, b | aab=ba, aba=ab⟩Noc Inf2
105392⟨a, b | aab=ba, aba=ba⟩Noc Inf2
105393⟨a, b | aab=ba, aba=bb⟩Noc Inf1
105394⟨a, b | aab=ba, abb=aa⟩Noc Inf1
105395⟨a, b | aab=ba, abb=ba⟩Noc Inf1
105396⟨a, b | aab=ba, baa=ab⟩Noc Inf1
105397⟨a, b | aab=ba, baa=bb⟩Noc Inf1
105398⟨a, b | aab=ba, bab=aa⟩Noc Inf2
105400⟨a, b | aab=ba, bab=ba⟩Noc Inf3
105401⟨a, b | aab=ba, bab=bb⟩Noc Inf1
105405⟨a, b | aab=bb, aba=ab⟩Noc Inf1
105406⟨a, b | aab=bb, aba=ba⟩Noc Inf
105407⟨a, b | aab=bb, aba=bb⟩Noc Inf1
105408⟨a, b | aab=bb, abb=aa⟩Noc Inf1
105409⟨a, b | aab=bb, baa=bb⟩Noc Inf1
105411⟨a, b | aab=bb, bab=ab⟩Noc Inf
105412⟨a, b | aab=bb, bab=ba⟩Noc Inf
105413⟨a, b | aab=bb, bab=bb⟩Noc Inf1
105414⟨a, b | aab=bb, bba=aa⟩Noc Inf1
105415⟨a, b | aba=aa, bab=aa⟩Noc Inf1
105416⟨a, b | aba=aa, bab=ab⟩Noc Inf
105417⟨a, b | aba=aa, bab=bb⟩Noc Inf
105419⟨a, b | aba=ab, bab=ab⟩Noc Inf2
105420⟨a, b | aba=ab, bab=ba⟩Noc Inf2
105591⟨a, b | aabb=1, aaabab=1⟩Noc Inf
105597⟨a, b | aabb=1, aababb=1⟩Noc Inf
105605⟨a, b | aabb=1, ababab=1⟩Noc Inf
105625⟨a, b | abab=1, aaaabb=1⟩Noc Inf
105629⟨a, b | abab=1, aaabbb=1⟩Noc Inf
105705⟨a, b | aaaa=1, aabab=b⟩Noc Inf
105709⟨a, b | aaaa=1, aabbb=b⟩Noc Inf
105715⟨a, b | aaaa=1, ababb=b⟩Noc Inf
105717⟨a, b | aaaa=1, abbab=b⟩Noc Inf
105723⟨a, b | aaaa=1, baaab=b⟩Noc Inf
105725⟨a, b | aaaa=1, baabb=b⟩Noc Inf
105727⟨a, b | aaaa=1, babab=b⟩Noc Inf
105729⟨a, b | aaaa=1, babbb=b⟩Noc Inf
105731⟨a, b | aaaa=1, bbabb=b⟩Noc Inf
105733⟨a, b | aaaa=1, bbbbb=b⟩Noc Infℤ4 ∗ ℕ(5 = 1)
105736⟨a, b | aaab=1, aaaab=a⟩Noc Inf3
105745⟨a, b | aaab=1, aabab=b⟩Noc Inf
105753⟨a, b | aaab=1, abaab=b⟩Noc Inf
105868⟨a, b | aabb=1, aaabb=a⟩Noc Inf1
105872⟨a, b | aabb=1, aabab=a⟩Noc Inf
105873⟨a, b | aabb=1, aabab=b⟩Noc Inf
105878⟨a, b | aabb=1, abaab=a⟩Noc Inf
105900⟨a, b | abab=1, aaabb=a⟩Noc Inf
105901⟨a, b | abab=1, aaabb=b⟩Noc Inf
105904⟨a, b | abab=1, aabab=a⟩Noc Inf1
106001⟨a, b | aaa=a, bbbbbb=1⟩Noc Infℕ(3 = 1) ∗ ℤ6
106059⟨a, b | aab=a, ababab=1⟩Noc Inf
106102⟨a, b | aab=b, aaaaaa=1⟩Noc Inf
106201⟨a, b | aba=a, bbbbbb=1⟩Noc Inf
106238⟨a, b | aaa=a, aaaaa=a⟩Noc Infℕ(3 = 1) ∗ ℕ2
106247⟨a, b | aaa=a, aabaa=b⟩Noc Inf
106248⟨a, b | aaa=a, aabab=a⟩Noc Inf1
106249⟨a, b | aaa=a, aabab=b⟩Noc Inf
106250⟨a, b | aaa=a, aabba=a⟩Noc Inf1
106252⟨a, b | aaa=a, aabbb=a⟩Noc Inf1
106253⟨a, b | aaa=a, aabbb=b⟩Noc Inf
106254⟨a, b | aaa=a, abaab=a⟩Noc Inf
106256⟨a, b | aaa=a, ababa=a⟩Noc Inf
106258⟨a, b | aaa=a, ababb=a⟩Noc Inf
106259⟨a, b | aaa=a, ababb=b⟩Noc Inf
106260⟨a, b | aaa=a, abbab=a⟩Noc Inf
106261⟨a, b | aaa=a, abbab=b⟩Noc Inf
106262⟨a, b | aaa=a, abbba=a⟩Noc Inf
106264⟨a, b | aaa=a, abbbb=a⟩Noc Inf
106268⟨a, b | aaa=a, baabb=a⟩Noc Inf1
106269⟨a, b | aaa=a, baabb=b⟩Noc Inf
106270⟨a, b | aaa=a, babab=a⟩Noc Inf
106271⟨a, b | aaa=a, babab=b⟩Noc Inf
106272⟨a, b | aaa=a, babbb=a⟩Noc Inf
106273⟨a, b | aaa=a, babbb=b⟩Noc Inf
106274⟨a, b | aaa=a, bbabb=a⟩Noc Inf
106275⟨a, b | aaa=a, bbabb=b⟩Noc Inf
106277⟨a, b | aaa=a, bbbbb=b⟩Noc Infℕ(3 = 1) ∗ ℕ(5 = 1)
106318⟨a, b | aab=a, aaaaa=a⟩Noc Inf5
106324⟨a, b | aab=a, aaabb=a⟩Noc Inf5
106338⟨a, b | aab=a, ababa=a⟩Noc Inf
106341⟨a, b | aab=a, ababb=b⟩Noc Inf
106342⟨a, b | aab=a, abbaa=a⟩Noc Inf1
106345⟨a, b | aab=a, abbab=b⟩Noc Inf
106361⟨a, b | aab=a, babab=b⟩Noc Inf
106374⟨a, b | aab=a, bbbaa=a⟩Noc Inf1
106376⟨a, b | aab=a, bbbab=a⟩Noc Inf2
106378⟨a, b | aab=a, bbbba=a⟩Noc Inf
106382⟨a, b | aab=b, aaaaa=a⟩Noc Inf
106385⟨a, b | aab=b, aaaab=b⟩Noc Inf4
106397⟨a, b | aab=b, aabbb=b⟩Noc Inf4
106399⟨a, b | aab=b, abaaa=b⟩Noc Inf1
106402⟨a, b | aab=b, ababa=a⟩Noc Inf1
106403⟨a, b | aab=b, ababa=b⟩Noc Inf1
106405⟨a, b | aab=b, ababb=b⟩Noc Inf1
106409⟨a, b | aab=b, abbab=b⟩Noc Inf1
106411⟨a, b | aab=b, abbba=b⟩Noc Inf1
106412⟨a, b | aab=b, abbbb=a⟩Noc Inf
106413⟨a, b | aab=b, abbbb=b⟩Noc Inf1
106415⟨a, b | aab=b, baaaa=b⟩Noc Inf
106423⟨a, b | aab=b, babaa=b⟩Noc Inf
106424⟨a, b | aab=b, babab=a⟩Noc Inf
106425⟨a, b | aab=b, babab=b⟩Noc Inf
106427⟨a, b | aab=b, babba=b⟩Noc Inf
106429⟨a, b | aab=b, babbb=b⟩Noc Inf
106431⟨a, b | aab=b, bbaaa=b⟩Noc Inf
106435⟨a, b | aab=b, bbaba=b⟩Noc Inf
106436⟨a, b | aab=b, bbabb=a⟩Noc Inf
106437⟨a, b | aab=b, bbabb=b⟩Noc Inf
106439⟨a, b | aab=b, bbbaa=b⟩Noc Inf
106441⟨a, b | aab=b, bbbab=b⟩Noc Inf
106442⟨a, b | aab=b, bbbba=a⟩Noc Inf
106443⟨a, b | aab=b, bbbba=b⟩Noc Inf
106445⟨a, b | aab=b, bbbbb=b⟩Noc Inf
106446⟨a, b | aba=a, aaaaa=a⟩Noc Inf
106452⟨a, b | aba=a, aaabb=a⟩Noc Inf
106458⟨a, b | aba=a, aabba=a⟩Noc Inf
106460⟨a, b | aba=a, aabbb=a⟩Noc Inf
106461⟨a, b | aba=a, aabbb=b⟩Noc Inf1
106464⟨a, b | aba=a, ababa=a⟩Noc Inf2
106466⟨a, b | aba=a, ababb=a⟩Noc Inf2
106469⟨a, b | aba=a, abbab=b⟩Noc Inf
106470⟨a, b | aba=a, abbba=a⟩Noc Inf
106472⟨a, b | aba=a, abbbb=a⟩Noc Inf
106475⟨a, b | aba=a, baaab=b⟩Noc Inf
106477⟨a, b | aba=a, baabb=b⟩Noc Inf
106481⟨a, b | aba=a, babbb=b⟩Noc Inf1
106482⟨a, b | aba=a, bbabb=a⟩Noc Inf
106485⟨a, b | aba=a, bbbbb=b⟩Noc Inf
106486⟨a, b | aba=b, aaaaa=a⟩Noc Inf
106489⟨a, b | aba=b, aaaab=b⟩Noc Inf2
106496⟨a, b | aba=b, aabab=a⟩Noc Inf1
106501⟨a, b | aba=b, aabbb=b⟩Noc Inf4
106512⟨a, b | aba=b, abbbb=a⟩Noc Inf1
106525⟨a, b | aba=b, bbbbb=b⟩Noc Inf
106534⟨a, b | aaa=a, aaba=ab⟩Noc Inf
106535⟨a, b | aaa=a, aaba=ba⟩Noc Inf
106539⟨a, b | aaa=a, aabb=ba⟩Noc Inf
106540⟨a, b | aaa=a, aabb=bb⟩Noc Inf
106542⟨a, b | aaa=a, abab=ab⟩Noc Inf
106543⟨a, b | aaa=a, abab=ba⟩Noc Inf
106544⟨a, b | aaa=a, abab=bb⟩Noc Inf
106546⟨a, b | aaa=a, abba=ab⟩Noc Inf
106549⟨a, b | aaa=a, abbb=ab⟩Noc Inf
106550⟨a, b | aaa=a, abbb=ba⟩Noc Inf
106551⟨a, b | aaa=a, abbb=bb⟩Noc Inf
106552⟨a, b | aaa=a, baab=aa⟩Noc Inf
106553⟨a, b | aaa=a, baab=ab⟩Noc Inf
106554⟨a, b | aaa=a, baab=bb⟩Noc Inf
106556⟨a, b | aaa=a, babb=ab⟩Noc Inf
106557⟨a, b | aaa=a, babb=ba⟩Noc Inf
106558⟨a, b | aaa=a, babb=bb⟩Noc Inf
106559⟨a, b | aaa=a, bbbb=aa⟩Noc Inf
106561⟨a, b | aaa=a, bbbb=bb⟩Noc Infℕ(3 = 1) ∗ ℕ(4 = 2)
106619⟨a, b | aab=a, abab=ab⟩Noc Inf
106624⟨a, b | aab=a, abba=ba⟩Noc Inf
106629⟨a, b | aab=a, abbb=bb⟩Noc Inf
106640⟨a, b | aab=a, baba=ba⟩Noc Inf
106645⟨a, b | aab=a, babb=bb⟩Noc Inf
106652⟨a, b | aab=a, bbab=ba⟩Noc Inf
106653⟨a, b | aab=a, bbab=bb⟩Noc Inf
106656⟨a, b | aab=a, bbba=ba⟩Noc Inf
106657⟨a, b | aab=a, bbba=bb⟩Noc Inf
106662⟨a, b | aab=b, aaaa=aa⟩Noc Inf
106665⟨a, b | aab=b, aaaa=bb⟩Noc Inf
106680⟨a, b | aab=b, abaa=ba⟩Noc Inf
106682⟨a, b | aab=b, abab=aa⟩Noc Inf
106685⟨a, b | aab=b, abab=bb⟩Noc Inf
106686⟨a, b | aab=b, abba=aa⟩Noc Inf
106688⟨a, b | aab=b, abba=ba⟩Noc Inf
106693⟨a, b | aab=b, abbb=bb⟩Noc Inf
106696⟨a, b | aab=b, baaa=ba⟩Noc Inf
106697⟨a, b | aab=b, baaa=bb⟩Noc Inf
106702⟨a, b | aab=b, baba=aa⟩Noc Inf
106704⟨a, b | aab=b, baba=ba⟩Noc Inf
106705⟨a, b | aab=b, baba=bb⟩Noc Inf
106708⟨a, b | aab=b, babb=ba⟩Noc Inf
106709⟨a, b | aab=b, babb=bb⟩Noc Inf
106710⟨a, b | aab=b, bbaa=aa⟩Noc Inf
106712⟨a, b | aab=b, bbaa=ba⟩Noc Inf
106713⟨a, b | aab=b, bbaa=bb⟩Noc Inf
106716⟨a, b | aab=b, bbab=ba⟩Noc Inf
106717⟨a, b | aab=b, bbab=bb⟩Noc Inf
106720⟨a, b | aab=b, bbba=ba⟩Noc Inf
106721⟨a, b | aab=b, bbba=bb⟩Noc Inf
106722⟨a, b | aab=b, bbbb=aa⟩Noc Inf
106724⟨a, b | aab=b, bbbb=ba⟩Noc Inf
106725⟨a, b | aab=b, bbbb=bb⟩Noc Inf
106726⟨a, b | aba=a, aaaa=aa⟩Noc Inf
106729⟨a, b | aba=a, aaab=aa⟩Noc Inf
106737⟨a, b | aba=a, aabb=aa⟩Noc Inf
106738⟨a, b | aba=a, aabb=ab⟩Noc Inf
106739⟨a, b | aba=a, aabb=ba⟩Noc Inf
106740⟨a, b | aba=a, aabb=bb⟩Noc Inf
106745⟨a, b | aba=a, abba=aa⟩Noc Inf
106746⟨a, b | aba=a, abba=ab⟩Noc Inf
106747⟨a, b | aba=a, abba=bb⟩Noc Inf
106748⟨a, b | aba=a, abbb=aa⟩Noc Inf
106749⟨a, b | aba=a, abbb=ab⟩Noc Inf
106750⟨a, b | aba=a, abbb=ba⟩Noc Inf
106751⟨a, b | aba=a, abbb=bb⟩Noc Inf
106752⟨a, b | aba=a, baab=aa⟩Noc Inf
106753⟨a, b | aba=a, baab=ab⟩Noc Inf1
106754⟨a, b | aba=a, baab=bb⟩Noc Inf
106755⟨a, b | aba=a, babb=aa⟩Noc Inf
106758⟨a, b | aba=a, babb=bb⟩Noc Inf
106759⟨a, b | aba=a, bbbb=aa⟩Noc Inf
106761⟨a, b | aba=a, bbbb=bb⟩Noc Inf
106773⟨a, b | aba=b, aabb=aa⟩Noc Inf1
106776⟨a, b | aba=b, aabb=bb⟩Noc Inf1
106787⟨a, b | aba=b, abbb=bb⟩Noc Inf1
106790⟨a, b | aba=b, baab=bb⟩Noc Inf
106797⟨a, b | aba=b, bbbb=bb⟩Noc Inf
106818⟨a, b | aab=b, abb=aaa⟩Noc Inf
106821⟨a, b | aab=b, bab=aaa⟩Noc Inf
106826⟨a, b | aba=a, abb=aaa⟩Noc Inf
106828⟨a, b | aba=a, baa=aab⟩Noc Inf
106832⟨a, b | aba=a, bbb=aaa⟩Noc Inf
106845⟨a, b | bab=b, bbb=bab⟩Noc Inf
106950⟨a, b | ab=aa, aaaaa=a⟩Noc Inf15
106998⟨a, b | ab=aa, bbaaa=a⟩Noc Inf3
107006⟨a, b | ab=aa, bbbaa=a⟩Noc Inf1
107010⟨a, b | ab=aa, bbbba=a⟩Noc Inf
107034⟨a, b | bb=aa, aaaaa=a⟩Noc Inf3
107037⟨a, b | bb=aa, aaaab=b⟩Noc Inf1
107054⟨a, b | ab=aa, aaaa=aa⟩Noc Inf15
107056⟨a, b | ab=aa, aaaa=ba⟩Noc Inf7
107086⟨a, b | ab=aa, baaa=aa⟩Noc Inf7
107088⟨a, b | ab=aa, baaa=ba⟩Noc Inf3
107102⟨a, b | ab=aa, bbaa=aa⟩Noc Inf3
107104⟨a, b | ab=aa, bbaa=ba⟩Noc Inf1
107110⟨a, b | ab=aa, bbba=aa⟩Noc Inf1
107112⟨a, b | ab=aa, bbba=ba⟩Noc Inf
107138⟨a, b | bb=aa, aaaa=aa⟩Noc Inf4
107141⟨a, b | bb=aa, aaab=aa⟩Noc Inf3
107142⟨a, b | bb=aa, aaab=ab⟩Noc Inf
107147⟨a, b | bb=aa, aaba=ba⟩Noc Inf
107158⟨a, b | ab=aa, aab=aaa⟩Noc Inf6
107164⟨a, b | ab=aa, baa=aaa⟩Noc Inf7
107173⟨a, b | ab=aa, bba=aaa⟩Noc Inf3
107177⟨a, b | ab=aa, bba=baa⟩Noc Inf1
107179⟨a, b | ab=aa, bbb=aaa⟩Noc Inf3
107183⟨a, b | ab=aa, bbb=baa⟩Noc Inf1
107185⟨a, b | ab=aa, bbb=bba⟩Noc Inf
107197⟨a, b | bb=aa, aab=aaa⟩Noc Inf3
107198⟨a, b | bb=aa, aba=aaa⟩Noc Inf1
107199⟨a, b | bb=aa, aba=aab⟩Noc Inf1
107537⟨a, b | aaa=1, baabab=b⟩Noc Inf
107539⟨a, b | aaa=1, baabbb=b⟩Noc Inf
107541⟨a, b | aaa=1, bababb=b⟩Noc Inf
107543⟨a, b | aaa=1, babbab=b⟩Noc Inf
107545⟨a, b | aaa=1, babbbb=b⟩Noc Inf
107547⟨a, b | aaa=1, bbaabb=b⟩Noc Inf
107549⟨a, b | aaa=1, bbabbb=b⟩Noc Inf
107551⟨a, b | aaa=1, bbbbbb=b⟩Noc Infℤ3 ∗ ℕ(6 = 1)
107773⟨a, b | aaa=1, aabab=bb⟩Noc Inf2
107781⟨a, b | aaa=1, aabbb=bb⟩Noc Inf1
107785⟨a, b | aaa=1, abaab=bb⟩Noc Inf1
107791⟨a, b | aaa=1, ababb=ba⟩Noc Inf3
107792⟨a, b | aaa=1, ababb=bb⟩Noc Inf1
107796⟨a, b | aaa=1, abbab=bb⟩Noc Inf1
107799⟨a, b | aaa=1, abbba=bb⟩Noc Inf1
107803⟨a, b | aaa=1, abbbb=bb⟩Noc Inf1
107808⟨a, b | aaa=1, baabb=ab⟩Noc Inf2
107810⟨a, b | aaa=1, baabb=bb⟩Noc Inf
107813⟨a, b | aaa=1, babab=bb⟩Noc Inf
107816⟨a, b | aaa=1, babbb=ba⟩Noc Inf2
107817⟨a, b | aaa=1, babbb=bb⟩Noc Inf
107820⟨a, b | aaa=1, bbabb=bb⟩Noc Inf
107823⟨a, b | aaa=1, bbbbb=bb⟩Noc Infℤ3 ∗ ℕ(5 = 2)
107871⟨a, b | aab=1, ababb=bb⟩Noc Inf
108057⟨a, b | aaa=1, abab=abb⟩Noc Inf4
108060⟨a, b | aaa=1, abab=bba⟩Noc Inf2
108061⟨a, b | aaa=1, abab=bbb⟩Noc Inf1
108067⟨a, b | aaa=1, abba=bbb⟩Noc Inf1
108071⟨a, b | aaa=1, abbb=abb⟩Noc Infℤ3 ∗ ℕ(3 = 2)4
108073⟨a, b | aaa=1, abbb=bab⟩Noc Inf1
108074⟨a, b | aaa=1, abbb=bba⟩Noc Inf2
108075⟨a, b | aaa=1, abbb=bbb⟩Noc Inf1
108079⟨a, b | aaa=1, baab=abb⟩Noc Inf1
108080⟨a, b | aaa=1, baab=bab⟩Noc Inf
108081⟨a, b | aaa=1, baab=bbb⟩Noc Inf
108085⟨a, b | aaa=1, babb=abb⟩Noc Inf2
108087⟨a, b | aaa=1, babb=bab⟩Noc Inf
108088⟨a, b | aaa=1, babb=bba⟩Noc Inf1
108089⟨a, b | aaa=1, babb=bbb⟩Noc Inf
108093⟨a, b | aaa=1, bbbb=abb⟩Noc Inf2
108094⟨a, b | aaa=1, bbbb=bab⟩Noc Inf
108095⟨a, b | aaa=1, bbbb=bbb⟩Noc Infℤ3 ∗ ℕ(4 = 3)
108367⟨a, b | aa=a, bbbbbbb=1⟩Noc Infℕ(2 = 1) ∗ ℤ7
108567⟨a, b | ab=a, bbbbbbb=1⟩Noc Inf
108606⟨a, b | aa=a, ababba=a⟩Noc Inf4
108608⟨a, b | aa=a, ababbb=a⟩Noc Inf3
108612⟨a, b | aa=a, abbabb=a⟩Noc Inf3
108614⟨a, b | aa=a, abbbab=a⟩Noc Inf6
108616⟨a, b | aa=a, abbbba=a⟩Noc Inf2
108618⟨a, b | aa=a, abbbbb=a⟩Noc Inf2
108628⟨a, b | aa=a, bababb=a⟩Noc Inf3
108629⟨a, b | aa=a, bababb=b⟩Noc Inf2
108631⟨a, b | aa=a, babbab=b⟩Noc Inf1
108632⟨a, b | aa=a, babbbb=a⟩Noc Inf2
108633⟨a, b | aa=a, babbbb=b⟩Noc Inf1
108636⟨a, b | aa=a, bbabbb=a⟩Noc Inf2
108637⟨a, b | aa=a, bbabbb=b⟩Noc Inf1
108639⟨a, b | aa=a, bbbbbb=b⟩Noc Infℕ(2 = 1) ∗ ℕ(6 = 1)
108712⟨a, b | ab=a, aaaaaa=a⟩Noc Inf7
108808⟨a, b | ab=a, bbaaaa=a⟩Noc Inf9
108824⟨a, b | ab=a, bbbaaa=a⟩Noc Inf4
108832⟨a, b | ab=a, bbbbaa=a⟩Noc Inf3
108836⟨a, b | ab=a, bbbbba=a⟩Noc Inf2
108839⟨a, b | ab=a, bbbbbb=b⟩Noc Inf
108876⟨a, b | aa=a, ababa=bb⟩Noc Inf2
108878⟨a, b | aa=a, ababb=ab⟩Noc Inf3
108879⟨a, b | aa=a, ababb=ba⟩Noc Inf3
108882⟨a, b | aa=a, abbab=ab⟩Noc Inf3
108883⟨a, b | aa=a, abbab=ba⟩Noc Inf4
108884⟨a, b | aa=a, abbab=bb⟩Noc Inf2
108886⟨a, b | aa=a, abbba=ab⟩Noc Inf5
108887⟨a, b | aa=a, abbba=bb⟩Noc Inf2
108889⟨a, b | aa=a, abbbb=ab⟩Noc Inf2
108890⟨a, b | aa=a, abbbb=ba⟩Noc Inf2
108891⟨a, b | aa=a, abbbb=bb⟩Noc Inf3
108900⟨a, b | aa=a, babab=ab⟩Noc Inf3
108901⟨a, b | aa=a, babab=bb⟩Noc Inf1
108903⟨a, b | aa=a, babbb=ab⟩Noc Inf2
108904⟨a, b | aa=a, babbb=ba⟩Noc Inf2
108905⟨a, b | aa=a, babbb=bb⟩Noc Inf1
108907⟨a, b | aa=a, bbabb=ab⟩Noc Inf2
108908⟨a, b | aa=a, bbabb=bb⟩Noc Inf1
108911⟨a, b | aa=a, bbbbb=bb⟩Noc Infℕ(2 = 1) ∗ ℕ(5 = 2)
108984⟨a, b | ab=a, aaaaa=aa⟩Noc Inf7
108986⟨a, b | ab=a, aaaaa=ba⟩Noc Inf6
109048⟨a, b | ab=a, baaaa=aa⟩Noc Inf6
109050⟨a, b | ab=a, baaaa=ba⟩Noc Inf5
109080⟨a, b | ab=a, bbaaa=aa⟩Noc Inf5
109082⟨a, b | ab=a, bbaaa=ba⟩Noc Inf4
109096⟨a, b | ab=a, bbbaa=aa⟩Noc Inf4
109098⟨a, b | ab=a, bbbaa=ba⟩Noc Inf3
109104⟨a, b | ab=a, bbbba=aa⟩Noc Inf3
109106⟨a, b | ab=a, bbbba=ba⟩Noc Inf2
109111⟨a, b | ab=a, bbbbb=bb⟩Noc Inf
109124⟨a, b | aa=a, aaab=bba⟩Noc Inf1
109144⟨a, b | aa=a, abab=aba⟩Noc Inf4
109145⟨a, b | aa=a, abab=abb⟩Noc Inf3
109147⟨a, b | aa=a, abab=bab⟩Noc Inf3
109148⟨a, b | aa=a, abab=bba⟩Noc Inf3
109149⟨a, b | aa=a, abab=bbb⟩Noc Inf2
109152⟨a, b | aa=a, abba=aba⟩Noc Inf2
109153⟨a, b | aa=a, abba=abb⟩Noc Inf3
109154⟨a, b | aa=a, abba=bab⟩Noc Inf2
109155⟨a, b | aa=a, abba=bbb⟩Noc Inf1
109158⟨a, b | aa=a, abbb=aba⟩Noc Inf3
109159⟨a, b | aa=a, abbb=abb⟩Noc Inf2
109161⟨a, b | aa=a, abbb=bab⟩Noc Inf2
109162⟨a, b | aa=a, abbb=bba⟩Noc Inf2
109163⟨a, b | aa=a, abbb=bbb⟩Noc Inf1
109172⟨a, b | aa=a, babb=aba⟩Noc Inf3
109173⟨a, b | aa=a, babb=abb⟩Noc Inf2
109175⟨a, b | aa=a, babb=bab⟩Noc Inf2
109176⟨a, b | aa=a, babb=bba⟩Noc Inf2
109177⟨a, b | aa=a, babb=bbb⟩Noc Inf1
109180⟨a, b | aa=a, bbbb=aba⟩Noc Inf1
109181⟨a, b | aa=a, bbbb=abb⟩Noc Inf1
109182⟨a, b | aa=a, bbbb=bab⟩Noc Inf1
109183⟨a, b | aa=a, bbbb=bbb⟩Noc Infℕ(2 = 1) ∗ ℕ(4 = 3)
109256⟨a, b | ab=a, aaaa=aaa⟩Noc Inf7
109260⟨a, b | ab=a, aaaa=baa⟩Noc Inf6
109262⟨a, b | ab=a, aaaa=bba⟩Noc Inf5
109320⟨a, b | ab=a, baaa=aaa⟩Noc Inf6
109324⟨a, b | ab=a, baaa=baa⟩Noc Inf5
109326⟨a, b | ab=a, baaa=bba⟩Noc Inf4
109352⟨a, b | ab=a, bbaa=aaa⟩Noc Inf5
109356⟨a, b | ab=a, bbaa=baa⟩Noc Inf4
109358⟨a, b | ab=a, bbaa=bba⟩Noc Inf3
109368⟨a, b | ab=a, bbba=aaa⟩Noc Inf4
109372⟨a, b | ab=a, bbba=baa⟩Noc Inf3
109374⟨a, b | ab=a, bbba=bba⟩Noc Inf2
109383⟨a, b | ab=a, bbbb=bbb⟩Noc Inf
109733⟨a, b | aa=1, abababb=b⟩Noc Inf1
109749⟨a, b | aa=1, abbabbb=b⟩Noc Inf1
109755⟨a, b | aa=1, abbbbab=b⟩Noc Inf1
109779⟨a, b | aa=1, bababab=b⟩Noc Inf
109781⟨a, b | aa=1, bababbb=b⟩Noc Inf
109783⟨a, b | aa=1, babbabb=b⟩Noc Inf
109785⟨a, b | aa=1, babbbab=b⟩Noc Inf1
109787⟨a, b | aa=1, babbbbb=b⟩Noc Inf
109795⟨a, b | aa=1, bbabbbb=b⟩Noc Inf1
109799⟨a, b | aa=1, bbbbbbb=b⟩Noc Infℤ2 ∗ ℕ(7 = 1)
1010004⟨a, b | aa=1, ababba=bb⟩Noc Inf3
1010008⟨a, b | aa=1, ababbb=bb⟩Noc Inf1
1010016⟨a, b | aa=1, abbabb=bb⟩Noc Inf1
1010020⟨a, b | aa=1, abbbab=bb⟩Noc Inf1
1010023⟨a, b | aa=1, abbbba=bb⟩Noc Inf2
1010027⟨a, b | aa=1, abbbbb=bb⟩Noc Inf1
1010046⟨a, b | aa=1, bababb=bb⟩Noc Inf
1010049⟨a, b | aa=1, babbab=bb⟩Noc Inf
1010053⟨a, b | aa=1, babbbb=bb⟩Noc Inf
1010060⟨a, b | aa=1, bbabbb=bb⟩Noc Inf
1010063⟨a, b | aa=1, bbbbbb=bb⟩Noc Infℤ2 ∗ ℕ(6 = 2)
1010279⟨a, b | aa=1, ababb=bab⟩Noc Inf1
1010281⟨a, b | aa=1, ababb=bbb⟩Noc Inf1
1010287⟨a, b | aa=1, abbab=bab⟩Noc Inf1
1010289⟨a, b | aa=1, abbab=bbb⟩Noc Inf1
1010303⟨a, b | aa=1, abbbb=bbb⟩Noc Inf1
1010322⟨a, b | aa=1, babab=bab⟩Noc Inf
1010323⟨a, b | aa=1, babab=bbb⟩Noc Inf
1010329⟨a, b | aa=1, babbb=bab⟩Noc Inf
1010331⟨a, b | aa=1, babbb=bbb⟩Noc Inf
1010336⟨a, b | aa=1, bbabb=bab⟩Noc Inf
1010337⟨a, b | aa=1, bbabb=bbb⟩Noc Inf
1010342⟨a, b | aa=1, bbbbb=bab⟩Noc Inf
1010343⟨a, b | aa=1, bbbbb=bbb⟩Noc Infℤ2 ∗ ℕ(5 = 3)
1010527⟨a, b | aa=1, bbab=babb⟩Noc Inf
1010537⟨a, b | aa=1, bbbb=babb⟩Noc Inf
1110612⟨a, b | aaaa=aaa, bbbb=1⟩Noc Infℤ4 ∗ ℕ(4 = 3)
1110627⟨a, b | aaaa=aab, bbbb=1⟩Noc Inf
1110636⟨a, b | aaaa=aba, bbbb=1⟩Noc Inf
1110651⟨a, b | aaaa=abb, bbbb=1⟩Noc Inf
1110660⟨a, b | aaaa=bab, bbbb=1⟩Noc Inf
1110683⟨a, b | aaab=aaa, bbbb=1⟩Noc Inf
1110711⟨a, b | aaab=aba, bbbb=1⟩Noc Inf
1110739⟨a, b | aaab=baa, bbbb=1⟩Noc Inf
1110794⟨a, b | aaba=aaa, bbbb=1⟩Noc Inf
1110807⟨a, b | aaba=aab, bbbb=1⟩Noc Inf
1110820⟨a, b | aaba=aba, bbbb=1⟩Noc Inf
1110833⟨a, b | aaba=abb, bbbb=1⟩Noc Inf
1110846⟨a, b | aaba=baa, bbbb=1⟩Noc Inf
1110872⟨a, b | aaba=bba, bbbb=1⟩Noc Inf
1110887⟨a, b | aabb=aaa, abab=1⟩Noc Inf
1110897⟨a, b | aabb=aaa, bbbb=1⟩Noc Inf
1110899⟨a, b | aabb=aab, abab=1⟩Noc Inf1
1110911⟨a, b | aabb=aba, abab=1⟩Noc Inf
1110921⟨a, b | aabb=aba, bbbb=1⟩Noc Inf
1110926⟨a, b | aabb=baa, abab=1⟩Noc Inf
1110942⟨a, b | aabb=bba, bbbb=1⟩Noc Inf2
1110963⟨a, b | abab=aaa, bbbb=1⟩Noc Inf
1111016⟨a, b | abba=aaa, bbbb=1⟩Noc Inf
1111025⟨a, b | abba=aab, bbbb=1⟩Noc Inf
1111032⟨a, b | abba=aba, bbbb=1⟩Noc Inf
1111041⟨a, b | abba=abb, bbbb=1⟩Noc Inf
1111071⟨a, b | baab=aaa, bbbb=1⟩Noc Inf
1111074⟨a, b | baab=aab, bbbb=1⟩Noc Inf1
1111114⟨a, b | aaaaa=a, bbbbb=1⟩Noc Infℤ5 ∗ ℕ(5 = 1)
1111222⟨a, b | aaaba=a, bbbbb=1⟩Noc Inf
1111253⟨a, b | aaabb=a, aabab=1⟩Noc Inf
1111259⟨a, b | aaabb=a, ababb=1⟩Noc Inf
1111281⟨a, b | aaabb=b, aabab=1⟩Noc Inf
1111287⟨a, b | aaabb=b, ababb=1⟩Noc Inf
1111325⟨a, b | aabaa=a, bbbbb=1⟩Noc Inf
1111345⟨a, b | aabab=a, aabbb=1⟩Noc Inf
1111369⟨a, b | aabab=a, bbbbb=1⟩Noc Inf
1111371⟨a, b | aabab=b, aabbb=1⟩Noc Inf
1111400⟨a, b | aabba=a, ababb=1⟩Noc Inf2
1111420⟨a, b | aabba=a, bbbbb=1⟩Noc Inf
1111510⟨a, b | ababa=a, bbaaa=1⟩Noc Inf1
1111513⟨a, b | ababa=a, bbbbb=1⟩Noc Inf
1111569⟨a, b | abbba=a, bbbbb=1⟩Noc Inf
1111590⟨a, b | baaab=a, bbbbb=1⟩Noc Inf1
1111608⟨a, b | babaa=a, bbaaa=1⟩Noc Inf
1111609⟨a, b | babaa=b, bbaaa=1⟩Noc Inf
1111639⟨a, b | aaaa=aa, bbbbb=1⟩Noc Infℕ(4 = 2) ∗ ℤ5
1111723⟨a, b | aaab=aa, bbbbb=1⟩Noc Inf
1111851⟨a, b | aaba=aa, bbbbb=1⟩Noc Inf
1111915⟨a, b | aaba=ba, bbbbb=1⟩Noc Inf
1111953⟨a, b | aabb=aa, aabab=1⟩Noc Inf
1111959⟨a, b | aabb=aa, ababb=1⟩Noc Inf
1111985⟨a, b | aabb=ab, aabab=1⟩Noc Inf
1112001⟨a, b | aabb=ba, aabab=1⟩Noc Inf
1112043⟨a, b | abab=aa, bbbbb=1⟩Noc Inf
1112047⟨a, b | abab=ab, aaabb=1⟩Noc Inf
1112095⟨a, b | abba=aa, bbbbb=1⟩Noc Inf
1112149⟨a, b | aaaa=aa, aaab=b⟩Noc Inf
1112151⟨a, b | aaaa=aa, aaba=b⟩Noc Inf
1112153⟨a, b | aaaa=aa, aabb=b⟩Noc Inf
1112156⟨a, b | aaaa=aa, abba=a⟩Noc Inf
1112158⟨a, b | aaaa=aa, abbb=a⟩Noc Inf
1112161⟨a, b | aaaa=aa, baab=b⟩Noc Inf
1112162⟨a, b | aaaa=aa, babb=a⟩Noc Inf
1112163⟨a, b | aaaa=aa, babb=b⟩Noc Inf
1112165⟨a, b | aaaa=aa, bbbb=b⟩Noc Infℕ(4 = 1) ∗ ℕ(4 = 2)
1112170⟨a, b | aaaa=ab, aabb=a⟩Noc Inf2
1112178⟨a, b | aaaa=ab, abbb=a⟩Noc Inf
1112188⟨a, b | aaaa=ab, bbaa=a⟩Noc Inf
1112190⟨a, b | aaaa=ab, bbab=a⟩Noc Inf
1112192⟨a, b | aaaa=ab, bbba=a⟩Noc Inf
1112209⟨a, b | aaaa=bb, baab=b⟩Noc Inf
1112224⟨a, b | aaab=aa, abbb=a⟩Noc Inf
1112232⟨a, b | aaab=aa, babb=a⟩Noc Inf
1112236⟨a, b | aaab=aa, bbab=a⟩Noc Inf1
1112238⟨a, b | aaab=aa, bbba=a⟩Noc Inf
1112241⟨a, b | aaab=aa, bbbb=b⟩Noc Inf
1112255⟨a, b | aaab=ab, baaa=b⟩Noc Inf
1112257⟨a, b | aaab=ab, baab=b⟩Noc Inf
1112259⟨a, b | aaab=ab, baba=b⟩Noc Inf
1112261⟨a, b | aaab=ab, babb=b⟩Noc Inf
1112263⟨a, b | aaab=ab, bbaa=b⟩Noc Inf
1112264⟨a, b | aaab=ab, bbab=a⟩Noc Inf1
1112265⟨a, b | aaab=ab, bbab=b⟩Noc Inf
1112266⟨a, b | aaab=ab, bbba=a⟩Noc Inf
1112267⟨a, b | aaab=ab, bbba=b⟩Noc Inf
1112269⟨a, b | aaab=ab, bbbb=b⟩Noc Inf
1112271⟨a, b | aaab=ba, aaba=b⟩Noc Inf1
1112275⟨a, b | aaab=ba, abaa=b⟩Noc Inf
1112280⟨a, b | aaab=ba, abbb=a⟩Noc Inf
1112283⟨a, b | aaab=ba, baaa=b⟩Noc Inf
1112285⟨a, b | aaab=ba, baab=b⟩Noc Inf2
1112289⟨a, b | aaab=ba, babb=b⟩Noc Inf2
1112294⟨a, b | aaab=ba, bbba=a⟩Noc Inf
1112297⟨a, b | aaab=ba, bbbb=b⟩Noc Inf
1112309⟨a, b | aaab=bb, abbb=b⟩Noc Inf
1112311⟨a, b | aaab=bb, baaa=b⟩Noc Inf
1112313⟨a, b | aaab=bb, baab=b⟩Noc Inf
1112315⟨a, b | aaab=bb, baba=b⟩Noc Inf
1112317⟨a, b | aaab=bb, babb=b⟩Noc Inf
1112319⟨a, b | aaab=bb, bbaa=b⟩Noc Inf
1112321⟨a, b | aaab=bb, bbab=b⟩Noc Inf
1112323⟨a, b | aaab=bb, bbba=b⟩Noc Inf
1112325⟨a, b | aaab=bb, bbbb=b⟩Noc Inf
1112326⟨a, b | aaba=aa, aabb=a⟩Noc Inf
1112332⟨a, b | aaba=aa, abba=a⟩Noc Inf
1112334⟨a, b | aaba=aa, abbb=a⟩Noc Inf
1112339⟨a, b | aaba=aa, baab=b⟩Noc Inf
1112342⟨a, b | aaba=aa, babb=a⟩Noc Inf
1112343⟨a, b | aaba=aa, babb=b⟩Noc Inf
1112347⟨a, b | aaba=aa, bbab=b⟩Noc Inf
1112348⟨a, b | aaba=aa, bbba=a⟩Noc Inf
1112351⟨a, b | aaba=aa, bbbb=b⟩Noc Inf
1112360⟨a, b | aaba=ab, abbb=a⟩Noc Inf3
1112363⟨a, b | aaba=ab, baaa=b⟩Noc Inf
1112365⟨a, b | aaba=ab, baab=b⟩Noc Inf2
1112369⟨a, b | aaba=ab, babb=b⟩Noc Inf2
1112374⟨a, b | aaba=ab, bbba=a⟩Noc Inf
1112377⟨a, b | aaba=ab, bbbb=b⟩Noc Inf
1112378⟨a, b | aaba=ba, aabb=a⟩Noc Inf
1112386⟨a, b | aaba=ba, abbb=a⟩Noc Inf
1112400⟨a, b | aaba=ba, bbba=a⟩Noc Inf1
1112403⟨a, b | aaba=ba, bbbb=b⟩Noc Inf
1112415⟨a, b | aaba=bb, baaa=b⟩Noc Inf
1112421⟨a, b | aaba=bb, babb=b⟩Noc Inf2
1112429⟨a, b | aaba=bb, bbbb=b⟩Noc Inf
1112430⟨a, b | aabb=aa, abaa=a⟩Noc Inf
1112434⟨a, b | aabb=aa, abba=a⟩Noc Inf
1112439⟨a, b | aabb=aa, baaa=b⟩Noc Inf
1112442⟨a, b | aabb=aa, baba=a⟩Noc Inf2
1112444⟨a, b | aabb=aa, babb=a⟩Noc Inf
1112445⟨a, b | aabb=aa, babb=b⟩Noc Inf
1112448⟨a, b | aabb=aa, bbab=a⟩Noc Inf
1112449⟨a, b | aabb=aa, bbab=b⟩Noc Inf
1112450⟨a, b | aabb=aa, bbba=a⟩Noc Inf
1112454⟨a, b | aabb=ab, abaa=a⟩Noc Inf
1112457⟨a, b | aabb=ab, abba=a⟩Noc Inf
1112461⟨a, b | aabb=ab, baaa=a⟩Noc Inf12
1112462⟨a, b | aabb=ab, baaa=b⟩Noc Inf
1112465⟨a, b | aabb=ab, babb=b⟩Noc Inf
1112466⟨a, b | aabb=ab, bbaa=a⟩Noc Inf
1112468⟨a, b | aabb=ab, bbbb=b⟩Noc Inf
1112474⟨a, b | aabb=ba, abbb=a⟩Noc Inf
1112477⟨a, b | aabb=ba, baaa=b⟩Noc Inf
1112483⟨a, b | aabb=ba, bbbb=b⟩Noc Inf
1112484⟨a, b | aabb=bb, abbb=a⟩Noc Inf
1112487⟨a, b | aabb=bb, babb=b⟩Noc Inf
1112498⟨a, b | abab=aa, abba=a⟩Noc Inf
1112500⟨a, b | abab=aa, abbb=a⟩Noc Inf
1112508⟨a, b | abab=aa, babb=a⟩Noc Inf
1112512⟨a, b | abab=aa, bbab=a⟩Noc Inf
1112514⟨a, b | abab=aa, bbba=a⟩Noc Inf
1112517⟨a, b | abab=aa, bbbb=b⟩Noc Inf
1112523⟨a, b | abab=ab, baaa=b⟩Noc Inf
1112527⟨a, b | abab=ab, bbaa=a⟩Noc Inf
1112531⟨a, b | abab=ab, bbbb=b⟩Noc Inf
1112534⟨a, b | abab=ba, abbb=a⟩Noc Inf
1112537⟨a, b | abab=ba, baaa=b⟩Noc Inf
1112545⟨a, b | abab=ba, bbbb=b⟩Noc Inf
1112553⟨a, b | abab=bb, bbbb=b⟩Noc Inf4
1112554⟨a, b | abba=aa, abbb=a⟩Noc Inf
1112557⟨a, b | abba=aa, baaa=b⟩Noc Inf
1112559⟨a, b | abba=aa, baab=b⟩Noc Inf
1112562⟨a, b | abba=aa, babb=a⟩Noc Inf
1112563⟨a, b | abba=aa, babb=b⟩Noc Inf
1112567⟨a, b | abba=aa, bbbb=b⟩Noc Inf
1112571⟨a, b | abba=ab, baaa=b⟩Noc Inf
1112582⟨a, b | abba=ab, bbba=a⟩Noc Inf
1112585⟨a, b | abba=ab, bbbb=b⟩Noc Inf
1112591⟨a, b | abba=ba, bbaa=b⟩Noc Inf1
1112595⟨a, b | abba=bb, baaa=b⟩Noc Inf
1112597⟨a, b | abba=bb, baab=b⟩Noc Inf
1112607⟨a, b | abbb=aa, bbbb=b⟩Noc Inf
1112609⟨a, b | abbb=ab, bbbb=b⟩Noc Inf
1112611⟨a, b | abbb=ba, bbbb=b⟩Noc Inf
1112614⟨a, b | baab=aa, babb=a⟩Noc Inf
1112615⟨a, b | baab=aa, babb=b⟩Noc Inf
1112623⟨a, b | baab=ab, bbbb=b⟩Noc Inf
1112625⟨a, b | baab=bb, babb=b⟩Noc Inf
1112627⟨a, b | baab=bb, bbbb=b⟩Noc Inf
1112631⟨a, b | baba=ba, bbaa=a⟩Noc Inf
1112635⟨a, b | babb=ab, bbbb=b⟩Noc Inf
1112637⟨a, b | babb=ba, bbbb=b⟩Noc Inf
1112671⟨a, b | aab=aaa, bbbbb=1⟩Noc Inf
1112691⟨a, b | aba=aaa, bbbbb=1⟩Noc Inf
1112699⟨a, b | aba=aab, aabbb=1⟩Noc Inf1
1112707⟨a, b | aba=aab, abbbb=1⟩Noc Inf
1112723⟨a, b | aba=aab, bbbbb=1⟩Noc Inf
1112892⟨a, b | aab=aaa, abba=a⟩Noc Inf
1112894⟨a, b | aab=aaa, abbb=a⟩Noc Inf
1112902⟨a, b | aab=aaa, babb=a⟩Noc Inf
1112903⟨a, b | aab=aaa, babb=b⟩Noc Inf
1112906⟨a, b | aab=aaa, bbab=a⟩Noc Inf
1112907⟨a, b | aab=aaa, bbab=b⟩Noc Inf
1112908⟨a, b | aab=aaa, bbba=a⟩Noc Inf
1112911⟨a, b | aab=aaa, bbbb=b⟩Noc Inf
1112918⟨a, b | aba=aaa, aabb=a⟩Noc Inf
1112922⟨a, b | aba=aaa, abba=a⟩Noc Inf
1112924⟨a, b | aba=aaa, abbb=a⟩Noc Inf
1112927⟨a, b | aba=aaa, baab=b⟩Noc Inf
1112928⟨a, b | aba=aaa, babb=a⟩Noc Inf
1112929⟨a, b | aba=aaa, babb=b⟩Noc Inf
1112931⟨a, b | aba=aaa, bbbb=b⟩Noc Inf
1112932⟨a, b | aba=aab, aaaa=a⟩Noc Inf
1112944⟨a, b | aba=aab, abba=a⟩Noc Inf
1112946⟨a, b | aba=aab, abbb=a⟩Noc Inf
1112947⟨a, b | aba=aab, abbb=b⟩Noc Inf
1112949⟨a, b | aba=aab, baaa=b⟩Noc Inf
1112951⟨a, b | aba=aab, baab=b⟩Noc Inf2
1112954⟨a, b | aba=aab, babb=a⟩Noc Inf
1112955⟨a, b | aba=aab, babb=b⟩Noc Inf
1112956⟨a, b | aba=aab, bbaa=a⟩Noc Inf
1112958⟨a, b | aba=aab, bbab=a⟩Noc Inf
1112959⟨a, b | aba=aab, bbab=b⟩Noc Inf1
1112960⟨a, b | aba=aab, bbba=a⟩Noc Inf
1112963⟨a, b | aba=aab, bbbb=b⟩Noc Inf
1112968⟨a, b | abb=aaa, aaba=a⟩Noc Inf
1112972⟨a, b | abb=aaa, abaa=a⟩Noc Inf
1112983⟨a, b | abb=aaa, baab=b⟩Noc Inf
1112984⟨a, b | abb=aaa, baba=a⟩Noc Inf
1112988⟨a, b | abb=aaa, bbaa=a⟩Noc Inf
1112992⟨a, b | abb=aaa, bbba=a⟩Noc Inf
1112996⟨a, b | abb=aab, aaaa=a⟩Noc Inf
1113000⟨a, b | abb=aab, aaba=a⟩Noc Inf1
1113003⟨a, b | abb=aab, abaa=a⟩Noc Inf
1113004⟨a, b | abb=aab, abaa=b⟩Noc Inf11
1113008⟨a, b | abb=aab, baaa=a⟩Noc Inf1
1113009⟨a, b | abb=aab, baaa=b⟩Noc Inf
1113011⟨a, b | abb=aab, bbaa=a⟩Noc Inf
1113012⟨a, b | abb=aba, aaaa=a⟩Noc Inf
1113016⟨a, b | abb=aba, aaba=a⟩Noc Inf1
1113020⟨a, b | abb=aba, abaa=a⟩Noc Inf1
1113029⟨a, b | abb=aba, baaa=b⟩Noc Inf
1113036⟨a, b | abb=aba, bbaa=a⟩Noc Inf
1113040⟨a, b | abb=aba, bbba=a⟩Noc Inf
1113043⟨a, b | abb=aba, bbbb=b⟩Noc Inf
1113049⟨a, b | baa=aab, aaba=b⟩Noc Inf
1113054⟨a, b | baa=aab, abba=a⟩Noc Inf
1113056⟨a, b | baa=aab, abbb=a⟩Noc Inf
1113057⟨a, b | baa=aab, abbb=b⟩Noc Inf
1113060⟨a, b | baa=aab, babb=a⟩Noc Inf
1113061⟨a, b | baa=aab, babb=b⟩Noc Inf
1113063⟨a, b | baa=aab, bbbb=b⟩Noc Inf
1113064⟨a, b | baa=abb, aaaa=a⟩Noc Inf
1113067⟨a, b | baa=abb, aaab=b⟩Noc Inf
1113092⟨a, b | bab=aaa, abbb=a⟩Noc Inf
1113095⟨a, b | bab=aaa, baab=b⟩Noc Inf
1113099⟨a, b | bab=aaa, bbbb=b⟩Noc Inf
1113100⟨a, b | bab=aba, aaaa=a⟩Noc Inf
1113103⟨a, b | bab=aba, aaab=b⟩Noc Inf
1113109⟨a, b | bab=aba, abba=b⟩Noc Inf
1113110⟨a, b | bbb=aaa, aaaa=a⟩Noc Inf1
1113118⟨a, b | bbb=aaa, abba=a⟩Noc Inf
1113120⟨a, b | aab=aaa, aba=aa⟩Noc Inf
1113121⟨a, b | aab=aaa, aba=ab⟩Noc Inf
1113122⟨a, b | aab=aaa, aba=ba⟩Noc Inf
1113124⟨a, b | aab=aaa, abb=aa⟩Noc Inf
1113125⟨a, b | aab=aaa, abb=ab⟩Noc Inf
1113126⟨a, b | aab=aaa, abb=ba⟩Noc Inf
1113127⟨a, b | aab=aaa, abb=bb⟩Noc Inf
1113128⟨a, b | aab=aaa, baa=aa⟩Noc Inf
1113129⟨a, b | aab=aaa, baa=ab⟩Noc Inf
1113130⟨a, b | aab=aaa, baa=ba⟩Noc Inf
1113131⟨a, b | aab=aaa, baa=bb⟩Noc Inf
1113132⟨a, b | aab=aaa, bab=aa⟩Noc Inf
1113133⟨a, b | aab=aaa, bab=ab⟩Noc Inf
1113134⟨a, b | aab=aaa, bab=ba⟩Noc Inf
1113135⟨a, b | aab=aaa, bab=bb⟩Noc Inf
1113136⟨a, b | aab=aaa, bba=aa⟩Noc Inf
1113137⟨a, b | aab=aaa, bba=ab⟩Noc Inf
1113138⟨a, b | aab=aaa, bba=ba⟩Noc Inf
1113139⟨a, b | aab=aaa, bba=bb⟩Noc Inf
1113140⟨a, b | aab=aaa, bbb=aa⟩Noc Inf
1113143⟨a, b | aab=aaa, bbb=bb⟩Noc Inf
1113144⟨a, b | aba=aaa, abb=aa⟩Noc Inf
1113145⟨a, b | aba=aaa, abb=ab⟩Noc Inf
1113146⟨a, b | aba=aaa, abb=ba⟩Noc Inf
1113147⟨a, b | aba=aaa, abb=bb⟩Noc Inf
1113148⟨a, b | aba=aaa, baa=aa⟩Noc Inf
1113149⟨a, b | aba=aaa, baa=ab⟩Noc Inf
1113150⟨a, b | aba=aaa, baa=ba⟩Noc Inf
1113152⟨a, b | aba=aaa, bab=aa⟩Noc Inf
1113153⟨a, b | aba=aaa, bab=ab⟩Noc Inf
1113154⟨a, b | aba=aaa, bab=bb⟩Noc Inf
1113155⟨a, b | aba=aaa, bbb=aa⟩Noc Inf
1113157⟨a, b | aba=aaa, bbb=bb⟩Noc Inf
1113158⟨a, b | aba=aab, abb=aa⟩Noc Inf
1113159⟨a, b | aba=aab, abb=ab⟩Noc Inf
1113160⟨a, b | aba=aab, abb=ba⟩Noc Inf
1113161⟨a, b | aba=aab, abb=bb⟩Noc Inf
1113162⟨a, b | aba=aab, baa=aa⟩Noc Inf
1113163⟨a, b | aba=aab, baa=ab⟩Noc Inf
1113164⟨a, b | aba=aab, baa=ba⟩Noc Inf
1113165⟨a, b | aba=aab, baa=bb⟩Noc Inf
1113166⟨a, b | aba=aab, bab=aa⟩Noc Inf
1113167⟨a, b | aba=aab, bab=ab⟩Noc Inf
1113168⟨a, b | aba=aab, bab=ba⟩Noc Inf
1113169⟨a, b | aba=aab, bab=bb⟩Noc Inf
1113170⟨a, b | aba=aab, bba=aa⟩Noc Inf
1113171⟨a, b | aba=aab, bba=ab⟩Noc Inf
1113172⟨a, b | aba=aab, bba=ba⟩Noc Inf
1113173⟨a, b | aba=aab, bba=bb⟩Noc Inf
1113174⟨a, b | aba=aab, bbb=aa⟩Noc Inf
1113175⟨a, b | aba=aab, bbb=ab⟩Noc Inf
1113176⟨a, b | aba=aab, bbb=ba⟩Noc Inf
1113177⟨a, b | aba=aab, bbb=bb⟩Noc Inf
1113178⟨a, b | abb=aaa, baa=aa⟩Noc Inf
1113179⟨a, b | abb=aaa, baa=ab⟩Noc Inf
1113180⟨a, b | abb=aaa, baa=ba⟩Noc Inf
1113181⟨a, b | abb=aaa, baa=bb⟩Noc Inf
1113182⟨a, b | abb=aaa, bab=aa⟩Noc Inf
1113183⟨a, b | abb=aaa, bab=ab⟩Noc Inf
1113184⟨a, b | abb=aaa, bab=ba⟩Noc Inf
1113185⟨a, b | abb=aaa, bab=bb⟩Noc Inf
1113186⟨a, b | abb=aaa, bba=aa⟩Noc Inf
1113187⟨a, b | abb=aaa, bba=ab⟩Noc Inf
1113188⟨a, b | abb=aaa, bba=ba⟩Noc Inf
1113189⟨a, b | abb=aaa, bba=bb⟩Noc Inf
1113190⟨a, b | abb=aaa, bbb=aa⟩Noc Inf
1113193⟨a, b | abb=aaa, bbb=bb⟩Noc Inf
1113194⟨a, b | abb=aab, baa=aa⟩Noc Inf
1113195⟨a, b | abb=aab, baa=ab⟩Noc Inf
1113196⟨a, b | abb=aab, baa=ba⟩Noc Inf
1113197⟨a, b | abb=aab, baa=bb⟩Noc Inf
1113198⟨a, b | abb=aab, bab=aa⟩Noc Inf
1113199⟨a, b | abb=aab, bab=ab⟩Noc Inf
1113200⟨a, b | abb=aab, bab=ba⟩Noc Inf
1113201⟨a, b | abb=aab, bab=bb⟩Noc Inf
1113202⟨a, b | abb=aab, bbb=aa⟩Noc Inf1
1113203⟨a, b | abb=aab, bbb=ab⟩Noc Inf1
1113204⟨a, b | abb=aab, bbb=ba⟩Noc Inf
1113205⟨a, b | abb=aab, bbb=bb⟩Noc Inf
1113206⟨a, b | abb=aba, baa=aa⟩Noc Inf
1113207⟨a, b | abb=aba, baa=ab⟩Noc Inf
1113208⟨a, b | abb=aba, baa=ba⟩Noc Inf
1113209⟨a, b | abb=aba, baa=bb⟩Noc Inf
1113210⟨a, b | abb=aba, bab=aa⟩Noc Inf
1113211⟨a, b | abb=aba, bab=ab⟩Noc Inf
1113212⟨a, b | abb=aba, bab=ba⟩Noc Inf
1113213⟨a, b | abb=aba, bab=bb⟩Noc Inf
1113214⟨a, b | abb=aba, bba=aa⟩Noc Inf
1113215⟨a, b | abb=aba, bba=ab⟩Noc Inf
1113216⟨a, b | abb=aba, bba=ba⟩Noc Inf
1113217⟨a, b | abb=aba, bba=bb⟩Noc Inf
1113219⟨a, b | abb=aba, bbb=ab⟩Noc Inf1
1113220⟨a, b | abb=aba, bbb=ba⟩Noc Inf
1113221⟨a, b | abb=aba, bbb=bb⟩Noc Inf
1113223⟨a, b | baa=aab, bab=ab⟩Noc Inf
1113224⟨a, b | baa=aab, bab=bb⟩Noc Inf
1113225⟨a, b | baa=aab, bba=aa⟩Noc Inf
1113226⟨a, b | baa=aab, bba=ab⟩Noc Inf
1113227⟨a, b | baa=aab, bba=ba⟩Noc Inf
1113228⟨a, b | baa=aab, bba=bb⟩Noc Inf
1113230⟨a, b | baa=aab, bbb=ab⟩Noc Inf
1113231⟨a, b | baa=aab, bbb=bb⟩Noc Inf
1113232⟨a, b | baa=abb, bab=aa⟩Noc Inf
1113233⟨a, b | baa=abb, bab=ab⟩Noc Inf
1113234⟨a, b | baa=abb, bab=ba⟩Noc Inf
1113235⟨a, b | baa=abb, bab=bb⟩Noc Inf
1113236⟨a, b | baa=abb, bba=aa⟩Noc Inf
1113237⟨a, b | baa=abb, bba=ab⟩Noc Inf
1113238⟨a, b | baa=abb, bba=ba⟩Noc Inf
1113239⟨a, b | baa=abb, bba=bb⟩Noc Inf
1113241⟨a, b | baa=abb, bbb=ab⟩Noc Inf1
1113242⟨a, b | baa=abb, bbb=ba⟩Noc Inf
1113243⟨a, b | baa=abb, bbb=bb⟩Noc Inf
1113244⟨a, b | bab=aaa, bba=aa⟩Noc Inf
1113245⟨a, b | bab=aaa, bba=ab⟩Noc Inf
1113246⟨a, b | bab=aaa, bba=ba⟩Noc Inf
1113247⟨a, b | bab=aaa, bba=bb⟩Noc Inf
1113254⟨a, b | bab=aab, bbb=bb⟩Noc Inf
1113255⟨a, b | bab=aba, bba=aa⟩Noc Inf
1113256⟨a, b | bab=aba, bba=ab⟩Noc Inf
1113257⟨a, b | bab=aba, bba=ba⟩Noc Inf
1113258⟨a, b | bab=aba, bba=bb⟩Noc Inf
1113261⟨a, b | bab=aba, bbb=bb⟩Noc Inf
1113262⟨a, b | bab=abb, bbb=aa⟩Noc Inf
1113263⟨a, b | bab=abb, bbb=ab⟩Noc Inf
1113264⟨a, b | bab=abb, bbb=ba⟩Noc Inf
1113265⟨a, b | bab=abb, bbb=bb⟩Noc Inf
1113266⟨a, b | bab=baa, bba=aa⟩Noc Inf
1113267⟨a, b | bab=baa, bba=ab⟩Noc Inf
1113268⟨a, b | bab=baa, bba=ba⟩Noc Inf
1113269⟨a, b | bab=baa, bba=bb⟩Noc Inf
1113270⟨a, b | bba=abb, bbb=aa⟩Noc Inf
1113271⟨a, b | bba=abb, bbb=ab⟩Noc Inf
1113272⟨a, b | bba=abb, bbb=bb⟩Noc Inf
1113442⟨a, b | aaabb=1, aaabab=1⟩Noc Inf
1113446⟨a, b | aaabb=1, aabaab=1⟩Noc Inf
1113448⟨a, b | aaabb=1, aababb=1⟩Noc Inf
1113456⟨a, b | aaabb=1, abaabb=1⟩Noc Inf
1113458⟨a, b | aaabb=1, ababab=1⟩Noc Inf
1113460⟨a, b | aaabb=1, ababbb=1⟩Noc Inf
1113540⟨a, b | aabab=1, aaaabb=1⟩Noc Inf
1113544⟨a, b | aabab=1, aaabbb=1⟩Noc Inf
1113550⟨a, b | aabab=1, aabbab=1⟩Noc Inf
1113552⟨a, b | aabab=1, aabbbb=1⟩Noc Inf
1113836⟨a, b | aaaa=a, bbbbbb=1⟩Noc Infℕ(4 = 1) ∗ ℤ6
1113882⟨a, b | aaab=a, aabaab=1⟩Noc Inf
1113937⟨a, b | aaab=b, aaaaaa=1⟩Noc Inf
1114064⟨a, b | aaba=a, bbbbbb=1⟩Noc Inf
1114134⟨a, b | aabb=a, aaabab=1⟩Noc Inf
1114140⟨a, b | aabb=a, aababb=1⟩Noc Inf
1114144⟨a, b | aabb=a, aabbbb=1⟩Noc Inf3
1114150⟨a, b | aabb=a, ababab=1⟩Noc Inf
1114152⟨a, b | aabb=a, ababbb=1⟩Noc Inf
1114156⟨a, b | aabb=a, abbabb=1⟩Noc Inf
1114192⟨a, b | aabb=a, bbbbbb=1⟩Noc Inf
1114220⟨a, b | abab=a, abbabb=1⟩Noc Inf
1114292⟨a, b | abba=a, bbbbbb=1⟩Noc Inf
1114293⟨a, b | abba=b, aaaaaa=1⟩Noc Inf
1114334⟨a, b | aaaa=a, aaaba=b⟩Noc Inf
1114335⟨a, b | aaaa=a, aaabb=a⟩Noc Inf
1114336⟨a, b | aaaa=a, aaabb=b⟩Noc Inf
1114339⟨a, b | aaaa=a, aabab=a⟩Noc Inf
1114341⟨a, b | aaaa=a, aabba=a⟩Noc Inf
1114343⟨a, b | aaaa=a, aabbb=a⟩Noc Inf
1114345⟨a, b | aaaa=a, abaab=a⟩Noc Inf
1114347⟨a, b | aaaa=a, ababa=a⟩Noc Inf
1114349⟨a, b | aaaa=a, ababb=a⟩Noc Inf
1114350⟨a, b | aaaa=a, ababb=b⟩Noc Inf
1114351⟨a, b | aaaa=a, abbab=a⟩Noc Inf
1114353⟨a, b | aaaa=a, abbba=a⟩Noc Inf
1114355⟨a, b | aaaa=a, abbbb=a⟩Noc Inf
1114358⟨a, b | aaaa=a, baaab=b⟩Noc Inf
1114359⟨a, b | aaaa=a, baabb=a⟩Noc Inf
1114360⟨a, b | aaaa=a, baabb=b⟩Noc Inf
1114362⟨a, b | aaaa=a, babab=b⟩Noc Inf
1114363⟨a, b | aaaa=a, babbb=a⟩Noc Inf
1114364⟨a, b | aaaa=a, babbb=b⟩Noc Inf
1114365⟨a, b | aaaa=a, bbabb=a⟩Noc Inf
1114366⟨a, b | aaaa=a, bbabb=b⟩Noc Inf
1114368⟨a, b | aaaa=a, bbbbb=b⟩Noc Infℕ(4 = 1) ∗ ℕ(5 = 1)
1114439⟨a, b | aaab=a, abbbb=a⟩Noc Inf
1114463⟨a, b | aaab=a, bbabb=a⟩Noc Inf
1114465⟨a, b | aaab=a, bbbaa=a⟩Noc Inf
1114467⟨a, b | aaab=a, bbbab=a⟩Noc Inf2
1114469⟨a, b | aaab=a, bbbba=a⟩Noc Inf
1114473⟨a, b | aaab=b, aaaaa=a⟩Noc Inf
1114482⟨a, b | aaab=b, aabaa=b⟩Noc Inf
1114483⟨a, b | aaab=b, aabab=a⟩Noc Inf
1114484⟨a, b | aaab=b, aabab=b⟩Noc Inf1
1114490⟨a, b | aaab=b, abaaa=b⟩Noc Inf
1114493⟨a, b | aaab=b, ababa=a⟩Noc Inf1
1114494⟨a, b | aaab=b, ababa=b⟩Noc Inf
1114496⟨a, b | aaab=b, ababb=b⟩Noc Inf
1114498⟨a, b | aaab=b, abbaa=b⟩Noc Inf
1114502⟨a, b | aaab=b, abbba=b⟩Noc Inf
1114503⟨a, b | aaab=b, abbbb=a⟩Noc Inf
1114504⟨a, b | aaab=b, abbbb=b⟩Noc Inf
1114506⟨a, b | aaab=b, baaaa=b⟩Noc Inf
1114510⟨a, b | aaab=b, baaba=b⟩Noc Inf
1114512⟨a, b | aaab=b, baabb=b⟩Noc Inf
1114514⟨a, b | aaab=b, babaa=b⟩Noc Inf
1114516⟨a, b | aaab=b, babab=b⟩Noc Inf
1114518⟨a, b | aaab=b, babba=b⟩Noc Inf
1114520⟨a, b | aaab=b, babbb=b⟩Noc Inf
1114522⟨a, b | aaab=b, bbaaa=b⟩Noc Inf
1114524⟨a, b | aaab=b, bbaab=b⟩Noc Inf
1114526⟨a, b | aaab=b, bbaba=b⟩Noc Inf
1114527⟨a, b | aaab=b, bbabb=a⟩Noc Inf
1114528⟨a, b | aaab=b, bbabb=b⟩Noc Inf
1114530⟨a, b | aaab=b, bbbaa=b⟩Noc Inf
1114532⟨a, b | aaab=b, bbbab=b⟩Noc Inf
1114533⟨a, b | aaab=b, bbbba=a⟩Noc Inf
1114534⟨a, b | aaab=b, bbbba=b⟩Noc Inf
1114536⟨a, b | aaab=b, bbbbb=b⟩Noc Inf
1114537⟨a, b | aaba=a, aaaaa=a⟩Noc Inf
1114543⟨a, b | aaba=a, aaabb=a⟩Noc Inf
1114549⟨a, b | aaba=a, aabba=a⟩Noc Inf
1114551⟨a, b | aaba=a, aabbb=a⟩Noc Inf
1114559⟨a, b | aaba=a, ababb=a⟩Noc Inf
1114561⟨a, b | aaba=a, abbaa=a⟩Noc Inf
1114565⟨a, b | aaba=a, abbba=a⟩Noc Inf
1114567⟨a, b | aaba=a, abbbb=a⟩Noc Inf
1114576⟨a, b | aaba=a, baabb=b⟩Noc Inf1
1114580⟨a, b | aaba=a, babab=b⟩Noc Inf
1114584⟨a, b | aaba=a, babbb=b⟩Noc Inf2
1114585⟨a, b | aaba=a, bbaaa=a⟩Noc Inf
1114589⟨a, b | aaba=a, bbaba=a⟩Noc Inf
1114591⟨a, b | aaba=a, bbabb=a⟩Noc Inf
1114593⟨a, b | aaba=a, bbbaa=a⟩Noc Inf
1114596⟨a, b | aaba=a, bbbab=b⟩Noc Inf
1114597⟨a, b | aaba=a, bbbba=a⟩Noc Inf
1114600⟨a, b | aaba=a, bbbbb=b⟩Noc Inf
1114601⟨a, b | aaba=b, aaaaa=a⟩Noc Inf
1114634⟨a, b | aaba=b, baaaa=b⟩Noc Inf
1114648⟨a, b | aaba=b, babbb=b⟩Noc Inf3
1114664⟨a, b | aaba=b, bbbbb=b⟩Noc Inf
1114665⟨a, b | aabb=a, aaaaa=a⟩Noc Inf
1114669⟨a, b | aabb=a, aaaba=a⟩Noc Inf
1114673⟨a, b | aabb=a, aabaa=a⟩Noc Inf1
1114675⟨a, b | aabb=a, aabab=a⟩Noc Inf
1114676⟨a, b | aabb=a, aabab=b⟩Noc Inf
1114685⟨a, b | aabb=a, ababa=a⟩Noc Inf
1114687⟨a, b | aabb=a, ababb=a⟩Noc Inf
1114688⟨a, b | aabb=a, ababb=b⟩Noc Inf
1114693⟨a, b | aabb=a, abbba=a⟩Noc Inf
1114708⟨a, b | aabb=a, babab=b⟩Noc Inf
1114717⟨a, b | aabb=a, bbaba=a⟩Noc Inf
1114721⟨a, b | aabb=a, bbbaa=a⟩Noc Inf
1114723⟨a, b | aabb=a, bbbab=a⟩Noc Inf1
1114725⟨a, b | aabb=a, bbbba=a⟩Noc Inf
1114728⟨a, b | aabb=a, bbbbb=b⟩Noc Inf
1114729⟨a, b | abab=a, aaaaa=a⟩Noc Inf
1114789⟨a, b | abab=a, bbbba=a⟩Noc Inf
1114793⟨a, b | abba=a, aaaaa=a⟩Noc Inf
1114797⟨a, b | abba=a, aaaba=a⟩Noc Inf
1114801⟨a, b | abba=a, aabaa=a⟩Noc Inf
1114807⟨a, b | abba=a, aabbb=a⟩Noc Inf
1114811⟨a, b | abba=a, ababa=a⟩Noc Inf
1114813⟨a, b | abba=a, ababb=a⟩Noc Inf
1114817⟨a, b | abba=a, abbba=a⟩Noc Inf
1114819⟨a, b | abba=a, abbbb=a⟩Noc Inf
1114824⟨a, b | abba=a, baabb=b⟩Noc Inf
1114826⟨a, b | abba=a, babab=b⟩Noc Inf
1114827⟨a, b | abba=a, babbb=a⟩Noc Inf1
1114832⟨a, b | abba=a, bbbbb=b⟩Noc Inf
1114836⟨a, b | abba=b, aaaab=b⟩Noc Inf
1114908⟨a, b | aaa=aa, bbbbbb=1⟩Noc Infℕ(3 = 2) ∗ ℤ6
1115072⟨a, b | aab=aa, bbbbbb=1⟩Noc Inf
1115073⟨a, b | aab=ab, aaaaaa=1⟩Noc Inf
1115201⟨a, b | aab=bb, aaaaaa=1⟩Noc Inf
1115300⟨a, b | aba=aa, bbbbbb=1⟩Noc Inf
1115365⟨a, b | aba=bb, aaaaaa=1⟩Noc Inf
1115419⟨a, b | aaa=aa, ababa=a⟩Noc Inf
1115421⟨a, b | aaa=aa, ababb=a⟩Noc Inf
1115425⟨a, b | aaa=aa, abbba=a⟩Noc Inf
1115427⟨a, b | aaa=aa, abbbb=a⟩Noc Inf
1115432⟨a, b | aaa=aa, baabb=b⟩Noc Inf
1115433⟨a, b | aaa=aa, babab=a⟩Noc Inf
1115434⟨a, b | aaa=aa, babab=b⟩Noc Inf
1115435⟨a, b | aaa=aa, babbb=a⟩Noc Inf
1115436⟨a, b | aaa=aa, babbb=b⟩Noc Inf
1115438⟨a, b | aaa=aa, bbabb=b⟩Noc Inf
1115440⟨a, b | aaa=aa, bbbbb=b⟩Noc Infℕ(3 = 2) ∗ ℕ(5 = 1)
1115455⟨a, b | aaa=ab, aabbb=a⟩Noc Inf3
1115471⟨a, b | aaa=ab, abbbb=a⟩Noc Inf
1115491⟨a, b | aaa=ab, bbaab=a⟩Noc Inf1
1115495⟨a, b | aaa=ab, bbabb=a⟩Noc Inf
1115497⟨a, b | aaa=ab, bbbaa=a⟩Noc Inf
1115499⟨a, b | aaa=ab, bbbab=a⟩Noc Inf
1115501⟨a, b | aaa=ab, bbbba=a⟩Noc Inf
1115523⟨a, b | aaa=bb, ababa=a⟩Noc Inf
1115531⟨a, b | aaa=bb, abbbb=a⟩Noc Inf1
1115538⟨a, b | aaa=bb, babab=b⟩Noc Inf
1115544⟨a, b | aaa=bb, bbbbb=b⟩Noc Inf
1115565⟨a, b | aab=aa, ababa=a⟩Noc Inf
1115567⟨a, b | aab=aa, ababb=a⟩Noc Inf
1115573⟨a, b | aab=aa, abbba=a⟩Noc Inf
1115575⟨a, b | aab=aa, abbbb=a⟩Noc Inf
1115587⟨a, b | aab=aa, babab=a⟩Noc Inf
1115588⟨a, b | aab=aa, babab=b⟩Noc Inf
1115591⟨a, b | aab=aa, babbb=a⟩Noc Inf
1115592⟨a, b | aab=aa, babbb=b⟩Noc Inf
1115597⟨a, b | aab=aa, bbaba=a⟩Noc Inf
1115600⟨a, b | aab=aa, bbabb=b⟩Noc Inf
1115603⟨a, b | aab=aa, bbbab=a⟩Noc Inf
1115604⟨a, b | aab=aa, bbbab=b⟩Noc Inf
1115605⟨a, b | aab=aa, bbbba=a⟩Noc Inf
1115608⟨a, b | aab=aa, bbbbb=b⟩Noc Inf
1115609⟨a, b | aab=ab, aaaaa=a⟩Noc Inf
1115626⟨a, b | aab=ab, abaaa=b⟩Noc Inf
1115640⟨a, b | aab=ab, abbbb=b⟩Noc Inf
1115642⟨a, b | aab=ab, baaaa=b⟩Noc Inf
1115652⟨a, b | aab=ab, babab=b⟩Noc Inf
1115656⟨a, b | aab=ab, babbb=b⟩Noc Inf
1115658⟨a, b | aab=ab, bbaaa=b⟩Noc Inf
1115661⟨a, b | aab=ab, bbaba=a⟩Noc Inf
1115664⟨a, b | aab=ab, bbabb=b⟩Noc Inf
1115666⟨a, b | aab=ab, bbbaa=b⟩Noc Inf
1115667⟨a, b | aab=ab, bbbab=a⟩Noc Inf1
1115668⟨a, b | aab=ab, bbbab=b⟩Noc Inf
1115669⟨a, b | aab=ab, bbbba=a⟩Noc Inf
1115670⟨a, b | aab=ab, bbbba=b⟩Noc Inf
1115672⟨a, b | aab=ab, bbbbb=b⟩Noc Inf
1115673⟨a, b | aab=ba, aaaaa=a⟩Noc Inf
1115690⟨a, b | aab=ba, abaaa=b⟩Noc Inf
1115696⟨a, b | aab=ba, ababb=b⟩Noc Inf1
1115703⟨a, b | aab=ba, abbbb=a⟩Noc Inf
1115706⟨a, b | aab=ba, baaaa=b⟩Noc Inf
1115716⟨a, b | aab=ba, babab=b⟩Noc Inf1
1115727⟨a, b | aab=ba, bbabb=a⟩Noc Inf
1115733⟨a, b | aab=ba, bbbba=a⟩Noc Inf
1115736⟨a, b | aab=ba, bbbbb=b⟩Noc Inf
1115737⟨a, b | aab=bb, aaaaa=a⟩Noc Inf
1115760⟨a, b | aab=bb, ababb=b⟩Noc Inf1
1115768⟨a, b | aab=bb, abbbb=b⟩Noc Inf
1115770⟨a, b | aab=bb, baaaa=b⟩Noc Inf
1115778⟨a, b | aab=bb, babaa=b⟩Noc Inf
1115780⟨a, b | aab=bb, babab=b⟩Noc Inf
1115782⟨a, b | aab=bb, babba=b⟩Noc Inf1
1115784⟨a, b | aab=bb, babbb=b⟩Noc Inf
1115786⟨a, b | aab=bb, bbaaa=b⟩Noc Inf
1115792⟨a, b | aab=bb, bbabb=b⟩Noc Inf
1115794⟨a, b | aab=bb, bbbaa=b⟩Noc Inf
1115796⟨a, b | aab=bb, bbbab=b⟩Noc Inf
1115798⟨a, b | aab=bb, bbbba=b⟩Noc Inf
1115800⟨a, b | aab=bb, bbbbb=b⟩Noc Inf
1115801⟨a, b | aba=aa, aaaaa=a⟩Noc Inf
1115807⟨a, b | aba=aa, aaabb=a⟩Noc Inf
1115813⟨a, b | aba=aa, aabba=a⟩Noc Inf
1115815⟨a, b | aba=aa, aabbb=a⟩Noc Inf
1115825⟨a, b | aba=aa, abbba=a⟩Noc Inf
1115827⟨a, b | aba=aa, abbbb=a⟩Noc Inf
1115830⟨a, b | aba=aa, baaab=b⟩Noc Inf
1115832⟨a, b | aba=aa, baabb=b⟩Noc Inf
1115835⟨a, b | aba=aa, babbb=a⟩Noc Inf
1115836⟨a, b | aba=aa, babbb=b⟩Noc Inf
1115838⟨a, b | aba=aa, bbabb=b⟩Noc Inf
1115840⟨a, b | aba=aa, bbbbb=b⟩Noc Inf
1115841⟨a, b | aba=ab, aaaaa=a⟩Noc Inf
1115848⟨a, b | aba=ab, aaabb=b⟩Noc Inf
1115874⟨a, b | aba=ab, baaaa=b⟩Noc Inf
1115895⟨a, b | aba=ab, bbabb=a⟩Noc Inf
1115897⟨a, b | aba=ab, bbbaa=a⟩Noc Inf
1115901⟨a, b | aba=ab, bbbba=a⟩Noc Inf
1115904⟨a, b | aba=ab, bbbbb=b⟩Noc Inf
1115905⟨a, b | aba=bb, aaaaa=a⟩Noc Inf
1115908⟨a, b | aba=bb, aaaab=b⟩Noc Inf
1115945⟨a, b | aaa=aa, aaaa=aa⟩Noc Infℕ(3 = 2) ∗ ℕ
1115952⟨a, b | aaa=aa, aaba=aa⟩Noc Inf
1115953⟨a, b | aaa=aa, aaba=ab⟩Noc Inf
1115954⟨a, b | aaa=aa, aaba=ba⟩Noc Inf
1115955⟨a, b | aaa=aa, aaba=bb⟩Noc Inf
1115956⟨a, b | aaa=aa, aabb=aa⟩Noc Inf
1115957⟨a, b | aaa=aa, aabb=ab⟩Noc Inf
1115958⟨a, b | aaa=aa, aabb=ba⟩Noc Inf
1115960⟨a, b | aaa=aa, abab=aa⟩Noc Inf
1115961⟨a, b | aaa=aa, abab=ab⟩Noc Inf
1115962⟨a, b | aaa=aa, abab=ba⟩Noc Inf
1115963⟨a, b | aaa=aa, abab=bb⟩Noc Inf
1115964⟨a, b | aaa=aa, abba=aa⟩Noc Inf
1115965⟨a, b | aaa=aa, abba=ab⟩Noc Inf
1115966⟨a, b | aaa=aa, abba=bb⟩Noc Inf
1115967⟨a, b | aaa=aa, abbb=aa⟩Noc Inf
1115968⟨a, b | aaa=aa, abbb=ab⟩Noc Inf
1115969⟨a, b | aaa=aa, abbb=ba⟩Noc Inf
1115970⟨a, b | aaa=aa, abbb=bb⟩Noc Inf
1115971⟨a, b | aaa=aa, baab=aa⟩Noc Inf
1115972⟨a, b | aaa=aa, baab=ab⟩Noc Inf
1115973⟨a, b | aaa=aa, baab=bb⟩Noc Inf
1115974⟨a, b | aaa=aa, babb=aa⟩Noc Inf
1115975⟨a, b | aaa=aa, babb=ab⟩Noc Inf
1115976⟨a, b | aaa=aa, babb=ba⟩Noc Inf
1115977⟨a, b | aaa=aa, babb=bb⟩Noc Inf
1115978⟨a, b | aaa=aa, bbbb=aa⟩Noc Inf
1115980⟨a, b | aaa=aa, bbbb=bb⟩Noc Infℕ(3 = 2) ∗ ℕ(4 = 2)
1115993⟨a, b | aaa=ab, aabb=aa⟩Noc Inf2
1115994⟨a, b | aaa=ab, aabb=ab⟩Noc Inf2
1115995⟨a, b | aaa=ab, aabb=ba⟩Noc Inf2
1116009⟨a, b | aaa=ab, abbb=aa⟩Noc Inf
1116010⟨a, b | aaa=ab, abbb=ab⟩Noc Inf
1116011⟨a, b | aaa=ab, abbb=ba⟩Noc Inf
1116017⟨a, b | aaa=ab, baab=aa⟩Noc Inf1
1116018⟨a, b | aaa=ab, baab=ab⟩Noc Inf1
1116019⟨a, b | aaa=ab, baab=ba⟩Noc Inf1
1116025⟨a, b | aaa=ab, babb=aa⟩Noc Inf
1116026⟨a, b | aaa=ab, babb=ab⟩Noc Inf
1116027⟨a, b | aaa=ab, babb=ba⟩Noc Inf
1116029⟨a, b | aaa=ab, bbaa=aa⟩Noc Inf
1116030⟨a, b | aaa=ab, bbaa=ab⟩Noc Inf
1116031⟨a, b | aaa=ab, bbaa=ba⟩Noc Inf
1116033⟨a, b | aaa=ab, bbab=aa⟩Noc Inf
1116034⟨a, b | aaa=ab, bbab=ab⟩Noc Inf
1116035⟨a, b | aaa=ab, bbab=ba⟩Noc Inf
1116037⟨a, b | aaa=ab, bbba=aa⟩Noc Inf
1116038⟨a, b | aaa=ab, bbba=ab⟩Noc Inf
1116039⟨a, b | aaa=ab, bbba=ba⟩Noc Inf
1116052⟨a, b | aaa=bb, aaba=aa⟩Noc Inf
1116055⟨a, b | aaa=bb, aaba=bb⟩Noc Inf
1116056⟨a, b | aaa=bb, aabb=aa⟩Noc Inf1
1116059⟨a, b | aaa=bb, aabb=bb⟩Noc Inf1
1116061⟨a, b | aaa=bb, abab=ab⟩Noc Inf
1116063⟨a, b | aaa=bb, abab=bb⟩Noc Inf
1116067⟨a, b | aaa=bb, abbb=aa⟩Noc Inf1
1116068⟨a, b | aaa=bb, abbb=ab⟩Noc Inf1
1116070⟨a, b | aaa=bb, abbb=bb⟩Noc Inf1
1116071⟨a, b | aaa=bb, baab=aa⟩Noc Inf
1116073⟨a, b | aaa=bb, baab=bb⟩Noc Inf
1116078⟨a, b | aaa=bb, bbbb=aa⟩Noc Inf
1116080⟨a, b | aaa=bb, bbbb=bb⟩Noc Inf
1116081⟨a, b | aab=aa, aaaa=aa⟩Noc Inf
1116082⟨a, b | aab=aa, aaaa=ab⟩Noc Inf1
1116083⟨a, b | aab=aa, aaaa=ba⟩Noc Inf
1116084⟨a, b | aab=aa, aaaa=bb⟩Noc Inf
1116087⟨a, b | aab=aa, aaab=ba⟩Noc Inf2
1116093⟨a, b | aab=aa, aabb=aa⟩Noc Inf
1116095⟨a, b | aab=aa, aabb=ba⟩Noc Inf1
1116097⟨a, b | aab=aa, abaa=aa⟩Noc Inf
1116098⟨a, b | aab=aa, abaa=ab⟩Noc Inf
1116100⟨a, b | aab=aa, abaa=bb⟩Noc Inf
1116101⟨a, b | aab=aa, abab=aa⟩Noc Inf
1116102⟨a, b | aab=aa, abab=ab⟩Noc Inf
1116105⟨a, b | aab=aa, abba=aa⟩Noc Inf
1116109⟨a, b | aab=aa, abbb=aa⟩Noc Inf
1116110⟨a, b | aab=aa, abbb=ab⟩Noc Inf
1116111⟨a, b | aab=aa, abbb=ba⟩Noc Inf
1116113⟨a, b | aab=aa, baaa=aa⟩Noc Inf
1116114⟨a, b | aab=aa, baaa=ab⟩Noc Inf
1116115⟨a, b | aab=aa, baaa=ba⟩Noc Inf
1116116⟨a, b | aab=aa, baaa=bb⟩Noc Inf
1116121⟨a, b | aab=aa, baba=aa⟩Noc Inf
1116123⟨a, b | aab=aa, baba=ba⟩Noc Inf
1116125⟨a, b | aab=aa, babb=aa⟩Noc Inf
1116126⟨a, b | aab=aa, babb=ab⟩Noc Inf
1116127⟨a, b | aab=aa, babb=ba⟩Noc Inf
1116128⟨a, b | aab=aa, babb=bb⟩Noc Inf
1116129⟨a, b | aab=aa, bbaa=aa⟩Noc Inf
1116130⟨a, b | aab=aa, bbaa=ab⟩Noc Inf
1116131⟨a, b | aab=aa, bbaa=ba⟩Noc Inf
1116132⟨a, b | aab=aa, bbaa=bb⟩Noc Inf
1116133⟨a, b | aab=aa, bbab=aa⟩Noc Inf
1116134⟨a, b | aab=aa, bbab=ab⟩Noc Inf
1116135⟨a, b | aab=aa, bbab=ba⟩Noc Inf
1116136⟨a, b | aab=aa, bbab=bb⟩Noc Inf
1116137⟨a, b | aab=aa, bbba=aa⟩Noc Inf
1116138⟨a, b | aab=aa, bbba=ab⟩Noc Inf
1116139⟨a, b | aab=aa, bbba=ba⟩Noc Inf
1116141⟨a, b | aab=aa, bbbb=aa⟩Noc Inf
1116144⟨a, b | aab=aa, bbbb=bb⟩Noc Inf
1116145⟨a, b | aab=ab, aaaa=aa⟩Noc Inf
1116146⟨a, b | aab=ab, aaaa=ab⟩Noc Inf1
1116147⟨a, b | aab=ab, aaaa=ba⟩Noc Inf
1116150⟨a, b | aab=ab, aaab=ab⟩Noc Inf
1116152⟨a, b | aab=ab, aaab=bb⟩Noc Inf
1116160⟨a, b | aab=ab, aabb=bb⟩Noc Inf
1116161⟨a, b | aab=ab, abaa=aa⟩Noc Inf
1116162⟨a, b | aab=ab, abaa=ab⟩Noc Inf
1116163⟨a, b | aab=ab, abaa=ba⟩Noc Inf
1116164⟨a, b | aab=ab, abaa=bb⟩Noc Inf
1116165⟨a, b | aab=ab, abab=aa⟩Noc Inf2
1116166⟨a, b | aab=ab, abab=ab⟩Noc Inf
1116167⟨a, b | aab=ab, abab=ba⟩Noc Inf
1116168⟨a, b | aab=ab, abab=bb⟩Noc Inf
1116169⟨a, b | aab=ab, abba=aa⟩Noc Inf
1116170⟨a, b | aab=ab, abba=ab⟩Noc Inf1
1116171⟨a, b | aab=ab, abba=ba⟩Noc Inf
1116172⟨a, b | aab=ab, abba=bb⟩Noc Inf
1116173⟨a, b | aab=ab, abbb=aa⟩Noc Inf
1116174⟨a, b | aab=ab, abbb=ab⟩Noc Inf
1116175⟨a, b | aab=ab, abbb=ba⟩Noc Inf
1116176⟨a, b | aab=ab, abbb=bb⟩Noc Inf
1116177⟨a, b | aab=ab, baaa=aa⟩Noc Inf
1116178⟨a, b | aab=ab, baaa=ab⟩Noc Inf
1116179⟨a, b | aab=ab, baaa=ba⟩Noc Inf
1116180⟨a, b | aab=ab, baaa=bb⟩Noc Inf
1116185⟨a, b | aab=ab, baba=aa⟩Noc Inf
1116186⟨a, b | aab=ab, baba=ab⟩Noc Inf1
1116187⟨a, b | aab=ab, baba=ba⟩Noc Inf
1116188⟨a, b | aab=ab, baba=bb⟩Noc Inf
1116189⟨a, b | aab=ab, babb=aa⟩Noc Inf
1116190⟨a, b | aab=ab, babb=ab⟩Noc Inf
1116191⟨a, b | aab=ab, babb=ba⟩Noc Inf
1116192⟨a, b | aab=ab, babb=bb⟩Noc Inf
1116193⟨a, b | aab=ab, bbaa=aa⟩Noc Inf
1116194⟨a, b | aab=ab, bbaa=ab⟩Noc Inf
1116195⟨a, b | aab=ab, bbaa=ba⟩Noc Inf
1116196⟨a, b | aab=ab, bbaa=bb⟩Noc Inf
1116197⟨a, b | aab=ab, bbab=aa⟩Noc Inf1
1116198⟨a, b | aab=ab, bbab=ab⟩Noc Inf
1116199⟨a, b | aab=ab, bbab=ba⟩Noc Inf
1116200⟨a, b | aab=ab, bbab=bb⟩Noc Inf
1116201⟨a, b | aab=ab, bbba=aa⟩Noc Inf
1116202⟨a, b | aab=ab, bbba=ab⟩Noc Inf
1116203⟨a, b | aab=ab, bbba=ba⟩Noc Inf
1116204⟨a, b | aab=ab, bbba=bb⟩Noc Inf
1116206⟨a, b | aab=ab, bbbb=ab⟩Noc Inf
1116207⟨a, b | aab=ab, bbbb=ba⟩Noc Inf
1116208⟨a, b | aab=ab, bbbb=bb⟩Noc Inf
1116209⟨a, b | aab=ba, aaaa=aa⟩Noc Inf
1116210⟨a, b | aab=ba, aaaa=ab⟩Noc Inf
1116211⟨a, b | aab=ba, aaaa=ba⟩Noc Inf
1116219⟨a, b | aab=ba, aaba=ba⟩Noc Inf1
1116226⟨a, b | aab=ba, abaa=ab⟩Noc Inf
1116227⟨a, b | aab=ba, abaa=ba⟩Noc Inf
1116228⟨a, b | aab=ba, abaa=bb⟩Noc Inf
1116230⟨a, b | aab=ba, abab=ab⟩Noc Inf2
1116231⟨a, b | aab=ba, abab=ba⟩Noc Inf1
1116232⟨a, b | aab=ba, abab=bb⟩Noc Inf
1116233⟨a, b | aab=ba, abba=aa⟩Noc Inf1
1116236⟨a, b | aab=ba, abba=bb⟩Noc Inf
1116237⟨a, b | aab=ba, abbb=aa⟩Noc Inf
1116238⟨a, b | aab=ba, abbb=ab⟩Noc Inf
1116239⟨a, b | aab=ba, abbb=ba⟩Noc Inf
1116240⟨a, b | aab=ba, abbb=bb⟩Noc Inf
1116242⟨a, b | aab=ba, baaa=ab⟩Noc Inf
1116243⟨a, b | aab=ba, baaa=ba⟩Noc Inf
1116244⟨a, b | aab=ba, baaa=bb⟩Noc Inf
1116252⟨a, b | aab=ba, baba=bb⟩Noc Inf
1116253⟨a, b | aab=ba, babb=aa⟩Noc Inf
1116255⟨a, b | aab=ba, babb=ba⟩Noc Inf
1116256⟨a, b | aab=ba, babb=bb⟩Noc Inf
1116260⟨a, b | aab=ba, bbaa=bb⟩Noc Inf
1116261⟨a, b | aab=ba, bbab=aa⟩Noc Inf2
1116262⟨a, b | aab=ba, bbab=ab⟩Noc Inf
1116263⟨a, b | aab=ba, bbab=ba⟩Noc Inf
1116264⟨a, b | aab=ba, bbab=bb⟩Noc Inf1
1116267⟨a, b | aab=ba, bbba=ba⟩Noc Inf
1116270⟨a, b | aab=ba, bbbb=ab⟩Noc Inf
1116271⟨a, b | aab=ba, bbbb=ba⟩Noc Inf
1116272⟨a, b | aab=ba, bbbb=bb⟩Noc Inf
1116273⟨a, b | aab=bb, aaaa=aa⟩Noc Inf
1116276⟨a, b | aab=bb, aaaa=bb⟩Noc Inf
1116278⟨a, b | aab=bb, aaab=ab⟩Noc Inf
1116280⟨a, b | aab=bb, aaab=bb⟩Noc Inf1
1116283⟨a, b | aab=bb, aaba=ba⟩Noc Inf
1116284⟨a, b | aab=bb, aaba=bb⟩Noc Inf1
1116288⟨a, b | aab=bb, aabb=bb⟩Noc Inf2
1116289⟨a, b | aab=bb, abaa=aa⟩Noc Inf
1116290⟨a, b | aab=bb, abaa=ab⟩Noc Inf
1116291⟨a, b | aab=bb, abaa=ba⟩Noc Inf
1116292⟨a, b | aab=bb, abaa=bb⟩Noc Inf
1116294⟨a, b | aab=bb, abab=ab⟩Noc Inf
1116295⟨a, b | aab=bb, abab=ba⟩Noc Inf
1116296⟨a, b | aab=bb, abab=bb⟩Noc Inf
1116297⟨a, b | aab=bb, abba=aa⟩Noc Inf
1116298⟨a, b | aab=bb, abba=ab⟩Noc Inf
1116299⟨a, b | aab=bb, abba=ba⟩Noc Inf
1116300⟨a, b | aab=bb, abba=bb⟩Noc Inf
1116301⟨a, b | aab=bb, abbb=aa⟩Noc Inf1
1116302⟨a, b | aab=bb, abbb=ab⟩Noc Inf
1116303⟨a, b | aab=bb, abbb=ba⟩Noc Inf
1116304⟨a, b | aab=bb, abbb=bb⟩Noc Inf
1116305⟨a, b | aab=bb, baaa=aa⟩Noc Inf
1116306⟨a, b | aab=bb, baaa=ab⟩Noc Inf
1116307⟨a, b | aab=bb, baaa=ba⟩Noc Inf
1116308⟨a, b | aab=bb, baaa=bb⟩Noc Inf
1116314⟨a, b | aab=bb, baba=ab⟩Noc Inf4
1116315⟨a, b | aab=bb, baba=ba⟩Noc Inf
1116316⟨a, b | aab=bb, baba=bb⟩Noc Inf
1116318⟨a, b | aab=bb, babb=ab⟩Noc Inf1
1116319⟨a, b | aab=bb, babb=ba⟩Noc Inf1
1116320⟨a, b | aab=bb, babb=bb⟩Noc Inf
1116321⟨a, b | aab=bb, bbaa=aa⟩Noc Inf
1116322⟨a, b | aab=bb, bbaa=ab⟩Noc Inf
1116323⟨a, b | aab=bb, bbaa=ba⟩Noc Inf
1116324⟨a, b | aab=bb, bbaa=bb⟩Noc Inf
1116325⟨a, b | aab=bb, bbab=aa⟩Noc Inf
1116328⟨a, b | aab=bb, bbab=bb⟩Noc Inf
1116329⟨a, b | aab=bb, bbba=aa⟩Noc Inf
1116330⟨a, b | aab=bb, bbba=ab⟩Noc Inf3
1116331⟨a, b | aab=bb, bbba=ba⟩Noc Inf
1116332⟨a, b | aab=bb, bbba=bb⟩Noc Inf
1116333⟨a, b | aab=bb, bbbb=aa⟩Noc Inf
1116334⟨a, b | aab=bb, bbbb=ab⟩Noc Inf
1116335⟨a, b | aab=bb, bbbb=ba⟩Noc Inf
1116336⟨a, b | aab=bb, bbbb=bb⟩Noc Inf
1116337⟨a, b | aba=aa, aaaa=aa⟩Noc Inf
1116340⟨a, b | aba=aa, aaab=aa⟩Noc Inf
1116341⟨a, b | aba=aa, aaab=ab⟩Noc Inf
1116342⟨a, b | aba=aa, aaab=ba⟩Noc Inf
1116348⟨a, b | aba=aa, aabb=aa⟩Noc Inf
1116349⟨a, b | aba=aa, aabb=ab⟩Noc Inf
1116350⟨a, b | aba=aa, aabb=ba⟩Noc Inf
1116351⟨a, b | aba=aa, aabb=bb⟩Noc Inf
1116356⟨a, b | aba=aa, abba=aa⟩Noc Inf
1116358⟨a, b | aba=aa, abba=bb⟩Noc Inf
1116359⟨a, b | aba=aa, abbb=aa⟩Noc Inf
1116360⟨a, b | aba=aa, abbb=ab⟩Noc Inf
1116361⟨a, b | aba=aa, abbb=ba⟩Noc Inf
1116362⟨a, b | aba=aa, abbb=bb⟩Noc Inf
1116363⟨a, b | aba=aa, baab=aa⟩Noc Inf
1116364⟨a, b | aba=aa, baab=ab⟩Noc Inf
1116365⟨a, b | aba=aa, baab=bb⟩Noc Inf
1116366⟨a, b | aba=aa, babb=aa⟩Noc Inf
1116367⟨a, b | aba=aa, babb=ab⟩Noc Inf
1116368⟨a, b | aba=aa, babb=ba⟩Noc Inf
1116369⟨a, b | aba=aa, babb=bb⟩Noc Inf
1116370⟨a, b | aba=aa, bbbb=aa⟩Noc Inf
1116372⟨a, b | aba=aa, bbbb=bb⟩Noc Inf
1116373⟨a, b | aba=ab, aaaa=aa⟩Noc Inf
1116375⟨a, b | aba=ab, aaaa=ba⟩Noc Inf
1116378⟨a, b | aba=ab, aaab=ab⟩Noc Inf
1116379⟨a, b | aba=ab, aaab=ba⟩Noc Inf
1116380⟨a, b | aba=ab, aaab=bb⟩Noc Inf
1116385⟨a, b | aba=ab, aabb=aa⟩Noc Inf
1116388⟨a, b | aba=ab, aabb=bb⟩Noc Inf
1116390⟨a, b | aba=ab, abaa=ab⟩Noc Inf
1116394⟨a, b | aba=ab, abab=ab⟩Noc Inf2
1116396⟨a, b | aba=ab, abab=bb⟩Noc Inf1
1116401⟨a, b | aba=ab, abbb=aa⟩Noc Inf
1116402⟨a, b | aba=ab, abbb=ab⟩Noc Inf
1116404⟨a, b | aba=ab, abbb=bb⟩Noc Inf
1116406⟨a, b | aba=ab, baaa=ab⟩Noc Inf
1116407⟨a, b | aba=ab, baaa=ba⟩Noc Inf
1116408⟨a, b | aba=ab, baaa=bb⟩Noc Inf
1116412⟨a, b | aba=ab, baab=bb⟩Noc Inf
1116416⟨a, b | aba=ab, baba=bb⟩Noc Inf
1116418⟨a, b | aba=ab, babb=ab⟩Noc Inf
1116419⟨a, b | aba=ab, babb=ba⟩Noc Inf
1116420⟨a, b | aba=ab, babb=bb⟩Noc Inf
1116421⟨a, b | aba=ab, bbaa=aa⟩Noc Inf
1116422⟨a, b | aba=ab, bbaa=ab⟩Noc Inf
1116423⟨a, b | aba=ab, bbaa=ba⟩Noc Inf
1116424⟨a, b | aba=ab, bbaa=bb⟩Noc Inf
1116426⟨a, b | aba=ab, bbab=ab⟩Noc Inf
1116427⟨a, b | aba=ab, bbab=ba⟩Noc Inf
1116428⟨a, b | aba=ab, bbab=bb⟩Noc Inf1
1116429⟨a, b | aba=ab, bbba=aa⟩Noc Inf
1116430⟨a, b | aba=ab, bbba=ab⟩Noc Inf
1116431⟨a, b | aba=ab, bbba=ba⟩Noc Inf
1116434⟨a, b | aba=ab, bbbb=ab⟩Noc Inf
1116435⟨a, b | aba=ab, bbbb=ba⟩Noc Inf
1116436⟨a, b | aba=ab, bbbb=bb⟩Noc Inf
1116437⟨a, b | aba=bb, aaaa=aa⟩Noc Inf
1116439⟨a, b | aba=bb, aaaa=bb⟩Noc Inf
1116441⟨a, b | aba=bb, aaab=ab⟩Noc Inf
1116442⟨a, b | aba=bb, aaab=ba⟩Noc Inf
1116443⟨a, b | aba=bb, aaab=bb⟩Noc Inf
1116450⟨a, b | aba=bb, aabb=ba⟩Noc Inf
1116451⟨a, b | aba=bb, aabb=bb⟩Noc Inf
1116455⟨a, b | aba=bb, abab=bb⟩Noc Inf1
1116458⟨a, b | aba=bb, abba=bb⟩Noc Inf
1116462⟨a, b | aba=bb, abbb=bb⟩Noc Inf1
1116465⟨a, b | aba=bb, baab=bb⟩Noc Inf
1116467⟨a, b | aba=bb, babb=ab⟩Noc Inf
1116471⟨a, b | aba=bb, bbbb=ab⟩Noc Inf
1116472⟨a, b | aba=bb, bbbb=bb⟩Noc Inf
1116491⟨a, b | aab=aa, abb=aaa⟩Noc Inf
1116494⟨a, b | aab=aa, bab=aaa⟩Noc Inf
1116497⟨a, b | aab=aa, bbb=aaa⟩Noc Inf
1116498⟨a, b | aab=aa, bbb=aab⟩Noc Inf
1116500⟨a, b | aab=ab, abb=aaa⟩Noc Inf
1116503⟨a, b | aab=ab, bab=aaa⟩Noc Inf1
1116509⟨a, b | aab=ba, abb=aaa⟩Noc Inf
1116512⟨a, b | aab=ba, bab=aaa⟩Noc Inf
1116518⟨a, b | aab=bb, abb=aaa⟩Noc Inf
1116524⟨a, b | aab=bb, bbb=aaa⟩Noc Inf
1116526⟨a, b | aba=aa, abb=aaa⟩Noc Inf
1116527⟨a, b | aba=aa, abb=aba⟩Noc Inf
1116529⟨a, b | aba=aa, baa=aba⟩Noc Inf
1116530⟨a, b | aba=aa, bab=aaa⟩Noc Inf
1116532⟨a, b | aba=aa, bbb=aaa⟩Noc Inf
1116533⟨a, b | aba=aa, bbb=aba⟩Noc Inf
1116534⟨a, b | aba=ab, abb=aaa⟩Noc Inf
1116536⟨a, b | aba=ab, baa=aab⟩Noc Inf
1116537⟨a, b | aba=ab, baa=aba⟩Noc Inf
1116540⟨a, b | aba=ab, bba=aaa⟩Noc Inf
1116543⟨a, b | aba=ab, bbb=aba⟩Noc Inf
1116544⟨a, b | aba=ba, baa=aba⟩Noc Inf
1116548⟨a, b | aba=bb, baa=aba⟩Noc Inf
1116550⟨a, b | aba=bb, bab=aba⟩Noc Inf
1116553⟨a, b | abb=aa, bbb=abb⟩Noc Inf
1116556⟨a, b | abb=bb, bbb=abb⟩Noc Inf
1116559⟨a, b | bab=bb, bbb=bab⟩Noc Inf
1116893⟨a, b | aabb=1, aaaabab=1⟩Noc Inf
1116899⟨a, b | aabb=1, aaababb=1⟩Noc Inf
1116908⟨a, b | aabb=1, aababab=1⟩Noc Inf
1116955⟨a, b | abab=1, aaaaabb=1⟩Noc Inf
1116959⟨a, b | abab=1, aaaabbb=1⟩Noc Inf
1116965⟨a, b | abab=1, aaabbab=1⟩Noc Inf1
1116970⟨a, b | abab=1, aabaabb=1⟩Noc Inf
1116978⟨a, b | abab=1, aabbbab=1⟩Noc Inf
1117105⟨a, b | aaaa=1, aabaab=b⟩Noc Inf
1117109⟨a, b | aaaa=1, aababb=b⟩Noc Inf
1117113⟨a, b | aaaa=1, aabbab=b⟩Noc Inf
1117117⟨a, b | aaaa=1, aabbbb=b⟩Noc Inf
1117135⟨a, b | aaaa=1, abbbab=b⟩Noc Inf
1117137⟨a, b | aaaa=1, abbbba=b⟩Noc Inf
1117143⟨a, b | aaaa=1, baaabb=b⟩Noc Inf
1117145⟨a, b | aaaa=1, baabab=b⟩Noc Inf
1117147⟨a, b | aaaa=1, baabbb=b⟩Noc Inf
1117149⟨a, b | aaaa=1, bababb=b⟩Noc Inf
1117151⟨a, b | aaaa=1, babbab=b⟩Noc Inf
1117153⟨a, b | aaaa=1, babbbb=b⟩Noc Inf
1117155⟨a, b | aaaa=1, bbaabb=b⟩Noc Inf
1117157⟨a, b | aaaa=1, bbabbb=b⟩Noc Inf
1117159⟨a, b | aaaa=1, bbbbbb=b⟩Noc Infℤ4 ∗ ℕ(6 = 1)
1117426⟨a, b | aabb=1, aaabab=a⟩Noc Inf
1117427⟨a, b | aabb=1, aaabab=b⟩Noc Inf
1117437⟨a, b | aabb=1, aababb=a⟩Noc Inf
1117486⟨a, b | abab=1, aaaabb=a⟩Noc Inf
1117487⟨a, b | abab=1, aaaabb=b⟩Noc Inf
1117494⟨a, b | abab=1, aaabbb=a⟩Noc Inf
1117505⟨a, b | abab=1, aabbab=b⟩Noc Inf
1117637⟨a, b | aaaa=1, aabab=bb⟩Noc Inf
1117645⟨a, b | aaaa=1, aabbb=bb⟩Noc Inf
1117647⟨a, b | aaaa=1, abaab=ab⟩Noc Inf
1117649⟨a, b | aaaa=1, abaab=bb⟩Noc Inf
1117654⟨a, b | aaaa=1, ababb=ab⟩Noc Inf1
1117655⟨a, b | aaaa=1, ababb=ba⟩Noc Inf
1117656⟨a, b | aaaa=1, ababb=bb⟩Noc Inf
1117660⟨a, b | aaaa=1, abbab=bb⟩Noc Inf
1117663⟨a, b | aaaa=1, abbba=bb⟩Noc Inf
1117665⟨a, b | aaaa=1, abbbb=ab⟩Noc Infℤ4 ∗ ℕ(4 = 1)
1117667⟨a, b | aaaa=1, abbbb=bb⟩Noc Inf
1117670⟨a, b | aaaa=1, baaab=bb⟩Noc Inf
1117674⟨a, b | aaaa=1, baabb=bb⟩Noc Inf
1117677⟨a, b | aaaa=1, babab=bb⟩Noc Inf
1117680⟨a, b | aaaa=1, babbb=ba⟩Noc Inf
1117681⟨a, b | aaaa=1, babbb=bb⟩Noc Inf
1117684⟨a, b | aaaa=1, bbabb=bb⟩Noc Inf
1117687⟨a, b | aaaa=1, bbbbb=bb⟩Noc Infℤ4 ∗ ℕ(5 = 2)
1117964⟨a, b | aabb=1, aabab=aa⟩Noc Inf
1117965⟨a, b | aabb=1, aabab=ab⟩Noc Inf
1117966⟨a, b | aabb=1, aabab=ba⟩Noc Inf
1117967⟨a, b | aabb=1, aabab=bb⟩Noc Inf
1118020⟨a, b | abab=1, aaabb=aa⟩Noc Inf
1118022⟨a, b | abab=1, aaabb=ba⟩Noc Inf
1118023⟨a, b | abab=1, aaabb=bb⟩Noc Inf
1118034⟨a, b | abab=1, aabba=ba⟩Noc Inf
1118215⟨a, b | aaa=a, bbbbbbb=1⟩Noc Infℕ(3 = 1) ∗ ℤ7
1118416⟨a, b | aab=b, aaaaaaa=1⟩Noc Inf
1118615⟨a, b | aba=a, bbbbbbb=1⟩Noc Inf
1118697⟨a, b | aaa=a, aaabaa=b⟩Noc Inf
1118706⟨a, b | aaa=a, aababa=a⟩Noc Inf2
1118708⟨a, b | aaa=a, aababb=a⟩Noc Inf1
1118709⟨a, b | aaa=a, aababb=b⟩Noc Inf
1118711⟨a, b | aaa=a, aabbaa=b⟩Noc Inf
1118713⟨a, b | aaa=a, aabbab=b⟩Noc Inf
1118714⟨a, b | aaa=a, aabbba=a⟩Noc Inf1
1118716⟨a, b | aaa=a, aabbbb=a⟩Noc Inf1
1118717⟨a, b | aaa=a, aabbbb=b⟩Noc Inf
1118722⟨a, b | aaa=a, abaabb=a⟩Noc Inf
1118726⟨a, b | aaa=a, ababba=a⟩Noc Inf
1118728⟨a, b | aaa=a, ababbb=a⟩Noc Inf
1118732⟨a, b | aaa=a, abbabb=a⟩Noc Inf
1118734⟨a, b | aaa=a, abbbab=a⟩Noc Inf
1118735⟨a, b | aaa=a, abbbab=b⟩Noc Inf
1118736⟨a, b | aaa=a, abbbba=a⟩Noc Inf
1118738⟨a, b | aaa=a, abbbbb=a⟩Noc Inf
1118745⟨a, b | aaa=a, baabab=b⟩Noc Inf
1118746⟨a, b | aaa=a, baabbb=a⟩Noc Inf1
1118747⟨a, b | aaa=a, baabbb=b⟩Noc Inf
1118748⟨a, b | aaa=a, bababb=a⟩Noc Inf
1118749⟨a, b | aaa=a, bababb=b⟩Noc Inf
1118751⟨a, b | aaa=a, babbab=b⟩Noc Inf
1118752⟨a, b | aaa=a, babbbb=a⟩Noc Inf
1118753⟨a, b | aaa=a, babbbb=b⟩Noc Inf
1118754⟨a, b | aaa=a, bbaabb=a⟩Noc Inf1
1118755⟨a, b | aaa=a, bbaabb=b⟩Noc Inf
1118756⟨a, b | aaa=a, bbabbb=a⟩Noc Inf
1118757⟨a, b | aaa=a, bbabbb=b⟩Noc Inf
1118759⟨a, b | aaa=a, bbbbbb=b⟩Noc Infℕ(3 = 1) ∗ ℕ(6 = 1)
1118832⟨a, b | aab=a, aaaaaa=a⟩Noc Inf6
1118942⟨a, b | aab=a, bbabbb=a⟩Noc Inf3
1118950⟨a, b | aab=a, bbbabb=a⟩Noc Inf2
1118952⟨a, b | aab=a, bbbbaa=a⟩Noc Inf2
1118954⟨a, b | aab=a, bbbbab=a⟩Noc Inf2
1118956⟨a, b | aab=a, bbbbba=a⟩Noc Inf
1118960⟨a, b | aab=b, aaaaaa=a⟩Noc Inf
1118993⟨a, b | aab=b, abaaaa=b⟩Noc Inf1
1119001⟨a, b | aab=b, ababaa=b⟩Noc Inf1
1119005⟨a, b | aab=b, ababba=b⟩Noc Inf1
1119009⟨a, b | aab=b, abbaaa=b⟩Noc Inf1
1119013⟨a, b | aab=b, abbaba=b⟩Noc Inf1
1119019⟨a, b | aab=b, abbbab=b⟩Noc Inf1
1119021⟨a, b | aab=b, abbbba=b⟩Noc Inf1
1119022⟨a, b | aab=b, abbbbb=a⟩Noc Inf
1119023⟨a, b | aab=b, abbbbb=b⟩Noc Inf1
1119025⟨a, b | aab=b, baaaaa=b⟩Noc Inf
1119041⟨a, b | aab=b, babaaa=b⟩Noc Inf
1119047⟨a, b | aab=b, bababb=b⟩Noc Inf
1119049⟨a, b | aab=b, babbaa=b⟩Noc Inf
1119051⟨a, b | aab=b, babbab=b⟩Noc Inf
1119053⟨a, b | aab=b, babbba=b⟩Noc Inf
1119055⟨a, b | aab=b, babbbb=b⟩Noc Inf
1119057⟨a, b | aab=b, bbaaaa=b⟩Noc Inf
1119065⟨a, b | aab=b, bbabaa=b⟩Noc Inf
1119067⟨a, b | aab=b, bbabab=b⟩Noc Inf
1119069⟨a, b | aab=b, bbabba=b⟩Noc Inf1
1119071⟨a, b | aab=b, bbabbb=b⟩Noc Inf1
1119073⟨a, b | aab=b, bbbaaa=b⟩Noc Inf
1119081⟨a, b | aab=b, bbbbaa=b⟩Noc Inf
1119083⟨a, b | aab=b, bbbbab=b⟩Noc Inf
1119084⟨a, b | aab=b, bbbbba=a⟩Noc Inf
1119085⟨a, b | aab=b, bbbbba=b⟩Noc Inf
1119087⟨a, b | aab=b, bbbbbb=b⟩Noc Inf
1119088⟨a, b | aba=a, aaaaaa=a⟩Noc Inf
1119094⟨a, b | aba=a, aaaabb=a⟩Noc Inf
1119100⟨a, b | aba=a, aaabba=a⟩Noc Inf
1119102⟨a, b | aba=a, aaabbb=a⟩Noc Inf
1119110⟨a, b | aba=a, aabbaa=a⟩Noc Inf
1119114⟨a, b | aba=a, aabbba=a⟩Noc Inf
1119116⟨a, b | aba=a, aabbbb=a⟩Noc Inf
1119132⟨a, b | aba=a, abbabb=a⟩Noc Inf
1119136⟨a, b | aba=a, abbbba=a⟩Noc Inf
1119138⟨a, b | aba=a, abbbbb=a⟩Noc Inf
1119141⟨a, b | aba=a, baaaab=b⟩Noc Inf
1119143⟨a, b | aba=a, baaabb=b⟩Noc Inf
1119147⟨a, b | aba=a, baabbb=b⟩Noc Inf
1119153⟨a, b | aba=a, babbbb=b⟩Noc Inf1
1119154⟨a, b | aba=a, bbaabb=a⟩Noc Inf
1119155⟨a, b | aba=a, bbaabb=b⟩Noc Inf
1119156⟨a, b | aba=a, bbabbb=a⟩Noc Inf
1119159⟨a, b | aba=a, bbbbbb=b⟩Noc Inf
1119160⟨a, b | aba=b, aaaaaa=a⟩Noc Inf
1119163⟨a, b | aba=b, aaaaab=b⟩Noc Inf2
1119175⟨a, b | aba=b, aaabbb=b⟩Noc Inf9
1119236⟨a, b | aaa=a, aaaab=ab⟩Noc Inf1
1119240⟨a, b | aaa=a, aaaba=ab⟩Noc Inf2
1119241⟨a, b | aaa=a, aaaba=ba⟩Noc Inf
1119244⟨a, b | aaa=a, aaabb=ab⟩Noc Inf2
1119245⟨a, b | aaa=a, aaabb=ba⟩Noc Inf
1119246⟨a, b | aaa=a, aaabb=bb⟩Noc Inf
1119248⟨a, b | aaa=a, aabaa=ab⟩Noc Inf
1119249⟨a, b | aaa=a, aabaa=bb⟩Noc Inf
1119251⟨a, b | aaa=a, aabab=ab⟩Noc Inf1
1119252⟨a, b | aaa=a, aabab=ba⟩Noc Inf
1119253⟨a, b | aaa=a, aabab=bb⟩Noc Inf
1119255⟨a, b | aaa=a, aabba=ab⟩Noc Inf1
1119256⟨a, b | aaa=a, aabba=ba⟩Noc Inf
1119257⟨a, b | aaa=a, aabba=bb⟩Noc Inf
1119259⟨a, b | aaa=a, aabbb=ab⟩Noc Inf1
1119260⟨a, b | aaa=a, aabbb=ba⟩Noc Inf
1119261⟨a, b | aaa=a, aabbb=bb⟩Noc Inf
1119263⟨a, b | aaa=a, abaab=ab⟩Noc Inf
1119264⟨a, b | aaa=a, abaab=ba⟩Noc Inf
1119265⟨a, b | aaa=a, abaab=bb⟩Noc Inf
1119267⟨a, b | aaa=a, ababa=ab⟩Noc Inf
1119268⟨a, b | aaa=a, ababa=bb⟩Noc Inf
1119270⟨a, b | aaa=a, ababb=ab⟩Noc Inf
1119271⟨a, b | aaa=a, ababb=ba⟩Noc Inf
1119272⟨a, b | aaa=a, ababb=bb⟩Noc Inf
1119274⟨a, b | aaa=a, abbab=ab⟩Noc Inf
1119275⟨a, b | aaa=a, abbab=ba⟩Noc Inf
1119276⟨a, b | aaa=a, abbab=bb⟩Noc Inf
1119278⟨a, b | aaa=a, abbba=ab⟩Noc Inf
1119279⟨a, b | aaa=a, abbba=bb⟩Noc Inf
1119281⟨a, b | aaa=a, abbbb=ab⟩Noc Inf
1119282⟨a, b | aaa=a, abbbb=ba⟩Noc Inf
1119283⟨a, b | aaa=a, abbbb=bb⟩Noc Inf
1119285⟨a, b | aaa=a, baaab=ab⟩Noc Inf1
1119286⟨a, b | aaa=a, baaab=bb⟩Noc Inf
1119287⟨a, b | aaa=a, baabb=aa⟩Noc Inf
1119288⟨a, b | aaa=a, baabb=ab⟩Noc Inf
1119289⟨a, b | aaa=a, baabb=ba⟩Noc Inf
1119290⟨a, b | aaa=a, baabb=bb⟩Noc Inf
1119292⟨a, b | aaa=a, babab=ab⟩Noc Inf
1119293⟨a, b | aaa=a, babab=bb⟩Noc Inf
1119295⟨a, b | aaa=a, babbb=ab⟩Noc Inf
1119296⟨a, b | aaa=a, babbb=ba⟩Noc Inf
1119297⟨a, b | aaa=a, babbb=bb⟩Noc Inf
1119299⟨a, b | aaa=a, bbabb=ab⟩Noc Inf
1119300⟨a, b | aaa=a, bbabb=bb⟩Noc Inf
1119301⟨a, b | aaa=a, bbbbb=aa⟩Noc Inf
1119303⟨a, b | aaa=a, bbbbb=bb⟩Noc Infℕ(3 = 1) ∗ ℕ(5 = 2)
1119486⟨a, b | aab=a, bbabb=ba⟩Noc Inf2
1119490⟨a, b | aab=a, bbbaa=ba⟩Noc Inf2
1119494⟨a, b | aab=a, bbbab=ba⟩Noc Inf2
1119498⟨a, b | aab=a, bbbba=ba⟩Noc Inf
1119504⟨a, b | aab=b, aaaaa=aa⟩Noc Inf
1119514⟨a, b | aab=b, aaaba=ba⟩Noc Inf1
1119519⟨a, b | aab=b, aaabb=bb⟩Noc Inf4
1119522⟨a, b | aab=b, aabaa=ba⟩Noc Inf2
1119523⟨a, b | aab=b, aabaa=bb⟩Noc Inf3
1119527⟨a, b | aab=b, aabab=bb⟩Noc Inf4
1119530⟨a, b | aab=b, aabba=ba⟩Noc Inf3
1119531⟨a, b | aab=b, aabba=bb⟩Noc Inf4
1119532⟨a, b | aab=b, aabbb=aa⟩Noc Inf2
1119535⟨a, b | aab=b, aabbb=bb⟩Noc Inf5
1119538⟨a, b | aab=b, abaaa=ba⟩Noc Inf1
1119539⟨a, b | aab=b, abaaa=bb⟩Noc Inf1
1119546⟨a, b | aab=b, ababa=ba⟩Noc Inf1
1119547⟨a, b | aab=b, ababa=bb⟩Noc Inf1
1119550⟨a, b | aab=b, ababb=ba⟩Noc Inf1
1119551⟨a, b | aab=b, ababb=bb⟩Noc Inf1
1119554⟨a, b | aab=b, abbaa=ba⟩Noc Inf1
1119555⟨a, b | aab=b, abbaa=bb⟩Noc Inf1
1119558⟨a, b | aab=b, abbab=ba⟩Noc Inf1
1119559⟨a, b | aab=b, abbab=bb⟩Noc Inf1
1119560⟨a, b | aab=b, abbba=aa⟩Noc Inf
1119562⟨a, b | aab=b, abbba=ba⟩Noc Inf1
1119563⟨a, b | aab=b, abbba=bb⟩Noc Inf1
1119566⟨a, b | aab=b, abbbb=ba⟩Noc Inf1
1119567⟨a, b | aab=b, abbbb=bb⟩Noc Inf1
1119570⟨a, b | aab=b, baaaa=ba⟩Noc Inf
1119571⟨a, b | aab=b, baaaa=bb⟩Noc Inf
1119586⟨a, b | aab=b, babaa=ba⟩Noc Inf
1119587⟨a, b | aab=b, babaa=bb⟩Noc Inf
1119591⟨a, b | aab=b, babab=bb⟩Noc Inf
1119594⟨a, b | aab=b, babba=ba⟩Noc Inf
1119595⟨a, b | aab=b, babba=bb⟩Noc Inf
1119598⟨a, b | aab=b, babbb=ba⟩Noc Inf
1119599⟨a, b | aab=b, babbb=bb⟩Noc Inf
1119602⟨a, b | aab=b, bbaaa=ba⟩Noc Inf
1119603⟨a, b | aab=b, bbaaa=bb⟩Noc Inf
1119610⟨a, b | aab=b, bbaba=ba⟩Noc Inf
1119611⟨a, b | aab=b, bbaba=bb⟩Noc Inf
1119614⟨a, b | aab=b, bbabb=ba⟩Noc Inf1
1119615⟨a, b | aab=b, bbabb=bb⟩Noc Inf
1119616⟨a, b | aab=b, bbbaa=aa⟩Noc Inf
1119618⟨a, b | aab=b, bbbaa=ba⟩Noc Inf
1119619⟨a, b | aab=b, bbbaa=bb⟩Noc Inf
1119623⟨a, b | aab=b, bbbab=bb⟩Noc Inf
1119626⟨a, b | aab=b, bbbba=ba⟩Noc Inf
1119627⟨a, b | aab=b, bbbba=bb⟩Noc Inf
1119628⟨a, b | aab=b, bbbbb=aa⟩Noc Inf
1119630⟨a, b | aab=b, bbbbb=ba⟩Noc Inf
1119631⟨a, b | aab=b, bbbbb=bb⟩Noc Inf
1119632⟨a, b | aba=a, aaaaa=aa⟩Noc Inf
1119643⟨a, b | aba=a, aaabb=aa⟩Noc Inf
1119644⟨a, b | aba=a, aaabb=ab⟩Noc Inf
1119646⟨a, b | aba=a, aaabb=bb⟩Noc Inf
1119654⟨a, b | aba=a, aabba=aa⟩Noc Inf
1119657⟨a, b | aba=a, aabba=bb⟩Noc Inf
1119658⟨a, b | aba=a, aabbb=aa⟩Noc Inf
1119659⟨a, b | aba=a, aabbb=ab⟩Noc Inf
1119661⟨a, b | aba=a, aabbb=bb⟩Noc Inf2
1119669⟨a, b | aba=a, ababb=aa⟩Noc Inf3
1119670⟨a, b | aba=a, ababb=ab⟩Noc Inf2
1119673⟨a, b | aba=a, abbab=aa⟩Noc Inf
1119676⟨a, b | aba=a, abbab=bb⟩Noc Inf
1119677⟨a, b | aba=a, abbba=aa⟩Noc Inf
1119679⟨a, b | aba=a, abbba=bb⟩Noc Inf
1119680⟨a, b | aba=a, abbbb=aa⟩Noc Inf
1119681⟨a, b | aba=a, abbbb=ab⟩Noc Inf
1119684⟨a, b | aba=a, baaab=aa⟩Noc Inf1
1119686⟨a, b | aba=a, baaab=bb⟩Noc Inf
1119687⟨a, b | aba=a, baabb=aa⟩Noc Inf
1119690⟨a, b | aba=a, baabb=bb⟩Noc Inf
1119693⟨a, b | aba=a, babab=bb⟩Noc Inf
1119694⟨a, b | aba=a, babbb=aa⟩Noc Inf
1119697⟨a, b | aba=a, babbb=bb⟩Noc Inf
1119698⟨a, b | aba=a, bbabb=aa⟩Noc Inf
1119699⟨a, b | aba=a, bbabb=ab⟩Noc Inf
1119700⟨a, b | aba=a, bbabb=bb⟩Noc Inf
1119701⟨a, b | aba=a, bbbbb=aa⟩Noc Inf
1119703⟨a, b | aba=a, bbbbb=bb⟩Noc Inf
1119704⟨a, b | aba=b, aaaaa=aa⟩Noc Inf
1119718⟨a, b | aba=b, aaabb=bb⟩Noc Inf1
1119725⟨a, b | aba=b, aabab=bb⟩Noc Inf3
1119733⟨a, b | aba=b, aabbb=bb⟩Noc Inf6
1119737⟨a, b | aba=b, abaab=bb⟩Noc Inf1
1119755⟨a, b | aba=b, abbbb=bb⟩Noc Inf2
1119758⟨a, b | aba=b, baaab=bb⟩Noc Inf
1119775⟨a, b | aba=b, bbbbb=bb⟩Noc Inf
1119792⟨a, b | aaa=a, aaba=aba⟩Noc Inf
1119793⟨a, b | aaa=a, aaba=abb⟩Noc Inf1
1119794⟨a, b | aaa=a, aaba=baa⟩Noc Inf
1119795⟨a, b | aaa=a, aaba=bab⟩Noc Inf
1119796⟨a, b | aaa=a, aaba=bba⟩Noc Inf
1119797⟨a, b | aaa=a, aaba=bbb⟩Noc Inf
1119801⟨a, b | aaa=a, aabb=abb⟩Noc Inf
1119802⟨a, b | aaa=a, aabb=baa⟩Noc Inf
1119803⟨a, b | aaa=a, aabb=bab⟩Noc Inf
1119804⟨a, b | aaa=a, aabb=bba⟩Noc Inf
1119805⟨a, b | aaa=a, aabb=bbb⟩Noc Inf
1119808⟨a, b | aaa=a, abab=aba⟩Noc Inf
1119809⟨a, b | aaa=a, abab=abb⟩Noc Inf
1119810⟨a, b | aaa=a, abab=baa⟩Noc Inf
1119811⟨a, b | aaa=a, abab=bab⟩Noc Inf
1119812⟨a, b | aaa=a, abab=bba⟩Noc Inf
1119813⟨a, b | aaa=a, abab=bbb⟩Noc Inf
1119816⟨a, b | aaa=a, abba=aba⟩Noc Inf
1119817⟨a, b | aaa=a, abba=abb⟩Noc Inf
1119818⟨a, b | aaa=a, abba=bab⟩Noc Inf
1119822⟨a, b | aaa=a, abbb=aba⟩Noc Inf
1119823⟨a, b | aaa=a, abbb=abb⟩Noc Inf
1119824⟨a, b | aaa=a, abbb=baa⟩Noc Inf
1119825⟨a, b | aaa=a, abbb=bab⟩Noc Inf
1119826⟨a, b | aaa=a, abbb=bba⟩Noc Inf
1119827⟨a, b | aaa=a, abbb=bbb⟩Noc Inf
1119829⟨a, b | aaa=a, baab=aab⟩Noc Inf
1119830⟨a, b | aaa=a, baab=aba⟩Noc Inf
1119831⟨a, b | aaa=a, baab=abb⟩Noc Inf
1119832⟨a, b | aaa=a, baab=bab⟩Noc Inf
1119833⟨a, b | aaa=a, baab=bbb⟩Noc Inf
1119835⟨a, b | aaa=a, babb=aab⟩Noc Inf
1119836⟨a, b | aaa=a, babb=aba⟩Noc Inf
1119837⟨a, b | aaa=a, babb=abb⟩Noc Inf
1119838⟨a, b | aaa=a, babb=baa⟩Noc Inf
1119839⟨a, b | aaa=a, babb=bab⟩Noc Inf
1119840⟨a, b | aaa=a, babb=bba⟩Noc Inf
1119841⟨a, b | aaa=a, babb=bbb⟩Noc Inf
1119843⟨a, b | aaa=a, bbbb=aab⟩Noc Inf
1119844⟨a, b | aaa=a, bbbb=aba⟩Noc Inf
1119845⟨a, b | aaa=a, bbbb=abb⟩Noc Inf
1119846⟨a, b | aaa=a, bbbb=bab⟩Noc Inf
1119847⟨a, b | aaa=a, bbbb=bbb⟩Noc Infℕ(3 = 1) ∗ ℕ(4 = 3)
1120038⟨a, b | aab=a, bbba=bba⟩Noc Inf
1120048⟨a, b | aab=b, aaaa=aaa⟩Noc Inf
1120055⟨a, b | aab=b, aaaa=bbb⟩Noc Inf
1120084⟨a, b | aab=b, abaa=baa⟩Noc Inf
1120085⟨a, b | aab=b, abaa=bab⟩Noc Inf1
1120086⟨a, b | aab=b, abaa=bba⟩Noc Inf1
1120087⟨a, b | aab=b, abaa=bbb⟩Noc Inf1
1120094⟨a, b | aab=b, abab=bba⟩Noc Inf1
1120095⟨a, b | aab=b, abab=bbb⟩Noc Inf1
1120102⟨a, b | aab=b, abba=bba⟩Noc Inf
1120103⟨a, b | aab=b, abba=bbb⟩Noc Inf1
1120104⟨a, b | aab=b, abbb=aaa⟩Noc Inf
1120111⟨a, b | aab=b, abbb=bbb⟩Noc Inf
1120116⟨a, b | aab=b, baaa=baa⟩Noc Inf
1120117⟨a, b | aab=b, baaa=bab⟩Noc Inf
1120118⟨a, b | aab=b, baaa=bba⟩Noc Inf
1120119⟨a, b | aab=b, baaa=bbb⟩Noc Inf
1120132⟨a, b | aab=b, baba=baa⟩Noc Inf
1120133⟨a, b | aab=b, baba=bab⟩Noc Inf
1120134⟨a, b | aab=b, baba=bba⟩Noc Inf
1120135⟨a, b | aab=b, baba=bbb⟩Noc Inf
1120140⟨a, b | aab=b, babb=baa⟩Noc Inf
1120141⟨a, b | aab=b, babb=bab⟩Noc Inf
1120142⟨a, b | aab=b, babb=bba⟩Noc Inf
1120143⟨a, b | aab=b, babb=bbb⟩Noc Inf
1120148⟨a, b | aab=b, bbaa=baa⟩Noc Inf
1120149⟨a, b | aab=b, bbaa=bab⟩Noc Inf
1120150⟨a, b | aab=b, bbaa=bba⟩Noc Inf
1120151⟨a, b | aab=b, bbaa=bbb⟩Noc Inf
1120156⟨a, b | aab=b, bbab=baa⟩Noc Inf
1120157⟨a, b | aab=b, bbab=bab⟩Noc Inf
1120158⟨a, b | aab=b, bbab=bba⟩Noc Inf
1120159⟨a, b | aab=b, bbab=bbb⟩Noc Inf
1120160⟨a, b | aab=b, bbba=aaa⟩Noc Inf
1120164⟨a, b | aab=b, bbba=baa⟩Noc Inf
1120165⟨a, b | aab=b, bbba=bab⟩Noc Inf
1120166⟨a, b | aab=b, bbba=bba⟩Noc Inf
1120167⟨a, b | aab=b, bbba=bbb⟩Noc Inf
1120172⟨a, b | aab=b, bbbb=baa⟩Noc Inf
1120173⟨a, b | aab=b, bbbb=bab⟩Noc Inf
1120174⟨a, b | aab=b, bbbb=bba⟩Noc Inf
1120175⟨a, b | aab=b, bbbb=bbb⟩Noc Inf
1120176⟨a, b | aba=a, aaaa=aaa⟩Noc Inf
1120177⟨a, b | aba=a, aaaa=aab⟩Noc Inf
1120179⟨a, b | aba=a, aaaa=abb⟩Noc Inf
1120181⟨a, b | aba=a, aaaa=bbb⟩Noc Inf
1120182⟨a, b | aba=a, aaab=aaa⟩Noc Inf
1120185⟨a, b | aba=a, aaab=abb⟩Noc Inf
1120188⟨a, b | aba=a, aaab=bba⟩Noc Inf
1120189⟨a, b | aba=a, aaab=bbb⟩Noc Inf
1120194⟨a, b | aba=a, aaba=baa⟩Noc Inf1
1120198⟨a, b | aba=a, aabb=aaa⟩Noc Inf
1120199⟨a, b | aba=a, aabb=aab⟩Noc Inf
1120201⟨a, b | aba=a, aabb=abb⟩Noc Inf
1120202⟨a, b | aba=a, aabb=baa⟩Noc Inf
1120204⟨a, b | aba=a, aabb=bba⟩Noc Inf
1120205⟨a, b | aba=a, aabb=bbb⟩Noc Inf
1120214⟨a, b | aba=a, abba=aaa⟩Noc Inf
1120215⟨a, b | aba=a, abba=aab⟩Noc Inf
1120217⟨a, b | aba=a, abba=abb⟩Noc Inf
1120219⟨a, b | aba=a, abba=bbb⟩Noc Inf
1120220⟨a, b | aba=a, abbb=aaa⟩Noc Inf
1120221⟨a, b | aba=a, abbb=aab⟩Noc Inf
1120223⟨a, b | aba=a, abbb=abb⟩Noc Inf
1120224⟨a, b | aba=a, abbb=baa⟩Noc Inf
1120226⟨a, b | aba=a, abbb=bba⟩Noc Inf
1120227⟨a, b | aba=a, abbb=bbb⟩Noc Inf
1120228⟨a, b | aba=a, baab=aaa⟩Noc Inf
1120231⟨a, b | aba=a, baab=abb⟩Noc Inf
1120233⟨a, b | aba=a, baab=bbb⟩Noc Inf
1120234⟨a, b | aba=a, babb=aaa⟩Noc Inf
1120235⟨a, b | aba=a, babb=aab⟩Noc Inf
1120237⟨a, b | aba=a, babb=abb⟩Noc Inf
1120240⟨a, b | aba=a, babb=bba⟩Noc Inf
1120241⟨a, b | aba=a, babb=bbb⟩Noc Inf
1120242⟨a, b | aba=a, bbbb=aaa⟩Noc Inf
1120243⟨a, b | aba=a, bbbb=aab⟩Noc Inf
1120245⟨a, b | aba=a, bbbb=abb⟩Noc Inf
1120246⟨a, b | aba=a, bbbb=bab⟩Noc Inf
1120247⟨a, b | aba=a, bbbb=bbb⟩Noc Inf
1120273⟨a, b | aba=b, aabb=abb⟩Noc Inf2
1120275⟨a, b | aba=b, aabb=bab⟩Noc Inf1
1120277⟨a, b | aba=b, aabb=bbb⟩Noc Inf1
1120295⟨a, b | aba=b, abbb=abb⟩Noc Inf3
1120297⟨a, b | aba=b, abbb=bab⟩Noc Inf1
1120303⟨a, b | aba=b, baab=abb⟩Noc Inf
1120304⟨a, b | aba=b, baab=bab⟩Noc Inf
1120305⟨a, b | aba=b, baab=bbb⟩Noc Inf
1120317⟨a, b | aba=b, bbbb=abb⟩Noc Inf
1120318⟨a, b | aba=b, bbbb=bab⟩Noc Inf
1120520⟨a, b | ab=aa, aaaaaa=a⟩Noc Inf31
1120616⟨a, b | ab=aa, bbaaaa=a⟩Noc Inf7
1120632⟨a, b | ab=aa, bbbaaa=a⟩Noc Inf3
1120640⟨a, b | ab=aa, bbbbaa=a⟩Noc Inf1
1120644⟨a, b | ab=aa, bbbbba=a⟩Noc Inf
1120720⟨a, b | ab=aa, aaaaa=aa⟩Noc Inf31
1120722⟨a, b | ab=aa, aaaaa=ba⟩Noc Inf15
1120784⟨a, b | ab=aa, baaaa=aa⟩Noc Inf15
1120786⟨a, b | ab=aa, baaaa=ba⟩Noc Inf7
1120816⟨a, b | ab=aa, bbaaa=aa⟩Noc Inf7
1120818⟨a, b | ab=aa, bbaaa=ba⟩Noc Inf3
1120832⟨a, b | ab=aa, bbbaa=aa⟩Noc Inf3
1120834⟨a, b | ab=aa, bbbaa=ba⟩Noc Inf1
1120840⟨a, b | ab=aa, bbbba=aa⟩Noc Inf1
1120842⟨a, b | ab=aa, bbbba=ba⟩Noc Inf
1120884⟨a, b | bb=aa, aaaaa=aa⟩Noc Inf17
1120920⟨a, b | ab=aa, aaaa=aaa⟩Noc Inf31
1120924⟨a, b | ab=aa, aaaa=baa⟩Noc Inf15
1120926⟨a, b | ab=aa, aaaa=bba⟩Noc Inf7
1120984⟨a, b | ab=aa, baaa=aaa⟩Noc Inf15
1120988⟨a, b | ab=aa, baaa=baa⟩Noc Inf7
1120990⟨a, b | ab=aa, baaa=bba⟩Noc Inf3
1121016⟨a, b | ab=aa, bbaa=aaa⟩Noc Inf7
1121020⟨a, b | ab=aa, bbaa=baa⟩Noc Inf3
1121022⟨a, b | ab=aa, bbaa=bba⟩Noc Inf1
1121032⟨a, b | ab=aa, bbba=aaa⟩Noc Inf3
1121036⟨a, b | ab=aa, bbba=baa⟩Noc Inf1
1121038⟨a, b | ab=aa, bbba=bba⟩Noc Inf
1121084⟨a, b | bb=aa, aaaa=aaa⟩Noc Inf4
1121085⟨a, b | bb=aa, aaaa=aab⟩Noc Inf5
1121090⟨a, b | bb=aa, aaab=aaa⟩Noc Inf11
1121725⟨a, b | aaa=1, abababb=b⟩Noc Inf
1121739⟨a, b | aaa=1, abbabba=b⟩Noc Inf
1121741⟨a, b | aaa=1, abbabbb=b⟩Noc Inf
1121749⟨a, b | aaa=1, abbbbba=b⟩Noc Inf
1121761⟨a, b | aaa=1, baabaab=b⟩Noc Inf
1121763⟨a, b | aaa=1, baababb=b⟩Noc Inf
1121765⟨a, b | aaa=1, baabbab=b⟩Noc Inf
1121767⟨a, b | aaa=1, baabbbb=b⟩Noc Inf
1121769⟨a, b | aaa=1, babaabb=b⟩Noc Inf
1121771⟨a, b | aaa=1, bababab=b⟩Noc Inf
1121773⟨a, b | aaa=1, bababbb=b⟩Noc Inf
1121775⟨a, b | aaa=1, babbabb=b⟩Noc Inf
1121777⟨a, b | aaa=1, babbbab=b⟩Noc Inf1
1121779⟨a, b | aaa=1, babbbbb=b⟩Noc Inf
1121783⟨a, b | aaa=1, bbaabbb=b⟩Noc Inf
1121787⟨a, b | aaa=1, bbabbbb=b⟩Noc Inf1
1121791⟨a, b | aaa=1, bbbbbbb=b⟩Noc Infℤ3 ∗ ℕ(7 = 1)
1122264⟨a, b | aaa=1, ababab=bb⟩Noc Inf
1122272⟨a, b | aaa=1, ababbb=bb⟩Noc Inf
1122276⟨a, b | aaa=1, abbaab=bb⟩Noc Inf
1122284⟨a, b | aaa=1, abbbab=bb⟩Noc Inf
1122287⟨a, b | aaa=1, abbbba=bb⟩Noc Inf
1122291⟨a, b | aaa=1, abbbbb=bb⟩Noc Inf
1122302⟨a, b | aaa=1, baabab=bb⟩Noc Inf
1122306⟨a, b | aaa=1, baabbb=bb⟩Noc Inf
1122310⟨a, b | aaa=1, bababb=bb⟩Noc Inf
1122313⟨a, b | aaa=1, babbab=bb⟩Noc Inf
1122316⟨a, b | aaa=1, babbbb=ba⟩Noc Inf
1122317⟨a, b | aaa=1, babbbb=bb⟩Noc Inf
1122320⟨a, b | aaa=1, bbaabb=bb⟩Noc Inf
1122322⟨a, b | aaa=1, bbabbb=ab⟩Noc Inf
1122324⟨a, b | aaa=1, bbabbb=bb⟩Noc Inf
1122327⟨a, b | aaa=1, bbbbbb=bb⟩Noc Infℤ3 ∗ ℕ(6 = 2)
1122785⟨a, b | aaa=1, abaab=bab⟩Noc Inf
1122786⟨a, b | aaa=1, abaab=bba⟩Noc Inf
1122787⟨a, b | aaa=1, abaab=bbb⟩Noc Inf
1122799⟨a, b | aaa=1, ababb=bab⟩Noc Inf
1122801⟨a, b | aaa=1, ababb=bbb⟩Noc Inf
1122807⟨a, b | aaa=1, abbab=bab⟩Noc Inf
1122808⟨a, b | aaa=1, abbab=bba⟩Noc Inf
1122809⟨a, b | aaa=1, abbab=bbb⟩Noc Inf
1122821⟨a, b | aaa=1, abbbb=bab⟩Noc Inf
1122822⟨a, b | aaa=1, abbbb=bba⟩Noc Inf
1122823⟨a, b | aaa=1, abbbb=bbb⟩Noc Inf
1122833⟨a, b | aaa=1, baabb=abb⟩Noc Inf
1122835⟨a, b | aaa=1, baabb=bab⟩Noc Inf
1122836⟨a, b | aaa=1, baabb=bba⟩Noc Inf
1122837⟨a, b | aaa=1, baabb=bbb⟩Noc Inf
1122841⟨a, b | aaa=1, babab=abb⟩Noc Inf
1122842⟨a, b | aaa=1, babab=bab⟩Noc Inf
1122843⟨a, b | aaa=1, babab=bbb⟩Noc Inf
1122847⟨a, b | aaa=1, babbb=abb⟩Noc Inf
1122849⟨a, b | aaa=1, babbb=bab⟩Noc Inf
1122850⟨a, b | aaa=1, babbb=bba⟩Noc Inf
1122851⟨a, b | aaa=1, babbb=bbb⟩Noc Inf
1122855⟨a, b | aaa=1, bbabb=abb⟩Noc Inf
1122856⟨a, b | aaa=1, bbabb=bab⟩Noc Inf
1122857⟨a, b | aaa=1, bbabb=bbb⟩Noc Inf
1122860⟨a, b | aaa=1, bbbbb=aba⟩Noc Inf
1122861⟨a, b | aaa=1, bbbbb=abb⟩Noc Inf
1122862⟨a, b | aaa=1, bbbbb=bab⟩Noc Inf
1122863⟨a, b | aaa=1, bbbbb=bbb⟩Noc Infℤ3 ∗ ℕ(5 = 3)
1123300⟨a, b | aaa=1, baab=abbb⟩Noc Inf
1123303⟨a, b | aaa=1, baba=abbb⟩Noc Inf
1123309⟨a, b | aaa=1, babb=abab⟩Noc Inf
1123310⟨a, b | aaa=1, babb=abba⟩Noc Inf
1123311⟨a, b | aaa=1, babb=abbb⟩Noc Inf
1123313⟨a, b | aaa=1, babb=baab⟩Noc Inf
1123314⟨a, b | aaa=1, babb=baba⟩Noc Inf
1123318⟨a, b | aaa=1, bbab=abbb⟩Noc Inf
1123319⟨a, b | aaa=1, bbab=babb⟩Noc Inf
1123325⟨a, b | aaa=1, bbbb=abab⟩Noc Inf
1123326⟨a, b | aaa=1, bbbb=abba⟩Noc Inf
1123327⟨a, b | aaa=1, bbbb=abbb⟩Noc Inf
1123328⟨a, b | aaa=1, bbbb=baab⟩Noc Inf
1123329⟨a, b | aaa=1, bbbb=babb⟩Noc Inf
1123392⟨a, b | aab=1, babb=abbb⟩Noc Inf
1123651⟨a, b | aa=a, bbbbbbbb=1⟩Noc Infℕ(2 = 1) ∗ ℤ8
1124043⟨a, b | ab=a, bbbbbbbb=1⟩Noc Inf
1124118⟨a, b | aa=a, abababa=a⟩Noc Inf
1124120⟨a, b | aa=a, abababb=a⟩Noc Inf
1124124⟨a, b | aa=a, ababbba=a⟩Noc Inf
1124126⟨a, b | aa=a, ababbbb=a⟩Noc Inf
1124134⟨a, b | aa=a, abbabba=a⟩Noc Inf
1124136⟨a, b | aa=a, abbabbb=a⟩Noc Inf
1124140⟨a, b | aa=a, abbbabb=a⟩Noc Inf
1124142⟨a, b | aa=a, abbbbab=a⟩Noc Inf
1124144⟨a, b | aa=a, abbbbba=a⟩Noc Inf
1124146⟨a, b | aa=a, abbbbbb=a⟩Noc Inf
1124167⟨a, b | aa=a, bababab=b⟩Noc Inf
1124168⟨a, b | aa=a, bababbb=a⟩Noc Inf
1124169⟨a, b | aa=a, bababbb=b⟩Noc Inf
1124170⟨a, b | aa=a, babbabb=a⟩Noc Inf
1124171⟨a, b | aa=a, babbabb=b⟩Noc Inf
1124173⟨a, b | aa=a, babbbab=b⟩Noc Inf1
1124174⟨a, b | aa=a, babbbbb=a⟩Noc Inf
1124175⟨a, b | aa=a, babbbbb=b⟩Noc Inf
1124180⟨a, b | aa=a, bbababb=a⟩Noc Inf
1124182⟨a, b | aa=a, bbabbbb=a⟩Noc Inf
1124183⟨a, b | aa=a, bbabbbb=b⟩Noc Inf1
1124184⟨a, b | aa=a, bbbabbb=a⟩Noc Inf
1124187⟨a, b | aa=a, bbbbbbb=b⟩Noc Infℕ(2 = 1) ∗ ℕ(7 = 1)
1124332⟨a, b | ab=a, aaaaaaa=a⟩Noc Inf
1124524⟨a, b | ab=a, bbaaaaa=a⟩Noc Inf
1124556⟨a, b | ab=a, bbbaaaa=a⟩Noc Inf
1124572⟨a, b | ab=a, bbbbaaa=a⟩Noc Inf
1124580⟨a, b | ab=a, bbbbbaa=a⟩Noc Inf
1124584⟨a, b | ab=a, bbbbbba=a⟩Noc Inf
1124587⟨a, b | ab=a, bbbbbbb=b⟩Noc Inf
1124658⟨a, b | aa=a, ababab=ab⟩Noc Inf
1124666⟨a, b | aa=a, ababbb=ab⟩Noc Inf
1124667⟨a, b | aa=a, ababbb=ba⟩Noc Inf
1124674⟨a, b | aa=a, abbabb=ab⟩Noc Inf
1124675⟨a, b | aa=a, abbabb=ba⟩Noc Inf
1124678⟨a, b | aa=a, abbbab=ab⟩Noc Inf
1124679⟨a, b | aa=a, abbbab=ba⟩Noc Inf
1124680⟨a, b | aa=a, abbbab=bb⟩Noc Inf
1124682⟨a, b | aa=a, abbbba=ab⟩Noc Inf
1124683⟨a, b | aa=a, abbbba=bb⟩Noc Inf
1124685⟨a, b | aa=a, abbbbb=ab⟩Noc Inf
1124686⟨a, b | aa=a, abbbbb=ba⟩Noc Inf
1124687⟨a, b | aa=a, abbbbb=bb⟩Noc Inf
1124704⟨a, b | aa=a, bababb=ab⟩Noc Inf
1124705⟨a, b | aa=a, bababb=ba⟩Noc Inf
1124706⟨a, b | aa=a, bababb=bb⟩Noc Inf
1124708⟨a, b | aa=a, babbab=ab⟩Noc Inf
1124709⟨a, b | aa=a, babbab=bb⟩Noc Inf
1124711⟨a, b | aa=a, babbbb=ab⟩Noc Inf
1124712⟨a, b | aa=a, babbbb=ba⟩Noc Inf
1124713⟨a, b | aa=a, babbbb=bb⟩Noc Inf
1124718⟨a, b | aa=a, bbabbb=ab⟩Noc Inf
1124719⟨a, b | aa=a, bbabbb=ba⟩Noc Inf
1124720⟨a, b | aa=a, bbabbb=bb⟩Noc Inf
1124723⟨a, b | aa=a, bbbbbb=bb⟩Noc Infℕ(2 = 1) ∗ ℕ(6 = 2)
1124860⟨a, b | ab=a, aaaaaa=aa⟩Noc Inf
1124862⟨a, b | ab=a, aaaaaa=ba⟩Noc Inf
1124988⟨a, b | ab=a, baaaaa=aa⟩Noc Inf
1124990⟨a, b | ab=a, baaaaa=ba⟩Noc Inf
1125052⟨a, b | ab=a, bbaaaa=aa⟩Noc Inf
1125054⟨a, b | ab=a, bbaaaa=ba⟩Noc Inf
1125084⟨a, b | ab=a, bbbaaa=aa⟩Noc Inf
1125086⟨a, b | ab=a, bbbaaa=ba⟩Noc Inf
1125100⟨a, b | ab=a, bbbbaa=aa⟩Noc Inf
1125102⟨a, b | ab=a, bbbbaa=ba⟩Noc Inf
1125108⟨a, b | ab=a, bbbbba=aa⟩Noc Inf
1125110⟨a, b | ab=a, bbbbba=ba⟩Noc Inf
1125115⟨a, b | ab=a, bbbbbb=bb⟩Noc Inf
1125186⟨a, b | aa=a, ababa=aba⟩Noc Inf
1125187⟨a, b | aa=a, ababa=abb⟩Noc Inf
1125188⟨a, b | aa=a, ababa=bab⟩Noc Inf
1125189⟨a, b | aa=a, ababa=bbb⟩Noc Inf
1125192⟨a, b | aa=a, ababb=aba⟩Noc Inf
1125193⟨a, b | aa=a, ababb=abb⟩Noc Inf
1125195⟨a, b | aa=a, ababb=bab⟩Noc Inf
1125196⟨a, b | aa=a, ababb=bba⟩Noc Inf
1125197⟨a, b | aa=a, ababb=bbb⟩Noc Inf
1125200⟨a, b | aa=a, abbab=aba⟩Noc Inf
1125201⟨a, b | aa=a, abbab=abb⟩Noc Inf
1125203⟨a, b | aa=a, abbab=bab⟩Noc Inf
1125204⟨a, b | aa=a, abbab=bba⟩Noc Inf
1125205⟨a, b | aa=a, abbab=bbb⟩Noc Inf
1125208⟨a, b | aa=a, abbba=aba⟩Noc Inf
1125209⟨a, b | aa=a, abbba=abb⟩Noc Inf
1125210⟨a, b | aa=a, abbba=bab⟩Noc Inf
1125211⟨a, b | aa=a, abbba=bbb⟩Noc Inf
1125214⟨a, b | aa=a, abbbb=aba⟩Noc Inf
1125215⟨a, b | aa=a, abbbb=abb⟩Noc Inf
1125217⟨a, b | aa=a, abbbb=bab⟩Noc Inf
1125218⟨a, b | aa=a, abbbb=bba⟩Noc Inf
1125219⟨a, b | aa=a, abbbb=bbb⟩Noc Inf
1125236⟨a, b | aa=a, babab=aba⟩Noc Inf
1125237⟨a, b | aa=a, babab=abb⟩Noc Inf
1125238⟨a, b | aa=a, babab=bab⟩Noc Inf
1125239⟨a, b | aa=a, babab=bbb⟩Noc Inf
1125242⟨a, b | aa=a, babbb=aba⟩Noc Inf
1125243⟨a, b | aa=a, babbb=abb⟩Noc Inf
1125245⟨a, b | aa=a, babbb=bab⟩Noc Inf
1125246⟨a, b | aa=a, babbb=bba⟩Noc Inf
1125247⟨a, b | aa=a, babbb=bbb⟩Noc Inf
1125250⟨a, b | aa=a, bbabb=aba⟩Noc Inf
1125251⟨a, b | aa=a, bbabb=abb⟩Noc Inf
1125252⟨a, b | aa=a, bbabb=bab⟩Noc Inf
1125253⟨a, b | aa=a, bbabb=bbb⟩Noc Inf
1125256⟨a, b | aa=a, bbbbb=aba⟩Noc Inf
1125257⟨a, b | aa=a, bbbbb=abb⟩Noc Inf
1125258⟨a, b | aa=a, bbbbb=bab⟩Noc Inf
1125259⟨a, b | aa=a, bbbbb=bbb⟩Noc Infℕ(2 = 1) ∗ ℕ(5 = 3)
1125404⟨a, b | ab=a, aaaaa=aaa⟩Noc Inf
1125408⟨a, b | ab=a, aaaaa=baa⟩Noc Inf
1125410⟨a, b | ab=a, aaaaa=bba⟩Noc Inf
1125532⟨a, b | ab=a, baaaa=aaa⟩Noc Inf
1125536⟨a, b | ab=a, baaaa=baa⟩Noc Inf
1125538⟨a, b | ab=a, baaaa=bba⟩Noc Inf
1125596⟨a, b | ab=a, bbaaa=aaa⟩Noc Inf
1125600⟨a, b | ab=a, bbaaa=baa⟩Noc Inf
1125602⟨a, b | ab=a, bbaaa=bba⟩Noc Inf
1125628⟨a, b | ab=a, bbbaa=aaa⟩Noc Inf
1125632⟨a, b | ab=a, bbbaa=baa⟩Noc Inf
1125634⟨a, b | ab=a, bbbaa=bba⟩Noc Inf
1125644⟨a, b | ab=a, bbbba=aaa⟩Noc Inf
1125648⟨a, b | ab=a, bbbba=baa⟩Noc Inf
1125650⟨a, b | ab=a, bbbba=bba⟩Noc Inf
1125659⟨a, b | ab=a, bbbbb=bbb⟩Noc Inf
1125678⟨a, b | aa=a, abba=abab⟩Noc Inf
1125684⟨a, b | aa=a, abbb=abab⟩Noc Inf
1125685⟨a, b | aa=a, abbb=abba⟩Noc Inf
1125698⟨a, b | aa=a, baba=abab⟩Noc Inf
1125699⟨a, b | aa=a, baba=abbb⟩Noc Inf
1125705⟨a, b | aa=a, babb=abab⟩Noc Inf
1125706⟨a, b | aa=a, babb=abba⟩Noc Inf
1125707⟨a, b | aa=a, babb=abbb⟩Noc Inf
1125710⟨a, b | aa=a, babb=baba⟩Noc Inf
1125714⟨a, b | aa=a, bbab=abbb⟩Noc Inf
1125715⟨a, b | aa=a, bbab=babb⟩Noc Inf
1125716⟨a, b | aa=a, bbba=abbb⟩Noc Inf
1125721⟨a, b | aa=a, bbbb=abab⟩Noc Inf
1125722⟨a, b | aa=a, bbbb=abba⟩Noc Inf
1125723⟨a, b | aa=a, bbbb=abbb⟩Noc Inf
1125725⟨a, b | aa=a, bbbb=babb⟩Noc Inf
1125820⟨a, b | ab=a, baaa=aaaa⟩Noc Inf
1125858⟨a, b | ab=a, bbaa=aaaa⟩Noc Inf
1125866⟨a, b | ab=a, bbaa=baaa⟩Noc Inf
1125883⟨a, b | ab=a, bbba=aaaa⟩Noc Inf
1125891⟨a, b | ab=a, bbba=baaa⟩Noc Inf
1125895⟨a, b | ab=a, bbba=bbaa⟩Noc Inf
1126635⟨a, b | aa=1, abbbbbab=b⟩Noc Inf1
1126677⟨a, b | aa=1, babababb=b⟩Noc Inf
1126679⟨a, b | aa=1, bababbab=b⟩Noc Inf
1126681⟨a, b | aa=1, bababbbb=b⟩Noc Inf
1126685⟨a, b | aa=1, babbabbb=b⟩Noc Inf
1126687⟨a, b | aa=1, babbbabb=b⟩Noc Inf1
1126689⟨a, b | aa=1, babbbbab=b⟩Noc Inf1
1126691⟨a, b | aa=1, babbbbbb=b⟩Noc Inf
1126705⟨a, b | aa=1, bbabbbbb=b⟩Noc Inf1
1126711⟨a, b | aa=1, bbbbbbbb=b⟩Noc Infℤ2 ∗ ℕ(8 = 1)
1127079⟨a, b | aa=1, aabbbba=bb⟩Noc Inf5
1127121⟨a, b | aa=1, ababbab=bb⟩Noc Inf1
1127125⟨a, b | aa=1, ababbba=bb⟩Noc Inf2
1127129⟨a, b | aa=1, ababbbb=bb⟩Noc Inf3
1127141⟨a, b | aa=1, abbabab=bb⟩Noc Inf1
1127144⟨a, b | aa=1, abbabba=bb⟩Noc Inf2
1127156⟨a, b | aa=1, abbbabb=bb⟩Noc Inf
1127160⟨a, b | aa=1, abbbbab=bb⟩Noc Inf1
1127163⟨a, b | aa=1, abbbbba=bb⟩Noc Inf2
1127167⟨a, b | aa=1, abbbbbb=bb⟩Noc Inf1
1127204⟨a, b | aa=1, bababab=bb⟩Noc Inf
1127208⟨a, b | aa=1, bababbb=bb⟩Noc Inf
1127212⟨a, b | aa=1, babbabb=bb⟩Noc Inf
1127215⟨a, b | aa=1, babbbab=bb⟩Noc Inf
1127219⟨a, b | aa=1, babbbbb=bb⟩Noc Inf
1127229⟨a, b | aa=1, bbababb=bb⟩Noc Inf
1127233⟨a, b | aa=1, bbabbbb=bb⟩Noc Inf
1127236⟨a, b | aa=1, bbbabbb=bb⟩Noc Inf
1127239⟨a, b | aa=1, bbbbbbb=bb⟩Noc Infℤ2 ∗ ℕ(7 = 2)
1127639⟨a, b | aa=1, ababab=bab⟩Noc Inf1
1127641⟨a, b | aa=1, ababab=bbb⟩Noc Inf1
1127647⟨a, b | aa=1, ababba=bab⟩Noc Inf3
1127649⟨a, b | aa=1, ababba=bbb⟩Noc Inf3
1127655⟨a, b | aa=1, ababbb=bab⟩Noc Inf1
1127657⟨a, b | aa=1, ababbb=bbb⟩Noc Inf1
1127671⟨a, b | aa=1, abbabb=bab⟩Noc Inf1
1127673⟨a, b | aa=1, abbabb=bbb⟩Noc Inf1
1127679⟨a, b | aa=1, abbbab=bab⟩Noc Inf
1127680⟨a, b | aa=1, abbbab=bba⟩Noc Inf
1127687⟨a, b | aa=1, abbbba=bbb⟩Noc Inf2
1127695⟨a, b | aa=1, abbbbb=bbb⟩Noc Inf1
1127731⟨a, b | aa=1, bababb=bab⟩Noc Inf
1127733⟨a, b | aa=1, bababb=bbb⟩Noc Inf
1127738⟨a, b | aa=1, babbab=bab⟩Noc Inf
1127739⟨a, b | aa=1, babbab=bbb⟩Noc Inf
1127745⟨a, b | aa=1, babbbb=bab⟩Noc Inf
1127747⟨a, b | aa=1, babbbb=bbb⟩Noc Inf
1127759⟨a, b | aa=1, bbabbb=bab⟩Noc Inf
1127760⟨a, b | aa=1, bbabbb=bba⟩Noc Inf
1127761⟨a, b | aa=1, bbabbb=bbb⟩Noc Inf
1127766⟨a, b | aa=1, bbbbbb=bab⟩Noc Inf
1127767⟨a, b | aa=1, bbbbbb=bbb⟩Noc Infℤ2 ∗ ℕ(6 = 3)
1128177⟨a, b | aa=1, ababb=babb⟩Noc Inf1
1128179⟨a, b | aa=1, ababb=bbab⟩Noc Inf1
1128181⟨a, b | aa=1, ababb=bbbb⟩Noc Inf1
1128197⟨a, b | aa=1, abbab=bbbb⟩Noc Inf1
1128223⟨a, b | aa=1, abbbb=bbbb⟩Noc Inf
1128258⟨a, b | aa=1, babab=babb⟩Noc Inf
1128259⟨a, b | aa=1, babab=bbbb⟩Noc Inf
1128270⟨a, b | aa=1, babbb=baba⟩Noc Inf
1128271⟨a, b | aa=1, babbb=babb⟩Noc Inf
1128273⟨a, b | aa=1, babbb=bbab⟩Noc Inf
1128275⟨a, b | aa=1, babbb=bbbb⟩Noc Inf
1128284⟨a, b | aa=1, bbabb=babb⟩Noc Inf
1128285⟨a, b | aa=1, bbabb=bbbb⟩Noc Inf
1128294⟨a, b | aa=1, bbbbb=babb⟩Noc Inf
1128295⟨a, b | aa=1, bbbbb=bbbb⟩Noc Infℤ2 ∗ ℕ(5 = 4)