Congruent_number loading ...