You are reporting the paste Lexicographic rule linear programming example.