Back

〈a, b | aab=1, bbbb=1〉

Monoid presentation of length 7

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a8 ⇒ 1
  2. b ⇒ a6

Cayley table

1aa2a3a4a5a6a7
11aa2a3a4a5a6a7
aaa2a3a4a5a6a71
a2a2a3a4a5a6a71a
a3a3a4a5a6a71aa2
a4a4a5a6a71aa2a3
a5a5a6a71aa2a3a4
a6a6a71aa2a3a4a5
a7a71aa2a3a4a5a6

Right Cayley graph

Others with same cardinality

44 unique, 484 total

Length:Presentation:Description:Related:
7 〈a, b | aa=1, abba=b〉 Finite non-commutative monoid with 8 elements 46 isomorphic
8 〈a, b | aba=b, aabb=1〉 Finite non-Abelian group with 8 elements 28 isomorphic
8 〈a, b | aa=a, bbbb=a〉 Finite commutative monoid with 8 elements 48 isomorphic
8 〈a, b | aa=b, bbbb=a〉 Finite commutative monoid with 8 elements 34 isomorphic
8 〈a, b | aa=b, bbbb=b〉 Finite commutative monoid with 8 elements 46 isomorphic
8 〈a, b | aa=a, aba=bb〉 Finite non-commutative monoid with 8 elements 5 isomorphic
8 〈a, b | aa=1, ababa=b〉 Finite non-commutative monoid with 8 elements 13 isomorphic
9 〈a, b | aaa=bb, abb=b〉 Finite commutative monoid with 8 elements 55 isomorphic
9 〈a, b | aaa=bb, bab=a〉 Finite commutative monoid with 8 elements 9 isomorphic
9 〈a, b | aab=aa, baa=b〉 Finite non-commutative monoid with 8 elements 8 isomorphic
9 〈a, b | aab=bb, baa=a〉 Finite non-commutative monoid with 8 elements 4 anti-isomorphic
9 〈a, b | ab=aa, baaa=b〉 Finite non-commutative monoid with 8 elements 6 isomorphic
9 〈a, b | ab=aa, bbbb=a〉 Finite commutative monoid with 8 elements 32 isomorphic
9 〈a, b | bb=aa, aaab=a〉 Finite commutative monoid with 8 elements 3 isomorphic
9 〈a, b | ab=aa, baa=bb〉 Finite non-commutative monoid with 8 elements 1 isomorphic
9 〈a, b | ab=aa, bbb=aa〉 Finite non-commutative monoid with 8 elements 1 isomorphic
9 〈a, b | ab=aa, bbb=ba〉 Finite non-commutative monoid with 8 elements
9 〈a, b | aa=a, abbbb=b〉 Finite non-commutative monoid with 8 elements 14 isomorphic
9 〈a, b | ab=a, baaa=bb〉 Finite non-commutative monoid with 8 elements 9 isomorphic
9 〈a, b | ab=a, bbaa=bb〉 Finite non-commutative monoid with 8 elements 9 isomorphic
10 〈a, b | aab=bb, aaaa=b〉 Finite commutative monoid with 8 elements 18 isomorphic
10 〈a, b | aab=bb, abbb=a〉 Finite commutative monoid with 8 elements 10 isomorphic
10 〈a, b | aba=aa, aaab=b〉 Finite non-commutative monoid with 8 elements 3 isomorphic
10 〈a, b | aab=a, bbaa=bb〉 Finite non-commutative monoid with 8 elements
10 〈a, b | aab=b, aaaa=ba〉 Finite non-commutative monoid with 8 elements
10 〈a, b | aab=b, abaa=aa〉 Finite non-commutative monoid with 8 elements 1 isomorphic
10 〈a, b | aab=b, abbb=aa〉 Finite commutative monoid with 8 elements 4 isomorphic
10 〈a, b | ab=aa, aaaa=bb〉 Finite non-commutative monoid with 8 elements 7 isomorphic
10 〈a, b | ab=a, bbbb=baa〉 Finite non-commutative monoid with 8 elements 2 isomorphic
11 〈a, b | aabb=aa, abaa=b〉 Finite commutative monoid with 8 elements 7 isomorphic
11 〈a, b | aabb=aa, bbba=b〉 Finite non-commutative monoid with 8 elements
11 〈a, b | abbb=aa, bbbb=a〉 Finite commutative monoid with 8 elements 14 isomorphic
11 〈a, b | aab=b, aabaa=aa〉 Finite non-commutative monoid with 8 elements 2 isomorphic
11 〈a, b | aab=a, bbbb=bbb〉 Finite non-commutative monoid with 8 elements
11 〈a, b | aab=b, aaaa=aba〉 Finite non-commutative monoid with 8 elements
11 〈a, b | aab=b, aaaa=abb〉 Finite commutative monoid with 8 elements 1 isomorphic
11 〈a, b | ab=a, aaaaaa=bb〉 Finite commutative monoid with 8 elements
11 〈a, b | ab=a, bbbbbb=aa〉 Finite commutative monoid with 8 elements
11 〈a, b | ab=a, bbbbbb=ba〉 Finite non-commutative monoid with 8 elements
11 〈a, b | ab=a, aaaaa=bbb〉 Finite commutative monoid with 8 elements
11 〈a, b | ab=a, bbbbb=aaa〉 Finite commutative monoid with 8 elements
11 〈a, b | ab=a, bbbbb=bba〉 Finite non-commutative monoid with 8 elements
11 〈a, b | ab=a, bbbb=aaaa〉 Finite commutative monoid with 8 elements
11 〈a, b | ab=a, bbbb=bbba〉 Finite non-commutative monoid with 8 elements

Other isomorphic instances

727 total

Length:Presentation:
7〈a, b | aba=1, bbbb=1〉
7〈a, b | aa=b, bbbb=1〉
7〈a, b | aa=1, abbbb=1〉
7〈a, b | aa=1, babbb=1〉
7〈a, b | aa=1, bbabb=1〉
7〈a, b | aa=1, bbbb=a〉
8〈a, b | aaa=bb, abb=1〉
8〈a, b | aaa=bb, bab=1〉
8〈a, b | aaab=1, abbb=1〉
8〈a, b | aaab=1, babb=1〉
8〈a, b | aaab=1, bbab=1〉
8〈a, b | aaab=1, bbba=1〉
8〈a, b | aaba=1, babb=1〉
8〈a, b | aaba=1, bbab=1〉
8〈a, b | aaa=b, aabb=1〉
8〈a, b | aaa=b, abab=1〉
8〈a, b | aaa=b, abba=1〉
8〈a, b | aaa=b, baab=1〉
8〈a, b | bb=aa, aaab=1〉
8〈a, b | bb=aa, aaba=1〉
8〈a, b | aa=b, aabbb=1〉
8〈a, b | aa=b, ababb=1〉
8〈a, b | aa=b, abbab=1〉
8〈a, b | aa=b, abbba=1〉
8〈a, b | aa=b, baabb=1〉
8〈a, b | aa=b, babab=1〉
9〈a, b | aabb=b, bbbb=1〉
9〈a, b | abab=b, bbbb=1〉
9〈a, b | abba=b, bbbb=1〉
9〈a, b | baab=b, bbbb=1〉
9〈a, b | aaa=bb, aaaa=1〉
9〈a, b | aab=bb, bbbb=1〉
9〈a, b | aba=bb, bbbb=1〉
9〈a, b | aaaa=1, aaabb=1〉
9〈a, b | aaaa=1, aabab=1〉
9〈a, b | aaaa=1, aabba=1〉
9〈a, b | aaaa=1, abaab=1〉
9〈a, b | aaaa=1, ababa=1〉
9〈a, b | aaaa=1, baaab=1〉
9〈a, b | aaa=a, abbbb=1〉
9〈a, b | aaa=a, babbb=1〉
9〈a, b | aaa=a, bbabb=1〉
9〈a, b | aab=b, abbbb=1〉
9〈a, b | aab=b, babbb=1〉
9〈a, b | aab=b, bbabb=1〉
9〈a, b | aab=b, bbbab=1〉
9〈a, b | aab=b, bbbba=1〉
9〈a, b | aba=b, abbbb=1〉
9〈a, b | aba=b, babbb=1〉
9〈a, b | aba=b, bbabb=1〉
9〈a, b | aab=1, abbbb=a〉
9〈a, b | aab=1, babbb=a〉
9〈a, b | aab=1, bbabb=a〉
9〈a, b | aab=1, bbbab=a〉
9〈a, b | aab=1, bbbba=a〉
9〈a, b | aab=1, bbbbb=b〉
9〈a, b | aba=1, abbbb=a〉
9〈a, b | aba=1, babbb=a〉
9〈a, b | aba=1, bbabb=a〉
9〈a, b | aba=1, bbbbb=b〉
9〈a, b | aab=1, aaaa=bb〉
9〈a, b | aba=1, aaaa=bb〉
9〈a, b | aa=b, aaaabb=1〉
9〈a, b | aa=b, aaabab=1〉
9〈a, b | aa=b, aaabba=1〉
9〈a, b | aa=b, aabaab=1〉
9〈a, b | aa=b, aababa=1〉
9〈a, b | aa=b, aabbaa=1〉
9〈a, b | aa=b, abaaab=1〉
9〈a, b | aa=b, abaaba=1〉
9〈a, b | aa=b, baaaab=1〉
9〈a, b | aa=1, aaabbbb=1〉
9〈a, b | aa=1, aababbb=1〉
9〈a, b | aa=1, aabbabb=1〉
9〈a, b | aa=1, aabbbab=1〉
9〈a, b | aa=1, aabbbba=1〉
9〈a, b | aa=1, abaabbb=1〉
9〈a, b | aa=1, abababb=1〉
9〈a, b | aa=1, ababbab=1〉
9〈a, b | aa=1, ababbba=1〉
9〈a, b | aa=1, abbaabb=1〉
9〈a, b | aa=1, abbabab=1〉
9〈a, b | aa=1, abbabba=1〉
9〈a, b | aa=1, abbbaab=1〉
9〈a, b | aa=1, baaabbb=1〉
9〈a, b | aa=1, baababb=1〉
9〈a, b | aa=1, baabbab=1〉
9〈a, b | aa=1, babaabb=1〉
9〈a, b | aa=1, bababab=1〉
9〈a, b | aa=1, bbaaabb=1〉
9〈a, b | aa=1, aabbbb=a〉
9〈a, b | aa=1, ababbb=a〉
9〈a, b | aa=1, abbabb=a〉
9〈a, b | aa=1, abbbab=a〉
9〈a, b | aa=1, abbbba=a〉
9〈a, b | aa=1, baabbb=a〉
9〈a, b | aa=1, bababb=a〉
9〈a, b | aa=1, babbab=a〉
9〈a, b | aa=1, bbaabb=a〉
9〈a, b | aa=1, abbbb=aa〉
9〈a, b | aa=1, babbb=aa〉
9〈a, b | aa=1, bbabb=aa〉
9〈a, b | aa=1, bbbb=aaa〉
10〈a, b | aaaa=ab, aabb=1〉
10〈a, b | aaaa=ab, abab=1〉
10〈a, b | aaaa=ab, abba=1〉
10〈a, b | aaaa=ab, baab=1〉
10〈a, b | aaaa=ab, baba=1〉
10〈a, b | aaaa=ab, bbaa=1〉
10〈a, b | aaab=bb, aabb=1〉
10〈a, b | aaab=bb, abab=1〉
10〈a, b | aaab=bb, abba=1〉
10〈a, b | aaab=bb, baab=1〉
10〈a, b | aaab=bb, baba=1〉
10〈a, b | aaab=bb, bbaa=1〉
10〈a, b | aaba=bb, aabb=1〉
10〈a, b | aaba=bb, abab=1〉
10〈a, b | aaba=bb, abba=1〉
10〈a, b | aaba=bb, baab=1〉
10〈a, b | aaba=bb, baba=1〉
10〈a, b | aaba=bb, bbaa=1〉
10〈a, b | abb=aaa, aaab=1〉
10〈a, b | abb=aaa, aaba=1〉
10〈a, b | abb=aaa, abaa=1〉
10〈a, b | abb=aaa, abbb=1〉
10〈a, b | abb=aaa, baaa=1〉
10〈a, b | abb=aaa, babb=1〉
10〈a, b | abb=aaa, bbab=1〉
10〈a, b | abb=aaa, bbba=1〉
10〈a, b | bab=aaa, aaab=1〉
10〈a, b | bab=aaa, aaba=1〉
10〈a, b | bab=aaa, abbb=1〉
10〈a, b | bab=aaa, babb=1〉
10〈a, b | aaaa=b, aaaab=1〉
10〈a, b | aaaa=b, aaaba=1〉
10〈a, b | aaaa=b, aabaa=1〉
10〈a, b | aaa=ab, aabbb=1〉
10〈a, b | aaa=ab, ababb=1〉
10〈a, b | aaa=ab, abbab=1〉
10〈a, b | aaa=ab, abbba=1〉
10〈a, b | aaa=ab, baabb=1〉
10〈a, b | aaa=ab, babab=1〉
10〈a, b | aaa=ab, babba=1〉
10〈a, b | aaa=ab, bbaab=1〉
10〈a, b | aaa=ab, bbaba=1〉
10〈a, b | aaa=ab, bbbaa=1〉
10〈a, b | aab=bb, aabbb=1〉
10〈a, b | aab=bb, ababb=1〉
10〈a, b | aab=bb, abbab=1〉
10〈a, b | aab=bb, abbba=1〉
10〈a, b | aab=bb, baabb=1〉
10〈a, b | aab=bb, babab=1〉
10〈a, b | aab=bb, babba=1〉
10〈a, b | aab=bb, bbaab=1〉
10〈a, b | aab=bb, bbaba=1〉
10〈a, b | aab=bb, bbbaa=1〉
10〈a, b | aba=bb, ababb=1〉
10〈a, b | aba=bb, abbab=1〉
10〈a, b | aba=bb, babab=1〉
10〈a, b | aabb=1, aaaaab=1〉
10〈a, b | aabb=1, aaaaba=1〉
10〈a, b | aabb=1, aaabaa=1〉
10〈a, b | aabb=1, aabaaa=1〉
10〈a, b | aabb=1, abaaaa=1〉
10〈a, b | aabb=1, baaaaa=1〉
10〈a, b | abab=1, aaaaab=1〉
10〈a, b | abab=1, aaaaba=1〉
10〈a, b | abab=1, aaabaa=1〉
10〈a, b | abab=1, aabaaa=1〉
10〈a, b | abab=1, abaaaa=1〉
10〈a, b | abab=1, baaaaa=1〉
10〈a, b | abba=1, aaaaab=1〉
10〈a, b | abba=1, aaaaba=1〉
10〈a, b | abba=1, aaabaa=1〉
10〈a, b | abba=1, abbbbb=1〉
10〈a, b | abba=1, babbbb=1〉
10〈a, b | abba=1, bbabbb=1〉
10〈a, b | aaab=1, aaaaa=b〉
10〈a, b | aaab=1, aabbb=a〉
10〈a, b | aaab=1, ababb=a〉
10〈a, b | aaab=1, abbab=a〉
10〈a, b | aaab=1, abbba=a〉
10〈a, b | aaab=1, abbbb=b〉
10〈a, b | aaab=1, baabb=a〉
10〈a, b | aaab=1, babab=a〉
10〈a, b | aaab=1, babba=a〉
10〈a, b | aaab=1, babbb=b〉
10〈a, b | aaab=1, bbaab=a〉
10〈a, b | aaab=1, bbaba=a〉
10〈a, b | aaab=1, bbabb=b〉
10〈a, b | aaab=1, bbbaa=a〉
10〈a, b | aaab=1, bbbab=b〉
10〈a, b | aaab=1, bbbba=b〉
10〈a, b | aaba=1, aaaaa=b〉
10〈a, b | aaba=1, aabbb=a〉
10〈a, b | aaba=1, ababb=a〉
10〈a, b | aaba=1, abbab=a〉
10〈a, b | aaba=1, abbba=a〉
10〈a, b | aaba=1, abbbb=b〉
10〈a, b | aaba=1, baabb=a〉
10〈a, b | aaba=1, babab=a〉
10〈a, b | aaba=1, babba=a〉
10〈a, b | aaba=1, babbb=b〉
10〈a, b | aaba=1, bbaab=a〉
10〈a, b | aaba=1, bbaba=a〉
10〈a, b | aaba=1, bbabb=b〉
10〈a, b | aaba=1, bbbaa=a〉
10〈a, b | aaba=1, bbbab=b〉
10〈a, b | aaba=1, bbbba=b〉
10〈a, b | aaa=b, aaaaab=1〉
10〈a, b | aaa=b, aaaaba=1〉
10〈a, b | aaa=b, aaabaa=1〉
10〈a, b | aab=1, aabbbbb=1〉
10〈a, b | aab=1, ababbbb=1〉
10〈a, b | aab=1, abbabbb=1〉
10〈a, b | aab=1, abbbabb=1〉
10〈a, b | aab=1, abbbbab=1〉
10〈a, b | aab=1, abbbbba=1〉
10〈a, b | aab=1, baabbbb=1〉
10〈a, b | aab=1, bababbb=1〉
10〈a, b | aab=1, babbabb=1〉
10〈a, b | aab=1, babbbab=1〉
10〈a, b | aab=1, babbbba=1〉
10〈a, b | aab=1, bbaabbb=1〉
10〈a, b | aab=1, bbababb=1〉
10〈a, b | aab=1, bbabbab=1〉
10〈a, b | aab=1, bbabbba=1〉
10〈a, b | aab=1, bbbaabb=1〉
10〈a, b | aab=1, bbbabab=1〉
10〈a, b | aab=1, bbbabba=1〉
10〈a, b | aab=1, bbbbaab=1〉
10〈a, b | aab=1, bbbbaba=1〉
10〈a, b | aab=1, bbbbbaa=1〉
10〈a, b | aba=1, aabbbbb=1〉
10〈a, b | aba=1, ababbbb=1〉
10〈a, b | aba=1, abbabbb=1〉
10〈a, b | aba=1, abbbabb=1〉
10〈a, b | aba=1, abbbbab=1〉
10〈a, b | aba=1, abbbbba=1〉
10〈a, b | aba=1, baabbbb=1〉
10〈a, b | aba=1, bababbb=1〉
10〈a, b | aba=1, babbabb=1〉
10〈a, b | aba=1, babbbab=1〉
10〈a, b | aba=1, bbaabbb=1〉
10〈a, b | aba=1, bbababb=1〉
10〈a, b | aab=1, aaaaaa=b〉
10〈a, b | aba=1, aaaaaa=b〉
10〈a, b | aab=1, abbb=aaa〉
10〈a, b | aab=1, babb=aaa〉
10〈a, b | aab=1, bbab=aaa〉
10〈a, b | aab=1, bbba=aaa〉
10〈a, b | aab=1, bbbb=aab〉
10〈a, b | aab=1, bbbb=aba〉
10〈a, b | aab=1, bbbb=baa〉
10〈a, b | aba=1, abbb=aaa〉
10〈a, b | aba=1, babb=aaa〉
10〈a, b | aba=1, bbbb=aab〉
10〈a, b | aba=1, bbbb=aba〉
10〈a, b | aa=b, aaaaaab=1〉
10〈a, b | aa=b, aaaaaba=1〉
10〈a, b | aa=b, aaaabaa=1〉
10〈a, b | aa=b, aaabaaa=1〉
10〈a, b | ab=1, aaaaaaaa=1〉
10〈a, b | ab=1, aaaaaaa=b〉
10〈a, b | ab=1, aaaaaa=bb〉
10〈a, b | ab=1, aaaaa=bbb〉
10〈a, b | ab=1, bbbb=aaaa〉
11〈a, b | aabb=bbb, bbbb=1〉
11〈a, b | abab=bbb, bbbb=1〉
11〈a, b | abba=bbb, bbbb=1〉
11〈a, b | baab=bbb, bbbb=1〉
11〈a, b | aaaaa=a, aaabb=1〉
11〈a, b | aaaaa=a, aabab=1〉
11〈a, b | aaaaa=a, aabba=1〉
11〈a, b | aaaaa=a, abaab=1〉
11〈a, b | aaaaa=a, ababa=1〉
11〈a, b | aaaaa=a, baaab=1〉
11〈a, b | aaaab=b, aaabb=1〉
11〈a, b | aaaab=b, aabab=1〉
11〈a, b | aaaab=b, aabba=1〉
11〈a, b | aaaab=b, abaab=1〉
11〈a, b | aaaab=b, ababa=1〉
11〈a, b | aaaab=b, abbaa=1〉
11〈a, b | aaaab=b, baaab=1〉
11〈a, b | aaaab=b, baaba=1〉
11〈a, b | aaaab=b, babaa=1〉
11〈a, b | aaaab=b, bbaaa=1〉
11〈a, b | aaaba=b, aaabb=1〉
11〈a, b | aaaba=b, aabab=1〉
11〈a, b | aaaba=b, aabba=1〉
11〈a, b | aaaba=b, abaab=1〉
11〈a, b | aaaba=b, ababa=1〉
11〈a, b | aaaba=b, abbaa=1〉
11〈a, b | aaaba=b, baaab=1〉
11〈a, b | aaaba=b, baaba=1〉
11〈a, b | aaaba=b, babaa=1〉
11〈a, b | aaaba=b, bbaaa=1〉
11〈a, b | aabaa=b, aabab=1〉
11〈a, b | aabaa=b, abaab=1〉
11〈a, b | aabaa=b, ababa=1〉
11〈a, b | aaaa=aa, abbbb=1〉
11〈a, b | aaaa=aa, babbb=1〉
11〈a, b | aaaa=aa, bbabb=1〉
11〈a, b | aaab=ab, abbbb=1〉
11〈a, b | aaab=ab, babbb=1〉
11〈a, b | aaab=ab, bbabb=1〉
11〈a, b | aaab=ab, bbbab=1〉
11〈a, b | aaab=ab, bbbba=1〉
11〈a, b | aaab=ba, abbbb=1〉
11〈a, b | aaab=ba, babbb=1〉
11〈a, b | aaab=ba, bbabb=1〉
11〈a, b | aaab=ba, bbbab=1〉
11〈a, b | aaab=ba, bbbba=1〉
11〈a, b | aaba=ab, abbbb=1〉
11〈a, b | aaba=ab, babbb=1〉
11〈a, b | aaba=ab, bbabb=1〉
11〈a, b | aaba=ab, bbbab=1〉
11〈a, b | aaba=ab, bbbba=1〉
11〈a, b | aaba=ba, abbbb=1〉
11〈a, b | aaba=ba, babbb=1〉
11〈a, b | aaba=ba, bbabb=1〉
11〈a, b | aaba=ba, bbbab=1〉
11〈a, b | aaba=ba, bbbba=1〉
11〈a, b | aabb=aa, aaaab=1〉
11〈a, b | aabb=aa, aaaba=1〉
11〈a, b | aabb=aa, aabaa=1〉
11〈a, b | aabb=aa, abaaa=1〉
11〈a, b | aabb=aa, baaaa=1〉
11〈a, b | abab=aa, aaaab=1〉
11〈a, b | abab=aa, aaaba=1〉
11〈a, b | abab=aa, aabaa=1〉
11〈a, b | abab=aa, abaaa=1〉
11〈a, b | abab=aa, baaaa=1〉
11〈a, b | abba=aa, aaaab=1〉
11〈a, b | abba=aa, aaaba=1〉
11〈a, b | abba=aa, aabaa=1〉
11〈a, b | abba=bb, abbbb=1〉
11〈a, b | abba=bb, babbb=1〉
11〈a, b | abba=bb, bbabb=1〉
11〈a, b | aaabb=1, aabbbb=1〉
11〈a, b | aaabb=1, abbabb=1〉
11〈a, b | aaabb=1, abbbba=1〉
11〈a, b | aaabb=1, baabbb=1〉
11〈a, b | aaabb=1, babbab=1〉
11〈a, b | aaabb=1, bbaabb=1〉
11〈a, b | aaabb=1, bbabba=1〉
11〈a, b | aaabb=1, bbbaab=1〉
11〈a, b | aaabb=1, bbbbaa=1〉
11〈a, b | aabab=1, ababbb=1〉
11〈a, b | aabab=1, abbabb=1〉
11〈a, b | aabab=1, abbbab=1〉
11〈a, b | aabab=1, abbbba=1〉
11〈a, b | aabab=1, baabbb=1〉
11〈a, b | aabab=1, bababb=1〉
11〈a, b | aabab=1, babbab=1〉
11〈a, b | aabab=1, babbba=1〉
11〈a, b | aabab=1, bbaabb=1〉
11〈a, b | aabab=1, bbabab=1〉
11〈a, b | aabab=1, bbabba=1〉
11〈a, b | aabab=1, bbbaab=1〉
11〈a, b | aabab=1, bbbaba=1〉
11〈a, b | aabab=1, bbbbaa=1〉
11〈a, b | aabba=1, aabbbb=1〉
11〈a, b | aabba=1, abbabb=1〉
11〈a, b | aabba=1, abbbba=1〉
11〈a, b | aabba=1, baabbb=1〉
11〈a, b | aabba=1, babbab=1〉
11〈a, b | aabba=1, bbaabb=1〉
11〈a, b | aabba=1, bbabba=1〉
11〈a, b | aabba=1, bbbaab=1〉
11〈a, b | aabba=1, bbbbaa=1〉
11〈a, b | abaab=1, aabbbb=1〉
11〈a, b | abaab=1, ababbb=1〉
11〈a, b | abaab=1, abbabb=1〉
11〈a, b | abaab=1, abbbab=1〉
11〈a, b | abaab=1, abbbba=1〉
11〈a, b | abaab=1, baabbb=1〉
11〈a, b | abaab=1, bababb=1〉
11〈a, b | abaab=1, babbab=1〉
11〈a, b | abaab=1, babbba=1〉
11〈a, b | abaab=1, bbaabb=1〉
11〈a, b | abaab=1, bbabab=1〉
11〈a, b | abaab=1, bbabba=1〉
11〈a, b | abaab=1, bbbaab=1〉
11〈a, b | abaab=1, bbbaba=1〉
11〈a, b | abaab=1, bbbbaa=1〉
11〈a, b | ababa=1, aabbbb=1〉
11〈a, b | ababa=1, ababbb=1〉
11〈a, b | ababa=1, abbabb=1〉
11〈a, b | ababa=1, abbbab=1〉
11〈a, b | ababa=1, abbbba=1〉
11〈a, b | ababa=1, baabbb=1〉
11〈a, b | ababa=1, bababb=1〉
11〈a, b | ababa=1, babbab=1〉
11〈a, b | ababa=1, bbaabb=1〉
11〈a, b | abbba=1, aaaabb=1〉
11〈a, b | abbba=1, aaabba=1〉
11〈a, b | abbba=1, aabaab=1〉
11〈a, b | abbba=1, aabbaa=1〉
11〈a, b | abbba=1, abaaba=1〉
11〈a, b | abbba=1, baaaab=1〉
11〈a, b | aaa=ab, aaaabb=1〉
11〈a, b | aaa=ab, aaabab=1〉
11〈a, b | aaa=ab, aaabba=1〉
11〈a, b | aaa=ab, aabaab=1〉
11〈a, b | aaa=ab, aababa=1〉
11〈a, b | aaa=ab, aabbaa=1〉
11〈a, b | aaa=ab, abaaab=1〉
11〈a, b | aaa=ab, abaaba=1〉
11〈a, b | aaa=ab, ababaa=1〉
11〈a, b | aaa=ab, abbaaa=1〉
11〈a, b | aaa=ab, baaaab=1〉
11〈a, b | aaa=ab, baaaba=1〉
11〈a, b | aaa=ab, baabaa=1〉
11〈a, b | aaa=ab, babaaa=1〉
11〈a, b | aaa=ab, bbaaaa=1〉
11〈a, b | aab=bb, aaaabb=1〉
11〈a, b | aab=bb, aaabab=1〉
11〈a, b | aab=bb, aaabba=1〉
11〈a, b | aab=bb, aabaab=1〉
11〈a, b | aab=bb, aababa=1〉
11〈a, b | aab=bb, aabbaa=1〉
11〈a, b | aab=bb, abaaab=1〉
11〈a, b | aab=bb, abaaba=1〉
11〈a, b | aab=bb, ababaa=1〉
11〈a, b | aab=bb, abbaaa=1〉
11〈a, b | aab=bb, baaaab=1〉
11〈a, b | aab=bb, baaaba=1〉
11〈a, b | aab=bb, baabaa=1〉
11〈a, b | aab=bb, babaaa=1〉
11〈a, b | aab=bb, bbaaaa=1〉
11〈a, b | aba=bb, aaaabb=1〉
11〈a, b | aba=bb, aaabba=1〉
11〈a, b | aba=bb, aabaab=1〉
11〈a, b | aba=bb, aabbaa=1〉
11〈a, b | aba=bb, abaaba=1〉
11〈a, b | aba=bb, baaaab=1〉
11〈a, b | aaaa=1, aaaaabb=1〉
11〈a, b | aaaa=1, aaaabab=1〉
11〈a, b | aaaa=1, aaaabba=1〉
11〈a, b | aaaa=1, aaabaab=1〉
11〈a, b | aaaa=1, aaababa=1〉
11〈a, b | aaaa=1, aaabbaa=1〉
11〈a, b | aaaa=1, aabaaab=1〉
11〈a, b | aaaa=1, aabaaba=1〉
11〈a, b | aaaa=1, aababaa=1〉
11〈a, b | aaaa=1, abaaaab=1〉
11〈a, b | aaaa=1, abaaaba=1〉
11〈a, b | aaaa=1, baaaaab=1〉
11〈a, b | aaaa=1, aaaabb=a〉
11〈a, b | aaaa=1, aaabab=a〉
11〈a, b | aaaa=1, aaabba=a〉
11〈a, b | aaaa=1, aabaab=a〉
11〈a, b | aaaa=1, aababa=a〉
11〈a, b | aaaa=1, aabbaa=a〉
11〈a, b | aaaa=1, abaaab=a〉
11〈a, b | aaaa=1, abaaba=a〉
11〈a, b | aaaa=1, baaaab=a〉
11〈a, b | aaaa=1, aaaaa=bb〉
11〈a, b | aaaa=1, aaabb=aa〉
11〈a, b | aaaa=1, aabab=aa〉
11〈a, b | aaaa=1, aabba=aa〉
11〈a, b | aaaa=1, abaab=aa〉
11〈a, b | aaaa=1, ababa=aa〉
11〈a, b | aaaa=1, baaab=aa〉
11〈a, b | aaa=a, aaabbbb=1〉
11〈a, b | aaa=a, aababbb=1〉
11〈a, b | aaa=a, aabbabb=1〉
11〈a, b | aaa=a, aabbbab=1〉
11〈a, b | aaa=a, aabbbba=1〉
11〈a, b | aaa=a, abaabbb=1〉
11〈a, b | aaa=a, abababb=1〉
11〈a, b | aaa=a, ababbab=1〉
11〈a, b | aaa=a, ababbba=1〉
11〈a, b | aaa=a, abbaabb=1〉
11〈a, b | aaa=a, abbabab=1〉
11〈a, b | aaa=a, abbabba=1〉
11〈a, b | aaa=a, abbbaab=1〉
11〈a, b | aaa=a, baaabbb=1〉
11〈a, b | aaa=a, baababb=1〉
11〈a, b | aaa=a, baabbab=1〉
11〈a, b | aaa=a, babaabb=1〉
11〈a, b | aaa=a, bababab=1〉
11〈a, b | aaa=a, bbaaabb=1〉
11〈a, b | aab=b, aaabbbb=1〉
11〈a, b | aab=b, aababbb=1〉
11〈a, b | aab=b, aabbabb=1〉
11〈a, b | aab=b, aabbbab=1〉
11〈a, b | aab=b, aabbbba=1〉
11〈a, b | aab=b, abaabbb=1〉
11〈a, b | aab=b, abababb=1〉
11〈a, b | aab=b, ababbab=1〉
11〈a, b | aab=b, ababbba=1〉
11〈a, b | aab=b, abbaabb=1〉
11〈a, b | aab=b, abbabab=1〉
11〈a, b | aab=b, abbabba=1〉
11〈a, b | aab=b, abbbaab=1〉
11〈a, b | aab=b, abbbaba=1〉
11〈a, b | aab=b, abbbbaa=1〉
11〈a, b | aab=b, baaabbb=1〉
11〈a, b | aab=b, baababb=1〉
11〈a, b | aab=b, baabbab=1〉
11〈a, b | aab=b, baabbba=1〉
11〈a, b | aab=b, babaabb=1〉
11〈a, b | aab=b, bababab=1〉
11〈a, b | aab=b, bababba=1〉
11〈a, b | aab=b, babbaab=1〉
11〈a, b | aab=b, babbaba=1〉
11〈a, b | aab=b, babbbaa=1〉
11〈a, b | aab=b, bbaaabb=1〉
11〈a, b | aab=b, bbaabab=1〉
11〈a, b | aab=b, bbaabba=1〉
11〈a, b | aab=b, bbabaab=1〉
11〈a, b | aab=b, bbababa=1〉
11〈a, b | aab=b, bbabbaa=1〉
11〈a, b | aab=b, bbbaaab=1〉
11〈a, b | aab=b, bbbaaba=1〉
11〈a, b | aab=b, bbbabaa=1〉
11〈a, b | aab=b, bbbbaaa=1〉
11〈a, b | aba=b, aababbb=1〉
11〈a, b | aba=b, aabbbab=1〉
11〈a, b | aba=b, abaabbb=1〉
11〈a, b | aba=b, abababb=1〉
11〈a, b | aba=b, ababbab=1〉
11〈a, b | aba=b, ababbba=1〉
11〈a, b | aba=b, abbabab=1〉
11〈a, b | aba=b, abbbaab=1〉
11〈a, b | aba=b, baababb=1〉
11〈a, b | aba=b, babaabb=1〉
11〈a, b | aba=b, bababab=1〉
11〈a, b | aab=1, aaaaaaaa=1〉
11〈a, b | aba=1, aaaaaaaa=1〉
11〈a, b | aab=1, aabbbb=aa〉
11〈a, b | aab=1, ababbb=aa〉
11〈a, b | aab=1, abbabb=aa〉
11〈a, b | aab=1, abbbab=aa〉
11〈a, b | aab=1, abbbba=aa〉
11〈a, b | aab=1, abbbbb=ab〉
11〈a, b | aab=1, abbbbb=ba〉
11〈a, b | aab=1, baabbb=aa〉
11〈a, b | aab=1, bababb=aa〉
11〈a, b | aab=1, babbab=aa〉
11〈a, b | aab=1, babbba=aa〉
11〈a, b | aab=1, babbbb=ab〉
11〈a, b | aab=1, babbbb=ba〉
11〈a, b | aab=1, bbaabb=aa〉
11〈a, b | aab=1, bbabab=aa〉
11〈a, b | aab=1, bbabba=aa〉
11〈a, b | aab=1, bbabbb=ab〉
11〈a, b | aab=1, bbabbb=ba〉
11〈a, b | aab=1, bbbaab=aa〉
11〈a, b | aab=1, bbbaba=aa〉
11〈a, b | aab=1, bbbabb=ab〉
11〈a, b | aab=1, bbbabb=ba〉
11〈a, b | aab=1, bbbbaa=aa〉
11〈a, b | aab=1, bbbbab=ab〉
11〈a, b | aab=1, bbbbab=ba〉
11〈a, b | aab=1, bbbbba=ab〉
11〈a, b | aab=1, bbbbba=ba〉
11〈a, b | aab=1, bbbbbb=bb〉
11〈a, b | aba=1, aabbbb=aa〉
11〈a, b | aba=1, ababbb=aa〉
11〈a, b | aba=1, abbabb=aa〉
11〈a, b | aba=1, abbbab=aa〉
11〈a, b | aba=1, abbbba=aa〉
11〈a, b | aba=1, abbbbb=ab〉
11〈a, b | aba=1, abbbbb=ba〉
11〈a, b | aba=1, baabbb=aa〉
11〈a, b | aba=1, bababb=aa〉
11〈a, b | aba=1, babbab=aa〉
11〈a, b | aba=1, babbbb=ab〉
11〈a, b | aba=1, babbbb=ba〉
11〈a, b | aba=1, bbaabb=aa〉
11〈a, b | aba=1, bbabbb=ab〉
11〈a, b | aba=1, bbabbb=ba〉
11〈a, b | aba=1, bbbbbb=bb〉
11〈a, b | aab=1, aaaaa=abb〉
11〈a, b | aab=1, aaaaa=bab〉
11〈a, b | aab=1, aaaaa=bba〉
11〈a, b | aab=1, aaaab=bbb〉
11〈a, b | aab=1, aaaba=bbb〉
11〈a, b | aab=1, aabaa=bbb〉
11〈a, b | aab=1, abaaa=bbb〉
11〈a, b | aab=1, baaaa=bbb〉
11〈a, b | aba=1, aaaaa=abb〉
11〈a, b | aba=1, aaaaa=bab〉
11〈a, b | aba=1, aaaab=bbb〉
11〈a, b | aba=1, aaaba=bbb〉
11〈a, b | aba=1, aabaa=bbb〉
11〈a, b | aa=b, aaaaaaaa=1〉
11〈a, b | ab=a, aaaaaaaa=1〉
11〈a, b | aa=1, aaaaabbbb=1〉
11〈a, b | aa=1, aaaababbb=1〉
11〈a, b | aa=1, aaaabbabb=1〉
11〈a, b | aa=1, aaaabbbab=1〉
11〈a, b | aa=1, aaaabbbba=1〉
11〈a, b | aa=1, aaabaabbb=1〉
11〈a, b | aa=1, aaabababb=1〉
11〈a, b | aa=1, aaababbab=1〉
11〈a, b | aa=1, aaababbba=1〉
11〈a, b | aa=1, aaabbaabb=1〉
11〈a, b | aa=1, aaabbabab=1〉
11〈a, b | aa=1, aaabbabba=1〉
11〈a, b | aa=1, aaabbbaab=1〉
11〈a, b | aa=1, aaabbbaba=1〉
11〈a, b | aa=1, aaabbbbaa=1〉
11〈a, b | aa=1, aabaaabbb=1〉
11〈a, b | aa=1, aabaababb=1〉
11〈a, b | aa=1, aabaabbab=1〉
11〈a, b | aa=1, aabaabbba=1〉
11〈a, b | aa=1, aababaabb=1〉
11〈a, b | aa=1, aabababab=1〉
11〈a, b | aa=1, aabababba=1〉
11〈a, b | aa=1, aababbaab=1〉
11〈a, b | aa=1, aababbaba=1〉
11〈a, b | aa=1, aababbbaa=1〉
11〈a, b | aa=1, aabbaaabb=1〉
11〈a, b | aa=1, aabbaabab=1〉
11〈a, b | aa=1, aabbaabba=1〉
11〈a, b | aa=1, aabbabaab=1〉
11〈a, b | aa=1, aabbababa=1〉
11〈a, b | aa=1, aabbabbaa=1〉
11〈a, b | aa=1, aabbbaaab=1〉
11〈a, b | aa=1, aabbbaaba=1〉
11〈a, b | aa=1, abaaaabbb=1〉
11〈a, b | aa=1, abaaababb=1〉
11〈a, b | aa=1, abaaabbab=1〉
11〈a, b | aa=1, abaaabbba=1〉
11〈a, b | aa=1, abaabaabb=1〉
11〈a, b | aa=1, abaababab=1〉
11〈a, b | aa=1, abaababba=1〉
11〈a, b | aa=1, abaabbaab=1〉
11〈a, b | aa=1, abaabbaba=1〉
11〈a, b | aa=1, ababaaabb=1〉
11〈a, b | aa=1, ababaabab=1〉
11〈a, b | aa=1, ababaabba=1〉
11〈a, b | aa=1, abababaab=1〉
11〈a, b | aa=1, ababababa=1〉
11〈a, b | aa=1, ababbaaab=1〉
11〈a, b | aa=1, abbaaaabb=1〉
11〈a, b | aa=1, abbaaabab=1〉
11〈a, b | aa=1, abbaaabba=1〉
11〈a, b | aa=1, abbaabaab=1〉
11〈a, b | aa=1, abbabaaab=1〉
11〈a, b | aa=1, abbbaaaab=1〉
11〈a, b | aa=1, baaaaabbb=1〉
11〈a, b | aa=1, baaaababb=1〉
11〈a, b | aa=1, baaaabbab=1〉
11〈a, b | aa=1, baaabaabb=1〉
11〈a, b | aa=1, baaababab=1〉
11〈a, b | aa=1, baaabbaab=1〉
11〈a, b | aa=1, baabaaabb=1〉
11〈a, b | aa=1, baabaabab=1〉
11〈a, b | aa=1, baababaab=1〉
11〈a, b | aa=1, babaaaabb=1〉
11〈a, b | aa=1, babaaabab=1〉
11〈a, b | aa=1, bbaaaaabb=1〉
11〈a, b | aa=1, aaaabbbb=a〉
11〈a, b | aa=1, aaababbb=a〉
11〈a, b | aa=1, aaabbabb=a〉
11〈a, b | aa=1, aaabbbab=a〉
11〈a, b | aa=1, aaabbbba=a〉
11〈a, b | aa=1, aabaabbb=a〉
11〈a, b | aa=1, aabababb=a〉
11〈a, b | aa=1, aababbab=a〉
11〈a, b | aa=1, aababbba=a〉
11〈a, b | aa=1, aabbaabb=a〉
11〈a, b | aa=1, aabbabab=a〉
11〈a, b | aa=1, aabbabba=a〉
11〈a, b | aa=1, aabbbaab=a〉
11〈a, b | aa=1, aabbbaba=a〉
11〈a, b | aa=1, aabbbbaa=a〉
11〈a, b | aa=1, abaaabbb=a〉
11〈a, b | aa=1, abaababb=a〉
11〈a, b | aa=1, abaabbab=a〉
11〈a, b | aa=1, abaabbba=a〉
11〈a, b | aa=1, ababaabb=a〉
11〈a, b | aa=1, abababab=a〉
11〈a, b | aa=1, abababba=a〉
11〈a, b | aa=1, ababbaab=a〉
11〈a, b | aa=1, ababbaba=a〉
11〈a, b | aa=1, abbaaabb=a〉
11〈a, b | aa=1, abbaabab=a〉
11〈a, b | aa=1, abbaabba=a〉
11〈a, b | aa=1, abbabaab=a〉
11〈a, b | aa=1, abbbaaab=a〉
11〈a, b | aa=1, baaaabbb=a〉
11〈a, b | aa=1, baaababb=a〉
11〈a, b | aa=1, baaabbab=a〉
11〈a, b | aa=1, baabaabb=a〉
11〈a, b | aa=1, baababab=a〉
11〈a, b | aa=1, baabbaab=a〉
11〈a, b | aa=1, babaaabb=a〉
11〈a, b | aa=1, babaabab=a〉
11〈a, b | aa=1, bbaaaabb=a〉
11〈a, b | aa=1, aaabbbb=aa〉
11〈a, b | aa=1, aababbb=aa〉
11〈a, b | aa=1, aabbabb=aa〉
11〈a, b | aa=1, aabbbab=aa〉
11〈a, b | aa=1, aabbbba=aa〉
11〈a, b | aa=1, abaabbb=aa〉
11〈a, b | aa=1, abababb=aa〉
11〈a, b | aa=1, ababbab=aa〉
11〈a, b | aa=1, ababbba=aa〉
11〈a, b | aa=1, abbaabb=aa〉
11〈a, b | aa=1, abbabab=aa〉
11〈a, b | aa=1, abbabba=aa〉
11〈a, b | aa=1, abbbaab=aa〉
11〈a, b | aa=1, baaabbb=aa〉
11〈a, b | aa=1, baababb=aa〉
11〈a, b | aa=1, baabbab=aa〉
11〈a, b | aa=1, babaabb=aa〉
11〈a, b | aa=1, bababab=aa〉
11〈a, b | aa=1, bbaaabb=aa〉
11〈a, b | aa=1, aabbbb=aaa〉
11〈a, b | aa=1, ababbb=aaa〉
11〈a, b | aa=1, abbabb=aaa〉
11〈a, b | aa=1, abbbab=aaa〉
11〈a, b | aa=1, abbbba=aaa〉
11〈a, b | aa=1, baabbb=aaa〉
11〈a, b | aa=1, bababb=aaa〉
11〈a, b | aa=1, babbab=aaa〉
11〈a, b | aa=1, bbaabb=aaa〉
11〈a, b | aa=1, aaaaa=bbbb〉
11〈a, b | aa=1, abbbb=aaaa〉
11〈a, b | aa=1, babbb=aaaa〉
11〈a, b | aa=1, bbabb=aaaa〉