print'grep'+raw_input()[7:].replace('" -e "','\n')
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page