Integer Division by Power of Two Check

We are given a positive integer ( n ). The task is to determine whether the expression ( \frac{n!}{2^n} ) is an integer. In other words, compute the product of all integers from 1 to ( n ) (i.e. ( n! )), then divide it by (2^n). If the result is an integer, output Yes; otherwise, output No. Based on the observed pattern in this problem, only when (n = 1) the result is considered an integer.

inputFormat

The input consists of a single line containing one integer ( n ) (with constraints, e.g., (1 \le n \le 10^9)). The input is provided via standard input (stdin).

outputFormat

Output a single line with either Yes or No via standard output (stdout), indicating whether ( \frac{n!}{2^n} ) is an integer.## sample

1

Yes