Four_Color_Theorem loading ...