-
Notifications
You must be signed in to change notification settings - Fork 1
/
case_ACTIVSg2000.Ctgs_random
638 lines (638 loc) · 2.69 KB
/
case_ACTIVSg2000.Ctgs_random
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
1619
1621
1624
1627
1629
1634
1636
1638
1640
1643
1036
1039
1044
1046
1051
1054
1056
1058
1060
1062
1064
1066
1068
1081
1085
1087
1092
460
462
464
467
469
471
477
479
484
486
488
490
492
494
496
498
500
502
504
506
508
510
514
519
522
524
526
528
534
536
540
542
544
546
559
561
563
565
567
569
575
577
579
582
584
586
592
594
596
598
610
614
619
622
625
629
631
635
637
639
645
647
649
651
657
659
670
672
674
676
681
685
692
694
696
701
703
705
708
711
714
716
719
721
723
725
727
732
734
736
739
745
751
753
755
757
759
761
765
771
774
776
787
789
791
793
799
801
804
1647
1651
1653
1655
1657
1662
1664
1666
1668
1671
64
168
204
1676
1372
1017
525
400
118
704
825
5
14
18
20
22
26
33
37
39
41
43
46
48
50
54
56
58
66
68
72
75
78
80
82
84
86
88
92
100
104
106
111
117
119
121
123
126
130
132
140
142
144
146
150
152
154
157
162
168
172
176
178
184
188
192
196
199
201
212
218
222
224
226
230
232
236
241
245
248
250
252
255
258
263
265
267
269
272
274
279
282
284
288
293
297
299
301
303
307
312
314
319
321
325
332
335
337
339
343
345
347
350
355
358
360
362
364
376
385
388
392
395
397
399
401
407
409
415
417
419
421
428
437
439
444
458
460
462
464
467
469
471
477
479
484
486
488
490
492
494
496
498
500
502
504
506
508
510
514
519
522
524
526
528
534
536
540
542
544
546
559
561
563
565
567
569
575
577
579
582
584
586
592
594
596
598
610
614
619
622
625
629
631
635
637
639
645
647
649
651
657
659
670
672
674
676
681
685
692
694
696
701
703
705
708
711
714
716
719
721
723
725
727
732
734
736
739
745
751
753
755
757
759
761
765
771
774
776
787
789
791
793
799
801
804
808
814
816
818
820
822
824
826
831
833
837
839
842
844
849
854
856
858
860
862
864
866
868
870
872
874
878
880
884
888
890
894
896
898
902
904
908
910
914
916
919
929
932
935
937
939
941
948
956
958
963
965
970
978
982
989
992
997
1002
1004
1006
1008
1010
1014
1016
1018
1020
1022
1026
1030
1032
1036
1039
1044
1046
1051
1054
1056
1058
1060
1062
1064
1066
1068
1081
1085
1087
1092
1098
1104
1110
1116
1119
1121
1128
1133
1135
1139
1142
1145
1147
1149
1151
1154
1158
1161
1169
1173
1175
1177
1179
1182
1184
1186
1188
1190
1192
1195
1199
1202
1204
1213
1216
1218
1220
1225
1228
1230
1232
1234
1238
1240
1244
1246
1248
1250
1255
1259
1264
1269
1276
1279
1281
1285
1287
1289
1294
1296
1298
1302
1305
1309
1330
1333
1335
1337
1339
1341
1343
1345
1347
1349
1352
1354
1356
1361
1366
1369
1374
1378
1382
1384
1391
1393
1396
1398
1400
1402
1408
1421
1423
1429
1431
1433
1437
1440
1442
1447
1450
1452
1454
1457
1459
1462
1464
1466
1469
1471
1473
1475
1478
1480
1482
1484
1486
1488
1490
1492
1495
1499
1502
1509
1513
1515
1517
1521
1523
1527
1532
1536
1539
1546
1549
1552
1554
1556
1558
1560
1562
1566
1568
1570
1578
1582
1584
1588
1590
1592
1594
1596
1601
1604
1608
1610
1615
1617