-
Notifications
You must be signed in to change notification settings - Fork 6
/
FSM1.txt
32665 lines (32665 loc) · 574 KB
/
FSM1.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,16725
3, 4,20759
147, 148,15379
5, 6,21577
149, 150,16387
7, 8,22340
151, 152,17321
9, 10,23048
153, 154,18189
11, 12,23707
155, 156,18985
13, 14,24322
157, 158,19724
15, 16,24897
159, 160,20405
17, 18,25431
161, 162,21038
19, 20,25928
163, 164,21629
21, 22,26389
165, 166,22173
23, 24,26821
167, 168,22676
25, 26,27224
169, 170,23144
27, 28,27602
171, 172,23578
29, 30,27948
173, 174,23975
31, 32,28275
175, 176,24354
33, 34,28579
177, 178,24702
35, 36,28867
179, 180,25026
37, 38,29129
181, 182,25322
39, 40,29378
183, 184,25599
41, 42,29608
185, 186,25855
43, 44,29824
187, 188,26094
45, 46,30027
189, 190,26317
47, 48,30215
191, 192,26525
49, 50,30387
193, 194,26712
51, 52,30551
195, 196,26889
53, 54,30700
197, 198,27049
55, 56,30838
199, 200,27197
57, 58,30967
201, 202,27334
59, 60,31090
203, 204,27465
61, 62,31203
205, 206,27580
63, 64,31312
207, 208,27695
65, 66,31409
209, 210,27798
67, 68,31502
211, 212,27891
69, 70,31591
213, 214,27980
71, 72,31671
215, 216,28062
73, 74,31748
217, 218,28141
75, 76,31818
219, 220,28209
77, 78,31882
221, 222,28273
79, 80,31941
223, 224,28329
81, 82,31994
225, 226,28383
83, 84,32047
227, 228,28433
85, 86,32095
229, 230,28480
87, 88,32134
231, 232,28518
89, 90,32176
233, 234,28556
91, 92,32218
235, 236,28595
93, 94,32252
237, 238,28630
95, 96,32288
239, 240,28662
97, 98,32316
241, 242,28687
99, 100,32346
243, 244,28714
101, 102,32374
245, 246,28741
103, 104,32396
247, 248,28759
105, 106,32417
249, 250,28779
107, 108,32440
251, 252,28797
109, 110,32464
253, 254,28816
111, 112,32478
255, 256,28832
113, 114,32494
257, 258,28843
115, 116,32510
259, 260,28858
117, 118,32524
261, 262,28869
119, 120,32539
263, 264,28882
121, 122,32555
265, 266,28897
123, 124,32563
267, 268,28904
125, 126,32571
269, 270,28908
127, 128,32580
271, 272,28917
129, 130,32587
273, 274,28921
131, 132,32595
275, 276,28930
133, 134,32603
277, 278,28936
135, 136,32612
279, 280,28943
137, 138,32619
281, 282,28949
139, 140,32627
283, 284,28958
141, 142,32638
285, 286,28962
143, 144,32645
287, 288,28968
145, 146,32654
289, 290,28975
145, 146,32663
289, 290,28983
291, 292,16813
433, 434,13748
293, 294,17813
435, 436,14780
295, 296,18731
437, 438,15732
297, 298,19584
439, 440,16605
299, 300,20371
441, 442,17410
301, 302,21105
443, 444,18153
303, 304,21787
445, 446,18843
305, 306,22417
447, 448,19479
307, 308,23001
449, 450,20066
309, 310,23544
451, 452,20609
311, 312,24049
453, 454,21114
313, 314,24519
455, 456,21577
315, 316,24954
457, 458,22008
317, 318,25362
459, 460,22408
319, 320,25740
461, 462,22782
321, 322,26088
463, 464,23122
323, 324,26415
465, 466,23443
325, 326,26718
467, 468,23741
327, 328,26998
469, 470,24008
329, 330,27262
471, 472,24266
331, 332,27510
473, 474,24500
333, 334,27736
475, 476,24718
335, 336,27943
477, 478,24916
337, 338,28141
479, 480,25104
339, 340,28317
481, 482,25270
341, 342,28480
483, 484,25427
343, 344,28632
485, 486,25571
345, 346,28779
487, 488,25709
347, 348,28910
489, 490,25831
349, 350,29040
491, 492,25952
351, 352,29152
493, 494,26054
353, 354,29259
495, 496,26158
355, 356,29357
497, 498,26248
357, 358,29451
499, 500,26334
359, 360,29539
501, 502,26415
361, 362,29615
503, 504,26487
363, 364,29689
505, 506,26554
365, 366,29754
507, 508,26614
367, 368,29814
509, 510,26668
369, 370,29871
511, 512,26722
371, 372,29923
513, 514,26768
373, 374,29967
515, 516,26809
375, 376,30012
517, 518,26849
377, 378,30057
519, 520,26892
379, 380,30093
521, 522,26922
381, 382,30130
523, 524,26959
383, 384,30161
525, 526,26986
385, 386,30189
527, 528,27013
387, 388,30219
529, 530,27037
389, 390,30243
531, 532,27061
391, 392,30265
533, 534,27082
393, 394,30289
535, 536,27100
395, 396,30310
537, 538,27121
397, 398,30326
539, 540,27136
399, 400,30339
541, 542,27147
401, 402,30355
543, 544,27159
403, 404,30370
545, 546,27177
405, 406,30386
547, 548,27189
407, 408,30401
549, 550,27203
409, 410,30408
551, 552,27209
411, 412,30418
553, 554,27215
413, 414,30423
555, 556,27224
415, 416,30430
557, 558,27230
417, 418,30440
559, 560,27236
419, 420,30447
561, 562,27244
421, 422,30454
563, 564,27253
423, 424,30462
565, 566,27256
425, 426,30468
567, 568,27265
427, 428,30477
569, 570,27270
429, 430,30485
571, 572,27279
431, 432,30494
573, 574,27285
431, 432,30499
573, 574,27291
575, 576,17890
711, 712,15665
577, 578,18832
713, 714,16652
579, 580,19714
715, 716,17570
581, 582,20522
717, 718,18414
583, 584,21271
719, 720,19197
585, 586,21971
721, 722,19927
587, 588,22618
723, 724,20595
589, 590,23221
725, 726,21210
591, 592,23782
727, 728,21787
593, 594,24306
729, 730,22322
595, 596,24783
731, 732,22813
597, 598,25234
733, 734,23268
599, 600,25652
735, 736,23699
601, 602,26044
737, 738,24093
603, 604,26406
739, 740,24461
605, 606,26743
741, 742,24802
27, 28,27061
171, 172,25123
607, 608,27348
743, 744,25413
609, 610,27624
745, 746,25684
611, 612,27877
747, 748,25938
613, 614,28113
749, 750,26175
615, 616,28329
751, 752,26389
617, 618,28535
753, 754,26589
619, 620,28721
755, 756,26775
621, 622,28891
757, 758,26944
623, 624,29051
759, 760,27100
625, 626,29203
761, 762,27250
627, 628,29341
763, 764,27386
629, 630,29473
765, 766,27513
631, 632,29592
767, 768,27629
633, 634,29703
769, 770,27736
635, 636,29809
771, 772,27840
637, 638,29906
773, 774,27933
639, 640,29996
775, 776,28021
641, 642,30080
777, 778,28103
643, 644,30156
779, 780,28176
645, 646,30225
781, 782,28243
647, 648,30287
783, 784,28302
649, 650,30348
785, 786,28361
651, 652,30404
787, 788,28414
653, 654,30449
789, 790,28457
655, 656,30497
791, 792,28502
657, 658,30543
793, 794,28546
659, 660,30582
795, 796,28586
661, 662,30622
797, 798,28620
663, 664,30655
799, 800,28650
665, 666,30686
801, 802,28682
667, 668,30717
803, 804,28712
669, 670,30742
805, 806,28734
671, 672,30765
807, 808,28756
673, 674,30790
809, 810,28779
675, 676,30814
811, 812,28803
677, 678,30830
813, 814,28816
679, 680,30847
815, 816,28832
681, 682,30862
817, 818,28849
683, 684,30878
819, 820,28863
685, 686,30896
821, 822,28878
687, 688,30909
823, 824,28891
689, 690,30918
825, 826,28902
49, 50,30927
193, 194,28908
49, 50,30934
193, 194,28915
691, 692,30942
827, 828,28923
693, 694,30950
829, 830,28930
695, 696,30959
831, 832,28938
697, 698,30967
833, 834,28945
699, 700,30975
835, 836,28953
701, 702,30983
837, 838,28960
703, 704,30992
839, 840,28970
705, 706,30998
841, 842,28977
707, 708,31008
843, 844,28983
709, 710,31016
845, 846,28992
847, 848,15789
983, 984,11210
849, 850,16719
985, 986,11956
851, 852,17591
987, 988,12638
853, 854,18383
989, 990,13259
855, 856,19126
991, 992,13834
857, 858,19808
993, 994,14364
859, 860,20444
995, 996,14852
861, 862,21024
997, 998,15291
863, 864,21568
999, 1000,15706
865, 866,22068
1001, 1002,16085
867, 868,22533
1003, 1004,16428
869, 870,22961
1005, 1006,16751
871, 872,23362
1007, 1008,17047
873, 874,23736
1009, 1010,17316
875, 876,24077
1011, 1012,17570
877, 878,24401
1013, 1014,17802
313, 314,24694
455, 456,18024
879, 880,24969
1015, 1016,18214
881, 882,25223
1017, 1018,18404
883, 884,25463
1019, 1020,18568
885, 886,25680
1021, 1022,18726
887, 888,25883
1023, 1024,18868
889, 890,26071
1025, 1026,19000
891, 892,26241
1027, 1028,19121
893, 894,26399
1029, 1030,19232
895, 896,26544
1031, 1032,19333
897, 898,26684
1033, 1034,19434
899, 900,26809
1035, 1036,19519
901, 902,26928
1037, 1038,19599
903, 904,27037
1039, 1040,19679
905, 906,27136
1041, 1042,19744
907, 908,27230
1043, 1044,19808
909, 910,27317
1045, 1046,19868
911, 912,27397
1047, 1048,19927
913, 914,27474
1049, 1050,19977
915, 916,27538
1051, 1052,20021
917, 918,27602
1053, 1054,20066
919, 920,27657
1055, 1056,20100
921, 922,27711
1057, 1058,20135
923, 924,27757
1059, 1060,20169
925, 926,27800
1061, 1062,20199
927, 928,27843
1063, 1064,20224
929, 930,27885
1065, 1066,20253
931, 932,27917
1067, 1068,20278
933, 934,27954
1069, 1070,20297
935, 936,27980
1071, 1072,20322
937, 938,28008
1073, 1074,20336
939, 940,28036
1075, 1076,20356
941, 942,28057
1077, 1078,20366
943, 944,28077
1079, 1080,20385
945, 946,28098
1081, 1082,20400
947, 948,28118
1083, 1084,20410
949, 950,28131
1085, 1086,20419
951, 952,28146
1087, 1088,20429
953, 954,28161
1089, 1090,20444
955, 956,28174
1091, 1092,20449
957, 958,28186
1093, 1094,20459
959, 960,28201
1095, 1096,20468
961, 962,28209
1097, 1098,20473
335, 336,28216
477, 478,20478
335, 336,28223
477, 478,20483
963, 964,28228
1099, 1100,20488
965, 966,28236
1101, 1102,20488
967, 968,28243
1103, 1104,20493
969, 970,28251
1105, 1106,20498
971, 972,28258
1107, 1108,20502
973, 974,28263
1109, 1110,20507
975, 976,28270
1111, 1112,20517
977, 978,28280
1113, 1114,20522
979, 980,28283
1115, 1116,20527
981, 982,28293
1117, 1118,20527
1119, 1120,21624
2153, 2154,16449
1121, 1122,22272
2155, 2156,17244
1125, 1126,22870
2159, 2160,17978
1131, 1132,23434
2165, 2166,18654
1139, 1140,23951
2173, 2174,19278
1149, 1150,24433
2183, 2184,19858
1159, 1160,24886
2193, 2194,20400
1171, 1172,25300
2205, 2206,20885
1183, 1184,25688
2217, 2218,21347
1195, 1196,26050
2229, 2230,21773
1207, 1208,26383
2241, 2242,22163
1221, 1222,26690
2255, 2256,22524
1237, 1238,26980
2271, 2272,22865
1253, 1254,27250
2287, 2288,23174
1267, 1268,27499
2301, 2302,23464
1283, 1284,27733
2317, 2318,23732
1315, 1316,28148
2349, 2350,24206
1327, 1328,28337
2361, 2362,24425
1345, 1346,28509
2379, 2380,24621
1357, 1358,28668
2391, 2392,24802
1375, 1376,28816
2409, 2410,24969
1389, 1390,28958
2423, 2424,25126
1407, 1408,29078
2441, 2442,25263
1419, 1420,29199
2453, 2454,25398
1437, 1438,29306
2471, 2472,25517
1451, 1452,29405
2485, 2486,25627
1467, 1468,29502
2501, 2502,25740
1485, 1486,29586
2519, 2520,25831
637, 638,29667
773, 774,25921
1511, 1512,29743
2545, 2546,26003
1525, 1526,29814
2559, 2560,26084
1535, 1536,29878
2569, 2570,26155
647, 648,29938
783, 784,26222
1553, 1554,29993
2587, 2588,26281
1563, 1564,30043
2597, 2598,26334
1571, 1572,30093
2605, 2606,26393
1575, 1576,30132
2609, 2610,26432
1585, 1586,30170
2619, 2620,26477
1593, 1594,30209
2627, 2628,26516
1597, 1598,30236
2631, 2632,26548
1603, 1604,30270
2637, 2638,26586
1605, 1606,30299
2639, 2640,26614
1607, 1608,30326
2641, 2642,26643
683, 684,30353
819, 820,26675
1615, 1616,30370
2649, 2650,26693
49, 50,30394
193, 194,26715
697, 698,30415
833, 834,26740
701, 702,30427
837, 838,26756
707, 708,30444
843, 844,26771
1617, 1618,30460
2651, 2652,26790
1619, 1620,30478
2653, 2654,26809
1621, 1622,30485
2655, 2656,26815
1625, 1626,30495
2659, 2660,26827
1629, 1630,30505
2663, 2664,26840
1633, 1634,30517
2667, 2668,26852
1637, 1638,30529
2671, 2672,26864
1639, 1640,30539
2673, 2674,26876
1641, 1642,30545
2675, 2676,26883
1643, 1644,30558
2677, 2678,26895
1645, 1646,30563
2679, 2680,26901
1647, 1648,30569
2681, 2682,26910
1649, 1650,30573
2683, 2684,26913
1651, 1652,30580
2685, 2686,26919
1653, 1654,30585
2687, 2688,26925
1655, 1656,30591
2689, 2690,26931
1657, 1658,30595
2691, 2692,26941
1659, 1660,30603
2693, 2694,26944
1661, 1662,30608
2695, 2696,26950
3187, 3188,16875
4221, 4222,13819
3189, 3190,17725
4223, 4224,14693
3193, 3194,18501
4227, 4228,15499
3199, 3200,19232
4233, 4234,16246
3207, 3208,19898
4241, 4242,16927
3217, 3218,20517
4251, 4252,17560
3227, 3228,21095
4261, 4262,18147
3239, 3240,21619
4273, 4274,18675
3251, 3252,22113
4285, 4286,19177
3263, 3264,22573
4297, 4298,19639
3275, 3276,22992
4309, 4310,20056
3289, 3290,23379
4323, 4324,20449
3305, 3306,23745
4339, 4340,20808
3321, 3322,24081
4355, 4356,21143
3335, 3336,24397
4369, 4370,21455
3351, 3352,24687
4385, 4386,21745
3383, 3384,25204
4417, 4418,22254
3395, 3396,25434
4429, 4430,22484
3413, 3414,25649
4447, 4448,22693
3425, 3426,25845
4459, 4460,22887
3443, 3444,26030
4477, 4478,23066
3457, 3458,26202
4491, 4492,23234
3475, 3476,26350
4509, 4510,23379
3487, 3488,26499
4521, 4522,23523
3505, 3506,26630
4539, 4540,23649
3519, 3520,26753
4553, 4554,23770
3535, 3536,26867
4569, 4570,23881
3553, 3554,26974
4587, 4588,23983
909, 910,27070
1045, 1046,24077
3579, 3580,27162
4613, 4614,24170
3593, 3594,27250
4627, 4628,24250
3603, 3604,27328
4637, 4638,24330
919, 920,27400
1055, 1056,24397
3621, 3622,27468
4655, 4656,24461
3631, 3632,27527
4665, 4666,24519
3639, 3640,27588
4673, 4674,24574
3643, 3644,27632
4677, 4678,24621
3653, 3654,27682
4687, 4688,24663
3661, 3662,27728
4695, 4696,24710
3665, 3666,27760
4699, 4700,24744
3671, 3672,27800
4705, 4706,24783
3673, 3674,27835
4707, 4708,24813
3675, 3676,27867
4709, 4710,24844
955, 956,27904
1091, 1092,24874
3683, 3684,27922
4717, 4718,24897
335, 336,27951
477, 478,24920
969, 970,27974
1105, 1106,24946
973, 974,27990
1109, 1110,24962
979, 980,28011
1115, 1116,24980
3685, 3686,28031
4719, 4720,24999
3687, 3688,28052
4721, 4722,25018
3689, 3690,28057
4723, 4724,25026
3693, 3694,28072
4727, 4728,25037
3697, 3698,28085
4731, 4732,25052
3701, 3702,28098
4735, 4736,25063
3705, 3706,28110
4739, 4740,25078
3707, 3708,28126
4741, 4742,25093
3709, 3710,28133
4743, 4744,25097
3711, 3712,28146
4745, 4746,25108
3713, 3714,28153
4747, 4748,25115
3715, 3716,28161
4749, 4750,25123
3717, 3718,28166
4751, 4752,25126
3719, 3720,28174
4753, 4754,25134
3721, 3722,28181
4755, 4756,25141
3723, 3724,28186
4757, 4758,25149
3725, 3726,28194
4759, 4760,25152
3727, 3728,28201
4761, 4762,25160
3729, 3730,28206
4763, 4764,25167
5255, 5256,16927
5997, 5998,14657
5257, 5258,17802
5999, 6000,15576
5261, 5262,18603
6003, 6004,16413
5267, 5268,19348
6009, 6010,17192
5275, 5276,20036
6017, 6018,17906
5285, 5286,20668
6027, 6028,18568
5295, 5296,21262
6037, 6038,19187
5307, 5308,21805
6049, 6050,19749
5319, 5320,22309
6061, 6062,20273
5333, 5334,22782
6075, 6076,20759
1155, 1156,23217
2189, 2190,21205
5355, 5356,23611
6097, 6098,21615
5369, 5370,23988
6111, 6112,21999
5385, 5386,24338
6127, 6128,22354
5401, 5402,24656
6143, 6144,22685
5415, 5416,24958
6157, 6158,22988
5441, 5442,25492
6183, 6184,23536
5455, 5456,25733
6197, 6198,23774
1225, 1226,25955
2259, 2260,24004
5479, 5480,26158
6221, 6222,24206
5497, 5498,26347
6239, 6240,24401
5511, 5512,26528
6253, 6254,24582
5525, 5526,26678
6267, 6268,24737
5537, 5538,26830
6279, 6280,24890
5549, 5550,26965
6291, 6292,25026
1277, 1278,27094
2311, 2312,25152
5573, 5574,27215
6315, 6316,25274
5591, 5592,27325
6333, 6334,25384
1295, 1296,27423
2329, 2330,25485
5613, 5614,27521
6355, 6356,25581
5623, 5624,27610
6365, 6366,25673
5635, 5636,27692
6377, 6378,25754
1311, 1312,27768
2345, 2346,25827
5653, 5654,27838
6395, 6396,25897
5661, 5662,27899
6403, 6404,25958
5671, 5672,27961
6413, 6414,26020
1325, 1326,28008
2359, 2360,26071
5685, 5686,28057
6427, 6428,26118
5693, 5694,28108
6435, 6436,26165
1331, 1332,28141
2365, 2366,26202
5703, 5704,28181
6445, 6446,26241
5709, 5710,28218
6451, 6452,26278
5713, 5714,28253
6455, 6456,26314
1343, 1344,28290
2377, 2378,26347
5721, 5722,28310
6463, 6464,26370
5727, 5728,28337
6469, 6470,26396
1347, 1348,28366
2381, 2382,26425
5735, 5736,28380
6477, 6478,26438
33, 34,28402
177, 178,26458
1351, 1352,28421
2385, 2386,26480
5741, 5742,28442
6483, 6484,26503
5741, 5742,28450
6483, 6484,26506
5745, 5746,28464
6487, 6488,26522
1353, 1354,28478
2387, 2388,26535
5751, 5752,28492
6493, 6494,26551
5753, 5754,28506
6495, 6496,26564
1357, 1358,28521
2391, 2392,26580
5757, 5758,28528
6499, 6500,26586
617, 618,28542
753, 754,26599
1359, 1360,28551
2393, 2394,26605
1361, 1362,28556
2395, 2396,26611
5759, 5760,28563
6501, 6502,26618
5761, 5762,28572
6503, 6504,26627
5763, 5764,28577
6505, 6506,26637
5765, 5766,28583
6507, 6508,26640
5767, 5768,28593
6509, 6510,26646
1363, 1364,28597
2397, 2398,26656
5769, 5770,28607
6511, 6512,26662
6739, 6740,14837
7481, 7482,10446
6741, 6742,15706
7483, 7484,11140
6745, 6746,16496
7487, 7488,11768
6751, 6752,17228
7493, 7494,12358
6759, 6760,17906
7501, 7502,12885
6769, 6770,18532
7511, 7512,13375
6779, 6780,19111
7521, 7522,13829
6791, 6792,19639
7533, 7534,14236
6803, 6804,20135