https://9dok.net/document/zpn7lrer-dedalo-detector-stationary-distributions-ab-large-scenario.html