Algorithmic_information_theory loading ...