結果
| 問題 | No.653 E869120 and Lucky Numbers | 
| コンテスト | |
| ユーザー |  vwxyz | 
| 提出日時 | 2024-07-17 03:13:23 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 47 ms / 2,000 ms | 
| コード長 | 464 bytes | 
| コンパイル時間 | 214 ms | 
| コンパイル使用メモリ | 12,544 KB | 
| 実行使用メモリ | 11,008 KB | 
| 最終ジャッジ日時 | 2024-07-17 03:13:26 | 
| 合計ジャッジ時間 | 2,598 ms | 
| ジャッジサーバーID (参考情報) | judge4 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 31 | 
ソースコード
P=list(map(int,list(input())))
def solve():
    if P[-1] in (6,7):
        return False
    while P:
        if all(p==0 for p in P):
            return True
        if P[-1] in (2,3,4):
            P.pop()
            if not P:
                return False
            if P[-1]==0:
                return False
            P[-1]-=1
        else:
            return all(p in (6,7) for p in P)
    return True
if solve():
    ans="Yes"
else:
    ans="No"
print(ans)
            
            
            
        