TEST DATA FOR `groc'

A Zip file of this data is available.

Input for test 1

7 5 10 3
2 8
3 3
3 5
3 7
4 10
5 10
4 3

Output for test 1

54

Input for test 2

300 350 10 4
264 8
50 2
298 6
54 3
26 2
88 8
345 10
177 9
9 4
223 4
282 9
90 2
136 7
67 5
323 1
44 8
232 9
307 8
15 9
37 5
134 10
217 10
183 8
268 2
239 10
200 9
59 7
284 8
224 9
202 7
295 2
145 6
130 5
173 2
145 3
190 7
332 7
94 6
60 9
168 5
108 7
244 7
104 6
24 6
62 7
138 6
131 5
215 10
176 3
52 6
350 2
348 4
150 7
57 2
212 4
343 3
221 6
254 9
321 7
144 1
40 10
255 10
117 2
295 8
179 1
148 2
141 6
176 8
148 10
217 6
76 3
148 5
177 3
175 10
250 3
214 6
16 6
317 6
342 10
139 5
141 2
325 5
20 9
112 6
146 1
46 4
147 4
339 6
29 8
148 1
220 9
340 9
242 6
232 1
239 9
247 1
95 8
38 6
96 4
146 8
273 3
117 5
280 8
67 1
139 7
160 4
64 7
326 4
206 8
6 2
143 4
184 4
66 6
78 2
21 9
263 10
219 5
208 7
220 8
26 3
150 8
188 8
227 10
135 5
333 1
234 5
229 1
230 4
192 1
115 4
4 3
317 8
284 6
74 2
83 7
89 10
328 9
288 8
243 6
112 2
283 1
75 6
104 5
318 7
104 1
106 4
243 3
243 7
341 7
276 5
156 4
242 8
346 5
39 10
291 2
210 1
37 6
333 9
307 10
36 2
45 6
39 4
283 6
311 8
97 4
252 6
177 7
146 6
317 5
334 7
310 5
205 4
154 2
255 1
30 5
164 10
303 10
56 10
198 6
349 4
27 4
331 9
61 10
99 7
150 9
236 3
156 7
105 4
319 10
75 3
251 6
135 2
167 1
246 1
223 10
133 7
161 4
273 1
124 8
106 10
276 4
345 5
276 10
242 3
119 7
81 1
217 3
155 8
72 2
44 1
292 7
148 3
88 9
337 7
155 1
173 4
112 4
157 7
93 10
26 9
188 9
78 7
196 7
258 5
104 3
290 2
248 9
227 7
146 4
242 5
176 9
134 3
157 8
10 6
208 4
109 8
62 2
5 1
299 2
186 3
200 10
341 2
149 2
205 9
291 9
166 6
143 10
104 8
213 10
292 1
309 10
283 4
274 8
292 10
320 7
254 6
321 10
333 5
250 5
109 7
44 2
7 1
103 10
174 2
343 5
318 10
293 7
287 2
317 9
290 7
229 9
280 10
43 8
342 2
222 5
175 1
278 6
100 3
350 7
56 6
73 10
134 1
15 10
106 9
146 7
45 3
78 1
112 9
251 10
285 5
51 1
343 8
99 1
239 2
215 6
325 3
54 1
55 1
222 8
31 6

Output for test 2

3066

Input for test 3

20 40 7 2
23 6
15 1
18 5
32 1
40 7
17 2
13 1
16 6
35 3
17 4
14 7
31 4
40 1
29 6
4 3
39 4
26 7
8 1
21 3
35 7

Output for test 3

176

Input for test 4

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

Output for test 4

8995

Input for test 5

300 134 25 1
1 25
1 24
1 23
2 25
2 24
2 23
3 25
3 24
3 23
4 25
4 24
4 23
5 25
5 24
5 23
6 25
6 24
6 23
7 25
7 24
7 23
8 25
8 24
8 23
9 25
9 24
9 23
10 25
10 24
10 23
11 25
11 24
11 23
12 25
12 24
12 23
13 25
13 24
13 23
14 25
14 24
14 23
15 25
15 24
15 23
16 25
16 24
16 23
17 25
17 24
17 23
18 25
18 24
18 23
19 25
19 24
19 23
20 25
20 24
20 23
21 25
21 24
21 23
22 25
22 24
22 23
23 25
23 24
23 23
24 25
24 24
24 23
25 25
25 24
25 23
26 25
26 24
26 23
27 25
27 24
27 23
28 25
28 24
28 23
29 25
29 24
29 23
30 25
30 24
30 23
31 25
31 24
31 23
32 25
32 24
32 23
33 25
33 24
33 23
34 25
34 24
34 23
35 25
35 24
35 23
36 25
36 24
36 23
37 25
37 24
37 23
38 25
38 24
38 23
39 25
39 24
39 23
40 25
40 24
40 23
41 25
41 24
41 23
42 25
42 24
42 23
43 25
43 24
43 23
44 25
44 24
44 23
45 25
45 24
45 23
46 25
46 24
46 23
47 25
47 24
47 23
48 25
48 24
48 23
49 25
49 24
49 23
50 25
50 24
50 23
51 25
51 24
51 23
52 25
52 24
52 23
53 25
53 24
53 23
54 25
54 24
54 23
55 25
55 24
55 23
56 25
56 24
56 23
57 25
57 24
57 23
58 25
58 24
58 23
59 25
59 24
59 23
60 25
60 24
60 23
61 25
61 24
61 23
62 25
62 24
62 23
63 25
63 24
63 23
64 25
64 24
64 23
65 25
65 24
65 23
66 25
66 24
66 23
67 25
67 24
67 23
68 25
68 24
68 23
69 25
69 24
69 23
70 25
70 24
70 23
71 25
71 24
71 23
72 25
72 24
72 23
73 25
73 24
73 23
74 25
74 24
74 23
75 25
75 24
75 23
76 25
76 24
76 23
77 25
77 24
77 23
78 25
78 24
78 23
79 25
79 24
79 23
80 25
80 24
80 23
81 25
81 24
81 23
82 25
82 24
82 23
83 25
83 24
83 23
84 25
84 24
84 23
85 25
85 24
85 23
86 25
86 24
86 23
87 25
87 24
87 23
88 25
88 24
88 23
89 25
89 24
89 23
90 25
90 24
90 23
91 25
91 24
91 23
92 25
92 24
92 23
93 25
93 24
93 23
94 25
94 24
94 23
95 25
95 24
95 23
96 25
96 24
96 23
97 25
97 24
97 23
98 25
98 24
98 23
99 25
99 24
99 23
100 25
100 24
100 23

Output for test 5

773

Input for test 6

5 350 18 2
35 16
105 1
175 9
245 18
315 8

Output for test 6

772

Input for test 7

10 5 25 1
1 1
1 25
2 1
2 25
3 1
3 25
4 1
4 25
5 1
5 25

Output for test 7

74

Input for test 8

37 37 16 2
1 1
2 16
3 1
4 16
5 1
6 16
7 1
8 16
9 1
10 16
11 1
12 16
13 1
14 16
15 1
16 16
17 1
18 16
19 1
20 16
21 1
22 16
23 1
24 16
25 1
26 16
27 1
28 16
29 1
30 16
31 1
32 16
33 1
34 16
35 1
36 16
37 1

Output for test 8

304

Input for test 9

300 50 10 1
33 4
15 8
47 4
24 2
25 6
14 8
1 9
22 10
4 10
5 4
50 10
17 7
29 8
12 9
44 6
10 7
20 7
8 5
48 7
47 7
27 3
9 9
33 9
43 9
26 10
25 2
42 1
29 3
10 8
10 5
40 5
16 2
35 6
8 4
19 4
49 7
50 3
48 8
3 3
44 9
12 5
2 4
5 3
30 9
14 1
48 2
48 10
17 3
34 7
3 1
37 9
45 5
35 10
39 6
44 1
4 8
18 9
13 9
37 4
27 8
46 8
33 8
44 4
43 2
16 5
38 4
40 6
44 8
25 9
13 8
31 6
5 7
18 3
45 6
29 6
38 8
1 5
21 4
23 8
9 2
39 9
31 3
50 2
45 2
15 2
50 6
4 3
15 1
46 4
7 9
5 8
26 6
2 3
6 5
20 8
22 5
11 1
41 5
28 1
36 5
13 3
14 5
43 6
22 2
39 1
16 4
2 6
7 3
38 1
48 6
21 10
35 7
8 2
16 1
3 6
36 2
31 5
37 1
4 4
17 8
27 9
32 8
6 4
43 1
42 4
23 3
42 10
21 5
34 9
16 8
24 7
14 10
2 8
24 10
34 8
28 10
26 1
33 3
6 9
49 8
12 7
38 5
27 5
3 10
45 3
50 4
45 4
46 6
37 2
7 2
33 5
30 8
8 3
25 7
42 2
10 4
2 7
43 10
32 4
4 2
22 7
42 9
22 1
14 2
35 8
20 9
19 9
21 3
49 3
12 10
50 5
42 6
15 5
9 5
30 3
19 2
31 8
35 4
7 1
29 9
34 6
40 2
32 1
30 4
46 5
19 7
38 7
18 2
28 8
24 3
33 10
18 1
47 2
49 1
49 10
20 4
43 8
41 6
24 6
25 5
48 9
40 10
11 9
37 7
3 5
8 7
19 3
14 3
5 1
9 1
34 1
47 9
15 6
23 6
23 1
25 4
40 8
4 5
47 8
41 7
15 9
12 1
36 4
44 7
31 7
39 2
40 3
30 7
35 3
41 3
31 4
22 9
27 4
21 7
6 6
11 7
45 10
41 10
13 4
1 7
26 7
39 4
28 4
36 7
9 3
47 3
10 10
1 2
49 6
5 6
32 9
30 5
1 1
39 3
21 6
11 5
46 7
6 7
18 8
13 2
23 10
20 1
20 6
17 6
29 4
7 10
10 9
36 8
37 6
7 6
36 6
13 6
26 2
6 8
29 7
9 10
27 1
18 7
2 5
26 4
32 10
28 3
41 4
23 9
28 5
46 10
11 10
8 10
19 6
34 5
38 2
3 2
1 10
12 8
17 10
32 3
17 4
24 1
16 7
11 2

Output for test 9

599

Input for test 10

1 1 25 5
1 1

Output for test 10

2