#include <stdio.h>
int main(){
  int a[3];
  int b[3];
  int p;
  int count=0;
  int i,j;
  int z;
  int min=1000,max=1;
  for(i=0;i<3;i++){
    scanf("%d",&a[i]);
    if(max<a[i])max=a[i];
    if(min>a[i])min=a[i];
  }
  z=max;
  if(a[1]==1){printf("INF");return 0;}
  if(a[0]==a[2] || a[1]==a[2] || a[0]==a[2]){printf("0\n");return 0;}
  for(p=1;p<=z;p++){
    b[0]=a[0]%p;
    b[1]=a[1]%p;
    b[2]=a[2]%p;
    max=b[0];
    min=b[0];
    for(i=0;i<3;i++){
      if(max<b[i])max=b[i];
      if(min>b[i])min=b[i];
    }
    if((max==b[1] || min==b[1]) && (b[0]!=b[2]) && (b[0]!=b[1]) && (b[1]!=b[2]))count++;
  }

  printf("%d\n",count);
  return 0;
}