#include<stdio.h>
int main (){
  int c, i = 0;
  while((c = getchar()) != EOF){
    if(c == ' ') ++i;
    if (c == ' ' && i > 1) putchar('\b');
    if (c != ' ') i = 0;
    putchar(c);
  }
}