#include <bits/stdc++.h>
using namespace std;
template <typename T>
bool get_int(T &x) {
  char t = getchar();
  bool neg = false;
  x = 0;
  for (; (t > '9' || t < '0') && t != '-' && t != EOF; t = getchar())
    ;
  if (t == '-') neg = true, t = getchar();
  if (t == EOF) return false;
  for (; t <= '9' && t >= '0'; t = getchar()) x = x * 10 + t - '0';
  if (neg) x = -x;
  return true;
}
template <typename T>
void print_int(T x) {
  if (x < 0) putchar('-'), x = -x;
  short a[20] = {}, sz = 0;
  while (x > 0) a[sz++] = x % 10, x /= 10;
  if (sz == 0) putchar('0');
  for (int i = sz - 1; i >= 0; i--) putchar('0' + a[i]);
}
const int inf = 0x3f3f3f3f;
const long long Linf = 1ll << 61;
const double pi = acos(-1.0);
long long a, b;
int main() {
  (get_int(a) && get_int(b));
  long long sum = 0;
  int n = 0;
  for (int i = 1; i <= 100000; i++) {
    sum += i;
    if (sum > a + b) {
      n = i - 1;
      break;
    }
  }
  vector<int> na, nb;
  for (int i = n; i >= 1; i--) {
    if (i <= a) {
      a -= i;
      na.push_back(i);
    } else
      nb.push_back(i);
  }
  printf("%d\n", (int)na.size());
  for (auto &v : na) printf("%d ", v);
  puts("");
  printf("%d\n", (int)nb.size());
  for (auto &v : nb) printf("%d ", v);
  puts("");
  return 0;
}
