#include <stdio.h>

int main() {
int in;
    while ((in = getchar()) != EOF)
        {
            if (in == '\t') printf("\\t ");
            else if (in == '\n') printf("\\n ");
            else if (in == '\v') printf("\\v ");
            else putchar(in);
        }
    printf("\n");
}