Problem: There are n distinct points on a coordinate line, the coordinate of i-th point equals to x_i. Choose a subset of the given set of points such that the distance between each pair of points in a subset is an integral power of two. It is necessary to consider each pair of points, not only adjacent. Note that any subset containing one element satisfies the condition above. Among all these subsets, choose a subset with maximum possible size.

In other words, you have to choose the maximum possible number of points x_{i_1}, x_{i_2}, ..., x_{i_m} such that for each pair x_{i_j}, x_{i_k} it is true that |x_{i_j} - x_{i_k}| = 2^d where d is some non-negative integer number (not necessarily the same for each pair of points).

Input

The first line contains one integer n (1 ≤ n ≤ 2 ⋅ 10^5) — the number of points.

The second line contains n pairwise distinct integers x_1, x_2, ..., x_n (-10^9 ≤ x_i ≤ 10^9) — the coordinates of points.

Output

In the first line print m — the maximum possible number of points in a subset that satisfies the conditions described above.

In the second line print m integers — the coordinates of points in the subset you have chosen.

If there are multiple answers, print any of them.

Examples

Input

6
3 5 4 7 10 12


Output

3
7 3 5

Input

5
-1 2 5 8 11


Output

1
8

Note

In the first example the answer is [7, 3, 5]. Note, that |7-3|=4=2^2, |7-5|=2=2^1 and |3-5|=2=2^1. You can't find a subset having more points satisfying the required property.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int sequnce[200005];
long long int factor[32];
int main() {
  int n;
  int i, j, k;
  long long int _head;
  int max_length;
  queue<long long int> current_q;
  queue<long long int> max_q;
  map<int, char> m_table;
  m_table.clear();
  scanf("%d", &n);
  for (i = 0; i < n; ++i) {
    scanf("%d", &sequnce[i]);
    m_table[sequnce[i]] = 1;
  }
  for (i = 1, factor[0] = 1; i < 32; ++i) factor[i] = factor[i - 1] << 1;
  sort(sequnce, sequnce + n);
  for (i = 0, max_length = 1, _head = (long long int)(sequnce[0]),
      max_q.push(_head);
       i < n; ++i) {
    current_q.push((long long int)(sequnce[i]));
    for (j = 0; j < 32; ++j) {
      if (m_table[(long long int)sequnce[i] + factor[j]]) {
        current_q.push((long long int)sequnce[i] + factor[j]);
        if (j == 31) {
          if (2 > max_length) {
            max_length = 2;
            max_q = current_q;
          }
        } else {
          if (m_table[(long long int)sequnce[i] + factor[j + 1]]) {
            current_q.push((long long int)sequnce[i] + factor[j + 1]);
            if (3 > max_length) {
              max_length = 3;
              max_q = current_q;
            }
          } else {
            if (2 > max_length) {
              max_length = 2;
              max_q = current_q;
            }
          }
        }
      }
      for (k = current_q.size(); k > 1; --k) {
        current_q.pop();
      }
    }
  }
  printf("%d\n", max_q.size());
  for (i = max_q.size(); i > 0; --i) {
    if (i != 1)
      printf("%I64d ", max_q.front());
    else
      printf("%I64d\n", max_q.front());
    max_q.pop();
  }
  return 0;
}