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