-
Notifications
You must be signed in to change notification settings - Fork 6
/
FSM9.txt
32768 lines (32768 loc) · 576 KB
/
FSM9.txt
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
1, 2,16696
3, 4,26434
5, 6, 6521
7, 8,28428
9, 10,14501
11, 12,19549
13, 14, 4157
15, 16,29533
17, 18,16509
19, 20,21699
21, 22,11084
23, 24,22495
25, 26,11925
27, 28,17524
29, 30, 2922
31, 32,30243
33, 34,17891
35, 36,23181
37, 38,13005
39, 40,23976
41, 42,15101
43, 44,19735
45, 46, 8875
47, 48,24302
49, 50,13894
51, 52,19303
53, 54, 9459
55, 56,20828
57, 58,10154
59, 60,15572
61, 62, 2249
63, 64,30718
65, 66,18775
67, 68,24152
69, 70,14140
71, 72,24965
73, 74,16457
75, 76,21313
77, 78,10568
79, 80,25391
81, 82,16053
83, 84,20295
85, 86,12583
87, 88,22375
89, 90,13317
91, 92,18244
93, 94, 7470
95, 96,25742
97, 98,15769
99, 100,20662
101, 102,11221
103, 104,21528
105, 106,13209
107, 108,17908
109, 110, 7830
111, 112,22788
89, 113,12571
114, 115,17370
109, 116, 8265
117, 118,19473
119, 120, 8861
121, 122,14878
123, 124, 1720
125, 126,31014
127, 128,19717
129, 130,25144
131, 132,15135
133, 134,25606
135, 136,17194
131, 137,22940
138, 139,11607
140, 141,26234
142, 143,17559
144, 145,21790
146, 147,13477
148, 149,23272
150, 151,14685
152, 153,20223
154, 155, 9207
156, 157,26491
158, 159,16920
160, 161,21629
162, 163,13543
164, 165,22840
166, 167,16046
168, 169,19597
170, 171,10280
172, 40,23794
138, 173,14905
138, 174,19480
175, 176,11336
177, 178,21454
179, 118,12313
180, 181,17470
182, 183, 6428
184, 96,26716
69, 185,16359
186, 187,21766
89, 188,12576
189, 190,22179
191, 192,14411
193, 194,18855
195, 196, 9834
197, 198,23033
199, 174,14980
200, 201,17767
53, 202,10592
203, 204,19825
205, 206,11824
207, 115,17214
208, 209, 6544
210, 211,24499
212, 213,13702
214, 58, 9880
203, 204,20130
215, 216,11041
217, 218, 7040
219, 92,22356
175, 216,10328
220, 221,16283
222, 223, 7160
224, 225,18689
226, 227, 7830
228, 229,13636
230, 231, 1407
232, 233,31307
234, 235,20097
236, 237,25667
238, 239,15348
240, 241,26413
242, 243,17893
244, 245,24008
246, 247,12034
248, 249,26941
131, 250,17873
131, 251,22169
252, 253,14009
81, 254,15681
69, 104,21394
255, 256,10117
257, 258,26778
259, 260,17525
261, 262,22258
263, 264,14321
265, 266,23056
267, 268,16054
269, 137,20684
270, 271,10740
272, 273,24568
168, 274,15000
138, 275,21057
89, 276,11614
277, 278,22429
279, 280,13255
281, 282,19891
283, 284, 7671
285, 286,27180
287, 288,17644
289, 262,23184
51, 290,13676
291, 292,22939
293, 169,17059
138, 294,20912
295, 296,11487
297, 262,23589
298, 299,16283
300, 301,19661
105, 302,13516
160, 303,21215
304, 305,14197
306, 307,18368
308, 309, 8777
310, 311,25728
312, 313,12080
85, 314,13546
114, 315,17449
316, 317,10021
318, 319,22800
89, 320,13541
321, 322,18286
323, 92,20738
45, 216,10754
324, 118,17017
182, 325, 5540
326, 96,27277
138, 327,13831
328, 329,22916
330, 331,15401
332, 333, 9922
334, 335,24075
168, 336,15091
337, 169,19500
107, 338,12857
339, 340,20877
341, 342,13667
343, 344,17711
308, 345, 8201
346, 36,24315
168, 347,16587
81, 348,20238
349, 350,20605
351, 352,14546
353, 354, 8822
355, 356,22033
332, 280,12772
357, 204,17266
175, 358,10588
359, 360,19247
175, 361,15659
217, 362, 5613
363, 364,25122
365, 366,15007
367, 368,20083
332, 369,10827
370, 315,17890
308, 371,16578
372, 354, 8984
373, 374,15182
375, 376, 6238
377, 378,23673
359, 379,19440
380, 381,11736
382, 374,15476
217, 383, 6308
384, 181,21129
385, 386, 9553
387, 388,16221
217, 389, 6389
390, 391,17833
392, 393, 6933
394, 395,12916
396, 397, 1212
398, 399,31493
400, 401,21167
402, 403,26349
67, 404,16069
405, 406,27190
407, 96,19187
408, 245,23977
19, 409,12408
410, 258,27815
411, 260,18969
131, 412,22913
168, 413,14980
71, 245,25249
414, 415,17036
416, 417,21596
418, 419,10769
402, 420,27653
131, 421,18370
422, 299,15343
423, 424,16702
425, 211,21184
263, 426,11451
427, 163,13443
428, 429,20530
89, 430, 8251
240, 431,27489
432, 433,19478
434, 435,24503
436, 437,14507
438, 439,23442
440, 299,16866
441, 442,21018
199, 443,12300
244, 444,24760
445, 446,16688
447, 448,21010
449, 450,13523
451, 452,22266
453, 336,18962
454, 455,11166
456, 262,25622
414, 457,16114
458, 459,14127
460, 360,14853
332, 461,10183
462, 20,23590
463, 42,14452
464, 465,19452
466, 467,10580
69, 468,21524
469, 118,13322
470, 471,17969
93, 472, 6655
473, 474,28044
475, 476,18436
131, 477,22842
168, 429,14464
478, 245,24097
427, 479,12241
297, 480,24073
445, 481,16836
482, 483,20062
484, 485,15193
486, 487,19324
179, 488, 9819
489, 490,24899
491, 492,20655
168, 413,13846
493, 303,22079
494, 495,18262
496, 497,12730
330, 268,15582
498, 499,19459
500, 501,12497
321, 502,21248
503, 504,12988
114, 505,17298
506, 507, 7521
508, 96,26406
138, 509,17729
510, 347,17803
466, 511,10531
512, 280,12214
308, 118,11599
513, 514,16088
515, 516, 8338
517, 104,23794
212, 163,13272
175, 518,11993
519, 319,20763
466, 280,12616
520, 76,22078
521, 92,20101
522, 523, 4848
524, 16,27985
525, 78,11247
526, 527,23671
528, 481,16892
300, 448,20601
529, 322,14148
530, 307,18916
308, 531, 8734
532, 533,24895
534, 82,16264
535, 536,13830
537, 538,21338
539, 540,10529
318, 541,22571
542, 543,14194
544, 545,17651
546, 547,12288
91, 548,20260
496, 549,11822
380, 550, 7333
551, 245,25600
552, 553,13865
330, 554,15078
291, 555,21501
556, 557,15327
558, 559,16615
560, 561,11863
562, 563,16384
316, 564, 7624
565, 566,23145
503, 504,13617
567, 568,19951
569, 570, 9822
203, 314,20688
571, 118,12404
572, 573,10425
217, 574, 5089
575, 96,26384
576, 577,15530
265, 578,21403
168, 579,12333
580, 581,22070
582, 163,15601
93, 583,10033
584, 331,20227
585, 586,13062
179, 587,16330
470, 118,18531
316, 564, 9009
588, 374,14706
217, 589, 5088
590, 18,25312
37, 50,13059
370, 591,12740
592, 593,16599
208, 594, 9045
359, 595,17827
596, 597, 5033
598, 319,22805
599, 320,17160
600, 601, 8206
602, 315,18730
603, 391,10560
604, 605, 5298
606, 28,21063
316, 607, 8635
109, 608,14621
609, 610, 5667
611, 612,17427
613, 614, 6459
615, 616,12318
617, 618, 1032
619, 620,31624
621, 622,21342
623, 624,26781
625, 626,15980
627, 628,27724
629, 630,19327
17, 631,12825
632, 633,27610
634, 635,19271
636, 637,23251
638, 237,25939
318, 639,10938
640, 641,28329
642, 643,23861
644, 645,17241
427, 646,11790
131, 262,22522
168, 647,14755
648, 137,23796
199, 649,15804
650, 319,21603
651, 652, 8945
653, 630,18610
654, 655,16262
160, 656,21699
164, 657,21407
168, 658,13247
659, 660,22916
582, 661,11081
367, 348,20416
662, 378,23726
199, 663,13690
664, 94, 7657
665, 433,19602
666, 667,23955
668, 669,15520
670, 671,25158
672, 673,17581
674, 675,21799
676, 677,12350
678, 245,26185
69, 679,17122
680, 681,21656
83, 682,21882
683, 268,15941
684, 685, 9214
414, 686,16806
687, 688,21726
689, 690,14244
422, 691,21572
692, 693,15449
694, 695,20047
696, 697,11988
698, 699,23503
700, 701,15594
427, 702,22436
703, 704,19762
705, 196, 9180
706, 707,26296
51, 708,13229
709, 710,22302
711, 276,11583
300, 712,20569
713, 196, 8334
714, 715,24944
716, 347,21592
717, 143,21489
718, 719,12927
720, 721,18485
506, 196, 9119
722, 723,13118
724, 167,20499
521, 92,21106
175, 725,10848
373, 726, 5974
727, 728,28241
729, 730,18212
731, 732,23808
416, 299,14313
537, 733,17630
346, 734,25090
212, 735,11667
423, 243,16281
689, 736,13805
737, 738,22087
739, 740,15852
741, 742,18955
743, 744,13003
745, 746,21358
542, 747,13726
506, 196, 8559
748, 749,25680
750, 751,17172
752, 753,20757
754, 755,17854
756, 757,22938
758, 759,15035
760, 761,16134
212, 762,19498
763, 764,10426
765, 766,21139
767, 768,14494
769, 340,18925
770, 771,11001
772, 543,12792
769, 773,19079
546, 771,11439
774, 549,11959
775, 505,17098
776, 777, 7589
778, 96,26799
779, 577,13604
780, 781,23361
782, 196, 9460
530, 783,19015
114, 315,18714
568, 784,10532
109, 785,15186
786, 787, 6554
47, 788,24819
57, 789, 9652
790, 791,22444
792, 143,23610
793, 319,22436
794, 795,16817
217, 796, 4495
797, 798,28432
69, 98,20744
799, 134,24848
800, 801,16207
802, 803,20509
694, 804,18734
805, 340,21052
45, 806, 8259
807, 808,25427
809, 810,17120
811, 812,21273
813, 356,20503
179, 814,13532
815, 816,23134
330, 817,15306
486, 818,19656
385, 819, 9767
820, 821,15667
769, 822,19162
503, 823,11750
824, 825,20282
826, 827,12874
769, 773,18509
828, 829,11490
370, 830,13420
380, 831,10199
832, 833, 6450
834, 835,25516
337, 836,19122
837, 467,13025
820, 838,13059
839, 24,15530
840, 841,19363
842, 843,13767
844, 845,19751
846, 847,17450
848, 849,17381
850, 851,10447
852, 721,18999
853, 549,13386
515, 854, 7035
855, 348,24181
535, 856,14328
857, 858,21617
775, 859,16206
513, 860,17300
515, 861, 6657
862, 863,18878
864, 865,14878
866, 867, 8758
375, 868, 4247
869, 96,27110
870, 417,21206
871, 872,12473
873, 205,16454
332, 874, 9210
875, 699,23283
876, 877,15700
876, 878,19581
879, 58, 7816
880, 881,22730
882, 883,17830
774, 884,10310
308, 885,10628
886, 887,18124
888, 889, 4331
310, 890,25290
891, 374, 9669
892, 721,19608
774, 893,11327
894, 895, 7531
896, 897,12143
898, 899,14204
888, 900, 4658
901, 366,24672
584, 902,19108
903, 604,17614
904, 905, 7007
906, 907,21207
775, 908,15585
909, 374,12321
910, 868, 4581
911, 181,22949
515, 912, 7278
913, 120, 9506
914, 899,14301
915, 916, 5258
917, 118,20635
918, 919, 8991
522, 920,15155
921, 868, 4823
922, 923,17185
888, 924, 6010
615, 925,11875
926, 927, 908
928, 929,31761
930, 931,21026
932, 933,27313
934, 935,16025
936, 937,27898
938, 730,19076
939, 940,26062
244, 941,12872
942, 943,28586
944, 945,20575
946, 947,23789
948, 949,17113
793, 950,10518
951, 952,28590
953, 954,19983
244, 955,23683
956, 949,15798
957, 958,25015
959, 960,18136
240, 961,26269
418, 962, 9266
627, 628,28483
963, 730,20256
964, 965,25708
966, 967,19333
968, 969,21065
970, 413,13534
427, 685,10639
427, 413,13127
971, 245,26058
157, 972,13430
973, 211,22828
974, 975,19451
976, 977, 7760
978, 979,23918
980, 675,23174
981, 677,12335
330, 982,17896
983, 984,17220
89, 985,14163
986, 480,23302
987, 481,15934
988, 430, 8612
989, 417,25337
990, 685,10509
117, 118,20041
991, 992,24427
993, 994,25269
995, 996,18333
997, 998,23135
999, 1000,13544
1001, 671,26038
1002, 1003,18850
1004, 1005,22631
1006, 1007,15371
1008, 1009,23135
1010, 1011,16693
1012, 1013,20592
981, 1014,11163
834, 258,26001
1015, 424,16705
752, 1016,23183
1017, 1018,17317
1019, 143,15987
441, 1020,21696
1021, 762,18032
743, 1022, 9190
1023, 253,16636
1024, 1025,23039
1026, 446,16388
1027, 1028,20690
1029, 1030,12907
1031, 788,17175
1032, 1033,20368
1034, 1035,13268
1036, 1037,21638
1038, 693,14884
1039, 1040,19874
539, 1041,10796
261, 1042,24134
1043, 481,16186
1044, 1045,19293
1046, 1047,13997
542, 1048,14418
1049, 841,21199
556, 1050,13763
1051, 505,18056
140, 1052,26743
1053, 1054,17415
427, 1055,11081
81, 1056,22704
1057, 450,14493
1058, 1059,18293
692, 1060,15585
1061, 331,18070
1062, 1063,25749
414, 1064,15724
291, 1065,21041
875, 1066,22147
447, 1067,17944
539, 838,12620
1068, 1069,20223
1070, 859,12513
1071, 20,19921
1072, 471,12108
99, 1073,20243
316, 1074, 9297
1075, 1076, 5202
1077, 1078,28491
1079, 1080,18478
532, 979,24099
1081, 949,15448
953, 1082,25882
1083, 1084,16649
1085, 1086,15947
1087, 1088,18857
1089, 1090, 8786
1091, 1092,12130
1024, 1025,23406
1093, 1094,16630
1095, 1096,19731
492, 1097,13436
1098, 538,22626
1099, 1100,18102
486, 975,19219
1101, 1102,11027
790, 1103,22558
696, 1104,14601
546, 501,12174
1105, 749,25865
1106, 1107,16921
1004, 681,22511
445, 1108,14470
1109, 1110,23981
1111, 1112,19115
1113, 1114,19990
1115, 1116,14136
1117, 699,23870
1118, 268,16255
1119, 1120,21612
1121, 1122,23352
1123, 1124,16359
1125, 1126,13817
1127, 1128,13266
1129, 1130,16560
588, 1131,10335
1132, 766,22205
1133, 1134,14947
1135, 1136,18923
826, 1137,12814
1138, 1139,20771
1140, 1141,18729
742, 1142,10012
1143, 1144,19845
542, 1145,13558
1146, 352,16807
852, 721,19597
562, 1147,15759
109, 1148, 6392
1149, 1150,27479
654, 1151,19761
1152, 1153,21916
1154, 194,12015
1155, 153,15650
1156, 1157,14515
1158, 573, 9127
1158, 1159,10845
1160, 795,16301
1161, 610, 5859
160, 1162,15219
515, 1163, 9430
565, 1103,23407
539, 1164,14094
310, 1165,25414
1166, 378,23708
1167, 118,20082
1168, 229, 8433
217, 1169, 4057
1170, 1150,28744
729, 1171,17872
1172, 749,26167
1173, 1174,24012
1175, 336,15529
1176, 890,23164
1177, 1178,15589
1179, 1180,13107
790, 746,22274
1181, 94, 6271
1182, 1183,26266
1184, 1185,18100
272, 1186,23946
75, 1187,13486
959, 1188,21665
1189, 1190,16141
745, 169,21926
109, 1191,11855
1192, 198,23963
1118, 1193,16650
449, 450,13135
1194, 1104,13945
57, 1195, 7846
1196, 746,20386
1197, 459,14564
1198, 1199,14298
546, 771,10828
1200, 1201,21705
556, 1202,14852
1203, 1204,18545
1205, 1206,11559
1207, 1208,17657
1209, 1210, 7750
1211, 1212,12516
1213, 1214, 9224
1215, 1216,16831
316, 1217, 5611
1218, 1219,25968
1220, 1221,17577
1222, 371,16307
1223, 721,19268
539, 1041,11304
193, 1224,15888
1225, 1226,20994
1227, 1228,15140
1229, 1136,19446
1230, 1231,12366
1232, 1233,21077
1234, 1235,15278
1236, 1237,12955
1238, 1239,13585
1240, 1241,19534
1242, 1243,12522
1244, 1245,16841
1246, 1247, 9433
1248, 1249,21034
1250, 1251,15145
375, 787, 6640
1252, 1153,24683
743, 1253,11460
1254, 1255,23786
1256, 1257,17415
774, 893,10805
1258, 467, 9520
375, 1259, 6712
1260, 1261,18343
529, 1262,10823
470, 1263,17126
1264, 1265,12795
1266, 1267,15550
1268, 1269, 7478
915, 1270, 4107
1271, 16,27628
1272, 1273,23521
1274, 1275,22493
582, 1276,10098
1277, 448,21509
53, 1278, 8522
1279, 1280,23913
493, 538,21745
820, 1281,12924
711, 1282,15175
864, 108,18159
1283, 312,22248
1284, 1285,15103
1286, 1287,20033
1288, 1289,12636
850, 1290,10433
175, 1291, 9148
1292, 1293,20391
588, 1294,11597
1295, 854,13733
123, 1296, 4083
1297, 18,14689
1298, 1299,16200
1300, 1301,21010
850, 1302, 9809
1303, 1304,15033
1295, 1305, 7731
720, 1306,16873
1307, 1308, 9029
1309, 216,17995
1310, 1311, 8294
915, 1312, 3857
1313, 56,25680
1314, 1315,11703
1316, 315,19704
1317, 784,16827
609, 1318, 5939
1319, 76,22864
332, 553,13986
879, 1320, 9778
1321, 1322,16998
1323, 1324,14374
1325, 1326,25053
1327, 787, 5905
1328, 1329,16321
1330, 1331,18611
1332, 1333,13149
888, 924, 4895
1334, 1335,22420
1336, 514,15003
1337, 1338, 6337
316, 1339, 9747
1340, 1341,12427
1342, 1343,20659
1161, 610, 7273
915, 1344, 4482
888, 1345, 4878
1346, 1347,10986
1348, 1349, 804
1350, 1351,31855
402, 1352,21574
1353, 1354,27712
1355, 1356,16537
1357, 943,28235
1358, 1359,20067
1360, 1361,25179
1362, 1363,13229
1364, 1365,28316
127, 1366,21469
1367, 1368,24888
402, 1369,26142
1370, 1371,17866
1372, 1373,11565
1374, 943,29007
1375, 945,21201
1376, 1377,25593
1378, 1379,17097
1360, 1380,25549
1381, 1382,18189
265, 1383,22285
1384, 1385,13033
1386, 1387, 9705
1388, 943,29090
1389, 1390,21890
1391, 1392,26573
289, 1393,15724
1394, 788,22024
532, 1395,24181
1396, 1397,26524
1398, 1399,18359
1400, 1401,22973
1402, 1403,11959
1404, 80,18063
1405, 1406, 8838
1407, 1408,25749
1409, 1410,26372
1411, 1412,15589
1413, 715,24723
1414, 1415,15155
1416, 1417,23007
1418, 1419,18469
1420, 1415,21469
1421, 245,25132
332, 1422,12769
1423, 578,26170
1424, 457,24011
542, 543,13475
1425, 1426,20523
1427, 1428, 6749
1429, 654,25978
1430, 1431,17712
1432, 1433,23839
1434, 1013,20871
1435, 836,17644
1436, 1437,21910
1438, 1439,14508
427, 1440,12767
1441, 749,25736
1442, 1443,21374
1444, 149,20231
1445, 245,25752
1446, 710,20410
1447, 1448,25755
1449, 1450,17964
1451, 1452,25942
1453, 1454,19077
1455, 251,23344
1456, 669,15292
1457, 1458,24373
1459, 1460,17327
1461, 1462,22141