[math-fun] Dense unit distance graphs.