#include <iostream>
#include <string>
#include <vector>
using namespace std;

long long st[101010];

int main() {
    cin.tie(nullptr)->sync_with_stdio(false);
    string s;
    cin >> s;

    // vector<long long> st{0};

    // bool is_inf = false;
    constexpr long long thres = 1000000000000000000LL;

    int rr = 0;

    for (int i = (int)s.size() - 1; i >= 0; --i) {
        if (s.at(i) == '(') {
            if (rr == 0) {
                st[rr] += 1;
                break;
            }
            const auto v = st[rr--];
            // st.pop_back();
            if (v >= 60) {
                puts("INFTY");
                return 0;
                // is_inf = true;
                // v = 0;
            }
            st[rr] += 1LL << v;
            if (st[rr] > thres) {
                puts("INFTY");
                return 0;
                // is_inf = true;
                // st.back() = 0;
            }
        } else {
            st[++rr] = 0;
            // st.push_back(0);
        }
    }

    // while (st.size() > 1) st[0] += 1;
    if (rr) st[0] += 1;

    // auto ret = st.front();
    // if (ret > thres) is_inf = true;

    if (st[0] > thres) {
        puts("INFTY");
    } else {
        cout << st[0] << endl;
    }
}