Highly_composite_number loading ...