-
Notifications
You must be signed in to change notification settings - Fork 0
/
instance06.sol
623 lines (623 loc) · 3.98 KB
/
instance06.sol
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
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
1 27
2 7
3 2
4 1
5 29
6 1
7 25
8 27
9 29
10 25
11 28
12 35
13 7
14 13
15 30
16 5
17 31
18 20
19 14
20 8
21 33
22 33
23 19
24 3
25 12
26 13
27 26
28 1
29 27
30 27
31 35
32 16
33 7
34 25
35 17
36 13
37 25
38 20
39 35
40 1
41 21
42 11
43 1
44 17
45 1
46 7
47 28
48 18
49 6
50 12
51 17
52 7
53 20
54 8
55 3
56 1
57 30
58 16
59 24
60 2
61 17
62 7
63 16
64 6
65 7
66 25
67 13
68 32
69 17
70 15
71 14
72 2
73 28
74 18
75 32
76 9
77 12
78 21
79 3
80 17
81 24
82 20
83 25
84 21
85 13
86 29
87 32
88 24
89 1
90 5
91 9
92 29
93 17
94 34
95 2
96 9
97 4
98 1
99 1
100 15
101 25
102 3
103 17
104 23
105 5
106 33
107 29
108 19
109 25
110 18
111 31
112 12
113 21
114 28
115 26
116 35
117 19
118 6
119 31
120 35
121 23
122 5
123 1
124 15
125 15
126 9
127 9
128 17
129 32
130 5
131 29
132 24
133 31
134 11
135 1
136 13
137 18
138 4
139 15
140 34
141 8
142 26
143 1
144 23
145 27
146 31
147 30
148 7
149 35
150 9
151 27
152 24
153 11
154 5
155 19
156 1
157 13
158 33
159 29
160 2
161 35
162 15
163 23
164 27
165 35
166 19
167 5
168 34
169 16
170 34
171 26
172 23
173 32
174 2
175 6
176 18
177 11
178 25
179 17
180 13
181 18
182 11
183 28
184 10
185 15
186 9
187 31
188 3
189 35
190 2
191 21
192 15
193 24
194 7
195 16
196 23
197 18
198 21
199 32
200 18
201 10
202 14
203 30
204 27
205 34
206 2
207 7
208 24
209 8
210 35
211 14
212 25
213 35
214 10
215 29
216 29
217 9
218 25
219 4
220 9
221 6
222 13
223 30
224 1
225 24
226 7
227 30
228 35
229 17
230 5
231 1
232 27
233 12
234 19
235 25
236 29
237 24
238 26
239 12
240 22
241 3
242 12
243 20
244 27
245 5
246 18
247 28
248 32
249 3
250 28
251 10
252 4
253 18
254 24
255 14
256 25
257 13
258 35
259 27
260 16
261 12
262 3
263 33
264 1
265 22
266 8
267 19
268 17
269 23
270 33
271 35
272 9
273 32
274 30
275 28
276 22
277 32
278 6
279 11
280 20
281 18
282 7
283 1
284 12
285 10
286 30
287 6
288 24
289 3
290 16
291 26
292 35
293 23
294 16
295 27
296 17
297 4
298 35
299 10
300 30
301 24
302 15
303 22
304 32
305 21
306 9
307 6
308 6
309 20
310 17
311 21
312 4
313 1
314 9
315 28
316 33
317 1
318 17
319 11
320 14
321 18
322 27
323 23
324 8
325 33
326 21
327 11
328 35
329 24
330 29
331 20
332 1
333 7
334 10
335 20
336 1
337 9
338 6
339 35
340 1
341 14
342 4
343 35
344 1
345 35
346 10
347 26
348 22
349 28
350 31
351 20
352 30
353 21
354 21
355 34
356 35
357 22
358 18
359 32
360 2
361 10
362 28
363 16
364 34
365 22
366 8
367 22
368 11
369 1
370 28
371 35
372 11
373 23
374 5
375 19
376 22
377 27
378 1
379 35
380 34
381 19
382 23
383 5
384 20
385 20
386 26
387 10
388 11
389 27
390 8
391 19
392 33
393 34
394 14
395 22
396 29
397 2
398 30
399 24
400 35
401 12
402 6
403 18
404 13
405 35
406 20
407 32
408 20
409 7
410 31
411 6
412 24
413 30
414 4
415 18
416 18
417 35
418 1
419 8
420 30
421 11
422 9
423 1
424 26
425 16
426 7
427 35
428 13
429 20
430 10
431 26
432 19
433 1
434 35
435 4
436 34
437 18
438 15
439 3
440 18
441 32
442 27
443 9
444 35
445 5
446 12
447 10
448 34
449 11
450 23
451 24
452 3
453 1
454 17
455 21
456 30
457 16
458 12
459 33
460 3
461 26
462 34
463 7
464 12
465 14
466 14
467 9
468 26
469 20
470 1
471 1
472 12
473 24
474 18
475 31
476 19
477 6
478 34
479 1
480 8
481 20
482 13
483 26
484 34
485 21
486 16
487 29
488 14
489 29
490 15
491 6
492 5
493 30
494 23
495 2
496 34
497 17
498 11
499 27
500 21
501 14
502 35
503 4
504 24
505 33
506 4
507 33
508 19
509 16
510 22
511 22
512 34
513 8
514 8
515 15
516 7
517 7
518 22
519 14
520 17
521 28
522 31
523 1
524 26
525 1
526 20
527 23
528 11
529 34
530 4
531 9
532 35
533 28
534 16
535 6
536 16
537 29
538 35
539 16
540 35
541 16
542 34
543 9
544 1
545 7
546 35
547 2
548 11
549 24
550 32
551 4
552 13
553 10
554 4
555 35
556 7
557 1
558 28
559 28
560 1
561 34
562 16
563 26
564 1
565 11
566 9
567 35
568 21
569 4
570 8
571 24
572 33
573 31
574 35
575 32
576 8
577 35
578 25
579 4
580 1
581 23
582 5
583 2
584 21
585 34
586 6
587 24
588 13
589 8
590 31
591 12
592 17
593 34
594 6
595 35
596 29
597 15
598 13
599 7
600 1
601 1
602 24
603 8
604 27
605 8
606 2
607 13
608 5
609 15
610 25
611 29
612 11
613 32
614 15
615 9
616 17
617 34
618 16
619 21
620 1
621 35
622 27
623 2