-
Notifications
You must be signed in to change notification settings - Fork 0
/
fix_rand-instance1.stu
1643 lines (1643 loc) · 22.2 KB
/
fix_rand-instance1.stu
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
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
91 297 120 218
241 112 179 170 232
58 465 83 505 34 56
138 44 207 97 232
157 27 40 46
103 446 78
252 222 419 511 203
280 198 373 349 172 365
370 20
312 96 323
378 169 295 98 3
519 433 520 260
306 270 10 55 56 453
222 47
282 309
343 454 192 300
444 452 447
81 310 499 276
74 116 33 474
158 401 105 52 109 294
292 46 87 503 335 262
377 91 525 277
523 257 261 19 86
314 361 224 453 89
160 279 508 9 86 21
316 183 434 67
291 21
465 207 511 358
26 23 60 359 228
217 75 130 61 7
376 351 123 261
341 509 403 329
337 159 214 77 275
140 77 46 85 300 163
71 25 31 43 128 115
325 135 270
366 257 249 115 25
203 405 205 209 144
423 27 218 411 23
383 270 111 212 250
430 323 238 262 498 114
519 518
364 340 342 319
217 191 417 383
47 448 71 173
1 212 7 27 245 352
69 59
117 411
138 68 39 213
132 276 410 462
417 336 205 25
287 47 91
2 109 11 330 12
83 125 82 511
282 2 312 25
448 56 207 9
20 50
57 377
176 20 119
191 40 204
57 10
486 304 276
343 485 2 468
524 203 245 145
9 24 12 28 95
426 144
131 114
487 286
247 258 179
275 386 115 175
498 52 204 266
309 138 117 118 23 294
507 284 126 54
100 116
140 59 368 131 147 200
7 384 192
253 367 249 339 191 511
469 233 470 442 357
154 160 97
410 4 423 171 127 301
356 234 247
424 475
446 347 80 173 316 113
311 259 253 179 272 302
308 236 143
454 30
222 132 419 87
85 411 488
514 343
469 168 110
362 71 32 314
419 85 223
15 7
468 196 25 150 418 55
130 159 60 338 374 41
470 501 491 69 44 17
505 125 200 279 408 302
113 294 285
136 119
84 236 307 133 2
339 141 309
88 272
143 243 12
311 478 440 429
210 68 10 155 40
514 326
83 206 203 374 13 521
100 17 114 181
491 247 249 132 386
400 180 117 313
431 215
288 40 86 204
121 191
485 478 350 47
257 409 12 171 212
194 248
387 397 465 130
329 166 314 103 426 82
219 85 165
104 350 19 137 196 117
424 136 345 365 11 265
5 103 7 58 98 4
495 434 160 315 446 245
127 231 107 217 200 135
505 107
475 463
138 83 70 433 203
173 371 117 62 209 121
360 198 363 314 310 272
31 281 100
150 390 255 147
485 322 28 25
278 264 335 12
42 32
322 386 248 110 79 270
450 263 169 257 351
417 182 207 247 77
60 101 158 462 50 239
207 431 50 141 87
125 111 25 54 322 17
296 185
322 175 154
60 255 195 328
110 16 473 8 171 15
151 228 158 117 175 57
342 92 136 98
409 3 72
47 24 295
287 37 111 218 259
448 193 450
235 201 29
101 34 66 523 124 41
179 304 157 81 199 90
45 169 96
58 122 68
326 66 283 522 17
490 352 518 521
422 477
472 258 76
160 184 296 233
135 75 363 200 96 187
295 84 80
354 60 64 146 267
226 452
145 43 225 62 396 173
278 24 350
472 12
73 331 11 411 94 152
349 351
52 36 142 92 263 205
91 274 148
317 11
120 26 6
157 65 168 33 184 225
510 57 349 455
264 110 211 445 37
404 52 44 350
147 122 130 44 117
342 356 275 392 248 55
9 190
90 21 11 230 93 44
518 166
343 227
518 101 434 302 85 206
128 448
284 74 430
342 63
395 484 20
253 466 254
251 334
357 52 456 202
397 283 484
104 82 121
254 283 170
279 482
327 243
511 477 474 271
206 182 169 220
187 162 80 427 130
515 168 171 421 352
194 131 52 348 277
238 75 118 234
215 68 5 62 111
215 87 85
111 168 77 245 235
107 200 415 108
96 291 77
475 292
5 343 45 9
234 445 122 21 388
524 100 214 19
317 252
326 191 338 407 294
247 212 183 108 106
270 204 18 490 360
500 480 378 21 423
142 77 58 328 60
194 155 53 204 381
216 353 126 190 92 26
455 335 42
165 152 394 25
219 8 504 104 99
208 142
139 180 43 69 112 44
409 10 273 346
361 276 205
447 236
288 450 17 58 154
199 267 149
510 23 502
419 519 227 130
445 378
214 91 187
100 331
197 60 38 473 159
167 506 191
423 107
357 200 2 152 254 237
132 104 204
307 423 32 50 452
400 445 358 72 516
161 159 227 347 209 36
3 62 77 70
126 103
472 16 447 152 425 250
249 379 183
213 248
233 166
222 223 60 41 466 295
459 385 408 371 306
469 167
169 82 281 36
224 402 439 153 383 69
269 466 102 55 11 408
288 405 330
183 84 42 127
504 27
28 134 351
421 236 155 44 431 259
300 219 246 392 262 244
114 119 499 54 148
271 3 10
125 126 67
157 48
256 412 207 131 112 136
445 115 359 396 251
399 523 443 236
16 75 18 13
438 200 143
73 31 428
98 47 504 298 48 437
169 23
328 117 41
188 10 372 21 184 163
168 200 119 285 242 24
147 230 39 288
129 148 255 20
465 77 40
72 198 121 353
449 6 101 93 301
145 333
196 33 219 391
39 51
76 19 42
296 272
38 146 350
405 254 354 83 365
318 346 359 286 349
112 63
323 212
247 246 370 50
215 166 309 46
96 303 301
275 492 22 50 266 134
336 44
406 395 323 341 141 293
4 6 429
461 210 49
174 72
23 212 27 114
191 81 58
412 196 58 94 382
487 375 107 391
381 44 159 332 391 121
503 357 45
2 302 48 186 151
352 225 15 28 119
452 473
207 181
71 445
127 108
85 149 439
92 186 34 462 29
155 306
139 3 256 427 323
408 279
395 225
337 353 467 150 340 23
249 314 437 87 413 109
265 183 65 245
513 56 133 526 396 454
212 283 261 248 26
31 9
303 481 368 125 290 106
171 453 99
404 482 419 475 387 242
136 61 324 96 115
513 423 279
111 48 375 158 18
424 462 260
104 50 67 192 184
7 24
224 397
429 100
80 115 368 103 108
159 276 23 21
482 350 164 173 474
86 244 69 377 120
35 184 159 305 520 13
344 13 101 111 279 310
183 112 72 437 89
508 362 501 172 430 223
161 68 109 106 440
447 176 274 230 192 365
347 272 224 273 321
508 109
467 344 92 241
360 50 257 392 457 278
317 368 82
257 226 267 66 223
279 476 97 76
429 67 335 92
276 297 163
491 55 257 483
176 126 56 263
452 407 204
299 359 8 232
11 163 15 242 403 440
363 125
350 185 310 213 283 264
307 501
297 120 146 69
166 107 10 458
270 250 39 296
198 380
105 108 418 335 414 231
414 251 484 346
43 211 33
140 115
136 214 18 83
159 93
170 245 101 273 301 54
501 379 324 361 226
58 38 61 7
134 227
395 363 59
4 26 106 39 21 386
214 75 279
181 227
199 494 272 160
504 320 284 376 190
302 436 88 339
52 80 98 28
101 354 213 404
293 103 202 78 399 18
63 21 119 6 53
21 49 183
235 56 272 498 188
18 8 9 118
387 186 336
140 28 454 11
20 38
260 251 223 258 211 94
113 175 395 168
288 13 65 5
526 205
91 180
461 285
304 331 78 14 364
265 333
455 382
94 310 70 52 380 418
421 20 184
403 116
516 13 469 14 378 95
253 166 526 231
415 24 117 459
514 237
21 30 245 7 256
422 152
60 91
231 228
62 73
337 454
376 168 343 138 20
20 65 115
196 35 481 357
84 4
427 83 68
33 41 2
324 240 192 377 106 54
253 290 174
258 351 205 316 110 199
402 459
470 89 457 480
115 229 156
25 159 20 53 3 21
397 111 50 289 456
336 362 335 233 37
223 159 230 22 124
97 60 6 164 57
138 180 185 25
87 54 255 172 402
83 57 12
159 178 59 102 242 239
247 241 195
209 272
348 315 115 212 500
90 182
396 110 389
400 141 251
112 95 51
77 306
154 41 175 457 239
40 353 69
424 467
339 193 156 298
368 325 341 69
87 31
215 328
417 284 59
120 467 266
183 380 64 278 312 132
225 273 23 378
251 266 471
155 168 244 85
218 40 255 76 275
64 10 81 166
458 231 355
398 108
106 348 221
389 122 148 110 164 481
220 109 431 129 202
324 84
315 202 203
509 94 71 347 57
284 456 92 221
317 146 226 46 265
284 16 286 164 53 319
213 135 59 393
350 188 127 37 16
198 84 337 53
228 255 246 492 473 164
95 416 220 30 126 258
161 15 295 354 338
285 30 368 250
359 378 9 432 269
67 25 373 238
448 460 267
472 78 82 242 476 85
378 22 433 379
83 10 45 160
298 139 456
128 50 156 245 283
155 238
14 21 12
226 483 229 168 488
283 10
472 162 281
173 10 261 56
319 310 384
168 49 72 137 187 88
295 318 458 145 425
60 333 252 39
125 414 232 43 93
162 115 9 236
477 232 255 374 203 119
360 382 76
517 84 363 53
13 49 5
414 510 312 489 65 323
67 103
375 118 481
290 9
413 97 81 144 521 227
115 344 426 38 12
445 466
127 44 364
362 433
237 180
484 473 191 87 75
422 293
23 9
379 291
80 418
415 334 332 7
11 38
296 159 251 143
430 241
257 75
341 305 25 129 39 155
165 137
396 234 267 98 426 189
200 209 3 17
332 517 180 120 435 21
100 246
61 37 277 2 12 105
347 123 218 251
24 257 44 439
8 51 120 63
374 218 305 89
12 515 18 34
150 59 476
98 241
377 361
294 33 371 265 435
520 202 237 454
174 418
354 22 428
283 194 193 134 237 99
166 185 193
113 45 128 319 155
162 224 346 203 220
352 100 82 22 70 29
451 319 402 30 425
498 122
186 267 72
266 12
367 221 192 276
321 16 525 410 151 116
286 315 461 348
387 245 120 101 298 322
12 425 48 375 7
450 305 97
461 471
323 93
226 223 36
2 9
32 461 77 512
170 176 446
180 129
197 34 110 107
309 308 108 27
328 285 422 401 301 349
492 97 49
212 177 179
410 141 426 352
240 55 155 120 124 454
379 53 12 505
415 405 496
489 181
89 38 3 26
137 144
84 216 191 131 119
264 428 261
290 10 185 62 85
442 496 33
236 479
403 477 54 236 283
97 147 88 260 148
442 96 181 169
189 92 282 122 77 451
154 231 382
90 109
345 70 248
299 267 410
216 349 332
447 180
356 264
479 405 119 186
334 16
50 119
224 151 30
290 218 99 195 227
111 388
32 40 78 20
192 209 49
343 432 76 152
42 7 4 231 274 273
356 258 164 188 186 439
96 46 439 444 220 49
337 371 65 430
308 452 243 233 29
368 82 117 401
285 521 349
202 378 507
376 464 454 382
458 127 38 159 135 174
131 213 356 10 151 35
509 320 37 411
107 78 49
439 205 41 26
65 10 35 114
254 393 407
76 67 64 93 55
160 90 268 127
523 204 185 365 313 145
66 61 201 457 133 24
179 274 463 152 115
218 319 61 89
236 380 327 304 351 6
131 227 56 100 135
244 344 89 303 487 292
214 453 78 29 49
84 392 110 15
147 383
39 475 50 283
429 163 314
218 392 28 171 261 146
464 184 481 461 46
30 66
72 21 386 182
95 308
103 12 239 197
256 205
470 451
233 456
195 178 119
324 96
325 134
179 480 426
22 292 409
218 459
164 112 488
72 64
12 46
115 101 202 278 87
258 246 31 123
171 274 46
338 227 518
158 36 227 487
307 411 245 27
158 31 351 370
513 327
260 456 402 261 271
188 2 197 255 474 20
85 135 133 59 96 99
119 35
362 425 463
407 53 39 429
416 263 314 83
134 526 278 276
139 90 152 176
330 40 133 25 89
94 333 108 10
329 380 225
300 81
374 401 90 243
210 181 315 235 172 335
215 447
5 325
344 32 359 51 122
437 76 293 251 390 24
223 23 71 67 221 435
312 313 9
427 169
127 176 279 61
202 72 90 327
252 16 24 61
489 432 476 14 287 101
74 515
442 27 198
420 246
476 471 494 40
160 24
319 299 196 233 392
91 456 58 271 29 114
304 18 181
39 30 440 55
111 394 143 87 64 88
170 348 141 497
20 6 28 44
244 455 144 320
161 149
185 22 487 263 30 55
493 197 392
352 366
385 149 131 291 167 313
113 123 523 144 274 26
79 408 41 68 373
461 319 418 398 174
525 91
100 182 296 13 267 248
157 53 6 11
483 57 480 122 196 296
109 13 133 517 255 176
355 264 271 388
149 299 35 134
8 9 4 52
210 195 268
330 51 73
359 196 444
145 194
73 59
103 390 143
191 53
88 6
196 494 135
198 50 258
112 199 274
159 225 70 13
34 136 108 98 28
371 317 282 40
392 150 197 95
78 45 497 85 395 3
363 61 64 156 446 439
7 133 185 49 6
324 271
283 316
440 181 6 282 453
339 250
153 22 346 128 117
338 72 172
75 59 209
55 220 32
48 345 46
481 431 27 328 498
87 134 10 27 156
451 445
398 66 64 201 456 28
142 20 72
62 37 259 65 308 9
90 155 277 15 159 67
324 357 378 133 31
45 17 312 46 521
81 185 7 71 46 217
503 118
410 153
36 87
6 24 153 12 53 213
148 520 272 289
423 149 480
149 349 7 156 129
188 168 122 86 133 15
451 29
313 177 155 277 204
70 141
60 111 172
79 44
234 12 83 309 353
28 30 394 129 27 169
253 186 85
496 120 209 414
367 7 136 60
501 364 327
37 108 463 46 116
277 231 383 232 114
242 26 344
242 27 185
364 301
401 214
126 55 293 15 479 83
229 310 281 433 86 49
487 47 70 169
183 44
259 169 189
9 37 30 11 198
129 426 130 263 44 452
107 92
145 266
478 117 245 420 296
166 72 105 195
488 480
16 27 375 19 9
335 418 230 17
413 401
7 194 61 13 245
133 241 271 444
316 455 351 318 169
366 211
488 35 446
323 43 132 268 69 198
144 25
88 37 42 62
89 49 14 21 297
32 76 114 64 18 152
384 116 123 221
373 233 271
8 95 35 16
502 474 225 74
127 70 36
500 69 56 44 72
111 436
401 42 340
77 24 68 208
6 26 36
100 39
205 488 314
112 45 155 386 287
53 351 28 60 180
106 227 162 122 153 144
16 33
66 19 4 27 47 155
384 411
373 153 175 404
406 281 74 328
419 144
457 190 485 184 123
151 447 331 29
94 167 20 208 93
454 346 294
53 378 456 418 8 3
420 265 8
2 3 245 4 30
424 334
56 172 82
132 268
262 413 268
275 499 122 151
91 34 61 100 67
40 10 52
57 208 246 44
16 29 108 174 56
295 271 38 520
17 74
290 221 219
101 178 69
356 196
127 46 78 41 60
286 163 22 209
143 335 416 383 473
452 163 462
197 108 6 225 4 92
475 204
402 203
121 38 74
73 47 348 98 23 117
372 8 119
163 502 233 131 48
126 80 40 191 393 261
395 57 27
398 313 121
246 274 453
73 44 146 35 45
120 214 203 153 498 114
21 86 385
68 65 29 11
264 368 19
286 215 298
502 122
192 211 124 38 3 62
123 153 271
394 23 26 289
168 353 291
60 160 49 272
447 146 480
381 228 407
433 471 276 368 456
267 245 116 182
255 20 160 272 268 285
50 23 291 193
388 32 21 90
391 153 17 149 279 91
340 519 391 386 123
24 25
286 208 104
135 40 190 103
70 314 61 167
8 5
60 237
204 9 114 193
474 146
14 13 18
444 65
230 162 67 87 70
492 525
187 15 82
159 47 5
119 106
483 168 203
204 121 234 2
143 332
213 108 345 87
259 162 432 31
475 128
220 22 47 43 390
64 526 149 67 180
428 10 251 463 334
519 316 21
281 327 223 37
197 8 63
112 269 194
123 250 110 102 122
488 489 441 29 56
349 227 195 268 443 76
304 41
453 29
358 460 47
209 346 89
85 499 55
391 438
437 282
231 146
151 346 95 463
231 150
126 175
166 190 165 291 394 225
148 59 429
143 185 298 131
359 384 305
246 216
55 149 152 515 17
81 115 87
37 81 31 39 59
87 169 15 418
388 139 384 397 426
404 392
276 268
233 198 93 414 378 19
373 39
238 186
328 327 262
325 137 37 242 76 31
418 455 47 490 282
80 134 77
176 47 121
92 200 23
375 297 49 477
284 172 117 70
388 233
353 474
106 47
490 95 383 11 474 24
409 239 314
107 51 175
331 269 251 162
346 332 25 199 349 8
485 480
239 426 58
206 153
10 19 16 22 14
341 423
86 33 482
14 46 333 405
134 124 281 15 36
217 97 118
21 31 105 333 3 180
45 53 430 106 30 143
185 109 478
217 63 379
110 46 78 460
162 14 7 464 93 349
79 135 51 143
414 203 56 78 466
420 198
288 217 124
169 268 243 16
241 229 120
302 107 122 3 267
82 61 136 33
386 47
459 203
435 455 371 436
239 99 3 251
446 372
264 98 144 118
278 423 190 99
223 344 480
267 10 167
268 432 460 392 209 83
444 41
14 33 188 29 24
243 436 42 43 29 159
124 14
87 345 97
394 211 32 305
216 298 286
285 265
504 231 13 135
111 123
176 146 187
3 5 8 52
120 28 65 494 270
494 261
522 16
205 57 206
300 136 83
225 443 117
268 299 413
133 95 243 258 245