Problem:
Score : 1000 points

Problem Statement

We will call a string x good if it satisfies the following condition:

Condition: x can be represented as a concatenation of two copies of another string y of length at least 1.

For example, aa and bubobubo are good; an empty string, a, abcabcabc and abba are not good.

Eagle and Owl created a puzzle on good strings.
Find one string s that satisfies the following conditions. It can be proved that such a string always exists under the constraints in this problem.

1 ≤ |s| ≤ 200

Each character of s is one of the 100 characters represented by the integers 1 through 100.

Among the 2^{|s|} subsequences of s, exactly N are good strings.

Constraints

1 ≤ N ≤ 10^{12}

Input

Input is given from Standard Input in the following format:

N

Output

In the first line, print |s|, the length of s.
In the second line, print the elements in s in order, with spaces in between. Any string that satisfies the above conditions will be accepted.

Sample Input 1

7

Sample Output 1

4
1 1 1 1

There are two good strings that appear as subsequences of s: (1,1) and (1,1,1,1). There are six occurrences of (1,1) and one occurrence of (1,1,1,1), for a total of seven.

Sample Input 2

299

Sample Output 2

23
32 11 11 73 45 8 11 83 83 8 45 32 32 10 100 73 32 83 45 73 32 11 10

Solution in Python (3.4.3) (judge verdict: Accepted)

#! /usr/bin/env python
# -*- coding: utf-8 -*-
# vim:fenc=utf-8
#

"""
agc012 C
"""


n = int(input())
m = len(bin(n+1))-2
n = n-(2**(m-1)-1)


fact = []
tmp = 1
for i in range(1, m+2):
    fact.append(tmp)
    tmp = tmp*i

binom = [[0]*(m+1) for i in range(m+1)]
for i in range(m+1):
    for j in range(i+1):
        binom[i][j] = (fact[i]//(fact[j]*fact[i-j]))

binomsums = []
for j in range(m//2+1):
    tmp = 1
    for i in range(1, j+1):
        tmp += binom[j][i]*binom[m-j][i]
    binomsums.append(tmp)

a = [0]*(m//2+1)
ind = m//2
while n != 0:
    b = binomsums.pop()
    c, n = divmod(n, b)
    a[ind] = c
    ind -= 1

ans = []
i = 2
for j in range(m//2+1):
    for k in range(a[j]):
        ans.append(i)
        i += 1
    ans.append(1)
ans = ans + [1 for j in range(m-m//2-1)]
i -= 1
while i >= 2:
    ans.append(i)
    i -= 1
print(len(ans))
print(" ".join(map(str, ans)))