//dp[c][s]: 第c列刷完,笔头状态为s的方案数. 
//从dp[c]转移到dp[c-1]时,枚举dp[c-1][s]的s. 再枚举s的每个子集作为还用的集合
//g[c-1][s]表示s的画笔到下一列都用的方案数. dp[c-1][s]是g[c-1][s]的子集和  !!!!妙
//g[c-1][s] 由很多 g[c][s2]转移得到, 预处理s的s2. 根据(s,s2)可以判断转移是否满足限制
#include<bits/stdc++.h>
using namespace std;
#define IOS {cin.tie(0);cout.tie(0);ios::sync_with_stdio(0);}
#define rep(i,l,r) for(int i=(l); i<=(r); i++)
#define per(i,r,l) for(int i=(r); i>=(l); i--)
#define P pair<int,int>
#define ll long long
#define vi vector<int>
const int N=16,M=505,N2=1<<14,mod=998244353;
void add(ll &x,ll y){
    x+=y; if(x>=mod)x-=mod;
}
int n,m,Q,bad[M][N][N];
int top,q[N],cnt[N2],bs[N2][N];
vector<int>to[N2]; int cur;
void dfs(int i,int r,int s){
    if(i>top){
        if(r==n)to[cur].push_back(s);
        return;
    }
    if(q[i]==r+1){
        rep(k,q[i],q[i+1]-1)dfs(i+1,k,s|(1<<k-1));
    }
    else dfs(i+1,q[i],s|(1<<r));
}
ll dp[M][N2];
signed main(){
    IOS
    cin>>n>>m>>Q;
    auto inseg=[&](int l,int r,int x){
        return l<=x && x<=r;
    };
    rep(_,1,Q){ //debug时，发现样例3过，12不过，就应该检查这里
        int c,x,y,dif; cin>>c>>x>>y>>dif;
        if(dif==1){
            rep(l,1,n){
                rep(r,l,n){
                    if(l<=x && y<=r)bad[c][l][r]=1; //这里l,r写成x,y了
                }
            }
        }
        else{
            rep(l,1,n){
                rep(r,l,n){
                    if(inseg(l,r,x) != inseg(l,r,y))bad[c][l][r]=1;
                }
            }
        }
    }
    // ll tot=0;
    rep(s,1,(1<<n)-1){
        top=0; cur=s;
        rep(j,0,n-1){
            if((1<<j)&s)q[++top]=j+1,bs[s][++cnt[s]]=j+1;
        }
        q[top+1]=n+1;
        dfs(1,0,0);
        // cout<<s<<": "; for(auto v:to[s])cout<<v<<" "; cout<<endl;
        // tot+=to[s].size();
    }
    // cout<<tot<<endl; return 0;
    rep(s,1,(1<<n)-1)dp[m][s]=1;
    auto ck=[&](int i,int l,int r){
        if(l>r)swap(l,r);
        return bad[i][l][r];
    };
    per(i,m,2){
        rep(s,1,(1<<n)-1){
            for(auto s2:to[s]){
                // assert(cnt[s]==cnt[s2]);
                int fl=1;
                rep(k,1,cnt[s]){
                    if(ck(i,bs[s][k],bs[s2][k])){fl=0;break;}
                }
                if(fl)add(dp[i-1][s],dp[i][s2]);
            }
        }
        rep(j,0,n-1){
            rep(s,1,(1<<n)-1){
                if(s&(1<<j))add(dp[i-1][s],dp[i-1][s-(1<<j)]);
            }
        }
    }
    cout<<dp[1][(1<<n)-1]<<"\n";
}
/*
3 5 3
3 2 3 0
4 1 2 0
5 1 3 0

14 500 0
n=14, tot=114243
*/