def isPossibleToConvert(s, p, n):
    if s == p:
        return True
    if n == 1:
        return False
    if n == 2:
        return p not in ['00', '11']
    
    curS = s[0]
    for i in range(n):
        if p[i] == curS:
            curS = s[i + 1] if i + 1 < n else None
            continue
        curS = '1' if p[i] == '0' else '0'
    
    return curS is None

t = int(input())
for _ in range(t):
    n = int(input())
    s = input()
    p = input()
    print("YES" if isPossibleToConvert(s, p, n) else "NO")