#include<bits/stdc++.h>
using namespace std;
typedef long long int uli;
const int mx=1e5+10;
vector<int>g[mx];
uli c2(uli n){
  return (n*(n-1))/2ll;
}
int main(){
  int t,b,f,c;
  cin>>t>>b>>f>>c;
  int n=t+1;
  uli x,y;
  bool ok=false;
  for(x=0;x<t;x++){
    y=t-x;
    if(x+y==t)
    if(b<=c2(y+1)+c2(x+1))
    if(f<=c2(y+1)-y+c2(x+1)*x)
    if(c<=x*y){
      ok=true;
      break;
    }
  }  
  if(!ok){
    puts("-1");
    return 0;
  }
  for(int i=2;i<=x;i++)g[i-1].push_back(i);
  if(2+x<=n)g[1].push_back(2+x);
  for(int i=2+x;i<1+x+y;i++)g[i].push_back(i+1);
  
  vector<int>lft,rht;
  for(int i=1;i<=1+x;i++)lft.push_back(i);
  for(int i=2+x;i<=1+x+y;i++)rht.push_back(i);

  for(int i=0;i<int(lft.size());i++){
    for(int j=i+2;j<int(lft.size()) && f>0;j++){
      g[lft[i]].push_back(lft[j]);
      f--;
    }
  }
   for(int i=0;i<int(rht.size());i++){
    for(int j=i+2;j<int(rht.size()) && f>0;j++){
      g[rht[i]].push_back(rht[j]);
      f--;
    }
  }
  for(int i=0;i<int(lft.size());i++){
    for(int j=i+2;j<int(lft.size()) && b>0;j++){
      g[lft[j]].push_back(lft[i]);
      b--;
    }
  }
  for(int i=0;i<int(rht.size());i++){
    for(int j=i+2;j<int(rht.size()) && b>0;j++){
      g[rht[j]].push_back(rht[i]);
      b--;
    }
  }
  for(int j=1;j<int(rht.size()) && c>0;j++){
    for(int i=1;i<int(lft.size()) && c>0;i++){
      g[rht[j]].push_back(lft[i]);
      c--;
    }
  }
  printf("%d\n",n);
  for(int i=1;i<=n;i++){
//    cout<<"i="<<i<<endl;
    printf("%d",int(g[i].size()));
    for(int v:g[i])printf(" %d",v+1);
    puts("");
  }
  return 0;
}