#pragma GCC optimize("O3,unroll-loops")
// #pragma GCC target("avx2,bmi,bmi2,lzcnt,popcnt")
#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;

    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--];
            if (v >= 60) {
                puts("INFTY");
                return 0;
            }
            st[rr] += 1LL << v;
            if (st[rr] > thres) {
                puts("INFTY");
                return 0;
            }
        } else {
            st[++rr] = 0;
        }
    }

    if (rr) st[0] += 1;

    if (st[0] > thres) {
        puts("INFTY");
    } else {
        printf("%lld\n", st[0]);
    }
}