The round functions of cryptosystem PGM generate the symmetric group