line = raw_input()
test = 0
while line != "0 0":
test += 1
d = {'0':0,'1':0,'2':0,'3':0,'4':0,'5':0,'6':0,'7':0,'8':0,'9':0}
a = map(int,line.split())
for i in xrange(min(a),max(a)+1):
for c in str(i):
d[c] += 1
pairs = d.items()
pairs.sort()
print "% (test, " ".join(["%s:%s" % (k,v) for k,v in pairs]))
line = raw_input()
bGluZSA9IHJhd19pbnB1dCgpCnRlc3QgPSAwCiAKd2hpbGUgbGluZSAhPSAiMCAwIjoKICAgIHRlc3QgKz0gMQogICAgZCA9IHsnMCc6MCwnMSc6MCwnMic6MCwnMyc6MCwnNCc6MCwnNSc6MCwnNic6MCwnNyc6MCwnOCc6MCwnOSc6MH0KICAgIGEgPSBtYXAoaW50LGxpbmUuc3BsaXQoKSkKICAgIGZvciBpIGluIHhyYW5nZShtaW4oYSksbWF4KGEpKzEpOgogICAgICAgIGZvciBjIGluIHN0cihpKToKICAgICAgICAgICAgZFtjXSArPSAxCiAgICBwYWlycyA9IGQuaXRlbXMoKQogICAgcGFpcnMuc29ydCgpICAgICAgICAKICAgIHByaW50ICIlICh0ZXN0LCAiICIuam9pbihbIiVzOiVzIiAlIChrLHYpIGZvciBrLHYgaW4gcGFpcnNdKSkKICAgIGxpbmUgPSByYXdfaW5wdXQoKQ==