【翻译】UVA1377 Ruler

给出n个距离di，设计一把有m个刻度的尺子，使得每个di都可以直接量出来（即存在两个刻度之间的距离恰好为di）。要求在m尽可能小的前提下尺子总长度尽量短。

输入：

多组数据。

每一组数据以n（1<=n<=50）开头，第二行包含n个整数di（1<=di<=1,000,000)，含义如上所述。

输入结束标志为n=0.

注意，数据保证m<=7.

译者注：“尺子总长度尽量短”并不能确保答案唯一，但是此题似乎有SPJ