Petya learned a new programming language CALPAS. A program in this language always takes one non-negative integer and returns one non-negative integer as well.

In the language, there are only three commands: apply a bitwise operation AND, OR or XOR with a given constant to the current integer. A program can contain an arbitrary sequence of these operations with arbitrary constants from 0 to 1023. When the program is run, all operations are applied (in the given order) to the argument and in the end the result integer is returned.

Petya wrote a program in this language, but it turned out to be too long. Write a program in CALPAS that does the same thing as the Petya's program, and consists of no more than 5 lines. Your program should return the same integer as Petya's program for all arguments from 0 to 1023.


-----Input-----

The first line contains an integer n (1 ≤ n ≤ 5·10^5) — the number of lines.

Next n lines contain commands. A command consists of a character that represents the operation ("&", "|" or "^" for AND, OR or XOR respectively), and the constant x_{i} 0 ≤ x_{i} ≤ 1023.


-----Output-----

Output an integer k (0 ≤ k ≤ 5) — the length of your program.

Next k lines must contain commands in the same format as in the input.


-----Examples-----
Input
3
| 3
^ 2
| 1

Output
2
| 3
^ 2

Input
3
& 1
& 3
& 5

Output
1
& 1

Input
3
^ 1
^ 2
^ 3

Output
0



-----Note-----

You can read about bitwise operations in https://en.wikipedia.org/wiki/Bitwise_operation.

Second sample:

Let x be an input of the Petya's program. It's output is ((x&1)&3)&5 = x&(1&3&5) = x&1. So these two programs always give the same outputs.

```python

USER_FILENAME = "<user_code>"
import sys, json, builtins
import math, heapq, bisect, itertools, functools, collections, statistics, fractions, decimal, operator, array, random, re, string, os, pathlib
try:
    import resource as _res
except Exception:
    _res = None
from collections import Counter, defaultdict, deque, OrderedDict
from functools import lru_cache, reduce
from itertools import accumulate, permutations, combinations, product
from math import gcd, ceil, floor, sqrt
from decimal import Decimal
try:
    from typing import *
except Exception:
    pass
try:
    sys.setrecursionlimit(1_000_000)
except Exception:
    pass
try:
    import site as _site
    try:
        _sys_sites = _site.getsitepackages() if hasattr(_site, "getsitepackages") else []
        for _p in _sys_sites:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
    try:
        _usp = _site.getusersitepackages()
        if isinstance(_usp, str):
            _usp = [_usp]
        for _p in _usp:
            if _p and _p not in sys.path:
                sys.path.append(_p)
    except Exception:
        pass
except Exception:
    pass

ns = {"__name__": "__main__"}
for _k, _v in list(globals().items()):
    if not _k.startswith("_"):
        ns[_k] = _v
_CODE = "def n2b(n):\n  b = bin(n)[2:]\n  r = 10 - len(b)\n  return list('0'*r + b)\n\ndef b2n(b):\n  return int(''.join(b), 2)\n\ndef dump_encoded(s):\n  ops = []\n  op = '&'\n  b = ''\n  for i in range(10):\n    if s[i] == '0':\n      b += '0'\n    else:\n      b += '1'\n  ops.append((op, b2n(b)))\n  op = '|'\n  b = ''\n  for i in range(10):\n    if s[i] == '1':\n      b += '1'\n    else:\n      b += '0'\n  ops.append((op, b2n(b)))\n  op = '^'\n  b = ''\n  for i in range(10):\n    if s[i] == 'y':\n      b += '1'\n    else:\n      b += '0'\n  ops.append((op, b2n(b)))\n\n  print(len(ops))\n  for op, n in ops:\n    print(op,n)\n\n\n\n# x, y, 0, 1\n\nm = int(input())\nops = []\nfor i in range(m):\n  op, n = input().split(' ')\n  n = int(n)\n  ops.append((op, n))\n\n\ns = 1023\nfor i in range(len(ops)):\n  op, n = ops[i]\n  if op == '&':\n    s = s & n\n  elif op == '|':\n    s = s | n\n  elif op == '^':\n    s = s ^ n\nb1 = n2b(s)\n\ns = 0\nfor i in range(len(ops)):\n  op, n = ops[i]\n  if op == '&':\n    s = s & n\n  elif op == '|':\n    s = s | n\n  elif op == '^':\n    s = s ^ n\nb2 = n2b(s)\n\n\ng = ''\nfor k in range(10):\n  if b1[k] == b2[k]:\n    if b1[k] == '0':\n      g += '0'\n    else:\n      g += '1'\n  else:\n    if b1[k] == '0':\n      g += 'y'\n    else:\n      g += 'x'\n\ndump_encoded(g)"
_co = compile(_CODE, USER_FILENAME, "exec")
exec(_co, ns, ns)

```

Measured memory_bytes: 13903