The Four Color Theorem with Near-Linear Time Coloring · HackerTrans