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;
using namespace std::chrono;
template <typename T1, typename T2>
void mapped(map<T1, T2> m) {
  for (auto ite = m.begin(); ite != m.end(); ++ite) {
    cout << "'" << ite->first << "'"
         << " : " << ite->second << endl;
  }
}
template <typename T1, typename T2>
void mappedArr(map<T1, vector<T2>> m) {
  for (auto ity = m.begin(); ity != m.end(); ++ity) {
    cout << "'" << ity->first << "'"
         << " : "
         << "[";
    for (int i = 0; i < (int)ity->second.size(); ++i) {
      (i == (int)ity->second.size() - 1) ? cout << ity->second[i]
                                         : cout << ity->second[i] << ",";
    }
    cout << "]" << endl;
  }
}
string int_to_string(int x) {
  stringstream ss;
  ss << x;
  string ni = ss.str();
  return ni;
}
int char_to_int(char c) {
  int n = (int)c - 48;
  return n;
}
int string_to_int(string x) {
  int n;
  stringstream s(x);
  s >> n;
  return n;
}
template <typename T1, typename T2>
void ArrPair(vector<pair<T1, T2>> vp) {
  for (int i = 0; i < (int)vp.size(); ++i) {
    cout << "(" << vp[i].first << "," << vp[i].second << ")" << endl;
  }
}
const int MOD = 1e9 + 7;
const long long INF = 1e18L + 5;
unordered_map<int, int> um;
unordered_set<int> us;
set<int> s;
int main() {
  ios::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  long long n;
  cin >> n;
  vector<long long> v(n);
  for (int i = 0; i < n; ++i) {
    cin >> v[i];
  }
  sort(v.begin(), v.end());
  vector<int> ans;
  ans.push_back(v[0]);
  for (int i = 0; i < n; ++i) {
    for (int j = 0; j <= 30; ++j) {
      long long z = pow(2, j);
      long long left = v[i] - z;
      long long right = v[i] + z;
      bool check_left = binary_search(v.begin(), v.end(), left);
      bool check_right = binary_search(v.begin(), v.end(), right);
      if (check_left && check_right) {
        cout << 3 << "\n";
        cout << v[i] << " " << left << " " << right;
        return 0;
      } else if (check_left) {
        vector<int> val(2);
        val[0] = v[i];
        val[1] = left;
        ans = val;
      } else if (check_right) {
        vector<int> val(2);
        val[0] = v[i];
        val[1] = right;
        ans = val;
      }
    }
  }
  cout << ans.size() << "\n";
  for (int i = 0; i < (int)ans.size(); ++i) {
    cout << ans[i] << " ";
  }
  return 0;
}