feasible golomb ruler

Input n, generate list { m 0 , m 1 , ..., m n-1 }. The program provides a small set of supported commands, which the user can apply to modify such these marks { m 0 , m 1 , ..., m n-1 }.