[math-fun] Encoding sorted lists with duplicates