Codeforcesの問題見てるとサンプルに1337という数字がよく出てくるけど由来は何なの?