#include // #include using namespace std; // using namespace atcoder; #define rep(i, a, n) for(int i = a; i < n; i++) #define rrep(i, a, n) for(int i = a; i >= n; i--) #define inr(l, x, r) (l <= x && x < r) #define ll long long #define ld long double // using mint = modint1000000007; // using mint = modint998244353; constexpr int IINF = 1001001001; constexpr ll INF = 1e18; template void chmax(t&a,u b){if(a void chmin(t&a,u b){if(b> n; vector a(n); rep(i, 0, n){ cin >> a[i]; a[i]--; } int x; cin >> x; cout << "Yes" << endl; rep(i, 0, 4){ rep(j, 0, 4){ cout << x << ' '; } cout << endl; } return 0; }