kolmogorov.py