AT_pakencamp_2023_day3_g MOD

请你针对 $T$ 个测试用例解决以下问题。 有一个长度为 $N$ 的数列 $A=(A_1,A_2,\ldots,A_N)$，初始时对于所有 $1\leq i\leq N$，都有 $A_i=0$。 你的目标是使得对于所有 $1\leq i\leq N$，都有 $A_i\equiv R_i\pmod{M}$。为此，你可以进行任意次数（也可以一次也不进行）以下操作： - 选择一个满足 $1\leq j\leq K$ 的整数 $j$。将 $A$ 的第 $P_j$ 个元素加 $1$，同时将 $A$ 的第 $Q_j$ 个元素也加 $1$。 请判断目标是否可以实现。

输入按以下格式从标准输入读入。 > $T$ $\mathrm{test}_1$ $\mathrm{test}_2$ $\vdots$ $\mathrm{test}_T$ 其中，$\mathrm{test}_i$ 表示第 $i$ 个测试用例，格式如下： > $N$ $M$ $K$ $R_1$ $R_2$ $\ldots$ $R_N$ $P_1$ $Q_1$ $P_2$ $Q_2$ $\vdots$ $P_K$ $Q_K$

对于每个测试用例，按顺序用换行分隔输出答案。 若目标可达，输出 `Yes`，否则输出 `No`。

### 样例解释 1 在第 $1$ 个测试用例中，可以按照以下顺序操作以达到目标。 1. 令 $j=2$。此时 $A=(1,0,0,0,0,1)$。 2. 令 $j=1$。此时 $A=(2,1,0,0,0,1)$。 3. 再令 $j=2$。此时 $A=(3,1,0,0,0,2)$。 4. 令 $j=3$。此时 $A=(3,1,0,1,1,2)$。 5. 令 $j=5$。此时 $A=(3,1,0,1,2,3)$。 最终可以确认，对于所有 $1\leq i\leq 6$，都有 $A_i\equiv R_i\pmod{3}$。 ### 数据范围 - $1\leq T\leq 2\times 10^5$ - $1\leq N\leq 2\times 10^5$ - $2\leq M\leq 10^9$ - $1\leq K\leq 2\times 10^5$ - $0\leq R_i