在舞萌(maimai)这款音乐游戏中,玩家前往线下游戏厅游玩一次被称为一次“出勤”。记录每次出勤时游玩的歌曲名称及对应的游玩次数,这样的统计被称为“出勤记录”。
每个测试文件均包含多组测试数据。第一行输入一个整数
代表数据组数,每组测试数据描述如下:
第一行输入三个整数
,表示小红出勤记录中记录的歌曲数量、小红每次出勤最多游玩的歌曲数量、小红每次出勤必玩的歌曲数量。
此后
行,第
行输入一个由小写字母组成且长度为
的字符串
与一个整数
,表示出勤记录中第
首歌的名称和游玩次数。保证
两两不同。
此后
行,第
行输入一个由小写字母组成且长度为
的字符串
,代表小红每次出勤都会玩的第
首歌曲的名称。保证所有的
都作为
出现过,且
两两不同。
除此之外,保证单个测试文件的
之和不超过
。
对于每组测试数据,新起一行。如果出勤记录不合法,直接输出
;否则,在一行上输出两个整数,表示小红出勤次数的最小值和最大值。
对于第一组测试数据,以下描述一次合法的过程:
第一次出勤,打了
遍
、
遍
、
遍
;
第二次出勤,打了
遍
、
遍
、
遍
;
第三次出勤,打了
遍
、
遍
;
第四次出勤,打了
遍
、
遍
;
第五次出勤,打了
遍
、
遍
;
第六次出勤,打了
遍
、
遍
;
第七次出勤,打了
遍
、
遍
,有急事,打完两首过过瘾就走了。
我们可以证明,为了得到这份出勤记录,小红至少需要出勤
次。
对于第二组测试数据,我们注意到小红每次出勤都会点
这首歌,且出勤记录中这首歌的游玩次数为
,这意味着小红至多出勤过
次,那么小红最多打过
次歌。但是,出勤记录中
和
的游玩次数之和为
,说明是假的出勤记录。