#1553. XOR网络

题目描述

 计算给定范围内有多少种输入可以使输出为1。 我们假设3 < n < 100, 3 < m < 3000，而且网络中的门是用1到m之间的数任意编号的。

输入格式

文件第一行包含三个整数，分别表示输入的个数，门的个数，连接到输出的门的编号。以下的m行描述网络中的连接情况。第I行表示第I个门的两个输入，两个输入为范围[-n,m]之间的一个整数。如果输入是网络的第k个输入，则连接的描述是一个整数－k，如果输入是第j个门，则连接的描述是一个整数j。以下两行各有一个n位二进制串，表示输入的上限和下限。

输出格式

包含一个整数，表示给定范围内有多少种输入可以使输出为1。

样例

样例输入

5 6 5  

-1 -2  

1 3  

1 -2  

2 -3  

4 6  

-4 -5  

00111  

01110  

样例输出

5  

数据范围与提示