Highly_abundant_number loading ...