-
Notifications
You must be signed in to change notification settings - Fork 0
/
test-out.txt
464 lines (456 loc) · 16 KB
/
test-out.txt
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
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
{ [10,20) [30,40) [50,60) }
contains 5 ? no
contains 10 ? yes
contains 15 ? yes
contains 20 ? no
contains 25 ? no
contains 30 ? yes
contains 35 ? yes
contains 40 ? no
contains 45 ? no
contains 50 ? yes
contains 55 ? yes
contains 60 ? no
contains 65 ? no
---
Printing range [5,10): 5 6 7 8 9
---
Printing ranger { [5,10) [12,17) [30,34) }
: 5 6 7 8 9 12 13 14 15 16 30 31 32 33
---
Arithmetic on: { [10,20) [30,40) [50,60) }
+ [8,9) -> { [8,9) [10,20) [30,40) [50,60) }
+ [8,10) -> { [8,20) [30,40) [50,60) }
+ [8,11) -> { [8,20) [30,40) [50,60) }
+ [8,12) -> { [8,20) [30,40) [50,60) }
+ [8,18) -> { [8,20) [30,40) [50,60) }
+ [8,19) -> { [8,20) [30,40) [50,60) }
+ [8,20) -> { [8,20) [30,40) [50,60) }
+ [8,21) -> { [8,21) [30,40) [50,60) }
+ [8,22) -> { [8,22) [30,40) [50,60) }
+ [8,28) -> { [8,28) [30,40) [50,60) }
+ [8,29) -> { [8,29) [30,40) [50,60) }
+ [8,30) -> { [8,40) [50,60) }
+ [8,31) -> { [8,40) [50,60) }
+ [8,32) -> { [8,40) [50,60) }
+ [8,38) -> { [8,40) [50,60) }
+ [8,39) -> { [8,40) [50,60) }
+ [8,40) -> { [8,40) [50,60) }
+ [8,41) -> { [8,41) [50,60) }
+ [8,42) -> { [8,42) [50,60) }
+ [8,48) -> { [8,48) [50,60) }
+ [8,49) -> { [8,49) [50,60) }
+ [8,50) -> { [8,60) }
+ [8,51) -> { [8,60) }
+ [8,52) -> { [8,60) }
+ [8,58) -> { [8,60) }
+ [8,59) -> { [8,60) }
+ [8,60) -> { [8,60) }
+ [8,61) -> { [8,61) }
+ [8,62) -> { [8,62) }
+ [9,10) -> { [9,20) [30,40) [50,60) }
+ [9,11) -> { [9,20) [30,40) [50,60) }
+ [9,12) -> { [9,20) [30,40) [50,60) }
+ [9,18) -> { [9,20) [30,40) [50,60) }
+ [9,19) -> { [9,20) [30,40) [50,60) }
+ [9,20) -> { [9,20) [30,40) [50,60) }
+ [9,21) -> { [9,21) [30,40) [50,60) }
+ [9,22) -> { [9,22) [30,40) [50,60) }
+ [9,28) -> { [9,28) [30,40) [50,60) }
+ [9,29) -> { [9,29) [30,40) [50,60) }
+ [9,30) -> { [9,40) [50,60) }
+ [9,31) -> { [9,40) [50,60) }
+ [9,32) -> { [9,40) [50,60) }
+ [9,38) -> { [9,40) [50,60) }
+ [9,39) -> { [9,40) [50,60) }
+ [9,40) -> { [9,40) [50,60) }
+ [9,41) -> { [9,41) [50,60) }
+ [9,42) -> { [9,42) [50,60) }
+ [9,48) -> { [9,48) [50,60) }
+ [9,49) -> { [9,49) [50,60) }
+ [9,50) -> { [9,60) }
+ [9,51) -> { [9,60) }
+ [9,52) -> { [9,60) }
+ [9,58) -> { [9,60) }
+ [9,59) -> { [9,60) }
+ [9,60) -> { [9,60) }
+ [9,61) -> { [9,61) }
+ [9,62) -> { [9,62) }
+ [10,11) -> { [10,20) [30,40) [50,60) }
+ [10,12) -> { [10,20) [30,40) [50,60) }
+ [10,18) -> { [10,20) [30,40) [50,60) }
+ [10,19) -> { [10,20) [30,40) [50,60) }
+ [10,20) -> { [10,20) [30,40) [50,60) }
+ [10,21) -> { [10,21) [30,40) [50,60) }
+ [10,22) -> { [10,22) [30,40) [50,60) }
+ [10,28) -> { [10,28) [30,40) [50,60) }
+ [10,29) -> { [10,29) [30,40) [50,60) }
+ [10,30) -> { [10,40) [50,60) }
+ [10,31) -> { [10,40) [50,60) }
+ [10,32) -> { [10,40) [50,60) }
+ [10,38) -> { [10,40) [50,60) }
+ [10,39) -> { [10,40) [50,60) }
+ [10,40) -> { [10,40) [50,60) }
+ [10,41) -> { [10,41) [50,60) }
+ [10,42) -> { [10,42) [50,60) }
+ [10,48) -> { [10,48) [50,60) }
+ [10,49) -> { [10,49) [50,60) }
+ [10,50) -> { [10,60) }
+ [10,51) -> { [10,60) }
+ [10,52) -> { [10,60) }
+ [10,58) -> { [10,60) }
+ [10,59) -> { [10,60) }
+ [10,60) -> { [10,60) }
+ [10,61) -> { [10,61) }
+ [10,62) -> { [10,62) }
+ [11,12) -> { [10,20) [30,40) [50,60) }
+ [11,18) -> { [10,20) [30,40) [50,60) }
+ [11,19) -> { [10,20) [30,40) [50,60) }
+ [11,20) -> { [10,20) [30,40) [50,60) }
+ [11,21) -> { [10,21) [30,40) [50,60) }
+ [11,22) -> { [10,22) [30,40) [50,60) }
+ [11,28) -> { [10,28) [30,40) [50,60) }
+ [11,29) -> { [10,29) [30,40) [50,60) }
+ [11,30) -> { [10,40) [50,60) }
+ [11,31) -> { [10,40) [50,60) }
+ [11,32) -> { [10,40) [50,60) }
+ [11,38) -> { [10,40) [50,60) }
+ [11,39) -> { [10,40) [50,60) }
+ [11,40) -> { [10,40) [50,60) }
+ [11,41) -> { [10,41) [50,60) }
+ [11,42) -> { [10,42) [50,60) }
+ [11,48) -> { [10,48) [50,60) }
+ [11,49) -> { [10,49) [50,60) }
+ [11,50) -> { [10,60) }
+ [11,51) -> { [10,60) }
+ [11,52) -> { [10,60) }
+ [11,58) -> { [10,60) }
+ [11,59) -> { [10,60) }
+ [11,60) -> { [10,60) }
+ [11,61) -> { [10,61) }
+ [11,62) -> { [10,62) }
+ [12,18) -> { [10,20) [30,40) [50,60) }
+ [12,19) -> { [10,20) [30,40) [50,60) }
+ [12,20) -> { [10,20) [30,40) [50,60) }
+ [12,21) -> { [10,21) [30,40) [50,60) }
+ [12,22) -> { [10,22) [30,40) [50,60) }
+ [12,28) -> { [10,28) [30,40) [50,60) }
+ [12,29) -> { [10,29) [30,40) [50,60) }
+ [12,30) -> { [10,40) [50,60) }
+ [12,31) -> { [10,40) [50,60) }
+ [12,32) -> { [10,40) [50,60) }
+ [12,38) -> { [10,40) [50,60) }
+ [12,39) -> { [10,40) [50,60) }
+ [12,40) -> { [10,40) [50,60) }
+ [12,41) -> { [10,41) [50,60) }
+ [12,42) -> { [10,42) [50,60) }
+ [12,48) -> { [10,48) [50,60) }
+ [12,49) -> { [10,49) [50,60) }
+ [12,50) -> { [10,60) }
+ [12,51) -> { [10,60) }
+ [12,52) -> { [10,60) }
+ [12,58) -> { [10,60) }
+ [12,59) -> { [10,60) }
+ [12,60) -> { [10,60) }
+ [12,61) -> { [10,61) }
+ [12,62) -> { [10,62) }
+ [18,19) -> { [10,20) [30,40) [50,60) }
+ [18,20) -> { [10,20) [30,40) [50,60) }
+ [18,21) -> { [10,21) [30,40) [50,60) }
+ [18,22) -> { [10,22) [30,40) [50,60) }
+ [18,28) -> { [10,28) [30,40) [50,60) }
+ [18,29) -> { [10,29) [30,40) [50,60) }
+ [18,30) -> { [10,40) [50,60) }
+ [18,31) -> { [10,40) [50,60) }
+ [18,32) -> { [10,40) [50,60) }
+ [18,38) -> { [10,40) [50,60) }
+ [18,39) -> { [10,40) [50,60) }
+ [18,40) -> { [10,40) [50,60) }
+ [18,41) -> { [10,41) [50,60) }
+ [18,42) -> { [10,42) [50,60) }
+ [18,48) -> { [10,48) [50,60) }
+ [18,49) -> { [10,49) [50,60) }
+ [18,50) -> { [10,60) }
+ [18,51) -> { [10,60) }
+ [18,52) -> { [10,60) }
+ [18,58) -> { [10,60) }
+ [18,59) -> { [10,60) }
+ [18,60) -> { [10,60) }
+ [18,61) -> { [10,61) }
+ [18,62) -> { [10,62) }
+ [19,20) -> { [10,20) [30,40) [50,60) }
+ [19,21) -> { [10,21) [30,40) [50,60) }
+ [19,22) -> { [10,22) [30,40) [50,60) }
+ [19,28) -> { [10,28) [30,40) [50,60) }
+ [19,29) -> { [10,29) [30,40) [50,60) }
+ [19,30) -> { [10,40) [50,60) }
+ [19,31) -> { [10,40) [50,60) }
+ [19,32) -> { [10,40) [50,60) }
+ [19,38) -> { [10,40) [50,60) }
+ [19,39) -> { [10,40) [50,60) }
+ [19,40) -> { [10,40) [50,60) }
+ [19,41) -> { [10,41) [50,60) }
+ [19,42) -> { [10,42) [50,60) }
+ [19,48) -> { [10,48) [50,60) }
+ [19,49) -> { [10,49) [50,60) }
+ [19,50) -> { [10,60) }
+ [19,51) -> { [10,60) }
+ [19,52) -> { [10,60) }
+ [19,58) -> { [10,60) }
+ [19,59) -> { [10,60) }
+ [19,60) -> { [10,60) }
+ [19,61) -> { [10,61) }
+ [19,62) -> { [10,62) }
+ [20,21) -> { [10,21) [30,40) [50,60) }
+ [20,22) -> { [10,22) [30,40) [50,60) }
+ [20,28) -> { [10,28) [30,40) [50,60) }
+ [20,29) -> { [10,29) [30,40) [50,60) }
+ [20,30) -> { [10,40) [50,60) }
+ [20,31) -> { [10,40) [50,60) }
+ [20,32) -> { [10,40) [50,60) }
+ [20,38) -> { [10,40) [50,60) }
+ [20,39) -> { [10,40) [50,60) }
+ [20,40) -> { [10,40) [50,60) }
+ [20,41) -> { [10,41) [50,60) }
+ [20,42) -> { [10,42) [50,60) }
+ [20,48) -> { [10,48) [50,60) }
+ [20,49) -> { [10,49) [50,60) }
+ [20,50) -> { [10,60) }
+ [20,51) -> { [10,60) }
+ [20,52) -> { [10,60) }
+ [20,58) -> { [10,60) }
+ [20,59) -> { [10,60) }
+ [20,60) -> { [10,60) }
+ [20,61) -> { [10,61) }
+ [20,62) -> { [10,62) }
+ [21,22) -> { [10,20) [21,22) [30,40) [50,60) }
+ [21,28) -> { [10,20) [21,28) [30,40) [50,60) }
+ [21,29) -> { [10,20) [21,29) [30,40) [50,60) }
+ [21,30) -> { [10,20) [21,40) [50,60) }
+ [21,31) -> { [10,20) [21,40) [50,60) }
+ [21,32) -> { [10,20) [21,40) [50,60) }
+ [21,38) -> { [10,20) [21,40) [50,60) }
+ [21,39) -> { [10,20) [21,40) [50,60) }
+ [21,40) -> { [10,20) [21,40) [50,60) }
+ [21,41) -> { [10,20) [21,41) [50,60) }
+ [21,42) -> { [10,20) [21,42) [50,60) }
+ [21,48) -> { [10,20) [21,48) [50,60) }
+ [21,49) -> { [10,20) [21,49) [50,60) }
+ [21,50) -> { [10,20) [21,60) }
+ [21,51) -> { [10,20) [21,60) }
+ [21,52) -> { [10,20) [21,60) }
+ [21,58) -> { [10,20) [21,60) }
+ [21,59) -> { [10,20) [21,60) }
+ [21,60) -> { [10,20) [21,60) }
+ [21,61) -> { [10,20) [21,61) }
+ [21,62) -> { [10,20) [21,62) }
+ [22,28) -> { [10,20) [22,28) [30,40) [50,60) }
+ [22,29) -> { [10,20) [22,29) [30,40) [50,60) }
+ [22,30) -> { [10,20) [22,40) [50,60) }
+ [22,31) -> { [10,20) [22,40) [50,60) }
+ [22,32) -> { [10,20) [22,40) [50,60) }
+ [22,38) -> { [10,20) [22,40) [50,60) }
+ [22,39) -> { [10,20) [22,40) [50,60) }
+ [22,40) -> { [10,20) [22,40) [50,60) }
+ [22,41) -> { [10,20) [22,41) [50,60) }
+ [22,42) -> { [10,20) [22,42) [50,60) }
+ [22,48) -> { [10,20) [22,48) [50,60) }
+ [22,49) -> { [10,20) [22,49) [50,60) }
+ [22,50) -> { [10,20) [22,60) }
+ [22,51) -> { [10,20) [22,60) }
+ [22,52) -> { [10,20) [22,60) }
+ [22,58) -> { [10,20) [22,60) }
+ [22,59) -> { [10,20) [22,60) }
+ [22,60) -> { [10,20) [22,60) }
+ [22,61) -> { [10,20) [22,61) }
+ [22,62) -> { [10,20) [22,62) }
+ [28,29) -> { [10,20) [28,29) [30,40) [50,60) }
+ [28,30) -> { [10,20) [28,40) [50,60) }
+ [28,31) -> { [10,20) [28,40) [50,60) }
+ [28,32) -> { [10,20) [28,40) [50,60) }
+ [28,38) -> { [10,20) [28,40) [50,60) }
+ [28,39) -> { [10,20) [28,40) [50,60) }
+ [28,40) -> { [10,20) [28,40) [50,60) }
+ [28,41) -> { [10,20) [28,41) [50,60) }
+ [28,42) -> { [10,20) [28,42) [50,60) }
+ [28,48) -> { [10,20) [28,48) [50,60) }
+ [28,49) -> { [10,20) [28,49) [50,60) }
+ [28,50) -> { [10,20) [28,60) }
+ [28,51) -> { [10,20) [28,60) }
+ [28,52) -> { [10,20) [28,60) }
+ [28,58) -> { [10,20) [28,60) }
+ [28,59) -> { [10,20) [28,60) }
+ [28,60) -> { [10,20) [28,60) }
+ [28,61) -> { [10,20) [28,61) }
+ [28,62) -> { [10,20) [28,62) }
+ [29,30) -> { [10,20) [29,40) [50,60) }
+ [29,31) -> { [10,20) [29,40) [50,60) }
+ [29,32) -> { [10,20) [29,40) [50,60) }
+ [29,38) -> { [10,20) [29,40) [50,60) }
+ [29,39) -> { [10,20) [29,40) [50,60) }
+ [29,40) -> { [10,20) [29,40) [50,60) }
+ [29,41) -> { [10,20) [29,41) [50,60) }
+ [29,42) -> { [10,20) [29,42) [50,60) }
+ [29,48) -> { [10,20) [29,48) [50,60) }
+ [29,49) -> { [10,20) [29,49) [50,60) }
+ [29,50) -> { [10,20) [29,60) }
+ [29,51) -> { [10,20) [29,60) }
+ [29,52) -> { [10,20) [29,60) }
+ [29,58) -> { [10,20) [29,60) }
+ [29,59) -> { [10,20) [29,60) }
+ [29,60) -> { [10,20) [29,60) }
+ [29,61) -> { [10,20) [29,61) }
+ [29,62) -> { [10,20) [29,62) }
+ [30,31) -> { [10,20) [30,40) [50,60) }
+ [30,32) -> { [10,20) [30,40) [50,60) }
+ [30,38) -> { [10,20) [30,40) [50,60) }
+ [30,39) -> { [10,20) [30,40) [50,60) }
+ [30,40) -> { [10,20) [30,40) [50,60) }
+ [30,41) -> { [10,20) [30,41) [50,60) }
+ [30,42) -> { [10,20) [30,42) [50,60) }
+ [30,48) -> { [10,20) [30,48) [50,60) }
+ [30,49) -> { [10,20) [30,49) [50,60) }
+ [30,50) -> { [10,20) [30,60) }
+ [30,51) -> { [10,20) [30,60) }
+ [30,52) -> { [10,20) [30,60) }
+ [30,58) -> { [10,20) [30,60) }
+ [30,59) -> { [10,20) [30,60) }
+ [30,60) -> { [10,20) [30,60) }
+ [30,61) -> { [10,20) [30,61) }
+ [30,62) -> { [10,20) [30,62) }
+ [31,32) -> { [10,20) [30,40) [50,60) }
+ [31,38) -> { [10,20) [30,40) [50,60) }
+ [31,39) -> { [10,20) [30,40) [50,60) }
+ [31,40) -> { [10,20) [30,40) [50,60) }
+ [31,41) -> { [10,20) [30,41) [50,60) }
+ [31,42) -> { [10,20) [30,42) [50,60) }
+ [31,48) -> { [10,20) [30,48) [50,60) }
+ [31,49) -> { [10,20) [30,49) [50,60) }
+ [31,50) -> { [10,20) [30,60) }
+ [31,51) -> { [10,20) [30,60) }
+ [31,52) -> { [10,20) [30,60) }
+ [31,58) -> { [10,20) [30,60) }
+ [31,59) -> { [10,20) [30,60) }
+ [31,60) -> { [10,20) [30,60) }
+ [31,61) -> { [10,20) [30,61) }
+ [31,62) -> { [10,20) [30,62) }
+ [32,38) -> { [10,20) [30,40) [50,60) }
+ [32,39) -> { [10,20) [30,40) [50,60) }
+ [32,40) -> { [10,20) [30,40) [50,60) }
+ [32,41) -> { [10,20) [30,41) [50,60) }
+ [32,42) -> { [10,20) [30,42) [50,60) }
+ [32,48) -> { [10,20) [30,48) [50,60) }
+ [32,49) -> { [10,20) [30,49) [50,60) }
+ [32,50) -> { [10,20) [30,60) }
+ [32,51) -> { [10,20) [30,60) }
+ [32,52) -> { [10,20) [30,60) }
+ [32,58) -> { [10,20) [30,60) }
+ [32,59) -> { [10,20) [30,60) }
+ [32,60) -> { [10,20) [30,60) }
+ [32,61) -> { [10,20) [30,61) }
+ [32,62) -> { [10,20) [30,62) }
+ [38,39) -> { [10,20) [30,40) [50,60) }
+ [38,40) -> { [10,20) [30,40) [50,60) }
+ [38,41) -> { [10,20) [30,41) [50,60) }
+ [38,42) -> { [10,20) [30,42) [50,60) }
+ [38,48) -> { [10,20) [30,48) [50,60) }
+ [38,49) -> { [10,20) [30,49) [50,60) }
+ [38,50) -> { [10,20) [30,60) }
+ [38,51) -> { [10,20) [30,60) }
+ [38,52) -> { [10,20) [30,60) }
+ [38,58) -> { [10,20) [30,60) }
+ [38,59) -> { [10,20) [30,60) }
+ [38,60) -> { [10,20) [30,60) }
+ [38,61) -> { [10,20) [30,61) }
+ [38,62) -> { [10,20) [30,62) }
+ [39,40) -> { [10,20) [30,40) [50,60) }
+ [39,41) -> { [10,20) [30,41) [50,60) }
+ [39,42) -> { [10,20) [30,42) [50,60) }
+ [39,48) -> { [10,20) [30,48) [50,60) }
+ [39,49) -> { [10,20) [30,49) [50,60) }
+ [39,50) -> { [10,20) [30,60) }
+ [39,51) -> { [10,20) [30,60) }
+ [39,52) -> { [10,20) [30,60) }
+ [39,58) -> { [10,20) [30,60) }
+ [39,59) -> { [10,20) [30,60) }
+ [39,60) -> { [10,20) [30,60) }
+ [39,61) -> { [10,20) [30,61) }
+ [39,62) -> { [10,20) [30,62) }
+ [40,41) -> { [10,20) [30,41) [50,60) }
+ [40,42) -> { [10,20) [30,42) [50,60) }
+ [40,48) -> { [10,20) [30,48) [50,60) }
+ [40,49) -> { [10,20) [30,49) [50,60) }
+ [40,50) -> { [10,20) [30,60) }
+ [40,51) -> { [10,20) [30,60) }
+ [40,52) -> { [10,20) [30,60) }
+ [40,58) -> { [10,20) [30,60) }
+ [40,59) -> { [10,20) [30,60) }
+ [40,60) -> { [10,20) [30,60) }
+ [40,61) -> { [10,20) [30,61) }
+ [40,62) -> { [10,20) [30,62) }
+ [41,42) -> { [10,20) [30,40) [41,42) [50,60) }
+ [41,48) -> { [10,20) [30,40) [41,48) [50,60) }
+ [41,49) -> { [10,20) [30,40) [41,49) [50,60) }
+ [41,50) -> { [10,20) [30,40) [41,60) }
+ [41,51) -> { [10,20) [30,40) [41,60) }
+ [41,52) -> { [10,20) [30,40) [41,60) }
+ [41,58) -> { [10,20) [30,40) [41,60) }
+ [41,59) -> { [10,20) [30,40) [41,60) }
+ [41,60) -> { [10,20) [30,40) [41,60) }
+ [41,61) -> { [10,20) [30,40) [41,61) }
+ [41,62) -> { [10,20) [30,40) [41,62) }
+ [42,48) -> { [10,20) [30,40) [42,48) [50,60) }
+ [42,49) -> { [10,20) [30,40) [42,49) [50,60) }
+ [42,50) -> { [10,20) [30,40) [42,60) }
+ [42,51) -> { [10,20) [30,40) [42,60) }
+ [42,52) -> { [10,20) [30,40) [42,60) }
+ [42,58) -> { [10,20) [30,40) [42,60) }
+ [42,59) -> { [10,20) [30,40) [42,60) }
+ [42,60) -> { [10,20) [30,40) [42,60) }
+ [42,61) -> { [10,20) [30,40) [42,61) }
+ [42,62) -> { [10,20) [30,40) [42,62) }
+ [48,49) -> { [10,20) [30,40) [48,49) [50,60) }
+ [48,50) -> { [10,20) [30,40) [48,60) }
+ [48,51) -> { [10,20) [30,40) [48,60) }
+ [48,52) -> { [10,20) [30,40) [48,60) }
+ [48,58) -> { [10,20) [30,40) [48,60) }
+ [48,59) -> { [10,20) [30,40) [48,60) }
+ [48,60) -> { [10,20) [30,40) [48,60) }
+ [48,61) -> { [10,20) [30,40) [48,61) }
+ [48,62) -> { [10,20) [30,40) [48,62) }
+ [49,50) -> { [10,20) [30,40) [49,60) }
+ [49,51) -> { [10,20) [30,40) [49,60) }
+ [49,52) -> { [10,20) [30,40) [49,60) }
+ [49,58) -> { [10,20) [30,40) [49,60) }
+ [49,59) -> { [10,20) [30,40) [49,60) }
+ [49,60) -> { [10,20) [30,40) [49,60) }
+ [49,61) -> { [10,20) [30,40) [49,61) }
+ [49,62) -> { [10,20) [30,40) [49,62) }
+ [50,51) -> { [10,20) [30,40) [50,60) }
+ [50,52) -> { [10,20) [30,40) [50,60) }
+ [50,58) -> { [10,20) [30,40) [50,60) }
+ [50,59) -> { [10,20) [30,40) [50,60) }
+ [50,60) -> { [10,20) [30,40) [50,60) }
+ [50,61) -> { [10,20) [30,40) [50,61) }
+ [50,62) -> { [10,20) [30,40) [50,62) }
+ [51,52) -> { [10,20) [30,40) [50,60) }
+ [51,58) -> { [10,20) [30,40) [50,60) }
+ [51,59) -> { [10,20) [30,40) [50,60) }
+ [51,60) -> { [10,20) [30,40) [50,60) }
+ [51,61) -> { [10,20) [30,40) [50,61) }
+ [51,62) -> { [10,20) [30,40) [50,62) }
+ [52,58) -> { [10,20) [30,40) [50,60) }
+ [52,59) -> { [10,20) [30,40) [50,60) }
+ [52,60) -> { [10,20) [30,40) [50,60) }
+ [52,61) -> { [10,20) [30,40) [50,61) }
+ [52,62) -> { [10,20) [30,40) [50,62) }
+ [58,59) -> { [10,20) [30,40) [50,60) }
+ [58,60) -> { [10,20) [30,40) [50,60) }
+ [58,61) -> { [10,20) [30,40) [50,61) }
+ [58,62) -> { [10,20) [30,40) [50,62) }
+ [59,60) -> { [10,20) [30,40) [50,60) }
+ [59,61) -> { [10,20) [30,40) [50,61) }
+ [59,62) -> { [10,20) [30,40) [50,62) }
+ [60,61) -> { [10,20) [30,40) [50,61) }
+ [60,62) -> { [10,20) [30,40) [50,62) }
+ [61,62) -> { [10,20) [30,40) [50,60) [61,62) }