{"trustable":false,"sections":[{"title":"","value":{"format":"MD","content":"Bob thinks 4 and 7 are lucky digits! He defines a number as lucky if it can be represented as the sum of one or more of these lucky digits. For example, he considers the following numbers to be lucky:\n- 7 \u003d 7\n- 18 \u003d 7 + 7 + 4\n- 11 \u003d 7 + 4\n- 14 \u003d 7 + 7\n\nYou are given q queries, where each query consists of a long integer denoting n. For each query, print Yes on a new line if n is a lucky number; otherwise, print No."}},{"title":"Input","value":{"format":"MD","content":"The first line contains an integer denoting q. Each of the q subsequent lines contains a long integer n describing the value of for a query."}},{"title":"Constraints","value":{"format":"MD","content":"- 1 \u003c\u003d q \u003c\u003d 100\n- 1\u003c\u003d n\u003c\u003d 10\u003csup\u003e16\u003c/sup\u003e"}},{"title":"Output","value":{"format":"MD","content":"For each query, print Yes on a new line if n is a lucky number; otherwise, print No."}},{"title":"Sample Input","value":{"format":"MD","content":"4\n1\n4\n11\n17"}},{"title":"Sample Output","value":{"format":"MD","content":"No\nYes\nYes\nNo"}}]}