#include <cassert>
#include <bits/stdc++.h>
using namespace std;

#define rep(i,n) for(int i = 0; i < (int)(n); i++)
constexpr int inf = 2e9;
#include <atcoder/all>
using namespace atcoder;

#include <boost/multiprecision/cpp_int.hpp>
#include <boost/math/common_factor_rt.hpp>
namespace mp = boost::multiprecision;
using ll = long long;
int main()
{
    int a,b,c;
    cin >> a >> b >> c;
    if (a == b and b == c and c == 1)
    {
        cout << "1+1+1=Infinity" << "\n";
        return 0;
    }
    cout << "A+B+C=" << a + b + c << "\n";
}