// 智　神　降　臨
#include <bits/stdc++.h>
using namespace std;
#include <atcoder/all>

//                     /
//                    / (//./\\\)
//               (/////////\\\\\\\)
//             (/////////////\\\\\\\)
//           (//////////////   \\\\\\)
//         (//////////////       \\\\\\)
//        (/////////////           \\\\\)
//        (/////////// /       __  \\\\\\)
//       (//////////--      `** *`  \\\\\)
//       (/////// ____       ---->  \\\\\)
//       (//////    ~        ''      \\\)
//        (///        /     \        \\)
//          \\     /   `---'    \     /
//            (    \ <=------=^*/    )
//              (     ``'''''`      )
//               |\                /|
//               |  `\          /'  |
//               |     ``-----''     \
//             /#/                    \##`\
//         /####/\                   / \####`\
//    /########/  \                /'   \########`\

#define rep(i, n) for (int i = 0; i < int(n); ++i)

int main()
{
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int n;
    cin >> n;
    vector<int> a(n);
    rep(i, n) cin >> a[i];
    int x;
    cin >> x;

    cout << "Yes" << "\n";
    cout << x << " " << x << " " << x << " " << x << "\n";
    cout << x << " " << x << " " << x << " " << x << "\n";
    cout << x << " " << x << " " << x << " " << x << "\n";
    cout << x << " " << x << " " << x << " " << x << "\n";
}