#include <bits/stdc++.h>
using namespace std;
int main() {
  ios_base::sync_with_stdio(0);
  int n;
  vector<pair<char, int> > ans;
  vector<int> B;
  vector<char> A;
  cin >> n;
  int a1 = 0;
  int a2 = 1023;
  for (int i = 0; i < n; ++i) {
    char a;
    int b;
    cin >> a >> b;
    if (a == '|') {
      a1 = a1 | b;
      a2 = a2 | b;
    }
    if (a == '^') {
      a1 = a1 ^ b;
      a2 = a2 ^ b;
    }
    if (a == '&') {
      a1 = a1 & b;
      a2 = a2 & b;
    }
  }
  int res1 = 0;
  int res2 = 0;
  for (int i = 0; i < 10; ++i) {
    if (((1 << i) & (a2)) == 0) {
      res1 = res1 + (1 << i);
    }
  }
  if (res1 != 0) {
    ans.push_back(make_pair('^', res1));
    a1 = a1 ^ res1;
  }
  for (int i = 0; i < 10; ++i) {
    if (((1 << i) & a1) != 0) {
      res2 = res2 + (1 << i);
    }
  }
  if (res2 != 0) ans.push_back(make_pair('|', res2));
  reverse(ans.begin(), ans.end());
  cout << (int)ans.size() << endl;
  for (int i = 0; i < (int)ans.size(); ++i) {
    cout << ans[i].first << ' ' << ans[i].second << endl;
  }
  return 0;
}
