https://9dok.net/document/yj753w8m-three-vertex-disjoint-paths.html