Erdős–Nicolas_number loading ...