Kolmogorov_complexity loading ...