#include<bits/stdc++.h>

using namespace std;

int prio(char c){
  if(c=='^') return 2;
  if(c=='|') return 3;
  if(c=='&') return 4;
  if(c=='=') return 5;
  if(c=='!') return 6;
  return 7;
}

const int N=1024;
int n,k;

int solve(const string &str,int x,int y){
  //cerr<<"solve "<<str<<' '<<x<<' '<<y<<' ';
  vector<char> stk;
  vector<int> seq;
  for(int i=0; i<str.size(); i++){
    char c=str[i];
    if(c=='0'||c=='1'){
      seq.emplace_back(c=='0'?0:1);
      continue;
    }
    if(c=='x'||c=='y'){
      seq.emplace_back(c=='x'?x:y);
      continue;
    }
    if(c=='!'){
      assert(i+1<str.size());
      if(str[i+1]=='!'){
        i=i+1;
        continue;
      }
      if(str[i+1]=='x'||str[i+1]=='y')seq.emplace_back(str[i+1]=='x'?x:y);
      else seq.emplace_back(str[i+1]-'0');
      seq.emplace_back(prio(c));
      i=i+1;
      continue;
    }
    while(stk.size()&&prio(stk.back())>=prio(c)){
      seq.emplace_back(prio(stk.back()));
      stk.pop_back();
    }
    stk.emplace_back(c);
  }
  while(stk.size()) seq.emplace_back(prio(stk.back())),stk.pop_back();
  //for(auto p:seq) cerr<<p<<' ';
  //cerr<<endl;
  vector<int> S;
  for(auto p:seq){
    if(p<=1){
      S.emplace_back(p);
      continue;
    }
    if(p==2){
      int u=S[S.size()-1],v=S[S.size()-2];
      S.pop_back(),S.pop_back();
      S.emplace_back(v^u);
    }
    if(p==3){
      int u=S[S.size()-1],v=S[S.size()-2];
      S.pop_back(),S.pop_back();
      S.emplace_back(v|u);
    }
    if(p==4){
      int u=S[S.size()-1],v=S[S.size()-2];
      S.pop_back(),S.pop_back();
      S.emplace_back(v&u);
    }
    if(p==5){
      int u=S[S.size()-1],v=S[S.size()-2];
      S.pop_back(),S.pop_back();
      S.emplace_back(v==u);
    }
    if(p==6){
      int u=S[S.size()-1];
      S.pop_back();
      S.emplace_back(!u);
    }
    assert(p!=7);
  }
  assert(S.size()==1);
  //cerr<<S.back()<<endl;
  return S.back();
}

int calcu(const string &str,int x,int y){
  vector<char> stk;
  for(auto c:str){
    if(c==')'){
      string now;
      while(stk.size()&&stk.back()!='('){
        now+=stk.back();
        stk.pop_back();
      }
      assert(stk.size());
      stk.pop_back();
      reverse(now.begin(),now.end());
      stk.emplace_back(solve(now,x,y)+'0');
    }
    else{
      stk.emplace_back(c);
    }
  }
  string now;
  for(auto c:stk) now+=c;
  return solve(now,x,y);
}

int main(){

  cin.tie(0),cout.tie(0)->sync_with_stdio(false);

  cin>>n>>k;
  vector<bitset<N>> ver(1<<k),del(1<<k);

  vector<vector<array<array<vector<int>,2>,2>>> rec(k,vector<array<array<vector<int>,2>,2>>(k));

  for(int i=0; i<(1<<k); i++){
    for(int j=0; j<(1<<k); j++){
      for(int p=0; p<k; p++){
        for(int q=0; q<k; q++){
          rec[p][q][i>>p&1][j>>q&1].emplace_back((i<<k)+j);
        }
      }
    }
  }
  //vector<bitset<N>> chk(1<<k),Del(1<<k);
  for(int t=0; t<n; t++){
    int X,Y,v;
    string expr;
    cin>>X>>Y>>expr>>v;
    X--,Y--;
    for(int x:{0,1}){
      for(int y:{0,1}){
        int t=calcu(expr,x,y);
        if(!t) continue;
        for(auto msk:rec[X][Y][x][y]){
          int a=(msk>>k),b=msk-(a<<k);
          if(del[a][b]) continue;
          del[a][b]=1;
          ver[a][b]=v;
        }
        rec[X][Y][x][y].clear();
      }
    }/*
    for(int i=0; i<(1<<k); i++){
      for(int j=0; j<(1<<k); j++){
        if(Del[i][j]) continue;
        int t=calcu(expr,i>>X&1,j>>Y&1);
        if(t){
          Del[i][j]=1;
          chk[i][j]=v;
        }
      }
    }*/
  }
  int u;
  cin>>u;
  for(int i=0; i<(1<<k); i++){
    for(int j=0; j<(1<<k); j++){
      //if(!Del[i][j]) chk[i][j]=u;
      if(del[i][j]) continue;
      ver[i][j]=u;
    }
  }

  long long ans=0;
  for(int i=0; i<(1<<k); i++){
    if(ver[i][i]) ans++;
  }
  cout<<ans<<' ';
  ans=0;
  for(int i=0; i<(1<<k); i++){
    for(int j=0; j<(1<<k); j++){
      if(ver[i][j]&&ver[j][i]){
        ans++;
      }
    }
  }
  cout<<ans<<' ';
  ans=0;
  for(int i=0; i<(1<<k); i++){
    for(int j=0; j<(1<<k); j++){
      if(!ver[i][j]) continue;
      ans+=(ver[j].count()-(ver[j]&ver[i]).count());
    }
  }
  cout<<ans<<endl;

  /*
  for(int i=0; i<(1<<k); i++){
    for(int j=0; j<(1<<k); j++){
      cerr<<ver[i][j];
    }
    cerr<<endl;
  }
  cerr<<endl;
  for(int i=0; i<(1<<k); i++){
    for(int j=0; j<(1<<k); j++){
      cerr<<chk[i][j];
    }
    cerr<<endl;
  }*/

  return 0;
}