#include <bits/stdc++.h>
using namespace std;
int gcd2(int a, int b) {
  if (b == 0) return a;
  return gcd2(b, a % b);
}
int main() {
  int n;
  cin >> n;
  long long sum;
  long long s1 = 0;
  long long s2 = 0;
  int flag = 0;
  vector<int> even;
  vector<int> odd;
  for (int i = 1; i <= n; i++) {
    if (i % 2 == 0) {
      s1 += i;
      even.push_back(i);
    } else {
      s2 += i;
      odd.push_back(i);
    }
  }
  if (s2 % 2 == 0 || gcd2(s1, s2) > 1) {
    cout << "Yes" << endl;
    cout << even.size() << " ";
    for (int i = 0; i < even.size(); i++) cout << even[i] << " ";
    cout << endl;
    cout << odd.size() << " ";
    for (int i = 0; i < odd.size(); i++) cout << odd[i] << " ";
    cout << endl;
    return 0;
  }
  cout << "No" << endl;
  return 0;
}
