 Mian–Chowla sequence

In mathematics, the Mian–Chowla sequence is an integer sequence defined
recursively in the following way.The sequence starts with

Then for formula_2, formula_3 is the smallest integer such that every pairwise sum

is distinct, for all formula_5 and formula_6 less than or equal to formula_7.