#include <bits/stdc++.h>
using namespace std;
vector<string> split(const string& s, char c) {
  vector<string> v;
  stringstream ss(s);
  string x;
  while (getline(ss, x, c)) v.emplace_back(x);
  return move(v);
}
void err(vector<string>::iterator it) {}
template <typename T, typename... Args>
void err(vector<string>::iterator it, T a, Args... args) {
  cerr << it->substr((*it)[0] == ' ', it->length()) << " = " << a << '\n';
  err(++it, args...);
}
typedef tuple<int, int, int> State;
int dx[] = {0, 1, 0, -1};
int dy[] = {1, 0, -1, 0};
const int N = 1e6 + 5;
const double EPS = 1e-10;
const long long INF = 1e18;
const double PI = acos(-1);
int n, m, k;
int dcmp(double a, double b) { return fabs(a - b) <= EPS ? 0 : a < b ? -1 : 1; }
int c[N], d[N];
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  string s;
  cin >> s;
  n = s.size();
  stack<int> st;
  memset(c, -1, sizeof c);
  memset(d, -1, sizeof c);
  int mx = 0, mxcnt = 0;
  for (int i = 0; i < n; i++) {
    if (s[i] == ')') {
      if (!st.empty()) {
        d[i] = st.top();
        st.pop();
        if (c[d[i] - 1] != -1)
          c[i] = c[d[i] - 1];
        else
          c[i] = d[i];
      }
    } else {
      st.push(i);
    }
    if (c[i] != -1) {
      if (mx < i - c[i] + 1) {
        mx = i - c[i] + 1;
        mxcnt = 0;
      }
      if (mx == i - c[i] + 1) mxcnt++;
    }
  }
  if (mx == 0) mxcnt = 1;
  cout << mx << " " << mxcnt;
}
