남미예선

10개의 팀이 완전 라운드로빈 대회를 진행한다. 서로 다른 두 팀은 정확히 한 번 경기하므로, 각 팀은 9경기를 치르고 전체 경기 수는 45경기이다.

한 경기에서 승리한 팀은 3점, 무승부한 두 팀은 각각 1점, 패배한 팀은 0점을 얻는다.

대회가 끝난 뒤 10개 팀의 최종 승점 $p_1,p_2,\cdots,p_{10}$만 남아 있다. 주어진 승점이 실제 45경기의 결과로 만들어질 수 있는지 판정하여라.

입력은 다음과 같은 형식으로 주어진다.

$T$ $\mathrm{case}_1$ $\mathrm{case}_2$ $\vdots$ $\mathrm{case}_T$

각 케이스는 다음과 같은 형식으로 주어진다.

$p_1\ p_2\ \cdots\ p_{10}$

각 테스트 케이스에 대해, 주어진 승점을 실제 경기 결과로 만들 수 있다면 YES, 그렇지 않다면 NO를 출력한다.

• $1 \leq T \leq 200$.
• $0 \leq p_i \leq 27$ ($1 \leq i \leq 10$).
• 입력으로 주어지는 모든 값은 정수이다.