結果
| 問題 | 
                            No.2782 メルセンヌ数総乗
                             | 
                    
| コンテスト | |
| ユーザー | 
                             KDKJ
                         | 
                    
| 提出日時 | 2024-06-29 02:41:51 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                RE
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 717 bytes | 
| コンパイル時間 | 172 ms | 
| コンパイル使用メモリ | 82,048 KB | 
| 実行使用メモリ | 70,144 KB | 
| 最終ジャッジ日時 | 2024-06-29 02:41:54 | 
| 合計ジャッジ時間 | 2,467 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 2 RE * 18 | 
ソースコード
from collections import defaultdict
def prime_factorial(n):
    p = []
    i = 2
    while i * i <= n:
        while n%i == 0:
            p.append(i)
            n = n // i
        i += 1
    if n != 1:
        p.append(n)
    return p
def main():
    
    
    N = int(input())
    C = defaultdict(int)
    if N < 3:
        print("No")
        exit()
    for i in range(2,N+1):
        p = prime_factorial(pow(2,i)-1)
        for x in p:
            C[x] += 1
            
    c = Counter(prime_factorial(pow(2,N+1)-1))
    for key in c.keys():
        if c[key] > C[key]:
            print("No")
            exit()
    print("Yes")
    
    
    
    
    
    
    
if __name__ == '__main__':
    main()
            
            
            
        
            
KDKJ