题目描述

Ivan 在大学的课程刚刚结束，现在他想去当地的 CFK 咖啡馆吃点炸鸡。

CFK 出售小份和大份的鸡块。一份小份含有 $3$ 块鸡肉，一份大份含有 $7$ 块鸡肉。Ivan 想要吃恰好 $x$ 块鸡肉。现在他想知道是否能买到正好这个数量的鸡肉。

正式地说，Ivan 想知道是否可以选择两个非负整数 $a$ 和 $b$，使得 $a$ 份小份和 $b$ 份大份中恰好有 $x$ 块鸡肉。

请你帮助 Ivan 对若干个值 $x$ 回答这个问题。

输入格式

第一行包含一个整数 $n$（$1\leq n\leq 100$），表示测试用例的数量。

接下来的第 $i$ 行包含一个整数 $x_i$（$1\leq x_i\leq 100$），表示 Ivan 想要吃的鸡块数量。

输出格式

输出 $n$ 行，对于第 $i$ 个输入，如果 Ivan 能买到恰好 $x_i$ 块鸡肉，输出 YES；否则输出 NO。

说明/提示

在第一个样例中，Ivan 可以购买两份小份。

在第二个样例中，Ivan 无法买到恰好 $5$ 块鸡肉，因为一份小份不够，而两份小份或一份大份太多。

由 ChatGPT 5 翻译

样例

2
6
5

YES
NO