#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> PII;
const int N=1919810;
int n,m;
int a[N],pos[N];
// map<int,int> flag,mp,ans;
int main()
{
    cin>>n;
    for(int i=1;i<=n;i++) scanf("%d",&a[i]);
    for(int i=1;i<=n;i++) pos[a[i]]=i;
    int ans=n-1;
    while(ans>0&&pos[ans]<pos[ans+1]) ans--;
    cout<<ans<<" "<<ans<<endl;
    int now=0;
    for(int i=ans;i>0;i--){
        printf("%d 1\n",now+pos[i]);
        now++;
    }
}