標題：包子湊數


小明幾乎每天早晨都會在一家包子鋪吃早餐。他發現這家包子鋪有N種蒸籠，其中第i種蒸籠恰好能放Ai個包子。每種蒸籠都有非常多籠，可以認為是無限籠。


每當有顧客想買X個包子，賣包子的大叔就會迅速選出若干籠包子來，使得這若干籠中恰好一共有X個包子。比如一共有3種蒸籠，分別能放3、4和5個包子。當顧客想買11個包子時，大叔就會選2籠3個的再加1籠5個的（也可能選出1籠3個的再加2籠4個的）。


當然有時包子大叔無論如何也湊不出顧客想買的數量。比如一共有3種蒸籠，分別能放4、5和6個包子。而顧客想買7個包子時，大叔就湊不出來了。


小明想知道一共有多少種數目是包子大叔湊不出來的。


輸入
----
第一行包含一個整數N。(1 <= N <= 100)
以下N行每行包含一個整數Ai。(1 <= Ai <= 100)  


輸出
----
一個整數代表答案。如果湊不出的數目有無限多個，輸出INF。


例如，
輸入：
2  
4  
5   


程式應該輸出：
6  


再例如，
輸入：
2  
4  
6    


程式應該輸出：
INF


樣例解釋：
對於樣例1，湊不出的數目包括：1, 2, 3, 6, 7, 11。  
對於樣例2，所有奇數都湊不出來，所以有無限多個。  


資源約定：
峰值記憶體消耗（含虛擬機器） < 256M
CPU消耗  < 1000ms




請嚴格按要求輸出，不要畫蛇添足地列印類似：“請您輸入...” 的多餘內容。


所有程式碼放在同一個原始檔中，除錯通過後，拷貝提交該原始碼。
不要使用package語句。不要使用jdk1.7及以上版本的特性。
主類的名字必須是：Main，否則按無效程式碼處理。

提交程式時，注意選擇所期望的語言型別和編譯器型別。

import java.util.Scanner;

public class 包子湊數 {

	/**
	 * @param args
	 */
	public static void main(String[] args) {
		Scanner sc=new Scanner(System.in);
		int n=sc.nextInt();
		int x[]=new int[n];
		for (int i = 0; i < x.length; i++) {
			x[i]=sc.nextInt();
		}
		if(gcdAll(x)==1){
			int lcd=1;
			for (int i = 0; i < x.length; i++) {
				lcd*=x[i];
			}
			System.out.println(lcd);
			int dp[]=new int[lcd+1];
			dp[0]=1;
			for (int i = 0; i < x.length; i++) {
				for (int j = x[i]; j < dp.length; j++) {
					if(dp[j-x[i]]==1){
						dp[j]=1;
					}
				}
			}
			int sum=0;
			for (int i = 0; i < dp.length; i++) {
				if(dp[i]==0){
					sum++;
				}
			}
			System.out.println(sum);
		}else {
			System.out.println("INF");
		}
	}
	/**
	 * 求陣列x中所有數的最大公約數
	 * @param x 
	 * @return
	 */
	private static int gcdAll(int[] x) {
		int t=x[0];
		for (int i = 1; i < x.length; i++) {
			t=gcd(t,x[i]);
		}
		return t;
		
	}

	private static int gcd(int a, int b) {
		return a%b==0?b:gcd(b,a%b);
	}

}