Cirpons, R., Edwards, J., & Mitchell, J. (2025). libsemigroups (Version 3.1.3) [Computer software]. https://github.com/libsemigroups/libsemigroups