Power_residue_symbol loading ...