[math-fun] Golomb rulers