Tích giai thừa các chữ số

Với mỗi số nguyên dương $x$, định nghĩa $F(x)$ là tích giai thừa của các chữ số của $x$. Ví dụ $F(135)=1!·3!·5!=1·6·120=720$.

Cho một số $a$ gồm $n$ chữ số. Số $a$ có thể có các chữ số $0$ ở đầu, và chắc chắn có ít nhất một chữ số lớn hơn $1$.

Hãy tìm số nguyên dương $x$ lớn nhất thỏa mãn đồng thời hai điều kiện:

1. Biểu diễn thập phân của $x$ không chứa chữ số $0$ và không chứa chữ số $1$.
2. $F(x)=F(a)$.

Dữ liệu đảm bảo luôn tồn tại ít nhất một số $x$ như vậy.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ là số chữ số của $a$.
• Dòng thứ hai chứa $n$ chữ số của $a$ (có thể có chữ số $0$ ở đầu).

Dữ liệu ra

In ra số nguyên $x$ lớn nhất thỏa mãn các điều kiện trên.

Ràng buộc

• $1\le n\le 15$
• $a$ có ít nhất một chữ số lớn hơn $1$

Ví dụ