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

int main(){
    vector<ll> ndp(1<<17,0);
    ndp[0] = 1;
    int no = -1;
    for(int i = 1;i<1<<17;i++){
        for(int j = 0;j<i;j++) ndp[i] += ndp[j];
        ndp[i]++;
        if(ndp[i]>1e18){
            no = i;
            break;
        }
    }
    string s;
    cin>>s;
    ll ans = 0;
    int n = s.size();
    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()){
            ans += 1;
            break;
        }
        int ni = st.top();
        st.pop();
        if(ni==i+1){
            dp[i] = 1;
            ss.insert(i);
            if(st.empty()) ans += dp[i];
            ans = min(ans,(ll)2e18);
            continue;
        }
        ll sum = 0;
        while(ss.size()){
            auto itr = ss.begin();
            int nk = *itr;
            if(nk>ni) break;
            sum += dp[nk];
            sum = min(sum,(ll)2e18);
            ss.erase(nk);
        }
        if(sum>=no){
            dp[i] = 2e18;
        }
        if(sum<=no) dp[i] = ndp[sum];
        ss.insert(i);
        if(st.empty()) ans += dp[i];
        ans = min(ans,(ll)2e18);
    }
    if(!st.empty()) ans++;
    if(ans<=1e18) cout<<ans<<endl;
    else cout<<"INFTY\n";
}