兰州拉面派餐系统

兰州拉面是著名美食，其煮面很有讲究，不同种类的面需要煮不同的时长。拉面馆的煮面师傅的规则很简单，只要手头有煮面篮子是空闲的，就把下一份客单指定的面放到空闲篮子里煮；如果空闲的篮子不止一个，那么先放到其中编号最小的篮子里煮；如果没有篮子是空闲的，就等待。一个篮子里的面煮够了时间，师傅要准时捞出来放到该客单对应的碗里，招呼服务员端给客人；如果有多个篮子里的面同时到了捞取时间，师傅会同时捞起，但要本着先到先得的原则，按下单顺序招呼送餐。

在生意火爆的拉面馆里，煮面师傅需要很强的记忆力和计时能力，才能面对源源不断的客单，同时照顾一大堆煮面篮子而不出错。如果面的品种不太多，篮子也不太多，那一位拉面师傅的大脑还是能应对的。但如果我们有上千种面、上万只煮面篮、数十万客单呢…… 这就需要请你帮忙，写个派餐系统来完成这个任务了。

时间限制：7000

内存限制：65536

输入

输入在第一行中给出 3 个正整数：N（≤ 103）为面的种类数；M（≤ 104）为煮面篮子的个数；L（≤ 105）为客单总数。于是我们假设面的种类从 1 到 N 编号、篮子从 1 到 M 编号、客单从 1 到 L 编号。 第二行给出 N 个不超过 10 的正整数，第 i 个数字对应第 i 种面需要煮的时间长度（分钟）。 第三行给出 L 个正整数，第 i 个数字对应第 i 份客单所点的面种 —— 这里我们将情况简化为一份客单只要一种面，并且只要一碗，所以只要给出面的种类即可。 一行中数字间以空格分隔。 因为面馆的生意太火爆，我们可以认为所有的客单都是在开门前就预约好的，并且是按预约的顺序递增编号的。此外，与煮面的时长相比，下面、捞面和送餐的时长是可以忽略不计的。

输出

首先按照送单顺序在一行中输出所有客单的编号和送餐时间，格式为 `编号:时间`。 随后在下一行按照编号递增序输出每只篮子煮了多少碗面。 一行的输出之间以 1 个空格分隔，行首尾不得有多余空格。

样例输入

3 5 10
3 5 8
2 1 3 3 1 1 2 1 3 2

样例输出

2:3 5:3 1:5 6:6 3:8 4:8 7:8 8:8 10:13 9:14
3 3 1 1 2