Four Color Theorem Source Definition