Attention: we lost all the test cases for this problem, so instead of solving the problem, we need you to generate test cases. We're going to give you the answer, and you need to print a test case that produces the given answer. The original problem is in the following paragraph.

People don't use cash as often as they used to. Having a credit card solves some of the hassles of cash, such as having to receive change when you can't form the exact amount of money needed to purchase an item. Typically cashiers will give you as few coins as possible in change, but they don't have to. For example, if your change is 30 cents, a cashier could give you a 5 cent piece and a 25 cent piece, or they could give you three 10 cent pieces, or ten 1 cent pieces, two 5 cent pieces, and one 10 cent piece. Altogether there are 18 different ways to make 30 cents using only 1 cent pieces, 5 cent pieces, 10 cent pieces, and 25 cent pieces. Two ways are considered different if they contain a different number of at least one type of coin. Given the denominations of the coins and an amount of change to be made, how many different ways are there to make change?

As we mentioned before, we lost all the test cases for this problem, so we're actually going to give you the number of ways, and want you to produce a test case for which the number of ways is the given number. There could be many ways to achieve this (we guarantee there's always at least one), so you can print any, as long as it meets the constraints described below.

Input

Input will consist of a single integer A (1 ≤ A ≤ 105), the desired number of ways.

Output

In the first line print integers N and M (1 ≤ N ≤ 106, 1 ≤ M ≤ 10), the amount of change to be made, and the number of denominations, respectively.

Then print M integers D1, D2, ..., DM (1 ≤ Di ≤ 106), the denominations of the coins. All denominations must be distinct: for any i ≠ j we must have Di ≠ Dj.

If there are multiple tests, print any of them. You can print denominations in atbitrary order.

Examples

Input

18


Output

30 4
1 5 10 25


Input

3


Output

20 2
5 2


Input

314


Output

183 4
6 5 2 139

Difficulty: MEDIUM
Tags: Constructive algorithms

Starter code:

Solutions:
print(int(input()) * 2 - 1, 2, 1, 2)


n = int(input())
print(n * 2 - 1, 2)
print(2, 1)


n = int(input())
if n == 1:
	print(1, 1)
	print(1)
else:
	print((n - 1) * 2, 2)
	print(1, 2)


a = int(input())
if a != 1:
	print((a - 1) * 2, 2)
	print(1, 2)
else:
	print(1, 1)
	print(1)


print(2 * int(input()) - 1, '2\n1 2')


class Solver:

	def main(self):
		n = int(input().strip())
		print('{} 2\n1 2'.format((n - 1) * 2 + 1))
Solver().main()


n = int(input())
ans = 2 * n - 2
if n == 1:
	print('1 1')
	print(1)
else:
	print(str(ans) + ' 2')
	print('1 2')


A = int(input())
if A == 1:
	print('1 1')
	print('1')
else:
	print(str(2 * (A - 1)) + ' 2')
	print('1 2')


ways = int(input())
if ways == 1:
	print(str(1) + ' ' + str(1) + ' ' + str(1))
	exit(0)
n = ways - 1
n *= 2
print(str(n) + ' ' + str(2) + '\n' + str(1) + ' ' + str(2))


a = int(input())
if a == 1:
	print(1, 2)
	print(1, 2)
	exit(0)
print(2 * a - 2, 2)
print(1, 2)


n = int(input())
number = 2 * n - 1
m = 2
print(number, m, 1, 2)


import sys
import math

def IO():
	sys.stdin = open('pyinput.txt', 'r')
	sys.stdout = open('pyoutput.txt', 'w')

def GCD(a, b):
	if b == 0:
		return a
	else:
		return GCD(b, a % b)

def LCM(a, b):
	return a * (b // GCD(a, b))

def scan(TYPE_1, TYPE_2=0):
	if TYPE_1 == int:
		return map(int, sys.stdin.readline().strip().split())
	elif TYPE_1 == float:
		return map(float, sys.stdin.readline().strip().split())
	elif TYPE_1 == list and TYPE_2 == float:
		return list(map(float, sys.stdin.readline().strip().split()))
	elif TYPE_1 == list and TYPE_2 == int:
		return list(map(int, sys.stdin.readline().strip().split()))
	elif TYPE_1 == str:
		return sys.stdin.readline().strip()
	else:
		print('ERROR!!!!')

def main():
	n = int(scan(str))
	if n == 1:
		print(1, 1)
		print(1)
		return
	print((n - 1) * 2, 2)
	print(1, 2)
main()


from sys import stdin, stdout
n = int(stdin.readline())
if n == 1:
	stdout.write('2 1\n2')
else:
	stdout.write(str((n - 1) * 2) + ' 2\n')
	stdout.write('1 2')


a = int(input())
if a == 1:
	print(1, end=' ')
else:
	print((a - 1) * 10, end=' ')
print(2)
print(1, 10)


a = int(input())
if a == 1:
	print(1, 1)
	print(1)
	exit()
n = (a - 1) * 2
print(n, 2)
print(1, 2)


ways = int(input())
if ways == 1:
	print(1, 1)
	print(1)
else:
	print(2 * (ways - 1), 2)
	print(1, 2)


import sys

def main():
	tgt = int(input())
	N = (tgt - 1) * 2
	if N == 0:
		N = 1
	print(N, 2)
	print(1, 2)
main()


t = int(input())
if t == 1:
	print(1, 1)
	print(1)
else:
	t -= 1
	t = 2 * t
	print(t, 2)
	print(1, 2)


def main():
	a = int(input())
	if a > 1:
		print(2 * (a - 1), 2)
		print(1, 2)
	else:
		print(2, 1)
		print(2)
main()


ist = int(input())
print(str(ist * 2 - 1) + ' 2\n1 2')


n = int(input())
print('%d 2\n1 2' % (2 * n - 1))


A = int(input())
ans = 2 * (A - 1) if A > 1 else 1
print('%d %d' % (ans, 2))
print('1 2')


A = int(input())
N = 2 * A - 1
print(N, 2)
print(1, 2)


print('%d 2\n1 2' % max(2 * int(input()) - 2, 1))


import math
n = int(input())
s = 2 * n - 1
print(s, 2)
print(1, 2)


def main():
	count = int(input())
	print('{} 2'.format(count * 2 - 1))
	print('1 2')
main()


A = int(input())
if A == 1:
	print('10 1\n1')
else:
	N = 2 * (A - 1)
	print(N, 2)
	print(1, 2)


def main():
	n = int(input())
	result = 1
	if n > 1:
		result = 2 * n - 2
	print('{} 2\n1 2'.format(result))
main()


a = int(input())
print(max((a - 1) * 2, 1), '2')
print('1 2')


import os
import sys
from io import BytesIO, IOBase
BUFSIZE = 8192

class FastIO(IOBase):
	newlines = 0

	def __init__(self, file):
		self._fd = file.fileno()
		self.buffer = BytesIO()
		self.writable = 'x' in file.mode or 'r' not in file.mode
		self.write = self.buffer.write if self.writable else None

	def read(self):
		while True:
			b = os.read(self._fd, max(os.fstat(self._fd).st_size, BUFSIZE))
			if not b:
				break
			ptr = self.buffer.tell()
			(self.buffer.seek(0, 2), self.buffer.write(b), self.buffer.seek(ptr))
		self.newlines = 0
		return self.buffer.read()

	def readline(self):
		while self.newlines == 0:
			b = os.read(self._fd, max(os.fstat(self._fd).st_size, BUFSIZE))
			self.newlines = b.count(b'\n') + (not b)
			ptr = self.buffer.tell()
			(self.buffer.seek(0, 2), self.buffer.write(b), self.buffer.seek(ptr))
		self.newlines -= 1
		return self.buffer.readline()

	def flush(self):
		if self.writable:
			os.write(self._fd, self.buffer.getvalue())
			(self.buffer.truncate(0), self.buffer.seek(0))

class IOWrapper(IOBase):

	def __init__(self, file):
		self.buffer = FastIO(file)
		self.flush = self.buffer.flush
		self.writable = self.buffer.writable
		self.write = lambda s: self.buffer.write(s.encode('ascii'))
		self.read = lambda : self.buffer.read().decode('ascii')
		self.readline = lambda : self.buffer.readline().decode('ascii')
(sys.stdin, sys.stdout) = (IOWrapper(sys.stdin), IOWrapper(sys.stdout))
input = lambda : sys.stdin.readline().rstrip('\r\n')
from collections import Counter
n = int(input())
var = (n - 1) * 2 if n > 1 else 1
print(var, 2)
print(1, 2)


def compute_ways(goal, denominations):
	table = [[0 for _ in denominations] for _ in range(goal + 1)]
	for current_goal in range(1, goal + 1):
		for (denom_index, denom) in enumerate(denominations):
			if current_goal == denom:
				table[current_goal][denom_index] += 1
			if denom_index - 1 >= 0:
				table[current_goal][denom_index] += table[current_goal][denom_index - 1]
			if current_goal - denom >= 0:
				table[current_goal][denom_index] += table[current_goal - denom][denom_index]
	return table[-1][-1]

def generate_table(goal):
	table = [[0, 0]]
	current_goal = 1
	while True:
		table.append([0, 0])
		for (denom_index, denom) in enumerate([1, 2]):
			if current_goal == denom:
				table[current_goal][denom_index] += 1
			if denom_index - 1 >= 0:
				table[current_goal][denom_index] += table[current_goal][denom_index - 1]
			if current_goal - denom >= 0:
				table[current_goal][denom_index] += table[current_goal - denom][denom_index]
			if table[current_goal][denom_index] == goal:
				return (current_goal, [1, 2])
		current_goal += 1

def determine_case(goal, included):
	for i in range(included[-1] + 1 if included else 1, goal + 1):
		potential_solution = included + [i]
		ways = compute_ways(goal, potential_solution)
		if ways == goal:
			return (goal, potential_solution)
		elif ways < goal:
			recursed_solution = determine_case(goal, potential_solution)
			if recursed_solution:
				return recursed_solution
			else:
				continue
goal = int(input())
(ans, denoms) = generate_table(goal)
print(ans, len(denoms))
print(' '.join([str(x) for x in denoms]))


ohuennaya_formula = int(input())
if ohuennaya_formula == 1:
	print(1, 1)
	print(1)
else:
	print(2 * ohuennaya_formula - 2, 2)
	print(1, 2)


k = int(input())
if k == 1:
	print(1, 1)
	print(1)
else:
	print(2 * (k - 1), 2)
	print(1, 2)


a = int(input())
if a != 1:
	x = 2 * (a - 1)
	print(x, 2)
	print(1, 2)
else:
	print(179, 1)
	print(179)


a = int(input())
print(2 * a - 1, end=' ')
print(2)
print(1, end=' ')
print(2)


a = int(input())
n = 0
m = 2
if a == 1:
	n = 1
else:
	n = 2 * a - 2
print(n, m, sep=' ')
print(1, 2)


a = int(input())
n = 2 * (a - 1) + 1
m = 2
print(n, m)
print(1, 2)


vvd = int(input())
if vvd == 1:
	print(1, 1)
	print(1)
else:
	print(2 * vvd - 2, 2)
	print(1, 2)


A = int(input())
print([str((A - 1) * 2) + ' 2\n1 2', '1 1\n1'][A == 1])


print((int(input().split()[0]) - 1) * 2 + 1, '2\n1 2')


r = int(input())
if r == 1:
	print('1 1')
	print('1')
else:
	x = 2 * (r - 1)
	print(str(x) + ' ' + '2')
	print('1 2')


class CodeforcesTask865ASolution:

	def __init__(self):
		self.result = ''
		self.a = 0

	def read_input(self):
		self.a = int(input())

	def process_task(self):
		n = self.a * 2 - 1
		m = 2
		coins = [1, 2]
		self.result = '{0} {1}\n{2}'.format(n, m, ' '.join([str(x) for x in coins]))

	def get_result(self):
		return self.result
Solution = CodeforcesTask865ASolution()
Solution.read_input()
Solution.process_task()
print(Solution.get_result())