for(s='';$=readline();)s+=$+'#'
for(;m=/(\d+): *#/.exec(s)[1];s=s.replace(eval('/\\b'+m+'\\b/g'),''))print(m)