Hầu như sáng nào Minh cũng ăn sáng ở một tiệm bánh bao. Cậu phát hiện tiệm này có $N$ loại xửng hấp, trong đó xửng loại thứ $i$ chứa được đúng $A_i$ chiếc bánh bao. Mỗi loại xửng đều có rất nhiều chiếc, có thể coi là vô hạn.

Mỗi khi có khách muốn mua $X$ chiếc bánh bao, bác bán bánh sẽ nhanh chóng chọn ra một số xửng bánh sao cho tổng số bánh trong các xửng đó đúng bằng $X$ chiếc. Ví dụ có $3$ loại xửng, lần lượt chứa được $3$, $4$ và $5$ chiếc bánh. Khi khách muốn mua $11$ chiếc, bác sẽ chọn $2$ xửng loại $3$ chiếc cộng thêm $1$ xửng loại $5$ chiếc (cũng có thể chọn $1$ xửng loại $3$ chiếc cộng thêm $2$ xửng loại $4$ chiếc).

Tất nhiên đôi khi bác bán bánh không cách nào gộp ra đúng số lượng khách muốn mua. Ví dụ có $3$ loại xửng, lần lượt chứa được $4$, $5$ và $6$ chiếc bánh. Khi khách muốn mua $7$ chiếc, bác không thể gộp ra được.

Minh muốn biết tổng cộng có bao nhiêu số lượng mà bác bán bánh không thể gộp ra được.

Dữ liệu vào

Dòng đầu tiên chứa một số nguyên $N$. $(1 \le N \le 100)$.

$N$ dòng tiếp theo, mỗi dòng chứa một số nguyên $A_i$. $(1 \le A_i \le 100)$.

Dữ liệu ra

Một số nguyên là đáp án. Nếu có vô hạn số không thể gộp được, in ra INF.

Ví dụ 1

Input

2  
4  
5

Output

6

Ví dụ 2

Input

2
4
6

Output

INF

Ghi chú

Phạm vi dữ liệu Với ví dụ $1$, các số không thể gộp được gồm: $1,2,3,6,7,11$.

Với ví dụ $2$, mọi số lẻ đều không thể gộp được, nên có vô hạn số.

Nguồn: Lanqiao Cup 2017 vòng tỉnh bảng A, bài H.