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>
#pragma GCC optimize("O3")
using namespace std;
template <class c>
struct rge {
  c b, e;
};
template <class c>
rge<c> range(c i, c j) {
  return rge<c>{i, j};
}
template <class c>
auto dud(c* x) -> decltype(cerr << *x, 0);
template <class c>
char dud(...);
struct debug {
  template <class c>
  debug& operator<<(const c&) {
    return *this;
  }
};
const long long MOD = 1e9 + 7;
const long long N = 2e5 + 10;
const long long INF = 1e18 + 10;
bool isPowerofTwo(long long x) {
  for (long long i = 0; i <= 32; i++) {
    if ((1LL << i) == x) return true;
  }
  return false;
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  long long n;
  cin >> n;
  vector<long long> v(n);
  for (long long i = 0; i < n; i++) {
    cin >> v[i];
  }
  sort(v.begin(), v.end());
  for (long long i = 1; i < n; i++) {
    long long start = v[i];
    for (long long j = 0; j <= 32; j++) {
      long long left = start - (1LL << j);
      long long L = 0, R = n - 1;
      long long ans = -1;
      while (L <= R) {
        long long mid = L + (R - L) / 2;
        if (v[mid] == left) {
          ans = mid;
          break;
        } else if (v[mid] > left) {
          R = mid - 1;
        } else
          L = mid + 1;
      }
      if (ans != -1) {
        for (long long k = 0; k <= 32; k++) {
          long long right = start + (1LL << k);
          if (!isPowerofTwo(right - left)) continue;
          L = 0, R = n - 1;
          while (L <= R) {
            long long mid = L + (R - L) / 2;
            if (v[mid] == right) {
              cout << 3 << endl;
              cout << left << ' ' << start << ' ' << right << endl;
              return 0;
            } else if (v[mid] > right) {
              R = mid - 1;
            } else
              L = mid + 1;
          }
        }
      }
    }
  }
  for (long long i = 0; i < n; i++) {
    for (long long j = 0; j <= 32; j++) {
      long long start = v[i] + (1LL << j);
      long long L = 0, R = n - 1;
      while (L <= R) {
        long long mid = L + (R - L) / 2;
        if (v[mid] == start) {
          cout << 2 << endl;
          cout << v[i] << ' ' << start << endl;
          return 0;
        } else if (v[mid] > start)
          R = mid - 1;
        else
          L = mid + 1;
      }
    }
  }
  cout << 1 << endl;
  cout << v[0] << endl;
  return 0;
}