#include <stdio.h>
int main()
{
printf("%d %d",EOF, NULL);
int c;
char pre = c = getchar();
putchar(c);
while((c = getchar()) != EOF)
{
if( c != ' ' || pre!= ' ' )
{
putchar(c);
}
pre = c;
}
return 0;
}
#include <stdio.h>
int main()
{
printf("%d %d",EOF, NULL);
int c;
char pre = c = getchar();
putchar(c);
while((c = getchar()) != EOF)
{
if( c != ' ' || pre!= ' ' )
{
putchar(c);
}
pre = c;
}
return 0;
}