Problem: In a far away kingdom lives a very greedy king. To defend his land, he built n guard towers. Apart from the towers the kingdom has two armies, each headed by a tyrannical and narcissistic general. The generals can't stand each other, specifically, they will never let soldiers of two armies be present in one tower.

During defence operations to manage a guard tower a general has to send part of his army to that tower. Each general asks some fee from the king for managing towers. As they live in a really far away kingdom, each general evaluates his fee in the following weird manner: he finds two remotest (the most distant) towers, where the soldiers of his army are situated and asks for the fee equal to the distance. Each tower is represented by a point on the plane with coordinates (x, y), and the distance between two points with coordinates (x1, y1) and (x2, y2) is determined in this kingdom as |x1 - x2| + |y1 - y2|.

The greedy king was not exactly satisfied with such a requirement from the generals, that's why he only agreed to pay one fee for two generals, equal to the maximum of two demanded fees. However, the king is still green with greed, and among all the ways to arrange towers between armies, he wants to find the cheapest one. Each tower should be occupied by soldiers of exactly one army.

He hired you for that. You should find the minimum amount of money that will be enough to pay the fees. And as the king is also very scrupulous, you should also count the number of arrangements that will cost the same amount of money. As their number can be quite large, it is enough for the king to know it as a remainder from dividing by 109 + 7.

Two arrangements are distinct if the sets of towers occupied by soldiers of the first general are distinct.

Input

The first line contains an integer n (2 ≤ n ≤ 5000), n is the number of guard towers. Then follow n lines, each of which contains two integers x, y — the coordinates of the i-th tower (0 ≤ x, y ≤ 5000). No two towers are present at one point.

Pretest 6 is one of the maximal tests for this problem.

Output

Print on the first line the smallest possible amount of money that will be enough to pay fees to the generals. 

Print on the second line the number of arrangements that can be carried out using the smallest possible fee. This number should be calculated modulo 1000000007 (109 + 7).

Examples

Input

2
0 0
1 1


Output

0
2


Input

4
0 0
0 1
1 0
1 1


Output

1
4


Input

3
0 0
1000 1000
5000 5000


Output

2000
2

Note

In the first example there are only two towers, the distance between which is equal to 2. If we give both towers to one general, then we well have to pay 2 units of money. If each general receives a tower to manage, to fee will be equal to 0. That is the smallest possible fee. As you can easily see, we can obtain it in two ways.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int MAXN = 5000 + 17, mod = 1e9 + 7;
short int n, min_ans, col[MAXN], cmp_cnt;
pair<short int, short int> a[MAXN];
bool mark[MAXN];
vector<pair<short int, short int> > sort_helper[MAXN * 2], edge;
vector<short int> adj[MAXN];
void input() {
  cin >> n;
  for (short int i = 1; i <= n; i++) cin >> a[i].first >> a[i].second;
}
short int dist(short int i, short int j) {
  return abs(a[i].first - a[j].first) + abs(a[i].second - a[j].second);
}
void clear_all() {
  for (short int i = 1; i <= n; i++) adj[i].clear();
  for (short int i = 1; i <= n; i++) col[i] = 0;
}
void add_edge_befor(short int x) {
  for (short int i = 1; i <= n; i++)
    for (short int j = i + 1; j <= n; j++)
      if (dist(i, j) > x) adj[i].push_back(j), adj[j].push_back(i);
}
bool dfs_bipartite(short int v, short int c) {
  bool res = true;
  col[v] = c;
  for (auto u : adj[v]) {
    if (col[u] == col[v]) res = false;
    if (!col[u]) {
      if (!dfs_bipartite(u, 3 - col[v])) res = false;
    }
  }
  return res;
}
bool is_Bipartite() {
  bool res = true;
  for (short int i = 1; i <= n; i++)
    if (!col[i])
      if (!dfs_bipartite(i, 1)) res = false;
  return res;
}
void binary_search() {
  short int l = -1, r = 2 * MAXN;
  while (l + 1 < r) {
    short int mid = (r + l) / 2;
    clear_all();
    add_edge_befor(mid);
    bool is_Bip = is_Bipartite();
    if (!is_Bip)
      l = mid;
    else
      r = mid;
  }
  min_ans = r;
}
void dfs(short int v) {
  mark[v] = true;
  for (auto i : adj[v])
    if (!mark[i]) dfs(i);
}
void find_components() {
  clear_all();
  add_edge_befor(min_ans);
  for (short int i = 1; i <= n; i++)
    if (!mark[i]) {
      cmp_cnt++;
      dfs(i);
    }
}
int pw2() {
  int res = 1;
  for (short int i = 1; i <= cmp_cnt; i++) res *= 2, res %= mod;
  return res;
}
void output() {
  cout << min_ans << endl;
  cout << pw2() << endl;
}
int main() {
  ios_base::sync_with_stdio(false), cin.tie(0), cout.tie(0);
  input();
  binary_search();
  find_components();
  output();
  return 0;
}