print('grep',readline().replace(/" -e../g,'\n').slice(8))