Four-color_theorem loading ...