Planar_separator_theorem loading ...