n = int(input()) b = list(map(int, input().split())) x = 0 for bi in b: x |= bi if x == 0: x = 1 << n.bit_length() ok = all(b[i] == (i + 1) & x for i in range(n)) print(x if ok else -1)