#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define rep(i,n) for(ll i=0;i<n;i++)
static const int INF=1000000000;

int main(){
  int a1,a2,a3,b1,b2,b3;
  cin>>a1>>a2>>a3;
  if(a1 != a2 && a2 != a3 && a1 != a3 && (a2==min(min(a1,a2),a3)||a2==max(max(a1,a2),a3))){
    cout<<"INF"<<endl;
    return 0;
  }
  int cnt=0;
  for(int i=3;i<1001;i++){
    b1=a1%i;
    b2=a2%i;
    b3=a3%i;
    if(b1 !=b2 && b2 !=b3 && b1 !=b3 && (b2==min(min(b1,b2),b3)||b2==max(max(b1,b2),b3)))cnt++;
  }
  cout<<cnt<<endl;
  return 0;
}