#include<iostream>
using namespace std;
int n;
int arr[105];
int flag=0;
bool judge(int x,int y){
	cout<<"x:"<<x<<"y:"<<y<<endl;
	if(x==1||y==1){
		return true;
	}
	if(x<=0||y<=0||x==y){
		return false;
	}
	int t;
	while(y>0){
		cout<<"x:"<<x<<"y:"<<y<<endl;
		t=x%y;
		x=y;
		y=t;
	}
	if(x==1){
		cout<<"ok"<<endl;
		return true;
	}
	cout<<"no"<<endl;
	return false;
}
void dg(int temp){
	if(temp==0){
		flag=1;
		return ;
	}
	if(temp<0){
		return ;
	}
	for(int i=0;i<n;i++){
		dg(temp-arr[i]);
	}
}
int main(){
	cin>>n;
	for(int i=0;i<n;i++){
		cin>>arr[i];
	}
	int temp1=0;
	for(int i=0;i<n;i++){
		for(int j=0;j<n;j++){
			if(judge(arr[i],arr[j])){
				temp1=1;
				break;	
			}
		}
		if(temp1==1){
			break;
		}	
	}
	if(temp1==0){
		cout<<"INF"<<endl;
	}
	for(int i=1;i<=100;i++){
		flag=0;
		dg(i);
		if(!flag){
			cout<<i<<endl;
		}
	}
	return 0;
}