#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define all(a) (a).begin(), (a).end() #define rep(i, n) for (ll i = 0; i < (n); i++) //#define rep(i, n) for (int i = 0; i < (n); i++) #define range(i, a, b) for (ll i = (a); i < (b); i++) #define pb push_back #define debug(x) cerr << __LINE__ << ' ' << #x << ':' << (x) << '\n' #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") using namespace std; typedef long long ll; typedef unsigned int uint; typedef unsigned long long ull; typedef long double ld; typedef pair P; typedef pair Q; //typedef complex com; template using pri_s = priority_queue, greater>; template using pri_b = priority_queue; constexpr int inf = 1000000010; constexpr int inf2 = 2000000010; constexpr ll INF = 1000000000000000010; constexpr int mod1e9 = 1000000007; constexpr int mod998 = 998244353; constexpr ld eps = 1e-12; constexpr ld pi = 3.141592653589793238; constexpr ll ten(int n) { return n ? 10 * ten(n - 1) : 1; }; int dx[] = { 1,0,-1,0,1,1,-1,-1 }; int dy[] = { 0,1,0,-1,1,-1,1,-1 }; ll mul(ll a, ll b) { return (a > INF / b ? INF : a * b); } void fail() { cout << "-1\n"; exit(0); } void no() { cout << "No\n"; exit(0); } template void er(T a) { cout << a << '\n'; exit(0); } template inline bool chmax(T &a, const U &b) { if (a < b) { a = b; return true; } return false; } template inline bool chmin(T &a, const U &b) { if (a > b) { a = b; return true; } return false; } template istream &operator >> (istream &s, vector &v) { for (auto &e : v) s >> e; return s; } template ostream &operator << (ostream &s, const vector &v) { for (auto &e : v) s << e << ' '; return s; } template ostream &operator << (ostream &s, const pair &p) { s << p.first << ' ' << p.second; return s; } struct fastio { fastio() { cin.tie(0); cout.tie(0); ios::sync_with_stdio(false); cout << fixed << setprecision(20); cerr << fixed << setprecision(20); } }fastio_; ll ppow(ll a, ll b, ll mod) { ll res = 1; while (b) { if (b & 1) res *= a, res %= mod; a *= a, a %= mod; b >>= 1; } return res; } int find(int p) { random_device seed_gen; mt19937_64 engine(seed_gen()); vector div; for (int i = 1; i * i <= p - 1; i++) { if ((p - 1) % i == 0) { div.pb(i); if (i != 1 && i * i != p - 1) div.pb((p - 1) / i); } } while (1) { int r = engine() % p; if (r == 0) continue; bool f = true; for (int d : div) { if (ppow(r, d, p) == 1) f = false; } if (f) return r; } } ll modinv(ll a, ll mod) { a %= mod; if (a == 0) abort(); ll b = mod, u = 1, v = 0; while (b) { ll t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } u %= mod; if (u < 0) u += mod; return u; } int log(ll n, ll p, ll r) { ll s = sqrt(p) + 1; unordered_map big, small; rep(i, s) small[ppow(r, i, p)] = i; rep(i, s) big[ppow(r, i * s, p)] = i * s; rep(i, s) { ll v = ppow(r, i, p); ll nn = n * modinv(v, p) % p; if (big.count(nn)) { return (i + big[nn]) % (p - 1); } } abort(); } constexpr ll mod = mod998; template class modint { public: int n; modint() : n(0) {}; modint(ll n_) { n = n_ % mod; if (n < 0) n += mod; } modint operator -() const { return n > 0 ? mod - n : -n; } bool operator == (const modint &m) const { return n == m.n; } bool operator != (const modint &m) const { return n != m.n; } modint &operator += (const modint &m) { n += m.n; if (n >= mod) n -= mod; return *this; } modint &operator -= (const modint &m) { n -= m.n; if (n < 0) n += mod; return *this; } modint &operator *= (const modint &m) { n = ll(n) * m.n % mod; return *this; } modint &operator /= (const modint &m) { n = ll(n) * modinv(m).n % mod; return *this; } modint operator +(modint m) const { return modint(*this) += m; } modint operator -(modint m) const { return modint(*this) -= m; } modint operator *(modint m) const { return modint(*this) *= m; } modint operator /(modint m) const { return modint(*this) /= m; } modint &operator ++ () { *this += 1; return *this; } modint operator ++ (int) { *this += 1; return *this - 1; } modint &operator -- () { *this -= 1; return *this; } modint operator -- (int) { *this -= 1; return *this + 1; } modint pow(ll b) const { modint res = 1, a = modint(*this); while (b) { if (b & 1) res *= a; a *= a; b >>= 1; } return res; } friend istream &operator >> (istream &s, modint &a) { s >> a.n; return s; } friend ostream &operator << (ostream &s, modint &a) { s << a.n; return s; } }; using mint = modint; vector fac, inv, facinv; mint modinv(mint x) { ll a = x.n; if (a == 0) abort(); if (a < (ll)inv.size()) return inv[a]; ll b = mod, u = 1, v = 0; while (b) { ll t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } mint res = u; return res; } void modcalc(int n) { fac.resize(n); inv.resize(n); facinv.resize(n); fac[0] = 1; fac[1] = 1; inv[1] = 1; facinv[0] = 1; facinv[1] = 1; for (ll i = 2; i < n; i++) { fac[i] = fac[i - 1] * i; inv[i] = -inv[mod % i] * (mod / i); facinv[i] = facinv[i - 1] * inv[i]; } } mint comb(ll n, ll k) { if (n < 0 || k < 0 || n < k) return 0; return fac[n] * facinv[k] * facinv[n - k]; } mint perm(ll n, ll k) { if (n < 0 || k < 0 || n < k) return 0; return fac[n] * facinv[n - k]; } mint hom(ll n, ll k) { if (n < 0 || k < 0 || n == 0 && k > 0) return 0; if (n == 0 && k == 0) return 1; return fac[n + k - 1] * facinv[k] * facinv[n - 1]; } template class segtree { int n; vector data; T id = 0; T operation(T a, T b) { return a + b; } public: segtree(int _n) { n = 1; while (n < _n + 2) n <<= 1; data = vector(2 * n, id); } segtree(vector vec) { int _n = vec.size(); n = 1; while (n < _n + 2) n <<= 1; data = vector(2 * n, id); for (int i = 0; i < _n; i++) data[i + n] = vec[i]; for (int i = n - 1; i >= 1; i--) data[i] = operation(data[i << 1], data[i << 1 | 1]); } void change(int i, T x) { i += n; data[i] = x; while (i > 1) { i >>= 1; data[i] = operation(data[i << 1], data[i << 1 | 1]); } } void add(int i, T x) { change(i, data[i + n] + x); } T get(int a, int b) { T left = id; T right = id; a += n; b += n; while (a < b) { if (a & 1) left = operation(left, data[a++]); if (b & 1) right = operation(data[--b], right); a >>= 1; b >>= 1; } return operation(left, right); } T get_all() { return data[1]; } T operator[](int i) { return data[i + n]; } }; class unionfind { vector par; vector sz; public: unionfind(int n) { par = vector(n); for (int i = 0; i < n; i++) par[i] = i; sz = vector(n, 1); } int find(int x) { if (par[x] == x) return x; else return par[x] = find(par[x]); } int size(int x) { return sz[find(x)]; } bool same(int x, int y) { return find(x) == find(y); } void unite(int x, int y) { x = find(x); y = find(y); if (x == y) return; if (sz[x] < sz[y]) { par[x] = y; sz[y] += sz[x]; } else { par[y] = x; sz[x] += sz[y]; } } }; template vector> mat_mul(vector> a, vector> b) { int n = a.size(); vector> ans(n, vector(n)); for (int i = 0; i < n; i++) { for (int j = 0; j < n; j++) { for (int k = 0; k < n; k++) { ans[i][j] += a[i][k] * b[k][j]; } } } return ans; } template vector> mat_pow(vector> a, ll b) { int n = a.size(); vector> ans(n, vector(n)); for (int i = 0; i < n; i++) ans[i][i] = 1; while (b) { if (b & 1) ans = mat_mul(ans, a); a = mat_mul(a, a); b >>= 1; } return ans; } vector shrink(vector vec) { int vecsize = vec.size(); vector tmpvec = vec; sort(tmpvec.begin(), tmpvec.end()); tmpvec.erase(unique(tmpvec.begin(), tmpvec.end()), tmpvec.end()); vector res(vecsize); for (int i = 0; i < vecsize; i++) res[i] = lower_bound(tmpvec.begin(), tmpvec.end(), vec[i]) - tmpvec.begin(); return res; } const int N = 2010; vector> graph(N, vector()); vector> dp(N, vector()); vector conv(vector a, vector b) { int as = a.size(); int bs = b.size(); vector res(as + bs - 1); rep(i, as) { rep(j, bs) { res[i + j] += a[i] * b[j]; } } return res; } void dfs(int n) { vector tmp = { 1 }; for (int i : graph[n]) { dfs(i); tmp = conv(tmp, dp[i]); } int s = tmp.size(); dp[n].resize(s + 1); rep(i, s) { dp[n][i] += tmp[i]; dp[n][i + 1] += tmp[i] * (s - i - 1); } } int main() { int n; cin >> n; vector a(n); rep(i, n) { cin >> a[i]; a[i]--; } if (n == 2) { cout << 0 << ' ' << 1 << '\n'; return 0; } vector b(n, -1); chmax(b[1], a[0]); chmax(b[n - 2], a[n - 1]); for (int i = 1; i < n - 1; i++) { if (a[i - 1] < a[i + 1]) chmax(b[i + 1], a[i]); else chmax(b[i - 1], a[i]); } vector> v; vector tmp; rep(i, n) { if (b[i] == -1) { if (tmp.size() != 0) v.pb(tmp); tmp.clear(); } else tmp.pb(b[i]); } if (tmp.size() != 0) v.pb(tmp); int ans = 0; for (vector w : v) { int cnt = 0; int sz = w.size(); int x = 0; for (int i = 2; i < sz; i += 2) { if (w[i - 2] < w[i]) x = i / 2; } int y = 0; for (int i = 3; i < sz; i += 2) { if (w[i - 2] < w[i]) y = i / 2; } //debug(w); int xs = (sz + 1) / 2; int ys = sz / 2; while (xs > 1 || ys > 1) { //debug(xs); debug(ys); debug(x); debug(y); cnt++; int nx = x, ny = y; if (y >= x && x > 0) ny--; if (x > y) nx--; if (y + 1 != xs) xs--; if (x != 0) ys--; x = nx, y = ny; if (x == 0) { swap(x, y); swap(xs, ys); } } chmax(ans, cnt); } cout << ans + 1 << ' ' << v.size() << '\n'; }