RE: [math-fun] Golomb rulers