char c[9];main(){read(0,c,99)&1?c[13]=126,c[30]=0,printf("%s\xc5\xa9\xc5\xa9\xc5\xa9%s",c,c+33):printf(" \xe2\x80\x97^\xe2\x80\x97%s",c+36,write(1,c,c[14]=32));}
Note that non-ascii characters in the above source code will be escaped (such as \x9f).