#include <stdio.h>
int main() {
int c;
while((c = getchar()) != -1) {
if(c == '\t') {
printf("\\t");
}else if(c == '\b') {
printf("\\b");
}else if(c == '\\') {
printf("\\\\");
}else {
putchar(c);
}
}
}