import sequtils,strutils,strscans,algorithm,math,sugar,macros import sets,tables,intsets template `max=`*(x,y:typed):void = x = max(x,y) proc getchar_unlocked():char {. importc:"getchar_unlocked",header: "" .} template `^`(n:int) : int = (1 shl n) proc scan(): int = while true: let k = getchar_unlocked() if k < '0': return result = 10 * result + k.ord - '0'.ord let n = scan() let A = newSeqWith(n,scan()).sorted(cmp,Descending) let m = scan() let B = newSeqWith(m,scan()).sorted(cmp,Descending) var state = newSeq[int](^n) for ni in 0..<(^n): for ia in 0..= 0 : result.incl(i) var ans = B[0].getOKState() if ^n - 1 in ans: quit("1",0) for i,b in B[1..^1]: var n_ans : IntSet n_ans.assign(ans) for x in b.getOKState().items: for y in ans.items: if (x and y) != 0 : continue n_ans.incl(x xor y) ans = n_ans if ^n - 1 in ans: echo i + 2 quit 0 echo -1