https://123dok.net/document/qmj50md7-logical-depth-function-running-time-shortest-programs.html