#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; }