from math import gcd

A, B, C = map(int, input().split())

if gcd(gcd(A, B), C) != 1:
    print('INF')
    exit()

table = [False] * max(A * B, B * C, C * A)
L = len(table)
MAX = A * B * C

for i in range(MAX):
    if A * i >= L:
        break
    if table[A * i]:
        break
    for j in range(MAX):
        if A * i + B * j >= L:
            break
        if table[A * i + B * j]:
            break
        for k in range(MAX):
            if A * i + B * j + C * k >= L:
                break
            if table[A * i + B * j + C * k]:
                break
            table[A * i + B * j + C * k] = True
print(table.count(False))