import re
a=[]
while (1):
    for m in re.finditer(r"-?\d+", input()):
        a+=[int(m.group())]
    print(f'a: {a}')