#include<bits/stdc++.h>
using namespace std;
using ll = long long;

int main(){
    vector<ll> ndp(1<<17,0);
    ndp[1] = 2;
    int no = -1;
    for(int i = 2;i<1<<17;i++){
        ndp[i] = 2 * ndp[i-1] + 1;
        if(ndp[i]>1e18){
            no = i;
            break;
        }
    }
    string s;
    cin>>s;
    ll ans = 0;
    int n = s.size();
    vector<ll> need(n+1,0);
    stack<int> st;
    set<int> ss;
    bool ok = false;
    vector<ll> dp(n+1,0);

    for(int i = n-1;i>=0;i--){
        if(s[i]==')'){
            st.push(i);
            continue;
        }
        if(st.empty()){
            ok = true;
            if(i+1==n) ans = 1;
            else ans = dp[i+1] + 1;
            break;
        }
        int ni = st.top();
        st.pop();
        if(ni==i+1){
            dp[i] = 1;
            ss.insert(i);
            if(st.empty()) ans += dp[i];
            continue;
        }
        ll sum = 0;
        while(ss.size()){
            auto itr = ss.begin();
            int nk = *itr;
            if(nk>ni) break;
            sum += dp[nk];
            ss.erase(nk);
        }
        if(sum>=no){
            cout<<"INFTY\n";
            return 0;
        }
        dp[i] = ndp[sum];
        ss.insert(i);
        if(st.empty()) ans += dp[i];
    }
    if(ans<=1e18) cout<<ans<<endl;
    else cout<<"INFTY\n";
}