%{
#include <stdio.h>
int line_number = 1;
%}
%option noyywrap
%%
\n { printf("%d: ", line_number++); ECHO; }
. { ECHO; }
%%
int main() {
FILE *file = fopen("lines.txt","r");
if (!file){
printf("ERROR");
return 1;
}
yyin=file;
yylex();
fclose(file);
return 0;
}
JXsKI2luY2x1ZGUgPHN0ZGlvLmg+CmludCBsaW5lX251bWJlciA9IDE7CiV9CiVvcHRpb24gbm95eXdyYXAKJSUKXG4gICAgICAgICAgeyBwcmludGYoIiVkOiAiLCBsaW5lX251bWJlcisrKTsgRUNITzsgfQouICAgICAgICAgICB7IEVDSE87IH0KJSUKaW50IG1haW4oKSB7CiAgIEZJTEUgKmZpbGUgPSBmb3BlbigibGluZXMudHh0IiwiciIpOwogICBpZiAoIWZpbGUpewogICAgICAgcHJpbnRmKCJFUlJPUiIpOwogICAgICAgcmV0dXJuIDE7CiAgIH0KICAgeXlpbj1maWxlOwogICB5eWxleCgpOwogICBmY2xvc2UoZmlsZSk7CiAgIHJldHVybiAwOwp9