https://123dok.net/document/yd7v97ey-gross-conjecture-for-extensions-ramified-over-four-points-of-mathbb-p-1.html