Title: A Lexicographically implicit enumeration algorithm for the binary knapsack problem