Solved with one auxiliary generator

Up:Monoid enumeration
1004 unique, 1025 total

Σ#PresentationPropertiesφ
Solved by magic:0:
552⟨a, b | aba=ab⟩Noc Inf
6102⟨a, b | aaba=ab⟩Noc Inf
6103⟨a, b | aaba=ba⟩Noc Inf
6110⟨a, b | abab=ba⟩Can Inf
6123⟨a, b | bab=aba⟩Can Inf
7205⟨a, b | aaaba=ab⟩Noc Inf
7206⟨a, b | aaaba=ba⟩Noc Inf
7213⟨a, b | aabaa=ab⟩Noc Inf
7228⟨a, b | ababa=ab⟩Noc Inf
7248⟨a, b | aaba=aab⟩Noc Inf
7260⟨a, b | abab=aab⟩Noc Inf
7261⟨a, b | abab=aba⟩Noc Inf
7266⟨a, b | abba=abb⟩Noc Inf
8421⟨a, b | aaaaba=ab⟩Noc Inf
8422⟨a, b | aaaaba=ba⟩Noc Inf
8429⟨a, b | aaabaa=ab⟩Noc Inf
8430⟨a, b | aaabaa=ba⟩Noc Inf
8437⟨a, b | aaabba=ab⟩Noc Inf
8445⟨a, b | aabaab=ba⟩Can Inf
8448⟨a, b | aababa=ab⟩Noc Inf
8449⟨a, b | aababa=ba⟩Noc Inf
8455⟨a, b | aabbaa=ab⟩Noc Inf
8470⟨a, b | abaaba=ab⟩Noc Inf
8474⟨a, b | ababab=ba⟩Can Inf
8500⟨a, b | aaaba=aab⟩Noc Inf
8516⟨a, b | aabaa=aab⟩Noc Inf
8530⟨a, b | aabba=aab⟩Noc Inf
8532⟨a, b | aabba=abb⟩Noc Inf
8535⟨a, b | aabba=bba⟩Noc Inf
8538⟨a, b | abaab=aab⟩Noc Inf
8539⟨a, b | abaab=aba⟩Noc Inf
8540⟨a, b | abaab=abb⟩Noc Inf
8541⟨a, b | abaab=baa⟩Can Inf
8542⟨a, b | abaab=bab⟩Noc Inf
8548⟨a, b | ababa=abb⟩Noc Inf
8549⟨a, b | ababa=bab⟩Can Inf
8554⟨a, b | abbba=abb⟩Noc Inf
8570⟨a, b | abab=abaa⟩Noc Inf
8586⟨a, b | baab=aaba⟩Can Inf
8587⟨a, b | baab=abba⟩Can Inf
8589⟨a, b | baba=abab⟩Can Inf
9875⟨a, b | aaaaaba=ab⟩Noc Inf
9876⟨a, b | aaaaaba=ba⟩Noc Inf
9883⟨a, b | aaaabaa=ab⟩Noc Inf
9884⟨a, b | aaaabaa=ba⟩Noc Inf
9899⟨a, b | aaabaaa=ab⟩Noc Inf
9906⟨a, b | aaababa=ab⟩Noc Inf
9907⟨a, b | aaababa=ba⟩Noc Inf
9930⟨a, b | aabaaba=ab⟩Noc Inf
9931⟨a, b | aabaaba=ba⟩Noc Inf
9938⟨a, b | aababaa=ab⟩Noc Inf
9972⟨a, b | abaaaba=ab⟩Noc Inf
9976⟨a, b | abaabab=ba⟩Can Inf
9987⟨a, b | abababa=ab⟩Noc Inf
91018⟨a, b | aaaaba=aab⟩Noc Inf
91034⟨a, b | aaabaa=aab⟩Noc Inf
91037⟨a, b | aaabaa=baa⟩Noc Inf
91050⟨a, b | aaabba=aab⟩Noc Inf
91052⟨a, b | aaabba=abb⟩Noc Inf
91055⟨a, b | aaabba=bba⟩Noc Inf
91063⟨a, b | aabaab=aba⟩Noc Inf
91065⟨a, b | aabaab=baa⟩Can Inf
91072⟨a, b | aababa=abb⟩Noc Inf
91075⟨a, b | aababa=bba⟩Noc Inf
91084⟨a, b | aabbaa=abb⟩Noc Inf
91096⟨a, b | aabbba=aab⟩Noc Inf
91098⟨a, b | aabbba=abb⟩Noc Inf
91101⟨a, b | aabbba=bba⟩Noc Inf
91106⟨a, b | abaaab=abb⟩Noc Inf
91107⟨a, b | abaaab=baa⟩Can Inf
91108⟨a, b | abaaab=bab⟩Noc Inf
91114⟨a, b | abaaba=abb⟩Noc Inf
91118⟨a, b | ababab=aab⟩Noc Inf
91119⟨a, b | ababab=aba⟩Noc Inf
91124⟨a, b | ababba=abb⟩Noc Inf
91125⟨a, b | ababba=baa⟩Noc Inf
91127⟨a, b | ababba=bba⟩Noc Inf
91130⟨a, b | abbaab=aab⟩Noc Inf
91132⟨a, b | abbaab=baa⟩Can Inf
91166⟨a, b | aaaba=aaab⟩Noc Inf
91175⟨a, b | aaaba=baba⟩Noc Inf
91199⟨a, b | aabaa=aaba⟩Noc Inf
91226⟨a, b | aabba=aabb⟩Noc Inf
91232⟨a, b | aabba=baab⟩Can Inf
91233⟨a, b | aabba=baba⟩Noc Inf
91240⟨a, b | abaab=aaab⟩Noc Inf
91243⟨a, b | abaab=abaa⟩Noc Inf
91248⟨a, b | abaab=baab⟩Noc Inf
91257⟨a, b | ababa=aaba⟩Noc Inf
91259⟨a, b | ababa=abab⟩Noc Inf
91269⟨a, b | abbba=abab⟩Noc Inf
91271⟨a, b | abbba=abbb⟩Noc Inf
91272⟨a, b | abbba=baab⟩Can Inf
91273⟨a, b | abbba=babb⟩Can Inf
101827⟨a, b | aaaaaaba=ab⟩Noc Inf
101828⟨a, b | aaaaaaba=ba⟩Noc Inf
101835⟨a, b | aaaaabaa=ab⟩Noc Inf
101836⟨a, b | aaaaabaa=ba⟩Noc Inf
101851⟨a, b | aaaabaaa=ab⟩Noc Inf
101852⟨a, b | aaaabaaa=ba⟩Noc Inf
101859⟨a, b | aaaababa=ab⟩Noc Inf
101860⟨a, b | aaaababa=ba⟩Noc Inf
101883⟨a, b | aaabaaab=ba⟩Can Inf
101886⟨a, b | aaabaaba=ab⟩Noc Inf
101887⟨a, b | aaabaaba=ba⟩Noc Inf
101894⟨a, b | aaababaa=ab⟩Noc Inf
101895⟨a, b | aaababaa=ba⟩Noc Inf
101902⟨a, b | aaababba=ab⟩Noc Inf
101916⟨a, b | aaabbaba=ab⟩Noc Inf
101941⟨a, b | aabaaaba=ba⟩Noc Inf
101948⟨a, b | aabaabaa=ab⟩Noc Inf
101960⟨a, b | aababaab=ba⟩Can Inf
101963⟨a, b | aabababa=ab⟩Noc Inf
101964⟨a, b | aabababa=ba⟩Noc Inf
101970⟨a, b | aababbaa=ab⟩Noc Inf
101971⟨a, b | aababbaa=ba⟩Noc Inf
102024⟨a, b | abaaaaba=ab⟩Noc Inf
102028⟨a, b | abaaabab=ba⟩Can Inf
102039⟨a, b | abaababa=ab⟩Noc Inf
102040⟨a, b | abaababa=ba⟩Noc Inf
102055⟨a, b | abababab=ba⟩Can Inf
102106⟨a, b | aaaaaba=aab⟩Noc Inf
102122⟨a, b | aaaabaa=aab⟩Noc Inf
102125⟨a, b | aaaabaa=baa⟩Noc Inf
102138⟨a, b | aaaabba=aab⟩Noc Inf
102140⟨a, b | aaaabba=abb⟩Noc Inf
102143⟨a, b | aaaabba=bba⟩Noc Inf
102154⟨a, b | aaabaaa=aab⟩Noc Inf
102170⟨a, b | aaababa=abb⟩Noc Inf
102173⟨a, b | aaababa=bba⟩Noc Inf
102186⟨a, b | aaabbaa=abb⟩Noc Inf
102189⟨a, b | aaabbaa=bba⟩Noc Inf
102200⟨a, b | aaabbba=aab⟩Noc Inf
102202⟨a, b | aaabbba=abb⟩Noc Inf
102205⟨a, b | aaabbba=bba⟩Noc Inf
102211⟨a, b | aabaaab=baa⟩Can Inf
102216⟨a, b | aabaaba=aab⟩Noc Inf
102218⟨a, b | aabaaba=abb⟩Noc Inf
102219⟨a, b | aabaaba=baa⟩Noc Inf
102221⟨a, b | aabaaba=bba⟩Noc Inf
102234⟨a, b | aababaa=abb⟩Noc Inf
102248⟨a, b | aababba=abb⟩Noc Inf
102251⟨a, b | aababba=bba⟩Noc Inf
102259⟨a, b | aabbaab=bba⟩Can Inf
102264⟨a, b | aabbaba=abb⟩Noc Inf
102267⟨a, b | aabbaba=bba⟩Noc Inf
102272⟨a, b | aabbbaa=abb⟩Noc Inf
102284⟨a, b | aabbbba=aab⟩Noc Inf
102294⟨a, b | abaaaab=abb⟩Noc Inf
102296⟨a, b | abaaaab=bab⟩Noc Inf
102302⟨a, b | abaaaba=abb⟩Noc Inf
102303⟨a, b | abaaaba=bab⟩Can Inf
102306⟨a, b | abaabab=aab⟩Noc Inf
102308⟨a, b | abaabab=abb⟩Noc Inf
102309⟨a, b | abaabab=baa⟩Can Inf
102310⟨a, b | abaabab=bab⟩Noc Inf
102314⟨a, b | abaabba=aab⟩Noc Inf
102316⟨a, b | abaabba=abb⟩Noc Inf
102319⟨a, b | abaabba=bba⟩Noc Inf
102323⟨a, b | ababaab=aba⟩Noc Inf
102324⟨a, b | ababaab=abb⟩Noc Inf
102325⟨a, b | ababaab=baa⟩Can Inf
102332⟨a, b | abababa=abb⟩Noc Inf
102336⟨a, b | ababbba=aab⟩Noc Inf
102338⟨a, b | ababbba=abb⟩Noc Inf
102339⟨a, b | ababbba=baa⟩Noc Inf
102346⟨a, b | abbaaab=abb⟩Noc Inf
102347⟨a, b | abbaaab=baa⟩Can Inf
102349⟨a, b | abbaaab=bba⟩Can Inf
102352⟨a, b | abbabba=aab⟩Noc Inf
102354⟨a, b | abbabba=abb⟩Noc Inf
102355⟨a, b | abbabba=bab⟩Can Inf
102390⟨a, b | aaaaba=aaab⟩Noc Inf
102399⟨a, b | aaaaba=baba⟩Noc Inf
102422⟨a, b | aaabaa=aaab⟩Noc Inf
102423⟨a, b | aaabaa=aaba⟩Noc Inf
102425⟨a, b | aaabaa=abaa⟩Noc Inf
102454⟨a, b | aaabba=aaab⟩Noc Inf
102456⟨a, b | aaabba=aabb⟩Noc Inf
102458⟨a, b | aaabba=abab⟩Noc Inf
102463⟨a, b | aaabba=baba⟩Noc Inf
102480⟨a, b | aabaab=aaab⟩Noc Inf
102481⟨a, b | aabaab=aaba⟩Noc Inf
102482⟨a, b | aabaab=aabb⟩Noc Inf
102485⟨a, b | aabaab=abba⟩Noc Inf
102488⟨a, b | aabaab=baab⟩Noc Inf
102489⟨a, b | aabaab=baba⟩Can Inf
102498⟨a, b | aababa=aabb⟩Noc Inf
102500⟨a, b | aababa=abab⟩Noc Inf
102504⟨a, b | aababa=baab⟩Can Inf
102505⟨a, b | aababa=baba⟩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
102550⟨a, b | aabbba=aabb⟩Noc Inf
102552⟨a, b | aabbba=abab⟩Noc Inf
102554⟨a, b | aabbba=abbb⟩Noc Inf
102561⟨a, b | aabbba=bbba⟩Noc Inf
102564⟨a, b | abaaab=aaab⟩Noc Inf
102567⟨a, b | abaaab=abaa⟩Noc Inf
102569⟨a, b | abaaab=abba⟩Noc Inf
102571⟨a, b | abaaab=baaa⟩Can Inf
102573⟨a, b | abaaab=baba⟩Can Inf
102581⟨a, b | abaaba=aaba⟩Noc Inf
102583⟨a, b | abaaba=abab⟩Noc Inf
102586⟨a, b | abaaba=baab⟩Can Inf
102590⟨a, b | ababab=aaab⟩Noc Inf
102593⟨a, b | ababab=abaa⟩Noc Inf
102602⟨a, b | ababba=aabb⟩Noc Inf
102606⟨a, b | ababba=abbb⟩Noc Inf
102611⟨a, b | ababba=bbaa⟩Noc Inf
102612⟨a, b | ababba=bbab⟩Can Inf
102613⟨a, b | ababba=bbba⟩Noc Inf
102616⟨a, b | abbaab=aaab⟩Noc Inf
102619⟨a, b | abbaab=abaa⟩Noc Inf
102621⟨a, b | abbaab=abba⟩Noc Inf
102629⟨a, b | abbbba=abab⟩Noc Inf
102631⟨a, b | abbbba=abbb⟩Noc Inf
102632⟨a, b | abbbba=baab⟩Can Inf
102633⟨a, b | abbbba=babb⟩Can Inf
102673⟨a, b | abaab=aabaa⟩Noc Inf
102677⟨a, b | abaab=abaaa⟩Noc Inf
102686⟨a, b | ababa=abaab⟩Noc Inf
102708⟨a, b | abbab=abaaa⟩Noc Inf
102711⟨a, b | abbab=abbaa⟩Noc Inf
102720⟨a, b | abbba=abaab⟩Noc Inf
102743⟨a, b | baaab=aabaa⟩Can Inf
102744⟨a, b | baaab=aabba⟩Can Inf
102745⟨a, b | baaab=ababa⟩Can Inf
102746⟨a, b | baaab=abbba⟩Can Inf
102752⟨a, b | baaba=abbab⟩Can Inf
102759⟨a, b | baabb=abbaa⟩Can Inf
102767⟨a, b | babab=ababa⟩Can Inf
113841⟨a, b | aaaaaaaba=ab⟩Noc Inf
113842⟨a, b | aaaaaaaba=ba⟩Noc Inf
113849⟨a, b | aaaaaabaa=ab⟩Noc Inf
113850⟨a, b | aaaaaabaa=ba⟩Noc Inf
113865⟨a, b | aaaaabaaa=ab⟩Noc Inf
113866⟨a, b | aaaaabaaa=ba⟩Noc Inf
113873⟨a, b | aaaaababa=ab⟩Noc Inf
113874⟨a, b | aaaaababa=ba⟩Noc Inf
113897⟨a, b | aaaabaaaa=ab⟩Noc Inf
113904⟨a, b | aaaabaaba=ab⟩Noc Inf
113905⟨a, b | aaaabaaba=ba⟩Noc Inf
113912⟨a, b | aaaababaa=ab⟩Noc Inf
113913⟨a, b | aaaababaa=ba⟩Noc Inf
113936⟨a, b | aaaabbaba=ab⟩Noc Inf
113960⟨a, b | aaabaaaba=ab⟩Noc Inf
113961⟨a, b | aaabaaaba=ba⟩Noc Inf
113968⟨a, b | aaabaabaa=ab⟩Noc Inf
113969⟨a, b | aaabaabaa=ba⟩Noc Inf
113984⟨a, b | aaababaaa=ab⟩Noc Inf
113991⟨a, b | aaabababa=ab⟩Noc Inf
113992⟨a, b | aaabababa=ba⟩Noc Inf
114024⟨a, b | aaabbabaa=ba⟩Noc Inf
114067⟨a, b | aabaaaaba=ba⟩Noc Inf
114074⟨a, b | aabaaabaa=ab⟩Noc Inf
114086⟨a, b | aabaabaab=ba⟩Can Inf
114089⟨a, b | aabaababa=ab⟩Noc Inf
114090⟨a, b | aabaababa=ba⟩Noc Inf
114113⟨a, b | aababaaba=ab⟩Noc Inf
114114⟨a, b | aababaaba=ba⟩Noc Inf
114121⟨a, b | aabababaa=ab⟩Noc Inf
114230⟨a, b | abaaaaaba=ab⟩Noc Inf
114234⟨a, b | abaaaabab=ba⟩Can Inf
114245⟨a, b | abaaababa=ab⟩Noc Inf
114246⟨a, b | abaaababa=ba⟩Noc Inf
114261⟨a, b | abaabaaba=ab⟩Noc Inf
114265⟨a, b | abaababab=ba⟩Can Inf
114300⟨a, b | ababababa=ab⟩Noc Inf
114376⟨a, b | aaaaaaba=aab⟩Noc Inf
114392⟨a, b | aaaaabaa=aab⟩Noc Inf
114395⟨a, b | aaaaabaa=baa⟩Noc Inf
114408⟨a, b | aaaaabba=aab⟩Noc Inf
114410⟨a, b | aaaaabba=abb⟩Noc Inf
114413⟨a, b | aaaaabba=bba⟩Noc Inf
114424⟨a, b | aaaabaaa=aab⟩Noc Inf
114427⟨a, b | aaaabaaa=baa⟩Noc Inf
114442⟨a, b | aaaababa=abb⟩Noc Inf
114445⟨a, b | aaaababa=bba⟩Noc Inf
114458⟨a, b | aaaabbaa=abb⟩Noc Inf
114461⟨a, b | aaaabbaa=bba⟩Noc Inf
114472⟨a, b | aaaabbba=aab⟩Noc Inf
114474⟨a, b | aaaabbba=abb⟩Noc Inf
114477⟨a, b | aaaabbba=bba⟩Noc Inf
114487⟨a, b | aaabaaab=baa⟩Can Inf
114492⟨a, b | aaabaaba=aab⟩Noc Inf
114494⟨a, b | aaabaaba=abb⟩Noc Inf
114495⟨a, b | aaabaaba=baa⟩Noc Inf
114497⟨a, b | aaabaaba=bba⟩Noc Inf
114510⟨a, b | aaababaa=abb⟩Noc Inf
114513⟨a, b | aaababaa=bba⟩Noc Inf
114524⟨a, b | aaababba=aab⟩Noc Inf
114526⟨a, b | aaababba=abb⟩Noc Inf
114529⟨a, b | aaababba=bba⟩Noc Inf
114538⟨a, b | aaabbaaa=abb⟩Noc Inf
114550⟨a, b | aaabbaba=aab⟩Noc Inf
114552⟨a, b | aaabbaba=abb⟩Noc Inf
114555⟨a, b | aaabbaba=bba⟩Noc Inf
114568⟨a, b | aaabbbaa=abb⟩Noc Inf
114571⟨a, b | aaabbbaa=bba⟩Noc Inf
114582⟨a, b | aaabbbba=aab⟩Noc Inf
114598⟨a, b | aabaaaba=aab⟩Noc Inf
114600⟨a, b | aabaaaba=abb⟩Noc Inf
114601⟨a, b | aabaaaba=baa⟩Noc Inf
114603⟨a, b | aabaaaba=bba⟩Noc Inf
114614⟨a, b | aabaabaa=aab⟩Noc Inf
114616⟨a, b | aabaabaa=abb⟩Noc Inf
114628⟨a, b | aabaabba=aab⟩Noc Inf
114630⟨a, b | aabaabba=abb⟩Noc Inf
114633⟨a, b | aabaabba=bba⟩Noc Inf
114646⟨a, b | aabababa=abb⟩Noc Inf
114649⟨a, b | aabababa=bba⟩Noc Inf
114658⟨a, b | aababbaa=abb⟩Noc Inf
114661⟨a, b | aababbaa=bba⟩Noc Inf
114674⟨a, b | aababbba=abb⟩Noc Inf
114685⟨a, b | aabbaaab=bba⟩Can Inf
114690⟨a, b | aabbaaba=abb⟩Noc Inf
114693⟨a, b | aabbaaba=bba⟩Noc Inf
114698⟨a, b | aabbaabb=baa⟩Can Inf
114710⟨a, b | aabbabba=abb⟩Noc Inf
114713⟨a, b | aabbabba=bba⟩Noc Inf
114721⟨a, b | aabbbaab=bba⟩Can Inf
114726⟨a, b | aabbbaba=abb⟩Noc Inf
114729⟨a, b | aabbbaba=bba⟩Noc Inf
114746⟨a, b | aabbbbba=aab⟩Noc Inf
114748⟨a, b | aabbbbba=abb⟩Noc Inf
114756⟨a, b | abaaaaab=abb⟩Noc Inf
114758⟨a, b | abaaaaab=bab⟩Noc Inf
114764⟨a, b | abaaaaba=abb⟩Noc Inf
114765⟨a, b | abaaaaba=bab⟩Can Inf
114770⟨a, b | abaaabab=abb⟩Noc Inf
114771⟨a, b | abaaabab=baa⟩Can Inf
114772⟨a, b | abaaabab=bab⟩Noc Inf
114776⟨a, b | abaaabba=aab⟩Noc Inf
114778⟨a, b | abaaabba=abb⟩Noc Inf
114781⟨a, b | abaaabba=bba⟩Noc Inf
114784⟨a, b | abaabaab=aab⟩Noc Inf
114785⟨a, b | abaabaab=aba⟩Noc Inf
114786⟨a, b | abaabaab=abb⟩Noc Inf
114787⟨a, b | abaabaab=baa⟩Can Inf
114796⟨a, b | abaababa=bab⟩Can Inf
114800⟨a, b | abaabbab=aab⟩Noc Inf
114802⟨a, b | abaabbab=baa⟩Can Inf
114804⟨a, b | abaabbba=aab⟩Noc Inf
114806⟨a, b | abaabbba=abb⟩Noc Inf
114814⟨a, b | ababaaab=abb⟩Noc Inf
114820⟨a, b | abababab=aab⟩Noc Inf
114821⟨a, b | abababab=aba⟩Noc Inf
114826⟨a, b | abababba=abb⟩Noc Inf
114834⟨a, b | ababbaab=abb⟩Noc Inf
114837⟨a, b | ababbaab=bba⟩Can Inf
114842⟨a, b | ababbaba=abb⟩Noc Inf
114846⟨a, b | ababbbba=aab⟩Noc Inf
114848⟨a, b | ababbbba=abb⟩Noc Inf
114849⟨a, b | ababbbba=baa⟩Noc Inf
114856⟨a, b | abbaaaab=abb⟩Noc Inf
114859⟨a, b | abbaaaab=bba⟩Can Inf
114862⟨a, b | abbaabba=aab⟩Noc Inf
114864⟨a, b | abbaabba=abb⟩Noc Inf
114872⟨a, b | abbabbba=aab⟩Noc Inf
114874⟨a, b | abbabbba=abb⟩Noc Inf
114875⟨a, b | abbabbba=baa⟩Noc Inf
114877⟨a, b | abbabbba=bba⟩Noc Inf
114882⟨a, b | abbbaaab=baa⟩Can Inf
114916⟨a, b | aaaaaba=aaab⟩Noc Inf
114925⟨a, b | aaaaaba=baba⟩Noc Inf
114948⟨a, b | aaaabaa=aaab⟩Noc Inf
114949⟨a, b | aaaabaa=aaba⟩Noc Inf
114951⟨a, b | aaaabaa=abaa⟩Noc Inf
114980⟨a, b | aaaabba=aaab⟩Noc Inf
114982⟨a, b | aaaabba=aabb⟩Noc Inf
114984⟨a, b | aaaabba=abab⟩Noc Inf
114989⟨a, b | aaaabba=baba⟩Noc Inf
115012⟨a, b | aaabaaa=aaab⟩Noc Inf
115013⟨a, b | aaabaaa=aaba⟩Noc Inf
115038⟨a, b | aaababa=aaab⟩Noc Inf
115040⟨a, b | aaababa=aabb⟩Noc Inf
115042⟨a, b | aaababa=abab⟩Noc Inf
115047⟨a, b | aaababa=baba⟩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
115081⟨a, b | aaabbaa=bbaa⟩Noc Inf
115102⟨a, b | aaabbba=aaab⟩Noc Inf
115104⟨a, b | aaabbba=aabb⟩Noc Inf
115106⟨a, b | aaabbba=abab⟩Noc Inf
115108⟨a, b | aaabbba=abbb⟩Noc Inf
115111⟨a, b | aaabbba=baba⟩Noc Inf
115113⟨a, b | aaabbba=bbaa⟩Noc Inf
115115⟨a, b | aaabbba=bbba⟩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
115123⟨a, b | aabaaab=abba⟩Noc Inf
115125⟨a, b | aabaaab=baaa⟩Can Inf
115126⟨a, b | aabaaab=baab⟩Noc Inf
115136⟨a, b | aabaaba=aabb⟩Noc Inf
115142⟨a, b | aabaaba=baab⟩Can Inf
115143⟨a, b | aabaaba=baba⟩Noc Inf
115167⟨a, b | aababaa=aaba⟩Noc Inf
115168⟨a, b | aababaa=aabb⟩Noc Inf
115169⟨a, b | aababaa=abab⟩Noc Inf
115172⟨a, b | aababaa=baab⟩Can Inf
115192⟨a, b | aababba=aaab⟩Noc Inf
115194⟨a, b | aababba=aabb⟩Noc Inf
115198⟨a, b | aababba=abbb⟩Noc Inf
115201⟨a, b | aababba=baba⟩Noc Inf
115205⟨a, b | aababba=bbba⟩Noc Inf
115208⟨a, b | aabbaab=aaab⟩Noc Inf
115210⟨a, b | aabbaab=aabb⟩Noc Inf
115213⟨a, b | aabbaab=abba⟩Noc Inf
115216⟨a, b | aabbaab=baab⟩Noc Inf
115219⟨a, b | aabbaab=bbaa⟩Can Inf
115224⟨a, b | aabbaba=aaab⟩Noc Inf
115226⟨a, b | aabbaba=aabb⟩Noc Inf
115230⟨a, b | aabbaba=abbb⟩Noc Inf
115233⟨a, b | aabbaba=baba⟩Noc Inf
115237⟨a, b | aabbaba=bbba⟩Noc Inf
115240⟨a, b | aabbbaa=aaab⟩Noc Inf
115241⟨a, b | aabbbaa=aaba⟩Noc Inf
115242⟨a, b | aabbbaa=aabb⟩Noc Inf
115245⟨a, b | aabbbaa=abbb⟩Noc Inf
115268⟨a, b | aabbbba=aabb⟩Noc Inf
115270⟨a, b | aabbbba=abab⟩Noc Inf
115272⟨a, b | aabbbba=abbb⟩Noc Inf
115275⟨a, b | aabbbba=baba⟩Noc Inf
115279⟨a, b | aabbbba=bbba⟩Noc Inf
115282⟨a, b | abaaaab=aaab⟩Noc Inf
115285⟨a, b | abaaaab=abaa⟩Noc Inf
115287⟨a, b | abaaaab=abba⟩Noc Inf
115289⟨a, b | abaaaab=baaa⟩Can Inf
115290⟨a, b | abaaaab=baab⟩Noc Inf
115291⟨a, b | abaaaab=baba⟩Can Inf
115294⟨a, b | abaaaab=bbab⟩Noc Inf
115299⟨a, b | abaaaba=aaba⟩Noc Inf
115301⟨a, b | abaaaba=abab⟩Noc Inf
115308⟨a, b | abaabab=aaab⟩Noc Inf
115311⟨a, b | abaabab=abaa⟩Noc Inf
115313⟨a, b | abaabab=abba⟩Noc Inf
115314⟨a, b | abaabab=abbb⟩Noc Inf
115316⟨a, b | abaabab=baab⟩Noc Inf
115320⟨a, b | abaabab=bbab⟩Noc Inf
115326⟨a, b | abaabba=aabb⟩Noc Inf
115328⟨a, b | abaabba=abab⟩Noc Inf
115330⟨a, b | abaabba=abbb⟩Noc Inf
115331⟨a, b | abaabba=baaa⟩Noc Inf
115332⟨a, b | abaabba=baab⟩Can Inf
115335⟨a, b | abaabba=bbaa⟩Noc Inf
115336⟨a, b | abaabba=bbab⟩Can Inf
115337⟨a, b | abaabba=bbba⟩Noc Inf
115340⟨a, b | ababaab=aaab⟩Noc Inf
115343⟨a, b | ababaab=abaa⟩Noc Inf
115346⟨a, b | ababaab=abbb⟩Noc Inf
115348⟨a, b | ababaab=baab⟩Noc Inf
115352⟨a, b | ababaab=bbab⟩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
115361⟨a, b | abababa=abbb⟩Noc Inf
115363⟨a, b | abababa=babb⟩Can Inf
115368⟨a, b | ababbba=aabb⟩Noc Inf
115370⟨a, b | ababbba=abab⟩Noc Inf
115372⟨a, b | ababbba=abbb⟩Noc Inf
115377⟨a, b | ababbba=bbaa⟩Noc Inf
115379⟨a, b | ababbba=bbba⟩Noc Inf
115382⟨a, b | abbaaab=aaab⟩Noc Inf
115384⟨a, b | abbaaab=aabb⟩Noc Inf
115385⟨a, b | abbaaab=abaa⟩Noc Inf
115387⟨a, b | abbaaab=abba⟩Noc Inf
115388⟨a, b | abbaaab=abbb⟩Noc Inf
115389⟨a, b | abbaaab=baaa⟩Can Inf
115390⟨a, b | abbaaab=baab⟩Noc Inf
115393⟨a, b | abbaaab=bbaa⟩Can Inf
115394⟨a, b | abbaaab=bbab⟩Noc Inf
115403⟨a, b | abbabba=abbb⟩Noc Inf
115411⟨a, b | abbbbba=abab⟩Noc Inf
115413⟨a, b | abbbbba=abbb⟩Noc Inf
115414⟨a, b | abbbbba=baab⟩Can Inf
115470⟨a, b | aaaaba=aaaab⟩Noc Inf
115487⟨a, b | aaaaba=baaba⟩Noc Inf
115535⟨a, b | aaabaa=aaaba⟩Noc Inf
115600⟨a, b | aaabba=aaabb⟩Noc Inf
115602⟨a, b | aaabba=aabab⟩Noc Inf
115614⟨a, b | aaabba=baaab⟩Can Inf
115615⟨a, b | aaabba=baaba⟩Noc Inf
115619⟨a, b | aaabba=babba⟩Noc Inf
115646⟨a, b | aabaab=aaaab⟩Noc Inf
115649⟨a, b | aabaab=aabaa⟩Noc Inf
115650⟨a, b | aabaab=aabab⟩Noc Inf
115651⟨a, b | aabaab=aabba⟩Noc Inf
115653⟨a, b | aabaab=abaaa⟩Noc Inf
115654⟨a, b | aabaab=abaab⟩Noc Inf
115662⟨a, b | aabaab=baaab⟩Noc Inf
115663⟨a, b | aabaab=baaba⟩Can Inf
115670⟨a, b | aabaab=bbaab⟩Noc Inf
115682⟨a, b | aababa=aabab⟩Noc Inf
115695⟨a, b | aababa=baaba⟩Noc Inf
115699⟨a, b | aababa=babba⟩Noc Inf
115731⟨a, b | aabbaa=aabba⟩Noc Inf
115739⟨a, b | aabbaa=baaab⟩Can Inf
115784⟨a, b | aabbba=aabbb⟩Noc Inf
115786⟨a, b | aabbba=abaab⟩Noc Inf
115788⟨a, b | aabbba=ababb⟩Noc Inf
115790⟨a, b | aabbba=abbab⟩Noc Inf
115794⟨a, b | aabbba=baaab⟩Can Inf
115795⟨a, b | aabbba=baaba⟩Noc Inf
115796⟨a, b | aabbba=baabb⟩Can Inf
115799⟨a, b | aabbba=babba⟩Noc Inf
115802⟨a, b | aabbba=bbaab⟩Can Inf
115810⟨a, b | abaaab=aaaab⟩Noc Inf
115813⟨a, b | abaaab=aabaa⟩Noc Inf
115817⟨a, b | abaaab=abaaa⟩Noc Inf
115819⟨a, b | abaaab=ababa⟩Noc Inf
115823⟨a, b | abaaab=abbba⟩Noc Inf
115826⟨a, b | abaaab=baaab⟩Noc Inf
115830⟨a, b | abaaab=babab⟩Noc Inf
115834⟨a, b | abaaab=bbaab⟩Noc Inf
115838⟨a, b | abaaab=bbbab⟩Noc Inf
115843⟨a, b | abaaba=aaaba⟩Noc Inf
115845⟨a, b | abaaba=aabaa⟩Noc Inf
115849⟨a, b | abaaba=abaab⟩Noc Inf
115866⟨a, b | ababab=aabab⟩Noc Inf
115868⟨a, b | ababab=abaaa⟩Noc Inf
115870⟨a, b | ababab=ababa⟩Noc Inf
115871⟨a, b | ababab=abbaa⟩Noc Inf
115872⟨a, b | ababab=abbba⟩Noc Inf
115886⟨a, b | ababba=abaab⟩Noc Inf
115888⟨a, b | ababba=ababb⟩Noc Inf
115890⟨a, b | ababba=abbab⟩Noc Inf
115894⟨a, b | ababba=baaab⟩Can Inf
115895⟨a, b | ababba=baaba⟩Noc Inf
115899⟨a, b | ababba=babba⟩Noc Inf
115902⟨a, b | ababba=bbaab⟩Can Inf
115915⟨a, b | abbaab=aabba⟩Noc Inf
115918⟨a, b | abbaab=ababa⟩Noc Inf
115919⟨a, b | abbaab=abbaa⟩Noc Inf
115933⟨a, b | abbbba=abaab⟩Noc Inf
115936⟨a, b | abbbba=abbab⟩Noc Inf
115938⟨a, b | abbbba=abbbb⟩Noc Inf
115940⟨a, b | abbbba=baabb⟩Can Inf
115941⟨a, b | abbbba=babab⟩Can Inf
115942⟨a, b | abbbba=babbb⟩Can Inf
Solved by morph:2/0:
8377⟨a, b | aababaa=a⟩Noc Inf1
8401⟨a, b | ababaab=a⟩Noc Inf
8402⟨a, b | ababaab=b⟩Noc Inf1
8546⟨a, b | ababa=aab⟩Noc Inf
8568⟨a, b | abab=aaba⟩Noc Inf
9847⟨a, b | ababaaab=b⟩Noc Inf1
91120⟨a, b | ababab=baa⟩Can Inf
91201⟨a, b | aabaa=abab⟩Noc Inf
101615⟨a, b | aaabaabaa=a⟩Noc Inf1
101712⟨a, b | aabbaaaba=b⟩Can Inf
101723⟨a, b | aabbabbaa=a⟩Noc Inf1
101783⟨a, b | abababaab=a⟩Noc Inf
101784⟨a, b | abababaab=b⟩Noc Inf
102311⟨a, b | abaabab=bba⟩Can Inf
102318⟨a, b | abaabba=bab⟩Can Inf
102326⟨a, b | ababaab=bab⟩Noc Inf
102327⟨a, b | ababaab=bba⟩Can Inf
102330⟨a, b | abababa=aab⟩Noc Inf
102431⟨a, b | aaabaa=baba⟩Noc Inf
102591⟨a, b | ababab=aaba⟩Noc Inf
102597⟨a, b | ababab=baba⟩Can Inf
102598⟨a, b | ababab=bbaa⟩Can Inf
102710⟨a, b | abbab=ababa⟩Noc Inf
113536⟨a, b | aabaaaaaba=b⟩Can Inf
113607⟨a, b | aababbabaa=a⟩Noc Inf
113626⟨a, b | aabbaaaaba=b⟩Can Inf
113646⟨a, b | aabbabaaba=b⟩Can Inf
113665⟨a, b | aabbbaaaba=b⟩Can Inf
113768⟨a, b | abababaaab=b⟩Noc Inf
114641⟨a, b | aababaab=bba⟩Can Inf
114773⟨a, b | abaaabab=bba⟩Can Inf
114780⟨a, b | abaaabba=bab⟩Can Inf
114788⟨a, b | abaabaab=bab⟩Noc Inf
114789⟨a, b | abaabaab=bba⟩Can Inf
114817⟨a, b | ababaaab=bba⟩Can Inf
114822⟨a, b | abababab=baa⟩Can Inf
114827⟨a, b | abababba=baa⟩Noc Inf
114835⟨a, b | ababbaab=baa⟩Can Inf
114840⟨a, b | ababbaba=aab⟩Noc Inf
114857⟨a, b | abbaaaab=baa⟩Can Inf
114870⟨a, b | abbabaab=baa⟩Can Inf
115079⟨a, b | aaabbaa=baba⟩Noc Inf
115137⟨a, b | aabaaba=abaa⟩Noc Inf
115138⟨a, b | aabaaba=abab⟩Noc Inf
115232⟨a, b | aabbaba=baab⟩Can Inf
115274⟨a, b | aabbbba=baab⟩Can Inf
115317⟨a, b | abaabab=baba⟩Can Inf
115319⟨a, b | abaabab=bbaa⟩Can Inf
115351⟨a, b | ababaab=bbaa⟩Can Inf
115733⟨a, b | aabbaa=abaab⟩Noc Inf
115939⟨a, b | abbbba=baaab⟩Can Inf
Solved by morph:3/0:
7225⟨a, b | abaab=ba⟩Can Inf
8476⟨a, b | ababba=ab⟩Noc Inf
9768⟨a, b | aaababaa=a⟩Noc Inf1
9812⟨a, b | aabbaaab=a⟩Noc Inf
9860⟨a, b | abbaabba=b⟩Can Inf1
9891⟨a, b | aaaabba=ab⟩Noc Inf
9914⟨a, b | aaabbaa=ab⟩Noc Inf
9915⟨a, b | aaabbaa=ba⟩Noc Inf
9945⟨a, b | aababba=ab⟩Noc Inf
9953⟨a, b | aabbaba=ab⟩Noc Inf
9979⟨a, b | abaabba=ab⟩Noc Inf
101729⟨a, b | aabbbaaab=a⟩Noc Inf
101843⟨a, b | aaaaabba=ab⟩Noc Inf
101867⟨a, b | aaaabbaa=ab⟩Noc Inf
101909⟨a, b | aaabbaaa=ab⟩Noc Inf
101940⟨a, b | aabaaaba=ab⟩Noc Inf
101955⟨a, b | aabaabba=ab⟩Noc Inf
101986⟨a, b | aabbaaba=ab⟩Noc Inf
101987⟨a, b | aabbaaba=ba⟩Noc Inf
102031⟨a, b | abaaabba=ab⟩Noc Inf
102036⟨a, b | abaabaab=ba⟩Can Inf
102044⟨a, b | abaabbab=ba⟩Can Inf
102076⟨a, b | abbaabba=ab⟩Noc Inf
102077⟨a, b | abbaabba=bb⟩Can Inf
102483⟨a, b | aabaab=abaa⟩Noc Inf
102487⟨a, b | aabaab=baaa⟩Can Inf
102572⟨a, b | abaaab=baab⟩Noc Inf
102618⟨a, b | abbaab=aabb⟩Noc Inf
113382⟨a, b | aaaababaaa=a⟩Noc Inf
113563⟨a, b | aabaababaa=a⟩Noc Inf2
113634⟨a, b | aabbaabaab=b⟩Noc Inf
113679⟨a, b | aabbbbaaab=a⟩Noc Inf
113762⟨a, b | ababaabaab=b⟩Noc Inf
113806⟨a, b | abbaabaaab=b⟩Noc Inf
113818⟨a, b | abbabbaaab=b⟩Noc Inf
113881⟨a, b | aaaaabbaa=ab⟩Noc Inf
113920⟨a, b | aaaababba=ab⟩Noc Inf
113928⟨a, b | aaaabbaaa=ab⟩Noc Inf
113976⟨a, b | aaabaabba=ab⟩Noc Inf
113999⟨a, b | aaababbaa=ab⟩Noc Inf
114000⟨a, b | aaababbaa=ba⟩Noc Inf
114010⟨a, b | aaabbaaab=aa⟩Noc Inf
114015⟨a, b | aaabbaaba=ab⟩Noc Inf
114023⟨a, b | aaabbabaa=ab⟩Noc Inf
114031⟨a, b | aaabbabba=ab⟩Noc Inf
114081⟨a, b | aabaaabba=ab⟩Noc Inf
114156⟨a, b | aabbaaaba=ab⟩Noc Inf
114157⟨a, b | aabbaaaba=ba⟩Noc Inf
114168⟨a, b | aabbaabba=ab⟩Noc Inf
114180⟨a, b | aabbabbaa=ab⟩Noc Inf
114237⟨a, b | abaaaabba=ab⟩Noc Inf
114242⟨a, b | abaaabaab=ba⟩Can Inf
114250⟨a, b | abaaabbab=ba⟩Can Inf
114273⟨a, b | abaabbaab=ba⟩Can Inf
114276⟨a, b | abaabbaba=ab⟩Noc Inf
114311⟨a, b | ababbabba=ab⟩Noc Inf
114330⟨a, b | abbaaabba=ab⟩Noc Inf
114335⟨a, b | abbaabaab=bb⟩Noc Inf
114345⟨a, b | abbababba=ab⟩Noc Inf
115134⟨a, b | aabaaba=aaab⟩Noc Inf
115209⟨a, b | aabbaab=aaba⟩Noc Inf
115217⟨a, b | aabbaab=baba⟩Can Inf
115315⟨a, b | abaabab=baaa⟩Can Inf
115400⟨a, b | abbabba=aabb⟩Noc Inf
115404⟨a, b | abbabba=baab⟩Can Inf
115405⟨a, b | abbabba=babb⟩Can Inf
115606⟨a, b | aaabba=abaab⟩Noc Inf
115659⟨a, b | aabaab=abbba⟩Noc Inf
115664⟨a, b | aabaab=baabb⟩Noc Inf
115667⟨a, b | aabaab=babba⟩Can Inf
115694⟨a, b | aababa=baaab⟩Can Inf
115740⟨a, b | aabbaa=baabb⟩Can Inf
115815⟨a, b | abaaab=aabba⟩Noc Inf
115852⟨a, b | abaaba=abbab⟩Noc Inf
115857⟨a, b | abaaba=babab⟩Can Inf
115865⟨a, b | ababab=aabaa⟩Noc Inf
Solved by morph:4/0:
8467⟨a, b | abaaab=ba⟩Can Inf
9922⟨a, b | aaabbba=ab⟩Noc Inf
9950⟨a, b | aabbaab=ba⟩Can Inf
9957⟨a, b | aabbbaa=ab⟩Noc Inf
9990⟨a, b | ababbba=ab⟩Noc Inf
91082⟨a, b | aabbaa=aab⟩Noc Inf
91228⟨a, b | aabba=abab⟩Noc Inf
91241⟨a, b | abaab=aaba⟩Noc Inf
101709⟨a, b | aabbaaaab=a⟩Noc Inf
101810⟨a, b | abbababba=b⟩Can Inf
101875⟨a, b | aaaabbba=ab⟩Noc Inf
101924⟨a, b | aaabbbaa=ab⟩Noc Inf
101925⟨a, b | aaabbbaa=ba⟩Noc Inf
101978⟨a, b | aababbba=ab⟩Noc Inf
102005⟨a, b | aabbbaba=ab⟩Noc Inf
102009⟨a, b | aabbbbaa=ab⟩Noc Inf
102046⟨a, b | abaabbba=ab⟩Noc Inf
102184⟨a, b | aaabbaa=aab⟩Noc Inf
102209⟨a, b | aabaaab=aba⟩Noc Inf
113501⟨a, b | aaabbabbaa=a⟩Noc Inf1
113662⟨a, b | aabbbaaaab=a⟩Noc Inf
113772⟨a, b | abababbaab=a⟩Noc Inf
113802⟨a, b | abbaaabaab=b⟩Noc Inf
113826⟨a, b | abbbaabbba=b⟩Can Inf
113889⟨a, b | aaaaabbba=ab⟩Noc Inf
113929⟨a, b | aaaabbaaa=ba⟩Noc Inf
113944⟨a, b | aaaabbbaa=ab⟩Noc Inf
113945⟨a, b | aaaabbbaa=ba⟩Noc Inf
114007⟨a, b | aaababbba=ab⟩Noc Inf
114035⟨a, b | aaabbbaaa=ab⟩Noc Inf
114042⟨a, b | aaabbbaba=ab⟩Noc Inf
114066⟨a, b | aabaaaaba=ab⟩Noc Inf
114097⟨a, b | aabaabbaa=ab⟩Noc Inf
114105⟨a, b | aabaabbba=ab⟩Noc Inf
114141⟨a, b | aababbbaa=ba⟩Noc Inf
114187⟨a, b | aabbabbba=ab⟩Noc Inf
114195⟨a, b | aabbbaaba=ab⟩Noc Inf
114196⟨a, b | aabbbaaba=ba⟩Noc Inf
114203⟨a, b | aabbbabba=ab⟩Noc Inf
114253⟨a, b | abaaabbba=ab⟩Noc Inf
114337⟨a, b | abbaabbba=ab⟩Noc Inf
114456⟨a, b | aaaabbaa=aab⟩Noc Inf
114639⟨a, b | aababaab=baa⟩Can Inf
114644⟨a, b | aabababa=aab⟩Noc Inf
114813⟨a, b | ababaaab=aba⟩Noc Inf
114815⟨a, b | ababaaab=baa⟩Can Inf
115074⟨a, b | aaabbaa=abab⟩Noc Inf
115551⟨a, b | aaabaa=baaba⟩Noc Inf
115647⟨a, b | aabaab=aaaba⟩Noc Inf
115831⟨a, b | abaaab=babba⟩Can Inf
Solved by morph:5/0:
8575⟨a, b | abba=abab⟩Noc Inf
9984⟨a, b | ababaab=ba⟩Can Inf
9998⟨a, b | abbabba=ab⟩Noc Inf
101587⟨a, b | aaaababaa=a⟩Noc Inf2
101693⟨a, b | aabababaa=a⟩Noc Inf1
101932⟨a, b | aaabbbba=ab⟩Noc Inf
101937⟨a, b | aabaaaab=ba⟩Can Inf
102002⟨a, b | aabbbaab=ba⟩Can Inf
102068⟨a, b | ababbbba=ab⟩Noc Inf
102168⟨a, b | aaababa=aab⟩Noc Inf
102187⟨a, b | aaabbaa=baa⟩Noc Inf
102232⟨a, b | aababaa=aab⟩Noc Inf
102270⟨a, b | aabbbaa=aab⟩Noc Inf
102340⟨a, b | ababbba=bab⟩Can Inf
113109⟨a, b | aabbaababba=1⟩Grp Inf5
113374⟨a, b | aaaabaabaa=a⟩Noc Inf1
113461⟨a, b | aaabababaa=a⟩Noc Inf1
113482⟨a, b | aaabbaaaab=a⟩Noc Inf
113535⟨a, b | aabaaaaaba=a⟩Noc Inf
113601⟨a, b | aababbaaab=a⟩Noc Inf
113623⟨a, b | aabbaaaaab=a⟩Noc Inf
113784⟨a, b | ababbabaab=b⟩Noc Inf
113808⟨a, b | abbaababba=b⟩Can Inf
113857⟨a, b | aaaaaabba=ab⟩Noc Inf
113952⟨a, b | aaaabbbba=ab⟩Noc Inf
114012⟨a, b | aaabbaaab=ba⟩Can Inf
114050⟨a, b | aaabbbbaa=ab⟩Noc Inf
114051⟨a, b | aaabbbbaa=ba⟩Noc Inf
114110⟨a, b | aababaaab=ba⟩Can Inf
114136⟨a, b | aababbaba=ab⟩Noc Inf
114140⟨a, b | aababbbaa=ab⟩Noc Inf
114148⟨a, b | aababbbba=ab⟩Noc Inf
114154⟨a, b | aabbaaaab=bb⟩Noc Inf
114211⟨a, b | aabbbbaba=ab⟩Noc Inf
114215⟨a, b | aabbbbbaa=ab⟩Noc Inf
114280⟨a, b | abaabbbba=ab⟩Noc Inf
114331⟨a, b | abbaaabba=bb⟩Can Inf
114440⟨a, b | aaaababa=aab⟩Noc Inf
114508⟨a, b | aaababaa=aab⟩Noc Inf
114536⟨a, b | aaabbaaa=aab⟩Noc Inf
114566⟨a, b | aaabbbaa=aab⟩Noc Inf
114808⟨a, b | abaabbba=bab⟩Can Inf
114843⟨a, b | ababbaba=bab⟩Can Inf
115215⟨a, b | aabbaab=baaa⟩Can Inf
115378⟨a, b | ababbba=bbab⟩Can Inf
Solved by morph:6/0:
91070⟨a, b | aababa=aab⟩Noc Inf
101868⟨a, b | aaaabbaa=ba⟩Noc Inf
102016⟨a, b | aabbbbba=ab⟩Noc Inf
102082⟨a, b | abbabbba=ab⟩Noc Inf
102171⟨a, b | aaababa=baa⟩Noc Inf
113345⟨a, b | aaaaababaa=a⟩Noc Inf1
114058⟨a, b | aaabbbbba=ab⟩Noc Inf
114063⟨a, b | aabaaaaab=ba⟩Can Inf
114292⟨a, b | ababaabba=ab⟩Noc Inf
114308⟨a, b | ababbaaab=ba⟩Can Inf
114316⟨a, b | ababbbaab=ba⟩Can Inf
114322⟨a, b | ababbbbba=ab⟩Noc Inf
114459⟨a, b | aaaabbaa=baa⟩Noc Inf
114511⟨a, b | aaababaa=baa⟩Noc Inf
114569⟨a, b | aaabbbaa=baa⟩Noc Inf
114656⟨a, b | aababbaa=aab⟩Noc Inf
114659⟨a, b | aababbaa=baa⟩Noc Inf
114688⟨a, b | aabbaaba=aab⟩Noc Inf
114732⟨a, b | aabbbbaa=aab⟩Noc Inf
114850⟨a, b | ababbbba=bab⟩Can Inf
114957⟨a, b | aaaabaa=baba⟩Noc Inf
115015⟨a, b | aaabaaa=abab⟩Noc Inf
115127⟨a, b | aabaaab=baba⟩Can Inf
115391⟨a, b | abbaaab=baba⟩Can Inf
115922⟨a, b | abbaab=baaba⟩Can Inf
Solved by morph:7/0:
7220⟨a, b | aabba=ab⟩Noc Inf
8462⟨a, b | aabbba=ab⟩Noc Inf
9964⟨a, b | aabbbba=ab⟩Noc Inf
101997⟨a, b | aabbabba=ab⟩Noc Inf
102065⟨a, b | ababbaba=ab⟩Noc Inf
102723⟨a, b | abbba=abbab⟩Noc Inf
113744⟨a, b | abaabbaaba=b⟩Can Inf
113882⟨a, b | aaaaabbaa=ba⟩Noc Inf
114098⟨a, b | aabaabbaa=ba⟩Noc Inf
114128⟨a, b | aabababba=ab⟩Noc Inf
114169⟨a, b | aabbaabba=ba⟩Noc Inf
114222⟨a, b | aabbbbbba=ab⟩Noc Inf
114356⟨a, b | abbbabbba=ab⟩Noc Inf
114443⟨a, b | aaaababa=baa⟩Noc Inf
114768⟨a, b | abaaabab=aab⟩Noc Inf
Solved by morph:2/1:
91252⟨a, b | abaab=bbab⟩Noc Inf
102049⟨a, b | ababaaab=aa⟩Noc Inf
102348⟨a, b | abbaaab=bab⟩Noc Inf
102426⟨a, b | aaabaa=abab⟩Noc Inf
102503⟨a, b | aababa=baaa⟩Noc Inf
102576⟨a, b | abaaab=bbab⟩Noc Inf
102580⟨a, b | abaaba=aaab⟩Noc Inf
114794⟨a, b | abaababa=abb⟩Noc Inf
114797⟨a, b | abaababa=bba⟩Noc Inf
114829⟨a, b | abababba=bba⟩Noc Inf
114858⟨a, b | abbaaaab=bab⟩Noc Inf
115199⟨a, b | aababba=baaa⟩Noc Inf
115231⟨a, b | aabbaba=baaa⟩Noc Inf
115347⟨a, b | ababaab=baaa⟩Can Inf
115491⟨a, b | aaaaba=babba⟩Noc Inf
115542⟨a, b | aaabaa=abaab⟩Noc Inf
115916⟨a, b | abbaab=abaaa⟩Noc Inf
Solved by morph:3/1:
6112⟨a, b | abba=ab⟩Noc Inf
7221⟨a, b | aabba=ba⟩Noc Inf
8438⟨a, b | aaabba=ba⟩Noc Inf
9927⟨a, b | aabaaab=ba⟩Can Inf
9954⟨a, b | aabbaba=ba⟩Noc Inf
91112⟨a, b | abaaba=aab⟩Noc Inf
91126⟨a, b | ababba=bab⟩Can Inf
101803⟨a, b | abbaabaab=a⟩Noc Inf
101917⟨a, b | aaabbaba=ba⟩Noc Inf
101998⟨a, b | aabbabba=ba⟩Noc Inf
102006⟨a, b | aabbbaba=ba⟩Noc Inf
102750⟨a, b | baaba=abaab⟩Can Inf
102756⟨a, b | baabb=aabba⟩Can Inf
113557⟨a, b | aabaabaaab=a⟩Noc Inf
113957⟨a, b | aaabaaaab=ba⟩Can Inf
114016⟨a, b | aaabbaaba=ba⟩Noc Inf
114032⟨a, b | aaabbabba=ba⟩Noc Inf
114043⟨a, b | aaabbbaba=ba⟩Noc Inf
114137⟨a, b | aababbaba=ba⟩Noc Inf
114176⟨a, b | aabbababa=ab⟩Noc Inf
114177⟨a, b | aabbababa=ba⟩Noc Inf
114277⟨a, b | abaabbaba=ba⟩Noc Inf
114833⟨a, b | ababbaab=aba⟩Noc Inf
114836⟨a, b | ababbaab=bab⟩Noc Inf
114881⟨a, b | abbbaaab=aba⟩Noc Inf
115610⟨a, b | aaabba=abbab⟩Noc Inf
Solved by morph:4/1:
7231⟨a, b | abbba=ab⟩Noc Inf
8463⟨a, b | aabbba=ba⟩Noc Inf
9923⟨a, b | aaabbba=ba⟩Noc Inf
9996⟨a, b | abbaaab=bb⟩Noc Inf
91104⟨a, b | abaaab=aab⟩Noc Inf
91105⟨a, b | abaaab=aba⟩Noc Inf
91136⟨a, b | abbbba=abb⟩Noc Inf
101876⟨a, b | aaaabbba=ba⟩Noc Inf
102074⟨a, b | abbaaaab=bb⟩Noc Inf
102286⟨a, b | aabbbba=abb⟩Noc Inf
102289⟨a, b | aabbbba=bba⟩Noc Inf
102295⟨a, b | abaaaab=baa⟩Can Inf
102307⟨a, b | abaabab=aba⟩Noc Inf
102341⟨a, b | ababbba=bba⟩Noc Inf
102344⟨a, b | abbaaab=aab⟩Noc Inf
102556⟨a, b | aabbba=baab⟩Can Inf
114204⟨a, b | aabbbabba=ba⟩Noc Inf
114212⟨a, b | aabbbbaba=ba⟩Noc Inf
114319⟨a, b | ababbbaba=ab⟩Noc Inf
114354⟨a, b | abbbaaaab=bb⟩Noc Inf
114584⟨a, b | aaabbbba=abb⟩Noc Inf
114587⟨a, b | aaabbbba=bba⟩Noc Inf
114677⟨a, b | aababbba=bba⟩Noc Inf
114691⟨a, b | aabbaaba=baa⟩Noc Inf
114734⟨a, b | aabbbbaa=abb⟩Noc Inf
114801⟨a, b | abaabbab=aba⟩Noc Inf
114809⟨a, b | abaabbba=bba⟩Noc Inf
114880⟨a, b | abbbaaab=aab⟩Noc Inf
Solved by morph:5/1:
8477⟨a, b | ababba=ba⟩Noc Inf
8483⟨a, b | abbbba=ab⟩Noc Inf
9965⟨a, b | aabbbba=ba⟩Noc Inf
9969⟨a, b | abaaaab=ba⟩Can Inf
101933⟨a, b | aaabbbba=ba⟩Noc Inf
102062⟨a, b | ababbaab=ba⟩Can Inf
102292⟨a, b | abaaaab=aab⟩Noc Inf
102293⟨a, b | abaaaab=aba⟩Noc Inf
102322⟨a, b | ababaab=aab⟩Noc Inf
102360⟨a, b | abbbbba=abb⟩Noc Inf
102604⟨a, b | ababba=abab⟩Noc Inf
113953⟨a, b | aaaabbbba=ba⟩Noc Inf
114108⟨a, b | aababaaab=aa⟩Noc Inf
114306⟨a, b | ababbaaab=aa⟩Noc Inf
114328⟨a, b | abbaaaaab=bb⟩Noc Inf
114348⟨a, b | abbabbbba=ab⟩Noc Inf
114593⟨a, b | aabaaaab=baa⟩Can Inf
114637⟨a, b | aababaab=aba⟩Noc Inf
114751⟨a, b | aabbbbba=bba⟩Noc Inf
114769⟨a, b | abaaabab=aba⟩Noc Inf
114792⟨a, b | abaababa=aab⟩Noc Inf
114851⟨a, b | ababbbba=bba⟩Noc Inf
114854⟨a, b | abbaaaab=aab⟩Noc Inf
115392⟨a, b | abbaaab=babb⟩Noc Inf
115415⟨a, b | abbbbba=babb⟩Can Inf
115898⟨a, b | ababba=babab⟩Can Inf
Solved by morph:6/1:
9851⟨a, b | ababbaab=a⟩Noc Inf
9892⟨a, b | aaaabba=ba⟩Noc Inf
9946⟨a, b | aababba=ba⟩Noc Inf
9980⟨a, b | abaabba=ba⟩Noc Inf
9991⟨a, b | ababbba=ba⟩Noc Inf
91001⟨a, b | abbbbba=ab⟩Noc Inf
91131⟨a, b | abbaab=aba⟩Noc Inf
101793⟨a, b | ababbbaab=a⟩Noc Inf
102017⟨a, b | aabbbbba=ba⟩Noc Inf
102701⟨a, b | abbaa=abaab⟩Noc Inf
114059⟨a, b | aaabbbbba=ba⟩Noc Inf
114133⟨a, b | aababbaab=ba⟩Can Inf
114754⟨a, b | abaaaaab=aab⟩Noc Inf
114755⟨a, b | abaaaaab=aba⟩Noc Inf
114757⟨a, b | abaaaaab=baa⟩Can Inf
114812⟨a, b | ababaaab=aab⟩Noc Inf
114828⟨a, b | abababba=bab⟩Can Inf
114832⟨a, b | ababbaab=aab⟩Noc Inf
114868⟨a, b | abbabaab=aab⟩Noc Inf
114886⟨a, b | abbbbbba=abb⟩Noc Inf
115243⟨a, b | aabbbaa=abab⟩Noc Inf
Solved by morph:7/1:
101844⟨a, b | aaaaabba=ba⟩Noc Inf
101903⟨a, b | aaababba=ba⟩Noc Inf
101956⟨a, b | aabaabba=ba⟩Noc Inf
101979⟨a, b | aababbba=ba⟩Noc Inf
102032⟨a, b | abaaabba=ba⟩Noc Inf
102047⟨a, b | abaabbba=ba⟩Noc Inf
102058⟨a, b | abababba=ba⟩Noc Inf
102069⟨a, b | ababbbba=ba⟩Noc Inf
102083⟨a, b | abbabbba=ba⟩Noc Inf
102089⟨a, b | abbbbbba=ab⟩Noc Inf
113791⟨a, b | ababbbbaab=a⟩Noc Inf
114223⟨a, b | aabbbbbba=ba⟩Noc Inf
Solved by morph:2/2:
114708⟨a, b | aabbabba=aab⟩Noc Inf
115203⟨a, b | aababba=bbaa⟩Noc Inf
115235⟨a, b | aabbaba=bbaa⟩Noc Inf
Solved by morph:3/2:
8479⟨a, b | abbaab=aa⟩Noc Inf
9993⟨a, b | abbaaab=aa⟩Noc Inf
101789⟨a, b | ababbaaab=a⟩Noc Inf
102343⟨a, b | abbaaab=aaa⟩Noc Inf
102608⟨a, b | ababba=baab⟩Can Inf
113741⟨a, b | abaabbaaab=a⟩Noc Inf
113778⟨a, b | ababbaaaab=a⟩Noc Inf
113858⟨a, b | aaaaaabba=ba⟩Noc Inf
113937⟨a, b | aaaabbaba=ba⟩Noc Inf
114325⟨a, b | abbaaaaab=aa⟩Noc Inf
114853⟨a, b | abbaaaab=aaa⟩Noc Inf
Solved by morph:4/2:
102078⟨a, b | abbabaab=aa⟩Noc Inf
102246⟨a, b | aababba=aab⟩Noc Inf
102345⟨a, b | abbaaab=aba⟩Noc Inf
113787⟨a, b | ababbbaaab=a⟩Noc Inf
113890⟨a, b | aaaaabbba=ba⟩Noc Inf
113921⟨a, b | aaaababba=ba⟩Noc Inf
113977⟨a, b | aaabaabba=ba⟩Noc Inf
114082⟨a, b | aabaaabba=ba⟩Noc Inf
114238⟨a, b | abaaaabba=ba⟩Noc Inf
114672⟨a, b | aababbba=aab⟩Noc Inf
114679⟨a, b | aabbaaab=aaa⟩Noc Inf
115200⟨a, b | aababba=baab⟩Can Inf
115333⟨a, b | abaabba=baba⟩Noc Inf
115821⟨a, b | abaaab=abbaa⟩Noc Inf
Solved by morph:5/2:
102262⟨a, b | aabbaba=aab⟩Noc Inf
114008⟨a, b | aaababbba=ba⟩Noc Inf
114106⟨a, b | aabaabbba=ba⟩Noc Inf
114129⟨a, b | aabababba=ba⟩Noc Inf
114254⟨a, b | abaaabbba=ba⟩Noc Inf
114269⟨a, b | abaababba=ba⟩Noc Inf
114293⟨a, b | ababaabba=ba⟩Noc Inf
114343⟨a, b | abbabaaab=bb⟩Noc Inf
114591⟨a, b | aabaaaab=aba⟩Noc Inf
114855⟨a, b | abbaaaab=aba⟩Noc Inf
115345⟨a, b | ababaab=abba⟩Noc Inf
Solved by morph:6/2:
91245⟨a, b | abaab=abba⟩Noc Inf
102021⟨a, b | abaaaaab=ba⟩Can Inf
114149⟨a, b | aababbbba=ba⟩Noc Inf
114188⟨a, b | aabbabbba=ba⟩Noc Inf
114281⟨a, b | abaabbbba=ba⟩Noc Inf
114304⟨a, b | abababbba=ba⟩Noc Inf
114312⟨a, b | ababbabba=ba⟩Noc Inf
114338⟨a, b | abbaabbba=ba⟩Noc Inf
114553⟨a, b | aaabbaba=baa⟩Noc Inf
114724⟨a, b | aabbbaba=aab⟩Noc Inf
Solved by morph:7/2:
114227⟨a, b | abaaaaaab=ba⟩Can Inf
114323⟨a, b | ababbbbba=ba⟩Noc Inf
114349⟨a, b | abbabbbba=ba⟩Noc Inf
Solved by morph:2/3:
102071⟨a, b | abbaaaab=aa⟩Noc Inf
Solved by morph:3/3:
114351⟨a, b | abbbaaaab=aa⟩Noc Inf
114879⟨a, b | abbbaaab=aaa⟩Noc Inf
Solved by morph:4/3:
102085⟨a, b | abbbaaab=aa⟩Noc Inf
102559⟨a, b | aabbba=bbaa⟩Noc Inf
115211⟨a, b | aabbaab=abaa⟩Noc Inf
Solved by morph:5/3:
102557⟨a, b | aabbba=baba⟩Noc Inf
Solved by morph:6/3:
115686⟨a, b | aababa=abaab⟩Noc Inf
115920⟨a, b | abbaab=abbba⟩Noc Inf
Solved by morph:7/3:
114258⟨a, b | abaabaaab=ba⟩Can Inf
Solved by morph:3/4:
114332⟨a, b | abbaabaab=aa⟩Noc Inf
Solved by morph:4/4:
115228⟨a, b | aabbaba=abab⟩Noc Inf
Solved by morph:4/6:
115304⟨a, b | abaaaba=baab⟩Can Inf