#include <stdio.h>

main() {
  FILE *fp;
  int c;
  char fname[1024];
  int i;
  printf("\\def\\at{\\catcode`@=11{@}\\catcode`@=12 } \n");
  while ((c=getchar()) != EOF) {
    if (c != '@') {
       putchar(c);
    }else{
       i = 0;
       while (1) {
         c = getchar();
	 if (c <= ' ') {
	    fname[i]='\0';
	    break;
	 }
	 fname[i++] = c;
       }
       fp = fopen(fname,"r");
       if (fp == (FILE *)NULL) {
          fprintf(stderr,"I cannot find the file %s.\n",fname);
       }else{
          printf("\\begin{verbatim}\n");
          while ((c =fgetc(fp)) != EOF) putchar(c);
          printf("\n\\end{verbatim}\n");
       }
    }
  }
  exit(0);
}