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

Up:

Monoid enumeration

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

#208 ⟨a, b | aa=a, bbbb=1⟩

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

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	[6]
2.	b ⇒ a⁶	[5]

# ab:aab=1,bbbb=1 a/b - - aaaaaaaa=1 b=aaaaaa

Σ	#	Presentation	Properties	Description	φ
7	330	⟨a, b \| aa=1, abba=b⟩	Noc 8		60
8	556	⟨a, b \| aba=b, aabb=1⟩	Grp 8		28
8	898	⟨a, b \| aa=a, bbbb=a⟩	Noc Com 8	ℕ_{(8 = 4)}	48
8	918	⟨a, b \| aa=b, bbbb=a⟩	Noc Com 8	ℕ_{(8 = 1)}	34
8	919	⟨a, b \| aa=b, bbbb=b⟩	Noc Com 8	ℕ_{(8 = 2)}	46
8	961	⟨a, b \| aa=a, aba=bb⟩	Noc 8		5
9	1605	⟨a, b \| aaa=bb, abb=b⟩	Noc Com 8	ℕ_{(8 = 3)}	55
9	1606	⟨a, b \| aaa=bb, bab=a⟩	Noc Com 8		14
9	1615	⟨a, b \| aab=aa, baa=b⟩	Noc 8		14
9	1650	⟨a, b \| aab=bb, baa=a⟩	Noc 8		15
9	2206	⟨a, b \| ab=aa, bbbb=a⟩	Noc Com 8	ℕ_{(8 = 5)}	32
9	2220	⟨a, b \| bb=aa, aaab=a⟩	Noc Com 8		22
9	2247	⟨a, b \| ab=aa, baa=bb⟩	Noc 8		1
9	2256	⟨a, b \| ab=aa, bbb=aa⟩	Noc 8		1
9	2258	⟨a, b \| ab=aa, bbb=ba⟩	Noc 8
9	2883	⟨a, b \| aa=a, abbbb=b⟩	Noc 8		14
9	3107	⟨a, b \| ab=a, baaa=bb⟩	Noc 8		9
9	3123	⟨a, b \| ab=a, bbaa=bb⟩	Noc 8		10
10	5191	⟨a, b \| aab=bb, aaaa=b⟩	Noc Com 8	ℕ_{(8 = 6)}	18
10	6664	⟨a, b \| aab=b, aaaa=ba⟩	Noc 8		1
10	7057	⟨a, b \| ab=aa, aaaa=bb⟩	Noc 8		7
10	9380	⟨a, b \| ab=a, bbbb=baa⟩	Noc 8		2
11	12606	⟨a, b \| abbb=aa, bbbb=a⟩	Noc Com 8	ℕ_{(8 = 7)}	14
11	20047	⟨a, b \| aab=a, bbbb=bbb⟩	Noc 8
11	20051	⟨a, b \| aab=b, aaaa=abb⟩	Noc Com 8		1
11	24863	⟨a, b \| ab=a, aaaaaa=bb⟩	Noc Com 8
11	25112	⟨a, b \| ab=a, bbbbbb=aa⟩	Noc Com 8
11	25114	⟨a, b \| ab=a, bbbbbb=ba⟩	Noc 8
11	25411	⟨a, b \| ab=a, aaaaa=bbb⟩	Noc Com 8
11	25652	⟨a, b \| ab=a, bbbbb=aaa⟩	Noc Com 8
11	25658	⟨a, b \| ab=a, bbbbb=bba⟩	Noc 8
11	25897	⟨a, b \| ab=a, bbbb=aaaa⟩	Noc Com 8
11	25911	⟨a, b \| ab=a, bbbb=bbba⟩	Noc 8

Presentation

Properties

Description

330

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

Noc 8

556

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

Grp 8

898

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

Noc Com 8

ℕ_{(8 = 4)}

918

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

Noc Com 8

ℕ_{(8 = 1)}

919

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

Noc Com 8

ℕ_{(8 = 2)}

961

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

Noc 8

1605

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

Noc Com 8

ℕ_{(8 = 3)}

1606

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

Noc Com 8

1615

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

Noc 8

1650

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

Noc 8

2206

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

Noc Com 8

ℕ_{(8 = 5)}

2220

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

Noc Com 8

2247

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

Noc 8

2256

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

Noc 8

2258

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

Noc 8

2883

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

Noc 8

3107

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

Noc 8

3123

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

Noc 8

5191

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

Noc Com 8

ℕ_{(8 = 6)}

6664

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

Noc 8

7057

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

Noc 8

9380

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

Noc 8

12606

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

Noc Com 8

ℕ_{(8 = 7)}

20047

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

Noc 8

20051

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

Noc Com 8

24863

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

Noc Com 8

25112

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

Noc Com 8

25114

⟨a, b | ab=a, bbbbbb=ba⟩

Noc 8

25411

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

Noc Com 8

25652

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

Noc Com 8

25658

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

Noc 8

25897

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

Noc Com 8

25911

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

Noc 8

Isomorphic instances

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

Σ	#	Presentation	Mapping
7	198	⟨a, b \| aba=1, bbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
7	218	⟨a, b \| aa=b, bbbb=1⟩	φ(a) = a, φ(b) = aa
7	296	⟨a, b \| aa=1, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
7	300	⟨a, b \| aa=1, babbb=1⟩	φ(a) = aaaa, φ(b) = a
7	301	⟨a, b \| aa=1, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
7	337	⟨a, b \| aa=1, bbbb=a⟩	φ(a) = aaaa, φ(b) = a
8	405	⟨a, b \| aaa=bb, abb=1⟩	φ(a) = aaaaaa, φ(b) = a
8	406	⟨a, b \| aaa=bb, bab=1⟩	φ(a) = aaaaaa, φ(b) = a
8	467	⟨a, b \| aaab=1, abbb=1⟩	φ(a) = aaaaa, φ(b) = a
8	471	⟨a, b \| aaab=1, babb=1⟩	φ(a) = aaaaa, φ(b) = a
8	473	⟨a, b \| aaab=1, bbab=1⟩	φ(a) = aaaaa, φ(b) = a
8	474	⟨a, b \| aaab=1, bbba=1⟩	φ(a) = aaaaa, φ(b) = a
8	481	⟨a, b \| aaba=1, babb=1⟩	φ(a) = aaaaa, φ(b) = a
8	483	⟨a, b \| aaba=1, bbab=1⟩	φ(a) = aaaaa, φ(b) = a
8	504	⟨a, b \| aaa=b, aabb=1⟩	φ(a) = aaa, φ(b) = a
8	505	⟨a, b \| aaa=b, abab=1⟩	φ(a) = aaa, φ(b) = a
8	506	⟨a, b \| aaa=b, abba=1⟩	φ(a) = aaa, φ(b) = a
8	508	⟨a, b \| aaa=b, baab=1⟩	φ(a) = aaa, φ(b) = a
8	625	⟨a, b \| bb=aa, aaab=1⟩	φ(a) = aaaaa, φ(b) = a
8	626	⟨a, b \| bb=aa, aaba=1⟩	φ(a) = aaaaa, φ(b) = a
8	835	⟨a, b \| aa=b, aabbb=1⟩	φ(a) = a, φ(b) = aa
8	838	⟨a, b \| aa=b, ababb=1⟩	φ(a) = a, φ(b) = aa
8	839	⟨a, b \| aa=b, abbab=1⟩	φ(a) = a, φ(b) = aa
8	840	⟨a, b \| aa=b, abbba=1⟩	φ(a) = a, φ(b) = aa
8	843	⟨a, b \| aa=b, baabb=1⟩	φ(a) = a, φ(b) = aa
8	844	⟨a, b \| aa=b, babab=1⟩	φ(a) = a, φ(b) = aa
9	1400	⟨a, b \| aabb=b, bbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
9	1416	⟨a, b \| abab=b, bbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
9	1430	⟨a, b \| abba=b, bbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
9	1436	⟨a, b \| baab=b, bbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
9	1466	⟨a, b \| aaa=bb, aaaa=1⟩	φ(a) = aaaaaa, φ(b) = a
9	1539	⟨a, b \| aab=bb, bbbb=1⟩	φ(a) = a, φ(b) = aa
9	1575	⟨a, b \| aba=bb, bbbb=1⟩	φ(a) = a, φ(b) = aa
9	1703	⟨a, b \| aaaa=1, aaabb=1⟩	φ(a) = aa, φ(b) = a
9	1705	⟨a, b \| aaaa=1, aabab=1⟩	φ(a) = aa, φ(b) = a
9	1706	⟨a, b \| aaaa=1, aabba=1⟩	φ(a) = aa, φ(b) = a
9	1708	⟨a, b \| aaaa=1, abaab=1⟩	φ(a) = aa, φ(b) = a
9	1709	⟨a, b \| aaaa=1, ababa=1⟩	φ(a) = aa, φ(b) = a
9	1714	⟨a, b \| aaaa=1, baaab=1⟩	φ(a) = aa, φ(b) = a
9	1849	⟨a, b \| aaa=a, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	1853	⟨a, b \| aaa=a, babbb=1⟩	φ(a) = aaaa, φ(b) = a
9	1854	⟨a, b \| aaa=a, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
9	1923	⟨a, b \| aab=b, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	1931	⟨a, b \| aab=b, babbb=1⟩	φ(a) = aaaa, φ(b) = a
9	1935	⟨a, b \| aab=b, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
9	1937	⟨a, b \| aab=b, bbbab=1⟩	φ(a) = aaaa, φ(b) = a
9	1938	⟨a, b \| aab=b, bbbba=1⟩	φ(a) = aaaa, φ(b) = a
9	1973	⟨a, b \| aba=b, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	1977	⟨a, b \| aba=b, babbb=1⟩	φ(a) = aaaa, φ(b) = a
9	1978	⟨a, b \| aba=b, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
9	2486	⟨a, b \| aab=1, abbbb=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2502	⟨a, b \| aab=1, babbb=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2510	⟨a, b \| aab=1, bbabb=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2514	⟨a, b \| aab=1, bbbab=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2516	⟨a, b \| aab=1, bbbba=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2519	⟨a, b \| aab=1, bbbbb=b⟩	φ(a) = a, φ(b) = aaaaaa
9	2546	⟨a, b \| aba=1, abbbb=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2554	⟨a, b \| aba=1, babbb=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2556	⟨a, b \| aba=1, bbabb=a⟩	φ(a) = a, φ(b) = aaaaaa
9	2559	⟨a, b \| aba=1, bbbbb=b⟩	φ(a) = a, φ(b) = aaaaaa
9	2599	⟨a, b \| aab=1, aaaa=bb⟩	φ(a) = a, φ(b) = aaaaaa
9	2662	⟨a, b \| aba=1, aaaa=bb⟩	φ(a) = a, φ(b) = aaaaaa
9	2759	⟨a, b \| aa=b, aaaabb=1⟩	φ(a) = a, φ(b) = aa
9	2761	⟨a, b \| aa=b, aaabab=1⟩	φ(a) = a, φ(b) = aa
9	2762	⟨a, b \| aa=b, aaabba=1⟩	φ(a) = a, φ(b) = aa
9	2764	⟨a, b \| aa=b, aabaab=1⟩	φ(a) = a, φ(b) = aa
9	2765	⟨a, b \| aa=b, aababa=1⟩	φ(a) = a, φ(b) = aa
9	2767	⟨a, b \| aa=b, aabbaa=1⟩	φ(a) = a, φ(b) = aa
9	2771	⟨a, b \| aa=b, abaaab=1⟩	φ(a) = a, φ(b) = aa
9	2772	⟨a, b \| aa=b, abaaba=1⟩	φ(a) = a, φ(b) = aa
9	2782	⟨a, b \| aa=b, baaaab=1⟩	φ(a) = a, φ(b) = aa
9	3215	⟨a, b \| aa=1, aaabbbb=1⟩	φ(a) = aaaa, φ(b) = a
9	3222	⟨a, b \| aa=1, aababbb=1⟩	φ(a) = aaaa, φ(b) = a
9	3225	⟨a, b \| aa=1, aabbabb=1⟩	φ(a) = aaaa, φ(b) = a
9	3227	⟨a, b \| aa=1, aabbbab=1⟩	φ(a) = aaaa, φ(b) = a
9	3228	⟨a, b \| aa=1, aabbbba=1⟩	φ(a) = aaaa, φ(b) = a
9	3235	⟨a, b \| aa=1, abaabbb=1⟩	φ(a) = aaaa, φ(b) = a
9	3238	⟨a, b \| aa=1, abababb=1⟩	φ(a) = aaaa, φ(b) = a
9	3239	⟨a, b \| aa=1, ababbab=1⟩	φ(a) = aaaa, φ(b) = a
9	3240	⟨a, b \| aa=1, ababbba=1⟩	φ(a) = aaaa, φ(b) = a
9	3243	⟨a, b \| aa=1, abbaabb=1⟩	φ(a) = aaaa, φ(b) = a
9	3244	⟨a, b \| aa=1, abbabab=1⟩	φ(a) = aaaa, φ(b) = a
9	3245	⟨a, b \| aa=1, abbabba=1⟩	φ(a) = aaaa, φ(b) = a
9	3247	⟨a, b \| aa=1, abbbaab=1⟩	φ(a) = aaaa, φ(b) = a
9	3255	⟨a, b \| aa=1, baaabbb=1⟩	φ(a) = aaaa, φ(b) = a
9	3257	⟨a, b \| aa=1, baababb=1⟩	φ(a) = aaaa, φ(b) = a
9	3258	⟨a, b \| aa=1, baabbab=1⟩	φ(a) = aaaa, φ(b) = a
9	3260	⟨a, b \| aa=1, babaabb=1⟩	φ(a) = aaaa, φ(b) = a
9	3261	⟨a, b \| aa=1, bababab=1⟩	φ(a) = aaaa, φ(b) = a
9	3266	⟨a, b \| aa=1, bbaaabb=1⟩	φ(a) = aaaa, φ(b) = a
9	3364	⟨a, b \| aa=1, aabbbb=a⟩	φ(a) = aaaa, φ(b) = a
9	3376	⟨a, b \| aa=1, ababbb=a⟩	φ(a) = aaaa, φ(b) = a
9	3380	⟨a, b \| aa=1, abbabb=a⟩	φ(a) = aaaa, φ(b) = a
9	3382	⟨a, b \| aa=1, abbbab=a⟩	φ(a) = aaaa, φ(b) = a
9	3384	⟨a, b \| aa=1, abbbba=a⟩	φ(a) = aaaa, φ(b) = a
9	3394	⟨a, b \| aa=1, baabbb=a⟩	φ(a) = aaaa, φ(b) = a
9	3396	⟨a, b \| aa=1, bababb=a⟩	φ(a) = aaaa, φ(b) = a
9	3398	⟨a, b \| aa=1, babbab=a⟩	φ(a) = aaaa, φ(b) = a
9	3402	⟨a, b \| aa=1, bbaabb=a⟩	φ(a) = aaaa, φ(b) = a
9	3520	⟨a, b \| aa=1, abbbb=aa⟩	φ(a) = aaaa, φ(b) = a
9	3534	⟨a, b \| aa=1, babbb=aa⟩	φ(a) = aaaa, φ(b) = a
9	3538	⟨a, b \| aa=1, bbabb=aa⟩	φ(a) = aaaa, φ(b) = a
9	3674	⟨a, b \| aa=1, bbbb=aaa⟩	φ(a) = aaaa, φ(b) = a
10	3755	⟨a, b \| aaaa=ab, aabb=1⟩	φ(a) = aaa, φ(b) = a
10	3757	⟨a, b \| aaaa=ab, abab=1⟩	φ(a) = aaa, φ(b) = a
10	3758	⟨a, b \| aaaa=ab, abba=1⟩	φ(a) = aaa, φ(b) = a
10	3761	⟨a, b \| aaaa=ab, baab=1⟩	φ(a) = aaa, φ(b) = a
10	3762	⟨a, b \| aaaa=ab, baba=1⟩	φ(a) = aaa, φ(b) = a
10	3764	⟨a, b \| aaaa=ab, bbaa=1⟩	φ(a) = aaa, φ(b) = a
10	3820	⟨a, b \| aaab=bb, aabb=1⟩	φ(a) = aaa, φ(b) = a
10	3822	⟨a, b \| aaab=bb, abab=1⟩	φ(a) = aaa, φ(b) = a
10	3823	⟨a, b \| aaab=bb, abba=1⟩	φ(a) = aaa, φ(b) = a
10	3826	⟨a, b \| aaab=bb, baab=1⟩	φ(a) = aaa, φ(b) = a
10	3827	⟨a, b \| aaab=bb, baba=1⟩	φ(a) = aaa, φ(b) = a
10	3829	⟨a, b \| aaab=bb, bbaa=1⟩	φ(a) = aaa, φ(b) = a
10	3872	⟨a, b \| aaba=bb, aabb=1⟩	φ(a) = aaa, φ(b) = a
10	3874	⟨a, b \| aaba=bb, abab=1⟩	φ(a) = aaa, φ(b) = a
10	3875	⟨a, b \| aaba=bb, abba=1⟩	φ(a) = aaa, φ(b) = a
10	3878	⟨a, b \| aaba=bb, baab=1⟩	φ(a) = aaa, φ(b) = a
10	3879	⟨a, b \| aaba=bb, baba=1⟩	φ(a) = aaa, φ(b) = a
10	3881	⟨a, b \| aaba=bb, bbaa=1⟩	φ(a) = aaa, φ(b) = a
10	4039	⟨a, b \| abb=aaa, aaab=1⟩	φ(a) = aaaaa, φ(b) = a
10	4040	⟨a, b \| abb=aaa, aaba=1⟩	φ(a) = aaaaa, φ(b) = a
10	4042	⟨a, b \| abb=aaa, abaa=1⟩	φ(a) = aaaaa, φ(b) = a
10	4045	⟨a, b \| abb=aaa, abbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4046	⟨a, b \| abb=aaa, baaa=1⟩	φ(a) = aaaaa, φ(b) = a
10	4049	⟨a, b \| abb=aaa, babb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4051	⟨a, b \| abb=aaa, bbab=1⟩	φ(a) = aaaaa, φ(b) = a
10	4052	⟨a, b \| abb=aaa, bbba=1⟩	φ(a) = aaaaa, φ(b) = a
10	4099	⟨a, b \| bab=aaa, aaab=1⟩	φ(a) = aaaaa, φ(b) = a
10	4100	⟨a, b \| bab=aaa, aaba=1⟩	φ(a) = aaaaa, φ(b) = a
10	4104	⟨a, b \| bab=aaa, abbb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4106	⟨a, b \| bab=aaa, babb=1⟩	φ(a) = aaaaa, φ(b) = a
10	4363	⟨a, b \| aaaa=b, aaaab=1⟩	φ(a) = a, φ(b) = aaaa
10	4364	⟨a, b \| aaaa=b, aaaba=1⟩	φ(a) = a, φ(b) = aaaa
10	4366	⟨a, b \| aaaa=b, aabaa=1⟩	φ(a) = a, φ(b) = aaaa
10	4777	⟨a, b \| aaa=ab, aabbb=1⟩	φ(a) = a, φ(b) = aa
10	4781	⟨a, b \| aaa=ab, ababb=1⟩	φ(a) = a, φ(b) = aa
10	4783	⟨a, b \| aaa=ab, abbab=1⟩	φ(a) = a, φ(b) = aa
10	4784	⟨a, b \| aaa=ab, abbba=1⟩	φ(a) = a, φ(b) = aa
10	4789	⟨a, b \| aaa=ab, baabb=1⟩	φ(a) = a, φ(b) = aa
10	4791	⟨a, b \| aaa=ab, babab=1⟩	φ(a) = a, φ(b) = aa
10	4792	⟨a, b \| aaa=ab, babba=1⟩	φ(a) = a, φ(b) = aa
10	4795	⟨a, b \| aaa=ab, bbaab=1⟩	φ(a) = a, φ(b) = aa
10	4796	⟨a, b \| aaa=ab, bbaba=1⟩	φ(a) = a, φ(b) = aa
10	4798	⟨a, b \| aaa=ab, bbbaa=1⟩	φ(a) = a, φ(b) = aa
10	4925	⟨a, b \| aab=bb, aabbb=1⟩	φ(a) = a, φ(b) = aa
10	4929	⟨a, b \| aab=bb, ababb=1⟩	φ(a) = a, φ(b) = aa
10	4931	⟨a, b \| aab=bb, abbab=1⟩	φ(a) = a, φ(b) = aa
10	4932	⟨a, b \| aab=bb, abbba=1⟩	φ(a) = a, φ(b) = aa
10	4937	⟨a, b \| aab=bb, baabb=1⟩	φ(a) = a, φ(b) = aa
10	4939	⟨a, b \| aab=bb, babab=1⟩	φ(a) = a, φ(b) = aa
10	4940	⟨a, b \| aab=bb, babba=1⟩	φ(a) = a, φ(b) = aa
10	4943	⟨a, b \| aab=bb, bbaab=1⟩	φ(a) = a, φ(b) = aa
10	4944	⟨a, b \| aab=bb, bbaba=1⟩	φ(a) = a, φ(b) = aa
10	4946	⟨a, b \| aab=bb, bbbaa=1⟩	φ(a) = a, φ(b) = aa
10	5012	⟨a, b \| aba=bb, ababb=1⟩	φ(a) = a, φ(b) = aa
10	5013	⟨a, b \| aba=bb, abbab=1⟩	φ(a) = a, φ(b) = aa
10	5018	⟨a, b \| aba=bb, babab=1⟩	φ(a) = a, φ(b) = aa
10	5587	⟨a, b \| aabb=1, aaaaab=1⟩	φ(a) = aaa, φ(b) = a
10	5588	⟨a, b \| aabb=1, aaaaba=1⟩	φ(a) = aaa, φ(b) = a
10	5590	⟨a, b \| aabb=1, aaabaa=1⟩	φ(a) = aaa, φ(b) = a
10	5594	⟨a, b \| aabb=1, aabaaa=1⟩	φ(a) = aaa, φ(b) = a
10	5601	⟨a, b \| aabb=1, abaaaa=1⟩	φ(a) = aaa, φ(b) = a
10	5612	⟨a, b \| aabb=1, baaaaa=1⟩	φ(a) = aaa, φ(b) = a
10	5623	⟨a, b \| abab=1, aaaaab=1⟩	φ(a) = aaa, φ(b) = a
10	5624	⟨a, b \| abab=1, aaaaba=1⟩	φ(a) = aaa, φ(b) = a
10	5626	⟨a, b \| abab=1, aaabaa=1⟩	φ(a) = aaa, φ(b) = a
10	5630	⟨a, b \| abab=1, aabaaa=1⟩	φ(a) = aaa, φ(b) = a
10	5637	⟨a, b \| abab=1, abaaaa=1⟩	φ(a) = aaa, φ(b) = a
10	5648	⟨a, b \| abab=1, baaaaa=1⟩	φ(a) = aaa, φ(b) = a
10	5659	⟨a, b \| abba=1, aaaaab=1⟩	φ(a) = aaa, φ(b) = a
10	5660	⟨a, b \| abba=1, aaaaba=1⟩	φ(a) = aaa, φ(b) = a
10	5662	⟨a, b \| abba=1, aaabaa=1⟩	φ(a) = aaa, φ(b) = a
10	5683	⟨a, b \| abba=1, abbbbb=1⟩	φ(a) = aaa, φ(b) = a
10	5690	⟨a, b \| abba=1, babbbb=1⟩	φ(a) = aaa, φ(b) = a
10	5692	⟨a, b \| abba=1, bbabbb=1⟩	φ(a) = aaa, φ(b) = a
10	5735	⟨a, b \| aaab=1, aaaaa=b⟩	φ(a) = aaaaa, φ(b) = a
10	5748	⟨a, b \| aaab=1, aabbb=a⟩	φ(a) = aaaaa, φ(b) = a
10	5756	⟨a, b \| aaab=1, ababb=a⟩	φ(a) = aaaaa, φ(b) = a
10	5760	⟨a, b \| aaab=1, abbab=a⟩	φ(a) = aaaaa, φ(b) = a
10	5762	⟨a, b \| aaab=1, abbba=a⟩	φ(a) = aaaaa, φ(b) = a
10	5765	⟨a, b \| aaab=1, abbbb=b⟩	φ(a) = aaaaa, φ(b) = a
10	5772	⟨a, b \| aaab=1, baabb=a⟩	φ(a) = aaaaa, φ(b) = a
10	5776	⟨a, b \| aaab=1, babab=a⟩	φ(a) = aaaaa, φ(b) = a
10	5778	⟨a, b \| aaab=1, babba=a⟩	φ(a) = aaaaa, φ(b) = a
10	5781	⟨a, b \| aaab=1, babbb=b⟩	φ(a) = aaaaa, φ(b) = a
10	5784	⟨a, b \| aaab=1, bbaab=a⟩	φ(a) = aaaaa, φ(b) = a
10	5786	⟨a, b \| aaab=1, bbaba=a⟩	φ(a) = aaaaa, φ(b) = a
10	5789	⟨a, b \| aaab=1, bbabb=b⟩	φ(a) = aaaaa, φ(b) = a
10	5790	⟨a, b \| aaab=1, bbbaa=a⟩	φ(a) = aaaaa, φ(b) = a
10	5793	⟨a, b \| aaab=1, bbbab=b⟩	φ(a) = aaaaa, φ(b) = a
10	5795	⟨a, b \| aaab=1, bbbba=b⟩	φ(a) = aaaaa, φ(b) = a
10	5799	⟨a, b \| aaba=1, aaaaa=b⟩	φ(a) = aaaaa, φ(b) = a
10	5812	⟨a, b \| aaba=1, aabbb=a⟩	φ(a) = aaaaa, φ(b) = a
10	5820	⟨a, b \| aaba=1, ababb=a⟩	φ(a) = aaaaa, φ(b) = a
10	5824	⟨a, b \| aaba=1, abbab=a⟩	φ(a) = aaaaa, φ(b) = a
10	5826	⟨a, b \| aaba=1, abbba=a⟩	φ(a) = aaaaa, φ(b) = a
10	5829	⟨a, b \| aaba=1, abbbb=b⟩	φ(a) = aaaaa, φ(b) = a
10	5836	⟨a, b \| aaba=1, baabb=a⟩	φ(a) = aaaaa, φ(b) = a
10	5840	⟨a, b \| aaba=1, babab=a⟩	φ(a) = aaaaa, φ(b) = a
10	5842	⟨a, b \| aaba=1, babba=a⟩	φ(a) = aaaaa, φ(b) = a
10	5845	⟨a, b \| aaba=1, babbb=b⟩	φ(a) = aaaaa, φ(b) = a
10	5848	⟨a, b \| aaba=1, bbaab=a⟩	φ(a) = aaaaa, φ(b) = a
10	5850	⟨a, b \| aaba=1, bbaba=a⟩	φ(a) = aaaaa, φ(b) = a
10	5853	⟨a, b \| aaba=1, bbabb=b⟩	φ(a) = aaaaa, φ(b) = a
10	5854	⟨a, b \| aaba=1, bbbaa=a⟩	φ(a) = aaaaa, φ(b) = a
10	5857	⟨a, b \| aaba=1, bbbab=b⟩	φ(a) = aaaaa, φ(b) = a
10	5859	⟨a, b \| aaba=1, bbbba=b⟩	φ(a) = aaaaa, φ(b) = a
10	6003	⟨a, b \| aaa=b, aaaaab=1⟩	φ(a) = aaa, φ(b) = a
10	6004	⟨a, b \| aaa=b, aaaaba=1⟩	φ(a) = aaa, φ(b) = a
10	6006	⟨a, b \| aaa=b, aaabaa=1⟩	φ(a) = aaa, φ(b) = a
10	7311	⟨a, b \| aab=1, aabbbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7327	⟨a, b \| aab=1, ababbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7335	⟨a, b \| aab=1, abbabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7339	⟨a, b \| aab=1, abbbabb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7341	⟨a, b \| aab=1, abbbbab=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7342	⟨a, b \| aab=1, abbbbba=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7359	⟨a, b \| aab=1, baabbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7367	⟨a, b \| aab=1, bababbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7371	⟨a, b \| aab=1, babbabb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7373	⟨a, b \| aab=1, babbbab=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7374	⟨a, b \| aab=1, babbbba=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7383	⟨a, b \| aab=1, bbaabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7387	⟨a, b \| aab=1, bbababb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7389	⟨a, b \| aab=1, bbabbab=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7390	⟨a, b \| aab=1, bbabbba=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7395	⟨a, b \| aab=1, bbbaabb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7397	⟨a, b \| aab=1, bbbabab=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7398	⟨a, b \| aab=1, bbbabba=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7401	⟨a, b \| aab=1, bbbbaab=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7402	⟨a, b \| aab=1, bbbbaba=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7404	⟨a, b \| aab=1, bbbbbaa=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7437	⟨a, b \| aba=1, aabbbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7449	⟨a, b \| aba=1, ababbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7454	⟨a, b \| aba=1, abbabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7456	⟨a, b \| aba=1, abbbabb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7457	⟨a, b \| aba=1, abbbbab=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7458	⟨a, b \| aba=1, abbbbba=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7467	⟨a, b \| aba=1, baabbbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7470	⟨a, b \| aba=1, bababbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7471	⟨a, b \| aba=1, babbabb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7472	⟨a, b \| aba=1, babbbab=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7475	⟨a, b \| aba=1, bbaabbb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7476	⟨a, b \| aba=1, bbababb=1⟩	φ(a) = a, φ(b) = aaaaaa
10	7553	⟨a, b \| aab=1, aaaaaa=b⟩	φ(a) = a, φ(b) = aaaaaa
10	7681	⟨a, b \| aba=1, aaaaaa=b⟩	φ(a) = a, φ(b) = aaaaaa
10	8152	⟨a, b \| aab=1, abbb=aaa⟩	φ(a) = a, φ(b) = aaaaaa
10	8184	⟨a, b \| aab=1, babb=aaa⟩	φ(a) = a, φ(b) = aaaaaa
10	8200	⟨a, b \| aab=1, bbab=aaa⟩	φ(a) = a, φ(b) = aaaaaa
10	8208	⟨a, b \| aab=1, bbba=aaa⟩	φ(a) = a, φ(b) = aaaaaa
10	8217	⟨a, b \| aab=1, bbbb=aab⟩	φ(a) = a, φ(b) = aaaaaa
10	8218	⟨a, b \| aab=1, bbbb=aba⟩	φ(a) = a, φ(b) = aaaaaa
10	8220	⟨a, b \| aab=1, bbbb=baa⟩	φ(a) = a, φ(b) = aaaaaa
10	8268	⟨a, b \| aba=1, abbb=aaa⟩	φ(a) = a, φ(b) = aaaaaa
10	8282	⟨a, b \| aba=1, babb=aaa⟩	φ(a) = a, φ(b) = aaaaaa
10	8291	⟨a, b \| aba=1, bbbb=aab⟩	φ(a) = a, φ(b) = aaaaaa
10	8292	⟨a, b \| aba=1, bbbb=aba⟩	φ(a) = a, φ(b) = aaaaaa
10	8369	⟨a, b \| aa=b, aaaaaab=1⟩	φ(a) = a, φ(b) = aa
10	8370	⟨a, b \| aa=b, aaaaaba=1⟩	φ(a) = a, φ(b) = aa
10	8372	⟨a, b \| aa=b, aaaabaa=1⟩	φ(a) = a, φ(b) = aa
10	8376	⟨a, b \| aa=b, aaabaaa=1⟩	φ(a) = a, φ(b) = aa
10	9520	⟨a, b \| ab=1, aaaaaaaa=1⟩	φ(a) = aaaaaaa, φ(b) = a
10	9801	⟨a, b \| ab=1, aaaaaaa=b⟩	φ(a) = aaaaaaa, φ(b) = a
10	10067	⟨a, b \| ab=1, aaaaaa=bb⟩	φ(a) = aaaaaaa, φ(b) = a
10	10351	⟨a, b \| ab=1, aaaaa=bbb⟩	φ(a) = aaaaaaa, φ(b) = a
10	10603	⟨a, b \| ab=1, bbbb=aaaa⟩	φ(a) = aaaaaaa, φ(b) = a
11	10945	⟨a, b \| aabb=bbb, bbbb=1⟩	φ(a) = a, φ(b) = aa
11	11009	⟨a, b \| abab=bbb, bbbb=1⟩	φ(a) = a, φ(b) = aa
11	11061	⟨a, b \| abba=bbb, bbbb=1⟩	φ(a) = a, φ(b) = aa
11	11083	⟨a, b \| baab=bbb, bbbb=1⟩	φ(a) = a, φ(b) = aa
11	11098	⟨a, b \| aaaaa=a, aaabb=1⟩	φ(a) = aa, φ(b) = a
11	11100	⟨a, b \| aaaaa=a, aabab=1⟩	φ(a) = aa, φ(b) = a
11	11101	⟨a, b \| aaaaa=a, aabba=1⟩	φ(a) = aa, φ(b) = a
11	11103	⟨a, b \| aaaaa=a, abaab=1⟩	φ(a) = aa, φ(b) = a
11	11104	⟨a, b \| aaaaa=a, ababa=1⟩	φ(a) = aa, φ(b) = a
11	11109	⟨a, b \| aaaaa=a, baaab=1⟩	φ(a) = aa, φ(b) = a
11	11165	⟨a, b \| aaaab=b, aaabb=1⟩	φ(a) = aa, φ(b) = a
11	11167	⟨a, b \| aaaab=b, aabab=1⟩	φ(a) = aa, φ(b) = a
11	11168	⟨a, b \| aaaab=b, aabba=1⟩	φ(a) = aa, φ(b) = a
11	11171	⟨a, b \| aaaab=b, abaab=1⟩	φ(a) = aa, φ(b) = a
11	11172	⟨a, b \| aaaab=b, ababa=1⟩	φ(a) = aa, φ(b) = a
11	11174	⟨a, b \| aaaab=b, abbaa=1⟩	φ(a) = aa, φ(b) = a
11	11179	⟨a, b \| aaaab=b, baaab=1⟩	φ(a) = aa, φ(b) = a
11	11180	⟨a, b \| aaaab=b, baaba=1⟩	φ(a) = aa, φ(b) = a
11	11182	⟨a, b \| aaaab=b, babaa=1⟩	φ(a) = aa, φ(b) = a
11	11186	⟨a, b \| aaaab=b, bbaaa=1⟩	φ(a) = aa, φ(b) = a
11	11223	⟨a, b \| aaaba=b, aaabb=1⟩	φ(a) = aa, φ(b) = a
11	11225	⟨a, b \| aaaba=b, aabab=1⟩	φ(a) = aa, φ(b) = a
11	11226	⟨a, b \| aaaba=b, aabba=1⟩	φ(a) = aa, φ(b) = a
11	11229	⟨a, b \| aaaba=b, abaab=1⟩	φ(a) = aa, φ(b) = a
11	11230	⟨a, b \| aaaba=b, ababa=1⟩	φ(a) = aa, φ(b) = a
11	11232	⟨a, b \| aaaba=b, abbaa=1⟩	φ(a) = aa, φ(b) = a
11	11237	⟨a, b \| aaaba=b, baaab=1⟩	φ(a) = aa, φ(b) = a
11	11238	⟨a, b \| aaaba=b, baaba=1⟩	φ(a) = aa, φ(b) = a
11	11240	⟨a, b \| aaaba=b, babaa=1⟩	φ(a) = aa, φ(b) = a
11	11244	⟨a, b \| aaaba=b, bbaaa=1⟩	φ(a) = aa, φ(b) = a
11	11326	⟨a, b \| aabaa=b, aabab=1⟩	φ(a) = aa, φ(b) = a
11	11330	⟨a, b \| aabaa=b, abaab=1⟩	φ(a) = aa, φ(b) = a
11	11331	⟨a, b \| aabaa=b, ababa=1⟩	φ(a) = aa, φ(b) = a
11	11633	⟨a, b \| aaaa=aa, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11637	⟨a, b \| aaaa=aa, babbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11638	⟨a, b \| aaaa=aa, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	11739	⟨a, b \| aaab=ab, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11747	⟨a, b \| aaab=ab, babbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11751	⟨a, b \| aaab=ab, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	11753	⟨a, b \| aaab=ab, bbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	11754	⟨a, b \| aaab=ab, bbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	11771	⟨a, b \| aaab=ba, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11779	⟨a, b \| aaab=ba, babbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11783	⟨a, b \| aaab=ba, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	11785	⟨a, b \| aaab=ba, bbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	11786	⟨a, b \| aaab=ba, bbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	11867	⟨a, b \| aaba=ab, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11875	⟨a, b \| aaba=ab, babbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11879	⟨a, b \| aaba=ab, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	11881	⟨a, b \| aaba=ab, bbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	11882	⟨a, b \| aaba=ab, bbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	11899	⟨a, b \| aaba=ba, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11907	⟨a, b \| aaba=ba, babbb=1⟩	φ(a) = aaaa, φ(b) = a
11	11911	⟨a, b \| aaba=ba, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	11913	⟨a, b \| aaba=ba, bbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	11914	⟨a, b \| aaba=ba, bbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	11949	⟨a, b \| aabb=aa, aaaab=1⟩	φ(a) = a, φ(b) = aaaa
11	11950	⟨a, b \| aabb=aa, aaaba=1⟩	φ(a) = a, φ(b) = aaaa
11	11952	⟨a, b \| aabb=aa, aabaa=1⟩	φ(a) = a, φ(b) = aaaa
11	11956	⟨a, b \| aabb=aa, abaaa=1⟩	φ(a) = a, φ(b) = aaaa
11	11964	⟨a, b \| aabb=aa, baaaa=1⟩	φ(a) = a, φ(b) = aaaa
11	12013	⟨a, b \| abab=aa, aaaab=1⟩	φ(a) = a, φ(b) = aaaa
11	12014	⟨a, b \| abab=aa, aaaba=1⟩	φ(a) = a, φ(b) = aaaa
11	12016	⟨a, b \| abab=aa, aabaa=1⟩	φ(a) = a, φ(b) = aaaa
11	12020	⟨a, b \| abab=aa, abaaa=1⟩	φ(a) = a, φ(b) = aaaa
11	12028	⟨a, b \| abab=aa, baaaa=1⟩	φ(a) = a, φ(b) = aaaa
11	12077	⟨a, b \| abba=aa, aaaab=1⟩	φ(a) = a, φ(b) = aaaa
11	12078	⟨a, b \| abba=aa, aaaba=1⟩	φ(a) = a, φ(b) = aaaa
11	12080	⟨a, b \| abba=aa, aabaa=1⟩	φ(a) = a, φ(b) = aaaa
11	12141	⟨a, b \| abba=bb, abbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	12145	⟨a, b \| abba=bb, babbb=1⟩	φ(a) = aaaa, φ(b) = a
11	12146	⟨a, b \| abba=bb, bbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	13452	⟨a, b \| aaabb=1, aabbbb=1⟩	φ(a) = aa, φ(b) = a
11	13464	⟨a, b \| aaabb=1, abbabb=1⟩	φ(a) = aa, φ(b) = a
11	13467	⟨a, b \| aaabb=1, abbbba=1⟩	φ(a) = aa, φ(b) = a
11	13476	⟨a, b \| aaabb=1, baabbb=1⟩	φ(a) = aa, φ(b) = a
11	13482	⟨a, b \| aaabb=1, babbab=1⟩	φ(a) = aa, φ(b) = a
11	13488	⟨a, b \| aaabb=1, bbaabb=1⟩	φ(a) = aa, φ(b) = a
11	13491	⟨a, b \| aaabb=1, bbabba=1⟩	φ(a) = aa, φ(b) = a
11	13494	⟨a, b \| aaabb=1, bbbaab=1⟩	φ(a) = aa, φ(b) = a
11	13497	⟨a, b \| aaabb=1, bbbbaa=1⟩	φ(a) = aa, φ(b) = a
11	13560	⟨a, b \| aabab=1, ababbb=1⟩	φ(a) = aa, φ(b) = a
11	13564	⟨a, b \| aabab=1, abbabb=1⟩	φ(a) = aa, φ(b) = a
11	13566	⟨a, b \| aabab=1, abbbab=1⟩	φ(a) = aa, φ(b) = a
11	13567	⟨a, b \| aabab=1, abbbba=1⟩	φ(a) = aa, φ(b) = a
11	13576	⟨a, b \| aabab=1, baabbb=1⟩	φ(a) = aa, φ(b) = a
11	13580	⟨a, b \| aabab=1, bababb=1⟩	φ(a) = aa, φ(b) = a
11	13582	⟨a, b \| aabab=1, babbab=1⟩	φ(a) = aa, φ(b) = a
11	13583	⟨a, b \| aabab=1, babbba=1⟩	φ(a) = aa, φ(b) = a
11	13588	⟨a, b \| aabab=1, bbaabb=1⟩	φ(a) = aa, φ(b) = a
11	13590	⟨a, b \| aabab=1, bbabab=1⟩	φ(a) = aa, φ(b) = a
11	13591	⟨a, b \| aabab=1, bbabba=1⟩	φ(a) = aa, φ(b) = a
11	13594	⟨a, b \| aabab=1, bbbaab=1⟩	φ(a) = aa, φ(b) = a
11	13595	⟨a, b \| aabab=1, bbbaba=1⟩	φ(a) = aa, φ(b) = a
11	13597	⟨a, b \| aabab=1, bbbbaa=1⟩	φ(a) = aa, φ(b) = a
11	13616	⟨a, b \| aabba=1, aabbbb=1⟩	φ(a) = aa, φ(b) = a
11	13628	⟨a, b \| aabba=1, abbabb=1⟩	φ(a) = aa, φ(b) = a
11	13631	⟨a, b \| aabba=1, abbbba=1⟩	φ(a) = aa, φ(b) = a
11	13640	⟨a, b \| aabba=1, baabbb=1⟩	φ(a) = aa, φ(b) = a
11	13646	⟨a, b \| aabba=1, babbab=1⟩	φ(a) = aa, φ(b) = a
11	13652	⟨a, b \| aabba=1, bbaabb=1⟩	φ(a) = aa, φ(b) = a
11	13655	⟨a, b \| aabba=1, bbabba=1⟩	φ(a) = aa, φ(b) = a
11	13658	⟨a, b \| aabba=1, bbbaab=1⟩	φ(a) = aa, φ(b) = a
11	13661	⟨a, b \| aabba=1, bbbbaa=1⟩	φ(a) = aa, φ(b) = a
11	13680	⟨a, b \| abaab=1, aabbbb=1⟩	φ(a) = aa, φ(b) = a
11	13688	⟨a, b \| abaab=1, ababbb=1⟩	φ(a) = aa, φ(b) = a
11	13692	⟨a, b \| abaab=1, abbabb=1⟩	φ(a) = aa, φ(b) = a
11	13694	⟨a, b \| abaab=1, abbbab=1⟩	φ(a) = aa, φ(b) = a
11	13695	⟨a, b \| abaab=1, abbbba=1⟩	φ(a) = aa, φ(b) = a
11	13704	⟨a, b \| abaab=1, baabbb=1⟩	φ(a) = aa, φ(b) = a
11	13708	⟨a, b \| abaab=1, bababb=1⟩	φ(a) = aa, φ(b) = a
11	13710	⟨a, b \| abaab=1, babbab=1⟩	φ(a) = aa, φ(b) = a
11	13711	⟨a, b \| abaab=1, babbba=1⟩	φ(a) = aa, φ(b) = a
11	13716	⟨a, b \| abaab=1, bbaabb=1⟩	φ(a) = aa, φ(b) = a
11	13718	⟨a, b \| abaab=1, bbabab=1⟩	φ(a) = aa, φ(b) = a
11	13719	⟨a, b \| abaab=1, bbabba=1⟩	φ(a) = aa, φ(b) = a
11	13722	⟨a, b \| abaab=1, bbbaab=1⟩	φ(a) = aa, φ(b) = a
11	13723	⟨a, b \| abaab=1, bbbaba=1⟩	φ(a) = aa, φ(b) = a
11	13725	⟨a, b \| abaab=1, bbbbaa=1⟩	φ(a) = aa, φ(b) = a
11	13743	⟨a, b \| ababa=1, aabbbb=1⟩	φ(a) = aa, φ(b) = a
11	13749	⟨a, b \| ababa=1, ababbb=1⟩	φ(a) = aa, φ(b) = a
11	13751	⟨a, b \| ababa=1, abbabb=1⟩	φ(a) = aa, φ(b) = a
11	13752	⟨a, b \| ababa=1, abbbab=1⟩	φ(a) = aa, φ(b) = a
11	13753	⟨a, b \| ababa=1, abbbba=1⟩	φ(a) = aa, φ(b) = a
11	13758	⟨a, b \| ababa=1, baabbb=1⟩	φ(a) = aa, φ(b) = a
11	13759	⟨a, b \| ababa=1, bababb=1⟩	φ(a) = aa, φ(b) = a
11	13760	⟨a, b \| ababa=1, babbab=1⟩	φ(a) = aa, φ(b) = a
11	13762	⟨a, b \| ababa=1, bbaabb=1⟩	φ(a) = aa, φ(b) = a
11	13768	⟨a, b \| abbba=1, aaaabb=1⟩	φ(a) = aaa, φ(b) = aaaaaa
11	13771	⟨a, b \| abbba=1, aaabba=1⟩	φ(a) = aaa, φ(b) = aaaaaa
11	13773	⟨a, b \| abbba=1, aabaab=1⟩	φ(a) = aaa, φ(b) = aaaaaa
11	13776	⟨a, b \| abbba=1, aabbaa=1⟩	φ(a) = aaa, φ(b) = aaaaaa
11	13781	⟨a, b \| abbba=1, abaaba=1⟩	φ(a) = aaa, φ(b) = aaaaaa
11	13791	⟨a, b \| abbba=1, baaaab=1⟩	φ(a) = aaa, φ(b) = aaaaaa
11	14912	⟨a, b \| aaa=ab, aaaabb=1⟩	φ(a) = a, φ(b) = aa
11	14914	⟨a, b \| aaa=ab, aaabab=1⟩	φ(a) = a, φ(b) = aa
11	14915	⟨a, b \| aaa=ab, aaabba=1⟩	φ(a) = a, φ(b) = aa
11	14918	⟨a, b \| aaa=ab, aabaab=1⟩	φ(a) = a, φ(b) = aa
11	14919	⟨a, b \| aaa=ab, aababa=1⟩	φ(a) = a, φ(b) = aa
11	14921	⟨a, b \| aaa=ab, aabbaa=1⟩	φ(a) = a, φ(b) = aa
11	14926	⟨a, b \| aaa=ab, abaaab=1⟩	φ(a) = a, φ(b) = aa
11	14927	⟨a, b \| aaa=ab, abaaba=1⟩	φ(a) = a, φ(b) = aa
11	14929	⟨a, b \| aaa=ab, ababaa=1⟩	φ(a) = a, φ(b) = aa
11	14933	⟨a, b \| aaa=ab, abbaaa=1⟩	φ(a) = a, φ(b) = aa
11	14942	⟨a, b \| aaa=ab, baaaab=1⟩	φ(a) = a, φ(b) = aa
11	14943	⟨a, b \| aaa=ab, baaaba=1⟩	φ(a) = a, φ(b) = aa
11	14945	⟨a, b \| aaa=ab, baabaa=1⟩	φ(a) = a, φ(b) = aa
11	14949	⟨a, b \| aaa=ab, babaaa=1⟩	φ(a) = a, φ(b) = aa
11	14957	⟨a, b \| aaa=ab, bbaaaa=1⟩	φ(a) = a, φ(b) = aa
11	15204	⟨a, b \| aab=bb, aaaabb=1⟩	φ(a) = a, φ(b) = aa
11	15206	⟨a, b \| aab=bb, aaabab=1⟩	φ(a) = a, φ(b) = aa
11	15207	⟨a, b \| aab=bb, aaabba=1⟩	φ(a) = a, φ(b) = aa
11	15210	⟨a, b \| aab=bb, aabaab=1⟩	φ(a) = a, φ(b) = aa
11	15211	⟨a, b \| aab=bb, aababa=1⟩	φ(a) = a, φ(b) = aa
11	15213	⟨a, b \| aab=bb, aabbaa=1⟩	φ(a) = a, φ(b) = aa
11	15218	⟨a, b \| aab=bb, abaaab=1⟩	φ(a) = a, φ(b) = aa
11	15219	⟨a, b \| aab=bb, abaaba=1⟩	φ(a) = a, φ(b) = aa
11	15221	⟨a, b \| aab=bb, ababaa=1⟩	φ(a) = a, φ(b) = aa
11	15225	⟨a, b \| aab=bb, abbaaa=1⟩	φ(a) = a, φ(b) = aa
11	15234	⟨a, b \| aab=bb, baaaab=1⟩	φ(a) = a, φ(b) = aa
11	15235	⟨a, b \| aab=bb, baaaba=1⟩	φ(a) = a, φ(b) = aa
11	15237	⟨a, b \| aab=bb, baabaa=1⟩	φ(a) = a, φ(b) = aa
11	15241	⟨a, b \| aab=bb, babaaa=1⟩	φ(a) = a, φ(b) = aa
11	15249	⟨a, b \| aab=bb, bbaaaa=1⟩	φ(a) = a, φ(b) = aa
11	15368	⟨a, b \| aba=bb, aaaabb=1⟩	φ(a) = a, φ(b) = aa
11	15371	⟨a, b \| aba=bb, aaabba=1⟩	φ(a) = a, φ(b) = aa
11	15373	⟨a, b \| aba=bb, aabaab=1⟩	φ(a) = a, φ(b) = aa
11	15376	⟨a, b \| aba=bb, aabbaa=1⟩	φ(a) = a, φ(b) = aa
11	15381	⟨a, b \| aba=bb, abaaba=1⟩	φ(a) = a, φ(b) = aa
11	15391	⟨a, b \| aba=bb, baaaab=1⟩	φ(a) = a, φ(b) = aa
11	16563	⟨a, b \| aaaa=1, aaaaabb=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16565	⟨a, b \| aaaa=1, aaaabab=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16566	⟨a, b \| aaaa=1, aaaabba=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16569	⟨a, b \| aaaa=1, aaabaab=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16570	⟨a, b \| aaaa=1, aaababa=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16572	⟨a, b \| aaaa=1, aaabbaa=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16576	⟨a, b \| aaaa=1, aabaaab=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16577	⟨a, b \| aaaa=1, aabaaba=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16579	⟨a, b \| aaaa=1, aababaa=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16590	⟨a, b \| aaaa=1, abaaaab=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16591	⟨a, b \| aaaa=1, abaaaba=1⟩	φ(a) = aaaaaa, φ(b) = a
11	16612	⟨a, b \| aaaa=1, baaaaab=1⟩	φ(a) = aaaaaa, φ(b) = a
11	17094	⟨a, b \| aaaa=1, aaaabb=a⟩	φ(a) = aa, φ(b) = a
11	17098	⟨a, b \| aaaa=1, aaabab=a⟩	φ(a) = aa, φ(b) = a
11	17100	⟨a, b \| aaaa=1, aaabba=a⟩	φ(a) = aa, φ(b) = a
11	17104	⟨a, b \| aaaa=1, aabaab=a⟩	φ(a) = aa, φ(b) = a
11	17106	⟨a, b \| aaaa=1, aababa=a⟩	φ(a) = aa, φ(b) = a
11	17110	⟨a, b \| aaaa=1, aabbaa=a⟩	φ(a) = aa, φ(b) = a
11	17118	⟨a, b \| aaaa=1, abaaab=a⟩	φ(a) = aa, φ(b) = a
11	17120	⟨a, b \| aaaa=1, abaaba=a⟩	φ(a) = aa, φ(b) = a
11	17140	⟨a, b \| aaaa=1, baaaab=a⟩	φ(a) = aa, φ(b) = a
11	17618	⟨a, b \| aaaa=1, aaaaa=bb⟩	φ(a) = aa, φ(b) = a
11	17627	⟨a, b \| aaaa=1, aaabb=aa⟩	φ(a) = aaaaaa, φ(b) = a
11	17634	⟨a, b \| aaaa=1, aabab=aa⟩	φ(a) = aaaaaa, φ(b) = a
11	17638	⟨a, b \| aaaa=1, aabba=aa⟩	φ(a) = aaaaaa, φ(b) = a
11	17646	⟨a, b \| aaaa=1, abaab=aa⟩	φ(a) = aaaaaa, φ(b) = a
11	17650	⟨a, b \| aaaa=1, ababa=aa⟩	φ(a) = aaaaaa, φ(b) = a
11	17668	⟨a, b \| aaaa=1, baaab=aa⟩	φ(a) = aaaaaa, φ(b) = a
11	18159	⟨a, b \| aaa=a, aaabbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	18166	⟨a, b \| aaa=a, aababbb=1⟩	φ(a) = aaaa, φ(b) = a
11	18169	⟨a, b \| aaa=a, aabbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	18171	⟨a, b \| aaa=a, aabbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	18172	⟨a, b \| aaa=a, aabbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	18179	⟨a, b \| aaa=a, abaabbb=1⟩	φ(a) = aaaa, φ(b) = a
11	18182	⟨a, b \| aaa=a, abababb=1⟩	φ(a) = aaaa, φ(b) = a
11	18183	⟨a, b \| aaa=a, ababbab=1⟩	φ(a) = aaaa, φ(b) = a
11	18184	⟨a, b \| aaa=a, ababbba=1⟩	φ(a) = aaaa, φ(b) = a
11	18187	⟨a, b \| aaa=a, abbaabb=1⟩	φ(a) = aaaa, φ(b) = a
11	18188	⟨a, b \| aaa=a, abbabab=1⟩	φ(a) = aaaa, φ(b) = a
11	18189	⟨a, b \| aaa=a, abbabba=1⟩	φ(a) = aaaa, φ(b) = a
11	18191	⟨a, b \| aaa=a, abbbaab=1⟩	φ(a) = aaaa, φ(b) = a
11	18199	⟨a, b \| aaa=a, baaabbb=1⟩	φ(a) = aaaa, φ(b) = a
11	18201	⟨a, b \| aaa=a, baababb=1⟩	φ(a) = aaaa, φ(b) = a
11	18202	⟨a, b \| aaa=a, baabbab=1⟩	φ(a) = aaaa, φ(b) = a
11	18204	⟨a, b \| aaa=a, babaabb=1⟩	φ(a) = aaaa, φ(b) = a
11	18205	⟨a, b \| aaa=a, bababab=1⟩	φ(a) = aaaa, φ(b) = a
11	18210	⟨a, b \| aaa=a, bbaaabb=1⟩	φ(a) = aaaa, φ(b) = a
11	18431	⟨a, b \| aab=b, aaabbbb=1⟩	φ(a) = aaaa, φ(b) = a
11	18439	⟨a, b \| aab=b, aababbb=1⟩	φ(a) = aaaa, φ(b) = a
11	18443	⟨a, b \| aab=b, aabbabb=1⟩	φ(a) = aaaa, φ(b) = a
11	18445	⟨a, b \| aab=b, aabbbab=1⟩	φ(a) = aaaa, φ(b) = a
11	18446	⟨a, b \| aab=b, aabbbba=1⟩	φ(a) = aaaa, φ(b) = a
11	18455	⟨a, b \| aab=b, abaabbb=1⟩	φ(a) = aaaa, φ(b) = a
11	18459	⟨a, b \| aab=b, abababb=1⟩	φ(a) = aaaa, φ(b) = a
11	18461	⟨a, b \| aab=b, ababbab=1⟩	φ(a) = aaaa, φ(b) = a
11	18462	⟨a, b \| aab=b, ababbba=1⟩	φ(a) = aaaa, φ(b) = a
11	18467	⟨a, b \| aab=b, abbaabb=1⟩	φ(a) = aaaa, φ(b) = a
11	18469	⟨a, b \| aab=b, abbabab=1⟩	φ(a) = aaaa, φ(b) = a
11	18470	⟨a, b \| aab=b, abbabba=1⟩	φ(a) = aaaa, φ(b) = a
11	18473	⟨a, b \| aab=b, abbbaab=1⟩	φ(a) = aaaa, φ(b) = a
11	18474	⟨a, b \| aab=b, abbbaba=1⟩	φ(a) = aaaa, φ(b) = a
11	18476	⟨a, b \| aab=b, abbbbaa=1⟩	φ(a) = aaaa, φ(b) = a
11	18487	⟨a, b \| aab=b, baaabbb=1⟩	φ(a) = aaaa, φ(b) = a

Presentation

Mapping

198

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

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

218

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

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

296

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

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

300

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

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

301

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

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

337

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

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

405

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

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

406

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

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

467

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

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

471

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

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

473

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

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

474

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

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

481

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

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

483

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

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

504

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

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

505

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

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

506

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

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

508

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

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

625

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

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

626

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

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

835

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

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

838

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

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

839

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

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

840

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

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

843

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

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

844

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

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

1400

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

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

1416

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

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

1430

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

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

1436

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

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

1466

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

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

1539

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

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

1575

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

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

1703

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

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

1705

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

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

1706

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

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

1708

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

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

1709

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

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

1714

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

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

1849

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

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

1853

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

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

1854

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

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

1923

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

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

1931

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

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

1935

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

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

1937

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

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

1938

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

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

1973

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

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

1977

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

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

1978

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

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

2486

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

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

2502

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

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

2510

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

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

2514

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

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

2516

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

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

2519

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

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

2546

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

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

2554

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

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

2556

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

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

2559

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

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

2599

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

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

2662

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

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

2759

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

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

2761

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

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

2762

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

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

2764

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

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

2765

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

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

2767

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

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

2771

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

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

2772

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

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

2782

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

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

3215

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

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

3222

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

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

3225

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

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

3227

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

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

3228

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

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

3235

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

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

3238

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

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

3239

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

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

3240

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

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

3243

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

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

3244

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

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

3245

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

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

3247

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

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

3255

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

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

3257

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

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

3258

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

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

3260

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

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

3261

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

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

3266

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

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

3364

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

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

3376

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

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

3380

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

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

3382

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

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

3384

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

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

3394

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

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

3396

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

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

3398

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

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

3402

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

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

3520

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

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

3534

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

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

3538

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

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

3674

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

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

3755

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

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

3757

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

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

3758

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

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

3761

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

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

3762

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

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

3764

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

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

3820

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

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

3822

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

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

3823

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

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

3826

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

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

3827

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

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

3829

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

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

3872

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

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

3874

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

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

3875

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

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

3878

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

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

3879

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

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

3881

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

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

4039

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

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

4040

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

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

4042

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

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

4045

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

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

4046

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

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

4049

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

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

4051

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

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

4052

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

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

4099

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

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

4100

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

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

4104

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

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

4106

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

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

4363

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

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

4364

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

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

4366

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

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

4777

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

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

4781

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

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

4783

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

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

4784

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

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

4789

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

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

4791

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

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

4792

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

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

4795

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

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

4796

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

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

4798

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

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

4925

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

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

4929

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

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

4931

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

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

4932

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

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

4937

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

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

4939

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

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

4940

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

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

4943

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

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

4944

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

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

4946

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

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

5012

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

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

5013

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

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

5018

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

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

5587

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

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

5588

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

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

5590

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

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

5594

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

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

5601

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

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

5612

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

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

5623

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

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

5624

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

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

5626

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

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

5630

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

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

5637

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

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

5648

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

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

5659

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

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

5660

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

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

5662

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

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

5683

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

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

5690

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

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

5692

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

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

5735

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

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

5748

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

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

5756

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

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

5760

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

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

5762

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

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

5765

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

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

5772

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

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

5776

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

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

5778

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

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

5781

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

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

5784

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

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

5786

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

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

5789

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

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

5790

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

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

5793

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

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

5795

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

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

5799

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

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

5812

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

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

5820

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

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

5824

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

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

5826

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

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

5829

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

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

5836

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

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

5840

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

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

5842

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

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

5845

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

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

5848

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

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

5850

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

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

5853

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

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

5854

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

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

5857

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

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

5859

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

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

6003

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

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

6004

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

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

6006

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

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

7311

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

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

7327

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

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

7335

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

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

7339

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

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

7341

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

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

7342

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

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

7359

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

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

7367

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

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

7371

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

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

7373

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

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

7374

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

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

7383

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

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

7387

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

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

7389

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

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

7390

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

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

7395

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

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

7397

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

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

7398

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

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

7401

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

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

7402

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

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

7404

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

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

7437

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

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

7449

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

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

7454

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

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

7456

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

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

7457

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

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

7458

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

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

7467

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

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

7470

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

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

7471

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

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

7472

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

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

7475

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

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

7476

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

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

7553

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

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

7681

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

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

8152

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

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

8184

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

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

8200

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

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

8208

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

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

8217

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

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

8218

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

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

8220

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

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

8268

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

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

8282

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

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

8291

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

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

8292

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

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

8369

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

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

8370

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

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

8372

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

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

8376

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

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

9520

⟨a, b | ab=1, aaaaaaaa=1⟩

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

9801

⟨a, b | ab=1, aaaaaaa=b⟩

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

10067

⟨a, b | ab=1, aaaaaa=bb⟩

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

10351

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

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

10603

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

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

10945

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

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

11009

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

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

11061

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

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

11083

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

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

11098

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

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

11100

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

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

11101

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

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

11103

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

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

11104

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

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

11109

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

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

11165

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

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

11167

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

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

11168

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

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

11171

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

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

11172

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

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

11174

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

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

11179

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

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

11180

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

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

11182

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

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

11186

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

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

11223

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

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

11225

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

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

11226

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

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

11229

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

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

11230

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

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

11232

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

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

11237

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

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

11238

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

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

11240

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

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

11244

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

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

11326

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

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

11330

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

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

11331

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

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

11633

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

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

11637

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

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

11638

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

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

11739

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

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

11747

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

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

11751

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

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

11753

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

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

11754

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

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

11771

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

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

11779

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

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

11783

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

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

11785

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

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

11786

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

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

11867

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

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

11875

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

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

11879

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

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

11881

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

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

11882

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

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

11899

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

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

11907

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

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

11911

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

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

11913

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

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

11914

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

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

11949

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

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

11950

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

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

11952

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

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

11956

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

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

11964

⟨a, b | aabb=aa, baaaa=1⟩

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

12013

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

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

12014

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

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

12016

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

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

12020

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

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

12028

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

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

12077

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

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

12078

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

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

12080

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

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

12141

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

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

12145

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

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

12146

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

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

13452

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

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

13464

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

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

13467

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

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

13476

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

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

13482

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

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

13488

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

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

13491

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

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

13494

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

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

13497

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

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

13560

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

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

13564

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

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

13566

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

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

13567

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

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

13576

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

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

13580

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

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

13582

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

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

13583

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

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

13588

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

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

13590

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

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

13591

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

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

13594

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

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

13595

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

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

13597

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

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

13616

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

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

13628

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

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

13631

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

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

13640

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

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

13646

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

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

13652

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

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

13655

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

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

13658

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

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

13661

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

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

13680

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

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

13688

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

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

13692

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

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

13694

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

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

13695

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

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

13704

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

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

13708

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

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

13710

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

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

13711

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

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

13716

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

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

13718

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

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

13719

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

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

13722

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

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

13723

⟨a, b | abaab=1, bbbaba=1⟩

φ(a) = aa, φ(b) = a

13725

⟨a, b | abaab=1, bbbbaa=1⟩

φ(a) = aa, φ(b) = a

13743

⟨a, b | ababa=1, aabbbb=1⟩

φ(a) = aa, φ(b) = a

13749

⟨a, b | ababa=1, ababbb=1⟩

φ(a) = aa, φ(b) = a

13751

⟨a, b | ababa=1, abbabb=1⟩

φ(a) = aa, φ(b) = a

13752

⟨a, b | ababa=1, abbbab=1⟩

φ(a) = aa, φ(b) = a

13753

⟨a, b | ababa=1, abbbba=1⟩

φ(a) = aa, φ(b) = a

13758

⟨a, b | ababa=1, baabbb=1⟩

φ(a) = aa, φ(b) = a

13759

⟨a, b | ababa=1, bababb=1⟩

φ(a) = aa, φ(b) = a

13760

⟨a, b | ababa=1, babbab=1⟩

φ(a) = aa, φ(b) = a

13762

⟨a, b | ababa=1, bbaabb=1⟩

φ(a) = aa, φ(b) = a

13768

⟨a, b | abbba=1, aaaabb=1⟩

φ(a) = aaa, φ(b) = aaaaaa

13771

⟨a, b | abbba=1, aaabba=1⟩

φ(a) = aaa, φ(b) = aaaaaa

13773

⟨a, b | abbba=1, aabaab=1⟩

φ(a) = aaa, φ(b) = aaaaaa

13776

⟨a, b | abbba=1, aabbaa=1⟩

φ(a) = aaa, φ(b) = aaaaaa

13781

⟨a, b | abbba=1, abaaba=1⟩

φ(a) = aaa, φ(b) = aaaaaa

13791

⟨a, b | abbba=1, baaaab=1⟩

φ(a) = aaa, φ(b) = aaaaaa

14912

⟨a, b | aaa=ab, aaaabb=1⟩

φ(a) = a, φ(b) = aa

14914

⟨a, b | aaa=ab, aaabab=1⟩

φ(a) = a, φ(b) = aa

14915

⟨a, b | aaa=ab, aaabba=1⟩

φ(a) = a, φ(b) = aa

14918

⟨a, b | aaa=ab, aabaab=1⟩

φ(a) = a, φ(b) = aa

14919

⟨a, b | aaa=ab, aababa=1⟩

φ(a) = a, φ(b) = aa

14921

⟨a, b | aaa=ab, aabbaa=1⟩

φ(a) = a, φ(b) = aa

14926

⟨a, b | aaa=ab, abaaab=1⟩

φ(a) = a, φ(b) = aa

14927

⟨a, b | aaa=ab, abaaba=1⟩

φ(a) = a, φ(b) = aa

14929

⟨a, b | aaa=ab, ababaa=1⟩

φ(a) = a, φ(b) = aa

14933

⟨a, b | aaa=ab, abbaaa=1⟩

φ(a) = a, φ(b) = aa

14942

⟨a, b | aaa=ab, baaaab=1⟩

φ(a) = a, φ(b) = aa

14943

⟨a, b | aaa=ab, baaaba=1⟩

φ(a) = a, φ(b) = aa

14945

⟨a, b | aaa=ab, baabaa=1⟩

φ(a) = a, φ(b) = aa

14949

⟨a, b | aaa=ab, babaaa=1⟩

φ(a) = a, φ(b) = aa

14957

⟨a, b | aaa=ab, bbaaaa=1⟩

φ(a) = a, φ(b) = aa

15204

⟨a, b | aab=bb, aaaabb=1⟩

φ(a) = a, φ(b) = aa

15206

⟨a, b | aab=bb, aaabab=1⟩

φ(a) = a, φ(b) = aa

15207

⟨a, b | aab=bb, aaabba=1⟩

φ(a) = a, φ(b) = aa

15210

⟨a, b | aab=bb, aabaab=1⟩

φ(a) = a, φ(b) = aa

15211

⟨a, b | aab=bb, aababa=1⟩

φ(a) = a, φ(b) = aa

15213

⟨a, b | aab=bb, aabbaa=1⟩

φ(a) = a, φ(b) = aa

15218

⟨a, b | aab=bb, abaaab=1⟩

φ(a) = a, φ(b) = aa

15219

⟨a, b | aab=bb, abaaba=1⟩

φ(a) = a, φ(b) = aa

15221

⟨a, b | aab=bb, ababaa=1⟩

φ(a) = a, φ(b) = aa

15225

⟨a, b | aab=bb, abbaaa=1⟩

φ(a) = a, φ(b) = aa

15234

⟨a, b | aab=bb, baaaab=1⟩

φ(a) = a, φ(b) = aa

15235

⟨a, b | aab=bb, baaaba=1⟩

φ(a) = a, φ(b) = aa

15237

⟨a, b | aab=bb, baabaa=1⟩

φ(a) = a, φ(b) = aa

15241

⟨a, b | aab=bb, babaaa=1⟩

φ(a) = a, φ(b) = aa

15249

⟨a, b | aab=bb, bbaaaa=1⟩

φ(a) = a, φ(b) = aa

15368

⟨a, b | aba=bb, aaaabb=1⟩

φ(a) = a, φ(b) = aa

15371

⟨a, b | aba=bb, aaabba=1⟩

φ(a) = a, φ(b) = aa

15373

⟨a, b | aba=bb, aabaab=1⟩

φ(a) = a, φ(b) = aa

15376

⟨a, b | aba=bb, aabbaa=1⟩

φ(a) = a, φ(b) = aa

15381

⟨a, b | aba=bb, abaaba=1⟩

φ(a) = a, φ(b) = aa

15391

⟨a, b | aba=bb, baaaab=1⟩

φ(a) = a, φ(b) = aa

16563

⟨a, b | aaaa=1, aaaaabb=1⟩

φ(a) = aaaaaa, φ(b) = a

16565

⟨a, b | aaaa=1, aaaabab=1⟩

φ(a) = aaaaaa, φ(b) = a

16566

⟨a, b | aaaa=1, aaaabba=1⟩

φ(a) = aaaaaa, φ(b) = a

16569

⟨a, b | aaaa=1, aaabaab=1⟩

φ(a) = aaaaaa, φ(b) = a

16570

⟨a, b | aaaa=1, aaababa=1⟩

φ(a) = aaaaaa, φ(b) = a

16572

⟨a, b | aaaa=1, aaabbaa=1⟩

φ(a) = aaaaaa, φ(b) = a

16576

⟨a, b | aaaa=1, aabaaab=1⟩

φ(a) = aaaaaa, φ(b) = a

16577

⟨a, b | aaaa=1, aabaaba=1⟩

φ(a) = aaaaaa, φ(b) = a

16579

⟨a, b | aaaa=1, aababaa=1⟩

φ(a) = aaaaaa, φ(b) = a

16590

⟨a, b | aaaa=1, abaaaab=1⟩

φ(a) = aaaaaa, φ(b) = a

16591

⟨a, b | aaaa=1, abaaaba=1⟩

φ(a) = aaaaaa, φ(b) = a

16612

⟨a, b | aaaa=1, baaaaab=1⟩

φ(a) = aaaaaa, φ(b) = a

17094

⟨a, b | aaaa=1, aaaabb=a⟩

φ(a) = aa, φ(b) = a

17098

⟨a, b | aaaa=1, aaabab=a⟩

φ(a) = aa, φ(b) = a

17100

⟨a, b | aaaa=1, aaabba=a⟩

φ(a) = aa, φ(b) = a

17104

⟨a, b | aaaa=1, aabaab=a⟩

φ(a) = aa, φ(b) = a

17106

⟨a, b | aaaa=1, aababa=a⟩

φ(a) = aa, φ(b) = a

17110

⟨a, b | aaaa=1, aabbaa=a⟩

φ(a) = aa, φ(b) = a

17118

⟨a, b | aaaa=1, abaaab=a⟩

φ(a) = aa, φ(b) = a

17120

⟨a, b | aaaa=1, abaaba=a⟩

φ(a) = aa, φ(b) = a

17140

⟨a, b | aaaa=1, baaaab=a⟩

φ(a) = aa, φ(b) = a

17618

⟨a, b | aaaa=1, aaaaa=bb⟩

φ(a) = aa, φ(b) = a

17627

⟨a, b | aaaa=1, aaabb=aa⟩

φ(a) = aaaaaa, φ(b) = a

17634

⟨a, b | aaaa=1, aabab=aa⟩

φ(a) = aaaaaa, φ(b) = a

17638

⟨a, b | aaaa=1, aabba=aa⟩

φ(a) = aaaaaa, φ(b) = a

17646

⟨a, b | aaaa=1, abaab=aa⟩

φ(a) = aaaaaa, φ(b) = a

17650

⟨a, b | aaaa=1, ababa=aa⟩

φ(a) = aaaaaa, φ(b) = a

17668

⟨a, b | aaaa=1, baaab=aa⟩

φ(a) = aaaaaa, φ(b) = a

18159

⟨a, b | aaa=a, aaabbbb=1⟩

φ(a) = aaaa, φ(b) = a

18166

⟨a, b | aaa=a, aababbb=1⟩

φ(a) = aaaa, φ(b) = a

18169

⟨a, b | aaa=a, aabbabb=1⟩

φ(a) = aaaa, φ(b) = a

18171

⟨a, b | aaa=a, aabbbab=1⟩

φ(a) = aaaa, φ(b) = a

18172

⟨a, b | aaa=a, aabbbba=1⟩

φ(a) = aaaa, φ(b) = a

18179

⟨a, b | aaa=a, abaabbb=1⟩

φ(a) = aaaa, φ(b) = a

18182

⟨a, b | aaa=a, abababb=1⟩

φ(a) = aaaa, φ(b) = a

18183

⟨a, b | aaa=a, ababbab=1⟩

φ(a) = aaaa, φ(b) = a

18184

⟨a, b | aaa=a, ababbba=1⟩

φ(a) = aaaa, φ(b) = a

18187

⟨a, b | aaa=a, abbaabb=1⟩

φ(a) = aaaa, φ(b) = a

18188

⟨a, b | aaa=a, abbabab=1⟩

φ(a) = aaaa, φ(b) = a

18189

⟨a, b | aaa=a, abbabba=1⟩

φ(a) = aaaa, φ(b) = a

18191

⟨a, b | aaa=a, abbbaab=1⟩

φ(a) = aaaa, φ(b) = a

18199

⟨a, b | aaa=a, baaabbb=1⟩

φ(a) = aaaa, φ(b) = a

18201

⟨a, b | aaa=a, baababb=1⟩

φ(a) = aaaa, φ(b) = a

18202

⟨a, b | aaa=a, baabbab=1⟩

φ(a) = aaaa, φ(b) = a

18204

⟨a, b | aaa=a, babaabb=1⟩

φ(a) = aaaa, φ(b) = a

18205

⟨a, b | aaa=a, bababab=1⟩

φ(a) = aaaa, φ(b) = a

18210

⟨a, b | aaa=a, bbaaabb=1⟩

φ(a) = aaaa, φ(b) = a

18431

⟨a, b | aab=b, aaabbbb=1⟩

φ(a) = aaaa, φ(b) = a

18439

⟨a, b | aab=b, aababbb=1⟩

φ(a) = aaaa, φ(b) = a

18443

⟨a, b | aab=b, aabbabb=1⟩

φ(a) = aaaa, φ(b) = a

18445

⟨a, b | aab=b, aabbbab=1⟩

φ(a) = aaaa, φ(b) = a

18446

⟨a, b | aab=b, aabbbba=1⟩

φ(a) = aaaa, φ(b) = a

18455

⟨a, b | aab=b, abaabbb=1⟩

φ(a) = aaaa, φ(b) = a

18459

⟨a, b | aab=b, abababb=1⟩

φ(a) = aaaa, φ(b) = a

18461

⟨a, b | aab=b, ababbab=1⟩

φ(a) = aaaa, φ(b) = a

18462

⟨a, b | aab=b, ababbba=1⟩

φ(a) = aaaa, φ(b) = a

18467

⟨a, b | aab=b, abbaabb=1⟩

φ(a) = aaaa, φ(b) = a

18469

⟨a, b | aab=b, abbabab=1⟩

φ(a) = aaaa, φ(b) = a

18470

⟨a, b | aab=b, abbabba=1⟩

φ(a) = aaaa, φ(b) = a

18473

⟨a, b | aab=b, abbbaab=1⟩

φ(a) = aaaa, φ(b) = a

18474

⟨a, b | aab=b, abbbaba=1⟩

φ(a) = aaaa, φ(b) = a

18476

⟨a, b | aab=b, abbbbaa=1⟩

φ(a) = aaaa, φ(b) = a

18487

⟨a, b | aab=b, baaabbb=1⟩

φ(a) = aaaa, φ(b) = a

18491

⟨a, b | aab=b, baababb=1⟩

φ(a) = aaaa, φ(b) = a

18493

⟨a, b | aab=b, baabbab=1⟩

φ(a) = aaaa, φ(b) = a

18494

⟨a, b | aab=b, baabbba=1⟩

φ(a) = aaaa, φ(b) = a

18499

⟨a, b | aab=b, babaabb=1⟩

φ(a) = aaaa, φ(b) = a

18501

⟨a, b | aab=b, bababab=1⟩

φ(a) = aaaa, φ(b) = a

18502

⟨a, b | aab=b, bababba=1⟩

φ(a) = aaaa, φ(b) = a

18505

⟨a, b | aab=b, babbaab=1⟩

φ(a) = aaaa, φ(b) = a

18506

⟨a, b | aab=b, babbaba=1⟩

φ(a) = aaaa, φ(b) = a

18508

⟨a, b | aab=b, babbbaa=1⟩

φ(a) = aaaa, φ(b) = a

18515

⟨a, b | aab=b, bbaaabb=1⟩

φ(a) = aaaa, φ(b) = a

18517

⟨a, b | aab=b, bbaabab=1⟩

φ(a) = aaaa, φ(b) = a

18518

⟨a, b | aab=b, bbaabba=1⟩

φ(a) = aaaa, φ(b) = a

18521

⟨a, b | aab=b, bbabaab=1⟩

φ(a) = aaaa, φ(b) = a

18522

⟨a, b | aab=b, bbababa=1⟩

φ(a) = aaaa, φ(b) = a

18524

⟨a, b | aab=b, bbabbaa=1⟩

φ(a) = aaaa, φ(b) = a

18529

⟨a, b | aab=b, bbbaaab=1⟩

φ(a) = aaaa, φ(b) = a

18530

⟨a, b | aab=b, bbbaaba=1⟩

φ(a) = aaaa, φ(b) = a

18532

⟨a, b | aab=b, bbbabaa=1⟩

φ(a) = aaaa, φ(b) = a

18536

⟨a, b | aab=b, bbbbaaa=1⟩

φ(a) = aaaa, φ(b) = a

18638

⟨a, b | aba=b, aababbb=1⟩

φ(a) = aaaa, φ(b) = a

18643

⟨a, b | aba=b, aabbbab=1⟩

φ(a) = aaaa, φ(b) = a

18651

⟨a, b | aba=b, abaabbb=1⟩

φ(a) = aaaa, φ(b) = a

18654

⟨a, b | aba=b, abababb=1⟩

φ(a) = aaaa, φ(b) = a

18655

⟨a, b | aba=b, ababbab=1⟩

φ(a) = aaaa, φ(b) = a

18656

⟨a, b | aba=b, ababbba=1⟩

φ(a) = aaaa, φ(b) = a

18660

⟨a, b | aba=b, abbabab=1⟩

φ(a) = aaaa, φ(b) = a

18663

⟨a, b | aba=b, abbbaab=1⟩

φ(a) = aaaa, φ(b) = a

18673

⟨a, b | aba=b, baababb=1⟩

φ(a) = aaaa, φ(b) = a

18676

⟨a, b | aba=b, babaabb=1⟩

φ(a) = aaaa, φ(b) = a

18677

⟨a, b | aba=b, bababab=1⟩

φ(a) = aaaa, φ(b) = a

21256

⟨a, b | aab=1, aaaaaaaa=1⟩

φ(a) = a, φ(b) = aaaaaa

21512

⟨a, b | aba=1, aaaaaaaa=1⟩

φ(a) = a, φ(b) = aaaaaa

22388

⟨a, b | aab=1, aabbbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22420

⟨a, b | aab=1, ababbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22436

⟨a, b | aab=1, abbabb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22444

⟨a, b | aab=1, abbbab=aa⟩

φ(a) = a, φ(b) = aaaaaa

22448

⟨a, b | aab=1, abbbba=aa⟩

φ(a) = a, φ(b) = aaaaaa

22453

⟨a, b | aab=1, abbbbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

22454

⟨a, b | aab=1, abbbbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

22484

⟨a, b | aab=1, baabbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22500

⟨a, b | aab=1, bababb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22508

⟨a, b | aab=1, babbab=aa⟩

φ(a) = a, φ(b) = aaaaaa

22512

⟨a, b | aab=1, babbba=aa⟩

φ(a) = a, φ(b) = aaaaaa

22517

⟨a, b | aab=1, babbbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

22518

⟨a, b | aab=1, babbbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

22532

⟨a, b | aab=1, bbaabb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22540

⟨a, b | aab=1, bbabab=aa⟩

φ(a) = a, φ(b) = aaaaaa

22544

⟨a, b | aab=1, bbabba=aa⟩

φ(a) = a, φ(b) = aaaaaa

22549

⟨a, b | aab=1, bbabbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

22550

⟨a, b | aab=1, bbabbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

22556

⟨a, b | aab=1, bbbaab=aa⟩

φ(a) = a, φ(b) = aaaaaa

22560

⟨a, b | aab=1, bbbaba=aa⟩

φ(a) = a, φ(b) = aaaaaa

22565

⟨a, b | aab=1, bbbabb=ab⟩

φ(a) = a, φ(b) = aaaaaa

22566

⟨a, b | aab=1, bbbabb=ba⟩

φ(a) = a, φ(b) = aaaaaa

22568

⟨a, b | aab=1, bbbbaa=aa⟩

φ(a) = a, φ(b) = aaaaaa

22573

⟨a, b | aab=1, bbbbab=ab⟩

φ(a) = a, φ(b) = aaaaaa

22574

⟨a, b | aab=1, bbbbab=ba⟩

φ(a) = a, φ(b) = aaaaaa

22577

⟨a, b | aab=1, bbbbba=ab⟩

φ(a) = a, φ(b) = aaaaaa

22578

⟨a, b | aab=1, bbbbba=ba⟩

φ(a) = a, φ(b) = aaaaaa

22583

⟨a, b | aab=1, bbbbbb=bb⟩

φ(a) = a, φ(b) = aaaaaa

22638

⟨a, b | aba=1, aabbbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22661

⟨a, b | aba=1, ababbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22669

⟨a, b | aba=1, abbabb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22673

⟨a, b | aba=1, abbbab=aa⟩

φ(a) = a, φ(b) = aaaaaa

22677

⟨a, b | aba=1, abbbba=aa⟩

φ(a) = a, φ(b) = aaaaaa

22681

⟨a, b | aba=1, abbbbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

22682

⟨a, b | aba=1, abbbbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

22695

⟨a, b | aba=1, baabbb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22699

⟨a, b | aba=1, bababb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22703

⟨a, b | aba=1, babbab=aa⟩

φ(a) = a, φ(b) = aaaaaa

22707

⟨a, b | aba=1, babbbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

22708

⟨a, b | aba=1, babbbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

22710

⟨a, b | aba=1, bbaabb=aa⟩

φ(a) = a, φ(b) = aaaaaa

22714

⟨a, b | aba=1, bbabbb=ab⟩

φ(a) = a, φ(b) = aaaaaa

22715

⟨a, b | aba=1, bbabbb=ba⟩

φ(a) = a, φ(b) = aaaaaa

22719

⟨a, b | aba=1, bbbbbb=bb⟩

φ(a) = a, φ(b) = aaaaaa

22867

⟨a, b | aab=1, aaaaa=abb⟩

φ(a) = a, φ(b) = aaaaaa

22869

⟨a, b | aab=1, aaaaa=bab⟩

φ(a) = a, φ(b) = aaaaaa

22870

⟨a, b | aab=1, aaaaa=bba⟩

φ(a) = a, φ(b) = aaaaaa

22879

⟨a, b | aab=1, aaaab=bbb⟩

φ(a) = a, φ(b) = aaaaaa

22887

⟨a, b | aab=1, aaaba=bbb⟩

φ(a) = a, φ(b) = aaaaaa

22903

⟨a, b | aab=1, aabaa=bbb⟩

φ(a) = a, φ(b) = aaaaaa

22935

⟨a, b | aab=1, abaaa=bbb⟩

φ(a) = a, φ(b) = aaaaaa

22999

⟨a, b | aab=1, baaaa=bbb⟩

φ(a) = a, φ(b) = aaaaaa

23123

⟨a, b | aba=1, aaaaa=abb⟩

φ(a) = a, φ(b) = aaaaaa

23124

⟨a, b | aba=1, aaaaa=bab⟩

φ(a) = a, φ(b) = aaaaaa

23133

⟨a, b | aba=1, aaaab=bbb⟩

φ(a) = a, φ(b) = aaaaaa

23141

⟨a, b | aba=1, aaaba=bbb⟩

φ(a) = a, φ(b) = aaaaaa

23155

⟨a, b | aba=1, aabaa=bbb⟩

φ(a) = a, φ(b) = aaaaaa

23652

⟨a, b | aa=b, aaaaaaaa=1⟩

φ(a) = a, φ(b) = aa

23788

⟨a, b | ab=a, aaaaaaaa=1⟩

φ(a) = a, φ(b) = 1

25927

⟨a, b | aa=1, aaaaabbbb=1⟩

φ(a) = aaaa, φ(b) = a

25935

⟨a, b | aa=1, aaaababbb=1⟩

φ(a) = aaaa, φ(b) = a

25939

⟨a, b | aa=1, aaaabbabb=1⟩

φ(a) = aaaa, φ(b) = a

25941

⟨a, b | aa=1, aaaabbbab=1⟩

φ(a) = aaaa, φ(b) = a

25942

⟨a, b | aa=1, aaaabbbba=1⟩

φ(a) = aaaa, φ(b) = a

25950

⟨a, b | aa=1, aaabaabbb=1⟩

φ(a) = aaaa, φ(b) = a

25954

⟨a, b | aa=1, aaabababb=1⟩

φ(a) = aaaa, φ(b) = a

25956

⟨a, b | aa=1, aaababbab=1⟩

φ(a) = aaaa, φ(b) = a

25957

⟨a, b | aa=1, aaababbba=1⟩

φ(a) = aaaa, φ(b) = a

25961

⟨a, b | aa=1, aaabbaabb=1⟩

φ(a) = aaaa, φ(b) = a

25963

⟨a, b | aa=1, aaabbabab=1⟩

φ(a) = aaaa, φ(b) = a

25964

⟨a, b | aa=1, aaabbabba=1⟩

φ(a) = aaaa, φ(b) = a

25967

⟨a, b | aa=1, aaabbbaab=1⟩

φ(a) = aaaa, φ(b) = a

25968

⟨a, b | aa=1, aaabbbaba=1⟩

φ(a) = aaaa, φ(b) = a

25970

⟨a, b | aa=1, aaabbbbaa=1⟩

φ(a) = aaaa, φ(b) = a

25980

⟨a, b | aa=1, aabaaabbb=1⟩

φ(a) = aaaa, φ(b) = a

25983

⟨a, b | aa=1, aabaababb=1⟩

φ(a) = aaaa, φ(b) = a

25985

⟨a, b | aa=1, aabaabbab=1⟩

φ(a) = aaaa, φ(b) = a

25986

⟨a, b | aa=1, aabaabbba=1⟩

φ(a) = aaaa, φ(b) = a

25990

⟨a, b | aa=1, aababaabb=1⟩

φ(a) = aaaa, φ(b) = a

25992

⟨a, b | aa=1, aabababab=1⟩

φ(a) = aaaa, φ(b) = a

25993

⟨a, b | aa=1, aabababba=1⟩

φ(a) = aaaa, φ(b) = a

25995

⟨a, b | aa=1, aababbaab=1⟩

φ(a) = aaaa, φ(b) = a

25996

⟨a, b | aa=1, aababbaba=1⟩

φ(a) = aaaa, φ(b) = a

25998

⟨a, b | aa=1, aababbbaa=1⟩

φ(a) = aaaa, φ(b) = a

26004

⟨a, b | aa=1, aabbaaabb=1⟩

φ(a) = aaaa, φ(b) = a

26005

⟨a, b | aa=1, aabbaabab=1⟩

φ(a) = aaaa, φ(b) = a

26006

⟨a, b | aa=1, aabbaabba=1⟩

φ(a) = aaaa, φ(b) = a

26008

⟨a, b | aa=1, aabbabaab=1⟩

φ(a) = aaaa, φ(b) = a

26009

⟨a, b | aa=1, aabbababa=1⟩

φ(a) = aaaa, φ(b) = a

26011

⟨a, b | aa=1, aabbabbaa=1⟩

φ(a) = aaaa, φ(b) = a

26015

⟨a, b | aa=1, aabbbaaab=1⟩

φ(a) = aaaa, φ(b) = a

26016

⟨a, b | aa=1, aabbbaaba=1⟩

φ(a) = aaaa, φ(b) = a

26033

⟨a, b | aa=1, abaaaabbb=1⟩

φ(a) = aaaa, φ(b) = a

26036

⟨a, b | aa=1, abaaababb=1⟩

φ(a) = aaaa, φ(b) = a

26037

⟨a, b | aa=1, abaaabbab=1⟩

φ(a) = aaaa, φ(b) = a

26038

⟨a, b | aa=1, abaaabbba=1⟩

φ(a) = aaaa, φ(b) = a

26042

⟨a, b | aa=1, abaabaabb=1⟩

φ(a) = aaaa, φ(b) = a

26043

⟨a, b | aa=1, abaababab=1⟩

φ(a) = aaaa, φ(b) = a

26044

⟨a, b | aa=1, abaababba=1⟩

φ(a) = aaaa, φ(b) = a

26046

⟨a, b | aa=1, abaabbaab=1⟩

φ(a) = aaaa, φ(b) = a

26047

⟨a, b | aa=1, abaabbaba=1⟩

φ(a) = aaaa, φ(b) = a

26053

⟨a, b | aa=1, ababaaabb=1⟩

φ(a) = aaaa, φ(b) = a

26054

⟨a, b | aa=1, ababaabab=1⟩

φ(a) = aaaa, φ(b) = a

26055

⟨a, b | aa=1, ababaabba=1⟩

φ(a) = aaaa, φ(b) = a

26057

⟨a, b | aa=1, abababaab=1⟩

φ(a) = aaaa, φ(b) = a

26058

⟨a, b | aa=1, ababababa=1⟩

φ(a) = aaaa, φ(b) = a

26063

⟨a, b | aa=1, ababbaaab=1⟩

φ(a) = aaaa, φ(b) = a

26075

⟨a, b | aa=1, abbaaaabb=1⟩

φ(a) = aaaa, φ(b) = a

26076

⟨a, b | aa=1, abbaaabab=1⟩

φ(a) = aaaa, φ(b) = a

26077

⟨a, b | aa=1, abbaaabba=1⟩

φ(a) = aaaa, φ(b) = a

26079

⟨a, b | aa=1, abbaabaab=1⟩

φ(a) = aaaa, φ(b) = a

26084

⟨a, b | aa=1, abbabaaab=1⟩

φ(a) = aaaa, φ(b) = a

26094

⟨a, b | aa=1, abbbaaaab=1⟩

φ(a) = aaaa, φ(b) = a

26115

⟨a, b | aa=1, baaaaabbb=1⟩

φ(a) = aaaa, φ(b) = a

26117

⟨a, b | aa=1, baaaababb=1⟩

φ(a) = aaaa, φ(b) = a

26118

⟨a, b | aa=1, baaaabbab=1⟩

φ(a) = aaaa, φ(b) = a

26121

⟨a, b | aa=1, baaabaabb=1⟩

φ(a) = aaaa, φ(b) = a

26122

⟨a, b | aa=1, baaababab=1⟩

φ(a) = aaaa, φ(b) = a

26124

⟨a, b | aa=1, baaabbaab=1⟩

φ(a) = aaaa, φ(b) = a

26128

⟨a, b | aa=1, baabaaabb=1⟩

φ(a) = aaaa, φ(b) = a

26129

⟨a, b | aa=1, baabaabab=1⟩

φ(a) = aaaa, φ(b) = a

26131

⟨a, b | aa=1, baababaab=1⟩

φ(a) = aaaa, φ(b) = a

26142

⟨a, b | aa=1, babaaaabb=1⟩

φ(a) = aaaa, φ(b) = a

26143

⟨a, b | aa=1, babaaabab=1⟩

φ(a) = aaaa, φ(b) = a

26164

⟨a, b | aa=1, bbaaaaabb=1⟩

φ(a) = aaaa, φ(b) = a

26470

⟨a, b | aa=1, aaaabbbb=a⟩

φ(a) = aaaa, φ(b) = a

26484

⟨a, b | aa=1, aaababbb=a⟩

φ(a) = aaaa, φ(b) = a

26492

⟨a, b | aa=1, aaabbabb=a⟩

φ(a) = aaaa, φ(b) = a

26496

⟨a, b | aa=1, aaabbbab=a⟩

φ(a) = aaaa, φ(b) = a

26498

⟨a, b | aa=1, aaabbbba=a⟩

φ(a) = aaaa, φ(b) = a

26514

⟨a, b | aa=1, aabaabbb=a⟩

φ(a) = aaaa, φ(b) = a

26520

⟨a, b | aa=1, aabababb=a⟩

φ(a) = aaaa, φ(b) = a

26524

⟨a, b | aa=1, aababbab=a⟩

φ(a) = aaaa, φ(b) = a

26526

⟨a, b | aa=1, aababbba=a⟩

φ(a) = aaaa, φ(b) = a

26534

⟨a, b | aa=1, aabbaabb=a⟩

φ(a) = aaaa, φ(b) = a

26536

⟨a, b | aa=1, aabbabab=a⟩

φ(a) = aaaa, φ(b) = a

26538

⟨a, b | aa=1, aabbabba=a⟩

φ(a) = aaaa, φ(b) = a

26542

⟨a, b | aa=1, aabbbaab=a⟩

φ(a) = aaaa, φ(b) = a

26544

⟨a, b | aa=1, aabbbaba=a⟩

φ(a) = aaaa, φ(b) = a

26548

⟨a, b | aa=1, aabbbbaa=a⟩

φ(a) = aaaa, φ(b) = a

26566

⟨a, b | aa=1, abaaabbb=a⟩

φ(a) = aaaa, φ(b) = a

26572

⟨a, b | aa=1, abaababb=a⟩

φ(a) = aaaa, φ(b) = a

26574

⟨a, b | aa=1, abaabbab=a⟩

φ(a) = aaaa, φ(b) = a

26576

⟨a, b | aa=1, abaabbba=a⟩

φ(a) = aaaa, φ(b) = a

26582

⟨a, b | aa=1, ababaabb=a⟩

φ(a) = aaaa, φ(b) = a

26584

⟨a, b | aa=1, abababab=a⟩

φ(a) = aaaa, φ(b) = a

26586

⟨a, b | aa=1, abababba=a⟩

φ(a) = aaaa, φ(b) = a

26590

⟨a, b | aa=1, ababbaab=a⟩

φ(a) = aaaa, φ(b) = a

26592

⟨a, b | aa=1, ababbaba=a⟩

φ(a) = aaaa, φ(b) = a

26604

⟨a, b | aa=1, abbaaabb=a⟩

φ(a) = aaaa, φ(b) = a

26606

⟨a, b | aa=1, abbaabab=a⟩

φ(a) = aaaa, φ(b) = a

26608

⟨a, b | aa=1, abbaabba=a⟩

φ(a) = aaaa, φ(b) = a

26612

⟨a, b | aa=1, abbabaab=a⟩

φ(a) = aaaa, φ(b) = a

26622

⟨a, b | aa=1, abbbaaab=a⟩

φ(a) = aaaa, φ(b) = a

26646

⟨a, b | aa=1, baaaabbb=a⟩

φ(a) = aaaa, φ(b) = a

26650

⟨a, b | aa=1, baaababb=a⟩

φ(a) = aaaa, φ(b) = a

26652

⟨a, b | aa=1, baaabbab=a⟩

φ(a) = aaaa, φ(b) = a

26656

⟨a, b | aa=1, baabaabb=a⟩

φ(a) = aaaa, φ(b) = a

26658

⟨a, b | aa=1, baababab=a⟩

φ(a) = aaaa, φ(b) = a

26662

⟨a, b | aa=1, baabbaab=a⟩

φ(a) = aaaa, φ(b) = a

26670

⟨a, b | aa=1, babaaabb=a⟩

φ(a) = aaaa, φ(b) = a

26672

⟨a, b | aa=1, babaabab=a⟩

φ(a) = aaaa, φ(b) = a

26692

⟨a, b | aa=1, bbaaaabb=a⟩

φ(a) = aaaa, φ(b) = a

27026

⟨a, b | aa=1, aaabbbb=aa⟩

φ(a) = aaaa, φ(b) = a

27053

⟨a, b | aa=1, aababbb=aa⟩

φ(a) = aaaa, φ(b) = a

27065

⟨a, b | aa=1, aabbabb=aa⟩

φ(a) = aaaa, φ(b) = a

27072

⟨a, b | aa=1, aabbbab=aa⟩

φ(a) = aaaa, φ(b) = a

27076

⟨a, b | aa=1, aabbbba=aa⟩

φ(a) = aaaa, φ(b) = a

27103

⟨a, b | aa=1, abaabbb=aa⟩

φ(a) = aaaa, φ(b) = a

27114

⟨a, b | aa=1, abababb=aa⟩

φ(a) = aaaa, φ(b) = a

27118

⟨a, b | aa=1, ababbab=aa⟩

φ(a) = aaaa, φ(b) = a

27122

⟨a, b | aa=1, ababbba=aa⟩

φ(a) = aaaa, φ(b) = a

27134

⟨a, b | aa=1, abbaabb=aa⟩

φ(a) = aaaa, φ(b) = a

27138

⟨a, b | aa=1, abbabab=aa⟩

φ(a) = aaaa, φ(b) = a

27142

⟨a, b | aa=1, abbabba=aa⟩

φ(a) = aaaa, φ(b) = a

27149

⟨a, b | aa=1, abbbaab=aa⟩

φ(a) = aaaa, φ(b) = a

27179

⟨a, b | aa=1, baaabbb=aa⟩

φ(a) = aaaa, φ(b) = a

27186

⟨a, b | aa=1, baababb=aa⟩

φ(a) = aaaa, φ(b) = a

27190

⟨a, b | aa=1, baabbab=aa⟩

φ(a) = aaaa, φ(b) = a

27198

⟨a, b | aa=1, babaabb=aa⟩

φ(a) = aaaa, φ(b) = a

27202

⟨a, b | aa=1, bababab=aa⟩

φ(a) = aaaa, φ(b) = a

27220

⟨a, b | aa=1, bbaaabb=aa⟩

φ(a) = aaaa, φ(b) = a

27604

⟨a, b | aa=1, aabbbb=aaa⟩

φ(a) = aaaa, φ(b) = a

27650

⟨a, b | aa=1, ababbb=aaa⟩

φ(a) = aaaa, φ(b) = a

27666

⟨a, b | aa=1, abbabb=aaa⟩

φ(a) = aaaa, φ(b) = a

27674

⟨a, b | aa=1, abbbab=aaa⟩

φ(a) = aaaa, φ(b) = a

27682

⟨a, b | aa=1, abbbba=aaa⟩

φ(a) = aaaa, φ(b) = a

27718

⟨a, b | aa=1, baabbb=aaa⟩

φ(a) = aaaa, φ(b) = a

27726

⟨a, b | aa=1, bababb=aaa⟩

φ(a) = aaaa, φ(b) = a

27734

⟨a, b | aa=1, babbab=aaa⟩

φ(a) = aaaa, φ(b) = a

27748

⟨a, b | aa=1, bbaabb=aaa⟩

φ(a) = aaaa, φ(b) = a

28033

⟨a, b | aa=1, aaaaa=bbbb⟩

φ(a) = aaaa, φ(b) = a

28208

⟨a, b | aa=1, abbbb=aaaa⟩

φ(a) = aaaa, φ(b) = a

28260

⟨a, b | aa=1, babbb=aaaa⟩

φ(a) = aaaa, φ(b) = a

28276

⟨a, b | aa=1, bbabb=aaaa⟩

φ(a) = aaaa, φ(b) = a

order 2	1 element	a⁴
order 4	2 elements	a², a⁶
order 8	4 elements	a, a³, a⁵, a⁷

#188 ⟨a, b | aab=1, bbbb=1⟩

Contents

Properties

Commutative structure

Finite structure

Staircase diagram

Cayley table

Right Cayley graph

Rewriting system

Same cardinality

Isomorphic instances

Up:	Monoid enumeration
Prev:	#172 ⟨a, b \| aaa=1, bbbb=1⟩
Next:	#208 ⟨a, b \| aa=a, bbbb=1⟩