Champin, C., & Mimram, S. Delooping generated groups [Computer software]. https://github.com/camilchp/generated-deloopings