[math-fun] 3-coloring the rationals