#include <stdio.h>
int main(void){
    int A[3];
    int B[3];
    int count = 0;
    int maxIndex = 0;

    for(int i = 0; i < 3; i++){
        scanf("%d",&A[i]);
        if(A[maxIndex] < A[i]){
            maxIndex = i;
        }
    }

    if( (A[0] != A[1])&&(A[1] != A[2])&&(A[0] != A[2]) ){
        if( ( (A[0] > A[1])&&(A[2] > A[1]) )||( (A[0] < A[1])&&(A[2] < A[1]) ) ){
            printf("INF\n");
        }else{
            for(int i = 1; i <= A[maxIndex]; i++){
                for(int j = 0; j < 3; j++){
                    B[j] = A[j] % i;
                }
                if((B[0] != B[1])&&(B[1] != B[2])&&(B[0] != B[2])){
                    if(((B[0] > B[1])&&(B[2] > B[1]))||((B[0] < B[1])&&(B[2] < B[1]))){
                        count++;
                    }
                }
                
            }
            printf("%d\n",count);
        }
    }else{
        printf("0\n");
    }

    return 0;
}