Quartic_reciprocity loading ...