import sys read = sys.stdin.buffer.read readline = sys.stdin.buffer.readline readlines = sys.stdin.buffer.readlines def ord_2(n): e = 0 while n % 2 == 0: e += 1 n >>= 1 return e def argmax_distribution(A): U = max(A) n = len(A) dist = [0] * (1<= u else 0.0 p_low = t if u <= A[i] + 1 else 1.0 for s in range(1<