//#pragma GCC optimize("Ofast")
//#pragma GCC target("avx,avx2,fma")
#include <bits/stdc++.h>
using namespace std;
//#define ll long long
#define ll int
#define fi first
#define se second
#define MOD 1000000007
#define FOR(i,a,b) for (int i = (a);i <= (b);i++)
#define FOD(i,a,b) for (int i = (b);i >= (a);i--)
#define ALL(x) (x).begin(),(x).end()
#define ii pair<int,int>
#define iii pair<int,pair<int,int>>
//const int MOD = 998244853;
const int MAXN = 1e6 + 7;
int h[MAXN],n,m,l[MAXN],r[MAXN];
struct Data{
ll s,x,y,u,v;
};
Data calc(){
vector<ii> q;
FOR(i,1,m){
while(q.size() && q.back().fi >= h[i])q.pop_back();
l[i] = (q.empty() ? 1 : q.back().se + 1);
q.push_back({h[i],i});
}
q.clear();
FOD(i,1,m){
while(q.size() && q.back().fi >= h[i])q.pop_back();
r[i] = (q.empty() ? m : q.back().se - 1);
q.push_back({h[i],i});
}
Data ans = {(ll)-1e9,0,0,0,0};
FOR(i,1,m){
ll S = (r[i] - l[i] + 1) * h[i];
if (ans.s < S)ans = {S,1,l[i],h[i],r[i]};
}
return ans;
}
int main(){
ios_base::sync_with_stdio(false);
cin.tie(0); cout.tie(0);
//freopen("MAXRECT.inp","r",stdin);
//freopen("MAXRECT.out","w",stdout);
cin >> n >> m;
FOR(i,1,m)cin >> h[i];
Data ans = calc();
FOR(i,1,m)h[i] = n - h[i];
// Data f = calc();
//if (ans.s < f.s)ans = {f.s,n - f.u + 1,f.y,n,f.v};
cout << ans.s << '\n' << ans.x << ' ' << ans.y << '\n' << ans.u << ' ' << ans.v;
return 0^0;
}
Ly8jcHJhZ21hIEdDQyBvcHRpbWl6ZSgiT2Zhc3QiKQovLyNwcmFnbWEgR0NDIHRhcmdldCgiYXZ4LGF2eDIsZm1hIikKI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7Ci8vI2RlZmluZSBsbCBsb25nIGxvbmcKI2RlZmluZSBsbCBpbnQKI2RlZmluZSBmaSBmaXJzdAojZGVmaW5lIHNlIHNlY29uZAojZGVmaW5lIE1PRCAxMDAwMDAwMDA3CiNkZWZpbmUgRk9SKGksYSxiKSBmb3IgKGludCBpID0gKGEpO2kgPD0gKGIpO2krKykKI2RlZmluZSBGT0QoaSxhLGIpIGZvciAoaW50IGkgPSAoYik7aSA+PSAoYSk7aS0tKQojZGVmaW5lIEFMTCh4KSAoeCkuYmVnaW4oKSwoeCkuZW5kKCkKI2RlZmluZSBpaSBwYWlyPGludCxpbnQ+CiNkZWZpbmUgaWlpIHBhaXI8aW50LHBhaXI8aW50LGludD4+Ci8vY29uc3QgaW50IE1PRCA9IDk5ODI0NDg1MzsKY29uc3QgaW50IE1BWE4gPSAxZTYgKyA3OwppbnQgaFtNQVhOXSxuLG0sbFtNQVhOXSxyW01BWE5dOwpzdHJ1Y3QgRGF0YXsKICAgIGxsIHMseCx5LHUsdjsKfTsKRGF0YSBjYWxjKCl7CiAgICB2ZWN0b3I8aWk+IHE7CiAgICBGT1IoaSwxLG0pewogICAgICAgIHdoaWxlKHEuc2l6ZSgpICYmIHEuYmFjaygpLmZpID49IGhbaV0pcS5wb3BfYmFjaygpOwogICAgICAgIGxbaV0gPSAocS5lbXB0eSgpID8gMSA6IHEuYmFjaygpLnNlICsgMSk7CiAgICAgICAgcS5wdXNoX2JhY2soe2hbaV0saX0pOwogICAgfQogICAgcS5jbGVhcigpOwogICAgRk9EKGksMSxtKXsKICAgICAgICB3aGlsZShxLnNpemUoKSAmJiBxLmJhY2soKS5maSA+PSBoW2ldKXEucG9wX2JhY2soKTsKICAgICAgICByW2ldID0gKHEuZW1wdHkoKSA/IG0gOiBxLmJhY2soKS5zZSAtIDEpOwogICAgICAgIHEucHVzaF9iYWNrKHtoW2ldLGl9KTsKICAgIH0KICAgIERhdGEgYW5zID0geyhsbCktMWU5LDAsMCwwLDB9OwogICAgRk9SKGksMSxtKXsKICAgICAgICBsbCBTID0gKHJbaV0gLSBsW2ldICsgMSkgKiBoW2ldOwogICAgICAgIGlmIChhbnMucyA8IFMpYW5zID0ge1MsMSxsW2ldLGhbaV0scltpXX07CiAgICB9CiAgICByZXR1cm4gYW5zOwp9CmludCBtYWluKCl7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKGZhbHNlKTsKICAgIGNpbi50aWUoMCk7IGNvdXQudGllKDApOwogICAgLy9mcmVvcGVuKCJNQVhSRUNULmlucCIsInIiLHN0ZGluKTsKICAgIC8vZnJlb3BlbigiTUFYUkVDVC5vdXQiLCJ3IixzdGRvdXQpOwogICAgY2luID4+IG4gPj4gbTsKICAgIEZPUihpLDEsbSljaW4gPj4gaFtpXTsKICAgIERhdGEgYW5zID0gY2FsYygpOwogICAgRk9SKGksMSxtKWhbaV0gPSBuIC0gaFtpXTsKICAgLy8gRGF0YSBmID0gY2FsYygpOwogICAgLy9pZiAoYW5zLnMgPCBmLnMpYW5zID0ge2YucyxuIC0gZi51ICsgMSxmLnksbixmLnZ9OwogICAgY291dCA8PCBhbnMucyA8PCAnXG4nIDw8IGFucy54IDw8ICcgJyA8PCBhbnMueSA8PCAnXG4nIDw8IGFucy51IDw8ICcgJyA8PCBhbnMudjsKICAgIHJldHVybiAwXjA7Cn0=