for(s='';$=readline();)s+=$+'#' for(;m=/(\d+): *#/.exec(s)[1];s=s.replace(eval('/\\b'+m+'\\b/g'),''))print(m)
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page