Back

〈a, b | aa=b, abb=1〉

Monoid presentation of length 6

Properties

Completion parameters

Inverses of generators

Complete rewriting system

  1. a5 ⇒ 1
  2. b ⇒ a2

Cayley table

1aa2a3a4
11aa2a3a4
aaa2a3a41
a2a2a3a41a
a3a3a41aa2
a4a41aa2a3

Right Cayley graph

Others with same cardinality

16 unique, 330 total

Length:Presentation:Description:Related:
7 〈a, b | aa=b, abb=a〉 Finite commutative monoid with 5 elements 71 isomorphic
7 〈a, b | aa=b, abb=b〉 Finite commutative monoid with 5 elements 43 isomorphic
7 〈a, b | ab=a, baa=b〉 Finite non-commutative monoid with 5 elements 43 isomorphic
8 〈a, b | aaa=b, aab=b〉 Finite commutative monoid with 5 elements 27 isomorphic
8 〈a, b | aab=a, baa=b〉 Finite non-commutative monoid with 5 elements 8 isomorphic
8 〈a, b | aab=b, aba=a〉 Finite non-commutative monoid with 5 elements 8 isomorphic
8 〈a, b | ab=a, bbbb=a〉 Finite commutative monoid with 5 elements 32 isomorphic
8 〈a, b | ab=a, aaa=bb〉 Finite commutative monoid with 5 elements 19 isomorphic
8 〈a, b | ab=a, bba=bb〉 Finite non-commutative monoid with 5 elements 15 isomorphic
8 〈a, b | ab=a, bbb=aa〉 Finite commutative monoid with 5 elements 9 isomorphic
8 〈a, b | ab=a, bbb=ba〉 Finite non-commutative monoid with 5 elements 4 isomorphic
9 〈a, b | aab=aa, bba=b〉 Finite non-commutative monoid with 5 elements 9 isomorphic
9 〈a, b | aab=b, aaba=a〉 Finite non-commutative monoid with 5 elements 10 isomorphic
10 〈a, b | aa=a, abbbba=b〉 Finite commutative monoid with 5 elements 3 isomorphic
11 〈a, b | aabb=a, baabb=b〉 Finite non-commutative monoid with 5 elements 10 isomorphic, 3 anti-isomorphic
11 〈a, b | aaa=aa, abbba=b〉 Finite commutative monoid with 5 elements

Other isomorphic instances

1132 total

Length:Presentation:
6〈a, b | aa=b, bab=1〉
7〈a, b | aaa=b, aab=1〉
7〈a, b | aaa=b, aba=1〉
7〈a, b | aab=1, abbb=1〉
7〈a, b | aab=1, babb=1〉
7〈a, b | aab=1, bbab=1〉
7〈a, b | aab=1, bbba=1〉
7〈a, b | aba=1, abbb=1〉
7〈a, b | aba=1, babb=1〉
7〈a, b | aa=b, aaab=1〉
7〈a, b | aa=b, aaba=1〉
7〈a, b | ab=1, aaaaa=1〉
7〈a, b | ab=1, aaaa=b〉
7〈a, b | ab=1, aaa=bb〉
8〈a, b | aaa=ab, abb=1〉
8〈a, b | aaa=ab, bab=1〉
8〈a, b | aaa=ab, bba=1〉
8〈a, b | aab=bb, abb=1〉
8〈a, b | aab=bb, bab=1〉
8〈a, b | aab=bb, bba=1〉
8〈a, b | aba=bb, abb=1〉
8〈a, b | aba=bb, bab=1〉
8〈a, b | aab=1, aaaaa=1〉
8〈a, b | aba=1, aaaaa=1〉
8〈a, b | aa=b, aaaaa=1〉
8〈a, b | ab=a, aaaaa=1〉
9〈a, b | aaab=a, abbb=1〉
9〈a, b | aaab=a, babb=1〉
9〈a, b | aaab=a, bbab=1〉
9〈a, b | aaab=a, bbba=1〉
9〈a, b | aaba=a, abbb=1〉
9〈a, b | aaba=a, babb=1〉
9〈a, b | aaba=a, bbab=1〉
9〈a, b | aaba=a, bbba=1〉
9〈a, b | aabb=a, abaa=1〉
9〈a, b | aabb=a, baaa=1〉
9〈a, b | aabb=b, abbb=1〉
9〈a, b | aabb=b, babb=1〉
9〈a, b | abab=a, baaa=1〉
9〈a, b | abab=b, abbb=1〉
9〈a, b | abab=b, babb=1〉
9〈a, b | abab=b, bbab=1〉
9〈a, b | abba=a, baaa=1〉
9〈a, b | abba=b, abbb=1〉
9〈a, b | abba=b, babb=1〉
9〈a, b | baab=b, babb=1〉
9〈a, b | aaa=ab, aaab=1〉
9〈a, b | aaa=ab, aaba=1〉
9〈a, b | aaa=ab, abaa=1〉
9〈a, b | aaa=ab, baaa=1〉
9〈a, b | aab=bb, aaab=1〉
9〈a, b | aab=bb, aaba=1〉
9〈a, b | aab=bb, abaa=1〉
9〈a, b | aab=bb, baaa=1〉
9〈a, b | aba=bb, aaab=1〉
9〈a, b | aba=bb, aaba=1〉
9〈a, b | aaab=1, aaaaa=1〉
9〈a, b | aaba=1, aaaaa=1〉
9〈a, b | aaa=b, aaaaa=1〉
9〈a, b | aab=a, aaaaa=1〉
9〈a, b | aba=a, aaaaa=1〉
9〈a, b | ab=aa, aaaaa=1〉
9〈a, b | ab=aa, aaaab=1〉
9〈a, b | ab=aa, aaaba=1〉
9〈a, b | ab=aa, aaabb=1〉
9〈a, b | ab=aa, aabaa=1〉
9〈a, b | ab=aa, aabab=1〉
9〈a, b | ab=aa, aabba=1〉
9〈a, b | ab=aa, aabbb=1〉
9〈a, b | ab=aa, abaaa=1〉
9〈a, b | ab=aa, abaab=1〉
9〈a, b | ab=aa, ababa=1〉
9〈a, b | ab=aa, ababb=1〉
9〈a, b | ab=aa, abbaa=1〉
9〈a, b | ab=aa, abbab=1〉
9〈a, b | ab=aa, abbba=1〉
9〈a, b | ab=aa, abbbb=1〉
9〈a, b | ab=aa, baaaa=1〉
9〈a, b | ab=aa, baaab=1〉
9〈a, b | ab=aa, baaba=1〉
9〈a, b | ab=aa, baabb=1〉
9〈a, b | ab=aa, babaa=1〉
9〈a, b | ab=aa, babab=1〉
9〈a, b | ab=aa, babba=1〉
9〈a, b | ab=aa, babbb=1〉
9〈a, b | ab=aa, bbaaa=1〉
9〈a, b | ab=aa, bbaab=1〉
9〈a, b | ab=aa, bbaba=1〉
9〈a, b | ab=aa, bbabb=1〉
9〈a, b | ab=aa, bbbaa=1〉
9〈a, b | ab=aa, bbbab=1〉
9〈a, b | ab=aa, bbbba=1〉
9〈a, b | aab=1, aabbb=a〉
9〈a, b | aab=1, ababb=a〉
9〈a, b | aab=1, abbab=a〉
9〈a, b | aab=1, abbba=a〉
9〈a, b | aab=1, abbbb=b〉
9〈a, b | aab=1, baabb=a〉
9〈a, b | aab=1, babab=a〉
9〈a, b | aab=1, babba=a〉
9〈a, b | aab=1, babbb=b〉
9〈a, b | aab=1, bbaab=a〉
9〈a, b | aab=1, bbaba=a〉
9〈a, b | aab=1, bbabb=b〉
9〈a, b | aab=1, bbbaa=a〉
9〈a, b | aab=1, bbbab=b〉
9〈a, b | aab=1, bbbba=b〉
9〈a, b | aba=1, aabbb=a〉
9〈a, b | aba=1, ababb=a〉
9〈a, b | aba=1, abbab=a〉
9〈a, b | aba=1, abbba=a〉
9〈a, b | aba=1, abbbb=b〉
9〈a, b | aba=1, baabb=a〉
9〈a, b | aba=1, babab=a〉
9〈a, b | aba=1, babbb=b〉
9〈a, b | aba=1, bbabb=b〉
9〈a, b | aab=1, aaaa=ab〉
9〈a, b | aab=1, aaaa=ba〉
9〈a, b | aab=1, aaab=bb〉
9〈a, b | aab=1, aaba=bb〉
9〈a, b | aab=1, abaa=bb〉
9〈a, b | aab=1, baaa=bb〉
9〈a, b | aba=1, aaaa=ab〉
9〈a, b | aba=1, aaab=bb〉
9〈a, b | aba=1, aaba=bb〉
9〈a, b | aa=a, abbbbb=1〉
9〈a, b | aa=a, babbbb=1〉
9〈a, b | aa=a, bbabbb=1〉
9〈a, b | ab=a, aaaaab=1〉
9〈a, b | ab=a, aaaaba=1〉
9〈a, b | ab=a, aaabaa=1〉
9〈a, b | ab=a, aabaaa=1〉
9〈a, b | ab=a, abaaaa=1〉
9〈a, b | ab=a, baaaaa=1〉
9〈a, b | ab=1, aaaaaab=1〉
9〈a, b | ab=1, aaaaaba=1〉
9〈a, b | ab=1, aaaabaa=1〉
9〈a, b | ab=1, aaabaaa=1〉
9〈a, b | ab=1, aabaaaa=1〉
9〈a, b | ab=1, abaaaaa=1〉
9〈a, b | ab=1, baaaaaa=1〉
9〈a, b | ab=1, aaaaaa=a〉
9〈a, b | ab=1, aaaaab=b〉
9〈a, b | ab=1, aaaaba=b〉
9〈a, b | ab=1, aaabaa=b〉
9〈a, b | ab=1, aabaaa=b〉
9〈a, b | ab=1, abaaaa=b〉
9〈a, b | ab=1, baaaaa=b〉
9〈a, b | ab=1, aaaaa=ab〉
9〈a, b | ab=1, aaaaa=ba〉
9〈a, b | ab=1, aaaab=bb〉
9〈a, b | ab=1, aaaba=bb〉
9〈a, b | ab=1, aabaa=bb〉
9〈a, b | ab=1, abaaa=bb〉
9〈a, b | ab=1, baaaa=bb〉
9〈a, b | ab=1, aaaa=abb〉
9〈a, b | ab=1, aaaa=bab〉
9〈a, b | ab=1, aaaa=bba〉
9〈a, b | ab=1, aaab=bbb〉
9〈a, b | ab=1, aaba=bbb〉
9〈a, b | ab=1, abaa=bbb〉
9〈a, b | ab=1, baaa=bbb〉
10〈a, b | aaaaa=1, aaaab=1〉
10〈a, b | aaaaa=1, aaaba=1〉
10〈a, b | aaaaa=1, aabaa=1〉
10〈a, b | aaaab=1, aaabb=1〉
10〈a, b | aaaab=1, aabab=1〉
10〈a, b | aaaab=1, aabba=1〉
10〈a, b | aaaab=1, abaab=1〉
10〈a, b | aaaab=1, ababa=1〉
10〈a, b | aaaab=1, abbaa=1〉
10〈a, b | aaaab=1, baaab=1〉
10〈a, b | aaaab=1, baaba=1〉
10〈a, b | aaaab=1, babaa=1〉
10〈a, b | aaaab=1, bbaaa=1〉
10〈a, b | aaaba=1, aaabb=1〉
10〈a, b | aaaba=1, aabab=1〉
10〈a, b | aaaba=1, aabba=1〉
10〈a, b | aaaba=1, abaab=1〉
10〈a, b | aaaba=1, ababa=1〉
10〈a, b | aaaba=1, abbaa=1〉
10〈a, b | aaaba=1, baaab=1〉
10〈a, b | aaaba=1, baaba=1〉
10〈a, b | aaaba=1, babaa=1〉
10〈a, b | aaaba=1, bbaaa=1〉
10〈a, b | aaabb=1, aabaa=1〉
10〈a, b | aaabb=1, aabbb=1〉
10〈a, b | aaabb=1, abbab=1〉
10〈a, b | aaabb=1, abbba=1〉
10〈a, b | aaabb=1, baabb=1〉
10〈a, b | aaabb=1, babab=1〉
10〈a, b | aaabb=1, babba=1〉
10〈a, b | aaabb=1, bbaab=1〉
10〈a, b | aaabb=1, bbaba=1〉
10〈a, b | aaabb=1, bbbaa=1〉
10〈a, b | aabaa=1, aabab=1〉
10〈a, b | aabaa=1, aabba=1〉
10〈a, b | aabaa=1, abaab=1〉
10〈a, b | aabaa=1, ababa=1〉
10〈a, b | aabaa=1, baaab=1〉
10〈a, b | aabab=1, ababb=1〉
10〈a, b | aabab=1, abbab=1〉
10〈a, b | aabab=1, abbba=1〉
10〈a, b | aabab=1, baabb=1〉
10〈a, b | aabab=1, babab=1〉
10〈a, b | aabab=1, babba=1〉
10〈a, b | aabab=1, bbaab=1〉
10〈a, b | aabab=1, bbaba=1〉
10〈a, b | aabba=1, abbab=1〉
10〈a, b | aabba=1, abbba=1〉
10〈a, b | aabba=1, baabb=1〉
10〈a, b | aabba=1, babab=1〉
10〈a, b | aabba=1, babba=1〉
10〈a, b | aabba=1, bbaab=1〉
10〈a, b | abaab=1, abbab=1〉
10〈a, b | abaab=1, abbba=1〉
10〈a, b | abaab=1, babab=1〉
10〈a, b | abaab=1, babba=1〉
10〈a, b | ababa=1, abbba=1〉
10〈a, b | ababa=1, babab=1〉
10〈a, b | abbba=1, baaab=1〉
10〈a, b | aaaa=b, aaaaa=1〉
10〈a, b | aaab=a, aaaaa=1〉
10〈a, b | aaba=a, aaaaa=1〉
10〈a, b | aaa=ab, aaaaa=1〉
10〈a, b | aab=aa, aaaaa=1〉
10〈a, b | aba=aa, aaaaa=1〉
10〈a, b | aab=1, aaabbbb=1〉
10〈a, b | aab=1, aababbb=1〉
10〈a, b | aab=1, aabbabb=1〉
10〈a, b | aab=1, aabbbab=1〉
10〈a, b | aab=1, aabbbba=1〉
10〈a, b | aab=1, abaabbb=1〉
10〈a, b | aab=1, abababb=1〉
10〈a, b | aab=1, ababbab=1〉
10〈a, b | aab=1, ababbba=1〉
10〈a, b | aab=1, abbaabb=1〉
10〈a, b | aab=1, abbabab=1〉
10〈a, b | aab=1, abbabba=1〉
10〈a, b | aab=1, abbbaab=1〉
10〈a, b | aab=1, abbbaba=1〉
10〈a, b | aab=1, abbbbaa=1〉
10〈a, b | aab=1, baaabbb=1〉
10〈a, b | aab=1, baababb=1〉
10〈a, b | aab=1, baabbab=1〉
10〈a, b | aab=1, baabbba=1〉
10〈a, b | aab=1, babaabb=1〉
10〈a, b | aab=1, bababab=1〉
10〈a, b | aab=1, bababba=1〉
10〈a, b | aab=1, babbaab=1〉
10〈a, b | aab=1, babbaba=1〉
10〈a, b | aab=1, babbbaa=1〉
10〈a, b | aab=1, bbaaabb=1〉
10〈a, b | aab=1, bbaabab=1〉
10〈a, b | aab=1, bbaabba=1〉
10〈a, b | aab=1, bbabaab=1〉
10〈a, b | aab=1, bbababa=1〉
10〈a, b | aab=1, bbabbaa=1〉
10〈a, b | aab=1, bbbaaab=1〉
10〈a, b | aab=1, bbbaaba=1〉
10〈a, b | aab=1, bbbabaa=1〉
10〈a, b | aab=1, bbbbaaa=1〉
10〈a, b | aba=1, aaabbbb=1〉
10〈a, b | aba=1, aababbb=1〉
10〈a, b | aba=1, aabbabb=1〉
10〈a, b | aba=1, aabbbab=1〉
10〈a, b | aba=1, aabbbba=1〉
10〈a, b | aba=1, abaabbb=1〉
10〈a, b | aba=1, abababb=1〉
10〈a, b | aba=1, ababbab=1〉
10〈a, b | aba=1, ababbba=1〉
10〈a, b | aba=1, abbaabb=1〉
10〈a, b | aba=1, abbabab=1〉
10〈a, b | aba=1, abbabba=1〉
10〈a, b | aba=1, abbbaab=1〉
10〈a, b | aba=1, baaabbb=1〉
10〈a, b | aba=1, baababb=1〉
10〈a, b | aba=1, baabbab=1〉
10〈a, b | aba=1, babaabb=1〉
10〈a, b | aba=1, bababab=1〉
10〈a, b | aba=1, bbaaabb=1〉
10〈a, b | aab=1, aaaaaa=a〉
10〈a, b | aab=1, aaaaab=b〉
10〈a, b | aab=1, aaaaba=b〉
10〈a, b | aab=1, aaabaa=b〉
10〈a, b | aab=1, aabaaa=b〉
10〈a, b | aab=1, abaaaa=b〉
10〈a, b | aab=1, baaaaa=b〉
10〈a, b | aba=1, aaaaaa=a〉
10〈a, b | aba=1, aaaaab=b〉
10〈a, b | aba=1, aaaaba=b〉
10〈a, b | aba=1, aaabaa=b〉
10〈a, b | aab=1, aabb=aaa〉
10〈a, b | aab=1, abab=aaa〉
10〈a, b | aab=1, abba=aaa〉
10〈a, b | aab=1, abbb=aab〉
10〈a, b | aab=1, abbb=aba〉
10〈a, b | aab=1, abbb=baa〉
10〈a, b | aab=1, baab=aaa〉
10〈a, b | aab=1, baba=aaa〉
10〈a, b | aab=1, babb=aab〉
10〈a, b | aab=1, babb=aba〉
10〈a, b | aab=1, babb=baa〉
10〈a, b | aab=1, bbaa=aaa〉
10〈a, b | aab=1, bbab=aab〉
10〈a, b | aab=1, bbab=aba〉
10〈a, b | aab=1, bbab=baa〉
10〈a, b | aab=1, bbba=aab〉
10〈a, b | aab=1, bbba=aba〉
10〈a, b | aab=1, bbba=baa〉
10〈a, b | aab=1, bbbb=abb〉
10〈a, b | aab=1, bbbb=bab〉
10〈a, b | aab=1, bbbb=bba〉
10〈a, b | aba=1, aabb=aaa〉
10〈a, b | aba=1, abab=aaa〉
10〈a, b | aba=1, abba=aaa〉
10〈a, b | aba=1, abbb=aab〉
10〈a, b | aba=1, abbb=aba〉
10〈a, b | aba=1, abbb=baa〉
10〈a, b | aba=1, baab=aaa〉
10〈a, b | aba=1, babb=aab〉
10〈a, b | aba=1, babb=aba〉
10〈a, b | aba=1, babb=baa〉
10〈a, b | aba=1, bbbb=abb〉
10〈a, b | aba=1, bbbb=bab〉
10〈a, b | aa=a, aabbbbb=1〉
10〈a, b | aa=a, ababbbb=1〉
10〈a, b | aa=a, abbabbb=1〉
10〈a, b | aa=a, abbbabb=1〉
10〈a, b | aa=a, abbbbab=1〉
10〈a, b | aa=a, abbbbba=1〉
10〈a, b | aa=a, baabbbb=1〉
10〈a, b | aa=a, bababbb=1〉
10〈a, b | aa=a, babbabb=1〉
10〈a, b | aa=a, babbbab=1〉
10〈a, b | aa=a, bbaabbb=1〉
10〈a, b | aa=a, bbababb=1〉
10〈a, b | ab=a, aaaaabb=1〉
10〈a, b | ab=a, aaaabab=1〉
10〈a, b | ab=a, aaaabba=1〉
10〈a, b | ab=a, aaabaab=1〉
10〈a, b | ab=a, aaababa=1〉
10〈a, b | ab=a, aaabbaa=1〉
10〈a, b | ab=a, aabaaab=1〉
10〈a, b | ab=a, aabaaba=1〉
10〈a, b | ab=a, aababaa=1〉
10〈a, b | ab=a, aabbaaa=1〉
10〈a, b | ab=a, abaaaab=1〉
10〈a, b | ab=a, abaaaba=1〉
10〈a, b | ab=a, abaabaa=1〉
10〈a, b | ab=a, ababaaa=1〉
10〈a, b | ab=a, abbaaaa=1〉
10〈a, b | ab=a, baaaaab=1〉
10〈a, b | ab=a, baaaaba=1〉
10〈a, b | ab=a, baaabaa=1〉
10〈a, b | ab=a, baabaaa=1〉
10〈a, b | ab=a, babaaaa=1〉
10〈a, b | ab=a, bbaaaaa=1〉
11〈a, b | aaaa=aab, aaab=1〉
11〈a, b | aaaa=aab, aaba=1〉
11〈a, b | aaaa=aab, abaa=1〉
11〈a, b | aaaa=aab, baaa=1〉
11〈a, b | aaaa=aba, aaab=1〉
11〈a, b | aaaa=aba, aaba=1〉
11〈a, b | aaab=abb, aaba=1〉
11〈a, b | aaab=abb, abaa=1〉
11〈a, b | aaab=abb, baaa=1〉
11〈a, b | aaab=bab, aaba=1〉
11〈a, b | aaab=bab, abaa=1〉
11〈a, b | aaab=bab, baaa=1〉
11〈a, b | aaab=bba, aaba=1〉
11〈a, b | aaab=bba, abaa=1〉
11〈a, b | aaab=bba, baaa=1〉
11〈a, b | aaba=abb, abaa=1〉
11〈a, b | aaba=abb, baaa=1〉
11〈a, b | aaba=bab, abaa=1〉
11〈a, b | aaba=bab, baaa=1〉
11〈a, b | aaba=bba, abaa=1〉
11〈a, b | aaba=bba, baaa=1〉
11〈a, b | aabb=aaa, abbb=1〉
11〈a, b | aabb=aaa, babb=1〉
11〈a, b | aabb=aaa, bbab=1〉
11〈a, b | aabb=aaa, bbba=1〉
11〈a, b | abaa=abb, baaa=1〉
11〈a, b | abaa=bab, baaa=1〉
11〈a, b | abaa=bba, baaa=1〉
11〈a, b | abab=aaa, abbb=1〉
11〈a, b | abab=aaa, babb=1〉
11〈a, b | abab=aaa, bbab=1〉
11〈a, b | abab=aaa, bbba=1〉
11〈a, b | abba=aaa, abbb=1〉
11〈a, b | abba=aaa, babb=1〉
11〈a, b | abba=bbb, baaa=1〉
11〈a, b | baab=aaa, babb=1〉
11〈a, b | abbbb=b, bbbbb=1〉
11〈a, b | babbb=b, bbbbb=1〉
11〈a, b | bbabb=b, bbbbb=1〉
11〈a, b | aaaa=ab, aaaaa=1〉
11〈a, b | aaab=aa, aaaaa=1〉
11〈a, b | aaba=aa, aaaaa=1〉
11〈a, b | aab=aaa, aaaaa=1〉
11〈a, b | aab=aaa, aaaab=1〉
11〈a, b | aab=aaa, aaaba=1〉
11〈a, b | aab=aaa, aaabb=1〉
11〈a, b | aab=aaa, aabaa=1〉
11〈a, b | aab=aaa, aabab=1〉
11〈a, b | aab=aaa, aabba=1〉
11〈a, b | aab=aaa, aabbb=1〉
11〈a, b | aab=aaa, abaaa=1〉
11〈a, b | aab=aaa, abaab=1〉
11〈a, b | aab=aaa, ababa=1〉
11〈a, b | aab=aaa, ababb=1〉
11〈a, b | aab=aaa, abbaa=1〉
11〈a, b | aab=aaa, abbab=1〉
11〈a, b | aab=aaa, abbba=1〉
11〈a, b | aab=aaa, abbbb=1〉
11〈a, b | aab=aaa, baaaa=1〉
11〈a, b | aab=aaa, baaab=1〉
11〈a, b | aab=aaa, baaba=1〉
11〈a, b | aab=aaa, baabb=1〉
11〈a, b | aab=aaa, babaa=1〉
11〈a, b | aab=aaa, babab=1〉
11〈a, b | aab=aaa, babba=1〉
11〈a, b | aab=aaa, babbb=1〉
11〈a, b | aab=aaa, bbaaa=1〉
11〈a, b | aab=aaa, bbaab=1〉
11〈a, b | aab=aaa, bbaba=1〉
11〈a, b | aab=aaa, bbabb=1〉
11〈a, b | aab=aaa, bbbaa=1〉
11〈a, b | aab=aaa, bbbab=1〉
11〈a, b | aab=aaa, bbbba=1〉
11〈a, b | aba=aaa, aaaaa=1〉
11〈a, b | aba=aaa, aaaab=1〉
11〈a, b | aba=aaa, aaaba=1〉
11〈a, b | aba=aaa, aaabb=1〉
11〈a, b | aba=aaa, aabaa=1〉
11〈a, b | aba=aaa, aabab=1〉
11〈a, b | aba=aaa, aabba=1〉
11〈a, b | aba=aaa, aabbb=1〉
11〈a, b | aba=aaa, abaab=1〉
11〈a, b | aba=aaa, ababa=1〉
11〈a, b | aba=aaa, ababb=1〉
11〈a, b | aba=aaa, abbab=1〉
11〈a, b | aba=aaa, abbba=1〉
11〈a, b | aba=aaa, abbbb=1〉
11〈a, b | aba=aaa, baaab=1〉
11〈a, b | aba=aaa, baabb=1〉
11〈a, b | aba=aaa, babab=1〉
11〈a, b | aba=aaa, babbb=1〉
11〈a, b | aba=aaa, bbabb=1〉
11〈a, b | abb=aab, aaaab=1〉
11〈a, b | abb=aab, aaaba=1〉
11〈a, b | abb=aab, aaabb=1〉
11〈a, b | abb=aab, aabaa=1〉
11〈a, b | abb=aab, aabab=1〉
11〈a, b | abb=aab, aabba=1〉
11〈a, b | abb=aab, abaaa=1〉
11〈a, b | abb=aab, abaab=1〉
11〈a, b | abb=aab, ababa=1〉
11〈a, b | abb=aab, abbaa=1〉
11〈a, b | abb=aab, abbba=1〉
11〈a, b | abb=aab, baaaa=1〉
11〈a, b | abb=aab, baaba=1〉
11〈a, b | abb=aab, babaa=1〉
11〈a, b | abb=aab, bbaaa=1〉
11〈a, b | abb=aba, aaaab=1〉
11〈a, b | abb=aba, aaaba=1〉
11〈a, b | abb=aba, aaabb=1〉
11〈a, b | abb=aba, aabaa=1〉
11〈a, b | abb=aba, aabab=1〉
11〈a, b | abb=aba, aabba=1〉
11〈a, b | abb=aba, aabbb=1〉
11〈a, b | abb=aba, abaaa=1〉
11〈a, b | abb=aba, abaab=1〉
11〈a, b | abb=aba, ababa=1〉
11〈a, b | abb=aba, ababb=1〉
11〈a, b | abb=aba, abbaa=1〉
11〈a, b | abb=aba, abbab=1〉
11〈a, b | abb=aba, abbba=1〉
11〈a, b | abb=aba, abbbb=1〉
11〈a, b | abb=aba, baaaa=1〉
11〈a, b | abb=aba, baaab=1〉
11〈a, b | abb=aba, baaba=1〉
11〈a, b | abb=aba, baabb=1〉
11〈a, b | abb=aba, babaa=1〉
11〈a, b | abb=aba, babab=1〉
11〈a, b | abb=aba, babba=1〉
11〈a, b | abb=aba, babbb=1〉
11〈a, b | abb=aba, bbaaa=1〉
11〈a, b | abb=aba, bbaab=1〉
11〈a, b | abb=aba, bbaba=1〉
11〈a, b | abb=aba, bbabb=1〉
11〈a, b | abb=aba, bbbaa=1〉
11〈a, b | abb=aba, bbbab=1〉
11〈a, b | abb=aba, bbbba=1〉
11〈a, b | baa=abb, aaaab=1〉
11〈a, b | baa=abb, aaaba=1〉
11〈a, b | baa=abb, aaabb=1〉
11〈a, b | baa=abb, aabaa=1〉
11〈a, b | baa=abb, aabab=1〉
11〈a, b | baa=abb, aabba=1〉
11〈a, b | baa=abb, aabbb=1〉
11〈a, b | baa=abb, abaaa=1〉
11〈a, b | baa=abb, abaab=1〉
11〈a, b | baa=abb, ababa=1〉
11〈a, b | baa=abb, ababb=1〉
11〈a, b | baa=abb, abbaa=1〉
11〈a, b | baa=abb, abbab=1〉
11〈a, b | baa=abb, abbba=1〉
11〈a, b | baa=abb, abbbb=1〉
11〈a, b | bab=aba, aaaab=1〉
11〈a, b | bab=aba, aaaba=1〉
11〈a, b | bab=aba, aaabb=1〉
11〈a, b | bab=aba, aabaa=1〉
11〈a, b | bab=aba, aabab=1〉
11〈a, b | bab=aba, aabba=1〉
11〈a, b | bab=aba, abaab=1〉
11〈a, b | bab=aba, ababa=1〉
11〈a, b | bab=aba, abbba=1〉
11〈a, b | aaaaa=1, aaaaab=1〉
11〈a, b | aaaaa=1, aaaaba=1〉
11〈a, b | aaaaa=1, aaabaa=1〉
11〈a, b | aaa=aa, abbbbb=1〉
11〈a, b | aaa=aa, babbbb=1〉
11〈a, b | aaa=aa, bbabbb=1〉
11〈a, b | aab=aa, aaaaab=1〉
11〈a, b | aab=aa, aaaaba=1〉
11〈a, b | aab=aa, aaabaa=1〉
11〈a, b | aab=aa, aabaaa=1〉
11〈a, b | aab=aa, abaaaa=1〉
11〈a, b | aab=aa, baaaaa=1〉
11〈a, b | aab=ab, abbbbb=1〉
11〈a, b | aab=ab, babbbb=1〉
11〈a, b | aab=ab, bbabbb=1〉
11〈a, b | aab=ab, bbbabb=1〉
11〈a, b | aab=ab, bbbbab=1〉
11〈a, b | aab=ab, bbbbba=1〉
11〈a, b | aab=ba, abbbbb=1〉
11〈a, b | aab=ba, babbbb=1〉
11〈a, b | aab=ba, bbabbb=1〉
11〈a, b | aab=ba, bbbabb=1〉
11〈a, b | aab=ba, bbbbab=1〉
11〈a, b | aab=ba, bbbbba=1〉
11〈a, b | aba=aa, aaaaab=1〉
11〈a, b | aba=aa, aaaaba=1〉
11〈a, b | aba=aa, aaabaa=1〉
11〈a, b | aba=ab, abbbbb=1〉
11〈a, b | aba=ab, babbbb=1〉
11〈a, b | aba=ab, bbabbb=1〉
11〈a, b | aba=ab, bbbabb=1〉
11〈a, b | aba=ab, bbbbab=1〉
11〈a, b | aba=ab, bbbbba=1〉
11〈a, b | aaab=1, aaaabbb=1〉
11〈a, b | aaab=1, aaababb=1〉
11〈a, b | aaab=1, aaabbab=1〉
11〈a, b | aaab=1, aaabbba=1〉
11〈a, b | aaab=1, aabaabb=1〉
11〈a, b | aaab=1, aababab=1〉
11〈a, b | aaab=1, aababba=1〉
11〈a, b | aaab=1, aabbaab=1〉
11〈a, b | aaab=1, aabbaba=1〉
11〈a, b | aaab=1, aabbbaa=1〉
11〈a, b | aaab=1, abaaabb=1〉
11〈a, b | aaab=1, abaabab=1〉
11〈a, b | aaab=1, abaabba=1〉
11〈a, b | aaab=1, ababaab=1〉
11〈a, b | aaab=1, abababa=1〉
11〈a, b | aaab=1, ababbaa=1〉
11〈a, b | aaab=1, abbaaab=1〉
11〈a, b | aaab=1, abbaaba=1〉
11〈a, b | aaab=1, abbabaa=1〉
11〈a, b | aaab=1, abbbaaa=1〉
11〈a, b | aaab=1, baaaabb=1〉
11〈a, b | aaab=1, baaabab=1〉
11〈a, b | aaab=1, baaabba=1〉
11〈a, b | aaab=1, baabaab=1〉
11〈a, b | aaab=1, baababa=1〉
11〈a, b | aaab=1, baabbaa=1〉
11〈a, b | aaab=1, babaaab=1〉
11〈a, b | aaab=1, babaaba=1〉
11〈a, b | aaab=1, bababaa=1〉
11〈a, b | aaab=1, babbaaa=1〉
11〈a, b | aaab=1, bbaaaab=1〉
11〈a, b | aaab=1, bbaaaba=1〉
11〈a, b | aaab=1, bbaabaa=1〉
11〈a, b | aaab=1, bbabaaa=1〉
11〈a, b | aaab=1, bbbaaaa=1〉
11〈a, b | aaba=1, aaaabbb=1〉
11〈a, b | aaba=1, aaababb=1〉
11〈a, b | aaba=1, aaabbab=1〉
11〈a, b | aaba=1, aaabbba=1〉
11〈a, b | aaba=1, aabaabb=1〉
11〈a, b | aaba=1, aababab=1〉
11〈a, b | aaba=1, aababba=1〉
11〈a, b | aaba=1, aabbaab=1〉
11〈a, b | aaba=1, aabbaba=1〉
11〈a, b | aaba=1, aabbbaa=1〉
11〈a, b | aaba=1, abaaabb=1〉
11〈a, b | aaba=1, abaabab=1〉
11〈a, b | aaba=1, abaabba=1〉
11〈a, b | aaba=1, ababaab=1〉
11〈a, b | aaba=1, abababa=1〉
11〈a, b | aaba=1, ababbaa=1〉
11〈a, b | aaba=1, abbaaab=1〉
11〈a, b | aaba=1, abbaaba=1〉
11〈a, b | aaba=1, abbabaa=1〉
11〈a, b | aaba=1, abbbaaa=1〉
11〈a, b | aaba=1, baaaabb=1〉
11〈a, b | aaba=1, baaabab=1〉
11〈a, b | aaba=1, baaabba=1〉
11〈a, b | aaba=1, baabaab=1〉
11〈a, b | aaba=1, baababa=1〉
11〈a, b | aaba=1, baabbaa=1〉
11〈a, b | aaba=1, babaaab=1〉
11〈a, b | aaba=1, babaaba=1〉
11〈a, b | aaba=1, bababaa=1〉
11〈a, b | aaba=1, babbaaa=1〉
11〈a, b | aaba=1, bbaaaab=1〉
11〈a, b | aaba=1, bbaaaba=1〉
11〈a, b | aaba=1, bbaabaa=1〉
11〈a, b | aaba=1, bbabaaa=1〉
11〈a, b | aaba=1, bbbaaaa=1〉
11〈a, b | aaab=1, aaaaaa=a〉
11〈a, b | aaab=1, aaaaab=b〉
11〈a, b | aaab=1, aaaaba=b〉
11〈a, b | aaab=1, aaabaa=b〉
11〈a, b | aaab=1, aabaaa=b〉
11〈a, b | aaab=1, abaaaa=b〉
11〈a, b | aaab=1, baaaaa=b〉
11〈a, b | aaba=1, aaaaaa=a〉
11〈a, b | aaba=1, aaaaab=b〉
11〈a, b | aaba=1, aaaaba=b〉
11〈a, b | aaba=1, aaabaa=b〉
11〈a, b | aaba=1, aabaaa=b〉
11〈a, b | aaba=1, abaaaa=b〉
11〈a, b | aaba=1, baaaaa=b〉
11〈a, b | aaab=1, aaabb=aa〉
11〈a, b | aaab=1, aabab=aa〉
11〈a, b | aaab=1, aabba=aa〉
11〈a, b | aaab=1, aabbb=ab〉
11〈a, b | aaab=1, aabbb=ba〉
11〈a, b | aaab=1, abaab=aa〉
11〈a, b | aaab=1, ababa=aa〉
11〈a, b | aaab=1, ababb=ab〉
11〈a, b | aaab=1, ababb=ba〉
11〈a, b | aaab=1, abbaa=aa〉
11〈a, b | aaab=1, abbab=ab〉
11〈a, b | aaab=1, abbab=ba〉
11〈a, b | aaab=1, abbba=ab〉
11〈a, b | aaab=1, abbba=ba〉
11〈a, b | aaab=1, abbbb=bb〉
11〈a, b | aaab=1, baaab=aa〉
11〈a, b | aaab=1, baaba=aa〉
11〈a, b | aaab=1, baabb=ab〉
11〈a, b | aaab=1, baabb=ba〉
11〈a, b | aaab=1, babaa=aa〉
11〈a, b | aaab=1, babab=ab〉
11〈a, b | aaab=1, babab=ba〉
11〈a, b | aaab=1, babba=ab〉
11〈a, b | aaab=1, babba=ba〉
11〈a, b | aaab=1, babbb=bb〉
11〈a, b | aaab=1, bbaaa=aa〉
11〈a, b | aaab=1, bbaab=ab〉
11〈a, b | aaab=1, bbaab=ba〉
11〈a, b | aaab=1, bbaba=ab〉
11〈a, b | aaab=1, bbaba=ba〉
11〈a, b | aaab=1, bbabb=bb〉
11〈a, b | aaab=1, bbbaa=ab〉
11〈a, b | aaab=1, bbbaa=ba〉
11〈a, b | aaab=1, bbbab=bb〉
11〈a, b | aaab=1, bbbba=bb〉
11〈a, b | aaba=1, aaabb=aa〉
11〈a, b | aaba=1, aabab=aa〉
11〈a, b | aaba=1, aabba=aa〉
11〈a, b | aaba=1, aabbb=ab〉
11〈a, b | aaba=1, aabbb=ba〉
11〈a, b | aaba=1, abaab=aa〉
11〈a, b | aaba=1, ababa=aa〉
11〈a, b | aaba=1, ababb=ab〉
11〈a, b | aaba=1, ababb=ba〉
11〈a, b | aaba=1, abbaa=aa〉
11〈a, b | aaba=1, abbab=ab〉
11〈a, b | aaba=1, abbab=ba〉
11〈a, b | aaba=1, abbba=ab〉
11〈a, b | aaba=1, abbba=ba〉
11〈a, b | aaba=1, abbbb=bb〉
11〈a, b | aaba=1, baaab=aa〉
11〈a, b | aaba=1, baaba=aa〉
11〈a, b | aaba=1, baabb=ab〉
11〈a, b | aaba=1, baabb=ba〉
11〈a, b | aaba=1, babaa=aa〉
11〈a, b | aaba=1, babab=ab〉
11〈a, b | aaba=1, babab=ba〉
11〈a, b | aaba=1, babba=ab〉
11〈a, b | aaba=1, babba=ba〉
11〈a, b | aaba=1, babbb=bb〉
11〈a, b | aaba=1, bbaaa=aa〉
11〈a, b | aaba=1, bbaab=ab〉
11〈a, b | aaba=1, bbaab=ba〉
11〈a, b | aaba=1, bbaba=ab〉
11〈a, b | aaba=1, bbaba=ba〉
11〈a, b | aaba=1, bbabb=bb〉
11〈a, b | aaba=1, bbbaa=ab〉
11〈a, b | aaba=1, bbbaa=ba〉
11〈a, b | aaba=1, bbbab=bb〉
11〈a, b | aaba=1, bbbba=bb〉
11〈a, b | aab=a, aaaaaab=1〉
11〈a, b | aab=a, aaaaaba=1〉
11〈a, b | aab=a, aaaabaa=1〉
11〈a, b | aab=a, aaabaaa=1〉
11〈a, b | aab=a, aabaaaa=1〉
11〈a, b | aab=a, abaaaaa=1〉
11〈a, b | aab=a, abbbbbb=1〉
11〈a, b | aab=a, baaaaaa=1〉
11〈a, b | aab=a, babbbbb=1〉
11〈a, b | aab=a, bbabbbb=1〉
11〈a, b | aab=a, bbbabbb=1〉
11〈a, b | aab=a, bbbbabb=1〉
11〈a, b | aab=a, bbbbbab=1〉
11〈a, b | aab=a, bbbbbba=1〉
11〈a, b | aba=a, aaaaaab=1〉
11〈a, b | aba=a, aaaaaba=1〉
11〈a, b | aba=a, aaaabaa=1〉
11〈a, b | aba=a, aaabaaa=1〉
11〈a, b | aba=a, abbbbbb=1〉
11〈a, b | aba=a, babbbbb=1〉
11〈a, b | aba=a, bbabbbb=1〉
11〈a, b | aba=a, bbbabbb=1〉
11〈a, b | aab=1, aaaaaaab=1〉
11〈a, b | aab=1, aaaaaaba=1〉
11〈a, b | aab=1, aaaaabaa=1〉
11〈a, b | aab=1, aaaabaaa=1〉
11〈a, b | aab=1, aaabaaaa=1〉
11〈a, b | aab=1, aabaaaaa=1〉
11〈a, b | aab=1, abaaaaaa=1〉
11〈a, b | aab=1, baaaaaaa=1〉
11〈a, b | aba=1, aaaaaaab=1〉
11〈a, b | aba=1, aaaaaaba=1〉
11〈a, b | aba=1, aaaaabaa=1〉
11〈a, b | aba=1, aaaabaaa=1〉
11〈a, b | aab=1, aaabbb=aa〉
11〈a, b | aab=1, aababb=aa〉
11〈a, b | aab=1, aabbab=aa〉
11〈a, b | aab=1, aabbba=aa〉
11〈a, b | aab=1, aabbbb=ab〉
11〈a, b | aab=1, aabbbb=ba〉
11〈a, b | aab=1, abaabb=aa〉
11〈a, b | aab=1, ababab=aa〉
11〈a, b | aab=1, ababba=aa〉
11〈a, b | aab=1, ababbb=ab〉
11〈a, b | aab=1, ababbb=ba〉
11〈a, b | aab=1, abbaab=aa〉
11〈a, b | aab=1, abbaba=aa〉
11〈a, b | aab=1, abbabb=ab〉
11〈a, b | aab=1, abbabb=ba〉
11〈a, b | aab=1, abbbaa=aa〉
11〈a, b | aab=1, abbbab=ab〉
11〈a, b | aab=1, abbbab=ba〉
11〈a, b | aab=1, abbbba=ab〉
11〈a, b | aab=1, abbbba=ba〉
11〈a, b | aab=1, abbbbb=bb〉
11〈a, b | aab=1, baaabb=aa〉
11〈a, b | aab=1, baabab=aa〉
11〈a, b | aab=1, baabba=aa〉
11〈a, b | aab=1, baabbb=ab〉
11〈a, b | aab=1, baabbb=ba〉
11〈a, b | aab=1, babaab=aa〉
11〈a, b | aab=1, bababa=aa〉
11〈a, b | aab=1, bababb=ab〉
11〈a, b | aab=1, bababb=ba〉
11〈a, b | aab=1, babbaa=aa〉
11〈a, b | aab=1, babbab=ab〉
11〈a, b | aab=1, babbab=ba〉
11〈a, b | aab=1, babbba=ab〉
11〈a, b | aab=1, babbba=ba〉
11〈a, b | aab=1, babbbb=bb〉
11〈a, b | aab=1, bbaaab=aa〉
11〈a, b | aab=1, bbaaba=aa〉
11〈a, b | aab=1, bbaabb=ab〉
11〈a, b | aab=1, bbaabb=ba〉
11〈a, b | aab=1, bbabaa=aa〉
11〈a, b | aab=1, bbabab=ab〉
11〈a, b | aab=1, bbabab=ba〉
11〈a, b | aab=1, bbabba=ab〉
11〈a, b | aab=1, bbabba=ba〉
11〈a, b | aab=1, bbabbb=bb〉
11〈a, b | aab=1, bbbaaa=aa〉
11〈a, b | aab=1, bbbaab=ab〉
11〈a, b | aab=1, bbbaab=ba〉
11〈a, b | aab=1, bbbaba=ab〉
11〈a, b | aab=1, bbbaba=ba〉
11〈a, b | aab=1, bbbabb=bb〉
11〈a, b | aab=1, bbbbaa=ab〉
11〈a, b | aab=1, bbbbaa=ba〉
11〈a, b | aab=1, bbbbab=bb〉
11〈a, b | aab=1, bbbbba=bb〉
11〈a, b | aba=1, aaabbb=aa〉
11〈a, b | aba=1, aababb=aa〉
11〈a, b | aba=1, aabbab=aa〉
11〈a, b | aba=1, aabbba=aa〉
11〈a, b | aba=1, aabbbb=ab〉
11〈a, b | aba=1, aabbbb=ba〉
11〈a, b | aba=1, abaabb=aa〉
11〈a, b | aba=1, ababab=aa〉
11〈a, b | aba=1, ababba=aa〉
11〈a, b | aba=1, ababbb=ab〉
11〈a, b | aba=1, ababbb=ba〉
11〈a, b | aba=1, abbaab=aa〉
11〈a, b | aba=1, abbabb=ab〉
11〈a, b | aba=1, abbabb=ba〉
11〈a, b | aba=1, abbbab=ab〉
11〈a, b | aba=1, abbbab=ba〉
11〈a, b | aba=1, abbbba=ab〉
11〈a, b | aba=1, abbbbb=bb〉
11〈a, b | aba=1, baaabb=aa〉
11〈a, b | aba=1, baabab=aa〉
11〈a, b | aba=1, baabbb=ab〉
11〈a, b | aba=1, baabbb=ba〉
11〈a, b | aba=1, bababb=ab〉
11〈a, b | aba=1, bababb=ba〉
11〈a, b | aba=1, babbab=ab〉
11〈a, b | aba=1, babbbb=bb〉
11〈a, b | aba=1, bbaabb=ab〉
11〈a, b | aba=1, bbabbb=bb〉
11〈a, b | aab=1, aaaaa=aab〉
11〈a, b | aab=1, aaaaa=aba〉
11〈a, b | aab=1, aaaaa=baa〉
11〈a, b | aab=1, aaaab=abb〉
11〈a, b | aab=1, aaaab=bab〉
11〈a, b | aab=1, aaaab=bba〉
11〈a, b | aab=1, aaaba=abb〉
11〈a, b | aab=1, aaaba=bab〉
11〈a, b | aab=1, aaaba=bba〉
11〈a, b | aab=1, aaabb=bbb〉
11〈a, b | aab=1, aabaa=abb〉
11〈a, b | aab=1, aabaa=bab〉
11〈a, b | aab=1, aabaa=bba〉
11〈a, b | aab=1, aabab=bbb〉
11〈a, b | aab=1, aabba=bbb〉
11〈a, b | aab=1, abaaa=abb〉
11〈a, b | aab=1, abaaa=bab〉
11〈a, b | aab=1, abaaa=bba〉
11〈a, b | aab=1, abaab=bbb〉
11〈a, b | aab=1, ababa=bbb〉
11〈a, b | aab=1, abbaa=bbb〉
11〈a, b | aab=1, baaaa=abb〉
11〈a, b | aab=1, baaaa=bab〉
11〈a, b | aab=1, baaaa=bba〉
11〈a, b | aab=1, baaab=bbb〉
11〈a, b | aab=1, baaba=bbb〉
11〈a, b | aab=1, babaa=bbb〉
11〈a, b | aab=1, bbaaa=bbb〉
11〈a, b | aba=1, aaaaa=aab〉
11〈a, b | aba=1, aaaaa=aba〉
11〈a, b | aba=1, aaaab=abb〉
11〈a, b | aba=1, aaaab=bab〉
11〈a, b | aba=1, aaaab=bba〉
11〈a, b | aba=1, aaaba=abb〉
11〈a, b | aba=1, aaaba=bab〉
11〈a, b | aba=1, aaaba=bba〉
11〈a, b | aba=1, aaabb=bbb〉
11〈a, b | aba=1, aabaa=abb〉
11〈a, b | aba=1, aabaa=bab〉
11〈a, b | aba=1, aabab=bbb〉
11〈a, b | aba=1, aabba=bbb〉
11〈a, b | aba=1, abaab=bbb〉
11〈a, b | aba=1, ababa=bbb〉
11〈a, b | aba=1, baaab=bbb〉
11〈a, b | aa=a, aaabbbbb=1〉
11〈a, b | aa=a, aababbbb=1〉
11〈a, b | aa=a, aabbabbb=1〉
11〈a, b | aa=a, aabbbabb=1〉
11〈a, b | aa=a, aabbbbab=1〉
11〈a, b | aa=a, aabbbbba=1〉
11〈a, b | aa=a, abaabbbb=1〉
11〈a, b | aa=a, abababbb=1〉
11〈a, b | aa=a, ababbabb=1〉
11〈a, b | aa=a, ababbbab=1〉
11〈a, b | aa=a, ababbbba=1〉
11〈a, b | aa=a, abbaabbb=1〉
11〈a, b | aa=a, abbababb=1〉
11〈a, b | aa=a, abbabbab=1〉
11〈a, b | aa=a, abbabbba=1〉
11〈a, b | aa=a, abbbaabb=1〉
11〈a, b | aa=a, abbbabab=1〉
11〈a, b | aa=a, abbbbaab=1〉
11〈a, b | aa=a, baaabbbb=1〉
11〈a, b | aa=a, baababbb=1〉
11〈a, b | aa=a, baabbabb=1〉
11〈a, b | aa=a, baabbbab=1〉
11〈a, b | aa=a, babaabbb=1〉
11〈a, b | aa=a, babababb=1〉
11〈a, b | aa=a, bababbab=1〉
11〈a, b | aa=a, babbaabb=1〉
11〈a, b | aa=a, bbaaabbb=1〉
11〈a, b | aa=a, bbaababb=1〉
11〈a, b | ab=a, aaaaabbb=1〉
11〈a, b | ab=a, aaaababb=1〉
11〈a, b | ab=a, aaaabbab=1〉
11〈a, b | ab=a, aaaabbba=1〉
11〈a, b | ab=a, aaabaabb=1〉
11〈a, b | ab=a, aaababab=1〉
11〈a, b | ab=a, aaababba=1〉
11〈a, b | ab=a, aaabbaab=1〉
11〈a, b | ab=a, aaabbaba=1〉
11〈a, b | ab=a, aaabbbaa=1〉
11〈a, b | ab=a, aabaaabb=1〉
11〈a, b | ab=a, aabaabab=1〉
11〈a, b | ab=a, aabaabba=1〉
11〈a, b | ab=a, aababaab=1〉
11〈a, b | ab=a, aabababa=1〉
11〈a, b | ab=a, aababbaa=1〉
11〈a, b | ab=a, aabbaaab=1〉
11〈a, b | ab=a, aabbaaba=1〉
11〈a, b | ab=a, aabbabaa=1〉
11〈a, b | ab=a, aabbbaaa=1〉
11〈a, b | ab=a, abaaaabb=1〉
11〈a, b | ab=a, abaaabab=1〉
11〈a, b | ab=a, abaaabba=1〉
11〈a, b | ab=a, abaabaab=1〉
11〈a, b | ab=a, abaababa=1〉
11〈a, b | ab=a, abaabbaa=1〉
11〈a, b | ab=a, ababaaab=1〉
11〈a, b | ab=a, ababaaba=1〉
11〈a, b | ab=a, abababaa=1〉
11〈a, b | ab=a, ababbaaa=1〉
11〈a, b | ab=a, abbaaaab=1〉
11〈a, b | ab=a, abbaaaba=1〉
11〈a, b | ab=a, abbaabaa=1〉
11〈a, b | ab=a, abbabaaa=1〉
11〈a, b | ab=a, abbbaaaa=1〉
11〈a, b | ab=a, baaaaabb=1〉
11〈a, b | ab=a, baaaabab=1〉
11〈a, b | ab=a, baaaabba=1〉
11〈a, b | ab=a, baaabaab=1〉
11〈a, b | ab=a, baaababa=1〉
11〈a, b | ab=a, baaabbaa=1〉
11〈a, b | ab=a, baabaaab=1〉
11〈a, b | ab=a, baabaaba=1〉
11〈a, b | ab=a, baababaa=1〉
11〈a, b | ab=a, baabbaaa=1〉
11〈a, b | ab=a, babaaaab=1〉
11〈a, b | ab=a, babaaaba=1〉
11〈a, b | ab=a, babaabaa=1〉
11〈a, b | ab=a, bababaaa=1〉
11〈a, b | ab=a, babbaaaa=1〉
11〈a, b | ab=a, bbaaaaab=1〉
11〈a, b | ab=a, bbaaaaba=1〉
11〈a, b | ab=a, bbaaabaa=1〉
11〈a, b | ab=a, bbaabaaa=1〉
11〈a, b | ab=a, bbabaaaa=1〉
11〈a, b | ab=a, bbbaaaaa=1〉
11〈a, b | ab=1, aaaaaaabb=1〉
11〈a, b | ab=1, aaaaaabab=1〉
11〈a, b | ab=1, aaaaaabba=1〉
11〈a, b | ab=1, aaaaabaab=1〉
11〈a, b | ab=1, aaaaababa=1〉
11〈a, b | ab=1, aaaaabbaa=1〉
11〈a, b | ab=1, aaaabaaab=1〉
11〈a, b | ab=1, aaaabaaba=1〉
11〈a, b | ab=1, aaaababaa=1〉
11〈a, b | ab=1, aaaabbaaa=1〉
11〈a, b | ab=1, aaabaaaab=1〉
11〈a, b | ab=1, aaabaaaba=1〉
11〈a, b | ab=1, aaabaabaa=1〉
11〈a, b | ab=1, aaababaaa=1〉
11〈a, b | ab=1, aaabbaaaa=1〉
11〈a, b | ab=1, aabaaaaab=1〉
11〈a, b | ab=1, aabaaaaba=1〉
11〈a, b | ab=1, aabaaabaa=1〉
11〈a, b | ab=1, aabaabaaa=1〉
11〈a, b | ab=1, aababaaaa=1〉
11〈a, b | ab=1, aabbaaaaa=1〉
11〈a, b | ab=1, abaaaaaab=1〉
11〈a, b | ab=1, abaaaaaba=1〉
11〈a, b | ab=1, abaaaabaa=1〉
11〈a, b | ab=1, abaaabaaa=1〉
11〈a, b | ab=1, abaabaaaa=1〉
11〈a, b | ab=1, ababaaaaa=1〉
11〈a, b | ab=1, abbaaaaaa=1〉
11〈a, b | ab=1, abbbbbbba=1〉
11〈a, b | ab=1, baaaaaaba=1〉
11〈a, b | ab=1, baaaaabaa=1〉
11〈a, b | ab=1, baaaabaaa=1〉
11〈a, b | ab=1, baaabaaaa=1〉
11〈a, b | ab=1, baabaaaaa=1〉
11〈a, b | ab=1, babaaaaaa=1〉
11〈a, b | ab=1, bbaaaaaaa=1〉
11〈a, b | ab=1, aaaaaaab=a〉
11〈a, b | ab=1, aaaaaaba=a〉
11〈a, b | ab=1, aaaaaabb=b〉
11〈a, b | ab=1, aaaaabaa=a〉
11〈a, b | ab=1, aaaaabab=b〉
11〈a, b | ab=1, aaaaabba=b〉
11〈a, b | ab=1, aaaabaaa=a〉
11〈a, b | ab=1, aaaabaab=b〉
11〈a, b | ab=1, aaaababa=b〉
11〈a, b | ab=1, aaaabbaa=b〉
11〈a, b | ab=1, aaabaaaa=a〉
11〈a, b | ab=1, aaabaaab=b〉
11〈a, b | ab=1, aaabaaba=b〉
11〈a, b | ab=1, aaababaa=b〉
11〈a, b | ab=1, aaabbaaa=b〉
11〈a, b | ab=1, aabaaaaa=a〉
11〈a, b | ab=1, aabaaaab=b〉
11〈a, b | ab=1, aabaaaba=b〉
11〈a, b | ab=1, aabaabaa=b〉
11〈a, b | ab=1, aababaaa=b〉
11〈a, b | ab=1, aabbaaaa=b〉
11〈a, b | ab=1, abaaaaaa=a〉
11〈a, b | ab=1, abaaaaab=b〉
11〈a, b | ab=1, abaaaaba=b〉
11〈a, b | ab=1, abaaabaa=b〉
11〈a, b | ab=1, abaabaaa=b〉
11〈a, b | ab=1, ababaaaa=b〉
11〈a, b | ab=1, abbaaaaa=b〉
11〈a, b | ab=1, abbbbbba=a〉
11〈a, b | ab=1, baaaaaaa=a〉
11〈a, b | ab=1, baaaaaba=b〉
11〈a, b | ab=1, baaaabaa=b〉
11〈a, b | ab=1, baaabaaa=b〉
11〈a, b | ab=1, baabaaaa=b〉
11〈a, b | ab=1, babaaaaa=b〉
11〈a, b | ab=1, bbaaaaaa=b〉
11〈a, b | ab=1, aaaaaaa=aa〉
11〈a, b | ab=1, aaaaaab=ab〉
11〈a, b | ab=1, aaaaaab=ba〉
11〈a, b | ab=1, aaaaaba=ab〉
11〈a, b | ab=1, aaaaaba=ba〉
11〈a, b | ab=1, aaaaabb=bb〉
11〈a, b | ab=1, aaaabaa=ab〉
11〈a, b | ab=1, aaaabaa=ba〉
11〈a, b | ab=1, aaaabab=bb〉
11〈a, b | ab=1, aaaabba=bb〉
11〈a, b | ab=1, aaabaaa=ab〉
11〈a, b | ab=1, aaabaaa=ba〉
11〈a, b | ab=1, aaabaab=bb〉
11〈a, b | ab=1, aaababa=bb〉
11〈a, b | ab=1, aaabbaa=bb〉
11〈a, b | ab=1, aabaaaa=ab〉
11〈a, b | ab=1, aabaaaa=ba〉
11〈a, b | ab=1, aabaaab=bb〉
11〈a, b | ab=1, aabaaba=bb〉
11〈a, b | ab=1, aababaa=bb〉
11〈a, b | ab=1, aabbaaa=bb〉
11〈a, b | ab=1, abaaaaa=ab〉
11〈a, b | ab=1, abaaaaa=ba〉
11〈a, b | ab=1, abaaaab=bb〉
11〈a, b | ab=1, abaaaba=bb〉
11〈a, b | ab=1, abaabaa=bb〉
11〈a, b | ab=1, ababaaa=bb〉
11〈a, b | ab=1, abbaaaa=bb〉
11〈a, b | ab=1, abbbbba=aa〉
11〈a, b | ab=1, baaaaaa=ab〉
11〈a, b | ab=1, baaaaaa=ba〉
11〈a, b | ab=1, baaaaba=bb〉
11〈a, b | ab=1, baaabaa=bb〉
11〈a, b | ab=1, baabaaa=bb〉
11〈a, b | ab=1, babaaaa=bb〉
11〈a, b | ab=1, bbaaaaa=bb〉
11〈a, b | ab=1, aaaaaa=aab〉
11〈a, b | ab=1, aaaaaa=aba〉
11〈a, b | ab=1, aaaaaa=baa〉
11〈a, b | ab=1, aaaaab=abb〉
11〈a, b | ab=1, aaaaab=bab〉
11〈a, b | ab=1, aaaaab=bba〉
11〈a, b | ab=1, aaaaba=abb〉
11〈a, b | ab=1, aaaaba=bab〉
11〈a, b | ab=1, aaaaba=bba〉
11〈a, b | ab=1, aaaabb=bbb〉
11〈a, b | ab=1, aaabaa=abb〉
11〈a, b | ab=1, aaabaa=bab〉
11〈a, b | ab=1, aaabaa=bba〉
11〈a, b | ab=1, aaabab=bbb〉
11〈a, b | ab=1, aaabba=bbb〉
11〈a, b | ab=1, aabaaa=abb〉
11〈a, b | ab=1, aabaaa=bab〉
11〈a, b | ab=1, aabaaa=bba〉
11〈a, b | ab=1, aabaab=bbb〉
11〈a, b | ab=1, aababa=bbb〉
11〈a, b | ab=1, aabbaa=bbb〉
11〈a, b | ab=1, abaaaa=abb〉
11〈a, b | ab=1, abaaaa=bab〉
11〈a, b | ab=1, abaaaa=bba〉
11〈a, b | ab=1, abaaab=bbb〉
11〈a, b | ab=1, abaaba=bbb〉
11〈a, b | ab=1, ababaa=bbb〉
11〈a, b | ab=1, abbaaa=bbb〉
11〈a, b | ab=1, abbbba=aaa〉
11〈a, b | ab=1, baaaaa=abb〉
11〈a, b | ab=1, baaaaa=bab〉
11〈a, b | ab=1, baaaaa=bba〉
11〈a, b | ab=1, baaaba=bbb〉
11〈a, b | ab=1, baabaa=bbb〉
11〈a, b | ab=1, babaaa=bbb〉
11〈a, b | ab=1, bbaaaa=bbb〉
11〈a, b | ab=1, aaaaa=aabb〉
11〈a, b | ab=1, aaaaa=abab〉
11〈a, b | ab=1, aaaaa=abba〉
11〈a, b | ab=1, aaaaa=baab〉
11〈a, b | ab=1, aaaaa=baba〉
11〈a, b | ab=1, aaaaa=bbaa〉
11〈a, b | ab=1, aaaab=abbb〉
11〈a, b | ab=1, aaaab=babb〉
11〈a, b | ab=1, aaaab=bbab〉
11〈a, b | ab=1, aaaab=bbba〉
11〈a, b | ab=1, aaaba=abbb〉
11〈a, b | ab=1, aaaba=babb〉
11〈a, b | ab=1, aaaba=bbab〉
11〈a, b | ab=1, aaaba=bbba〉
11〈a, b | ab=1, aaabb=bbbb〉
11〈a, b | ab=1, aabaa=abbb〉
11〈a, b | ab=1, aabaa=babb〉
11〈a, b | ab=1, aabaa=bbab〉
11〈a, b | ab=1, aabaa=bbba〉
11〈a, b | ab=1, aabab=bbbb〉
11〈a, b | ab=1, aabba=bbbb〉
11〈a, b | ab=1, abaaa=abbb〉
11〈a, b | ab=1, abaaa=babb〉
11〈a, b | ab=1, abaaa=bbab〉
11〈a, b | ab=1, abaaa=bbba〉
11〈a, b | ab=1, abaab=bbbb〉
11〈a, b | ab=1, ababa=bbbb〉
11〈a, b | ab=1, abbaa=bbbb〉
11〈a, b | ab=1, abbba=aaaa〉
11〈a, b | ab=1, baaaa=abbb〉
11〈a, b | ab=1, baaaa=babb〉
11〈a, b | ab=1, baaaa=bbab〉
11〈a, b | ab=1, baaaa=bbba〉
11〈a, b | ab=1, baaba=bbbb〉
11〈a, b | ab=1, babaa=bbbb〉
11〈a, b | ab=1, bbaaa=bbbb〉