#include<bits/stdc++.h>
using namespace std;
using LL=long long;
using ULL=unsigned long long;
#define rep(i,n) for(int i=0; i<(n); i++)

const ULL bitsetsize = 4000001;
bitset<bitsetsize> sieve;
bitset<bitsetsize> buf;

ULL GCD(ULL a,ULL b){ return b?GCD(b,a%b):a; }

int main(){
  ULL A,B,C; cin>>A>>B>>C;
  if(GCD(GCD(A,B),C)!=1){ cout<<"INF"<<endl; return 0; }
  sieve.set(0);
  rep(i,30){ buf=sieve; buf<<=A<<i; sieve|=buf; }
  rep(i,30){ buf=sieve; buf<<=B<<i; sieve|=buf; }
  rep(i,30){ buf=sieve; buf<<=C<<i; sieve|=buf; }
  cout<<(bitsetsize-sieve.count())<<endl;
  return 0;
}