题目描述

算术基本定理的最早证明是由欧几里得给出的，定理是这样子的。 任何一个大于1的自然数N，N=p1^k1 * p2^k2 * ......* pn^kn 。其中p1 定义：D(x)=ln(k1k2...*kn)-ln(2) 。 ln(x)即对x取对数。（以底数e=2.718281828⋯）

输入格式

输入若干行，每行一个正整数x (x在 long 范围内且x>1） 总行数T≤10

输出格式

若D(x)≥0，输出"yes",否则输出"no"。

4
18
30

yes
yes
no