#include <stdio.h>

int main()
{

putchar (EOF);

return(0);
}