-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathreduction_2.txt
10010 lines (10000 loc) · 114 KB
/
reduction_2.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
223.011065
165.474855
184.423862
230.270913
144.444085
200.724717
171.703170
180.629208
168.402705
181.134060
139.192068
143.965826
172.339043
173.125087
166.031215
226.605514
198.878894
137.799583
130.581193
189.282080
176.186295
139.846975
196.879368
178.736212
167.425429
177.304561
179.671495
223.214835
182.362523
152.050249
177.504203
183.727589
165.273338
169.562319
182.059866
172.580928
165.187039
181.696177
179.884784
156.946476
209.810807
159.989994
171.990416
120.084942
152.719162
197.319547
192.308057
207.512851
112.420353
171.543200
161.512438
136.004129
152.357599
183.805002
112.038559
175.905295
181.795022
151.082414
171.158447
153.022445
177.731900
227.668506
177.881646
131.453070
213.503434
201.667681
176.407345
183.044576
180.779379
198.061231
156.415871
161.748187
199.219346
158.122999
165.911513
186.808918
157.746449
175.365960
174.925824
172.750301
184.102631
236.345148
214.290838
182.978798
148.280105
176.349119
179.207643
121.285325
143.441014
230.661262
195.422315
139.429991
170.991583
111.613028
190.598998
178.116358
160.709960
191.073933
199.152747
131.134443
137.422268
185.328746
201.707009
154.098105
141.953869
153.233143
212.409981
226.641493
203.479380
199.231491
140.711636
171.741758
157.227123
192.628152
157.993545
138.064021
155.940356
152.875207
154.785684
211.393150
152.822930
128.054489
111.818179
94.247787
203.650395
169.355680
139.383875
209.881676
177.056565
149.106814
227.009318
221.778457
150.413078
161.712099
157.381875
109.584051
167.702780
137.648374
169.753945
147.418663
206.992532
189.614884
209.147751
177.360688
137.262222
180.378453
163.796669
173.486142
147.192319
181.376812
211.333371
166.367319
190.455618
144.986493
139.335970
183.004498
141.577227
138.186918
141.493698
204.727415
158.986627
194.184801
208.435857
205.323964
171.325657
174.270231
184.824112
161.446288
138.054751
180.015131
126.680692
193.955083
227.564771
162.308181
172.672462
163.593813
152.564845
125.552373
156.195797
138.129364
175.416015
170.329340
162.887134
199.765637
196.912044
136.103421
164.547978
184.540673
240.357098
193.341169
143.192719
175.074436
179.637592
180.464449
166.632733
203.813799
162.912579
198.828656
197.623357
124.761235
254.048250
164.336338
188.334733
207.540489
144.623122
178.165012
175.333804
165.968002
157.015944
140.246973
160.213486
204.784465
236.059201
168.551526
112.729810
210.810696
144.638238
139.344350
161.033692
197.480078
153.197613
163.578909
134.785094
138.333567
168.736357
173.562456
161.716390
138.871718
192.788363
147.903917
160.936220
138.394454
141.223350
180.793313
137.765713
170.585595
194.892305
190.620359
168.227788
156.160548
161.231167
134.339354
127.469631
159.277052
205.474659
189.534442
159.724149
203.158962
155.748867
105.273799
188.158473
199.277078
155.004391
168.470048
146.596175
181.896298
179.983432
162.644813
187.324972
184.375723
158.403281
148.970684
152.799720
185.281535
150.891735
162.023597
148.572430
189.174931
180.989048
200.263819
171.115174
122.161116
187.482527
167.239120
137.804952
176.204506
143.377702
203.212991
220.564074
177.579251
180.375010
151.448033
141.426213
192.153720
136.987875
181.398148
207.886854
196.787249
185.048083
167.498550
154.171080
131.605064
121.412551
141.520302
126.788935
193.512344
211.880262
221.479891
144.503171
201.136467
168.132142
205.949998
161.801948
143.709841
164.970814
128.455487
209.698431
189.862121
154.178710
171.510321
177.831275
148.011735
176.075693
169.268753
161.678761
138.481239
184.902910
194.913767
155.180574
168.127644
147.928505
150.859989
136.007082
178.272668
189.227414
151.345835
179.245176
146.682025
143.223814
120.742588
187.347912
132.121796
158.865663
164.599884
131.691915
168.309405
135.717611
149.089999
215.986568
156.457201
175.710906
191.530721
202.471824
212.764974
160.640299
106.184935
163.974443
119.761822
189.167841
211.997970
188.000850
130.211033
212.516013
186.839550
153.702181
182.265394
84.654588
192.863596
212.513961
244.802182
123.917506
192.306983
170.619846
157.864116
158.281412
173.762104
146.172578
128.051653
78.416296
153.956022
162.954560
107.623592
205.250063
208.901144
120.594084
169.056643
164.592538
175.231378
200.684587
148.289994
167.090441
143.568745
126.425147
170.845777
141.699016
237.068901
200.838381
211.083573
181.321828
212.436556
219.086024
164.228531
179.861176
167.595463
158.094736
166.146113
169.661876
138.252879
122.278390
116.263279
150.645725
126.381817
240.729002
149.855307
180.320115
183.978046
125.101075
205.199578
137.526110
216.739713
147.128443
150.650795
132.435989
197.286341
153.844092
206.724943
119.495253
157.251378
208.076213
219.855441
233.639924
188.541567
201.322560
194.034265
151.565061
165.284575
185.354438
159.538973
210.098029
164.444822
187.177741
227.946930
212.501765
161.826439
181.354996
195.356940
143.665393
139.113649
161.808919
193.814311
135.248833
178.511517
178.181058
176.503818
174.283623
182.367534
172.546764
159.243164
155.171770
117.988395
175.535965
122.144127
161.270449
212.144593
178.439163
213.791042
138.747198
134.136307
201.570704
196.015754
184.197178
179.218976
145.909061
182.282987
158.950956
149.011403
219.254166
147.735194
173.506215
153.815429
187.800341
173.900857
158.948028
134.113781
161.894196
163.329357
165.069065
159.255936
191.540825
107.501679
200.282797
193.515345
164.005369
184.816018
183.491618
206.731573
149.427316
131.192170
125.097086
168.735608
214.686643
164.637900
162.653371
136.720507
116.899349
173.647728
181.032932
135.288478
171.483152
175.844857
196.137882
135.860099
92.603102
231.079418
154.834841
206.172632
195.845248
172.288624
166.928998
184.133217
139.031902
218.833089
128.251078
215.968670
200.151252
122.401661
165.990132
207.962927
171.596570
189.689815
220.114261
172.099376
149.670583
188.405802
156.460165
147.645594
136.439141
132.189631
203.934271
205.310134
148.320216
143.134114
158.656485
126.894166
148.952187
217.220250
195.584995
139.966779
191.549369
144.102593
172.273185
165.691357
163.791864
171.265743
213.214855
150.135058
158.838545
133.654380
174.330369
125.021260
135.435362
180.592843
182.460867
202.623742
182.235288
184.983782
161.151208
165.231298
195.419716
170.683298
202.566497
205.724216
161.911627
117.148953
178.900237
161.711438
184.905178
181.207698
193.649481
167.859983
184.005291
163.892368
200.201118
155.169940
176.666498
152.792514
211.251020
175.805561
177.269193
143.184377
192.312367
220.239254
134.970839
188.138476
147.983113
171.837451
158.202187
181.098549
161.542073
164.703460
145.519413
145.949546
158.749844
164.794579
154.217090
147.387014
188.845718
84.736100
114.195437
166.355201
170.057747
195.544930
177.579310
153.726327
170.163764
208.005603
154.922748
177.447049
121.573261
133.532125
145.384342
132.139144
243.057205
177.012106
169.892665
172.488864
215.153054
194.315007
161.887987
193.005365
159.413777
182.605066
171.221428
180.757642
179.675775
139.004255
119.000680
186.468468
172.087127
184.857223
255.027866
166.430943
161.119821
214.356401
151.043653
194.253217
198.845583
164.379432
198.671859
115.098959
128.779308
113.310103
157.947594
174.378653
168.425412
151.660435
201.555700
116.220846
184.365245
194.231906
171.652827
214.847998
177.290949
167.945186
117.924771
169.588166
182.232325
204.914988
116.265183
195.116304
210.206083
209.393403
153.403489
184.824497
85.339930
191.181386
131.067724
184.279806
169.524254
162.556904
126.129527
183.915183
180.675886
203.660894
160.533113
138.835554
183.341284
150.960313
214.465809
194.585300
135.903419
163.850330
176.152117
163.385535
108.834887
182.627946
176.632894
180.008612
119.972418
143.715116
156.028724
152.045793
139.961954
174.129281
146.259430
127.310478
148.825047
199.718230
183.613158
163.242785
170.171139
179.632725
135.171353
183.351804
147.604468
178.932831
142.083375
137.320370
160.116039
163.244624
177.854685
189.405492
121.109121
195.846803
245.532145
132.995864
173.074165
136.440848
196.341827
187.714450
121.386538
119.201058
144.099920
208.684676
168.126581
127.128844
136.441033
220.209690
137.735008
212.498541
168.232714
152.033072
196.912234
215.860774
193.161326
194.571444
187.094378
163.702663
166.594123
148.427041
173.451763
155.529474
180.260355
165.310764
133.409000
158.811142
191.450938
186.396619
166.491427
156.448209
134.282109
134.240924
155.032069
190.436712
218.092764
145.724001
179.607653
195.379787
146.238867
185.831603
172.359079
148.249862
159.601743
194.450324
209.564090
180.882034
190.598501
159.015178
158.357475
170.460066
142.219110
209.207485
136.245735
193.092749
175.316639
234.441507
175.970616
147.279947
109.444281
196.205583
145.287558
145.560383
199.840353
153.975161
187.035413
126.817603
153.711200
209.334400
152.208808
228.664299
154.844978
149.147479
193.508285
100.220778
175.312354
129.532707
189.223880
211.433156
105.220247
184.169908
160.366489
204.512073
124.720570
137.245335
200.432885
138.706905
179.700256
177.490448
196.188168
144.873752
163.590232
133.361269
202.356368
190.316913
104.172698
223.151833
214.262618
155.692097
111.150939
186.308576
169.361107
159.879006
169.727818
143.924179
115.489775
182.391764
195.733369
119.590419
129.073624
151.721179
139.955226
159.862672
253.000952
195.220276
136.651768
189.882807
124.536464
123.084687
96.956143
132.818411
155.433082
118.227531
148.636939
174.202578
159.713231
241.856898
191.869727
176.308206
137.942590
146.246561
184.019612
197.945715
150.411424
200.031196
135.829475
141.289033
120.654296
133.565954
206.064882
114.721578
149.649265
169.705064
149.305378
182.956162
151.218467
114.997420
156.524382
138.400757
194.786983
135.103522
193.395460
191.932568
163.388411
169.560276
207.890950
167.337898
158.284866
164.185622
157.421631
144.277016
167.394968
152.102774
149.403075
162.660752
136.867477
188.059176
148.267568
139.650829
175.302792
177.439419
135.681526
196.736292
153.397986
132.221968
185.132522
131.997268
197.952937
128.499691
281.650045
124.083732
183.248814
144.105174
179.440254
195.954875
209.411327
213.451647
130.214008
189.050047
171.662299
126.310540
179.639469
148.164070
172.942239
201.974750
146.593255
118.337147
173.479748
183.645024
154.542117
195.338377
188.326344
181.977316
185.052673
136.818302
216.961143
163.769361
213.644912
182.610844
218.572745
231.186520
150.923304
177.677103
153.970589
148.612261
154.471589
205.029173
165.133944
197.581907
172.885747
154.588758
144.575409
153.754055
167.315038
117.075369
164.782156
154.562665
178.510231
132.903129
181.484082
165.563023
176.059547
166.436659
227.375801
185.322627
191.633232
184.405627
233.990038
168.713782
232.282139
180.341709
188.519889
133.968247
195.055932
148.476437
99.345063
105.934944
144.966866
142.343601
146.753108
199.303315
174.865179
166.687802
171.424194
150.405029
193.456455
148.165176
198.198630
140.867547
193.387446
162.808560
141.449939
175.970554
208.300209
210.861233
202.515269
146.494544
172.361011
206.537130
185.020404
158.101548
181.855137
199.786764
158.025693
167.405443
187.262685
144.607415
202.190087
191.469942
144.335236
164.979041