I. 心意不尽,前程已近

传统 1000 ms 256 MiB
标准 IO
文本比较

题目描述

给定一张由 nn 个节点、m1m_1 条未定向的边和 m2m_2 条已定向的边构成的图。节点的编号是 1,2,,n1,2,\cdots,n

这张图满足:对于点集的任意一个子集,两端都在子集内的边(无论是否已定向)的条数不超过子集的大小。

求有多少个把未定向的边定向的方案,满足定向后图中不存在有向环。答案对 109+710^9+7 取模。

保证答案(取模前)至少是 11

输入格式

第一行三个整数 n,m1,m2n,m_1,m_21n2×1051\le n\le2\times10^5m1,m20m_1,m_2\ge0m1+m22×105m_1+m_2\le2\times10^5)。

接下来 m1m_1 行,每行两个整数 u,vu,v1u,vn1\le u,v\le n),表示一条连接 uuvv 的未定向的边。

接下来 m2m_2 行,每行两个整数 u,vu,v1u,vn1\le u,v\le n),表示一条从 uu 连向 vv 的已定向的边。

保证图中无自环,即:uvu\ne v

保证:在图中任取两个节点,它们之间至多只有一条边(无论是否已定向)。

输出格式

一行一个整数,表示答案对 109+710^9+7 取模后的结果。

样例

输入

10 6 2
1 2
2 3
3 4
3 5
6 7
7 8
4 1
8 9

输出

56