Andrews-Curtis groups (Groups, Complexity, Cryptology, 2025)