Stickers

Bài tập thủ công của Nam là dùng các sticker để tạo thành một dãy số $S$ theo một ý nghĩa nào đó. Mỗi sticker là $1$ chữ số có giá trị từ $0$ đến $9$. Có $10$ loại sticker tương ứng với $10$ chữ số $0,1,2,\dots ,9$, được vẽ theo kiểu chữ số trên đồng hồ điện tử (mỗi chữ số ghép từ các vạch thẳng).

Để tiết kiệm, Nam không mua mới mà thu nhặt các sticker từ anh trai để lại. Trong quá trình thu nhặt, Nam nhận thấy cặp $(2,5)$ có thể thay thế nhau bằng cách lật ngược lại, cặp $(6,9)$ cũng có tính chất tương tự. Nói cách khác, một sticker $2$ có thể dùng làm chữ số $2$ hoặc chữ số $5$ và ngược lại; một sticker $6$ có thể dùng làm chữ số $6$ hoặc chữ số $9$ và ngược lại. Các chữ số khác chỉ dùng được đúng như chính nó. Các sticker thu nhặt từ anh trai được mô tả bởi dãy số $T$.

Do giáo viên yêu cầu tạo thật nhiều dãy số $S$ nên Nam muốn biết trước với số lượng sticker thu nhặt được thì có thể tạo được tối đa bao nhiêu dãy số $S$. Mỗi sticker chỉ được dùng cho đúng một chữ số của một dãy.

Yêu cầu: Cho $2$ dãy số $T$ và $S$ gồm không quá ${10}^5$ các chữ số có giá trị từ $0$ đến $9$. Tính số lượng dãy số $S$ có thể tạo được nhiều nhất bằng cách sử dụng các chữ số từ dãy số $T$.

Dữ liệu vào

• Dòng đầu tiên chứa dãy số $T$ (các chữ số viết liền nhau, không có dấu cách).
• Dòng thứ hai chứa dãy số $S$ (các chữ số viết liền nhau, không có dấu cách).

Dữ liệu ra

In ra số lượng dãy số $S$ tạo được nhiều nhất.

Ràng buộc

• $1\le |T|,|S|\le {10}^5$, trong đó $|T|$, $|S|$ là số chữ số của $T$ và $S$.
• Mỗi ký tự của $T$ và $S$ là một chữ số từ $0$ đến $9$.

Ví dụ