Пары в университете только что закончились, и Иван решил пойти в местное кафе CFK поесть жареной курочки.
В CFK лакомство продается маленькими и большими порциями. В маленькой порции 3 куска курицы, в большой — 7 кусков. Иван хочет съесть ровно x кусков. Он интересуется, может ли он купить столько курицы.
Формально, Иван хочет узнать, можно ли выбрать два неотрицательных целых числа a и b такие, что при покупке a маленьких порций и b больших порций он в сумме получит ровно x кусков.
Помогите Ивану справиться с этим вопросом для нескольких вариантов значений x!
Выходные данные
Выведите n строк. В i-й строке выведите YES, если Иван может купить ровно xi кусков. В противном случае выведите NO.
Примечание
В первом примере Иван может купить две маленьких порции.
Во втором примере Иван не может купить ровно 5 кусков, так как маленькой порции недостаточно, а две маленькие или одна большая — уже слишком много.
Примеры
| № | Входные данные | Выходные данные |
|
1
|
2
6
5
|
YES
NO
|