| Σ | # | Presentation | Description | Related |
| 10 | 4195 | ⟨a, b | bab=abb, bbb=b⟩ | Infinite non-commutative monoid | |
| 10 | 4653 | ⟨a, b | aaab=a, abaa=a⟩ | Infinite non-commutative monoid | 3 iso |
| 10 | 4739 | ⟨a, b | aabb=a, bbaa=a⟩ | Infinite non-commutative monoid | 2 iso |
| 10 | 6248 | ⟨a, b | aaa=a, aabab=a⟩ | Infinite non-commutative monoid | 1 iso |
| 10 | 6436 | ⟨a, b | aab=b, bbabb=a⟩ | Infinite non-commutative monoid | |
| 10 | 6534 | ⟨a, b | aaa=a, aaba=ab⟩ | Infinite non-commutative monoid | |
| 10 | 6556 | ⟨a, b | aaa=a, babb=ab⟩ | Infinite non-commutative monoid | |
| 10 | 9145 | ⟨a, b | aa=a, abab=abb⟩ | Infinite non-commutative monoid | 3 iso |
| 10 | 9147 | ⟨a, b | aa=a, abab=bab⟩ | Infinite non-commutative monoid | 3 iso |
| 10 | 9154 | ⟨a, b | aa=a, abba=bab⟩ | Infinite non-commutative monoid | 2 iso |
| 10 | 9785 | ⟨a, b | aa=1, babbbab=b⟩ | Infinite non-commutative monoid | 1 iso |
| 11 | 12454 | ⟨a, b | aabb=ab, abaa=a⟩ | Infinite non-commutative monoid | |
| 11 | 12635 | ⟨a, b | babb=ab, bbbb=b⟩ | Infinite non-commutative monoid | |
| 11 | 12932 | ⟨a, b | aba=aab, aaaa=a⟩ | Infinite non-commutative monoid | |
| 11 | 13164 | ⟨a, b | aba=aab, baa=ba⟩ | Infinite non-commutative monoid | |
| 11 | 13243 | ⟨a, b | baa=abb, bbb=bb⟩ | Infinite non-commutative monoid | |
| 11 | 13265 | ⟨a, b | bab=abb, bbb=bb⟩ | Infinite non-commutative monoid | |
| 11 | 14339 | ⟨a, b | aaaa=a, aabab=a⟩ | Infinite non-commutative monoid | |
| 11 | 16056 | ⟨a, b | aaa=bb, aabb=aa⟩ | Infinite non-commutative monoid | 1 iso |
| 11 | 16162 | ⟨a, b | aab=ab, abaa=ab⟩ | Infinite non-commutative monoid | |
| 11 | 16324 | ⟨a, b | aab=bb, bbaa=bb⟩ | Infinite non-commutative monoid | |
| 11 | 19155 | ⟨a, b | aba=a, bbaabb=b⟩ | Infinite non-commutative monoid | |
| 11 | 19248 | ⟨a, b | aaa=a, aabaa=ab⟩ | Infinite non-commutative monoid | |
| 11 | 19794 | ⟨a, b | aaa=a, aaba=baa⟩ | Infinite non-commutative monoid | |
| 11 | 19803 | ⟨a, b | aaa=a, aabb=bab⟩ | Infinite non-commutative monoid | |
| 11 | 19809 | ⟨a, b | aaa=a, abab=abb⟩ | Infinite non-commutative monoid | |
| 11 | 19811 | ⟨a, b | aaa=a, abab=bab⟩ | Infinite non-commutative monoid | |
| 11 | 19818 | ⟨a, b | aaa=a, abba=bab⟩ | Infinite non-commutative monoid | |
| 11 | 20133 | ⟨a, b | aab=b, baba=bab⟩ | Infinite non-commutative monoid | |
| 11 | 21777 | ⟨a, b | aaa=1, babbbab=b⟩ | Infinite non-commutative monoid | 1 iso |
| 11 | 22785 | ⟨a, b | aaa=1, abaab=bab⟩ | Infinite non-commutative monoid | |
| 11 | 23314 | ⟨a, b | aaa=1, babb=baba⟩ | Infinite non-commutative monoid | |
| 11 | 24173 | ⟨a, b | aa=a, babbbab=b⟩ | Infinite non-commutative monoid | 1 iso |
| 11 | 25188 | ⟨a, b | aa=a, ababa=bab⟩ | Infinite non-commutative monoid | |
| 11 | 27156 | ⟨a, b | aa=1, abbbabb=bb⟩ | Infinite non-commutative monoid | |
| 11 | 27760 | ⟨a, b | aa=1, bbabbb=bba⟩ | Infinite non-commutative monoid | |
| 11 | 28284 | ⟨a, b | aa=1, bbabb=babb⟩ | Infinite non-commutative monoid | |
| Σ | # | Presentation | Description | Related |
| 8 | 960 | ⟨a, b | aa=a, aba=ab⟩ | Infinite non-commutative monoid | 13 iso |
| 9 | 1697 | ⟨a, b | bab=ab, bbb=b⟩ | Infinite non-commutative monoid | |
| 9 | 3009 | ⟨a, b | aa=a, aaba=ba⟩ | Infinite non-commutative monoid | 5 iso |
| 10 | 4626 | ⟨a, b | aaaa=a, baab=a⟩ | Infinite non-commutative monoid | |
| 10 | 5242 | ⟨a, b | aba=ab, aaaa=a⟩ | Infinite non-commutative monoid | |
| 10 | 5293 | ⟨a, b | aba=bb, bbbb=b⟩ | Infinite non-commutative monoid | 2 iso |
| 10 | 5299 | ⟨a, b | aaa=aa, aba=ab⟩ | Infinite non-commutative monoid | |
| 10 | 5374 | ⟨a, b | aab=ab, aba=ab⟩ | Infinite non-commutative monoid | 3 iso |
| 10 | 5375 | ⟨a, b | aab=ab, aba=ba⟩ | Infinite non-commutative monoid | 1 iso |
| 10 | 6535 | ⟨a, b | aaa=a, aaba=ba⟩ | Infinite non-commutative monoid | |
| 10 | 9153 | ⟨a, b | aa=a, abba=abb⟩ | Infinite non-commutative monoid | 2 iso, 1 anti-iso |
| 10 | 9749 | ⟨a, b | aa=1, abbabbb=b⟩ | Infinite non-commutative monoid | 1 iso |
| 11 | 11025 | ⟨a, b | abba=aab, bbbb=1⟩ | Infinite non-commutative monoid | |
| 11 | 12637 | ⟨a, b | babb=ba, bbbb=b⟩ | Infinite non-commutative monoid | |
| 11 | 14585 | ⟨a, b | aaba=a, bbaaa=a⟩ | Infinite non-commutative monoid | |
| 11 | 15841 | ⟨a, b | aba=ab, aaaaa=a⟩ | Infinite non-commutative monoid | |
| 11 | 15953 | ⟨a, b | aaa=aa, aaba=ab⟩ | Infinite non-commutative monoid | |
| 11 | 15954 | ⟨a, b | aaa=aa, aaba=ba⟩ | Infinite non-commutative monoid | |
| 11 | 16163 | ⟨a, b | aab=ab, abaa=ba⟩ | Infinite non-commutative monoid | |
| 11 | 16373 | ⟨a, b | aba=ab, aaaa=aa⟩ | Infinite non-commutative monoid | |
| 11 | 16378 | ⟨a, b | aba=ab, aaab=ab⟩ | Infinite non-commutative monoid | |
| 11 | 16390 | ⟨a, b | aba=ab, abaa=ab⟩ | Infinite non-commutative monoid | |
| 11 | 16407 | ⟨a, b | aba=ab, baaa=ba⟩ | Infinite non-commutative monoid | |
| 11 | 16544 | ⟨a, b | aba=ba, baa=aba⟩ | Infinite non-commutative monoid | |
| 11 | 19240 | ⟨a, b | aaa=a, aaaba=ab⟩ | Infinite non-commutative monoid | 2 iso |
| 11 | 19241 | ⟨a, b | aaa=a, aaaba=ba⟩ | Infinite non-commutative monoid | |
| 11 | 19817 | ⟨a, b | aaa=a, abba=abb⟩ | Infinite non-commutative monoid | |
| 11 | 20217 | ⟨a, b | aba=a, abba=abb⟩ | Infinite non-commutative monoid | |
| 11 | 25187 | ⟨a, b | aa=a, ababa=abb⟩ | Infinite non-commutative monoid | |
| 11 | 25209 | ⟨a, b | aa=a, abbba=abb⟩ | Infinite non-commutative monoid | |
| 11 | 25678 | ⟨a, b | aa=a, abba=abab⟩ | Infinite non-commutative monoid | |
| 11 | 25698 | ⟨a, b | aa=a, baba=abab⟩ | Infinite non-commutative monoid | |
| Σ | # | Presentation | Description | Related |
| 11 | 19831 | ⟨a, b | aaa=a, baab=abb⟩ | Infinite non-commutative monoid | |
| 11 | 22287 | ⟨a, b | aaa=1, abbbba=bb⟩ | Infinite non-commutative monoid | |
| 11 | 22855 | ⟨a, b | aaa=1, bbabb=abb⟩ | Infinite non-commutative monoid | |
| 11 | 23326 | ⟨a, b | aaa=1, bbbb=abba⟩ | Infinite non-commutative monoid | |
| 11 | 26689 | ⟨a, b | aa=1, babbbbab=b⟩ | Infinite non-commutative monoid | 1 iso |
| 11 | 27144 | ⟨a, b | aa=1, abbabba=bb⟩ | Infinite non-commutative monoid | 2 iso |