#include<bits/stdc++.h>
using namespace std;
int main(){
    int a,b,c;cin>>a>>b>>c;
    assert(1<=a&&a<=2000);
    assert(1<=b&&b<=2000);
    assert(1<=c&&c<=2000);
    if(__gcd(a,__gcd(b,c))!=1){
        cout<<"INF"<<endl;
        return 0;
    }
    vector<bool> dp(10000000,false);
    queue<int> q;
    q.push(0);
    while(!q.empty()){
        auto t=q.front();q.pop();
        if(t+a<dp.size()&&!dp[t+a]){
            dp[t+a]=true;q.push(t+a);
        }
        if(t+b<dp.size()&&!dp[t+b]){
            dp[t+b]=true;q.push(t+b);
        }
        if(t+c<dp.size()&&!dp[t+c]){
            dp[t+c]=true;q.push(t+c);
        }
    }
    int ans=0;
    for(int i=1;i<10000000;i++)if(!dp[i]){
        ans++;
        cout<<i<<endl;
    }
    cout<<ans<<endl;
}