>“欢迎来到【巨龙之境】，一个奇幻且多样的国度，巨龙们、它们的追随者们、以及那些在力量面前犹豫不决的人!本次版本公告主要涵盖了第7赛季在系统上的改动，若要了解弈子和羁绊、个性化内容或机制的详情，请前往相关链接。好吧，准备起飞咯!个性化内容和新东西在公告顶部，而改动/回归系统则在公告底部。但在起飞之前，请确保你已查看过【巨龙之境】预告片，【羽饰骑士】和【胖胖龙】重回校园——巨龙校园！”  作为云顶之弈的玩家之一，**南极洲大蜗牛（蜗牛哥）**突然想出了一个云顶模拟题，让你去体验一下，相信你能快速 AC。 每一位英雄有若干个羁绊。对于每一个羁绊，要达到一定的数量才能点亮该羁绊。 对于相同名字的英雄，羁绊不能重复计算。保证每个相同名字的英雄拥有相同的羁绊。 目前**蜗牛哥**已经拥有 $n$ 个英雄，每个英雄有若干个羁绊。现在他还有 $m$ 元钱，其中商店里还有 $k$ 个英雄。问最多能点亮的羁绊数为多少？

第一行包含一个整数 $T$，表示一共有 $T$ 个羁绊。 第二行包含 $T$ 个整数 $a_1,a_2,\cdots,a_T$，表示每一个羁绊要达到多少个英雄才能点亮。 第三行包含三个整数 $n,m,k$，表示**蜗牛哥**拥有的英雄数量、**蜗牛哥**拥有的钱，商店里的英雄数量。 接下来 $n$ 行，每一行包含一个字符串 $Name$，一个整数 $H$ 及 $H$ 个整数 $b_1,b_2,\cdots,b_H$，分别表示英雄名字，羁绊总数量以及每个羁绊的种类，表示**蜗牛哥**拥有的英雄。 接下来 $k$ 行，每一行一个字符串 $Name$，两个整数 $Val,H$ 及 $H$ 个整数 $c_1,c_2,\cdots,c_H$，分别表示英雄名字，英雄的价格，羁绊总数量以及每个羁绊的种类，表示商店里的英雄。 - $1\le T\le 10$ - $1\le a_i\le 10$ - $0\le n\le 20,\ 1\le m\le 100,\ 1\le k\le 10$ - $1\le b_i,c_i\le T$ - $|Name|\le 10$ - $1\le H\le 10$ - $1\le Val\le 10$

输出一个整数，能点亮的最大羁绊数。