paste bin

#include <cstdio>

int main(void)
{
    int q,x,i;
    int notLucky[]={1,2,3,5,6,9,10,13,17};
    int N=sizeof(notLucky)/sizeof(notLucky[0]);
    scanf("%d",&q);
    while(q--)
    {
        scanf("%d",&x);
        for(i=0;i<N;i++)
            if(x==notLucky[i])
                break;
        if(i==N)
            printf("Yes\n");
        else
            printf("No\n");
    }
    return 0;
}