#include <bits/stdc++.h>
using namespace std;
#define int long long
#define N 20
#define M 1000
int n, m, q;
int dif_color[M][N][N];
int cnt[(1 << 14) + 50]; // s状态里有多少刷子
int top;
int qq[N];                 // 第i个刷子在第几个格子
int bs[(1 << 14) + 50][N]; // bs[s][i]s状态第i个刷子在哪个格子
int cur;
vector<int> to[(1 << 14) + 50];
void dfs(int i, int r, int s) // 第i个刷子，该刷第r+1个格 ，状态s
{
    if (i > top)
    {
        if (r == n)
            to[cur].push_back(s); // cur能从s刷到
        return;
    }
    if (qq[i] == r + 1) // 刷子在第r+1格可以是从上面下来的
    {
        for (int k = qq[i]; k <= qq[i + 1] - 1; k++)
        {
            dfs(i + 1, k, s | 1 << (k - 1));
        }
    }
    else
        dfs(i + 1, qq[i], s | (1 << r)); // 否则是从下面上去的
}
int check(int i, int l, int r)
{
    if (l > r)
        swap(l, r);
    return dif_color[i][l][r];
}
int dp[20][1 << 14] = {0};
#define mod 998244353
signed main()
{
    ios::sync_with_stdio(0);
    cin.tie(0);
    cin >> n >> m >> q;
    for (int i = 1; i <= q; i++)
    {
        int c, x, y, diff;
        cin >> c >> x >> y >> diff;
        if (diff == 1)
        {
            for (int l = 1; l <= n; l++)
            {
                for (int r = l; r <= n; r++)
                {
                    if (l <= x && y <= r)
                    {
                        dif_color[c][l][r] = 1; // l,r必须是不同颜色
                    }
                }
            }
        }
        else
        {
            for (int l = 1; l <= n; l++)
            {
                for (int r = l; r <= n; r++)
                {
                    if ((l <= x && x <= r) != (l <= y && y <= r))
                    {
                        dif_color[c][l][r] = 1; // l,r必须是不同颜色
                    }
                }
            }
        }
    }
    for (int s = 1; s <= (1 << n) - 1; s++)
    {
        top = 0;
        cur = s;
        for (int j = 0; j <= n - 1; j++)
        {
            if ((1 << j) & s)
                qq[++top] = j + 1, bs[s][++cnt[s]] = j + 1;
        }
        qq[top + 1] = n + 1; // 刷子上界
        dfs(1, 0, 0);
    }
    for (int s = 1; s <= (1 << n) - 1; s++)
    {
        dp[m][s] = 1;
    }
    for (int i = m; i >= 2; i--)
    {
        for (int s = 1; s <= (1 << n) - 1; s++)
        {
            for (auto s2 : to[s])
            {
                int flag = 1;
                for (int k = 1; k <= cnt[s]; k++)
                {
                    if (check(i, bs[s][k], bs[s2][k]))
                    {
                        flag = 0;
                        break;
                    }
                }
                if (flag)
                    dp[i - 1][s] = (dp[i - 1][s] + dp[i][s2]) % mod;
            }
        }

        for (int j = 0; j <= n - 1; j++)
        {
            for (int s = 1; s <= (1 << n) - 1; s++)
            {
                if (s & (1 << j))
                {
                    dp[i - 1][s] = (dp[i - 1][s] + dp[i - 1][s - (1 << j)]) % mod; // 子集的和 前缀和
                }
            }
        }
    }
    cout << dp[1][(1 << n) - 1] << endl;
}