#pragma GCC optimize("O3") #include using namespace std; #ifdef LOCAL #define _GLIBCXX_DEBUG #endif #pragma region Macros #define FOR(i, l, r) for(int i = (l) ;i < (r) ;i++) #define REP(i, n) FOR(i, 0, n) #define REPS(i, n) FOR(i, 1, n+1) #define RFOR(i, l, r) for(int i = (l) ; i >= (r) ; i--) #define RREP(i, n) RFOR(i, n - 1, 0) #define RREPS(i, n) RFOR(i, n , 1) #define SZ(x) ((int)(x).size()) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() template using V = vector; template using VV = V>; template using VVV = V>>; #define ll long long using ld = long double; #define pll pair #define pii pair #define pq priority_queue #define pb push_back #define eb emplace_back #define fi first #define se second #define endl '\n' #define ios ios_base::sync_with_stdio(0),cin.tie(0),cout.tie(0); #define lb(c,x) distance(c.begin(),lower_bound(all(c),x)) #define ub(c,x) distance(c.begin(),upper_bound(all(c),x)) #define VEC(type, name, size) \ V name(size); \ INPUT(name) #define VVEC(type, name, h, w) \ VV name(h, V(w)); \ INPUT(name) #define INT(...) \ int __VA_ARGS__; \ INPUT(__VA_ARGS__) #define LL(...) \ ll __VA_ARGS__; \ INPUT(__VA_ARGS__) #define STR(...) \ string __VA_ARGS__; \ INPUT(__VA_ARGS__) #define CHAR(...) \ char __VA_ARGS__; \ INPUT(__VA_ARGS__) #define DOUBLE(...) \ double __VA_ARGS__; \ INPUT(__VA_ARGS__) #define LD(...) \ ld __VA_ARGS__; \ INPUT(__VA_ARGS__) void scan(int &a) { cin >> a;} void scan(long long &a) { cin >> a;} void scan(char &a) { cin >> a;} void scan(double &a) { cin >> a;} void scan(long double &a) { cin >> a;} void scan(char a[]) { scanf("%s", a);} void scan(string &a) { cin >> a;} template void scan(V &); template void scan(pair &); template void scan(V &a){ for(auto &i : a) scan(i); } template void scan(pair &p){ scan(p.first); scan(p.second); } template void scan(T &a) { cin >> a;} void INPUT() {} template void INPUT(Head &head, Tail &... tail){ scan(head); INPUT(tail...); } template inline void print(T x) { cout << x << '\n'; } template istream &operator>>(istream &is, pair &p) { is >> p.first >> p.second; return is; } template ostream &operator<<(ostream &os, const pair &p) { os << p.first << " " << p.second; return os; } template istream &operator>>(istream &is, vector &v) { for(T &in : v) is >> in; return is; } template ostream &operator<<(ostream &os, const V &v) { REP(i, SZ(v)) { if(i) os << " "; os << v[i]; } return os; } //debug template void view(const V &v) { cerr << "{ "; for(const auto &e : v) { cerr << e << ", "; } cerr << "\b\b }"; } template void view(const VV &vv) { cerr << "{\n"; for(const auto &v : vv) { cerr << "\t"; view(v); cerr << "\n"; } cerr << "}"; } template void view(const V> &v) { cerr << "{\n"; for(const auto &c : v) cerr << "\t(" << c.first << ", " << c.second << ")\n"; cerr << "}"; } template void view(const map &m) { cerr << "{\n"; for(auto &t : m) cerr << "\t[" << t.first << "] : " << t.second << "\n"; cerr << "}"; } template void view(const pair &p) { cerr << "(" << p.first << ", " << p.second << ")"; } template void view(const set &s) { cerr << "{ "; for(auto &t : s) { view(t); cerr << ", "; } cerr << "\b\b }"; } template void view(T e) { cerr << e; } #ifdef LOCAL void debug_out() {} template void debug_out(Head H, Tail... T) { view(H); cerr << ", "; debug_out(T...); } #define debug(...) \ do { \ cerr << __LINE__ << " [" << #__VA_ARGS__ << "] : ["; \ debug_out(__VA_ARGS__); \ cerr << "\b\b]\n"; \ } while(0) #else #define debug(...) (void(0)) #endif template V press(V &x) { V res = x; sort(all(res)); res.erase(unique(all(res)), res.end()); REP(i, SZ(x)) { x[i] = lower_bound(all(res), x[i]) - res.begin(); } return res; } template inline bool chmin(T &a, T b) { if(a > b) { a = b; return true; } return false; } template inline bool chmax(T &a, T b) { if(a < b) { a = b; return true; } return false; } inline void Yes(bool b = true) { cout << (b ? "Yes" : "No") << '\n'; } inline void YES(bool b = true) { cout << (b ? "YES" : "NO") << '\n'; } inline void err(bool b = true) { if(b) { cout << -1 << '\n'; exit(0); } } template inline void fin(bool b = true, T e = 0) { if(b) { cout << e << '\n'; exit(0); } } template T divup(T x, T y) { return (x + (y - 1)) / y; } template T pow(T a, long long n, T e = 1) { T ret = e; while(n) { if(n & 1) ret *= a; a *= a; n >>= 1; } return ret; } struct iofast { iofast() { ios_base::sync_with_stdio(false); cin.tie(nullptr); cout << fixed << setprecision(15); } } iofast_; const int inf = 1e9; const ll INF = 1e18; #pragma endregion inline int topbit(unsigned long long x){ return x?63-__builtin_clzll(x):-1; } inline int popcount(unsigned long long x){ return __builtin_popcountll(x); } inline int parity(unsigned long long x){//popcount%2 return __builtin_parity(x); } ll lcm(ll a, ll b) { return a/gcd(a,b)*b;} ll gcd(ll a, ll b) { return b?gcd(b,a%b):a;} ll mx; ll A,B,C; map ans; void dfs(ll now){ if(now>mx) return ; if(now+A<=mx && !ans.count(now+A)){ ans[now+A]=1; dfs(now+A); } if(now+B<=mx && !ans.count(now+B)){ ans[now+B]=1; dfs(now+B); } if(now+C<=mx && !ans.count(now+C)){ ans[now+C]=1; dfs(now+C); } return ; } int main(){ cin >> A >> B >> C; ll p=gcd(A,B); ll q=gcd(B,C); ll g=gcd(p,q); if(g!=1){ cout << "INF" << endl; return 0; } ll cnt=0; mx=(sqrt(A*B*C*(A+B+C))-A-B-C)/2+1; cout << mx << endl; dfs(0LL); for(ll i=1;i<=mx;i++){ if(i%A==0 || i%B==0 || i%C==0) continue; if(!ans.count(i)){ cnt++; } } cout << cnt << endl; return 0; }