Clifford_group loading ...