Bảng Điểm

Một bảng điện tử hiển thị $n$ chữ số. Mỗi chữ số được tạo thành từ $7$ thanh sáng (segment), giống như đồng hồ điện tử. Cách biểu diễn $10$ chữ số từ $0$ đến $9$ bằng $7$ thanh được mã hoá thành xâu nhị phân độ dài $7$ như sau (vị trí $i$ là $1$ nếu thanh thứ $i$ đang sáng, $0$ nếu tắt):

• $0$: 1110111
• $1$: 0010010
• $2$: 1011101
• $3$: 1011011
• $4$: 0111010
• $5$: 1101011
• $6$: 1101111
• $7$: 1010010
• $8$: 1111111
• $9$: 1111011

Hiện tại, tại mỗi vị trí ta đã biết các thanh nào đang sáng. Cho trước số $k$, hãy bật đúng $k$ thanh đang tắt (không được tắt thanh nào đang sáng) sao cho sau khi bật, mỗi vị trí đều tạo thành đúng một chữ số hợp lệ từ $0$ đến $9$, và số tạo thành (đọc từ trái sang phải) là lớn nhất có thể. Số được phép có chữ số $0$ ở đầu.

Nếu không tồn tại cách bật đúng $k$ thanh để mọi vị trí đều hiện một chữ số hợp lệ, in ra $-1$.

Dữ liệu vào

• Dòng đầu chứa hai số nguyên $n$ và $k$.
• $n$ dòng tiếp theo, dòng thứ $i$ chứa xâu nhị phân độ dài $7$ mô tả trạng thái hiện tại của vị trí thứ $i$.

Dữ liệu ra

• In ra một xâu gồm $n$ chữ số — số lớn nhất có thể đạt được, hoặc $-1$ nếu không có cách nào.

Ràng buộc

• $1\le n\le 2000$
• $0\le k\le 2000$
• Mỗi dòng mô tả vị trí là xâu nhị phân độ dài đúng $7$.

Ví dụ