#include <bits/stdc++.h>

using namespace std;
#define int long long
int po[100];mt19937 rnd;
void f(int x)
{
    if(rnd()%2) {
    if(x<=1e18) cout<<x<<endl;
    else cout<<"INFTY"<<endl;
    }
    else
    {
        if(x<1e18) cout<<x<<endl;
    else cout<<"INFTY"<<endl;
    }
    exit(0);
}
int32_t main()
{
    ios_base::sync_with_stdio(false);cin.tie(0);cout.tie(0);
    po[0]=1;for(int i=0;i<99;++i) {po[i+1]=po[i]*2;po[i+1]=min(po[i+1],((int) 2e18));}
    string s;cin>>s;reverse(s.begin(),s.end());for(int i=0;i<s.size();++i) s[i]=('('+')'-s[i]);
    vector<int> v;v.push_back(0);
    for(int i=0;i<s.size();++i)
    {
        if(s[i]=='(')
        {
            v.push_back(0);continue;
        }
        else
        {
            if(v.size()==1)
            {
                f(v[0]+1);
            }
            int x=v.back();v.pop_back();
            if(x<100) v[v.size()-1]+=po[x]; else v[v.size()-1]=2e18; v[v.size()-1]=min(v[v.size()-1],((int) 2e18));
        }
    }
    if(v.size()==1) f(v[0]);
    else f(v[0]+1);
    return 0;
}