P17513 [ECUSTPC 2026 Fall] 纽约提喻法

题目背景

> *And they say there is no fate, but there is, it's what you create.* > > *And even though the world goes on for eons and eons...* > > *...you are only here for a fraction of a fraction of a second.*

题目描述

凯顿对“命运”有了自己的理解,他不再借助戏剧,而想用一串字符来提喻自己的人生。然而,当他尝试构建这个提喻时,为了追求纯粹、忠于自我的原创表达,他再度陷入了自我指涉的无限循环。于是这一次,凯顿将选择权交给了你,由你来描绘他的人生。 凯顿的提喻是一个长度为 $L$ 的字符串,记为 $T$。称 $T$ 是**合法**的,当且仅当它同时满足以下三个条件: 1. $T$ 仅由小写英文字母组成。 2. 对于每个 $i = 1, 2, \ldots, K$,字符串 $T$ 的第 $p_i$ 个字符必须等于给定的字符 $c_i$。这里 $p_i$ 是位置下标,满足 $1 \le p_i \le L$,$c_i$ 为小写字母。 3. 对于每个 $i = 1, 2, \ldots, N$,给定的字符串 $s_i$ **不能**作为 $T$ 的连续子串出现。 现在给定 $L$、$K$ 组位置约束 $(p_i, c_i)$ 以及 $N$ 个禁止子串 $s_i$,请你计算所有合法字符串 $T$ 的总数,并将结果对 $998\,244\,353$ 取模后输出。

输入格式

第一行输入三个整数 $L$, $K$, $N$ ($1 \le L \le 10^{18}$, $0 \le K \le 500$, $0 \le N \le 50$),分别表示字符串长度、位置约束数量和禁止子串数量。 随后 $K$ 行,每行输入一个整数 $p_i$ 和一个小写字母 $c_i$ ($1 \le p_i \le L$),表示一个位置约束。保证所有 $p_i$ 互不相同。 随后 $N$ 行,每行输入一个非空字符串 $s_i$,表示一个禁止子串。 保证所有 $s_i$ 的长度之和不超过 $100$(即 $\sum_{i=1}^N \vert{}s_i\vert{} \le 100$)。

输出格式

对于每组测试数据,输出一行一个整数,表示合法字符串的总数对 $998\,244\,353$ 取模后的结果。

说明/提示

### 样例 1 解释 字符串长度为 $3$,第 $2$ 个字符必须是 `b`,且不能包含子串 `ab`。合法的字符串形如 `?b?`,其中第 $1$ 个位置可以是除 `a` 以外的任意小写字母,共 $25 \times 26 = 650$ 种。