Back

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

Monoid presentation of length 8

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a10 ⇒ 1
  2. b ⇒ a3

Cayley table

1aa2a3a4a5a6a7a8a9
11aa2a3a4a5a6a7a8a9
aaa2a3a4a5a6a7a8a91
a2a2a3a4a5a6a7a8a91a
a3a3a4a5a6a7a8a91aa2
a4a4a5a6a7a8a91aa2a3
a5a5a6a7a8a91aa2a3a4
a6a6a7a8a91aa2a3a4a5
a7a7a8a91aa2a3a4a5a6
a8a8a91aa2a3a4a5a6a7
a9a91aa2a3a4a5a6a7a8

Right Cayley graph

Others with same cardinality

37 unique, 383 total

Length:Presentation:Description:Related:
7 〈a, b | aa=1, abbb=b〉 Finite non-commutative monoid with 10 elements 51 isomorphic, 34 anti-isomorphic
8 〈a, b | bb=aa, aba=a〉 Finite non-commutative monoid with 10 elements 1 isomorphic
8 〈a, b | bb=aa, aba=b〉 Finite non-commutative monoid with 10 elements 1 isomorphic
8 〈a, b | aa=a, bbb=ab〉 Finite non-commutative monoid with 10 elements 3 isomorphic
9 〈a, b | aab=bb, bba=a〉 Finite non-commutative monoid with 10 elements 6 isomorphic
9 〈a, b | aaa=b, abbb=a〉 Finite commutative monoid with 10 elements 59 isomorphic
9 〈a, b | aaa=b, abbb=b〉 Finite commutative monoid with 10 elements 35 isomorphic
9 〈a, b | bb=aa, aba=aa〉 Finite non-commutative monoid with 10 elements 1 isomorphic
9 〈a, b | aa=a, bbbbb=a〉 Finite commutative monoid with 10 elements 17 isomorphic
9 〈a, b | aa=b, bbbbb=b〉 Finite commutative monoid with 10 elements 57 isomorphic
10 〈a, b | aaaa=b, aabb=b〉 Finite commutative monoid with 10 elements 20 isomorphic
10 〈a, b | aaa=bb, abb=ab〉 Finite non-commutative monoid with 10 elements 2 isomorphic
10 〈a, b | aaa=bb, abb=ba〉 Finite non-commutative monoid with 10 elements
10 〈a, b | aab=aa, aba=bb〉 Finite non-commutative monoid with 10 elements
10 〈a, b | aaa=b, abbb=bb〉 Finite commutative monoid with 10 elements 3 isomorphic
10 〈a, b | aab=a, baaa=bb〉 Finite non-commutative monoid with 10 elements
10 〈a, b | ab=aa, baaaa=b〉 Finite non-commutative monoid with 10 elements 14 isomorphic
10 〈a, b | ab=aa, baaa=bb〉 Finite non-commutative monoid with 10 elements 3 isomorphic
10 〈a, b | aa=a, abbbbb=b〉 Finite non-commutative monoid with 10 elements 5 isomorphic
10 〈a, b | ab=a, baaaa=bb〉 Finite non-commutative monoid with 10 elements 4 isomorphic
11 〈a, b | aaab=baa, abab=1〉 Finite non-Abelian group with 10 elements 3 isomorphic
11 〈a, b | aaaa=aa, abba=b〉 Finite non-commutative monoid with 10 elements
11 〈a, b | aaaa=ab, baaa=b〉 Finite non-commutative monoid with 10 elements
11 〈a, b | aaaa=bb, aaab=a〉 Finite commutative monoid with 10 elements 1 isomorphic
11 〈a, b | aaaa=bb, aaab=b〉 Finite commutative monoid with 10 elements 1 isomorphic
11 〈a, b | aabb=aa, bbbb=a〉 Finite commutative monoid with 10 elements 3 isomorphic
11 〈a, b | abab=aa, baab=b〉 Finite non-commutative monoid with 10 elements 4 isomorphic
11 〈a, b | aab=bb, aaaaa=b〉 Finite commutative monoid with 10 elements 7 isomorphic
11 〈a, b | aab=bb, abbbb=a〉 Finite commutative monoid with 10 elements 5 isomorphic
11 〈a, b | aba=aa, aaaab=b〉 Finite non-commutative monoid with 10 elements
11 〈a, b | aab=b, abbbb=aa〉 Finite commutative monoid with 10 elements 5 isomorphic
11 〈a, b | aaa=b, abbb=bbb〉 Finite commutative monoid with 10 elements 1 isomorphic
11 〈a, b | aab=a, bbbb=bab〉 Finite non-commutative monoid with 10 elements
11 〈a, b | aab=b, aaaa=baa〉 Finite non-commutative monoid with 10 elements
11 〈a, b | aba=b, aaaa=bbb〉 Finite commutative monoid with 10 elements
11 〈a, b | ab=a, bbbb=baaa〉 Finite non-commutative monoid with 10 elements
11 〈a, b | ab=a, bbbb=bbaa〉 Finite non-commutative monoid with 10 elements

Other isomorphic instances

536 total

Length:Presentation:
8〈a, b | aaa=b, babb=1〉
8〈a, b | aab=1, bbbbb=1〉
8〈a, b | aba=1, bbbbb=1〉
8〈a, b | aa=b, bbbbb=1〉
8〈a, b | aa=1, abbbbb=1〉
8〈a, b | aa=1, babbbb=1〉
8〈a, b | aa=1, bbabbb=1〉
8〈a, b | aa=1, bbbbb=a〉
9〈a, b | aaaa=b, aabb=1〉
9〈a, b | aaaa=b, abab=1〉
9〈a, b | aaaa=b, abba=1〉
9〈a, b | aaaa=b, baab=1〉
9〈a, b | aaa=bb, aabb=1〉
9〈a, b | aaa=bb, abba=1〉
9〈a, b | aaa=bb, baab=1〉
9〈a, b | aabb=1, aaaaa=1〉
9〈a, b | abba=1, aaaaa=1〉
9〈a, b | abba=1, bbbbb=1〉
9〈a, b | aba=b, bbbbb=1〉
9〈a, b | bb=aa, aaaaa=1〉
9〈a, b | bb=aa, aaaab=1〉
9〈a, b | bb=aa, aaaba=1〉
9〈a, b | bb=aa, aaabb=1〉
9〈a, b | bb=aa, aabaa=1〉
9〈a, b | bb=aa, aabab=1〉
9〈a, b | bb=aa, aabba=1〉
9〈a, b | bb=aa, abaab=1〉
9〈a, b | bb=aa, ababa=1〉
9〈a, b | bb=aa, abbba=1〉
9〈a, b | aab=1, bbbb=aa〉
9〈a, b | aba=1, bbbb=aa〉
9〈a, b | aa=b, aabbbb=1〉
9〈a, b | aa=b, ababbb=1〉
9〈a, b | aa=b, abbabb=1〉
9〈a, b | aa=b, abbbab=1〉
9〈a, b | aa=b, abbbba=1〉
9〈a, b | aa=b, baabbb=1〉
9〈a, b | aa=b, bababb=1〉
9〈a, b | aa=b, babbab=1〉
9〈a, b | aa=b, bbaabb=1〉
9〈a, b | aa=1, abbabbb=1〉
9〈a, b | aa=1, abbbabb=1〉
9〈a, b | aa=1, babbabb=1〉
9〈a, b | aa=1, babbbab=1〉
9〈a, b | aa=1, bbabbb=a〉
10〈a, b | aaaa=ab, abbb=1〉
10〈a, b | aaaa=ab, babb=1〉
10〈a, b | aaaa=ab, bbab=1〉
10〈a, b | aaaa=ab, bbba=1〉
10〈a, b | aaaa=bb, aaab=1〉
10〈a, b | aaaa=bb, aaba=1〉
10〈a, b | aaab=bb, abbb=1〉
10〈a, b | aaab=bb, babb=1〉
10〈a, b | aaab=bb, bbab=1〉
10〈a, b | aaab=bb, bbba=1〉
10〈a, b | aaba=bb, abbb=1〉
10〈a, b | aaba=bb, babb=1〉
10〈a, b | aaba=bb, bbab=1〉
10〈a, b | aaba=bb, bbba=1〉
10〈a, b | aaaaa=1, aaabb=1〉
10〈a, b | aaaaa=1, aabab=1〉
10〈a, b | aaaaa=1, aabba=1〉
10〈a, b | aaaaa=1, abaab=1〉
10〈a, b | aaaaa=1, ababa=1〉
10〈a, b | aaaaa=1, baaab=1〉
10〈a, b | aaaab=1, aabbb=1〉
10〈a, b | aaaab=1, ababb=1〉
10〈a, b | aaaab=1, abbab=1〉
10〈a, b | aaaab=1, abbba=1〉
10〈a, b | aaaab=1, baabb=1〉
10〈a, b | aaaab=1, babab=1〉
10〈a, b | aaaab=1, babba=1〉
10〈a, b | aaaab=1, bbaab=1〉
10〈a, b | aaaab=1, bbaba=1〉
10〈a, b | aaaab=1, bbbaa=1〉
10〈a, b | aaaba=1, aabbb=1〉
10〈a, b | aaaba=1, ababb=1〉
10〈a, b | aaaba=1, abbab=1〉
10〈a, b | aaaba=1, abbba=1〉
10〈a, b | aaaba=1, baabb=1〉
10〈a, b | aaaba=1, babab=1〉
10〈a, b | aaaba=1, babba=1〉
10〈a, b | aaaba=1, bbaab=1〉
10〈a, b | aaaba=1, bbaba=1〉
10〈a, b | aaaba=1, bbbaa=1〉
10〈a, b | aaabb=1, bbabb=1〉
10〈a, b | aabaa=1, ababb=1〉
10〈a, b | aabaa=1, abbab=1〉
10〈a, b | aabaa=1, abbba=1〉
10〈a, b | aabaa=1, baabb=1〉
10〈a, b | aabaa=1, babab=1〉
10〈a, b | aabb=a, aaaaa=1〉
10〈a, b | abab=a, aaaaa=1〉
10〈a, b | abba=a, aaaaa=1〉
10〈a, b | abba=b, bbbbb=1〉
10〈a, b | aaa=bb, aaaaa=1〉
10〈a, b | aab=bb, bbbbb=1〉
10〈a, b | aba=bb, bbbbb=1〉
10〈a, b | aaab=1, aabbbb=1〉
10〈a, b | aaab=1, ababbb=1〉
10〈a, b | aaab=1, abbabb=1〉
10〈a, b | aaab=1, abbbab=1〉
10〈a, b | aaab=1, abbbba=1〉
10〈a, b | aaab=1, baabbb=1〉
10〈a, b | aaab=1, bababb=1〉
10〈a, b | aaab=1, babbab=1〉
10〈a, b | aaab=1, babbba=1〉
10〈a, b | aaab=1, bbaabb=1〉
10〈a, b | aaab=1, bbabab=1〉
10〈a, b | aaab=1, bbabba=1〉
10〈a, b | aaab=1, bbbaab=1〉
10〈a, b | aaab=1, bbbaba=1〉
10〈a, b | aaab=1, bbbbaa=1〉
10〈a, b | aaba=1, aabbbb=1〉
10〈a, b | aaba=1, ababbb=1〉
10〈a, b | aaba=1, abbabb=1〉
10〈a, b | aaba=1, abbbab=1〉
10〈a, b | aaba=1, abbbba=1〉
10〈a, b | aaba=1, baabbb=1〉
10〈a, b | aaba=1, bababb=1〉
10〈a, b | aaba=1, babbab=1〉
10〈a, b | aaba=1, babbba=1〉
10〈a, b | aaba=1, bbaabb=1〉
10〈a, b | aaba=1, bbabab=1〉
10〈a, b | aaba=1, bbabba=1〉
10〈a, b | aaba=1, bbbaab=1〉
10〈a, b | aaba=1, bbbaba=1〉
10〈a, b | aaba=1, bbbbaa=1〉
10〈a, b | aaa=a, abbbbb=1〉
10〈a, b | aaa=a, babbbb=1〉
10〈a, b | aaa=a, bbabbb=1〉
10〈a, b | aaa=b, aaaabb=1〉
10〈a, b | aaa=b, aaabab=1〉
10〈a, b | aaa=b, aaabba=1〉
10〈a, b | aaa=b, aabaab=1〉
10〈a, b | aaa=b, aababa=1〉
10〈a, b | aaa=b, aabbaa=1〉
10〈a, b | aaa=b, abaaab=1〉
10〈a, b | aaa=b, abaaba=1〉
10〈a, b | aaa=b, baaaab=1〉
10〈a, b | aab=b, abbbbb=1〉
10〈a, b | aab=b, babbbb=1〉
10〈a, b | aab=b, bbabbb=1〉
10〈a, b | aab=b, bbbabb=1〉
10〈a, b | aab=b, bbbbab=1〉
10〈a, b | aab=b, bbbbba=1〉
10〈a, b | aba=b, abbbbb=1〉
10〈a, b | aba=b, babbbb=1〉
10〈a, b | aba=b, bbabbb=1〉
10〈a, b | aab=1, abbbbb=a〉
10〈a, b | aab=1, babbbb=a〉
10〈a, b | aab=1, bbabbb=a〉
10〈a, b | aab=1, bbbabb=a〉
10〈a, b | aab=1, bbbbab=a〉
10〈a, b | aab=1, bbbbba=a〉
10〈a, b | aab=1, bbbbbb=b〉
10〈a, b | aba=1, abbbbb=a〉
10〈a, b | aba=1, babbbb=a〉
10〈a, b | aba=1, bbabbb=a〉
10〈a, b | aba=1, bbbbbb=b〉
10〈a, b | aab=1, aaaa=bbb〉
10〈a, b | aba=1, aaaa=bbb〉
10〈a, b | aa=b, aaaabbb=1〉
10〈a, b | aa=b, aaababb=1〉
10〈a, b | aa=b, aaabbab=1〉
10〈a, b | aa=b, aaabbba=1〉
10〈a, b | aa=b, aabaabb=1〉
10〈a, b | aa=b, aababab=1〉
10〈a, b | aa=b, aababba=1〉
10〈a, b | aa=b, aabbaab=1〉
10〈a, b | aa=b, aabbaba=1〉
10〈a, b | aa=b, aabbbaa=1〉
10〈a, b | aa=b, abaaabb=1〉
10〈a, b | aa=b, abaabab=1〉
10〈a, b | aa=b, abaabba=1〉
10〈a, b | aa=b, ababaab=1〉
10〈a, b | aa=b, abababa=1〉
10〈a, b | aa=b, abbaaab=1〉
10〈a, b | aa=b, baaaabb=1〉
10〈a, b | aa=b, baaabab=1〉
10〈a, b | aa=b, baabaab=1〉
10〈a, b | aa=1, aaabbbbb=1〉
10〈a, b | aa=1, aababbbb=1〉
10〈a, b | aa=1, aabbabbb=1〉
10〈a, b | aa=1, aabbbabb=1〉
10〈a, b | aa=1, aabbbbab=1〉
10〈a, b | aa=1, aabbbbba=1〉
10〈a, b | aa=1, abaabbbb=1〉
10〈a, b | aa=1, ababbabb=1〉
10〈a, b | aa=1, ababbbba=1〉
10〈a, b | aa=1, abbaabbb=1〉
10〈a, b | aa=1, abbababb=1〉
10〈a, b | aa=1, abbabbab=1〉
10〈a, b | aa=1, abbabbba=1〉
10〈a, b | aa=1, abbbaabb=1〉
10〈a, b | aa=1, abbbbaab=1〉
10〈a, b | aa=1, baaabbbb=1〉
10〈a, b | aa=1, baababbb=1〉
10〈a, b | aa=1, baabbabb=1〉
10〈a, b | aa=1, baabbbab=1〉
10〈a, b | aa=1, babaabbb=1〉
10〈a, b | aa=1, bababbab=1〉
10〈a, b | aa=1, babbaabb=1〉
10〈a, b | aa=1, bbaaabbb=1〉
10〈a, b | aa=1, bbaababb=1〉
10〈a, b | aa=1, aabbbbb=a〉
10〈a, b | aa=1, ababbbb=a〉
10〈a, b | aa=1, abbabbb=a〉
10〈a, b | aa=1, abbbabb=a〉
10〈a, b | aa=1, abbbbab=a〉
10〈a, b | aa=1, abbbbba=a〉
10〈a, b | aa=1, baabbbb=a〉
10〈a, b | aa=1, babbabb=a〉
10〈a, b | aa=1, bbaabbb=a〉
10〈a, b | aa=1, bbababb=a〉
10〈a, b | aa=1, abbbbb=aa〉
10〈a, b | aa=1, babbbb=aa〉
10〈a, b | aa=1, bbabbb=aa〉
10〈a, b | aa=1, bbbbb=aaa〉
11〈a, b | aaaa=abb, aabb=1〉
11〈a, b | aaaa=abb, abba=1〉
11〈a, b | aaaa=abb, baab=1〉
11〈a, b | aaaa=abb, bbaa=1〉
11〈a, b | aaaa=bab, aabb=1〉
11〈a, b | aaaa=bab, abba=1〉
11〈a, b | aaaa=bab, baab=1〉
11〈a, b | aaab=bbb, aabb=1〉
11〈a, b | aaab=bbb, abba=1〉
11〈a, b | aaab=bbb, baab=1〉
11〈a, b | aaab=bbb, bbaa=1〉
11〈a, b | aaba=bbb, aabb=1〉
11〈a, b | aaba=bbb, abab=1〉
11〈a, b | aaba=bbb, abba=1〉
11〈a, b | aaba=bbb, baab=1〉
11〈a, b | aaba=bbb, baba=1〉
11〈a, b | aaba=bbb, bbaa=1〉
11〈a, b | aabbb=b, bbbbb=1〉
11〈a, b | abbab=b, bbbbb=1〉
11〈a, b | abbba=b, bbbbb=1〉
11〈a, b | baabb=b, bbbbb=1〉
11〈a, b | aaaa=bb, aaaaa=1〉
11〈a, b | abab=aa, aaaaa=1〉
11〈a, b | abba=bb, bbbbb=1〉
11〈a, b | abb=aaa, aaaaa=1〉
11〈a, b | abb=aaa, aaaab=1〉
11〈a, b | abb=aaa, aaaba=1〉
11〈a, b | abb=aaa, aaabb=1〉
11〈a, b | abb=aaa, aabaa=1〉
11〈a, b | abb=aaa, aabab=1〉
11〈a, b | abb=aaa, aabba=1〉
11〈a, b | abb=aaa, aabbb=1〉
11〈a, b | abb=aaa, abaaa=1〉
11〈a, b | abb=aaa, abaab=1〉
11〈a, b | abb=aaa, ababa=1〉
11〈a, b | abb=aaa, ababb=1〉
11〈a, b | abb=aaa, abbaa=1〉
11〈a, b | abb=aaa, abbab=1〉
11〈a, b | abb=aaa, abbba=1〉
11〈a, b | abb=aaa, abbbb=1〉
11〈a, b | abb=aaa, baaaa=1〉
11〈a, b | abb=aaa, baaab=1〉
11〈a, b | abb=aaa, baaba=1〉
11〈a, b | abb=aaa, baabb=1〉
11〈a, b | abb=aaa, babaa=1〉
11〈a, b | abb=aaa, babab=1〉
11〈a, b | abb=aaa, babba=1〉
11〈a, b | abb=aaa, babbb=1〉
11〈a, b | abb=aaa, bbaaa=1〉
11〈a, b | abb=aaa, bbaab=1〉
11〈a, b | abb=aaa, bbaba=1〉
11〈a, b | abb=aaa, bbabb=1〉
11〈a, b | abb=aaa, bbbaa=1〉
11〈a, b | abb=aaa, bbbab=1〉
11〈a, b | abb=aaa, bbbba=1〉
11〈a, b | bab=aaa, aaaaa=1〉
11〈a, b | bab=aaa, aaaab=1〉
11〈a, b | bab=aaa, aaaba=1〉
11〈a, b | bab=aaa, aaabb=1〉
11〈a, b | bab=aaa, aabaa=1〉
11〈a, b | bab=aaa, aabab=1〉
11〈a, b | bab=aaa, aabba=1〉
11〈a, b | bab=aaa, abaab=1〉
11〈a, b | bab=aaa, ababa=1〉
11〈a, b | bab=aaa, ababb=1〉
11〈a, b | bab=aaa, abbab=1〉
11〈a, b | bab=aaa, abbbb=1〉
11〈a, b | bab=aaa, baaab=1〉
11〈a, b | bab=aaa, babab=1〉
11〈a, b | bab=aaa, babbb=1〉
11〈a, b | bab=aaa, bbabb=1〉
11〈a, b | aaaaa=1, aaaabb=1〉
11〈a, b | aaaaa=1, aaabab=1〉
11〈a, b | aaaaa=1, aaabba=1〉
11〈a, b | aaaaa=1, aababa=1〉
11〈a, b | aaaaa=1, aabbaa=1〉
11〈a, b | aaaaa=1, abaaab=1〉
11〈a, b | aaaaa=1, baaaab=1〉
11〈a, b | aaa=ab, aabbbb=1〉
11〈a, b | aaa=ab, ababbb=1〉
11〈a, b | aaa=ab, abbabb=1〉
11〈a, b | aaa=ab, abbbab=1〉
11〈a, b | aaa=ab, abbbba=1〉
11〈a, b | aaa=ab, baabbb=1〉
11〈a, b | aaa=ab, bababb=1〉
11〈a, b | aaa=ab, babbab=1〉
11〈a, b | aaa=ab, babbba=1〉
11〈a, b | aaa=ab, bbaabb=1〉
11〈a, b | aaa=ab, bbabab=1〉
11〈a, b | aaa=ab, bbabba=1〉
11〈a, b | aaa=ab, bbbaab=1〉
11〈a, b | aaa=ab, bbbaba=1〉
11〈a, b | aaa=ab, bbbbaa=1〉
11〈a, b | aab=bb, aabbbb=1〉
11〈a, b | aab=bb, ababbb=1〉
11〈a, b | aab=bb, abbabb=1〉
11〈a, b | aab=bb, abbbab=1〉
11〈a, b | aab=bb, abbbba=1〉
11〈a, b | aab=bb, baabbb=1〉
11〈a, b | aab=bb, bababb=1〉
11〈a, b | aab=bb, babbab=1〉
11〈a, b | aab=bb, babbba=1〉
11〈a, b | aab=bb, bbaabb=1〉
11〈a, b | aab=bb, bbabab=1〉
11〈a, b | aab=bb, bbabba=1〉
11〈a, b | aab=bb, bbbaab=1〉
11〈a, b | aab=bb, bbbaba=1〉
11〈a, b | aab=bb, bbbbaa=1〉
11〈a, b | aba=bb, aabbbb=1〉
11〈a, b | aba=bb, ababbb=1〉
11〈a, b | aba=bb, abbbab=1〉
11〈a, b | aba=bb, abbbba=1〉
11〈a, b | aba=bb, baabbb=1〉
11〈a, b | aba=bb, bababb=1〉
11〈a, b | aba=bb, bbaabb=1〉
11〈a, b | aabb=1, aaaaaab=1〉
11〈a, b | aabb=1, aaaaaba=1〉
11〈a, b | aabb=1, aaaabaa=1〉
11〈a, b | aabb=1, aaabaaa=1〉
11〈a, b | aabb=1, aabaaaa=1〉
11〈a, b | aabb=1, abaaaaa=1〉
11〈a, b | aabb=1, baaaaaa=1〉
11〈a, b | abab=1, aaaaaab=1〉
11〈a, b | abab=1, aaaaaba=1〉
11〈a, b | abab=1, aaaabaa=1〉
11〈a, b | abab=1, aaabaaa=1〉
11〈a, b | abab=1, aabaaaa=1〉
11〈a, b | abab=1, abaaaaa=1〉
11〈a, b | abab=1, baaaaaa=1〉
11〈a, b | abba=1, aaaaaab=1〉
11〈a, b | abba=1, aaaaaba=1〉
11〈a, b | abba=1, aaaabaa=1〉
11〈a, b | abba=1, aaabaaa=1〉
11〈a, b | abba=1, abbbbbb=1〉
11〈a, b | abba=1, babbbbb=1〉
11〈a, b | abba=1, bbabbbb=1〉
11〈a, b | abba=1, bbbabbb=1〉
11〈a, b | aabb=1, aaaaaa=a〉
11〈a, b | aabb=1, aaaaab=b〉
11〈a, b | aabb=1, aaaaba=b〉
11〈a, b | aabb=1, aaabaa=b〉
11〈a, b | aabb=1, aabaaa=b〉
11〈a, b | aabb=1, abaaaa=b〉
11〈a, b | aabb=1, baaaaa=b〉
11〈a, b | abab=1, aaabaa=b〉
11〈a, b | abab=1, aabaaa=b〉
11〈a, b | abba=1, aaaaaa=a〉
11〈a, b | abba=1, aaaaab=b〉
11〈a, b | abba=1, aaaaba=b〉
11〈a, b | abba=1, aaabaa=b〉
11〈a, b | abba=1, abbbbb=a〉
11〈a, b | abba=1, babbbb=a〉
11〈a, b | abba=1, bbabbb=a〉
11〈a, b | abba=1, bbbbbb=b〉
11〈a, b | aabb=1, aaaaa=ab〉
11〈a, b | aabb=1, aaaaa=ba〉
11〈a, b | aabb=1, aaaab=bb〉
11〈a, b | aabb=1, aaaba=bb〉
11〈a, b | aabb=1, aabaa=bb〉
11〈a, b | aabb=1, abaaa=bb〉
11〈a, b | aabb=1, baaaa=bb〉
11〈a, b | abab=1, aaaaa=ab〉
11〈a, b | abab=1, aaaaa=ba〉
11〈a, b | abab=1, aaaab=bb〉
11〈a, b | abab=1, aabaa=bb〉
11〈a, b | abab=1, baaaa=bb〉
11〈a, b | abba=1, aaaaa=ab〉
11〈a, b | abba=1, aaaab=bb〉
11〈a, b | abba=1, aaaba=bb〉
11〈a, b | abba=1, aabaa=bb〉
11〈a, b | abba=1, abbbb=aa〉
11〈a, b | abba=1, babbb=aa〉
11〈a, b | abba=1, bbabb=aa〉
11〈a, b | abba=1, bbbbb=ab〉
11〈a, b | aaa=a, abbabbb=1〉
11〈a, b | aaa=a, abbbabb=1〉
11〈a, b | aaa=a, babbabb=1〉
11〈a, b | aaa=a, babbbab=1〉
11〈a, b | aab=b, abbabbb=1〉
11〈a, b | aab=b, abbbabb=1〉
11〈a, b | aab=b, babbabb=1〉
11〈a, b | aab=b, babbbab=1〉
11〈a, b | aab=b, bbabbab=1〉
11〈a, b | aab=b, bbabbba=1〉
11〈a, b | aab=b, bbbabba=1〉
11〈a, b | aba=b, aabbbbb=1〉
11〈a, b | aba=b, ababbbb=1〉
11〈a, b | aba=b, abbabbb=1〉
11〈a, b | aba=b, abbbabb=1〉
11〈a, b | aba=b, abbbbab=1〉
11〈a, b | aba=b, abbbbba=1〉
11〈a, b | aba=b, baabbbb=1〉
11〈a, b | aba=b, bababbb=1〉
11〈a, b | aba=b, babbabb=1〉
11〈a, b | aba=b, babbbab=1〉
11〈a, b | aba=b, bbaabbb=1〉
11〈a, b | aba=b, bbababb=1〉
11〈a, b | aab=1, aabbbbbb=1〉
11〈a, b | aab=1, ababbbbb=1〉
11〈a, b | aab=1, abbabbbb=1〉
11〈a, b | aab=1, abbbabbb=1〉
11〈a, b | aab=1, abbbbabb=1〉
11〈a, b | aab=1, abbbbbab=1〉
11〈a, b | aab=1, abbbbbba=1〉
11〈a, b | aab=1, baabbbbb=1〉
11〈a, b | aab=1, bababbbb=1〉
11〈a, b | aab=1, babbabbb=1〉
11〈a, b | aab=1, babbbabb=1〉
11〈a, b | aab=1, babbbbab=1〉
11〈a, b | aab=1, babbbbba=1〉
11〈a, b | aab=1, bbaabbbb=1〉
11〈a, b | aab=1, bbababbb=1〉
11〈a, b | aab=1, bbabbabb=1〉
11〈a, b | aab=1, bbabbbab=1〉
11〈a, b | aab=1, bbabbbba=1〉
11〈a, b | aab=1, bbbaabbb=1〉
11〈a, b | aab=1, bbbababb=1〉
11〈a, b | aab=1, bbbabbab=1〉
11〈a, b | aab=1, bbbabbba=1〉
11〈a, b | aab=1, bbbbaabb=1〉
11〈a, b | aab=1, bbbbabab=1〉
11〈a, b | aab=1, bbbbabba=1〉
11〈a, b | aab=1, bbbbbaab=1〉
11〈a, b | aab=1, bbbbbaba=1〉
11〈a, b | aab=1, bbbbbbaa=1〉
11〈a, b | aba=1, aabbbbbb=1〉
11〈a, b | aba=1, ababbbbb=1〉
11〈a, b | aba=1, abbabbbb=1〉
11〈a, b | aba=1, abbbabbb=1〉
11〈a, b | aba=1, abbbbabb=1〉
11〈a, b | aba=1, abbbbbab=1〉
11〈a, b | aba=1, abbbbbba=1〉
11〈a, b | aba=1, baabbbbb=1〉
11〈a, b | aba=1, bababbbb=1〉
11〈a, b | aba=1, babbabbb=1〉
11〈a, b | aba=1, babbbabb=1〉
11〈a, b | aba=1, babbbbab=1〉
11〈a, b | aba=1, bbaabbbb=1〉
11〈a, b | aba=1, bbababbb=1〉
11〈a, b | aba=1, bbabbabb=1〉
11〈a, b | aba=1, bbbaabbb=1〉
11〈a, b | aab=1, aaaaaa=bb〉
11〈a, b | aba=1, aaaaaa=bb〉
11〈a, b | aab=1, abbbb=aaa〉
11〈a, b | aab=1, babbb=aaa〉
11〈a, b | aab=1, bbabb=aaa〉
11〈a, b | aab=1, bbbab=aaa〉
11〈a, b | aab=1, bbbba=aaa〉
11〈a, b | aab=1, bbbbb=aab〉
11〈a, b | aab=1, bbbbb=aba〉
11〈a, b | aab=1, bbbbb=baa〉
11〈a, b | aba=1, abbbb=aaa〉
11〈a, b | aba=1, babbb=aaa〉
11〈a, b | aba=1, bbabb=aaa〉
11〈a, b | aba=1, bbbbb=aab〉
11〈a, b | aba=1, bbbbb=aba〉
11〈a, b | aa=b, aaaaaabb=1〉
11〈a, b | aa=b, aaaaabab=1〉
11〈a, b | aa=b, aaaaabba=1〉
11〈a, b | aa=b, aaaabaab=1〉
11〈a, b | aa=b, aaaababa=1〉
11〈a, b | aa=b, aaaabbaa=1〉
11〈a, b | aa=b, aaabaaab=1〉
11〈a, b | aa=b, aaabaaba=1〉
11〈a, b | aa=b, aaababaa=1〉
11〈a, b | aa=b, aaabbaaa=1〉
11〈a, b | aa=b, aabaaaab=1〉
11〈a, b | aa=b, aabaaaba=1〉
11〈a, b | aa=b, aabaabaa=1〉
11〈a, b | aa=b, abaaaaab=1〉
11〈a, b | aa=b, abaaaaba=1〉
11〈a, b | aa=b, baaaaaab=1〉
11〈a, b | aa=1, aaabbabbb=1〉
11〈a, b | aa=1, aaabbbabb=1〉
11〈a, b | aa=1, aababbabb=1〉
11〈a, b | aa=1, aababbbab=1〉
11〈a, b | aa=1, aabbabbab=1〉
11〈a, b | aa=1, aabbabbba=1〉
11〈a, b | aa=1, aabbbabba=1〉
11〈a, b | aa=1, abaababbb=1〉
11〈a, b | aa=1, abaabbabb=1〉
11〈a, b | aa=1, ababababb=1〉
11〈a, b | aa=1, abababbab=1〉
11〈a, b | aa=1, ababbabab=1〉
11〈a, b | aa=1, ababbabba=1〉
11〈a, b | aa=1, ababbbaba=1〉
11〈a, b | aa=1, abbaaabbb=1〉
11〈a, b | aa=1, abbaababb=1〉
11〈a, b | aa=1, abbabaabb=1〉
11〈a, b | aa=1, abbababab=1〉
11〈a, b | aa=1, abbabbaab=1〉
11〈a, b | aa=1, abbbaaabb=1〉
11〈a, b | aa=1, abbbabaab=1〉
11〈a, b | aa=1, baaabbabb=1〉
11〈a, b | aa=1, baaabbbab=1〉
11〈a, b | aa=1, baababbab=1〉
11〈a, b | aa=1, babaababb=1〉
11〈a, b | aa=1, babaabbab=1〉
11〈a, b | aa=1, babababab=1〉
11〈a, b | aa=1, babbaaabb=1〉
11〈a, b | aa=1, aabbabbb=a〉
11〈a, b | aa=1, aabbbabb=a〉
11〈a, b | aa=1, ababbabb=a〉
11〈a, b | aa=1, ababbbab=a〉
11〈a, b | aa=1, abbabbab=a〉
11〈a, b | aa=1, abbabbba=a〉
11〈a, b | aa=1, baababbb=a〉
11〈a, b | aa=1, baabbabb=a〉
11〈a, b | aa=1, babababb=a〉
11〈a, b | aa=1, bababbab=a〉
11〈a, b | aa=1, bbaaabbb=a〉
11〈a, b | aa=1, bbaababb=a〉
11〈a, b | aa=1, abbabbb=aa〉
11〈a, b | aa=1, abbbabb=aa〉
11〈a, b | aa=1, babbabb=aa〉
11〈a, b | aa=1, babbbab=aa〉
11〈a, b | aa=1, bbabbb=aaa〉