Dihedral_prime loading ...