#include using namespace std; using ll = long long; using ld = long double; template using V = vector; using VI = V; using VL = V; using VS = V; template using PQ = priority_queue, greater>; using graph = V; template using w_graph = V>>; #define FOR(i,a,n) for(int i=(a);i<(n);++i) #define eFOR(i,a,n) for(int i=(a);i<=(n);++i) #define rFOR(i,a,n) for(int i=(n)-1;i>=(a);--i) #define erFOR(i,a,n) for(int i=(n);i>=(a);--i) #define all(a) a.begin(),a.end() #define rall(a) a.rbegin(),a.rend() #define inside(h,w,y,x) (unsigned(y) inline bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; }return false; } template inline bool chmin(T& a, const T& b) { if (a > b) { a = b; return true; }return false; } inline void init() { cin.tie(nullptr); cout.tie(nullptr); ios::sync_with_stdio(false); cout << fixed << setprecision(15); } template inline istream& operator>>(istream& is, V& v) { for (auto& a : v)is >> a; return is; } template inline istream& operator>>(istream& is, pair& p) { is >> p.first >> p.second; return is; } template inline V vec(size_t a) { return V(a); } template inline V defvec(T def, size_t a) { return V(a, def); } template inline auto vec(size_t a, Ts... ts) { return V(ts...))>(a, vec(ts...)); } template inline auto defvec(T def, size_t a, Ts... ts) { return V(def, ts...))>(a, defvec(def, ts...)); } template inline void print(const T& a) { cout << a << "\n"; } template inline void print(const T& a, const Ts&... ts) { cout << a << " "; print(ts...); } template inline void print(const V& v) { for (int i = 0; i < v.size(); ++i)cout << v[i] << (i == v.size() - 1 ? "\n" : " "); } template inline void print(const V>& v) { for (auto& a : v)print(a); } template inline constexpr const T& cumsum(const V& a, int l, int r) { return 0 <= l && l <= r && r < a.size() ? a[r] - (l == 0 ? 0 : a[l - 1]) : 0; }//[l,r] template inline constexpr const T& min(const V& v) { return *min_element(all(v)); } template inline constexpr const T& max(const V& v) { return *max_element(all(v)); } template class BinaryIndexedTree { int n; vector dat; public: BinaryIndexedTree(int n) : n(n), dat(n + 1) {}; void add(int i, T a) { for (++i; i <= n; i += i & -i)dat[i] += a; } T sum(int r) {// sum of [0,r) T res = 0; for (; r; r -= r & -r)res += dat[r]; return res; } T sum(int l, int r) {// sum of [l,r) if (l < 0 || n < r || l > r)return 0; return sum(r) - sum(l); } }; int main() { init(); int n; cin >> n; VI p(n), inv(n); FOR(i, 0, n) { cin >> p[i]; --p[i]; inv[p[i]] = i; } VI x, y; BinaryIndexedTree bit(n); int Min = 0; FOR(i, 0, n) { bool First = ~bit.sum(0, inv[Min]) & 1; bool Second = i + 1 < n && (~bit.sum(0, inv[i + 1]) & 1); if (!(First || Second)) { print("No"); return 0; } if (!First || (First && Second && inv[i + 1] > inv[Min])) { x.push_back(i + 1); y.push_back(bit.sum(0, inv[i + 1])); bit.add(inv[i + 1], 1); } else { x.push_back(Min); y.push_back(bit.sum(0, inv[Min])); bit.add(inv[Min], 1); Min = i + 1; } } print("Yes"); FOR(i, 0, n)print(x[i] + 1, y[i] + 1); return 0; }