結果
| 問題 | No.653 E869120 and Lucky Numbers | 
| コンテスト | |
| ユーザー |  tktk_snsn | 
| 提出日時 | 2020-12-19 00:34:18 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                RE
                                 
                             | 
| 実行時間 | - | 
| コード長 | 634 bytes | 
| コンパイル時間 | 141 ms | 
| コンパイル使用メモリ | 12,672 KB | 
| 実行使用メモリ | 10,752 KB | 
| 最終ジャッジ日時 | 2024-09-21 09:31:49 | 
| 合計ジャッジ時間 | 2,121 ms | 
| ジャッジサーバーID (参考情報) | judge1 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 28 WA * 2 RE * 1 | 
ソースコード
def after78(p):
    if p[-1] == "1":
        return len(p) == 1
    while p:
        x = p.pop()
        if not x in "67":
            return False
    return True
def main():
    p = input()
    if len(p) == 1:
        return False
    p = list(p)
    # 一桁目は3, 4のどっちか
    if not p[-1] in "234":
        return False
    p.pop()
    while p:
        x = p.pop()
        if x == "1":
            return len(p) == 0
        if x in "78":
            return after78(p)
        if not x in "345":
            return False
    return True  # たぶんこここない
if main():
    print("Yes")
else:
    print("No")
            
            
            
        