// what is matter? never mind. 
#pragma GCC optimize("Ofast")
#pragma GCC optimize("unroll-loops")
//#pragma GCC target("sse,sse2,sse3,sse4,popcnt,abm,mmx,avx,avx2") 
#include<bits/stdc++.h>
#define For(i,a,b) for(int i=(a);i<=(b);++i)
#define Rep(i,a,b) for(int i=(a);i>=(b);--i)
#define ll long long
//#define int long long
#define ull unsigned long long
using namespace std;
inline int read()
{
    char c=getchar();int x=0;bool f=0;
    for(;!isdigit(c);c=getchar())f^=!(c^45);
    for(;isdigit(c);c=getchar())x=(x<<1)+(x<<3)+(c^48);
    if(f)x=-x;return x;
}

#define fi first
#define se second
#define pb push_back
#define mkp make_pair
typedef pair<int,int>pii;
typedef vector<int>vi;
 
#define maxn 500005
#define inf 0x3f3f3f3f

int n;
int pos[maxn],a[maxn];
vector<array<int,4>>arr;

int t[maxn],m;
void op(int a,int b,int c,int d){
	m=0;
	For(i,1,a-1)t[++m]=::a[i];
	For(i,c,d)t[++m]=::a[i];
	For(i,b+1,c-1)t[++m]=::a[i];
	For(i,a,b)t[++m]=::a[i];
	For(i,d+1,n)t[++m]=::a[i];
	For(i,1,n)::a[i]=t[i],pos[::a[i]]=i;
	arr.pb({a,b,c,d});
}
bool chk(){
	For(i,1,n)if(a[i]!=i)return 0;
	return 1;
}

signed main()
{
	n=read();
	For(i,1,n)a[i]=read(); a[n+1]=n+1;
	while(!chk()){
		For(i,1,n+1) pos[a[i]]=i;
		For(i,1,n)
			if(a[i]!=i){
				bool ok=0;
				For(j,i+1,pos[i]-1){
					int x=pos[a[j]+1];
					if(x>pos[i]){
						ok=1;
						op(i,j,pos[i],x-1);
						break;
					}
				}
				assert(ok);
				break;
			}
	}
	cout<<arr.size()<<"\n";
	for(auto [a,b,c,d]:arr)cout<<a<<" "<<b<<" "<<c<<" "<<d<<"\n";
	return 0;
}
/*

*/