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

Up:

Monoid enumeration

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

#461 ⟨a, b | aaaa=1, bbbb=1⟩

Cayley table

	1	b	b²	b³	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹
1	1	b	b²	b³	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹
b	b	b²	b³	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹	1
b²	b²	b³	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹	1	b
b³	b³	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹	1	b	b²
b⁴	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹	1	b	b²	b³
b⁵	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹	1	b	b²	b³	b⁴
b⁶	b⁶	b⁷	b⁸	b⁹	b¹⁰	b¹¹	1	b	b²	b³	b⁴	b⁵
b⁷	b⁷	b⁸	b⁹	b¹⁰	b¹¹	1	b	b²	b³	b⁴	b⁵	b⁶
b⁸	b⁸	b⁹	b¹⁰	b¹¹	1	b	b²	b³	b⁴	b⁵	b⁶	b⁷
b⁹	b⁹	b¹⁰	b¹¹	1	b	b²	b³	b⁴	b⁵	b⁶	b⁷	b⁸
b¹⁰	b¹⁰	b¹¹	1	b	b²	b³	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹
b¹¹	b¹¹	1	b	b²	b³	b⁴	b⁵	b⁶	b⁷	b⁸	b⁹	b¹⁰

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁶

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁷

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁸

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁹

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b¹⁰

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹¹

b²

b³

b⁴

b⁵

b⁶

b⁷

b⁸

b⁹

b¹⁰

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(b) = 0; deg(a) = 1
Certificate: derivations of all rewriting rules from the defining relations.

#	Rule	Proof
1.	b¹² ⇒ 1	[6]
2.	a ⇒ b⁹	[5]

# ab:aaaa=1,abbb=1 b/a - - bbbbbbbbbbbb=1 a=bbbbbbbbb

Σ	#	Presentation	Properties	Description	φ
7	124	⟨a, b \| aab=a, bbb=1⟩	Noc 12		61
8	645	⟨a, b \| ab=aa, bbb=b⟩	Noc 12		1
9	1646	⟨a, b \| aab=bb, aba=a⟩	Noc 12		2
9	1963	⟨a, b \| aba=b, aaabb=1⟩	Grp 12		30
9	1998	⟨a, b \| aaa=a, bbbb=a⟩	Noc Com 12	ℕ_{(12 = 4)}	6
9	2018	⟨a, b \| aaa=b, bbbb=a⟩	Noc Com 12	ℕ_{(12 = 1)}	27
9	2019	⟨a, b \| aaa=b, bbbb=b⟩	Noc Com 12	ℕ_{(12 = 3)}	23
9	2259	⟨a, b \| ab=aa, bbb=bb⟩	Noc 12
10	5040	⟨a, b \| aaa=aa, bbbb=a⟩	Noc Com 12	ℕ_{(12 = 8)}
10	5072	⟨a, b \| aaa=ab, bbbb=a⟩	Noc Com 12	ℕ_{(12 = 5)}	7
10	5092	⟨a, b \| aaa=bb, bbbb=a⟩	Noc Com 12	ℕ_{(12 = 2)}	43
10	5202	⟨a, b \| aab=bb, abba=a⟩	Noc 12		41
10	5330	⟨a, b \| aaa=ab, bab=bb⟩	Noc 12		1
10	6597	⟨a, b \| aaa=b, bbbb=bb⟩	Noc Com 12	ℕ_{(12 = 6)}	4
10	6660	⟨a, b \| aab=a, bbbb=ba⟩	Noc 12		1
10	6661	⟨a, b \| aab=a, bbbb=bb⟩	Noc 12		1
10	7105	⟨a, b \| ab=aa, bbaa=bb⟩	Noc 12		2
11	12897	⟨a, b \| aab=aaa, baaa=b⟩	Noc 12		5
11	12910	⟨a, b \| aab=aaa, bbbb=a⟩	Noc Com 12	ℕ_{(12 = 9)}	2
11	15428	⟨a, b \| aaa=aa, abbbb=b⟩	Noc 12
11	15996	⟨a, b \| aaa=ab, aabb=bb⟩	Noc 12		2
11	16057	⟨a, b \| aaa=bb, aabb=ab⟩	Noc 12		4
11	16104	⟨a, b \| aab=aa, abab=bb⟩	Noc 12
11	16274	⟨a, b \| aab=bb, aaaa=ab⟩	Noc 12		1
11	16275	⟨a, b \| aab=bb, aaaa=ba⟩	Noc 12
11	16448	⟨a, b \| aba=bb, aabb=aa⟩	Noc 12		2
11	19773	⟨a, b \| aba=b, bbbbb=aa⟩	Noc Com 12
11	19917	⟨a, b \| aaa=b, bbbb=abb⟩	Noc Com 12	ℕ_{(12 = 7)}	2
11	20054	⟨a, b \| aab=b, aaaa=bba⟩	Noc 12
11	20686	⟨a, b \| bb=aa, aaaaab=a⟩	Noc Com 12		15
11	20787	⟨a, b \| ab=aa, baaaa=bb⟩	Noc 12		7
11	21086	⟨a, b \| bb=aa, aaaa=aba⟩	Noc 12		4
11	21092	⟨a, b \| bb=aa, aaab=aba⟩	Noc 12		3
11	21112	⟨a, b \| bb=aa, abab=aba⟩	Noc 12
11	24147	⟨a, b \| aa=a, abbbbbb=b⟩	Noc 12
11	24991	⟨a, b \| ab=a, baaaaa=bb⟩	Noc 12
11	25603	⟨a, b \| ab=a, bbaaa=bbb⟩	Noc 12

Presentation

Properties

Description

124

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

Noc 12

645

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

Noc 12

1646

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

Noc 12

1963

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

Grp 12

1998

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

Noc Com 12

ℕ_{(12 = 4)}

2018

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

Noc Com 12

ℕ_{(12 = 1)}

2019

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

Noc Com 12

ℕ_{(12 = 3)}

2259

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

Noc 12

5040

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

Noc Com 12

ℕ_{(12 = 8)}

5072

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

Noc Com 12

ℕ_{(12 = 5)}

5092

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

Noc Com 12

ℕ_{(12 = 2)}

5202

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

Noc 12

5330

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

Noc 12

6597

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

Noc Com 12

ℕ_{(12 = 6)}

6660

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

Noc 12

6661

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

Noc 12

7105

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

Noc 12

12897

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

Noc 12

12910

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

Noc Com 12

ℕ_{(12 = 9)}

15428

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

Noc 12

15996

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

Noc 12

16057

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

Noc 12

16104

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

Noc 12

16274

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

Noc 12

16275

⟨a, b | aab=bb, aaaa=ba⟩

Noc 12

16448

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

Noc 12

19773

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

Noc Com 12

19917

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

Noc Com 12

ℕ_{(12 = 7)}

20054

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

Noc 12

20686

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

Noc Com 12

20787

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

Noc 12

21086

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

Noc 12

21092

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

Noc 12

21112

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

Noc 12

24147

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

Noc 12

24991

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

Noc 12

25603

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

Noc 12

Isomorphic instances

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

Σ	#	Presentation	Mapping
8	460	⟨a, b \| aaaa=1, babb=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
8	510	⟨a, b \| aaa=b, bbbb=1⟩	φ(a) = b, φ(b) = bbb
8	677	⟨a, b \| aaa=1, abbbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
8	681	⟨a, b \| aaa=1, babbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
8	682	⟨a, b \| aaa=1, bbabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
8	754	⟨a, b \| aaa=1, bbbb=a⟩	φ(a) = bbbb, φ(b) = b
9	1710	⟨a, b \| aaaa=1, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
9	1711	⟨a, b \| aaaa=1, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
9	1716	⟨a, b \| aaaa=1, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
9	2294	⟨a, b \| aaa=1, aabbbb=1⟩	φ(a) = bbbb, φ(b) = b
9	2304	⟨a, b \| aaa=1, abbbba=1⟩	φ(a) = bbbb, φ(b) = b
9	2309	⟨a, b \| aaa=1, baabbb=1⟩	φ(a) = bbbb, φ(b) = b
9	2313	⟨a, b \| aaa=1, bbaabb=1⟩	φ(a) = bbbb, φ(b) = b
9	2379	⟨a, b \| aab=1, bbbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbbbb
9	2415	⟨a, b \| aba=1, bbbbbb=1⟩	φ(a) = b, φ(b) = bbbbbbbbbb
9	2593	⟨a, b \| aaa=1, bbbb=aa⟩	φ(a) = bbbbbbbb, φ(b) = b
9	2791	⟨a, b \| aa=b, bbbbbb=1⟩	φ(a) = b, φ(b) = bb
9	3251	⟨a, b \| aa=1, abbbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
9	3265	⟨a, b \| aa=1, babbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
9	3269	⟨a, b \| aa=1, bbabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
9	3270	⟨a, b \| aa=1, bbbabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
9	3406	⟨a, b \| aa=1, bbbbbb=a⟩	φ(a) = bbbbbb, φ(b) = b
10	3832	⟨a, b \| aaab=bb, bbbb=1⟩	φ(a) = b, φ(b) = bbb
10	4114	⟨a, b \| bbb=aaa, aaaa=1⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	4115	⟨a, b \| bbb=aaa, aaab=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbbb
10	4116	⟨a, b \| bbb=aaa, aaba=1⟩	φ(a) = bbbbb, φ(b) = bbbbbbbbb
10	4117	⟨a, b \| bbb=aaa, aabb=1⟩	φ(a) = bbbbb, φ(b) = b
10	4119	⟨a, b \| bbb=aaa, abba=1⟩	φ(a) = bbbbb, φ(b) = b
10	4355	⟨a, b \| aaaa=a, abbbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4359	⟨a, b \| aaaa=a, babbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4360	⟨a, b \| aaaa=a, bbabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4429	⟨a, b \| aaab=b, abbbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4437	⟨a, b \| aaab=b, babbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4441	⟨a, b \| aaab=b, bbabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4443	⟨a, b \| aaab=b, bbbab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4444	⟨a, b \| aaab=b, bbbba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4493	⟨a, b \| aaba=b, abbbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4501	⟨a, b \| aaba=b, babbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4505	⟨a, b \| aaba=b, bbabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4507	⟨a, b \| aaba=b, bbbab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4508	⟨a, b \| aaba=b, bbbba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
10	4807	⟨a, b \| aaa=bb, aabab=1⟩	φ(a) = bb, φ(b) = bbb
10	4810	⟨a, b \| aaa=bb, abaab=1⟩	φ(a) = bb, φ(b) = bbb
10	4811	⟨a, b \| aaa=bb, ababa=1⟩	φ(a) = bb, φ(b) = bbb
10	5429	⟨a, b \| aaaa=1, aaabbb=1⟩	φ(a) = bbb, φ(b) = b
10	5435	⟨a, b \| aaaa=1, aabbba=1⟩	φ(a) = bbb, φ(b) = b
10	5449	⟨a, b \| aaaa=1, baaabb=1⟩	φ(a) = bbb, φ(b) = b
10	5708	⟨a, b \| aaaa=1, aabbb=a⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5714	⟨a, b \| aaaa=1, ababb=a⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5716	⟨a, b \| aaaa=1, abbab=a⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5718	⟨a, b \| aaaa=1, abbba=a⟩	φ(a) = bbbbbbbbb, φ(b) = b
10	5764	⟨a, b \| aaab=1, abbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5780	⟨a, b \| aaab=1, babbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5788	⟨a, b \| aaab=1, bbabb=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5792	⟨a, b \| aaab=1, bbbab=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5794	⟨a, b \| aaab=1, bbbba=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5797	⟨a, b \| aaab=1, bbbbb=b⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5828	⟨a, b \| aaba=1, abbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5844	⟨a, b \| aaba=1, babbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5852	⟨a, b \| aaba=1, bbabb=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5856	⟨a, b \| aaba=1, bbbab=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5858	⟨a, b \| aaba=1, bbbba=a⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5861	⟨a, b \| aaba=1, bbbbb=b⟩	φ(a) = b, φ(b) = bbbbbbbbb
10	5863	⟨a, b \| aabb=1, aaaaa=b⟩	φ(a) = bbbbb, φ(b) = b
10	5895	⟨a, b \| abab=1, aaaaa=b⟩	φ(a) = bbbbb, φ(b) = b
10	5927	⟨a, b \| abba=1, aaaaa=b⟩	φ(a) = bbbbb, φ(b) = b
10	5964	⟨a, b \| abba=1, bbbbb=a⟩	φ(a) = bbbbb, φ(b) = b
10	6009	⟨a, b \| aaa=b, aaabbb=1⟩	φ(a) = b, φ(b) = bbb
10	6012	⟨a, b \| aaa=b, aababb=1⟩	φ(a) = b, φ(b) = bbb
10	6014	⟨a, b \| aaa=b, aabbab=1⟩	φ(a) = b, φ(b) = bbb
10	6015	⟨a, b \| aaa=b, aabbba=1⟩	φ(a) = b, φ(b) = bbb
10	6019	⟨a, b \| aaa=b, abaabb=1⟩	φ(a) = b, φ(b) = bbb
10	6020	⟨a, b \| aaa=b, ababab=1⟩	φ(a) = b, φ(b) = bbb
10	6021	⟨a, b \| aaa=b, ababba=1⟩	φ(a) = b, φ(b) = bbb
10	6023	⟨a, b \| aaa=b, abbaab=1⟩	φ(a) = b, φ(b) = bbb
10	6029	⟨a, b \| aaa=b, baaabb=1⟩	φ(a) = b, φ(b) = bbb
10	6030	⟨a, b \| aaa=b, baabab=1⟩	φ(a) = b, φ(b) = bbb
10	6931	⟨a, b \| bb=aa, aaaaab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6932	⟨a, b \| bb=aa, aaaaba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6934	⟨a, b \| bb=aa, aaabaa=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6937	⟨a, b \| bb=aa, aaabbb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6940	⟨a, b \| bb=aa, aababb=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6942	⟨a, b \| bb=aa, aabbab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6943	⟨a, b \| bb=aa, aabbba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6947	⟨a, b \| bb=aa, ababba=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	6948	⟨a, b \| bb=aa, abbaab=1⟩	φ(a) = bbbbbbb, φ(b) = b
10	7246	⟨a, b \| aaa=1, abababb=1⟩	φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
10	7247	⟨a, b \| aaa=1, ababbab=1⟩	φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
10	7252	⟨a, b \| aaa=1, abbabab=1⟩	φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
10	7269	⟨a, b \| aaa=1, bababab=1⟩	φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
10	7508	⟨a, b \| aaa=1, aabbbb=a⟩	φ(a) = bbbbbbbb, φ(b) = b
10	7520	⟨a, b \| aaa=1, ababbb=a⟩	φ(a) = bbbbbbbb, φ(b) = b
10	7524	⟨a, b \| aaa=1, abbabb=a⟩	φ(a) = bbbbbbbb, φ(b) = b
10	7526	⟨a, b \| aaa=1, abbbab=a⟩	φ(a) = bbbbbbbb, φ(b) = b
10	7528	⟨a, b \| aaa=1, abbbba=a⟩	φ(a) = bbbbbbbb, φ(b) = b
10	7800	⟨a, b \| aaa=1, abbbb=aa⟩	φ(a) = bbbb, φ(b) = b
10	7948	⟨a, b \| aab=1, bbbbb=aa⟩	φ(a) = b, φ(b) = bbbbbbbbbb
10	8021	⟨a, b \| aba=1, bbbbb=aa⟩	φ(a) = b, φ(b) = bbbbbbbbbb
10	8397	⟨a, b \| aa=b, aabbbbb=1⟩	φ(a) = b, φ(b) = bb
10	8409	⟨a, b \| aa=b, ababbbb=1⟩	φ(a) = b, φ(b) = bb
10	8414	⟨a, b \| aa=b, abbabbb=1⟩	φ(a) = b, φ(b) = bb
10	8416	⟨a, b \| aa=b, abbbabb=1⟩	φ(a) = b, φ(b) = bb
10	8417	⟨a, b \| aa=b, abbbbab=1⟩	φ(a) = b, φ(b) = bb
10	8418	⟨a, b \| aa=b, abbbbba=1⟩	φ(a) = b, φ(b) = bb
10	8427	⟨a, b \| aa=b, baabbbb=1⟩	φ(a) = b, φ(b) = bb
10	8430	⟨a, b \| aa=b, bababbb=1⟩	φ(a) = b, φ(b) = bb
10	8431	⟨a, b \| aa=b, babbabb=1⟩	φ(a) = b, φ(b) = bb
10	8432	⟨a, b \| aa=b, babbbab=1⟩	φ(a) = b, φ(b) = bb
10	8435	⟨a, b \| aa=b, bbaabbb=1⟩	φ(a) = b, φ(b) = bb
10	8436	⟨a, b \| aa=b, bbababb=1⟩	φ(a) = b, φ(b) = bb
11	10885	⟨a, b \| aaba=bbb, bbbb=1⟩	φ(a) = bb, φ(b) = bbb
11	11105	⟨a, b \| aaaaa=a, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11106	⟨a, b \| aaaaa=a, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11111	⟨a, b \| aaaaa=a, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11173	⟨a, b \| aaaab=b, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11175	⟨a, b \| aaaab=b, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11183	⟨a, b \| aaaab=b, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11184	⟨a, b \| aaaab=b, babba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11188	⟨a, b \| aaaab=b, bbaba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11227	⟨a, b \| aaaba=b, aabbb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11231	⟨a, b \| aaaba=b, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11233	⟨a, b \| aaaba=b, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11234	⟨a, b \| aaaba=b, abbba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11239	⟨a, b \| aaaba=b, baabb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11241	⟨a, b \| aaaba=b, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11242	⟨a, b \| aaaba=b, babba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11245	⟨a, b \| aaaba=b, bbaab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11246	⟨a, b \| aaaba=b, bbaba=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11248	⟨a, b \| aaaba=b, bbbaa=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11332	⟨a, b \| aabaa=b, ababb=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11333	⟨a, b \| aabaa=b, abbab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11339	⟨a, b \| aabaa=b, babab=1⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	11673	⟨a, b \| aaaa=bb, aaaab=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	11674	⟨a, b \| aaaa=bb, aaaba=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	11676	⟨a, b \| aaaa=bb, aabaa=1⟩	φ(a) = b, φ(b) = bbbbbbbb
11	13537	⟨a, b \| aabab=1, aaaaaa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = bbb
11	13665	⟨a, b \| abaab=1, aaaaaa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = bbb
11	13729	⟨a, b \| ababa=1, aaaaaa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = bbb
11	13815	⟨a, b \| aaaa=a, aabbbb=1⟩	φ(a) = bbbb, φ(b) = b
11	13825	⟨a, b \| aaaa=a, abbbba=1⟩	φ(a) = bbbb, φ(b) = b
11	13830	⟨a, b \| aaaa=a, baabbb=1⟩	φ(a) = bbbb, φ(b) = b
11	13834	⟨a, b \| aaaa=a, bbaabb=1⟩	φ(a) = bbbb, φ(b) = b
11	13840	⟨a, b \| aaaa=b, aaaabb=1⟩	φ(a) = b, φ(b) = bbbb
11	13842	⟨a, b \| aaaa=b, aaabab=1⟩	φ(a) = b, φ(b) = bbbb
11	13843	⟨a, b \| aaaa=b, aaabba=1⟩	φ(a) = b, φ(b) = bbbb
11	13845	⟨a, b \| aaaa=b, aabaab=1⟩	φ(a) = b, φ(b) = bbbb
11	13846	⟨a, b \| aaaa=b, aababa=1⟩	φ(a) = b, φ(b) = bbbb
11	13848	⟨a, b \| aaaa=b, aabbaa=1⟩	φ(a) = b, φ(b) = bbbb
11	13852	⟨a, b \| aaaa=b, abaaab=1⟩	φ(a) = b, φ(b) = bbbb
11	13853	⟨a, b \| aaaa=b, abaaba=1⟩	φ(a) = b, φ(b) = bbbb
11	13863	⟨a, b \| aaaa=b, baaaab=1⟩	φ(a) = b, φ(b) = bbbb
11	13952	⟨a, b \| aaab=b, aabbbb=1⟩	φ(a) = bbbb, φ(b) = b
11	13967	⟨a, b \| aaab=b, abbbba=1⟩	φ(a) = bbbb, φ(b) = b
11	13976	⟨a, b \| aaab=b, baabbb=1⟩	φ(a) = bbbb, φ(b) = b
11	13988	⟨a, b \| aaab=b, bbaabb=1⟩	φ(a) = bbbb, φ(b) = b
11	13994	⟨a, b \| aaab=b, bbbaab=1⟩	φ(a) = bbbb, φ(b) = b
11	13997	⟨a, b \| aaab=b, bbbbaa=1⟩	φ(a) = bbbb, φ(b) = b
11	14080	⟨a, b \| aaba=b, aabbbb=1⟩	φ(a) = bbbb, φ(b) = b
11	14088	⟨a, b \| aaba=b, ababbb=1⟩	φ(a) = bbbb, φ(b) = b
11	14094	⟨a, b \| aaba=b, abbbab=1⟩	φ(a) = bbbb, φ(b) = b
11	14095	⟨a, b \| aaba=b, abbbba=1⟩	φ(a) = bbbb, φ(b) = b
11	14104	⟨a, b \| aaba=b, baabbb=1⟩	φ(a) = bbbb, φ(b) = b
11	14108	⟨a, b \| aaba=b, bababb=1⟩	φ(a) = bbbb, φ(b) = b
11	14111	⟨a, b \| aaba=b, babbba=1⟩	φ(a) = bbbb, φ(b) = b
11	14116	⟨a, b \| aaba=b, bbaabb=1⟩	φ(a) = bbbb, φ(b) = b
11	14118	⟨a, b \| aaba=b, bbabab=1⟩	φ(a) = bbbb, φ(b) = b
11	14122	⟨a, b \| aaba=b, bbbaab=1⟩	φ(a) = bbbb, φ(b) = b
11	14123	⟨a, b \| aaba=b, bbbaba=1⟩	φ(a) = bbbb, φ(b) = b
11	14125	⟨a, b \| aaba=b, bbbbaa=1⟩	φ(a) = bbbb, φ(b) = b
11	14129	⟨a, b \| aabb=a, aaaaaa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14193	⟨a, b \| abab=a, aaaaaa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	14257	⟨a, b \| abba=a, aaaaaa=1⟩	φ(a) = bbbbbbbbbb, φ(b) = b
11	15264	⟨a, b \| aab=bb, bbbbbb=1⟩	φ(a) = b, φ(b) = bb
11	16580	⟨a, b \| aaaa=1, aababab=1⟩	φ(a) = bbb, φ(b) = bbbb
11	16593	⟨a, b \| aaaa=1, abaabab=1⟩	φ(a) = bbb, φ(b) = bbbb
11	16596	⟨a, b \| aaaa=1, ababaab=1⟩	φ(a) = bbb, φ(b) = bbbb
11	16597	⟨a, b \| aaaa=1, abababa=1⟩	φ(a) = bbb, φ(b) = bbbb
11	17108	⟨a, b \| aaaa=1, aababb=a⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	17112	⟨a, b \| aaaa=1, aabbab=a⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	17124	⟨a, b \| aaaa=1, ababab=a⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	17126	⟨a, b \| aaaa=1, ababba=a⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	17142	⟨a, b \| aaaa=1, baaabb=a⟩	φ(a) = bbb, φ(b) = bbbbbbbbbb
11	17675	⟨a, b \| aaaa=1, babab=aa⟩	φ(a) = bbb, φ(b) = bbbb
11	18195	⟨a, b \| aaa=a, abbbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18209	⟨a, b \| aaa=a, babbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18213	⟨a, b \| aaa=a, bbabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18214	⟨a, b \| aaa=a, bbbabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18479	⟨a, b \| aab=b, abbbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18511	⟨a, b \| aab=b, babbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18527	⟨a, b \| aab=b, bbabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18535	⟨a, b \| aab=b, bbbabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18539	⟨a, b \| aab=b, bbbbabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18541	⟨a, b \| aab=b, bbbbbab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18542	⟨a, b \| aab=b, bbbbbba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18667	⟨a, b \| aba=b, abbbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18681	⟨a, b \| aba=b, babbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18685	⟨a, b \| aba=b, bbabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	18686	⟨a, b \| aba=b, bbbabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	21135	⟨a, b \| aaa=1, aaaabbbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21142	⟨a, b \| aaa=1, aaababbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21146	⟨a, b \| aaa=1, aaabbabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21148	⟨a, b \| aaa=1, aaabbbab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21149	⟨a, b \| aaa=1, aaabbbba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21163	⟨a, b \| aaa=1, aababbba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21169	⟨a, b \| aaa=1, aabbabba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21172	⟨a, b \| aaa=1, aabbbaba=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21174	⟨a, b \| aaa=1, aabbbbaa=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21183	⟨a, b \| aaa=1, abaaabbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21202	⟨a, b \| aaa=1, abbaaabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21211	⟨a, b \| aaa=1, abbbaaab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21223	⟨a, b \| aaa=1, baaaabbb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21225	⟨a, b \| aaa=1, baaababb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21226	⟨a, b \| aaa=1, baaabbab=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21235	⟨a, b \| aaa=1, babaaabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21246	⟨a, b \| aaa=1, bbaaaabb=1⟩	φ(a) = bbbbbbbb, φ(b) = b
11	21678	⟨a, b \| aaa=1, aaabbbb=a⟩	φ(a) = bbbb, φ(b) = b
11	21704	⟨a, b \| aaa=1, aabbbba=a⟩	φ(a) = bbbb, φ(b) = b
11	21718	⟨a, b \| aaa=1, abaabbb=a⟩	φ(a) = bbbb, φ(b) = b
11	21734	⟨a, b \| aaa=1, abbaabb=a⟩	φ(a) = bbbb, φ(b) = b
11	21742	⟨a, b \| aaa=1, abbbaab=a⟩	φ(a) = bbbb, φ(b) = b
11	21758	⟨a, b \| aaa=1, baaabbb=a⟩	φ(a) = bbbb, φ(b) = b
11	21770	⟨a, b \| aaa=1, bababab=a⟩	φ(a) = bbbb, φ(b) = b
11	21780	⟨a, b \| aaa=1, bbaaabb=a⟩	φ(a) = bbbb, φ(b) = b
11	21918	⟨a, b \| aab=1, abbbbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	21982	⟨a, b \| aab=1, babbbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22014	⟨a, b \| aab=1, bbabbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22030	⟨a, b \| aab=1, bbbabbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22038	⟨a, b \| aab=1, bbbbabb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22042	⟨a, b \| aab=1, bbbbbab=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22044	⟨a, b \| aab=1, bbbbbba=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22047	⟨a, b \| aab=1, bbbbbbb=b⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22150	⟨a, b \| aba=1, abbbbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22178	⟨a, b \| aba=1, babbbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22186	⟨a, b \| aba=1, bbabbbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22188	⟨a, b \| aba=1, bbbabbb=a⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22191	⟨a, b \| aba=1, bbbbbbb=b⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	22307	⟨a, b \| aaa=1, bababb=aa⟩	φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
11	22311	⟨a, b \| aaa=1, babbab=aa⟩	φ(a) = bbbbbbbb, φ(b) = bbbbbbbbb
11	22816	⟨a, b \| aaa=1, abbbb=aaa⟩	φ(a) = bbbbbbbb, φ(b) = b
11	22844	⟨a, b \| aaa=1, babbb=aaa⟩	φ(a) = bbbbbbbb, φ(b) = b
11	22852	⟨a, b \| aaa=1, bbabb=aaa⟩	φ(a) = bbbbbbbb, φ(b) = b
11	23321	⟨a, b \| aaa=1, bbbb=aaaa⟩	φ(a) = bbbb, φ(b) = b
11	23435	⟨a, b \| aab=1, bbbb=aaaa⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	23507	⟨a, b \| aba=1, bbbb=aaaa⟩	φ(a) = b, φ(b) = bbbbbbbbbb
11	23667	⟨a, b \| aa=b, aaaabbbb=1⟩	φ(a) = b, φ(b) = bb
11	23674	⟨a, b \| aa=b, aaababbb=1⟩	φ(a) = b, φ(b) = bb
11	23678	⟨a, b \| aa=b, aaabbabb=1⟩	φ(a) = b, φ(b) = bb
11	23680	⟨a, b \| aa=b, aaabbbab=1⟩	φ(a) = b, φ(b) = bb
11	23681	⟨a, b \| aa=b, aaabbbba=1⟩	φ(a) = b, φ(b) = bb
11	23689	⟨a, b \| aa=b, aabaabbb=1⟩	φ(a) = b, φ(b) = bb
11	23692	⟨a, b \| aa=b, aabababb=1⟩	φ(a) = b, φ(b) = bb
11	23694	⟨a, b \| aa=b, aababbab=1⟩	φ(a) = b, φ(b) = bb
11	23695	⟨a, b \| aa=b, aababbba=1⟩	φ(a) = b, φ(b) = bb
11	23699	⟨a, b \| aa=b, aabbaabb=1⟩	φ(a) = b, φ(b) = bb
11	23700	⟨a, b \| aa=b, aabbabab=1⟩	φ(a) = b, φ(b) = bb
11	23701	⟨a, b \| aa=b, aabbabba=1⟩	φ(a) = b, φ(b) = bb
11	23703	⟨a, b \| aa=b, aabbbaab=1⟩	φ(a) = b, φ(b) = bb
11	23704	⟨a, b \| aa=b, aabbbaba=1⟩	φ(a) = b, φ(b) = bb
11	23706	⟨a, b \| aa=b, aabbbbaa=1⟩	φ(a) = b, φ(b) = bb
11	23715	⟨a, b \| aa=b, abaaabbb=1⟩	φ(a) = b, φ(b) = bb
11	23718	⟨a, b \| aa=b, abaababb=1⟩	φ(a) = b, φ(b) = bb
11	23719	⟨a, b \| aa=b, abaabbab=1⟩	φ(a) = b, φ(b) = bb
11	23720	⟨a, b \| aa=b, abaabbba=1⟩	φ(a) = b, φ(b) = bb
11	23723	⟨a, b \| aa=b, ababaabb=1⟩	φ(a) = b, φ(b) = bb
11	23724	⟨a, b \| aa=b, abababab=1⟩	φ(a) = b, φ(b) = bb
11	23725	⟨a, b \| aa=b, abababba=1⟩	φ(a) = b, φ(b) = bb
11	23727	⟨a, b \| aa=b, ababbaab=1⟩	φ(a) = b, φ(b) = bb
11	23728	⟨a, b \| aa=b, ababbaba=1⟩	φ(a) = b, φ(b) = bb
11	23734	⟨a, b \| aa=b, abbaaabb=1⟩	φ(a) = b, φ(b) = bb
11	23735	⟨a, b \| aa=b, abbaabab=1⟩	φ(a) = b, φ(b) = bb
11	23736	⟨a, b \| aa=b, abbaabba=1⟩	φ(a) = b, φ(b) = bb
11	23738	⟨a, b \| aa=b, abbabaab=1⟩	φ(a) = b, φ(b) = bb
11	23743	⟨a, b \| aa=b, abbbaaab=1⟩	φ(a) = b, φ(b) = bb
11	23755	⟨a, b \| aa=b, baaaabbb=1⟩	φ(a) = b, φ(b) = bb
11	23757	⟨a, b \| aa=b, baaababb=1⟩	φ(a) = b, φ(b) = bb
11	23758	⟨a, b \| aa=b, baaabbab=1⟩	φ(a) = b, φ(b) = bb
11	23760	⟨a, b \| aa=b, baabaabb=1⟩	φ(a) = b, φ(b) = bb
11	23761	⟨a, b \| aa=b, baababab=1⟩	φ(a) = b, φ(b) = bb
11	23763	⟨a, b \| aa=b, baabbaab=1⟩	φ(a) = b, φ(b) = bb
11	23767	⟨a, b \| aa=b, babaaabb=1⟩	φ(a) = b, φ(b) = bb
11	23768	⟨a, b \| aa=b, babaabab=1⟩	φ(a) = b, φ(b) = bb
11	23778	⟨a, b \| aa=b, bbaaaabb=1⟩	φ(a) = b, φ(b) = bb
11	25973	⟨a, b \| aa=1, aaabbbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26001	⟨a, b \| aa=1, aababbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26014	⟨a, b \| aa=1, aabbabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26020	⟨a, b \| aa=1, aabbbabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26023	⟨a, b \| aa=1, aabbbbabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26025	⟨a, b \| aa=1, aabbbbbab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26026	⟨a, b \| aa=1, aabbbbbba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26051	⟨a, b \| aa=1, abaabbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26072	⟨a, b \| aa=1, ababbbbba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26083	⟨a, b \| aa=1, abbaabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26092	⟨a, b \| aa=1, abbabbbba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26097	⟨a, b \| aa=1, abbbaabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26101	⟨a, b \| aa=1, abbbabbba=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26104	⟨a, b \| aa=1, abbbbaabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26107	⟨a, b \| aa=1, abbbbbaab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26127	⟨a, b \| aa=1, baaabbbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26134	⟨a, b \| aa=1, baababbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26137	⟨a, b \| aa=1, baabbabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26139	⟨a, b \| aa=1, baabbbabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26140	⟨a, b \| aa=1, baabbbbab=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26147	⟨a, b \| aa=1, babaabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26155	⟨a, b \| aa=1, babbaabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26159	⟨a, b \| aa=1, babbbaabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26167	⟨a, b \| aa=1, bbaaabbbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26169	⟨a, b \| aa=1, bbaababbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26170	⟨a, b \| aa=1, bbaabbabb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26172	⟨a, b \| aa=1, bbabaabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26178	⟨a, b \| aa=1, bbbaaabbb=1⟩	φ(a) = bbbbbb, φ(b) = b
11	26554	⟨a, b \| aa=1, aabbbbbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26600	⟨a, b \| aa=1, ababbbbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26620	⟨a, b \| aa=1, abbabbbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26628	⟨a, b \| aa=1, abbbabbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26632	⟨a, b \| aa=1, abbbbabb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26634	⟨a, b \| aa=1, abbbbbab=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26636	⟨a, b \| aa=1, abbbbbba=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26668	⟨a, b \| aa=1, baabbbbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26698	⟨a, b \| aa=1, bbaabbbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	26706	⟨a, b \| aa=1, bbbaabbb=a⟩	φ(a) = bbbbbb, φ(b) = b
11	27164	⟨a, b \| aa=1, abbbbbb=aa⟩	φ(a) = bbbbbb, φ(b) = b
11	27216	⟨a, b \| aa=1, babbbbb=aa⟩	φ(a) = bbbbbb, φ(b) = b
11	27230	⟨a, b \| aa=1, bbabbbb=aa⟩	φ(a) = bbbbbb, φ(b) = b
11	27234	⟨a, b \| aa=1, bbbabbb=aa⟩	φ(a) = bbbbbb, φ(b) = b
11	27762	⟨a, b \| aa=1, bbbbbb=aaa⟩	φ(a) = bbbbbb, φ(b) = b

Presentation

Mapping

460

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

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

510

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

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

677

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

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

681

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

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

682

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

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

754

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

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

1710

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

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

1711

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

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

1716

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

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

2294

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

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

2304

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

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

2309

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

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

2313

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

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

2379

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

φ(a) = b, φ(b) = bbbbbbbbbb

2415

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

φ(a) = b, φ(b) = bbbbbbbbbb

2593

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

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

2791

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

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

3251

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

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

3265

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

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

3269

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

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

3270

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

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

3406

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

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

3832

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

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

4114

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

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

4115

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

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

4116

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

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

4117

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

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

4119

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

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

4355

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

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

4359

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

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

4360

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

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

4429

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

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

4437

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

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

4441

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

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

4443

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

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

4444

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

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

4493

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

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

4501

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

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

4505

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

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

4507

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

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

4508

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

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

4807

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

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

4810

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

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

4811

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

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

5429

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

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

5435

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

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

5449

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

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

5708

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

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

5714

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

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

5716

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

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

5718

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

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

5764

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

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

5780

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

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

5788

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

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

5792

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

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

5794

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

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

5797

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

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

5828

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

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

5844

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

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

5852

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

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

5856

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

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

5858

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

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

5861

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

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

5863

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

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

5895

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

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

5927

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

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

5964

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

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

6009

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

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

6012

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

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

6014

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

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

6015

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

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

6019

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

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

6020

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

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

6021

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

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

6023

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

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

6029

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

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

6030

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

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

6931

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

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

6932

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

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

6934

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

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

6937

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

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

6940

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

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

6942

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

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

6943

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

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

6947

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

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

6948

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

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

7246

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

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

7247

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

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

7252

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

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

7269

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

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

7508

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

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

7520

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

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

7524

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

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

7526

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

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

7528

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

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

7800

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

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

7948

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

φ(a) = b, φ(b) = bbbbbbbbbb

8021

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

φ(a) = b, φ(b) = bbbbbbbbbb

8397

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

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

8409

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

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

8414

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

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

8416

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

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

8417

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

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

8418

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

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

8427

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

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

8430

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

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

8431

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

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

8432

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

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

8435

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

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

8436

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

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

10885

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

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

11105

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

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

11106

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

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

11111

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

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

11173

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

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

11175

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

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

11183

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

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

11184

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

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

11188

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

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

11227

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

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

11231

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

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

11233

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

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

11234

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

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

11239

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

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

11241

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

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

11242

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

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

11245

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

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

11246

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

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

11248

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

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

11332

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

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

11333

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

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

11339

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

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

11673

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

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

11674

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

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

11676

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

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

13537

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

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

13665

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

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

13729

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

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

13815

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

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

13825

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

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

13830

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

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

13834

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

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

13840

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

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

13842

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

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

13843

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

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

13845

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

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

13846

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

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

13848

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

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

13852

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

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

13853

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

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

13863

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

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

13952

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

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

13967

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

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

13976

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

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

13988

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

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

13994

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

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

13997

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

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

14080

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

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

14088

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

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

14094

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

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

14095

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

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

14104

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

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

14108

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

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

14111

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

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

14116

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

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

14118

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

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

14122

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

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

14123

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

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

14125

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

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

14129

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

φ(a) = bbbbbbbbbb, φ(b) = b

14193

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

φ(a) = bbbbbbbbbb, φ(b) = b

14257

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

φ(a) = bbbbbbbbbb, φ(b) = b

15264

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

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

16580

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

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

16593

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

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

16596

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

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

16597

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

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

17108

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

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

17112

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

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

17124

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

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

17126

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

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

17142

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

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

17675

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

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

18195

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

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

18209

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

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

18213

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

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

18214

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

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

18479

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

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

18511

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

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

18527

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

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

18535

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

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

18539

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

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

18541

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

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

18542

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

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

18667

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

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

18681

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

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

18685

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

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

18686

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

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

21135

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

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

21142

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

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

21146

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

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

21148

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

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

21149

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

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

21163

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

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

21169

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

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

21172

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

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

21174

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

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

21183

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

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

21202

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

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

21211

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

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

21223

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

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

21225

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

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

21226

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

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

21235

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

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

21246

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

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

21678

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

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

21704

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

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

21718

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

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

21734

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

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

21742

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

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

21758

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

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

21770

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

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

21780

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

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

21918

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

φ(a) = b, φ(b) = bbbbbbbbbb

21982

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

φ(a) = b, φ(b) = bbbbbbbbbb

22014

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

φ(a) = b, φ(b) = bbbbbbbbbb

22030

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

φ(a) = b, φ(b) = bbbbbbbbbb

22038

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

φ(a) = b, φ(b) = bbbbbbbbbb

22042

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

φ(a) = b, φ(b) = bbbbbbbbbb

22044

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

φ(a) = b, φ(b) = bbbbbbbbbb

22047

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

φ(a) = b, φ(b) = bbbbbbbbbb

22150

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

φ(a) = b, φ(b) = bbbbbbbbbb

22178

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

φ(a) = b, φ(b) = bbbbbbbbbb

22186

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

φ(a) = b, φ(b) = bbbbbbbbbb

22188

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

φ(a) = b, φ(b) = bbbbbbbbbb

22191

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

φ(a) = b, φ(b) = bbbbbbbbbb

22307

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

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

22311

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

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

22816

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

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

22844

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

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

22852

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

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

23321

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

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

23435

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

φ(a) = b, φ(b) = bbbbbbbbbb

23507

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

φ(a) = b, φ(b) = bbbbbbbbbb

23667

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

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

23674

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

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

23678

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

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

23680

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

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

23681

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

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

23689

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

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

23692

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

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

23694

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

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

23695

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

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

23699

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

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

23700

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

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

23701

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

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

23703

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

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

23704

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

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

23706

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

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

23715

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

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

23718

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

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

23719

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

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

23720

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

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

23723

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

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

23724

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

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

23725

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

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

23727

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

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

23728

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

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

23734

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

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

23735

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

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

23736

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

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

23738

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

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

23743

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

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

23755

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

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

23757

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

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

23758

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

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

23760

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

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

23761

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

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

23763

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

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

23767

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

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

23768

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

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

23778

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

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

25973

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

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

26001

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

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

26014

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

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

26020

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

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

26023

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

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

26025

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

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

26026

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

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

26051

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

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

26072

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

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

26083

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

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

26092

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

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

26097

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

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

26101

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

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

26104

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

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

26107

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

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

26127

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

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

26134

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

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

26137

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

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

26139

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

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

26140

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

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

26147

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

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

26155

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

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

26159

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

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

26167

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

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

26169

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

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

26170

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

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

26172

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

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

26178

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

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

26554

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

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

26600

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

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

26620

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

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

26628

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

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

26632

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

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

26634

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

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

26636

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

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

26668

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

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

26698

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

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

26706

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

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

27164

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

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

27216

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

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

27230

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

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

27234

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

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

27762

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

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

order 2	1 element	b⁶
order 3	2 elements	b⁴, b⁸
order 4	2 elements	b³, b⁹
order 6	2 elements	b², b¹⁰
order 12	4 elements	b, b⁵, b⁷, b¹¹

#458 ⟨a, b | aaaa=1, 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:	#456 ⟨a, b \| aaaa=1, abab=1⟩
Next:	#461 ⟨a, b \| aaaa=1, bbbb=1⟩