#include <iostream>
#include <bitset>
using namespace std;
typedef long long ll;
ll gcd(ll a,ll b){
    if(a<b) swap(a,b);
    if(b==0) return a;
    return gcd(a%b,b);
}

bitset<4000000> bs;
int main(){
    int i,a,b,c; cin >> a >> b >> c;
    int s = gcd(a,b);
    s = gcd(s,c);
    if(s!=1){
        cout << "INF" << endl;
        return 0;
    }
    bs[0] = 1;
    for(i=0;i<2000;i++) bs |= (bs<<i*a);
    for(i=0;i<2000;i++) bs |= (bs<<i*b);
    for(i=0;i<2000;i++) bs |= (bs<<i*c);
    int cnt = 0;
    for(i=0;i<4000000;i++){
        if(!bs[i]) cnt++;
    }
    cout << cnt << endl;
}