A sequence x1,x2,…,xn of length n is given. Every integer from 1 to n appears in it exactly once.
You can change the sequence with a "swap" operation that exchanges two numbers. Going through k=2,3,…,n in that order, for each k you can choose whether to exchange xk and x⌊k/2⌋. You cannot go back to a value of k that you already passed.
A sequence a1,a2,…,an comes before a sequence b1,b2,…,bn in lexicographic order when some j (1≤j≤n) satisfies ak=bk for every k<j and aj<bj.
Among the sequences you can build by choosing the "swap" operations in this order, which one comes first in lexicographic order?