Hôm nay là ngày 31 tháng 8 năm 2027 - cũng là ngày mà cô ấy quyết định tổ chức đám cưới với một cô gái tên R vào sinh nhật tròn 20 tuổi của cô.

Khác hẳn với Miku - một cô gái mười phần năng nổ, chín phần nghịch ngợm, thì R được biết đến là một người hơi ít nói, dễ xấu hổ và có phần "tsundere". Chính vì vậy, anh trai của R - tên là L lại có chút không yên tâm khi gả em gái R cho Miku.

Để L đồng ý cho Miku và R tổ chức đám cưới, thì hai người phải trả lời được bài toán mà L ra đề như sau:

Trên tay L đang có ~n~ con số, đảm bảo tất cả các số đều là số nguyên tố. Một số được định nghĩa là "số đẹp" nếu chúng là số nguyên dương, và chia hết cho ít nhất một con số mà L đang có.

Nhiệm vụ của Miku và R là đếm xem có bao nhiêu "số đẹp" thỏa mãn điều kiện của L mà các giá trị số thu được đều phải nhỏ hơn giá trị ~x~ cho trước.

Thời gian tổ chức đám cưới đang dần đếm ngược. Hãy giúp Miku và R giải bài toán trên để hai người có thể tổ chức lễ thành hôn đúng hạn nhé!

INPUT

• Dòng đầu tiên chứa hai số nguyên dương ~n~ (~n \le 25~) và ~x~ (~x \le 10^{18}~).
• Dòng thứ hai chứa ~n~ số nguyên tố ~a_1, a_2, ..., a_n~ (~a_i \le 10^{18}~).

OUTPUT

Dòng duy nhất là đáp số bài toán.

SAMPLE INPUT

2 10
3 7

SAMPLE OUTPUT

4

Giải thích: Các số thỏa mãn là ~3, 6, 7, 9~.

SUBTASKS