-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathreduction_1.txt
10010 lines (10000 loc) · 112 KB
/
reduction_1.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
120.547076
110.226619
116.045020
135.139892
136.619111
95.212286
64.943583
28.031209
88.060635
88.641299
103.986918
132.880382
130.914035
99.014160
81.743507
114.853611
99.661772
106.481859
81.926607
120.386654
88.932923
100.488915
112.851109
111.849717
119.457514
157.401449
156.625257
72.239630
101.990478
135.152015
122.660001
91.831350
128.606106
128.098497
131.255420
111.024349
107.971510
91.758196
125.173912
104.723883
124.687604
94.824823
130.805909
119.281401
101.014671
97.156486
123.660891
87.958264
103.695871
103.286966
90.159442
116.572029
84.925261
101.406433
113.854190
99.511894
106.659857
147.131014
132.253510
123.996203
120.042907
108.453063
119.619563
148.209735
97.994602
84.784609
78.797387
94.450403
124.531559
123.948815
84.049511
114.301147
73.509505
95.300826
139.082843
94.489112
90.292481
91.650458
109.238179
102.665899
131.182158
95.214900
96.018701
105.430565
95.340959
33.136173
118.333930
69.881174
72.187622
129.898169
109.194012
72.968599
107.334349
112.659428
95.365959
115.592118
96.878968
121.605988
59.844937
79.411572
114.185294
99.153765
150.769275
112.914787
91.499011
66.763134
85.164104
86.090071
148.496848
118.150227
100.810709
94.883480
73.281649
116.186245
113.850399
139.143911
126.670924
132.709085
96.838699
115.299748
89.808636
125.662118
111.631066
108.644873
111.539948
90.724331
101.241893
82.504943
86.221879
96.994905
105.729949
72.350593
112.811966
96.139369
104.155873
110.733304
74.371538
93.990348
106.467168
67.330338
140.172036
130.603947
103.332524
77.764641
148.457180
119.536905
86.680775
67.572469
75.139660
102.671321
98.813769
118.447607
129.420006
94.631810
95.117320
122.975255
123.934977
98.262574
168.210607
107.863447
76.475198
140.302144
87.120531
97.154670
108.360553
109.270436
105.500299
107.603931
146.316046
108.938302
119.887547
112.908329
82.394817
99.045644
80.664969
113.108558
90.892087
123.063541
94.680183
83.375556
97.810929
89.421977
136.615569
81.328414
95.043705
80.431812
89.821594
114.012447
93.510117
77.488731
123.649607
67.912459
114.966210
74.227213
136.900472
141.665048
108.005647
111.598575
112.901142
94.914297
102.147844
84.384393
106.330356
147.384241
147.415081
115.011141
109.540945
97.188495
112.308973
125.218252
82.228589
64.032105
111.654842
104.238398
106.168734
101.075949
114.109540
91.400478
98.049695
101.046971
113.804033
75.347627
105.029248
98.528187
85.753712
116.809899
109.042350
88.745435
128.419253
106.251978
86.841789
126.195250
118.203764
64.190156
95.680965
109.048987
115.605641
129.307636
95.302702
107.005588
105.942147
104.391373
118.414160
94.378670
74.311553
115.346540
113.152633
75.881460
99.018357
88.119449
89.296153
124.741169
133.217651
123.505506
83.552305
103.506043
107.458508
103.290741
107.878833
132.921609
101.989391
111.529210
121.272132
104.257683
105.773634
102.936041
125.445550
144.018562
109.556000
78.908148
82.478298
137.674569
143.987841
92.621554
142.263731
82.506281
62.715258
87.427491
90.923623
106.085647
103.901592
103.948251
118.213437
105.415169
93.936919
110.756626
85.452728
127.442886
114.307540
96.770820
88.476654
90.527797
82.480664
130.375057
97.210247
95.588254
88.514248
138.073291
108.863142
115.102891
85.627853
74.321417
108.888895
135.755485
106.249534
98.003355
106.841452
113.413565
80.492991
103.304076
94.757577
104.114726
94.359444
125.737746
97.823139
134.390723
74.551826
132.466466
119.575647
108.442956
79.207316
62.651230
88.212996
92.432701
85.210526
109.213456
116.775450
93.328605
88.595344
103.562430
88.408138
134.622358
64.462341
101.631781
78.527273
97.929943
101.851918
80.559072
106.088472
88.226436
92.724549
95.008580
72.343969
127.688789
106.480369
94.348723
130.398612
139.105171
122.188965
87.790621
110.932068
123.701407
170.911660
86.120252
122.921325
130.758274
127.167552
92.108055
123.631204
99.300109
66.164734
88.879893
107.526571
126.049847
105.085291
91.203518
96.612868
123.279741
81.058886
123.062558
104.438664
82.888638
107.394608
153.316489
65.075983
88.044626
58.372266
75.640114
44.383322
92.986071
120.802549
108.435165
110.405946
133.637450
99.333762
94.496552
71.110055
93.297239
97.510972
103.305158
94.124101
66.901654
100.363475
114.952673
145.906764
132.120584
138.064633
95.837486
159.231155
107.190277
143.659349
95.221794
138.986392
111.797718
104.639456
130.301535
98.312421
75.587942
128.748752
117.321036
107.369715
90.440196
100.079032
129.511296
113.540349
103.459016
122.364826
113.228001
117.382823
114.067934
143.949281
81.624861
107.849958
115.934504
119.319558
74.968981
97.789445
101.454868
124.327241
108.496633
128.398211
105.144101
149.624692
138.530121
129.322585
108.163334
152.167502
96.433278
86.950561
79.628989
88.515226
125.785992
104.124680
133.211149
102.449552
131.567485
117.426717
131.516044
100.213179
106.686954
102.379723
103.589372
100.631228
138.207403
126.376955
123.964777
91.240231
106.764275
85.516075
81.407385
81.535570
140.822692
127.198524
124.633478
97.075534
72.414601
73.900672
122.354153
80.135238
103.067846
143.197028
153.418367
135.485939
83.976976
75.988941
87.705528
92.832181
96.005302
105.664600
101.120651
119.104453
105.816123
53.958636
172.380400
145.489570
106.039007
125.901386
102.044041
154.509868
71.207263
118.417829
88.541479
88.995732
155.479613
128.505847
105.122450
113.491404
113.330278
113.348295
146.802847
57.839261
114.099336
80.107244
72.013997
103.606070
118.696645
109.801900
114.966899
85.086920
68.336379
127.324376
90.364759
67.807924
130.335848
116.629692
109.457247
60.775366
140.721849
119.843218
109.862217
97.710363
111.358733
98.098038
139.256529
58.032893
109.191167
132.744684
109.111654
120.348645
96.404888
104.524140
76.695469
90.653701
104.297316
108.393894
126.826857
86.965227
115.213319
91.122707
112.918760
91.512371
124.886276
127.378204
59.973860
137.585912
83.544129
104.615311
113.126346
114.417442
113.665582
133.286686
93.366439
105.165945
147.496297
120.231062
87.376572
129.141279
108.837828
83.375513
98.116513
144.162587
114.563896
89.526439
72.050128
109.666581
96.820191
107.807881
96.334741
88.116556
116.231714
91.606399
122.928827
102.576588
112.487234
99.494821
113.647921
114.642025
100.438336
60.012865
92.564981
94.160441
92.870516
124.047562
84.122303
93.119555
105.919325
119.517087
127.269467
130.642706
106.328471
131.553801
91.482470
125.033210
71.771515
85.485726
128.214320
107.528241
140.917705
117.116631
105.944311
134.558262
110.811663
143.800636
107.815646
67.418178
131.118447
103.230238
124.824233
93.719376
115.179676
92.626587
109.688172
94.041705
104.626864
91.026423
143.294563
102.911400
106.277533
84.793494
115.157749
103.881032
95.528910
94.438563
134.373565
95.611712
127.186824
95.960787
109.305461
117.734143
95.029599
116.159071
76.926041
123.079985
95.619658
109.072508
75.098749
116.128570
117.953348
88.385822
67.658574
134.470192
123.008381
158.044674
144.206089
100.193359
80.787896
116.018741
111.730894
92.619189
124.552721
127.547439
77.490205
123.913795
141.356666
100.322987
81.218327
95.763540
98.023851
91.412705
131.100096
124.922797
86.379114
101.637441
114.254217
124.459092
110.295573
112.680461
111.137954
142.859924
103.197370
103.754242
94.501906
105.293068
90.086283
128.205646
119.269022
100.286755
112.306450
111.489445
68.696559
129.004014
107.779919
98.693777
120.212910
118.786579
94.362458
169.570890
110.135945
107.126847
112.995801
113.052088
101.302827
84.321379
87.422776
83.938900
111.567560
92.210494
113.052178
97.205373
86.964624
67.323733
116.591655
98.967655
69.300785
85.080431
100.219426
98.207109
108.799286
63.073642
109.771418
87.826618
137.948829
109.792478
116.902093
127.233268
98.649924
107.901447
126.693832
108.415742
117.862734
87.182029
111.540386
121.202451
140.331153
96.939747
122.166909
108.139314
77.501663
88.102609
59.438754
79.316090
86.339282
91.871104
116.070406
77.725108
108.968458
95.251587
79.238756
83.183627
112.314944
91.767096
107.711923
76.355598
102.228945
101.040125
137.113525
110.760802
133.558770
78.809306
159.059394
81.553908
116.443751
106.145077
63.606769
122.700509
143.975931
126.431430
116.661762
95.617902
104.221749
128.131830
113.036836
72.134101
123.208708
109.999545
117.804709
83.035670
70.061344
109.734500
116.749825
134.298479
71.342898
82.727870
90.381541
124.751144
76.913197
66.763852
140.169283
104.494120
89.030418
75.212249
122.004454
75.375686
86.594988
72.422241
116.163462
109.600831
94.866150
141.913178
118.746663
105.475119
80.966902
68.324872
100.417664
107.029912
85.557733
142.681765
61.876693
117.648266
109.796333
81.496494
98.476388
112.883373
91.742379
76.758122
111.489864
133.392621
85.720494
120.300053
80.638602
90.985311
105.374069
120.986700
117.605245
90.992596
101.172922
101.523432
142.612390
100.454501
87.749724
149.416214
116.365384
97.217291
137.128614
117.756315
65.865178
97.670905
86.738546
101.908034
122.196737
114.306080
101.537366
126.856582
115.787872
93.213954
110.327370
109.104879
109.849919
78.425422
102.073883
109.082500
132.425418
92.311524
76.775957
96.371958
112.391761
88.607301
109.643901
72.169019
64.423219
127.390461
97.119951
95.015254
94.858653
85.221315
133.512389
132.769267
101.432484
119.867476
88.952821
113.264677
91.106953
161.498793
106.592096
113.582849
106.645883
120.490079
95.459279
80.863906
80.858018
110.563830
134.200319
110.824668
113.087287
122.328028
76.286834
89.702340
96.169795
108.656723
105.816235
115.128496
106.040550
107.025345
90.774689
133.766545
121.303361
68.863367
96.485826
129.872970
89.603604
118.178429
125.088535
67.623194
125.850336
107.268692
95.887504
102.753926
81.352568
109.969998
135.968396
129.658749
144.185072
94.446545
88.035657
105.786779
90.015124
89.666742
132.845565
99.051729
92.282985
119.224211
137.017205
123.400479
119.295984
123.995115
113.904151
63.985084
97.007013
81.188094
71.100101
114.949572
106.984295
66.843082
111.888368
88.529569
63.072295
76.399438
74.934845
66.101483
113.679696
97.359012
148.641897
101.133959
106.255277
67.468459
120.566349
98.027644
115.121966
93.730634
95.071947
76.838940
93.646340
98.358092
82.197758
55.765798
121.912049
104.965070
73.269037
103.832636
101.299373
89.963968
105.012047
104.628593
110.352368
118.866238
107.087543
77.190160
48.849763
98.935628
104.073991
87.132629
41.701240
72.891436
81.855627
67.586839
88.919961
117.936884
77.791878
93.594113
87.418660
112.193946
103.395131
135.117254
131.736451
145.370824
113.337386
101.615873
102.037819
75.519301
90.223016
94.520552
132.588394
97.890207
119.141242
118.837203
106.455819
125.271110
117.015054
118.213501
115.057915
105.381036
127.871401
119.684073
117.284813
96.115978
97.417167
105.112722
79.317681
99.247300
80.899729