Description

今天的上机考试虽然有实时的 $\text{Ranklist}$，但上面的排名只是根据完成的题数排序，没有考虑每题的分值，所以并不是最后的排名。给定录取分数线，请你写程序找出最后通过分数线的考生，并将他们的成绩按降序打印。

Input Format

4测试输入包含若干场考试的信息。每场考试信息的第1行给出考生人数 $n$、考题数 $m$ 、分数线（正整数）G；第 $2$ 行排序给出第 $1$ 题至第 $m$ 题的正整数分值；以下 $n$ 行，每行给出一名考生的准考证号（长度不超过 $20$ 的字符串）、该生解决的题目总数 $m$、以及这 $m$ 道题的题号（题目号由 $1$ 到 $m$）。 
当读入的考生人数为 $0$ 时，输入结束，该场考试不予处理。

Output Format

对每场考试，首先在第1行输出不低于分数线的考生人数 $n$，随后 $n$ 行按分数从高到低输出上线考生的考号与分数，其间用 $1$ 空格分隔。若有多名考生分数相同，则按他们考号的升序输出。

3 5 32
17 10 12 9 15
CS22003 5 1 2 3 4 5
CS22004 3 5 1 3
CS22002 2 1 5
0

3
CS22003 63
CS22004 44
CS22002 32

Hint

Source