Problem: 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·105) — 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 xi 0 ≤ xi ≤ 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
&amp; 1
&amp; 3
&amp; 5


Output

1
&amp; 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.

Solution (in JAVA):

Solution:
import java.io.*;
import java.util.StringTokenizer;

public class Solution {

    public static void solve(InputReader in, PrintWriter out, DebugWriter debug) throws IOException {
        int n = in.nextInt();
        char[] number = {'x','x','x','x','x','x','x','x','x','x'};// y = -x

        for (int i=0; i<n; i++){
            String operation = in.next();
            String binary = Integer.toBinaryString(in.nextInt());
            while (binary.length() < number.length) binary = "0"+binary;

            for (int pos=0; pos<number.length; pos++){
                char symbolInNumber = number[pos];
                char symbolInBinary = binary.charAt(pos);
                char symbolResult = ' ';

                if (operation.charAt(0) == '|'){
                    if (symbolInNumber == '0' && symbolInBinary == '0') symbolResult = '0';
                    if (symbolInNumber == '1' && symbolInBinary == '0') symbolResult = '1';
                    if (symbolInNumber == 'x' && symbolInBinary == '0') symbolResult = 'x';
                    if (symbolInNumber == 'y' && symbolInBinary == '0') symbolResult = 'y';
                    if (symbolInNumber == '0' && symbolInBinary == '1') symbolResult = '1';
                    if (symbolInNumber == '1' && symbolInBinary == '1') symbolResult = '1';
                    if (symbolInNumber == 'x' && symbolInBinary == '1') symbolResult = '1';
                    if (symbolInNumber == 'y' && symbolInBinary == '1') symbolResult = '1';
                }

                if (operation.charAt(0) == '&'){
                    if (symbolInNumber == '0' && symbolInBinary == '0') symbolResult = '0';
                    if (symbolInNumber == '1' && symbolInBinary == '0') symbolResult = '0';
                    if (symbolInNumber == 'x' && symbolInBinary == '0') symbolResult = '0';
                    if (symbolInNumber == 'y' && symbolInBinary == '0') symbolResult = '0';
                    if (symbolInNumber == '0' && symbolInBinary == '1') symbolResult = '0';
                    if (symbolInNumber == '1' && symbolInBinary == '1') symbolResult = '1';
                    if (symbolInNumber == 'x' && symbolInBinary == '1') symbolResult = 'x';
                    if (symbolInNumber == 'y' && symbolInBinary == '1') symbolResult = 'y';
                }

                if (operation.charAt(0) == '^'){
                    if (symbolInNumber == '0' && symbolInBinary == '0') symbolResult = '0';
                    if (symbolInNumber == '1' && symbolInBinary == '0') symbolResult = '1';
                    if (symbolInNumber == 'x' && symbolInBinary == '0') symbolResult = 'x';
                    if (symbolInNumber == 'y' && symbolInBinary == '0') symbolResult = 'y';
                    if (symbolInNumber == '0' && symbolInBinary == '1') symbolResult = '1';
                    if (symbolInNumber == '1' && symbolInBinary == '1') symbolResult = '0';
                    if (symbolInNumber == 'x' && symbolInBinary == '1') symbolResult = 'y';
                    if (symbolInNumber == 'y' && symbolInBinary == '1') symbolResult = 'x';
                }

                number[pos] = symbolResult;
            }
        }

        String ans1Str = "";
        for (int i=0; i<number.length; i++) if (number[i] == '0') ans1Str+="0"; else ans1Str+="1";

        String ans2Str = "";
        for (int i=0; i<number.length; i++) if (number[i] == '1') ans2Str+="1"; else ans2Str+="0";

        String ans3Str = "";
        for (int i=0; i<number.length; i++) if (number[i] == 'y') ans3Str+="1"; else ans3Str+="0";

        out.println(3);
        out.print("& ");
        out.println(Integer.parseInt(ans1Str,2));
        out.print("| ");
        out.println(Integer.parseInt(ans2Str,2));
        out.print("^ ");
        out.println(Integer.parseInt(ans3Str,2));
    }

    public static final String NAME = "";

    public static void main(String[] args) throws IOException{
        InputReader in;
        PrintWriter out;
        DebugWriter debug;

        if (args.length > 0 && args[0].equals("file")) {
            in = new InputReader(new BufferedReader(new FileReader("input.txt")));
            out = new PrintWriter(new FileWriter("output.txt"));
            debug = new DebugWriter(true);

            int sampleNumber = 1;
            do {
                String nextSample = "Sample #" + sampleNumber++ + ": ";
                out.println(nextSample);
                debug.println(nextSample);

                solve(in, out, debug);

                out.println("");
                debug.println("");
            } while (in.reader.readLine() != null);
        } else {
            if (NAME.length() > 0) {
                in = new InputReader(new BufferedReader(new FileReader(NAME + ".in")));
                out = new PrintWriter(new FileWriter(NAME + ".out"));
            } else {
                in = new InputReader(new BufferedReader(new InputStreamReader(System.in)));
                out = new PrintWriter(new OutputStreamWriter(System.out));
            }

            debug = new DebugWriter(false);
            solve(in, out, debug);
        }

        in.reader.close();
        out.close();
    }

    public static class InputReader {
        public BufferedReader reader;
        public StringTokenizer tokenizer;

        public InputReader(BufferedReader reader) {
            this.reader = reader;
            tokenizer = null;
        }

        public String next() throws IOException{
            while (tokenizer == null || !tokenizer.hasMoreTokens()) {
                tokenizer = new StringTokenizer(reader.readLine());
            }

            return tokenizer.nextToken();
        }

        public int nextInt() throws IOException{
            return Integer.parseInt(next());
        }

        public int[] nextIntArray(int n) throws IOException{
            int[] array = new int[n];
            for (int i=0; i<n; i++){
                array[i] = nextInt();
            }

            return array;
        }
    }

    public static class DebugWriter {
        public boolean enable;

        public DebugWriter(boolean enable){
            this.enable = enable;
        }

        public void print(Object o){
            if (enable) System.out.print(o);
        }

        public void println(Object o){
            if (enable) System.out.println(o);
        }
    }

}