Lexicographic_optimization loading ...