#include <stdio.h>
#include <limits.h>

int main(void)
{
    int A[3], B[3], ans = 0, minA = INT_MAX, maxA = INT_MIN, minB, maxB, i, j;
    for (i = 0; i < 3; ++i) {
        scanf("%d", &A[i]);
        if (minA > A[i]) minA = A[i];
        if (A[i] > maxA) maxA = A[i];
    }
    if (A[0] != A[1] && A[1] != A[2] && A[0] != A[2] && (A[1] == minA || A[1] == maxA)) puts("INF");
    else {
        for (i = 1; i <= maxA; ++i) {
            minB = INT_MAX;
            maxB = INT_MIN;
            for (j = 0; j < 3; ++j) {
                B[j] = A[j] % i;
                if (minB > B[j]) minB = B[j];
                if (B[j] > maxB) maxB = B[j];
            }
            if (B[0] != B[1] && B[1] != B[2] && B[0] != B[2] && (B[1] == minB || B[1] == maxB)) ++ans;
        }
        printf("%d", ans);
    }
    return 0;
}