# https://github.com/shakayami/ACL-for-python/wiki from math import gcd import random from collections import Counter def is_probable_prime(n): if n==2: return True if n==1 or n&1==0: return False d=(n-1)>>1 while d&1==0: d>>=1 for k in range(100): a=random.randint(1,n-1) t=d y=pow(a, t, n) while t!=n-1 and y!=1 and y!=n-1: y=(y*y)%n t<<=1 if y!=n-1 and t&1==0: return False return True def _solve(N): if is_probable_prime(N): return N while(True): x=random.randrange(N) c=random.randrange(N) y=(x*x+c)%N d=1 while(d==1): d=gcd(x-y,N) x=(x*x+c)%N y=(y*y+c)%N y=(y*y+c)%N if 11): if N%p==0: while(N%p==0): res[p]+=1 N//=p p+=1 while(N>1): p=_solve(N) while(N%p)==0: res[p]+=1 N//=p return res from itertools import product def get_divisors(factors): divisors = set() for combination in product(*factors): divisor = 1 for factor in combination: divisor *= factor divisors.add(divisor) return sorted(divisors) N = int(input()) d = prime_fact(N) factors = [] for prime, exp in d.items(): factors.append([prime**e for e in range(exp + 1)]) dv = get_divisors(factors) if sum(dv) == 2*N: print('Yes') else: print('No')