print raw_input('grep "').replace('" -e "','\n')[9:]