#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;

int a1, a2, a3;

int main() {
  cin >> a1 >> a2 >> a3;
  bool flag = false;
  if (a1 != a2 && a2 != a3 && a3 != a1 &&
    (max({a1, a2, a3}) == a2 || min({a1, a2, a3}) == a2)) flag = true;
  if (flag) {
    cout << "INF" << endl;
  } else {
    int cnt = 0;
    for (int p = 1; p <= max({a1, a2, a3}); p++) {
      //cout << p << ' ' << a1 % p << ' ' << a2 % p << ' ' << a3 % p << endl; 
      if (a1 % p != a2 % p && a2 % p != a3 % p && a3 % p != a1 % p &&
        (max({a1 % p, a2 % p, a3 % p}) == a2 % p ||
        min({a1 % p, a2 % p, a3 % p}) == a2 % p)) cnt++;
    }
    cout << cnt << endl;
  }
  return 0;
}