MOFDiff/splits/val_split.txt at main · microsoft/MOFDiff · GitHub

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
214834
272675
135860
271779
303002
223596
198840
179524
156221
64679
143024
86555
275816
45223
148025
178935
20753
131865
41720
269861
114761
1222
141886
169194
143430
107331
199515
230561
137953
43182
115156
307127
253945
132191
261049
135821
304108
61494
156777
120196
53011
279467
13199
278853
176942
47325
11335
30034
163321
247281
297367
255181
126634
101768
6866
216005
219050
34751
244144
170406
120630
298554
230234
214375
63294
81830
194362
209896
92074
242694
84279
192367
7867
132422
156486
22412
165537
147571
75956
302466
75733
162561
151569
233812
165318
22565
206906
196308
285615
135510
60658
257399
72314
126711
86922
105775
300739
269679
195320
174193
137052
258932
201465
194301
301201
260631
226078
110379
156950
132265
100719
88466
214068
161792
186012
264594
134498
128738
133053
148218
30631
8904
83305
120069
248126
155792
264729
206251
228880
292200
113065
256233
165066
76166
66704
77396
234795
262123
6780
222103
54326
303891
220561
289889
224140
21523
148276
263172
70175
102242
239151
8068
214715
217398
132329
290478
10809
200687
250368
70190
164159
95664
200389
50095
278083
30963
12693
181870
14317
211808
85859
56054
26174
217060
70434
234111
104759
13954
221730
72251
289878
32224
120677
281311
3231
151824
284636
13966
99826
157245
229103
29804
90650
199074
177966
301751
264437
132057
117711
121563
255391
21689
240384
247635
192882
214615
51503
110064
282272
113467
34762
175885
65027
69551
277695
33926
126486
205685
198002
128995
33468
196788
43753
176290
195078
21729
2918
294618
53631
72022
35168
92304
121923
234269
43015
290187
92572
30732
142933
229537
37757
93719
139802
48893
266144
47799
160266
151593
261127
213569
151347
274781
229223
29706
283280
218868
56141
302727
219139
253272
66035
185342
59953
149206
77203
271867
138926
28027
213423
60912
36701
71404
67911
108991
235536
168303
127435
130016
66234
156419
202039
105388
296643
205421
259085
183917
224757
55962
209600
199073
231793
120266
301893
139677
281312
248131
293181
269970
169005
133524
112868
149072
156178
267946
90353
287212
184533
102791
161586
207029
180188
243450
34138
239968
67786
214167
18599
265135
110364
10780
297665
154082
284383
57193
146365
293744
244878
88176
125446
284891
143218
196874
80671
273206
76458
175543
90894
260207
273127
79851
136938
24053
35176
84881
98991
234037
119277
191101
39452
211854
212088
87570
247842
202541
184761
88481
287707
31277
29941
156846
40162
260867
112473
13500
296257
206444
79705
93752
261336
214694
62982
198331
166936
125837
71377
276609
162805
128929
24365
11806
212288
298632
143564
151899
153016
243850
149012
166779
49066
77770
125244
291623
178551
58126
187637
294621
268116
285520
139897
266880
283573
201436
199460
125005
225071
233632
118229
158725
105737
157077
275968
157013
190416
70035
202038
95212
294378
57713
297871
72059
171522
253621
13101
82977
300375
207623
110275
197606
101986
188346
254074
253962
98878
294006
125173
196896
211419
36156
268448
159043
144448
287614
151683
136883
158862
117803
5038
83304
182963
274445
306696
25879
161939
81095
136409
208157
24138
239739
186168
188642
254526
28614
212905
92603
244235
84867
295103
161872
203687
165338
74144
22
84410
277433
111267
237064
1201
111857
43687
80227
138990
263602
125748
280322
296588
258889
228205
60878
85515
15494
152940
305437
77986
58686
240500
130636
175301
137148
220098
117861
144789
162864
180853
58244
81994
64037
236513
63269
10367
241928
89358
119056
78717
299142
34305
57904
98574
134290
25303
283195
137566
283045
6256
155723
212951
214050
14776
248120
132547
257018
133838
178917
80882
198012
81947
1071
227145
215768
68975
62587
228035
269087
147378
58380
111573
256065
164964
32831
305542
50708
130146
32275
224393
191710
306196
142604
239292
215542
58231
251944
160900
85541
294020
39777
6014
219650
101116
173286
140456
95688
88992
262518
255634
59338
301599
132616
204732
261998
81737
305713
71367
107617
136101
247081
19395
228927
117159
265460
99532
288779
1804
250577
170150
117418
256671
119292
81701
238465
151689
65266
73239
161884
80323
25704
80763
250072
41957
165488
40169
63120
97168
177767
209897
117845
158656
225669
190038
209968
78186
125015
127367
171706
132383
166720
136854
239900
117036
223777
214949
194924
210254
104612
31676
150318
166703
149651
16453
149175
58565
199954
30005
13519
181967
29927
11808
31644
277891
220686
171415
206719
235521
166312
139606
254243
68384
278843
113389
77958
203709
3577
69871
292615
151866
99438
183868
294691
178660
105667
287334
108611
103870
140495
98440
75745
259532
72318
261699
76426
136432
206120
287402
295535
218620
33754
27167
48318
200517
55993
109098
251779
7094
204471
241968
59467
132988
64878
180549
47948
264023
192620
189388
99336
82095
95001
46942
306847
206627
120198
229919
246990
168511
178208
217802
26727
146462
43867
257027
256128
138653
158552
282896
224117
61181
260054
296249
190931
266822
143774
95372
274929
165930
265342
164737
249481
119746
176198
172516
61818
62860
61142
75654
87565
149507
226733
138498
83722
18691
265167
165880
113358
104412
271964
44769
92292
237575
254850
276661
174296
167592
260005
172199
284955
186357
26185
129393
9303
151936
42817
57949
117409
124807
269996
217829
163910
93661
283404
209703
182605
307259
147943
28137
112893
220460
90537
139055
159312
73163
258886
20082
21138
1215
273434
163815
8287
264607
274572
244477
110257
63119
229824
33601
55436
71408
66184
119238
155071
14828
223012
285794
227496
304886
85747
7762
27617
61436
149166
230825
197029
242777
305554
65662
296623
300189
196971
58272
144578
90001
304910
46119
187123
207963
289874
208910
268264
154908
195916
75727
97696
232388
110889
213853
207763
99424
240108
36221
73080
273442
137859
280146
279439
282002
144304
204005
287372
14433
243599
47355
156291
25521
196238
93870
159722
268032
207640
76357
159137
93
217650
28707
275194
102686
148766
301572
236520
62561
169277
133468
45123
291506
136018
26670
304158
175538
295025
211124
184322
167661
170674
46532
175940
73921
196995
50291
13183
231654
279620
180302
209825
186206
96938
267851
204454
250707
190793
303251
38983
237015
122806
6835
55838
30693
209829
84594
175189
79608
37447
15003
28868
70787
299800
37425
24896
22945
39594
184626
84562
186039
22989
279396
105820
246299
206555
155253
243139
111416
241457
85536
146499
115613
270819
107130
2810
40644
153358
281477
109232
275779
130065
83308
81275
136459
194024
116972
81858
51957
11838
190152
110598
23413
194116
145572
61674
133263
537
23967
42262
12039
13203
286888
229165
133113
182655
199049
135517
222910
77646
181590
85581
239825
109275
28735
61572
21854
126384
121193
151732
98858
1618
23114
255240
115214
279770
119229
82003
150084
84661
214101
42497
56508
47923