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
#include <cstdio>
#include <algorithm>
using namespace std;

typedef long long int lli;

const int MAX = 5516;
const lli MOD = 1000000007;

short int t[MAX][2];
short int s[MAX][MAX][2];
lli w[MAX][2];

bool in(int p, int k)
{
	int l=k-p;
	if (s[p][k][0]<=l && l<=s[p][k][1]) return 1;
	return 0;
}

int main()
{
	int n;
	
	scanf("%d", &n);
	
	for (int i=0; i<n; i++)
	{
		scanf("%hd%hd", &t[i][0], &t[i][1]);
	}
	
	for (int i=0; i<n; i++)
	{
		for (int j=i+1; j<n+1; j++)
		{
			if (j==i+1)
			{
				s[i][j][0]=t[i][0];
				s[i][j][1]=t[i][1];
				continue;
			}
			//przedział i->j
			s[i][j][0]=max(s[i][j-1][0], t[j-1][0]);
			s[i][j][1]=min(s[i][j-1][1], t[j-1][1]);
		}
	}
	
	//for (int i=0; i<=n; i++) {for (int j=0; j<=n; j++) printf("%d %d, ", s[i][j][0], s[i][j][1]); printf("\n");}
	
	w[n][1]=1LL;
	
	for (int i=n-1; i>=0; i--)
	{
		w[i][0]=-1LL;
		for (int j=i+t[i][0]; j<=i+t[i][1]; j++)
		{
			if (j>n) break;
			
			if (in(i, j))
			{
				//printf("(%d %d)\n", i, j);
				if (w[j][0]==-1LL) continue;
				
				if (w[j][0]+1LL==w[i][0])
					w[i][1]=(w[i][1]+w[j][1])%MOD;
				
				if (w[j][0]+1LL>w[i][0])
				{
					w[i][0]=w[j][0]+1LL;
					w[i][1]=w[j][1];
				}
			}
		}
	}
	
	//for (int i=0; i<=n; i++) printf("   %d %d\n", w[i][0], w[i][1]);
	
	if (w[0][0]==-1LL)
	{
		printf("NIE\n");
		return 0;
	}
	
	printf("%lld %lld\n", w[0][0], w[0][1]);
	
	return 0;
	//ADG
}