For the correctness of the reduction we follow the arguments given
in [1]}. However, we use \(K_5\)  instead of \(K_6\)  as a
fat edge, and sector triangles and satellites at distance two from
the center of each splitter.
