这个夏天，与众不同。QQ空间也引入了最近流行的社区交互类游戏《开心农场》。自然而然地，Chroi也成为了众多农场主的一员。可是Chroi整个暑假忙于OI，没什么时间照顾农场，这就需要你的帮助了。他可以告诉你他每天那些时间可以上线，你要做的就是告诉他该天最多可赚多少钱（为了降低难度，假设腾讯每天晚上0:00清空还没收获的作物，而且由于Chroi的农场等级比较低，所以只能种单季作物（就是只能收获一次的））。

在开心农场中，每个用户都有一定数目的土地，每次上线可以做的事是在土地上摘果实、卖果实、种下种子，每块土地上只能种一种作物，每块土地各自独立。

假设Chroi每次只能上线1秒，他能在瞬间做完所有他想做的事，所以你的程序要在一秒内得出结果。而且如果Chroi在一天的最后时刻上线，那他此刻做的事算第二天的。（比如时间为24，那他在24时刻做的事算第二天的0时刻做的。）

输入文件包含多行，第一行有三个正整数n,m,t,k，分别表示Chroi的农场中有n块地，共有m种作物可以选择，一天的时间t，有k个时刻Chroi可以上线。
接下来的m行每行输入三个正整数，第一个数字表示种子价格，第二个数字表示种子成熟时间（小于t），第三个数字表示成熟后果实的售价。再次提示，这些都是整数。
再接下来的一行有k个自然数，保证该整数为0,1,2...t-1中的一个，为Chroi可以上线的时间。这k个自然数不会重复。
输入文件到此结束。

输出文件只有一个整数，表示Chroi每天可以获得的最大金钱数。

6 3 24 4
10 6 20
15 3 18
11 3 19
0 6 12 18

180

1 1 24 2
10 6 5
0 6

0