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

Up:

Monoid enumeration

#116 ⟨a, b | aaa=b, abb=1⟩

#124 ⟨a, b | aab=a, bbb=1⟩

	1	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⁸	1
a²	a²	a³	a⁴	a⁵	a⁶	a⁷	a⁸	1	a
a³	a³	a⁴	a⁵	a⁶	a⁷	a⁸	1	a	a²
a⁴	a⁴	a⁵	a⁶	a⁷	a⁸	1	a	a²	a³
a⁵	a⁵	a⁶	a⁷	a⁸	1	a	a²	a³	a⁴
a⁶	a⁶	a⁷	a⁸	1	a	a²	a³	a⁴	a⁵
a⁷	a⁷	a⁸	1	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⁷

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,bbb=1 a/b - - aaaaaaaaa=1 b=aaa

Σ	#	Presentation	Properties	Description	φ
8	568	⟨a, b \| aaa=a, abb=b⟩	Noc 9		5
8	571	⟨a, b \| aaa=a, bbb=a⟩	Noc Com 9	ℕ_{(9 = 3)}	48
8	581	⟨a, b \| aaa=b, bbb=a⟩	Noc Com 9	ℕ_{(9 = 1)}	62
8	601	⟨a, b \| aba=b, bab=a⟩	Noc 9		3
9	1584	⟨a, b \| aaa=aa, bbb=a⟩	Noc Com 9	ℕ_{(9 = 6)}	16
9	1595	⟨a, b \| aaa=ab, bab=b⟩	Noc 9		9
9	1598	⟨a, b \| aaa=ab, bbb=a⟩	Noc Com 9	ℕ_{(9 = 4)}	40
9	1608	⟨a, b \| aaa=bb, bbb=a⟩	Noc Com 9	ℕ_{(9 = 2)}	70
9	1991	⟨a, b \| aaa=a, abba=b⟩	Noc 9		3
9	2064	⟨a, b \| aab=b, abba=a⟩	Noc 9		38
9	2255	⟨a, b \| ab=aa, bba=bb⟩	Noc 9
10	4125	⟨a, b \| aab=aaa, baa=b⟩	Noc 9		2
10	4130	⟨a, b \| aab=aaa, bbb=a⟩	Noc Com 9	ℕ_{(9 = 7)}	1
10	4156	⟨a, b \| abb=aaa, bbb=a⟩	Noc Com 9	ℕ_{(9 = 5)}	12
10	5035	⟨a, b \| aaa=aa, abbb=b⟩	Noc 9		3
10	5079	⟨a, b \| aaa=bb, aaba=b⟩	Noc Com 9		8
10	5124	⟨a, b \| aab=aa, bbbb=a⟩	Noc Com 9	ℕ_{(9 = 8)}	5
10	5339	⟨a, b \| aaa=bb, aab=ab⟩	Noc 9		1
10	6824	⟨a, b \| aab=b, bbb=aaa⟩	Noc Com 9		5
10	7139	⟨a, b \| bb=aa, aaaa=ab⟩	Noc 9		3
10	9327	⟨a, b \| ab=a, baaa=bbb⟩	Noc 9		3
10	9359	⟨a, b \| ab=a, bbaa=bbb⟩	Noc 9		2
11	19506	⟨a, b \| aab=b, aaaaa=ba⟩	Noc 9
11	19507	⟨a, b \| aab=b, aaaaa=bb⟩	Noc Com 9
11	20723	⟨a, b \| ab=aa, aaaaa=bb⟩	Noc 9		15
11	25656	⟨a, b \| ab=a, bbbbb=baa⟩	Noc 9

Presentation

Properties

Description

568

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

Noc 9

571

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

Noc Com 9

ℕ_{(9 = 3)}

581

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

Noc Com 9

ℕ_{(9 = 1)}

601

⟨a, b | aba=b, bab=a⟩

Noc 9

1584

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

Noc Com 9

ℕ_{(9 = 6)}

1595

⟨a, b | aaa=ab, bab=b⟩

Noc 9

1598

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

Noc Com 9

ℕ_{(9 = 4)}

1608

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

Noc Com 9

ℕ_{(9 = 2)}

1991

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

Noc 9

2064

⟨a, b | aab=b, abba=a⟩

Noc 9

2255

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

Noc 9

4125

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

Noc 9

4130

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

Noc Com 9

ℕ_{(9 = 7)}

4156

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

Noc Com 9

ℕ_{(9 = 5)}

5035

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

Noc 9

5079

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

Noc Com 9

5124

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

Noc Com 9

ℕ_{(9 = 8)}

5339

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

Noc 9

6824

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

Noc Com 9

7139

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

Noc 9

9327

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

Noc 9

9359

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

Noc 9

19506

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

Noc 9

19507

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

Noc Com 9

20723

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

Noc 9

25656

⟨a, b | ab=a, bbbbb=baa⟩

Noc 9

Isomorphic instances

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

Σ	#	Presentation	Mapping
7	169	⟨a, b \| aaa=1, abbb=1⟩	φ(a) = aaaaaa, φ(b) = a
7	171	⟨a, b \| aaa=1, babb=1⟩	φ(a) = aaaaaa, φ(b) = a
8	407	⟨a, b \| aaa=bb, bbb=1⟩	φ(a) = a, φ(b) = aaaaaa
8	671	⟨a, b \| aaa=1, aabbb=1⟩	φ(a) = aaa, φ(b) = a
8	674	⟨a, b \| aaa=1, ababb=1⟩	φ(a) = aaa, φ(b) = a
8	675	⟨a, b \| aaa=1, abbab=1⟩	φ(a) = aaa, φ(b) = a
8	676	⟨a, b \| aaa=1, abbba=1⟩	φ(a) = aaa, φ(b) = a
8	679	⟨a, b \| aaa=1, baabb=1⟩	φ(a) = aaa, φ(b) = a
8	680	⟨a, b \| aaa=1, babab=1⟩	φ(a) = aaa, φ(b) = a
8	786	⟨a, b \| aab=1, bbbb=a⟩	φ(a) = aaaa, φ(b) = a
8	806	⟨a, b \| aba=1, bbbb=a⟩	φ(a) = aaaa, φ(b) = a
8	841	⟨a, b \| aa=b, abbbb=1⟩	φ(a) = aaaaa, φ(b) = a
8	845	⟨a, b \| aa=b, babbb=1⟩	φ(a) = aaaaa, φ(b) = a
8	846	⟨a, b \| aa=b, bbabb=1⟩	φ(a) = aaaaa, φ(b) = a
9	1319	⟨a, b \| aaaa=a, abbb=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1321	⟨a, b \| aaaa=a, babb=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1351	⟨a, b \| aaab=b, abbb=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1355	⟨a, b \| aaab=b, babb=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1357	⟨a, b \| aaab=b, bbab=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1358	⟨a, b \| aaab=b, bbba=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1377	⟨a, b \| aaba=b, abbb=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1381	⟨a, b \| aaba=b, babb=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1383	⟨a, b \| aaba=b, bbab=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1384	⟨a, b \| aaba=b, bbba=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1467	⟨a, b \| aaa=bb, aaab=1⟩	φ(a) = a, φ(b) = aaaaaa
9	1468	⟨a, b \| aaa=bb, aaba=1⟩	φ(a) = a, φ(b) = aaaaaa
9	1859	⟨a, b \| aaa=b, aaabb=1⟩	φ(a) = a, φ(b) = aaa
9	1861	⟨a, b \| aaa=b, aabab=1⟩	φ(a) = a, φ(b) = aaa
9	1862	⟨a, b \| aaa=b, aabba=1⟩	φ(a) = a, φ(b) = aaa
9	1864	⟨a, b \| aaa=b, abaab=1⟩	φ(a) = a, φ(b) = aaa
9	1865	⟨a, b \| aaa=b, ababa=1⟩	φ(a) = a, φ(b) = aaa
9	1870	⟨a, b \| aaa=b, baaab=1⟩	φ(a) = a, φ(b) = aaa
9	2347	⟨a, b \| aab=1, abbbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	2363	⟨a, b \| aab=1, babbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	2371	⟨a, b \| aab=1, bbabbb=1⟩	φ(a) = aaaa, φ(b) = a
9	2375	⟨a, b \| aab=1, bbbabb=1⟩	φ(a) = aaaa, φ(b) = a
9	2377	⟨a, b \| aab=1, bbbbab=1⟩	φ(a) = aaaa, φ(b) = a
9	2378	⟨a, b \| aab=1, bbbbba=1⟩	φ(a) = aaaa, φ(b) = a
9	2405	⟨a, b \| aba=1, abbbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	2412	⟨a, b \| aba=1, babbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	2414	⟨a, b \| aba=1, bbabbb=1⟩	φ(a) = aaaa, φ(b) = a
9	2430	⟨a, b \| aaa=1, aabbb=a⟩	φ(a) = aaaaaa, φ(b) = a
9	2436	⟨a, b \| aaa=1, ababb=a⟩	φ(a) = aaaaaa, φ(b) = a
9	2438	⟨a, b \| aaa=1, abbab=a⟩	φ(a) = aaaaaa, φ(b) = a
9	2440	⟨a, b \| aaa=1, abbba=a⟩	φ(a) = aaaaaa, φ(b) = a
9	2446	⟨a, b \| aaa=1, baabb=a⟩	φ(a) = aaaaaa, φ(b) = a
9	2448	⟨a, b \| aaa=1, babab=a⟩	φ(a) = aaaaaa, φ(b) = a
9	2582	⟨a, b \| aaa=1, abbb=aa⟩	φ(a) = aaa, φ(b) = a
9	2589	⟨a, b \| aaa=1, babb=aa⟩	φ(a) = aaa, φ(b) = a
9	2708	⟨a, b \| aab=1, bbb=aaa⟩	φ(a) = aaaa, φ(b) = a
9	2716	⟨a, b \| aba=1, bbb=aaa⟩	φ(a) = aaaa, φ(b) = a
9	2763	⟨a, b \| aa=b, aaabbb=1⟩	φ(a) = aaaaa, φ(b) = a
9	2766	⟨a, b \| aa=b, aababb=1⟩	φ(a) = aaaaa, φ(b) = a
9	2768	⟨a, b \| aa=b, aabbab=1⟩	φ(a) = aaaaa, φ(b) = a
9	2769	⟨a, b \| aa=b, aabbba=1⟩	φ(a) = aaaaa, φ(b) = a
9	2773	⟨a, b \| aa=b, abaabb=1⟩	φ(a) = aaaaa, φ(b) = a
9	2774	⟨a, b \| aa=b, ababab=1⟩	φ(a) = aaaaa, φ(b) = a
9	2775	⟨a, b \| aa=b, ababba=1⟩	φ(a) = aaaaa, φ(b) = a
9	2777	⟨a, b \| aa=b, abbaab=1⟩	φ(a) = aaaaa, φ(b) = a
9	2783	⟨a, b \| aa=b, baaabb=1⟩	φ(a) = aaaaa, φ(b) = a
9	2784	⟨a, b \| aa=b, baabab=1⟩	φ(a) = aaaaa, φ(b) = a
10	4349	⟨a, b \| aaaa=a, aabbb=1⟩	φ(a) = aaa, φ(b) = a
10	4352	⟨a, b \| aaaa=a, ababb=1⟩	φ(a) = aaa, φ(b) = a
10	4353	⟨a, b \| aaaa=a, abbab=1⟩	φ(a) = aaa, φ(b) = a
10	4354	⟨a, b \| aaaa=a, abbba=1⟩	φ(a) = aaa, φ(b) = a
10	4357	⟨a, b \| aaaa=a, baabb=1⟩	φ(a) = aaa, φ(b) = a
10	4358	⟨a, b \| aaaa=a, babab=1⟩	φ(a) = aaa, φ(b) = a
10	4421	⟨a, b \| aaab=b, aabbb=1⟩	φ(a) = aaa, φ(b) = a
10	4425	⟨a, b \| aaab=b, ababb=1⟩	φ(a) = aaa, φ(b) = a
10	4427	⟨a, b \| aaab=b, abbab=1⟩	φ(a) = aaa, φ(b) = a
10	4428	⟨a, b \| aaab=b, abbba=1⟩	φ(a) = aaa, φ(b) = a
10	4433	⟨a, b \| aaab=b, baabb=1⟩	φ(a) = aaa, φ(b) = a
10	4435	⟨a, b \| aaab=b, babab=1⟩	φ(a) = aaa, φ(b) = a
10	4436	⟨a, b \| aaab=b, babba=1⟩	φ(a) = aaa, φ(b) = a
10	4439	⟨a, b \| aaab=b, bbaab=1⟩	φ(a) = aaa, φ(b) = a
10	4440	⟨a, b \| aaab=b, bbaba=1⟩	φ(a) = aaa, φ(b) = a
10	4442	⟨a, b \| aaab=b, bbbaa=1⟩	φ(a) = aaa, φ(b) = a
10	4485	⟨a, b \| aaba=b, aabbb=1⟩	φ(a) = aaa, φ(b) = a
10	4489	⟨a, b \| aaba=b, ababb=1⟩	φ(a) = aaa, φ(b) = a
10	4491	⟨a, b \| aaba=b, abbab=1⟩	φ(a) = aaa, φ(b) = a
10	4492	⟨a, b \| aaba=b, abbba=1⟩	φ(a) = aaa, φ(b) = a
10	4497	⟨a, b \| aaba=b, baabb=1⟩	φ(a) = aaa, φ(b) = a
10	4499	⟨a, b \| aaba=b, babab=1⟩	φ(a) = aaa, φ(b) = a
10	4500	⟨a, b \| aaba=b, babba=1⟩	φ(a) = aaa, φ(b) = a
10	4503	⟨a, b \| aaba=b, bbaab=1⟩	φ(a) = aaa, φ(b) = a
10	4504	⟨a, b \| aaba=b, bbaba=1⟩	φ(a) = aaa, φ(b) = a
10	4506	⟨a, b \| aaba=b, bbbaa=1⟩	φ(a) = aaa, φ(b) = a
10	4785	⟨a, b \| aaa=ab, abbbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4793	⟨a, b \| aaa=ab, babbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4797	⟨a, b \| aaa=ab, bbabb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4799	⟨a, b \| aaa=ab, bbbab=1⟩	φ(a) = aaaaa, φ(b) = a
10	4800	⟨a, b \| aaa=ab, bbbba=1⟩	φ(a) = aaaaa, φ(b) = a
10	4933	⟨a, b \| aab=bb, abbbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4941	⟨a, b \| aab=bb, babbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4945	⟨a, b \| aab=bb, bbabb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4947	⟨a, b \| aab=bb, bbbab=1⟩	φ(a) = aaaaa, φ(b) = a
10	4948	⟨a, b \| aab=bb, bbbba=1⟩	φ(a) = aaaaa, φ(b) = a
10	5015	⟨a, b \| aba=bb, abbbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	5019	⟨a, b \| aba=bb, babbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	5020	⟨a, b \| aba=bb, bbabb=1⟩	φ(a) = aaaaa, φ(b) = a
10	7215	⟨a, b \| aaa=1, aaaabbb=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7219	⟨a, b \| aaa=1, aaababb=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7221	⟨a, b \| aaa=1, aaabbab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7222	⟨a, b \| aaa=1, aaabbba=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7226	⟨a, b \| aaa=1, aabaabb=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7228	⟨a, b \| aaa=1, aababab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7229	⟨a, b \| aaa=1, aababba=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7231	⟨a, b \| aaa=1, aabbaab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7232	⟨a, b \| aaa=1, aabbaba=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7234	⟨a, b \| aaa=1, aabbbaa=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7240	⟨a, b \| aaa=1, abaaabb=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7241	⟨a, b \| aaa=1, abaabab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7242	⟨a, b \| aaa=1, abaabba=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7244	⟨a, b \| aaa=1, ababaab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7245	⟨a, b \| aaa=1, abababa=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7250	⟨a, b \| aaa=1, abbaaab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7261	⟨a, b \| aaa=1, baaaabb=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7262	⟨a, b \| aaa=1, baaabab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7264	⟨a, b \| aaa=1, baabaab=1⟩	φ(a) = aaaaaa, φ(b) = a
10	7494	⟨a, b \| aaa=1, aaabbb=a⟩	φ(a) = aaa, φ(b) = a
10	7500	⟨a, b \| aaa=1, aababb=a⟩	φ(a) = aaa, φ(b) = a
10	7504	⟨a, b \| aaa=1, aabbab=a⟩	φ(a) = aaa, φ(b) = a
10	7506	⟨a, b \| aaa=1, aabbba=a⟩	φ(a) = aaa, φ(b) = a
10	7514	⟨a, b \| aaa=1, abaabb=a⟩	φ(a) = aaa, φ(b) = a
10	7516	⟨a, b \| aaa=1, ababab=a⟩	φ(a) = aaa, φ(b) = a
10	7518	⟨a, b \| aaa=1, ababba=a⟩	φ(a) = aaa, φ(b) = a
10	7522	⟨a, b \| aaa=1, abbaab=a⟩	φ(a) = aaa, φ(b) = a
10	7534	⟨a, b \| aaa=1, baaabb=a⟩	φ(a) = aaa, φ(b) = a
10	7536	⟨a, b \| aaa=1, baabab=a⟩	φ(a) = aaa, φ(b) = a
10	7827	⟨a, b \| aab=1, aaaaa=bb⟩	φ(a) = aaaa, φ(b) = a
10	7884	⟨a, b \| aab=1, abbbb=aa⟩	φ(a) = aaaa, φ(b) = a
10	7916	⟨a, b \| aab=1, babbb=aa⟩	φ(a) = aaaa, φ(b) = a
10	7932	⟨a, b \| aab=1, bbabb=aa⟩	φ(a) = aaaa, φ(b) = a
10	7940	⟨a, b \| aab=1, bbbab=aa⟩	φ(a) = aaaa, φ(b) = a
10	7944	⟨a, b \| aab=1, bbbba=aa⟩	φ(a) = aaaa, φ(b) = a
10	7949	⟨a, b \| aab=1, bbbbb=ab⟩	φ(a) = aaaa, φ(b) = a
10	7950	⟨a, b \| aab=1, bbbbb=ba⟩	φ(a) = aaaa, φ(b) = a
10	7954	⟨a, b \| aba=1, aaaaa=bb⟩	φ(a) = aaaa, φ(b) = a
10	8000	⟨a, b \| aba=1, abbbb=aa⟩	φ(a) = aaaa, φ(b) = a
10	8014	⟨a, b \| aba=1, babbb=aa⟩	φ(a) = aaaa, φ(b) = a
10	8018	⟨a, b \| aba=1, bbabb=aa⟩	φ(a) = aaaa, φ(b) = a
10	8022	⟨a, b \| aba=1, bbbbb=ab⟩	φ(a) = aaaa, φ(b) = a
10	8029	⟨a, b \| aaa=1, aaaa=bbb⟩	φ(a) = aaa, φ(b) = a
10	8068	⟨a, b \| aaa=1, abbb=aaa⟩	φ(a) = aaaaaa, φ(b) = a
10	8082	⟨a, b \| aaa=1, babb=aaa⟩	φ(a) = aaaaaa, φ(b) = a
10	8371	⟨a, b \| aa=b, aaaaabb=1⟩	φ(a) = aaaaa, φ(b) = a
10	8373	⟨a, b \| aa=b, aaaabab=1⟩	φ(a) = aaaaa, φ(b) = a
10	8374	⟨a, b \| aa=b, aaaabba=1⟩	φ(a) = aaaaa, φ(b) = a
10	8377	⟨a, b \| aa=b, aaabaab=1⟩	φ(a) = aaaaa, φ(b) = a
10	8378	⟨a, b \| aa=b, aaababa=1⟩	φ(a) = aaaaa, φ(b) = a
10	8380	⟨a, b \| aa=b, aaabbaa=1⟩	φ(a) = aaaaa, φ(b) = a
10	8384	⟨a, b \| aa=b, aabaaab=1⟩	φ(a) = aaaaa, φ(b) = a
10	8385	⟨a, b \| aa=b, aabaaba=1⟩	φ(a) = aaaaa, φ(b) = a
10	8387	⟨a, b \| aa=b, aababaa=1⟩	φ(a) = aaaaa, φ(b) = a
10	8398	⟨a, b \| aa=b, abaaaab=1⟩	φ(a) = aaaaa, φ(b) = a
10	8399	⟨a, b \| aa=b, abaaaba=1⟩	φ(a) = aaaaa, φ(b) = a
10	8420	⟨a, b \| aa=b, baaaaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	10637	⟨a, b \| aaaa=abb, aaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10638	⟨a, b \| aaaa=abb, aaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10640	⟨a, b \| aaaa=abb, abaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10644	⟨a, b \| aaaa=abb, baaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10652	⟨a, b \| aaaa=bab, aaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10653	⟨a, b \| aaaa=bab, aaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10768	⟨a, b \| aaab=bbb, aaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10770	⟨a, b \| aaab=bbb, abaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10774	⟨a, b \| aaab=bbb, baaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10874	⟨a, b \| aaba=bbb, abaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10878	⟨a, b \| aaba=bbb, baaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	10953	⟨a, b \| abaa=bbb, baaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	11115	⟨a, b \| aaaaa=b, aaaab=1⟩	φ(a) = aa, φ(b) = a
11	11116	⟨a, b \| aaaaa=b, aaaba=1⟩	φ(a) = aa, φ(b) = a
11	11118	⟨a, b \| aaaaa=b, aabaa=1⟩	φ(a) = aa, φ(b) = a
11	11643	⟨a, b \| aaaa=ab, aaabb=1⟩	φ(a) = a, φ(b) = aaa
11	11645	⟨a, b \| aaaa=ab, aabab=1⟩	φ(a) = a, φ(b) = aaa
11	11646	⟨a, b \| aaaa=ab, aabba=1⟩	φ(a) = a, φ(b) = aaa
11	11649	⟨a, b \| aaaa=ab, abaab=1⟩	φ(a) = a, φ(b) = aaa
11	11650	⟨a, b \| aaaa=ab, ababa=1⟩	φ(a) = a, φ(b) = aaa
11	11652	⟨a, b \| aaaa=ab, abbaa=1⟩	φ(a) = a, φ(b) = aaa
11	11657	⟨a, b \| aaaa=ab, baaab=1⟩	φ(a) = a, φ(b) = aaa
11	11658	⟨a, b \| aaaa=ab, baaba=1⟩	φ(a) = a, φ(b) = aaa
11	11660	⟨a, b \| aaaa=ab, babaa=1⟩	φ(a) = a, φ(b) = aaa
11	11664	⟨a, b \| aaaa=ab, bbaaa=1⟩	φ(a) = a, φ(b) = aaa
11	11791	⟨a, b \| aaab=bb, aaabb=1⟩	φ(a) = a, φ(b) = aaa
11	11793	⟨a, b \| aaab=bb, aabab=1⟩	φ(a) = a, φ(b) = aaa
11	11794	⟨a, b \| aaab=bb, aabba=1⟩	φ(a) = a, φ(b) = aaa
11	11797	⟨a, b \| aaab=bb, abaab=1⟩	φ(a) = a, φ(b) = aaa
11	11798	⟨a, b \| aaab=bb, ababa=1⟩	φ(a) = a, φ(b) = aaa
11	11800	⟨a, b \| aaab=bb, abbaa=1⟩	φ(a) = a, φ(b) = aaa
11	11805	⟨a, b \| aaab=bb, baaab=1⟩	φ(a) = a, φ(b) = aaa
11	11806	⟨a, b \| aaab=bb, baaba=1⟩	φ(a) = a, φ(b) = aaa
11	11808	⟨a, b \| aaab=bb, babaa=1⟩	φ(a) = a, φ(b) = aaa
11	11812	⟨a, b \| aaab=bb, bbaaa=1⟩	φ(a) = a, φ(b) = aaa
11	11919	⟨a, b \| aaba=bb, aaabb=1⟩	φ(a) = a, φ(b) = aaa
11	11921	⟨a, b \| aaba=bb, aabab=1⟩	φ(a) = a, φ(b) = aaa
11	11922	⟨a, b \| aaba=bb, aabba=1⟩	φ(a) = a, φ(b) = aaa
11	11925	⟨a, b \| aaba=bb, abaab=1⟩	φ(a) = a, φ(b) = aaa
11	11926	⟨a, b \| aaba=bb, ababa=1⟩	φ(a) = a, φ(b) = aaa
11	11928	⟨a, b \| aaba=bb, abbaa=1⟩	φ(a) = a, φ(b) = aaa
11	11933	⟨a, b \| aaba=bb, baaab=1⟩	φ(a) = a, φ(b) = aaa
11	11934	⟨a, b \| aaba=bb, baaba=1⟩	φ(a) = a, φ(b) = aaa
11	11936	⟨a, b \| aaba=bb, babaa=1⟩	φ(a) = a, φ(b) = aaa
11	11940	⟨a, b \| aaba=bb, bbaaa=1⟩	φ(a) = a, φ(b) = aaa
11	13316	⟨a, b \| aaaab=1, aaabbb=1⟩	φ(a) = aa, φ(b) = a
11	13320	⟨a, b \| aaaab=1, aababb=1⟩	φ(a) = aa, φ(b) = a
11	13322	⟨a, b \| aaaab=1, aabbab=1⟩	φ(a) = aa, φ(b) = a
11	13323	⟨a, b \| aaaab=1, aabbba=1⟩	φ(a) = aa, φ(b) = a
11	13328	⟨a, b \| aaaab=1, abaabb=1⟩	φ(a) = aa, φ(b) = a
11	13330	⟨a, b \| aaaab=1, ababab=1⟩	φ(a) = aa, φ(b) = a
11	13331	⟨a, b \| aaaab=1, ababba=1⟩	φ(a) = aa, φ(b) = a
11	13334	⟨a, b \| aaaab=1, abbaab=1⟩	φ(a) = aa, φ(b) = a
11	13335	⟨a, b \| aaaab=1, abbaba=1⟩	φ(a) = aa, φ(b) = a
11	13337	⟨a, b \| aaaab=1, abbbaa=1⟩	φ(a) = aa, φ(b) = a
11	13344	⟨a, b \| aaaab=1, baaabb=1⟩	φ(a) = aa, φ(b) = a
11	13346	⟨a, b \| aaaab=1, baabab=1⟩	φ(a) = aa, φ(b) = a
11	13347	⟨a, b \| aaaab=1, baabba=1⟩	φ(a) = aa, φ(b) = a
11	13350	⟨a, b \| aaaab=1, babaab=1⟩	φ(a) = aa, φ(b) = a
11	13351	⟨a, b \| aaaab=1, bababa=1⟩	φ(a) = aa, φ(b) = a
11	13353	⟨a, b \| aaaab=1, babbaa=1⟩	φ(a) = aa, φ(b) = a
11	13358	⟨a, b \| aaaab=1, bbaaab=1⟩	φ(a) = aa, φ(b) = a
11	13359	⟨a, b \| aaaab=1, bbaaba=1⟩	φ(a) = aa, φ(b) = a
11	13361	⟨a, b \| aaaab=1, bbabaa=1⟩	φ(a) = aa, φ(b) = a
11	13365	⟨a, b \| aaaab=1, bbbaaa=1⟩	φ(a) = aa, φ(b) = a
11	13380	⟨a, b \| aaaba=1, aaabbb=1⟩	φ(a) = aa, φ(b) = a
11	13384	⟨a, b \| aaaba=1, aababb=1⟩	φ(a) = aa, φ(b) = a
11	13386	⟨a, b \| aaaba=1, aabbab=1⟩	φ(a) = aa, φ(b) = a
11	13387	⟨a, b \| aaaba=1, aabbba=1⟩	φ(a) = aa, φ(b) = a
11	13392	⟨a, b \| aaaba=1, abaabb=1⟩	φ(a) = aa, φ(b) = a
11	13394	⟨a, b \| aaaba=1, ababab=1⟩	φ(a) = aa, φ(b) = a
11	13395	⟨a, b \| aaaba=1, ababba=1⟩	φ(a) = aa, φ(b) = a
11	13398	⟨a, b \| aaaba=1, abbaab=1⟩	φ(a) = aa, φ(b) = a
11	13399	⟨a, b \| aaaba=1, abbaba=1⟩	φ(a) = aa, φ(b) = a
11	13401	⟨a, b \| aaaba=1, abbbaa=1⟩	φ(a) = aa, φ(b) = a
11	13408	⟨a, b \| aaaba=1, baaabb=1⟩	φ(a) = aa, φ(b) = a
11	13410	⟨a, b \| aaaba=1, baabab=1⟩	φ(a) = aa, φ(b) = a
11	13411	⟨a, b \| aaaba=1, baabba=1⟩	φ(a) = aa, φ(b) = a
11	13414	⟨a, b \| aaaba=1, babaab=1⟩	φ(a) = aa, φ(b) = a
11	13415	⟨a, b \| aaaba=1, bababa=1⟩	φ(a) = aa, φ(b) = a
11	13417	⟨a, b \| aaaba=1, babbaa=1⟩	φ(a) = aa, φ(b) = a
11	13422	⟨a, b \| aaaba=1, bbaaab=1⟩	φ(a) = aa, φ(b) = a
11	13423	⟨a, b \| aaaba=1, bbaaba=1⟩	φ(a) = aa, φ(b) = a
11	13425	⟨a, b \| aaaba=1, bbabaa=1⟩	φ(a) = aa, φ(b) = a
11	13429	⟨a, b \| aaaba=1, bbbaaa=1⟩	φ(a) = aa, φ(b) = a
11	13508	⟨a, b \| aabaa=1, aaabbb=1⟩	φ(a) = aa, φ(b) = a
11	13511	⟨a, b \| aabaa=1, aababb=1⟩	φ(a) = aa, φ(b) = a
11	13513	⟨a, b \| aabaa=1, aabbab=1⟩	φ(a) = aa, φ(b) = a
11	13514	⟨a, b \| aabaa=1, aabbba=1⟩	φ(a) = aa, φ(b) = a
11	13518	⟨a, b \| aabaa=1, abaabb=1⟩	φ(a) = aa, φ(b) = a
11	13519	⟨a, b \| aabaa=1, ababab=1⟩	φ(a) = aa, φ(b) = a
11	13520	⟨a, b \| aabaa=1, ababba=1⟩	φ(a) = aa, φ(b) = a
11	13522	⟨a, b \| aabaa=1, abbaab=1⟩	φ(a) = aa, φ(b) = a
11	13528	⟨a, b \| aabaa=1, baaabb=1⟩	φ(a) = aa, φ(b) = a
11	13529	⟨a, b \| aabaa=1, baabab=1⟩	φ(a) = aa, φ(b) = a
11	13838	⟨a, b \| aaaa=b, aaaaab=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	13839	⟨a, b \| aaaa=b, aaaaba=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	13841	⟨a, b \| aaaa=b, aaabaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	13904	⟨a, b \| aaab=a, abbbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	13920	⟨a, b \| aaab=a, babbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	13928	⟨a, b \| aaab=a, bbabbb=1⟩	φ(a) = aaaa, φ(b) = a
11	13932	⟨a, b \| aaab=a, bbbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	13934	⟨a, b \| aaab=a, bbbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	13935	⟨a, b \| aaab=a, bbbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	14032	⟨a, b \| aaba=a, abbbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	14048	⟨a, b \| aaba=a, babbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	14056	⟨a, b \| aaba=a, bbabbb=1⟩	φ(a) = aaaa, φ(b) = a
11	14060	⟨a, b \| aaba=a, bbbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	14062	⟨a, b \| aaba=a, bbbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	14063	⟨a, b \| aaba=a, bbbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	14130	⟨a, b \| aabb=a, aaaaab=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14131	⟨a, b \| aabb=a, aaaaba=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14133	⟨a, b \| aabb=a, aaabaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14137	⟨a, b \| aabb=a, aabaaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14145	⟨a, b \| aabb=a, abaaaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14161	⟨a, b \| aabb=a, baaaaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14194	⟨a, b \| abab=a, aaaaab=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14195	⟨a, b \| abab=a, aaaaba=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14197	⟨a, b \| abab=a, aaabaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14201	⟨a, b \| abab=a, aabaaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14209	⟨a, b \| abab=a, abaaaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14225	⟨a, b \| abab=a, baaaaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14258	⟨a, b \| abba=a, aaaaab=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14259	⟨a, b \| abba=a, aaaaba=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14261	⟨a, b \| abba=a, aaabaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
11	14318	⟨a, b \| abba=b, abbbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	14325	⟨a, b \| abba=b, babbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	14327	⟨a, b \| abba=b, bbabbb=1⟩	φ(a) = aaaa, φ(b) = a
11	14916	⟨a, b \| aaa=ab, aaabbb=1⟩	φ(a) = aaaaa, φ(b) = a
11	14920	⟨a, b \| aaa=ab, aababb=1⟩	φ(a) = aaaaa, φ(b) = a
11	14922	⟨a, b \| aaa=ab, aabbab=1⟩	φ(a) = aaaaa, φ(b) = a
11	14923	⟨a, b \| aaa=ab, aabbba=1⟩	φ(a) = aaaaa, φ(b) = a
11	14928	⟨a, b \| aaa=ab, abaabb=1⟩	φ(a) = aaaaa, φ(b) = a
11	14930	⟨a, b \| aaa=ab, ababab=1⟩	φ(a) = aaaaa, φ(b) = a
11	14931	⟨a, b \| aaa=ab, ababba=1⟩	φ(a) = aaaaa, φ(b) = a
11	14934	⟨a, b \| aaa=ab, abbaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	14935	⟨a, b \| aaa=ab, abbaba=1⟩	φ(a) = aaaaa, φ(b) = a
11	14937	⟨a, b \| aaa=ab, abbbaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	14944	⟨a, b \| aaa=ab, baaabb=1⟩	φ(a) = aaaaa, φ(b) = a
11	14946	⟨a, b \| aaa=ab, baabab=1⟩	φ(a) = aaaaa, φ(b) = a
11	14947	⟨a, b \| aaa=ab, baabba=1⟩	φ(a) = aaaaa, φ(b) = a
11	14950	⟨a, b \| aaa=ab, babaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	14951	⟨a, b \| aaa=ab, bababa=1⟩	φ(a) = aaaaa, φ(b) = a
11	14953	⟨a, b \| aaa=ab, babbaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	14958	⟨a, b \| aaa=ab, bbaaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	14959	⟨a, b \| aaa=ab, bbaaba=1⟩	φ(a) = aaaaa, φ(b) = a
11	14961	⟨a, b \| aaa=ab, bbabaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	14965	⟨a, b \| aaa=ab, bbbaaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	15208	⟨a, b \| aab=bb, aaabbb=1⟩	φ(a) = aaaaa, φ(b) = a
11	15212	⟨a, b \| aab=bb, aababb=1⟩	φ(a) = aaaaa, φ(b) = a
11	15214	⟨a, b \| aab=bb, aabbab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15215	⟨a, b \| aab=bb, aabbba=1⟩	φ(a) = aaaaa, φ(b) = a
11	15220	⟨a, b \| aab=bb, abaabb=1⟩	φ(a) = aaaaa, φ(b) = a
11	15222	⟨a, b \| aab=bb, ababab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15223	⟨a, b \| aab=bb, ababba=1⟩	φ(a) = aaaaa, φ(b) = a
11	15226	⟨a, b \| aab=bb, abbaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15227	⟨a, b \| aab=bb, abbaba=1⟩	φ(a) = aaaaa, φ(b) = a
11	15229	⟨a, b \| aab=bb, abbbaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	15236	⟨a, b \| aab=bb, baaabb=1⟩	φ(a) = aaaaa, φ(b) = a
11	15238	⟨a, b \| aab=bb, baabab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15239	⟨a, b \| aab=bb, baabba=1⟩	φ(a) = aaaaa, φ(b) = a
11	15242	⟨a, b \| aab=bb, babaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15243	⟨a, b \| aab=bb, bababa=1⟩	φ(a) = aaaaa, φ(b) = a
11	15245	⟨a, b \| aab=bb, babbaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	15250	⟨a, b \| aab=bb, bbaaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15251	⟨a, b \| aab=bb, bbaaba=1⟩	φ(a) = aaaaa, φ(b) = a
11	15253	⟨a, b \| aab=bb, bbabaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	15257	⟨a, b \| aab=bb, bbbaaa=1⟩	φ(a) = aaaaa, φ(b) = a
11	15375	⟨a, b \| aba=bb, aababb=1⟩	φ(a) = aaaaa, φ(b) = a
11	15377	⟨a, b \| aba=bb, aabbab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15382	⟨a, b \| aba=bb, abaabb=1⟩	φ(a) = aaaaa, φ(b) = a
11	15383	⟨a, b \| aba=bb, ababab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15384	⟨a, b \| aba=bb, ababba=1⟩	φ(a) = aaaaa, φ(b) = a
11	15386	⟨a, b \| aba=bb, abbaab=1⟩	φ(a) = aaaaa, φ(b) = a
11	15393	⟨a, b \| aba=bb, baabab=1⟩	φ(a) = aaaaa, φ(b) = a
11	16647	⟨a, b \| aaab=1, aaabbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16655	⟨a, b \| aaab=1, aababbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16659	⟨a, b \| aaab=1, aabbabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16661	⟨a, b \| aaab=1, aabbbab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16662	⟨a, b \| aaab=1, aabbbba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16671	⟨a, b \| aaab=1, abaabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16675	⟨a, b \| aaab=1, abababb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16677	⟨a, b \| aaab=1, ababbab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16678	⟨a, b \| aaab=1, ababbba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16683	⟨a, b \| aaab=1, abbaabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16685	⟨a, b \| aaab=1, abbabab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16686	⟨a, b \| aaab=1, abbabba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16689	⟨a, b \| aaab=1, abbbaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16690	⟨a, b \| aaab=1, abbbaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16692	⟨a, b \| aaab=1, abbbbaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16703	⟨a, b \| aaab=1, baaabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16707	⟨a, b \| aaab=1, baababb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16709	⟨a, b \| aaab=1, baabbab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16710	⟨a, b \| aaab=1, baabbba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16715	⟨a, b \| aaab=1, babaabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16717	⟨a, b \| aaab=1, bababab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16718	⟨a, b \| aaab=1, bababba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16721	⟨a, b \| aaab=1, babbaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16722	⟨a, b \| aaab=1, babbaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16724	⟨a, b \| aaab=1, babbbaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16731	⟨a, b \| aaab=1, bbaaabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16733	⟨a, b \| aaab=1, bbaabab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16734	⟨a, b \| aaab=1, bbaabba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16737	⟨a, b \| aaab=1, bbabaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16738	⟨a, b \| aaab=1, bbababa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16740	⟨a, b \| aaab=1, bbabbaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16745	⟨a, b \| aaab=1, bbbaaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16746	⟨a, b \| aaab=1, bbbaaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16748	⟨a, b \| aaab=1, bbbabaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16752	⟨a, b \| aaab=1, bbbbaaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16775	⟨a, b \| aaba=1, aaabbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16783	⟨a, b \| aaba=1, aababbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16787	⟨a, b \| aaba=1, aabbabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16789	⟨a, b \| aaba=1, aabbbab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16790	⟨a, b \| aaba=1, aabbbba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16799	⟨a, b \| aaba=1, abaabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16803	⟨a, b \| aaba=1, abababb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16805	⟨a, b \| aaba=1, ababbab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16806	⟨a, b \| aaba=1, ababbba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16811	⟨a, b \| aaba=1, abbaabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16813	⟨a, b \| aaba=1, abbabab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16814	⟨a, b \| aaba=1, abbabba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16817	⟨a, b \| aaba=1, abbbaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16818	⟨a, b \| aaba=1, abbbaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16820	⟨a, b \| aaba=1, abbbbaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16831	⟨a, b \| aaba=1, baaabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16835	⟨a, b \| aaba=1, baababb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16837	⟨a, b \| aaba=1, baabbab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16838	⟨a, b \| aaba=1, baabbba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16843	⟨a, b \| aaba=1, babaabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16845	⟨a, b \| aaba=1, bababab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16846	⟨a, b \| aaba=1, bababba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16849	⟨a, b \| aaba=1, babbaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16850	⟨a, b \| aaba=1, babbaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16852	⟨a, b \| aaba=1, babbbaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16859	⟨a, b \| aaba=1, bbaaabb=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16861	⟨a, b \| aaba=1, bbaabab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16862	⟨a, b \| aaba=1, bbaabba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16865	⟨a, b \| aaba=1, bbabaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16866	⟨a, b \| aaba=1, bbababa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16868	⟨a, b \| aaba=1, bbabbaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16873	⟨a, b \| aaba=1, bbbaaab=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16874	⟨a, b \| aaba=1, bbbaaba=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16876	⟨a, b \| aaba=1, bbbabaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	16880	⟨a, b \| aaba=1, bbbbaaa=1⟩	φ(a) = a, φ(b) = aaaaaa
11	17161	⟨a, b \| aaab=1, aaaaaa=b⟩	φ(a) = a, φ(b) = aaaaaa
11	17289	⟨a, b \| aaba=1, aaaaaa=b⟩	φ(a) = a, φ(b) = aaaaaa
11	17716	⟨a, b \| aaab=1, aabbb=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17732	⟨a, b \| aaab=1, ababb=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17740	⟨a, b \| aaab=1, abbab=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17744	⟨a, b \| aaab=1, abbba=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17749	⟨a, b \| aaab=1, abbbb=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17750	⟨a, b \| aaab=1, abbbb=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17764	⟨a, b \| aaab=1, baabb=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17772	⟨a, b \| aaab=1, babab=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17776	⟨a, b \| aaab=1, babba=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17781	⟨a, b \| aaab=1, babbb=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17782	⟨a, b \| aaab=1, babbb=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17788	⟨a, b \| aaab=1, bbaab=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17792	⟨a, b \| aaab=1, bbaba=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17797	⟨a, b \| aaab=1, bbabb=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17798	⟨a, b \| aaab=1, bbabb=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17800	⟨a, b \| aaab=1, bbbaa=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17805	⟨a, b \| aaab=1, bbbab=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17806	⟨a, b \| aaab=1, bbbab=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17809	⟨a, b \| aaab=1, bbbba=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17810	⟨a, b \| aaab=1, bbbba=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17815	⟨a, b \| aaab=1, bbbbb=bb⟩	φ(a) = a, φ(b) = aaaaaa
11	17844	⟨a, b \| aaba=1, aabbb=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17860	⟨a, b \| aaba=1, ababb=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17868	⟨a, b \| aaba=1, abbab=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17872	⟨a, b \| aaba=1, abbba=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17877	⟨a, b \| aaba=1, abbbb=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17878	⟨a, b \| aaba=1, abbbb=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17892	⟨a, b \| aaba=1, baabb=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17900	⟨a, b \| aaba=1, babab=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17904	⟨a, b \| aaba=1, babba=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17909	⟨a, b \| aaba=1, babbb=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17910	⟨a, b \| aaba=1, babbb=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17916	⟨a, b \| aaba=1, bbaab=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17920	⟨a, b \| aaba=1, bbaba=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17925	⟨a, b \| aaba=1, bbabb=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17926	⟨a, b \| aaba=1, bbabb=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17928	⟨a, b \| aaba=1, bbbaa=aa⟩	φ(a) = a, φ(b) = aaaaaa
11	17933	⟨a, b \| aaba=1, bbbab=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17934	⟨a, b \| aaba=1, bbbab=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17937	⟨a, b \| aaba=1, bbbba=ab⟩	φ(a) = a, φ(b) = aaaaaa
11	17938	⟨a, b \| aaba=1, bbbba=ba⟩	φ(a) = a, φ(b) = aaaaaa
11	17943	⟨a, b \| aaba=1, bbbbb=bb⟩	φ(a) = a, φ(b) = aaaaaa
11	18217	⟨a, b \| aaa=b, aaaaaab=1⟩	φ(a) = a, φ(b) = aaa
11	18218	⟨a, b \| aaa=b, aaaaaba=1⟩	φ(a) = a, φ(b) = aaa
11	18220	⟨a, b \| aaa=b, aaaabaa=1⟩	φ(a) = a, φ(b) = aaa
11	18224	⟨a, b \| aaa=b, aaabaaa=1⟩	φ(a) = a, φ(b) = aaa
11	21127	⟨a, b \| aaa=1, aaaaabbb=1⟩	φ(a) = aaa, φ(b) = a
11	21131	⟨a, b \| aaa=1, aaaababb=1⟩	φ(a) = aaa, φ(b) = a
11	21133	⟨a, b \| aaa=1, aaaabbab=1⟩	φ(a) = aaa, φ(b) = a
11	21134	⟨a, b \| aaa=1, aaaabbba=1⟩	φ(a) = aaa, φ(b) = a
11	21138	⟨a, b \| aaa=1, aaabaabb=1⟩	φ(a) = aaa, φ(b) = a
11	21140	⟨a, b \| aaa=1, aaababab=1⟩	φ(a) = aaa, φ(b) = a
11	21141	⟨a, b \| aaa=1, aaababba=1⟩	φ(a) = aaa, φ(b) = a
11	21144	⟨a, b \| aaa=1, aaabbaab=1⟩	φ(a) = aaa, φ(b) = a
11	21145	⟨a, b \| aaa=1, aaabbaba=1⟩	φ(a) = aaa, φ(b) = a
11	21147	⟨a, b \| aaa=1, aaabbbaa=1⟩	φ(a) = aaa, φ(b) = a
11	21153	⟨a, b \| aaa=1, aabaaabb=1⟩	φ(a) = aaa, φ(b) = a
11	21155	⟨a, b \| aaa=1, aabaabab=1⟩	φ(a) = aaa, φ(b) = a
11	21156	⟨a, b \| aaa=1, aabaabba=1⟩	φ(a) = aaa, φ(b) = a
11	21158	⟨a, b \| aaa=1, aababaab=1⟩	φ(a) = aaa, φ(b) = a
11	21159	⟨a, b \| aaa=1, aabababa=1⟩	φ(a) = aaa, φ(b) = a
11	21161	⟨a, b \| aaa=1, aababbaa=1⟩	φ(a) = aaa, φ(b) = a
11	21165	⟨a, b \| aaa=1, aabbaaab=1⟩	φ(a) = aaa, φ(b) = a
11	21166	⟨a, b \| aaa=1, aabbaaba=1⟩	φ(a) = aaa, φ(b) = a
11	21180	⟨a, b \| aaa=1, abaaaabb=1⟩	φ(a) = aaa, φ(b) = a
11	21181	⟨a, b \| aaa=1, abaaabab=1⟩	φ(a) = aaa, φ(b) = a
11	21182	⟨a, b \| aaa=1, abaaabba=1⟩	φ(a) = aaa, φ(b) = a
11	21184	⟨a, b \| aaa=1, abaabaab=1⟩	φ(a) = aaa, φ(b) = a
11	21185	⟨a, b \| aaa=1, abaababa=1⟩	φ(a) = aaa, φ(b) = a
11	21190	⟨a, b \| aaa=1, ababaaab=1⟩	φ(a) = aaa, φ(b) = a
11	21201	⟨a, b \| aaa=1, abbaaaab=1⟩	φ(a) = aaa, φ(b) = a
11	21221	⟨a, b \| aaa=1, baaaaabb=1⟩	φ(a) = aaa, φ(b) = a
11	21222	⟨a, b \| aaa=1, baaaabab=1⟩	φ(a) = aaa, φ(b) = a
11	21224	⟨a, b \| aaa=1, baaabaab=1⟩	φ(a) = aaa, φ(b) = a
11	21793	⟨a, b \| aab=1, aaaaaaa=b⟩	φ(a) = aaaa, φ(b) = a
11	21854	⟨a, b \| aab=1, aabbbbb=a⟩	φ(a) = aaaa, φ(b) = a
11	21886	⟨a, b \| aab=1, ababbbb=a⟩	φ(a) = aaaa, φ(b) = a
11	21902	⟨a, b \| aab=1, abbabbb=a⟩	φ(a) = aaaa, φ(b) = a
11	21910	⟨a, b \| aab=1, abbbabb=a⟩	φ(a) = aaaa, φ(b) = a
11	21914	⟨a, b \| aab=1, abbbbab=a⟩	φ(a) = aaaa, φ(b) = a
11	21916	⟨a, b \| aab=1, abbbbba=a⟩	φ(a) = aaaa, φ(b) = a
11	21919	⟨a, b \| aab=1, abbbbbb=b⟩	φ(a) = aaaa, φ(b) = a
11	21950	⟨a, b \| aab=1, baabbbb=a⟩	φ(a) = aaaa, φ(b) = a
11	21966	⟨a, b \| aab=1, bababbb=a⟩	φ(a) = aaaa, φ(b) = a
11	21974	⟨a, b \| aab=1, babbabb=a⟩	φ(a) = aaaa, φ(b) = a
11	21978	⟨a, b \| aab=1, babbbab=a⟩	φ(a) = aaaa, φ(b) = a
11	21980	⟨a, b \| aab=1, babbbba=a⟩	φ(a) = aaaa, φ(b) = a
11	21983	⟨a, b \| aab=1, babbbbb=b⟩	φ(a) = aaaa, φ(b) = a
11	21998	⟨a, b \| aab=1, bbaabbb=a⟩	φ(a) = aaaa, φ(b) = a
11	22006	⟨a, b \| aab=1, bbababb=a⟩	φ(a) = aaaa, φ(b) = a
11	22010	⟨a, b \| aab=1, bbabbab=a⟩	φ(a) = aaaa, φ(b) = a
11	22012	⟨a, b \| aab=1, bbabbba=a⟩	φ(a) = aaaa, φ(b) = a
11	22015	⟨a, b \| aab=1, bbabbbb=b⟩	φ(a) = aaaa, φ(b) = a
11	22022	⟨a, b \| aab=1, bbbaabb=a⟩	φ(a) = aaaa, φ(b) = a
11	22026	⟨a, b \| aab=1, bbbabab=a⟩	φ(a) = aaaa, φ(b) = a
11	22028	⟨a, b \| aab=1, bbbabba=a⟩	φ(a) = aaaa, φ(b) = a

Presentation

Mapping

169

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

φ(a) = aaaaaa, φ(b) = a

171

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

φ(a) = aaaaaa, φ(b) = a

407

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

φ(a) = a, φ(b) = aaaaaa

671

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

φ(a) = aaa, φ(b) = a

674

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

φ(a) = aaa, φ(b) = a

675

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

φ(a) = aaa, φ(b) = a

676

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

φ(a) = aaa, φ(b) = a

679

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

φ(a) = aaa, φ(b) = a

680

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

φ(a) = aaa, φ(b) = a

786

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

φ(a) = aaaa, φ(b) = a

806

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

φ(a) = aaaa, φ(b) = a

841

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

φ(a) = aaaaa, φ(b) = a

845

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

φ(a) = aaaaa, φ(b) = a

846

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

φ(a) = aaaaa, φ(b) = a

1319

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

φ(a) = aaaaaa, φ(b) = a

1321

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

φ(a) = aaaaaa, φ(b) = a

1351

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

φ(a) = aaaaaa, φ(b) = a

1355

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

φ(a) = aaaaaa, φ(b) = a

1357

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

φ(a) = aaaaaa, φ(b) = a

1358

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

φ(a) = aaaaaa, φ(b) = a

1377

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

φ(a) = aaaaaa, φ(b) = a

1381

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

φ(a) = aaaaaa, φ(b) = a

1383

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

φ(a) = aaaaaa, φ(b) = a

1384

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

φ(a) = aaaaaa, φ(b) = a

1467

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

φ(a) = a, φ(b) = aaaaaa

1468

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

φ(a) = a, φ(b) = aaaaaa

1859

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

φ(a) = a, φ(b) = aaa

1861

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

φ(a) = a, φ(b) = aaa

1862

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

φ(a) = a, φ(b) = aaa

1864

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

φ(a) = a, φ(b) = aaa

1865

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

φ(a) = a, φ(b) = aaa

1870

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

φ(a) = a, φ(b) = aaa

2347

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

φ(a) = aaaa, φ(b) = a

2363

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

φ(a) = aaaa, φ(b) = a

2371

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

φ(a) = aaaa, φ(b) = a

2375

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

φ(a) = aaaa, φ(b) = a

2377

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

φ(a) = aaaa, φ(b) = a

2378

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

φ(a) = aaaa, φ(b) = a

2405

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

φ(a) = aaaa, φ(b) = a

2412

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

φ(a) = aaaa, φ(b) = a

2414

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

φ(a) = aaaa, φ(b) = a

2430

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

φ(a) = aaaaaa, φ(b) = a

2436

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

φ(a) = aaaaaa, φ(b) = a

2438

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

φ(a) = aaaaaa, φ(b) = a

2440

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

φ(a) = aaaaaa, φ(b) = a

2446

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

φ(a) = aaaaaa, φ(b) = a

2448

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

φ(a) = aaaaaa, φ(b) = a

2582

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

φ(a) = aaa, φ(b) = a

2589

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

φ(a) = aaa, φ(b) = a

2708

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

φ(a) = aaaa, φ(b) = a

2716

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

φ(a) = aaaa, φ(b) = a

2763

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

φ(a) = aaaaa, φ(b) = a

2766

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

φ(a) = aaaaa, φ(b) = a

2768

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

φ(a) = aaaaa, φ(b) = a

2769

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

φ(a) = aaaaa, φ(b) = a

2773

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

φ(a) = aaaaa, φ(b) = a

2774

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

φ(a) = aaaaa, φ(b) = a

2775

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

φ(a) = aaaaa, φ(b) = a

2777

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

φ(a) = aaaaa, φ(b) = a

2783

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

φ(a) = aaaaa, φ(b) = a

2784

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

φ(a) = aaaaa, φ(b) = a

4349

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

φ(a) = aaa, φ(b) = a

4352

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

φ(a) = aaa, φ(b) = a

4353

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

φ(a) = aaa, φ(b) = a

4354

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

φ(a) = aaa, φ(b) = a

4357

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

φ(a) = aaa, φ(b) = a

4358

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

φ(a) = aaa, φ(b) = a

4421

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

φ(a) = aaa, φ(b) = a

4425

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

φ(a) = aaa, φ(b) = a

4427

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

φ(a) = aaa, φ(b) = a

4428

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

φ(a) = aaa, φ(b) = a

4433

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

φ(a) = aaa, φ(b) = a

4435

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

φ(a) = aaa, φ(b) = a

4436

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

φ(a) = aaa, φ(b) = a

4439

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

φ(a) = aaa, φ(b) = a

4440

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

φ(a) = aaa, φ(b) = a

4442

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

φ(a) = aaa, φ(b) = a

4485

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

φ(a) = aaa, φ(b) = a

4489

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

φ(a) = aaa, φ(b) = a

4491

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

φ(a) = aaa, φ(b) = a

4492

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

φ(a) = aaa, φ(b) = a

4497

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

φ(a) = aaa, φ(b) = a

4499

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

φ(a) = aaa, φ(b) = a

4500

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

φ(a) = aaa, φ(b) = a

4503

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

φ(a) = aaa, φ(b) = a

4504

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

φ(a) = aaa, φ(b) = a

4506

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

φ(a) = aaa, φ(b) = a

4785

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

φ(a) = aaaaa, φ(b) = a

4793

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

φ(a) = aaaaa, φ(b) = a

4797

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

φ(a) = aaaaa, φ(b) = a

4799

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

φ(a) = aaaaa, φ(b) = a

4800

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

φ(a) = aaaaa, φ(b) = a

4933

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

φ(a) = aaaaa, φ(b) = a

4941

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

φ(a) = aaaaa, φ(b) = a

4945

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

φ(a) = aaaaa, φ(b) = a

4947

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

φ(a) = aaaaa, φ(b) = a

4948

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

φ(a) = aaaaa, φ(b) = a

5015

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

φ(a) = aaaaa, φ(b) = a

5019

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

φ(a) = aaaaa, φ(b) = a

5020

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

φ(a) = aaaaa, φ(b) = a

7215

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

φ(a) = aaaaaa, φ(b) = a

7219

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

φ(a) = aaaaaa, φ(b) = a

7221

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

φ(a) = aaaaaa, φ(b) = a

7222

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

φ(a) = aaaaaa, φ(b) = a

7226

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

φ(a) = aaaaaa, φ(b) = a

7228

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

φ(a) = aaaaaa, φ(b) = a

7229

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

φ(a) = aaaaaa, φ(b) = a

7231

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

φ(a) = aaaaaa, φ(b) = a

7232

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

φ(a) = aaaaaa, φ(b) = a

7234

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

φ(a) = aaaaaa, φ(b) = a

7240

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

φ(a) = aaaaaa, φ(b) = a

7241

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

φ(a) = aaaaaa, φ(b) = a

7242

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

φ(a) = aaaaaa, φ(b) = a

7244

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

φ(a) = aaaaaa, φ(b) = a

7245

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

φ(a) = aaaaaa, φ(b) = a

7250

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

φ(a) = aaaaaa, φ(b) = a

7261

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

φ(a) = aaaaaa, φ(b) = a

7262

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

φ(a) = aaaaaa, φ(b) = a

7264

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

φ(a) = aaaaaa, φ(b) = a

7494

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

φ(a) = aaa, φ(b) = a

7500

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

φ(a) = aaa, φ(b) = a

7504

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

φ(a) = aaa, φ(b) = a

7506

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

φ(a) = aaa, φ(b) = a

7514

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

φ(a) = aaa, φ(b) = a

7516

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

φ(a) = aaa, φ(b) = a

7518

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

φ(a) = aaa, φ(b) = a

7522

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

φ(a) = aaa, φ(b) = a

7534

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

φ(a) = aaa, φ(b) = a

7536

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

φ(a) = aaa, φ(b) = a

7827

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

φ(a) = aaaa, φ(b) = a

7884

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

φ(a) = aaaa, φ(b) = a

7916

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

φ(a) = aaaa, φ(b) = a

7932

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

φ(a) = aaaa, φ(b) = a

7940

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

φ(a) = aaaa, φ(b) = a

7944

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

φ(a) = aaaa, φ(b) = a

7949

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

φ(a) = aaaa, φ(b) = a

7950

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

φ(a) = aaaa, φ(b) = a

7954

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

φ(a) = aaaa, φ(b) = a

8000

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

φ(a) = aaaa, φ(b) = a

8014

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

φ(a) = aaaa, φ(b) = a

8018

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

φ(a) = aaaa, φ(b) = a

8022

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

φ(a) = aaaa, φ(b) = a

8029

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

φ(a) = aaa, φ(b) = a

8068

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

φ(a) = aaaaaa, φ(b) = a

8082

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

φ(a) = aaaaaa, φ(b) = a

8371

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

φ(a) = aaaaa, φ(b) = a

8373

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

φ(a) = aaaaa, φ(b) = a

8374

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

φ(a) = aaaaa, φ(b) = a

8377

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

φ(a) = aaaaa, φ(b) = a

8378

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

φ(a) = aaaaa, φ(b) = a

8380

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

φ(a) = aaaaa, φ(b) = a

8384

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

φ(a) = aaaaa, φ(b) = a

8385

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

φ(a) = aaaaa, φ(b) = a

8387

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

φ(a) = aaaaa, φ(b) = a

8398

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

φ(a) = aaaaa, φ(b) = a

8399

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

φ(a) = aaaaa, φ(b) = a

8420

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

φ(a) = aaaaa, φ(b) = a

10637

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

φ(a) = a, φ(b) = aaaaaa

10638

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

φ(a) = a, φ(b) = aaaaaa

10640

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

φ(a) = a, φ(b) = aaaaaa

10644

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

φ(a) = a, φ(b) = aaaaaa

10652

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

φ(a) = a, φ(b) = aaaaaa

10653

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

φ(a) = a, φ(b) = aaaaaa

10768

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

φ(a) = a, φ(b) = aaaaaa

10770

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

φ(a) = a, φ(b) = aaaaaa

10774

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

φ(a) = a, φ(b) = aaaaaa

10874

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

φ(a) = a, φ(b) = aaaaaa

10878

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

φ(a) = a, φ(b) = aaaaaa

10953

⟨a, b | abaa=bbb, baaa=1⟩

φ(a) = a, φ(b) = aaaaaa

11115

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

φ(a) = aa, φ(b) = a

11116

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

φ(a) = aa, φ(b) = a

11118

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

φ(a) = aa, φ(b) = a

11643

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

φ(a) = a, φ(b) = aaa

11645

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

φ(a) = a, φ(b) = aaa

11646

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

φ(a) = a, φ(b) = aaa

11649

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

φ(a) = a, φ(b) = aaa

11650

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

φ(a) = a, φ(b) = aaa

11652

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

φ(a) = a, φ(b) = aaa

11657

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

φ(a) = a, φ(b) = aaa

11658

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

φ(a) = a, φ(b) = aaa

11660

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

φ(a) = a, φ(b) = aaa

11664

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

φ(a) = a, φ(b) = aaa

11791

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

φ(a) = a, φ(b) = aaa

11793

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

φ(a) = a, φ(b) = aaa

11794

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

φ(a) = a, φ(b) = aaa

11797

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

φ(a) = a, φ(b) = aaa

11798

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

φ(a) = a, φ(b) = aaa

11800

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

φ(a) = a, φ(b) = aaa

11805

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

φ(a) = a, φ(b) = aaa

11806

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

φ(a) = a, φ(b) = aaa

11808

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

φ(a) = a, φ(b) = aaa

11812

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

φ(a) = a, φ(b) = aaa

11919

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

φ(a) = a, φ(b) = aaa

11921

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

φ(a) = a, φ(b) = aaa

11922

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

φ(a) = a, φ(b) = aaa

11925

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

φ(a) = a, φ(b) = aaa

11926

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

φ(a) = a, φ(b) = aaa

11928

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

φ(a) = a, φ(b) = aaa

11933

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

φ(a) = a, φ(b) = aaa

11934

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

φ(a) = a, φ(b) = aaa

11936

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

φ(a) = a, φ(b) = aaa

11940

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

φ(a) = a, φ(b) = aaa

13316

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

φ(a) = aa, φ(b) = a

13320

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

φ(a) = aa, φ(b) = a

13322

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

φ(a) = aa, φ(b) = a

13323

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

φ(a) = aa, φ(b) = a

13328

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

φ(a) = aa, φ(b) = a

13330

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

φ(a) = aa, φ(b) = a

13331

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

φ(a) = aa, φ(b) = a

13334

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

φ(a) = aa, φ(b) = a

13335

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

φ(a) = aa, φ(b) = a

13337

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

φ(a) = aa, φ(b) = a

13344

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

φ(a) = aa, φ(b) = a

13346

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

φ(a) = aa, φ(b) = a

13347

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

φ(a) = aa, φ(b) = a

13350

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

φ(a) = aa, φ(b) = a

13351

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

φ(a) = aa, φ(b) = a

13353

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

φ(a) = aa, φ(b) = a

13358

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

φ(a) = aa, φ(b) = a

13359

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

φ(a) = aa, φ(b) = a

13361

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

φ(a) = aa, φ(b) = a

13365

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

φ(a) = aa, φ(b) = a

13380

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

φ(a) = aa, φ(b) = a

13384

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

φ(a) = aa, φ(b) = a

13386

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

φ(a) = aa, φ(b) = a

13387

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

φ(a) = aa, φ(b) = a

13392

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

φ(a) = aa, φ(b) = a

13394

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

φ(a) = aa, φ(b) = a

13395

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

φ(a) = aa, φ(b) = a

13398

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

φ(a) = aa, φ(b) = a

13399

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

φ(a) = aa, φ(b) = a

13401

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

φ(a) = aa, φ(b) = a

13408

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

φ(a) = aa, φ(b) = a

13410

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

φ(a) = aa, φ(b) = a

13411

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

φ(a) = aa, φ(b) = a

13414

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

φ(a) = aa, φ(b) = a

13415

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

φ(a) = aa, φ(b) = a

13417

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

φ(a) = aa, φ(b) = a

13422

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

φ(a) = aa, φ(b) = a

13423

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

φ(a) = aa, φ(b) = a

13425

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

φ(a) = aa, φ(b) = a

13429

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

φ(a) = aa, φ(b) = a

13508

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

φ(a) = aa, φ(b) = a

13511

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

φ(a) = aa, φ(b) = a

13513

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

φ(a) = aa, φ(b) = a

13514

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

φ(a) = aa, φ(b) = a

13518

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

φ(a) = aa, φ(b) = a

13519

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

φ(a) = aa, φ(b) = a

13520

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

φ(a) = aa, φ(b) = a

13522

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

φ(a) = aa, φ(b) = a

13528

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

φ(a) = aa, φ(b) = a

13529

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

φ(a) = aa, φ(b) = a

13838

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

φ(a) = aaaaaaa, φ(b) = a

13839

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

φ(a) = aaaaaaa, φ(b) = a

13841

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

φ(a) = aaaaaaa, φ(b) = a

13904

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

φ(a) = aaaa, φ(b) = a

13920

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

φ(a) = aaaa, φ(b) = a

13928

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

φ(a) = aaaa, φ(b) = a

13932

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

φ(a) = aaaa, φ(b) = a

13934

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

φ(a) = aaaa, φ(b) = a

13935

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

φ(a) = aaaa, φ(b) = a

14032

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

φ(a) = aaaa, φ(b) = a

14048

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

φ(a) = aaaa, φ(b) = a

14056

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

φ(a) = aaaa, φ(b) = a

14060

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

φ(a) = aaaa, φ(b) = a

14062

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

φ(a) = aaaa, φ(b) = a

14063

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

φ(a) = aaaa, φ(b) = a

14130

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

φ(a) = aaaaaaa, φ(b) = a

14131

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

φ(a) = aaaaaaa, φ(b) = a

14133

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

φ(a) = aaaaaaa, φ(b) = a

14137

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

φ(a) = aaaaaaa, φ(b) = a

14145

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

φ(a) = aaaaaaa, φ(b) = a

14161

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

φ(a) = aaaaaaa, φ(b) = a

14194

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

φ(a) = aaaaaaa, φ(b) = a

14195

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

φ(a) = aaaaaaa, φ(b) = a

14197

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

φ(a) = aaaaaaa, φ(b) = a

14201

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

φ(a) = aaaaaaa, φ(b) = a

14209

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

φ(a) = aaaaaaa, φ(b) = a

14225

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

φ(a) = aaaaaaa, φ(b) = a

14258

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

φ(a) = aaaaaaa, φ(b) = a

14259

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

φ(a) = aaaaaaa, φ(b) = a

14261

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

φ(a) = aaaaaaa, φ(b) = a

14318

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

φ(a) = aaaa, φ(b) = a

14325

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

φ(a) = aaaa, φ(b) = a

14327

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

φ(a) = aaaa, φ(b) = a

14916

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

φ(a) = aaaaa, φ(b) = a

14920

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

φ(a) = aaaaa, φ(b) = a

14922

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

φ(a) = aaaaa, φ(b) = a

14923

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

φ(a) = aaaaa, φ(b) = a

14928

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

φ(a) = aaaaa, φ(b) = a

14930

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

φ(a) = aaaaa, φ(b) = a

14931

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

φ(a) = aaaaa, φ(b) = a

14934

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

φ(a) = aaaaa, φ(b) = a

14935

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

φ(a) = aaaaa, φ(b) = a

14937

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

φ(a) = aaaaa, φ(b) = a

14944

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

φ(a) = aaaaa, φ(b) = a

14946

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

φ(a) = aaaaa, φ(b) = a

14947

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

φ(a) = aaaaa, φ(b) = a

14950

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

φ(a) = aaaaa, φ(b) = a

14951

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

φ(a) = aaaaa, φ(b) = a

14953

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

φ(a) = aaaaa, φ(b) = a

14958

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

φ(a) = aaaaa, φ(b) = a

14959

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

φ(a) = aaaaa, φ(b) = a

14961

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

φ(a) = aaaaa, φ(b) = a

14965

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

φ(a) = aaaaa, φ(b) = a

15208

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

φ(a) = aaaaa, φ(b) = a

15212

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

φ(a) = aaaaa, φ(b) = a

15214

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

φ(a) = aaaaa, φ(b) = a

15215

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

φ(a) = aaaaa, φ(b) = a

15220

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

φ(a) = aaaaa, φ(b) = a

15222

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

φ(a) = aaaaa, φ(b) = a

15223

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

φ(a) = aaaaa, φ(b) = a

15226

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

φ(a) = aaaaa, φ(b) = a

15227

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

φ(a) = aaaaa, φ(b) = a

15229

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

φ(a) = aaaaa, φ(b) = a

15236

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

φ(a) = aaaaa, φ(b) = a

15238

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

φ(a) = aaaaa, φ(b) = a

15239

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

φ(a) = aaaaa, φ(b) = a

15242

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

φ(a) = aaaaa, φ(b) = a

15243

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

φ(a) = aaaaa, φ(b) = a

15245

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

φ(a) = aaaaa, φ(b) = a

15250

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

φ(a) = aaaaa, φ(b) = a

15251

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

φ(a) = aaaaa, φ(b) = a

15253

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

φ(a) = aaaaa, φ(b) = a

15257

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

φ(a) = aaaaa, φ(b) = a

15375

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

φ(a) = aaaaa, φ(b) = a

15377

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

φ(a) = aaaaa, φ(b) = a

15382

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

φ(a) = aaaaa, φ(b) = a

15383

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

φ(a) = aaaaa, φ(b) = a

15384

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

φ(a) = aaaaa, φ(b) = a

15386

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

φ(a) = aaaaa, φ(b) = a

15393

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

φ(a) = aaaaa, φ(b) = a

16647

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

φ(a) = a, φ(b) = aaaaaa

16655

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

φ(a) = a, φ(b) = aaaaaa

16659

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

φ(a) = a, φ(b) = aaaaaa

16661

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

φ(a) = a, φ(b) = aaaaaa

16662

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

φ(a) = a, φ(b) = aaaaaa

16671

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

φ(a) = a, φ(b) = aaaaaa

16675

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

φ(a) = a, φ(b) = aaaaaa

16677

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

φ(a) = a, φ(b) = aaaaaa

16678

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

φ(a) = a, φ(b) = aaaaaa

16683

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

φ(a) = a, φ(b) = aaaaaa

16685

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

φ(a) = a, φ(b) = aaaaaa

16686

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

φ(a) = a, φ(b) = aaaaaa

16689

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

φ(a) = a, φ(b) = aaaaaa

16690

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

φ(a) = a, φ(b) = aaaaaa

16692

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

φ(a) = a, φ(b) = aaaaaa

16703

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

φ(a) = a, φ(b) = aaaaaa

16707

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

φ(a) = a, φ(b) = aaaaaa

16709

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

φ(a) = a, φ(b) = aaaaaa

16710

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

φ(a) = a, φ(b) = aaaaaa

16715

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

φ(a) = a, φ(b) = aaaaaa

16717

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

φ(a) = a, φ(b) = aaaaaa

16718

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

φ(a) = a, φ(b) = aaaaaa

16721

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

φ(a) = a, φ(b) = aaaaaa

16722

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

φ(a) = a, φ(b) = aaaaaa

16724

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

φ(a) = a, φ(b) = aaaaaa

16731

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

φ(a) = a, φ(b) = aaaaaa

16733

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

φ(a) = a, φ(b) = aaaaaa

16734

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

φ(a) = a, φ(b) = aaaaaa

16737

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

φ(a) = a, φ(b) = aaaaaa

16738

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

φ(a) = a, φ(b) = aaaaaa

16740

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

φ(a) = a, φ(b) = aaaaaa

16745

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

φ(a) = a, φ(b) = aaaaaa

16746

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

φ(a) = a, φ(b) = aaaaaa

16748

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

φ(a) = a, φ(b) = aaaaaa

16752

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

φ(a) = a, φ(b) = aaaaaa

16775

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

φ(a) = a, φ(b) = aaaaaa

16783

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

φ(a) = a, φ(b) = aaaaaa

16787

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

φ(a) = a, φ(b) = aaaaaa

16789

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

φ(a) = a, φ(b) = aaaaaa

16790

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

φ(a) = a, φ(b) = aaaaaa

16799

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

φ(a) = a, φ(b) = aaaaaa

16803

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

φ(a) = a, φ(b) = aaaaaa

16805

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

φ(a) = a, φ(b) = aaaaaa

16806

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

φ(a) = a, φ(b) = aaaaaa

16811

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

φ(a) = a, φ(b) = aaaaaa

16813

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

φ(a) = a, φ(b) = aaaaaa

16814

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

φ(a) = a, φ(b) = aaaaaa

16817

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

φ(a) = a, φ(b) = aaaaaa

16818

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

φ(a) = a, φ(b) = aaaaaa

16820

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

φ(a) = a, φ(b) = aaaaaa

16831

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

φ(a) = a, φ(b) = aaaaaa

16835

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

φ(a) = a, φ(b) = aaaaaa

16837

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

φ(a) = a, φ(b) = aaaaaa

16838

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

φ(a) = a, φ(b) = aaaaaa

16843

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

φ(a) = a, φ(b) = aaaaaa

16845

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

φ(a) = a, φ(b) = aaaaaa

16846

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

φ(a) = a, φ(b) = aaaaaa

16849

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

φ(a) = a, φ(b) = aaaaaa

16850

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

φ(a) = a, φ(b) = aaaaaa

16852

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

φ(a) = a, φ(b) = aaaaaa

16859

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

φ(a) = a, φ(b) = aaaaaa

16861

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

φ(a) = a, φ(b) = aaaaaa

16862

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

φ(a) = a, φ(b) = aaaaaa

16865

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

φ(a) = a, φ(b) = aaaaaa

16866

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

φ(a) = a, φ(b) = aaaaaa

16868

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

φ(a) = a, φ(b) = aaaaaa

16873

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

φ(a) = a, φ(b) = aaaaaa

16874

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

φ(a) = a, φ(b) = aaaaaa

16876

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

φ(a) = a, φ(b) = aaaaaa

16880

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

φ(a) = a, φ(b) = aaaaaa

17161

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

φ(a) = a, φ(b) = aaaaaa

17289

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

φ(a) = a, φ(b) = aaaaaa

17716

⟨a, b | aaab=1, aabbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

17732

⟨a, b | aaab=1, ababb=aa⟩

φ(a) = a, φ(b) = aaaaaa

17740

⟨a, b | aaab=1, abbab=aa⟩

φ(a) = a, φ(b) = aaaaaa

17744

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

φ(a) = a, φ(b) = aaaaaa

17749

⟨a, b | aaab=1, abbbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

17750

⟨a, b | aaab=1, abbbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

17764

⟨a, b | aaab=1, baabb=aa⟩

φ(a) = a, φ(b) = aaaaaa

17772

⟨a, b | aaab=1, babab=aa⟩

φ(a) = a, φ(b) = aaaaaa

17776

⟨a, b | aaab=1, babba=aa⟩

φ(a) = a, φ(b) = aaaaaa

17781

⟨a, b | aaab=1, babbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

17782

⟨a, b | aaab=1, babbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

17788

⟨a, b | aaab=1, bbaab=aa⟩

φ(a) = a, φ(b) = aaaaaa

17792

⟨a, b | aaab=1, bbaba=aa⟩

φ(a) = a, φ(b) = aaaaaa

17797

⟨a, b | aaab=1, bbabb=ab⟩

φ(a) = a, φ(b) = aaaaaa

17798

⟨a, b | aaab=1, bbabb=ba⟩

φ(a) = a, φ(b) = aaaaaa

17800

⟨a, b | aaab=1, bbbaa=aa⟩

φ(a) = a, φ(b) = aaaaaa

17805

⟨a, b | aaab=1, bbbab=ab⟩

φ(a) = a, φ(b) = aaaaaa

17806

⟨a, b | aaab=1, bbbab=ba⟩

φ(a) = a, φ(b) = aaaaaa

17809

⟨a, b | aaab=1, bbbba=ab⟩

φ(a) = a, φ(b) = aaaaaa

17810

⟨a, b | aaab=1, bbbba=ba⟩

φ(a) = a, φ(b) = aaaaaa

17815

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

φ(a) = a, φ(b) = aaaaaa

17844

⟨a, b | aaba=1, aabbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

17860

⟨a, b | aaba=1, ababb=aa⟩

φ(a) = a, φ(b) = aaaaaa

17868

⟨a, b | aaba=1, abbab=aa⟩

φ(a) = a, φ(b) = aaaaaa

17872

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

φ(a) = a, φ(b) = aaaaaa

17877

⟨a, b | aaba=1, abbbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

17878

⟨a, b | aaba=1, abbbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

17892

⟨a, b | aaba=1, baabb=aa⟩

φ(a) = a, φ(b) = aaaaaa

17900

⟨a, b | aaba=1, babab=aa⟩

φ(a) = a, φ(b) = aaaaaa

17904

⟨a, b | aaba=1, babba=aa⟩

φ(a) = a, φ(b) = aaaaaa

17909

⟨a, b | aaba=1, babbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

17910

⟨a, b | aaba=1, babbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

17916

⟨a, b | aaba=1, bbaab=aa⟩

φ(a) = a, φ(b) = aaaaaa

17920

⟨a, b | aaba=1, bbaba=aa⟩

φ(a) = a, φ(b) = aaaaaa

17925

⟨a, b | aaba=1, bbabb=ab⟩

φ(a) = a, φ(b) = aaaaaa

17926

⟨a, b | aaba=1, bbabb=ba⟩

φ(a) = a, φ(b) = aaaaaa

17928

⟨a, b | aaba=1, bbbaa=aa⟩

φ(a) = a, φ(b) = aaaaaa

17933

⟨a, b | aaba=1, bbbab=ab⟩

φ(a) = a, φ(b) = aaaaaa

17934

⟨a, b | aaba=1, bbbab=ba⟩

φ(a) = a, φ(b) = aaaaaa

17937

⟨a, b | aaba=1, bbbba=ab⟩

φ(a) = a, φ(b) = aaaaaa

17938

⟨a, b | aaba=1, bbbba=ba⟩

φ(a) = a, φ(b) = aaaaaa

17943

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

φ(a) = a, φ(b) = aaaaaa

18217

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

φ(a) = a, φ(b) = aaa

18218

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

φ(a) = a, φ(b) = aaa

18220

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

φ(a) = a, φ(b) = aaa

18224

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

φ(a) = a, φ(b) = aaa

21127

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

φ(a) = aaa, φ(b) = a

21131

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

φ(a) = aaa, φ(b) = a

21133

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

φ(a) = aaa, φ(b) = a

21134

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

φ(a) = aaa, φ(b) = a

21138

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

φ(a) = aaa, φ(b) = a

21140

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

φ(a) = aaa, φ(b) = a

21141

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

φ(a) = aaa, φ(b) = a

21144

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

φ(a) = aaa, φ(b) = a

21145

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

φ(a) = aaa, φ(b) = a

21147

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

φ(a) = aaa, φ(b) = a

21153

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

φ(a) = aaa, φ(b) = a

21155

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

φ(a) = aaa, φ(b) = a

21156

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

φ(a) = aaa, φ(b) = a

21158

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

φ(a) = aaa, φ(b) = a

21159

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

φ(a) = aaa, φ(b) = a

21161

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

φ(a) = aaa, φ(b) = a

21165

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

φ(a) = aaa, φ(b) = a

21166

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

φ(a) = aaa, φ(b) = a

21180

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

φ(a) = aaa, φ(b) = a

21181

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

φ(a) = aaa, φ(b) = a

21182

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

φ(a) = aaa, φ(b) = a

21184

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

φ(a) = aaa, φ(b) = a

21185

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

φ(a) = aaa, φ(b) = a

21190

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

φ(a) = aaa, φ(b) = a

21201

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

φ(a) = aaa, φ(b) = a

21221

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

φ(a) = aaa, φ(b) = a

21222

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

φ(a) = aaa, φ(b) = a

21224

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

φ(a) = aaa, φ(b) = a

21793

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

φ(a) = aaaa, φ(b) = a

21854

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

φ(a) = aaaa, φ(b) = a

21886

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

φ(a) = aaaa, φ(b) = a

21902

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

φ(a) = aaaa, φ(b) = a

21910

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

φ(a) = aaaa, φ(b) = a

21914

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

φ(a) = aaaa, φ(b) = a

21916

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

φ(a) = aaaa, φ(b) = a

21919

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

φ(a) = aaaa, φ(b) = a

21950

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

φ(a) = aaaa, φ(b) = a

21966

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

φ(a) = aaaa, φ(b) = a

21974

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

φ(a) = aaaa, φ(b) = a

21978

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

φ(a) = aaaa, φ(b) = a

21980

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

φ(a) = aaaa, φ(b) = a

21983

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

φ(a) = aaaa, φ(b) = a

21998

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

φ(a) = aaaa, φ(b) = a

22006

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

φ(a) = aaaa, φ(b) = a

22010

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

φ(a) = aaaa, φ(b) = a

22012

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

φ(a) = aaaa, φ(b) = a

22015

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

φ(a) = aaaa, φ(b) = a

22022

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

φ(a) = aaaa, φ(b) = a

22026

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

φ(a) = aaaa, φ(b) = a

22028

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

φ(a) = aaaa, φ(b) = a

22031

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

φ(a) = aaaa, φ(b) = a

22034

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

φ(a) = aaaa, φ(b) = a

22036

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

φ(a) = aaaa, φ(b) = a

22039

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

φ(a) = aaaa, φ(b) = a

22040

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

φ(a) = aaaa, φ(b) = a

22043

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

φ(a) = aaaa, φ(b) = a

22045

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

φ(a) = aaaa, φ(b) = a

22049

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

φ(a) = aaaa, φ(b) = a

22106

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

φ(a) = aaaa, φ(b) = a

22130

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

φ(a) = aaaa, φ(b) = a

22140

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

φ(a) = aaaa, φ(b) = a

22144

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

φ(a) = aaaa, φ(b) = a

22146

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

φ(a) = aaaa, φ(b) = a

22148

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

φ(a) = aaaa, φ(b) = a

22151

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

φ(a) = aaaa, φ(b) = a

22166

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

φ(a) = aaaa, φ(b) = a

22172

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

φ(a) = aaaa, φ(b) = a

22174

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

φ(a) = aaaa, φ(b) = a

22176

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

φ(a) = aaaa, φ(b) = a

22179

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

φ(a) = aaaa, φ(b) = a

22182

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

φ(a) = aaaa, φ(b) = a

22184

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

φ(a) = aaaa, φ(b) = a

22187

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

φ(a) = aaaa, φ(b) = a

22189

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

φ(a) = aaaa, φ(b) = a

22219

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

φ(a) = aaaaaa, φ(b) = a

22231

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

φ(a) = aaaaaa, φ(b) = a

22238

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

φ(a) = aaaaaa, φ(b) = a

22242

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

φ(a) = aaaaaa, φ(b) = a

22257

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

φ(a) = aaaaaa, φ(b) = a

22261

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

φ(a) = aaaaaa, φ(b) = a

22265

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

φ(a) = aaaaaa, φ(b) = a

22273

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

φ(a) = aaaaaa, φ(b) = a

22295

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

φ(a) = aaaaaa, φ(b) = a

22299

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

φ(a) = aaaaaa, φ(b) = a

22725

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

φ(a) = aaaaaa, φ(b) = a

22772

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

φ(a) = aaa, φ(b) = a

22794

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

φ(a) = aaa, φ(b) = a

22802

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

φ(a) = aaa, φ(b) = a

22810

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

φ(a) = aaa, φ(b) = a

22830

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

φ(a) = aaa, φ(b) = a

22838

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

φ(a) = aaa, φ(b) = a

23351

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

φ(a) = aaaa, φ(b) = a

23385

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

φ(a) = aaaa, φ(b) = a

23408

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

φ(a) = aaaa, φ(b) = a

23421

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

φ(a) = aaaa, φ(b) = a

23436

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

φ(a) = aaaa, φ(b) = a

23437

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

φ(a) = aaaa, φ(b) = a

23439

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

φ(a) = aaaa, φ(b) = a

23443

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

φ(a) = aaaa, φ(b) = a

23469

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

φ(a) = aaaa, φ(b) = a

23490

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

φ(a) = aaaa, φ(b) = a

23508

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

φ(a) = aaaa, φ(b) = a

23509

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

φ(a) = aaaa, φ(b) = a

23653

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

φ(a) = aaaaa, φ(b) = a

23654

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

φ(a) = aaaaa, φ(b) = a

23656

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

φ(a) = aaaaa, φ(b) = a

23660

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

φ(a) = aaaaa, φ(b) = a

26184

⟨a, b | ab=1, aaaaaaaaa=1⟩

φ(a) = aaaaaaaa, φ(b) = a

26713

⟨a, b | ab=1, aaaaaaaa=b⟩

φ(a) = aaaaaaaa, φ(b) = a

27243

⟨a, b | ab=1, aaaaaaa=bb⟩

φ(a) = aaaaaaaa, φ(b) = a

27775

⟨a, b | ab=1, aaaaaa=bbb⟩

φ(a) = aaaaaaaa, φ(b) = a

28311

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

φ(a) = aaaaaaaa, φ(b) = a

order 3	2 elements	a³, a⁶
order 9	6 elements	a, a², a⁴, a⁵, a⁷, ...

#118 ⟨a, b | aaa=b, bbb=1⟩

Contents

Properties

Commutative structure

Finite structure

Staircase diagram

Cayley table

Right Cayley graph

Rewriting system

Same cardinality

Isomorphic instances

Up:	Monoid enumeration
Prev:	#116 ⟨a, b \| aaa=b, abb=1⟩
Next:	#124 ⟨a, b \| aab=a, bbb=1⟩