Problem: A group of n friends enjoys playing popular video game Toda 2. There is a rating system describing skill level of each player, initially the rating of the i-th friend is ri.

The friends decided to take part in the championship as a team. But they should have equal ratings to be allowed to compose a single team consisting of all n friends. So the friends are faced with the problem: how to make all their ratings equal.

One way to change ratings is to willingly lose in some matches. Friends can form a party consisting of two to five (but not more than n) friends and play a match in the game. When the party loses, the rating of each of its members decreases by 1. A rating can't become negative, so ri = 0 doesn't change after losing.

The friends can take part in multiple matches, each time making a party from any subset of friends (but remember about constraints on party size: from 2 to 5 members).

The friends want to make their ratings equal but as high as possible.

Help the friends develop a strategy of losing the matches so that all their ratings become equal and the resulting rating is maximum possible.

Input

The first line contains a single integer n (2 ≤ n ≤ 100) — the number of friends.

The second line contains n non-negative integers r1, r2, ..., rn (0 ≤ ri ≤ 100), where ri is the initial rating of the i-th friend.

Output

In the first line, print a single integer R — the final rating of each of the friends.

In the second line, print integer t — the number of matches the friends have to play. Each of the following t lines should contain n characters '0' or '1', where the j-th character of the i-th line is equal to:

  * '0', if friend j should not play in match i, 
  * '1', if friend j should play in match i. 



Each line should contain between two and five characters '1', inclusive.

The value t should not exceed 104, it is guaranteed that such solution exists. 

Remember that you shouldn't minimize the value t, but you should maximize R. If there are multiple solutions, print any of them.

Examples

Input

5
4 5 1 7 4


Output

1
8
01010
00011
01010
10010
00011
11000
00011
11000


Input

2
1 2


Output

0
2
11
11


Input

3
1 1 1


Output

1
0

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int N = 105;
int n, num[N], lim;
int ans[N * N][2], tmp;
struct node {
  int id, val;
  bool operator<(const node &tmp) const { return val < tmp.val; }
};
priority_queue<node> que;
void solve(int p) {
  int cnt = 0;
  while (!que.empty()) que.pop();
  for (int i = 1; i <= n; i++)
    if (num[i] > p) que.push((node){i, num[i] - p});
  while (que.size() >= 2) {
    cnt++;
    node t1 = que.top();
    que.pop();
    node t2 = que.top();
    que.pop();
    t1.val--, t2.val--;
    if (t1.val > 0) que.push(t1);
    if (t2.val > 0) que.push(t2);
    ans[cnt][0] = t1.id;
    ans[cnt][1] = t2.id;
    if (que.size() == 1) tmp = que.top().id;
  }
  printf("%d\n%d\n", p, cnt);
  for (int i = 1; i < cnt; i++) {
    for (int j = 1; j <= n; j++) {
      if (j == ans[i][0] || j == ans[i][1])
        printf("1");
      else
        printf("0");
    }
    puts("");
  }
  if (cnt == 0) exit(0);
  for (int j = 1; j <= n; j++) {
    if (j == ans[cnt][0] || j == ans[cnt][1] || j == tmp)
      printf("1");
    else
      printf("0");
  }
  puts("");
  exit(0);
}
int main() {
  scanf("%d", &n);
  lim = 100;
  for (int i = 1; i <= n; i++) {
    scanf("%d", num + i);
    lim = min(lim, num[i]);
  }
  for (int i = lim; i >= 1; i--) {
    int sum = 0, mx = 0;
    for (int j = 1; j <= n; j++)
      if (num[j] > i) sum += num[j] - i, mx = max(mx, num[j] - i);
    int oth = sum - mx;
    if (sum % 2 == 1) {
      if (oth - 1 < mx)
        continue;
      else
        solve(i);
    } else {
      if (oth < mx)
        continue;
      else
        solve(i);
    }
  }
  int cnt = 0;
  while (!que.empty()) que.pop();
  for (int i = 1; i <= n; i++) que.push((node){i, num[i]});
  while (que.size() >= 2) {
    cnt++;
    node t1 = que.top();
    que.pop();
    node t2 = que.top();
    que.pop();
    t1.val--, t2.val--;
    if (t1.val > 0) que.push(t1);
    if (t2.val > 0) que.push(t2);
    ans[cnt][0] = t1.id;
    ans[cnt][1] = t2.id;
  }
  while (que.size() == 1) {
    cnt++;
    node t1 = que.top();
    que.pop();
    t1.val--;
    if (t1.val > 0) que.push(t1);
    ans[cnt][0] = t1.id;
    if (t1.id != 1)
      ans[cnt][1] = 1;
    else
      ans[cnt][1] = 2;
  }
  printf("%d\n%d\n", 0, cnt);
  for (int i = 1; i <= cnt; i++) {
    for (int j = 1; j <= n; j++) {
      if (j == ans[i][0] || j == ans[i][1])
        printf("1");
      else
        printf("0");
    }
    puts("");
  }
  return 0;
}