#include <stdio.h>
main() {
  char buffer[256];
  FILE *ieee;
  ieee = fopen("IEEE","r+");
  fputs("RESET\n",ieee);	
  fputs("REMOTE 16\n",ieee);
  fputs("OUTPUT 16;Z1X\n",ieee);
  fputs("ENTER 16\n",ieee);     fflush(ieee);
  fgets(buffer,256,ieee);
  printf("%s",buffer);
}