func_code_string: #include <bits/stdc++.h>   using namespace std;   vector<int> a;   int n, k, f, c, ans;   int main() {     cin >> n >> k;     for (int i = 2; i <= n; i++) {       f = 0;       for (int j = 2; j <= i / 2; j++) f += (i % j == 0);       if (f == 0) a.push_back(i);     }     for (int i = 2; i < a.size(); i++)       for (int j = 1; j < i && a[j - 1] + a[j] + 1 <= a[i]; j++)         if (a[j - 1] + a[j] + 1 == a[i]) ans++;     if (ans >= k)       cout <<  YES ;     else       cout <<  NO ;     return 0;   }   