main(i){while(i<16002)putchar(i++-8001?57:10);}