Solved with one auxiliary generator

Up:Monoid enumeration
105 unique, 224 total

Σ#PresentationPropertiesφ
Solved by morph:2/0:
8485⟨a, b | aabb=1, abba=1⟩Grp Inf14
104195⟨a, b | bab=abb, bbb=b⟩Noc Inf
104653⟨a, b | aaab=a, abaa=a⟩Noc Inf3
104739⟨a, b | aabb=a, bbaa=a⟩Noc Inf2
105730⟨a, b | aaaa=1, bbabb=a⟩Grp Inf
106248⟨a, b | aaa=a, aabab=a⟩Noc Inf1
106534⟨a, b | aaa=a, aaba=ab⟩Noc Inf
106556⟨a, b | aaa=a, babb=ab⟩Noc Inf
107546⟨a, b | aaa=1, bbaabb=a⟩Grp Inf3
109145⟨a, b | aa=a, abab=abb⟩Noc Inf3
109147⟨a, b | aa=a, abab=bab⟩Noc Inf3
109154⟨a, b | aa=a, abba=bab⟩Noc Inf2
109785⟨a, b | aa=1, babbbab=b⟩Noc Inf1
1112454⟨a, b | aabb=ab, abaa=a⟩Noc Inf
1112635⟨a, b | babb=ab, bbbb=b⟩Noc Inf
1112932⟨a, b | aba=aab, aaaa=a⟩Noc Inf
1113164⟨a, b | aba=aab, baa=ba⟩Noc Inf
1113243⟨a, b | baa=abb, bbb=bb⟩Noc Inf
1113265⟨a, b | bab=abb, bbb=bb⟩Noc Inf
1114339⟨a, b | aaaa=a, aabab=a⟩Noc Inf
1116056⟨a, b | aaa=bb, aabb=aa⟩Noc Inf1
1116162⟨a, b | aab=ab, abaa=ab⟩Noc Inf
1116324⟨a, b | aab=bb, bbaa=bb⟩Noc Inf
1119155⟨a, b | aba=a, bbaabb=b⟩Noc Inf
1119248⟨a, b | aaa=a, aabaa=ab⟩Noc Inf
1119794⟨a, b | aaa=a, aaba=baa⟩Noc Inf
1119803⟨a, b | aaa=a, aabb=bab⟩Noc Inf
1119809⟨a, b | aaa=a, abab=abb⟩Noc Inf
1119811⟨a, b | aaa=a, abab=bab⟩Noc Inf
1119818⟨a, b | aaa=a, abba=bab⟩Noc Inf
1120133⟨a, b | aab=b, baba=bab⟩Noc Inf
1121777⟨a, b | aaa=1, babbbab=b⟩Noc Inf1
1122785⟨a, b | aaa=1, abaab=bab⟩Noc Inf
1123314⟨a, b | aaa=1, babb=baba⟩Noc Inf
1124173⟨a, b | aa=a, babbbab=b⟩Noc Inf1
1125188⟨a, b | aa=a, ababa=bab⟩Noc Inf
1127156⟨a, b | aa=1, abbbabb=bb⟩Noc Inf
1127760⟨a, b | aa=1, bbabbb=bba⟩Noc Inf
1128284⟨a, b | aa=1, bbabb=babb⟩Noc Inf
Solved by morph:3/0:
81046⟨a, b | aa=1, abbabb=1⟩Grp Inf24
104084⟨a, b | baa=aab, abab=1⟩Grp Inf1
104275⟨a, b | aaabb=1, aabba=1⟩Grp Inf8
106436⟨a, b | aab=b, bbabb=a⟩Noc Inf
109749⟨a, b | aa=1, abbabbb=b⟩Noc Inf1
1010016⟨a, b | aa=1, abbabb=bb⟩Noc Inf1
1111025⟨a, b | abba=aab, bbbb=1⟩Noc Inf
1114585⟨a, b | aaba=a, bbaaa=a⟩Noc Inf
1116536⟨a, b | aba=ab, baa=aab⟩Noc Inf
1119831⟨a, b | aaa=a, baab=abb⟩Noc Inf
1122256⟨a, b | aaa=1, abaaba=bb⟩Mon Inf
1122287⟨a, b | aaa=1, abbbba=bb⟩Noc Inf
1122792⟨a, b | aaa=1, ababa=bab⟩Mon Inf
1122855⟨a, b | aaa=1, bbabb=abb⟩Noc Inf
1125187⟨a, b | aa=a, ababa=abb⟩Noc Inf
1125251⟨a, b | aa=a, bbabb=abb⟩Noc Inf
1125698⟨a, b | aa=a, baba=abab⟩Noc Inf
1126090⟨a, b | aa=1, abbabbabb=1⟩Grp Inf2
1126689⟨a, b | aa=1, babbbbab=b⟩Noc Inf1
1127144⟨a, b | aa=1, abbabba=bb⟩Noc Inf2
1128258⟨a, b | aa=1, babab=babb⟩Noc Inf
Solved by morph:4/0:
107791⟨a, b | aaa=1, ababb=ba⟩Noc Inf3
Solved by morph:5/0:
105903⟨a, b | abab=1, aabaa=b⟩Grp Inf
109478⟨a, b | aa=1, abbbabbb=1⟩Grp Inf2
1123326⟨a, b | aaa=1, bbbb=abba⟩Noc Inf
Solved by morph:13/0:
1111590⟨a, b | baaab=a, bbbbb=1⟩Noc Inf1
Solved by morph:2/1:
8960⟨a, b | aa=a, aba=ab⟩Noc Inf13
91697⟨a, b | bab=ab, bbb=b⟩Noc Inf
93009⟨a, b | aa=a, aaba=ba⟩Noc Inf5
104626⟨a, b | aaaa=a, baab=a⟩Noc Inf
105242⟨a, b | aba=ab, aaaa=a⟩Noc Inf
105293⟨a, b | aba=bb, bbbb=b⟩Noc Inf2
105374⟨a, b | aab=ab, aba=ab⟩Noc Inf3
105375⟨a, b | aab=ab, aba=ba⟩Noc Inf1
106535⟨a, b | aaa=a, aaba=ba⟩Noc Inf
109153⟨a, b | aa=a, abba=abb⟩Noc Inf3
1112637⟨a, b | babb=ba, bbbb=b⟩Noc Inf
1115841⟨a, b | aba=ab, aaaaa=a⟩Noc Inf
1115953⟨a, b | aaa=aa, aaba=ab⟩Noc Inf
1116163⟨a, b | aab=ab, abaa=ba⟩Noc Inf
1116378⟨a, b | aba=ab, aaab=ab⟩Noc Inf
1116390⟨a, b | aba=ab, abaa=ab⟩Noc Inf
1116407⟨a, b | aba=ab, baaa=ba⟩Noc Inf
1116544⟨a, b | aba=ba, baa=aba⟩Noc Inf
1119240⟨a, b | aaa=a, aaaba=ab⟩Noc Inf2
1119241⟨a, b | aaa=a, aaaba=ba⟩Noc Inf
1119817⟨a, b | aaa=a, abba=abb⟩Noc Inf
1120217⟨a, b | aba=a, abba=abb⟩Noc Inf
1125209⟨a, b | aa=a, abbba=abb⟩Noc Inf
1125678⟨a, b | aa=a, abba=abab⟩Noc Inf
Solved by morph:3/1:
8569⟨a, b | aaa=a, bab=a⟩Noc Inf8
104199⟨a, b | bba=abb, bbb=b⟩Noc Inf
105299⟨a, b | aaa=aa, aba=ab⟩Noc Inf
106270⟨a, b | aaa=a, babab=a⟩Noc Inf
106274⟨a, b | aaa=a, bbabb=a⟩Noc Inf
106342⟨a, b | aab=a, abbaa=a⟩Noc Inf1
106525⟨a, b | aba=b, bbbbb=b⟩Noc Inf
106624⟨a, b | aab=a, abba=ba⟩Noc Inf
106746⟨a, b | aba=a, abba=ab⟩Noc Inf
1113272⟨a, b | bba=abb, bbb=bb⟩Noc Inf
1115954⟨a, b | aaa=aa, aaba=ba⟩Noc Inf
1116373⟨a, b | aba=ab, aaaa=aa⟩Noc Inf
1125201⟨a, b | aa=a, abbab=abb⟩Noc Inf
Solved by morph:5/1:
106828⟨a, b | aba=a, baa=aab⟩Noc Inf
Solved by morph:7/1:
1113054⟨a, b | baa=aab, abba=a⟩Noc Inf
Solved by custom:0:
1122271⟨a, b | aaa=1, ababbb=ba⟩Noc 336