Four Color Theorem Sourcetree