#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define ll long long
#define rep(i,a,b) for(int i=(a);i<(b);i++)
#define repl(i,a,b) for(ll i=(a);i<(b);i++)
#define all(a) (a).begin(),(a).end()

template <typename T> bool chmin(T &a,T b){if(a>b){a=b;return true;} return false;}
template <typename T> bool chmax(T &a,T b){if(a<b){a=b;return true;} return false;}

int main(){
  int n; cin >> n;
  rep(i,0,n){
    int a; cin >> a;
  }
  int x; cin >> x;
  cout << "Yes" << endl;
  rep(i,0,4){
    rep(i,0,4){
      cout << x << " ";
    }
    cout << endl;
  }
}