Back

〈a, b | aaa=b, bbb=1〉

Monoid presentation of length 7

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a9 ⇒ 1
  2. b ⇒ a3

Cayley table

1aa2a3a4a5a6a7a8
11aa2a3a4a5a6a7a8
aaa2a3a4a5a6a7a81
a2a2a3a4a5a6a7a81a
a3a3a4a5a6a7a81aa2
a4a4a5a6a7a81aa2a3
a5a5a6a7a81aa2a3a4
a6a6a7a81aa2a3a4a5
a7a7a81aa2a3a4a5a6
a8a81aa2a3a4a5a6a7

Right Cayley graph

Others with same cardinality

38 unique, 380 total

Length:Presentation:Description:Related:
8 〈a, b | aaa=a, abb=b〉 Finite non-commutative monoid with 9 elements 2 isomorphic
8 〈a, b | aaa=a, bbb=a〉 Finite commutative monoid with 9 elements 48 isomorphic
8 〈a, b | aaa=b, bbb=a〉 Finite commutative monoid with 9 elements 62 isomorphic
8 〈a, b | aba=b, bab=a〉 Finite non-commutative monoid with 9 elements 3 isomorphic
9 〈a, b | aaa=aa, bbb=a〉 Finite commutative monoid with 9 elements 16 isomorphic
9 〈a, b | aaa=ab, bab=b〉 Finite non-commutative monoid with 9 elements 4 isomorphic
9 〈a, b | aaa=ab, bbb=a〉 Finite commutative monoid with 9 elements 40 isomorphic
9 〈a, b | aaa=bb, bbb=a〉 Finite commutative monoid with 9 elements 70 isomorphic
9 〈a, b | aaa=a, abab=b〉 Finite non-commutative monoid with 9 elements 2 isomorphic
9 〈a, b | aaa=a, abba=b〉 Finite non-commutative monoid with 9 elements 2 isomorphic
9 〈a, b | aab=b, abba=a〉 Finite non-commutative monoid with 9 elements 13 isomorphic
9 〈a, b | ab=aa, bba=bb〉 Finite non-commutative monoid with 9 elements
9 〈a, b | ab=a, baaaa=b〉 Finite non-commutative monoid with 9 elements 20 isomorphic
10 〈a, b | aab=aaa, baa=b〉 Finite non-commutative monoid with 9 elements 1 isomorphic
10 〈a, b | aab=aaa, bbb=a〉 Finite commutative monoid with 9 elements 1 isomorphic
10 〈a, b | abb=aaa, bbb=a〉 Finite commutative monoid with 9 elements 12 isomorphic
10 〈a, b | aaa=aa, abbb=b〉 Finite non-commutative monoid with 9 elements 3 isomorphic
10 〈a, b | aaa=bb, aaba=b〉 Finite commutative monoid with 9 elements
10 〈a, b | aab=aa, bbbb=a〉 Finite commutative monoid with 9 elements 5 isomorphic
10 〈a, b | aaa=bb, aab=ab〉 Finite non-commutative monoid with 9 elements 1 isomorphic
10 〈a, b | aaa=a, ababa=b〉 Finite non-commutative monoid with 9 elements
10 〈a, b | aab=a, baaaa=b〉 Finite non-commutative monoid with 9 elements
10 〈a, b | aba=a, aaaab=b〉 Finite non-commutative monoid with 9 elements
10 〈a, b | aab=b, bbb=aaa〉 Finite commutative monoid with 9 elements 1 isomorphic
10 〈a, b | bb=aa, aaaa=ab〉 Finite non-commutative monoid with 9 elements 2 isomorphic
10 〈a, b | bb=aa, aabb=ba〉 Finite non-commutative monoid with 9 elements
10 〈a, b | ab=a, baaa=bbb〉 Finite non-commutative monoid with 9 elements 3 isomorphic
10 〈a, b | ab=a, bbaa=bbb〉 Finite non-commutative monoid with 9 elements 2 isomorphic
11 〈a, b | aba=aaa, aaab=b〉 Finite non-commutative monoid with 9 elements 3 isomorphic
11 〈a, b | abb=aaa, aaab=b〉 Finite commutative monoid with 9 elements 7 isomorphic
11 〈a, b | aaab=a, baaaa=b〉 Finite non-commutative monoid with 9 elements 1 isomorphic
11 〈a, b | aab=b, aaaaa=ba〉 Finite non-commutative monoid with 9 elements
11 〈a, b | aab=b, aaaaa=bb〉 Finite commutative monoid with 9 elements
11 〈a, b | aab=b, abaa=aaa〉 Finite non-commutative monoid with 9 elements
11 〈a, b | aab=b, babb=aaa〉 Finite commutative monoid with 9 elements 3 isomorphic
11 〈a, b | aba=a, abab=bbb〉 Finite non-commutative monoid with 9 elements
11 〈a, b | ab=aa, aaaaa=bb〉 Finite non-commutative monoid with 9 elements 15 isomorphic
11 〈a, b | ab=a, bbbbb=baa〉 Finite non-commutative monoid with 9 elements

Other isomorphic instances

562 total

Length:Presentation:
7〈a, b | aaa=1, abbb=1〉
7〈a, b | aaa=1, babb=1〉
8〈a, b | aaa=bb, bbb=1〉
8〈a, b | aaa=1, aabbb=1〉
8〈a, b | aaa=1, ababb=1〉
8〈a, b | aaa=1, abbab=1〉
8〈a, b | aaa=1, abbba=1〉
8〈a, b | aaa=1, baabb=1〉
8〈a, b | aaa=1, babab=1〉
8〈a, b | aab=1, bbbb=a〉
8〈a, b | aba=1, bbbb=a〉
8〈a, b | aa=b, abbbb=1〉
8〈a, b | aa=b, babbb=1〉
8〈a, b | aa=b, bbabb=1〉
9〈a, b | aaaa=a, abbb=1〉
9〈a, b | aaaa=a, babb=1〉
9〈a, b | aaab=b, abbb=1〉
9〈a, b | aaab=b, babb=1〉
9〈a, b | aaab=b, bbab=1〉
9〈a, b | aaab=b, bbba=1〉
9〈a, b | aaba=b, abbb=1〉
9〈a, b | aaba=b, babb=1〉
9〈a, b | aaba=b, bbab=1〉
9〈a, b | aaba=b, bbba=1〉
9〈a, b | aaa=bb, aaab=1〉
9〈a, b | aaa=bb, aaba=1〉
9〈a, b | aaa=b, aaabb=1〉
9〈a, b | aaa=b, aabab=1〉
9〈a, b | aaa=b, aabba=1〉
9〈a, b | aaa=b, abaab=1〉
9〈a, b | aaa=b, ababa=1〉
9〈a, b | aaa=b, baaab=1〉
9〈a, b | aab=1, abbbbb=1〉
9〈a, b | aab=1, babbbb=1〉
9〈a, b | aab=1, bbabbb=1〉
9〈a, b | aab=1, bbbabb=1〉
9〈a, b | aab=1, bbbbab=1〉
9〈a, b | aab=1, bbbbba=1〉
9〈a, b | aba=1, abbbbb=1〉
9〈a, b | aba=1, babbbb=1〉
9〈a, b | aba=1, bbabbb=1〉
9〈a, b | aaa=1, aabbb=a〉
9〈a, b | aaa=1, ababb=a〉
9〈a, b | aaa=1, abbab=a〉
9〈a, b | aaa=1, abbba=a〉
9〈a, b | aaa=1, baabb=a〉
9〈a, b | aaa=1, babab=a〉
9〈a, b | aaa=1, abbb=aa〉
9〈a, b | aaa=1, babb=aa〉
9〈a, b | aab=1, bbb=aaa〉
9〈a, b | aba=1, bbb=aaa〉
9〈a, b | aa=b, aaabbb=1〉
9〈a, b | aa=b, aababb=1〉
9〈a, b | aa=b, aabbab=1〉
9〈a, b | aa=b, aabbba=1〉
9〈a, b | aa=b, abaabb=1〉
9〈a, b | aa=b, ababab=1〉
9〈a, b | aa=b, ababba=1〉
9〈a, b | aa=b, abbaab=1〉
9〈a, b | aa=b, baaabb=1〉
9〈a, b | aa=b, baabab=1〉
10〈a, b | aaaa=a, aabbb=1〉
10〈a, b | aaaa=a, ababb=1〉
10〈a, b | aaaa=a, abbab=1〉
10〈a, b | aaaa=a, abbba=1〉
10〈a, b | aaaa=a, baabb=1〉
10〈a, b | aaaa=a, babab=1〉
10〈a, b | aaab=b, aabbb=1〉
10〈a, b | aaab=b, ababb=1〉
10〈a, b | aaab=b, abbab=1〉
10〈a, b | aaab=b, abbba=1〉
10〈a, b | aaab=b, baabb=1〉
10〈a, b | aaab=b, babab=1〉
10〈a, b | aaab=b, babba=1〉
10〈a, b | aaab=b, bbaab=1〉
10〈a, b | aaab=b, bbaba=1〉
10〈a, b | aaab=b, bbbaa=1〉
10〈a, b | aaba=b, aabbb=1〉
10〈a, b | aaba=b, ababb=1〉
10〈a, b | aaba=b, abbab=1〉
10〈a, b | aaba=b, abbba=1〉
10〈a, b | aaba=b, baabb=1〉
10〈a, b | aaba=b, babab=1〉
10〈a, b | aaba=b, babba=1〉
10〈a, b | aaba=b, bbaab=1〉
10〈a, b | aaba=b, bbaba=1〉
10〈a, b | aaba=b, bbbaa=1〉
10〈a, b | aaa=ab, abbbb=1〉
10〈a, b | aaa=ab, babbb=1〉
10〈a, b | aaa=ab, bbabb=1〉
10〈a, b | aaa=ab, bbbab=1〉
10〈a, b | aaa=ab, bbbba=1〉
10〈a, b | aab=bb, abbbb=1〉
10〈a, b | aab=bb, babbb=1〉
10〈a, b | aab=bb, bbabb=1〉
10〈a, b | aab=bb, bbbab=1〉
10〈a, b | aab=bb, bbbba=1〉
10〈a, b | aba=bb, abbbb=1〉
10〈a, b | aba=bb, babbb=1〉
10〈a, b | aba=bb, bbabb=1〉
10〈a, b | aaa=1, aaaabbb=1〉
10〈a, b | aaa=1, aaababb=1〉
10〈a, b | aaa=1, aaabbab=1〉
10〈a, b | aaa=1, aaabbba=1〉
10〈a, b | aaa=1, aabaabb=1〉
10〈a, b | aaa=1, aababab=1〉
10〈a, b | aaa=1, aababba=1〉
10〈a, b | aaa=1, aabbaab=1〉
10〈a, b | aaa=1, aabbaba=1〉
10〈a, b | aaa=1, aabbbaa=1〉
10〈a, b | aaa=1, abaaabb=1〉
10〈a, b | aaa=1, abaabab=1〉
10〈a, b | aaa=1, abaabba=1〉
10〈a, b | aaa=1, ababaab=1〉
10〈a, b | aaa=1, abababa=1〉
10〈a, b | aaa=1, abbaaab=1〉
10〈a, b | aaa=1, baaaabb=1〉
10〈a, b | aaa=1, baaabab=1〉
10〈a, b | aaa=1, baabaab=1〉
10〈a, b | aaa=1, aaabbb=a〉
10〈a, b | aaa=1, aababb=a〉
10〈a, b | aaa=1, aabbab=a〉
10〈a, b | aaa=1, aabbba=a〉
10〈a, b | aaa=1, abaabb=a〉
10〈a, b | aaa=1, ababab=a〉
10〈a, b | aaa=1, ababba=a〉
10〈a, b | aaa=1, abbaab=a〉
10〈a, b | aaa=1, baaabb=a〉
10〈a, b | aaa=1, baabab=a〉
10〈a, b | aab=1, aaaaa=bb〉
10〈a, b | aab=1, abbbb=aa〉
10〈a, b | aab=1, babbb=aa〉
10〈a, b | aab=1, bbabb=aa〉
10〈a, b | aab=1, bbbab=aa〉
10〈a, b | aab=1, bbbba=aa〉
10〈a, b | aab=1, bbbbb=ab〉
10〈a, b | aab=1, bbbbb=ba〉
10〈a, b | aba=1, aaaaa=bb〉
10〈a, b | aba=1, abbbb=aa〉
10〈a, b | aba=1, babbb=aa〉
10〈a, b | aba=1, bbabb=aa〉
10〈a, b | aba=1, bbbbb=ab〉
10〈a, b | aaa=1, aaaa=bbb〉
10〈a, b | aaa=1, abbb=aaa〉
10〈a, b | aaa=1, babb=aaa〉
10〈a, b | aa=b, aaaaabb=1〉
10〈a, b | aa=b, aaaabab=1〉
10〈a, b | aa=b, aaaabba=1〉
10〈a, b | aa=b, aaabaab=1〉
10〈a, b | aa=b, aaababa=1〉
10〈a, b | aa=b, aaabbaa=1〉
10〈a, b | aa=b, aabaaab=1〉
10〈a, b | aa=b, aabaaba=1〉
10〈a, b | aa=b, aababaa=1〉
10〈a, b | aa=b, abaaaab=1〉
10〈a, b | aa=b, abaaaba=1〉
10〈a, b | aa=b, baaaaab=1〉
11〈a, b | aaaa=abb, aaab=1〉
11〈a, b | aaaa=abb, aaba=1〉
11〈a, b | aaaa=abb, abaa=1〉
11〈a, b | aaaa=abb, baaa=1〉
11〈a, b | aaaa=bab, aaab=1〉
11〈a, b | aaaa=bab, aaba=1〉
11〈a, b | aaab=bbb, aaba=1〉
11〈a, b | aaab=bbb, abaa=1〉
11〈a, b | aaab=bbb, baaa=1〉
11〈a, b | aaba=bbb, abaa=1〉
11〈a, b | aaba=bbb, baaa=1〉
11〈a, b | abaa=bbb, baaa=1〉
11〈a, b | aaaaa=b, aaaab=1〉
11〈a, b | aaaaa=b, aaaba=1〉
11〈a, b | aaaaa=b, aabaa=1〉
11〈a, b | aaaa=ab, aaabb=1〉
11〈a, b | aaaa=ab, aabab=1〉
11〈a, b | aaaa=ab, aabba=1〉
11〈a, b | aaaa=ab, abaab=1〉
11〈a, b | aaaa=ab, ababa=1〉
11〈a, b | aaaa=ab, abbaa=1〉
11〈a, b | aaaa=ab, baaab=1〉
11〈a, b | aaaa=ab, baaba=1〉
11〈a, b | aaaa=ab, babaa=1〉
11〈a, b | aaaa=ab, bbaaa=1〉
11〈a, b | aaab=bb, aaabb=1〉
11〈a, b | aaab=bb, aabab=1〉
11〈a, b | aaab=bb, aabba=1〉
11〈a, b | aaab=bb, abaab=1〉
11〈a, b | aaab=bb, ababa=1〉
11〈a, b | aaab=bb, abbaa=1〉
11〈a, b | aaab=bb, baaab=1〉
11〈a, b | aaab=bb, baaba=1〉
11〈a, b | aaab=bb, babaa=1〉
11〈a, b | aaab=bb, bbaaa=1〉
11〈a, b | aaba=bb, aaabb=1〉
11〈a, b | aaba=bb, aabab=1〉
11〈a, b | aaba=bb, aabba=1〉
11〈a, b | aaba=bb, abaab=1〉
11〈a, b | aaba=bb, ababa=1〉
11〈a, b | aaba=bb, abbaa=1〉
11〈a, b | aaba=bb, baaab=1〉
11〈a, b | aaba=bb, baaba=1〉
11〈a, b | aaba=bb, babaa=1〉
11〈a, b | aaba=bb, bbaaa=1〉
11〈a, b | aaaab=1, aaabbb=1〉
11〈a, b | aaaab=1, aababb=1〉
11〈a, b | aaaab=1, aabbab=1〉
11〈a, b | aaaab=1, aabbba=1〉
11〈a, b | aaaab=1, abaabb=1〉
11〈a, b | aaaab=1, ababab=1〉
11〈a, b | aaaab=1, ababba=1〉
11〈a, b | aaaab=1, abbaab=1〉
11〈a, b | aaaab=1, abbaba=1〉
11〈a, b | aaaab=1, abbbaa=1〉
11〈a, b | aaaab=1, baaabb=1〉
11〈a, b | aaaab=1, baabab=1〉
11〈a, b | aaaab=1, baabba=1〉
11〈a, b | aaaab=1, babaab=1〉
11〈a, b | aaaab=1, bababa=1〉
11〈a, b | aaaab=1, babbaa=1〉
11〈a, b | aaaab=1, bbaaab=1〉
11〈a, b | aaaab=1, bbaaba=1〉
11〈a, b | aaaab=1, bbabaa=1〉
11〈a, b | aaaab=1, bbbaaa=1〉
11〈a, b | aaaba=1, aaabbb=1〉
11〈a, b | aaaba=1, aababb=1〉
11〈a, b | aaaba=1, aabbab=1〉
11〈a, b | aaaba=1, aabbba=1〉
11〈a, b | aaaba=1, abaabb=1〉
11〈a, b | aaaba=1, ababab=1〉
11〈a, b | aaaba=1, ababba=1〉
11〈a, b | aaaba=1, abbaab=1〉
11〈a, b | aaaba=1, abbaba=1〉
11〈a, b | aaaba=1, abbbaa=1〉
11〈a, b | aaaba=1, baaabb=1〉
11〈a, b | aaaba=1, baabab=1〉
11〈a, b | aaaba=1, baabba=1〉
11〈a, b | aaaba=1, babaab=1〉
11〈a, b | aaaba=1, bababa=1〉
11〈a, b | aaaba=1, babbaa=1〉
11〈a, b | aaaba=1, bbaaab=1〉
11〈a, b | aaaba=1, bbaaba=1〉
11〈a, b | aaaba=1, bbabaa=1〉
11〈a, b | aaaba=1, bbbaaa=1〉
11〈a, b | aabaa=1, aaabbb=1〉
11〈a, b | aabaa=1, aababb=1〉
11〈a, b | aabaa=1, aabbab=1〉
11〈a, b | aabaa=1, aabbba=1〉
11〈a, b | aabaa=1, abaabb=1〉
11〈a, b | aabaa=1, ababab=1〉
11〈a, b | aabaa=1, ababba=1〉
11〈a, b | aabaa=1, abbaab=1〉
11〈a, b | aabaa=1, baaabb=1〉
11〈a, b | aabaa=1, baabab=1〉
11〈a, b | aaaa=b, aaaaab=1〉
11〈a, b | aaaa=b, aaaaba=1〉
11〈a, b | aaaa=b, aaabaa=1〉
11〈a, b | aaab=a, abbbbb=1〉
11〈a, b | aaab=a, babbbb=1〉
11〈a, b | aaab=a, bbabbb=1〉
11〈a, b | aaab=a, bbbabb=1〉
11〈a, b | aaab=a, bbbbab=1〉
11〈a, b | aaab=a, bbbbba=1〉
11〈a, b | aaba=a, abbbbb=1〉
11〈a, b | aaba=a, babbbb=1〉
11〈a, b | aaba=a, bbabbb=1〉
11〈a, b | aaba=a, bbbabb=1〉
11〈a, b | aaba=a, bbbbab=1〉
11〈a, b | aaba=a, bbbbba=1〉
11〈a, b | aabb=a, aaaaab=1〉
11〈a, b | aabb=a, aaaaba=1〉
11〈a, b | aabb=a, aaabaa=1〉
11〈a, b | aabb=a, aabaaa=1〉
11〈a, b | aabb=a, abaaaa=1〉
11〈a, b | aabb=a, baaaaa=1〉
11〈a, b | abab=a, aaaaab=1〉
11〈a, b | abab=a, aaaaba=1〉
11〈a, b | abab=a, aaabaa=1〉
11〈a, b | abab=a, aabaaa=1〉
11〈a, b | abab=a, abaaaa=1〉
11〈a, b | abab=a, baaaaa=1〉
11〈a, b | abba=a, aaaaab=1〉
11〈a, b | abba=a, aaaaba=1〉
11〈a, b | abba=a, aaabaa=1〉
11〈a, b | abba=b, abbbbb=1〉
11〈a, b | abba=b, babbbb=1〉
11〈a, b | abba=b, bbabbb=1〉
11〈a, b | aaa=ab, aaabbb=1〉
11〈a, b | aaa=ab, aababb=1〉
11〈a, b | aaa=ab, aabbab=1〉
11〈a, b | aaa=ab, aabbba=1〉
11〈a, b | aaa=ab, abaabb=1〉
11〈a, b | aaa=ab, ababab=1〉
11〈a, b | aaa=ab, ababba=1〉
11〈a, b | aaa=ab, abbaab=1〉
11〈a, b | aaa=ab, abbaba=1〉
11〈a, b | aaa=ab, abbbaa=1〉
11〈a, b | aaa=ab, baaabb=1〉
11〈a, b | aaa=ab, baabab=1〉
11〈a, b | aaa=ab, baabba=1〉
11〈a, b | aaa=ab, babaab=1〉
11〈a, b | aaa=ab, bababa=1〉
11〈a, b | aaa=ab, babbaa=1〉
11〈a, b | aaa=ab, bbaaab=1〉
11〈a, b | aaa=ab, bbaaba=1〉
11〈a, b | aaa=ab, bbabaa=1〉
11〈a, b | aaa=ab, bbbaaa=1〉
11〈a, b | aab=bb, aaabbb=1〉
11〈a, b | aab=bb, aababb=1〉
11〈a, b | aab=bb, aabbab=1〉
11〈a, b | aab=bb, aabbba=1〉
11〈a, b | aab=bb, abaabb=1〉
11〈a, b | aab=bb, ababab=1〉
11〈a, b | aab=bb, ababba=1〉
11〈a, b | aab=bb, abbaab=1〉
11〈a, b | aab=bb, abbaba=1〉
11〈a, b | aab=bb, abbbaa=1〉
11〈a, b | aab=bb, baaabb=1〉
11〈a, b | aab=bb, baabab=1〉
11〈a, b | aab=bb, baabba=1〉
11〈a, b | aab=bb, babaab=1〉
11〈a, b | aab=bb, bababa=1〉
11〈a, b | aab=bb, babbaa=1〉
11〈a, b | aab=bb, bbaaab=1〉
11〈a, b | aab=bb, bbaaba=1〉
11〈a, b | aab=bb, bbabaa=1〉
11〈a, b | aab=bb, bbbaaa=1〉
11〈a, b | aba=bb, aababb=1〉
11〈a, b | aba=bb, aabbab=1〉
11〈a, b | aba=bb, abaabb=1〉
11〈a, b | aba=bb, ababab=1〉
11〈a, b | aba=bb, ababba=1〉
11〈a, b | aba=bb, abbaab=1〉
11〈a, b | aba=bb, baabab=1〉
11〈a, b | aaab=1, aaabbbb=1〉
11〈a, b | aaab=1, aababbb=1〉
11〈a, b | aaab=1, aabbabb=1〉
11〈a, b | aaab=1, aabbbab=1〉
11〈a, b | aaab=1, aabbbba=1〉
11〈a, b | aaab=1, abaabbb=1〉
11〈a, b | aaab=1, abababb=1〉
11〈a, b | aaab=1, ababbab=1〉
11〈a, b | aaab=1, ababbba=1〉
11〈a, b | aaab=1, abbaabb=1〉
11〈a, b | aaab=1, abbabab=1〉
11〈a, b | aaab=1, abbabba=1〉
11〈a, b | aaab=1, abbbaab=1〉
11〈a, b | aaab=1, abbbaba=1〉
11〈a, b | aaab=1, abbbbaa=1〉
11〈a, b | aaab=1, baaabbb=1〉
11〈a, b | aaab=1, baababb=1〉
11〈a, b | aaab=1, baabbab=1〉
11〈a, b | aaab=1, baabbba=1〉
11〈a, b | aaab=1, babaabb=1〉
11〈a, b | aaab=1, bababab=1〉
11〈a, b | aaab=1, bababba=1〉
11〈a, b | aaab=1, babbaab=1〉
11〈a, b | aaab=1, babbaba=1〉
11〈a, b | aaab=1, babbbaa=1〉
11〈a, b | aaab=1, bbaaabb=1〉
11〈a, b | aaab=1, bbaabab=1〉
11〈a, b | aaab=1, bbaabba=1〉
11〈a, b | aaab=1, bbabaab=1〉
11〈a, b | aaab=1, bbababa=1〉
11〈a, b | aaab=1, bbabbaa=1〉
11〈a, b | aaab=1, bbbaaab=1〉
11〈a, b | aaab=1, bbbaaba=1〉
11〈a, b | aaab=1, bbbabaa=1〉
11〈a, b | aaab=1, bbbbaaa=1〉
11〈a, b | aaba=1, aaabbbb=1〉
11〈a, b | aaba=1, aababbb=1〉
11〈a, b | aaba=1, aabbabb=1〉
11〈a, b | aaba=1, aabbbab=1〉
11〈a, b | aaba=1, aabbbba=1〉
11〈a, b | aaba=1, abaabbb=1〉
11〈a, b | aaba=1, abababb=1〉
11〈a, b | aaba=1, ababbab=1〉
11〈a, b | aaba=1, ababbba=1〉
11〈a, b | aaba=1, abbaabb=1〉
11〈a, b | aaba=1, abbabab=1〉
11〈a, b | aaba=1, abbabba=1〉
11〈a, b | aaba=1, abbbaab=1〉
11〈a, b | aaba=1, abbbaba=1〉
11〈a, b | aaba=1, abbbbaa=1〉
11〈a, b | aaba=1, baaabbb=1〉
11〈a, b | aaba=1, baababb=1〉
11〈a, b | aaba=1, baabbab=1〉
11〈a, b | aaba=1, baabbba=1〉
11〈a, b | aaba=1, babaabb=1〉
11〈a, b | aaba=1, bababab=1〉
11〈a, b | aaba=1, bababba=1〉
11〈a, b | aaba=1, babbaab=1〉
11〈a, b | aaba=1, babbaba=1〉
11〈a, b | aaba=1, babbbaa=1〉
11〈a, b | aaba=1, bbaaabb=1〉
11〈a, b | aaba=1, bbaabab=1〉
11〈a, b | aaba=1, bbaabba=1〉
11〈a, b | aaba=1, bbabaab=1〉
11〈a, b | aaba=1, bbababa=1〉
11〈a, b | aaba=1, bbabbaa=1〉
11〈a, b | aaba=1, bbbaaab=1〉
11〈a, b | aaba=1, bbbaaba=1〉
11〈a, b | aaba=1, bbbabaa=1〉
11〈a, b | aaba=1, bbbbaaa=1〉
11〈a, b | aaab=1, aaaaaa=b〉
11〈a, b | aaba=1, aaaaaa=b〉
11〈a, b | aaab=1, aabbb=aa〉
11〈a, b | aaab=1, ababb=aa〉
11〈a, b | aaab=1, abbab=aa〉
11〈a, b | aaab=1, abbba=aa〉
11〈a, b | aaab=1, abbbb=ab〉
11〈a, b | aaab=1, abbbb=ba〉
11〈a, b | aaab=1, baabb=aa〉
11〈a, b | aaab=1, babab=aa〉
11〈a, b | aaab=1, babba=aa〉
11〈a, b | aaab=1, babbb=ab〉
11〈a, b | aaab=1, babbb=ba〉
11〈a, b | aaab=1, bbaab=aa〉
11〈a, b | aaab=1, bbaba=aa〉
11〈a, b | aaab=1, bbabb=ab〉
11〈a, b | aaab=1, bbabb=ba〉
11〈a, b | aaab=1, bbbaa=aa〉
11〈a, b | aaab=1, bbbab=ab〉
11〈a, b | aaab=1, bbbab=ba〉
11〈a, b | aaab=1, bbbba=ab〉
11〈a, b | aaab=1, bbbba=ba〉
11〈a, b | aaab=1, bbbbb=bb〉
11〈a, b | aaba=1, aabbb=aa〉
11〈a, b | aaba=1, ababb=aa〉
11〈a, b | aaba=1, abbab=aa〉
11〈a, b | aaba=1, abbba=aa〉
11〈a, b | aaba=1, abbbb=ab〉
11〈a, b | aaba=1, abbbb=ba〉
11〈a, b | aaba=1, baabb=aa〉
11〈a, b | aaba=1, babab=aa〉
11〈a, b | aaba=1, babba=aa〉
11〈a, b | aaba=1, babbb=ab〉
11〈a, b | aaba=1, babbb=ba〉
11〈a, b | aaba=1, bbaab=aa〉
11〈a, b | aaba=1, bbaba=aa〉
11〈a, b | aaba=1, bbabb=ab〉
11〈a, b | aaba=1, bbabb=ba〉
11〈a, b | aaba=1, bbbaa=aa〉
11〈a, b | aaba=1, bbbab=ab〉
11〈a, b | aaba=1, bbbab=ba〉
11〈a, b | aaba=1, bbbba=ab〉
11〈a, b | aaba=1, bbbba=ba〉
11〈a, b | aaba=1, bbbbb=bb〉
11〈a, b | aaa=b, aaaaaab=1〉
11〈a, b | aaa=b, aaaaaba=1〉
11〈a, b | aaa=b, aaaabaa=1〉
11〈a, b | aaa=b, aaabaaa=1〉
11〈a, b | aaa=1, aaaaabbb=1〉
11〈a, b | aaa=1, aaaababb=1〉
11〈a, b | aaa=1, aaaabbab=1〉
11〈a, b | aaa=1, aaaabbba=1〉
11〈a, b | aaa=1, aaabaabb=1〉
11〈a, b | aaa=1, aaababab=1〉
11〈a, b | aaa=1, aaababba=1〉
11〈a, b | aaa=1, aaabbaab=1〉
11〈a, b | aaa=1, aaabbaba=1〉
11〈a, b | aaa=1, aaabbbaa=1〉
11〈a, b | aaa=1, aabaaabb=1〉
11〈a, b | aaa=1, aabaabab=1〉
11〈a, b | aaa=1, aabaabba=1〉
11〈a, b | aaa=1, aababaab=1〉
11〈a, b | aaa=1, aabababa=1〉
11〈a, b | aaa=1, aababbaa=1〉
11〈a, b | aaa=1, aabbaaab=1〉
11〈a, b | aaa=1, aabbaaba=1〉
11〈a, b | aaa=1, abaaaabb=1〉
11〈a, b | aaa=1, abaaabab=1〉
11〈a, b | aaa=1, abaaabba=1〉
11〈a, b | aaa=1, abaabaab=1〉
11〈a, b | aaa=1, abaababa=1〉
11〈a, b | aaa=1, ababaaab=1〉
11〈a, b | aaa=1, abbaaaab=1〉
11〈a, b | aaa=1, baaaaabb=1〉
11〈a, b | aaa=1, baaaabab=1〉
11〈a, b | aaa=1, baaabaab=1〉
11〈a, b | aab=1, aaaaaaa=b〉
11〈a, b | aab=1, aabbbbb=a〉
11〈a, b | aab=1, ababbbb=a〉
11〈a, b | aab=1, abbabbb=a〉
11〈a, b | aab=1, abbbabb=a〉
11〈a, b | aab=1, abbbbab=a〉
11〈a, b | aab=1, abbbbba=a〉
11〈a, b | aab=1, abbbbbb=b〉
11〈a, b | aab=1, baabbbb=a〉
11〈a, b | aab=1, bababbb=a〉
11〈a, b | aab=1, babbabb=a〉
11〈a, b | aab=1, babbbab=a〉
11〈a, b | aab=1, babbbba=a〉
11〈a, b | aab=1, babbbbb=b〉
11〈a, b | aab=1, bbaabbb=a〉
11〈a, b | aab=1, bbababb=a〉
11〈a, b | aab=1, bbabbab=a〉
11〈a, b | aab=1, bbabbba=a〉
11〈a, b | aab=1, bbabbbb=b〉
11〈a, b | aab=1, bbbaabb=a〉
11〈a, b | aab=1, bbbabab=a〉
11〈a, b | aab=1, bbbabba=a〉
11〈a, b | aab=1, bbbabbb=b〉
11〈a, b | aab=1, bbbbaab=a〉
11〈a, b | aab=1, bbbbaba=a〉
11〈a, b | aab=1, bbbbabb=b〉
11〈a, b | aab=1, bbbbbaa=a〉
11〈a, b | aab=1, bbbbbab=b〉
11〈a, b | aab=1, bbbbbba=b〉
11〈a, b | aba=1, aaaaaaa=b〉
11〈a, b | aba=1, aabbbbb=a〉
11〈a, b | aba=1, ababbbb=a〉
11〈a, b | aba=1, abbabbb=a〉
11〈a, b | aba=1, abbbabb=a〉
11〈a, b | aba=1, abbbbab=a〉
11〈a, b | aba=1, abbbbba=a〉
11〈a, b | aba=1, abbbbbb=b〉
11〈a, b | aba=1, baabbbb=a〉
11〈a, b | aba=1, bababbb=a〉
11〈a, b | aba=1, babbabb=a〉
11〈a, b | aba=1, babbbab=a〉
11〈a, b | aba=1, babbbbb=b〉
11〈a, b | aba=1, bbaabbb=a〉
11〈a, b | aba=1, bbababb=a〉
11〈a, b | aba=1, bbabbbb=b〉
11〈a, b | aba=1, bbbabbb=b〉
11〈a, b | aaa=1, aaabbb=aa〉
11〈a, b | aaa=1, aababb=aa〉
11〈a, b | aaa=1, aabbab=aa〉
11〈a, b | aaa=1, aabbba=aa〉
11〈a, b | aaa=1, abaabb=aa〉
11〈a, b | aaa=1, ababab=aa〉
11〈a, b | aaa=1, ababba=aa〉
11〈a, b | aaa=1, abbaab=aa〉
11〈a, b | aaa=1, baaabb=aa〉
11〈a, b | aaa=1, baabab=aa〉
11〈a, b | aaa=1, aaaaa=bbb〉
11〈a, b | aaa=1, aabbb=aaa〉
11〈a, b | aaa=1, ababb=aaa〉
11〈a, b | aaa=1, abbab=aaa〉
11〈a, b | aaa=1, abbba=aaa〉
11〈a, b | aaa=1, baabb=aaa〉
11〈a, b | aaa=1, babab=aaa〉
11〈a, b | aab=1, abbb=aaaa〉
11〈a, b | aab=1, babb=aaaa〉
11〈a, b | aab=1, bbab=aaaa〉
11〈a, b | aab=1, bbba=aaaa〉
11〈a, b | aab=1, bbbb=aaab〉
11〈a, b | aab=1, bbbb=aaba〉
11〈a, b | aab=1, bbbb=abaa〉
11〈a, b | aab=1, bbbb=baaa〉
11〈a, b | aba=1, abbb=aaaa〉
11〈a, b | aba=1, babb=aaaa〉
11〈a, b | aba=1, bbbb=aaab〉
11〈a, b | aba=1, bbbb=aaba〉
11〈a, b | aa=b, aaaaaaab=1〉
11〈a, b | aa=b, aaaaaaba=1〉
11〈a, b | aa=b, aaaaabaa=1〉
11〈a, b | aa=b, aaaabaaa=1〉
11〈a, b | ab=1, aaaaaaaaa=1〉
11〈a, b | ab=1, aaaaaaaa=b〉
11〈a, b | ab=1, aaaaaaa=bb〉
11〈a, b | ab=1, aaaaaa=bbb〉
11〈a, b | ab=1, aaaaa=bbbb〉