#include <bits/stdc++.h>
using namespace std;
int main() {
  int n;
  scanf("%d", &n);
  if (n == 1 || n == 2) {
    cout << "No" << endl;
    return 0;
  }
  if (n == 3) {
    cout << "Yes" << endl;
    cout << 1 << " " << 2 << endl;
    cout << 2 << " " << 1 << " " << 3 << endl;
    return 0;
  }
  if (n == 4) {
    cout << "Yes" << endl;
    cout << 2 << " " << 1 << " " << 3 << endl;
    cout << 2 << " " << 2 << " " << 4 << endl;
    return 0;
  }
  vector<int> odd, even;
  for (int i = 1; i <= n; i++) {
    if (i % 2 == 1) {
      odd.push_back(i);
    } else {
      even.push_back(i);
    }
  }
  cout << "Yes" << endl;
  cout << odd.size();
  for (int i = 0; i < odd.size(); i++) cout << " " << odd[i];
  cout << endl;
  cout << even.size();
  for (int i = 0; i < even.size(); i++) cout << " " << even[i];
  cout << endl;
  return 0;
}
