Four_color_problem loading ...