Quadratic_residuosity_problem loading ...