Re: [math-fun] Golomb rulers and 492116