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 PYTHON):

Solution:
from sys import stdin, stdout

#Aux
def _binary_search(arr, target):
    left = 0
    right = len(arr)-1

    while left <= right:
        mid = (left+right)//2

        if arr[mid] == target:
            return True
        elif arr[mid] > target:
            right = mid-1
        elif arr[mid] < target:
            left = mid+1

    return False

#Read input
n = int(stdin.readline().rstrip().split()[0])
points = [int(x) for x in stdin.readline().rstrip().split()]


#Calculate answer
powers = [1]
powers_append = powers.append
for i in xrange(1,31):
    powers_append(powers[i-1]*2)

sorted_points = sorted(points)

solution = [sorted_points[0]]

for idx, pt in enumerate(sorted_points):
    for power in powers:
        right_num = pt+power
        left_num = pt-power
        has_left = _binary_search(sorted_points, left_num)
        has_right = _binary_search(sorted_points, right_num)

        if has_left is True and has_right is True:
            solution = [left_num, pt, right_num]
            break
        elif has_right is True and len(solution) < 2:
            solution = [pt, right_num]
      #  elif has_left is True and len(solution) < 2:
       #     solution = [pt-power, pt]

    if len(solution) == 3:
        break


#Print output
ans = str(len(solution)) + "\n"
for i in solution:
    ans += str(i) + " "

stdout.write(ans)