Symmetric_group loading ...