#include using namespace std; #include using namespace atcoder; int main() { int N; cin >> N; vector P(N); for (int i = 0; i < N; i++) { cin >> P.at(i); P.at(i)--; } vector Q(N); for (int i = 0; i < N; i++) { Q.at(P.at(i)) = i; } fenwick_tree fw(N); vector X(N), Y(N); for (int i = 0; i < N - 1; i++) { int y1 = fw.sum(0, Q.at(i)); int y2 = fw.sum(0, Q.at(i + 1)); if (y1 % 2 != 0 && y2 % 2 != 0) { cout << "No" << endl; return 0; } if (y2 % 2 == 0) { if (y1 % 2 != 0 || Q.at(i) < Q.at(i + 1)) { swap(Q.at(i), Q.at(i + 1)); swap(y1, y2); } } X.at(i) = P.at(Q.at(i)); Y.at(i) = y1; fw.add(Q.at(i), 1); } X.back() = P.at(Q.back()); Y.back() = fw.sum(0, Q.back()); if (Y.back() % 2 != 0) { cout << "No"; return 0; } cout << "Yes "; for (int i = 0; i < N; i++) { cout << X.at(i) + 1 << " " << Y.at(i) + 1 << " "; } }