#include <bits/stdc++.h>

using namespace std;

#define REP(i,n) for(int i=0; i<(int)(n); i++)

long long gcd(long long a, long long b) {
  if (b == 0)
    return a;
  return gcd(b, a%b);    
}

long long gcd(int a, int b) {
  return gcd((long long)a, (long long)b);
}

int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);

  int a, b, c;
  cin >> a >> b >> c;
  
  if (gcd(a, gcd(b, c)) > 1) {
    cout << "INF" << endl;
  } else {
    vector<bool> dp(10000000);
    dp[0] = true;
    int ret = 0;
    for (int i = 0; i < 10000000; i++) {
      if (dp[i]) {
        if (i + a < 10000000) dp[i+a] = true;
        if (i + b < 10000000) dp[i+b] = true;
        if (i + c < 10000000) dp[i+c] = true;        
      } else {
        ++ret;
      }
    }
    cout << ret << endl;
  }
  
  return 0;
}