⟨a, b | aaa=b, abbb=1⟩

Up:

Monoid enumeration

#500 ⟨a, b | aaa=a, bbbb=1⟩

#516 ⟨a, b | aab=a, abab=1⟩

	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹
1	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹
a	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	1
a²	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	1	a
a³	a³	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	1	a	a²
a⁴	a⁴	a⁵	a⁶	a⁷	a⁸	a⁹	1	a	a²	a³
a⁵	a⁵	a⁶	a⁷	a⁸	a⁹	1	a	a²	a³	a⁴
a⁶	a⁶	a⁷	a⁸	a⁹	1	a	a²	a³	a⁴	a⁵
a⁷	a⁷	a⁸	a⁹	1	a	a²	a³	a⁴	a⁵	a⁶
a⁸	a⁸	a⁹	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷
a⁹	a⁹	1	a	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸

a²

a³

a⁴

a⁵

a⁶

a⁷

a⁸

a⁹

a²

a³

a⁴

a⁵

a⁶

a⁷

a⁸

a⁹

a²

a³

a⁴

a⁵

a⁶

a⁷

a⁸

a⁹

a²

a³

a⁴

a⁵

a⁶

a⁷

a⁸

a⁹

a³

a⁴

a⁵

a⁶

a⁷

a⁸

a⁹

a²

a⁴

a⁵

a⁶

a⁷

a⁸

a⁹

a²

a³

a⁵

a⁶

a⁷

a⁸

a⁹

a²

a³

a⁴

a⁶

a⁷

a⁸

a⁹

a²

a³

a⁴

a⁵

a⁷

a⁸

a⁹

a²

a³

a⁴

a⁵

a⁶

a⁸

a⁹

a²

a³

a⁴

a⁵

a⁶

a⁷

a⁹

a²

a³

a⁴

a⁵

a⁶

a⁷

a⁸

Rewriting system

Format:	Pretty Plain
Word:
	Enter a word above to compute its normal form. Tips: Lowercase letters stand for generators. Spaces are ignored. Numbers repeat the previous letter, e.g. `b90`.
Strategy:	Leftmost Rightmost
Result:	1 1

Reduction order:
- Left-to-right recursive path with deg(a) = 0; deg(b) = 1
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	a¹⁰ ⇒ 1	[2]
2.	b ⇒ a³	[1]

# ab:aaa=b,abbb=1 a/b - - aaaaaaaaaa=1 b=aaa

Σ	#	Presentation	Properties	Description	φ
7	332	⟨a, b \| aa=1, abbb=b⟩	Noc 10		85
8	656	⟨a, b \| bb=aa, aba=a⟩	Noc 10		1
8	657	⟨a, b \| bb=aa, aba=b⟩	Noc 10		1
8	970	⟨a, b \| aa=a, bbb=ab⟩	Noc 10		3
9	1654	⟨a, b \| aab=bb, bba=a⟩	Noc 10		6
9	2012	⟨a, b \| aaa=b, abbb=a⟩	Noc Com 10	ℕ_{(10 = 1)}	59
9	2013	⟨a, b \| aaa=b, abbb=b⟩	Noc Com 10	ℕ_{(10 = 3)}	35
9	2277	⟨a, b \| bb=aa, aba=aa⟩	Noc 10		1
9	2894	⟨a, b \| aa=a, bbbbb=a⟩	Noc Com 10	ℕ_{(10 = 5)}	17
9	2935	⟨a, b \| aa=b, bbbbb=b⟩	Noc Com 10	ℕ_{(10 = 2)}	57
10	4637	⟨a, b \| aaaa=b, aabb=b⟩	Noc Com 10	ℕ_{(10 = 4)}	20
10	5346	⟨a, b \| aaa=bb, abb=ab⟩	Noc 10		3
10	5356	⟨a, b \| aab=aa, aba=bb⟩	Noc 10
10	6587	⟨a, b \| aaa=b, abbb=bb⟩	Noc Com 10	ℕ_{(10 = 6)}	3
10	6633	⟨a, b \| aab=a, baaa=bb⟩	Noc 10		21
10	7089	⟨a, b \| ab=aa, baaa=bb⟩	Noc 10		3
10	8619	⟨a, b \| aa=a, abbbbb=b⟩	Noc 10		5
10	9051	⟨a, b \| ab=a, baaaa=bb⟩	Noc 10		4
11	10729	⟨a, b \| aaab=baa, abab=1⟩	Grp 10		3
11	12157	⟨a, b \| aaaa=aa, abba=b⟩	Noc 10
11	12181	⟨a, b \| aaaa=ab, baaa=b⟩	Noc 10		1
11	12196	⟨a, b \| aaaa=bb, aaab=a⟩	Noc Com 10		7
11	12197	⟨a, b \| aaaa=bb, aaab=b⟩	Noc Com 10		1
11	12452	⟨a, b \| aabb=aa, bbbb=a⟩	Noc Com 10	ℕ_{(10 = 8)}	3
11	15738	⟨a, b \| aab=bb, aaaaa=b⟩	Noc Com 10	ℕ_{(10 = 7)}	7
11	19564	⟨a, b \| aab=b, abbbb=aa⟩	Noc Com 10		5
11	19899	⟨a, b \| aaa=b, abbb=bbb⟩	Noc Com 10	ℕ_{(10 = 9)}	1
11	20052	⟨a, b \| aab=b, aaaa=baa⟩	Noc 10
11	20253	⟨a, b \| aba=b, aaaa=bbb⟩	Noc Com 10
11	25905	⟨a, b \| ab=a, bbbb=baaa⟩	Noc 10
11	25909	⟨a, b \| ab=a, bbbb=bbaa⟩	Noc 10

Presentation

Properties

Description

332

⟨a, b | aa=1, abbb=b⟩

Noc 10

656

⟨a, b | bb=aa, aba=a⟩

Noc 10

657

⟨a, b | bb=aa, aba=b⟩

Noc 10

970

⟨a, b | aa=a, bbb=ab⟩

Noc 10

1654

⟨a, b | aab=bb, bba=a⟩

Noc 10

2012

⟨a, b | aaa=b, abbb=a⟩

Noc Com 10

ℕ_{(10 = 1)}

2013

⟨a, b | aaa=b, abbb=b⟩

Noc Com 10

ℕ_{(10 = 3)}

2277

⟨a, b | bb=aa, aba=aa⟩

Noc 10

2894

⟨a, b | aa=a, bbbbb=a⟩

Noc Com 10

ℕ_{(10 = 5)}

2935

⟨a, b | aa=b, bbbbb=b⟩

Noc Com 10

ℕ_{(10 = 2)}

4637

⟨a, b | aaaa=b, aabb=b⟩

Noc Com 10

ℕ_{(10 = 4)}

5346

⟨a, b | aaa=bb, abb=ab⟩

Noc 10

5356

⟨a, b | aab=aa, aba=bb⟩

Noc 10

6587

⟨a, b | aaa=b, abbb=bb⟩

Noc Com 10

ℕ_{(10 = 6)}

6633

⟨a, b | aab=a, baaa=bb⟩

Noc 10

7089

⟨a, b | ab=aa, baaa=bb⟩

Noc 10

8619

⟨a, b | aa=a, abbbbb=b⟩

Noc 10

9051

⟨a, b | ab=a, baaaa=bb⟩

Noc 10

10729

⟨a, b | aaab=baa, abab=1⟩

Grp 10

12157

⟨a, b | aaaa=aa, abba=b⟩

Noc 10

12181

⟨a, b | aaaa=ab, baaa=b⟩

Noc 10

12196

⟨a, b | aaaa=bb, aaab=a⟩

Noc Com 10

12197

⟨a, b | aaaa=bb, aaab=b⟩

Noc Com 10

12452

⟨a, b | aabb=aa, bbbb=a⟩

Noc Com 10

ℕ_{(10 = 8)}

15738

⟨a, b | aab=bb, aaaaa=b⟩

Noc Com 10

ℕ_{(10 = 7)}

19564

⟨a, b | aab=b, abbbb=aa⟩

Noc Com 10

19899

⟨a, b | aaa=b, abbb=bbb⟩

Noc Com 10

ℕ_{(10 = 9)}

20052

⟨a, b | aab=b, aaaa=baa⟩

Noc 10

20253

⟨a, b | aba=b, aaaa=bbb⟩

Noc Com 10

25905

⟨a, b | ab=a, bbbb=baaa⟩

Noc 10

25909

⟨a, b | ab=a, bbbb=bbaa⟩

Noc 10

Isomorphic instances

The mapping is from the listed presentation's alphabet to the current rewriting system's alphabet.

Σ	#	Presentation	Mapping
8	509	⟨a, b \| aaa=b, babb=1⟩	φ(a) = bbbbbbb, φ(b) = b
8	715	⟨a, b \| aab=1, bbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
8	735	⟨a, b \| aba=1, bbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
8	847	⟨a, b \| aa=b, bbbbb=1⟩	φ(a) = b, φ(b) = bb
8	1049	⟨a, b \| aa=1, abbbbb=1⟩	φ(a) = bbbbb, φ(b) = b
8	1056	⟨a, b \| aa=1, babbbb=1⟩	φ(a) = bbbbb, φ(b) = b
8	1058	⟨a, b \| aa=1, bbabbb=1⟩	φ(a) = bbbbb, φ(b) = b
8	1134	⟨a, b \| aa=1, bbbbb=a⟩	φ(a) = bbbbb, φ(b) = b
9	1325	⟨a, b \| aaaa=b, aabb=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
9	1326	⟨a, b \| aaaa=b, abab=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
9	1327	⟨a, b \| aaaa=b, abba=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
9	1329	⟨a, b \| aaaa=b, baab=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
9	1469	⟨a, b \| aaa=bb, aabb=1⟩	φ(a) = bbbb, φ(b) = b
9	1471	⟨a, b \| aaa=bb, abba=1⟩	φ(a) = bbbb, φ(b) = b
9	1473	⟨a, b \| aaa=bb, baab=1⟩	φ(a) = bbbb, φ(b) = b
9	1784	⟨a, b \| aabb=1, aaaaa=1⟩	φ(a) = bbbb, φ(b) = b
9	1816	⟨a, b \| abba=1, aaaaa=1⟩	φ(a) = bbbb, φ(b) = b
9	1835	⟨a, b \| abba=1, bbbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
9	1979	⟨a, b \| aba=b, bbbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
9	2166	⟨a, b \| bb=aa, aaaaa=1⟩	φ(a) = bbbbbb, φ(b) = b
9	2167	⟨a, b \| bb=aa, aaaab=1⟩	φ(a) = b, φ(b) = bbbbbb
9	2168	⟨a, b \| bb=aa, aaaba=1⟩	φ(a) = b, φ(b) = bbbbbb
9	2169	⟨a, b \| bb=aa, aaabb=1⟩	φ(a) = bbbbbb, φ(b) = b
9	2170	⟨a, b \| bb=aa, aabaa=1⟩	φ(a) = b, φ(b) = bbbbbb
9	2171	⟨a, b \| bb=aa, aabab=1⟩	φ(a) = bbbbbb, φ(b) = b
9	2172	⟨a, b \| bb=aa, aabba=1⟩	φ(a) = bbbbbb, φ(b) = b
9	2173	⟨a, b \| bb=aa, abaab=1⟩	φ(a) = bbbbbb, φ(b) = b
9	2174	⟨a, b \| bb=aa, ababa=1⟩	φ(a) = bbbbbb, φ(b) = b
9	2175	⟨a, b \| bb=aa, abbba=1⟩	φ(a) = b, φ(b) = bbbbbb
9	2656	⟨a, b \| aab=1, bbbb=aa⟩	φ(a) = b, φ(b) = bbbbbbbb
9	2693	⟨a, b \| aba=1, bbbb=aa⟩	φ(a) = b, φ(b) = bbbbbbbb
9	2770	⟨a, b \| aa=b, aabbbb=1⟩	φ(a) = b, φ(b) = bb
9	2776	⟨a, b \| aa=b, ababbb=1⟩	φ(a) = b, φ(b) = bb
9	2778	⟨a, b \| aa=b, abbabb=1⟩	φ(a) = b, φ(b) = bb
9	2779	⟨a, b \| aa=b, abbbab=1⟩	φ(a) = b, φ(b) = bb
9	2780	⟨a, b \| aa=b, abbbba=1⟩	φ(a) = b, φ(b) = bb
9	2785	⟨a, b \| aa=b, baabbb=1⟩	φ(a) = b, φ(b) = bb
9	2786	⟨a, b \| aa=b, bababb=1⟩	φ(a) = b, φ(b) = bb
9	2787	⟨a, b \| aa=b, babbab=1⟩	φ(a) = b, φ(b) = bb
9	2789	⟨a, b \| aa=b, bbaabb=1⟩	φ(a) = b, φ(b) = bb
9	3246	⟨a, b \| aa=1, abbabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
9	3248	⟨a, b \| aa=1, abbbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
9	3263	⟨a, b \| aa=1, babbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
9	3264	⟨a, b \| aa=1, babbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
9	3404	⟨a, b \| aa=1, bbabbb=a⟩	φ(a) = bbbbb, φ(b) = bbbbbb
10	3759	⟨a, b \| aaaa=ab, abbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3763	⟨a, b \| aaaa=ab, babb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3765	⟨a, b \| aaaa=ab, bbab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3766	⟨a, b \| aaaa=ab, bbba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3768	⟨a, b \| aaaa=bb, aaab=1⟩	φ(a) = bbb, φ(b) = b
10	3769	⟨a, b \| aaaa=bb, aaba=1⟩	φ(a) = bbb, φ(b) = b
10	3824	⟨a, b \| aaab=bb, abbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3828	⟨a, b \| aaab=bb, babb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3830	⟨a, b \| aaab=bb, bbab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3831	⟨a, b \| aaab=bb, bbba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3876	⟨a, b \| aaba=bb, abbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3880	⟨a, b \| aaba=bb, babb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3882	⟨a, b \| aaba=bb, bbab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	3883	⟨a, b \| aaba=bb, bbba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	4202	⟨a, b \| aaaaa=1, aaabb=1⟩	φ(a) = bbbbbb, φ(b) = b
10	4204	⟨a, b \| aaaaa=1, aabab=1⟩	φ(a) = bbbbbb, φ(b) = b
10	4205	⟨a, b \| aaaaa=1, aabba=1⟩	φ(a) = bbbbbb, φ(b) = b
10	4207	⟨a, b \| aaaaa=1, abaab=1⟩	φ(a) = bbbbbb, φ(b) = b
10	4208	⟨a, b \| aaaaa=1, ababa=1⟩	φ(a) = bbbbbb, φ(b) = b
10	4213	⟨a, b \| aaaaa=1, baaab=1⟩	φ(a) = bbbbbb, φ(b) = b
10	4224	⟨a, b \| aaaab=1, aabbb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4228	⟨a, b \| aaaab=1, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4230	⟨a, b \| aaaab=1, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4231	⟨a, b \| aaaab=1, abbba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4236	⟨a, b \| aaaab=1, baabb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4238	⟨a, b \| aaaab=1, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4239	⟨a, b \| aaaab=1, babba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4242	⟨a, b \| aaaab=1, bbaab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4243	⟨a, b \| aaaab=1, bbaba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4245	⟨a, b \| aaaab=1, bbbaa=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4252	⟨a, b \| aaaba=1, aabbb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4256	⟨a, b \| aaaba=1, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4258	⟨a, b \| aaaba=1, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4259	⟨a, b \| aaaba=1, abbba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4262	⟨a, b \| aaaba=1, baabb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4264	⟨a, b \| aaaba=1, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4265	⟨a, b \| aaaba=1, babba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4268	⟨a, b \| aaaba=1, bbaab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4269	⟨a, b \| aaaba=1, bbaba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4271	⟨a, b \| aaaba=1, bbbaa=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4292	⟨a, b \| aaabb=1, bbabb=1⟩	φ(a) = bbbbbb, φ(b) = b
10	4298	⟨a, b \| aabaa=1, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4299	⟨a, b \| aabaa=1, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4300	⟨a, b \| aabaa=1, abbba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4302	⟨a, b \| aabaa=1, baabb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4303	⟨a, b \| aabaa=1, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbb
10	4510	⟨a, b \| aabb=a, aaaaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4542	⟨a, b \| abab=a, aaaaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4574	⟨a, b \| abba=a, aaaaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4613	⟨a, b \| abba=b, bbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
10	4802	⟨a, b \| aaa=bb, aaaaa=1⟩	φ(a) = bbbb, φ(b) = b
10	4949	⟨a, b \| aab=bb, bbbbb=1⟩	φ(a) = b, φ(b) = bb
10	5021	⟨a, b \| aba=bb, bbbbb=1⟩	φ(a) = b, φ(b) = bb
10	5473	⟨a, b \| aaab=1, aabbbb=1⟩	φ(a) = bbb, φ(b) = b
10	5481	⟨a, b \| aaab=1, ababbb=1⟩	φ(a) = bbb, φ(b) = b
10	5485	⟨a, b \| aaab=1, abbabb=1⟩	φ(a) = bbb, φ(b) = b
10	5487	⟨a, b \| aaab=1, abbbab=1⟩	φ(a) = bbb, φ(b) = b
10	5488	⟨a, b \| aaab=1, abbbba=1⟩	φ(a) = bbb, φ(b) = b
10	5497	⟨a, b \| aaab=1, baabbb=1⟩	φ(a) = bbb, φ(b) = b
10	5501	⟨a, b \| aaab=1, bababb=1⟩	φ(a) = bbb, φ(b) = b
10	5503	⟨a, b \| aaab=1, babbab=1⟩	φ(a) = bbb, φ(b) = b
10	5504	⟨a, b \| aaab=1, babbba=1⟩	φ(a) = bbb, φ(b) = b
10	5509	⟨a, b \| aaab=1, bbaabb=1⟩	φ(a) = bbb, φ(b) = b
10	5511	⟨a, b \| aaab=1, bbabab=1⟩	φ(a) = bbb, φ(b) = b
10	5512	⟨a, b \| aaab=1, bbabba=1⟩	φ(a) = bbb, φ(b) = b
10	5515	⟨a, b \| aaab=1, bbbaab=1⟩	φ(a) = bbb, φ(b) = b
10	5516	⟨a, b \| aaab=1, bbbaba=1⟩	φ(a) = bbb, φ(b) = b
10	5518	⟨a, b \| aaab=1, bbbbaa=1⟩	φ(a) = bbb, φ(b) = b
10	5537	⟨a, b \| aaba=1, aabbbb=1⟩	φ(a) = bbb, φ(b) = b
10	5545	⟨a, b \| aaba=1, ababbb=1⟩	φ(a) = bbb, φ(b) = b
10	5549	⟨a, b \| aaba=1, abbabb=1⟩	φ(a) = bbb, φ(b) = b
10	5551	⟨a, b \| aaba=1, abbbab=1⟩	φ(a) = bbb, φ(b) = b
10	5552	⟨a, b \| aaba=1, abbbba=1⟩	φ(a) = bbb, φ(b) = b
10	5561	⟨a, b \| aaba=1, baabbb=1⟩	φ(a) = bbb, φ(b) = b
10	5565	⟨a, b \| aaba=1, bababb=1⟩	φ(a) = bbb, φ(b) = b
10	5567	⟨a, b \| aaba=1, babbab=1⟩	φ(a) = bbb, φ(b) = b
10	5568	⟨a, b \| aaba=1, babbba=1⟩	φ(a) = bbb, φ(b) = b
10	5573	⟨a, b \| aaba=1, bbaabb=1⟩	φ(a) = bbb, φ(b) = b
10	5575	⟨a, b \| aaba=1, bbabab=1⟩	φ(a) = bbb, φ(b) = b
10	5576	⟨a, b \| aaba=1, bbabba=1⟩	φ(a) = bbb, φ(b) = b
10	5579	⟨a, b \| aaba=1, bbbaab=1⟩	φ(a) = bbb, φ(b) = b
10	5580	⟨a, b \| aaba=1, bbbaba=1⟩	φ(a) = bbb, φ(b) = b
10	5582	⟨a, b \| aaba=1, bbbbaa=1⟩	φ(a) = bbb, φ(b) = b
10	5991	⟨a, b \| aaa=a, abbbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	5998	⟨a, b \| aaa=a, babbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6000	⟨a, b \| aaa=a, bbabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6005	⟨a, b \| aaa=b, aaaabb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6007	⟨a, b \| aaa=b, aaabab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6008	⟨a, b \| aaa=b, aaabba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6010	⟨a, b \| aaa=b, aabaab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6011	⟨a, b \| aaa=b, aababa=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6013	⟨a, b \| aaa=b, aabbaa=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6017	⟨a, b \| aaa=b, abaaab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6018	⟨a, b \| aaa=b, abaaba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6028	⟨a, b \| aaa=b, baaaab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6133	⟨a, b \| aab=b, abbbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6149	⟨a, b \| aab=b, babbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6157	⟨a, b \| aab=b, bbabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6161	⟨a, b \| aab=b, bbbabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6163	⟨a, b \| aab=b, bbbbab=1⟩	φ(a) = bbbbb, φ(b) = b
10	6164	⟨a, b \| aab=b, bbbbba=1⟩	φ(a) = bbbbb, φ(b) = b
10	6227	⟨a, b \| aba=b, abbbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6234	⟨a, b \| aba=b, babbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	6236	⟨a, b \| aba=b, bbabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	7614	⟨a, b \| aab=1, abbbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7646	⟨a, b \| aab=1, babbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7662	⟨a, b \| aab=1, bbabbb=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7670	⟨a, b \| aab=1, bbbabb=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7674	⟨a, b \| aab=1, bbbbab=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7676	⟨a, b \| aab=1, bbbbba=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7679	⟨a, b \| aab=1, bbbbbb=b⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7730	⟨a, b \| aba=1, abbbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7744	⟨a, b \| aba=1, babbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7748	⟨a, b \| aba=1, bbabbb=a⟩	φ(a) = b, φ(b) = bbbbbbbb
10	7751	⟨a, b \| aba=1, bbbbbb=b⟩	φ(a) = b, φ(b) = bbbbbbbb
10	8103	⟨a, b \| aab=1, aaaa=bbb⟩	φ(a) = b, φ(b) = bbbbbbbb
10	8229	⟨a, b \| aba=1, aaaa=bbb⟩	φ(a) = b, φ(b) = bbbbbbbb
10	8375	⟨a, b \| aa=b, aaaabbb=1⟩	φ(a) = b, φ(b) = bb
10	8379	⟨a, b \| aa=b, aaababb=1⟩	φ(a) = b, φ(b) = bb
10	8381	⟨a, b \| aa=b, aaabbab=1⟩	φ(a) = b, φ(b) = bb
10	8382	⟨a, b \| aa=b, aaabbba=1⟩	φ(a) = b, φ(b) = bb
10	8386	⟨a, b \| aa=b, aabaabb=1⟩	φ(a) = b, φ(b) = bb
10	8388	⟨a, b \| aa=b, aababab=1⟩	φ(a) = b, φ(b) = bb
10	8389	⟨a, b \| aa=b, aababba=1⟩	φ(a) = b, φ(b) = bb
10	8391	⟨a, b \| aa=b, aabbaab=1⟩	φ(a) = b, φ(b) = bb
10	8392	⟨a, b \| aa=b, aabbaba=1⟩	φ(a) = b, φ(b) = bb
10	8394	⟨a, b \| aa=b, aabbbaa=1⟩	φ(a) = b, φ(b) = bb
10	8400	⟨a, b \| aa=b, abaaabb=1⟩	φ(a) = b, φ(b) = bb
10	8401	⟨a, b \| aa=b, abaabab=1⟩	φ(a) = b, φ(b) = bb
10	8402	⟨a, b \| aa=b, abaabba=1⟩	φ(a) = b, φ(b) = bb
10	8404	⟨a, b \| aa=b, ababaab=1⟩	φ(a) = b, φ(b) = bb
10	8405	⟨a, b \| aa=b, abababa=1⟩	φ(a) = b, φ(b) = bb
10	8410	⟨a, b \| aa=b, abbaaab=1⟩	φ(a) = b, φ(b) = bb
10	8421	⟨a, b \| aa=b, baaaabb=1⟩	φ(a) = b, φ(b) = bb
10	8422	⟨a, b \| aa=b, baaabab=1⟩	φ(a) = b, φ(b) = bb
10	8424	⟨a, b \| aa=b, baabaab=1⟩	φ(a) = b, φ(b) = bb
10	9414	⟨a, b \| aa=1, aaabbbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9428	⟨a, b \| aa=1, aababbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9434	⟨a, b \| aa=1, aabbabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9437	⟨a, b \| aa=1, aabbbabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9439	⟨a, b \| aa=1, aabbbbab=1⟩	φ(a) = bbbbb, φ(b) = b
10	9440	⟨a, b \| aa=1, aabbbbba=1⟩	φ(a) = bbbbb, φ(b) = b
10	9453	⟨a, b \| aa=1, abaabbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9461	⟨a, b \| aa=1, ababbabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9463	⟨a, b \| aa=1, ababbbba=1⟩	φ(a) = bbbbb, φ(b) = b
10	9469	⟨a, b \| aa=1, abbaabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9471	⟨a, b \| aa=1, abbababb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9472	⟨a, b \| aa=1, abbabbab=1⟩	φ(a) = bbbbb, φ(b) = b
10	9473	⟨a, b \| aa=1, abbabbba=1⟩	φ(a) = bbbbb, φ(b) = b
10	9476	⟨a, b \| aa=1, abbbaabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9479	⟨a, b \| aa=1, abbbbaab=1⟩	φ(a) = bbbbb, φ(b) = b
10	9491	⟨a, b \| aa=1, baaabbbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9494	⟨a, b \| aa=1, baababbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9496	⟨a, b \| aa=1, baabbabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9497	⟨a, b \| aa=1, baabbbab=1⟩	φ(a) = bbbbb, φ(b) = b
10	9501	⟨a, b \| aa=1, babaabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9503	⟨a, b \| aa=1, bababbab=1⟩	φ(a) = bbbbb, φ(b) = b
10	9505	⟨a, b \| aa=1, babbaabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9511	⟨a, b \| aa=1, bbaaabbb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9512	⟨a, b \| aa=1, bbaababb=1⟩	φ(a) = bbbbb, φ(b) = b
10	9714	⟨a, b \| aa=1, aabbbbb=a⟩	φ(a) = bbbbb, φ(b) = b
10	9738	⟨a, b \| aa=1, ababbbb=a⟩	φ(a) = bbbbb, φ(b) = b
10	9748	⟨a, b \| aa=1, abbabbb=a⟩	φ(a) = bbbbb, φ(b) = b
10	9752	⟨a, b \| aa=1, abbbabb=a⟩	φ(a) = bbbbb, φ(b) = b
10	9754	⟨a, b \| aa=1, abbbbab=a⟩	φ(a) = bbbbb, φ(b) = b
10	9756	⟨a, b \| aa=1, abbbbba=a⟩	φ(a) = bbbbb, φ(b) = b
10	9774	⟨a, b \| aa=1, baabbbb=a⟩	φ(a) = bbbbb, φ(b) = b
10	9782	⟨a, b \| aa=1, babbabb=a⟩	φ(a) = bbbbb, φ(b) = b
10	9790	⟨a, b \| aa=1, bbaabbb=a⟩	φ(a) = bbbbb, φ(b) = b
10	9792	⟨a, b \| aa=1, bbababb=a⟩	φ(a) = bbbbb, φ(b) = b
10	10024	⟨a, b \| aa=1, abbbbb=aa⟩	φ(a) = bbbbb, φ(b) = b
10	10050	⟨a, b \| aa=1, babbbb=aa⟩	φ(a) = bbbbb, φ(b) = b
10	10057	⟨a, b \| aa=1, bbabbb=aa⟩	φ(a) = bbbbb, φ(b) = b
10	10338	⟨a, b \| aa=1, bbbbb=aaa⟩	φ(a) = bbbbb, φ(b) = b
11	10639	⟨a, b \| aaaa=abb, aabb=1⟩	φ(a) = bbbb, φ(b) = b
11	10642	⟨a, b \| aaaa=abb, abba=1⟩	φ(a) = bbbb, φ(b) = b
11	10645	⟨a, b \| aaaa=abb, baab=1⟩	φ(a) = bbbb, φ(b) = b
11	10648	⟨a, b \| aaaa=abb, bbaa=1⟩	φ(a) = bbbb, φ(b) = b
11	10654	⟨a, b \| aaaa=bab, aabb=1⟩	φ(a) = bbbb, φ(b) = b
11	10656	⟨a, b \| aaaa=bab, abba=1⟩	φ(a) = bbbb, φ(b) = b
11	10658	⟨a, b \| aaaa=bab, baab=1⟩	φ(a) = bbbb, φ(b) = b
11	10769	⟨a, b \| aaab=bbb, aabb=1⟩	φ(a) = bbbb, φ(b) = b
11	10772	⟨a, b \| aaab=bbb, abba=1⟩	φ(a) = bbbb, φ(b) = b
11	10775	⟨a, b \| aaab=bbb, baab=1⟩	φ(a) = bbbb, φ(b) = b
11	10778	⟨a, b \| aaab=bbb, bbaa=1⟩	φ(a) = bbbb, φ(b) = b
11	10873	⟨a, b \| aaba=bbb, aabb=1⟩	φ(a) = bbbb, φ(b) = b
11	10875	⟨a, b \| aaba=bbb, abab=1⟩	φ(a) = bbbb, φ(b) = b
11	10876	⟨a, b \| aaba=bbb, abba=1⟩	φ(a) = bbbb, φ(b) = b
11	10879	⟨a, b \| aaba=bbb, baab=1⟩	φ(a) = bbbb, φ(b) = b
11	10880	⟨a, b \| aaba=bbb, baba=1⟩	φ(a) = bbbb, φ(b) = b
11	10882	⟨a, b \| aaba=bbb, bbaa=1⟩	φ(a) = bbbb, φ(b) = b
11	11451	⟨a, b \| aabbb=b, bbbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	11555	⟨a, b \| abbab=b, bbbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	11583	⟨a, b \| abbba=b, bbbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	11607	⟨a, b \| baabb=b, bbbbb=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	11672	⟨a, b \| aaaa=bb, aaaaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	12012	⟨a, b \| abab=aa, aaaaa=1⟩	φ(a) = bbbbbb, φ(b) = bbbbb
11	12147	⟨a, b \| abba=bb, bbbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	12724	⟨a, b \| abb=aaa, aaaaa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12725	⟨a, b \| abb=aaa, aaaab=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12726	⟨a, b \| abb=aaa, aaaba=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12727	⟨a, b \| abb=aaa, aaabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12728	⟨a, b \| abb=aaa, aabaa=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12729	⟨a, b \| abb=aaa, aabab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12730	⟨a, b \| abb=aaa, aabba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12731	⟨a, b \| abb=aaa, aabbb=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12732	⟨a, b \| abb=aaa, abaaa=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12733	⟨a, b \| abb=aaa, abaab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12734	⟨a, b \| abb=aaa, ababa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12735	⟨a, b \| abb=aaa, ababb=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12736	⟨a, b \| abb=aaa, abbaa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12737	⟨a, b \| abb=aaa, abbab=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12738	⟨a, b \| abb=aaa, abbba=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12739	⟨a, b \| abb=aaa, abbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12740	⟨a, b \| abb=aaa, baaaa=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12741	⟨a, b \| abb=aaa, baaab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12742	⟨a, b \| abb=aaa, baaba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12743	⟨a, b \| abb=aaa, baabb=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12744	⟨a, b \| abb=aaa, babaa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12745	⟨a, b \| abb=aaa, babab=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12746	⟨a, b \| abb=aaa, babba=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12747	⟨a, b \| abb=aaa, babbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12748	⟨a, b \| abb=aaa, bbaaa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12749	⟨a, b \| abb=aaa, bbaab=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12750	⟨a, b \| abb=aaa, bbaba=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12751	⟨a, b \| abb=aaa, bbabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12752	⟨a, b \| abb=aaa, bbbaa=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12753	⟨a, b \| abb=aaa, bbbab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12754	⟨a, b \| abb=aaa, bbbba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12840	⟨a, b \| bab=aaa, aaaaa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12841	⟨a, b \| bab=aaa, aaaab=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12842	⟨a, b \| bab=aaa, aaaba=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12843	⟨a, b \| bab=aaa, aaabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12844	⟨a, b \| bab=aaa, aabaa=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12845	⟨a, b \| bab=aaa, aabab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12846	⟨a, b \| bab=aaa, aabba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12848	⟨a, b \| bab=aaa, abaab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12849	⟨a, b \| bab=aaa, ababa=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12850	⟨a, b \| bab=aaa, ababb=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12851	⟨a, b \| bab=aaa, abbab=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12853	⟨a, b \| bab=aaa, abbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12854	⟨a, b \| bab=aaa, baaab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12856	⟨a, b \| bab=aaa, babab=1⟩	φ(a) = b, φ(b) = bbbbbb
11	12857	⟨a, b \| bab=aaa, babbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	12858	⟨a, b \| bab=aaa, bbabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	13276	⟨a, b \| aaaaa=1, aaaabb=1⟩	φ(a) = bb, φ(b) = b
11	13278	⟨a, b \| aaaaa=1, aaabab=1⟩	φ(a) = bb, φ(b) = b
11	13279	⟨a, b \| aaaaa=1, aaabba=1⟩	φ(a) = bb, φ(b) = b
11	13282	⟨a, b \| aaaaa=1, aababa=1⟩	φ(a) = bb, φ(b) = b
11	13284	⟨a, b \| aaaaa=1, aabbaa=1⟩	φ(a) = bb, φ(b) = b
11	13288	⟨a, b \| aaaaa=1, abaaab=1⟩	φ(a) = bb, φ(b) = b
11	13299	⟨a, b \| aaaaa=1, baaaab=1⟩	φ(a) = bb, φ(b) = b
11	14924	⟨a, b \| aaa=ab, aabbbb=1⟩	φ(a) = b, φ(b) = bb
11	14932	⟨a, b \| aaa=ab, ababbb=1⟩	φ(a) = b, φ(b) = bb
11	14936	⟨a, b \| aaa=ab, abbabb=1⟩	φ(a) = b, φ(b) = bb
11	14938	⟨a, b \| aaa=ab, abbbab=1⟩	φ(a) = b, φ(b) = bb
11	14939	⟨a, b \| aaa=ab, abbbba=1⟩	φ(a) = b, φ(b) = bb
11	14948	⟨a, b \| aaa=ab, baabbb=1⟩	φ(a) = b, φ(b) = bb
11	14952	⟨a, b \| aaa=ab, bababb=1⟩	φ(a) = b, φ(b) = bb
11	14954	⟨a, b \| aaa=ab, babbab=1⟩	φ(a) = b, φ(b) = bb
11	14955	⟨a, b \| aaa=ab, babbba=1⟩	φ(a) = b, φ(b) = bb
11	14960	⟨a, b \| aaa=ab, bbaabb=1⟩	φ(a) = b, φ(b) = bb
11	14962	⟨a, b \| aaa=ab, bbabab=1⟩	φ(a) = b, φ(b) = bb
11	14963	⟨a, b \| aaa=ab, bbabba=1⟩	φ(a) = b, φ(b) = bb
11	14966	⟨a, b \| aaa=ab, bbbaab=1⟩	φ(a) = b, φ(b) = bb
11	14967	⟨a, b \| aaa=ab, bbbaba=1⟩	φ(a) = b, φ(b) = bb
11	14969	⟨a, b \| aaa=ab, bbbbaa=1⟩	φ(a) = b, φ(b) = bb
11	15216	⟨a, b \| aab=bb, aabbbb=1⟩	φ(a) = b, φ(b) = bb
11	15224	⟨a, b \| aab=bb, ababbb=1⟩	φ(a) = b, φ(b) = bb
11	15228	⟨a, b \| aab=bb, abbabb=1⟩	φ(a) = b, φ(b) = bb
11	15230	⟨a, b \| aab=bb, abbbab=1⟩	φ(a) = b, φ(b) = bb
11	15231	⟨a, b \| aab=bb, abbbba=1⟩	φ(a) = b, φ(b) = bb
11	15240	⟨a, b \| aab=bb, baabbb=1⟩	φ(a) = b, φ(b) = bb
11	15244	⟨a, b \| aab=bb, bababb=1⟩	φ(a) = b, φ(b) = bb
11	15246	⟨a, b \| aab=bb, babbab=1⟩	φ(a) = b, φ(b) = bb
11	15247	⟨a, b \| aab=bb, babbba=1⟩	φ(a) = b, φ(b) = bb
11	15252	⟨a, b \| aab=bb, bbaabb=1⟩	φ(a) = b, φ(b) = bb
11	15254	⟨a, b \| aab=bb, bbabab=1⟩	φ(a) = b, φ(b) = bb
11	15255	⟨a, b \| aab=bb, bbabba=1⟩	φ(a) = b, φ(b) = bb
11	15258	⟨a, b \| aab=bb, bbbaab=1⟩	φ(a) = b, φ(b) = bb
11	15259	⟨a, b \| aab=bb, bbbaba=1⟩	φ(a) = b, φ(b) = bb
11	15261	⟨a, b \| aab=bb, bbbbaa=1⟩	φ(a) = b, φ(b) = bb
11	15379	⟨a, b \| aba=bb, aabbbb=1⟩	φ(a) = b, φ(b) = bb
11	15385	⟨a, b \| aba=bb, ababbb=1⟩	φ(a) = b, φ(b) = bb
11	15388	⟨a, b \| aba=bb, abbbab=1⟩	φ(a) = b, φ(b) = bb
11	15389	⟨a, b \| aba=bb, abbbba=1⟩	φ(a) = b, φ(b) = bb
11	15394	⟨a, b \| aba=bb, baabbb=1⟩	φ(a) = b, φ(b) = bb
11	15395	⟨a, b \| aba=bb, bababb=1⟩	φ(a) = b, φ(b) = bb
11	15398	⟨a, b \| aba=bb, bbaabb=1⟩	φ(a) = b, φ(b) = bb
11	16889	⟨a, b \| aabb=1, aaaaaab=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16890	⟨a, b \| aabb=1, aaaaaba=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16892	⟨a, b \| aabb=1, aaaabaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16896	⟨a, b \| aabb=1, aaabaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16903	⟨a, b \| aabb=1, aabaaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16916	⟨a, b \| aabb=1, abaaaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16936	⟨a, b \| aabb=1, baaaaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16953	⟨a, b \| abab=1, aaaaaab=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16954	⟨a, b \| abab=1, aaaaaba=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16956	⟨a, b \| abab=1, aaaabaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16960	⟨a, b \| abab=1, aaabaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16967	⟨a, b \| abab=1, aabaaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	16980	⟨a, b \| abab=1, abaaaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17000	⟨a, b \| abab=1, baaaaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17017	⟨a, b \| abba=1, aaaaaab=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17018	⟨a, b \| abba=1, aaaaaba=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17020	⟨a, b \| abba=1, aaaabaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17024	⟨a, b \| abba=1, aaabaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17067	⟨a, b \| abba=1, abbbbbb=1⟩	φ(a) = bbbb, φ(b) = b
11	17081	⟨a, b \| abba=1, babbbbb=1⟩	φ(a) = bbbb, φ(b) = b
11	17085	⟨a, b \| abba=1, bbabbbb=1⟩	φ(a) = bbbb, φ(b) = b
11	17086	⟨a, b \| abba=1, bbbabbb=1⟩	φ(a) = bbbb, φ(b) = b
11	17416	⟨a, b \| aabb=1, aaaaaa=a⟩	φ(a) = bbbb, φ(b) = b
11	17419	⟨a, b \| aabb=1, aaaaab=b⟩	φ(a) = bbbb, φ(b) = b
11	17421	⟨a, b \| aabb=1, aaaaba=b⟩	φ(a) = bbbb, φ(b) = b
11	17425	⟨a, b \| aabb=1, aaabaa=b⟩	φ(a) = bbbb, φ(b) = b
11	17432	⟨a, b \| aabb=1, aabaaa=b⟩	φ(a) = bbbb, φ(b) = b
11	17445	⟨a, b \| aabb=1, abaaaa=b⟩	φ(a) = bbbb, φ(b) = b
11	17465	⟨a, b \| aabb=1, baaaaa=b⟩	φ(a) = bbbb, φ(b) = b
11	17489	⟨a, b \| abab=1, aaabaa=b⟩	φ(a) = bbbb, φ(b) = b
11	17496	⟨a, b \| abab=1, aabaaa=b⟩	φ(a) = bbbb, φ(b) = b
11	17544	⟨a, b \| abba=1, aaaaaa=a⟩	φ(a) = bbbb, φ(b) = b
11	17547	⟨a, b \| abba=1, aaaaab=b⟩	φ(a) = bbbb, φ(b) = b
11	17549	⟨a, b \| abba=1, aaaaba=b⟩	φ(a) = bbbb, φ(b) = b
11	17553	⟨a, b \| abba=1, aaabaa=b⟩	φ(a) = bbbb, φ(b) = b
11	17594	⟨a, b \| abba=1, abbbbb=a⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17608	⟨a, b \| abba=1, babbbb=a⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17612	⟨a, b \| abba=1, bbabbb=a⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17615	⟨a, b \| abba=1, bbbbbb=b⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17945	⟨a, b \| aabb=1, aaaaa=ab⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17946	⟨a, b \| aabb=1, aaaaa=ba⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17951	⟨a, b \| aabb=1, aaaab=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17955	⟨a, b \| aabb=1, aaaba=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17963	⟨a, b \| aabb=1, aabaa=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17975	⟨a, b \| aabb=1, abaaa=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	17995	⟨a, b \| aabb=1, baaaa=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18009	⟨a, b \| abab=1, aaaaa=ab⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18010	⟨a, b \| abab=1, aaaaa=ba⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18015	⟨a, b \| abab=1, aaaab=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18027	⟨a, b \| abab=1, aabaa=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18059	⟨a, b \| abab=1, baaaa=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18073	⟨a, b \| abba=1, aaaaa=ab⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18078	⟨a, b \| abba=1, aaaab=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18082	⟨a, b \| abba=1, aaaba=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18089	⟨a, b \| abba=1, aabaa=bb⟩	φ(a) = bbbbbbbbb, φ(b) = bbbbbb
11	18120	⟨a, b \| abba=1, abbbb=aa⟩	φ(a) = bbbb, φ(b) = b
11	18134	⟨a, b \| abba=1, babbb=aa⟩	φ(a) = bbbb, φ(b) = b
11	18138	⟨a, b \| abba=1, bbabb=aa⟩	φ(a) = bbbb, φ(b) = b
11	18142	⟨a, b \| abba=1, bbbbb=ab⟩	φ(a) = bbbb, φ(b) = b
11	18190	⟨a, b \| aaa=a, abbabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18192	⟨a, b \| aaa=a, abbbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18207	⟨a, b \| aaa=a, babbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18208	⟨a, b \| aaa=a, babbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18471	⟨a, b \| aab=b, abbabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18475	⟨a, b \| aab=b, abbbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18507	⟨a, b \| aab=b, babbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18509	⟨a, b \| aab=b, babbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18525	⟨a, b \| aab=b, bbabbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18526	⟨a, b \| aab=b, bbabbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18534	⟨a, b \| aab=b, bbbabba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18645	⟨a, b \| aba=b, aabbbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18657	⟨a, b \| aba=b, ababbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18662	⟨a, b \| aba=b, abbabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18664	⟨a, b \| aba=b, abbbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18665	⟨a, b \| aba=b, abbbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18666	⟨a, b \| aba=b, abbbbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18675	⟨a, b \| aba=b, baabbbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18678	⟨a, b \| aba=b, bababbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18679	⟨a, b \| aba=b, babbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18680	⟨a, b \| aba=b, babbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18683	⟨a, b \| aba=b, bbaabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	18684	⟨a, b \| aba=b, bbababb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	21319	⟨a, b \| aab=1, aabbbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21351	⟨a, b \| aab=1, ababbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21367	⟨a, b \| aab=1, abbabbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21375	⟨a, b \| aab=1, abbbabbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21379	⟨a, b \| aab=1, abbbbabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21381	⟨a, b \| aab=1, abbbbbab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21382	⟨a, b \| aab=1, abbbbbba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21415	⟨a, b \| aab=1, baabbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21431	⟨a, b \| aab=1, bababbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21439	⟨a, b \| aab=1, babbabbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21443	⟨a, b \| aab=1, babbbabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21445	⟨a, b \| aab=1, babbbbab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21446	⟨a, b \| aab=1, babbbbba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21463	⟨a, b \| aab=1, bbaabbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21471	⟨a, b \| aab=1, bbababbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21475	⟨a, b \| aab=1, bbabbabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21477	⟨a, b \| aab=1, bbabbbab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21478	⟨a, b \| aab=1, bbabbbba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21487	⟨a, b \| aab=1, bbbaabbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21491	⟨a, b \| aab=1, bbbababb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21493	⟨a, b \| aab=1, bbbabbab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21494	⟨a, b \| aab=1, bbbabbba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21499	⟨a, b \| aab=1, bbbbaabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21501	⟨a, b \| aab=1, bbbbabab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21502	⟨a, b \| aab=1, bbbbabba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21505	⟨a, b \| aab=1, bbbbbaab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21506	⟨a, b \| aab=1, bbbbbaba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21508	⟨a, b \| aab=1, bbbbbbaa=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21569	⟨a, b \| aba=1, aabbbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21592	⟨a, b \| aba=1, ababbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21602	⟨a, b \| aba=1, abbabbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21606	⟨a, b \| aba=1, abbbabbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21608	⟨a, b \| aba=1, abbbbabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21609	⟨a, b \| aba=1, abbbbbab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21610	⟨a, b \| aba=1, abbbbbba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21626	⟨a, b \| aba=1, baabbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21632	⟨a, b \| aba=1, bababbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21634	⟨a, b \| aba=1, babbabbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21635	⟨a, b \| aba=1, babbbabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21636	⟨a, b \| aba=1, babbbbab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21641	⟨a, b \| aba=1, bbaabbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21642	⟨a, b \| aba=1, bbababbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21643	⟨a, b \| aba=1, bbabbabb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	21645	⟨a, b \| aba=1, bbbaabbb=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	22331	⟨a, b \| aab=1, aaaaaa=bb⟩	φ(a) = b, φ(b) = bbbbbbbb
11	22586	⟨a, b \| aba=1, aaaaaa=bb⟩	φ(a) = b, φ(b) = bbbbbbbb
11	22984	⟨a, b \| aab=1, abbbb=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23048	⟨a, b \| aab=1, babbb=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23080	⟨a, b \| aab=1, bbabb=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23096	⟨a, b \| aab=1, bbbab=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23104	⟨a, b \| aab=1, bbbba=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23113	⟨a, b \| aab=1, bbbbb=aab⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23114	⟨a, b \| aab=1, bbbbb=aba⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23116	⟨a, b \| aab=1, bbbbb=baa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23216	⟨a, b \| aba=1, abbbb=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23244	⟨a, b \| aba=1, babbb=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23252	⟨a, b \| aba=1, bbabb=aaa⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23259	⟨a, b \| aba=1, bbbbb=aab⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23260	⟨a, b \| aba=1, bbbbb=aba⟩	φ(a) = b, φ(b) = bbbbbbbb
11	23655	⟨a, b \| aa=b, aaaaaabb=1⟩	φ(a) = b, φ(b) = bb
11	23657	⟨a, b \| aa=b, aaaaabab=1⟩	φ(a) = b, φ(b) = bb
11	23658	⟨a, b \| aa=b, aaaaabba=1⟩	φ(a) = b, φ(b) = bb
11	23661	⟨a, b \| aa=b, aaaabaab=1⟩	φ(a) = b, φ(b) = bb
11	23662	⟨a, b \| aa=b, aaaababa=1⟩	φ(a) = b, φ(b) = bb
11	23664	⟨a, b \| aa=b, aaaabbaa=1⟩	φ(a) = b, φ(b) = bb
11	23668	⟨a, b \| aa=b, aaabaaab=1⟩	φ(a) = b, φ(b) = bb
11	23669	⟨a, b \| aa=b, aaabaaba=1⟩	φ(a) = b, φ(b) = bb
11	23671	⟨a, b \| aa=b, aaababaa=1⟩	φ(a) = b, φ(b) = bb
11	23675	⟨a, b \| aa=b, aaabbaaa=1⟩	φ(a) = b, φ(b) = bb
11	23683	⟨a, b \| aa=b, aabaaaab=1⟩	φ(a) = b, φ(b) = bb
11	23684	⟨a, b \| aa=b, aabaaaba=1⟩	φ(a) = b, φ(b) = bb
11	23686	⟨a, b \| aa=b, aabaabaa=1⟩	φ(a) = b, φ(b) = bb
11	23710	⟨a, b \| aa=b, abaaaaab=1⟩	φ(a) = b, φ(b) = bb
11	23711	⟨a, b \| aa=b, abaaaaba=1⟩	φ(a) = b, φ(b) = bb
11	23752	⟨a, b \| aa=b, baaaaaab=1⟩	φ(a) = b, φ(b) = bb
11	25965	⟨a, b \| aa=1, aaabbabbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	25969	⟨a, b \| aa=1, aaabbbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	25997	⟨a, b \| aa=1, aababbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	25999	⟨a, b \| aa=1, aababbbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	26012	⟨a, b \| aa=1, aabbabbab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	26013	⟨a, b \| aa=1, aabbabbba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	26019	⟨a, b \| aa=1, aabbbabba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	26045	⟨a, b \| aa=1, abaababbb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb
11	26048	⟨a, b \| aa=1, abaabbabb=1⟩	φ(a) = bbbbb, φ(b) = bbbbbb

Presentation

Mapping

509

⟨a, b | aaa=b, babb=1⟩

φ(a) = bbbbbbb, φ(b) = b

715

⟨a, b | aab=1, bbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

735

⟨a, b | aba=1, bbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

847

⟨a, b | aa=b, bbbbb=1⟩

φ(a) = b, φ(b) = bb

1049

⟨a, b | aa=1, abbbbb=1⟩

φ(a) = bbbbb, φ(b) = b

1056

⟨a, b | aa=1, babbbb=1⟩

φ(a) = bbbbb, φ(b) = b

1058

⟨a, b | aa=1, bbabbb=1⟩

φ(a) = bbbbb, φ(b) = b

1134

⟨a, b | aa=1, bbbbb=a⟩

φ(a) = bbbbb, φ(b) = b

1325

⟨a, b | aaaa=b, aabb=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

1326

⟨a, b | aaaa=b, abab=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

1327

⟨a, b | aaaa=b, abba=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

1329

⟨a, b | aaaa=b, baab=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

1469

⟨a, b | aaa=bb, aabb=1⟩

φ(a) = bbbb, φ(b) = b

1471

⟨a, b | aaa=bb, abba=1⟩

φ(a) = bbbb, φ(b) = b

1473

⟨a, b | aaa=bb, baab=1⟩

φ(a) = bbbb, φ(b) = b

1784

⟨a, b | aabb=1, aaaaa=1⟩

φ(a) = bbbb, φ(b) = b

1816

⟨a, b | abba=1, aaaaa=1⟩

φ(a) = bbbb, φ(b) = b

1835

⟨a, b | abba=1, bbbbb=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

1979

⟨a, b | aba=b, bbbbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

2166

⟨a, b | bb=aa, aaaaa=1⟩

φ(a) = bbbbbb, φ(b) = b

2167

⟨a, b | bb=aa, aaaab=1⟩

φ(a) = b, φ(b) = bbbbbb

2168

⟨a, b | bb=aa, aaaba=1⟩

φ(a) = b, φ(b) = bbbbbb

2169

⟨a, b | bb=aa, aaabb=1⟩

φ(a) = bbbbbb, φ(b) = b

2170

⟨a, b | bb=aa, aabaa=1⟩

φ(a) = b, φ(b) = bbbbbb

2171

⟨a, b | bb=aa, aabab=1⟩

φ(a) = bbbbbb, φ(b) = b

2172

⟨a, b | bb=aa, aabba=1⟩

φ(a) = bbbbbb, φ(b) = b

2173

⟨a, b | bb=aa, abaab=1⟩

φ(a) = bbbbbb, φ(b) = b

2174

⟨a, b | bb=aa, ababa=1⟩

φ(a) = bbbbbb, φ(b) = b

2175

⟨a, b | bb=aa, abbba=1⟩

φ(a) = b, φ(b) = bbbbbb

2656

⟨a, b | aab=1, bbbb=aa⟩

φ(a) = b, φ(b) = bbbbbbbb

2693

⟨a, b | aba=1, bbbb=aa⟩

φ(a) = b, φ(b) = bbbbbbbb

2770

⟨a, b | aa=b, aabbbb=1⟩

φ(a) = b, φ(b) = bb

2776

⟨a, b | aa=b, ababbb=1⟩

φ(a) = b, φ(b) = bb

2778

⟨a, b | aa=b, abbabb=1⟩

φ(a) = b, φ(b) = bb

2779

⟨a, b | aa=b, abbbab=1⟩

φ(a) = b, φ(b) = bb

2780

⟨a, b | aa=b, abbbba=1⟩

φ(a) = b, φ(b) = bb

2785

⟨a, b | aa=b, baabbb=1⟩

φ(a) = b, φ(b) = bb

2786

⟨a, b | aa=b, bababb=1⟩

φ(a) = b, φ(b) = bb

2787

⟨a, b | aa=b, babbab=1⟩

φ(a) = b, φ(b) = bb

2789

⟨a, b | aa=b, bbaabb=1⟩

φ(a) = b, φ(b) = bb

3246

⟨a, b | aa=1, abbabbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

3248

⟨a, b | aa=1, abbbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

3263

⟨a, b | aa=1, babbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

3264

⟨a, b | aa=1, babbbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

3404

⟨a, b | aa=1, bbabbb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

3759

⟨a, b | aaaa=ab, abbb=1⟩

φ(a) = bbbbbbb, φ(b) = b

3763

⟨a, b | aaaa=ab, babb=1⟩

φ(a) = bbbbbbb, φ(b) = b

3765

⟨a, b | aaaa=ab, bbab=1⟩

φ(a) = bbbbbbb, φ(b) = b

3766

⟨a, b | aaaa=ab, bbba=1⟩

φ(a) = bbbbbbb, φ(b) = b

3768

⟨a, b | aaaa=bb, aaab=1⟩

φ(a) = bbb, φ(b) = b

3769

⟨a, b | aaaa=bb, aaba=1⟩

φ(a) = bbb, φ(b) = b

3824

⟨a, b | aaab=bb, abbb=1⟩

φ(a) = bbbbbbb, φ(b) = b

3828

⟨a, b | aaab=bb, babb=1⟩

φ(a) = bbbbbbb, φ(b) = b

3830

⟨a, b | aaab=bb, bbab=1⟩

φ(a) = bbbbbbb, φ(b) = b

3831

⟨a, b | aaab=bb, bbba=1⟩

φ(a) = bbbbbbb, φ(b) = b

3876

⟨a, b | aaba=bb, abbb=1⟩

φ(a) = bbbbbbb, φ(b) = b

3880

⟨a, b | aaba=bb, babb=1⟩

φ(a) = bbbbbbb, φ(b) = b

3882

⟨a, b | aaba=bb, bbab=1⟩

φ(a) = bbbbbbb, φ(b) = b

3883

⟨a, b | aaba=bb, bbba=1⟩

φ(a) = bbbbbbb, φ(b) = b

4202

⟨a, b | aaaaa=1, aaabb=1⟩

φ(a) = bbbbbb, φ(b) = b

4204

⟨a, b | aaaaa=1, aabab=1⟩

φ(a) = bbbbbb, φ(b) = b

4205

⟨a, b | aaaaa=1, aabba=1⟩

φ(a) = bbbbbb, φ(b) = b

4207

⟨a, b | aaaaa=1, abaab=1⟩

φ(a) = bbbbbb, φ(b) = b

4208

⟨a, b | aaaaa=1, ababa=1⟩

φ(a) = bbbbbb, φ(b) = b

4213

⟨a, b | aaaaa=1, baaab=1⟩

φ(a) = bbbbbb, φ(b) = b

4224

⟨a, b | aaaab=1, aabbb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4228

⟨a, b | aaaab=1, ababb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4230

⟨a, b | aaaab=1, abbab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4231

⟨a, b | aaaab=1, abbba=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4236

⟨a, b | aaaab=1, baabb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4238

⟨a, b | aaaab=1, babab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4239

⟨a, b | aaaab=1, babba=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4242

⟨a, b | aaaab=1, bbaab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4243

⟨a, b | aaaab=1, bbaba=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4245

⟨a, b | aaaab=1, bbbaa=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4252

⟨a, b | aaaba=1, aabbb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4256

⟨a, b | aaaba=1, ababb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4258

⟨a, b | aaaba=1, abbab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4259

⟨a, b | aaaba=1, abbba=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4262

⟨a, b | aaaba=1, baabb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4264

⟨a, b | aaaba=1, babab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4265

⟨a, b | aaaba=1, babba=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4268

⟨a, b | aaaba=1, bbaab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4269

⟨a, b | aaaba=1, bbaba=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4271

⟨a, b | aaaba=1, bbbaa=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4292

⟨a, b | aaabb=1, bbabb=1⟩

φ(a) = bbbbbb, φ(b) = b

4298

⟨a, b | aabaa=1, ababb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4299

⟨a, b | aabaa=1, abbab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4300

⟨a, b | aabaa=1, abbba=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4302

⟨a, b | aabaa=1, baabb=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4303

⟨a, b | aabaa=1, babab=1⟩

φ(a) = bbb, φ(b) = bbbbbbbb

4510

⟨a, b | aabb=a, aaaaa=1⟩

φ(a) = bbbbbbbb, φ(b) = b

4542

⟨a, b | abab=a, aaaaa=1⟩

φ(a) = bbbbbbbb, φ(b) = b

4574

⟨a, b | abba=a, aaaaa=1⟩

φ(a) = bbbbbbbb, φ(b) = b

4613

⟨a, b | abba=b, bbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

4802

⟨a, b | aaa=bb, aaaaa=1⟩

φ(a) = bbbb, φ(b) = b

4949

⟨a, b | aab=bb, bbbbb=1⟩

φ(a) = b, φ(b) = bb

5021

⟨a, b | aba=bb, bbbbb=1⟩

φ(a) = b, φ(b) = bb

5473

⟨a, b | aaab=1, aabbbb=1⟩

φ(a) = bbb, φ(b) = b

5481

⟨a, b | aaab=1, ababbb=1⟩

φ(a) = bbb, φ(b) = b

5485

⟨a, b | aaab=1, abbabb=1⟩

φ(a) = bbb, φ(b) = b

5487

⟨a, b | aaab=1, abbbab=1⟩

φ(a) = bbb, φ(b) = b

5488

⟨a, b | aaab=1, abbbba=1⟩

φ(a) = bbb, φ(b) = b

5497

⟨a, b | aaab=1, baabbb=1⟩

φ(a) = bbb, φ(b) = b

5501

⟨a, b | aaab=1, bababb=1⟩

φ(a) = bbb, φ(b) = b

5503

⟨a, b | aaab=1, babbab=1⟩

φ(a) = bbb, φ(b) = b

5504

⟨a, b | aaab=1, babbba=1⟩

φ(a) = bbb, φ(b) = b

5509

⟨a, b | aaab=1, bbaabb=1⟩

φ(a) = bbb, φ(b) = b

5511

⟨a, b | aaab=1, bbabab=1⟩

φ(a) = bbb, φ(b) = b

5512

⟨a, b | aaab=1, bbabba=1⟩

φ(a) = bbb, φ(b) = b

5515

⟨a, b | aaab=1, bbbaab=1⟩

φ(a) = bbb, φ(b) = b

5516

⟨a, b | aaab=1, bbbaba=1⟩

φ(a) = bbb, φ(b) = b

5518

⟨a, b | aaab=1, bbbbaa=1⟩

φ(a) = bbb, φ(b) = b

5537

⟨a, b | aaba=1, aabbbb=1⟩

φ(a) = bbb, φ(b) = b

5545

⟨a, b | aaba=1, ababbb=1⟩

φ(a) = bbb, φ(b) = b

5549

⟨a, b | aaba=1, abbabb=1⟩

φ(a) = bbb, φ(b) = b

5551

⟨a, b | aaba=1, abbbab=1⟩

φ(a) = bbb, φ(b) = b

5552

⟨a, b | aaba=1, abbbba=1⟩

φ(a) = bbb, φ(b) = b

5561

⟨a, b | aaba=1, baabbb=1⟩

φ(a) = bbb, φ(b) = b

5565

⟨a, b | aaba=1, bababb=1⟩

φ(a) = bbb, φ(b) = b

5567

⟨a, b | aaba=1, babbab=1⟩

φ(a) = bbb, φ(b) = b

5568

⟨a, b | aaba=1, babbba=1⟩

φ(a) = bbb, φ(b) = b

5573

⟨a, b | aaba=1, bbaabb=1⟩

φ(a) = bbb, φ(b) = b

5575

⟨a, b | aaba=1, bbabab=1⟩

φ(a) = bbb, φ(b) = b

5576

⟨a, b | aaba=1, bbabba=1⟩

φ(a) = bbb, φ(b) = b

5579

⟨a, b | aaba=1, bbbaab=1⟩

φ(a) = bbb, φ(b) = b

5580

⟨a, b | aaba=1, bbbaba=1⟩

φ(a) = bbb, φ(b) = b

5582

⟨a, b | aaba=1, bbbbaa=1⟩

φ(a) = bbb, φ(b) = b

5991

⟨a, b | aaa=a, abbbbb=1⟩

φ(a) = bbbbb, φ(b) = b

5998

⟨a, b | aaa=a, babbbb=1⟩

φ(a) = bbbbb, φ(b) = b

6000

⟨a, b | aaa=a, bbabbb=1⟩

φ(a) = bbbbb, φ(b) = b

6005

⟨a, b | aaa=b, aaaabb=1⟩

φ(a) = bbbbbbb, φ(b) = b

6007

⟨a, b | aaa=b, aaabab=1⟩

φ(a) = bbbbbbb, φ(b) = b

6008

⟨a, b | aaa=b, aaabba=1⟩

φ(a) = bbbbbbb, φ(b) = b

6010

⟨a, b | aaa=b, aabaab=1⟩

φ(a) = bbbbbbb, φ(b) = b

6011

⟨a, b | aaa=b, aababa=1⟩

φ(a) = bbbbbbb, φ(b) = b

6013

⟨a, b | aaa=b, aabbaa=1⟩

φ(a) = bbbbbbb, φ(b) = b

6017

⟨a, b | aaa=b, abaaab=1⟩

φ(a) = bbbbbbb, φ(b) = b

6018

⟨a, b | aaa=b, abaaba=1⟩

φ(a) = bbbbbbb, φ(b) = b

6028

⟨a, b | aaa=b, baaaab=1⟩

φ(a) = bbbbbbb, φ(b) = b

6133

⟨a, b | aab=b, abbbbb=1⟩

φ(a) = bbbbb, φ(b) = b

6149

⟨a, b | aab=b, babbbb=1⟩

φ(a) = bbbbb, φ(b) = b

6157

⟨a, b | aab=b, bbabbb=1⟩

φ(a) = bbbbb, φ(b) = b

6161

⟨a, b | aab=b, bbbabb=1⟩

φ(a) = bbbbb, φ(b) = b

6163

⟨a, b | aab=b, bbbbab=1⟩

φ(a) = bbbbb, φ(b) = b

6164

⟨a, b | aab=b, bbbbba=1⟩

φ(a) = bbbbb, φ(b) = b

6227

⟨a, b | aba=b, abbbbb=1⟩

φ(a) = bbbbb, φ(b) = b

6234

⟨a, b | aba=b, babbbb=1⟩

φ(a) = bbbbb, φ(b) = b

6236

⟨a, b | aba=b, bbabbb=1⟩

φ(a) = bbbbb, φ(b) = b

7614

⟨a, b | aab=1, abbbbb=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7646

⟨a, b | aab=1, babbbb=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7662

⟨a, b | aab=1, bbabbb=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7670

⟨a, b | aab=1, bbbabb=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7674

⟨a, b | aab=1, bbbbab=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7676

⟨a, b | aab=1, bbbbba=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7679

⟨a, b | aab=1, bbbbbb=b⟩

φ(a) = b, φ(b) = bbbbbbbb

7730

⟨a, b | aba=1, abbbbb=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7744

⟨a, b | aba=1, babbbb=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7748

⟨a, b | aba=1, bbabbb=a⟩

φ(a) = b, φ(b) = bbbbbbbb

7751

⟨a, b | aba=1, bbbbbb=b⟩

φ(a) = b, φ(b) = bbbbbbbb

8103

⟨a, b | aab=1, aaaa=bbb⟩

φ(a) = b, φ(b) = bbbbbbbb

8229

⟨a, b | aba=1, aaaa=bbb⟩

φ(a) = b, φ(b) = bbbbbbbb

8375

⟨a, b | aa=b, aaaabbb=1⟩

φ(a) = b, φ(b) = bb

8379

⟨a, b | aa=b, aaababb=1⟩

φ(a) = b, φ(b) = bb

8381

⟨a, b | aa=b, aaabbab=1⟩

φ(a) = b, φ(b) = bb

8382

⟨a, b | aa=b, aaabbba=1⟩

φ(a) = b, φ(b) = bb

8386

⟨a, b | aa=b, aabaabb=1⟩

φ(a) = b, φ(b) = bb

8388

⟨a, b | aa=b, aababab=1⟩

φ(a) = b, φ(b) = bb

8389

⟨a, b | aa=b, aababba=1⟩

φ(a) = b, φ(b) = bb

8391

⟨a, b | aa=b, aabbaab=1⟩

φ(a) = b, φ(b) = bb

8392

⟨a, b | aa=b, aabbaba=1⟩

φ(a) = b, φ(b) = bb

8394

⟨a, b | aa=b, aabbbaa=1⟩

φ(a) = b, φ(b) = bb

8400

⟨a, b | aa=b, abaaabb=1⟩

φ(a) = b, φ(b) = bb

8401

⟨a, b | aa=b, abaabab=1⟩

φ(a) = b, φ(b) = bb

8402

⟨a, b | aa=b, abaabba=1⟩

φ(a) = b, φ(b) = bb

8404

⟨a, b | aa=b, ababaab=1⟩

φ(a) = b, φ(b) = bb

8405

⟨a, b | aa=b, abababa=1⟩

φ(a) = b, φ(b) = bb

8410

⟨a, b | aa=b, abbaaab=1⟩

φ(a) = b, φ(b) = bb

8421

⟨a, b | aa=b, baaaabb=1⟩

φ(a) = b, φ(b) = bb

8422

⟨a, b | aa=b, baaabab=1⟩

φ(a) = b, φ(b) = bb

8424

⟨a, b | aa=b, baabaab=1⟩

φ(a) = b, φ(b) = bb

9414

⟨a, b | aa=1, aaabbbbb=1⟩

φ(a) = bbbbb, φ(b) = b

9428

⟨a, b | aa=1, aababbbb=1⟩

φ(a) = bbbbb, φ(b) = b

9434

⟨a, b | aa=1, aabbabbb=1⟩

φ(a) = bbbbb, φ(b) = b

9437

⟨a, b | aa=1, aabbbabb=1⟩

φ(a) = bbbbb, φ(b) = b

9439

⟨a, b | aa=1, aabbbbab=1⟩

φ(a) = bbbbb, φ(b) = b

9440

⟨a, b | aa=1, aabbbbba=1⟩

φ(a) = bbbbb, φ(b) = b

9453

⟨a, b | aa=1, abaabbbb=1⟩

φ(a) = bbbbb, φ(b) = b

9461

⟨a, b | aa=1, ababbabb=1⟩

φ(a) = bbbbb, φ(b) = b

9463

⟨a, b | aa=1, ababbbba=1⟩

φ(a) = bbbbb, φ(b) = b

9469

⟨a, b | aa=1, abbaabbb=1⟩

φ(a) = bbbbb, φ(b) = b

9471

⟨a, b | aa=1, abbababb=1⟩

φ(a) = bbbbb, φ(b) = b

9472

⟨a, b | aa=1, abbabbab=1⟩

φ(a) = bbbbb, φ(b) = b

9473

⟨a, b | aa=1, abbabbba=1⟩

φ(a) = bbbbb, φ(b) = b

9476

⟨a, b | aa=1, abbbaabb=1⟩

φ(a) = bbbbb, φ(b) = b

9479

⟨a, b | aa=1, abbbbaab=1⟩

φ(a) = bbbbb, φ(b) = b

9491

⟨a, b | aa=1, baaabbbb=1⟩

φ(a) = bbbbb, φ(b) = b

9494

⟨a, b | aa=1, baababbb=1⟩

φ(a) = bbbbb, φ(b) = b

9496

⟨a, b | aa=1, baabbabb=1⟩

φ(a) = bbbbb, φ(b) = b

9497

⟨a, b | aa=1, baabbbab=1⟩

φ(a) = bbbbb, φ(b) = b

9501

⟨a, b | aa=1, babaabbb=1⟩

φ(a) = bbbbb, φ(b) = b

9503

⟨a, b | aa=1, bababbab=1⟩

φ(a) = bbbbb, φ(b) = b

9505

⟨a, b | aa=1, babbaabb=1⟩

φ(a) = bbbbb, φ(b) = b

9511

⟨a, b | aa=1, bbaaabbb=1⟩

φ(a) = bbbbb, φ(b) = b

9512

⟨a, b | aa=1, bbaababb=1⟩

φ(a) = bbbbb, φ(b) = b

9714

⟨a, b | aa=1, aabbbbb=a⟩

φ(a) = bbbbb, φ(b) = b

9738

⟨a, b | aa=1, ababbbb=a⟩

φ(a) = bbbbb, φ(b) = b

9748

⟨a, b | aa=1, abbabbb=a⟩

φ(a) = bbbbb, φ(b) = b

9752

⟨a, b | aa=1, abbbabb=a⟩

φ(a) = bbbbb, φ(b) = b

9754

⟨a, b | aa=1, abbbbab=a⟩

φ(a) = bbbbb, φ(b) = b

9756

⟨a, b | aa=1, abbbbba=a⟩

φ(a) = bbbbb, φ(b) = b

9774

⟨a, b | aa=1, baabbbb=a⟩

φ(a) = bbbbb, φ(b) = b

9782

⟨a, b | aa=1, babbabb=a⟩

φ(a) = bbbbb, φ(b) = b

9790

⟨a, b | aa=1, bbaabbb=a⟩

φ(a) = bbbbb, φ(b) = b

9792

⟨a, b | aa=1, bbababb=a⟩

φ(a) = bbbbb, φ(b) = b

10024

⟨a, b | aa=1, abbbbb=aa⟩

φ(a) = bbbbb, φ(b) = b

10050

⟨a, b | aa=1, babbbb=aa⟩

φ(a) = bbbbb, φ(b) = b

10057

⟨a, b | aa=1, bbabbb=aa⟩

φ(a) = bbbbb, φ(b) = b

10338

⟨a, b | aa=1, bbbbb=aaa⟩

φ(a) = bbbbb, φ(b) = b

10639

⟨a, b | aaaa=abb, aabb=1⟩

φ(a) = bbbb, φ(b) = b

10642

⟨a, b | aaaa=abb, abba=1⟩

φ(a) = bbbb, φ(b) = b

10645

⟨a, b | aaaa=abb, baab=1⟩

φ(a) = bbbb, φ(b) = b

10648

⟨a, b | aaaa=abb, bbaa=1⟩

φ(a) = bbbb, φ(b) = b

10654

⟨a, b | aaaa=bab, aabb=1⟩

φ(a) = bbbb, φ(b) = b

10656

⟨a, b | aaaa=bab, abba=1⟩

φ(a) = bbbb, φ(b) = b

10658

⟨a, b | aaaa=bab, baab=1⟩

φ(a) = bbbb, φ(b) = b

10769

⟨a, b | aaab=bbb, aabb=1⟩

φ(a) = bbbb, φ(b) = b

10772

⟨a, b | aaab=bbb, abba=1⟩

φ(a) = bbbb, φ(b) = b

10775

⟨a, b | aaab=bbb, baab=1⟩

φ(a) = bbbb, φ(b) = b

10778

⟨a, b | aaab=bbb, bbaa=1⟩

φ(a) = bbbb, φ(b) = b

10873

⟨a, b | aaba=bbb, aabb=1⟩

φ(a) = bbbb, φ(b) = b

10875

⟨a, b | aaba=bbb, abab=1⟩

φ(a) = bbbb, φ(b) = b

10876

⟨a, b | aaba=bbb, abba=1⟩

φ(a) = bbbb, φ(b) = b

10879

⟨a, b | aaba=bbb, baab=1⟩

φ(a) = bbbb, φ(b) = b

10880

⟨a, b | aaba=bbb, baba=1⟩

φ(a) = bbbb, φ(b) = b

10882

⟨a, b | aaba=bbb, bbaa=1⟩

φ(a) = bbbb, φ(b) = b

11451

⟨a, b | aabbb=b, bbbbb=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

11555

⟨a, b | abbab=b, bbbbb=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

11583

⟨a, b | abbba=b, bbbbb=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

11607

⟨a, b | baabb=b, bbbbb=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

11672

⟨a, b | aaaa=bb, aaaaa=1⟩

φ(a) = bbbbbbbb, φ(b) = b

12012

⟨a, b | abab=aa, aaaaa=1⟩

φ(a) = bbbbbb, φ(b) = bbbbb

12147

⟨a, b | abba=bb, bbbbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

12724

⟨a, b | abb=aaa, aaaaa=1⟩

φ(a) = bbbbbb, φ(b) = b

12725

⟨a, b | abb=aaa, aaaab=1⟩

φ(a) = b, φ(b) = bbbbbb

12726

⟨a, b | abb=aaa, aaaba=1⟩

φ(a) = b, φ(b) = bbbbbb

12727

⟨a, b | abb=aaa, aaabb=1⟩

φ(a) = bbbbbb, φ(b) = b

12728

⟨a, b | abb=aaa, aabaa=1⟩

φ(a) = b, φ(b) = bbbbbb

12729

⟨a, b | abb=aaa, aabab=1⟩

φ(a) = bbbbbb, φ(b) = b

12730

⟨a, b | abb=aaa, aabba=1⟩

φ(a) = bbbbbb, φ(b) = b

12731

⟨a, b | abb=aaa, aabbb=1⟩

φ(a) = b, φ(b) = bbbbbb

12732

⟨a, b | abb=aaa, abaaa=1⟩

φ(a) = b, φ(b) = bbbbbb

12733

⟨a, b | abb=aaa, abaab=1⟩

φ(a) = bbbbbb, φ(b) = b

12734

⟨a, b | abb=aaa, ababa=1⟩

φ(a) = bbbbbb, φ(b) = b

12735

⟨a, b | abb=aaa, ababb=1⟩

φ(a) = b, φ(b) = bbbbbb

12736

⟨a, b | abb=aaa, abbaa=1⟩

φ(a) = bbbbbb, φ(b) = b

12737

⟨a, b | abb=aaa, abbab=1⟩

φ(a) = b, φ(b) = bbbbbb

12738

⟨a, b | abb=aaa, abbba=1⟩

φ(a) = b, φ(b) = bbbbbb

12739

⟨a, b | abb=aaa, abbbb=1⟩

φ(a) = bbbbbb, φ(b) = b

12740

⟨a, b | abb=aaa, baaaa=1⟩

φ(a) = b, φ(b) = bbbbbb

12741

⟨a, b | abb=aaa, baaab=1⟩

φ(a) = bbbbbb, φ(b) = b

12742

⟨a, b | abb=aaa, baaba=1⟩

φ(a) = bbbbbb, φ(b) = b

12743

⟨a, b | abb=aaa, baabb=1⟩

φ(a) = b, φ(b) = bbbbbb

12744

⟨a, b | abb=aaa, babaa=1⟩

φ(a) = bbbbbb, φ(b) = b

12745

⟨a, b | abb=aaa, babab=1⟩

φ(a) = b, φ(b) = bbbbbb

12746

⟨a, b | abb=aaa, babba=1⟩

φ(a) = b, φ(b) = bbbbbb

12747

⟨a, b | abb=aaa, babbb=1⟩

φ(a) = bbbbbb, φ(b) = b

12748

⟨a, b | abb=aaa, bbaaa=1⟩

φ(a) = bbbbbb, φ(b) = b

12749

⟨a, b | abb=aaa, bbaab=1⟩

φ(a) = b, φ(b) = bbbbbb

12750

⟨a, b | abb=aaa, bbaba=1⟩

φ(a) = b, φ(b) = bbbbbb

12751

⟨a, b | abb=aaa, bbabb=1⟩

φ(a) = bbbbbb, φ(b) = b

12752

⟨a, b | abb=aaa, bbbaa=1⟩

φ(a) = b, φ(b) = bbbbbb

12753

⟨a, b | abb=aaa, bbbab=1⟩

φ(a) = bbbbbb, φ(b) = b

12754

⟨a, b | abb=aaa, bbbba=1⟩

φ(a) = bbbbbb, φ(b) = b

12840

⟨a, b | bab=aaa, aaaaa=1⟩

φ(a) = bbbbbb, φ(b) = b

12841

⟨a, b | bab=aaa, aaaab=1⟩

φ(a) = b, φ(b) = bbbbbb

12842

⟨a, b | bab=aaa, aaaba=1⟩

φ(a) = b, φ(b) = bbbbbb

12843

⟨a, b | bab=aaa, aaabb=1⟩

φ(a) = bbbbbb, φ(b) = b

12844

⟨a, b | bab=aaa, aabaa=1⟩

φ(a) = b, φ(b) = bbbbbb

12845

⟨a, b | bab=aaa, aabab=1⟩

φ(a) = bbbbbb, φ(b) = b

12846

⟨a, b | bab=aaa, aabba=1⟩

φ(a) = bbbbbb, φ(b) = b

12848

⟨a, b | bab=aaa, abaab=1⟩

φ(a) = bbbbbb, φ(b) = b

12849

⟨a, b | bab=aaa, ababa=1⟩

φ(a) = bbbbbb, φ(b) = b

12850

⟨a, b | bab=aaa, ababb=1⟩

φ(a) = b, φ(b) = bbbbbb

12851

⟨a, b | bab=aaa, abbab=1⟩

φ(a) = b, φ(b) = bbbbbb

12853

⟨a, b | bab=aaa, abbbb=1⟩

φ(a) = bbbbbb, φ(b) = b

12854

⟨a, b | bab=aaa, baaab=1⟩

φ(a) = bbbbbb, φ(b) = b

12856

⟨a, b | bab=aaa, babab=1⟩

φ(a) = b, φ(b) = bbbbbb

12857

⟨a, b | bab=aaa, babbb=1⟩

φ(a) = bbbbbb, φ(b) = b

12858

⟨a, b | bab=aaa, bbabb=1⟩

φ(a) = bbbbbb, φ(b) = b

13276

⟨a, b | aaaaa=1, aaaabb=1⟩

φ(a) = bb, φ(b) = b

13278

⟨a, b | aaaaa=1, aaabab=1⟩

φ(a) = bb, φ(b) = b

13279

⟨a, b | aaaaa=1, aaabba=1⟩

φ(a) = bb, φ(b) = b

13282

⟨a, b | aaaaa=1, aababa=1⟩

φ(a) = bb, φ(b) = b

13284

⟨a, b | aaaaa=1, aabbaa=1⟩

φ(a) = bb, φ(b) = b

13288

⟨a, b | aaaaa=1, abaaab=1⟩

φ(a) = bb, φ(b) = b

13299

⟨a, b | aaaaa=1, baaaab=1⟩

φ(a) = bb, φ(b) = b

14924

⟨a, b | aaa=ab, aabbbb=1⟩

φ(a) = b, φ(b) = bb

14932

⟨a, b | aaa=ab, ababbb=1⟩

φ(a) = b, φ(b) = bb

14936

⟨a, b | aaa=ab, abbabb=1⟩

φ(a) = b, φ(b) = bb

14938

⟨a, b | aaa=ab, abbbab=1⟩

φ(a) = b, φ(b) = bb

14939

⟨a, b | aaa=ab, abbbba=1⟩

φ(a) = b, φ(b) = bb

14948

⟨a, b | aaa=ab, baabbb=1⟩

φ(a) = b, φ(b) = bb

14952

⟨a, b | aaa=ab, bababb=1⟩

φ(a) = b, φ(b) = bb

14954

⟨a, b | aaa=ab, babbab=1⟩

φ(a) = b, φ(b) = bb

14955

⟨a, b | aaa=ab, babbba=1⟩

φ(a) = b, φ(b) = bb

14960

⟨a, b | aaa=ab, bbaabb=1⟩

φ(a) = b, φ(b) = bb

14962

⟨a, b | aaa=ab, bbabab=1⟩

φ(a) = b, φ(b) = bb

14963

⟨a, b | aaa=ab, bbabba=1⟩

φ(a) = b, φ(b) = bb

14966

⟨a, b | aaa=ab, bbbaab=1⟩

φ(a) = b, φ(b) = bb

14967

⟨a, b | aaa=ab, bbbaba=1⟩

φ(a) = b, φ(b) = bb

14969

⟨a, b | aaa=ab, bbbbaa=1⟩

φ(a) = b, φ(b) = bb

15216

⟨a, b | aab=bb, aabbbb=1⟩

φ(a) = b, φ(b) = bb

15224

⟨a, b | aab=bb, ababbb=1⟩

φ(a) = b, φ(b) = bb

15228

⟨a, b | aab=bb, abbabb=1⟩

φ(a) = b, φ(b) = bb

15230

⟨a, b | aab=bb, abbbab=1⟩

φ(a) = b, φ(b) = bb

15231

⟨a, b | aab=bb, abbbba=1⟩

φ(a) = b, φ(b) = bb

15240

⟨a, b | aab=bb, baabbb=1⟩

φ(a) = b, φ(b) = bb

15244

⟨a, b | aab=bb, bababb=1⟩

φ(a) = b, φ(b) = bb

15246

⟨a, b | aab=bb, babbab=1⟩

φ(a) = b, φ(b) = bb

15247

⟨a, b | aab=bb, babbba=1⟩

φ(a) = b, φ(b) = bb

15252

⟨a, b | aab=bb, bbaabb=1⟩

φ(a) = b, φ(b) = bb

15254

⟨a, b | aab=bb, bbabab=1⟩

φ(a) = b, φ(b) = bb

15255

⟨a, b | aab=bb, bbabba=1⟩

φ(a) = b, φ(b) = bb

15258

⟨a, b | aab=bb, bbbaab=1⟩

φ(a) = b, φ(b) = bb

15259

⟨a, b | aab=bb, bbbaba=1⟩

φ(a) = b, φ(b) = bb

15261

⟨a, b | aab=bb, bbbbaa=1⟩

φ(a) = b, φ(b) = bb

15379

⟨a, b | aba=bb, aabbbb=1⟩

φ(a) = b, φ(b) = bb

15385

⟨a, b | aba=bb, ababbb=1⟩

φ(a) = b, φ(b) = bb

15388

⟨a, b | aba=bb, abbbab=1⟩

φ(a) = b, φ(b) = bb

15389

⟨a, b | aba=bb, abbbba=1⟩

φ(a) = b, φ(b) = bb

15394

⟨a, b | aba=bb, baabbb=1⟩

φ(a) = b, φ(b) = bb

15395

⟨a, b | aba=bb, bababb=1⟩

φ(a) = b, φ(b) = bb

15398

⟨a, b | aba=bb, bbaabb=1⟩

φ(a) = b, φ(b) = bb

16889

⟨a, b | aabb=1, aaaaaab=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16890

⟨a, b | aabb=1, aaaaaba=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16892

⟨a, b | aabb=1, aaaabaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16896

⟨a, b | aabb=1, aaabaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16903

⟨a, b | aabb=1, aabaaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16916

⟨a, b | aabb=1, abaaaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16936

⟨a, b | aabb=1, baaaaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16953

⟨a, b | abab=1, aaaaaab=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16954

⟨a, b | abab=1, aaaaaba=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16956

⟨a, b | abab=1, aaaabaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16960

⟨a, b | abab=1, aaabaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16967

⟨a, b | abab=1, aabaaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

16980

⟨a, b | abab=1, abaaaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17000

⟨a, b | abab=1, baaaaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17017

⟨a, b | abba=1, aaaaaab=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17018

⟨a, b | abba=1, aaaaaba=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17020

⟨a, b | abba=1, aaaabaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17024

⟨a, b | abba=1, aaabaaa=1⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17067

⟨a, b | abba=1, abbbbbb=1⟩

φ(a) = bbbb, φ(b) = b

17081

⟨a, b | abba=1, babbbbb=1⟩

φ(a) = bbbb, φ(b) = b

17085

⟨a, b | abba=1, bbabbbb=1⟩

φ(a) = bbbb, φ(b) = b

17086

⟨a, b | abba=1, bbbabbb=1⟩

φ(a) = bbbb, φ(b) = b

17416

⟨a, b | aabb=1, aaaaaa=a⟩

φ(a) = bbbb, φ(b) = b

17419

⟨a, b | aabb=1, aaaaab=b⟩

φ(a) = bbbb, φ(b) = b

17421

⟨a, b | aabb=1, aaaaba=b⟩

φ(a) = bbbb, φ(b) = b

17425

⟨a, b | aabb=1, aaabaa=b⟩

φ(a) = bbbb, φ(b) = b

17432

⟨a, b | aabb=1, aabaaa=b⟩

φ(a) = bbbb, φ(b) = b

17445

⟨a, b | aabb=1, abaaaa=b⟩

φ(a) = bbbb, φ(b) = b

17465

⟨a, b | aabb=1, baaaaa=b⟩

φ(a) = bbbb, φ(b) = b

17489

⟨a, b | abab=1, aaabaa=b⟩

φ(a) = bbbb, φ(b) = b

17496

⟨a, b | abab=1, aabaaa=b⟩

φ(a) = bbbb, φ(b) = b

17544

⟨a, b | abba=1, aaaaaa=a⟩

φ(a) = bbbb, φ(b) = b

17547

⟨a, b | abba=1, aaaaab=b⟩

φ(a) = bbbb, φ(b) = b

17549

⟨a, b | abba=1, aaaaba=b⟩

φ(a) = bbbb, φ(b) = b

17553

⟨a, b | abba=1, aaabaa=b⟩

φ(a) = bbbb, φ(b) = b

17594

⟨a, b | abba=1, abbbbb=a⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17608

⟨a, b | abba=1, babbbb=a⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17612

⟨a, b | abba=1, bbabbb=a⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17615

⟨a, b | abba=1, bbbbbb=b⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17945

⟨a, b | aabb=1, aaaaa=ab⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17946

⟨a, b | aabb=1, aaaaa=ba⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17951

⟨a, b | aabb=1, aaaab=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17955

⟨a, b | aabb=1, aaaba=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17963

⟨a, b | aabb=1, aabaa=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17975

⟨a, b | aabb=1, abaaa=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

17995

⟨a, b | aabb=1, baaaa=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18009

⟨a, b | abab=1, aaaaa=ab⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18010

⟨a, b | abab=1, aaaaa=ba⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18015

⟨a, b | abab=1, aaaab=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18027

⟨a, b | abab=1, aabaa=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18059

⟨a, b | abab=1, baaaa=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18073

⟨a, b | abba=1, aaaaa=ab⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18078

⟨a, b | abba=1, aaaab=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18082

⟨a, b | abba=1, aaaba=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18089

⟨a, b | abba=1, aabaa=bb⟩

φ(a) = bbbbbbbbb, φ(b) = bbbbbb

18120

⟨a, b | abba=1, abbbb=aa⟩

φ(a) = bbbb, φ(b) = b

18134

⟨a, b | abba=1, babbb=aa⟩

φ(a) = bbbb, φ(b) = b

18138

⟨a, b | abba=1, bbabb=aa⟩

φ(a) = bbbb, φ(b) = b

18142

⟨a, b | abba=1, bbbbb=ab⟩

φ(a) = bbbb, φ(b) = b

18190

⟨a, b | aaa=a, abbabbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18192

⟨a, b | aaa=a, abbbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18207

⟨a, b | aaa=a, babbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18208

⟨a, b | aaa=a, babbbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18471

⟨a, b | aab=b, abbabbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18475

⟨a, b | aab=b, abbbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18507

⟨a, b | aab=b, babbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18509

⟨a, b | aab=b, babbbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18525

⟨a, b | aab=b, bbabbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18526

⟨a, b | aab=b, bbabbba=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18534

⟨a, b | aab=b, bbbabba=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18645

⟨a, b | aba=b, aabbbbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18657

⟨a, b | aba=b, ababbbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18662

⟨a, b | aba=b, abbabbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18664

⟨a, b | aba=b, abbbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18665

⟨a, b | aba=b, abbbbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18666

⟨a, b | aba=b, abbbbba=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18675

⟨a, b | aba=b, baabbbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18678

⟨a, b | aba=b, bababbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18679

⟨a, b | aba=b, babbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18680

⟨a, b | aba=b, babbbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18683

⟨a, b | aba=b, bbaabbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

18684

⟨a, b | aba=b, bbababb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

21319

⟨a, b | aab=1, aabbbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21351

⟨a, b | aab=1, ababbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21367

⟨a, b | aab=1, abbabbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21375

⟨a, b | aab=1, abbbabbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21379

⟨a, b | aab=1, abbbbabb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21381

⟨a, b | aab=1, abbbbbab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21382

⟨a, b | aab=1, abbbbbba=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21415

⟨a, b | aab=1, baabbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21431

⟨a, b | aab=1, bababbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21439

⟨a, b | aab=1, babbabbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21443

⟨a, b | aab=1, babbbabb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21445

⟨a, b | aab=1, babbbbab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21446

⟨a, b | aab=1, babbbbba=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21463

⟨a, b | aab=1, bbaabbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21471

⟨a, b | aab=1, bbababbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21475

⟨a, b | aab=1, bbabbabb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21477

⟨a, b | aab=1, bbabbbab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21478

⟨a, b | aab=1, bbabbbba=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21487

⟨a, b | aab=1, bbbaabbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21491

⟨a, b | aab=1, bbbababb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21493

⟨a, b | aab=1, bbbabbab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21494

⟨a, b | aab=1, bbbabbba=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21499

⟨a, b | aab=1, bbbbaabb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21501

⟨a, b | aab=1, bbbbabab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21502

⟨a, b | aab=1, bbbbabba=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21505

⟨a, b | aab=1, bbbbbaab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21506

⟨a, b | aab=1, bbbbbaba=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21508

⟨a, b | aab=1, bbbbbbaa=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21569

⟨a, b | aba=1, aabbbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21592

⟨a, b | aba=1, ababbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21602

⟨a, b | aba=1, abbabbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21606

⟨a, b | aba=1, abbbabbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21608

⟨a, b | aba=1, abbbbabb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21609

⟨a, b | aba=1, abbbbbab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21610

⟨a, b | aba=1, abbbbbba=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21626

⟨a, b | aba=1, baabbbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21632

⟨a, b | aba=1, bababbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21634

⟨a, b | aba=1, babbabbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21635

⟨a, b | aba=1, babbbabb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21636

⟨a, b | aba=1, babbbbab=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21641

⟨a, b | aba=1, bbaabbbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21642

⟨a, b | aba=1, bbababbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21643

⟨a, b | aba=1, bbabbabb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

21645

⟨a, b | aba=1, bbbaabbb=1⟩

φ(a) = b, φ(b) = bbbbbbbb

22331

⟨a, b | aab=1, aaaaaa=bb⟩

φ(a) = b, φ(b) = bbbbbbbb

22586

⟨a, b | aba=1, aaaaaa=bb⟩

φ(a) = b, φ(b) = bbbbbbbb

22984

⟨a, b | aab=1, abbbb=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23048

⟨a, b | aab=1, babbb=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23080

⟨a, b | aab=1, bbabb=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23096

⟨a, b | aab=1, bbbab=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23104

⟨a, b | aab=1, bbbba=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23113

⟨a, b | aab=1, bbbbb=aab⟩

φ(a) = b, φ(b) = bbbbbbbb

23114

⟨a, b | aab=1, bbbbb=aba⟩

φ(a) = b, φ(b) = bbbbbbbb

23116

⟨a, b | aab=1, bbbbb=baa⟩

φ(a) = b, φ(b) = bbbbbbbb

23216

⟨a, b | aba=1, abbbb=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23244

⟨a, b | aba=1, babbb=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23252

⟨a, b | aba=1, bbabb=aaa⟩

φ(a) = b, φ(b) = bbbbbbbb

23259

⟨a, b | aba=1, bbbbb=aab⟩

φ(a) = b, φ(b) = bbbbbbbb

23260

⟨a, b | aba=1, bbbbb=aba⟩

φ(a) = b, φ(b) = bbbbbbbb

23655

⟨a, b | aa=b, aaaaaabb=1⟩

φ(a) = b, φ(b) = bb

23657

⟨a, b | aa=b, aaaaabab=1⟩

φ(a) = b, φ(b) = bb

23658

⟨a, b | aa=b, aaaaabba=1⟩

φ(a) = b, φ(b) = bb

23661

⟨a, b | aa=b, aaaabaab=1⟩

φ(a) = b, φ(b) = bb

23662

⟨a, b | aa=b, aaaababa=1⟩

φ(a) = b, φ(b) = bb

23664

⟨a, b | aa=b, aaaabbaa=1⟩

φ(a) = b, φ(b) = bb

23668

⟨a, b | aa=b, aaabaaab=1⟩

φ(a) = b, φ(b) = bb

23669

⟨a, b | aa=b, aaabaaba=1⟩

φ(a) = b, φ(b) = bb

23671

⟨a, b | aa=b, aaababaa=1⟩

φ(a) = b, φ(b) = bb

23675

⟨a, b | aa=b, aaabbaaa=1⟩

φ(a) = b, φ(b) = bb

23683

⟨a, b | aa=b, aabaaaab=1⟩

φ(a) = b, φ(b) = bb

23684

⟨a, b | aa=b, aabaaaba=1⟩

φ(a) = b, φ(b) = bb

23686

⟨a, b | aa=b, aabaabaa=1⟩

φ(a) = b, φ(b) = bb

23710

⟨a, b | aa=b, abaaaaab=1⟩

φ(a) = b, φ(b) = bb

23711

⟨a, b | aa=b, abaaaaba=1⟩

φ(a) = b, φ(b) = bb

23752

⟨a, b | aa=b, baaaaaab=1⟩

φ(a) = b, φ(b) = bb

25965

⟨a, b | aa=1, aaabbabbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

25969

⟨a, b | aa=1, aaabbbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

25997

⟨a, b | aa=1, aababbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

25999

⟨a, b | aa=1, aababbbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26012

⟨a, b | aa=1, aabbabbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26013

⟨a, b | aa=1, aabbabbba=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26019

⟨a, b | aa=1, aabbbabba=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26045

⟨a, b | aa=1, abaababbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26048

⟨a, b | aa=1, abaabbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26059

⟨a, b | aa=1, ababababb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26060

⟨a, b | aa=1, abababbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26065

⟨a, b | aa=1, ababbabab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26066

⟨a, b | aa=1, ababbabba=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26069

⟨a, b | aa=1, ababbbaba=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26078

⟨a, b | aa=1, abbaaabbb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26080

⟨a, b | aa=1, abbaababb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26085

⟨a, b | aa=1, abbabaabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26086

⟨a, b | aa=1, abbababab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26089

⟨a, b | aa=1, abbabbaab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26095

⟨a, b | aa=1, abbbaaabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26098

⟨a, b | aa=1, abbbabaab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26125

⟨a, b | aa=1, baaabbabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26126

⟨a, b | aa=1, baaabbbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26133

⟨a, b | aa=1, baababbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26145

⟨a, b | aa=1, babaababb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26146

⟨a, b | aa=1, babaabbab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26149

⟨a, b | aa=1, babababab=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26154

⟨a, b | aa=1, babbaaabb=1⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26540

⟨a, b | aa=1, aabbabbb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26546

⟨a, b | aa=1, aabbbabb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26594

⟨a, b | aa=1, ababbabb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26596

⟨a, b | aa=1, ababbbab=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26616

⟨a, b | aa=1, abbabbab=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26618

⟨a, b | aa=1, abbabbba=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26660

⟨a, b | aa=1, baababbb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26664

⟨a, b | aa=1, baabbabb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26676

⟨a, b | aa=1, babababb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26678

⟨a, b | aa=1, bababbab=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26694

⟨a, b | aa=1, bbaaabbb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

26696

⟨a, b | aa=1, bbaababb=a⟩

φ(a) = bbbbb, φ(b) = bbbbbb

27145

⟨a, b | aa=1, abbabbb=aa⟩

φ(a) = bbbbb, φ(b) = bbbbbb

27153

⟨a, b | aa=1, abbbabb=aa⟩

φ(a) = bbbbb, φ(b) = bbbbbb

27209

⟨a, b | aa=1, babbabb=aa⟩

φ(a) = bbbbb, φ(b) = bbbbbb

27213

⟨a, b | aa=1, babbbab=aa⟩

φ(a) = bbbbb, φ(b) = bbbbbb

27754

⟨a, b | aa=1, bbabbb=aaa⟩

φ(a) = bbbbb, φ(b) = bbbbbb

order 2	1 element	a⁵
order 5	4 elements	a², a⁴, a⁶, a⁸
order 10	4 elements	a, a³, a⁷, a⁹

#507 ⟨a, b | aaa=b, abbb=1⟩

Contents

Properties

Commutative structure

Finite structure

Staircase diagram

Cayley table

Right Cayley graph

Rewriting system

Same cardinality

Isomorphic instances

Up:	Monoid enumeration
Prev:	#500 ⟨a, b \| aaa=a, bbbb=1⟩
Next:	#516 ⟨a, b \| aab=a, abab=1⟩