https://5dok.net/document/yev3ddxe-average-tree-solution-subcore-acyclic-graph-games.html