//给你一些数，这些数字可以使用无限次，问你这些数凑不出来的有多少，如果很多则输出INF
//有点像计数dp问题的变形
////dp[i]表示凑出i有多少种方法，dp[i]=dp[i-x]+d[i-y]+dp[i-z],只要i-x，i-y…中任意一个可以凑出来那么i就可以凑出来

#include<iostream>
#include<algorithm>
using namespace std;
const int N=1e7;
int num[N],dp[N];
int main()
{
   int n;
   cin>>n;
   for(int i=1;i<=n;i++)
   {
       scanf("%d",&num[i]);
       dp[num[i]]++;
   }
   int ans=0;
   for(int i=1;i<=N;i++)//枚举数
    {
     for(int j=1;j<=n;j++)
     {
        if(i-num[j]<0) continue;//如果小于num[j]肯定就没发用它凑
        dp[i]+=dp[i-num[j]]; //更新dp[i]
        if(dp[i]!=0) break;//题目要算的是不能凑出来的数，dp[i]！=0说明已经凑出来了；
     }
     if(dp[i]==0) ans++;
     }
     if(ans>10000) cout<<"INF";
     else cout<<ans<<endl;
     return 0;
}