#include <stdio.h>
main()
{
 int ch;
 ch=getchar();
 while(ch != EOF){
  if(ch == '\t'){
   putchar('\\');
   putchar('t');
  }
  else if(ch == '\b'){
   putchar('\\');
   putchar('b');
  }
  else if(ch == '\\'){
   putchar('\\');
   putchar('\\');
  }
  else
   putchar(ch);
 ch=getchar();
 }
}

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