#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(nullptr);
  cout.tie(nullptr);
  long long n;
  cin >> n;
  long long k1 = 0, k2 = 1023;
  for (long long i = 0; i < n; i++) {
    long long k;
    char c;
    cin >> c >> k;
    if (c == '|') {
      k1 |= k;
      k2 |= k;
    }
    if (c == '^') {
      k1 ^= k;
      k2 ^= k;
    }
    if (c == '&') {
      k1 &= k;
      k2 &= k;
    }
  }
  cout << 2 << endl;
  cout << "| " << (k1 ^ (k2 ^ 1023)) << endl << "^ " << (k2 ^ 1023);
  return 0;
}
