#include <bits/stdc++.h>
using namespace std;

struct Rect{
  int64_t x,y,w,h;

  bool operator<(Rect const &a)const{
    return make_tuple(x,y,w,h)<make_tuple(a.x,a.y,a.w,a.h);
  }
};

void generate(int n,Rect const &bound,vector<Rect> &res,mt19937_64 &twist){
  priority_queue<pair<int64_t,Rect>> todo;
  todo.emplace(INT64_MAX,bound);

  assert(n);
  assert(n<=bound.w*bound.h);

  while (res.size()+todo.size()<n){
    Rect const b=todo.top().second;
    todo.pop();

    if (b.w==1 and b.h==1){
      res.emplace_back(b);
      continue;
    }

    if (twist()%2==0 and b.w!=1 or b.h==1){
      int64_t part=1+(twist()%(b.w-1));
      todo.emplace((int64_t)twist(), Rect{b.x,b.y,part,b.h});
      todo.emplace((int64_t)twist(), Rect{b.x+part,b.y,b.w-part,b.h});
    }else{
      int64_t part=1+(twist()%(b.h-1));
      todo.emplace((int64_t)twist(), Rect{b.x,b.y,b.w,part});
      todo.emplace((int64_t)twist(), Rect{b.x,b.y+part,b.w,b.h-part});
    }
  }

  while (not todo.empty()){
    res.emplace_back(todo.top().second);
    todo.pop();
  }
}

int64_t rss(char const *s){
  int64_t res;
  stringstream ss(s);
  assert(ss>>res);
  return res;
}

int main(int argc,char **argv){
  if (argc!=3 and argc!=5){
    cerr<<"Usage: "<<argv[0]<<" $SEED n (w h)"<<endl;
    return 1;
  }

  int64_t seed=rss(argv[1]);
  mt19937_64 twist(seed);

  int const n=rss(argv[2]);

  int64_t width,height;
  if (argc==5){
    width=rss(argv[3]);
    height=rss(argv[4]);
  }else{
    width=10+(twist()%(100'000'000ll-10));
    height=10+(twist()%(100'000'000ll-10));
  }
  vector<Rect> res;
  generate(n,Rect{0,0,width,height},res,twist);
  shuffle(res.begin(),res.end(),twist);

  bool mutate=(twist()%2);
  if (mutate){
    for (int z=4; z--;){
      int id=twist()%n;
      switch (twist()%4){
        case 0: res[id].x+=(twist()%2)*2-1; break;
        case 1: if (res[id].w!=1) res[id].w+=(twist()%2)*2-1; break;
        case 2: res[id].y+=(twist()%2)*2-1; break;
        case 3: if (res[id].h!=1) res[id].h+=(twist()%2)*2-1; break;
      }
    }
  }

  cout<<res.size()<<endl;
  for (auto const &r: res){
    cout<<r.x<<" "<<r.y<<" "<<r.w<<" "<<r.h<<endl;
  }
}