#include<bits/stdc++.h>
#include<atcoder/modint>
using namespace std;

void solve(){
  using mint=atcoder::modint998244353;
  int n,m,l;
  cin>>n>>m>>l;
  vector<vector<int>> c(m,vector<int>(l));
  for (int i=0;i<n;i++){
    int a,b;
    cin>>a>>b;
    a--;b--;
    c[a][b-m]++;
  }
  mint s1=1,s2=0;
  {
    for (int bit=0;bit<1<<m;bit++){
      mint p=1;
      int pop=0;
      for (int i=0;i<m;i++) if (bit>>i&1) pop++;
      for (int j=0;j<l;j++){
        int cnt=0;
        for (int i=0;i<m;i++){
          if (bit>>i&1) continue;
          cnt+=c[i][j];
        }
        p*=mint(2).pow(cnt)-1;
      }
      if (pop%2==0) s2+=p;
      else s2-=p;
    }
  }
  mint ans=s2;
  cout<<ans.val()<<endl;
}

int main(){
  int t=1;
  //cin>>t;
  while (t--) solve();
}