A.py

i=raw_input().split(' ')
n,m,k=int(i[0]),int(i[1]),float(i[2])

old_skill=[]
new_skill=[]

for i in range(n):
    data=raw_input().split(' ')
    old_skill.append({'name':data[0],'exp':int(data[1])})
for i in range(m):
    new_skill.append({'name':raw_input(),'exp':0})
old_skill.sort(lambda a,b:cmp(a['exp'],b['exp']),reverse=True)

old_skill=[{'name':i['name'], 'exp':int(i['exp']*k)} for i in old_skill]

z=int((n+m)*k)

trans_skill=[]
for i in old_skill:
    if i['exp']<100:
        old_skill.remove(i)

while True:
    if len(old_skill)+len(new_skill)==z:
        break
    x=old_skill.pop()
    if x in new_skill:
        new_skill.remove(x)
trans_skill=old_skill+new_skill

trans_skill.sort(lambda a,b:cmp(a['name'],b['name']))

print z

for i in trans_skill:
    print i['name']+' '+str(i['exp'])