Solved with two auxiliary generators

Up:Monoid enumeration
172 unique, 756 total

Σ#PresentationPropertiesφ
Solved by magic:0:
414⟨a, b | abba=1⟩Grp Inf14
530⟨a, b | aabba=1⟩Grp Inf40
660⟨a, b | aaabba=1⟩Grp Inf19
667⟨a, b | aabbba=1⟩Grp Inf8
7131⟨a, b | aaaabba=1⟩Grp Inf11
7139⟨a, b | aaabbba=1⟩Grp Inf16
7145⟨a, b | aababba=1⟩Grp Inf44
8275⟨a, b | aaaaabba=1⟩Grp Inf7
8283⟨a, b | aaaabbba=1⟩Grp Inf7
8290⟨a, b | aaababba=1⟩Grp Inf19
8298⟨a, b | aaabbbba=1⟩Grp Inf1
8310⟨a, b | aababbba=1⟩Grp Inf2
8336⟨a, b | abbaabba=1⟩Grp Inf
9601⟨a, b | aaaaaabba=1⟩Grp Inf8
9609⟨a, b | aaaaabbba=1⟩Grp Inf3
9617⟨a, b | aaaababba=1⟩Grp Inf5
9625⟨a, b | aaaabbbba=1⟩Grp Inf3
9639⟨a, b | aaababbba=1⟩Grp Inf5
9664⟨a, b | aabaabbba=1⟩Grp Inf13
9670⟨a, b | aabababba=1⟩Grp Inf18
9672⟨a, b | aababbaba=1⟩Grp Inf10
9678⟨a, b | aabbaaabb=1⟩Grp Inf12
101281⟨a, b | aaaaaaabba=1⟩Grp Inf4
101289⟨a, b | aaaaaabbba=1⟩Grp Inf3
101297⟨a, b | aaaaababba=1⟩Grp Inf6
101305⟨a, b | aaaaabbbba=1⟩Grp Inf4
101312⟨a, b | aaaabaabba=1⟩Grp Inf14
101320⟨a, b | aaaababbba=1⟩Grp Inf6
101336⟨a, b | aaaabbbbba=1⟩Grp Inf1
101356⟨a, b | aaabababba=1⟩Grp Inf5
101360⟨a, b | aaababbaba=1⟩Grp Inf3
101364⟨a, b | aaababbbba=1⟩Grp Inf3
101370⟨a, b | aaabbaabba=1⟩Grp Inf4
101377⟨a, b | aaabbabbba=1⟩Grp Inf6
101408⟨a, b | aabaababba=1⟩Grp Inf5
101419⟨a, b | aababaabba=1⟩Grp Inf5
101425⟨a, b | aabababbba=1⟩Grp Inf2
101433⟨a, b | aababbbaba=1⟩Grp Inf1
101441⟨a, b | aabbaaabba=1⟩Grp Inf1
101446⟨a, b | aabbaabbba=1⟩Grp Inf3
101451⟨a, b | aabbababba=1⟩Grp Inf4
112783⟨a, b | aaaaaaaabba=1⟩Grp Inf4
112791⟨a, b | aaaaaaabbba=1⟩Grp Inf4
112799⟨a, b | aaaaaababba=1⟩Grp Inf7
112807⟨a, b | aaaaaabbbba=1⟩Grp Inf4
112815⟨a, b | aaaaabaabba=1⟩Grp Inf7
112823⟨a, b | aaaaababbba=1⟩Grp Inf7
112839⟨a, b | aaaaabbbbba=1⟩Grp Inf4
112853⟨a, b | aaaabaabbba=1⟩Grp Inf7
112861⟨a, b | aaaabababba=1⟩Grp Inf6
112865⟨a, b | aaaababbaba=1⟩Grp Inf3
112869⟨a, b | aaaababbbba=1⟩Grp Inf7
112883⟨a, b | aaaabbabbba=1⟩Grp Inf7
112912⟨a, b | aaabaaabbba=1⟩Grp Inf7
112932⟨a, b | aaababaabba=1⟩Grp Inf6
112949⟨a, b | aaababbbaba=1⟩Grp Inf3
112956⟨a, b | aaabbaaaabb=1⟩Grp Inf4
112972⟨a, b | aaabbababba=1⟩Grp Inf3
112982⟨a, b | aaabbbaaabb=1⟩Grp Inf4
113062⟨a, b | aababaabbba=1⟩Grp Inf6
113068⟨a, b | aababababba=1⟩Grp Inf5
113070⟨a, b | aabababbaba=1⟩Grp Inf5
Solved by magic:1:
101350⟨a, b | aaabaabbba=1⟩Grp Inf6
101431⟨a, b | aababbabba=1⟩Grp Inf6
112926⟨a, b | aaabaabbbba=1⟩Grp Inf7
112940⟨a, b | aaabababbba=1⟩Grp Inf6
112946⟨a, b | aaababbabba=1⟩Grp Inf7
112966⟨a, b | aaabbaabbba=1⟩Grp Inf7
113040⟨a, b | aabaababbba=1⟩Grp Inf6
113048⟨a, b | aabaabbbaba=1⟩Grp Inf6
113078⟨a, b | aababbaabba=1⟩Grp Inf6
Solved by morph:2/0,2/0:
91204⟨a, b | aabaa=baab⟩Can Inf
102057⟨a, b | abababba=ab⟩Noc Inf
115550⟨a, b | aaabaa=baaab⟩Can Inf
Solved by morph:2/0,3/0:
671⟨a, b | ababba=1⟩Grp Inf7
8331⟨a, b | abababba=1⟩Grp Inf1
8333⟨a, b | ababbaba=1⟩Grp Inf1
101808⟨a, b | abbabaaab=b⟩Noc Inf
102257⟨a, b | aabbaab=baa⟩Can Inf
102333⟨a, b | abababa=bab⟩Can Inf
102609⟨a, b | ababba=baba⟩Noc Inf
113813⟨a, b | abbabaaaab=b⟩Noc Inf
Solved by morph:2/0,4/0:
9645⟨a, b | aaabbabba=1⟩Grp Inf8
101515⟨a, b | abababbaba=1⟩Grp Inf2
101519⟨a, b | ababbaabba=1⟩Grp Inf2
114297⟨a, b | abababaab=ba⟩Can Inf
114683⟨a, b | aabbaaab=baa⟩Can Inf
114717⟨a, b | aabbbaab=aba⟩Noc Inf
115655⟨a, b | aabaab=ababa⟩Noc Inf
115867⟨a, b | ababab=aabba⟩Noc Inf
Solved by morph:2/0,5/0:
101513⟨a, b | ababababba=1⟩Grp Inf2
113783⟨a, b | ababbabaab=a⟩Noc Inf
Solved by morph:3/0,2/0:
8315⟨a, b | aabbabba=1⟩Grp Inf2
101991⟨a, b | aabbaabb=ba⟩Can Inf
Solved by morph:3/0,3/0:
91115⟨a, b | abaaba=bab⟩Can Inf
101378⟨a, b | aaabbbaaab=1⟩Grp Inf3
102203⟨a, b | aaabbba=baa⟩Noc Inf
114795⟨a, b | abaababa=baa⟩Noc Inf
Solved by morph:3/0,4/0:
9631⟨a, b | aaabaabba=1⟩Grp Inf5
112875⟨a, b | aaaabbaabba=1⟩Grp Inf4
112991⟨a, b | aaabbbabbba=1⟩Grp Inf4
Solved by morph:3/0,5/0:
112831⟨a, b | aaaaabbabba=1⟩Grp Inf4
114359⟨a, b | abbbbbbba=ab⟩Noc Inf
115374⟨a, b | ababbba=baab⟩Can Inf
Solved by morph:4/0,2/0:
102300⟨a, b | abaaaba=aab⟩Noc Inf
102624⟨a, b | abbaab=bbaa⟩Can Inf
114173⟨a, b | aabbabaab=ba⟩Can Inf
114208⟨a, b | aabbbbaab=ba⟩Can Inf
Solved by morph:4/0,3/0:
101328⟨a, b | aaaabbabba=1⟩Grp Inf3
114585⟨a, b | aaabbbba=baa⟩Noc Inf
Solved by morph:4/0,4/0:
114153⟨a, b | aabbaaaab=ba⟩Can Inf
Solved by morph:4/0,5/0:
114285⟨a, b | ababaaaab=ba⟩Can Inf
115855⟨a, b | abaaba=baaab⟩Can Inf
Solved by morph:5/0,2/0:
101719⟨a, b | aabbabaab=a⟩Noc Inf
114289⟨a, b | ababaabab=ba⟩Can Inf
Solved by morph:5/0,3/0:
91249⟨a, b | abaab=baba⟩Can Inf
114192⟨a, b | aabbbaaab=ba⟩Can Inf
Solved by morph:5/0,4/0:
101410⟨a, b | aabaabbaba=1⟩Grp Inf5
112922⟨a, b | aaabaabbaba=1⟩Grp Inf6
Solved by morph:6/0,2/0:
113800⟨a, b | abbaaaabba=b⟩Can Inf
Solved by morph:6/0,3/0:
115166⟨a, b | aababaa=aaab⟩Noc Inf
Solved by morph:6/0,4/0:
112918⟨a, b | aaabaababba=1⟩Grp Inf6
Solved by morph:6/0,5/0:
113046⟨a, b | aabaabbabba=1⟩Grp Inf7
Solved by morph:2/0,2/1:
113671⟨a, b | aabbbabaab=a⟩Noc Inf
Solved by morph:2/0,4/1:
101804⟨a, b | abbaabaab=b⟩Noc Inf
Solved by morph:2/0,5/1:
114869⟨a, b | abbabaab=aba⟩Noc Inf
Solved by morph:2/1,2/0:
7267⟨a, b | abba=bab⟩Can Inf
Solved by morph:2/1,3/0:
91053⟨a, b | aaabba=baa⟩Noc Inf
102141⟨a, b | aaaabba=baa⟩Noc Inf
114411⟨a, b | aaaaabba=baa⟩Noc Inf
Solved by morph:2/1,3/1:
114268⟨a, b | abaababba=ab⟩Noc Inf
114876⟨a, b | abbabbba=bab⟩Can Inf
Solved by morph:2/1,4/0:
114719⟨a, b | aabbbaab=baa⟩Can Inf
114762⟨a, b | abaaaaba=aab⟩Noc Inf
Solved by morph:2/1,4/1:
102617⟨a, b | abbaab=aaba⟩Noc Inf
Solved by morph:2/1,5/1:
114527⟨a, b | aaababba=baa⟩Noc Inf
114631⟨a, b | aabaabba=baa⟩Noc Inf
Solved by morph:3/1,3/0:
91073⟨a, b | aababa=baa⟩Noc Inf
114161⟨a, b | aabbaaabb=ba⟩Can Inf
114475⟨a, b | aaaabbba=baa⟩Noc Inf
Solved by morph:3/1,4/0:
113728⟨a, b | abaabaaaab=a⟩Noc Inf
Solved by morph:4/1,3/0:
102265⟨a, b | aabbaba=baa⟩Noc Inf
115349⟨a, b | ababaab=baba⟩Can Inf
Solved by morph:4/1,3/1:
113643⟨a, b | aabbabaaab=a⟩Noc Inf
Solved by morph:4/1,4/0:
114779⟨a, b | abaaabba=baa⟩Noc Inf
Solved by morph:5/1,2/0:
102073⟨a, b | abbaaaab=ba⟩Can Inf
Solved by morph:5/1,2/1:
102528⟨a, b | aabbaa=baab⟩Can Inf
Solved by morph:5/1,3/0:
102317⟨a, b | abaabba=baa⟩Noc Inf
114647⟨a, b | aabababa=baa⟩Noc Inf
Solved by morph:6/1,2/0:
113814⟨a, b | abbababaab=a⟩Noc Inf
114327⟨a, b | abbaaaaab=ba⟩Can Inf
Solved by morph:6/1,3/1:
114807⟨a, b | abaabbba=baa⟩Noc Inf
115401⟨a, b | abbabba=abab⟩Noc Inf
Solved by morph:6/1,4/0:
9861⟨a, b | abbabaab=a⟩Noc Inf
Solved by morph:2/0,2/2:
102623⟨a, b | abbaab=baba⟩Can Inf
Solved by morph:2/0,3/2:
114816⟨a, b | ababaaab=bab⟩Noc Inf
Solved by morph:2/2,2/1:
101983⟨a, b | aabbaaab=ba⟩Can Inf
Solved by morph:3/0,5/2:
115383⟨a, b | abbaaab=aaba⟩Noc Inf
Solved by morph:3/2,3/0:
115913⟨a, b | abbaab=aabaa⟩Noc Inf
Solved by morph:3/2,4/1:
91262⟨a, b | ababa=baab⟩Can Inf
Solved by morph:3/2,5/1:
115077⟨a, b | aaabbaa=baaa⟩Noc Inf
Solved by morph:4/0,2/2:
102595⟨a, b | ababab=abba⟩Noc Inf
Solved by morph:5/2,3/0:
114353⟨a, b | abbbaaaab=ba⟩Can Inf
Solved by morph:3/1,3/3:
115341⟨a, b | ababaab=aaba⟩Noc Inf
Solved by morph:3/3,3/0:
102565⟨a, b | abaaab=aaba⟩Noc Inf
Solved by morph:4/3,3/0:
102087⟨a, b | abbbaaab=ba⟩Can Inf
Solved by morph:5/3,3/1:
102675⟨a, b | abaab=aabba⟩Noc Inf
Solved by morph:5/3,4/2:
114340⟨a, b | abbabaaab=aa⟩Noc Inf
Solved by morph:6/1,4/3:
114727⟨a, b | aabbbaba=baa⟩Noc Inf
Solved by morph:6/2,3/3:
115141⟨a, b | aabaaba=baaa⟩Noc Inf
Solved by morph:4/2,2/4:
9995⟨a, b | abbaaab=ba⟩Can Inf
Solved by morph:3/1,2/5:
114334⟨a, b | abbaabaab=ba⟩Can Inf