#include <stdio.h>

int main(void)
{
    static char hdr[] = "\000\000\000\033\001@EJL 1284.4\n@EJL     \n\033@";
    fwrite(hdr, sizeof(hdr)-1, 1, stdout);
    return 0;
}