func_code_string: #include <bits/stdc++.h>   #pragma GCC target( avx2 )   #pragma GCC optimization( O3 )   #pragma GCC optimization( unroll-loops )   int dx[] = {0, 0, 1, -1, 1, -1, 1, -1};   int dy[] = {1, -1, 0, 0, -1, 1, 1, -1};   const double PI = acos(-1), EPS = 1e-7;   const int OO = 0x3f3f3f3f, N = 1e7 + 5, mod = 1e9 + 7;   using namespace std;   long long gcd(long long x, long long y) { return (!y) ? x : gcd(y, x % y); }   long long lcm(long long x, long long y) { return ((x / gcd(x, y)) * y); }   void file() {     ios::sync_with_stdio(0);     cin.tie(0);     cout.tie(0);   }   vector<long long> v;   int main() {     std::ios_base::sync_with_stdio(0);     cin.tie(NULL);     file();     long long n, d;     long long x, y;     cin >> n >> d;     while (n--) {       cin >> x >> y;       if (x == d || y == d || x == 7 - d || y == 7 - d) {         cout <<  NO  <<   n ;         return 0;       }     }     cout <<  YES  <<   n ;     return 0;   }   