#include #include using namespace std; using namespace atcoder; typedef modint998244353 mint; typedef long long ll; void dfs(int n, vector v){ if (n == 1){ if (abs(v[0] - 0.5) < 0.001) cout << v[0] << endl; return; } for (int i=0; i tmp; for (int j=0; j> n; vector a(n); for (int i=0; i> a[i]; } int mode = 0; for (int i=0; i runlength; int var = -1; int cnt = 0; for (int i=0; i 1){ cout << "Yes\n"; return; } } if (m <= 7){ cout << "No\n"; }else{ cout << "Yes\n"; } return; } int main(){ int t; cin >> t; while(t--) solve(); }