Solved with original generators

Up:Monoid enumeration
4001 unique, 4114 total

Σ#PresentationPropertiesDescriptionφ
21⟨a, b | aa=1⟩Can Infℤ2 ∗ ℕ
22⟨a, b | ab=1⟩Noc Inf
33⟨a, b | aaa=1⟩Can Infℤ3 ∗ ℕ
34⟨a, b | aab=1⟩Noc Inf
35⟨a, b | aba=1⟩Grp Com Infℤ67
36⟨a, b | aa=a⟩Noc Infℕ(2 = 1) ∗ ℕ
37⟨a, b | aa=b⟩Can Com Infℕ8
38⟨a, b | ab=a⟩Noc Inf
49⟨a, b | aaaa=1⟩Can Infℤ4 ∗ ℕ
410⟨a, b | aaab=1⟩Noc Inf
412⟨a, b | aabb=1⟩Noc Inf
413⟨a, b | abab=1⟩Noc Inf
415⟨a, b | aaa=a⟩Noc Infℕ(3 = 1) ∗ ℕ
417⟨a, b | aab=a⟩Noc Inf
418⟨a, b | aab=b⟩Noc Inf
419⟨a, b | aba=a⟩Noc Inf
420⟨a, b | aba=b⟩Can Inf
421⟨a, b | ab=aa⟩Noc Inf
422⟨a, b | ba=ab⟩Can Com Infℕ ⊕ ℕ
423⟨a, b | bb=aa⟩Can Inf
524⟨a, b | aaaaa=1⟩Can Infℤ5 ∗ ℕ
525⟨a, b | aaaab=1⟩Noc Inf
527⟨a, b | aaabb=1⟩Noc Inf
529⟨a, b | aabab=1⟩Noc Inf
534⟨a, b | aaaa=a⟩Noc Infℕ(4 = 1) ∗ ℕ
536⟨a, b | aaab=a⟩Noc Inf
537⟨a, b | aaab=b⟩Noc Inf
538⟨a, b | aaba=a⟩Noc Inf
539⟨a, b | aaba=b⟩Can Inf
540⟨a, b | aabb=a⟩Noc Inf
541⟨a, b | abab=a⟩Noc Inf
542⟨a, b | abba=a⟩Noc Inf
543⟨a, b | abba=b⟩Can Inf
544⟨a, b | aaa=aa⟩Noc Infℕ(3 = 2) ∗ ℕ
545⟨a, b | aaa=ab⟩Noc Inf
546⟨a, b | aaa=bb⟩Can Inf
547⟨a, b | aab=aa⟩Noc Inf
548⟨a, b | aab=ab⟩Noc Inf
549⟨a, b | aab=ba⟩Can Inf
550⟨a, b | aab=bb⟩Noc Inf
551⟨a, b | aba=aa⟩Noc Inf
553⟨a, b | aba=bb⟩Can Inf
654⟨a, b | aaaaaa=1⟩Can Infℤ6 ∗ ℕ
655⟨a, b | aaaaab=1⟩Noc Inf
657⟨a, b | aaaabb=1⟩Noc Inf
659⟨a, b | aaabab=1⟩Noc Inf
661⟨a, b | aaabbb=1⟩Noc Inf
662⟨a, b | aabaab=1⟩Noc Inf
664⟨a, b | aababb=1⟩Noc Inf
666⟨a, b | aabbab=1⟩Noc Inf
669⟨a, b | abaaba=1⟩Grp Infℤ2 ∗ ℤ5
670⟨a, b | ababab=1⟩Noc Inf
674⟨a, b | aaaaa=a⟩Noc Infℕ(5 = 1) ∗ ℕ
676⟨a, b | aaaab=a⟩Noc Inf
677⟨a, b | aaaab=b⟩Noc Inf
678⟨a, b | aaaba=a⟩Noc Inf
679⟨a, b | aaaba=b⟩Can Inf
680⟨a, b | aaabb=a⟩Noc Inf
681⟨a, b | aaabb=b⟩Noc Inf
682⟨a, b | aabaa=a⟩Noc Inf
683⟨a, b | aabaa=b⟩Can Inf
684⟨a, b | aabab=a⟩Noc Inf
685⟨a, b | aabab=b⟩Noc Inf
686⟨a, b | aabba=a⟩Noc Inf
687⟨a, b | aabba=b⟩Can Inf
688⟨a, b | abaab=a⟩Noc Inf
689⟨a, b | abaab=b⟩Noc Inf
690⟨a, b | ababa=a⟩Noc Inf
691⟨a, b | ababa=b⟩Can Inf5
692⟨a, b | abbba=a⟩Noc Inf
693⟨a, b | abbba=b⟩Can Inf
694⟨a, b | aaaa=aa⟩Noc Infℕ(4 = 2) ∗ ℕ
695⟨a, b | aaaa=ab⟩Noc Inf
696⟨a, b | aaaa=bb⟩Can Inf
697⟨a, b | aaab=aa⟩Noc Inf
698⟨a, b | aaab=ab⟩Noc Inf
699⟨a, b | aaab=ba⟩Can Inf
6100⟨a, b | aaab=bb⟩Noc Inf
6101⟨a, b | aaba=aa⟩Noc Inf
6104⟨a, b | aaba=bb⟩Can Inf
6105⟨a, b | aabb=aa⟩Noc Inf
6106⟨a, b | aabb=ab⟩Noc Inf
6107⟨a, b | aabb=ba⟩Can Inf
6108⟨a, b | abab=aa⟩Noc Inf
6109⟨a, b | abab=ab⟩Noc Inf
6111⟨a, b | abba=aa⟩Noc Inf
6113⟨a, b | abba=bb⟩Can Inf
6114⟨a, b | aab=aaa⟩Noc Inf
6115⟨a, b | aba=aaa⟩Noc Inf
6116⟨a, b | aba=aab⟩Noc Inf
6117⟨a, b | abb=aaa⟩Noc Inf
6118⟨a, b | abb=aab⟩Noc Inf
6119⟨a, b | abb=aba⟩Noc Inf
6120⟨a, b | baa=aab⟩Can Inf
6121⟨a, b | baa=abb⟩Can Inf
6122⟨a, b | bab=aaa⟩Can Inf
6124⟨a, b | bbb=aaa⟩Can Inf
7125⟨a, b | aaaaaaa=1⟩Can Infℤ7 ∗ ℕ
7126⟨a, b | aaaaaab=1⟩Noc Inf
7128⟨a, b | aaaaabb=1⟩Noc Inf
7130⟨a, b | aaaabab=1⟩Noc Inf
7132⟨a, b | aaaabbb=1⟩Noc Inf
7134⟨a, b | aaabaab=1⟩Noc Inf
7136⟨a, b | aaababb=1⟩Noc Inf
7138⟨a, b | aaabbab=1⟩Noc Inf
7142⟨a, b | aabaabb=1⟩Noc Inf
7144⟨a, b | aababab=1⟩Noc Inf
7149⟨a, b | aabbbab=1⟩Noc Inf
7161⟨a, b | aaaaaa=a⟩Noc Infℕ(6 = 1) ∗ ℕ
7163⟨a, b | aaaaab=a⟩Noc Inf
7164⟨a, b | aaaaab=b⟩Noc Inf
7165⟨a, b | aaaaba=a⟩Noc Inf
7166⟨a, b | aaaaba=b⟩Can Inf
7167⟨a, b | aaaabb=a⟩Noc Inf
7168⟨a, b | aaaabb=b⟩Noc Inf
7169⟨a, b | aaabaa=a⟩Noc Inf
7170⟨a, b | aaabaa=b⟩Can Inf
7171⟨a, b | aaabab=a⟩Noc Inf
7172⟨a, b | aaabab=b⟩Noc Inf
7173⟨a, b | aaabba=a⟩Noc Inf
7174⟨a, b | aaabba=b⟩Can Inf
7175⟨a, b | aaabbb=a⟩Noc Inf
7176⟨a, b | aabaab=a⟩Noc Inf
7177⟨a, b | aabaab=b⟩Noc Inf
7178⟨a, b | aababa=a⟩Noc Inf
7179⟨a, b | aababa=b⟩Can Inf
7180⟨a, b | aababb=a⟩Noc Inf
7181⟨a, b | aabbaa=a⟩Noc Inf
7182⟨a, b | aabbaa=b⟩Can Inf1
7183⟨a, b | aabbab=a⟩Noc Inf
7184⟨a, b | aabbab=b⟩Noc Inf
7185⟨a, b | aabbba=a⟩Noc Inf
7186⟨a, b | aabbba=b⟩Can Inf
7187⟨a, b | abaaab=a⟩Noc Inf
7188⟨a, b | abaaab=b⟩Noc Inf
7189⟨a, b | abaaba=a⟩Noc Inf
7191⟨a, b | ababab=a⟩Noc Inf
7192⟨a, b | ababba=a⟩Noc Inf
7193⟨a, b | ababba=b⟩Can Inf
7194⟨a, b | abbaab=a⟩Noc Inf
7195⟨a, b | abbbba=a⟩Noc Inf
7196⟨a, b | abbbba=b⟩Can Inf
7197⟨a, b | aaaaa=aa⟩Noc Infℕ(5 = 2) ∗ ℕ
7198⟨a, b | aaaaa=ab⟩Noc Inf
7199⟨a, b | aaaaa=bb⟩Can Inf
7200⟨a, b | aaaab=aa⟩Noc Inf
7201⟨a, b | aaaab=ab⟩Noc Inf
7202⟨a, b | aaaab=ba⟩Can Inf
7203⟨a, b | aaaab=bb⟩Noc Inf
7204⟨a, b | aaaba=aa⟩Noc Inf
7207⟨a, b | aaaba=bb⟩Can Inf
7208⟨a, b | aaabb=aa⟩Noc Inf
7209⟨a, b | aaabb=ab⟩Noc Inf
7210⟨a, b | aaabb=ba⟩Can Inf
7211⟨a, b | aaabb=bb⟩Noc Inf
7212⟨a, b | aabaa=aa⟩Noc Inf
7214⟨a, b | aabaa=bb⟩Can Inf
7215⟨a, b | aabab=aa⟩Noc Inf
7216⟨a, b | aabab=ab⟩Noc Inf
7217⟨a, b | aabab=ba⟩Can Inf
7218⟨a, b | aabab=bb⟩Noc Inf
7219⟨a, b | aabba=aa⟩Noc Inf
7222⟨a, b | aabba=bb⟩Can Inf
7223⟨a, b | abaab=aa⟩Noc Inf
7224⟨a, b | abaab=ab⟩Noc Inf
7226⟨a, b | abaab=bb⟩Noc Inf
7227⟨a, b | ababa=aa⟩Noc Inf
7229⟨a, b | ababa=bb⟩Can Inf
7230⟨a, b | abbba=aa⟩Noc Inf
7232⟨a, b | abbba=bb⟩Can Inf
7233⟨a, b | aaaa=aaa⟩Noc Infℕ(4 = 3) ∗ ℕ
7234⟨a, b | aaaa=aab⟩Noc Inf
7235⟨a, b | aaaa=aba⟩Noc Inf
7236⟨a, b | aaaa=abb⟩Noc Inf
7237⟨a, b | aaaa=bab⟩Can Inf
7238⟨a, b | aaaa=bbb⟩Can Inf
7239⟨a, b | aaab=aaa⟩Noc Inf
7240⟨a, b | aaab=aab⟩Noc Inf
7241⟨a, b | aaab=aba⟩Noc Inf
7242⟨a, b | aaab=abb⟩Noc Inf
7243⟨a, b | aaab=baa⟩Can Inf
7244⟨a, b | aaab=bab⟩Noc Inf
7245⟨a, b | aaab=bba⟩Can Inf
7246⟨a, b | aaab=bbb⟩Noc Inf
7247⟨a, b | aaba=aaa⟩Noc Inf
7249⟨a, b | aaba=aba⟩Noc Inf
7250⟨a, b | aaba=abb⟩Noc Inf
7251⟨a, b | aaba=baa⟩Noc Inf
7252⟨a, b | aaba=bab⟩Can Inf
7253⟨a, b | aaba=bba⟩Noc Inf
7254⟨a, b | aaba=bbb⟩Can Inf
7255⟨a, b | aabb=aaa⟩Noc Inf
7256⟨a, b | aabb=aab⟩Noc Inf
7257⟨a, b | aabb=aba⟩Noc Inf
7258⟨a, b | aabb=baa⟩Can Inf
7259⟨a, b | abab=aaa⟩Noc Inf
7262⟨a, b | abab=baa⟩Can Inf
7263⟨a, b | abba=aaa⟩Noc Inf
7264⟨a, b | abba=aab⟩Noc Inf
7265⟨a, b | abba=aba⟩Noc Inf
7268⟨a, b | abba=bbb⟩Can Inf
8269⟨a, b | aaaaaaaa=1⟩Can Infℤ8 ∗ ℕ
8270⟨a, b | aaaaaaab=1⟩Noc Inf
8272⟨a, b | aaaaaabb=1⟩Noc Inf
8274⟨a, b | aaaaabab=1⟩Noc Inf
8276⟨a, b | aaaaabbb=1⟩Noc Inf
8278⟨a, b | aaaabaab=1⟩Noc Inf
8280⟨a, b | aaaababb=1⟩Noc Inf
8282⟨a, b | aaaabbab=1⟩Noc Inf
8284⟨a, b | aaaabbbb=1⟩Noc Inf
8285⟨a, b | aaabaaab=1⟩Noc Inf
8287⟨a, b | aaabaabb=1⟩Noc Inf
8289⟨a, b | aaababab=1⟩Noc Inf
8291⟨a, b | aaababbb=1⟩Noc Inf
8293⟨a, b | aaabbaab=1⟩Noc Inf
8295⟨a, b | aaabbabb=1⟩Noc Inf
8297⟨a, b | aaabbbab=1⟩Noc Inf
8301⟨a, b | aabaaabb=1⟩Noc Inf
8303⟨a, b | aabaabab=1⟩Noc Inf
8307⟨a, b | aabababb=1⟩Noc Inf
8309⟨a, b | aababbab=1⟩Noc Inf
8313⟨a, b | aabbaabb=1⟩Noc Inf
8314⟨a, b | aabbabab=1⟩Noc Inf
8319⟨a, b | aabbbbab=1⟩Noc Inf
8327⟨a, b | abaabbab=1⟩Noc Inf
8330⟨a, b | abababab=1⟩Noc Inf
8341⟨a, b | aaaaaaa=a⟩Noc Infℕ(7 = 1) ∗ ℕ
8343⟨a, b | aaaaaab=a⟩Noc Inf
8344⟨a, b | aaaaaab=b⟩Noc Inf
8345⟨a, b | aaaaaba=a⟩Noc Inf
8346⟨a, b | aaaaaba=b⟩Can Inf
8347⟨a, b | aaaaabb=a⟩Noc Inf
8348⟨a, b | aaaaabb=b⟩Noc Inf
8349⟨a, b | aaaabaa=a⟩Noc Inf1
8350⟨a, b | aaaabaa=b⟩Can Inf
8351⟨a, b | aaaabab=a⟩Noc Inf
8352⟨a, b | aaaabab=b⟩Noc Inf
8353⟨a, b | aaaabba=a⟩Noc Inf
8354⟨a, b | aaaabba=b⟩Can Inf
8355⟨a, b | aaaabbb=a⟩Noc Inf
8356⟨a, b | aaaabbb=b⟩Noc Inf
8358⟨a, b | aaabaaa=b⟩Can Inf
8359⟨a, b | aaabaab=a⟩Noc Inf
8360⟨a, b | aaabaab=b⟩Noc Inf
8361⟨a, b | aaababa=a⟩Noc Inf
8362⟨a, b | aaababa=b⟩Can Inf
8363⟨a, b | aaababb=a⟩Noc Inf
8364⟨a, b | aaababb=b⟩Noc Inf
8365⟨a, b | aaabbaa=a⟩Noc Inf
8366⟨a, b | aaabbaa=b⟩Can Inf
8367⟨a, b | aaabbab=a⟩Noc Inf
8368⟨a, b | aaabbab=b⟩Noc Inf
8369⟨a, b | aaabbba=a⟩Noc Inf
8370⟨a, b | aaabbba=b⟩Can Inf
8371⟨a, b | aabaaab=a⟩Noc Inf
8372⟨a, b | aabaaab=b⟩Noc Inf
8373⟨a, b | aabaaba=a⟩Noc Inf
8374⟨a, b | aabaaba=b⟩Can Inf
8375⟨a, b | aabaabb=a⟩Noc Inf
8376⟨a, b | aabaabb=b⟩Noc Inf
8378⟨a, b | aababaa=b⟩Can Inf
8379⟨a, b | aababab=a⟩Noc Inf
8380⟨a, b | aababab=b⟩Noc Inf
8381⟨a, b | aababba=a⟩Noc Inf
8382⟨a, b | aababba=b⟩Can Inf
8383⟨a, b | aabbaab=a⟩Noc Inf
8384⟨a, b | aabbaab=b⟩Noc Inf
8385⟨a, b | aabbaba=a⟩Noc Inf
8386⟨a, b | aabbaba=b⟩Can Inf
8387⟨a, b | aabbbaa=a⟩Noc Inf
8388⟨a, b | aabbbaa=b⟩Can Inf
8389⟨a, b | aabbbab=a⟩Noc Inf
8390⟨a, b | aabbbab=b⟩Noc Inf
8391⟨a, b | aabbbba=a⟩Noc Inf
8392⟨a, b | aabbbba=b⟩Can Inf
8393⟨a, b | abaaaab=a⟩Noc Inf
8394⟨a, b | abaaaab=b⟩Noc Inf
8397⟨a, b | abaabab=a⟩Noc Inf
8398⟨a, b | abaabab=b⟩Noc Inf
8399⟨a, b | abaabba=a⟩Noc Inf
8400⟨a, b | abaabba=b⟩Can Inf
8403⟨a, b | abababa=a⟩Noc Inf
8404⟨a, b | abababa=b⟩Can Inf1
8405⟨a, b | ababbba=a⟩Noc Inf
8406⟨a, b | ababbba=b⟩Can Inf
8407⟨a, b | abbaaab=a⟩Noc Inf
8408⟨a, b | abbaaab=b⟩Noc Inf1
8409⟨a, b | abbabba=a⟩Noc Inf
8410⟨a, b | abbabba=b⟩Can Inf1
8411⟨a, b | abbbbba=a⟩Noc Inf
8412⟨a, b | abbbbba=b⟩Can Inf
8413⟨a, b | aaaaaa=aa⟩Noc Infℕ(6 = 2) ∗ ℕ
8414⟨a, b | aaaaaa=ab⟩Noc Inf
8415⟨a, b | aaaaaa=bb⟩Can Inf
8416⟨a, b | aaaaab=aa⟩Noc Inf
8417⟨a, b | aaaaab=ab⟩Noc Inf
8418⟨a, b | aaaaab=ba⟩Can Inf
8419⟨a, b | aaaaab=bb⟩Noc Inf
8420⟨a, b | aaaaba=aa⟩Noc Inf
8423⟨a, b | aaaaba=bb⟩Can Inf
8424⟨a, b | aaaabb=aa⟩Noc Inf
8425⟨a, b | aaaabb=ab⟩Noc Inf
8426⟨a, b | aaaabb=ba⟩Can Inf
8427⟨a, b | aaaabb=bb⟩Noc Inf
8428⟨a, b | aaabaa=aa⟩Noc Inf
8431⟨a, b | aaabaa=bb⟩Can Inf
8432⟨a, b | aaabab=aa⟩Noc Inf
8433⟨a, b | aaabab=ab⟩Noc Inf
8434⟨a, b | aaabab=ba⟩Can Inf
8435⟨a, b | aaabab=bb⟩Noc Inf
8436⟨a, b | aaabba=aa⟩Noc Inf
8439⟨a, b | aaabba=bb⟩Can Inf
8440⟨a, b | aaabbb=aa⟩Noc Inf
8441⟨a, b | aaabbb=ab⟩Noc Inf
8442⟨a, b | aaabbb=ba⟩Can Inf
8443⟨a, b | aabaab=aa⟩Noc Inf
8444⟨a, b | aabaab=ab⟩Noc Inf
8446⟨a, b | aabaab=bb⟩Noc Inf
8447⟨a, b | aababa=aa⟩Noc Inf
8450⟨a, b | aababa=bb⟩Can Inf
8451⟨a, b | aababb=aa⟩Noc Inf
8452⟨a, b | aababb=ab⟩Noc Inf
8453⟨a, b | aababb=ba⟩Can Inf
8454⟨a, b | aabbaa=aa⟩Noc Inf
8456⟨a, b | aabbaa=bb⟩Can Inf
8457⟨a, b | aabbab=aa⟩Noc Inf
8458⟨a, b | aabbab=ab⟩Noc Inf
8459⟨a, b | aabbab=ba⟩Can Inf
8460⟨a, b | aabbab=bb⟩Noc Inf
8461⟨a, b | aabbba=aa⟩Noc Inf
8464⟨a, b | aabbba=bb⟩Can Inf
8465⟨a, b | abaaab=aa⟩Noc Inf
8466⟨a, b | abaaab=ab⟩Noc Inf
8468⟨a, b | abaaab=bb⟩Noc Inf
8469⟨a, b | abaaba=aa⟩Noc Inf
8471⟨a, b | abaaba=bb⟩Can Inf
8472⟨a, b | ababab=aa⟩Noc Inf
8473⟨a, b | ababab=ab⟩Noc Inf
8475⟨a, b | ababba=aa⟩Noc Inf
8478⟨a, b | ababba=bb⟩Can Inf
8480⟨a, b | abbaab=ab⟩Noc Inf
8482⟨a, b | abbbba=aa⟩Noc Inf
8484⟨a, b | abbbba=bb⟩Can Inf
8485⟨a, b | aaaaa=aaa⟩Noc Infℕ(5 = 3) ∗ ℕ
8486⟨a, b | aaaaa=aab⟩Noc Inf
8487⟨a, b | aaaaa=aba⟩Noc Inf
8488⟨a, b | aaaaa=abb⟩Noc Inf
8489⟨a, b | aaaaa=bab⟩Can Inf
8490⟨a, b | aaaaa=bbb⟩Can Inf
8491⟨a, b | aaaab=aaa⟩Noc Inf
8492⟨a, b | aaaab=aab⟩Noc Inf
8493⟨a, b | aaaab=aba⟩Noc Inf
8494⟨a, b | aaaab=abb⟩Noc Inf
8495⟨a, b | aaaab=baa⟩Can Inf
8496⟨a, b | aaaab=bab⟩Noc Inf
8497⟨a, b | aaaab=bba⟩Can Inf
8498⟨a, b | aaaab=bbb⟩Noc Inf
8499⟨a, b | aaaba=aaa⟩Noc Inf
8501⟨a, b | aaaba=aba⟩Noc Inf
8502⟨a, b | aaaba=abb⟩Noc Inf
8503⟨a, b | aaaba=baa⟩Noc Inf
8504⟨a, b | aaaba=bab⟩Can Inf
8505⟨a, b | aaaba=bba⟩Noc Inf
8506⟨a, b | aaaba=bbb⟩Can Inf
8507⟨a, b | aaabb=aaa⟩Noc Inf
8508⟨a, b | aaabb=aab⟩Noc Inf
8509⟨a, b | aaabb=aba⟩Noc Inf
8510⟨a, b | aaabb=abb⟩Noc Inf
8511⟨a, b | aaabb=baa⟩Can Inf
8512⟨a, b | aaabb=bab⟩Noc Inf
8513⟨a, b | aaabb=bba⟩Can Inf
8514⟨a, b | aaabb=bbb⟩Noc Inf
8515⟨a, b | aabaa=aaa⟩Noc Inf
8517⟨a, b | aabaa=aba⟩Noc Inf
8518⟨a, b | aabaa=abb⟩Noc Inf
8519⟨a, b | aabaa=bab⟩Can Inf
8520⟨a, b | aabaa=bbb⟩Can Inf
8521⟨a, b | aabab=aaa⟩Noc Inf
8522⟨a, b | aabab=aab⟩Noc Inf
8523⟨a, b | aabab=aba⟩Noc Inf
8524⟨a, b | aabab=abb⟩Noc Inf
8525⟨a, b | aabab=baa⟩Can Inf
8526⟨a, b | aabab=bab⟩Noc Inf
8527⟨a, b | aabab=bba⟩Can Inf
8528⟨a, b | aabab=bbb⟩Noc Inf
8529⟨a, b | aabba=aaa⟩Noc Inf
8531⟨a, b | aabba=aba⟩Noc Inf
8534⟨a, b | aabba=bab⟩Can Inf
8536⟨a, b | aabba=bbb⟩Can Inf
8537⟨a, b | abaab=aaa⟩Noc Inf
8543⟨a, b | abaab=bba⟩Can Inf
8544⟨a, b | abaab=bbb⟩Noc Inf
8545⟨a, b | ababa=aaa⟩Noc Inf
8547⟨a, b | ababa=aba⟩Noc Inf
8550⟨a, b | ababa=bbb⟩Can Inf
8551⟨a, b | abbba=aaa⟩Noc Inf
8552⟨a, b | abbba=aab⟩Noc Inf
8553⟨a, b | abbba=aba⟩Noc Inf
8556⟨a, b | abbba=bbb⟩Can Inf
8557⟨a, b | aaab=aaaa⟩Noc Inf
8558⟨a, b | aaba=aaaa⟩Noc Inf
8559⟨a, b | aaba=aaab⟩Noc Inf
8560⟨a, b | aabb=aaaa⟩Noc Inf
8561⟨a, b | aabb=aaab⟩Noc Inf
8562⟨a, b | aabb=aaba⟩Noc Inf
8563⟨a, b | abaa=aaab⟩Noc Inf
8564⟨a, b | abaa=aaba⟩Noc Inf
8565⟨a, b | abaa=aabb⟩Noc Inf
8566⟨a, b | abab=aaaa⟩Noc Inf
8567⟨a, b | abab=aaab⟩Noc Inf
8569⟨a, b | abab=aabb⟩Noc Inf
8571⟨a, b | abba=aaaa⟩Noc Inf
8572⟨a, b | abba=aaab⟩Noc Inf
8573⟨a, b | abba=aaba⟩Noc Inf
8574⟨a, b | abba=aabb⟩Noc Inf
8576⟨a, b | abbb=aaaa⟩Noc Inf
8577⟨a, b | abbb=aaab⟩Noc Inf
8578⟨a, b | abbb=aaba⟩Noc Inf
8579⟨a, b | abbb=abaa⟩Noc Inf
8580⟨a, b | abbb=abba⟩Noc Inf
8581⟨a, b | baaa=aaab⟩Can Inf
8582⟨a, b | baaa=aabb⟩Can Inf
8583⟨a, b | baaa=abab⟩Can Inf
8584⟨a, b | baaa=abbb⟩Can Inf
8585⟨a, b | baab=aaaa⟩Can Inf
8588⟨a, b | baba=aabb⟩Can Inf
8590⟨a, b | babb=aaaa⟩Can Inf
8591⟨a, b | babb=aaba⟩Can Inf
8592⟨a, b | babb=abaa⟩Can Inf
8593⟨a, b | bbaa=aabb⟩Can Inf
8594⟨a, b | bbbb=aaaa⟩Can Inf
9595⟨a, b | aaaaaaaaa=1⟩Can Infℤ9 ∗ ℕ
9596⟨a, b | aaaaaaaab=1⟩Noc Inf
9598⟨a, b | aaaaaaabb=1⟩Noc Inf
9600⟨a, b | aaaaaabab=1⟩Noc Inf
9602⟨a, b | aaaaaabbb=1⟩Noc Inf
9604⟨a, b | aaaaabaab=1⟩Noc Inf
9606⟨a, b | aaaaababb=1⟩Noc Inf
9608⟨a, b | aaaaabbab=1⟩Noc Inf
9610⟨a, b | aaaaabbbb=1⟩Noc Inf
9612⟨a, b | aaaabaaab=1⟩Noc Inf
9614⟨a, b | aaaabaabb=1⟩Noc Inf
9616⟨a, b | aaaababab=1⟩Noc Inf
9618⟨a, b | aaaababbb=1⟩Noc Inf
9620⟨a, b | aaaabbaab=1⟩Noc Inf
9622⟨a, b | aaaabbabb=1⟩Noc Inf
9624⟨a, b | aaaabbbab=1⟩Noc Inf
9628⟨a, b | aaabaaabb=1⟩Noc Inf
9630⟨a, b | aaabaabab=1⟩Noc Inf
9632⟨a, b | aaabaabbb=1⟩Noc Inf
9634⟨a, b | aaababaab=1⟩Noc Inf
9636⟨a, b | aaabababb=1⟩Noc Inf
9638⟨a, b | aaababbab=1⟩Noc Inf
9642⟨a, b | aaabbaabb=1⟩Noc Inf
9644⟨a, b | aaabbabab=1⟩Noc Inf
9647⟨a, b | aaabbbaab=1⟩Noc Inf
9649⟨a, b | aaabbbabb=1⟩Noc Inf
9651⟨a, b | aaabbbbab=1⟩Noc Inf
9655⟨a, b | aabaaaabb=1⟩Noc Inf
9657⟨a, b | aabaaabab=1⟩Noc Inf
9659⟨a, b | aabaabaab=1⟩Noc Inf
9661⟨a, b | aabaababb=1⟩Noc Inf
9663⟨a, b | aabaabbab=1⟩Noc Inf
9667⟨a, b | aababaabb=1⟩Noc Inf
9669⟨a, b | aabababab=1⟩Noc Inf
9674⟨a, b | aababbbab=1⟩Noc Inf
9679⟨a, b | aabbaabab=1⟩Noc Inf
9684⟨a, b | aabbabbab=1⟩Noc Inf
9688⟨a, b | aabbbabab=1⟩Noc Inf
9693⟨a, b | aabbbbbab=1⟩Noc Inf
9701⟨a, b | abaaabbab=1⟩Noc Inf
9704⟨a, b | abaabaaba=1⟩Grp Infℤ3 ∗ ℤ
9731⟨a, b | aaaaaaaa=a⟩Noc Infℕ(8 = 1) ∗ ℕ
9733⟨a, b | aaaaaaab=a⟩Noc Inf
9734⟨a, b | aaaaaaab=b⟩Noc Inf
9735⟨a, b | aaaaaaba=a⟩Noc Inf
9736⟨a, b | aaaaaaba=b⟩Can Inf
9737⟨a, b | aaaaaabb=a⟩Noc Inf
9738⟨a, b | aaaaaabb=b⟩Noc Inf
9739⟨a, b | aaaaabaa=a⟩Noc Inf1
9740⟨a, b | aaaaabaa=b⟩Can Inf
9741⟨a, b | aaaaabab=a⟩Noc Inf
9742⟨a, b | aaaaabab=b⟩Noc Inf
9743⟨a, b | aaaaabba=a⟩Noc Inf
9744⟨a, b | aaaaabba=b⟩Can Inf
9745⟨a, b | aaaaabbb=a⟩Noc Inf
9746⟨a, b | aaaaabbb=b⟩Noc Inf
9748⟨a, b | aaaabaaa=b⟩Can Inf
9749⟨a, b | aaaabaab=a⟩Noc Inf
9750⟨a, b | aaaabaab=b⟩Noc Inf
9751⟨a, b | aaaababa=a⟩Noc Inf
9752⟨a, b | aaaababa=b⟩Can Inf
9753⟨a, b | aaaababb=a⟩Noc Inf
9754⟨a, b | aaaababb=b⟩Noc Inf
9755⟨a, b | aaaabbaa=a⟩Noc Inf1
9756⟨a, b | aaaabbaa=b⟩Can Inf
9757⟨a, b | aaaabbab=a⟩Noc Inf
9758⟨a, b | aaaabbab=b⟩Noc Inf
9759⟨a, b | aaaabbba=a⟩Noc Inf
9760⟨a, b | aaaabbba=b⟩Can Inf
9761⟨a, b | aaaabbbb=a⟩Noc Inf
9762⟨a, b | aaabaaab=a⟩Noc Inf
9763⟨a, b | aaabaaab=b⟩Noc Inf
9764⟨a, b | aaabaaba=a⟩Noc Inf
9765⟨a, b | aaabaaba=b⟩Can Inf
9766⟨a, b | aaabaabb=a⟩Noc Inf
9767⟨a, b | aaabaabb=b⟩Noc Inf
9769⟨a, b | aaababaa=b⟩Can Inf
9770⟨a, b | aaababab=a⟩Noc Inf
9771⟨a, b | aaababab=b⟩Noc Inf
9772⟨a, b | aaababba=a⟩Noc Inf
9773⟨a, b | aaababba=b⟩Can Inf
9774⟨a, b | aaababbb=a⟩Noc Inf
9776⟨a, b | aaabbaaa=b⟩Can Inf
9777⟨a, b | aaabbaab=a⟩Noc Inf
9778⟨a, b | aaabbaab=b⟩Noc Inf
9779⟨a, b | aaabbaba=a⟩Noc Inf
9780⟨a, b | aaabbaba=b⟩Can Inf
9781⟨a, b | aaabbabb=a⟩Noc Inf
9782⟨a, b | aaabbabb=b⟩Noc Inf
9783⟨a, b | aaabbbaa=a⟩Noc Inf
9784⟨a, b | aaabbbaa=b⟩Can Inf
9785⟨a, b | aaabbbab=a⟩Noc Inf
9786⟨a, b | aaabbbab=b⟩Noc Inf
9787⟨a, b | aaabbbba=a⟩Noc Inf
9788⟨a, b | aaabbbba=b⟩Can Inf
9789⟨a, b | aabaaaab=a⟩Noc Inf1
9790⟨a, b | aabaaaab=b⟩Noc Inf
9791⟨a, b | aabaaaba=a⟩Noc Inf1
9792⟨a, b | aabaaaba=b⟩Can Inf
9793⟨a, b | aabaaabb=a⟩Noc Inf
9794⟨a, b | aabaaabb=b⟩Noc Inf
9796⟨a, b | aabaabaa=b⟩Can Inf
9797⟨a, b | aabaabab=a⟩Noc Inf
9798⟨a, b | aabaabab=b⟩Noc Inf
9799⟨a, b | aabaabba=a⟩Noc Inf
9800⟨a, b | aabaabba=b⟩Can Inf
9801⟨a, b | aababaab=a⟩Noc Inf
9802⟨a, b | aababaab=b⟩Noc Inf
9803⟨a, b | aabababa=a⟩Noc Inf
9804⟨a, b | aabababa=b⟩Can Inf
9805⟨a, b | aabababb=a⟩Noc Inf
9806⟨a, b | aababbaa=a⟩Noc Inf
9807⟨a, b | aababbaa=b⟩Can Inf
9808⟨a, b | aababbab=a⟩Noc Inf
9809⟨a, b | aababbab=b⟩Noc Inf
9810⟨a, b | aababbba=a⟩Noc Inf
9811⟨a, b | aababbba=b⟩Can Inf
9813⟨a, b | aabbaaab=b⟩Noc Inf
9814⟨a, b | aabbaaba=a⟩Noc Inf
9815⟨a, b | aabbaaba=b⟩Can Inf
9816⟨a, b | aabbaabb=a⟩Noc Inf
9817⟨a, b | aabbabab=a⟩Noc Inf
9818⟨a, b | aabbabab=b⟩Noc Inf
9819⟨a, b | aabbabba=a⟩Noc Inf
9820⟨a, b | aabbabba=b⟩Can Inf
9821⟨a, b | aabbbaab=a⟩Noc Inf
9822⟨a, b | aabbbaab=b⟩Noc Inf
9823⟨a, b | aabbbaba=a⟩Noc Inf
9824⟨a, b | aabbbaba=b⟩Can Inf
9825⟨a, b | aabbbbaa=a⟩Noc Inf
9826⟨a, b | aabbbbaa=b⟩Can Inf
9827⟨a, b | aabbbbab=a⟩Noc Inf
9828⟨a, b | aabbbbab=b⟩Noc Inf
9829⟨a, b | aabbbbba=a⟩Noc Inf
9830⟨a, b | aabbbbba=b⟩Can Inf
9831⟨a, b | abaaaaab=a⟩Noc Inf
9832⟨a, b | abaaaaab=b⟩Noc Inf
9835⟨a, b | abaaabab=a⟩Noc Inf
9836⟨a, b | abaaabab=b⟩Noc Inf
9837⟨a, b | abaaabba=a⟩Noc Inf
9838⟨a, b | abaaabba=b⟩Can Inf
9839⟨a, b | abaabaab=a⟩Noc Inf
9840⟨a, b | abaabaab=b⟩Noc Inf
9841⟨a, b | abaababa=a⟩Noc Inf
9842⟨a, b | abaababa=b⟩Can Inf
9843⟨a, b | abaabbab=a⟩Noc Inf
9844⟨a, b | abaabbba=a⟩Noc Inf
9845⟨a, b | abaabbba=b⟩Can Inf
9848⟨a, b | abababab=a⟩Noc Inf
9849⟨a, b | abababba=a⟩Noc Inf
9850⟨a, b | abababba=b⟩Can Inf
9852⟨a, b | ababbaab=b⟩Noc Inf
9853⟨a, b | ababbaba=a⟩Noc Inf
9854⟨a, b | ababbaba=b⟩Can Inf1
9855⟨a, b | ababbbba=a⟩Noc Inf
9856⟨a, b | ababbbba=b⟩Can Inf
9857⟨a, b | abbaaaab=a⟩Noc Inf
9858⟨a, b | abbaaaab=b⟩Noc Inf1
9859⟨a, b | abbaabba=a⟩Noc Inf
9862⟨a, b | abbabbba=a⟩Noc Inf
9863⟨a, b | abbabbba=b⟩Can Inf
9864⟨a, b | abbbaaab=a⟩Noc Inf
9865⟨a, b | abbbbbba=a⟩Noc Inf
9866⟨a, b | abbbbbba=b⟩Can Inf
9867⟨a, b | aaaaaaa=aa⟩Noc Infℕ(7 = 2) ∗ ℕ
9868⟨a, b | aaaaaaa=ab⟩Noc Inf
9869⟨a, b | aaaaaaa=bb⟩Can Inf
9870⟨a, b | aaaaaab=aa⟩Noc Inf
9871⟨a, b | aaaaaab=ab⟩Noc Inf
9872⟨a, b | aaaaaab=ba⟩Can Inf
9873⟨a, b | aaaaaab=bb⟩Noc Inf
9874⟨a, b | aaaaaba=aa⟩Noc Inf
9877⟨a, b | aaaaaba=bb⟩Can Inf
9878⟨a, b | aaaaabb=aa⟩Noc Inf
9879⟨a, b | aaaaabb=ab⟩Noc Inf
9880⟨a, b | aaaaabb=ba⟩Can Inf
9881⟨a, b | aaaaabb=bb⟩Noc Inf
9882⟨a, b | aaaabaa=aa⟩Noc Inf
9885⟨a, b | aaaabaa=bb⟩Can Inf
9886⟨a, b | aaaabab=aa⟩Noc Inf
9887⟨a, b | aaaabab=ab⟩Noc Inf
9888⟨a, b | aaaabab=ba⟩Can Inf
9889⟨a, b | aaaabab=bb⟩Noc Inf
9890⟨a, b | aaaabba=aa⟩Noc Inf
9893⟨a, b | aaaabba=bb⟩Can Inf
9894⟨a, b | aaaabbb=aa⟩Noc Inf
9895⟨a, b | aaaabbb=ab⟩Noc Inf
9896⟨a, b | aaaabbb=ba⟩Can Inf
9897⟨a, b | aaaabbb=bb⟩Noc Inf
9898⟨a, b | aaabaaa=aa⟩Noc Inf
9900⟨a, b | aaabaaa=bb⟩Can Inf
9901⟨a, b | aaabaab=aa⟩Noc Inf
9902⟨a, b | aaabaab=ab⟩Noc Inf
9903⟨a, b | aaabaab=ba⟩Can Inf
9904⟨a, b | aaabaab=bb⟩Noc Inf
9905⟨a, b | aaababa=aa⟩Noc Inf
9908⟨a, b | aaababa=bb⟩Can Inf
9909⟨a, b | aaababb=aa⟩Noc Inf
9910⟨a, b | aaababb=ab⟩Noc Inf
9911⟨a, b | aaababb=ba⟩Can Inf
9912⟨a, b | aaababb=bb⟩Noc Inf
9913⟨a, b | aaabbaa=aa⟩Noc Inf
9916⟨a, b | aaabbaa=bb⟩Can Inf
9917⟨a, b | aaabbab=aa⟩Noc Inf
9918⟨a, b | aaabbab=ab⟩Noc Inf
9919⟨a, b | aaabbab=ba⟩Can Inf
9920⟨a, b | aaabbab=bb⟩Noc Inf
9921⟨a, b | aaabbba=aa⟩Noc Inf
9924⟨a, b | aaabbba=bb⟩Can Inf
9925⟨a, b | aabaaab=aa⟩Noc Inf
9926⟨a, b | aabaaab=ab⟩Noc Inf
9928⟨a, b | aabaaab=bb⟩Noc Inf
9929⟨a, b | aabaaba=aa⟩Noc Inf
9932⟨a, b | aabaaba=bb⟩Can Inf
9933⟨a, b | aabaabb=aa⟩Noc Inf
9934⟨a, b | aabaabb=ab⟩Noc Inf
9935⟨a, b | aabaabb=ba⟩Can Inf
9936⟨a, b | aabaabb=bb⟩Noc Inf
9937⟨a, b | aababaa=aa⟩Noc Inf
9939⟨a, b | aababaa=bb⟩Can Inf
9940⟨a, b | aababab=aa⟩Noc Inf
9941⟨a, b | aababab=ab⟩Noc Inf
9942⟨a, b | aababab=ba⟩Can Inf
9943⟨a, b | aababab=bb⟩Noc Inf
9944⟨a, b | aababba=aa⟩Noc Inf
9947⟨a, b | aababba=bb⟩Can Inf
9948⟨a, b | aabbaab=aa⟩Noc Inf
9949⟨a, b | aabbaab=ab⟩Noc Inf
9951⟨a, b | aabbaab=bb⟩Noc Inf
9952⟨a, b | aabbaba=aa⟩Noc Inf
9955⟨a, b | aabbaba=bb⟩Can Inf
9956⟨a, b | aabbbaa=aa⟩Noc Inf
9958⟨a, b | aabbbaa=bb⟩Can Inf
9959⟨a, b | aabbbab=aa⟩Noc Inf
9960⟨a, b | aabbbab=ab⟩Noc Inf
9961⟨a, b | aabbbab=ba⟩Can Inf
9962⟨a, b | aabbbab=bb⟩Noc Inf
9963⟨a, b | aabbbba=aa⟩Noc Inf
9966⟨a, b | aabbbba=bb⟩Can Inf
9967⟨a, b | abaaaab=aa⟩Noc Inf
9968⟨a, b | abaaaab=ab⟩Noc Inf
9970⟨a, b | abaaaab=bb⟩Noc Inf
9971⟨a, b | abaaaba=aa⟩Noc Inf
9973⟨a, b | abaaaba=bb⟩Can Inf
9974⟨a, b | abaabab=aa⟩Noc Inf
9975⟨a, b | abaabab=ab⟩Noc Inf
9977⟨a, b | abaabab=bb⟩Noc Inf
9978⟨a, b | abaabba=aa⟩Noc Inf
9981⟨a, b | abaabba=bb⟩Can Inf
9982⟨a, b | ababaab=aa⟩Noc Inf
9983⟨a, b | ababaab=ab⟩Noc Inf
9985⟨a, b | ababaab=bb⟩Noc Inf
9986⟨a, b | abababa=aa⟩Noc Inf
9988⟨a, b | abababa=bb⟩Can Inf
9989⟨a, b | ababbba=aa⟩Noc Inf
9992⟨a, b | ababbba=bb⟩Can Inf
9994⟨a, b | abbaaab=ab⟩Noc Inf
9997⟨a, b | abbabba=aa⟩Noc Inf
9999⟨a, b | abbabba=bb⟩Can Inf
91000⟨a, b | abbbbba=aa⟩Noc Inf
91002⟨a, b | abbbbba=bb⟩Can Inf
91003⟨a, b | aaaaaa=aaa⟩Noc Infℕ(6 = 3) ∗ ℕ
91004⟨a, b | aaaaaa=aab⟩Noc Inf
91005⟨a, b | aaaaaa=aba⟩Noc Inf
91006⟨a, b | aaaaaa=abb⟩Noc Inf
91007⟨a, b | aaaaaa=bab⟩Can Inf
91008⟨a, b | aaaaaa=bbb⟩Can Inf
91009⟨a, b | aaaaab=aaa⟩Noc Inf
91010⟨a, b | aaaaab=aab⟩Noc Inf
91011⟨a, b | aaaaab=aba⟩Noc Inf
91012⟨a, b | aaaaab=abb⟩Noc Inf
91013⟨a, b | aaaaab=baa⟩Can Inf
91014⟨a, b | aaaaab=bab⟩Noc Inf
91015⟨a, b | aaaaab=bba⟩Can Inf
91016⟨a, b | aaaaab=bbb⟩Noc Inf
91017⟨a, b | aaaaba=aaa⟩Noc Inf
91019⟨a, b | aaaaba=aba⟩Noc Inf
91020⟨a, b | aaaaba=abb⟩Noc Inf
91021⟨a, b | aaaaba=baa⟩Noc Inf
91022⟨a, b | aaaaba=bab⟩Can Inf
91023⟨a, b | aaaaba=bba⟩Noc Inf
91024⟨a, b | aaaaba=bbb⟩Can Inf
91025⟨a, b | aaaabb=aaa⟩Noc Inf
91026⟨a, b | aaaabb=aab⟩Noc Inf
91027⟨a, b | aaaabb=aba⟩Noc Inf
91028⟨a, b | aaaabb=abb⟩Noc Inf
91029⟨a, b | aaaabb=baa⟩Can Inf
91030⟨a, b | aaaabb=bab⟩Noc Inf
91031⟨a, b | aaaabb=bba⟩Can Inf
91032⟨a, b | aaaabb=bbb⟩Noc Inf
91033⟨a, b | aaabaa=aaa⟩Noc Inf
91035⟨a, b | aaabaa=aba⟩Noc Inf
91036⟨a, b | aaabaa=abb⟩Noc Inf
91038⟨a, b | aaabaa=bab⟩Can Inf
91039⟨a, b | aaabaa=bba⟩Noc Inf
91040⟨a, b | aaabaa=bbb⟩Can Inf
91041⟨a, b | aaabab=aaa⟩Noc Inf
91042⟨a, b | aaabab=aab⟩Noc Inf
91043⟨a, b | aaabab=aba⟩Noc Inf
91044⟨a, b | aaabab=abb⟩Noc Inf
91045⟨a, b | aaabab=baa⟩Can Inf
91046⟨a, b | aaabab=bab⟩Noc Inf
91047⟨a, b | aaabab=bba⟩Can Inf
91048⟨a, b | aaabab=bbb⟩Noc Inf
91049⟨a, b | aaabba=aaa⟩Noc Inf
91051⟨a, b | aaabba=aba⟩Noc Inf
91054⟨a, b | aaabba=bab⟩Can Inf
91056⟨a, b | aaabba=bbb⟩Can Inf
91057⟨a, b | aaabbb=aaa⟩Noc Inf
91058⟨a, b | aaabbb=aab⟩Noc Inf
91059⟨a, b | aaabbb=aba⟩Noc Inf
91060⟨a, b | aaabbb=baa⟩Can Inf
91061⟨a, b | aabaab=aaa⟩Noc Inf
91062⟨a, b | aabaab=aab⟩Noc Inf
91064⟨a, b | aabaab=abb⟩Noc Inf
91066⟨a, b | aabaab=bab⟩Noc Inf
91067⟨a, b | aabaab=bba⟩Can Inf
91068⟨a, b | aabaab=bbb⟩Noc Inf
91069⟨a, b | aababa=aaa⟩Noc Inf
91071⟨a, b | aababa=aba⟩Noc Inf
91074⟨a, b | aababa=bab⟩Can Inf
91076⟨a, b | aababa=bbb⟩Can Inf
91077⟨a, b | aababb=aaa⟩Noc Inf
91078⟨a, b | aababb=aab⟩Noc Inf
91079⟨a, b | aababb=aba⟩Noc Inf
91080⟨a, b | aababb=baa⟩Can Inf
91081⟨a, b | aabbaa=aaa⟩Noc Inf
91083⟨a, b | aabbaa=aba⟩Noc Inf
91085⟨a, b | aabbaa=bab⟩Can Inf
91086⟨a, b | aabbaa=bbb⟩Can Inf
91087⟨a, b | aabbab=aaa⟩Noc Inf
91088⟨a, b | aabbab=aab⟩Noc Inf
91089⟨a, b | aabbab=aba⟩Noc Inf
91090⟨a, b | aabbab=abb⟩Noc Inf
91091⟨a, b | aabbab=baa⟩Can Inf
91092⟨a, b | aabbab=bab⟩Noc Inf
91093⟨a, b | aabbab=bba⟩Can Inf
91094⟨a, b | aabbab=bbb⟩Noc Inf
91095⟨a, b | aabbba=aaa⟩Noc Inf
91097⟨a, b | aabbba=aba⟩Noc Inf
91100⟨a, b | aabbba=bab⟩Can Inf
91102⟨a, b | aabbba=bbb⟩Can Inf
91103⟨a, b | abaaab=aaa⟩Noc Inf
91109⟨a, b | abaaab=bba⟩Can Inf
91110⟨a, b | abaaab=bbb⟩Noc Inf
91111⟨a, b | abaaba=aaa⟩Noc Inf
91113⟨a, b | abaaba=aba⟩Noc Inf
91116⟨a, b | abaaba=bbb⟩Can Inf
91117⟨a, b | ababab=aaa⟩Noc Inf
91121⟨a, b | ababba=aaa⟩Noc Inf
91122⟨a, b | ababba=aab⟩Noc Inf
91123⟨a, b | ababba=aba⟩Noc Inf
91128⟨a, b | ababba=bbb⟩Can Inf
91129⟨a, b | abbaab=aaa⟩Noc Inf
91133⟨a, b | abbbba=aaa⟩Noc Inf
91134⟨a, b | abbbba=aab⟩Noc Inf
91135⟨a, b | abbbba=aba⟩Noc Inf
91138⟨a, b | abbbba=bbb⟩Can Inf
91139⟨a, b | aaaaa=aaaa⟩Noc Infℕ(5 = 4) ∗ ℕ
91140⟨a, b | aaaaa=aaab⟩Noc Inf
91141⟨a, b | aaaaa=aaba⟩Noc Inf
91142⟨a, b | aaaaa=aabb⟩Noc Inf
91143⟨a, b | aaaaa=abab⟩Noc Inf
91144⟨a, b | aaaaa=abba⟩Noc Inf
91145⟨a, b | aaaaa=abbb⟩Noc Inf
91146⟨a, b | aaaaa=baab⟩Can Inf
91147⟨a, b | aaaaa=babb⟩Can Inf
91148⟨a, b | aaaaa=bbbb⟩Can Inf
91149⟨a, b | aaaab=aaaa⟩Noc Inf
91150⟨a, b | aaaab=aaab⟩Noc Inf
91151⟨a, b | aaaab=aaba⟩Noc Inf
91152⟨a, b | aaaab=aabb⟩Noc Inf
91153⟨a, b | aaaab=abaa⟩Noc Inf
91154⟨a, b | aaaab=abab⟩Noc Inf
91155⟨a, b | aaaab=abba⟩Noc Inf
91156⟨a, b | aaaab=abbb⟩Noc Inf
91157⟨a, b | aaaab=baaa⟩Can Inf
91158⟨a, b | aaaab=baab⟩Noc Inf
91159⟨a, b | aaaab=baba⟩Can Inf
91160⟨a, b | aaaab=babb⟩Noc Inf
91161⟨a, b | aaaab=bbaa⟩Can Inf
91162⟨a, b | aaaab=bbab⟩Noc Inf
91163⟨a, b | aaaab=bbba⟩Can Inf
91164⟨a, b | aaaab=bbbb⟩Noc Inf
91165⟨a, b | aaaba=aaaa⟩Noc Inf
91167⟨a, b | aaaba=aaba⟩Noc Inf
91168⟨a, b | aaaba=aabb⟩Noc Inf
91169⟨a, b | aaaba=abaa⟩Noc Inf
91170⟨a, b | aaaba=abab⟩Noc Inf
91171⟨a, b | aaaba=abba⟩Noc Inf
91172⟨a, b | aaaba=abbb⟩Noc Inf
91173⟨a, b | aaaba=baaa⟩Noc Inf
91174⟨a, b | aaaba=baab⟩Can Inf
91176⟨a, b | aaaba=babb⟩Can Inf
91177⟨a, b | aaaba=bbaa⟩Noc Inf
91178⟨a, b | aaaba=bbab⟩Can Inf
91179⟨a, b | aaaba=bbba⟩Noc Inf
91180⟨a, b | aaaba=bbbb⟩Can Inf
91181⟨a, b | aaabb=aaaa⟩Noc Inf
91182⟨a, b | aaabb=aaab⟩Noc Inf
91183⟨a, b | aaabb=aaba⟩Noc Inf
91184⟨a, b | aaabb=aabb⟩Noc Inf
91185⟨a, b | aaabb=abaa⟩Noc Inf
91186⟨a, b | aaabb=abab⟩Noc Inf
91187⟨a, b | aaabb=abba⟩Noc Inf
91188⟨a, b | aaabb=abbb⟩Noc Inf
91189⟨a, b | aaabb=baaa⟩Can Inf
91190⟨a, b | aaabb=baab⟩Noc Inf
91191⟨a, b | aaabb=baba⟩Can Inf
91192⟨a, b | aaabb=babb⟩Noc Inf
91193⟨a, b | aaabb=bbaa⟩Can Inf
91194⟨a, b | aaabb=bbab⟩Noc Inf
91195⟨a, b | aaabb=bbba⟩Can Inf
91196⟨a, b | aaabb=bbbb⟩Noc Inf
91197⟨a, b | aabaa=aaaa⟩Noc Inf
91198⟨a, b | aabaa=aaab⟩Noc Inf
91200⟨a, b | aabaa=aabb⟩Noc Inf
91202⟨a, b | aabaa=abba⟩Noc Inf
91203⟨a, b | aabaa=abbb⟩Noc Inf
91205⟨a, b | aabaa=babb⟩Can Inf
91206⟨a, b | aabaa=bbbb⟩Can Inf
91207⟨a, b | aabab=aaaa⟩Noc Inf
91208⟨a, b | aabab=aaab⟩Noc Inf
91209⟨a, b | aabab=aaba⟩Noc Inf
91210⟨a, b | aabab=aabb⟩Noc Inf
91211⟨a, b | aabab=abaa⟩Noc Inf
91212⟨a, b | aabab=abab⟩Noc Inf
91213⟨a, b | aabab=abba⟩Noc Inf
91214⟨a, b | aabab=abbb⟩Noc Inf
91215⟨a, b | aabab=baaa⟩Can Inf
91216⟨a, b | aabab=baab⟩Noc Inf
91217⟨a, b | aabab=baba⟩Can Inf
91218⟨a, b | aabab=babb⟩Noc Inf
91219⟨a, b | aabab=bbaa⟩Can Inf
91220⟨a, b | aabab=bbab⟩Noc Inf
91221⟨a, b | aabab=bbba⟩Can Inf
91222⟨a, b | aabab=bbbb⟩Noc Inf
91223⟨a, b | aabba=aaaa⟩Noc Inf
91224⟨a, b | aabba=aaab⟩Noc Inf
91225⟨a, b | aabba=aaba⟩Noc Inf
91227⟨a, b | aabba=abaa⟩Noc Inf
91229⟨a, b | aabba=abba⟩Noc Inf
91230⟨a, b | aabba=abbb⟩Noc Inf
91231⟨a, b | aabba=baaa⟩Noc Inf
91234⟨a, b | aabba=babb⟩Can Inf
91235⟨a, b | aabba=bbaa⟩Noc Inf
91236⟨a, b | aabba=bbab⟩Can Inf
91237⟨a, b | aabba=bbba⟩Noc Inf
91238⟨a, b | aabba=bbbb⟩Can Inf
91239⟨a, b | abaab=aaaa⟩Noc Inf
91242⟨a, b | abaab=aabb⟩Noc Inf
91244⟨a, b | abaab=abab⟩Noc Inf
91246⟨a, b | abaab=abbb⟩Noc Inf
91247⟨a, b | abaab=baaa⟩Can Inf
91250⟨a, b | abaab=babb⟩Noc Inf
91251⟨a, b | abaab=bbaa⟩Can Inf
91253⟨a, b | abaab=bbba⟩Can Inf
91254⟨a, b | abaab=bbbb⟩Noc Inf
91255⟨a, b | ababa=aaaa⟩Noc Inf
91256⟨a, b | ababa=aaab⟩Noc Inf
91258⟨a, b | ababa=aabb⟩Noc Inf
91260⟨a, b | ababa=abba⟩Noc Inf
91261⟨a, b | ababa=abbb⟩Noc Inf
91263⟨a, b | ababa=babb⟩Can Inf
91264⟨a, b | ababa=bbbb⟩Can Inf
91265⟨a, b | abbba=aaaa⟩Noc Inf
91266⟨a, b | abbba=aaab⟩Noc Inf
91267⟨a, b | abbba=aaba⟩Noc Inf
91268⟨a, b | abbba=aabb⟩Noc Inf
91270⟨a, b | abbba=abba⟩Noc Inf
91274⟨a, b | abbba=bbbb⟩Can Inf
101275⟨a, b | aaaaaaaaaa=1⟩Can Infℤ10 ∗ ℕ
101276⟨a, b | aaaaaaaaab=1⟩Noc Inf
101278⟨a, b | aaaaaaaabb=1⟩Noc Inf
101280⟨a, b | aaaaaaabab=1⟩Noc Inf
101282⟨a, b | aaaaaaabbb=1⟩Noc Inf
101284⟨a, b | aaaaaabaab=1⟩Noc Inf
101286⟨a, b | aaaaaababb=1⟩Noc Inf
101288⟨a, b | aaaaaabbab=1⟩Noc Inf
101290⟨a, b | aaaaaabbbb=1⟩Noc Inf
101292⟨a, b | aaaaabaaab=1⟩Noc Inf
101294⟨a, b | aaaaabaabb=1⟩Noc Inf
101296⟨a, b | aaaaababab=1⟩Noc Inf
101298⟨a, b | aaaaababbb=1⟩Noc Inf
101300⟨a, b | aaaaabbaab=1⟩Noc Inf
101302⟨a, b | aaaaabbabb=1⟩Noc Inf
101304⟨a, b | aaaaabbbab=1⟩Noc Inf
101306⟨a, b | aaaaabbbbb=1⟩Noc Inf
101307⟨a, b | aaaabaaaab=1⟩Noc Inf
101309⟨a, b | aaaabaaabb=1⟩Noc Inf
101311⟨a, b | aaaabaabab=1⟩Noc Inf
101313⟨a, b | aaaabaabbb=1⟩Noc Inf
101315⟨a, b | aaaababaab=1⟩Noc Inf
101317⟨a, b | aaaabababb=1⟩Noc Inf
101319⟨a, b | aaaababbab=1⟩Noc Inf
101321⟨a, b | aaaababbbb=1⟩Noc Inf
101323⟨a, b | aaaabbaaab=1⟩Noc Inf
101325⟨a, b | aaaabbaabb=1⟩Noc Inf
101327⟨a, b | aaaabbabab=1⟩Noc Inf
101329⟨a, b | aaaabbabbb=1⟩Noc Inf
101331⟨a, b | aaaabbbaab=1⟩Noc Inf
101333⟨a, b | aaaabbbabb=1⟩Noc Inf
101335⟨a, b | aaaabbbbab=1⟩Noc Inf
101339⟨a, b | aaabaaaabb=1⟩Noc Inf
101341⟨a, b | aaabaaabab=1⟩Noc Inf
101343⟨a, b | aaabaaabbb=1⟩Noc Inf
101345⟨a, b | aaabaabaab=1⟩Noc Inf
101347⟨a, b | aaabaababb=1⟩Noc Inf
101349⟨a, b | aaabaabbab=1⟩Noc Inf
101353⟨a, b | aaababaabb=1⟩Noc Inf
101355⟨a, b | aaabababab=1⟩Noc Inf
101357⟨a, b | aaabababbb=1⟩Noc Inf
101359⟨a, b | aaababbaab=1⟩Noc Inf
101361⟨a, b | aaababbabb=1⟩Noc Inf
101363⟨a, b | aaababbbab=1⟩Noc Inf
101367⟨a, b | aaabbaaabb=1⟩Noc Inf
101369⟨a, b | aaabbaabab=1⟩Noc Inf
101371⟨a, b | aaabbaabbb=1⟩Noc Inf
101372⟨a, b | aaabbabaab=1⟩Noc Inf
101374⟨a, b | aaabbababb=1⟩Noc Inf
101376⟨a, b | aaabbabbab=1⟩Noc Inf
101380⟨a, b | aaabbbaabb=1⟩Noc Inf
101382⟨a, b | aaabbbabab=1⟩Noc Inf
101385⟨a, b | aaabbbbaab=1⟩Noc Inf
101387⟨a, b | aaabbbbabb=1⟩Noc Inf
101389⟨a, b | aaabbbbbab=1⟩Noc Inf
101393⟨a, b | aabaaaaabb=1⟩Noc Inf
101395⟨a, b | aabaaaabab=1⟩Noc Inf
101399⟨a, b | aabaaababb=1⟩Noc Inf
101401⟨a, b | aabaaabbab=1⟩Noc Inf
101405⟨a, b | aabaabaabb=1⟩Noc Inf
101407⟨a, b | aabaababab=1⟩Noc Inf
101411⟨a, b | aabaabbabb=1⟩Noc Inf
101413⟨a, b | aabaabbbab=1⟩Noc Inf
101417⟨a, b | aababaaabb=1⟩Noc Inf
101418⟨a, b | aababaabab=1⟩Noc Inf
101422⟨a, b | aababababb=1⟩Noc Inf
101424⟨a, b | aabababbab=1⟩Noc Inf
101428⟨a, b | aababbaabb=1⟩Noc Inf
101430⟨a, b | aababbabab=1⟩Noc Inf
101435⟨a, b | aababbbbab=1⟩Noc Inf
101440⟨a, b | aabbaaabab=1⟩Noc Inf
101445⟨a, b | aabbaabbab=1⟩Noc Inf
101449⟨a, b | aabbabaabb=1⟩Noc Inf
101450⟨a, b | aabbababab=1⟩Noc Inf
101455⟨a, b | aabbabbbab=1⟩Noc Inf
101460⟨a, b | aabbbaabab=1⟩Noc Inf
101464⟨a, b | aabbbabbab=1⟩Noc Inf
101468⟨a, b | aabbbbabab=1⟩Noc Inf
101473⟨a, b | aabbbbbbab=1⟩Noc Inf
101481⟨a, b | abaaaabbab=1⟩Noc Inf
101489⟨a, b | abaaabbbab=1⟩Noc Inf
101496⟨a, b | abaababbab=1⟩Noc Inf
101500⟨a, b | abaabbabab=1⟩Noc Inf
101512⟨a, b | ababababab=1⟩Noc Inf
101547⟨a, b | aaaaaaaaa=a⟩Noc Infℕ(9 = 1) ∗ ℕ
101549⟨a, b | aaaaaaaab=a⟩Noc Inf
101550⟨a, b | aaaaaaaab=b⟩Noc Inf
101551⟨a, b | aaaaaaaba=a⟩Noc Inf
101552⟨a, b | aaaaaaaba=b⟩Can Inf
101553⟨a, b | aaaaaaabb=a⟩Noc Inf
101554⟨a, b | aaaaaaabb=b⟩Noc Inf
101555⟨a, b | aaaaaabaa=a⟩Noc Inf2
101556⟨a, b | aaaaaabaa=b⟩Can Inf
101557⟨a, b | aaaaaabab=a⟩Noc Inf
101558⟨a, b | aaaaaabab=b⟩Noc Inf
101559⟨a, b | aaaaaabba=a⟩Noc Inf
101560⟨a, b | aaaaaabba=b⟩Can Inf
101561⟨a, b | aaaaaabbb=a⟩Noc Inf
101562⟨a, b | aaaaaabbb=b⟩Noc Inf
101564⟨a, b | aaaaabaaa=b⟩Can Inf
101565⟨a, b | aaaaabaab=a⟩Noc Inf
101566⟨a, b | aaaaabaab=b⟩Noc Inf
101567⟨a, b | aaaaababa=a⟩Noc Inf
101568⟨a, b | aaaaababa=b⟩Can Inf
101569⟨a, b | aaaaababb=a⟩Noc Inf
101570⟨a, b | aaaaababb=b⟩Noc Inf
101571⟨a, b | aaaaabbaa=a⟩Noc Inf1
101572⟨a, b | aaaaabbaa=b⟩Can Inf
101573⟨a, b | aaaaabbab=a⟩Noc Inf
101574⟨a, b | aaaaabbab=b⟩Noc Inf
101575⟨a, b | aaaaabbba=a⟩Noc Inf
101576⟨a, b | aaaaabbba=b⟩Can Inf
101577⟨a, b | aaaaabbbb=a⟩Noc Inf
101578⟨a, b | aaaaabbbb=b⟩Noc Inf
101580⟨a, b | aaaabaaaa=b⟩Can Inf
101581⟨a, b | aaaabaaab=a⟩Noc Inf
101582⟨a, b | aaaabaaab=b⟩Noc Inf
101583⟨a, b | aaaabaaba=a⟩Noc Inf
101584⟨a, b | aaaabaaba=b⟩Can Inf
101585⟨a, b | aaaabaabb=a⟩Noc Inf
101586⟨a, b | aaaabaabb=b⟩Noc Inf
101588⟨a, b | aaaababaa=b⟩Can Inf
101589⟨a, b | aaaababab=a⟩Noc Inf
101590⟨a, b | aaaababab=b⟩Noc Inf
101591⟨a, b | aaaababba=a⟩Noc Inf
101592⟨a, b | aaaababba=b⟩Can Inf
101593⟨a, b | aaaababbb=a⟩Noc Inf
101594⟨a, b | aaaababbb=b⟩Noc Inf
101596⟨a, b | aaaabbaaa=b⟩Can Inf
101597⟨a, b | aaaabbaab=a⟩Noc Inf
101598⟨a, b | aaaabbaab=b⟩Noc Inf
101599⟨a, b | aaaabbaba=a⟩Noc Inf
101600⟨a, b | aaaabbaba=b⟩Can Inf
101601⟨a, b | aaaabbabb=a⟩Noc Inf
101602⟨a, b | aaaabbabb=b⟩Noc Inf
101603⟨a, b | aaaabbbaa=a⟩Noc Inf1
101604⟨a, b | aaaabbbaa=b⟩Can Inf
101605⟨a, b | aaaabbbab=a⟩Noc Inf
101606⟨a, b | aaaabbbab=b⟩Noc Inf
101607⟨a, b | aaaabbbba=a⟩Noc Inf
101608⟨a, b | aaaabbbba=b⟩Can Inf
101609⟨a, b | aaabaaaab=a⟩Noc Inf
101610⟨a, b | aaabaaaab=b⟩Noc Inf
101611⟨a, b | aaabaaaba=a⟩Noc Inf
101612⟨a, b | aaabaaaba=b⟩Can Inf
101613⟨a, b | aaabaaabb=a⟩Noc Inf
101614⟨a, b | aaabaaabb=b⟩Noc Inf
101616⟨a, b | aaabaabaa=b⟩Can Inf
101617⟨a, b | aaabaabab=a⟩Noc Inf
101618⟨a, b | aaabaabab=b⟩Noc Inf
101619⟨a, b | aaabaabba=a⟩Noc Inf
101620⟨a, b | aaabaabba=b⟩Can Inf
101621⟨a, b | aaabaabbb=a⟩Noc Inf
101622⟨a, b | aaabaabbb=b⟩Noc Inf
101624⟨a, b | aaababaaa=b⟩Can Inf
101625⟨a, b | aaababaab=a⟩Noc Inf
101626⟨a, b | aaababaab=b⟩Noc Inf
101627⟨a, b | aaabababa=a⟩Noc Inf
101628⟨a, b | aaabababa=b⟩Can Inf
101629⟨a, b | aaabababb=a⟩Noc Inf
101630⟨a, b | aaabababb=b⟩Noc Inf
101631⟨a, b | aaababbaa=a⟩Noc Inf
101632⟨a, b | aaababbaa=b⟩Can Inf
101633⟨a, b | aaababbab=a⟩Noc Inf
101634⟨a, b | aaababbab=b⟩Noc Inf
101635⟨a, b | aaababbba=a⟩Noc Inf
101636⟨a, b | aaababbba=b⟩Can Inf
101637⟨a, b | aaabbaaab=a⟩Noc Inf
101638⟨a, b | aaabbaaab=b⟩Noc Inf
101639⟨a, b | aaabbaaba=a⟩Noc Inf
101640⟨a, b | aaabbaaba=b⟩Can Inf
101641⟨a, b | aaabbaabb=a⟩Noc Inf
101642⟨a, b | aaabbaabb=b⟩Noc Inf
101643⟨a, b | aaabbabaa=a⟩Noc Inf
101644⟨a, b | aaabbabaa=b⟩Can Inf
101645⟨a, b | aaabbabab=a⟩Noc Inf
101646⟨a, b | aaabbabab=b⟩Noc Inf
101647⟨a, b | aaabbabba=a⟩Noc Inf
101648⟨a, b | aaabbabba=b⟩Can Inf
101650⟨a, b | aaabbbaaa=b⟩Can Inf
101651⟨a, b | aaabbbaab=a⟩Noc Inf
101652⟨a, b | aaabbbaab=b⟩Noc Inf
101653⟨a, b | aaabbbaba=a⟩Noc Inf
101654⟨a, b | aaabbbaba=b⟩Can Inf
101655⟨a, b | aaabbbabb=a⟩Noc Inf
101656⟨a, b | aaabbbabb=b⟩Noc Inf
101657⟨a, b | aaabbbbaa=a⟩Noc Inf
101658⟨a, b | aaabbbbaa=b⟩Can Inf
101659⟨a, b | aaabbbbab=a⟩Noc Inf
101660⟨a, b | aaabbbbab=b⟩Noc Inf
101661⟨a, b | aaabbbbba=a⟩Noc Inf
101662⟨a, b | aaabbbbba=b⟩Can Inf
101663⟨a, b | aabaaaaab=a⟩Noc Inf
101664⟨a, b | aabaaaaab=b⟩Noc Inf
101666⟨a, b | aabaaaaba=b⟩Can Inf
101667⟨a, b | aabaaaabb=a⟩Noc Inf
101668⟨a, b | aabaaaabb=b⟩Noc Inf
101669⟨a, b | aabaaabaa=a⟩Noc Inf
101670⟨a, b | aabaaabaa=b⟩Can Inf
101671⟨a, b | aabaaabab=a⟩Noc Inf
101672⟨a, b | aabaaabab=b⟩Noc Inf
101673⟨a, b | aabaaabba=a⟩Noc Inf
101674⟨a, b | aabaaabba=b⟩Can Inf
101675⟨a, b | aabaabaab=a⟩Noc Inf
101676⟨a, b | aabaabaab=b⟩Noc Inf
101677⟨a, b | aabaababa=a⟩Noc Inf
101678⟨a, b | aabaababa=b⟩Can Inf
101679⟨a, b | aabaababb=a⟩Noc Inf
101680⟨a, b | aabaababb=b⟩Noc Inf
101681⟨a, b | aabaabbaa=a⟩Noc Inf
101682⟨a, b | aabaabbaa=b⟩Can Inf
101683⟨a, b | aabaabbab=a⟩Noc Inf
101684⟨a, b | aabaabbab=b⟩Noc Inf
101685⟨a, b | aabaabbba=a⟩Noc Inf
101686⟨a, b | aabaabbba=b⟩Can Inf
101687⟨a, b | aababaaab=a⟩Noc Inf
101688⟨a, b | aababaaab=b⟩Noc Inf
101689⟨a, b | aababaaba=a⟩Noc Inf1
101690⟨a, b | aababaaba=b⟩Can Inf
101691⟨a, b | aababaabb=a⟩Noc Inf
101692⟨a, b | aababaabb=b⟩Noc Inf
101694⟨a, b | aabababaa=b⟩Can Inf
101695⟨a, b | aabababab=a⟩Noc Inf
101696⟨a, b | aabababab=b⟩Noc Inf
101697⟨a, b | aabababba=a⟩Noc Inf
101698⟨a, b | aabababba=b⟩Can Inf
101699⟨a, b | aababbaab=a⟩Noc Inf
101700⟨a, b | aababbaab=b⟩Noc Inf
101701⟨a, b | aababbaba=a⟩Noc Inf
101702⟨a, b | aababbaba=b⟩Can Inf
101703⟨a, b | aababbbaa=a⟩Noc Inf
101704⟨a, b | aababbbaa=b⟩Can Inf
101705⟨a, b | aababbbab=a⟩Noc Inf
101706⟨a, b | aababbbab=b⟩Noc Inf
101707⟨a, b | aababbbba=a⟩Noc Inf
101708⟨a, b | aababbbba=b⟩Can Inf
101710⟨a, b | aabbaaaab=b⟩Noc Inf
101711⟨a, b | aabbaaaba=a⟩Noc Inf
101713⟨a, b | aabbaaabb=a⟩Noc Inf
101714⟨a, b | aabbaaabb=b⟩Noc Inf
101715⟨a, b | aabbaabab=a⟩Noc Inf
101716⟨a, b | aabbaabab=b⟩Noc Inf
101717⟨a, b | aabbaabba=a⟩Noc Inf
101718⟨a, b | aabbaabba=b⟩Can Inf
101720⟨a, b | aabbabaab=b⟩Noc Inf
101721⟨a, b | aabbababa=a⟩Noc Inf
101722⟨a, b | aabbababa=b⟩Can Inf
101724⟨a, b | aabbabbaa=b⟩Can Inf
101725⟨a, b | aabbabbab=a⟩Noc Inf
101726⟨a, b | aabbabbab=b⟩Noc Inf
101727⟨a, b | aabbabbba=a⟩Noc Inf
101728⟨a, b | aabbabbba=b⟩Can Inf
101730⟨a, b | aabbbaaab=b⟩Noc Inf
101731⟨a, b | aabbbaaba=a⟩Noc Inf
101732⟨a, b | aabbbaaba=b⟩Can Inf
101733⟨a, b | aabbbabab=a⟩Noc Inf
101734⟨a, b | aabbbabab=b⟩Noc Inf
101735⟨a, b | aabbbabba=a⟩Noc Inf
101736⟨a, b | aabbbabba=b⟩Can Inf
101737⟨a, b | aabbbbaab=a⟩Noc Inf
101738⟨a, b | aabbbbaab=b⟩Noc Inf
101739⟨a, b | aabbbbaba=a⟩Noc Inf
101740⟨a, b | aabbbbaba=b⟩Can Inf
101741⟨a, b | aabbbbbaa=a⟩Noc Inf
101742⟨a, b | aabbbbbaa=b⟩Can Inf
101743⟨a, b | aabbbbbab=a⟩Noc Inf
101744⟨a, b | aabbbbbab=b⟩Noc Inf
101745⟨a, b | aabbbbbba=a⟩Noc Inf
101746⟨a, b | aabbbbbba=b⟩Can Inf
101747⟨a, b | abaaaaaab=a⟩Noc Inf
101748⟨a, b | abaaaaaab=b⟩Noc Inf
101751⟨a, b | abaaaabab=a⟩Noc Inf
101752⟨a, b | abaaaabab=b⟩Noc Inf
101753⟨a, b | abaaaabba=a⟩Noc Inf
101754⟨a, b | abaaaabba=b⟩Can Inf
101755⟨a, b | abaaabaab=a⟩Noc Inf
101756⟨a, b | abaaabaab=b⟩Noc Inf
101758⟨a, b | abaaababa=b⟩Can Inf
101759⟨a, b | abaaabbab=a⟩Noc Inf
101760⟨a, b | abaaabbab=b⟩Noc Inf
101761⟨a, b | abaaabbba=a⟩Noc Inf
101762⟨a, b | abaaabbba=b⟩Can Inf
101767⟨a, b | abaababab=a⟩Noc Inf
101768⟨a, b | abaababab=b⟩Noc Inf
101769⟨a, b | abaababba=a⟩Noc Inf
101770⟨a, b | abaababba=b⟩Can Inf
101771⟨a, b | abaabbaab=a⟩Noc Inf
101772⟨a, b | abaabbaab=b⟩Noc Inf
101773⟨a, b | abaabbaba=a⟩Noc Inf
101774⟨a, b | abaabbaba=b⟩Can Inf
101775⟨a, b | abaabbbba=a⟩Noc Inf
101776⟨a, b | abaabbbba=b⟩Can Inf
101779⟨a, b | ababaabab=a⟩Noc Inf
101780⟨a, b | ababaabab=b⟩Noc Inf
101781⟨a, b | ababaabba=a⟩Noc Inf
101782⟨a, b | ababaabba=b⟩Can Inf
101785⟨a, b | ababababa=a⟩Noc Inf
101787⟨a, b | abababbba=a⟩Noc Inf
101788⟨a, b | abababbba=b⟩Can Inf
101790⟨a, b | ababbaaab=b⟩Noc Inf
101791⟨a, b | ababbabba=a⟩Noc Inf
101792⟨a, b | ababbabba=b⟩Can Inf
101794⟨a, b | ababbbaab=b⟩Noc Inf
101795⟨a, b | ababbbaba=a⟩Noc Inf
101796⟨a, b | ababbbaba=b⟩Can Inf
101797⟨a, b | ababbbbba=a⟩Noc Inf
101798⟨a, b | ababbbbba=b⟩Can Inf
101799⟨a, b | abbaaaaab=a⟩Noc Inf
101800⟨a, b | abbaaaaab=b⟩Noc Inf
101805⟨a, b | abbaabbba=a⟩Noc Inf
101806⟨a, b | abbaabbba=b⟩Can Inf
101809⟨a, b | abbababba=a⟩Noc Inf
101811⟨a, b | abbabbbba=a⟩Noc Inf
101812⟨a, b | abbabbbba=b⟩Can Inf
101813⟨a, b | abbbaaaab=a⟩Noc Inf
101814⟨a, b | abbbaaaab=b⟩Noc Inf
101815⟨a, b | abbbabbba=a⟩Noc Inf
101816⟨a, b | abbbabbba=b⟩Can Inf
101817⟨a, b | abbbbbbba=a⟩Noc Inf
101818⟨a, b | abbbbbbba=b⟩Can Inf
101819⟨a, b | aaaaaaaa=aa⟩Noc Infℕ(8 = 2) ∗ ℕ
101820⟨a, b | aaaaaaaa=ab⟩Noc Inf
101821⟨a, b | aaaaaaaa=bb⟩Can Inf
101822⟨a, b | aaaaaaab=aa⟩Noc Inf
101823⟨a, b | aaaaaaab=ab⟩Noc Inf
101824⟨a, b | aaaaaaab=ba⟩Can Inf
101825⟨a, b | aaaaaaab=bb⟩Noc Inf
101826⟨a, b | aaaaaaba=aa⟩Noc Inf
101829⟨a, b | aaaaaaba=bb⟩Can Inf
101830⟨a, b | aaaaaabb=aa⟩Noc Inf
101831⟨a, b | aaaaaabb=ab⟩Noc Inf
101832⟨a, b | aaaaaabb=ba⟩Can Inf
101833⟨a, b | aaaaaabb=bb⟩Noc Inf
101834⟨a, b | aaaaabaa=aa⟩Noc Inf
101837⟨a, b | aaaaabaa=bb⟩Can Inf
101838⟨a, b | aaaaabab=aa⟩Noc Inf
101839⟨a, b | aaaaabab=ab⟩Noc Inf
101840⟨a, b | aaaaabab=ba⟩Can Inf
101841⟨a, b | aaaaabab=bb⟩Noc Inf
101842⟨a, b | aaaaabba=aa⟩Noc Inf
101845⟨a, b | aaaaabba=bb⟩Can Inf
101846⟨a, b | aaaaabbb=aa⟩Noc Inf
101847⟨a, b | aaaaabbb=ab⟩Noc Inf
101848⟨a, b | aaaaabbb=ba⟩Can Inf
101849⟨a, b | aaaaabbb=bb⟩Noc Inf
101850⟨a, b | aaaabaaa=aa⟩Noc Inf
101853⟨a, b | aaaabaaa=bb⟩Can Inf
101854⟨a, b | aaaabaab=aa⟩Noc Inf
101855⟨a, b | aaaabaab=ab⟩Noc Inf
101856⟨a, b | aaaabaab=ba⟩Can Inf
101857⟨a, b | aaaabaab=bb⟩Noc Inf
101858⟨a, b | aaaababa=aa⟩Noc Inf
101861⟨a, b | aaaababa=bb⟩Can Inf
101862⟨a, b | aaaababb=aa⟩Noc Inf
101863⟨a, b | aaaababb=ab⟩Noc Inf
101864⟨a, b | aaaababb=ba⟩Can Inf
101865⟨a, b | aaaababb=bb⟩Noc Inf
101866⟨a, b | aaaabbaa=aa⟩Noc Inf
101869⟨a, b | aaaabbaa=bb⟩Can Inf
101870⟨a, b | aaaabbab=aa⟩Noc Inf
101871⟨a, b | aaaabbab=ab⟩Noc Inf
101872⟨a, b | aaaabbab=ba⟩Can Inf
101873⟨a, b | aaaabbab=bb⟩Noc Inf
101874⟨a, b | aaaabbba=aa⟩Noc Inf
101877⟨a, b | aaaabbba=bb⟩Can Inf
101878⟨a, b | aaaabbbb=aa⟩Noc Inf
101879⟨a, b | aaaabbbb=ab⟩Noc Inf
101880⟨a, b | aaaabbbb=ba⟩Can Inf
101881⟨a, b | aaabaaab=aa⟩Noc Inf
101882⟨a, b | aaabaaab=ab⟩Noc Inf
101884⟨a, b | aaabaaab=bb⟩Noc Inf
101885⟨a, b | aaabaaba=aa⟩Noc Inf
101888⟨a, b | aaabaaba=bb⟩Can Inf
101889⟨a, b | aaabaabb=aa⟩Noc Inf
101890⟨a, b | aaabaabb=ab⟩Noc Inf
101891⟨a, b | aaabaabb=ba⟩Can Inf
101892⟨a, b | aaabaabb=bb⟩Noc Inf
101893⟨a, b | aaababaa=aa⟩Noc Inf
101896⟨a, b | aaababaa=bb⟩Can Inf
101897⟨a, b | aaababab=aa⟩Noc Inf
101898⟨a, b | aaababab=ab⟩Noc Inf
101899⟨a, b | aaababab=ba⟩Can Inf
101900⟨a, b | aaababab=bb⟩Noc Inf
101901⟨a, b | aaababba=aa⟩Noc Inf
101904⟨a, b | aaababba=bb⟩Can Inf
101905⟨a, b | aaababbb=aa⟩Noc Inf
101906⟨a, b | aaababbb=ab⟩Noc Inf
101907⟨a, b | aaababbb=ba⟩Can Inf
101908⟨a, b | aaabbaaa=aa⟩Noc Inf
101910⟨a, b | aaabbaaa=bb⟩Can Inf
101911⟨a, b | aaabbaab=aa⟩Noc Inf
101912⟨a, b | aaabbaab=ab⟩Noc Inf
101913⟨a, b | aaabbaab=ba⟩Can Inf
101914⟨a, b | aaabbaab=bb⟩Noc Inf
101915⟨a, b | aaabbaba=aa⟩Noc Inf
101918⟨a, b | aaabbaba=bb⟩Can Inf
101919⟨a, b | aaabbabb=aa⟩Noc Inf
101920⟨a, b | aaabbabb=ab⟩Noc Inf
101921⟨a, b | aaabbabb=ba⟩Can Inf
101922⟨a, b | aaabbabb=bb⟩Noc Inf
101923⟨a, b | aaabbbaa=aa⟩Noc Inf
101926⟨a, b | aaabbbaa=bb⟩Can Inf
101927⟨a, b | aaabbbab=aa⟩Noc Inf
101928⟨a, b | aaabbbab=ab⟩Noc Inf
101929⟨a, b | aaabbbab=ba⟩Can Inf
101930⟨a, b | aaabbbab=bb⟩Noc Inf
101931⟨a, b | aaabbbba=aa⟩Noc Inf
101934⟨a, b | aaabbbba=bb⟩Can Inf
101935⟨a, b | aabaaaab=aa⟩Noc Inf
101936⟨a, b | aabaaaab=ab⟩Noc Inf
101938⟨a, b | aabaaaab=bb⟩Noc Inf
101939⟨a, b | aabaaaba=aa⟩Noc Inf
101942⟨a, b | aabaaaba=bb⟩Can Inf
101943⟨a, b | aabaaabb=aa⟩Noc Inf
101944⟨a, b | aabaaabb=ab⟩Noc Inf
101945⟨a, b | aabaaabb=ba⟩Can Inf
101946⟨a, b | aabaaabb=bb⟩Noc Inf
101947⟨a, b | aabaabaa=aa⟩Noc Inf
101949⟨a, b | aabaabaa=bb⟩Can Inf
101950⟨a, b | aabaabab=aa⟩Noc Inf
101951⟨a, b | aabaabab=ab⟩Noc Inf
101952⟨a, b | aabaabab=ba⟩Can Inf
101953⟨a, b | aabaabab=bb⟩Noc Inf
101954⟨a, b | aabaabba=aa⟩Noc Inf
101957⟨a, b | aabaabba=bb⟩Can Inf
101958⟨a, b | aababaab=aa⟩Noc Inf
101959⟨a, b | aababaab=ab⟩Noc Inf
101961⟨a, b | aababaab=bb⟩Noc Inf
101962⟨a, b | aabababa=aa⟩Noc Inf
101965⟨a, b | aabababa=bb⟩Can Inf
101966⟨a, b | aabababb=aa⟩Noc Inf
101967⟨a, b | aabababb=ab⟩Noc Inf
101968⟨a, b | aabababb=ba⟩Can Inf
101969⟨a, b | aababbaa=aa⟩Noc Inf
101972⟨a, b | aababbaa=bb⟩Can Inf
101973⟨a, b | aababbab=aa⟩Noc Inf
101974⟨a, b | aababbab=ab⟩Noc Inf
101975⟨a, b | aababbab=ba⟩Can Inf
101976⟨a, b | aababbab=bb⟩Noc Inf
101977⟨a, b | aababbba=aa⟩Noc Inf
101980⟨a, b | aababbba=bb⟩Can Inf
101981⟨a, b | aabbaaab=aa⟩Noc Inf
101982⟨a, b | aabbaaab=ab⟩Noc Inf
101984⟨a, b | aabbaaab=bb⟩Noc Inf
101985⟨a, b | aabbaaba=aa⟩Noc Inf
101988⟨a, b | aabbaaba=bb⟩Can Inf
101989⟨a, b | aabbaabb=aa⟩Noc Inf
101990⟨a, b | aabbaabb=ab⟩Noc Inf
101992⟨a, b | aabbabab=aa⟩Noc Inf
101993⟨a, b | aabbabab=ab⟩Noc Inf
101994⟨a, b | aabbabab=ba⟩Can Inf
101995⟨a, b | aabbabab=bb⟩Noc Inf
101996⟨a, b | aabbabba=aa⟩Noc Inf
101999⟨a, b | aabbabba=bb⟩Can Inf
102000⟨a, b | aabbbaab=aa⟩Noc Inf
102001⟨a, b | aabbbaab=ab⟩Noc Inf
102003⟨a, b | aabbbaab=bb⟩Noc Inf
102004⟨a, b | aabbbaba=aa⟩Noc Inf
102007⟨a, b | aabbbaba=bb⟩Can Inf
102008⟨a, b | aabbbbaa=aa⟩Noc Inf
102010⟨a, b | aabbbbaa=bb⟩Can Inf
102011⟨a, b | aabbbbab=aa⟩Noc Inf
102012⟨a, b | aabbbbab=ab⟩Noc Inf
102013⟨a, b | aabbbbab=ba⟩Can Inf
102014⟨a, b | aabbbbab=bb⟩Noc Inf
102015⟨a, b | aabbbbba=aa⟩Noc Inf
102018⟨a, b | aabbbbba=bb⟩Can Inf
102019⟨a, b | abaaaaab=aa⟩Noc Inf
102020⟨a, b | abaaaaab=ab⟩Noc Inf
102022⟨a, b | abaaaaab=bb⟩Noc Inf
102023⟨a, b | abaaaaba=aa⟩Noc Inf
102025⟨a, b | abaaaaba=bb⟩Can Inf
102026⟨a, b | abaaabab=aa⟩Noc Inf
102027⟨a, b | abaaabab=ab⟩Noc Inf
102029⟨a, b | abaaabab=bb⟩Noc Inf
102030⟨a, b | abaaabba=aa⟩Noc Inf
102033⟨a, b | abaaabba=bb⟩Can Inf
102034⟨a, b | abaabaab=aa⟩Noc Inf
102035⟨a, b | abaabaab=ab⟩Noc Inf
102037⟨a, b | abaabaab=bb⟩Noc Inf
102038⟨a, b | abaababa=aa⟩Noc Inf
102041⟨a, b | abaababa=bb⟩Can Inf
102042⟨a, b | abaabbab=aa⟩Noc Inf
102043⟨a, b | abaabbab=ab⟩Noc Inf
102045⟨a, b | abaabbba=aa⟩Noc Inf
102048⟨a, b | abaabbba=bb⟩Can Inf
102050⟨a, b | ababaaab=ab⟩Noc Inf
102052⟨a, b | ababaaab=bb⟩Noc Inf
102053⟨a, b | abababab=aa⟩Noc Inf
102054⟨a, b | abababab=ab⟩Noc Inf
102056⟨a, b | abababba=aa⟩Noc Inf
102059⟨a, b | abababba=bb⟩Can Inf
102060⟨a, b | ababbaab=aa⟩Noc Inf
102061⟨a, b | ababbaab=ab⟩Noc Inf
102063⟨a, b | ababbaab=bb⟩Noc Inf
102064⟨a, b | ababbaba=aa⟩Noc Inf
102066⟨a, b | ababbaba=bb⟩Can Inf
102067⟨a, b | ababbbba=aa⟩Noc Inf
102070⟨a, b | ababbbba=bb⟩Can Inf
102072⟨a, b | abbaaaab=ab⟩Noc Inf
102075⟨a, b | abbaabba=aa⟩Noc Inf
102079⟨a, b | abbabaab=ab⟩Noc Inf
102081⟨a, b | abbabbba=aa⟩Noc Inf
102084⟨a, b | abbabbba=bb⟩Can Inf
102086⟨a, b | abbbaaab=ab⟩Noc Inf
102088⟨a, b | abbbbbba=aa⟩Noc Inf
102090⟨a, b | abbbbbba=bb⟩Can Inf
102091⟨a, b | aaaaaaa=aaa⟩Noc Infℕ(7 = 3) ∗ ℕ
102092⟨a, b | aaaaaaa=aab⟩Noc Inf
102093⟨a, b | aaaaaaa=aba⟩Noc Inf
102094⟨a, b | aaaaaaa=abb⟩Noc Inf
102095⟨a, b | aaaaaaa=bab⟩Can Inf
102096⟨a, b | aaaaaaa=bbb⟩Can Inf
102097⟨a, b | aaaaaab=aaa⟩Noc Inf
102098⟨a, b | aaaaaab=aab⟩Noc Inf
102099⟨a, b | aaaaaab=aba⟩Noc Inf
102100⟨a, b | aaaaaab=abb⟩Noc Inf
102101⟨a, b | aaaaaab=baa⟩Can Inf
102102⟨a, b | aaaaaab=bab⟩Noc Inf
102103⟨a, b | aaaaaab=bba⟩Can Inf
102104⟨a, b | aaaaaab=bbb⟩Noc Inf
102105⟨a, b | aaaaaba=aaa⟩Noc Inf
102107⟨a, b | aaaaaba=aba⟩Noc Inf
102108⟨a, b | aaaaaba=abb⟩Noc Inf
102109⟨a, b | aaaaaba=baa⟩Noc Inf
102110⟨a, b | aaaaaba=bab⟩Can Inf
102111⟨a, b | aaaaaba=bba⟩Noc Inf
102112⟨a, b | aaaaaba=bbb⟩Can Inf
102113⟨a, b | aaaaabb=aaa⟩Noc Inf
102114⟨a, b | aaaaabb=aab⟩Noc Inf
102115⟨a, b | aaaaabb=aba⟩Noc Inf
102116⟨a, b | aaaaabb=abb⟩Noc Inf
102117⟨a, b | aaaaabb=baa⟩Can Inf
102118⟨a, b | aaaaabb=bab⟩Noc Inf
102119⟨a, b | aaaaabb=bba⟩Can Inf
102120⟨a, b | aaaaabb=bbb⟩Noc Inf
102121⟨a, b | aaaabaa=aaa⟩Noc Inf
102123⟨a, b | aaaabaa=aba⟩Noc Inf
102124⟨a, b | aaaabaa=abb⟩Noc Inf
102126⟨a, b | aaaabaa=bab⟩Can Inf
102127⟨a, b | aaaabaa=bba⟩Noc Inf
102128⟨a, b | aaaabaa=bbb⟩Can Inf
102129⟨a, b | aaaabab=aaa⟩Noc Inf
102130⟨a, b | aaaabab=aab⟩Noc Inf
102131⟨a, b | aaaabab=aba⟩Noc Inf
102132⟨a, b | aaaabab=abb⟩Noc Inf
102133⟨a, b | aaaabab=baa⟩Can Inf
102134⟨a, b | aaaabab=bab⟩Noc Inf
102135⟨a, b | aaaabab=bba⟩Can Inf
102136⟨a, b | aaaabab=bbb⟩Noc Inf
102137⟨a, b | aaaabba=aaa⟩Noc Inf
102139⟨a, b | aaaabba=aba⟩Noc Inf
102142⟨a, b | aaaabba=bab⟩Can Inf
102144⟨a, b | aaaabba=bbb⟩Can Inf
102145⟨a, b | aaaabbb=aaa⟩Noc Inf
102146⟨a, b | aaaabbb=aab⟩Noc Inf
102147⟨a, b | aaaabbb=aba⟩Noc Inf
102148⟨a, b | aaaabbb=abb⟩Noc Inf
102149⟨a, b | aaaabbb=baa⟩Can Inf
102150⟨a, b | aaaabbb=bab⟩Noc Inf
102151⟨a, b | aaaabbb=bba⟩Can Inf
102152⟨a, b | aaaabbb=bbb⟩Noc Inf
102153⟨a, b | aaabaaa=aaa⟩Noc Inf
102155⟨a, b | aaabaaa=aba⟩Noc Inf
102156⟨a, b | aaabaaa=abb⟩Noc Inf
102157⟨a, b | aaabaaa=bab⟩Can Inf
102158⟨a, b | aaabaaa=bbb⟩Can Inf
102159⟨a, b | aaabaab=aaa⟩Noc Inf
102160⟨a, b | aaabaab=aab⟩Noc Inf
102161⟨a, b | aaabaab=aba⟩Noc Inf
102162⟨a, b | aaabaab=abb⟩Noc Inf
102163⟨a, b | aaabaab=baa⟩Can Inf
102164⟨a, b | aaabaab=bab⟩Noc Inf
102165⟨a, b | aaabaab=bba⟩Can Inf
102166⟨a, b | aaabaab=bbb⟩Noc Inf
102167⟨a, b | aaababa=aaa⟩Noc Inf
102169⟨a, b | aaababa=aba⟩Noc Inf
102172⟨a, b | aaababa=bab⟩Can Inf
102174⟨a, b | aaababa=bbb⟩Can Inf
102175⟨a, b | aaababb=aaa⟩Noc Inf
102176⟨a, b | aaababb=aab⟩Noc Inf
102177⟨a, b | aaababb=aba⟩Noc Inf
102178⟨a, b | aaababb=abb⟩Noc Inf
102179⟨a, b | aaababb=baa⟩Can Inf
102180⟨a, b | aaababb=bab⟩Noc Inf
102181⟨a, b | aaababb=bba⟩Can Inf
102182⟨a, b | aaababb=bbb⟩Noc Inf
102183⟨a, b | aaabbaa=aaa⟩Noc Inf
102185⟨a, b | aaabbaa=aba⟩Noc Inf
102188⟨a, b | aaabbaa=bab⟩Can Inf
102190⟨a, b | aaabbaa=bbb⟩Can Inf
102191⟨a, b | aaabbab=aaa⟩Noc Inf
102192⟨a, b | aaabbab=aab⟩Noc Inf
102193⟨a, b | aaabbab=aba⟩Noc Inf
102194⟨a, b | aaabbab=abb⟩Noc Inf
102195⟨a, b | aaabbab=baa⟩Can Inf
102196⟨a, b | aaabbab=bab⟩Noc Inf
102197⟨a, b | aaabbab=bba⟩Can Inf
102198⟨a, b | aaabbab=bbb⟩Noc Inf
102199⟨a, b | aaabbba=aaa⟩Noc Inf
102201⟨a, b | aaabbba=aba⟩Noc Inf
102204⟨a, b | aaabbba=bab⟩Can Inf
102206⟨a, b | aaabbba=bbb⟩Can Inf
102207⟨a, b | aabaaab=aaa⟩Noc Inf
102208⟨a, b | aabaaab=aab⟩Noc Inf
102210⟨a, b | aabaaab=abb⟩Noc Inf
102212⟨a, b | aabaaab=bab⟩Noc Inf
102213⟨a, b | aabaaab=bba⟩Can Inf
102214⟨a, b | aabaaab=bbb⟩Noc Inf
102215⟨a, b | aabaaba=aaa⟩Noc Inf
102217⟨a, b | aabaaba=aba⟩Noc Inf
102220⟨a, b | aabaaba=bab⟩Can Inf
102222⟨a, b | aabaaba=bbb⟩Can Inf
102223⟨a, b | aabaabb=aaa⟩Noc Inf
102224⟨a, b | aabaabb=aab⟩Noc Inf
102225⟨a, b | aabaabb=aba⟩Noc Inf
102226⟨a, b | aabaabb=abb⟩Noc Inf
102227⟨a, b | aabaabb=baa⟩Can Inf
102228⟨a, b | aabaabb=bab⟩Noc Inf
102229⟨a, b | aabaabb=bba⟩Can Inf
102230⟨a, b | aabaabb=bbb⟩Noc Inf
102231⟨a, b | aababaa=aaa⟩Noc Inf
102233⟨a, b | aababaa=aba⟩Noc Inf
102235⟨a, b | aababaa=bab⟩Can Inf
102236⟨a, b | aababaa=bbb⟩Can Inf
102237⟨a, b | aababab=aaa⟩Noc Inf
102238⟨a, b | aababab=aab⟩Noc Inf
102239⟨a, b | aababab=aba⟩Noc Inf
102240⟨a, b | aababab=abb⟩Noc Inf
102241⟨a, b | aababab=baa⟩Can Inf
102242⟨a, b | aababab=bab⟩Noc Inf
102243⟨a, b | aababab=bba⟩Can Inf
102244⟨a, b | aababab=bbb⟩Noc Inf
102245⟨a, b | aababba=aaa⟩Noc Inf
102247⟨a, b | aababba=aba⟩Noc Inf
102250⟨a, b | aababba=bab⟩Can Inf
102252⟨a, b | aababba=bbb⟩Can Inf
102253⟨a, b | aabbaab=aaa⟩Noc Inf
102254⟨a, b | aabbaab=aab⟩Noc Inf
102256⟨a, b | aabbaab=abb⟩Noc Inf
102258⟨a, b | aabbaab=bab⟩Noc Inf
102260⟨a, b | aabbaab=bbb⟩Noc Inf
102261⟨a, b | aabbaba=aaa⟩Noc Inf
102263⟨a, b | aabbaba=aba⟩Noc Inf
102266⟨a, b | aabbaba=bab⟩Can Inf
102268⟨a, b | aabbaba=bbb⟩Can Inf
102269⟨a, b | aabbbaa=aaa⟩Noc Inf
102271⟨a, b | aabbbaa=aba⟩Noc Inf
102273⟨a, b | aabbbaa=bab⟩Can Inf
102274⟨a, b | aabbbaa=bbb⟩Can Inf
102275⟨a, b | aabbbab=aaa⟩Noc Inf
102276⟨a, b | aabbbab=aab⟩Noc Inf
102277⟨a, b | aabbbab=aba⟩Noc Inf
102278⟨a, b | aabbbab=abb⟩Noc Inf
102279⟨a, b | aabbbab=baa⟩Can Inf
102280⟨a, b | aabbbab=bab⟩Noc Inf
102281⟨a, b | aabbbab=bba⟩Can Inf
102282⟨a, b | aabbbab=bbb⟩Noc Inf
102283⟨a, b | aabbbba=aaa⟩Noc Inf
102285⟨a, b | aabbbba=aba⟩Noc Inf
102288⟨a, b | aabbbba=bab⟩Can Inf
102290⟨a, b | aabbbba=bbb⟩Can Inf
102291⟨a, b | abaaaab=aaa⟩Noc Inf
102297⟨a, b | abaaaab=bba⟩Can Inf
102298⟨a, b | abaaaab=bbb⟩Noc Inf
102299⟨a, b | abaaaba=aaa⟩Noc Inf
102301⟨a, b | abaaaba=aba⟩Noc Inf
102304⟨a, b | abaaaba=bbb⟩Can Inf
102305⟨a, b | abaabab=aaa⟩Noc Inf
102312⟨a, b | abaabab=bbb⟩Noc Inf
102313⟨a, b | abaabba=aaa⟩Noc Inf
102315⟨a, b | abaabba=aba⟩Noc Inf
102320⟨a, b | abaabba=bbb⟩Can Inf
102321⟨a, b | ababaab=aaa⟩Noc Inf
102328⟨a, b | ababaab=bbb⟩Noc Inf
102329⟨a, b | abababa=aaa⟩Noc Inf
102331⟨a, b | abababa=aba⟩Noc Inf
102334⟨a, b | abababa=bbb⟩Can Inf
102335⟨a, b | ababbba=aaa⟩Noc Inf
102337⟨a, b | ababbba=aba⟩Noc Inf
102342⟨a, b | ababbba=bbb⟩Can Inf
102350⟨a, b | abbaaab=bbb⟩Noc Inf
102351⟨a, b | abbabba=aaa⟩Noc Inf
102353⟨a, b | abbabba=aba⟩Noc Inf
102356⟨a, b | abbabba=bbb⟩Can Inf
102357⟨a, b | abbbbba=aaa⟩Noc Inf
102358⟨a, b | abbbbba=aab⟩Noc Inf
102359⟨a, b | abbbbba=aba⟩Noc Inf
102362⟨a, b | abbbbba=bbb⟩Can Inf
102363⟨a, b | aaaaaa=aaaa⟩Noc Infℕ(6 = 4) ∗ ℕ
102364⟨a, b | aaaaaa=aaab⟩Noc Inf
102365⟨a, b | aaaaaa=aaba⟩Noc Inf
102366⟨a, b | aaaaaa=aabb⟩Noc Inf
102367⟨a, b | aaaaaa=abab⟩Noc Inf
102368⟨a, b | aaaaaa=abba⟩Noc Inf
102369⟨a, b | aaaaaa=abbb⟩Noc Inf
102370⟨a, b | aaaaaa=baab⟩Can Inf
102371⟨a, b | aaaaaa=babb⟩Can Inf
102372⟨a, b | aaaaaa=bbbb⟩Can Inf
102373⟨a, b | aaaaab=aaaa⟩Noc Inf
102374⟨a, b | aaaaab=aaab⟩Noc Inf
102375⟨a, b | aaaaab=aaba⟩Noc Inf
102376⟨a, b | aaaaab=aabb⟩Noc Inf
102377⟨a, b | aaaaab=abaa⟩Noc Inf
102378⟨a, b | aaaaab=abab⟩Noc Inf
102379⟨a, b | aaaaab=abba⟩Noc Inf
102380⟨a, b | aaaaab=abbb⟩Noc Inf
102381⟨a, b | aaaaab=baaa⟩Can Inf
102382⟨a, b | aaaaab=baab⟩Noc Inf
102383⟨a, b | aaaaab=baba⟩Can Inf
102384⟨a, b | aaaaab=babb⟩Noc Inf
102385⟨a, b | aaaaab=bbaa⟩Can Inf
102386⟨a, b | aaaaab=bbab⟩Noc Inf
102387⟨a, b | aaaaab=bbba⟩Can Inf
102388⟨a, b | aaaaab=bbbb⟩Noc Inf
102389⟨a, b | aaaaba=aaaa⟩Noc Inf
102391⟨a, b | aaaaba=aaba⟩Noc Inf
102392⟨a, b | aaaaba=aabb⟩Noc Inf
102393⟨a, b | aaaaba=abaa⟩Noc Inf
102394⟨a, b | aaaaba=abab⟩Noc Inf
102395⟨a, b | aaaaba=abba⟩Noc Inf
102396⟨a, b | aaaaba=abbb⟩Noc Inf
102397⟨a, b | aaaaba=baaa⟩Noc Inf
102398⟨a, b | aaaaba=baab⟩Can Inf
102400⟨a, b | aaaaba=babb⟩Can Inf
102401⟨a, b | aaaaba=bbaa⟩Noc Inf
102402⟨a, b | aaaaba=bbab⟩Can Inf
102403⟨a, b | aaaaba=bbba⟩Noc Inf
102404⟨a, b | aaaaba=bbbb⟩Can Inf
102405⟨a, b | aaaabb=aaaa⟩Noc Inf
102406⟨a, b | aaaabb=aaab⟩Noc Inf
102407⟨a, b | aaaabb=aaba⟩Noc Inf
102408⟨a, b | aaaabb=aabb⟩Noc Inf
102409⟨a, b | aaaabb=abaa⟩Noc Inf
102410⟨a, b | aaaabb=abab⟩Noc Inf
102411⟨a, b | aaaabb=abba⟩Noc Inf
102412⟨a, b | aaaabb=abbb⟩Noc Inf
102413⟨a, b | aaaabb=baaa⟩Can Inf
102414⟨a, b | aaaabb=baab⟩Noc Inf
102415⟨a, b | aaaabb=baba⟩Can Inf
102416⟨a, b | aaaabb=babb⟩Noc Inf
102417⟨a, b | aaaabb=bbaa⟩Can Inf
102418⟨a, b | aaaabb=bbab⟩Noc Inf
102419⟨a, b | aaaabb=bbba⟩Can Inf
102420⟨a, b | aaaabb=bbbb⟩Noc Inf
102421⟨a, b | aaabaa=aaaa⟩Noc Inf
102424⟨a, b | aaabaa=aabb⟩Noc Inf
102427⟨a, b | aaabaa=abba⟩Noc Inf
102428⟨a, b | aaabaa=abbb⟩Noc Inf
102429⟨a, b | aaabaa=baaa⟩Noc Inf
102430⟨a, b | aaabaa=baab⟩Can Inf
102432⟨a, b | aaabaa=babb⟩Can Inf
102433⟨a, b | aaabaa=bbaa⟩Noc Inf
102434⟨a, b | aaabaa=bbab⟩Can Inf
102435⟨a, b | aaabaa=bbba⟩Noc Inf
102436⟨a, b | aaabaa=bbbb⟩Can Inf
102437⟨a, b | aaabab=aaaa⟩Noc Inf
102438⟨a, b | aaabab=aaab⟩Noc Inf
102439⟨a, b | aaabab=aaba⟩Noc Inf
102440⟨a, b | aaabab=aabb⟩Noc Inf
102441⟨a, b | aaabab=abaa⟩Noc Inf
102442⟨a, b | aaabab=abab⟩Noc Inf
102443⟨a, b | aaabab=abba⟩Noc Inf
102444⟨a, b | aaabab=abbb⟩Noc Inf
102445⟨a, b | aaabab=baaa⟩Can Inf
102446⟨a, b | aaabab=baab⟩Noc Inf
102447⟨a, b | aaabab=baba⟩Can Inf
102448⟨a, b | aaabab=babb⟩Noc Inf
102449⟨a, b | aaabab=bbaa⟩Can Inf
102450⟨a, b | aaabab=bbab⟩Noc Inf
102451⟨a, b | aaabab=bbba⟩Can Inf
102452⟨a, b | aaabab=bbbb⟩Noc Inf
102453⟨a, b | aaabba=aaaa⟩Noc Inf
102455⟨a, b | aaabba=aaba⟩Noc Inf
102457⟨a, b | aaabba=abaa⟩Noc Inf
102459⟨a, b | aaabba=abba⟩Noc Inf
102460⟨a, b | aaabba=abbb⟩Noc Inf
102462⟨a, b | aaabba=baab⟩Can Inf
102464⟨a, b | aaabba=babb⟩Can Inf
102465⟨a, b | aaabba=bbaa⟩Noc Inf
102466⟨a, b | aaabba=bbab⟩Can Inf
102467⟨a, b | aaabba=bbba⟩Noc Inf
102468⟨a, b | aaabba=bbbb⟩Can Inf
102469⟨a, b | aaabbb=aaaa⟩Noc Inf
102470⟨a, b | aaabbb=aaab⟩Noc Inf
102471⟨a, b | aaabbb=aaba⟩Noc Inf
102472⟨a, b | aaabbb=aabb⟩Noc Inf
102473⟨a, b | aaabbb=abaa⟩Noc Inf
102474⟨a, b | aaabbb=abab⟩Noc Inf
102475⟨a, b | aaabbb=abba⟩Noc Inf
102476⟨a, b | aaabbb=baaa⟩Can Inf
102477⟨a, b | aaabbb=baba⟩Can Inf
102478⟨a, b | aaabbb=bbaa⟩Can Inf
102479⟨a, b | aabaab=aaaa⟩Noc Inf
102484⟨a, b | aabaab=abab⟩Noc Inf
102486⟨a, b | aabaab=abbb⟩Noc Inf
102490⟨a, b | aabaab=babb⟩Noc Inf
102491⟨a, b | aabaab=bbaa⟩Can Inf
102492⟨a, b | aabaab=bbab⟩Noc Inf
102493⟨a, b | aabaab=bbba⟩Can Inf
102494⟨a, b | aabaab=bbbb⟩Noc Inf
102495⟨a, b | aababa=aaaa⟩Noc Inf
102496⟨a, b | aababa=aaab⟩Noc Inf
102497⟨a, b | aababa=aaba⟩Noc Inf
102499⟨a, b | aababa=abaa⟩Noc Inf
102501⟨a, b | aababa=abba⟩Noc Inf
102502⟨a, b | aababa=abbb⟩Noc Inf
102506⟨a, b | aababa=babb⟩Can Inf
102507⟨a, b | aababa=bbaa⟩Noc Inf
102508⟨a, b | aababa=bbab⟩Can Inf
102509⟨a, b | aababa=bbba⟩Noc Inf
102510⟨a, b | aababa=bbbb⟩Can Inf
102511⟨a, b | aababb=aaaa⟩Noc Inf
102512⟨a, b | aababb=aaab⟩Noc Inf
102513⟨a, b | aababb=aaba⟩Noc Inf
102514⟨a, b | aababb=aabb⟩Noc Inf
102515⟨a, b | aababb=abaa⟩Noc Inf
102516⟨a, b | aababb=abab⟩Noc Inf
102517⟨a, b | aababb=abba⟩Noc Inf
102518⟨a, b | aababb=baaa⟩Can Inf
102519⟨a, b | aababb=baba⟩Can Inf
102520⟨a, b | aababb=bbaa⟩Can Inf
102521⟨a, b | aabbaa=aaaa⟩Noc Inf
102526⟨a, b | aabbaa=abba⟩Noc Inf
102527⟨a, b | aabbaa=abbb⟩Noc Inf
102529⟨a, b | aabbaa=babb⟩Can Inf
102530⟨a, b | aabbaa=bbbb⟩Can Inf
102531⟨a, b | aabbab=aaaa⟩Noc Inf
102532⟨a, b | aabbab=aaab⟩Noc Inf
102533⟨a, b | aabbab=aaba⟩Noc Inf
102534⟨a, b | aabbab=aabb⟩Noc Inf
102535⟨a, b | aabbab=abaa⟩Noc Inf
102536⟨a, b | aabbab=abab⟩Noc Inf
102537⟨a, b | aabbab=abba⟩Noc Inf
102538⟨a, b | aabbab=abbb⟩Noc Inf
102539⟨a, b | aabbab=baaa⟩Can Inf
102540⟨a, b | aabbab=baab⟩Noc Inf
102541⟨a, b | aabbab=baba⟩Can Inf
102542⟨a, b | aabbab=babb⟩Noc Inf
102543⟨a, b | aabbab=bbaa⟩Can Inf
102544⟨a, b | aabbab=bbab⟩Noc Inf
102545⟨a, b | aabbab=bbba⟩Can Inf
102546⟨a, b | aabbab=bbbb⟩Noc Inf
102547⟨a, b | aabbba=aaaa⟩Noc Inf
102548⟨a, b | aabbba=aaab⟩Noc Inf
102549⟨a, b | aabbba=aaba⟩Noc Inf
102551⟨a, b | aabbba=abaa⟩Noc Inf
102553⟨a, b | aabbba=abba⟩Noc Inf
102555⟨a, b | aabbba=baaa⟩Noc Inf
102558⟨a, b | aabbba=babb⟩Can Inf
102560⟨a, b | aabbba=bbab⟩Can Inf
102562⟨a, b | aabbba=bbbb⟩Can Inf
102563⟨a, b | abaaab=aaaa⟩Noc Inf
102566⟨a, b | abaaab=aabb⟩Noc Inf
102568⟨a, b | abaaab=abab⟩Noc Inf
102570⟨a, b | abaaab=abbb⟩Noc Inf
102574⟨a, b | abaaab=babb⟩Noc Inf
102575⟨a, b | abaaab=bbaa⟩Can Inf
102577⟨a, b | abaaab=bbba⟩Can Inf
102578⟨a, b | abaaab=bbbb⟩Noc Inf
102579⟨a, b | abaaba=aaaa⟩Noc Inf
102582⟨a, b | abaaba=aabb⟩Noc Inf
102584⟨a, b | abaaba=abba⟩Noc Inf
102585⟨a, b | abaaba=abbb⟩Noc Inf
102587⟨a, b | abaaba=babb⟩Can Inf
102588⟨a, b | abaaba=bbbb⟩Can Inf
102589⟨a, b | ababab=aaaa⟩Noc Inf
102592⟨a, b | ababab=aabb⟩Noc Inf
102594⟨a, b | ababab=abab⟩Noc Inf
102596⟨a, b | ababab=baaa⟩Can Inf
102599⟨a, b | ababba=aaaa⟩Noc Inf
102600⟨a, b | ababba=aaab⟩Noc Inf
102601⟨a, b | ababba=aaba⟩Noc Inf
102603⟨a, b | ababba=abaa⟩Noc Inf
102605⟨a, b | ababba=abba⟩Noc Inf
102607⟨a, b | ababba=baaa⟩Noc Inf
102610⟨a, b | ababba=babb⟩Can Inf
102614⟨a, b | ababba=bbbb⟩Can Inf
102615⟨a, b | abbaab=aaaa⟩Noc Inf
102620⟨a, b | abbaab=abab⟩Noc Inf
102622⟨a, b | abbaab=baaa⟩Can Inf
102625⟨a, b | abbbba=aaaa⟩Noc Inf
102626⟨a, b | abbbba=aaab⟩Noc Inf
102627⟨a, b | abbbba=aaba⟩Noc Inf
102628⟨a, b | abbbba=aabb⟩Noc Inf
102630⟨a, b | abbbba=abba⟩Noc Inf
102634⟨a, b | abbbba=bbbb⟩Can Inf
102635⟨a, b | aaaab=aaaaa⟩Noc Inf
102636⟨a, b | aaaba=aaaaa⟩Noc Inf
102637⟨a, b | aaaba=aaaab⟩Noc Inf
102638⟨a, b | aaabb=aaaaa⟩Noc Inf
102639⟨a, b | aaabb=aaaab⟩Noc Inf
102640⟨a, b | aaabb=aaaba⟩Noc Inf
102641⟨a, b | aabaa=aaaaa⟩Noc Inf
102642⟨a, b | aabaa=aaaab⟩Noc Inf
102643⟨a, b | aabaa=aaaba⟩Noc Inf
102644⟨a, b | aabaa=aaabb⟩Noc Inf
102645⟨a, b | aabab=aaaaa⟩Noc Inf
102646⟨a, b | aabab=aaaab⟩Noc Inf
102647⟨a, b | aabab=aaaba⟩Noc Inf
102648⟨a, b | aabab=aaabb⟩Noc Inf
102649⟨a, b | aabab=aabaa⟩Noc Inf
102650⟨a, b | aabba=aaaaa⟩Noc Inf
102651⟨a, b | aabba=aaaab⟩Noc Inf
102652⟨a, b | aabba=aaaba⟩Noc Inf
102653⟨a, b | aabba=aaabb⟩Noc Inf
102654⟨a, b | aabba=aabaa⟩Noc Inf
102655⟨a, b | aabba=aabab⟩Noc Inf
102656⟨a, b | aabbb=aaaaa⟩Noc Inf
102657⟨a, b | aabbb=aaaab⟩Noc Inf
102658⟨a, b | aabbb=aaaba⟩Noc Inf
102659⟨a, b | aabbb=aaabb⟩Noc Inf
102660⟨a, b | aabbb=aabaa⟩Noc Inf
102661⟨a, b | aabbb=aabab⟩Noc Inf
102662⟨a, b | aabbb=aabba⟩Noc Inf
102663⟨a, b | abaaa=aaaab⟩Noc Inf
102664⟨a, b | abaaa=aaaba⟩Noc Inf
102665⟨a, b | abaaa=aaabb⟩Noc Inf
102666⟨a, b | abaaa=aabab⟩Noc Inf
102667⟨a, b | abaaa=aabba⟩Noc Inf
102668⟨a, b | abaaa=aabbb⟩Noc Inf
102669⟨a, b | abaab=aaaaa⟩Noc Inf
102670⟨a, b | abaab=aaaab⟩Noc Inf
102672⟨a, b | abaab=aaabb⟩Noc Inf
102674⟨a, b | abaab=aabab⟩Noc Inf
102676⟨a, b | abaab=aabbb⟩Noc Inf
102678⟨a, b | ababa=aaaaa⟩Noc Inf
102679⟨a, b | ababa=aaaab⟩Noc Inf
102680⟨a, b | ababa=aaaba⟩Noc Inf
102681⟨a, b | ababa=aaabb⟩Noc Inf
102682⟨a, b | ababa=aabaa⟩Noc Inf
102683⟨a, b | ababa=aabab⟩Noc Inf
102684⟨a, b | ababa=aabba⟩Noc Inf
102685⟨a, b | ababa=aabbb⟩Noc Inf
102687⟨a, b | ababb=aaaaa⟩Noc Inf
102688⟨a, b | ababb=aaaab⟩Noc Inf
102689⟨a, b | ababb=aaaba⟩Noc Inf
102690⟨a, b | ababb=aabaa⟩Noc Inf
102691⟨a, b | ababb=aabab⟩Noc Inf
102692⟨a, b | ababb=aabba⟩Noc Inf
102693⟨a, b | ababb=abaaa⟩Noc Inf
102694⟨a, b | ababb=abaab⟩Noc Inf
102695⟨a, b | ababb=ababa⟩Noc Inf
102696⟨a, b | abbaa=aaaab⟩Noc Inf
102697⟨a, b | abbaa=aaabb⟩Noc Inf
102698⟨a, b | abbaa=aabab⟩Noc Inf
102699⟨a, b | abbaa=aabba⟩Noc Inf
102700⟨a, b | abbaa=aabbb⟩Noc Inf
102702⟨a, b | abbaa=ababb⟩Noc Inf
102703⟨a, b | abbab=aaaaa⟩Noc Inf
102704⟨a, b | abbab=aaaab⟩Noc Inf
102705⟨a, b | abbab=aaaba⟩Noc Inf
102706⟨a, b | abbab=aabaa⟩Noc Inf
102707⟨a, b | abbab=aabba⟩Noc Inf
102709⟨a, b | abbab=abaab⟩Noc Inf
102712⟨a, b | abbba=aaaaa⟩Noc Inf
102713⟨a, b | abbba=aaaab⟩Noc Inf
102714⟨a, b | abbba=aaaba⟩Noc Inf
102715⟨a, b | abbba=aaabb⟩Noc Inf
102716⟨a, b | abbba=aabaa⟩Noc Inf
102717⟨a, b | abbba=aabab⟩Noc Inf
102718⟨a, b | abbba=aabba⟩Noc Inf
102719⟨a, b | abbba=aabbb⟩Noc Inf
102721⟨a, b | abbba=ababa⟩Noc Inf
102722⟨a, b | abbba=ababb⟩Noc Inf
102724⟨a, b | abbbb=aaaaa⟩Noc Inf
102725⟨a, b | abbbb=aaaab⟩Noc Inf
102726⟨a, b | abbbb=aaaba⟩Noc Inf
102727⟨a, b | abbbb=aabaa⟩Noc Inf
102728⟨a, b | abbbb=aabba⟩Noc Inf
102729⟨a, b | abbbb=abaaa⟩Noc Inf
102730⟨a, b | abbbb=ababa⟩Noc Inf
102731⟨a, b | abbbb=abbaa⟩Noc Inf
102732⟨a, b | abbbb=abbba⟩Noc Inf
102733⟨a, b | baaaa=aaaab⟩Can Inf
102734⟨a, b | baaaa=aaabb⟩Can Inf
102735⟨a, b | baaaa=aabab⟩Can Inf
102736⟨a, b | baaaa=aabbb⟩Can Inf
102737⟨a, b | baaaa=abaab⟩Can Inf
102738⟨a, b | baaaa=ababb⟩Can Inf
102739⟨a, b | baaaa=abbab⟩Can Inf
102740⟨a, b | baaaa=abbbb⟩Can Inf
102741⟨a, b | baaab=aaaaa⟩Can Inf
102742⟨a, b | baaab=aaaba⟩Can Inf
102747⟨a, b | baaba=aaabb⟩Can Inf
102748⟨a, b | baaba=aabab⟩Can Inf
102749⟨a, b | baaba=aabbb⟩Can Inf
102751⟨a, b | baaba=ababb⟩Can Inf
102753⟨a, b | baabb=aaaaa⟩Can Inf
102754⟨a, b | baabb=aaaba⟩Can Inf
102755⟨a, b | baabb=aabaa⟩Can Inf
102757⟨a, b | baabb=abaaa⟩Can Inf
102758⟨a, b | baabb=ababa⟩Can Inf
102760⟨a, b | babaa=aaabb⟩Can Inf
102761⟨a, b | babaa=aabab⟩Can Inf
102762⟨a, b | babaa=aabbb⟩Can Inf
102763⟨a, b | babaa=ababb⟩Can Inf
102764⟨a, b | babab=aaaaa⟩Can Inf
102765⟨a, b | babab=aaaba⟩Can Inf
102766⟨a, b | babab=aabaa⟩Can Inf
102768⟨a, b | babbb=aaaaa⟩Can Inf
102769⟨a, b | babbb=aaaba⟩Can Inf
102770⟨a, b | babbb=aabaa⟩Can Inf
102771⟨a, b | babbb=abaaa⟩Can Inf
102772⟨a, b | bbaaa=aaabb⟩Can Inf
102773⟨a, b | bbaaa=aabbb⟩Can Inf
102774⟨a, b | bbabb=aaaaa⟩Can Inf
102775⟨a, b | bbabb=aabaa⟩Can Inf
102776⟨a, b | bbbbb=aaaaa⟩Can Inf
112777⟨a, b | aaaaaaaaaaa=1⟩Can Infℤ11 ∗ ℕ
112778⟨a, b | aaaaaaaaaab=1⟩Noc Inf
112780⟨a, b | aaaaaaaaabb=1⟩Noc Inf
112782⟨a, b | aaaaaaaabab=1⟩Noc Inf
112784⟨a, b | aaaaaaaabbb=1⟩Noc Inf
112786⟨a, b | aaaaaaabaab=1⟩Noc Inf
112788⟨a, b | aaaaaaababb=1⟩Noc Inf
112790⟨a, b | aaaaaaabbab=1⟩Noc Inf
112792⟨a, b | aaaaaaabbbb=1⟩Noc Inf
112794⟨a, b | aaaaaabaaab=1⟩Noc Inf
112796⟨a, b | aaaaaabaabb=1⟩Noc Inf
112798⟨a, b | aaaaaababab=1⟩Noc Inf
112800⟨a, b | aaaaaababbb=1⟩Noc Inf
112802⟨a, b | aaaaaabbaab=1⟩Noc Inf
112804⟨a, b | aaaaaabbabb=1⟩Noc Inf
112806⟨a, b | aaaaaabbbab=1⟩Noc Inf
112808⟨a, b | aaaaaabbbbb=1⟩Noc Inf
112810⟨a, b | aaaaabaaaab=1⟩Noc Inf
112812⟨a, b | aaaaabaaabb=1⟩Noc Inf
112814⟨a, b | aaaaabaabab=1⟩Noc Inf
112816⟨a, b | aaaaabaabbb=1⟩Noc Inf
112818⟨a, b | aaaaababaab=1⟩Noc Inf
112820⟨a, b | aaaaabababb=1⟩Noc Inf
112822⟨a, b | aaaaababbab=1⟩Noc Inf
112824⟨a, b | aaaaababbbb=1⟩Noc Inf
112826⟨a, b | aaaaabbaaab=1⟩Noc Inf
112828⟨a, b | aaaaabbaabb=1⟩Noc Inf
112830⟨a, b | aaaaabbabab=1⟩Noc Inf
112832⟨a, b | aaaaabbabbb=1⟩Noc Inf
112834⟨a, b | aaaaabbbaab=1⟩Noc Inf
112836⟨a, b | aaaaabbbabb=1⟩Noc Inf
112838⟨a, b | aaaaabbbbab=1⟩Noc Inf
112842⟨a, b | aaaabaaaabb=1⟩Noc Inf
112844⟨a, b | aaaabaaabab=1⟩Noc Inf
112846⟨a, b | aaaabaaabbb=1⟩Noc Inf
112848⟨a, b | aaaabaabaab=1⟩Noc Inf
112850⟨a, b | aaaabaababb=1⟩Noc Inf
112852⟨a, b | aaaabaabbab=1⟩Noc Inf
112854⟨a, b | aaaabaabbbb=1⟩Noc Inf
112856⟨a, b | aaaababaaab=1⟩Noc Inf
112858⟨a, b | aaaababaabb=1⟩Noc Inf
112860⟨a, b | aaaabababab=1⟩Noc Inf
112862⟨a, b | aaaabababbb=1⟩Noc Inf
112864⟨a, b | aaaababbaab=1⟩Noc Inf
112866⟨a, b | aaaababbabb=1⟩Noc Inf
112868⟨a, b | aaaababbbab=1⟩Noc Inf
112872⟨a, b | aaaabbaaabb=1⟩Noc Inf
112874⟨a, b | aaaabbaabab=1⟩Noc Inf
112876⟨a, b | aaaabbaabbb=1⟩Noc Inf
112878⟨a, b | aaaabbabaab=1⟩Noc Inf
112880⟨a, b | aaaabbababb=1⟩Noc Inf
112882⟨a, b | aaaabbabbab=1⟩Noc Inf
112885⟨a, b | aaaabbbaaab=1⟩Noc Inf
112887⟨a, b | aaaabbbaabb=1⟩Noc Inf
112889⟨a, b | aaaabbbabab=1⟩Noc Inf
112891⟨a, b | aaaabbbabbb=1⟩Noc Inf
112893⟨a, b | aaaabbbbaab=1⟩Noc Inf
112895⟨a, b | aaaabbbbabb=1⟩Noc Inf
112897⟨a, b | aaaabbbbbab=1⟩Noc Inf
112901⟨a, b | aaabaaaaabb=1⟩Noc Inf
112903⟨a, b | aaabaaaabab=1⟩Noc Inf
112905⟨a, b | aaabaaaabbb=1⟩Noc Inf
112907⟨a, b | aaabaaabaab=1⟩Noc Inf
112909⟨a, b | aaabaaababb=1⟩Noc Inf
112911⟨a, b | aaabaaabbab=1⟩Noc Inf
112915⟨a, b | aaabaabaabb=1⟩Noc Inf
112917⟨a, b | aaabaababab=1⟩Noc Inf
112919⟨a, b | aaabaababbb=1⟩Noc Inf
112921⟨a, b | aaabaabbaab=1⟩Noc Inf
112923⟨a, b | aaabaabbabb=1⟩Noc Inf
112925⟨a, b | aaabaabbbab=1⟩Noc Inf
112929⟨a, b | aaababaaabb=1⟩Noc Inf
112931⟨a, b | aaababaabab=1⟩Noc Inf
112933⟨a, b | aaababaabbb=1⟩Noc Inf
112935⟨a, b | aaabababaab=1⟩Noc Inf
112937⟨a, b | aaababababb=1⟩Noc Inf
112939⟨a, b | aaabababbab=1⟩Noc Inf
112943⟨a, b | aaababbaabb=1⟩Noc Inf
112945⟨a, b | aaababbabab=1⟩Noc Inf
112948⟨a, b | aaababbbaab=1⟩Noc Inf
112950⟨a, b | aaababbbabb=1⟩Noc Inf
112952⟨a, b | aaababbbbab=1⟩Noc Inf
112958⟨a, b | aaabbaaabab=1⟩Noc Inf
112960⟨a, b | aaabbaaabbb=1⟩Noc Inf
112961⟨a, b | aaabbaabaab=1⟩Noc Inf
112963⟨a, b | aaabbaababb=1⟩Noc Inf
112965⟨a, b | aaabbaabbab=1⟩Noc Inf
112969⟨a, b | aaabbabaabb=1⟩Noc Inf
112971⟨a, b | aaabbababab=1⟩Noc Inf
112974⟨a, b | aaabbabbaab=1⟩Noc Inf
112976⟨a, b | aaabbabbabb=1⟩Noc Inf
112978⟨a, b | aaabbabbbab=1⟩Noc Inf
112984⟨a, b | aaabbbaabab=1⟩Noc Inf
112986⟨a, b | aaabbbabaab=1⟩Noc Inf
112988⟨a, b | aaabbbababb=1⟩Noc Inf
112990⟨a, b | aaabbbabbab=1⟩Noc Inf
112994⟨a, b | aaabbbbaabb=1⟩Noc Inf
112996⟨a, b | aaabbbbabab=1⟩Noc Inf
112999⟨a, b | aaabbbbbaab=1⟩Noc Inf
113001⟨a, b | aaabbbbbabb=1⟩Noc Inf
113003⟨a, b | aaabbbbbbab=1⟩Noc Inf
113007⟨a, b | aabaaaaaabb=1⟩Noc Inf
113009⟨a, b | aabaaaaabab=1⟩Noc Inf
113013⟨a, b | aabaaaababb=1⟩Noc Inf
113015⟨a, b | aabaaaabbab=1⟩Noc Inf
113019⟨a, b | aabaaabaabb=1⟩Noc Inf
113021⟨a, b | aabaaababab=1⟩Noc Inf
113023⟨a, b | aabaaabbaab=1⟩Noc Inf
113025⟨a, b | aabaaabbabb=1⟩Noc Inf
113027⟨a, b | aabaaabbbab=1⟩Noc Inf
113031⟨a, b | aabaabaaabb=1⟩Noc Inf
113033⟨a, b | aabaabaabab=1⟩Noc Inf
113037⟨a, b | aabaabababb=1⟩Noc Inf
113039⟨a, b | aabaababbab=1⟩Noc Inf
113043⟨a, b | aabaabbaabb=1⟩Noc Inf
113045⟨a, b | aabaabbabab=1⟩Noc Inf
113050⟨a, b | aabaabbbbab=1⟩Noc Inf
113054⟨a, b | aababaaaabb=1⟩Noc Inf
113059⟨a, b | aababaababb=1⟩Noc Inf
113061⟨a, b | aababaabbab=1⟩Noc Inf
113065⟨a, b | aabababaabb=1⟩Noc Inf
113067⟨a, b | aababababab=1⟩Noc Inf
113072⟨a, b | aabababbbab=1⟩Noc Inf
113076⟨a, b | aababbaaabb=1⟩Noc Inf
113082⟨a, b | aababbabbab=1⟩Noc Inf
113086⟨a, b | aababbbaabb=1⟩Noc Inf
113088⟨a, b | aababbbabab=1⟩Noc Inf
113093⟨a, b | aababbbbbab=1⟩Noc Inf
113098⟨a, b | aabbaaaabab=1⟩Noc Inf
113103⟨a, b | aabbaaabbab=1⟩Noc Inf
113108⟨a, b | aabbaababab=1⟩Noc Inf
113113⟨a, b | aabbaabbbab=1⟩Noc Inf
113118⟨a, b | aabbabaabab=1⟩Noc Inf
113123⟨a, b | aabbababbab=1⟩Noc Inf
113127⟨a, b | aabbabbabab=1⟩Noc Inf
113132⟨a, b | aabbabbbbab=1⟩Noc Inf
113137⟨a, b | aabbbaaabab=1⟩Noc Inf
113141⟨a, b | aabbbaabbab=1⟩Noc Inf
113145⟨a, b | aabbbababab=1⟩Noc Inf
113150⟨a, b | aabbbabbbab=1⟩Noc Inf
113154⟨a, b | aabbbbaabab=1⟩Noc Inf
113158⟨a, b | aabbbbabbab=1⟩Noc Inf
113162⟨a, b | aabbbbbabab=1⟩Noc Inf
113167⟨a, b | aabbbbbbbab=1⟩Noc Inf
113175⟨a, b | abaaaaabbab=1⟩Noc Inf
113183⟨a, b | abaaaabbbab=1⟩Noc Inf
113191⟨a, b | abaaababbab=1⟩Noc Inf
113195⟨a, b | abaaabbabab=1⟩Noc Inf
113205⟨a, b | abaabaabbab=1⟩Noc Inf
113222⟨a, b | abaabbbabab=1⟩Noc Inf
113305⟨a, b | aaaaaaaaaa=a⟩Noc Infℕ(10 = 1) ∗ ℕ
113307⟨a, b | aaaaaaaaab=a⟩Noc Inf
113308⟨a, b | aaaaaaaaab=b⟩Noc Inf
113309⟨a, b | aaaaaaaaba=a⟩Noc Inf
113310⟨a, b | aaaaaaaaba=b⟩Can Inf
113311⟨a, b | aaaaaaaabb=a⟩Noc Inf
113312⟨a, b | aaaaaaaabb=b⟩Noc Inf
113313⟨a, b | aaaaaaabaa=a⟩Noc Inf2
113314⟨a, b | aaaaaaabaa=b⟩Can Inf
113315⟨a, b | aaaaaaabab=a⟩Noc Inf
113316⟨a, b | aaaaaaabab=b⟩Noc Inf
113317⟨a, b | aaaaaaabba=a⟩Noc Inf
113318⟨a, b | aaaaaaabba=b⟩Can Inf
113319⟨a, b | aaaaaaabbb=a⟩Noc Inf
113320⟨a, b | aaaaaaabbb=b⟩Noc Inf
113322⟨a, b | aaaaaabaaa=b⟩Can Inf
113323⟨a, b | aaaaaabaab=a⟩Noc Inf
113324⟨a, b | aaaaaabaab=b⟩Noc Inf
113325⟨a, b | aaaaaababa=a⟩Noc Inf
113326⟨a, b | aaaaaababa=b⟩Can Inf
113327⟨a, b | aaaaaababb=a⟩Noc Inf
113328⟨a, b | aaaaaababb=b⟩Noc Inf
113329⟨a, b | aaaaaabbaa=a⟩Noc Inf2
113330⟨a, b | aaaaaabbaa=b⟩Can Inf
113331⟨a, b | aaaaaabbab=a⟩Noc Inf
113332⟨a, b | aaaaaabbab=b⟩Noc Inf
113333⟨a, b | aaaaaabbba=a⟩Noc Inf
113334⟨a, b | aaaaaabbba=b⟩Can Inf
113335⟨a, b | aaaaaabbbb=a⟩Noc Inf
113336⟨a, b | aaaaaabbbb=b⟩Noc Inf
113338⟨a, b | aaaaabaaaa=b⟩Can Inf
113339⟨a, b | aaaaabaaab=a⟩Noc Inf
113340⟨a, b | aaaaabaaab=b⟩Noc Inf
113341⟨a, b | aaaaabaaba=a⟩Noc Inf
113342⟨a, b | aaaaabaaba=b⟩Can Inf
113343⟨a, b | aaaaabaabb=a⟩Noc Inf
113344⟨a, b | aaaaabaabb=b⟩Noc Inf
113346⟨a, b | aaaaababaa=b⟩Can Inf
113347⟨a, b | aaaaababab=a⟩Noc Inf
113348⟨a, b | aaaaababab=b⟩Noc Inf
113349⟨a, b | aaaaababba=a⟩Noc Inf
113350⟨a, b | aaaaababba=b⟩Can Inf
113351⟨a, b | aaaaababbb=a⟩Noc Inf
113352⟨a, b | aaaaababbb=b⟩Noc Inf
113354⟨a, b | aaaaabbaaa=b⟩Can Inf
113355⟨a, b | aaaaabbaab=a⟩Noc Inf
113356⟨a, b | aaaaabbaab=b⟩Noc Inf
113357⟨a, b | aaaaabbaba=a⟩Noc Inf
113358⟨a, b | aaaaabbaba=b⟩Can Inf
113359⟨a, b | aaaaabbabb=a⟩Noc Inf
113360⟨a, b | aaaaabbabb=b⟩Noc Inf
113361⟨a, b | aaaaabbbaa=a⟩Noc Inf1
113362⟨a, b | aaaaabbbaa=b⟩Can Inf
113363⟨a, b | aaaaabbbab=a⟩Noc Inf
113364⟨a, b | aaaaabbbab=b⟩Noc Inf
113365⟨a, b | aaaaabbbba=a⟩Noc Inf
113366⟨a, b | aaaaabbbba=b⟩Can Inf
113367⟨a, b | aaaaabbbbb=a⟩Noc Inf
113368⟨a, b | aaaabaaaab=a⟩Noc Inf
113369⟨a, b | aaaabaaaab=b⟩Noc Inf
113370⟨a, b | aaaabaaaba=a⟩Noc Inf
113371⟨a, b | aaaabaaaba=b⟩Can Inf
113372⟨a, b | aaaabaaabb=a⟩Noc Inf
113373⟨a, b | aaaabaaabb=b⟩Noc Inf
113375⟨a, b | aaaabaabaa=b⟩Can Inf
113376⟨a, b | aaaabaabab=a⟩Noc Inf
113377⟨a, b | aaaabaabab=b⟩Noc Inf
113378⟨a, b | aaaabaabba=a⟩Noc Inf
113379⟨a, b | aaaabaabba=b⟩Can Inf
113380⟨a, b | aaaabaabbb=a⟩Noc Inf
113381⟨a, b | aaaabaabbb=b⟩Noc Inf
113383⟨a, b | aaaababaaa=b⟩Can Inf
113384⟨a, b | aaaababaab=a⟩Noc Inf
113385⟨a, b | aaaababaab=b⟩Noc Inf
113386⟨a, b | aaaabababa=a⟩Noc Inf
113387⟨a, b | aaaabababa=b⟩Can Inf
113388⟨a, b | aaaabababb=a⟩Noc Inf
113389⟨a, b | aaaabababb=b⟩Noc Inf
113390⟨a, b | aaaababbaa=a⟩Noc Inf1
113391⟨a, b | aaaababbaa=b⟩Can Inf
113392⟨a, b | aaaababbab=a⟩Noc Inf
113393⟨a, b | aaaababbab=b⟩Noc Inf
113394⟨a, b | aaaababbba=a⟩Noc Inf
113395⟨a, b | aaaababbba=b⟩Can Inf
113396⟨a, b | aaaababbbb=a⟩Noc Inf
113398⟨a, b | aaaabbaaaa=b⟩Can Inf
113399⟨a, b | aaaabbaaab=a⟩Noc Inf
113400⟨a, b | aaaabbaaab=b⟩Noc Inf
113401⟨a, b | aaaabbaaba=a⟩Noc Inf
113402⟨a, b | aaaabbaaba=b⟩Can Inf
113403⟨a, b | aaaabbaabb=a⟩Noc Inf
113404⟨a, b | aaaabbaabb=b⟩Noc Inf
113405⟨a, b | aaaabbabaa=a⟩Noc Inf
113406⟨a, b | aaaabbabaa=b⟩Can Inf
113407⟨a, b | aaaabbabab=a⟩Noc Inf
113408⟨a, b | aaaabbabab=b⟩Noc Inf
113409⟨a, b | aaaabbabba=a⟩Noc Inf
113410⟨a, b | aaaabbabba=b⟩Can Inf
113411⟨a, b | aaaabbabbb=a⟩Noc Inf
113412⟨a, b | aaaabbabbb=b⟩Noc Inf
113414⟨a, b | aaaabbbaaa=b⟩Can Inf
113415⟨a, b | aaaabbbaab=a⟩Noc Inf
113416⟨a, b | aaaabbbaab=b⟩Noc Inf
113417⟨a, b | aaaabbbaba=a⟩Noc Inf
113418⟨a, b | aaaabbbaba=b⟩Can Inf
113419⟨a, b | aaaabbbabb=a⟩Noc Inf
113420⟨a, b | aaaabbbabb=b⟩Noc Inf
113421⟨a, b | aaaabbbbaa=a⟩Noc Inf1
113422⟨a, b | aaaabbbbaa=b⟩Can Inf
113423⟨a, b | aaaabbbbab=a⟩Noc Inf
113424⟨a, b | aaaabbbbab=b⟩Noc Inf
113425⟨a, b | aaaabbbbba=a⟩Noc Inf
113426⟨a, b | aaaabbbbba=b⟩Can Inf
113427⟨a, b | aaabaaaaab=a⟩Noc Inf
113428⟨a, b | aaabaaaaab=b⟩Noc Inf
113429⟨a, b | aaabaaaaba=a⟩Noc Inf2
113430⟨a, b | aaabaaaaba=b⟩Can Inf
113431⟨a, b | aaabaaaabb=a⟩Noc Inf
113432⟨a, b | aaabaaaabb=b⟩Noc Inf
113434⟨a, b | aaabaaabaa=b⟩Can Inf
113435⟨a, b | aaabaaabab=a⟩Noc Inf
113436⟨a, b | aaabaaabab=b⟩Noc Inf
113437⟨a, b | aaabaaabba=a⟩Noc Inf
113438⟨a, b | aaabaaabba=b⟩Can Inf
113439⟨a, b | aaabaaabbb=a⟩Noc Inf
113440⟨a, b | aaabaaabbb=b⟩Noc Inf
113442⟨a, b | aaabaabaaa=b⟩Can Inf
113443⟨a, b | aaabaabaab=a⟩Noc Inf
113444⟨a, b | aaabaabaab=b⟩Noc Inf
113445⟨a, b | aaabaababa=a⟩Noc Inf
113446⟨a, b | aaabaababa=b⟩Can Inf
113447⟨a, b | aaabaababb=a⟩Noc Inf
113448⟨a, b | aaabaababb=b⟩Noc Inf
113449⟨a, b | aaabaabbaa=a⟩Noc Inf
113450⟨a, b | aaabaabbaa=b⟩Can Inf
113451⟨a, b | aaabaabbab=a⟩Noc Inf
113452⟨a, b | aaabaabbab=b⟩Noc Inf
113453⟨a, b | aaabaabbba=a⟩Noc Inf
113454⟨a, b | aaabaabbba=b⟩Can Inf
113455⟨a, b | aaababaaab=a⟩Noc Inf
113456⟨a, b | aaababaaab=b⟩Noc Inf
113457⟨a, b | aaababaaba=a⟩Noc Inf
113458⟨a, b | aaababaaba=b⟩Can Inf
113459⟨a, b | aaababaabb=a⟩Noc Inf
113460⟨a, b | aaababaabb=b⟩Noc Inf
113462⟨a, b | aaabababaa=b⟩Can Inf
113463⟨a, b | aaabababab=a⟩Noc Inf
113464⟨a, b | aaabababab=b⟩Noc Inf
113465⟨a, b | aaabababba=a⟩Noc Inf
113466⟨a, b | aaabababba=b⟩Can Inf
113467⟨a, b | aaabababbb=a⟩Noc Inf
113469⟨a, b | aaababbaaa=b⟩Can Inf
113470⟨a, b | aaababbaab=a⟩Noc Inf
113471⟨a, b | aaababbaab=b⟩Noc Inf
113472⟨a, b | aaababbaba=a⟩Noc Inf
113473⟨a, b | aaababbaba=b⟩Can Inf
113474⟨a, b | aaababbabb=a⟩Noc Inf
113475⟨a, b | aaababbabb=b⟩Noc Inf
113476⟨a, b | aaababbbaa=a⟩Noc Inf
113477⟨a, b | aaababbbaa=b⟩Can Inf
113478⟨a, b | aaababbbab=a⟩Noc Inf
113479⟨a, b | aaababbbab=b⟩Noc Inf
113480⟨a, b | aaababbbba=a⟩Noc Inf
113481⟨a, b | aaababbbba=b⟩Can Inf
113483⟨a, b | aaabbaaaab=b⟩Noc Inf
113484⟨a, b | aaabbaaaba=a⟩Noc Inf
113485⟨a, b | aaabbaaaba=b⟩Can Inf
113486⟨a, b | aaabbaaabb=a⟩Noc Inf
113487⟨a, b | aaabbaaabb=b⟩Noc Inf
113488⟨a, b | aaabbaabaa=a⟩Noc Inf
113489⟨a, b | aaabbaabaa=b⟩Can Inf
113490⟨a, b | aaabbaabab=a⟩Noc Inf
113491⟨a, b | aaabbaabab=b⟩Noc Inf
113492⟨a, b | aaabbaabba=a⟩Noc Inf
113493⟨a, b | aaabbaabba=b⟩Can Inf
113494⟨a, b | aaabbaabbb=a⟩Noc Inf
113495⟨a, b | aaabbabaab=a⟩Noc Inf
113496⟨a, b | aaabbabaab=b⟩Noc Inf
113497⟨a, b | aaabbababa=a⟩Noc Inf
113498⟨a, b | aaabbababa=b⟩Can Inf
113499⟨a, b | aaabbababb=a⟩Noc Inf
113500⟨a, b | aaabbababb=b⟩Noc Inf
113502⟨a, b | aaabbabbaa=b⟩Can Inf
113503⟨a, b | aaabbabbab=a⟩Noc Inf
113504⟨a, b | aaabbabbab=b⟩Noc Inf
113505⟨a, b | aaabbabbba=a⟩Noc Inf
113506⟨a, b | aaabbabbba=b⟩Can Inf
113507⟨a, b | aaabbbaaab=a⟩Noc Inf
113508⟨a, b | aaabbbaaab=b⟩Noc Inf
113509⟨a, b | aaabbbaaba=a⟩Noc Inf
113510⟨a, b | aaabbbaaba=b⟩Can Inf
113511⟨a, b | aaabbbaabb=a⟩Noc Inf
113512⟨a, b | aaabbbaabb=b⟩Noc Inf
113513⟨a, b | aaabbbabaa=a⟩Noc Inf
113514⟨a, b | aaabbbabaa=b⟩Can Inf
113515⟨a, b | aaabbbabab=a⟩Noc Inf
113516⟨a, b | aaabbbabab=b⟩Noc Inf
113517⟨a, b | aaabbbabba=a⟩Noc Inf
113518⟨a, b | aaabbbabba=b⟩Can Inf
113520⟨a, b | aaabbbbaaa=b⟩Can Inf
113521⟨a, b | aaabbbbaab=a⟩Noc Inf
113522⟨a, b | aaabbbbaab=b⟩Noc Inf
113523⟨a, b | aaabbbbaba=a⟩Noc Inf
113524⟨a, b | aaabbbbaba=b⟩Can Inf
113525⟨a, b | aaabbbbabb=a⟩Noc Inf
113526⟨a, b | aaabbbbabb=b⟩Noc Inf
113527⟨a, b | aaabbbbbaa=a⟩Noc Inf
113528⟨a, b | aaabbbbbaa=b⟩Can Inf
113529⟨a, b | aaabbbbbab=a⟩Noc Inf
113530⟨a, b | aaabbbbbab=b⟩Noc Inf
113531⟨a, b | aaabbbbbba=a⟩Noc Inf
113532⟨a, b | aaabbbbbba=b⟩Can Inf
113533⟨a, b | aabaaaaaab=a⟩Noc Inf
113534⟨a, b | aabaaaaaab=b⟩Noc Inf
113537⟨a, b | aabaaaaabb=a⟩Noc Inf
113538⟨a, b | aabaaaaabb=b⟩Noc Inf
113541⟨a, b | aabaaaabab=a⟩Noc Inf
113542⟨a, b | aabaaaabab=b⟩Noc Inf
113543⟨a, b | aabaaaabba=a⟩Noc Inf
113544⟨a, b | aabaaaabba=b⟩Can Inf
113545⟨a, b | aabaaabaab=a⟩Noc Inf
113546⟨a, b | aabaaabaab=b⟩Noc Inf
113547⟨a, b | aabaaababa=a⟩Noc Inf
113548⟨a, b | aabaaababa=b⟩Can Inf
113549⟨a, b | aabaaababb=a⟩Noc Inf
113550⟨a, b | aabaaababb=b⟩Noc Inf
113551⟨a, b | aabaaabbaa=a⟩Noc Inf
113552⟨a, b | aabaaabbaa=b⟩Can Inf
113553⟨a, b | aabaaabbab=a⟩Noc Inf
113554⟨a, b | aabaaabbab=b⟩Noc Inf
113555⟨a, b | aabaaabbba=a⟩Noc Inf
113556⟨a, b | aabaaabbba=b⟩Can Inf
113558⟨a, b | aabaabaaab=b⟩Noc Inf
113559⟨a, b | aabaabaaba=a⟩Noc Inf
113560⟨a, b | aabaabaaba=b⟩Can Inf
113561⟨a, b | aabaabaabb=a⟩Noc Inf
113562⟨a, b | aabaabaabb=b⟩Noc Inf
113564⟨a, b | aabaababaa=b⟩Can Inf
113565⟨a, b | aabaababab=a⟩Noc Inf
113566⟨a, b | aabaababab=b⟩Noc Inf
113567⟨a, b | aabaababba=a⟩Noc Inf
113568⟨a, b | aabaababba=b⟩Can Inf
113569⟨a, b | aabaabbaab=a⟩Noc Inf
113570⟨a, b | aabaabbaab=b⟩Noc Inf
113571⟨a, b | aabaabbaba=a⟩Noc Inf
113572⟨a, b | aabaabbaba=b⟩Can Inf
113573⟨a, b | aabaabbabb=a⟩Noc Inf
113574⟨a, b | aabaabbbaa=a⟩Noc Inf
113575⟨a, b | aabaabbbaa=b⟩Can Inf
113576⟨a, b | aabaabbbab=a⟩Noc Inf
113577⟨a, b | aabaabbbab=b⟩Noc Inf
113578⟨a, b | aabaabbbba=a⟩Noc Inf
113579⟨a, b | aabaabbbba=b⟩Can Inf
113580⟨a, b | aababaaaab=a⟩Noc Inf
113581⟨a, b | aababaaaab=b⟩Noc Inf
113583⟨a, b | aababaaaba=b⟩Can Inf
113584⟨a, b | aababaaabb=a⟩Noc Inf
113585⟨a, b | aababaaabb=b⟩Noc Inf
113586⟨a, b | aababaabab=a⟩Noc Inf
113587⟨a, b | aababaabab=b⟩Noc Inf
113588⟨a, b | aababaabba=a⟩Noc Inf
113589⟨a, b | aababaabba=b⟩Can Inf
113590⟨a, b | aabababaab=a⟩Noc Inf
113591⟨a, b | aabababaab=b⟩Noc Inf
113592⟨a, b | aababababa=a⟩Noc Inf
113593⟨a, b | aababababa=b⟩Can Inf
113594⟨a, b | aababababb=a⟩Noc Inf
113595⟨a, b | aabababbaa=a⟩Noc Inf
113596⟨a, b | aabababbaa=b⟩Can Inf
113597⟨a, b | aabababbab=a⟩Noc Inf
113598⟨a, b | aabababbab=b⟩Noc Inf
113599⟨a, b | aabababbba=a⟩Noc Inf
113600⟨a, b | aabababbba=b⟩Can Inf
113602⟨a, b | aababbaaab=b⟩Noc Inf
113603⟨a, b | aababbaaba=a⟩Noc Inf
113604⟨a, b | aababbaaba=b⟩Can Inf
113605⟨a, b | aababbaabb=a⟩Noc Inf
113606⟨a, b | aababbaabb=b⟩Noc Inf
113608⟨a, b | aababbabaa=b⟩Can Inf
113609⟨a, b | aababbabab=a⟩Noc Inf
113610⟨a, b | aababbabab=b⟩Noc Inf
113611⟨a, b | aababbabba=a⟩Noc Inf
113612⟨a, b | aababbabba=b⟩Can Inf
113613⟨a, b | aababbbaab=a⟩Noc Inf
113614⟨a, b | aababbbaab=b⟩Noc Inf
113615⟨a, b | aababbbaba=a⟩Noc Inf
113616⟨a, b | aababbbaba=b⟩Can Inf
113617⟨a, b | aababbbbaa=a⟩Noc Inf
113618⟨a, b | aababbbbaa=b⟩Can Inf
113619⟨a, b | aababbbbab=a⟩Noc Inf
113620⟨a, b | aababbbbab=b⟩Noc Inf
113621⟨a, b | aababbbbba=a⟩Noc Inf
113622⟨a, b | aababbbbba=b⟩Can Inf
113624⟨a, b | aabbaaaaab=b⟩Noc Inf
113625⟨a, b | aabbaaaaba=a⟩Noc Inf
113627⟨a, b | aabbaaaabb=a⟩Noc Inf
113628⟨a, b | aabbaaaabb=b⟩Noc Inf
113629⟨a, b | aabbaaabab=a⟩Noc Inf
113630⟨a, b | aabbaaabab=b⟩Noc Inf
113631⟨a, b | aabbaaabba=a⟩Noc Inf1
113632⟨a, b | aabbaaabba=b⟩Can Inf
113633⟨a, b | aabbaabaab=a⟩Noc Inf
113635⟨a, b | aabbaababa=a⟩Noc Inf
113636⟨a, b | aabbaababa=b⟩Can Inf
113638⟨a, b | aabbaabbaa=b⟩Can Inf
113639⟨a, b | aabbaabbab=a⟩Noc Inf
113640⟨a, b | aabbaabbab=b⟩Noc Inf
113641⟨a, b | aabbaabbba=a⟩Noc Inf
113642⟨a, b | aabbaabbba=b⟩Can Inf
113644⟨a, b | aabbabaaab=b⟩Noc Inf
113645⟨a, b | aabbabaaba=a⟩Noc Inf
113647⟨a, b | aabbabaabb=a⟩Noc Inf
113648⟨a, b | aabbababab=a⟩Noc Inf
113649⟨a, b | aabbababab=b⟩Noc Inf
113650⟨a, b | aabbababba=a⟩Noc Inf
113651⟨a, b | aabbababba=b⟩Can Inf
113652⟨a, b | aabbabbaab=a⟩Noc Inf
113653⟨a, b | aabbabbaab=b⟩Noc Inf
113654⟨a, b | aabbabbaba=a⟩Noc Inf
113655⟨a, b | aabbabbaba=b⟩Can Inf
113656⟨a, b | aabbabbbaa=a⟩Noc Inf
113657⟨a, b | aabbabbbaa=b⟩Can Inf
113658⟨a, b | aabbabbbab=a⟩Noc Inf
113659⟨a, b | aabbabbbab=b⟩Noc Inf
113660⟨a, b | aabbabbbba=a⟩Noc Inf
113661⟨a, b | aabbabbbba=b⟩Can Inf
113663⟨a, b | aabbbaaaab=b⟩Noc Inf
113664⟨a, b | aabbbaaaba=a⟩Noc Inf
113666⟨a, b | aabbbaaabb=a⟩Noc Inf
113667⟨a, b | aabbbaabab=a⟩Noc Inf
113668⟨a, b | aabbbaabab=b⟩Noc Inf
113669⟨a, b | aabbbaabba=a⟩Noc Inf
113670⟨a, b | aabbbaabba=b⟩Can Inf
113672⟨a, b | aabbbabaab=b⟩Noc Inf
113673⟨a, b | aabbbababa=a⟩Noc Inf
113674⟨a, b | aabbbababa=b⟩Can Inf
113675⟨a, b | aabbbabbab=a⟩Noc Inf
113676⟨a, b | aabbbabbab=b⟩Noc Inf
113677⟨a, b | aabbbabbba=a⟩Noc Inf
113678⟨a, b | aabbbabbba=b⟩Can Inf
113680⟨a, b | aabbbbaaab=b⟩Noc Inf
113681⟨a, b | aabbbbaaba=a⟩Noc Inf
113682⟨a, b | aabbbbaaba=b⟩Can Inf
113683⟨a, b | aabbbbabab=a⟩Noc Inf
113684⟨a, b | aabbbbabab=b⟩Noc Inf
113685⟨a, b | aabbbbabba=a⟩Noc Inf
113686⟨a, b | aabbbbabba=b⟩Can Inf
113687⟨a, b | aabbbbbaab=a⟩Noc Inf
113688⟨a, b | aabbbbbaab=b⟩Noc Inf
113689⟨a, b | aabbbbbaba=a⟩Noc Inf
113690⟨a, b | aabbbbbaba=b⟩Can Inf
113691⟨a, b | aabbbbbbaa=a⟩Noc Inf
113692⟨a, b | aabbbbbbaa=b⟩Can Inf
113693⟨a, b | aabbbbbbab=a⟩Noc Inf
113694⟨a, b | aabbbbbbab=b⟩Noc Inf
113695⟨a, b | aabbbbbbba=a⟩Noc Inf
113696⟨a, b | aabbbbbbba=b⟩Can Inf
113697⟨a, b | abaaaaaaab=a⟩Noc Inf
113698⟨a, b | abaaaaaaab=b⟩Noc Inf
113701⟨a, b | abaaaaabab=a⟩Noc Inf
113702⟨a, b | abaaaaabab=b⟩Noc Inf
113703⟨a, b | abaaaaabba=a⟩Noc Inf
113704⟨a, b | abaaaaabba=b⟩Can Inf
113705⟨a, b | abaaaabaab=a⟩Noc Inf
113706⟨a, b | abaaaabaab=b⟩Noc Inf
113708⟨a, b | abaaaababa=b⟩Can Inf
113709⟨a, b | abaaaabbab=a⟩Noc Inf
113710⟨a, b | abaaaabbab=b⟩Noc Inf
113711⟨a, b | abaaaabbba=a⟩Noc Inf
113712⟨a, b | abaaaabbba=b⟩Can Inf
113713⟨a, b | abaaabaaab=a⟩Noc Inf
113714⟨a, b | abaaabaaab=b⟩Noc Inf
113716⟨a, b | abaaabaaba=b⟩Can Inf
113717⟨a, b | abaaababab=a⟩Noc Inf
113718⟨a, b | abaaababab=b⟩Noc Inf
113719⟨a, b | abaaababba=a⟩Noc Inf
113720⟨a, b | abaaababba=b⟩Can Inf
113721⟨a, b | abaaabbaab=a⟩Noc Inf
113722⟨a, b | abaaabbaab=b⟩Noc Inf
113723⟨a, b | abaaabbaba=a⟩Noc Inf
113724⟨a, b | abaaabbaba=b⟩Can Inf
113725⟨a, b | abaaabbbab=a⟩Noc Inf
113726⟨a, b | abaaabbbba=a⟩Noc Inf
113727⟨a, b | abaaabbbba=b⟩Can Inf
113730⟨a, b | abaabaabab=a⟩Noc Inf
113731⟨a, b | abaabaabab=b⟩Noc Inf
113732⟨a, b | abaabaabba=a⟩Noc Inf
113733⟨a, b | abaabaabba=b⟩Can Inf
113735⟨a, b | abaababaab=b⟩Noc Inf
113736⟨a, b | abaabababa=a⟩Noc Inf1
113737⟨a, b | abaabababa=b⟩Can Inf
113738⟨a, b | abaababbab=a⟩Noc Inf
113739⟨a, b | abaababbba=a⟩Noc Inf
113740⟨a, b | abaababbba=b⟩Can Inf
113742⟨a, b | abaabbaaab=b⟩Noc Inf
113743⟨a, b | abaabbaaba=a⟩Noc Inf
113745⟨a, b | abaabbabab=a⟩Noc Inf
113746⟨a, b | abaabbabab=b⟩Noc Inf
113747⟨a, b | abaabbabba=a⟩Noc Inf
113748⟨a, b | abaabbabba=b⟩Can Inf
113749⟨a, b | abaabbbaab=a⟩Noc Inf
113750⟨a, b | abaabbbaab=b⟩Noc Inf
113751⟨a, b | abaabbbaba=a⟩Noc Inf
113752⟨a, b | abaabbbaba=b⟩Can Inf
113753⟨a, b | abaabbbbba=a⟩Noc Inf
113754⟨a, b | abaabbbbba=b⟩Can Inf
113757⟨a, b | ababaaabab=a⟩Noc Inf
113758⟨a, b | ababaaabab=b⟩Noc Inf
113759⟨a, b | ababaaabba=a⟩Noc Inf
113760⟨a, b | ababaaabba=b⟩Can Inf
113765⟨a, b | ababaabbba=a⟩Noc Inf
113766⟨a, b | ababaabbba=b⟩Can Inf
113769⟨a, b | ababababab=a⟩Noc Inf
113770⟨a, b | ababababba=a⟩Noc Inf
113771⟨a, b | ababababba=b⟩Can Inf
113773⟨a, b | abababbaab=b⟩Noc Inf
113774⟨a, b | abababbaba=a⟩Noc Inf
113775⟨a, b | abababbaba=b⟩Can Inf
113776⟨a, b | abababbbba=a⟩Noc Inf
113777⟨a, b | abababbbba=b⟩Can Inf
113779⟨a, b | ababbaaaab=b⟩Noc Inf
113780⟨a, b | ababbaabab=a⟩Noc Inf
113781⟨a, b | ababbaabba=a⟩Noc Inf
113782⟨a, b | ababbaabba=b⟩Can Inf
113785⟨a, b | ababbabbba=a⟩Noc Inf
113786⟨a, b | ababbabbba=b⟩Can Inf
113788⟨a, b | ababbbaaab=b⟩Noc Inf
113789⟨a, b | ababbbabba=a⟩Noc Inf
113790⟨a, b | ababbbabba=b⟩Can Inf
113792⟨a, b | ababbbbaab=b⟩Noc Inf
113793⟨a, b | ababbbbaba=a⟩Noc Inf
113794⟨a, b | ababbbbaba=b⟩Can Inf
113795⟨a, b | ababbbbbba=a⟩Noc Inf
113796⟨a, b | ababbbbbba=b⟩Can Inf
113797⟨a, b | abbaaaaaab=a⟩Noc Inf
113798⟨a, b | abbaaaaaab=b⟩Noc Inf
113801⟨a, b | abbaaabaab=a⟩Noc Inf
113803⟨a, b | abbaaabbba=a⟩Noc Inf
113804⟨a, b | abbaaabbba=b⟩Can Inf
113807⟨a, b | abbaababba=a⟩Noc Inf
113809⟨a, b | abbaabbaab=a⟩Noc Inf
113810⟨a, b | abbaabbbba=a⟩Noc Inf
113811⟨a, b | abbaabbbba=b⟩Can Inf
113815⟨a, b | abbababbba=a⟩Noc Inf
113816⟨a, b | abbababbba=b⟩Can Inf
113819⟨a, b | abbabbabba=a⟩Noc Inf
113820⟨a, b | abbabbabba=b⟩Can Inf
113821⟨a, b | abbabbbbba=a⟩Noc Inf
113822⟨a, b | abbabbbbba=b⟩Can Inf
113823⟨a, b | abbbaaaaab=a⟩Noc Inf
113824⟨a, b | abbbaaaaab=b⟩Noc Inf
113825⟨a, b | abbbaabbba=a⟩Noc Inf
113828⟨a, b | abbbabbbba=a⟩Noc Inf
113829⟨a, b | abbbabbbba=b⟩Can Inf
113830⟨a, b | abbbbaaaab=a⟩Noc Inf
113831⟨a, b | abbbbbbbba=a⟩Noc Inf
113832⟨a, b | abbbbbbbba=b⟩Can Inf
113833⟨a, b | aaaaaaaaa=aa⟩Noc Infℕ(9 = 2) ∗ ℕ
113834⟨a, b | aaaaaaaaa=ab⟩Noc Inf
113835⟨a, b | aaaaaaaaa=bb⟩Can Inf
113836⟨a, b | aaaaaaaab=aa⟩Noc Inf
113837⟨a, b | aaaaaaaab=ab⟩Noc Inf
113838⟨a, b | aaaaaaaab=ba⟩Can Inf
113839⟨a, b | aaaaaaaab=bb⟩Noc Inf
113840⟨a, b | aaaaaaaba=aa⟩Noc Inf
113843⟨a, b | aaaaaaaba=bb⟩Can Inf
113844⟨a, b | aaaaaaabb=aa⟩Noc Inf
113845⟨a, b | aaaaaaabb=ab⟩Noc Inf
113846⟨a, b | aaaaaaabb=ba⟩Can Inf
113847⟨a, b | aaaaaaabb=bb⟩Noc Inf
113848⟨a, b | aaaaaabaa=aa⟩Noc Inf
113851⟨a, b | aaaaaabaa=bb⟩Can Inf
113852⟨a, b | aaaaaabab=aa⟩Noc Inf
113853⟨a, b | aaaaaabab=ab⟩Noc Inf
113854⟨a, b | aaaaaabab=ba⟩Can Inf
113855⟨a, b | aaaaaabab=bb⟩Noc Inf
113856⟨a, b | aaaaaabba=aa⟩Noc Inf
113859⟨a, b | aaaaaabba=bb⟩Can Inf
113860⟨a, b | aaaaaabbb=aa⟩Noc Inf
113861⟨a, b | aaaaaabbb=ab⟩Noc Inf
113862⟨a, b | aaaaaabbb=ba⟩Can Inf
113863⟨a, b | aaaaaabbb=bb⟩Noc Inf
113864⟨a, b | aaaaabaaa=aa⟩Noc Inf1
113867⟨a, b | aaaaabaaa=bb⟩Can Inf
113868⟨a, b | aaaaabaab=aa⟩Noc Inf
113869⟨a, b | aaaaabaab=ab⟩Noc Inf
113870⟨a, b | aaaaabaab=ba⟩Can Inf
113871⟨a, b | aaaaabaab=bb⟩Noc Inf
113872⟨a, b | aaaaababa=aa⟩Noc Inf
113875⟨a, b | aaaaababa=bb⟩Can Inf
113876⟨a, b | aaaaababb=aa⟩Noc Inf
113877⟨a, b | aaaaababb=ab⟩Noc Inf
113878⟨a, b | aaaaababb=ba⟩Can Inf
113879⟨a, b | aaaaababb=bb⟩Noc Inf
113880⟨a, b | aaaaabbaa=aa⟩Noc Inf
113883⟨a, b | aaaaabbaa=bb⟩Can Inf
113884⟨a, b | aaaaabbab=aa⟩Noc Inf
113885⟨a, b | aaaaabbab=ab⟩Noc Inf
113886⟨a, b | aaaaabbab=ba⟩Can Inf
113887⟨a, b | aaaaabbab=bb⟩Noc Inf
113888⟨a, b | aaaaabbba=aa⟩Noc Inf
113891⟨a, b | aaaaabbba=bb⟩Can Inf
113892⟨a, b | aaaaabbbb=aa⟩Noc Inf
113893⟨a, b | aaaaabbbb=ab⟩Noc Inf
113894⟨a, b | aaaaabbbb=ba⟩Can Inf
113895⟨a, b | aaaaabbbb=bb⟩Noc Inf
113898⟨a, b | aaaabaaaa=bb⟩Can Inf
113899⟨a, b | aaaabaaab=aa⟩Noc Inf
113900⟨a, b | aaaabaaab=ab⟩Noc Inf
113901⟨a, b | aaaabaaab=ba⟩Can Inf
113902⟨a, b | aaaabaaab=bb⟩Noc Inf
113903⟨a, b | aaaabaaba=aa⟩Noc Inf
113906⟨a, b | aaaabaaba=bb⟩Can Inf
113907⟨a, b | aaaabaabb=aa⟩Noc Inf
113908⟨a, b | aaaabaabb=ab⟩Noc Inf
113909⟨a, b | aaaabaabb=ba⟩Can Inf
113910⟨a, b | aaaabaabb=bb⟩Noc Inf
113911⟨a, b | aaaababaa=aa⟩Noc Inf
113914⟨a, b | aaaababaa=bb⟩Can Inf
113915⟨a, b | aaaababab=aa⟩Noc Inf
113916⟨a, b | aaaababab=ab⟩Noc Inf
113917⟨a, b | aaaababab=ba⟩Can Inf
113918⟨a, b | aaaababab=bb⟩Noc Inf
113919⟨a, b | aaaababba=aa⟩Noc Inf
113922⟨a, b | aaaababba=bb⟩Can Inf
113923⟨a, b | aaaababbb=aa⟩Noc Inf
113924⟨a, b | aaaababbb=ab⟩Noc Inf
113925⟨a, b | aaaababbb=ba⟩Can Inf
113926⟨a, b | aaaababbb=bb⟩Noc Inf
113927⟨a, b | aaaabbaaa=aa⟩Noc Inf
113930⟨a, b | aaaabbaaa=bb⟩Can Inf
113931⟨a, b | aaaabbaab=aa⟩Noc Inf
113932⟨a, b | aaaabbaab=ab⟩Noc Inf
113933⟨a, b | aaaabbaab=ba⟩Can Inf
113934⟨a, b | aaaabbaab=bb⟩Noc Inf
113935⟨a, b | aaaabbaba=aa⟩Noc Inf
113938⟨a, b | aaaabbaba=bb⟩Can Inf
113939⟨a, b | aaaabbabb=aa⟩Noc Inf
113940⟨a, b | aaaabbabb=ab⟩Noc Inf
113941⟨a, b | aaaabbabb=ba⟩Can Inf
113942⟨a, b | aaaabbabb=bb⟩Noc Inf
113943⟨a, b | aaaabbbaa=aa⟩Noc Inf
113946⟨a, b | aaaabbbaa=bb⟩Can Inf
113947⟨a, b | aaaabbbab=aa⟩Noc Inf
113948⟨a, b | aaaabbbab=ab⟩Noc Inf
113949⟨a, b | aaaabbbab=ba⟩Can Inf
113950⟨a, b | aaaabbbab=bb⟩Noc Inf
113951⟨a, b | aaaabbbba=aa⟩Noc Inf
113954⟨a, b | aaaabbbba=bb⟩Can Inf
113955⟨a, b | aaabaaaab=aa⟩Noc Inf
113956⟨a, b | aaabaaaab=ab⟩Noc Inf
113958⟨a, b | aaabaaaab=bb⟩Noc Inf
113959⟨a, b | aaabaaaba=aa⟩Noc Inf
113962⟨a, b | aaabaaaba=bb⟩Can Inf
113963⟨a, b | aaabaaabb=aa⟩Noc Inf
113964⟨a, b | aaabaaabb=ab⟩Noc Inf
113965⟨a, b | aaabaaabb=ba⟩Can Inf
113966⟨a, b | aaabaaabb=bb⟩Noc Inf
113967⟨a, b | aaabaabaa=aa⟩Noc Inf
113970⟨a, b | aaabaabaa=bb⟩Can Inf
113971⟨a, b | aaabaabab=aa⟩Noc Inf
113972⟨a, b | aaabaabab=ab⟩Noc Inf
113973⟨a, b | aaabaabab=ba⟩Can Inf
113974⟨a, b | aaabaabab=bb⟩Noc Inf
113975⟨a, b | aaabaabba=aa⟩Noc Inf
113978⟨a, b | aaabaabba=bb⟩Can Inf
113979⟨a, b | aaabaabbb=aa⟩Noc Inf
113980⟨a, b | aaabaabbb=ab⟩Noc Inf
113981⟨a, b | aaabaabbb=ba⟩Can Inf
113982⟨a, b | aaabaabbb=bb⟩Noc Inf
113983⟨a, b | aaababaaa=aa⟩Noc Inf
113985⟨a, b | aaababaaa=bb⟩Can Inf
113986⟨a, b | aaababaab=aa⟩Noc Inf
113987⟨a, b | aaababaab=ab⟩Noc Inf
113988⟨a, b | aaababaab=ba⟩Can Inf
113989⟨a, b | aaababaab=bb⟩Noc Inf
113990⟨a, b | aaabababa=aa⟩Noc Inf
113993⟨a, b | aaabababa=bb⟩Can Inf
113994⟨a, b | aaabababb=aa⟩Noc Inf
113995⟨a, b | aaabababb=ab⟩Noc Inf
113996⟨a, b | aaabababb=ba⟩Can Inf
113997⟨a, b | aaabababb=bb⟩Noc Inf
113998⟨a, b | aaababbaa=aa⟩Noc Inf
114001⟨a, b | aaababbaa=bb⟩Can Inf
114002⟨a, b | aaababbab=aa⟩Noc Inf
114003⟨a, b | aaababbab=ab⟩Noc Inf
114004⟨a, b | aaababbab=ba⟩Can Inf
114005⟨a, b | aaababbab=bb⟩Noc Inf
114006⟨a, b | aaababbba=aa⟩Noc Inf
114009⟨a, b | aaababbba=bb⟩Can Inf
114011⟨a, b | aaabbaaab=ab⟩Noc Inf
114013⟨a, b | aaabbaaab=bb⟩Noc Inf
114014⟨a, b | aaabbaaba=aa⟩Noc Inf
114017⟨a, b | aaabbaaba=bb⟩Can Inf
114018⟨a, b | aaabbaabb=aa⟩Noc Inf
114019⟨a, b | aaabbaabb=ab⟩Noc Inf
114020⟨a, b | aaabbaabb=ba⟩Can Inf
114021⟨a, b | aaabbaabb=bb⟩Noc Inf
114022⟨a, b | aaabbabaa=aa⟩Noc Inf
114025⟨a, b | aaabbabaa=bb⟩Can Inf
114026⟨a, b | aaabbabab=aa⟩Noc Inf
114027⟨a, b | aaabbabab=ab⟩Noc Inf
114028⟨a, b | aaabbabab=ba⟩Can Inf
114029⟨a, b | aaabbabab=bb⟩Noc Inf
114030⟨a, b | aaabbabba=aa⟩Noc Inf
114033⟨a, b | aaabbabba=bb⟩Can Inf
114034⟨a, b | aaabbbaaa=aa⟩Noc Inf
114036⟨a, b | aaabbbaaa=bb⟩Can Inf
114037⟨a, b | aaabbbaab=aa⟩Noc Inf
114038⟨a, b | aaabbbaab=ab⟩Noc Inf
114039⟨a, b | aaabbbaab=ba⟩Can Inf
114040⟨a, b | aaabbbaab=bb⟩Noc Inf
114041⟨a, b | aaabbbaba=aa⟩Noc Inf
114044⟨a, b | aaabbbaba=bb⟩Can Inf
114045⟨a, b | aaabbbabb=aa⟩Noc Inf
114046⟨a, b | aaabbbabb=ab⟩Noc Inf
114047⟨a, b | aaabbbabb=ba⟩Can Inf
114048⟨a, b | aaabbbabb=bb⟩Noc Inf
114049⟨a, b | aaabbbbaa=aa⟩Noc Inf
114052⟨a, b | aaabbbbaa=bb⟩Can Inf
114053⟨a, b | aaabbbbab=aa⟩Noc Inf
114054⟨a, b | aaabbbbab=ab⟩Noc Inf
114055⟨a, b | aaabbbbab=ba⟩Can Inf
114056⟨a, b | aaabbbbab=bb⟩Noc Inf
114057⟨a, b | aaabbbbba=aa⟩Noc Inf
114060⟨a, b | aaabbbbba=bb⟩Can Inf
114061⟨a, b | aabaaaaab=aa⟩Noc Inf
114062⟨a, b | aabaaaaab=ab⟩Noc Inf
114064⟨a, b | aabaaaaab=bb⟩Noc Inf
114065⟨a, b | aabaaaaba=aa⟩Noc Inf
114068⟨a, b | aabaaaaba=bb⟩Can Inf
114069⟨a, b | aabaaaabb=aa⟩Noc Inf
114070⟨a, b | aabaaaabb=ab⟩Noc Inf
114071⟨a, b | aabaaaabb=ba⟩Can Inf
114072⟨a, b | aabaaaabb=bb⟩Noc Inf
114073⟨a, b | aabaaabaa=aa⟩Noc Inf
114075⟨a, b | aabaaabaa=bb⟩Can Inf
114076⟨a, b | aabaaabab=aa⟩Noc Inf
114077⟨a, b | aabaaabab=ab⟩Noc Inf
114078⟨a, b | aabaaabab=ba⟩Can Inf
114079⟨a, b | aabaaabab=bb⟩Noc Inf
114080⟨a, b | aabaaabba=aa⟩Noc Inf
114083⟨a, b | aabaaabba=bb⟩Can Inf
114084⟨a, b | aabaabaab=aa⟩Noc Inf
114085⟨a, b | aabaabaab=ab⟩Noc Inf
114087⟨a, b | aabaabaab=bb⟩Noc Inf
114088⟨a, b | aabaababa=aa⟩Noc Inf
114091⟨a, b | aabaababa=bb⟩Can Inf
114092⟨a, b | aabaababb=aa⟩Noc Inf
114093⟨a, b | aabaababb=ab⟩Noc Inf
114094⟨a, b | aabaababb=ba⟩Can Inf
114095⟨a, b | aabaababb=bb⟩Noc Inf
114096⟨a, b | aabaabbaa=aa⟩Noc Inf
114099⟨a, b | aabaabbaa=bb⟩Can Inf
114100⟨a, b | aabaabbab=aa⟩Noc Inf
114101⟨a, b | aabaabbab=ab⟩Noc Inf
114102⟨a, b | aabaabbab=ba⟩Can Inf
114103⟨a, b | aabaabbab=bb⟩Noc Inf
114104⟨a, b | aabaabbba=aa⟩Noc Inf
114107⟨a, b | aabaabbba=bb⟩Can Inf
114109⟨a, b | aababaaab=ab⟩Noc Inf
114111⟨a, b | aababaaab=bb⟩Noc Inf
114112⟨a, b | aababaaba=aa⟩Noc Inf
114115⟨a, b | aababaaba=bb⟩Can Inf
114116⟨a, b | aababaabb=aa⟩Noc Inf
114117⟨a, b | aababaabb=ab⟩Noc Inf
114118⟨a, b | aababaabb=ba⟩Can Inf
114119⟨a, b | aababaabb=bb⟩Noc Inf
114120⟨a, b | aabababaa=aa⟩Noc Inf
114122⟨a, b | aabababaa=bb⟩Can Inf
114123⟨a, b | aabababab=aa⟩Noc Inf
114124⟨a, b | aabababab=ab⟩Noc Inf
114125⟨a, b | aabababab=ba⟩Can Inf
114126⟨a, b | aabababab=bb⟩Noc Inf
114127⟨a, b | aabababba=aa⟩Noc Inf
114130⟨a, b | aabababba=bb⟩Can Inf
114131⟨a, b | aababbaab=aa⟩Noc Inf
114132⟨a, b | aababbaab=ab⟩Noc Inf
114134⟨a, b | aababbaab=bb⟩Noc Inf
114135⟨a, b | aababbaba=aa⟩Noc Inf
114138⟨a, b | aababbaba=bb⟩Can Inf
114139⟨a, b | aababbbaa=aa⟩Noc Inf
114142⟨a, b | aababbbaa=bb⟩Can Inf
114143⟨a, b | aababbbab=aa⟩Noc Inf
114144⟨a, b | aababbbab=ab⟩Noc Inf
114145⟨a, b | aababbbab=ba⟩Can Inf
114146⟨a, b | aababbbab=bb⟩Noc Inf
114147⟨a, b | aababbbba=aa⟩Noc Inf
114150⟨a, b | aababbbba=bb⟩Can Inf
114151⟨a, b | aabbaaaab=aa⟩Noc Inf
114152⟨a, b | aabbaaaab=ab⟩Noc Inf
114155⟨a, b | aabbaaaba=aa⟩Noc Inf
114158⟨a, b | aabbaaaba=bb⟩Can Inf
114159⟨a, b | aabbaaabb=aa⟩Noc Inf
114160⟨a, b | aabbaaabb=ab⟩Noc Inf
114162⟨a, b | aabbaaabb=bb⟩Noc Inf
114163⟨a, b | aabbaabab=aa⟩Noc Inf
114164⟨a, b | aabbaabab=ab⟩Noc Inf
114165⟨a, b | aabbaabab=ba⟩Can Inf
114166⟨a, b | aabbaabab=bb⟩Noc Inf
114167⟨a, b | aabbaabba=aa⟩Noc Inf
114170⟨a, b | aabbaabba=bb⟩Can Inf
114171⟨a, b | aabbabaab=aa⟩Noc Inf
114172⟨a, b | aabbabaab=ab⟩Noc Inf
114174⟨a, b | aabbabaab=bb⟩Noc Inf
114175⟨a, b | aabbababa=aa⟩Noc Inf
114178⟨a, b | aabbababa=bb⟩Can Inf
114179⟨a, b | aabbabbaa=aa⟩Noc Inf
114181⟨a, b | aabbabbaa=bb⟩Can Inf
114182⟨a, b | aabbabbab=aa⟩Noc Inf
114183⟨a, b | aabbabbab=ab⟩Noc Inf
114184⟨a, b | aabbabbab=ba⟩Can Inf
114185⟨a, b | aabbabbab=bb⟩Noc Inf
114186⟨a, b | aabbabbba=aa⟩Noc Inf
114189⟨a, b | aabbabbba=bb⟩Can Inf
114190⟨a, b | aabbbaaab=aa⟩Noc Inf
114191⟨a, b | aabbbaaab=ab⟩Noc Inf
114193⟨a, b | aabbbaaab=bb⟩Noc Inf
114194⟨a, b | aabbbaaba=aa⟩Noc Inf
114197⟨a, b | aabbbaaba=bb⟩Can Inf
114198⟨a, b | aabbbabab=aa⟩Noc Inf
114199⟨a, b | aabbbabab=ab⟩Noc Inf
114200⟨a, b | aabbbabab=ba⟩Can Inf
114201⟨a, b | aabbbabab=bb⟩Noc Inf
114202⟨a, b | aabbbabba=aa⟩Noc Inf
114205⟨a, b | aabbbabba=bb⟩Can Inf
114206⟨a, b | aabbbbaab=aa⟩Noc Inf
114207⟨a, b | aabbbbaab=ab⟩Noc Inf
114209⟨a, b | aabbbbaab=bb⟩Noc Inf
114210⟨a, b | aabbbbaba=aa⟩Noc Inf
114213⟨a, b | aabbbbaba=bb⟩Can Inf
114214⟨a, b | aabbbbbaa=aa⟩Noc Inf
114216⟨a, b | aabbbbbaa=bb⟩Can Inf
114217⟨a, b | aabbbbbab=aa⟩Noc Inf
114218⟨a, b | aabbbbbab=ab⟩Noc Inf
114219⟨a, b | aabbbbbab=ba⟩Can Inf
114220⟨a, b | aabbbbbab=bb⟩Noc Inf
114221⟨a, b | aabbbbbba=aa⟩Noc Inf
114224⟨a, b | aabbbbbba=bb⟩Can Inf
114225⟨a, b | abaaaaaab=aa⟩Noc Inf
114226⟨a, b | abaaaaaab=ab⟩Noc Inf
114228⟨a, b | abaaaaaab=bb⟩Noc Inf
114229⟨a, b | abaaaaaba=aa⟩Noc Inf
114231⟨a, b | abaaaaaba=bb⟩Can Inf
114232⟨a, b | abaaaabab=aa⟩Noc Inf
114233⟨a, b | abaaaabab=ab⟩Noc Inf
114235⟨a, b | abaaaabab=bb⟩Noc Inf
114236⟨a, b | abaaaabba=aa⟩Noc Inf
114239⟨a, b | abaaaabba=bb⟩Can Inf
114240⟨a, b | abaaabaab=aa⟩Noc Inf
114241⟨a, b | abaaabaab=ab⟩Noc Inf
114243⟨a, b | abaaabaab=bb⟩Noc Inf
114244⟨a, b | abaaababa=aa⟩Noc Inf
114247⟨a, b | abaaababa=bb⟩Can Inf
114248⟨a, b | abaaabbab=aa⟩Noc Inf
114249⟨a, b | abaaabbab=ab⟩Noc Inf
114251⟨a, b | abaaabbab=bb⟩Noc Inf
114252⟨a, b | abaaabbba=aa⟩Noc Inf
114255⟨a, b | abaaabbba=bb⟩Can Inf
114256⟨a, b | abaabaaab=aa⟩Noc Inf
114257⟨a, b | abaabaaab=ab⟩Noc Inf
114259⟨a, b | abaabaaab=bb⟩Noc Inf
114260⟨a, b | abaabaaba=aa⟩Noc Inf
114262⟨a, b | abaabaaba=bb⟩Can Inf
114263⟨a, b | abaababab=aa⟩Noc Inf
114264⟨a, b | abaababab=ab⟩Noc Inf
114266⟨a, b | abaababab=bb⟩Noc Inf
114267⟨a, b | abaababba=aa⟩Noc Inf
114270⟨a, b | abaababba=bb⟩Can Inf
114271⟨a, b | abaabbaab=aa⟩Noc Inf
114272⟨a, b | abaabbaab=ab⟩Noc Inf
114274⟨a, b | abaabbaab=bb⟩Noc Inf
114275⟨a, b | abaabbaba=aa⟩Noc Inf
114278⟨a, b | abaabbaba=bb⟩Can Inf
114279⟨a, b | abaabbbba=aa⟩Noc Inf
114282⟨a, b | abaabbbba=bb⟩Can Inf
114284⟨a, b | ababaaaab=ab⟩Noc Inf
114286⟨a, b | ababaaaab=bb⟩Noc Inf
114287⟨a, b | ababaabab=aa⟩Noc Inf
114288⟨a, b | ababaabab=ab⟩Noc Inf
114290⟨a, b | ababaabab=bb⟩Noc Inf
114291⟨a, b | ababaabba=aa⟩Noc Inf
114294⟨a, b | ababaabba=bb⟩Can Inf
114295⟨a, b | abababaab=aa⟩Noc Inf
114296⟨a, b | abababaab=ab⟩Noc Inf
114298⟨a, b | abababaab=bb⟩Noc Inf
114299⟨a, b | ababababa=aa⟩Noc Inf
114301⟨a, b | ababababa=bb⟩Can Inf
114302⟨a, b | abababbba=aa⟩Noc Inf
114305⟨a, b | abababbba=bb⟩Can Inf
114307⟨a, b | ababbaaab=ab⟩Noc Inf
114309⟨a, b | ababbaaab=bb⟩Noc Inf
114310⟨a, b | ababbabba=aa⟩Noc Inf
114313⟨a, b | ababbabba=bb⟩Can Inf
114314⟨a, b | ababbbaab=aa⟩Noc Inf
114315⟨a, b | ababbbaab=ab⟩Noc Inf
114317⟨a, b | ababbbaab=bb⟩Noc Inf
114318⟨a, b | ababbbaba=aa⟩Noc Inf
114320⟨a, b | ababbbaba=bb⟩Can Inf
114321⟨a, b | ababbbbba=aa⟩Noc Inf
114324⟨a, b | ababbbbba=bb⟩Can Inf
114326⟨a, b | abbaaaaab=ab⟩Noc Inf
114329⟨a, b | abbaaabba=aa⟩Noc Inf
114333⟨a, b | abbaabaab=ab⟩Noc Inf
114336⟨a, b | abbaabbba=aa⟩Noc Inf
114339⟨a, b | abbaabbba=bb⟩Can Inf
114341⟨a, b | abbabaaab=ab⟩Noc Inf
114344⟨a, b | abbababba=aa⟩Noc Inf
114346⟨a, b | abbababba=bb⟩Can Inf
114347⟨a, b | abbabbbba=aa⟩Noc Inf
114350⟨a, b | abbabbbba=bb⟩Can Inf
114352⟨a, b | abbbaaaab=ab⟩Noc Inf
114355⟨a, b | abbbabbba=aa⟩Noc Inf
114357⟨a, b | abbbabbba=bb⟩Can Inf
114358⟨a, b | abbbbbbba=aa⟩Noc Inf
114360⟨a, b | abbbbbbba=bb⟩Can Inf
114361⟨a, b | aaaaaaaa=aaa⟩Noc Infℕ(8 = 3) ∗ ℕ
114362⟨a, b | aaaaaaaa=aab⟩Noc Inf
114363⟨a, b | aaaaaaaa=aba⟩Noc Inf
114364⟨a, b | aaaaaaaa=abb⟩Noc Inf
114365⟨a, b | aaaaaaaa=bab⟩Can Inf
114366⟨a, b | aaaaaaaa=bbb⟩Can Inf
114367⟨a, b | aaaaaaab=aaa⟩Noc Inf
114368⟨a, b | aaaaaaab=aab⟩Noc Inf
114369⟨a, b | aaaaaaab=aba⟩Noc Inf
114370⟨a, b | aaaaaaab=abb⟩Noc Inf
114371⟨a, b | aaaaaaab=baa⟩Can Inf
114372⟨a, b | aaaaaaab=bab⟩Noc Inf
114373⟨a, b | aaaaaaab=bba⟩Can Inf
114374⟨a, b | aaaaaaab=bbb⟩Noc Inf
114375⟨a, b | aaaaaaba=aaa⟩Noc Inf
114377⟨a, b | aaaaaaba=aba⟩Noc Inf
114378⟨a, b | aaaaaaba=abb⟩Noc Inf
114379⟨a, b | aaaaaaba=baa⟩Noc Inf
114380⟨a, b | aaaaaaba=bab⟩Can Inf
114381⟨a, b | aaaaaaba=bba⟩Noc Inf
114382⟨a, b | aaaaaaba=bbb⟩Can Inf
114383⟨a, b | aaaaaabb=aaa⟩Noc Inf
114384⟨a, b | aaaaaabb=aab⟩Noc Inf
114385⟨a, b | aaaaaabb=aba⟩Noc Inf
114386⟨a, b | aaaaaabb=abb⟩Noc Inf
114387⟨a, b | aaaaaabb=baa⟩Can Inf
114388⟨a, b | aaaaaabb=bab⟩Noc Inf
114389⟨a, b | aaaaaabb=bba⟩Can Inf
114390⟨a, b | aaaaaabb=bbb⟩Noc Inf
114391⟨a, b | aaaaabaa=aaa⟩Noc Inf
114393⟨a, b | aaaaabaa=aba⟩Noc Inf
114394⟨a, b | aaaaabaa=abb⟩Noc Inf
114396⟨a, b | aaaaabaa=bab⟩Can Inf
114397⟨a, b | aaaaabaa=bba⟩Noc Inf
114398⟨a, b | aaaaabaa=bbb⟩Can Inf
114399⟨a, b | aaaaabab=aaa⟩Noc Inf
114400⟨a, b | aaaaabab=aab⟩Noc Inf
114401⟨a, b | aaaaabab=aba⟩Noc Inf
114402⟨a, b | aaaaabab=abb⟩Noc Inf
114403⟨a, b | aaaaabab=baa⟩Can Inf
114404⟨a, b | aaaaabab=bab⟩Noc Inf
114405⟨a, b | aaaaabab=bba⟩Can Inf
114406⟨a, b | aaaaabab=bbb⟩Noc Inf
114407⟨a, b | aaaaabba=aaa⟩Noc Inf
114409⟨a, b | aaaaabba=aba⟩Noc Inf
114412⟨a, b | aaaaabba=bab⟩Can Inf
114414⟨a, b | aaaaabba=bbb⟩Can Inf
114415⟨a, b | aaaaabbb=aaa⟩Noc Inf
114416⟨a, b | aaaaabbb=aab⟩Noc Inf
114417⟨a, b | aaaaabbb=aba⟩Noc Inf
114418⟨a, b | aaaaabbb=abb⟩Noc Inf
114419⟨a, b | aaaaabbb=baa⟩Can Inf
114420⟨a, b | aaaaabbb=bab⟩Noc Inf
114421⟨a, b | aaaaabbb=bba⟩Can Inf
114422⟨a, b | aaaaabbb=bbb⟩Noc Inf
114423⟨a, b | aaaabaaa=aaa⟩Noc Inf
114425⟨a, b | aaaabaaa=aba⟩Noc Inf
114426⟨a, b | aaaabaaa=abb⟩Noc Inf
114428⟨a, b | aaaabaaa=bab⟩Can Inf
114429⟨a, b | aaaabaaa=bba⟩Noc Inf
114430⟨a, b | aaaabaaa=bbb⟩Can Inf
114431⟨a, b | aaaabaab=aaa⟩Noc Inf
114432⟨a, b | aaaabaab=aab⟩Noc Inf
114433⟨a, b | aaaabaab=aba⟩Noc Inf
114434⟨a, b | aaaabaab=abb⟩Noc Inf
114435⟨a, b | aaaabaab=baa⟩Can Inf
114436⟨a, b | aaaabaab=bab⟩Noc Inf
114437⟨a, b | aaaabaab=bba⟩Can Inf
114438⟨a, b | aaaabaab=bbb⟩Noc Inf
114439⟨a, b | aaaababa=aaa⟩Noc Inf
114441⟨a, b | aaaababa=aba⟩Noc Inf
114444⟨a, b | aaaababa=bab⟩Can Inf
114446⟨a, b | aaaababa=bbb⟩Can Inf
114447⟨a, b | aaaababb=aaa⟩Noc Inf
114448⟨a, b | aaaababb=aab⟩Noc Inf
114449⟨a, b | aaaababb=aba⟩Noc Inf
114450⟨a, b | aaaababb=abb⟩Noc Inf
114451⟨a, b | aaaababb=baa⟩Can Inf
114452⟨a, b | aaaababb=bab⟩Noc Inf
114453⟨a, b | aaaababb=bba⟩Can Inf
114454⟨a, b | aaaababb=bbb⟩Noc Inf
114455⟨a, b | aaaabbaa=aaa⟩Noc Inf
114457⟨a, b | aaaabbaa=aba⟩Noc Inf
114460⟨a, b | aaaabbaa=bab⟩Can Inf
114462⟨a, b | aaaabbaa=bbb⟩Can Inf
114463⟨a, b | aaaabbab=aaa⟩Noc Inf
114464⟨a, b | aaaabbab=aab⟩Noc Inf
114465⟨a, b | aaaabbab=aba⟩Noc Inf
114466⟨a, b | aaaabbab=abb⟩Noc Inf
114467⟨a, b | aaaabbab=baa⟩Can Inf
114468⟨a, b | aaaabbab=bab⟩Noc Inf
114469⟨a, b | aaaabbab=bba⟩Can Inf
114470⟨a, b | aaaabbab=bbb⟩Noc Inf
114471⟨a, b | aaaabbba=aaa⟩Noc Inf
114473⟨a, b | aaaabbba=aba⟩Noc Inf
114476⟨a, b | aaaabbba=bab⟩Can Inf
114478⟨a, b | aaaabbba=bbb⟩Can Inf
114479⟨a, b | aaaabbbb=aaa⟩Noc Inf
114480⟨a, b | aaaabbbb=aab⟩Noc Inf
114481⟨a, b | aaaabbbb=aba⟩Noc Inf
114482⟨a, b | aaaabbbb=baa⟩Can Inf
114483⟨a, b | aaabaaab=aaa⟩Noc Inf
114484⟨a, b | aaabaaab=aab⟩Noc Inf
114486⟨a, b | aaabaaab=abb⟩Noc Inf
114488⟨a, b | aaabaaab=bab⟩Noc Inf
114489⟨a, b | aaabaaab=bba⟩Can Inf
114490⟨a, b | aaabaaab=bbb⟩Noc Inf
114491⟨a, b | aaabaaba=aaa⟩Noc Inf
114493⟨a, b | aaabaaba=aba⟩Noc Inf
114496⟨a, b | aaabaaba=bab⟩Can Inf
114498⟨a, b | aaabaaba=bbb⟩Can Inf
114499⟨a, b | aaabaabb=aaa⟩Noc Inf
114500⟨a, b | aaabaabb=aab⟩Noc Inf
114501⟨a, b | aaabaabb=aba⟩Noc Inf
114502⟨a, b | aaabaabb=abb⟩Noc Inf
114503⟨a, b | aaabaabb=baa⟩Can Inf
114504⟨a, b | aaabaabb=bab⟩Noc Inf
114505⟨a, b | aaabaabb=bba⟩Can Inf
114506⟨a, b | aaabaabb=bbb⟩Noc Inf
114507⟨a, b | aaababaa=aaa⟩Noc Inf
114509⟨a, b | aaababaa=aba⟩Noc Inf
114512⟨a, b | aaababaa=bab⟩Can Inf
114514⟨a, b | aaababaa=bbb⟩Can Inf
114515⟨a, b | aaababab=aaa⟩Noc Inf
114516⟨a, b | aaababab=aab⟩Noc Inf
114517⟨a, b | aaababab=aba⟩Noc Inf
114518⟨a, b | aaababab=abb⟩Noc Inf
114519⟨a, b | aaababab=baa⟩Can Inf
114520⟨a, b | aaababab=bab⟩Noc Inf
114521⟨a, b | aaababab=bba⟩Can Inf
114522⟨a, b | aaababab=bbb⟩Noc Inf
114523⟨a, b | aaababba=aaa⟩Noc Inf
114525⟨a, b | aaababba=aba⟩Noc Inf
114528⟨a, b | aaababba=bab⟩Can Inf
114530⟨a, b | aaababba=bbb⟩Can Inf
114531⟨a, b | aaababbb=aaa⟩Noc Inf
114532⟨a, b | aaababbb=aab⟩Noc Inf
114533⟨a, b | aaababbb=aba⟩Noc Inf
114534⟨a, b | aaababbb=baa⟩Can Inf
114535⟨a, b | aaabbaaa=aaa⟩Noc Inf
114537⟨a, b | aaabbaaa=aba⟩Noc Inf
114539⟨a, b | aaabbaaa=bab⟩Can Inf
114540⟨a, b | aaabbaaa=bbb⟩Can Inf
114541⟨a, b | aaabbaab=aaa⟩Noc Inf
114542⟨a, b | aaabbaab=aab⟩Noc Inf
114543⟨a, b | aaabbaab=aba⟩Noc Inf
114544⟨a, b | aaabbaab=abb⟩Noc Inf
114545⟨a, b | aaabbaab=baa⟩Can Inf
114546⟨a, b | aaabbaab=bab⟩Noc Inf
114547⟨a, b | aaabbaab=bba⟩Can Inf
114548⟨a, b | aaabbaab=bbb⟩Noc Inf
114549⟨a, b | aaabbaba=aaa⟩Noc Inf
114551⟨a, b | aaabbaba=aba⟩Noc Inf
114554⟨a, b | aaabbaba=bab⟩Can Inf
114556⟨a, b | aaabbaba=bbb⟩Can Inf
114557⟨a, b | aaabbabb=aaa⟩Noc Inf
114558⟨a, b | aaabbabb=aab⟩Noc Inf
114559⟨a, b | aaabbabb=aba⟩Noc Inf
114560⟨a, b | aaabbabb=abb⟩Noc Inf
114561⟨a, b | aaabbabb=baa⟩Can Inf
114562⟨a, b | aaabbabb=bab⟩Noc Inf
114563⟨a, b | aaabbabb=bba⟩Can Inf
114564⟨a, b | aaabbabb=bbb⟩Noc Inf
114565⟨a, b | aaabbbaa=aaa⟩Noc Inf
114567⟨a, b | aaabbbaa=aba⟩Noc Inf
114570⟨a, b | aaabbbaa=bab⟩Can Inf
114572⟨a, b | aaabbbaa=bbb⟩Can Inf
114573⟨a, b | aaabbbab=aaa⟩Noc Inf
114574⟨a, b | aaabbbab=aab⟩Noc Inf
114575⟨a, b | aaabbbab=aba⟩Noc Inf
114576⟨a, b | aaabbbab=abb⟩Noc Inf
114577⟨a, b | aaabbbab=baa⟩Can Inf
114578⟨a, b | aaabbbab=bab⟩Noc Inf
114579⟨a, b | aaabbbab=bba⟩Can Inf
114580⟨a, b | aaabbbab=bbb⟩Noc Inf
114581⟨a, b | aaabbbba=aaa⟩Noc Inf
114583⟨a, b | aaabbbba=aba⟩Noc Inf
114586⟨a, b | aaabbbba=bab⟩Can Inf
114588⟨a, b | aaabbbba=bbb⟩Can Inf
114589⟨a, b | aabaaaab=aaa⟩Noc Inf
114590⟨a, b | aabaaaab=aab⟩Noc Inf
114592⟨a, b | aabaaaab=abb⟩Noc Inf
114594⟨a, b | aabaaaab=bab⟩Noc Inf
114595⟨a, b | aabaaaab=bba⟩Can Inf
114596⟨a, b | aabaaaab=bbb⟩Noc Inf
114597⟨a, b | aabaaaba=aaa⟩Noc Inf
114599⟨a, b | aabaaaba=aba⟩Noc Inf
114602⟨a, b | aabaaaba=bab⟩Can Inf
114604⟨a, b | aabaaaba=bbb⟩Can Inf
114605⟨a, b | aabaaabb=aaa⟩Noc Inf
114606⟨a, b | aabaaabb=aab⟩Noc Inf
114607⟨a, b | aabaaabb=aba⟩Noc Inf
114608⟨a, b | aabaaabb=abb⟩Noc Inf
114609⟨a, b | aabaaabb=baa⟩Can Inf
114610⟨a, b | aabaaabb=bab⟩Noc Inf
114611⟨a, b | aabaaabb=bba⟩Can Inf
114612⟨a, b | aabaaabb=bbb⟩Noc Inf
114613⟨a, b | aabaabaa=aaa⟩Noc Inf
114615⟨a, b | aabaabaa=aba⟩Noc Inf
114617⟨a, b | aabaabaa=bab⟩Can Inf
114618⟨a, b | aabaabaa=bbb⟩Can Inf
114619⟨a, b | aabaabab=aaa⟩Noc Inf
114620⟨a, b | aabaabab=aab⟩Noc Inf
114621⟨a, b | aabaabab=aba⟩Noc Inf
114622⟨a, b | aabaabab=abb⟩Noc Inf
114623⟨a, b | aabaabab=baa⟩Can Inf
114624⟨a, b | aabaabab=bab⟩Noc Inf
114625⟨a, b | aabaabab=bba⟩Can Inf
114626⟨a, b | aabaabab=bbb⟩Noc Inf
114627⟨a, b | aabaabba=aaa⟩Noc Inf
114629⟨a, b | aabaabba=aba⟩Noc Inf
114632⟨a, b | aabaabba=bab⟩Can Inf
114634⟨a, b | aabaabba=bbb⟩Can Inf
114635⟨a, b | aababaab=aaa⟩Noc Inf
114636⟨a, b | aababaab=aab⟩Noc Inf
114638⟨a, b | aababaab=abb⟩Noc Inf
114640⟨a, b | aababaab=bab⟩Noc Inf
114642⟨a, b | aababaab=bbb⟩Noc Inf
114643⟨a, b | aabababa=aaa⟩Noc Inf
114645⟨a, b | aabababa=aba⟩Noc Inf
114648⟨a, b | aabababa=bab⟩Can Inf
114650⟨a, b | aabababa=bbb⟩Can Inf
114651⟨a, b | aabababb=aaa⟩Noc Inf
114652⟨a, b | aabababb=aab⟩Noc Inf
114653⟨a, b | aabababb=aba⟩Noc Inf
114654⟨a, b | aabababb=baa⟩Can Inf
114655⟨a, b | aababbaa=aaa⟩Noc Inf
114657⟨a, b | aababbaa=aba⟩Noc Inf
114660⟨a, b | aababbaa=bab⟩Can Inf
114662⟨a, b | aababbaa=bbb⟩Can Inf
114663⟨a, b | aababbab=aaa⟩Noc Inf
114664⟨a, b | aababbab=aab⟩Noc Inf
114665⟨a, b | aababbab=aba⟩Noc Inf
114666⟨a, b | aababbab=abb⟩Noc Inf
114667⟨a, b | aababbab=baa⟩Can Inf
114668⟨a, b | aababbab=bab⟩Noc Inf
114669⟨a, b | aababbab=bba⟩Can Inf
114670⟨a, b | aababbab=bbb⟩Noc Inf
114671⟨a, b | aababbba=aaa⟩Noc Inf
114673⟨a, b | aababbba=aba⟩Noc Inf
114676⟨a, b | aababbba=bab⟩Can Inf
114678⟨a, b | aababbba=bbb⟩Can Inf
114680⟨a, b | aabbaaab=aab⟩Noc Inf
114682⟨a, b | aabbaaab=abb⟩Noc Inf
114684⟨a, b | aabbaaab=bab⟩Noc Inf
114686⟨a, b | aabbaaab=bbb⟩Noc Inf
114687⟨a, b | aabbaaba=aaa⟩Noc Inf
114689⟨a, b | aabbaaba=aba⟩Noc Inf
114692⟨a, b | aabbaaba=bab⟩Can Inf
114694⟨a, b | aabbaaba=bbb⟩Can Inf
114695⟨a, b | aabbaabb=aaa⟩Noc Inf
114696⟨a, b | aabbaabb=aab⟩Noc Inf
114697⟨a, b | aabbaabb=aba⟩Noc Inf
114699⟨a, b | aabbabab=aaa⟩Noc Inf
114700⟨a, b | aabbabab=aab⟩Noc Inf
114701⟨a, b | aabbabab=aba⟩Noc Inf
114702⟨a, b | aabbabab=abb⟩Noc Inf
114703⟨a, b | aabbabab=baa⟩Can Inf
114704⟨a, b | aabbabab=bab⟩Noc Inf
114705⟨a, b | aabbabab=bba⟩Can Inf
114706⟨a, b | aabbabab=bbb⟩Noc Inf
114707⟨a, b | aabbabba=aaa⟩Noc Inf
114709⟨a, b | aabbabba=aba⟩Noc Inf
114712⟨a, b | aabbabba=bab⟩Can Inf
114714⟨a, b | aabbabba=bbb⟩Can Inf
114715⟨a, b | aabbbaab=aaa⟩Noc Inf
114716⟨a, b | aabbbaab=aab⟩Noc Inf
114718⟨a, b | aabbbaab=abb⟩Noc Inf
114720⟨a, b | aabbbaab=bab⟩Noc Inf
114722⟨a, b | aabbbaab=bbb⟩Noc Inf
114723⟨a, b | aabbbaba=aaa⟩Noc Inf
114725⟨a, b | aabbbaba=aba⟩Noc Inf
114728⟨a, b | aabbbaba=bab⟩Can Inf
114730⟨a, b | aabbbaba=bbb⟩Can Inf
114731⟨a, b | aabbbbaa=aaa⟩Noc Inf
114733⟨a, b | aabbbbaa=aba⟩Noc Inf
114735⟨a, b | aabbbbaa=bab⟩Can Inf
114736⟨a, b | aabbbbaa=bbb⟩Can Inf
114737⟨a, b | aabbbbab=aaa⟩Noc Inf
114738⟨a, b | aabbbbab=aab⟩Noc Inf
114739⟨a, b | aabbbbab=aba⟩Noc Inf
114740⟨a, b | aabbbbab=abb⟩Noc Inf
114741⟨a, b | aabbbbab=baa⟩Can Inf
114742⟨a, b | aabbbbab=bab⟩Noc Inf
114743⟨a, b | aabbbbab=bba⟩Can Inf
114744⟨a, b | aabbbbab=bbb⟩Noc Inf
114745⟨a, b | aabbbbba=aaa⟩Noc Inf
114747⟨a, b | aabbbbba=aba⟩Noc Inf
114750⟨a, b | aabbbbba=bab⟩Can Inf
114752⟨a, b | aabbbbba=bbb⟩Can Inf
114753⟨a, b | abaaaaab=aaa⟩Noc Inf
114759⟨a, b | abaaaaab=bba⟩Can Inf
114760⟨a, b | abaaaaab=bbb⟩Noc Inf
114761⟨a, b | abaaaaba=aaa⟩Noc Inf
114763⟨a, b | abaaaaba=aba⟩Noc Inf
114766⟨a, b | abaaaaba=bbb⟩Can Inf
114767⟨a, b | abaaabab=aaa⟩Noc Inf
114774⟨a, b | abaaabab=bbb⟩Noc Inf
114775⟨a, b | abaaabba=aaa⟩Noc Inf
114777⟨a, b | abaaabba=aba⟩Noc Inf
114782⟨a, b | abaaabba=bbb⟩Can Inf
114783⟨a, b | abaabaab=aaa⟩Noc Inf
114790⟨a, b | abaabaab=bbb⟩Noc Inf
114791⟨a, b | abaababa=aaa⟩Noc Inf
114793⟨a, b | abaababa=aba⟩Noc Inf
114798⟨a, b | abaababa=bbb⟩Can Inf
114799⟨a, b | abaabbab=aaa⟩Noc Inf
114803⟨a, b | abaabbba=aaa⟩Noc Inf
114805⟨a, b | abaabbba=aba⟩Noc Inf
114810⟨a, b | abaabbba=bbb⟩Can Inf
114811⟨a, b | ababaaab=aaa⟩Noc Inf
114818⟨a, b | ababaaab=bbb⟩Noc Inf
114819⟨a, b | abababab=aaa⟩Noc Inf
114823⟨a, b | abababba=aaa⟩Noc Inf
114824⟨a, b | abababba=aab⟩Noc Inf
114825⟨a, b | abababba=aba⟩Noc Inf
114830⟨a, b | abababba=bbb⟩Can Inf
114831⟨a, b | ababbaab=aaa⟩Noc Inf
114838⟨a, b | ababbaab=bbb⟩Noc Inf
114839⟨a, b | ababbaba=aaa⟩Noc Inf
114841⟨a, b | ababbaba=aba⟩Noc Inf
114844⟨a, b | ababbaba=bbb⟩Can Inf
114845⟨a, b | ababbbba=aaa⟩Noc Inf
114847⟨a, b | ababbbba=aba⟩Noc Inf
114852⟨a, b | ababbbba=bbb⟩Can Inf
114860⟨a, b | abbaaaab=bbb⟩Noc Inf
114861⟨a, b | abbaabba=aaa⟩Noc Inf
114863⟨a, b | abbaabba=aba⟩Noc Inf
114866⟨a, b | abbaabba=bbb⟩Can Inf
114867⟨a, b | abbabaab=aaa⟩Noc Inf
114871⟨a, b | abbabbba=aaa⟩Noc Inf
114873⟨a, b | abbabbba=aba⟩Noc Inf
114878⟨a, b | abbabbba=bbb⟩Can Inf
114883⟨a, b | abbbbbba=aaa⟩Noc Inf
114884⟨a, b | abbbbbba=aab⟩Noc Inf
114885⟨a, b | abbbbbba=aba⟩Noc Inf
114888⟨a, b | abbbbbba=bbb⟩Can Inf
114889⟨a, b | aaaaaaa=aaaa⟩Noc Infℕ(7 = 4) ∗ ℕ
114890⟨a, b | aaaaaaa=aaab⟩Noc Inf
114891⟨a, b | aaaaaaa=aaba⟩Noc Inf
114892⟨a, b | aaaaaaa=aabb⟩Noc Inf
114893⟨a, b | aaaaaaa=abab⟩Noc Inf
114894⟨a, b | aaaaaaa=abba⟩Noc Inf
114895⟨a, b | aaaaaaa=abbb⟩Noc Inf
114896⟨a, b | aaaaaaa=baab⟩Can Inf
114897⟨a, b | aaaaaaa=babb⟩Can Inf
114898⟨a, b | aaaaaaa=bbbb⟩Can Inf
114899⟨a, b | aaaaaab=aaaa⟩Noc Inf
114900⟨a, b | aaaaaab=aaab⟩Noc Inf
114901⟨a, b | aaaaaab=aaba⟩Noc Inf
114902⟨a, b | aaaaaab=aabb⟩Noc Inf
114903⟨a, b | aaaaaab=abaa⟩Noc Inf
114904⟨a, b | aaaaaab=abab⟩Noc Inf
114905⟨a, b | aaaaaab=abba⟩Noc Inf
114906⟨a, b | aaaaaab=abbb⟩Noc Inf
114907⟨a, b | aaaaaab=baaa⟩Can Inf
114908⟨a, b | aaaaaab=baab⟩Noc Inf
114909⟨a, b | aaaaaab=baba⟩Can Inf
114910⟨a, b | aaaaaab=babb⟩Noc Inf
114911⟨a, b | aaaaaab=bbaa⟩Can Inf
114912⟨a, b | aaaaaab=bbab⟩Noc Inf
114913⟨a, b | aaaaaab=bbba⟩Can Inf
114914⟨a, b | aaaaaab=bbbb⟩Noc Inf
114915⟨a, b | aaaaaba=aaaa⟩Noc Inf
114917⟨a, b | aaaaaba=aaba⟩Noc Inf
114918⟨a, b | aaaaaba=aabb⟩Noc Inf
114919⟨a, b | aaaaaba=abaa⟩Noc Inf
114920⟨a, b | aaaaaba=abab⟩Noc Inf
114921⟨a, b | aaaaaba=abba⟩Noc Inf
114922⟨a, b | aaaaaba=abbb⟩Noc Inf
114923⟨a, b | aaaaaba=baaa⟩Noc Inf
114924⟨a, b | aaaaaba=baab⟩Can Inf
114926⟨a, b | aaaaaba=babb⟩Can Inf
114927⟨a, b | aaaaaba=bbaa⟩Noc Inf
114928⟨a, b | aaaaaba=bbab⟩Can Inf
114929⟨a, b | aaaaaba=bbba⟩Noc Inf
114930⟨a, b | aaaaaba=bbbb⟩Can Inf
114931⟨a, b | aaaaabb=aaaa⟩Noc Inf
114932⟨a, b | aaaaabb=aaab⟩Noc Inf
114933⟨a, b | aaaaabb=aaba⟩Noc Inf
114934⟨a, b | aaaaabb=aabb⟩Noc Inf
114935⟨a, b | aaaaabb=abaa⟩Noc Inf
114936⟨a, b | aaaaabb=abab⟩Noc Inf
114937⟨a, b | aaaaabb=abba⟩Noc Inf
114938⟨a, b | aaaaabb=abbb⟩Noc Inf
114939⟨a, b | aaaaabb=baaa⟩Can Inf
114940⟨a, b | aaaaabb=baab⟩Noc Inf
114941⟨a, b | aaaaabb=baba⟩Can Inf
114942⟨a, b | aaaaabb=babb⟩Noc Inf
114943⟨a, b | aaaaabb=bbaa⟩Can Inf
114944⟨a, b | aaaaabb=bbab⟩Noc Inf
114945⟨a, b | aaaaabb=bbba⟩Can Inf
114946⟨a, b | aaaaabb=bbbb⟩Noc Inf
114947⟨a, b | aaaabaa=aaaa⟩Noc Inf
114950⟨a, b | aaaabaa=aabb⟩Noc Inf
114952⟨a, b | aaaabaa=abab⟩Noc Inf
114953⟨a, b | aaaabaa=abba⟩Noc Inf
114954⟨a, b | aaaabaa=abbb⟩Noc Inf
114955⟨a, b | aaaabaa=baaa⟩Noc Inf
114956⟨a, b | aaaabaa=baab⟩Can Inf
114958⟨a, b | aaaabaa=babb⟩Can Inf
114959⟨a, b | aaaabaa=bbaa⟩Noc Inf
114960⟨a, b | aaaabaa=bbab⟩Can Inf
114961⟨a, b | aaaabaa=bbba⟩Noc Inf
114962⟨a, b | aaaabaa=bbbb⟩Can Inf
114963⟨a, b | aaaabab=aaaa⟩Noc Inf
114964⟨a, b | aaaabab=aaab⟩Noc Inf
114965⟨a, b | aaaabab=aaba⟩Noc Inf
114966⟨a, b | aaaabab=aabb⟩Noc Inf
114967⟨a, b | aaaabab=abaa⟩Noc Inf
114968⟨a, b | aaaabab=abab⟩Noc Inf
114969⟨a, b | aaaabab=abba⟩Noc Inf
114970⟨a, b | aaaabab=abbb⟩Noc Inf
114971⟨a, b | aaaabab=baaa⟩Can Inf
114972⟨a, b | aaaabab=baab⟩Noc Inf
114973⟨a, b | aaaabab=baba⟩Can Inf
114974⟨a, b | aaaabab=babb⟩Noc Inf
114975⟨a, b | aaaabab=bbaa⟩Can Inf
114976⟨a, b | aaaabab=bbab⟩Noc Inf
114977⟨a, b | aaaabab=bbba⟩Can Inf
114978⟨a, b | aaaabab=bbbb⟩Noc Inf
114979⟨a, b | aaaabba=aaaa⟩Noc Inf
114981⟨a, b | aaaabba=aaba⟩Noc Inf
114983⟨a, b | aaaabba=abaa⟩Noc Inf
114985⟨a, b | aaaabba=abba⟩Noc Inf
114986⟨a, b | aaaabba=abbb⟩Noc Inf
114988⟨a, b | aaaabba=baab⟩Can Inf
114990⟨a, b | aaaabba=babb⟩Can Inf
114991⟨a, b | aaaabba=bbaa⟩Noc Inf
114992⟨a, b | aaaabba=bbab⟩Can Inf
114993⟨a, b | aaaabba=bbba⟩Noc Inf
114994⟨a, b | aaaabba=bbbb⟩Can Inf
114995⟨a, b | aaaabbb=aaaa⟩Noc Inf
114996⟨a, b | aaaabbb=aaab⟩Noc Inf
114997⟨a, b | aaaabbb=aaba⟩Noc Inf
114998⟨a, b | aaaabbb=aabb⟩Noc Inf
114999⟨a, b | aaaabbb=abaa⟩Noc Inf
115000⟨a, b | aaaabbb=abab⟩Noc Inf
115001⟨a, b | aaaabbb=abba⟩Noc Inf
115002⟨a, b | aaaabbb=abbb⟩Noc Inf
115003⟨a, b | aaaabbb=baaa⟩Can Inf
115004⟨a, b | aaaabbb=baab⟩Noc Inf
115005⟨a, b | aaaabbb=baba⟩Can Inf
115006⟨a, b | aaaabbb=babb⟩Noc Inf
115007⟨a, b | aaaabbb=bbaa⟩Can Inf
115008⟨a, b | aaaabbb=bbab⟩Noc Inf
115009⟨a, b | aaaabbb=bbba⟩Can Inf
115010⟨a, b | aaaabbb=bbbb⟩Noc Inf
115011⟨a, b | aaabaaa=aaaa⟩Noc Inf
115014⟨a, b | aaabaaa=aabb⟩Noc Inf
115016⟨a, b | aaabaaa=abba⟩Noc Inf
115017⟨a, b | aaabaaa=abbb⟩Noc Inf
115018⟨a, b | aaabaaa=baab⟩Can Inf
115019⟨a, b | aaabaaa=babb⟩Can Inf
115020⟨a, b | aaabaaa=bbbb⟩Can Inf
115021⟨a, b | aaabaab=aaaa⟩Noc Inf
115022⟨a, b | aaabaab=aaab⟩Noc Inf
115023⟨a, b | aaabaab=aaba⟩Noc Inf
115024⟨a, b | aaabaab=aabb⟩Noc Inf
115025⟨a, b | aaabaab=abaa⟩Noc Inf
115026⟨a, b | aaabaab=abab⟩Noc Inf
115027⟨a, b | aaabaab=abba⟩Noc Inf
115028⟨a, b | aaabaab=abbb⟩Noc Inf
115029⟨a, b | aaabaab=baaa⟩Can Inf
115030⟨a, b | aaabaab=baab⟩Noc Inf
115031⟨a, b | aaabaab=baba⟩Can Inf
115032⟨a, b | aaabaab=babb⟩Noc Inf
115033⟨a, b | aaabaab=bbaa⟩Can Inf
115034⟨a, b | aaabaab=bbab⟩Noc Inf
115035⟨a, b | aaabaab=bbba⟩Can Inf
115036⟨a, b | aaabaab=bbbb⟩Noc Inf
115037⟨a, b | aaababa=aaaa⟩Noc Inf
115039⟨a, b | aaababa=aaba⟩Noc Inf
115041⟨a, b | aaababa=abaa⟩Noc Inf
115043⟨a, b | aaababa=abba⟩Noc Inf
115044⟨a, b | aaababa=abbb⟩Noc Inf
115046⟨a, b | aaababa=baab⟩Can Inf
115048⟨a, b | aaababa=babb⟩Can Inf
115049⟨a, b | aaababa=bbaa⟩Noc Inf
115050⟨a, b | aaababa=bbab⟩Can Inf
115051⟨a, b | aaababa=bbba⟩Noc Inf
115052⟨a, b | aaababa=bbbb⟩Can Inf
115053⟨a, b | aaababb=aaaa⟩Noc Inf
115054⟨a, b | aaababb=aaab⟩Noc Inf
115055⟨a, b | aaababb=aaba⟩Noc Inf
115056⟨a, b | aaababb=aabb⟩Noc Inf
115057⟨a, b | aaababb=abaa⟩Noc Inf
115058⟨a, b | aaababb=abab⟩Noc Inf
115059⟨a, b | aaababb=abba⟩Noc Inf
115060⟨a, b | aaababb=abbb⟩Noc Inf
115061⟨a, b | aaababb=baaa⟩Can Inf
115062⟨a, b | aaababb=baab⟩Noc Inf
115063⟨a, b | aaababb=baba⟩Can Inf
115064⟨a, b | aaababb=babb⟩Noc Inf
115065⟨a, b | aaababb=bbaa⟩Can Inf
115066⟨a, b | aaababb=bbab⟩Noc Inf
115067⟨a, b | aaababb=bbba⟩Can Inf
115068⟨a, b | aaababb=bbbb⟩Noc Inf
115069⟨a, b | aaabbaa=aaaa⟩Noc Inf
115075⟨a, b | aaabbaa=abba⟩Noc Inf
115076⟨a, b | aaabbaa=abbb⟩Noc Inf
115078⟨a, b | aaabbaa=baab⟩Can Inf
115080⟨a, b | aaabbaa=babb⟩Can Inf
115082⟨a, b | aaabbaa=bbab⟩Can Inf
115083⟨a, b | aaabbaa=bbba⟩Noc Inf
115084⟨a, b | aaabbaa=bbbb⟩Can Inf
115085⟨a, b | aaabbab=aaaa⟩Noc Inf
115086⟨a, b | aaabbab=aaab⟩Noc Inf
115087⟨a, b | aaabbab=aaba⟩Noc Inf
115088⟨a, b | aaabbab=aabb⟩Noc Inf
115089⟨a, b | aaabbab=abaa⟩Noc Inf
115090⟨a, b | aaabbab=abab⟩Noc Inf
115091⟨a, b | aaabbab=abba⟩Noc Inf
115092⟨a, b | aaabbab=abbb⟩Noc Inf
115093⟨a, b | aaabbab=baaa⟩Can Inf
115094⟨a, b | aaabbab=baab⟩Noc Inf
115095⟨a, b | aaabbab=baba⟩Can Inf
115096⟨a, b | aaabbab=babb⟩Noc Inf
115097⟨a, b | aaabbab=bbaa⟩Can Inf
115098⟨a, b | aaabbab=bbab⟩Noc Inf
115099⟨a, b | aaabbab=bbba⟩Can Inf
115100⟨a, b | aaabbab=bbbb⟩Noc Inf
115101⟨a, b | aaabbba=aaaa⟩Noc Inf
115103⟨a, b | aaabbba=aaba⟩Noc Inf
115105⟨a, b | aaabbba=abaa⟩Noc Inf
115107⟨a, b | aaabbba=abba⟩Noc Inf
115110⟨a, b | aaabbba=baab⟩Can Inf
115112⟨a, b | aaabbba=babb⟩Can Inf
115114⟨a, b | aaabbba=bbab⟩Can Inf
115116⟨a, b | aaabbba=bbbb⟩Can Inf
115117⟨a, b | aabaaab=aaaa⟩Noc Inf
115122⟨a, b | aabaaab=abab⟩Noc Inf
115124⟨a, b | aabaaab=abbb⟩Noc Inf
115128⟨a, b | aabaaab=babb⟩Noc Inf
115129⟨a, b | aabaaab=bbaa⟩Can Inf
115130⟨a, b | aabaaab=bbab⟩Noc Inf
115131⟨a, b | aabaaab=bbba⟩Can Inf
115132⟨a, b | aabaaab=bbbb⟩Noc Inf
115133⟨a, b | aabaaba=aaaa⟩Noc Inf
115135⟨a, b | aabaaba=aaba⟩Noc Inf
115139⟨a, b | aabaaba=abba⟩Noc Inf
115140⟨a, b | aabaaba=abbb⟩Noc Inf
115144⟨a, b | aabaaba=babb⟩Can Inf
115145⟨a, b | aabaaba=bbaa⟩Noc Inf
115146⟨a, b | aabaaba=bbab⟩Can Inf
115147⟨a, b | aabaaba=bbba⟩Noc Inf
115148⟨a, b | aabaaba=bbbb⟩Can Inf
115149⟨a, b | aabaabb=aaaa⟩Noc Inf
115150⟨a, b | aabaabb=aaab⟩Noc Inf
115151⟨a, b | aabaabb=aaba⟩Noc Inf
115152⟨a, b | aabaabb=aabb⟩Noc Inf
115153⟨a, b | aabaabb=abaa⟩Noc Inf
115154⟨a, b | aabaabb=abab⟩Noc Inf
115155⟨a, b | aabaabb=abba⟩Noc Inf
115156⟨a, b | aabaabb=abbb⟩Noc Inf
115157⟨a, b | aabaabb=baaa⟩Can Inf
115158⟨a, b | aabaabb=baab⟩Noc Inf
115159⟨a, b | aabaabb=baba⟩Can Inf
115160⟨a, b | aabaabb=babb⟩Noc Inf
115161⟨a, b | aabaabb=bbaa⟩Can Inf
115162⟨a, b | aabaabb=bbab⟩Noc Inf
115163⟨a, b | aabaabb=bbba⟩Can Inf
115164⟨a, b | aabaabb=bbbb⟩Noc Inf
115165⟨a, b | aababaa=aaaa⟩Noc Inf
115170⟨a, b | aababaa=abba⟩Noc Inf
115171⟨a, b | aababaa=abbb⟩Noc Inf
115173⟨a, b | aababaa=babb⟩Can Inf
115174⟨a, b | aababaa=bbbb⟩Can Inf
115175⟨a, b | aababab=aaaa⟩Noc Inf
115176⟨a, b | aababab=aaab⟩Noc Inf
115177⟨a, b | aababab=aaba⟩Noc Inf
115178⟨a, b | aababab=aabb⟩Noc Inf
115179⟨a, b | aababab=abaa⟩Noc Inf
115180⟨a, b | aababab=abab⟩Noc Inf
115181⟨a, b | aababab=abba⟩Noc Inf
115182⟨a, b | aababab=abbb⟩Noc Inf
115183⟨a, b | aababab=baaa⟩Can Inf
115184⟨a, b | aababab=baab⟩Noc Inf
115185⟨a, b | aababab=baba⟩Can Inf
115186⟨a, b | aababab=babb⟩Noc Inf
115187⟨a, b | aababab=bbaa⟩Can Inf
115188⟨a, b | aababab=bbab⟩Noc Inf
115189⟨a, b | aababab=bbba⟩Can Inf
115190⟨a, b | aababab=bbbb⟩Noc Inf
115191⟨a, b | aababba=aaaa⟩Noc Inf
115193⟨a, b | aababba=aaba⟩Noc Inf
115195⟨a, b | aababba=abaa⟩Noc Inf
115197⟨a, b | aababba=abba⟩Noc Inf
115202⟨a, b | aababba=babb⟩Can Inf
115204⟨a, b | aababba=bbab⟩Can Inf
115206⟨a, b | aababba=bbbb⟩Can Inf
115207⟨a, b | aabbaab=aaaa⟩Noc Inf
115212⟨a, b | aabbaab=abab⟩Noc Inf
115214⟨a, b | aabbaab=abbb⟩Noc Inf
115218⟨a, b | aabbaab=babb⟩Noc Inf
115220⟨a, b | aabbaab=bbab⟩Noc Inf
115221⟨a, b | aabbaab=bbba⟩Can Inf
115222⟨a, b | aabbaab=bbbb⟩Noc Inf
115223⟨a, b | aabbaba=aaaa⟩Noc Inf
115225⟨a, b | aabbaba=aaba⟩Noc Inf
115227⟨a, b | aabbaba=abaa⟩Noc Inf
115229⟨a, b | aabbaba=abba⟩Noc Inf
115234⟨a, b | aabbaba=babb⟩Can Inf
115236⟨a, b | aabbaba=bbab⟩Can Inf
115238⟨a, b | aabbaba=bbbb⟩Can Inf
115239⟨a, b | aabbbaa=aaaa⟩Noc Inf
115244⟨a, b | aabbbaa=abba⟩Noc Inf
115247⟨a, b | aabbbaa=babb⟩Can Inf
115248⟨a, b | aabbbaa=bbbb⟩Can Inf
115249⟨a, b | aabbbab=aaaa⟩Noc Inf
115250⟨a, b | aabbbab=aaab⟩Noc Inf
115251⟨a, b | aabbbab=aaba⟩Noc Inf
115252⟨a, b | aabbbab=aabb⟩Noc Inf
115253⟨a, b | aabbbab=abaa⟩Noc Inf
115254⟨a, b | aabbbab=abab⟩Noc Inf
115255⟨a, b | aabbbab=abba⟩Noc Inf
115256⟨a, b | aabbbab=abbb⟩Noc Inf
115257⟨a, b | aabbbab=baaa⟩Can Inf
115258⟨a, b | aabbbab=baab⟩Noc Inf
115259⟨a, b | aabbbab=baba⟩Can Inf
115260⟨a, b | aabbbab=babb⟩Noc Inf
115261⟨a, b | aabbbab=bbaa⟩Can Inf
115262⟨a, b | aabbbab=bbab⟩Noc Inf
115263⟨a, b | aabbbab=bbba⟩Can Inf
115264⟨a, b | aabbbab=bbbb⟩Noc Inf
115265⟨a, b | aabbbba=aaaa⟩Noc Inf
115266⟨a, b | aabbbba=aaab⟩Noc Inf
115267⟨a, b | aabbbba=aaba⟩Noc Inf
115269⟨a, b | aabbbba=abaa⟩Noc Inf
115271⟨a, b | aabbbba=abba⟩Noc Inf
115273⟨a, b | aabbbba=baaa⟩Noc Inf
115276⟨a, b | aabbbba=babb⟩Can Inf
115278⟨a, b | aabbbba=bbab⟩Can Inf
115280⟨a, b | aabbbba=bbbb⟩Can Inf
115281⟨a, b | abaaaab=aaaa⟩Noc Inf
115284⟨a, b | abaaaab=aabb⟩Noc Inf
115286⟨a, b | abaaaab=abab⟩Noc Inf
115288⟨a, b | abaaaab=abbb⟩Noc Inf
115292⟨a, b | abaaaab=babb⟩Noc Inf
115293⟨a, b | abaaaab=bbaa⟩Can Inf
115295⟨a, b | abaaaab=bbba⟩Can Inf
115296⟨a, b | abaaaab=bbbb⟩Noc Inf
115297⟨a, b | abaaaba=aaaa⟩Noc Inf
115300⟨a, b | abaaaba=aabb⟩Noc Inf
115302⟨a, b | abaaaba=abba⟩Noc Inf
115303⟨a, b | abaaaba=abbb⟩Noc Inf
115305⟨a, b | abaaaba=babb⟩Can Inf
115306⟨a, b | abaaaba=bbbb⟩Can Inf
115307⟨a, b | abaabab=aaaa⟩Noc Inf
115309⟨a, b | abaabab=aaba⟩Noc Inf
115310⟨a, b | abaabab=aabb⟩Noc Inf
115312⟨a, b | abaabab=abab⟩Noc Inf
115318⟨a, b | abaabab=babb⟩Noc Inf
115321⟨a, b | abaabab=bbba⟩Can Inf
115322⟨a, b | abaabab=bbbb⟩Noc Inf
115323⟨a, b | abaabba=aaaa⟩Noc Inf
115324⟨a, b | abaabba=aaab⟩Noc Inf
115325⟨a, b | abaabba=aaba⟩Noc Inf
115327⟨a, b | abaabba=abaa⟩Noc Inf
115329⟨a, b | abaabba=abba⟩Noc Inf
115334⟨a, b | abaabba=babb⟩Can Inf
115338⟨a, b | abaabba=bbbb⟩Can Inf
115339⟨a, b | ababaab=aaaa⟩Noc Inf
115342⟨a, b | ababaab=aabb⟩Noc Inf
115344⟨a, b | ababaab=abab⟩Noc Inf
115350⟨a, b | ababaab=babb⟩Noc Inf
115353⟨a, b | ababaab=bbba⟩Can Inf
115354⟨a, b | ababaab=bbbb⟩Noc Inf
115355⟨a, b | abababa=aaaa⟩Noc Inf
115360⟨a, b | abababa=abba⟩Noc Inf
115364⟨a, b | abababa=bbbb⟩Can Inf
115365⟨a, b | ababbba=aaaa⟩Noc Inf
115366⟨a, b | ababbba=aaab⟩Noc Inf
115367⟨a, b | ababbba=aaba⟩Noc Inf
115369⟨a, b | ababbba=abaa⟩Noc Inf
115371⟨a, b | ababbba=abba⟩Noc Inf
115373⟨a, b | ababbba=baaa⟩Noc Inf
115376⟨a, b | ababbba=babb⟩Can Inf
115380⟨a, b | ababbba=bbbb⟩Can Inf
115381⟨a, b | abbaaab=aaaa⟩Noc Inf
115386⟨a, b | abbaaab=abab⟩Noc Inf
115395⟨a, b | abbaaab=bbba⟩Can Inf
115396⟨a, b | abbaaab=bbbb⟩Noc Inf
115397⟨a, b | abbabba=aaaa⟩Noc Inf
115398⟨a, b | abbabba=aaab⟩Noc Inf
115399⟨a, b | abbabba=aaba⟩Noc Inf
115402⟨a, b | abbabba=abba⟩Noc Inf
115406⟨a, b | abbabba=bbbb⟩Can Inf
115407⟨a, b | abbbbba=aaaa⟩Noc Inf
115408⟨a, b | abbbbba=aaab⟩Noc Inf
115409⟨a, b | abbbbba=aaba⟩Noc Inf
115410⟨a, b | abbbbba=aabb⟩Noc Inf
115412⟨a, b | abbbbba=abba⟩Noc Inf
115416⟨a, b | abbbbba=bbbb⟩Can Inf
115417⟨a, b | aaaaaa=aaaaa⟩Noc Infℕ(6 = 5) ∗ ℕ
115418⟨a, b | aaaaaa=aaaab⟩Noc Inf
115419⟨a, b | aaaaaa=aaaba⟩Noc Inf
115420⟨a, b | aaaaaa=aaabb⟩Noc Inf
115421⟨a, b | aaaaaa=aabaa⟩Noc Inf
115422⟨a, b | aaaaaa=aabab⟩Noc Inf
115423⟨a, b | aaaaaa=aabba⟩Noc Inf
115424⟨a, b | aaaaaa=aabbb⟩Noc Inf
115425⟨a, b | aaaaaa=abaab⟩Noc Inf
115426⟨a, b | aaaaaa=ababa⟩Noc Inf
115427⟨a, b | aaaaaa=ababb⟩Noc Inf
115428⟨a, b | aaaaaa=abbab⟩Noc Inf
115429⟨a, b | aaaaaa=abbba⟩Noc Inf
115430⟨a, b | aaaaaa=abbbb⟩Noc Inf
115431⟨a, b | aaaaaa=baaab⟩Can Inf
115432⟨a, b | aaaaaa=baabb⟩Can Inf
115433⟨a, b | aaaaaa=babab⟩Can Inf
115434⟨a, b | aaaaaa=babbb⟩Can Inf
115435⟨a, b | aaaaaa=bbabb⟩Can Inf
115436⟨a, b | aaaaaa=bbbbb⟩Can Inf
115437⟨a, b | aaaaab=aaaaa⟩Noc Inf
115438⟨a, b | aaaaab=aaaab⟩Noc Inf
115439⟨a, b | aaaaab=aaaba⟩Noc Inf
115440⟨a, b | aaaaab=aaabb⟩Noc Inf
115441⟨a, b | aaaaab=aabaa⟩Noc Inf
115442⟨a, b | aaaaab=aabab⟩Noc Inf
115443⟨a, b | aaaaab=aabba⟩Noc Inf
115444⟨a, b | aaaaab=aabbb⟩Noc Inf
115445⟨a, b | aaaaab=abaaa⟩Noc Inf
115446⟨a, b | aaaaab=abaab⟩Noc Inf
115447⟨a, b | aaaaab=ababa⟩Noc Inf
115448⟨a, b | aaaaab=ababb⟩Noc Inf
115449⟨a, b | aaaaab=abbaa⟩Noc Inf
115450⟨a, b | aaaaab=abbab⟩Noc Inf
115451⟨a, b | aaaaab=abbba⟩Noc Inf
115452⟨a, b | aaaaab=abbbb⟩Noc Inf
115453⟨a, b | aaaaab=baaaa⟩Can Inf
115454⟨a, b | aaaaab=baaab⟩Noc Inf
115455⟨a, b | aaaaab=baaba⟩Can Inf
115456⟨a, b | aaaaab=baabb⟩Noc Inf
115457⟨a, b | aaaaab=babaa⟩Can Inf
115458⟨a, b | aaaaab=babab⟩Noc Inf
115459⟨a, b | aaaaab=babba⟩Can Inf
115460⟨a, b | aaaaab=babbb⟩Noc Inf
115461⟨a, b | aaaaab=bbaaa⟩Can Inf
115462⟨a, b | aaaaab=bbaab⟩Noc Inf
115463⟨a, b | aaaaab=bbaba⟩Can Inf
115464⟨a, b | aaaaab=bbabb⟩Noc Inf
115465⟨a, b | aaaaab=bbbaa⟩Can Inf
115466⟨a, b | aaaaab=bbbab⟩Noc Inf
115467⟨a, b | aaaaab=bbbba⟩Can Inf
115468⟨a, b | aaaaab=bbbbb⟩Noc Inf
115469⟨a, b | aaaaba=aaaaa⟩Noc Inf
115471⟨a, b | aaaaba=aaaba⟩Noc Inf
115472⟨a, b | aaaaba=aaabb⟩Noc Inf
115473⟨a, b | aaaaba=aabaa⟩Noc Inf
115474⟨a, b | aaaaba=aabab⟩Noc Inf
115475⟨a, b | aaaaba=aabba⟩Noc Inf
115476⟨a, b | aaaaba=aabbb⟩Noc Inf
115477⟨a, b | aaaaba=abaaa⟩Noc Inf
115478⟨a, b | aaaaba=abaab⟩Noc Inf
115479⟨a, b | aaaaba=ababa⟩Noc Inf
115480⟨a, b | aaaaba=ababb⟩Noc Inf
115481⟨a, b | aaaaba=abbaa⟩Noc Inf
115482⟨a, b | aaaaba=abbab⟩Noc Inf
115483⟨a, b | aaaaba=abbba⟩Noc Inf
115484⟨a, b | aaaaba=abbbb⟩Noc Inf
115485⟨a, b | aaaaba=baaaa⟩Noc Inf
115486⟨a, b | aaaaba=baaab⟩Can Inf
115488⟨a, b | aaaaba=baabb⟩Can Inf
115489⟨a, b | aaaaba=babaa⟩Noc Inf
115490⟨a, b | aaaaba=babab⟩Can Inf
115492⟨a, b | aaaaba=babbb⟩Can Inf
115493⟨a, b | aaaaba=bbaaa⟩Noc Inf
115494⟨a, b | aaaaba=bbaab⟩Can Inf
115495⟨a, b | aaaaba=bbaba⟩Noc Inf
115496⟨a, b | aaaaba=bbabb⟩Can Inf
115497⟨a, b | aaaaba=bbbaa⟩Noc Inf
115498⟨a, b | aaaaba=bbbab⟩Can Inf
115499⟨a, b | aaaaba=bbbba⟩Noc Inf
115500⟨a, b | aaaaba=bbbbb⟩Can Inf
115501⟨a, b | aaaabb=aaaaa⟩Noc Inf
115502⟨a, b | aaaabb=aaaab⟩Noc Inf
115503⟨a, b | aaaabb=aaaba⟩Noc Inf
115504⟨a, b | aaaabb=aaabb⟩Noc Inf
115505⟨a, b | aaaabb=aabaa⟩Noc Inf
115506⟨a, b | aaaabb=aabab⟩Noc Inf
115507⟨a, b | aaaabb=aabba⟩Noc Inf
115508⟨a, b | aaaabb=aabbb⟩Noc Inf
115509⟨a, b | aaaabb=abaaa⟩Noc Inf
115510⟨a, b | aaaabb=abaab⟩Noc Inf
115511⟨a, b | aaaabb=ababa⟩Noc Inf
115512⟨a, b | aaaabb=ababb⟩Noc Inf
115513⟨a, b | aaaabb=abbaa⟩Noc Inf
115514⟨a, b | aaaabb=abbab⟩Noc Inf
115515⟨a, b | aaaabb=abbba⟩Noc Inf
115516⟨a, b | aaaabb=abbbb⟩Noc Inf
115517⟨a, b | aaaabb=baaaa⟩Can Inf
115518⟨a, b | aaaabb=baaab⟩Noc Inf
115519⟨a, b | aaaabb=baaba⟩Can Inf
115520⟨a, b | aaaabb=baabb⟩Noc Inf
115521⟨a, b | aaaabb=babaa⟩Can Inf
115522⟨a, b | aaaabb=babab⟩Noc Inf
115523⟨a, b | aaaabb=babba⟩Can Inf
115524⟨a, b | aaaabb=babbb⟩Noc Inf
115525⟨a, b | aaaabb=bbaaa⟩Can Inf
115526⟨a, b | aaaabb=bbaab⟩Noc Inf
115527⟨a, b | aaaabb=bbaba⟩Can Inf
115528⟨a, b | aaaabb=bbabb⟩Noc Inf
115529⟨a, b | aaaabb=bbbaa⟩Can Inf
115530⟨a, b | aaaabb=bbbab⟩Noc Inf
115531⟨a, b | aaaabb=bbbba⟩Can Inf
115532⟨a, b | aaaabb=bbbbb⟩Noc Inf
115533⟨a, b | aaabaa=aaaaa⟩Noc Inf
115534⟨a, b | aaabaa=aaaab⟩Noc Inf
115536⟨a, b | aaabaa=aaabb⟩Noc Inf
115537⟨a, b | aaabaa=aabaa⟩Noc Inf
115538⟨a, b | aaabaa=aabab⟩Noc Inf
115539⟨a, b | aaabaa=aabba⟩Noc Inf
115540⟨a, b | aaabaa=aabbb⟩Noc Inf
115541⟨a, b | aaabaa=abaaa⟩Noc Inf
115543⟨a, b | aaabaa=ababa⟩Noc Inf
115544⟨a, b | aaabaa=ababb⟩Noc Inf
115545⟨a, b | aaabaa=abbaa⟩Noc Inf
115546⟨a, b | aaabaa=abbab⟩Noc Inf
115547⟨a, b | aaabaa=abbba⟩Noc Inf
115548⟨a, b | aaabaa=abbbb⟩Noc Inf
115549⟨a, b | aaabaa=baaaa⟩Noc Inf
115552⟨a, b | aaabaa=baabb⟩Can Inf
115553⟨a, b | aaabaa=babaa⟩Noc Inf
115554⟨a, b | aaabaa=babab⟩Can Inf
115555⟨a, b | aaabaa=babba⟩Noc Inf
115556⟨a, b | aaabaa=babbb⟩Can Inf
115557⟨a, b | aaabaa=bbaaa⟩Noc Inf
115558⟨a, b | aaabaa=bbaab⟩Can Inf
115559⟨a, b | aaabaa=bbaba⟩Noc Inf
115560⟨a, b | aaabaa=bbabb⟩Can Inf
115561⟨a, b | aaabaa=bbbaa⟩Noc Inf
115562⟨a, b | aaabaa=bbbab⟩Can Inf
115563⟨a, b | aaabaa=bbbba⟩Noc Inf
115564⟨a, b | aaabaa=bbbbb⟩Can Inf
115565⟨a, b | aaabab=aaaaa⟩Noc Inf
115566⟨a, b | aaabab=aaaab⟩Noc Inf
115567⟨a, b | aaabab=aaaba⟩Noc Inf
115568⟨a, b | aaabab=aaabb⟩Noc Inf
115569⟨a, b | aaabab=aabaa⟩Noc Inf
115570⟨a, b | aaabab=aabab⟩Noc Inf
115571⟨a, b | aaabab=aabba⟩Noc Inf
115572⟨a, b | aaabab=aabbb⟩Noc Inf
115573⟨a, b | aaabab=abaaa⟩Noc Inf
115574⟨a, b | aaabab=abaab⟩Noc Inf
115575⟨a, b | aaabab=ababa⟩Noc Inf
115576⟨a, b | aaabab=ababb⟩Noc Inf
115577⟨a, b | aaabab=abbaa⟩Noc Inf
115578⟨a, b | aaabab=abbab⟩Noc Inf
115579⟨a, b | aaabab=abbba⟩Noc Inf
115580⟨a, b | aaabab=abbbb⟩Noc Inf
115581⟨a, b | aaabab=baaaa⟩Can Inf
115582⟨a, b | aaabab=baaab⟩Noc Inf
115583⟨a, b | aaabab=baaba⟩Can Inf
115584⟨a, b | aaabab=baabb⟩Noc Inf
115585⟨a, b | aaabab=babaa⟩Can Inf
115586⟨a, b | aaabab=babab⟩Noc Inf
115587⟨a, b | aaabab=babba⟩Can Inf
115588⟨a, b | aaabab=babbb⟩Noc Inf
115589⟨a, b | aaabab=bbaaa⟩Can Inf
115590⟨a, b | aaabab=bbaab⟩Noc Inf
115591⟨a, b | aaabab=bbaba⟩Can Inf
115592⟨a, b | aaabab=bbabb⟩Noc Inf
115593⟨a, b | aaabab=bbbaa⟩Can Inf
115594⟨a, b | aaabab=bbbab⟩Noc Inf
115595⟨a, b | aaabab=bbbba⟩Can Inf
115596⟨a, b | aaabab=bbbbb⟩Noc Inf
115597⟨a, b | aaabba=aaaaa⟩Noc Inf
115598⟨a, b | aaabba=aaaab⟩Noc Inf
115599⟨a, b | aaabba=aaaba⟩Noc Inf
115601⟨a, b | aaabba=aabaa⟩Noc Inf
115603⟨a, b | aaabba=aabba⟩Noc Inf
115604⟨a, b | aaabba=aabbb⟩Noc Inf
115605⟨a, b | aaabba=abaaa⟩Noc Inf
115607⟨a, b | aaabba=ababa⟩Noc Inf
115608⟨a, b | aaabba=ababb⟩Noc Inf
115609⟨a, b | aaabba=abbaa⟩Noc Inf
115611⟨a, b | aaabba=abbba⟩Noc Inf
115612⟨a, b | aaabba=abbbb⟩Noc Inf
115613⟨a, b | aaabba=baaaa⟩Noc Inf
115616⟨a, b | aaabba=baabb⟩Can Inf
115617⟨a, b | aaabba=babaa⟩Noc Inf
115618⟨a, b | aaabba=babab⟩Can Inf
115620⟨a, b | aaabba=babbb⟩Can Inf
115621⟨a, b | aaabba=bbaaa⟩Noc Inf
115622⟨a, b | aaabba=bbaab⟩Can Inf
115623⟨a, b | aaabba=bbaba⟩Noc Inf
115624⟨a, b | aaabba=bbabb⟩Can Inf
115625⟨a, b | aaabba=bbbaa⟩Noc Inf
115626⟨a, b | aaabba=bbbab⟩Can Inf
115627⟨a, b | aaabba=bbbba⟩Noc Inf
115628⟨a, b | aaabba=bbbbb⟩Can Inf
115629⟨a, b | aaabbb=aaaaa⟩Noc Inf
115630⟨a, b | aaabbb=aaaab⟩Noc Inf
115631⟨a, b | aaabbb=aaaba⟩Noc Inf
115632⟨a, b | aaabbb=aaabb⟩Noc Inf
115633⟨a, b | aaabbb=aabaa⟩Noc Inf
115634⟨a, b | aaabbb=aabab⟩Noc Inf
115635⟨a, b | aaabbb=aabba⟩Noc Inf
115636⟨a, b | aaabbb=abaaa⟩Noc Inf
115637⟨a, b | aaabbb=abaab⟩Noc Inf
115638⟨a, b | aaabbb=ababa⟩Noc Inf
115639⟨a, b | aaabbb=abbaa⟩Noc Inf
115640⟨a, b | aaabbb=abbba⟩Noc Inf
115641⟨a, b | aaabbb=baaaa⟩Can Inf
115642⟨a, b | aaabbb=baaba⟩Can Inf
115643⟨a, b | aaabbb=babaa⟩Can Inf
115644⟨a, b | aaabbb=bbaaa⟩Can Inf
115645⟨a, b | aabaab=aaaaa⟩Noc Inf
115648⟨a, b | aabaab=aaabb⟩Noc Inf
115652⟨a, b | aabaab=aabbb⟩Noc Inf
115656⟨a, b | aabaab=ababb⟩Noc Inf
115658⟨a, b | aabaab=abbab⟩Noc Inf
115660⟨a, b | aabaab=abbbb⟩Noc Inf
115661⟨a, b | aabaab=baaaa⟩Can Inf
115665⟨a, b | aabaab=babaa⟩Can Inf
115666⟨a, b | aabaab=babab⟩Noc Inf
115668⟨a, b | aabaab=babbb⟩Noc Inf
115669⟨a, b | aabaab=bbaaa⟩Can Inf
115671⟨a, b | aabaab=bbaba⟩Can Inf
115672⟨a, b | aabaab=bbabb⟩Noc Inf
115673⟨a, b | aabaab=bbbaa⟩Can Inf
115674⟨a, b | aabaab=bbbab⟩Noc Inf
115675⟨a, b | aabaab=bbbba⟩Can Inf
115676⟨a, b | aabaab=bbbbb⟩Noc Inf
115677⟨a, b | aababa=aaaaa⟩Noc Inf
115678⟨a, b | aababa=aaaab⟩Noc Inf
115679⟨a, b | aababa=aaaba⟩Noc Inf
115680⟨a, b | aababa=aaabb⟩Noc Inf
115681⟨a, b | aababa=aabaa⟩Noc Inf
115683⟨a, b | aababa=aabba⟩Noc Inf
115684⟨a, b | aababa=aabbb⟩Noc Inf
115685⟨a, b | aababa=abaaa⟩Noc Inf
115687⟨a, b | aababa=ababa⟩Noc Inf
115688⟨a, b | aababa=ababb⟩Noc Inf
115689⟨a, b | aababa=abbaa⟩Noc Inf
115690⟨a, b | aababa=abbab⟩Noc Inf
115691⟨a, b | aababa=abbba⟩Noc Inf
115692⟨a, b | aababa=abbbb⟩Noc Inf
115693⟨a, b | aababa=baaaa⟩Noc Inf
115696⟨a, b | aababa=baabb⟩Can Inf
115697⟨a, b | aababa=babaa⟩Noc Inf
115698⟨a, b | aababa=babab⟩Can Inf
115700⟨a, b | aababa=babbb⟩Can Inf
115701⟨a, b | aababa=bbaaa⟩Noc Inf
115702⟨a, b | aababa=bbaab⟩Can Inf
115703⟨a, b | aababa=bbaba⟩Noc Inf
115704⟨a, b | aababa=bbabb⟩Can Inf
115705⟨a, b | aababa=bbbaa⟩Noc Inf
115706⟨a, b | aababa=bbbab⟩Can Inf
115707⟨a, b | aababa=bbbba⟩Noc Inf
115708⟨a, b | aababa=bbbbb⟩Can Inf
115709⟨a, b | aababb=aaaaa⟩Noc Inf
115710⟨a, b | aababb=aaaab⟩Noc Inf
115711⟨a, b | aababb=aaaba⟩Noc Inf
115712⟨a, b | aababb=aaabb⟩Noc Inf
115713⟨a, b | aababb=aabaa⟩Noc Inf
115714⟨a, b | aababb=aabab⟩Noc Inf
115715⟨a, b | aababb=aabba⟩Noc Inf
115716⟨a, b | aababb=abaaa⟩Noc Inf
115717⟨a, b | aababb=abaab⟩Noc Inf
115718⟨a, b | aababb=ababa⟩Noc Inf
115719⟨a, b | aababb=abbaa⟩Noc Inf
115720⟨a, b | aababb=abbba⟩Noc Inf
115721⟨a, b | aababb=baaaa⟩Can Inf
115722⟨a, b | aababb=baaba⟩Can Inf
115723⟨a, b | aababb=babaa⟩Can Inf
115724⟨a, b | aababb=bbaaa⟩Can Inf
115725⟨a, b | aabbaa=aaaaa⟩Noc Inf
115726⟨a, b | aabbaa=aaaab⟩Noc Inf
115727⟨a, b | aabbaa=aaaba⟩Noc Inf
115728⟨a, b | aabbaa=aaabb⟩Noc Inf
115729⟨a, b | aabbaa=aabaa⟩Noc Inf
115730⟨a, b | aabbaa=aabab⟩Noc Inf
115732⟨a, b | aabbaa=aabbb⟩Noc Inf
115734⟨a, b | aabbaa=ababa⟩Noc Inf
115735⟨a, b | aabbaa=ababb⟩Noc Inf
115736⟨a, b | aabbaa=abbab⟩Noc Inf
115737⟨a, b | aabbaa=abbba⟩Noc Inf
115738⟨a, b | aabbaa=abbbb⟩Noc Inf
115741⟨a, b | aabbaa=babab⟩Can Inf
115742⟨a, b | aabbaa=babbb⟩Can Inf
115743⟨a, b | aabbaa=bbabb⟩Can Inf
115744⟨a, b | aabbaa=bbbbb⟩Can Inf
115745⟨a, b | aabbab=aaaaa⟩Noc Inf
115746⟨a, b | aabbab=aaaab⟩Noc Inf
115747⟨a, b | aabbab=aaaba⟩Noc Inf
115748⟨a, b | aabbab=aaabb⟩Noc Inf
115749⟨a, b | aabbab=aabaa⟩Noc Inf
115750⟨a, b | aabbab=aabab⟩Noc Inf
115751⟨a, b | aabbab=aabba⟩Noc Inf
115752⟨a, b | aabbab=aabbb⟩Noc Inf
115753⟨a, b | aabbab=abaaa⟩Noc Inf
115754⟨a, b | aabbab=abaab⟩Noc Inf
115755⟨a, b | aabbab=ababa⟩Noc Inf
115756⟨a, b | aabbab=ababb⟩Noc Inf
115757⟨a, b | aabbab=abbaa⟩Noc Inf
115758⟨a, b | aabbab=abbab⟩Noc Inf
115759⟨a, b | aabbab=abbba⟩Noc Inf
115760⟨a, b | aabbab=abbbb⟩Noc Inf
115761⟨a, b | aabbab=baaaa⟩Can Inf
115762⟨a, b | aabbab=baaab⟩Noc Inf
115763⟨a, b | aabbab=baaba⟩Can Inf
115764⟨a, b | aabbab=baabb⟩Noc Inf
115765⟨a, b | aabbab=babaa⟩Can Inf
115766⟨a, b | aabbab=babab⟩Noc Inf
115767⟨a, b | aabbab=babba⟩Can Inf
115768⟨a, b | aabbab=babbb⟩Noc Inf
115769⟨a, b | aabbab=bbaaa⟩Can Inf
115770⟨a, b | aabbab=bbaab⟩Noc Inf
115771⟨a, b | aabbab=bbaba⟩Can Inf
115772⟨a, b | aabbab=bbabb⟩Noc Inf
115773⟨a, b | aabbab=bbbaa⟩Can Inf
115774⟨a, b | aabbab=bbbab⟩Noc Inf
115775⟨a, b | aabbab=bbbba⟩Can Inf
115776⟨a, b | aabbab=bbbbb⟩Noc Inf
115777⟨a, b | aabbba=aaaaa⟩Noc Inf
115778⟨a, b | aabbba=aaaab⟩Noc Inf
115779⟨a, b | aabbba=aaaba⟩Noc Inf
115780⟨a, b | aabbba=aaabb⟩Noc Inf
115781⟨a, b | aabbba=aabaa⟩Noc Inf
115782⟨a, b | aabbba=aabab⟩Noc Inf
115783⟨a, b | aabbba=aabba⟩Noc Inf
115785⟨a, b | aabbba=abaaa⟩Noc Inf
115787⟨a, b | aabbba=ababa⟩Noc Inf
115789⟨a, b | aabbba=abbaa⟩Noc Inf
115791⟨a, b | aabbba=abbba⟩Noc Inf
115792⟨a, b | aabbba=abbbb⟩Noc Inf
115793⟨a, b | aabbba=baaaa⟩Noc Inf
115797⟨a, b | aabbba=babaa⟩Noc Inf
115798⟨a, b | aabbba=babab⟩Can Inf
115800⟨a, b | aabbba=babbb⟩Can Inf
115801⟨a, b | aabbba=bbaaa⟩Noc Inf
115803⟨a, b | aabbba=bbaba⟩Noc Inf
115804⟨a, b | aabbba=bbabb⟩Can Inf
115805⟨a, b | aabbba=bbbaa⟩Noc Inf
115806⟨a, b | aabbba=bbbab⟩Can Inf
115807⟨a, b | aabbba=bbbba⟩Noc Inf
115808⟨a, b | aabbba=bbbbb⟩Can Inf
115809⟨a, b | abaaab=aaaaa⟩Noc Inf
115812⟨a, b | abaaab=aaabb⟩Noc Inf
115814⟨a, b | abaaab=aabab⟩Noc Inf
115816⟨a, b | abaaab=aabbb⟩Noc Inf
115818⟨a, b | abaaab=abaab⟩Noc Inf
115820⟨a, b | abaaab=ababb⟩Noc Inf
115822⟨a, b | abaaab=abbab⟩Noc Inf
115824⟨a, b | abaaab=abbbb⟩Noc Inf
115825⟨a, b | abaaab=baaaa⟩Can Inf
115828⟨a, b | abaaab=baabb⟩Noc Inf
115829⟨a, b | abaaab=babaa⟩Can Inf
115832⟨a, b | abaaab=babbb⟩Noc Inf
115833⟨a, b | abaaab=bbaaa⟩Can Inf
115835⟨a, b | abaaab=bbaba⟩Can Inf
115836⟨a, b | abaaab=bbabb⟩Noc Inf
115837⟨a, b | abaaab=bbbaa⟩Can Inf
115839⟨a, b | abaaab=bbbba⟩Can Inf
115840⟨a, b | abaaab=bbbbb⟩Noc Inf
115841⟨a, b | abaaba=aaaaa⟩Noc Inf
115842⟨a, b | abaaba=aaaab⟩Noc Inf
115844⟨a, b | abaaba=aaabb⟩Noc Inf
115846⟨a, b | abaaba=aabab⟩Noc Inf
115847⟨a, b | abaaba=aabba⟩Noc Inf
115848⟨a, b | abaaba=aabbb⟩Noc Inf
115850⟨a, b | abaaba=ababa⟩Noc Inf
115851⟨a, b | abaaba=ababb⟩Noc Inf
115853⟨a, b | abaaba=abbba⟩Noc Inf
115854⟨a, b | abaaba=abbbb⟩Noc Inf
115856⟨a, b | abaaba=baabb⟩Can Inf
115858⟨a, b | abaaba=babbb⟩Can Inf
115859⟨a, b | abaaba=bbabb⟩Can Inf
115860⟨a, b | abaaba=bbbbb⟩Can Inf
115861⟨a, b | ababab=aaaaa⟩Noc Inf
115862⟨a, b | ababab=aaaab⟩Noc Inf
115863⟨a, b | ababab=aaaba⟩Noc Inf
115864⟨a, b | ababab=aaabb⟩Noc Inf
115869⟨a, b | ababab=abaab⟩Noc Inf
115873⟨a, b | ababab=baaaa⟩Can Inf
115875⟨a, b | ababab=babaa⟩Can Inf
115876⟨a, b | ababab=bbaaa⟩Can Inf
115877⟨a, b | ababba=aaaaa⟩Noc Inf
115878⟨a, b | ababba=aaaab⟩Noc Inf
115879⟨a, b | ababba=aaaba⟩Noc Inf
115880⟨a, b | ababba=aaabb⟩Noc Inf
115881⟨a, b | ababba=aabaa⟩Noc Inf
115882⟨a, b | ababba=aabab⟩Noc Inf
115883⟨a, b | ababba=aabba⟩Noc Inf
115884⟨a, b | ababba=aabbb⟩Noc Inf
115885⟨a, b | ababba=abaaa⟩Noc Inf
115887⟨a, b | ababba=ababa⟩Noc Inf
115889⟨a, b | ababba=abbaa⟩Noc Inf
115891⟨a, b | ababba=abbba⟩Noc Inf
115892⟨a, b | ababba=abbbb⟩Noc Inf
115893⟨a, b | ababba=baaaa⟩Noc Inf
115896⟨a, b | ababba=baabb⟩Can Inf
115897⟨a, b | ababba=babaa⟩Noc Inf
115900⟨a, b | ababba=babbb⟩Can Inf
115901⟨a, b | ababba=bbaaa⟩Noc Inf
115903⟨a, b | ababba=bbaba⟩Noc Inf
115904⟨a, b | ababba=bbabb⟩Can Inf
115905⟨a, b | ababba=bbbaa⟩Noc Inf
115906⟨a, b | ababba=bbbab⟩Can Inf
115907⟨a, b | ababba=bbbba⟩Noc Inf
115908⟨a, b | ababba=bbbbb⟩Can Inf
115909⟨a, b | abbaab=aaaaa⟩Noc Inf
115910⟨a, b | abbaab=aaaab⟩Noc Inf
115911⟨a, b | abbaab=aaaba⟩Noc Inf
115912⟨a, b | abbaab=aaabb⟩Noc Inf
115914⟨a, b | abbaab=aabab⟩Noc Inf
115917⟨a, b | abbaab=abaab⟩Noc Inf
115921⟨a, b | abbaab=baaaa⟩Can Inf
115923⟨a, b | abbaab=babaa⟩Can Inf
115924⟨a, b | abbaab=bbaaa⟩Can Inf
115925⟨a, b | abbbba=aaaaa⟩Noc Inf
115926⟨a, b | abbbba=aaaab⟩Noc Inf
115927⟨a, b | abbbba=aaaba⟩Noc Inf
115928⟨a, b | abbbba=aaabb⟩Noc Inf
115929⟨a, b | abbbba=aabaa⟩Noc Inf
115930⟨a, b | abbbba=aabab⟩Noc Inf
115931⟨a, b | abbbba=aabba⟩Noc Inf
115932⟨a, b | abbbba=aabbb⟩Noc Inf
115934⟨a, b | abbbba=ababa⟩Noc Inf
115935⟨a, b | abbbba=ababb⟩Noc Inf
115937⟨a, b | abbbba=abbba⟩Noc Inf
115944⟨a, b | abbbba=bbbbb⟩Can Inf