Back

〈a, b | ab=1, ba=1〉

Monoid presentation of length 4

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. ab ⇒ 1
  2. ba ⇒ 1

Right Cayley graph (truncated)

Other isomorphic instances

601 total

Length:Presentation:
6〈a, b | aab=1, aba=1〉
6〈a, b | aab=1, baa=1〉
6〈a, b | ab=1, abba=1〉
6〈a, b | ab=1, baba=1〉
6〈a, b | ab=1, bbaa=1〉
6〈a, b | ab=1, baa=a〉
6〈a, b | ab=1, ba=ab〉
7〈a, b | ba=ab, aab=1〉
7〈a, b | ba=ab, aba=1〉
8〈a, b | aaab=1, aaba=1〉
8〈a, b | aaab=1, abaa=1〉
8〈a, b | aaab=1, baaa=1〉
8〈a, b | aaba=1, abaa=1〉
8〈a, b | aab=a, abba=1〉
8〈a, b | aab=a, baab=1〉
8〈a, b | aab=a, baba=1〉
8〈a, b | aab=a, bbaa=1〉
8〈a, b | aba=a, abba=1〉
8〈a, b | aba=a, baab=1〉
8〈a, b | ba=ab, aaab=1〉
8〈a, b | ba=ab, aaba=1〉
8〈a, b | aab=1, abaa=a〉
8〈a, b | aab=1, abba=b〉
8〈a, b | aab=1, baaa=a〉
8〈a, b | aab=1, baba=b〉
8〈a, b | aab=1, bbaa=b〉
8〈a, b | aba=1, aaab=a〉
8〈a, b | aba=1, aaba=a〉
8〈a, b | aba=1, aabb=b〉
8〈a, b | aba=1, abab=b〉
8〈a, b | aba=1, abba=b〉
8〈a, b | aba=1, baab=b〉
8〈a, b | ab=1, aabbba=1〉
8〈a, b | ab=1, ababba=1〉
8〈a, b | ab=1, abbaab=1〉
8〈a, b | ab=1, abbaba=1〉
8〈a, b | ab=1, abbbaa=1〉
8〈a, b | ab=1, baabba=1〉
8〈a, b | ab=1, bababa=1〉
8〈a, b | ab=1, babbaa=1〉
8〈a, b | ab=1, bbabaa=1〉
8〈a, b | ab=1, bbbaaa=1〉
8〈a, b | ab=1, abbaa=a〉
8〈a, b | ab=1, abbba=b〉
8〈a, b | ab=1, baaba=a〉
8〈a, b | ab=1, babaa=a〉
8〈a, b | ab=1, bbaaa=a〉
8〈a, b | ab=1, aabb=ba〉
8〈a, b | ab=1, abab=ba〉
8〈a, b | ab=1, abba=ab〉
8〈a, b | ab=1, baaa=aa〉
8〈a, b | ab=1, baba=ab〉
8〈a, b | ab=1, bbaa=ab〉
8〈a, b | ab=1, bbaa=ba〉
8〈a, b | ab=1, baa=aab〉
8〈a, b | ab=1, baa=aba〉
9〈a, b | aba=aab, baa=1〉
9〈a, b | aba=aab, bab=1〉
9〈a, b | aba=aab, bba=1〉
9〈a, b | baa=aab, bab=1〉
9〈a, b | baa=aab, bba=1〉
9〈a, b | ba=ab, aaaab=1〉
9〈a, b | ba=ab, aaaba=1〉
9〈a, b | ba=ab, aaabb=1〉
9〈a, b | ba=ab, aabaa=1〉
9〈a, b | ba=ab, aabab=1〉
9〈a, b | ba=ab, aabba=1〉
9〈a, b | ba=ab, abaab=1〉
9〈a, b | ba=ab, ababa=1〉
9〈a, b | ba=ab, abbba=1〉
9〈a, b | aab=1, aaabba=1〉
9〈a, b | aab=1, aababa=1〉
9〈a, b | aab=1, aabbaa=1〉
9〈a, b | aab=1, abaaab=1〉
9〈a, b | aab=1, abaaba=1〉
9〈a, b | aab=1, ababaa=1〉
9〈a, b | aab=1, abbaaa=1〉
9〈a, b | aab=1, baaaab=1〉
9〈a, b | aab=1, baaaba=1〉
9〈a, b | aab=1, baabaa=1〉
9〈a, b | aab=1, babaaa=1〉
9〈a, b | aab=1, bbaaaa=1〉
9〈a, b | aba=1, aaaabb=1〉
9〈a, b | aba=1, aaabab=1〉
9〈a, b | aba=1, aaabba=1〉
9〈a, b | aba=1, aabaab=1〉
9〈a, b | aba=1, aababa=1〉
9〈a, b | aba=1, aabbaa=1〉
9〈a, b | aba=1, abaaab=1〉
9〈a, b | aba=1, abaaba=1〉
9〈a, b | aba=1, baaaab=1〉
9〈a, b | aab=1, aba=aab〉
9〈a, b | aab=1, baa=aab〉
9〈a, b | aba=1, baa=aab〉
9〈a, b | aba=1, baa=aba〉
10〈a, b | aaab=aa, abba=1〉
10〈a, b | aaab=aa, baab=1〉
10〈a, b | aaab=aa, baba=1〉
10〈a, b | aaab=aa, bbaa=1〉
10〈a, b | aaba=aa, abba=1〉
10〈a, b | aaba=aa, baab=1〉
10〈a, b | aabb=ab, abba=1〉
10〈a, b | aabb=ab, baba=1〉
10〈a, b | aabb=ab, bbaa=1〉
10〈a, b | aabb=ba, abba=1〉
10〈a, b | aabb=ba, bbaa=1〉
10〈a, b | abab=ab, abba=1〉
10〈a, b | abab=ba, baba=1〉
10〈a, b | abba=ab, baab=1〉
10〈a, b | abba=ba, baba=1〉
10〈a, b | abba=ba, bbaa=1〉
10〈a, b | aba=aab, aaab=1〉
10〈a, b | aba=aab, aaba=1〉
10〈a, b | aba=aab, abaa=1〉
10〈a, b | aba=aab, baaa=1〉
10〈a, b | aba=aab, babb=1〉
10〈a, b | aba=aab, bbab=1〉
10〈a, b | aba=aab, bbba=1〉
10〈a, b | baa=aab, aaab=1〉
10〈a, b | baa=aab, aaba=1〉
10〈a, b | baa=aab, abbb=1〉
10〈a, b | baa=aab, babb=1〉
10〈a, b | aaaab=1, aaaba=1〉
10〈a, b | aaaab=1, aabaa=1〉
10〈a, b | aaaab=1, abaaa=1〉
10〈a, b | aaaab=1, baaaa=1〉
10〈a, b | aaaba=1, aabaa=1〉
10〈a, b | aaaba=1, abaaa=1〉
10〈a, b | aaabb=1, abaab=1〉
10〈a, b | aaabb=1, ababa=1〉
10〈a, b | aaabb=1, baaba=1〉
10〈a, b | aaabb=1, babaa=1〉
10〈a, b | aabab=1, aabba=1〉
10〈a, b | aabab=1, abaab=1〉
10〈a, b | aabab=1, ababa=1〉
10〈a, b | aabab=1, abbaa=1〉
10〈a, b | aabab=1, baaab=1〉
10〈a, b | aabab=1, baaba=1〉
10〈a, b | aabab=1, babaa=1〉
10〈a, b | aabba=1, abaab=1〉
10〈a, b | aabba=1, ababa=1〉
10〈a, b | aabba=1, baaba=1〉
10〈a, b | abaab=1, ababa=1〉
10〈a, b | abaab=1, baaab=1〉
10〈a, b | abaab=1, baaba=1〉
10〈a, b | ababa=1, baaab=1〉
10〈a, b | aabb=1, aabbba=1〉
10〈a, b | aabb=1, ababba=1〉
10〈a, b | aabb=1, abbaab=1〉
10〈a, b | aabb=1, abbaba=1〉
10〈a, b | aabb=1, abbbaa=1〉
10〈a, b | aabb=1, baabba=1〉
10〈a, b | aabb=1, babbaa=1〉
10〈a, b | aabb=1, bbabaa=1〉
10〈a, b | aabb=1, bbbaaa=1〉
10〈a, b | abab=1, ababba=1〉
10〈a, b | abab=1, abbaab=1〉
10〈a, b | abab=1, abbaba=1〉
10〈a, b | abab=1, baabba=1〉
10〈a, b | abab=1, bababa=1〉
10〈a, b | abab=1, babbaa=1〉
10〈a, b | abab=1, bbabaa=1〉
10〈a, b | abba=1, aaabbb=1〉
10〈a, b | abba=1, aababb=1〉
10〈a, b | abba=1, aabbab=1〉
10〈a, b | abba=1, aabbba=1〉
10〈a, b | abba=1, abaabb=1〉
10〈a, b | abba=1, ababba=1〉
10〈a, b | abba=1, abbaab=1〉
10〈a, b | abba=1, baaabb=1〉
10〈a, b | abba=1, baabab=1〉
10〈a, b | aaab=1, aabaa=a〉
10〈a, b | aaab=1, aabba=b〉
10〈a, b | aaab=1, abaaa=a〉
10〈a, b | aaab=1, ababa=b〉
10〈a, b | aaab=1, abbaa=b〉
10〈a, b | aaab=1, baaaa=a〉
10〈a, b | aaab=1, baaba=b〉
10〈a, b | aaab=1, babaa=b〉
10〈a, b | aaab=1, bbaaa=b〉
10〈a, b | aaba=1, aaaab=a〉
10〈a, b | aaba=1, aaaba=a〉
10〈a, b | aaba=1, aaabb=b〉
10〈a, b | aaba=1, aabaa=a〉
10〈a, b | aaba=1, aabab=b〉
10〈a, b | aaba=1, aabba=b〉
10〈a, b | aaba=1, abaaa=a〉
10〈a, b | aaba=1, abaab=b〉
10〈a, b | aaba=1, ababa=b〉
10〈a, b | aaba=1, abbaa=b〉
10〈a, b | aaba=1, baaaa=a〉
10〈a, b | aaba=1, baaab=b〉
10〈a, b | aaba=1, baaba=b〉
10〈a, b | aaba=1, babaa=b〉
10〈a, b | aaba=1, bbaaa=b〉
10〈a, b | aab=a, aabbba=1〉
10〈a, b | aab=a, ababba=1〉
10〈a, b | aab=a, abbaab=1〉
10〈a, b | aab=a, abbaba=1〉
10〈a, b | aab=a, abbbaa=1〉
10〈a, b | aab=a, baaabb=1〉
10〈a, b | aab=a, baabab=1〉
10〈a, b | aab=a, baabba=1〉
10〈a, b | aab=a, babaab=1〉
10〈a, b | aab=a, bababa=1〉
10〈a, b | aab=a, babbaa=1〉
10〈a, b | aab=a, bbaaab=1〉
10〈a, b | aab=a, bbaaba=1〉
10〈a, b | aab=a, bbabaa=1〉
10〈a, b | aab=a, bbbaaa=1〉
10〈a, b | aba=a, aabbba=1〉
10〈a, b | aba=a, ababba=1〉
10〈a, b | aba=a, abbaab=1〉
10〈a, b | aba=a, baaabb=1〉
10〈a, b | aba=a, baabab=1〉
10〈a, b | ba=ab, aaaaab=1〉
10〈a, b | ba=ab, aaaaba=1〉
10〈a, b | ba=ab, aaabaa=1〉
10〈a, b | aab=1, aaabb=ba〉
10〈a, b | aab=1, aabab=ba〉
10〈a, b | aab=1, aabba=ab〉
10〈a, b | aab=1, abaaa=aa〉
10〈a, b | aab=1, abaab=ba〉
10〈a, b | aab=1, ababa=ab〉
10〈a, b | aab=1, abbaa=ab〉
10〈a, b | aab=1, abbaa=ba〉
10〈a, b | aab=1, abbba=bb〉
10〈a, b | aab=1, baaaa=aa〉
10〈a, b | aab=1, baaab=ab〉
10〈a, b | aab=1, baaba=ab〉
10〈a, b | aab=1, babaa=ab〉
10〈a, b | aab=1, babaa=ba〉
10〈a, b | aab=1, babba=bb〉
10〈a, b | aab=1, bbaaa=ab〉
10〈a, b | aab=1, bbaaa=ba〉
10〈a, b | aab=1, bbaba=bb〉
10〈a, b | aab=1, bbbaa=bb〉
10〈a, b | aba=1, aaaab=aa〉
10〈a, b | aba=1, aaaba=aa〉
10〈a, b | aba=1, aaabb=ab〉
10〈a, b | aba=1, aaabb=ba〉
10〈a, b | aba=1, aabaa=aa〉
10〈a, b | aba=1, aabab=ab〉
10〈a, b | aba=1, aabab=ba〉
10〈a, b | aba=1, aabba=ab〉
10〈a, b | aba=1, aabba=ba〉
10〈a, b | aba=1, aabbb=bb〉
10〈a, b | aba=1, abaab=ab〉
10〈a, b | aba=1, abaab=ba〉
10〈a, b | aba=1, ababa=ab〉
10〈a, b | aba=1, ababb=bb〉
10〈a, b | aba=1, abbab=bb〉
10〈a, b | aba=1, abbba=bb〉
10〈a, b | aba=1, baaab=ab〉
10〈a, b | aba=1, baabb=bb〉
10〈a, b | aba=1, babab=bb〉
10〈a, b | ab=1, aaabbbba=1〉
10〈a, b | ab=1, aababbba=1〉
10〈a, b | ab=1, aabbabba=1〉
10〈a, b | ab=1, aabbbaab=1〉
10〈a, b | ab=1, aabbbaba=1〉
10〈a, b | ab=1, aabbbbaa=1〉
10〈a, b | ab=1, abaabbba=1〉
10〈a, b | ab=1, abababba=1〉
10〈a, b | ab=1, ababbaab=1〉
10〈a, b | ab=1, ababbaba=1〉
10〈a, b | ab=1, ababbbaa=1〉
10〈a, b | ab=1, abbaabba=1〉
10〈a, b | ab=1, abbabaab=1〉
10〈a, b | ab=1, abbababa=1〉
10〈a, b | ab=1, abbabbaa=1〉
10〈a, b | ab=1, abbbaaab=1〉
10〈a, b | ab=1, abbbaaba=1〉
10〈a, b | ab=1, abbbabaa=1〉
10〈a, b | ab=1, abbbbaaa=1〉
10〈a, b | ab=1, baaabbba=1〉
10〈a, b | ab=1, baababba=1〉
10〈a, b | ab=1, baabbaba=1〉
10〈a, b | ab=1, baabbbaa=1〉
10〈a, b | ab=1, babababa=1〉
10〈a, b | ab=1, bababbaa=1〉
10〈a, b | ab=1, babbaaba=1〉
10〈a, b | ab=1, babbabaa=1〉
10〈a, b | ab=1, babbbaaa=1〉
10〈a, b | ab=1, bbaabbaa=1〉
10〈a, b | ab=1, bbababaa=1〉
10〈a, b | ab=1, bbabbaaa=1〉
10〈a, b | ab=1, bbbabaaa=1〉
10〈a, b | ab=1, bbbbaaaa=1〉
10〈a, b | ab=1, aabbbaa=a〉
10〈a, b | ab=1, aabbbba=b〉
10〈a, b | ab=1, ababbaa=a〉
10〈a, b | ab=1, ababbba=b〉
10〈a, b | ab=1, abbaaab=a〉
10〈a, b | ab=1, abbaaba=a〉
10〈a, b | ab=1, abbabaa=a〉
10〈a, b | ab=1, abbabba=b〉
10〈a, b | ab=1, abbbaaa=a〉
10〈a, b | ab=1, abbbaba=b〉
10〈a, b | ab=1, abbbbaa=b〉
10〈a, b | ab=1, baaabba=a〉
10〈a, b | ab=1, baababa=a〉
10〈a, b | ab=1, baabbaa=a〉
10〈a, b | ab=1, babaaba=a〉
10〈a, b | ab=1, bababaa=a〉
10〈a, b | ab=1, babbaaa=a〉
10〈a, b | ab=1, babbbaa=b〉
10〈a, b | ab=1, bbaabaa=a〉
10〈a, b | ab=1, bbabaaa=a〉
10〈a, b | ab=1, bbbaaaa=a〉
10〈a, b | ab=1, aaabbb=ba〉
10〈a, b | ab=1, aababb=ba〉
10〈a, b | ab=1, aabbab=ba〉
10〈a, b | ab=1, aabbba=ab〉
10〈a, b | ab=1, ababab=ba〉
10〈a, b | ab=1, ababba=ab〉
10〈a, b | ab=1, abbaaa=aa〉
10〈a, b | ab=1, abbaab=ab〉
10〈a, b | ab=1, abbaba=ab〉
10〈a, b | ab=1, abbbaa=ab〉
10〈a, b | ab=1, abbbaa=ba〉
10〈a, b | ab=1, abbbba=bb〉
10〈a, b | ab=1, baaaba=aa〉
10〈a, b | ab=1, baabaa=aa〉
10〈a, b | ab=1, baabba=ab〉
10〈a, b | ab=1, babaaa=aa〉
10〈a, b | ab=1, bababa=ab〉
10〈a, b | ab=1, babbaa=ab〉
10〈a, b | ab=1, babbaa=ba〉
10〈a, b | ab=1, bbaaaa=aa〉
10〈a, b | ab=1, bbabaa=ab〉
10〈a, b | ab=1, bbabaa=ba〉
10〈a, b | ab=1, bbbaaa=ab〉
10〈a, b | ab=1, bbbaaa=ba〉
10〈a, b | ab=1, aaabb=baa〉
10〈a, b | ab=1, aabab=baa〉
10〈a, b | ab=1, aabba=baa〉
10〈a, b | ab=1, abaab=baa〉
10〈a, b | ab=1, ababa=baa〉
10〈a, b | ab=1, abbaa=aab〉
10〈a, b | ab=1, abbaa=aba〉
10〈a, b | ab=1, abbba=abb〉
10〈a, b | ab=1, abbba=bab〉
10〈a, b | ab=1, baaaa=aaa〉
10〈a, b | ab=1, baaba=aab〉
10〈a, b | ab=1, baaba=aba〉
10〈a, b | ab=1, babaa=aab〉
10〈a, b | ab=1, babaa=aba〉
10〈a, b | ab=1, bbaaa=aab〉
10〈a, b | ab=1, bbaaa=aba〉
10〈a, b | ab=1, bbaaa=baa〉
10〈a, b | ab=1, abba=aabb〉
10〈a, b | ab=1, abba=abab〉
10〈a, b | ab=1, baaa=aaab〉
10〈a, b | ab=1, baaa=aaba〉
10〈a, b | ab=1, baaa=abaa〉
10〈a, b | ab=1, baba=aabb〉
10〈a, b | ab=1, baba=abab〉
10〈a, b | ab=1, bbaa=aabb〉
10〈a, b | ab=1, bbaa=abab〉
10〈a, b | ab=1, bbaa=abba〉
10〈a, b | ab=1, bbaa=baba〉
11〈a, b | aba=aab, aaaab=1〉
11〈a, b | aba=aab, aaaba=1〉
11〈a, b | aba=aab, aaabb=1〉
11〈a, b | aba=aab, aabaa=1〉
11〈a, b | aba=aab, aabab=1〉
11〈a, b | aba=aab, aabba=1〉
11〈a, b | aba=aab, abaaa=1〉
11〈a, b | aba=aab, abaab=1〉
11〈a, b | aba=aab, ababa=1〉
11〈a, b | aba=aab, abbaa=1〉
11〈a, b | aba=aab, abbab=1〉
11〈a, b | aba=aab, abbba=1〉
11〈a, b | aba=aab, baaaa=1〉
11〈a, b | aba=aab, baaab=1〉
11〈a, b | aba=aab, baaba=1〉
11〈a, b | aba=aab, baabb=1〉
11〈a, b | aba=aab, babaa=1〉
11〈a, b | aba=aab, babab=1〉
11〈a, b | aba=aab, babba=1〉
11〈a, b | aba=aab, babbb=1〉
11〈a, b | aba=aab, bbaaa=1〉
11〈a, b | aba=aab, bbaab=1〉
11〈a, b | aba=aab, bbaba=1〉
11〈a, b | aba=aab, bbabb=1〉
11〈a, b | aba=aab, bbbaa=1〉
11〈a, b | aba=aab, bbbab=1〉
11〈a, b | aba=aab, bbbba=1〉
11〈a, b | baa=aab, aaaab=1〉
11〈a, b | baa=aab, aaaba=1〉
11〈a, b | baa=aab, aaabb=1〉
11〈a, b | baa=aab, aabaa=1〉
11〈a, b | baa=aab, aabab=1〉
11〈a, b | baa=aab, aabba=1〉
11〈a, b | baa=aab, abaab=1〉
11〈a, b | baa=aab, ababa=1〉
11〈a, b | baa=aab, ababb=1〉
11〈a, b | baa=aab, abbab=1〉
11〈a, b | baa=aab, abbbb=1〉
11〈a, b | baa=aab, baaab=1〉
11〈a, b | baa=aab, babab=1〉
11〈a, b | baa=aab, babbb=1〉
11〈a, b | baa=aab, bbabb=1〉
11〈a, b | aaab=a, aaabba=1〉
11〈a, b | aaab=a, aababa=1〉
11〈a, b | aaab=a, aabbaa=1〉
11〈a, b | aaab=a, abaaab=1〉
11〈a, b | aaab=a, abaaba=1〉
11〈a, b | aaab=a, ababaa=1〉
11〈a, b | aaab=a, abbaaa=1〉
11〈a, b | aaab=a, baaaab=1〉
11〈a, b | aaab=a, baaaba=1〉
11〈a, b | aaab=a, baabaa=1〉
11〈a, b | aaab=a, babaaa=1〉
11〈a, b | aaab=a, bbaaaa=1〉
11〈a, b | aaba=a, aaabba=1〉
11〈a, b | aaba=a, aababa=1〉
11〈a, b | aaba=a, aabbaa=1〉
11〈a, b | aaba=a, abaaab=1〉
11〈a, b | aaba=a, abaaba=1〉
11〈a, b | aaba=a, ababaa=1〉
11〈a, b | aaba=a, abbaaa=1〉
11〈a, b | aaba=a, baaaab=1〉
11〈a, b | aaba=a, baaaba=1〉
11〈a, b | aaba=a, baabaa=1〉
11〈a, b | aaba=a, babaaa=1〉
11〈a, b | aaba=a, bbaaaa=1〉
11〈a, b | aabb=a, abbbab=1〉
11〈a, b | aabb=a, abbbba=1〉
11〈a, b | aabb=a, baabbb=1〉
11〈a, b | aabb=a, bababb=1〉
11〈a, b | aabb=a, babbab=1〉
11〈a, b | aabb=a, babbba=1〉
11〈a, b | aabb=a, bbaabb=1〉
11〈a, b | aabb=a, bbabab=1〉
11〈a, b | aabb=a, bbabba=1〉
11〈a, b | aabb=a, bbbaab=1〉
11〈a, b | aabb=a, bbbaba=1〉
11〈a, b | aabb=a, bbbbaa=1〉
11〈a, b | abab=a, abbbab=1〉
11〈a, b | abab=a, abbbba=1〉
11〈a, b | abab=a, baabbb=1〉
11〈a, b | abab=a, bababb=1〉
11〈a, b | abab=a, babbab=1〉
11〈a, b | abab=a, babbba=1〉
11〈a, b | abab=a, bbaabb=1〉
11〈a, b | abab=a, bbabab=1〉
11〈a, b | abab=a, bbabba=1〉
11〈a, b | abab=a, bbbaab=1〉
11〈a, b | abab=a, bbbaba=1〉
11〈a, b | abab=a, bbbbaa=1〉
11〈a, b | abba=a, abbbab=1〉
11〈a, b | abba=a, abbbba=1〉
11〈a, b | abba=a, baabbb=1〉
11〈a, b | abba=a, bababb=1〉
11〈a, b | abba=a, babbab=1〉
11〈a, b | abba=a, bbaabb=1〉
11〈a, b | abba=b, aaaabb=1〉
11〈a, b | abba=b, aaabba=1〉
11〈a, b | abba=b, aabbaa=1〉
11〈a, b | abba=b, baaaab=1〉
11〈a, b | ba=ab, aaaaaab=1〉
11〈a, b | ba=ab, aaaaaba=1〉
11〈a, b | ba=ab, aaaaabb=1〉
11〈a, b | ba=ab, aaaabaa=1〉
11〈a, b | ba=ab, aaaabab=1〉
11〈a, b | ba=ab, aaaabba=1〉
11〈a, b | ba=ab, aaaabbb=1〉
11〈a, b | ba=ab, aaabaaa=1〉
11〈a, b | ba=ab, aaabaab=1〉
11〈a, b | ba=ab, aaababa=1〉
11〈a, b | ba=ab, aaababb=1〉
11〈a, b | ba=ab, aaabbaa=1〉
11〈a, b | ba=ab, aaabbab=1〉
11〈a, b | ba=ab, aaabbba=1〉
11〈a, b | ba=ab, aabaaab=1〉
11〈a, b | ba=ab, aabaaba=1〉
11〈a, b | ba=ab, aabaabb=1〉
11〈a, b | ba=ab, aababaa=1〉
11〈a, b | ba=ab, aababab=1〉
11〈a, b | ba=ab, aababba=1〉
11〈a, b | ba=ab, aabbaab=1〉
11〈a, b | ba=ab, aabbaba=1〉
11〈a, b | ba=ab, aabbbaa=1〉
11〈a, b | ba=ab, aabbbab=1〉
11〈a, b | ba=ab, aabbbba=1〉
11〈a, b | ba=ab, abaaaab=1〉
11〈a, b | ba=ab, abaaaba=1〉
11〈a, b | ba=ab, abaabab=1〉
11〈a, b | ba=ab, abaabba=1〉
11〈a, b | ba=ab, ababaab=1〉
11〈a, b | ba=ab, abababa=1〉
11〈a, b | ba=ab, ababbba=1〉
11〈a, b | ba=ab, abbaaab=1〉
11〈a, b | ba=ab, abbabba=1〉
11〈a, b | ba=ab, abbbbba=1〉
11〈a, b | aab=1, aaabbaa=a〉
11〈a, b | aab=1, aaabbba=b〉
11〈a, b | aab=1, aababaa=a〉
11〈a, b | aab=1, aababba=b〉
11〈a, b | aab=1, aabbaaa=a〉
11〈a, b | aab=1, aabbaba=b〉
11〈a, b | aab=1, aabbbaa=b〉
11〈a, b | aab=1, abaaaab=a〉
11〈a, b | aab=1, abaaaba=a〉
11〈a, b | aab=1, abaabaa=a〉
11〈a, b | aab=1, abaabba=b〉
11〈a, b | aab=1, ababaaa=a〉
11〈a, b | aab=1, abababa=b〉
11〈a, b | aab=1, ababbaa=b〉
11〈a, b | aab=1, abbaaaa=a〉
11〈a, b | aab=1, abbaaab=b〉
11〈a, b | aab=1, abbaaba=b〉
11〈a, b | aab=1, abbabaa=b〉
11〈a, b | aab=1, abbbaaa=b〉
11〈a, b | aab=1, baaaaab=a〉
11〈a, b | aab=1, baaaaba=a〉
11〈a, b | aab=1, baaabaa=a〉
11〈a, b | aab=1, baaabba=b〉
11〈a, b | aab=1, baabaaa=a〉
11〈a, b | aab=1, baababa=b〉
11〈a, b | aab=1, baabbaa=b〉
11〈a, b | aab=1, babaaaa=a〉
11〈a, b | aab=1, babaaab=b〉
11〈a, b | aab=1, babaaba=b〉
11〈a, b | aab=1, bababaa=b〉
11〈a, b | aab=1, babbaaa=b〉
11〈a, b | aab=1, bbaaaaa=a〉
11〈a, b | aab=1, bbaaaab=b〉
11〈a, b | aab=1, bbaaaba=b〉
11〈a, b | aab=1, bbaabaa=b〉
11〈a, b | aab=1, bbabaaa=b〉
11〈a, b | aab=1, bbbaaaa=b〉
11〈a, b | aba=1, aaaaabb=a〉
11〈a, b | aba=1, aaaabab=a〉
11〈a, b | aba=1, aaaabba=a〉
11〈a, b | aba=1, aaaabbb=b〉
11〈a, b | aba=1, aaabaab=a〉
11〈a, b | aba=1, aaababa=a〉
11〈a, b | aba=1, aaababb=b〉
11〈a, b | aba=1, aaabbaa=a〉
11〈a, b | aba=1, aaabbab=b〉
11〈a, b | aba=1, aaabbba=b〉
11〈a, b | aba=1, aabaaab=a〉
11〈a, b | aba=1, aabaaba=a〉
11〈a, b | aba=1, aabaabb=b〉
11〈a, b | aba=1, aababaa=a〉
11〈a, b | aba=1, aababab=b〉
11〈a, b | aba=1, aababba=b〉
11〈a, b | aba=1, aabbaab=b〉
11〈a, b | aba=1, aabbaba=b〉
11〈a, b | aba=1, aabbbaa=b〉
11〈a, b | aba=1, abaaaab=a〉
11〈a, b | aba=1, abaaaba=a〉
11〈a, b | aba=1, abaaabb=b〉
11〈a, b | aba=1, abaabab=b〉
11〈a, b | aba=1, abaabba=b〉
11〈a, b | aba=1, ababaab=b〉
11〈a, b | aba=1, abababa=b〉
11〈a, b | aba=1, abbaaab=b〉
11〈a, b | aba=1, baaaaab=a〉
11〈a, b | aba=1, baaaabb=b〉
11〈a, b | aba=1, baaabab=b〉
11〈a, b | aba=1, baabaab=b〉
11〈a, b | aab=1, abaa=aaab〉
11〈a, b | aab=1, abaa=aaba〉
11〈a, b | aab=1, abba=aabb〉
11〈a, b | aab=1, abba=abab〉
11〈a, b | aab=1, baaa=aaab〉
11〈a, b | aab=1, baaa=aaba〉
11〈a, b | aab=1, baaa=abaa〉
11〈a, b | aab=1, baab=abba〉
11〈a, b | aab=1, baba=aabb〉
11〈a, b | aab=1, baba=abab〉
11〈a, b | aab=1, baba=baab〉
11〈a, b | aab=1, bbaa=aabb〉
11〈a, b | aab=1, bbaa=abab〉
11〈a, b | aab=1, bbaa=abba〉
11〈a, b | aab=1, bbaa=baab〉
11〈a, b | aab=1, bbaa=baba〉
11〈a, b | aab=1, bbba=abbb〉
11〈a, b | aab=1, bbba=babb〉
11〈a, b | aab=1, bbba=bbab〉
11〈a, b | aba=1, aaba=aaab〉
11〈a, b | aba=1, abaa=aaab〉
11〈a, b | aba=1, abaa=aaba〉
11〈a, b | aba=1, abab=aabb〉
11〈a, b | aba=1, abba=aabb〉
11〈a, b | aba=1, abba=abab〉
11〈a, b | aba=1, baaa=aaab〉
11〈a, b | aba=1, baab=aabb〉
11〈a, b | aba=1, baab=abab〉
11〈a, b | aba=1, baab=abba〉
11〈a, b | aba=1, baba=aabb〉
11〈a, b | aba=1, baba=abab〉
11〈a, b | aba=1, babb=abbb〉
11〈a, b | aba=1, bbaa=aabb〉
11〈a, b | aba=1, bbab=abbb〉
11〈a, b | aba=1, bbab=babb〉
11〈a, b | aba=1, bbba=abbb〉