Infinite non-cancellative non-commutative monoids

Up:Monoid enumeration
3853 unique, 3892 total

Σ#PresentationPropertiesDescriptionφ
22⟨a, b | ab=1⟩Noc Inf
34⟨a, b | aab=1⟩Noc Inf
36⟨a, b | aa=a⟩Noc Infℕ(2 = 1) ∗ ℕ
38⟨a, b | ab=a⟩Noc Inf
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
421⟨a, b | ab=aa⟩Noc Inf
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
540⟨a, b | aabb=a⟩Noc Inf
541⟨a, b | abab=a⟩Noc Inf
542⟨a, b | abba=a⟩Noc Inf
544⟨a, b | aaa=aa⟩Noc Infℕ(3 = 2) ∗ ℕ
545⟨a, b | aaa=ab⟩Noc Inf
547⟨a, b | aab=aa⟩Noc Inf
548⟨a, b | aab=ab⟩Noc Inf
550⟨a, b | aab=bb⟩Noc Inf
551⟨a, b | aba=aa⟩Noc Inf
552⟨a, b | aba=ab⟩Noc Inf
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
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
680⟨a, b | aaabb=a⟩Noc Inf
681⟨a, b | aaabb=b⟩Noc Inf
682⟨a, b | aabaa=a⟩Noc Inf
684⟨a, b | aabab=a⟩Noc Inf
685⟨a, b | aabab=b⟩Noc Inf
686⟨a, b | aabba=a⟩Noc Inf
688⟨a, b | abaab=a⟩Noc Inf
689⟨a, b | abaab=b⟩Noc Inf
690⟨a, b | ababa=a⟩Noc Inf
692⟨a, b | abbba=a⟩Noc Inf
694⟨a, b | aaaa=aa⟩Noc Infℕ(4 = 2) ∗ ℕ
695⟨a, b | aaaa=ab⟩Noc Inf
697⟨a, b | aaab=aa⟩Noc Inf
698⟨a, b | aaab=ab⟩Noc Inf
6100⟨a, b | aaab=bb⟩Noc Inf
6101⟨a, b | aaba=aa⟩Noc Inf
6102⟨a, b | aaba=ab⟩Noc Inf
6103⟨a, b | aaba=ba⟩Noc Inf
6105⟨a, b | aabb=aa⟩Noc Inf
6106⟨a, b | aabb=ab⟩Noc Inf
6108⟨a, b | abab=aa⟩Noc Inf
6109⟨a, b | abab=ab⟩Noc Inf
6111⟨a, b | abba=aa⟩Noc Inf
6112⟨a, b | abba=ab⟩Noc 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
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
7167⟨a, b | aaaabb=a⟩Noc Inf
7168⟨a, b | aaaabb=b⟩Noc Inf
7169⟨a, b | aaabaa=a⟩Noc Inf
7171⟨a, b | aaabab=a⟩Noc Inf
7172⟨a, b | aaabab=b⟩Noc Inf
7173⟨a, b | aaabba=a⟩Noc 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
7180⟨a, b | aababb=a⟩Noc Inf
7181⟨a, b | aabbaa=a⟩Noc Inf
7183⟨a, b | aabbab=a⟩Noc Inf
7184⟨a, b | aabbab=b⟩Noc Inf
7185⟨a, b | aabbba=a⟩Noc 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
7194⟨a, b | abbaab=a⟩Noc Inf
7195⟨a, b | abbbba=a⟩Noc Inf
7197⟨a, b | aaaaa=aa⟩Noc Infℕ(5 = 2) ∗ ℕ
7198⟨a, b | aaaaa=ab⟩Noc Inf
7200⟨a, b | aaaab=aa⟩Noc Inf
7201⟨a, b | aaaab=ab⟩Noc Inf
7203⟨a, b | aaaab=bb⟩Noc Inf
7204⟨a, b | aaaba=aa⟩Noc Inf
7205⟨a, b | aaaba=ab⟩Noc Inf
7206⟨a, b | aaaba=ba⟩Noc Inf
7208⟨a, b | aaabb=aa⟩Noc Inf
7209⟨a, b | aaabb=ab⟩Noc Inf
7211⟨a, b | aaabb=bb⟩Noc Inf
7212⟨a, b | aabaa=aa⟩Noc Inf
7213⟨a, b | aabaa=ab⟩Noc Inf
7215⟨a, b | aabab=aa⟩Noc Inf
7216⟨a, b | aabab=ab⟩Noc Inf
7218⟨a, b | aabab=bb⟩Noc Inf
7219⟨a, b | aabba=aa⟩Noc Inf
7220⟨a, b | aabba=ab⟩Noc Inf
7221⟨a, b | aabba=ba⟩Noc 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
7228⟨a, b | ababa=ab⟩Noc Inf
7230⟨a, b | abbba=aa⟩Noc Inf
7231⟨a, b | abbba=ab⟩Noc 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
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
7244⟨a, b | aaab=bab⟩Noc Inf
7246⟨a, b | aaab=bbb⟩Noc Inf
7247⟨a, b | aaba=aaa⟩Noc Inf
7248⟨a, b | aaba=aab⟩Noc Inf
7249⟨a, b | aaba=aba⟩Noc Inf
7250⟨a, b | aaba=abb⟩Noc Inf
7251⟨a, b | aaba=baa⟩Noc Inf
7253⟨a, b | aaba=bba⟩Noc Inf
7255⟨a, b | aabb=aaa⟩Noc Inf
7256⟨a, b | aabb=aab⟩Noc Inf
7257⟨a, b | aabb=aba⟩Noc Inf
7259⟨a, b | abab=aaa⟩Noc Inf
7260⟨a, b | abab=aab⟩Noc Inf
7261⟨a, b | abab=aba⟩Noc Inf
7263⟨a, b | abba=aaa⟩Noc Inf
7264⟨a, b | abba=aab⟩Noc Inf
7265⟨a, b | abba=aba⟩Noc Inf
7266⟨a, b | abba=abb⟩Noc Inf
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
8347⟨a, b | aaaaabb=a⟩Noc Inf
8348⟨a, b | aaaaabb=b⟩Noc Inf
8349⟨a, b | aaaabaa=a⟩Noc Inf1
8351⟨a, b | aaaabab=a⟩Noc Inf
8352⟨a, b | aaaabab=b⟩Noc Inf
8353⟨a, b | aaaabba=a⟩Noc Inf
8355⟨a, b | aaaabbb=a⟩Noc Inf
8356⟨a, b | aaaabbb=b⟩Noc Inf
8359⟨a, b | aaabaab=a⟩Noc Inf
8360⟨a, b | aaabaab=b⟩Noc Inf
8361⟨a, b | aaababa=a⟩Noc Inf
8363⟨a, b | aaababb=a⟩Noc Inf
8364⟨a, b | aaababb=b⟩Noc Inf
8365⟨a, b | aaabbaa=a⟩Noc Inf
8367⟨a, b | aaabbab=a⟩Noc Inf
8368⟨a, b | aaabbab=b⟩Noc Inf
8369⟨a, b | aaabbba=a⟩Noc Inf
8371⟨a, b | aabaaab=a⟩Noc Inf
8372⟨a, b | aabaaab=b⟩Noc Inf
8373⟨a, b | aabaaba=a⟩Noc Inf
8375⟨a, b | aabaabb=a⟩Noc Inf
8376⟨a, b | aabaabb=b⟩Noc Inf
8377⟨a, b | aababaa=a⟩Noc Inf1
8379⟨a, b | aababab=a⟩Noc Inf
8380⟨a, b | aababab=b⟩Noc Inf
8381⟨a, b | aababba=a⟩Noc Inf
8383⟨a, b | aabbaab=a⟩Noc Inf
8384⟨a, b | aabbaab=b⟩Noc Inf
8385⟨a, b | aabbaba=a⟩Noc Inf
8387⟨a, b | aabbbaa=a⟩Noc Inf
8389⟨a, b | aabbbab=a⟩Noc Inf
8390⟨a, b | aabbbab=b⟩Noc Inf
8391⟨a, b | aabbbba=a⟩Noc 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
8401⟨a, b | ababaab=a⟩Noc Inf
8402⟨a, b | ababaab=b⟩Noc Inf1
8403⟨a, b | abababa=a⟩Noc Inf
8405⟨a, b | ababbba=a⟩Noc Inf
8407⟨a, b | abbaaab=a⟩Noc Inf
8408⟨a, b | abbaaab=b⟩Noc Inf1
8409⟨a, b | abbabba=a⟩Noc Inf
8411⟨a, b | abbbbba=a⟩Noc Inf
8413⟨a, b | aaaaaa=aa⟩Noc Infℕ(6 = 2) ∗ ℕ
8414⟨a, b | aaaaaa=ab⟩Noc Inf
8416⟨a, b | aaaaab=aa⟩Noc Inf
8417⟨a, b | aaaaab=ab⟩Noc Inf
8419⟨a, b | aaaaab=bb⟩Noc Inf
8420⟨a, b | aaaaba=aa⟩Noc Inf
8421⟨a, b | aaaaba=ab⟩Noc Inf
8422⟨a, b | aaaaba=ba⟩Noc Inf
8424⟨a, b | aaaabb=aa⟩Noc Inf
8425⟨a, b | aaaabb=ab⟩Noc Inf
8427⟨a, b | aaaabb=bb⟩Noc Inf
8428⟨a, b | aaabaa=aa⟩Noc Inf
8429⟨a, b | aaabaa=ab⟩Noc Inf
8430⟨a, b | aaabaa=ba⟩Noc Inf
8432⟨a, b | aaabab=aa⟩Noc Inf
8433⟨a, b | aaabab=ab⟩Noc Inf
8435⟨a, b | aaabab=bb⟩Noc Inf
8436⟨a, b | aaabba=aa⟩Noc Inf
8437⟨a, b | aaabba=ab⟩Noc Inf
8438⟨a, b | aaabba=ba⟩Noc Inf
8440⟨a, b | aaabbb=aa⟩Noc Inf
8441⟨a, b | aaabbb=ab⟩Noc 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
8448⟨a, b | aababa=ab⟩Noc Inf
8449⟨a, b | aababa=ba⟩Noc Inf
8451⟨a, b | aababb=aa⟩Noc Inf
8452⟨a, b | aababb=ab⟩Noc Inf
8454⟨a, b | aabbaa=aa⟩Noc Inf
8455⟨a, b | aabbaa=ab⟩Noc Inf
8457⟨a, b | aabbab=aa⟩Noc Inf
8458⟨a, b | aabbab=ab⟩Noc Inf
8460⟨a, b | aabbab=bb⟩Noc Inf
8461⟨a, b | aabbba=aa⟩Noc Inf
8462⟨a, b | aabbba=ab⟩Noc Inf
8463⟨a, b | aabbba=ba⟩Noc 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
8470⟨a, b | abaaba=ab⟩Noc Inf
8472⟨a, b | ababab=aa⟩Noc Inf
8473⟨a, b | ababab=ab⟩Noc Inf
8475⟨a, b | ababba=aa⟩Noc Inf
8476⟨a, b | ababba=ab⟩Noc Inf
8477⟨a, b | ababba=ba⟩Noc Inf
8479⟨a, b | abbaab=aa⟩Noc Inf
8480⟨a, b | abbaab=ab⟩Noc Inf
8482⟨a, b | abbbba=aa⟩Noc Inf
8483⟨a, b | abbbba=ab⟩Noc 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
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
8496⟨a, b | aaaab=bab⟩Noc Inf
8498⟨a, b | aaaab=bbb⟩Noc Inf
8499⟨a, b | aaaba=aaa⟩Noc Inf
8500⟨a, b | aaaba=aab⟩Noc Inf
8501⟨a, b | aaaba=aba⟩Noc Inf
8502⟨a, b | aaaba=abb⟩Noc Inf
8503⟨a, b | aaaba=baa⟩Noc Inf
8505⟨a, b | aaaba=bba⟩Noc 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
8512⟨a, b | aaabb=bab⟩Noc Inf
8514⟨a, b | aaabb=bbb⟩Noc Inf
8515⟨a, b | aabaa=aaa⟩Noc Inf
8516⟨a, b | aabaa=aab⟩Noc Inf
8517⟨a, b | aabaa=aba⟩Noc Inf
8518⟨a, b | aabaa=abb⟩Noc 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
8526⟨a, b | aabab=bab⟩Noc Inf
8528⟨a, b | aabab=bbb⟩Noc Inf
8529⟨a, b | aabba=aaa⟩Noc Inf
8530⟨a, b | aabba=aab⟩Noc Inf
8531⟨a, b | aabba=aba⟩Noc Inf
8532⟨a, b | aabba=abb⟩Noc Inf
8533⟨a, b | aabba=baa⟩Noc Inf
8535⟨a, b | aabba=bba⟩Noc Inf
8537⟨a, b | abaab=aaa⟩Noc Inf
8538⟨a, b | abaab=aab⟩Noc Inf
8539⟨a, b | abaab=aba⟩Noc Inf
8540⟨a, b | abaab=abb⟩Noc Inf
8542⟨a, b | abaab=bab⟩Noc Inf
8544⟨a, b | abaab=bbb⟩Noc Inf
8545⟨a, b | ababa=aaa⟩Noc Inf
8546⟨a, b | ababa=aab⟩Noc Inf
8547⟨a, b | ababa=aba⟩Noc Inf
8548⟨a, b | ababa=abb⟩Noc Inf
8551⟨a, b | abbba=aaa⟩Noc Inf
8552⟨a, b | abbba=aab⟩Noc Inf
8553⟨a, b | abbba=aba⟩Noc Inf
8554⟨a, b | abbba=abb⟩Noc 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
8568⟨a, b | abab=aaba⟩Noc Inf
8569⟨a, b | abab=aabb⟩Noc Inf
8570⟨a, b | abab=abaa⟩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
8575⟨a, b | abba=abab⟩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
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
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
9737⟨a, b | aaaaaabb=a⟩Noc Inf
9738⟨a, b | aaaaaabb=b⟩Noc Inf
9739⟨a, b | aaaaabaa=a⟩Noc Inf1
9741⟨a, b | aaaaabab=a⟩Noc Inf
9742⟨a, b | aaaaabab=b⟩Noc Inf
9743⟨a, b | aaaaabba=a⟩Noc Inf
9745⟨a, b | aaaaabbb=a⟩Noc Inf
9746⟨a, b | aaaaabbb=b⟩Noc Inf
9749⟨a, b | aaaabaab=a⟩Noc Inf
9750⟨a, b | aaaabaab=b⟩Noc Inf
9751⟨a, b | aaaababa=a⟩Noc Inf
9753⟨a, b | aaaababb=a⟩Noc Inf
9754⟨a, b | aaaababb=b⟩Noc Inf
9755⟨a, b | aaaabbaa=a⟩Noc Inf1
9757⟨a, b | aaaabbab=a⟩Noc Inf
9758⟨a, b | aaaabbab=b⟩Noc Inf
9759⟨a, b | aaaabbba=a⟩Noc 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
9766⟨a, b | aaabaabb=a⟩Noc Inf
9767⟨a, b | aaabaabb=b⟩Noc Inf
9768⟨a, b | aaababaa=a⟩Noc Inf1
9770⟨a, b | aaababab=a⟩Noc Inf
9771⟨a, b | aaababab=b⟩Noc Inf
9772⟨a, b | aaababba=a⟩Noc Inf
9774⟨a, b | aaababbb=a⟩Noc Inf
9777⟨a, b | aaabbaab=a⟩Noc Inf
9778⟨a, b | aaabbaab=b⟩Noc Inf
9779⟨a, b | aaabbaba=a⟩Noc Inf
9781⟨a, b | aaabbabb=a⟩Noc Inf
9782⟨a, b | aaabbabb=b⟩Noc Inf
9783⟨a, b | aaabbbaa=a⟩Noc Inf
9785⟨a, b | aaabbbab=a⟩Noc Inf
9786⟨a, b | aaabbbab=b⟩Noc Inf
9787⟨a, b | aaabbbba=a⟩Noc Inf
9789⟨a, b | aabaaaab=a⟩Noc Inf1
9790⟨a, b | aabaaaab=b⟩Noc Inf
9791⟨a, b | aabaaaba=a⟩Noc Inf1
9793⟨a, b | aabaaabb=a⟩Noc Inf
9794⟨a, b | aabaaabb=b⟩Noc Inf
9797⟨a, b | aabaabab=a⟩Noc Inf
9798⟨a, b | aabaabab=b⟩Noc Inf
9799⟨a, b | aabaabba=a⟩Noc Inf
9801⟨a, b | aababaab=a⟩Noc Inf
9802⟨a, b | aababaab=b⟩Noc Inf
9803⟨a, b | aabababa=a⟩Noc Inf
9805⟨a, b | aabababb=a⟩Noc Inf
9806⟨a, b | aababbaa=a⟩Noc Inf
9808⟨a, b | aababbab=a⟩Noc Inf
9809⟨a, b | aababbab=b⟩Noc Inf
9810⟨a, b | aababbba=a⟩Noc Inf
9812⟨a, b | aabbaaab=a⟩Noc Inf
9813⟨a, b | aabbaaab=b⟩Noc Inf
9814⟨a, b | aabbaaba=a⟩Noc 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
9821⟨a, b | aabbbaab=a⟩Noc Inf
9822⟨a, b | aabbbaab=b⟩Noc Inf
9823⟨a, b | aabbbaba=a⟩Noc Inf
9825⟨a, b | aabbbbaa=a⟩Noc Inf
9827⟨a, b | aabbbbab=a⟩Noc Inf
9828⟨a, b | aabbbbab=b⟩Noc Inf
9829⟨a, b | aabbbbba=a⟩Noc 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
9839⟨a, b | abaabaab=a⟩Noc Inf
9840⟨a, b | abaabaab=b⟩Noc Inf
9841⟨a, b | abaababa=a⟩Noc Inf
9843⟨a, b | abaabbab=a⟩Noc Inf
9844⟨a, b | abaabbba=a⟩Noc Inf
9846⟨a, b | ababaaab=a⟩Noc Inf
9847⟨a, b | ababaaab=b⟩Noc Inf1
9848⟨a, b | abababab=a⟩Noc Inf
9849⟨a, b | abababba=a⟩Noc Inf
9851⟨a, b | ababbaab=a⟩Noc Inf
9852⟨a, b | ababbaab=b⟩Noc Inf
9853⟨a, b | ababbaba=a⟩Noc Inf
9855⟨a, b | ababbbba=a⟩Noc Inf
9857⟨a, b | abbaaaab=a⟩Noc Inf
9858⟨a, b | abbaaaab=b⟩Noc Inf1
9859⟨a, b | abbaabba=a⟩Noc Inf
9861⟨a, b | abbabaab=a⟩Noc Inf
9862⟨a, b | abbabbba=a⟩Noc Inf
9864⟨a, b | abbbaaab=a⟩Noc Inf
9865⟨a, b | abbbbbba=a⟩Noc Inf
9867⟨a, b | aaaaaaa=aa⟩Noc Infℕ(7 = 2) ∗ ℕ
9868⟨a, b | aaaaaaa=ab⟩Noc Inf
9870⟨a, b | aaaaaab=aa⟩Noc Inf
9871⟨a, b | aaaaaab=ab⟩Noc Inf
9873⟨a, b | aaaaaab=bb⟩Noc Inf
9874⟨a, b | aaaaaba=aa⟩Noc Inf
9875⟨a, b | aaaaaba=ab⟩Noc Inf
9876⟨a, b | aaaaaba=ba⟩Noc Inf
9878⟨a, b | aaaaabb=aa⟩Noc Inf
9879⟨a, b | aaaaabb=ab⟩Noc Inf
9881⟨a, b | aaaaabb=bb⟩Noc Inf
9882⟨a, b | aaaabaa=aa⟩Noc Inf
9883⟨a, b | aaaabaa=ab⟩Noc Inf
9884⟨a, b | aaaabaa=ba⟩Noc Inf
9886⟨a, b | aaaabab=aa⟩Noc Inf
9887⟨a, b | aaaabab=ab⟩Noc Inf
9889⟨a, b | aaaabab=bb⟩Noc Inf
9890⟨a, b | aaaabba=aa⟩Noc Inf
9891⟨a, b | aaaabba=ab⟩Noc Inf
9892⟨a, b | aaaabba=ba⟩Noc Inf
9894⟨a, b | aaaabbb=aa⟩Noc Inf
9895⟨a, b | aaaabbb=ab⟩Noc Inf
9897⟨a, b | aaaabbb=bb⟩Noc Inf
9898⟨a, b | aaabaaa=aa⟩Noc Inf
9899⟨a, b | aaabaaa=ab⟩Noc Inf
9901⟨a, b | aaabaab=aa⟩Noc Inf
9902⟨a, b | aaabaab=ab⟩Noc Inf
9904⟨a, b | aaabaab=bb⟩Noc Inf
9905⟨a, b | aaababa=aa⟩Noc Inf
9906⟨a, b | aaababa=ab⟩Noc Inf
9907⟨a, b | aaababa=ba⟩Noc Inf
9909⟨a, b | aaababb=aa⟩Noc Inf
9910⟨a, b | aaababb=ab⟩Noc Inf
9912⟨a, b | aaababb=bb⟩Noc Inf
9913⟨a, b | aaabbaa=aa⟩Noc Inf
9914⟨a, b | aaabbaa=ab⟩Noc Inf
9915⟨a, b | aaabbaa=ba⟩Noc Inf
9917⟨a, b | aaabbab=aa⟩Noc Inf
9918⟨a, b | aaabbab=ab⟩Noc Inf
9920⟨a, b | aaabbab=bb⟩Noc Inf
9921⟨a, b | aaabbba=aa⟩Noc Inf
9922⟨a, b | aaabbba=ab⟩Noc Inf
9923⟨a, b | aaabbba=ba⟩Noc 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
9930⟨a, b | aabaaba=ab⟩Noc Inf
9931⟨a, b | aabaaba=ba⟩Noc Inf
9933⟨a, b | aabaabb=aa⟩Noc Inf
9934⟨a, b | aabaabb=ab⟩Noc Inf
9936⟨a, b | aabaabb=bb⟩Noc Inf
9937⟨a, b | aababaa=aa⟩Noc Inf
9938⟨a, b | aababaa=ab⟩Noc Inf
9940⟨a, b | aababab=aa⟩Noc Inf
9941⟨a, b | aababab=ab⟩Noc Inf
9943⟨a, b | aababab=bb⟩Noc Inf
9944⟨a, b | aababba=aa⟩Noc Inf
9945⟨a, b | aababba=ab⟩Noc Inf
9946⟨a, b | aababba=ba⟩Noc 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
9953⟨a, b | aabbaba=ab⟩Noc Inf
9954⟨a, b | aabbaba=ba⟩Noc Inf
9956⟨a, b | aabbbaa=aa⟩Noc Inf
9957⟨a, b | aabbbaa=ab⟩Noc Inf
9959⟨a, b | aabbbab=aa⟩Noc Inf
9960⟨a, b | aabbbab=ab⟩Noc Inf
9962⟨a, b | aabbbab=bb⟩Noc Inf
9963⟨a, b | aabbbba=aa⟩Noc Inf
9964⟨a, b | aabbbba=ab⟩Noc Inf
9965⟨a, b | aabbbba=ba⟩Noc 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
9972⟨a, b | abaaaba=ab⟩Noc 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
9979⟨a, b | abaabba=ab⟩Noc Inf
9980⟨a, b | abaabba=ba⟩Noc 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
9987⟨a, b | abababa=ab⟩Noc Inf
9989⟨a, b | ababbba=aa⟩Noc Inf
9990⟨a, b | ababbba=ab⟩Noc Inf
9991⟨a, b | ababbba=ba⟩Noc Inf
9993⟨a, b | abbaaab=aa⟩Noc Inf
9994⟨a, b | abbaaab=ab⟩Noc Inf
9996⟨a, b | abbaaab=bb⟩Noc Inf
9997⟨a, b | abbabba=aa⟩Noc Inf
9998⟨a, b | abbabba=ab⟩Noc Inf
91000⟨a, b | abbbbba=aa⟩Noc Inf
91001⟨a, b | abbbbba=ab⟩Noc 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
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
91014⟨a, b | aaaaab=bab⟩Noc Inf
91016⟨a, b | aaaaab=bbb⟩Noc Inf
91017⟨a, b | aaaaba=aaa⟩Noc Inf
91018⟨a, b | aaaaba=aab⟩Noc Inf
91019⟨a, b | aaaaba=aba⟩Noc Inf
91020⟨a, b | aaaaba=abb⟩Noc Inf
91021⟨a, b | aaaaba=baa⟩Noc Inf
91023⟨a, b | aaaaba=bba⟩Noc 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
91030⟨a, b | aaaabb=bab⟩Noc Inf
91032⟨a, b | aaaabb=bbb⟩Noc Inf
91033⟨a, b | aaabaa=aaa⟩Noc Inf
91034⟨a, b | aaabaa=aab⟩Noc Inf
91035⟨a, b | aaabaa=aba⟩Noc Inf
91036⟨a, b | aaabaa=abb⟩Noc Inf
91037⟨a, b | aaabaa=baa⟩Noc Inf
91039⟨a, b | aaabaa=bba⟩Noc 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
91046⟨a, b | aaabab=bab⟩Noc Inf
91048⟨a, b | aaabab=bbb⟩Noc Inf
91049⟨a, b | aaabba=aaa⟩Noc Inf
91050⟨a, b | aaabba=aab⟩Noc Inf
91051⟨a, b | aaabba=aba⟩Noc Inf
91052⟨a, b | aaabba=abb⟩Noc Inf
91053⟨a, b | aaabba=baa⟩Noc Inf
91055⟨a, b | aaabba=bba⟩Noc Inf
91057⟨a, b | aaabbb=aaa⟩Noc Inf
91058⟨a, b | aaabbb=aab⟩Noc Inf
91059⟨a, b | aaabbb=aba⟩Noc Inf
91061⟨a, b | aabaab=aaa⟩Noc Inf
91062⟨a, b | aabaab=aab⟩Noc Inf
91063⟨a, b | aabaab=aba⟩Noc Inf
91064⟨a, b | aabaab=abb⟩Noc Inf
91066⟨a, b | aabaab=bab⟩Noc Inf
91068⟨a, b | aabaab=bbb⟩Noc Inf
91069⟨a, b | aababa=aaa⟩Noc Inf
91070⟨a, b | aababa=aab⟩Noc Inf
91071⟨a, b | aababa=aba⟩Noc Inf
91072⟨a, b | aababa=abb⟩Noc Inf
91073⟨a, b | aababa=baa⟩Noc Inf
91075⟨a, b | aababa=bba⟩Noc Inf
91077⟨a, b | aababb=aaa⟩Noc Inf
91078⟨a, b | aababb=aab⟩Noc Inf
91079⟨a, b | aababb=aba⟩Noc Inf
91081⟨a, b | aabbaa=aaa⟩Noc Inf
91082⟨a, b | aabbaa=aab⟩Noc Inf
91083⟨a, b | aabbaa=aba⟩Noc Inf
91084⟨a, b | aabbaa=abb⟩Noc 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
91092⟨a, b | aabbab=bab⟩Noc Inf
91094⟨a, b | aabbab=bbb⟩Noc Inf
91095⟨a, b | aabbba=aaa⟩Noc Inf
91096⟨a, b | aabbba=aab⟩Noc Inf
91097⟨a, b | aabbba=aba⟩Noc Inf
91098⟨a, b | aabbba=abb⟩Noc Inf
91099⟨a, b | aabbba=baa⟩Noc Inf
91101⟨a, b | aabbba=bba⟩Noc Inf
91103⟨a, b | abaaab=aaa⟩Noc Inf
91104⟨a, b | abaaab=aab⟩Noc Inf
91105⟨a, b | abaaab=aba⟩Noc Inf
91106⟨a, b | abaaab=abb⟩Noc Inf
91108⟨a, b | abaaab=bab⟩Noc Inf
91110⟨a, b | abaaab=bbb⟩Noc Inf
91111⟨a, b | abaaba=aaa⟩Noc Inf
91112⟨a, b | abaaba=aab⟩Noc Inf
91113⟨a, b | abaaba=aba⟩Noc Inf
91114⟨a, b | abaaba=abb⟩Noc Inf
91117⟨a, b | ababab=aaa⟩Noc Inf
91118⟨a, b | ababab=aab⟩Noc Inf
91119⟨a, b | ababab=aba⟩Noc Inf
91121⟨a, b | ababba=aaa⟩Noc Inf
91122⟨a, b | ababba=aab⟩Noc Inf
91123⟨a, b | ababba=aba⟩Noc Inf
91124⟨a, b | ababba=abb⟩Noc Inf
91125⟨a, b | ababba=baa⟩Noc Inf
91127⟨a, b | ababba=bba⟩Noc Inf
91129⟨a, b | abbaab=aaa⟩Noc Inf
91130⟨a, b | abbaab=aab⟩Noc Inf
91131⟨a, b | abbaab=aba⟩Noc Inf
91133⟨a, b | abbbba=aaa⟩Noc Inf
91134⟨a, b | abbbba=aab⟩Noc Inf
91135⟨a, b | abbbba=aba⟩Noc Inf
91136⟨a, b | abbbba=abb⟩Noc 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
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
91158⟨a, b | aaaab=baab⟩Noc Inf
91160⟨a, b | aaaab=babb⟩Noc Inf
91162⟨a, b | aaaab=bbab⟩Noc Inf
91164⟨a, b | aaaab=bbbb⟩Noc Inf
91165⟨a, b | aaaba=aaaa⟩Noc Inf
91166⟨a, b | aaaba=aaab⟩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
91175⟨a, b | aaaba=baba⟩Noc Inf
91177⟨a, b | aaaba=bbaa⟩Noc Inf
91179⟨a, b | aaaba=bbba⟩Noc 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
91190⟨a, b | aaabb=baab⟩Noc Inf
91192⟨a, b | aaabb=babb⟩Noc Inf
91194⟨a, b | aaabb=bbab⟩Noc Inf
91196⟨a, b | aaabb=bbbb⟩Noc Inf
91197⟨a, b | aabaa=aaaa⟩Noc Inf
91198⟨a, b | aabaa=aaab⟩Noc Inf
91199⟨a, b | aabaa=aaba⟩Noc Inf
91200⟨a, b | aabaa=aabb⟩Noc Inf
91201⟨a, b | aabaa=abab⟩Noc Inf
91202⟨a, b | aabaa=abba⟩Noc Inf
91203⟨a, b | aabaa=abbb⟩Noc 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
91216⟨a, b | aabab=baab⟩Noc Inf
91218⟨a, b | aabab=babb⟩Noc Inf
91220⟨a, b | aabab=bbab⟩Noc 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
91226⟨a, b | aabba=aabb⟩Noc Inf
91227⟨a, b | aabba=abaa⟩Noc Inf
91228⟨a, b | aabba=abab⟩Noc Inf
91229⟨a, b | aabba=abba⟩Noc Inf
91230⟨a, b | aabba=abbb⟩Noc Inf
91231⟨a, b | aabba=baaa⟩Noc Inf
91233⟨a, b | aabba=baba⟩Noc Inf
91235⟨a, b | aabba=bbaa⟩Noc Inf
91237⟨a, b | aabba=bbba⟩Noc Inf
91239⟨a, b | abaab=aaaa⟩Noc Inf
91240⟨a, b | abaab=aaab⟩Noc Inf
91241⟨a, b | abaab=aaba⟩Noc Inf
91242⟨a, b | abaab=aabb⟩Noc Inf
91243⟨a, b | abaab=abaa⟩Noc Inf
91244⟨a, b | abaab=abab⟩Noc Inf
91245⟨a, b | abaab=abba⟩Noc Inf
91246⟨a, b | abaab=abbb⟩Noc Inf
91248⟨a, b | abaab=baab⟩Noc Inf
91250⟨a, b | abaab=babb⟩Noc Inf
91252⟨a, b | abaab=bbab⟩Noc Inf
91254⟨a, b | abaab=bbbb⟩Noc Inf
91255⟨a, b | ababa=aaaa⟩Noc Inf
91256⟨a, b | ababa=aaab⟩Noc Inf
91257⟨a, b | ababa=aaba⟩Noc Inf
91258⟨a, b | ababa=aabb⟩Noc Inf
91259⟨a, b | ababa=abab⟩Noc Inf
91260⟨a, b | ababa=abba⟩Noc Inf
91261⟨a, b | ababa=abbb⟩Noc 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
91269⟨a, b | abbba=abab⟩Noc Inf
91270⟨a, b | abbba=abba⟩Noc Inf
91271⟨a, b | abbba=abbb⟩Noc Inf
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
101553⟨a, b | aaaaaaabb=a⟩Noc Inf
101554⟨a, b | aaaaaaabb=b⟩Noc Inf
101555⟨a, b | aaaaaabaa=a⟩Noc Inf2
101557⟨a, b | aaaaaabab=a⟩Noc Inf
101558⟨a, b | aaaaaabab=b⟩Noc Inf
101559⟨a, b | aaaaaabba=a⟩Noc Inf
101561⟨a, b | aaaaaabbb=a⟩Noc Inf
101562⟨a, b | aaaaaabbb=b⟩Noc Inf
101565⟨a, b | aaaaabaab=a⟩Noc Inf
101566⟨a, b | aaaaabaab=b⟩Noc Inf
101567⟨a, b | aaaaababa=a⟩Noc Inf
101569⟨a, b | aaaaababb=a⟩Noc Inf
101570⟨a, b | aaaaababb=b⟩Noc Inf
101571⟨a, b | aaaaabbaa=a⟩Noc Inf1
101573⟨a, b | aaaaabbab=a⟩Noc Inf
101574⟨a, b | aaaaabbab=b⟩Noc Inf
101575⟨a, b | aaaaabbba=a⟩Noc Inf
101577⟨a, b | aaaaabbbb=a⟩Noc Inf
101578⟨a, b | aaaaabbbb=b⟩Noc Inf
101581⟨a, b | aaaabaaab=a⟩Noc Inf
101582⟨a, b | aaaabaaab=b⟩Noc Inf
101583⟨a, b | aaaabaaba=a⟩Noc Inf
101585⟨a, b | aaaabaabb=a⟩Noc Inf
101586⟨a, b | aaaabaabb=b⟩Noc Inf
101587⟨a, b | aaaababaa=a⟩Noc Inf2
101589⟨a, b | aaaababab=a⟩Noc Inf
101590⟨a, b | aaaababab=b⟩Noc Inf
101591⟨a, b | aaaababba=a⟩Noc Inf
101593⟨a, b | aaaababbb=a⟩Noc Inf
101594⟨a, b | aaaababbb=b⟩Noc Inf
101597⟨a, b | aaaabbaab=a⟩Noc Inf
101598⟨a, b | aaaabbaab=b⟩Noc Inf
101599⟨a, b | aaaabbaba=a⟩Noc Inf
101601⟨a, b | aaaabbabb=a⟩Noc Inf
101602⟨a, b | aaaabbabb=b⟩Noc Inf
101603⟨a, b | aaaabbbaa=a⟩Noc Inf1
101605⟨a, b | aaaabbbab=a⟩Noc Inf
101606⟨a, b | aaaabbbab=b⟩Noc Inf
101607⟨a, b | aaaabbbba=a⟩Noc Inf
101609⟨a, b | aaabaaaab=a⟩Noc Inf
101610⟨a, b | aaabaaaab=b⟩Noc Inf
101611⟨a, b | aaabaaaba=a⟩Noc Inf
101613⟨a, b | aaabaaabb=a⟩Noc Inf
101614⟨a, b | aaabaaabb=b⟩Noc Inf
101615⟨a, b | aaabaabaa=a⟩Noc Inf1
101617⟨a, b | aaabaabab=a⟩Noc Inf
101618⟨a, b | aaabaabab=b⟩Noc Inf
101619⟨a, b | aaabaabba=a⟩Noc Inf
101621⟨a, b | aaabaabbb=a⟩Noc Inf
101622⟨a, b | aaabaabbb=b⟩Noc Inf
101625⟨a, b | aaababaab=a⟩Noc Inf
101626⟨a, b | aaababaab=b⟩Noc Inf
101627⟨a, b | aaabababa=a⟩Noc Inf
101629⟨a, b | aaabababb=a⟩Noc Inf
101630⟨a, b | aaabababb=b⟩Noc Inf
101631⟨a, b | aaababbaa=a⟩Noc Inf
101633⟨a, b | aaababbab=a⟩Noc Inf
101634⟨a, b | aaababbab=b⟩Noc Inf
101635⟨a, b | aaababbba=a⟩Noc Inf
101637⟨a, b | aaabbaaab=a⟩Noc Inf
101638⟨a, b | aaabbaaab=b⟩Noc Inf
101639⟨a, b | aaabbaaba=a⟩Noc Inf
101641⟨a, b | aaabbaabb=a⟩Noc Inf
101642⟨a, b | aaabbaabb=b⟩Noc Inf
101643⟨a, b | aaabbabaa=a⟩Noc Inf
101645⟨a, b | aaabbabab=a⟩Noc Inf
101646⟨a, b | aaabbabab=b⟩Noc Inf
101647⟨a, b | aaabbabba=a⟩Noc Inf
101651⟨a, b | aaabbbaab=a⟩Noc Inf
101652⟨a, b | aaabbbaab=b⟩Noc Inf
101653⟨a, b | aaabbbaba=a⟩Noc Inf
101655⟨a, b | aaabbbabb=a⟩Noc Inf
101656⟨a, b | aaabbbabb=b⟩Noc Inf
101657⟨a, b | aaabbbbaa=a⟩Noc Inf
101659⟨a, b | aaabbbbab=a⟩Noc Inf
101660⟨a, b | aaabbbbab=b⟩Noc Inf
101661⟨a, b | aaabbbbba=a⟩Noc Inf
101663⟨a, b | aabaaaaab=a⟩Noc Inf
101664⟨a, b | aabaaaaab=b⟩Noc Inf
101667⟨a, b | aabaaaabb=a⟩Noc Inf
101668⟨a, b | aabaaaabb=b⟩Noc Inf
101669⟨a, b | aabaaabaa=a⟩Noc Inf
101671⟨a, b | aabaaabab=a⟩Noc Inf
101672⟨a, b | aabaaabab=b⟩Noc Inf
101673⟨a, b | aabaaabba=a⟩Noc Inf
101675⟨a, b | aabaabaab=a⟩Noc Inf
101676⟨a, b | aabaabaab=b⟩Noc Inf
101677⟨a, b | aabaababa=a⟩Noc Inf
101679⟨a, b | aabaababb=a⟩Noc Inf
101680⟨a, b | aabaababb=b⟩Noc Inf
101681⟨a, b | aabaabbaa=a⟩Noc Inf
101683⟨a, b | aabaabbab=a⟩Noc Inf
101684⟨a, b | aabaabbab=b⟩Noc Inf
101685⟨a, b | aabaabbba=a⟩Noc Inf
101687⟨a, b | aababaaab=a⟩Noc Inf
101688⟨a, b | aababaaab=b⟩Noc Inf
101689⟨a, b | aababaaba=a⟩Noc Inf1
101691⟨a, b | aababaabb=a⟩Noc Inf
101692⟨a, b | aababaabb=b⟩Noc Inf
101693⟨a, b | aabababaa=a⟩Noc Inf1
101695⟨a, b | aabababab=a⟩Noc Inf
101696⟨a, b | aabababab=b⟩Noc Inf
101697⟨a, b | aabababba=a⟩Noc Inf
101699⟨a, b | aababbaab=a⟩Noc Inf
101700⟨a, b | aababbaab=b⟩Noc Inf
101701⟨a, b | aababbaba=a⟩Noc Inf
101703⟨a, b | aababbbaa=a⟩Noc Inf
101705⟨a, b | aababbbab=a⟩Noc Inf
101706⟨a, b | aababbbab=b⟩Noc Inf
101707⟨a, b | aababbbba=a⟩Noc Inf
101709⟨a, b | aabbaaaab=a⟩Noc 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
101719⟨a, b | aabbabaab=a⟩Noc Inf
101720⟨a, b | aabbabaab=b⟩Noc Inf
101721⟨a, b | aabbababa=a⟩Noc Inf
101723⟨a, b | aabbabbaa=a⟩Noc Inf1
101725⟨a, b | aabbabbab=a⟩Noc Inf
101726⟨a, b | aabbabbab=b⟩Noc Inf
101727⟨a, b | aabbabbba=a⟩Noc Inf
101729⟨a, b | aabbbaaab=a⟩Noc Inf
101730⟨a, b | aabbbaaab=b⟩Noc Inf
101731⟨a, b | aabbbaaba=a⟩Noc Inf
101733⟨a, b | aabbbabab=a⟩Noc Inf
101734⟨a, b | aabbbabab=b⟩Noc Inf
101735⟨a, b | aabbbabba=a⟩Noc Inf
101737⟨a, b | aabbbbaab=a⟩Noc Inf
101738⟨a, b | aabbbbaab=b⟩Noc Inf
101739⟨a, b | aabbbbaba=a⟩Noc Inf
101741⟨a, b | aabbbbbaa=a⟩Noc Inf
101743⟨a, b | aabbbbbab=a⟩Noc Inf
101744⟨a, b | aabbbbbab=b⟩Noc Inf
101745⟨a, b | aabbbbbba=a⟩Noc 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
101755⟨a, b | abaaabaab=a⟩Noc Inf
101756⟨a, b | abaaabaab=b⟩Noc Inf
101759⟨a, b | abaaabbab=a⟩Noc Inf
101760⟨a, b | abaaabbab=b⟩Noc Inf
101761⟨a, b | abaaabbba=a⟩Noc Inf
101763⟨a, b | abaabaaab=a⟩Noc Inf
101767⟨a, b | abaababab=a⟩Noc Inf
101768⟨a, b | abaababab=b⟩Noc Inf
101769⟨a, b | abaababba=a⟩Noc Inf
101771⟨a, b | abaabbaab=a⟩Noc Inf
101772⟨a, b | abaabbaab=b⟩Noc Inf
101773⟨a, b | abaabbaba=a⟩Noc Inf
101775⟨a, b | abaabbbba=a⟩Noc Inf
101777⟨a, b | ababaaaab=a⟩Noc Inf
101779⟨a, b | ababaabab=a⟩Noc Inf
101780⟨a, b | ababaabab=b⟩Noc Inf
101781⟨a, b | ababaabba=a⟩Noc Inf
101783⟨a, b | abababaab=a⟩Noc Inf
101784⟨a, b | abababaab=b⟩Noc Inf
101785⟨a, b | ababababa=a⟩Noc Inf
101787⟨a, b | abababbba=a⟩Noc Inf
101789⟨a, b | ababbaaab=a⟩Noc Inf
101790⟨a, b | ababbaaab=b⟩Noc Inf
101791⟨a, b | ababbabba=a⟩Noc Inf
101793⟨a, b | ababbbaab=a⟩Noc Inf
101794⟨a, b | ababbbaab=b⟩Noc Inf
101795⟨a, b | ababbbaba=a⟩Noc Inf
101797⟨a, b | ababbbbba=a⟩Noc Inf
101799⟨a, b | abbaaaaab=a⟩Noc Inf
101800⟨a, b | abbaaaaab=b⟩Noc Inf
101803⟨a, b | abbaabaab=a⟩Noc Inf
101804⟨a, b | abbaabaab=b⟩Noc Inf
101805⟨a, b | abbaabbba=a⟩Noc Inf
101807⟨a, b | abbabaaab=a⟩Noc Inf
101808⟨a, b | abbabaaab=b⟩Noc Inf
101809⟨a, b | abbababba=a⟩Noc Inf
101811⟨a, b | abbabbbba=a⟩Noc Inf
101813⟨a, b | abbbaaaab=a⟩Noc Inf
101814⟨a, b | abbbaaaab=b⟩Noc Inf
101815⟨a, b | abbbabbba=a⟩Noc Inf
101817⟨a, b | abbbbbbba=a⟩Noc Inf
101819⟨a, b | aaaaaaaa=aa⟩Noc Infℕ(8 = 2) ∗ ℕ
101820⟨a, b | aaaaaaaa=ab⟩Noc Inf
101822⟨a, b | aaaaaaab=aa⟩Noc Inf
101823⟨a, b | aaaaaaab=ab⟩Noc Inf
101825⟨a, b | aaaaaaab=bb⟩Noc Inf
101826⟨a, b | aaaaaaba=aa⟩Noc Inf
101827⟨a, b | aaaaaaba=ab⟩Noc Inf
101828⟨a, b | aaaaaaba=ba⟩Noc Inf
101830⟨a, b | aaaaaabb=aa⟩Noc Inf
101831⟨a, b | aaaaaabb=ab⟩Noc Inf
101833⟨a, b | aaaaaabb=bb⟩Noc Inf
101834⟨a, b | aaaaabaa=aa⟩Noc Inf
101835⟨a, b | aaaaabaa=ab⟩Noc Inf
101836⟨a, b | aaaaabaa=ba⟩Noc Inf
101838⟨a, b | aaaaabab=aa⟩Noc Inf
101839⟨a, b | aaaaabab=ab⟩Noc Inf
101841⟨a, b | aaaaabab=bb⟩Noc Inf
101842⟨a, b | aaaaabba=aa⟩Noc Inf
101843⟨a, b | aaaaabba=ab⟩Noc Inf
101844⟨a, b | aaaaabba=ba⟩Noc Inf
101846⟨a, b | aaaaabbb=aa⟩Noc Inf
101847⟨a, b | aaaaabbb=ab⟩Noc Inf
101849⟨a, b | aaaaabbb=bb⟩Noc Inf
101850⟨a, b | aaaabaaa=aa⟩Noc Inf
101851⟨a, b | aaaabaaa=ab⟩Noc Inf
101852⟨a, b | aaaabaaa=ba⟩Noc Inf
101854⟨a, b | aaaabaab=aa⟩Noc Inf
101855⟨a, b | aaaabaab=ab⟩Noc Inf
101857⟨a, b | aaaabaab=bb⟩Noc Inf
101858⟨a, b | aaaababa=aa⟩Noc Inf
101859⟨a, b | aaaababa=ab⟩Noc Inf
101860⟨a, b | aaaababa=ba⟩Noc Inf
101862⟨a, b | aaaababb=aa⟩Noc Inf
101863⟨a, b | aaaababb=ab⟩Noc Inf
101865⟨a, b | aaaababb=bb⟩Noc Inf
101866⟨a, b | aaaabbaa=aa⟩Noc Inf
101867⟨a, b | aaaabbaa=ab⟩Noc Inf
101868⟨a, b | aaaabbaa=ba⟩Noc Inf
101870⟨a, b | aaaabbab=aa⟩Noc Inf
101871⟨a, b | aaaabbab=ab⟩Noc Inf
101873⟨a, b | aaaabbab=bb⟩Noc Inf
101874⟨a, b | aaaabbba=aa⟩Noc Inf
101875⟨a, b | aaaabbba=ab⟩Noc Inf
101876⟨a, b | aaaabbba=ba⟩Noc Inf
101878⟨a, b | aaaabbbb=aa⟩Noc Inf
101879⟨a, b | aaaabbbb=ab⟩Noc 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
101886⟨a, b | aaabaaba=ab⟩Noc Inf
101887⟨a, b | aaabaaba=ba⟩Noc Inf
101889⟨a, b | aaabaabb=aa⟩Noc Inf
101890⟨a, b | aaabaabb=ab⟩Noc Inf
101892⟨a, b | aaabaabb=bb⟩Noc Inf
101893⟨a, b | aaababaa=aa⟩Noc Inf
101894⟨a, b | aaababaa=ab⟩Noc Inf
101895⟨a, b | aaababaa=ba⟩Noc Inf
101897⟨a, b | aaababab=aa⟩Noc Inf
101898⟨a, b | aaababab=ab⟩Noc Inf
101900⟨a, b | aaababab=bb⟩Noc Inf
101901⟨a, b | aaababba=aa⟩Noc Inf
101902⟨a, b | aaababba=ab⟩Noc Inf
101903⟨a, b | aaababba=ba⟩Noc Inf
101905⟨a, b | aaababbb=aa⟩Noc Inf
101906⟨a, b | aaababbb=ab⟩Noc Inf
101908⟨a, b | aaabbaaa=aa⟩Noc Inf
101909⟨a, b | aaabbaaa=ab⟩Noc Inf
101911⟨a, b | aaabbaab=aa⟩Noc Inf
101912⟨a, b | aaabbaab=ab⟩Noc Inf
101914⟨a, b | aaabbaab=bb⟩Noc Inf
101915⟨a, b | aaabbaba=aa⟩Noc Inf
101916⟨a, b | aaabbaba=ab⟩Noc Inf
101917⟨a, b | aaabbaba=ba⟩Noc Inf
101919⟨a, b | aaabbabb=aa⟩Noc Inf
101920⟨a, b | aaabbabb=ab⟩Noc Inf
101922⟨a, b | aaabbabb=bb⟩Noc Inf
101923⟨a, b | aaabbbaa=aa⟩Noc Inf
101924⟨a, b | aaabbbaa=ab⟩Noc Inf
101925⟨a, b | aaabbbaa=ba⟩Noc Inf
101927⟨a, b | aaabbbab=aa⟩Noc Inf
101928⟨a, b | aaabbbab=ab⟩Noc Inf
101930⟨a, b | aaabbbab=bb⟩Noc Inf
101931⟨a, b | aaabbbba=aa⟩Noc Inf
101932⟨a, b | aaabbbba=ab⟩Noc Inf
101933⟨a, b | aaabbbba=ba⟩Noc 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
101940⟨a, b | aabaaaba=ab⟩Noc Inf
101941⟨a, b | aabaaaba=ba⟩Noc Inf
101943⟨a, b | aabaaabb=aa⟩Noc Inf
101944⟨a, b | aabaaabb=ab⟩Noc Inf
101946⟨a, b | aabaaabb=bb⟩Noc Inf
101947⟨a, b | aabaabaa=aa⟩Noc Inf
101948⟨a, b | aabaabaa=ab⟩Noc Inf
101950⟨a, b | aabaabab=aa⟩Noc Inf
101951⟨a, b | aabaabab=ab⟩Noc Inf
101953⟨a, b | aabaabab=bb⟩Noc Inf
101954⟨a, b | aabaabba=aa⟩Noc Inf
101955⟨a, b | aabaabba=ab⟩Noc Inf
101956⟨a, b | aabaabba=ba⟩Noc 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
101963⟨a, b | aabababa=ab⟩Noc Inf
101964⟨a, b | aabababa=ba⟩Noc Inf
101966⟨a, b | aabababb=aa⟩Noc Inf
101967⟨a, b | aabababb=ab⟩Noc Inf
101969⟨a, b | aababbaa=aa⟩Noc Inf
101970⟨a, b | aababbaa=ab⟩Noc Inf
101971⟨a, b | aababbaa=ba⟩Noc Inf
101973⟨a, b | aababbab=aa⟩Noc Inf
101974⟨a, b | aababbab=ab⟩Noc Inf
101976⟨a, b | aababbab=bb⟩Noc Inf
101977⟨a, b | aababbba=aa⟩Noc Inf
101978⟨a, b | aababbba=ab⟩Noc Inf
101979⟨a, b | aababbba=ba⟩Noc 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
101986⟨a, b | aabbaaba=ab⟩Noc Inf
101987⟨a, b | aabbaaba=ba⟩Noc 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
101995⟨a, b | aabbabab=bb⟩Noc Inf
101996⟨a, b | aabbabba=aa⟩Noc Inf
101997⟨a, b | aabbabba=ab⟩Noc Inf
101998⟨a, b | aabbabba=ba⟩Noc 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
102005⟨a, b | aabbbaba=ab⟩Noc Inf
102006⟨a, b | aabbbaba=ba⟩Noc Inf
102008⟨a, b | aabbbbaa=aa⟩Noc Inf
102009⟨a, b | aabbbbaa=ab⟩Noc Inf
102011⟨a, b | aabbbbab=aa⟩Noc Inf
102012⟨a, b | aabbbbab=ab⟩Noc Inf
102014⟨a, b | aabbbbab=bb⟩Noc Inf
102015⟨a, b | aabbbbba=aa⟩Noc Inf
102016⟨a, b | aabbbbba=ab⟩Noc Inf
102017⟨a, b | aabbbbba=ba⟩Noc 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
102024⟨a, b | abaaaaba=ab⟩Noc 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
102031⟨a, b | abaaabba=ab⟩Noc Inf
102032⟨a, b | abaaabba=ba⟩Noc 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
102039⟨a, b | abaababa=ab⟩Noc Inf
102040⟨a, b | abaababa=ba⟩Noc Inf
102042⟨a, b | abaabbab=aa⟩Noc Inf
102043⟨a, b | abaabbab=ab⟩Noc Inf
102045⟨a, b | abaabbba=aa⟩Noc Inf
102046⟨a, b | abaabbba=ab⟩Noc Inf
102047⟨a, b | abaabbba=ba⟩Noc Inf
102049⟨a, b | ababaaab=aa⟩Noc 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
102057⟨a, b | abababba=ab⟩Noc Inf
102058⟨a, b | abababba=ba⟩Noc 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
102065⟨a, b | ababbaba=ab⟩Noc Inf
102067⟨a, b | ababbbba=aa⟩Noc Inf
102068⟨a, b | ababbbba=ab⟩Noc Inf
102069⟨a, b | ababbbba=ba⟩Noc Inf
102071⟨a, b | abbaaaab=aa⟩Noc Inf
102072⟨a, b | abbaaaab=ab⟩Noc Inf
102074⟨a, b | abbaaaab=bb⟩Noc Inf
102075⟨a, b | abbaabba=aa⟩Noc Inf
102076⟨a, b | abbaabba=ab⟩Noc Inf
102078⟨a, b | abbabaab=aa⟩Noc Inf
102079⟨a, b | abbabaab=ab⟩Noc Inf
102081⟨a, b | abbabbba=aa⟩Noc Inf
102082⟨a, b | abbabbba=ab⟩Noc Inf
102083⟨a, b | abbabbba=ba⟩Noc Inf
102085⟨a, b | abbbaaab=aa⟩Noc Inf
102086⟨a, b | abbbaaab=ab⟩Noc Inf
102088⟨a, b | abbbbbba=aa⟩Noc Inf
102089⟨a, b | abbbbbba=ab⟩Noc 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
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
102102⟨a, b | aaaaaab=bab⟩Noc Inf
102104⟨a, b | aaaaaab=bbb⟩Noc Inf
102105⟨a, b | aaaaaba=aaa⟩Noc Inf
102106⟨a, b | aaaaaba=aab⟩Noc Inf
102107⟨a, b | aaaaaba=aba⟩Noc Inf
102108⟨a, b | aaaaaba=abb⟩Noc Inf
102109⟨a, b | aaaaaba=baa⟩Noc Inf
102111⟨a, b | aaaaaba=bba⟩Noc 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
102118⟨a, b | aaaaabb=bab⟩Noc Inf
102120⟨a, b | aaaaabb=bbb⟩Noc Inf
102121⟨a, b | aaaabaa=aaa⟩Noc Inf
102122⟨a, b | aaaabaa=aab⟩Noc Inf
102123⟨a, b | aaaabaa=aba⟩Noc Inf
102124⟨a, b | aaaabaa=abb⟩Noc Inf
102125⟨a, b | aaaabaa=baa⟩Noc Inf
102127⟨a, b | aaaabaa=bba⟩Noc 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
102134⟨a, b | aaaabab=bab⟩Noc Inf
102136⟨a, b | aaaabab=bbb⟩Noc Inf
102137⟨a, b | aaaabba=aaa⟩Noc Inf
102138⟨a, b | aaaabba=aab⟩Noc Inf
102139⟨a, b | aaaabba=aba⟩Noc Inf
102140⟨a, b | aaaabba=abb⟩Noc Inf
102141⟨a, b | aaaabba=baa⟩Noc Inf
102143⟨a, b | aaaabba=bba⟩Noc 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
102150⟨a, b | aaaabbb=bab⟩Noc Inf
102152⟨a, b | aaaabbb=bbb⟩Noc Inf
102153⟨a, b | aaabaaa=aaa⟩Noc Inf
102154⟨a, b | aaabaaa=aab⟩Noc Inf
102155⟨a, b | aaabaaa=aba⟩Noc Inf
102156⟨a, b | aaabaaa=abb⟩Noc 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
102164⟨a, b | aaabaab=bab⟩Noc Inf
102166⟨a, b | aaabaab=bbb⟩Noc Inf
102167⟨a, b | aaababa=aaa⟩Noc Inf
102168⟨a, b | aaababa=aab⟩Noc Inf
102169⟨a, b | aaababa=aba⟩Noc Inf
102170⟨a, b | aaababa=abb⟩Noc Inf
102171⟨a, b | aaababa=baa⟩Noc Inf
102173⟨a, b | aaababa=bba⟩Noc 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
102180⟨a, b | aaababb=bab⟩Noc Inf
102182⟨a, b | aaababb=bbb⟩Noc Inf
102183⟨a, b | aaabbaa=aaa⟩Noc Inf
102184⟨a, b | aaabbaa=aab⟩Noc Inf
102185⟨a, b | aaabbaa=aba⟩Noc Inf
102186⟨a, b | aaabbaa=abb⟩Noc Inf
102187⟨a, b | aaabbaa=baa⟩Noc Inf
102189⟨a, b | aaabbaa=bba⟩Noc 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
102196⟨a, b | aaabbab=bab⟩Noc Inf
102198⟨a, b | aaabbab=bbb⟩Noc Inf
102199⟨a, b | aaabbba=aaa⟩Noc Inf
102200⟨a, b | aaabbba=aab⟩Noc Inf
102201⟨a, b | aaabbba=aba⟩Noc Inf
102202⟨a, b | aaabbba=abb⟩Noc Inf
102203⟨a, b | aaabbba=baa⟩Noc Inf
102205⟨a, b | aaabbba=bba⟩Noc Inf
102207⟨a, b | aabaaab=aaa⟩Noc Inf
102208⟨a, b | aabaaab=aab⟩Noc Inf
102209⟨a, b | aabaaab=aba⟩Noc Inf
102210⟨a, b | aabaaab=abb⟩Noc Inf
102212⟨a, b | aabaaab=bab⟩Noc Inf
102214⟨a, b | aabaaab=bbb⟩Noc Inf
102215⟨a, b | aabaaba=aaa⟩Noc Inf
102216⟨a, b | aabaaba=aab⟩Noc Inf
102217⟨a, b | aabaaba=aba⟩Noc Inf
102218⟨a, b | aabaaba=abb⟩Noc Inf
102219⟨a, b | aabaaba=baa⟩Noc Inf
102221⟨a, b | aabaaba=bba⟩Noc 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
102228⟨a, b | aabaabb=bab⟩Noc Inf
102230⟨a, b | aabaabb=bbb⟩Noc Inf
102231⟨a, b | aababaa=aaa⟩Noc Inf
102232⟨a, b | aababaa=aab⟩Noc Inf
102233⟨a, b | aababaa=aba⟩Noc Inf
102234⟨a, b | aababaa=abb⟩Noc 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
102242⟨a, b | aababab=bab⟩Noc Inf
102244⟨a, b | aababab=bbb⟩Noc Inf
102245⟨a, b | aababba=aaa⟩Noc Inf
102246⟨a, b | aababba=aab⟩Noc Inf
102247⟨a, b | aababba=aba⟩Noc Inf
102248⟨a, b | aababba=abb⟩Noc Inf
102249⟨a, b | aababba=baa⟩Noc Inf
102251⟨a, b | aababba=bba⟩Noc Inf
102253⟨a, b | aabbaab=aaa⟩Noc Inf
102254⟨a, b | aabbaab=aab⟩Noc Inf
102255⟨a, b | aabbaab=aba⟩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
102262⟨a, b | aabbaba=aab⟩Noc Inf
102263⟨a, b | aabbaba=aba⟩Noc Inf
102264⟨a, b | aabbaba=abb⟩Noc Inf
102265⟨a, b | aabbaba=baa⟩Noc Inf
102267⟨a, b | aabbaba=bba⟩Noc Inf
102269⟨a, b | aabbbaa=aaa⟩Noc Inf
102270⟨a, b | aabbbaa=aab⟩Noc Inf
102271⟨a, b | aabbbaa=aba⟩Noc Inf
102272⟨a, b | aabbbaa=abb⟩Noc 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
102280⟨a, b | aabbbab=bab⟩Noc Inf
102282⟨a, b | aabbbab=bbb⟩Noc Inf
102283⟨a, b | aabbbba=aaa⟩Noc Inf
102284⟨a, b | aabbbba=aab⟩Noc Inf
102285⟨a, b | aabbbba=aba⟩Noc Inf
102286⟨a, b | aabbbba=abb⟩Noc Inf
102287⟨a, b | aabbbba=baa⟩Noc Inf
102289⟨a, b | aabbbba=bba⟩Noc Inf
102291⟨a, b | abaaaab=aaa⟩Noc Inf
102292⟨a, b | abaaaab=aab⟩Noc Inf
102293⟨a, b | abaaaab=aba⟩Noc Inf
102294⟨a, b | abaaaab=abb⟩Noc Inf
102296⟨a, b | abaaaab=bab⟩Noc Inf
102298⟨a, b | abaaaab=bbb⟩Noc Inf
102299⟨a, b | abaaaba=aaa⟩Noc Inf
102300⟨a, b | abaaaba=aab⟩Noc Inf
102301⟨a, b | abaaaba=aba⟩Noc Inf
102302⟨a, b | abaaaba=abb⟩Noc Inf
102305⟨a, b | abaabab=aaa⟩Noc Inf
102306⟨a, b | abaabab=aab⟩Noc Inf
102307⟨a, b | abaabab=aba⟩Noc Inf
102308⟨a, b | abaabab=abb⟩Noc Inf
102310⟨a, b | abaabab=bab⟩Noc Inf
102312⟨a, b | abaabab=bbb⟩Noc Inf
102313⟨a, b | abaabba=aaa⟩Noc Inf
102314⟨a, b | abaabba=aab⟩Noc Inf
102315⟨a, b | abaabba=aba⟩Noc Inf
102316⟨a, b | abaabba=abb⟩Noc Inf
102317⟨a, b | abaabba=baa⟩Noc Inf
102319⟨a, b | abaabba=bba⟩Noc Inf
102321⟨a, b | ababaab=aaa⟩Noc Inf
102322⟨a, b | ababaab=aab⟩Noc Inf
102323⟨a, b | ababaab=aba⟩Noc Inf
102324⟨a, b | ababaab=abb⟩Noc Inf
102326⟨a, b | ababaab=bab⟩Noc Inf
102328⟨a, b | ababaab=bbb⟩Noc Inf
102329⟨a, b | abababa=aaa⟩Noc Inf
102330⟨a, b | abababa=aab⟩Noc Inf
102331⟨a, b | abababa=aba⟩Noc Inf
102332⟨a, b | abababa=abb⟩Noc Inf
102335⟨a, b | ababbba=aaa⟩Noc Inf
102336⟨a, b | ababbba=aab⟩Noc Inf
102337⟨a, b | ababbba=aba⟩Noc Inf
102338⟨a, b | ababbba=abb⟩Noc Inf
102339⟨a, b | ababbba=baa⟩Noc Inf
102341⟨a, b | ababbba=bba⟩Noc Inf
102343⟨a, b | abbaaab=aaa⟩Noc Inf
102344⟨a, b | abbaaab=aab⟩Noc Inf
102345⟨a, b | abbaaab=aba⟩Noc Inf
102346⟨a, b | abbaaab=abb⟩Noc Inf
102348⟨a, b | abbaaab=bab⟩Noc Inf
102350⟨a, b | abbaaab=bbb⟩Noc Inf
102351⟨a, b | abbabba=aaa⟩Noc Inf
102352⟨a, b | abbabba=aab⟩Noc Inf
102353⟨a, b | abbabba=aba⟩Noc Inf
102354⟨a, b | abbabba=abb⟩Noc Inf
102357⟨a, b | abbbbba=aaa⟩Noc Inf
102358⟨a, b | abbbbba=aab⟩Noc Inf
102359⟨a, b | abbbbba=aba⟩Noc Inf
102360⟨a, b | abbbbba=abb⟩Noc 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
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
102382⟨a, b | aaaaab=baab⟩Noc Inf
102384⟨a, b | aaaaab=babb⟩Noc Inf
102386⟨a, b | aaaaab=bbab⟩Noc Inf
102388⟨a, b | aaaaab=bbbb⟩Noc Inf
102389⟨a, b | aaaaba=aaaa⟩Noc Inf
102390⟨a, b | aaaaba=aaab⟩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
102399⟨a, b | aaaaba=baba⟩Noc Inf
102401⟨a, b | aaaaba=bbaa⟩Noc Inf
102403⟨a, b | aaaaba=bbba⟩Noc 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
102414⟨a, b | aaaabb=baab⟩Noc Inf
102416⟨a, b | aaaabb=babb⟩Noc Inf
102418⟨a, b | aaaabb=bbab⟩Noc Inf
102420⟨a, b | aaaabb=bbbb⟩Noc Inf
102421⟨a, b | aaabaa=aaaa⟩Noc Inf
102422⟨a, b | aaabaa=aaab⟩Noc Inf
102423⟨a, b | aaabaa=aaba⟩Noc Inf
102424⟨a, b | aaabaa=aabb⟩Noc Inf
102425⟨a, b | aaabaa=abaa⟩Noc Inf
102426⟨a, b | aaabaa=abab⟩Noc Inf
102427⟨a, b | aaabaa=abba⟩Noc Inf
102428⟨a, b | aaabaa=abbb⟩Noc Inf
102429⟨a, b | aaabaa=baaa⟩Noc Inf
102431⟨a, b | aaabaa=baba⟩Noc Inf
102433⟨a, b | aaabaa=bbaa⟩Noc Inf
102435⟨a, b | aaabaa=bbba⟩Noc 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
102446⟨a, b | aaabab=baab⟩Noc Inf
102448⟨a, b | aaabab=babb⟩Noc Inf
102450⟨a, b | aaabab=bbab⟩Noc Inf
102452⟨a, b | aaabab=bbbb⟩Noc Inf
102453⟨a, b | aaabba=aaaa⟩Noc Inf
102454⟨a, b | aaabba=aaab⟩Noc Inf
102455⟨a, b | aaabba=aaba⟩Noc Inf
102456⟨a, b | aaabba=aabb⟩Noc Inf
102457⟨a, b | aaabba=abaa⟩Noc Inf
102458⟨a, b | aaabba=abab⟩Noc Inf
102459⟨a, b | aaabba=abba⟩Noc Inf
102460⟨a, b | aaabba=abbb⟩Noc Inf
102461⟨a, b | aaabba=baaa⟩Noc Inf
102463⟨a, b | aaabba=baba⟩Noc Inf
102465⟨a, b | aaabba=bbaa⟩Noc Inf
102467⟨a, b | aaabba=bbba⟩Noc 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
102479⟨a, b | aabaab=aaaa⟩Noc Inf
102480⟨a, b | aabaab=aaab⟩Noc Inf
102481⟨a, b | aabaab=aaba⟩Noc Inf
102482⟨a, b | aabaab=aabb⟩Noc Inf
102483⟨a, b | aabaab=abaa⟩Noc Inf
102484⟨a, b | aabaab=abab⟩Noc Inf
102485⟨a, b | aabaab=abba⟩Noc Inf
102486⟨a, b | aabaab=abbb⟩Noc Inf
102488⟨a, b | aabaab=baab⟩Noc Inf
102490⟨a, b | aabaab=babb⟩Noc Inf
102492⟨a, b | aabaab=bbab⟩Noc 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
102498⟨a, b | aababa=aabb⟩Noc Inf
102499⟨a, b | aababa=abaa⟩Noc Inf
102500⟨a, b | aababa=abab⟩Noc Inf
102501⟨a, b | aababa=abba⟩Noc Inf
102502⟨a, b | aababa=abbb⟩Noc Inf
102503⟨a, b | aababa=baaa⟩Noc Inf
102505⟨a, b | aababa=baba⟩Noc Inf
102507⟨a, b | aababa=bbaa⟩Noc Inf
102509⟨a, b | aababa=bbba⟩Noc 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
102521⟨a, b | aabbaa=aaaa⟩Noc Inf
102522⟨a, b | aabbaa=aaab⟩Noc Inf
102523⟨a, b | aabbaa=aaba⟩Noc Inf
102524⟨a, b | aabbaa=aabb⟩Noc Inf
102525⟨a, b | aabbaa=abab⟩Noc Inf
102526⟨a, b | aabbaa=abba⟩Noc Inf
102527⟨a, b | aabbaa=abbb⟩Noc 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
102540⟨a, b | aabbab=baab⟩Noc Inf
102542⟨a, b | aabbab=babb⟩Noc Inf
102544⟨a, b | aabbab=bbab⟩Noc 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
102550⟨a, b | aabbba=aabb⟩Noc Inf
102551⟨a, b | aabbba=abaa⟩Noc Inf
102552⟨a, b | aabbba=abab⟩Noc Inf
102553⟨a, b | aabbba=abba⟩Noc Inf
102554⟨a, b | aabbba=abbb⟩Noc Inf
102555⟨a, b | aabbba=baaa⟩Noc Inf
102557⟨a, b | aabbba=baba⟩Noc Inf
102559⟨a, b | aabbba=bbaa⟩Noc Inf
102561⟨a, b | aabbba=bbba⟩Noc Inf
102563⟨a, b | abaaab=aaaa⟩Noc Inf
102564⟨a, b | abaaab=aaab⟩Noc Inf
102565⟨a, b | abaaab=aaba⟩Noc Inf
102566⟨a, b | abaaab=aabb⟩Noc Inf
102567⟨a, b | abaaab=abaa⟩Noc Inf
102568⟨a, b | abaaab=abab⟩Noc Inf
102569⟨a, b | abaaab=abba⟩Noc Inf
102570⟨a, b | abaaab=abbb⟩Noc Inf
102572⟨a, b | abaaab=baab⟩Noc Inf
102574⟨a, b | abaaab=babb⟩Noc Inf
102576⟨a, b | abaaab=bbab⟩Noc Inf
102578⟨a, b | abaaab=bbbb⟩Noc Inf
102579⟨a, b | abaaba=aaaa⟩Noc Inf
102580⟨a, b | abaaba=aaab⟩Noc Inf
102581⟨a, b | abaaba=aaba⟩Noc Inf
102582⟨a, b | abaaba=aabb⟩Noc Inf
102583⟨a, b | abaaba=abab⟩Noc Inf
102584⟨a, b | abaaba=abba⟩Noc Inf
102585⟨a, b | abaaba=abbb⟩Noc Inf
102589⟨a, b | ababab=aaaa⟩Noc Inf
102590⟨a, b | ababab=aaab⟩Noc Inf
102591⟨a, b | ababab=aaba⟩Noc Inf
102592⟨a, b | ababab=aabb⟩Noc Inf
102593⟨a, b | ababab=abaa⟩Noc Inf
102594⟨a, b | ababab=abab⟩Noc Inf
102595⟨a, b | ababab=abba⟩Noc Inf
102599⟨a, b | ababba=aaaa⟩Noc Inf
102600⟨a, b | ababba=aaab⟩Noc Inf
102601⟨a, b | ababba=aaba⟩Noc Inf
102602⟨a, b | ababba=aabb⟩Noc Inf
102603⟨a, b | ababba=abaa⟩Noc Inf
102604⟨a, b | ababba=abab⟩Noc Inf
102605⟨a, b | ababba=abba⟩Noc Inf
102606⟨a, b | ababba=abbb⟩Noc Inf
102607⟨a, b | ababba=baaa⟩Noc Inf
102609⟨a, b | ababba=baba⟩Noc Inf
102611⟨a, b | ababba=bbaa⟩Noc Inf
102613⟨a, b | ababba=bbba⟩Noc Inf
102615⟨a, b | abbaab=aaaa⟩Noc Inf
102616⟨a, b | abbaab=aaab⟩Noc Inf
102617⟨a, b | abbaab=aaba⟩Noc Inf
102618⟨a, b | abbaab=aabb⟩Noc Inf
102619⟨a, b | abbaab=abaa⟩Noc Inf
102620⟨a, b | abbaab=abab⟩Noc Inf
102621⟨a, b | abbaab=abba⟩Noc 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
102629⟨a, b | abbbba=abab⟩Noc Inf
102630⟨a, b | abbbba=abba⟩Noc Inf
102631⟨a, b | abbbba=abbb⟩Noc 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
102671⟨a, b | abaab=aaaba⟩Noc Inf
102672⟨a, b | abaab=aaabb⟩Noc Inf
102673⟨a, b | abaab=aabaa⟩Noc Inf
102674⟨a, b | abaab=aabab⟩Noc Inf
102675⟨a, b | abaab=aabba⟩Noc Inf
102676⟨a, b | abaab=aabbb⟩Noc Inf
102677⟨a, b | abaab=abaaa⟩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
102686⟨a, b | ababa=abaab⟩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
102701⟨a, b | abbaa=abaab⟩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
102708⟨a, b | abbab=abaaa⟩Noc Inf
102709⟨a, b | abbab=abaab⟩Noc Inf
102710⟨a, b | abbab=ababa⟩Noc Inf
102711⟨a, b | abbab=abbaa⟩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
102720⟨a, b | abbba=abaab⟩Noc Inf
102721⟨a, b | abbba=ababa⟩Noc Inf
102722⟨a, b | abbba=ababb⟩Noc Inf
102723⟨a, b | abbba=abbab⟩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
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
113311⟨a, b | aaaaaaaabb=a⟩Noc Inf
113312⟨a, b | aaaaaaaabb=b⟩Noc Inf
113313⟨a, b | aaaaaaabaa=a⟩Noc Inf2
113315⟨a, b | aaaaaaabab=a⟩Noc Inf
113316⟨a, b | aaaaaaabab=b⟩Noc Inf
113317⟨a, b | aaaaaaabba=a⟩Noc Inf
113319⟨a, b | aaaaaaabbb=a⟩Noc Inf
113320⟨a, b | aaaaaaabbb=b⟩Noc Inf
113323⟨a, b | aaaaaabaab=a⟩Noc Inf
113324⟨a, b | aaaaaabaab=b⟩Noc Inf
113325⟨a, b | aaaaaababa=a⟩Noc Inf
113327⟨a, b | aaaaaababb=a⟩Noc Inf
113328⟨a, b | aaaaaababb=b⟩Noc Inf
113329⟨a, b | aaaaaabbaa=a⟩Noc Inf2
113331⟨a, b | aaaaaabbab=a⟩Noc Inf
113332⟨a, b | aaaaaabbab=b⟩Noc Inf
113333⟨a, b | aaaaaabbba=a⟩Noc Inf
113335⟨a, b | aaaaaabbbb=a⟩Noc Inf
113336⟨a, b | aaaaaabbbb=b⟩Noc Inf
113339⟨a, b | aaaaabaaab=a⟩Noc Inf
113340⟨a, b | aaaaabaaab=b⟩Noc Inf
113341⟨a, b | aaaaabaaba=a⟩Noc Inf
113343⟨a, b | aaaaabaabb=a⟩Noc Inf
113344⟨a, b | aaaaabaabb=b⟩Noc Inf
113345⟨a, b | aaaaababaa=a⟩Noc Inf1
113347⟨a, b | aaaaababab=a⟩Noc Inf
113348⟨a, b | aaaaababab=b⟩Noc Inf
113349⟨a, b | aaaaababba=a⟩Noc Inf
113351⟨a, b | aaaaababbb=a⟩Noc Inf
113352⟨a, b | aaaaababbb=b⟩Noc Inf
113355⟨a, b | aaaaabbaab=a⟩Noc Inf
113356⟨a, b | aaaaabbaab=b⟩Noc Inf
113357⟨a, b | aaaaabbaba=a⟩Noc Inf
113359⟨a, b | aaaaabbabb=a⟩Noc Inf
113360⟨a, b | aaaaabbabb=b⟩Noc Inf
113361⟨a, b | aaaaabbbaa=a⟩Noc Inf1
113363⟨a, b | aaaaabbbab=a⟩Noc Inf
113364⟨a, b | aaaaabbbab=b⟩Noc Inf
113365⟨a, b | aaaaabbbba=a⟩Noc 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
113372⟨a, b | aaaabaaabb=a⟩Noc Inf
113373⟨a, b | aaaabaaabb=b⟩Noc Inf
113374⟨a, b | aaaabaabaa=a⟩Noc Inf1
113376⟨a, b | aaaabaabab=a⟩Noc Inf
113377⟨a, b | aaaabaabab=b⟩Noc Inf
113378⟨a, b | aaaabaabba=a⟩Noc Inf
113380⟨a, b | aaaabaabbb=a⟩Noc Inf
113381⟨a, b | aaaabaabbb=b⟩Noc Inf
113382⟨a, b | aaaababaaa=a⟩Noc Inf
113384⟨a, b | aaaababaab=a⟩Noc Inf
113385⟨a, b | aaaababaab=b⟩Noc Inf
113386⟨a, b | aaaabababa=a⟩Noc Inf
113388⟨a, b | aaaabababb=a⟩Noc Inf
113389⟨a, b | aaaabababb=b⟩Noc Inf
113390⟨a, b | aaaababbaa=a⟩Noc Inf1
113392⟨a, b | aaaababbab=a⟩Noc Inf
113393⟨a, b | aaaababbab=b⟩Noc Inf
113394⟨a, b | aaaababbba=a⟩Noc Inf
113396⟨a, b | aaaababbbb=a⟩Noc Inf
113399⟨a, b | aaaabbaaab=a⟩Noc Inf
113400⟨a, b | aaaabbaaab=b⟩Noc Inf
113401⟨a, b | aaaabbaaba=a⟩Noc Inf
113403⟨a, b | aaaabbaabb=a⟩Noc Inf
113404⟨a, b | aaaabbaabb=b⟩Noc Inf
113405⟨a, b | aaaabbabaa=a⟩Noc Inf
113407⟨a, b | aaaabbabab=a⟩Noc Inf
113408⟨a, b | aaaabbabab=b⟩Noc Inf
113409⟨a, b | aaaabbabba=a⟩Noc Inf
113411⟨a, b | aaaabbabbb=a⟩Noc Inf
113412⟨a, b | aaaabbabbb=b⟩Noc Inf
113415⟨a, b | aaaabbbaab=a⟩Noc Inf
113416⟨a, b | aaaabbbaab=b⟩Noc Inf
113417⟨a, b | aaaabbbaba=a⟩Noc Inf
113419⟨a, b | aaaabbbabb=a⟩Noc Inf
113420⟨a, b | aaaabbbabb=b⟩Noc Inf
113421⟨a, b | aaaabbbbaa=a⟩Noc Inf1
113423⟨a, b | aaaabbbbab=a⟩Noc Inf
113424⟨a, b | aaaabbbbab=b⟩Noc Inf
113425⟨a, b | aaaabbbbba=a⟩Noc Inf
113427⟨a, b | aaabaaaaab=a⟩Noc Inf
113428⟨a, b | aaabaaaaab=b⟩Noc Inf
113429⟨a, b | aaabaaaaba=a⟩Noc Inf2
113431⟨a, b | aaabaaaabb=a⟩Noc Inf
113432⟨a, b | aaabaaaabb=b⟩Noc Inf
113435⟨a, b | aaabaaabab=a⟩Noc Inf
113436⟨a, b | aaabaaabab=b⟩Noc Inf
113437⟨a, b | aaabaaabba=a⟩Noc Inf
113439⟨a, b | aaabaaabbb=a⟩Noc Inf
113440⟨a, b | aaabaaabbb=b⟩Noc Inf
113443⟨a, b | aaabaabaab=a⟩Noc Inf
113444⟨a, b | aaabaabaab=b⟩Noc Inf
113445⟨a, b | aaabaababa=a⟩Noc Inf
113447⟨a, b | aaabaababb=a⟩Noc Inf
113448⟨a, b | aaabaababb=b⟩Noc Inf
113449⟨a, b | aaabaabbaa=a⟩Noc Inf
113451⟨a, b | aaabaabbab=a⟩Noc Inf
113452⟨a, b | aaabaabbab=b⟩Noc Inf
113453⟨a, b | aaabaabbba=a⟩Noc Inf
113455⟨a, b | aaababaaab=a⟩Noc Inf
113456⟨a, b | aaababaaab=b⟩Noc Inf
113457⟨a, b | aaababaaba=a⟩Noc Inf
113459⟨a, b | aaababaabb=a⟩Noc Inf
113460⟨a, b | aaababaabb=b⟩Noc Inf
113461⟨a, b | aaabababaa=a⟩Noc Inf1
113463⟨a, b | aaabababab=a⟩Noc Inf
113464⟨a, b | aaabababab=b⟩Noc Inf
113465⟨a, b | aaabababba=a⟩Noc Inf
113467⟨a, b | aaabababbb=a⟩Noc Inf
113470⟨a, b | aaababbaab=a⟩Noc Inf
113471⟨a, b | aaababbaab=b⟩Noc Inf
113472⟨a, b | aaababbaba=a⟩Noc Inf
113474⟨a, b | aaababbabb=a⟩Noc Inf
113475⟨a, b | aaababbabb=b⟩Noc Inf
113476⟨a, b | aaababbbaa=a⟩Noc Inf
113478⟨a, b | aaababbbab=a⟩Noc Inf
113479⟨a, b | aaababbbab=b⟩Noc Inf
113480⟨a, b | aaababbbba=a⟩Noc Inf
113482⟨a, b | aaabbaaaab=a⟩Noc Inf
113483⟨a, b | aaabbaaaab=b⟩Noc Inf
113484⟨a, b | aaabbaaaba=a⟩Noc Inf
113486⟨a, b | aaabbaaabb=a⟩Noc Inf
113487⟨a, b | aaabbaaabb=b⟩Noc Inf
113488⟨a, b | aaabbaabaa=a⟩Noc Inf
113490⟨a, b | aaabbaabab=a⟩Noc Inf
113491⟨a, b | aaabbaabab=b⟩Noc Inf
113492⟨a, b | aaabbaabba=a⟩Noc 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
113499⟨a, b | aaabbababb=a⟩Noc Inf
113500⟨a, b | aaabbababb=b⟩Noc Inf
113501⟨a, b | aaabbabbaa=a⟩Noc Inf1
113503⟨a, b | aaabbabbab=a⟩Noc Inf
113504⟨a, b | aaabbabbab=b⟩Noc Inf
113505⟨a, b | aaabbabbba=a⟩Noc Inf
113507⟨a, b | aaabbbaaab=a⟩Noc Inf
113508⟨a, b | aaabbbaaab=b⟩Noc Inf
113509⟨a, b | aaabbbaaba=a⟩Noc Inf
113511⟨a, b | aaabbbaabb=a⟩Noc Inf
113512⟨a, b | aaabbbaabb=b⟩Noc Inf
113513⟨a, b | aaabbbabaa=a⟩Noc Inf
113515⟨a, b | aaabbbabab=a⟩Noc Inf
113516⟨a, b | aaabbbabab=b⟩Noc Inf
113517⟨a, b | aaabbbabba=a⟩Noc Inf
113521⟨a, b | aaabbbbaab=a⟩Noc Inf
113522⟨a, b | aaabbbbaab=b⟩Noc Inf
113523⟨a, b | aaabbbbaba=a⟩Noc Inf
113525⟨a, b | aaabbbbabb=a⟩Noc Inf
113526⟨a, b | aaabbbbabb=b⟩Noc Inf
113527⟨a, b | aaabbbbbaa=a⟩Noc Inf
113529⟨a, b | aaabbbbbab=a⟩Noc Inf
113530⟨a, b | aaabbbbbab=b⟩Noc Inf
113531⟨a, b | aaabbbbbba=a⟩Noc Inf
113533⟨a, b | aabaaaaaab=a⟩Noc Inf
113534⟨a, b | aabaaaaaab=b⟩Noc Inf
113535⟨a, b | aabaaaaaba=a⟩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
113545⟨a, b | aabaaabaab=a⟩Noc Inf
113546⟨a, b | aabaaabaab=b⟩Noc Inf
113547⟨a, b | aabaaababa=a⟩Noc Inf
113549⟨a, b | aabaaababb=a⟩Noc Inf
113550⟨a, b | aabaaababb=b⟩Noc Inf
113551⟨a, b | aabaaabbaa=a⟩Noc Inf
113553⟨a, b | aabaaabbab=a⟩Noc Inf
113554⟨a, b | aabaaabbab=b⟩Noc Inf
113555⟨a, b | aabaaabbba=a⟩Noc Inf
113557⟨a, b | aabaabaaab=a⟩Noc Inf
113558⟨a, b | aabaabaaab=b⟩Noc Inf
113559⟨a, b | aabaabaaba=a⟩Noc Inf
113561⟨a, b | aabaabaabb=a⟩Noc Inf
113562⟨a, b | aabaabaabb=b⟩Noc Inf
113563⟨a, b | aabaababaa=a⟩Noc Inf2
113565⟨a, b | aabaababab=a⟩Noc Inf
113566⟨a, b | aabaababab=b⟩Noc Inf
113567⟨a, b | aabaababba=a⟩Noc Inf
113569⟨a, b | aabaabbaab=a⟩Noc Inf
113570⟨a, b | aabaabbaab=b⟩Noc Inf
113571⟨a, b | aabaabbaba=a⟩Noc Inf
113573⟨a, b | aabaabbabb=a⟩Noc Inf
113574⟨a, b | aabaabbbaa=a⟩Noc Inf
113576⟨a, b | aabaabbbab=a⟩Noc Inf
113577⟨a, b | aabaabbbab=b⟩Noc Inf
113578⟨a, b | aabaabbbba=a⟩Noc Inf
113580⟨a, b | aababaaaab=a⟩Noc Inf
113581⟨a, b | aababaaaab=b⟩Noc 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
113590⟨a, b | aabababaab=a⟩Noc Inf
113591⟨a, b | aabababaab=b⟩Noc Inf
113592⟨a, b | aababababa=a⟩Noc Inf
113594⟨a, b | aababababb=a⟩Noc Inf
113595⟨a, b | aabababbaa=a⟩Noc Inf
113597⟨a, b | aabababbab=a⟩Noc Inf
113598⟨a, b | aabababbab=b⟩Noc Inf
113599⟨a, b | aabababbba=a⟩Noc Inf
113601⟨a, b | aababbaaab=a⟩Noc Inf
113602⟨a, b | aababbaaab=b⟩Noc Inf
113603⟨a, b | aababbaaba=a⟩Noc Inf
113605⟨a, b | aababbaabb=a⟩Noc Inf
113606⟨a, b | aababbaabb=b⟩Noc Inf
113607⟨a, b | aababbabaa=a⟩Noc Inf
113609⟨a, b | aababbabab=a⟩Noc Inf
113610⟨a, b | aababbabab=b⟩Noc Inf
113611⟨a, b | aababbabba=a⟩Noc Inf
113613⟨a, b | aababbbaab=a⟩Noc Inf
113614⟨a, b | aababbbaab=b⟩Noc Inf
113615⟨a, b | aababbbaba=a⟩Noc Inf
113617⟨a, b | aababbbbaa=a⟩Noc Inf
113619⟨a, b | aababbbbab=a⟩Noc Inf
113620⟨a, b | aababbbbab=b⟩Noc Inf
113621⟨a, b | aababbbbba=a⟩Noc Inf
113623⟨a, b | aabbaaaaab=a⟩Noc 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
113633⟨a, b | aabbaabaab=a⟩Noc Inf
113634⟨a, b | aabbaabaab=b⟩Noc Inf
113635⟨a, b | aabbaababa=a⟩Noc Inf
113639⟨a, b | aabbaabbab=a⟩Noc Inf
113640⟨a, b | aabbaabbab=b⟩Noc Inf
113641⟨a, b | aabbaabbba=a⟩Noc Inf
113643⟨a, b | aabbabaaab=a⟩Noc 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
113652⟨a, b | aabbabbaab=a⟩Noc Inf
113653⟨a, b | aabbabbaab=b⟩Noc Inf
113654⟨a, b | aabbabbaba=a⟩Noc Inf
113656⟨a, b | aabbabbbaa=a⟩Noc Inf
113658⟨a, b | aabbabbbab=a⟩Noc Inf
113659⟨a, b | aabbabbbab=b⟩Noc Inf
113660⟨a, b | aabbabbbba=a⟩Noc Inf
113662⟨a, b | aabbbaaaab=a⟩Noc 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
113671⟨a, b | aabbbabaab=a⟩Noc Inf
113672⟨a, b | aabbbabaab=b⟩Noc Inf
113673⟨a, b | aabbbababa=a⟩Noc Inf
113675⟨a, b | aabbbabbab=a⟩Noc Inf
113676⟨a, b | aabbbabbab=b⟩Noc Inf
113677⟨a, b | aabbbabbba=a⟩Noc Inf
113679⟨a, b | aabbbbaaab=a⟩Noc Inf
113680⟨a, b | aabbbbaaab=b⟩Noc Inf
113681⟨a, b | aabbbbaaba=a⟩Noc Inf
113683⟨a, b | aabbbbabab=a⟩Noc Inf
113684⟨a, b | aabbbbabab=b⟩Noc Inf
113685⟨a, b | aabbbbabba=a⟩Noc Inf
113687⟨a, b | aabbbbbaab=a⟩Noc Inf
113688⟨a, b | aabbbbbaab=b⟩Noc Inf
113689⟨a, b | aabbbbbaba=a⟩Noc Inf
113691⟨a, b | aabbbbbbaa=a⟩Noc Inf
113693⟨a, b | aabbbbbbab=a⟩Noc Inf
113694⟨a, b | aabbbbbbab=b⟩Noc Inf
113695⟨a, b | aabbbbbbba=a⟩Noc 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
113705⟨a, b | abaaaabaab=a⟩Noc Inf
113706⟨a, b | abaaaabaab=b⟩Noc Inf
113709⟨a, b | abaaaabbab=a⟩Noc Inf
113710⟨a, b | abaaaabbab=b⟩Noc Inf
113711⟨a, b | abaaaabbba=a⟩Noc Inf
113713⟨a, b | abaaabaaab=a⟩Noc Inf
113714⟨a, b | abaaabaaab=b⟩Noc Inf
113717⟨a, b | abaaababab=a⟩Noc Inf
113718⟨a, b | abaaababab=b⟩Noc Inf
113719⟨a, b | abaaababba=a⟩Noc Inf
113721⟨a, b | abaaabbaab=a⟩Noc Inf
113722⟨a, b | abaaabbaab=b⟩Noc Inf
113723⟨a, b | abaaabbaba=a⟩Noc Inf
113725⟨a, b | abaaabbbab=a⟩Noc Inf
113726⟨a, b | abaaabbbba=a⟩Noc Inf
113728⟨a, b | abaabaaaab=a⟩Noc Inf
113730⟨a, b | abaabaabab=a⟩Noc Inf
113731⟨a, b | abaabaabab=b⟩Noc Inf
113732⟨a, b | abaabaabba=a⟩Noc Inf
113735⟨a, b | abaababaab=b⟩Noc Inf
113736⟨a, b | abaabababa=a⟩Noc Inf1
113738⟨a, b | abaababbab=a⟩Noc Inf
113739⟨a, b | abaababbba=a⟩Noc Inf
113741⟨a, b | abaabbaaab=a⟩Noc 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
113749⟨a, b | abaabbbaab=a⟩Noc Inf
113750⟨a, b | abaabbbaab=b⟩Noc Inf
113751⟨a, b | abaabbbaba=a⟩Noc Inf
113753⟨a, b | abaabbbbba=a⟩Noc Inf
113755⟨a, b | ababaaaaab=a⟩Noc Inf
113757⟨a, b | ababaaabab=a⟩Noc Inf
113758⟨a, b | ababaaabab=b⟩Noc Inf
113759⟨a, b | ababaaabba=a⟩Noc Inf
113761⟨a, b | ababaabaab=a⟩Noc Inf
113762⟨a, b | ababaabaab=b⟩Noc Inf
113765⟨a, b | ababaabbba=a⟩Noc Inf
113767⟨a, b | abababaaab=a⟩Noc Inf
113768⟨a, b | abababaaab=b⟩Noc Inf
113769⟨a, b | ababababab=a⟩Noc Inf
113770⟨a, b | ababababba=a⟩Noc Inf
113772⟨a, b | abababbaab=a⟩Noc Inf
113773⟨a, b | abababbaab=b⟩Noc Inf
113774⟨a, b | abababbaba=a⟩Noc Inf
113776⟨a, b | abababbbba=a⟩Noc Inf
113778⟨a, b | ababbaaaab=a⟩Noc Inf
113779⟨a, b | ababbaaaab=b⟩Noc Inf
113780⟨a, b | ababbaabab=a⟩Noc Inf
113781⟨a, b | ababbaabba=a⟩Noc Inf
113783⟨a, b | ababbabaab=a⟩Noc Inf
113784⟨a, b | ababbabaab=b⟩Noc Inf
113785⟨a, b | ababbabbba=a⟩Noc Inf
113787⟨a, b | ababbbaaab=a⟩Noc Inf
113788⟨a, b | ababbbaaab=b⟩Noc Inf
113789⟨a, b | ababbbabba=a⟩Noc Inf
113791⟨a, b | ababbbbaab=a⟩Noc Inf
113792⟨a, b | ababbbbaab=b⟩Noc Inf
113793⟨a, b | ababbbbaba=a⟩Noc Inf
113795⟨a, b | ababbbbbba=a⟩Noc Inf
113797⟨a, b | abbaaaaaab=a⟩Noc Inf
113798⟨a, b | abbaaaaaab=b⟩Noc Inf
113801⟨a, b | abbaaabaab=a⟩Noc Inf
113802⟨a, b | abbaaabaab=b⟩Noc Inf
113803⟨a, b | abbaaabbba=a⟩Noc Inf
113805⟨a, b | abbaabaaab=a⟩Noc Inf
113806⟨a, b | abbaabaaab=b⟩Noc Inf
113807⟨a, b | abbaababba=a⟩Noc Inf
113809⟨a, b | abbaabbaab=a⟩Noc Inf
113810⟨a, b | abbaabbbba=a⟩Noc Inf
113812⟨a, b | abbabaaaab=a⟩Noc Inf
113813⟨a, b | abbabaaaab=b⟩Noc Inf
113814⟨a, b | abbababaab=a⟩Noc Inf
113815⟨a, b | abbababbba=a⟩Noc Inf
113817⟨a, b | abbabbaaab=a⟩Noc Inf
113818⟨a, b | abbabbaaab=b⟩Noc Inf
113819⟨a, b | abbabbabba=a⟩Noc Inf
113821⟨a, b | abbabbbbba=a⟩Noc Inf
113823⟨a, b | abbbaaaaab=a⟩Noc Inf
113824⟨a, b | abbbaaaaab=b⟩Noc Inf
113825⟨a, b | abbbaabbba=a⟩Noc Inf
113827⟨a, b | abbbabaaab=a⟩Noc Inf
113828⟨a, b | abbbabbbba=a⟩Noc Inf
113830⟨a, b | abbbbaaaab=a⟩Noc Inf
113831⟨a, b | abbbbbbbba=a⟩Noc Inf
113833⟨a, b | aaaaaaaaa=aa⟩Noc Infℕ(9 = 2) ∗ ℕ
113834⟨a, b | aaaaaaaaa=ab⟩Noc Inf
113836⟨a, b | aaaaaaaab=aa⟩Noc Inf
113837⟨a, b | aaaaaaaab=ab⟩Noc Inf
113839⟨a, b | aaaaaaaab=bb⟩Noc Inf
113840⟨a, b | aaaaaaaba=aa⟩Noc Inf
113841⟨a, b | aaaaaaaba=ab⟩Noc Inf
113842⟨a, b | aaaaaaaba=ba⟩Noc Inf
113844⟨a, b | aaaaaaabb=aa⟩Noc Inf
113845⟨a, b | aaaaaaabb=ab⟩Noc Inf
113847⟨a, b | aaaaaaabb=bb⟩Noc Inf
113848⟨a, b | aaaaaabaa=aa⟩Noc Inf
113849⟨a, b | aaaaaabaa=ab⟩Noc Inf
113850⟨a, b | aaaaaabaa=ba⟩Noc Inf
113852⟨a, b | aaaaaabab=aa⟩Noc Inf
113853⟨a, b | aaaaaabab=ab⟩Noc Inf
113855⟨a, b | aaaaaabab=bb⟩Noc Inf
113856⟨a, b | aaaaaabba=aa⟩Noc Inf
113857⟨a, b | aaaaaabba=ab⟩Noc Inf
113858⟨a, b | aaaaaabba=ba⟩Noc Inf
113860⟨a, b | aaaaaabbb=aa⟩Noc Inf
113861⟨a, b | aaaaaabbb=ab⟩Noc Inf
113863⟨a, b | aaaaaabbb=bb⟩Noc Inf
113864⟨a, b | aaaaabaaa=aa⟩Noc Inf1
113865⟨a, b | aaaaabaaa=ab⟩Noc Inf
113866⟨a, b | aaaaabaaa=ba⟩Noc Inf
113868⟨a, b | aaaaabaab=aa⟩Noc Inf
113869⟨a, b | aaaaabaab=ab⟩Noc Inf
113871⟨a, b | aaaaabaab=bb⟩Noc Inf
113872⟨a, b | aaaaababa=aa⟩Noc Inf
113873⟨a, b | aaaaababa=ab⟩Noc Inf
113874⟨a, b | aaaaababa=ba⟩Noc Inf
113876⟨a, b | aaaaababb=aa⟩Noc Inf
113877⟨a, b | aaaaababb=ab⟩Noc Inf
113879⟨a, b | aaaaababb=bb⟩Noc Inf
113880⟨a, b | aaaaabbaa=aa⟩Noc Inf
113881⟨a, b | aaaaabbaa=ab⟩Noc Inf
113882⟨a, b | aaaaabbaa=ba⟩Noc Inf
113884⟨a, b | aaaaabbab=aa⟩Noc Inf
113885⟨a, b | aaaaabbab=ab⟩Noc Inf
113887⟨a, b | aaaaabbab=bb⟩Noc Inf
113888⟨a, b | aaaaabbba=aa⟩Noc Inf
113889⟨a, b | aaaaabbba=ab⟩Noc Inf
113890⟨a, b | aaaaabbba=ba⟩Noc Inf
113892⟨a, b | aaaaabbbb=aa⟩Noc Inf
113893⟨a, b | aaaaabbbb=ab⟩Noc Inf
113895⟨a, b | aaaaabbbb=bb⟩Noc Inf
113897⟨a, b | aaaabaaaa=ab⟩Noc Inf
113899⟨a, b | aaaabaaab=aa⟩Noc Inf
113900⟨a, b | aaaabaaab=ab⟩Noc Inf
113902⟨a, b | aaaabaaab=bb⟩Noc Inf
113903⟨a, b | aaaabaaba=aa⟩Noc Inf
113904⟨a, b | aaaabaaba=ab⟩Noc Inf
113905⟨a, b | aaaabaaba=ba⟩Noc Inf
113907⟨a, b | aaaabaabb=aa⟩Noc Inf
113908⟨a, b | aaaabaabb=ab⟩Noc Inf
113910⟨a, b | aaaabaabb=bb⟩Noc Inf
113911⟨a, b | aaaababaa=aa⟩Noc Inf
113912⟨a, b | aaaababaa=ab⟩Noc Inf
113913⟨a, b | aaaababaa=ba⟩Noc Inf
113915⟨a, b | aaaababab=aa⟩Noc Inf
113916⟨a, b | aaaababab=ab⟩Noc Inf
113918⟨a, b | aaaababab=bb⟩Noc Inf
113919⟨a, b | aaaababba=aa⟩Noc Inf
113920⟨a, b | aaaababba=ab⟩Noc Inf
113921⟨a, b | aaaababba=ba⟩Noc Inf
113923⟨a, b | aaaababbb=aa⟩Noc Inf
113924⟨a, b | aaaababbb=ab⟩Noc Inf
113926⟨a, b | aaaababbb=bb⟩Noc Inf
113927⟨a, b | aaaabbaaa=aa⟩Noc Inf
113928⟨a, b | aaaabbaaa=ab⟩Noc Inf
113929⟨a, b | aaaabbaaa=ba⟩Noc Inf
113931⟨a, b | aaaabbaab=aa⟩Noc Inf
113932⟨a, b | aaaabbaab=ab⟩Noc Inf
113934⟨a, b | aaaabbaab=bb⟩Noc Inf
113935⟨a, b | aaaabbaba=aa⟩Noc Inf
113936⟨a, b | aaaabbaba=ab⟩Noc Inf
113937⟨a, b | aaaabbaba=ba⟩Noc Inf
113939⟨a, b | aaaabbabb=aa⟩Noc Inf
113940⟨a, b | aaaabbabb=ab⟩Noc Inf
113942⟨a, b | aaaabbabb=bb⟩Noc Inf
113943⟨a, b | aaaabbbaa=aa⟩Noc Inf
113944⟨a, b | aaaabbbaa=ab⟩Noc Inf
113945⟨a, b | aaaabbbaa=ba⟩Noc Inf
113947⟨a, b | aaaabbbab=aa⟩Noc Inf
113948⟨a, b | aaaabbbab=ab⟩Noc Inf
113950⟨a, b | aaaabbbab=bb⟩Noc Inf
113951⟨a, b | aaaabbbba=aa⟩Noc Inf
113952⟨a, b | aaaabbbba=ab⟩Noc Inf
113953⟨a, b | aaaabbbba=ba⟩Noc 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
113960⟨a, b | aaabaaaba=ab⟩Noc Inf
113961⟨a, b | aaabaaaba=ba⟩Noc Inf
113963⟨a, b | aaabaaabb=aa⟩Noc Inf
113964⟨a, b | aaabaaabb=ab⟩Noc Inf
113966⟨a, b | aaabaaabb=bb⟩Noc Inf
113967⟨a, b | aaabaabaa=aa⟩Noc Inf
113968⟨a, b | aaabaabaa=ab⟩Noc Inf
113969⟨a, b | aaabaabaa=ba⟩Noc Inf
113971⟨a, b | aaabaabab=aa⟩Noc Inf
113972⟨a, b | aaabaabab=ab⟩Noc Inf
113974⟨a, b | aaabaabab=bb⟩Noc Inf
113975⟨a, b | aaabaabba=aa⟩Noc Inf
113976⟨a, b | aaabaabba=ab⟩Noc Inf
113977⟨a, b | aaabaabba=ba⟩Noc Inf
113979⟨a, b | aaabaabbb=aa⟩Noc Inf
113980⟨a, b | aaabaabbb=ab⟩Noc Inf
113982⟨a, b | aaabaabbb=bb⟩Noc Inf
113983⟨a, b | aaababaaa=aa⟩Noc Inf
113984⟨a, b | aaababaaa=ab⟩Noc Inf
113986⟨a, b | aaababaab=aa⟩Noc Inf
113987⟨a, b | aaababaab=ab⟩Noc Inf
113989⟨a, b | aaababaab=bb⟩Noc Inf
113990⟨a, b | aaabababa=aa⟩Noc Inf
113991⟨a, b | aaabababa=ab⟩Noc Inf
113992⟨a, b | aaabababa=ba⟩Noc Inf
113994⟨a, b | aaabababb=aa⟩Noc Inf
113995⟨a, b | aaabababb=ab⟩Noc Inf
113997⟨a, b | aaabababb=bb⟩Noc Inf
113998⟨a, b | aaababbaa=aa⟩Noc Inf
113999⟨a, b | aaababbaa=ab⟩Noc Inf
114000⟨a, b | aaababbaa=ba⟩Noc Inf
114002⟨a, b | aaababbab=aa⟩Noc Inf
114003⟨a, b | aaababbab=ab⟩Noc Inf
114005⟨a, b | aaababbab=bb⟩Noc Inf
114006⟨a, b | aaababbba=aa⟩Noc Inf
114007⟨a, b | aaababbba=ab⟩Noc Inf
114008⟨a, b | aaababbba=ba⟩Noc Inf
114010⟨a, b | aaabbaaab=aa⟩Noc Inf
114011⟨a, b | aaabbaaab=ab⟩Noc Inf
114013⟨a, b | aaabbaaab=bb⟩Noc Inf
114014⟨a, b | aaabbaaba=aa⟩Noc Inf
114015⟨a, b | aaabbaaba=ab⟩Noc Inf
114016⟨a, b | aaabbaaba=ba⟩Noc Inf
114018⟨a, b | aaabbaabb=aa⟩Noc Inf
114019⟨a, b | aaabbaabb=ab⟩Noc Inf
114021⟨a, b | aaabbaabb=bb⟩Noc Inf
114022⟨a, b | aaabbabaa=aa⟩Noc Inf
114023⟨a, b | aaabbabaa=ab⟩Noc Inf
114024⟨a, b | aaabbabaa=ba⟩Noc Inf
114026⟨a, b | aaabbabab=aa⟩Noc Inf
114027⟨a, b | aaabbabab=ab⟩Noc Inf
114029⟨a, b | aaabbabab=bb⟩Noc Inf
114030⟨a, b | aaabbabba=aa⟩Noc Inf
114031⟨a, b | aaabbabba=ab⟩Noc Inf
114032⟨a, b | aaabbabba=ba⟩Noc Inf
114034⟨a, b | aaabbbaaa=aa⟩Noc Inf
114035⟨a, b | aaabbbaaa=ab⟩Noc Inf
114037⟨a, b | aaabbbaab=aa⟩Noc Inf
114038⟨a, b | aaabbbaab=ab⟩Noc Inf
114040⟨a, b | aaabbbaab=bb⟩Noc Inf
114041⟨a, b | aaabbbaba=aa⟩Noc Inf
114042⟨a, b | aaabbbaba=ab⟩Noc Inf
114043⟨a, b | aaabbbaba=ba⟩Noc Inf
114045⟨a, b | aaabbbabb=aa⟩Noc Inf
114046⟨a, b | aaabbbabb=ab⟩Noc Inf
114048⟨a, b | aaabbbabb=bb⟩Noc Inf
114049⟨a, b | aaabbbbaa=aa⟩Noc Inf
114050⟨a, b | aaabbbbaa=ab⟩Noc Inf
114051⟨a, b | aaabbbbaa=ba⟩Noc Inf
114053⟨a, b | aaabbbbab=aa⟩Noc Inf
114054⟨a, b | aaabbbbab=ab⟩Noc Inf
114056⟨a, b | aaabbbbab=bb⟩Noc Inf
114057⟨a, b | aaabbbbba=aa⟩Noc Inf
114058⟨a, b | aaabbbbba=ab⟩Noc Inf
114059⟨a, b | aaabbbbba=ba⟩Noc 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
114066⟨a, b | aabaaaaba=ab⟩Noc Inf
114067⟨a, b | aabaaaaba=ba⟩Noc Inf
114069⟨a, b | aabaaaabb=aa⟩Noc Inf
114070⟨a, b | aabaaaabb=ab⟩Noc Inf
114072⟨a, b | aabaaaabb=bb⟩Noc Inf
114073⟨a, b | aabaaabaa=aa⟩Noc Inf
114074⟨a, b | aabaaabaa=ab⟩Noc Inf
114076⟨a, b | aabaaabab=aa⟩Noc Inf
114077⟨a, b | aabaaabab=ab⟩Noc Inf
114079⟨a, b | aabaaabab=bb⟩Noc Inf
114080⟨a, b | aabaaabba=aa⟩Noc Inf
114081⟨a, b | aabaaabba=ab⟩Noc Inf
114082⟨a, b | aabaaabba=ba⟩Noc 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
114089⟨a, b | aabaababa=ab⟩Noc Inf
114090⟨a, b | aabaababa=ba⟩Noc Inf
114092⟨a, b | aabaababb=aa⟩Noc Inf
114093⟨a, b | aabaababb=ab⟩Noc Inf
114095⟨a, b | aabaababb=bb⟩Noc Inf
114096⟨a, b | aabaabbaa=aa⟩Noc Inf
114097⟨a, b | aabaabbaa=ab⟩Noc Inf
114098⟨a, b | aabaabbaa=ba⟩Noc Inf
114100⟨a, b | aabaabbab=aa⟩Noc Inf
114101⟨a, b | aabaabbab=ab⟩Noc Inf
114103⟨a, b | aabaabbab=bb⟩Noc Inf
114104⟨a, b | aabaabbba=aa⟩Noc Inf
114105⟨a, b | aabaabbba=ab⟩Noc Inf
114106⟨a, b | aabaabbba=ba⟩Noc Inf
114108⟨a, b | aababaaab=aa⟩Noc Inf
114109⟨a, b | aababaaab=ab⟩Noc Inf
114111⟨a, b | aababaaab=bb⟩Noc Inf
114112⟨a, b | aababaaba=aa⟩Noc Inf
114113⟨a, b | aababaaba=ab⟩Noc Inf
114114⟨a, b | aababaaba=ba⟩Noc Inf
114116⟨a, b | aababaabb=aa⟩Noc Inf
114117⟨a, b | aababaabb=ab⟩Noc Inf
114119⟨a, b | aababaabb=bb⟩Noc Inf
114120⟨a, b | aabababaa=aa⟩Noc Inf
114121⟨a, b | aabababaa=ab⟩Noc Inf
114123⟨a, b | aabababab=aa⟩Noc Inf
114124⟨a, b | aabababab=ab⟩Noc Inf
114126⟨a, b | aabababab=bb⟩Noc Inf
114127⟨a, b | aabababba=aa⟩Noc Inf
114128⟨a, b | aabababba=ab⟩Noc Inf
114129⟨a, b | aabababba=ba⟩Noc 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
114136⟨a, b | aababbaba=ab⟩Noc Inf
114137⟨a, b | aababbaba=ba⟩Noc Inf
114139⟨a, b | aababbbaa=aa⟩Noc Inf
114140⟨a, b | aababbbaa=ab⟩Noc Inf
114141⟨a, b | aababbbaa=ba⟩Noc Inf
114143⟨a, b | aababbbab=aa⟩Noc Inf
114144⟨a, b | aababbbab=ab⟩Noc Inf
114146⟨a, b | aababbbab=bb⟩Noc Inf
114147⟨a, b | aababbbba=aa⟩Noc Inf
114148⟨a, b | aababbbba=ab⟩Noc Inf
114149⟨a, b | aababbbba=ba⟩Noc Inf
114151⟨a, b | aabbaaaab=aa⟩Noc Inf
114152⟨a, b | aabbaaaab=ab⟩Noc Inf
114154⟨a, b | aabbaaaab=bb⟩Noc Inf
114155⟨a, b | aabbaaaba=aa⟩Noc Inf
114156⟨a, b | aabbaaaba=ab⟩Noc Inf
114157⟨a, b | aabbaaaba=ba⟩Noc 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
114166⟨a, b | aabbaabab=bb⟩Noc Inf
114167⟨a, b | aabbaabba=aa⟩Noc Inf
114168⟨a, b | aabbaabba=ab⟩Noc Inf
114169⟨a, b | aabbaabba=ba⟩Noc 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
114176⟨a, b | aabbababa=ab⟩Noc Inf
114177⟨a, b | aabbababa=ba⟩Noc Inf
114179⟨a, b | aabbabbaa=aa⟩Noc Inf
114180⟨a, b | aabbabbaa=ab⟩Noc Inf
114182⟨a, b | aabbabbab=aa⟩Noc Inf
114183⟨a, b | aabbabbab=ab⟩Noc Inf
114185⟨a, b | aabbabbab=bb⟩Noc Inf
114186⟨a, b | aabbabbba=aa⟩Noc Inf
114187⟨a, b | aabbabbba=ab⟩Noc Inf
114188⟨a, b | aabbabbba=ba⟩Noc 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
114195⟨a, b | aabbbaaba=ab⟩Noc Inf
114196⟨a, b | aabbbaaba=ba⟩Noc Inf
114198⟨a, b | aabbbabab=aa⟩Noc Inf
114199⟨a, b | aabbbabab=ab⟩Noc Inf
114201⟨a, b | aabbbabab=bb⟩Noc Inf
114202⟨a, b | aabbbabba=aa⟩Noc Inf
114203⟨a, b | aabbbabba=ab⟩Noc Inf
114204⟨a, b | aabbbabba=ba⟩Noc 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
114211⟨a, b | aabbbbaba=ab⟩Noc Inf
114212⟨a, b | aabbbbaba=ba⟩Noc Inf
114214⟨a, b | aabbbbbaa=aa⟩Noc Inf
114215⟨a, b | aabbbbbaa=ab⟩Noc Inf
114217⟨a, b | aabbbbbab=aa⟩Noc Inf
114218⟨a, b | aabbbbbab=ab⟩Noc Inf
114220⟨a, b | aabbbbbab=bb⟩Noc Inf
114221⟨a, b | aabbbbbba=aa⟩Noc Inf
114222⟨a, b | aabbbbbba=ab⟩Noc Inf
114223⟨a, b | aabbbbbba=ba⟩Noc 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
114230⟨a, b | abaaaaaba=ab⟩Noc 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
114237⟨a, b | abaaaabba=ab⟩Noc Inf
114238⟨a, b | abaaaabba=ba⟩Noc 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
114245⟨a, b | abaaababa=ab⟩Noc Inf
114246⟨a, b | abaaababa=ba⟩Noc 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
114253⟨a, b | abaaabbba=ab⟩Noc Inf
114254⟨a, b | abaaabbba=ba⟩Noc 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
114261⟨a, b | abaabaaba=ab⟩Noc 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
114268⟨a, b | abaababba=ab⟩Noc Inf
114269⟨a, b | abaababba=ba⟩Noc 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
114276⟨a, b | abaabbaba=ab⟩Noc Inf
114277⟨a, b | abaabbaba=ba⟩Noc Inf
114279⟨a, b | abaabbbba=aa⟩Noc Inf
114280⟨a, b | abaabbbba=ab⟩Noc Inf
114281⟨a, b | abaabbbba=ba⟩Noc Inf
114283⟨a, b | ababaaaab=aa⟩Noc 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
114292⟨a, b | ababaabba=ab⟩Noc Inf
114293⟨a, b | ababaabba=ba⟩Noc 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
114300⟨a, b | ababababa=ab⟩Noc Inf
114302⟨a, b | abababbba=aa⟩Noc Inf
114303⟨a, b | abababbba=ab⟩Noc Inf
114304⟨a, b | abababbba=ba⟩Noc Inf
114306⟨a, b | ababbaaab=aa⟩Noc Inf
114307⟨a, b | ababbaaab=ab⟩Noc Inf
114309⟨a, b | ababbaaab=bb⟩Noc Inf
114310⟨a, b | ababbabba=aa⟩Noc Inf
114311⟨a, b | ababbabba=ab⟩Noc Inf
114312⟨a, b | ababbabba=ba⟩Noc 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
114319⟨a, b | ababbbaba=ab⟩Noc Inf
114321⟨a, b | ababbbbba=aa⟩Noc Inf
114322⟨a, b | ababbbbba=ab⟩Noc Inf
114323⟨a, b | ababbbbba=ba⟩Noc Inf
114325⟨a, b | abbaaaaab=aa⟩Noc Inf
114326⟨a, b | abbaaaaab=ab⟩Noc Inf
114328⟨a, b | abbaaaaab=bb⟩Noc Inf
114329⟨a, b | abbaaabba=aa⟩Noc Inf
114330⟨a, b | abbaaabba=ab⟩Noc Inf
114332⟨a, b | abbaabaab=aa⟩Noc Inf
114333⟨a, b | abbaabaab=ab⟩Noc Inf
114335⟨a, b | abbaabaab=bb⟩Noc Inf
114336⟨a, b | abbaabbba=aa⟩Noc Inf
114337⟨a, b | abbaabbba=ab⟩Noc Inf
114338⟨a, b | abbaabbba=ba⟩Noc Inf
114340⟨a, b | abbabaaab=aa⟩Noc Inf
114341⟨a, b | abbabaaab=ab⟩Noc Inf
114343⟨a, b | abbabaaab=bb⟩Noc Inf
114344⟨a, b | abbababba=aa⟩Noc Inf
114345⟨a, b | abbababba=ab⟩Noc Inf
114347⟨a, b | abbabbbba=aa⟩Noc Inf
114348⟨a, b | abbabbbba=ab⟩Noc Inf
114349⟨a, b | abbabbbba=ba⟩Noc Inf
114351⟨a, b | abbbaaaab=aa⟩Noc Inf
114352⟨a, b | abbbaaaab=ab⟩Noc Inf
114354⟨a, b | abbbaaaab=bb⟩Noc Inf
114355⟨a, b | abbbabbba=aa⟩Noc Inf
114356⟨a, b | abbbabbba=ab⟩Noc Inf
114358⟨a, b | abbbbbbba=aa⟩Noc Inf
114359⟨a, b | abbbbbbba=ab⟩Noc 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
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
114372⟨a, b | aaaaaaab=bab⟩Noc Inf
114374⟨a, b | aaaaaaab=bbb⟩Noc Inf
114375⟨a, b | aaaaaaba=aaa⟩Noc Inf
114376⟨a, b | aaaaaaba=aab⟩Noc Inf
114377⟨a, b | aaaaaaba=aba⟩Noc Inf
114378⟨a, b | aaaaaaba=abb⟩Noc Inf
114379⟨a, b | aaaaaaba=baa⟩Noc Inf
114381⟨a, b | aaaaaaba=bba⟩Noc 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
114388⟨a, b | aaaaaabb=bab⟩Noc Inf
114390⟨a, b | aaaaaabb=bbb⟩Noc Inf
114391⟨a, b | aaaaabaa=aaa⟩Noc Inf
114392⟨a, b | aaaaabaa=aab⟩Noc Inf
114393⟨a, b | aaaaabaa=aba⟩Noc Inf
114394⟨a, b | aaaaabaa=abb⟩Noc Inf
114395⟨a, b | aaaaabaa=baa⟩Noc Inf
114397⟨a, b | aaaaabaa=bba⟩Noc 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
114404⟨a, b | aaaaabab=bab⟩Noc Inf
114406⟨a, b | aaaaabab=bbb⟩Noc Inf
114407⟨a, b | aaaaabba=aaa⟩Noc Inf
114408⟨a, b | aaaaabba=aab⟩Noc Inf
114409⟨a, b | aaaaabba=aba⟩Noc Inf
114410⟨a, b | aaaaabba=abb⟩Noc Inf
114411⟨a, b | aaaaabba=baa⟩Noc Inf
114413⟨a, b | aaaaabba=bba⟩Noc 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
114420⟨a, b | aaaaabbb=bab⟩Noc Inf
114422⟨a, b | aaaaabbb=bbb⟩Noc Inf
114423⟨a, b | aaaabaaa=aaa⟩Noc Inf
114424⟨a, b | aaaabaaa=aab⟩Noc Inf
114425⟨a, b | aaaabaaa=aba⟩Noc Inf
114426⟨a, b | aaaabaaa=abb⟩Noc Inf
114427⟨a, b | aaaabaaa=baa⟩Noc Inf
114429⟨a, b | aaaabaaa=bba⟩Noc 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
114436⟨a, b | aaaabaab=bab⟩Noc Inf
114438⟨a, b | aaaabaab=bbb⟩Noc Inf
114439⟨a, b | aaaababa=aaa⟩Noc Inf
114440⟨a, b | aaaababa=aab⟩Noc Inf
114441⟨a, b | aaaababa=aba⟩Noc Inf
114442⟨a, b | aaaababa=abb⟩Noc Inf
114443⟨a, b | aaaababa=baa⟩Noc Inf
114445⟨a, b | aaaababa=bba⟩Noc 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
114452⟨a, b | aaaababb=bab⟩Noc Inf
114454⟨a, b | aaaababb=bbb⟩Noc Inf
114455⟨a, b | aaaabbaa=aaa⟩Noc Inf
114456⟨a, b | aaaabbaa=aab⟩Noc Inf
114457⟨a, b | aaaabbaa=aba⟩Noc Inf
114458⟨a, b | aaaabbaa=abb⟩Noc Inf
114459⟨a, b | aaaabbaa=baa⟩Noc Inf
114461⟨a, b | aaaabbaa=bba⟩Noc 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
114468⟨a, b | aaaabbab=bab⟩Noc Inf
114470⟨a, b | aaaabbab=bbb⟩Noc Inf
114471⟨a, b | aaaabbba=aaa⟩Noc Inf
114472⟨a, b | aaaabbba=aab⟩Noc Inf
114473⟨a, b | aaaabbba=aba⟩Noc Inf
114474⟨a, b | aaaabbba=abb⟩Noc Inf
114475⟨a, b | aaaabbba=baa⟩Noc Inf
114477⟨a, b | aaaabbba=bba⟩Noc Inf
114479⟨a, b | aaaabbbb=aaa⟩Noc Inf
114480⟨a, b | aaaabbbb=aab⟩Noc Inf
114481⟨a, b | aaaabbbb=aba⟩Noc Inf
114483⟨a, b | aaabaaab=aaa⟩Noc Inf
114484⟨a, b | aaabaaab=aab⟩Noc Inf
114485⟨a, b | aaabaaab=aba⟩Noc Inf
114486⟨a, b | aaabaaab=abb⟩Noc Inf
114488⟨a, b | aaabaaab=bab⟩Noc Inf
114490⟨a, b | aaabaaab=bbb⟩Noc Inf
114491⟨a, b | aaabaaba=aaa⟩Noc Inf
114492⟨a, b | aaabaaba=aab⟩Noc Inf
114493⟨a, b | aaabaaba=aba⟩Noc Inf
114494⟨a, b | aaabaaba=abb⟩Noc Inf
114495⟨a, b | aaabaaba=baa⟩Noc Inf
114497⟨a, b | aaabaaba=bba⟩Noc 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
114504⟨a, b | aaabaabb=bab⟩Noc Inf
114506⟨a, b | aaabaabb=bbb⟩Noc Inf
114507⟨a, b | aaababaa=aaa⟩Noc Inf
114508⟨a, b | aaababaa=aab⟩Noc Inf
114509⟨a, b | aaababaa=aba⟩Noc Inf
114510⟨a, b | aaababaa=abb⟩Noc Inf
114511⟨a, b | aaababaa=baa⟩Noc Inf
114513⟨a, b | aaababaa=bba⟩Noc 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
114520⟨a, b | aaababab=bab⟩Noc Inf
114522⟨a, b | aaababab=bbb⟩Noc Inf
114523⟨a, b | aaababba=aaa⟩Noc Inf
114524⟨a, b | aaababba=aab⟩Noc Inf
114525⟨a, b | aaababba=aba⟩Noc Inf
114526⟨a, b | aaababba=abb⟩Noc Inf
114527⟨a, b | aaababba=baa⟩Noc Inf
114529⟨a, b | aaababba=bba⟩Noc Inf
114531⟨a, b | aaababbb=aaa⟩Noc Inf
114532⟨a, b | aaababbb=aab⟩Noc Inf
114533⟨a, b | aaababbb=aba⟩Noc Inf
114535⟨a, b | aaabbaaa=aaa⟩Noc Inf
114536⟨a, b | aaabbaaa=aab⟩Noc Inf
114537⟨a, b | aaabbaaa=aba⟩Noc Inf
114538⟨a, b | aaabbaaa=abb⟩Noc 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
114546⟨a, b | aaabbaab=bab⟩Noc Inf
114548⟨a, b | aaabbaab=bbb⟩Noc Inf
114549⟨a, b | aaabbaba=aaa⟩Noc Inf
114550⟨a, b | aaabbaba=aab⟩Noc Inf
114551⟨a, b | aaabbaba=aba⟩Noc Inf
114552⟨a, b | aaabbaba=abb⟩Noc Inf
114553⟨a, b | aaabbaba=baa⟩Noc Inf
114555⟨a, b | aaabbaba=bba⟩Noc 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
114562⟨a, b | aaabbabb=bab⟩Noc Inf
114564⟨a, b | aaabbabb=bbb⟩Noc Inf
114565⟨a, b | aaabbbaa=aaa⟩Noc Inf
114566⟨a, b | aaabbbaa=aab⟩Noc Inf
114567⟨a, b | aaabbbaa=aba⟩Noc Inf
114568⟨a, b | aaabbbaa=abb⟩Noc Inf
114569⟨a, b | aaabbbaa=baa⟩Noc Inf
114571⟨a, b | aaabbbaa=bba⟩Noc 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
114578⟨a, b | aaabbbab=bab⟩Noc Inf
114580⟨a, b | aaabbbab=bbb⟩Noc Inf
114581⟨a, b | aaabbbba=aaa⟩Noc Inf
114582⟨a, b | aaabbbba=aab⟩Noc Inf
114583⟨a, b | aaabbbba=aba⟩Noc Inf
114584⟨a, b | aaabbbba=abb⟩Noc Inf
114585⟨a, b | aaabbbba=baa⟩Noc Inf
114587⟨a, b | aaabbbba=bba⟩Noc Inf
114589⟨a, b | aabaaaab=aaa⟩Noc Inf
114590⟨a, b | aabaaaab=aab⟩Noc Inf
114591⟨a, b | aabaaaab=aba⟩Noc Inf
114592⟨a, b | aabaaaab=abb⟩Noc Inf
114594⟨a, b | aabaaaab=bab⟩Noc Inf
114596⟨a, b | aabaaaab=bbb⟩Noc Inf
114597⟨a, b | aabaaaba=aaa⟩Noc Inf
114598⟨a, b | aabaaaba=aab⟩Noc Inf
114599⟨a, b | aabaaaba=aba⟩Noc Inf
114600⟨a, b | aabaaaba=abb⟩Noc Inf
114601⟨a, b | aabaaaba=baa⟩Noc Inf
114603⟨a, b | aabaaaba=bba⟩Noc 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
114610⟨a, b | aabaaabb=bab⟩Noc Inf
114612⟨a, b | aabaaabb=bbb⟩Noc Inf
114613⟨a, b | aabaabaa=aaa⟩Noc Inf
114614⟨a, b | aabaabaa=aab⟩Noc Inf
114615⟨a, b | aabaabaa=aba⟩Noc Inf
114616⟨a, b | aabaabaa=abb⟩Noc 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
114624⟨a, b | aabaabab=bab⟩Noc Inf
114626⟨a, b | aabaabab=bbb⟩Noc Inf
114627⟨a, b | aabaabba=aaa⟩Noc Inf
114628⟨a, b | aabaabba=aab⟩Noc Inf
114629⟨a, b | aabaabba=aba⟩Noc Inf
114630⟨a, b | aabaabba=abb⟩Noc Inf
114631⟨a, b | aabaabba=baa⟩Noc Inf
114633⟨a, b | aabaabba=bba⟩Noc Inf
114635⟨a, b | aababaab=aaa⟩Noc Inf
114636⟨a, b | aababaab=aab⟩Noc Inf
114637⟨a, b | aababaab=aba⟩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
114644⟨a, b | aabababa=aab⟩Noc Inf
114645⟨a, b | aabababa=aba⟩Noc Inf
114646⟨a, b | aabababa=abb⟩Noc Inf
114647⟨a, b | aabababa=baa⟩Noc Inf
114649⟨a, b | aabababa=bba⟩Noc Inf
114651⟨a, b | aabababb=aaa⟩Noc Inf
114652⟨a, b | aabababb=aab⟩Noc Inf
114653⟨a, b | aabababb=aba⟩Noc Inf
114655⟨a, b | aababbaa=aaa⟩Noc Inf
114656⟨a, b | aababbaa=aab⟩Noc Inf
114657⟨a, b | aababbaa=aba⟩Noc Inf
114658⟨a, b | aababbaa=abb⟩Noc Inf
114659⟨a, b | aababbaa=baa⟩Noc Inf
114661⟨a, b | aababbaa=bba⟩Noc 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
114668⟨a, b | aababbab=bab⟩Noc Inf
114670⟨a, b | aababbab=bbb⟩Noc Inf
114671⟨a, b | aababbba=aaa⟩Noc Inf
114672⟨a, b | aababbba=aab⟩Noc Inf
114673⟨a, b | aababbba=aba⟩Noc Inf
114674⟨a, b | aababbba=abb⟩Noc Inf
114675⟨a, b | aababbba=baa⟩Noc Inf
114677⟨a, b | aababbba=bba⟩Noc Inf
114679⟨a, b | aabbaaab=aaa⟩Noc Inf
114680⟨a, b | aabbaaab=aab⟩Noc Inf
114681⟨a, b | aabbaaab=aba⟩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
114688⟨a, b | aabbaaba=aab⟩Noc Inf
114689⟨a, b | aabbaaba=aba⟩Noc Inf
114690⟨a, b | aabbaaba=abb⟩Noc Inf
114691⟨a, b | aabbaaba=baa⟩Noc Inf
114693⟨a, b | aabbaaba=bba⟩Noc 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
114704⟨a, b | aabbabab=bab⟩Noc Inf
114706⟨a, b | aabbabab=bbb⟩Noc Inf
114707⟨a, b | aabbabba=aaa⟩Noc Inf
114708⟨a, b | aabbabba=aab⟩Noc Inf
114709⟨a, b | aabbabba=aba⟩Noc Inf
114710⟨a, b | aabbabba=abb⟩Noc Inf
114711⟨a, b | aabbabba=baa⟩Noc Inf
114713⟨a, b | aabbabba=bba⟩Noc Inf
114715⟨a, b | aabbbaab=aaa⟩Noc Inf
114716⟨a, b | aabbbaab=aab⟩Noc Inf
114717⟨a, b | aabbbaab=aba⟩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
114724⟨a, b | aabbbaba=aab⟩Noc Inf
114725⟨a, b | aabbbaba=aba⟩Noc Inf
114726⟨a, b | aabbbaba=abb⟩Noc Inf
114727⟨a, b | aabbbaba=baa⟩Noc Inf
114729⟨a, b | aabbbaba=bba⟩Noc Inf
114731⟨a, b | aabbbbaa=aaa⟩Noc Inf
114732⟨a, b | aabbbbaa=aab⟩Noc Inf
114733⟨a, b | aabbbbaa=aba⟩Noc Inf
114734⟨a, b | aabbbbaa=abb⟩Noc 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
114742⟨a, b | aabbbbab=bab⟩Noc Inf
114744⟨a, b | aabbbbab=bbb⟩Noc Inf
114745⟨a, b | aabbbbba=aaa⟩Noc Inf
114746⟨a, b | aabbbbba=aab⟩Noc Inf
114747⟨a, b | aabbbbba=aba⟩Noc Inf
114748⟨a, b | aabbbbba=abb⟩Noc Inf
114749⟨a, b | aabbbbba=baa⟩Noc Inf
114751⟨a, b | aabbbbba=bba⟩Noc Inf
114753⟨a, b | abaaaaab=aaa⟩Noc Inf
114754⟨a, b | abaaaaab=aab⟩Noc Inf
114755⟨a, b | abaaaaab=aba⟩Noc Inf
114756⟨a, b | abaaaaab=abb⟩Noc Inf
114758⟨a, b | abaaaaab=bab⟩Noc Inf
114760⟨a, b | abaaaaab=bbb⟩Noc Inf
114761⟨a, b | abaaaaba=aaa⟩Noc Inf
114762⟨a, b | abaaaaba=aab⟩Noc Inf
114763⟨a, b | abaaaaba=aba⟩Noc Inf
114764⟨a, b | abaaaaba=abb⟩Noc Inf
114767⟨a, b | abaaabab=aaa⟩Noc Inf
114768⟨a, b | abaaabab=aab⟩Noc Inf
114769⟨a, b | abaaabab=aba⟩Noc Inf
114770⟨a, b | abaaabab=abb⟩Noc Inf
114772⟨a, b | abaaabab=bab⟩Noc Inf
114774⟨a, b | abaaabab=bbb⟩Noc Inf
114775⟨a, b | abaaabba=aaa⟩Noc Inf
114776⟨a, b | abaaabba=aab⟩Noc Inf
114777⟨a, b | abaaabba=aba⟩Noc Inf
114778⟨a, b | abaaabba=abb⟩Noc Inf
114779⟨a, b | abaaabba=baa⟩Noc Inf
114781⟨a, b | abaaabba=bba⟩Noc Inf
114783⟨a, b | abaabaab=aaa⟩Noc Inf
114784⟨a, b | abaabaab=aab⟩Noc Inf
114785⟨a, b | abaabaab=aba⟩Noc Inf
114786⟨a, b | abaabaab=abb⟩Noc Inf
114788⟨a, b | abaabaab=bab⟩Noc Inf
114790⟨a, b | abaabaab=bbb⟩Noc Inf
114791⟨a, b | abaababa=aaa⟩Noc Inf
114792⟨a, b | abaababa=aab⟩Noc Inf
114793⟨a, b | abaababa=aba⟩Noc Inf
114794⟨a, b | abaababa=abb⟩Noc Inf
114795⟨a, b | abaababa=baa⟩Noc Inf
114797⟨a, b | abaababa=bba⟩Noc Inf
114799⟨a, b | abaabbab=aaa⟩Noc Inf
114800⟨a, b | abaabbab=aab⟩Noc Inf
114801⟨a, b | abaabbab=aba⟩Noc Inf
114803⟨a, b | abaabbba=aaa⟩Noc Inf
114804⟨a, b | abaabbba=aab⟩Noc Inf
114805⟨a, b | abaabbba=aba⟩Noc Inf
114806⟨a, b | abaabbba=abb⟩Noc Inf
114807⟨a, b | abaabbba=baa⟩Noc Inf
114809⟨a, b | abaabbba=bba⟩Noc Inf
114811⟨a, b | ababaaab=aaa⟩Noc Inf
114812⟨a, b | ababaaab=aab⟩Noc Inf
114813⟨a, b | ababaaab=aba⟩Noc Inf
114814⟨a, b | ababaaab=abb⟩Noc Inf
114816⟨a, b | ababaaab=bab⟩Noc Inf
114818⟨a, b | ababaaab=bbb⟩Noc Inf
114819⟨a, b | abababab=aaa⟩Noc Inf
114820⟨a, b | abababab=aab⟩Noc Inf
114821⟨a, b | abababab=aba⟩Noc Inf
114823⟨a, b | abababba=aaa⟩Noc Inf
114824⟨a, b | abababba=aab⟩Noc Inf
114825⟨a, b | abababba=aba⟩Noc Inf
114826⟨a, b | abababba=abb⟩Noc Inf
114827⟨a, b | abababba=baa⟩Noc Inf
114829⟨a, b | abababba=bba⟩Noc Inf
114831⟨a, b | ababbaab=aaa⟩Noc Inf
114832⟨a, b | ababbaab=aab⟩Noc Inf
114833⟨a, b | ababbaab=aba⟩Noc Inf
114834⟨a, b | ababbaab=abb⟩Noc Inf
114836⟨a, b | ababbaab=bab⟩Noc Inf
114838⟨a, b | ababbaab=bbb⟩Noc Inf
114839⟨a, b | ababbaba=aaa⟩Noc Inf
114840⟨a, b | ababbaba=aab⟩Noc Inf
114841⟨a, b | ababbaba=aba⟩Noc Inf
114842⟨a, b | ababbaba=abb⟩Noc Inf
114845⟨a, b | ababbbba=aaa⟩Noc Inf
114846⟨a, b | ababbbba=aab⟩Noc Inf
114847⟨a, b | ababbbba=aba⟩Noc Inf
114848⟨a, b | ababbbba=abb⟩Noc Inf
114849⟨a, b | ababbbba=baa⟩Noc Inf
114851⟨a, b | ababbbba=bba⟩Noc Inf
114853⟨a, b | abbaaaab=aaa⟩Noc Inf
114854⟨a, b | abbaaaab=aab⟩Noc Inf
114855⟨a, b | abbaaaab=aba⟩Noc Inf
114856⟨a, b | abbaaaab=abb⟩Noc Inf
114858⟨a, b | abbaaaab=bab⟩Noc Inf
114860⟨a, b | abbaaaab=bbb⟩Noc Inf
114861⟨a, b | abbaabba=aaa⟩Noc Inf
114862⟨a, b | abbaabba=aab⟩Noc Inf
114863⟨a, b | abbaabba=aba⟩Noc Inf
114864⟨a, b | abbaabba=abb⟩Noc Inf
114867⟨a, b | abbabaab=aaa⟩Noc Inf
114868⟨a, b | abbabaab=aab⟩Noc Inf
114869⟨a, b | abbabaab=aba⟩Noc Inf
114871⟨a, b | abbabbba=aaa⟩Noc Inf
114872⟨a, b | abbabbba=aab⟩Noc Inf
114873⟨a, b | abbabbba=aba⟩Noc Inf
114874⟨a, b | abbabbba=abb⟩Noc Inf
114875⟨a, b | abbabbba=baa⟩Noc Inf
114877⟨a, b | abbabbba=bba⟩Noc Inf
114879⟨a, b | abbbaaab=aaa⟩Noc Inf
114880⟨a, b | abbbaaab=aab⟩Noc Inf
114881⟨a, b | abbbaaab=aba⟩Noc Inf
114883⟨a, b | abbbbbba=aaa⟩Noc Inf
114884⟨a, b | abbbbbba=aab⟩Noc Inf
114885⟨a, b | abbbbbba=aba⟩Noc Inf
114886⟨a, b | abbbbbba=abb⟩Noc 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
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
114908⟨a, b | aaaaaab=baab⟩Noc Inf
114910⟨a, b | aaaaaab=babb⟩Noc Inf
114912⟨a, b | aaaaaab=bbab⟩Noc Inf
114914⟨a, b | aaaaaab=bbbb⟩Noc Inf
114915⟨a, b | aaaaaba=aaaa⟩Noc Inf
114916⟨a, b | aaaaaba=aaab⟩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
114925⟨a, b | aaaaaba=baba⟩Noc Inf
114927⟨a, b | aaaaaba=bbaa⟩Noc Inf
114929⟨a, b | aaaaaba=bbba⟩Noc 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
114940⟨a, b | aaaaabb=baab⟩Noc Inf
114942⟨a, b | aaaaabb=babb⟩Noc Inf
114944⟨a, b | aaaaabb=bbab⟩Noc Inf
114946⟨a, b | aaaaabb=bbbb⟩Noc Inf
114947⟨a, b | aaaabaa=aaaa⟩Noc Inf
114948⟨a, b | aaaabaa=aaab⟩Noc Inf
114949⟨a, b | aaaabaa=aaba⟩Noc Inf
114950⟨a, b | aaaabaa=aabb⟩Noc Inf
114951⟨a, b | aaaabaa=abaa⟩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
114957⟨a, b | aaaabaa=baba⟩Noc Inf
114959⟨a, b | aaaabaa=bbaa⟩Noc Inf
114961⟨a, b | aaaabaa=bbba⟩Noc 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
114972⟨a, b | aaaabab=baab⟩Noc Inf
114974⟨a, b | aaaabab=babb⟩Noc Inf
114976⟨a, b | aaaabab=bbab⟩Noc Inf
114978⟨a, b | aaaabab=bbbb⟩Noc Inf
114979⟨a, b | aaaabba=aaaa⟩Noc Inf
114980⟨a, b | aaaabba=aaab⟩Noc Inf
114981⟨a, b | aaaabba=aaba⟩Noc Inf
114982⟨a, b | aaaabba=aabb⟩Noc Inf
114983⟨a, b | aaaabba=abaa⟩Noc Inf
114984⟨a, b | aaaabba=abab⟩Noc Inf
114985⟨a, b | aaaabba=abba⟩Noc Inf
114986⟨a, b | aaaabba=abbb⟩Noc Inf
114987⟨a, b | aaaabba=baaa⟩Noc Inf
114989⟨a, b | aaaabba=baba⟩Noc Inf
114991⟨a, b | aaaabba=bbaa⟩Noc Inf
114993⟨a, b | aaaabba=bbba⟩Noc 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
115004⟨a, b | aaaabbb=baab⟩Noc Inf
115006⟨a, b | aaaabbb=babb⟩Noc Inf
115008⟨a, b | aaaabbb=bbab⟩Noc Inf
115010⟨a, b | aaaabbb=bbbb⟩Noc Inf
115011⟨a, b | aaabaaa=aaaa⟩Noc Inf
115012⟨a, b | aaabaaa=aaab⟩Noc Inf
115013⟨a, b | aaabaaa=aaba⟩Noc Inf
115014⟨a, b | aaabaaa=aabb⟩Noc Inf
115015⟨a, b | aaabaaa=abab⟩Noc Inf
115016⟨a, b | aaabaaa=abba⟩Noc Inf
115017⟨a, b | aaabaaa=abbb⟩Noc 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
115030⟨a, b | aaabaab=baab⟩Noc Inf
115032⟨a, b | aaabaab=babb⟩Noc Inf
115034⟨a, b | aaabaab=bbab⟩Noc Inf
115036⟨a, b | aaabaab=bbbb⟩Noc Inf
115037⟨a, b | aaababa=aaaa⟩Noc Inf
115038⟨a, b | aaababa=aaab⟩Noc Inf
115039⟨a, b | aaababa=aaba⟩Noc Inf
115040⟨a, b | aaababa=aabb⟩Noc Inf
115041⟨a, b | aaababa=abaa⟩Noc Inf
115042⟨a, b | aaababa=abab⟩Noc Inf
115043⟨a, b | aaababa=abba⟩Noc Inf
115044⟨a, b | aaababa=abbb⟩Noc Inf
115045⟨a, b | aaababa=baaa⟩Noc Inf
115047⟨a, b | aaababa=baba⟩Noc Inf
115049⟨a, b | aaababa=bbaa⟩Noc Inf
115051⟨a, b | aaababa=bbba⟩Noc 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
115062⟨a, b | aaababb=baab⟩Noc Inf
115064⟨a, b | aaababb=babb⟩Noc Inf
115066⟨a, b | aaababb=bbab⟩Noc Inf
115068⟨a, b | aaababb=bbbb⟩Noc Inf
115069⟨a, b | aaabbaa=aaaa⟩Noc Inf
115070⟨a, b | aaabbaa=aaab⟩Noc Inf
115071⟨a, b | aaabbaa=aaba⟩Noc Inf
115072⟨a, b | aaabbaa=aabb⟩Noc Inf
115073⟨a, b | aaabbaa=abaa⟩Noc Inf
115074⟨a, b | aaabbaa=abab⟩Noc Inf
115075⟨a, b | aaabbaa=abba⟩Noc Inf
115076⟨a, b | aaabbaa=abbb⟩Noc Inf
115077⟨a, b | aaabbaa=baaa⟩Noc Inf
115079⟨a, b | aaabbaa=baba⟩Noc Inf
115081⟨a, b | aaabbaa=bbaa⟩Noc Inf
115083⟨a, b | aaabbaa=bbba⟩Noc 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
115094⟨a, b | aaabbab=baab⟩Noc Inf
115096⟨a, b | aaabbab=babb⟩Noc Inf
115098⟨a, b | aaabbab=bbab⟩Noc Inf
115100⟨a, b | aaabbab=bbbb⟩Noc Inf
115101⟨a, b | aaabbba=aaaa⟩Noc Inf
115102⟨a, b | aaabbba=aaab⟩Noc Inf
115103⟨a, b | aaabbba=aaba⟩Noc Inf
115104⟨a, b | aaabbba=aabb⟩Noc Inf
115105⟨a, b | aaabbba=abaa⟩Noc Inf
115106⟨a, b | aaabbba=abab⟩Noc Inf
115107⟨a, b | aaabbba=abba⟩Noc Inf
115108⟨a, b | aaabbba=abbb⟩Noc Inf
115109⟨a, b | aaabbba=baaa⟩Noc Inf
115111⟨a, b | aaabbba=baba⟩Noc Inf
115113⟨a, b | aaabbba=bbaa⟩Noc Inf
115115⟨a, b | aaabbba=bbba⟩Noc Inf
115117⟨a, b | aabaaab=aaaa⟩Noc Inf
115118⟨a, b | aabaaab=aaab⟩Noc Inf
115119⟨a, b | aabaaab=aaba⟩Noc Inf
115120⟨a, b | aabaaab=aabb⟩Noc Inf
115121⟨a, b | aabaaab=abaa⟩Noc Inf
115122⟨a, b | aabaaab=abab⟩Noc Inf
115123⟨a, b | aabaaab=abba⟩Noc Inf
115124⟨a, b | aabaaab=abbb⟩Noc Inf
115126⟨a, b | aabaaab=baab⟩Noc Inf
115128⟨a, b | aabaaab=babb⟩Noc Inf
115130⟨a, b | aabaaab=bbab⟩Noc Inf
115132⟨a, b | aabaaab=bbbb⟩Noc Inf
115133⟨a, b | aabaaba=aaaa⟩Noc Inf
115134⟨a, b | aabaaba=aaab⟩Noc Inf
115135⟨a, b | aabaaba=aaba⟩Noc Inf
115136⟨a, b | aabaaba=aabb⟩Noc Inf
115137⟨a, b | aabaaba=abaa⟩Noc Inf
115138⟨a, b | aabaaba=abab⟩Noc Inf
115139⟨a, b | aabaaba=abba⟩Noc Inf
115140⟨a, b | aabaaba=abbb⟩Noc Inf
115141⟨a, b | aabaaba=baaa⟩Noc Inf
115143⟨a, b | aabaaba=baba⟩Noc Inf
115145⟨a, b | aabaaba=bbaa⟩Noc Inf
115147⟨a, b | aabaaba=bbba⟩Noc 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
115158⟨a, b | aabaabb=baab⟩Noc Inf
115160⟨a, b | aabaabb=babb⟩Noc Inf
115162⟨a, b | aabaabb=bbab⟩Noc Inf
115164⟨a, b | aabaabb=bbbb⟩Noc Inf
115165⟨a, b | aababaa=aaaa⟩Noc Inf
115166⟨a, b | aababaa=aaab⟩Noc Inf
115167⟨a, b | aababaa=aaba⟩Noc Inf
115168⟨a, b | aababaa=aabb⟩Noc Inf
115169⟨a, b | aababaa=abab⟩Noc Inf
115170⟨a, b | aababaa=abba⟩Noc Inf
115171⟨a, b | aababaa=abbb⟩Noc 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
115184⟨a, b | aababab=baab⟩Noc Inf
115186⟨a, b | aababab=babb⟩Noc Inf
115188⟨a, b | aababab=bbab⟩Noc Inf
115190⟨a, b | aababab=bbbb⟩Noc Inf
115191⟨a, b | aababba=aaaa⟩Noc Inf
115192⟨a, b | aababba=aaab⟩Noc Inf
115193⟨a, b | aababba=aaba⟩Noc Inf
115194⟨a, b | aababba=aabb⟩Noc Inf
115195⟨a, b | aababba=abaa⟩Noc Inf
115196⟨a, b | aababba=abab⟩Noc Inf
115197⟨a, b | aababba=abba⟩Noc Inf
115198⟨a, b | aababba=abbb⟩Noc Inf
115199⟨a, b | aababba=baaa⟩Noc Inf
115201⟨a, b | aababba=baba⟩Noc Inf
115203⟨a, b | aababba=bbaa⟩Noc Inf
115205⟨a, b | aababba=bbba⟩Noc Inf
115207⟨a, b | aabbaab=aaaa⟩Noc Inf
115208⟨a, b | aabbaab=aaab⟩Noc Inf
115209⟨a, b | aabbaab=aaba⟩Noc Inf
115210⟨a, b | aabbaab=aabb⟩Noc Inf
115211⟨a, b | aabbaab=abaa⟩Noc Inf
115212⟨a, b | aabbaab=abab⟩Noc Inf
115213⟨a, b | aabbaab=abba⟩Noc Inf
115214⟨a, b | aabbaab=abbb⟩Noc Inf
115216⟨a, b | aabbaab=baab⟩Noc Inf
115218⟨a, b | aabbaab=babb⟩Noc Inf
115220⟨a, b | aabbaab=bbab⟩Noc Inf
115222⟨a, b | aabbaab=bbbb⟩Noc Inf
115223⟨a, b | aabbaba=aaaa⟩Noc Inf
115224⟨a, b | aabbaba=aaab⟩Noc Inf
115225⟨a, b | aabbaba=aaba⟩Noc Inf
115226⟨a, b | aabbaba=aabb⟩Noc Inf
115227⟨a, b | aabbaba=abaa⟩Noc Inf
115228⟨a, b | aabbaba=abab⟩Noc Inf
115229⟨a, b | aabbaba=abba⟩Noc Inf
115230⟨a, b | aabbaba=abbb⟩Noc Inf
115231⟨a, b | aabbaba=baaa⟩Noc Inf
115233⟨a, b | aabbaba=baba⟩Noc Inf
115235⟨a, b | aabbaba=bbaa⟩Noc Inf
115237⟨a, b | aabbaba=bbba⟩Noc Inf
115239⟨a, b | aabbbaa=aaaa⟩Noc Inf
115240⟨a, b | aabbbaa=aaab⟩Noc Inf
115241⟨a, b | aabbbaa=aaba⟩Noc Inf
115242⟨a, b | aabbbaa=aabb⟩Noc Inf
115243⟨a, b | aabbbaa=abab⟩Noc Inf
115244⟨a, b | aabbbaa=abba⟩Noc Inf
115245⟨a, b | aabbbaa=abbb⟩Noc 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
115258⟨a, b | aabbbab=baab⟩Noc Inf
115260⟨a, b | aabbbab=babb⟩Noc Inf
115262⟨a, b | aabbbab=bbab⟩Noc 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
115268⟨a, b | aabbbba=aabb⟩Noc Inf
115269⟨a, b | aabbbba=abaa⟩Noc Inf
115270⟨a, b | aabbbba=abab⟩Noc Inf
115271⟨a, b | aabbbba=abba⟩Noc Inf
115272⟨a, b | aabbbba=abbb⟩Noc Inf
115273⟨a, b | aabbbba=baaa⟩Noc Inf
115275⟨a, b | aabbbba=baba⟩Noc Inf
115277⟨a, b | aabbbba=bbaa⟩Noc Inf
115279⟨a, b | aabbbba=bbba⟩Noc Inf
115281⟨a, b | abaaaab=aaaa⟩Noc Inf
115282⟨a, b | abaaaab=aaab⟩Noc Inf
115283⟨a, b | abaaaab=aaba⟩Noc Inf
115284⟨a, b | abaaaab=aabb⟩Noc Inf
115285⟨a, b | abaaaab=abaa⟩Noc Inf
115286⟨a, b | abaaaab=abab⟩Noc Inf
115287⟨a, b | abaaaab=abba⟩Noc Inf
115288⟨a, b | abaaaab=abbb⟩Noc Inf
115290⟨a, b | abaaaab=baab⟩Noc Inf
115292⟨a, b | abaaaab=babb⟩Noc Inf
115294⟨a, b | abaaaab=bbab⟩Noc Inf
115296⟨a, b | abaaaab=bbbb⟩Noc Inf
115297⟨a, b | abaaaba=aaaa⟩Noc Inf
115298⟨a, b | abaaaba=aaab⟩Noc Inf
115299⟨a, b | abaaaba=aaba⟩Noc Inf
115300⟨a, b | abaaaba=aabb⟩Noc Inf
115301⟨a, b | abaaaba=abab⟩Noc Inf
115302⟨a, b | abaaaba=abba⟩Noc Inf
115303⟨a, b | abaaaba=abbb⟩Noc Inf
115307⟨a, b | abaabab=aaaa⟩Noc Inf
115308⟨a, b | abaabab=aaab⟩Noc Inf
115309⟨a, b | abaabab=aaba⟩Noc Inf
115310⟨a, b | abaabab=aabb⟩Noc Inf
115311⟨a, b | abaabab=abaa⟩Noc Inf
115312⟨a, b | abaabab=abab⟩Noc Inf
115313⟨a, b | abaabab=abba⟩Noc Inf
115314⟨a, b | abaabab=abbb⟩Noc Inf
115316⟨a, b | abaabab=baab⟩Noc Inf
115318⟨a, b | abaabab=babb⟩Noc Inf
115320⟨a, b | abaabab=bbab⟩Noc 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
115326⟨a, b | abaabba=aabb⟩Noc Inf
115327⟨a, b | abaabba=abaa⟩Noc Inf
115328⟨a, b | abaabba=abab⟩Noc Inf
115329⟨a, b | abaabba=abba⟩Noc Inf
115330⟨a, b | abaabba=abbb⟩Noc Inf
115331⟨a, b | abaabba=baaa⟩Noc Inf
115333⟨a, b | abaabba=baba⟩Noc Inf
115335⟨a, b | abaabba=bbaa⟩Noc Inf
115337⟨a, b | abaabba=bbba⟩Noc Inf
115339⟨a, b | ababaab=aaaa⟩Noc Inf
115340⟨a, b | ababaab=aaab⟩Noc Inf
115341⟨a, b | ababaab=aaba⟩Noc Inf
115342⟨a, b | ababaab=aabb⟩Noc Inf
115343⟨a, b | ababaab=abaa⟩Noc Inf
115344⟨a, b | ababaab=abab⟩Noc Inf
115345⟨a, b | ababaab=abba⟩Noc Inf
115346⟨a, b | ababaab=abbb⟩Noc Inf
115348⟨a, b | ababaab=baab⟩Noc Inf
115350⟨a, b | ababaab=babb⟩Noc Inf
115352⟨a, b | ababaab=bbab⟩Noc Inf
115354⟨a, b | ababaab=bbbb⟩Noc Inf
115355⟨a, b | abababa=aaaa⟩Noc Inf
115356⟨a, b | abababa=aaab⟩Noc Inf
115357⟨a, b | abababa=aaba⟩Noc Inf
115358⟨a, b | abababa=aabb⟩Noc Inf
115359⟨a, b | abababa=abab⟩Noc Inf
115360⟨a, b | abababa=abba⟩Noc Inf
115361⟨a, b | abababa=abbb⟩Noc Inf
115365⟨a, b | ababbba=aaaa⟩Noc Inf
115366⟨a, b | ababbba=aaab⟩Noc Inf
115367⟨a, b | ababbba=aaba⟩Noc Inf
115368⟨a, b | ababbba=aabb⟩Noc Inf
115369⟨a, b | ababbba=abaa⟩Noc Inf
115370⟨a, b | ababbba=abab⟩Noc Inf
115371⟨a, b | ababbba=abba⟩Noc Inf
115372⟨a, b | ababbba=abbb⟩Noc Inf
115373⟨a, b | ababbba=baaa⟩Noc Inf
115375⟨a, b | ababbba=baba⟩Noc Inf
115377⟨a, b | ababbba=bbaa⟩Noc Inf
115379⟨a, b | ababbba=bbba⟩Noc Inf
115381⟨a, b | abbaaab=aaaa⟩Noc Inf
115382⟨a, b | abbaaab=aaab⟩Noc Inf
115383⟨a, b | abbaaab=aaba⟩Noc Inf
115384⟨a, b | abbaaab=aabb⟩Noc Inf
115385⟨a, b | abbaaab=abaa⟩Noc Inf
115386⟨a, b | abbaaab=abab⟩Noc Inf
115387⟨a, b | abbaaab=abba⟩Noc Inf
115388⟨a, b | abbaaab=abbb⟩Noc Inf
115390⟨a, b | abbaaab=baab⟩Noc Inf
115392⟨a, b | abbaaab=babb⟩Noc Inf
115394⟨a, b | abbaaab=bbab⟩Noc 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
115400⟨a, b | abbabba=aabb⟩Noc Inf
115401⟨a, b | abbabba=abab⟩Noc Inf
115402⟨a, b | abbabba=abba⟩Noc Inf
115403⟨a, b | abbabba=abbb⟩Noc 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
115411⟨a, b | abbbbba=abab⟩Noc Inf
115412⟨a, b | abbbbba=abba⟩Noc Inf
115413⟨a, b | abbbbba=abbb⟩Noc 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
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
115454⟨a, b | aaaaab=baaab⟩Noc Inf
115456⟨a, b | aaaaab=baabb⟩Noc Inf
115458⟨a, b | aaaaab=babab⟩Noc Inf
115460⟨a, b | aaaaab=babbb⟩Noc Inf
115462⟨a, b | aaaaab=bbaab⟩Noc Inf
115464⟨a, b | aaaaab=bbabb⟩Noc Inf
115466⟨a, b | aaaaab=bbbab⟩Noc Inf
115468⟨a, b | aaaaab=bbbbb⟩Noc Inf
115469⟨a, b | aaaaba=aaaaa⟩Noc Inf
115470⟨a, b | aaaaba=aaaab⟩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
115487⟨a, b | aaaaba=baaba⟩Noc Inf
115489⟨a, b | aaaaba=babaa⟩Noc Inf
115491⟨a, b | aaaaba=babba⟩Noc Inf
115493⟨a, b | aaaaba=bbaaa⟩Noc Inf
115495⟨a, b | aaaaba=bbaba⟩Noc Inf
115497⟨a, b | aaaaba=bbbaa⟩Noc Inf
115499⟨a, b | aaaaba=bbbba⟩Noc 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
115518⟨a, b | aaaabb=baaab⟩Noc Inf
115520⟨a, b | aaaabb=baabb⟩Noc Inf
115522⟨a, b | aaaabb=babab⟩Noc Inf
115524⟨a, b | aaaabb=babbb⟩Noc Inf
115526⟨a, b | aaaabb=bbaab⟩Noc Inf
115528⟨a, b | aaaabb=bbabb⟩Noc Inf
115530⟨a, b | aaaabb=bbbab⟩Noc Inf
115532⟨a, b | aaaabb=bbbbb⟩Noc Inf
115533⟨a, b | aaabaa=aaaaa⟩Noc Inf
115534⟨a, b | aaabaa=aaaab⟩Noc Inf
115535⟨a, b | aaabaa=aaaba⟩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
115542⟨a, b | aaabaa=abaab⟩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
115551⟨a, b | aaabaa=baaba⟩Noc Inf
115553⟨a, b | aaabaa=babaa⟩Noc Inf
115555⟨a, b | aaabaa=babba⟩Noc Inf
115557⟨a, b | aaabaa=bbaaa⟩Noc Inf
115559⟨a, b | aaabaa=bbaba⟩Noc Inf
115561⟨a, b | aaabaa=bbbaa⟩Noc Inf
115563⟨a, b | aaabaa=bbbba⟩Noc 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
115582⟨a, b | aaabab=baaab⟩Noc Inf
115584⟨a, b | aaabab=baabb⟩Noc Inf
115586⟨a, b | aaabab=babab⟩Noc Inf
115588⟨a, b | aaabab=babbb⟩Noc Inf
115590⟨a, b | aaabab=bbaab⟩Noc Inf
115592⟨a, b | aaabab=bbabb⟩Noc Inf
115594⟨a, b | aaabab=bbbab⟩Noc 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
115600⟨a, b | aaabba=aaabb⟩Noc Inf
115601⟨a, b | aaabba=aabaa⟩Noc Inf
115602⟨a, b | aaabba=aabab⟩Noc Inf
115603⟨a, b | aaabba=aabba⟩Noc Inf
115604⟨a, b | aaabba=aabbb⟩Noc Inf
115605⟨a, b | aaabba=abaaa⟩Noc Inf
115606⟨a, b | aaabba=abaab⟩Noc Inf
115607⟨a, b | aaabba=ababa⟩Noc Inf
115608⟨a, b | aaabba=ababb⟩Noc Inf
115609⟨a, b | aaabba=abbaa⟩Noc Inf
115610⟨a, b | aaabba=abbab⟩Noc Inf
115611⟨a, b | aaabba=abbba⟩Noc Inf
115612⟨a, b | aaabba=abbbb⟩Noc Inf
115613⟨a, b | aaabba=baaaa⟩Noc Inf
115615⟨a, b | aaabba=baaba⟩Noc Inf
115617⟨a, b | aaabba=babaa⟩Noc Inf
115619⟨a, b | aaabba=babba⟩Noc Inf
115621⟨a, b | aaabba=bbaaa⟩Noc Inf
115623⟨a, b | aaabba=bbaba⟩Noc Inf
115625⟨a, b | aaabba=bbbaa⟩Noc Inf
115627⟨a, b | aaabba=bbbba⟩Noc 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
115645⟨a, b | aabaab=aaaaa⟩Noc Inf
115646⟨a, b | aabaab=aaaab⟩Noc Inf
115647⟨a, b | aabaab=aaaba⟩Noc Inf
115648⟨a, b | aabaab=aaabb⟩Noc Inf
115649⟨a, b | aabaab=aabaa⟩Noc Inf
115650⟨a, b | aabaab=aabab⟩Noc Inf
115651⟨a, b | aabaab=aabba⟩Noc Inf
115652⟨a, b | aabaab=aabbb⟩Noc Inf
115653⟨a, b | aabaab=abaaa⟩Noc Inf
115654⟨a, b | aabaab=abaab⟩Noc Inf
115655⟨a, b | aabaab=ababa⟩Noc Inf
115656⟨a, b | aabaab=ababb⟩Noc Inf
115657⟨a, b | aabaab=abbaa⟩Noc Inf
115658⟨a, b | aabaab=abbab⟩Noc Inf
115659⟨a, b | aabaab=abbba⟩Noc Inf
115660⟨a, b | aabaab=abbbb⟩Noc Inf
115662⟨a, b | aabaab=baaab⟩Noc Inf
115664⟨a, b | aabaab=baabb⟩Noc Inf
115666⟨a, b | aabaab=babab⟩Noc Inf
115668⟨a, b | aabaab=babbb⟩Noc Inf
115670⟨a, b | aabaab=bbaab⟩Noc Inf
115672⟨a, b | aabaab=bbabb⟩Noc Inf
115674⟨a, b | aabaab=bbbab⟩Noc 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
115682⟨a, b | aababa=aabab⟩Noc Inf
115683⟨a, b | aababa=aabba⟩Noc Inf
115684⟨a, b | aababa=aabbb⟩Noc Inf
115685⟨a, b | aababa=abaaa⟩Noc Inf
115686⟨a, b | aababa=abaab⟩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
115695⟨a, b | aababa=baaba⟩Noc Inf
115697⟨a, b | aababa=babaa⟩Noc Inf
115699⟨a, b | aababa=babba⟩Noc Inf
115701⟨a, b | aababa=bbaaa⟩Noc Inf
115703⟨a, b | aababa=bbaba⟩Noc Inf
115705⟨a, b | aababa=bbbaa⟩Noc Inf
115707⟨a, b | aababa=bbbba⟩Noc 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
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
115731⟨a, b | aabbaa=aabba⟩Noc Inf
115732⟨a, b | aabbaa=aabbb⟩Noc Inf
115733⟨a, b | aabbaa=abaab⟩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
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
115762⟨a, b | aabbab=baaab⟩Noc Inf
115764⟨a, b | aabbab=baabb⟩Noc Inf
115766⟨a, b | aabbab=babab⟩Noc Inf
115768⟨a, b | aabbab=babbb⟩Noc Inf
115770⟨a, b | aabbab=bbaab⟩Noc Inf
115772⟨a, b | aabbab=bbabb⟩Noc Inf
115774⟨a, b | aabbab=bbbab⟩Noc 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
115784⟨a, b | aabbba=aabbb⟩Noc Inf
115785⟨a, b | aabbba=abaaa⟩Noc Inf
115786⟨a, b | aabbba=abaab⟩Noc Inf
115787⟨a, b | aabbba=ababa⟩Noc Inf
115788⟨a, b | aabbba=ababb⟩Noc Inf
115789⟨a, b | aabbba=abbaa⟩Noc Inf
115790⟨a, b | aabbba=abbab⟩Noc Inf
115791⟨a, b | aabbba=abbba⟩Noc Inf
115792⟨a, b | aabbba=abbbb⟩Noc Inf
115793⟨a, b | aabbba=baaaa⟩Noc Inf
115795⟨a, b | aabbba=baaba⟩Noc Inf
115797⟨a, b | aabbba=babaa⟩Noc Inf
115799⟨a, b | aabbba=babba⟩Noc Inf
115801⟨a, b | aabbba=bbaaa⟩Noc Inf
115803⟨a, b | aabbba=bbaba⟩Noc Inf
115805⟨a, b | aabbba=bbbaa⟩Noc Inf
115807⟨a, b | aabbba=bbbba⟩Noc Inf
115809⟨a, b | abaaab=aaaaa⟩Noc Inf
115810⟨a, b | abaaab=aaaab⟩Noc Inf
115811⟨a, b | abaaab=aaaba⟩Noc Inf
115812⟨a, b | abaaab=aaabb⟩Noc Inf
115813⟨a, b | abaaab=aabaa⟩Noc Inf
115814⟨a, b | abaaab=aabab⟩Noc Inf
115815⟨a, b | abaaab=aabba⟩Noc Inf
115816⟨a, b | abaaab=aabbb⟩Noc Inf
115817⟨a, b | abaaab=abaaa⟩Noc Inf
115818⟨a, b | abaaab=abaab⟩Noc Inf
115819⟨a, b | abaaab=ababa⟩Noc Inf
115820⟨a, b | abaaab=ababb⟩Noc Inf
115821⟨a, b | abaaab=abbaa⟩Noc Inf
115822⟨a, b | abaaab=abbab⟩Noc Inf
115823⟨a, b | abaaab=abbba⟩Noc Inf
115824⟨a, b | abaaab=abbbb⟩Noc Inf
115826⟨a, b | abaaab=baaab⟩Noc Inf
115828⟨a, b | abaaab=baabb⟩Noc Inf
115830⟨a, b | abaaab=babab⟩Noc Inf
115832⟨a, b | abaaab=babbb⟩Noc Inf
115834⟨a, b | abaaab=bbaab⟩Noc Inf
115836⟨a, b | abaaab=bbabb⟩Noc Inf
115838⟨a, b | abaaab=bbbab⟩Noc Inf
115840⟨a, b | abaaab=bbbbb⟩Noc Inf
115841⟨a, b | abaaba=aaaaa⟩Noc Inf
115842⟨a, b | abaaba=aaaab⟩Noc Inf
115843⟨a, b | abaaba=aaaba⟩Noc Inf
115844⟨a, b | abaaba=aaabb⟩Noc Inf
115845⟨a, b | abaaba=aabaa⟩Noc Inf
115846⟨a, b | abaaba=aabab⟩Noc Inf
115847⟨a, b | abaaba=aabba⟩Noc Inf
115848⟨a, b | abaaba=aabbb⟩Noc Inf
115849⟨a, b | abaaba=abaab⟩Noc Inf
115850⟨a, b | abaaba=ababa⟩Noc Inf
115851⟨a, b | abaaba=ababb⟩Noc Inf
115852⟨a, b | abaaba=abbab⟩Noc Inf
115853⟨a, b | abaaba=abbba⟩Noc Inf
115854⟨a, b | abaaba=abbbb⟩Noc 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
115865⟨a, b | ababab=aabaa⟩Noc Inf
115866⟨a, b | ababab=aabab⟩Noc Inf
115867⟨a, b | ababab=aabba⟩Noc Inf
115868⟨a, b | ababab=abaaa⟩Noc Inf
115869⟨a, b | ababab=abaab⟩Noc Inf
115870⟨a, b | ababab=ababa⟩Noc Inf
115871⟨a, b | ababab=abbaa⟩Noc Inf
115872⟨a, b | ababab=abbba⟩Noc 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
115886⟨a, b | ababba=abaab⟩Noc Inf
115887⟨a, b | ababba=ababa⟩Noc Inf
115888⟨a, b | ababba=ababb⟩Noc Inf
115889⟨a, b | ababba=abbaa⟩Noc Inf
115890⟨a, b | ababba=abbab⟩Noc Inf
115891⟨a, b | ababba=abbba⟩Noc Inf
115892⟨a, b | ababba=abbbb⟩Noc Inf
115893⟨a, b | ababba=baaaa⟩Noc Inf
115895⟨a, b | ababba=baaba⟩Noc Inf
115897⟨a, b | ababba=babaa⟩Noc Inf
115899⟨a, b | ababba=babba⟩Noc Inf
115901⟨a, b | ababba=bbaaa⟩Noc Inf
115903⟨a, b | ababba=bbaba⟩Noc Inf
115905⟨a, b | ababba=bbbaa⟩Noc Inf
115907⟨a, b | ababba=bbbba⟩Noc 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
115913⟨a, b | abbaab=aabaa⟩Noc Inf
115914⟨a, b | abbaab=aabab⟩Noc Inf
115915⟨a, b | abbaab=aabba⟩Noc Inf
115916⟨a, b | abbaab=abaaa⟩Noc Inf
115917⟨a, b | abbaab=abaab⟩Noc Inf
115918⟨a, b | abbaab=ababa⟩Noc Inf
115919⟨a, b | abbaab=abbaa⟩Noc Inf
115920⟨a, b | abbaab=abbba⟩Noc 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
115933⟨a, b | abbbba=abaab⟩Noc Inf
115934⟨a, b | abbbba=ababa⟩Noc Inf
115935⟨a, b | abbbba=ababb⟩Noc Inf
115936⟨a, b | abbbba=abbab⟩Noc Inf
115937⟨a, b | abbbba=abbba⟩Noc Inf
115938⟨a, b | abbbba=abbbb⟩Noc Inf