-
Notifications
You must be signed in to change notification settings - Fork 0
/
i750_10_10_cost3840.sol
752 lines (752 loc) · 7.84 KB
/
i750_10_10_cost3840.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
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
# Total tardiness 3840
# job_id lane_id start
27 0 0
34 1 0
138 2 0
273 3 0
369 4 0
708 5 0
732 6 0
245 4 26
513 0 31
69 5 32
475 6 32
80 3 37
387 1 41
180 2 55
479 6 68
543 1 87
71 4 96
557 0 98
253 5 101
167 2 128
405 3 128
275 0 139
211 6 147
342 4 157
645 5 171
263 1 178
536 4 181
168 0 210
698 6 212
315 2 216
363 3 223
704 5 255
377 1 257
673 2 258
54 6 272
5 4 277
597 0 280
242 1 283
740 6 310
365 3 319
671 5 321
522 1 341
542 6 341
87 3 343
389 5 343
370 2 356
699 4 356
544 6 363
585 0 369
160 3 380
304 2 383
56 3 403
143 0 407
229 4 407
716 6 411
611 1 428
252 5 430
36 3 443
653 2 452
577 0 460
324 6 464
184 4 466
692 1 475
250 2 497
259 5 509
182 7 511
515 4 514
429 1 518
230 3 535
201 6 543
594 0 546
46 4 561
280 2 576
302 0 578
65 1 580
101 5 581
450 3 582
728 7 582
510 6 590
13 4 611
570 4 632
379 7 638
443 5 647
725 6 651
446 3 652
413 0 658
550 2 668
317 1 673
564 4 673
19 3 684
393 5 688
586 7 690
620 6 713
156 1 727
562 2 728
301 4 739
517 7 749
497 3 750
264 0 754
194 5 763
574 1 780
296 0 781
233 6 792
534 2 813
398 6 814
729 0 816
735 4 819
584 3 831
471 7 836
16 1 845
625 4 850
210 5 854
652 0 857
744 3 876
89 1 884
189 4 892
241 2 899
17 6 900
642 1 909
627 5 917
133 0 918
274 6 925
523 2 927
188 7 929
384 3 940
663 2 947
349 7 949
578 4 952
463 0 954
78 3 961
98 5 961
423 1 982
424 6 982
551 0 983
292 3 990
693 2 997
664 7 999
418 3 1011
18 6 1026
438 0 1027
270 5 1028
408 8 1032
391 4 1039
307 5 1059
453 2 1066
711 3 1066
709 8 1069
76 1 1072
688 0 1093
598 7 1097
687 4 1103
503 2 1104
548 3 1104
485 6 1111
359 8 1119
311 5 1123
309 4 1133
287 5 1160
427 1 1163
531 8 1174
623 3 1175
478 0 1177
533 7 1181
563 4 1182
549 2 1183
187 6 1199
400 3 1202
416 5 1209
327 8 1210
553 1 1214
592 0 1222
217 7 1227
202 1 1235
219 6 1245
197 2 1250
635 8 1267
609 3 1273
700 4 1276
265 0 1278
339 2 1279
225 7 1283
632 5 1286
204 2 1300
127 1 1308
223 5 1325
677 0 1326
580 6 1332
460 2 1334
356 8 1340
524 1 1359
452 3 1361
146 4 1364
8 6 1366
741 7 1370
591 4 1385
238 6 1387
72 0 1406
581 5 1417
185 8 1420
386 2 1429
411 3 1430
117 6 1435
150 1 1451
171 2 1454
473 7 1455
109 6 1460
209 4 1475
528 1 1487
694 3 1488
82 0 1491
508 5 1492
710 7 1495
174 2 1499
283 6 1502
554 4 1506
491 8 1508
539 7 1527
403 2 1530
486 9 1534
397 1 1538
640 3 1552
350 0 1563
347 6 1567
326 8 1573
152 7 1579
639 5 1587
299 1 1590
587 4 1590
545 9 1596
151 2 1605
715 3 1622
547 6 1628
272 5 1649
738 0 1651
495 4 1652
226 9 1659
258 1 1662
70 8 1669
474 7 1675
661 3 1683
35 2 1687
637 0 1706
170 6 1711
91 4 1725
104 1 1744
675 5 1748
53 7 1751
519 8 1751
21 2 1755
348 3 1755
516 9 1755
200 6 1772
569 1 1773
305 7 1775
181 5 1777
325 9 1778
29 4 1784
269 3 1796
266 0 1798
281 5 1802
364 9 1803
390 6 1806
208 1 1824
222 7 1826
502 4 1835
131 2 1848
456 8 1848
401 0 1849
149 3 1860
395 7 1865
514 6 1889
9 4 1893
489 9 1897
243 8 1898
352 5 1900
629 1 1918
409 0 1931
406 3 1932
568 2 1934
57 7 1940
380 6 1946
697 1 1951
689 4 1961
745 0 1969
437 9 1970
410 2 1974
737 8 1974
2 5 1976
375 7 1980
558 4 2010
731 3 2016
630 6 2030
313 2 2043
684 8 2043
118 1 2045
504 5 2045
260 0 2053
321 2 2065
678 3 2073
178 6 2074
355 7 2078
220 6 2095
670 4 2108
81 8 2122
7 1 2124
336 5 2129
439 0 2137
505 3 2140
6 2 2150
651 1 2156
285 7 2163
402 8 2176
177 3 2177
746 6 2181
468 4 2199
383 5 2205
589 0 2213
145 3 2215
506 7 2221
186 2 2222
279 1 2228
615 7 2252
559 8 2254
660 0 2266
372 6 2269
607 8 2279
284 3 2281
286 4 2286
582 7 2286
113 0 2291
26 5 2292
28 2 2308
621 1 2310
617 6 2315
205 3 2340
628 7 2346
494 0 2348
251 5 2349
657 4 2362
30 2 2365
129 8 2365
55 5 2377
94 1 2383
422 4 2397
618 6 2406
176 7 2414
106 0 2431
743 3 2431
148 2 2440
394 5 2454
86 8 2462
567 6 2466
561 0 2470
648 1 2470
487 4 2484
190 2 2489
314 7 2491
490 5 2494
249 0 2498
683 3 2498
371 8 2506
40 1 2514
74 5 2517
340 6 2518
110 0 2527
136 2 2528
196 3 2535
237 5 2541
254 1 2543
49 2 2552
289 8 2561
385 5 2562
47 7 2572
108 4 2573
667 6 2586
441 7 2596
518 3 2606
316 5 2609
454 0 2626
747 4 2629
297 6 2632
656 3 2635
445 1 2639
358 2 2648
556 8 2660
294 1 2666
484 3 2669
685 4 2674
32 7 2679
300 2 2683
10 8 2686
583 5 2694
354 0 2704
276 7 2717
440 5 2721
600 1 2728
33 4 2737
565 0 2755
633 2 2757
719 1 2759
61 5 2761
235 6 2761
392 3 2767
722 7 2778
158 4 2791
320 1 2800
99 5 2814
48 7 2817
337 0 2825
624 3 2833
213 2 2853
742 5 2855
702 4 2857
41 6 2858
271 0 2866
641 1 2866
142 1 2898
713 4 2898
328 0 2902
332 3 2904
726 5 2904
112 7 2916
415 6 2919
96 2 2924
228 3 2925
52 1 2928
329 4 2928
672 5 2932
511 0 2935
382 7 2944
366 4 2963
571 6 2964
90 2 2966
60 3 2967
64 1 2970
278 5 2977
77 7 2989
461 0 3008
573 6 3009
674 5 3013
330 4 3016
691 7 3025
38 3 3028
525 0 3030
164 6 3031
262 2 3032
346 1 3039
123 5 3052
105 0 3058
626 2 3063
121 1 3064
318 5 3083
703 4 3101
435 7 3104
707 3 3107
538 6 3118
141 2 3130
614 1 3131
718 0 3136
203 3 3138
312 5 3139
717 6 3149
95 1 3159
116 4 3168
509 7 3173
165 0 3188
37 2 3214
244 7 3217
381 6 3233
267 3 3235
472 5 3236
126 1 3252
412 4 3252
616 7 3257
459 0 3267
66 6 3291
308 3 3293
124 4 3305
255 2 3306
191 5 3328
658 0 3329
696 7 3343
608 1 3349
67 3 3353
341 4 3377
154 2 3380
25 6 3387
172 5 3391
619 0 3392
295 1 3397
161 3 3416
501 5 3426
257 2 3432
79 0 3440
169 4 3440
636 6 3441
727 0 3470
353 1 3494
4 3 3502
183 2 3503
39 5 3514
120 4 3525
457 6 3526
604 0 3536
232 3 3576
128 0 3579
246 4 3584
23 2 3586
374 1 3587
498 6 3596
239 2 3611
15 5 3613
425 1 3614
43 3 3619
493 6 3628
277 2 3643
351 5 3645
560 1 3646
215 0 3649
436 4 3654
198 3 3684
540 5 3684
733 4 3689
373 6 3693
527 3 3708
256 1 3717
50 0 3733
526 2 3737
335 1 3760
644 3 3760
595 4 3767
119 5 3778
705 2 3780
647 6 3781
599 0 3785
140 1 3789
388 3 3822
521 6 3836
622 1 3849
42 5 3858
668 4 3862
476 2 3864
669 0 3880
139 6 3896
483 2 3906
537 3 3917
173 5 3918
602 0 3920
603 1 3935
421 4 3948
59 1 3973
682 6 3984
153 0 3988
319 2 3994
214 3 4000
334 5 4001
596 4 4016
590 2 4019
193 0 4022
681 6 4022
63 3 4025
221 1 4057
601 2 4060
195 4 4063
676 0 4066
679 5 4071
68 0 4124
530 3 4124
360 5 4130
93 1 4156
496 2 4159
125 4 4162
720 3 4175
306 5 4179
45 0 4199
22 4 4210
144 1 4218
465 2 4221
480 3 4223
541 5 4246
428 3 4249
361 2 4255
11 1 4258
442 4 4264
420 2 4282
690 5 4286
224 0 4295
631 3 4332
499 1 4334
520 4 4339
376 2 4348
464 5 4352
706 0 4354
103 3 4367
216 5 4381
115 2 4391
448 0 4392
298 1 4397
212 4 4429
130 3 4430
417 1 4436
97 0 4459
404 5 4462
666 3 4463
492 1 4469
572 2 4469
650 4 4486
643 3 4508
288 1 4521
458 2 4521
159 0 4538
236 5 4541
155 1 4557
566 2 4557
488 4 4578
736 3 4600
606 1 4617
730 2 4617
240 0 4622
466 4 4636
649 3 4654
122 2 4704
268 1 4709
695 0 4714
546 4 4728
368 1 4739
555 0 4744
724 3 4746
712 2 4775
469 3 4787
646 4 4805
218 1 4829
605 0 4832
686 3 4833
166 2 4843
51 4 4867
111 3 4888
680 4 4907
157 0 4909
482 1 4917
750 2 4919
343 3 4973
338 0 4992
634 4 4992
1 1 5011
132 2 5014
588 3 5023
430 1 5035
378 0 5065
135 4 5066
579 2 5089
426 3 5098
451 1 5108
114 2 5132
293 2 5161
749 0 5163
134 2 5190
107 3 5195
62 1 5205
512 0 5219
433 2 5246
434 3 5248
58 1 5254
85 1 5296
44 0 5305
396 2 5333
88 3 5335
362 0 5354
227 3 5368
163 1 5369
612 2 5382
331 0 5387
739 3 5401
92 1 5421
654 3 5446
414 2 5471
322 0 5476
721 1 5482
662 3 5484
367 0 5511
462 2 5537
290 0 5544
455 3 5553
147 1 5578
399 3 5580
576 2 5592
162 0 5608
714 2 5614
659 0 5650
419 2 5658
137 1 5661
31 0 5694
207 2 5694
344 1 5723
175 2 5768
12 0 5780
345 1 5797
638 0 5810
73 2 5824
613 1 5881
3 0 5894
481 2 5908
575 0 5920
723 1 5964
535 0 5979
24 2 5986
282 0 6034
323 1 6044
610 0 6082
100 1 6089
192 0 6114
20 1 6134
357 0 6195
467 1 6206
470 1 6266
500 0 6287
444 0 6336
206 1 6357
701 0 6360
449 1 6433
179 0 6456
247 1 6517
655 0 6521
248 0 6582
552 1 6596
84 0 6632
291 1 6649
665 1 6675
102 0 6698
407 1 6724
593 1 6778
432 0 6779
748 1 6802
231 0 6843
199 1 6850
261 1 6879
14 0 6883
303 1 6905
447 0 6924
83 1 6926
734 1 6970
477 0 6988
532 1 7042
529 0 7055
333 1 7122
310 0 7134
234 1 7207
507 0 7216
75 1 7302
431 0 7303