#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;

#include <bits/stdc++.h>
using namespace std;

bool A[4000040];

int main(){
  ll a,b,c;
  cin>>a>>b>>c;
  
  if(gcd(gcd(a,b),c)!=1){
    cout<<"INF"<<endl;
    return 0;
  }
  
  if(gcd(a,b)==1) ;
  else if(gcd(b,c)==1){
    ll tmp=a;
    a=b;
    b=c;
    c=tmp;
  }
  else swap(b,c);
  
  A[0]=true;
  ll n=a*b-a-b+1;
  for(int i=0;i<n;i++){
    if(A[i]){
      if(i+a<=n) A[i+a]=true;
      if(i+a<=n) A[i+b]=true;
      if(i+a<=n) A[i+c]=true;
    }
  }
  
  int cnt=0;
  for(int i=1;i<n;i++){
    if(!A[i]) cnt++;
  }
  cout<<cnt<<endl;
  
  return 0;
}