An algorithm takes a list of 2" numbers [a, a2,..., a] and replaces it with [b,b,..., ban-1] where b = max{aa), b= max(a3,a), and so on. Then it performs the same operation on the resulting list (replacing each pair of consecutive elements with their maximum), and it continues doing the same until there are only two elements left in the list. For instance, if the initial list is [3; 7; 6; 8; 2; 1; 4, 5], then after the first run, it becomes [7, 8, 2, 5] and then [8; 5]. Suppose that the elements of the initial list are the integers 1 through 64 in random order. What is the probability that number 63 will appear in the final two-element list?