%{
#include <stdio.h>
%}
%%
[ \n\t]+ fprintf(yyout, " ");
. fprintf(yyout, "%s", yytext);
%%
int main() {
extern FILE *yyin, *yyout;
yyin = fopen("Input.txt", "r");
yyout = fopen("Output.txt", "w");
yylex();
return 0;
}
JXsKI2luY2x1ZGUgPHN0ZGlvLmg+CiV9CgolJQpbIFxuXHRdKyAgICBmcHJpbnRmKHl5b3V0LCAiICIpOwouICAgICAgICAgIGZwcmludGYoeXlvdXQsICIlcyIsIHl5dGV4dCk7CiUlCgppbnQgbWFpbigpIHsKICAgIGV4dGVybiBGSUxFICp5eWluLCAqeXlvdXQ7CiAgICB5eWluID0gZm9wZW4oIklucHV0LnR4dCIsICJyIik7CiAgICB5eW91dCA9IGZvcGVuKCJPdXRwdXQudHh0IiwgInciKTsKICAgIHl5bGV4KCk7CiAgICByZXR1cm4gMDsKfQ==