Strong_perfect_graph_theorem loading ...