#include <bits/stdc++.h>
using namespace std;
vector<int> v;
int main() {
  int t, n, i, j;
  scanf("%d", &n);
  if (n < 3)
    printf("No\n");
  else {
    printf("Yes\n");
    printf("%d", (n + 1) / 2);
    for (i = 1; i <= n; i += 2) {
      printf(" %d", i);
    }
    printf("\n");
    printf("%d", n / 2);
    for (i = 2; i <= n; i += 2) {
      printf(" %d", i);
    }
    printf("\n");
  }
  return 0;
}
