https://9dok.net/document/z3d26j8m-statistical-el-is-exptime-complete.html