Four Color Theorem Proof Computer