[math-fun] Golomb rulers and 492116

I thought I would share that Gil Dogon and I, inspired by an Al Zimmermann programming contest, went ahead and calculated subquadratic Golomb rulers as reasonably far as we could. We were able to find subquadratic rulers through 492115 marks. At 492116 marks, none of the known (to us) constructions led to a subquadratic ruler. Is it possible that no subquadratic Golomb ruler exists at 492116 marks? Or is it more likely that one exists, and if so, is it something that we will ever explicitly know? -- -- http://cube20.org/ -- [ <http://golly.sf.net/>Golly link suppressed; ask me why] --