Four_color_theorem loading ...