main=putStr"\xe2\x88\x9e"