1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
//#include<stdio.h>
#include<iostream>
#include<vector>
//#include<string>
//#include<map>
//#include<complex>
//#include<stack>
//#include<list>
//#include<bitset>
//#include<set>
//#include<iterator>
#include<cmath>
//#include<queue>
//#include<time.h>
//#include<string.h>
//#include<fstream>
//#include<sstream>
#include<algorithm>

using namespace std;

#define REP( x,y ) for( int x=0; x<(y); x++ )
#define FORD( x,y,z ) for( int x=y; x>=(z); x-- )
#define FOR(x,b,e) for( int x = b; x <= (e); ++x )
#define SIZE(v) (int)v.size()
#define ALL(c) c.begin(),c.end()
#define VAR(v,n) __typeof(n) v=(n)
#define FOREACH(i,c) for( VAR(i,c.begin());i!=c.end();++i )
#define PB push_back
#define MP make_pair
#define ST first
#define ND second
#define WRITE( V ){ FOREACH(it,V) cout << *it << ", "; cout << endl; }
#define WRITE_ALL(V,s,t) { cout << s << endl;  REP( i,SIZE(V) ){ cout  << i+1 << " ---- ";  FOREACH(it,V[i]) cout << *it+t << ", "; cout << endl;     } }
#define WRP(p) p.ST << " " << p.ND
#define CLEAR( dst,quant ) memset( dst,0, (quant)*sizeof( __typeof(*dst) ) );
#define WAR if( show_help )
#define ENDL(x) REP(crow,(x)) cout << endl;

const bool show_help = 0;
const int INF = 1000000001;
int N,M,K,a,b,c,y,t,w,l_zest;
const long double EPS = 1e-11;
typedef vector<double> VD;
typedef pair<double,int> PDI;
typedef pair<double, double> PDD;
typedef vector<bool> VB;
typedef vector<int> VI;
typedef vector< VI > VVI;
typedef pair<int,int> PII;
typedef long long LL;
typedef pair<LL,LL> PLL;
typedef vector<LL> VLL;
typedef vector<VLL> VVLL;
typedef vector<PII> VPII;

// Struktura umozliwia dodawanie i usuwanie odcinków oraz sprawdzanie obszaru
// przez nie pokrywanego
// Strukturka przeznaczona do pokrywania przedzialow zbioru liczb calkowitych, aby pokryc przedzial [a,b] liczb calkowitych, to trzeba dodac ODCINEK [a-1,b]
// lub [a,b+1]  - bo t ofunkcje z CoverTree, w zaleznosci od wyboru, nalezy pozniej odpowiednio przesuwac argumenty wywolan funkcji Add,Find,FindSum
// Aby dodac do kazdej z liczb z przedzialu [a,b] liczbe K nalezy wywolac funkcje Add( a,b,K ) - wtedy dodajemy K odcinkow do drzewa
// Aby znalezc sume wartosci na przedziale [a,b] nalezy wywolac funkcje FindSum( a,b ) // wyszukiwanie sumy dla danego przedzialu dziala w czasie O(lgN) !! Hurra!
// Aby znaleźc najwieksza wartosc na przedziale [a,b] nalezy wywolac funkcje getMaxStat(a,b), Zwraca PII - wartosc,index, gdzie index - to index zmiejszony o 1 - w tym drzewie wszystkie indeksowania
// do funkcji nalezy przesylac tak, jakbysmy praowali na tablicy 1,2,3,...,N, a nie liczone od 0. Jezeli jest wiecej niz jeden element o maxymalnej wartosci to zwracam mniejszy z indexow
// sqr[i] przechowuje sume kwadratow elementow z danego przedzialu
struct CoverITree{
	// UWAGA, liczbiue calkowitej a odpowiada przedzial [a-1,a]
	#define nr ( wp + wk + 1 ) >> 1
	int *el, *ma, *sum,s,p,k,il;
	PII *maxstat;
	PII *minstat;
	CoverITree( int size ){ 
		el = new int[ s = 1 << (size+1) ];  
		ma = new int[s];
		sum = new int[s];
		maxstat = new PII[s];
		minstat = new PII[s];
		REP(x,s) el[x] = ma[x] = sum[x] = 0;
		FOR(x,s/2,s-1){
			maxstat[x].ST = minstat[x].ST = 0;
			maxstat[x].ND = minstat[x].ND = x - s/2; // tu mozna dodac 1 aby indeksowanie bylo od 1 a nie od zera, w funkcjach to nie bedzie mialo zadnego wplywu
		}
		FORD( x,s/2-1,1 ){ // liniowo ide od tylu drzewa i przypisuje indexy
			if( maxstat[2*x].ST >= maxstat[2*x+1].ST ){
				maxstat[x].ST = maxstat[2*x].ST;
				maxstat[x].ND = maxstat[2*x].ND;
			}
			else{
				maxstat[x].ST = maxstat[2*x+1].ST;
				maxstat[x].ND = maxstat[2*x+1].ND;
			}
			
			if( minstat[2*x].ST <= minstat[2*x+1].ST ){
				minstat[x].ST = minstat[2*x].ST;
				minstat[x].ND = minstat[2*x].ND;
			}
			else{
				minstat[x].ST = minstat[2*x+1].ST;
				minstat[x].ND = minstat[2*x+1].ND;
			}
		}
	}
	
	~CoverITree(){
		delete[] el;
		delete[] ma;
		delete[] sum;
		delete[] maxstat;
		delete[] minstat;
	}
	
	void Mark( int wp, int wk, int g ){
		if( k <= wp || p >= wk ) return;		
		if( p <= wp && k >= wk ){
			el[g] += il;
		} 
		else{
			Mark( wp, nr, 2*g );
			Mark( nr,wk,2*g+1 );
			int su = sum[2*g] + sum[2*g+1];
		}		
		ma[g] = el[g] > 0 ? wk - wp : ( wp == wk-1 ? 0 : ma[2*g] + ma[2*g + 1] );
		
		if( 2*g < s ){ // to jest czesc do wyznaczania maksymalnego elementu w drzewie
			int M = ( maxstat[2*g].ST >= maxstat[2*g+1].ST ? 2*g : 2*g+1 );
			maxstat[g].ST = maxstat[M].ST + el[g];
			maxstat[g].ND = maxstat[M].ND; 
		}
		else maxstat[g].ST += il; // jesli jest lisciem to wystarczy, ze dodam do niego wartosc nowego pokrywajacego go przedzialu
		
		if( 2*g < s ){ // to jest czesc do wyznaczania minimalnego elementu w drzewie
			int M = ( minstat[2*g].ST <= minstat[2*g+1].ST ? 2*g : 2*g+1 );
			minstat[g].ST = minstat[M].ST + el[g];
			minstat[g].ND = minstat[M].ND;			
		}
		else minstat[g].ST += il; // jesli jest lisciem to wystarczy, ze dodam do niego wartosc nowego pokrywajacego go przedzialu
		
		if( p <= wp && k >= wk ) sum[g] += il*(wk-wp); // to jest czesc do wyznaczania sum na danym przedziale
		else sum[g] += il*( min(k,wk) - max(p,wp) );
	}
	
	void Add( int p1, int k1, int i1 ){
		p = p1-1;
		k = k1;
		il = i1;
		Mark( 0, s/2,1 );
	}
	
	int F( int wp, int wk, int g ){
		if( p >= wk || k <= wp ) return 0;
		
		if( el[g] > 0 ) return min( k,wk ) - max( p,wp );
		
		if( p <= wp && k >= wk ) return ma[g];
		
		return (wp == wk-1) ? 0 : ( F( wp , nr , 2*g ) + F( nr , wk , 2*g + 1) );		
	}
	
	// funkcja zwracajaca pokrycie zbioru
	int Find( int p1, int k1 ){
		p = p1-1;
		k = k1;
		return F( 0, s/2, 1 );
	}
	
	int S( int wp, int wk, int g ){
		if( p >= wk || k <= wp )return 0;
		if( p <= wp && k >= wk )return sum[g];	
		return (wp == wk-1) ? el[g] : ( S( wp , nr , 2*g ) + S( nr , wk , 2*g + 1) + el[g]*( min(k,wk) - max(p,wp)  ) );		
	}
	
	int FindSum( int p1, int k1 ){
		p = p1-1;
		k = k1;
		return S( 0,s/2,1 );
	}
	
	PII maxstats( int wp, int wk, int g ){
		if( p >= wk || k <= wp )	return MP( -INF,-INF ); // jesli jest rozlaczny, to zwracam bzdety		
		if( (p <= wp && k >= wk) || ( wp == wk-1 ) )	return maxstat[g]; // jesli jest pokryty w calosci to zwracam jego stat
		PII m1 = maxstats( wp,nr,2*g );
		PII m2 = maxstats( nr,wk,2*g+1 );
		PII M;
		if( m1.ST >= m2.ST ){ M.ST = m1.ST; M.ND = m1.ND;	} // tutaj i linijke nuizej moze byc po prostu M = m1  ( analogicznie M = m2 )
		else{ M.ST = m2.ST; M.ND = m2.ND;  }
		M.ST += el[g];
		return M;
	}
	
	PII getMaxStat( int p1, int k1 ){
		p = p1-1;
		k = k1;
		return maxstats( 0,s/2,1 );
	}
	
	PII minstats( int wp, int wk, int g ){
		if( p >= wk || k <= wp )	return MP( INF,INF ); // jesli jest rozlaczny, to zwracam bzdety		
		if( (p <= wp && k >= wk) || ( wp == wk-1 ) )	return minstat[g]; // jesli jest pokryty w calosci to zwracam jego stat
		PII m1 = minstats( wp,nr,2*g );
		PII m2 = minstats( nr,wk,2*g+1 );
		PII M;
		if( m1.ST <= m2.ST ){ M.ST = m1.ST; M.ND = m1.ND;	}
		else{ M.ST = m2.ST; M.ND = m2.ND;  }
		M.ST += el[g];
		return M;
	}
	
	PII getMinStat( int p1, int k1 ){
		p = p1-1;
		k = k1;
		return minstats( 0,s/2,1 );
	}
	
};




int main(){
	
	ios_base::sync_with_stdio(0);
	
	cin >> N;
	
	VI druz(N+1,0);
	VLL podz( N+1,0 );
	VPII ucz(N+1);
	
	FOR(i,1,N) cin >> ucz[i].ST >> ucz[i].ND;
	
	int a,b,maxdruz,t,maxa,minb,MAX,ile,quant;
	LL maxpodz;
	
	CoverITree atree( ceil( log2( N+2 ) ) );
	CoverITree btree( ceil( log2( N+2 ) ) );
	
	FOR(i,1,N) atree.Add( i,i, ucz[i].ST ); // dodaje do drzewa wartosci a aby moc w nich szukac maximum na danym przedziale
	FOR(i,1,N) btree.Add( i,i, ucz[i].ND ); // dodaje do drzewa wartosci b aby moc w nich szukac minimum na danym przedziale
	
	FOR( k,1,N ){
		MAX = ile = 0;
		maxpodz = 0;
WAR		cout << "k = " << k << endl;
		
		if( ucz[k].ND == 1 ){
			druz[k] = druz[k-1] + 1;
			podz[k] = podz[k-1];
WAR			cout << "\tdruz["<<k<<"] = " << druz[k] << "     podz["<<k<<"] = " << podz[k] << endl;
			continue;
		}
		
		if( ucz[k].ST > k ) continue;
		if( ucz[k].ST == k ){
			maxa = atree.getMaxStat( 1,k ).ST;
			minb = btree.getMinStat( 1,k ).ST;
WAR			cout << "\t\tJestem w ucz[k].ST == k,   na przedziale 1..." << k << "   maxa = " << maxa << "   minb = " << minb << endl;
			
			if( ucz[k].ST < maxa || ucz[k].ST > minb ) continue;
			else{
WAR				cout << "\t\t\tJestem w elsie, zapisuje jedynki do druz i podz" << endl;
				druz[k] = 1;
				podz[k] = 1;
				continue;
			}
		}
		
		a = max( 1, k + 1 - ucz[k].ND );
		b = k+1 - ucz[k].ST;
		
WAR		cout << "Przedzial ktory bede rozpatrywal to:   " << a << " -- " << b-1 << endl;
		
		maxa = atree.getMaxStat( b,k ).ST;
		minb = btree.getMinStat( b,k ).ST;
		
WAR		cout << "\tNa przedziale " << b << "..." << k << "   maxa = " << maxa << "   minb = " << minb << endl;
		
		t = b-1;
		while( t >= a-1 ){
			quant = k-t; // ilosc osob w grupie ktora aktualnie sprawdzam
WAR			cout << "\tt = " << t << "   quant = " << quant << endl;
			if( quant > minb ) break;
			if( quant < maxa );
			else if( druz[t] > 0 ){
				if( MAX < druz[t] + 1 ){
					MAX = druz[t] + 1;
					ile = 1;
					maxpodz = podz[t];
WAR					cout << "\t\t\tNOWY MAX = " << MAX << "    maxpodz = " << maxpodz << endl;
				}
				else if( MAX == druz[t] + 1 ){
					ile++;
					maxpodz += podz[t];
WAR					cout << "\t\t\tKolejny MAX = " << druz[t] + 1 << "    ile = " << ile << "    maxpodz = " << maxpodz << endl;
				}
			}
			
			maxa = max( maxa, ucz[t].ST );
			minb = min( minb, ucz[t].ND );
			t--;
			
		} // koniec whilea
				
		druz[k] = MAX;
		podz[k] = maxpodz;
		podz[k] %= 1000000007;
		
WAR		cout << "\tdruz["<<k<<"] = " << druz[k] << "     podz["<<k<<"] = " << podz[k] << endl;
		
	} // koniec fora
	
	
	if( druz[N] == 0 ){
		cout << "NIE" << endl;
	}
	else{
		cout << druz[N] << " " << podz[N];
	}
	
	
	
	
}