Chương trình rút gọn

Cho một chương trình gồm $n$ dòng thao tác trên một số nguyên không âm $x$ trong khoảng $[0,1023]$. Mỗi dòng là một trong ba phép toán bit, ký hiệu bởi một ký tự rồi đến một hằng số $y$ ($0\le y\le 1023$):

• & y — gán $x\leftarrow x\text{ AND }y$
• | y — gán $x\leftarrow x\text{ OR }y$
• ^ y — gán $x\leftarrow x\text{ XOR }y$

Các thao tác được áp dụng tuần tự theo thứ tự đã cho.

Hãy viết một chương trình mới có không quá $5$ dòng (cùng định dạng) sao cho với mọi $x\in [0,1023]$, kết quả cuối cùng trùng với chương trình ban đầu.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ — số dòng của chương trình gốc.
• $n$ dòng tiếp theo, mỗi dòng có dạng op y với op là một trong các ký tự &, |, ^ và $0\le y\le 1023$.

Dữ liệu ra

• Dòng đầu in số nguyên $k$ ($0\le k\le 5$) — số dòng của chương trình tương đương.
• $k$ dòng tiếp theo, mỗi dòng là một thao tác cùng định dạng.

Mọi chương trình hợp lệ tương đương với chương trình gốc đều được chấp nhận.

Ràng buộc

• $1\le n\le 5·{10}^5$
• $0\le y\le 1023$ với mỗi hằng số trong chương trình gốc.

Ví dụ