Highly_cototient_number loading ...