Anton has n umbrellas, each of them has a different number from 1 to n written on it. He wants to arrange some of the umbrellas in line so that they would form a brilliant sequence of umbrellas (BSU). A sequence of k umbrellas with numbers a_1,a_2,…,a_k is considered a BSU if the following rules apply:
Anton would like to create a long BSU. Making the longest one doesn't bother him, he thinks that a BSU of length at least ⌈32n⌉ is quite enough.
Anton is busy reading fascinating books about lighthouses, so he asks you to find a BSU that would satisfy him.
The only line contains an integer n, the number of umbrellas (1≤n≤1012).
The first line should contain an integer k, the length of the BSU you have found (⌈32n⌉≤k≤106).
The second line should contain k integers a_i, the sequence itself (1≤a_i≤n). The sequence should satisfy the rules mentioned above.
In the first example, ⌈32⋅10⌉=3, gcd(1,2)=1, gcd(2,6)=2.
In the second example, ⌈32⋅22⌉=4, gcd(1,2)=1, gcd(2,6)=2, gcd(6,15)=3.