Power Network
A power network consists of nodes (power stations, consumers and dispatchers) connected by power transport lines. A node u may be supplied with an amount s(u) ≥ 0 of power, may produce an amount 0 ≤ p(u) ≤ p_max(u) of power, may consume an amount 0 ≤ c(u) ≤ min(s(u),c_max(u)) of power, and may deliver an amount d(u)=s(u)+p(u)-c(u) of power. The following restrictions apply: c(u)=0 for any power station, p(u)=0 for any consumer, and p(u)=c(u)=0 for any dispatcher. There is at most one power transport line (u,v) from a node u to a node v in the net; it transports an amount 0 ≤ l(u,v) ≤ l_max(u,v) of power delivered by u to v. Let Con = _u(cu) be the power consumed in the net. The problem is to compute the maximum value of Con.
An example is in figure. The label x/y of power station u shows that p(u)=x and p_max(u)=y. The label x/y of consumer u shows that c(u)=x and c_max(u)=y. The label x/y of power transport line (u,v) shows that l(u,v)=x and l_max(u,v)=y. The power consumed is Con=6. Notice that there are other possible states of the network but the value of Con cannot exceed 6.
Input
There are several data sets in the input text file. Each data set encodes a power network. It starts with four integers: 0 ≤ n ≤ 100 (nodes), 0 ≤ n_p ≤ n (power stations), 0 ≤ n_c ≤ n (consumers), and 0 ≤ m ≤ n^2 (power transport lines). Follow m data triplets (u,v)z, where u and v are node identifiers (starting from 0) and 0 ≤ z ≤ 1000 is the value of l_max(u,v). Follow n_p doublets (u)z, where u is the identifier of a power station and 0 ≤ z ≤ 10000 is the value of p_max(u). The data set ends with n_c doublets (u)z, where u is the identifier of a consumer and 0 ≤ z ≤ 10000 is the value of c_max(u). All input numbers are integers. Except the (u,v)z triplets and the (u)z doublets, which do not contain white spaces, white spaces can occur freely in input. Input data terminate with an end of file and are correct.
Output
For each data set from the input, the program prints on the standard output the maximum amount of power that can be consumed in the corresponding network. Each result has an integral value and is printed from the beginning of a separate line.