1
& 0
 1
^ 123
 10
^ 218
& 150
| 935
& 61
| 588
& 897
| 411
| 584
^ 800
| 704
 3
& 1
& 3
& 5
 1
| 123
 1
^ 0
 1
| 1023
 3
& 242
^ 506
^ 522
 10
^ 160
& 1021
& 510
^ 470
& 1022
& 251
& 760
& 1016
| 772
| 515
 1
& 1023
 1
| 0
 2
| 56
^ 875
 1
^ 1023
 2
| 999
^ 689
 3
^ 125
^ 377
& 1019
 1
& 123

3
& 0
| 0
^ 0
 3
& 1023
| 0
^ 123
 3
& 763
| 763
^ 0
 3
& 1
| 0
^ 0
 3
& 1023
| 123
^ 0
 3
& 1023
| 0
^ 0
 3
& 1023
| 1023
^ 0
 3
& 1010
| 768
^ 240
 2
| 775
^ 112
 3
& 1023
| 0
^ 0
 3
& 1023
| 0
^ 0
 3
& 983
| 16
^ 835
 3
& 1023
| 0
^ 1023
 3
& 350
| 326
^ 16
 3
& 1019
| 0
^ 256
 3
& 123
| 0
^ 0

# -*- coding: utf-8 -*-
def writeline(l): print " ".join(map(str, l))
def readline(): return map(int, raw_input().split())
def readint(): return int(raw_input(), 10)


def inv(x): return 1023 ^ x

def main():
    n = readint()
    zeros, ones = 0, 1023
    for __ in xrange(n):
        command, raw_value = raw_input().split()
        value = int(raw_value)
        if command == '|':
            zeros, ones = zeros | value, ones | value
        elif command == '&':
            zeros, ones = zeros & value, ones & value
        elif command == '^':
            zeros, ones = zeros ^ value, ones ^ value
        else:
            raise Exception("unrecognized command")

    set_one = zeros & ones
    set_zero = inv(zeros) & inv(ones)
    #set_id = inv(zeros) & ones
    set_not = zeros & inv(ones)

    commands = list()
    if set_one:
        commands.append("| {}".format(set_one))

    if set_zero:
        commands.append("& {}".format(inv(set_zero)))

    if set_not:
        commands.append("^ {}".format(set_not))

    print len(commands)
    for command in commands:
        print command


main()
