-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathreduction_3.txt
10010 lines (10000 loc) · 115 KB
/
reduction_3.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
316.429164
294.420588
293.577741
236.439089
190.298299
254.840931
273.801076
271.116429
237.907119
284.304336
246.091908
220.823269
223.208632
256.518604
236.584402
242.519898
249.396944
235.227323
270.695889
259.511616
303.767424
269.175674
265.766757
317.999328
221.633392
299.846639
262.524532
213.683954
267.297119
306.920897
262.305990
261.287301
266.622488
255.601459
277.603240
247.819822
265.887148
281.650395
334.952877
258.602715
264.540476
267.870836
195.174463
255.197765
206.278755
276.229321
270.219601
207.091089
259.169302
211.425072
261.352956
226.545868
220.342759
299.597112
191.483391
291.491727
273.057244
292.394912
151.663054
222.432349
232.252412
356.792413
175.107356
252.498355
169.924014
248.334851
312.833633
274.871268
235.774514
262.125234
251.185454
246.337090
246.167625
221.371171
317.860896
275.323689
286.388083
226.913484
313.493076
230.584620
279.218962
204.635818
313.918417
232.724752
251.652941
271.838657
253.927479
241.757489
304.691168
244.530883
318.336734
272.117511
272.712297
285.332115
238.812227
279.687329
269.698703
279.822501
273.056217
298.953066
271.956334
245.030859
146.511105
256.635556
240.799391
279.198422
200.048072
251.467499
204.290012
223.147979
287.220508
185.551836
230.101252
326.385026
249.902235
260.791009
277.062533
135.333777
273.793467
218.469632
187.683371
256.814222
281.181555
220.957530
277.014717
278.970967
265.774888
274.412756
263.798624
300.003202
188.559108
207.516344
204.478678
303.043131
256.934570
187.341833
265.864571
250.683518
242.537628
261.511851
276.660854
261.741189
285.370186
282.163502
246.683380
289.725108
269.029017
232.349266
264.654466
305.890962
266.204874
241.722596
275.516850
246.411486
274.972244
232.037826
293.563512
224.734371
294.100921
225.653481
243.115979
254.838130
251.612379
285.262981
219.464594
278.132696
283.423651
241.852122
272.219502
272.957727
268.449221
277.773894
198.761640
303.276800
283.400147
264.474051
233.338464
285.744351
233.134488
267.251256
280.789341
280.310349
266.972382
328.620274
279.757100
239.952578
293.495553
213.838098
272.490359
268.312427
230.398699
303.337137
277.688981
250.308142
255.146389
255.532652
286.171755
286.432905
270.088989
326.295546
283.268145
254.919103
226.720688
230.923125
217.607041
304.355908
233.111172
289.449220
300.107501
263.566118
235.253446
217.656401
218.627938
300.559647
273.388895
250.474596
289.019545
230.426438
230.005241
292.317281
177.613119
224.475706
226.419474
243.992715
251.845217
262.116918
317.471334
242.229158
276.665339
265.225888
219.662459
252.643933
216.531220
256.038143
277.098943
292.880922
210.896911
274.272505
242.410925
267.533972
297.679115
238.782276
227.352957
200.339099
203.553969
286.642942
243.611450
246.561915
288.834439
255.555322
291.075134
258.360353
188.237222
234.662455
257.292703
258.533004
293.573803
245.405403
249.242714
297.553069
272.678440
249.896860
234.908207
295.141618
186.079217
271.026978
250.738348
232.750886
280.200812
222.616045
266.178997
293.063741
196.797911
274.152255
260.735007
281.330342
250.006902
254.227454
302.764469
302.452616
258.047669
227.500755
282.516693
262.546615
290.997999
245.352235
251.702645
259.399497
231.601347
278.167659
245.688198
228.205482
206.695877
275.103986
251.304845
237.644550
296.745454
284.920636
298.618929
295.853681
227.302999
203.193340
286.891861
267.772505
296.093313
274.943483
284.694799
244.913051
129.748496
266.901598
304.449664
254.848405
288.705959
265.135373
173.813595
322.879544
260.526800
239.267118
248.243185
235.975839
278.210670
211.200807
329.295552
283.776442
215.685815
255.336196
273.963062
245.831263
271.653713
278.107606
232.620438
308.396230
259.425714
223.597202
303.816535
245.616482
306.657393
243.929354
301.368191
279.789649
236.540742
290.737938
212.521446
220.923409
256.070868
276.636276
242.827608
269.130584
287.696154
246.282224
292.325231
260.598928
241.312895
248.555901
267.531229
271.496751
240.848649
239.979559
249.012782
224.332244
167.718400
293.834934
244.383415
273.054578
299.053672
248.764101
266.899754
255.258082
255.618840
277.667978
235.182721
292.840473
277.490739
246.967776
258.612622
249.692310
241.382261
253.605543
241.671431
234.396087
215.204729
255.574671
214.448396
254.790665
276.716134
268.428745
195.561611
261.899075
245.020755
292.456556
261.568146
209.441827
239.229570
238.099061
314.949190
248.792054
284.542534
315.279545
284.803697
262.947912
235.661124
267.296297
276.736613
211.128224
183.878246
288.794159
307.320717
229.322808
284.393326
313.854967
266.115011
276.307170
234.567734
187.798146
234.938361
300.739414
291.072920
256.536537
233.925024
262.299919
247.680882
267.672205
238.401828
285.255930
331.302567
233.071090
182.684122
287.727079
275.944657
202.324845
282.230585
245.676161
235.556870
311.656634
277.874074
251.401895
239.082827
262.668616
235.234689
272.739673
267.545718
205.964573
265.376816
196.600397
302.442343
253.238160
293.241483
313.176572
288.803352
206.905832
247.763368
233.680230
173.579574
260.956247
287.172864
275.675135
184.307036
218.511139
254.483269
253.187187
267.004638
290.718846
277.763488
273.638268
228.844482
284.770260
257.589814
242.844612
313.552303
244.836641
239.846828
271.827296
282.814959
308.769706
285.065878
315.119335
296.071623
269.195213
228.045573
250.687114
270.676123
309.261572
269.266032
199.368375
313.383728
209.137134
242.829210
176.232901
215.271422
245.463315
230.766416
238.893398
222.177566
231.769619
223.210918
262.971817
286.488033
251.821960
280.702710
250.217578
219.659884
294.466058
238.642223
289.013604
220.191034
200.307504
249.984291
259.665891
311.345573
247.761654
272.140765
253.441037
249.721336
261.983199
216.784095
268.524682
286.928054
277.455790
223.613235
297.434739
248.381295
254.955343
308.245404
286.811739
232.949354
332.685462
217.474115
257.031945
233.048795
283.124793
264.952272
242.393818
221.186432
304.911295
208.782298
236.926818
261.894890
330.494478
267.766265
206.588691
245.019672
260.323972
231.445175
215.100756
280.983325
259.204246
163.091492
282.147286
232.960441
278.392299
300.661891
260.310243
260.486267
264.708772
209.197692
274.718379
298.765991
277.311193
236.063913
326.246282
258.301732
277.559387
227.493823
261.505502
269.948959
249.566206
294.432013
195.084298
294.652125
215.819128
270.271614
275.799991
278.327816
274.022945
265.167391
199.760057
280.045899
241.352530
264.603808
267.441201
219.105462
196.961541
275.545252
322.374346
215.869420
232.520929
249.708217
310.090312
244.964936
314.719703
231.489317
184.793973
261.696669
213.579205
257.426938
287.116422
324.842950
253.803658
338.202220
231.629886
314.118847
316.086293
299.864523
315.687511
235.919400
270.575629
290.862560
313.161386
292.658491
282.001922
239.703570
251.082748
228.830456
282.914464
203.494295
318.409741
221.642252
268.627272
237.187040
290.617721
283.744195
231.354299
262.627619
240.127983
273.267011
251.589122
214.980902
255.148757
330.490139
282.646290
275.475139
248.306972
296.978239
264.309629
287.629167
257.344927
287.739147
253.233882
195.109693
216.448146
271.885729
258.774683
277.063867
227.749429
242.112202
256.942036
251.612738
245.024662
259.182877
270.486803
267.625957
218.507798
212.286617
230.831309
236.349121
205.770135
257.682397
252.987581
251.240183
286.559941
282.880559
295.101468
259.839961
215.152731
219.823524
275.216914
281.597859
215.929699
280.836687
166.463535
314.080739
296.753321
274.880054
305.347702
264.335432
295.884076
313.966052
229.882675
215.065191
289.997891
293.642869
296.315949
288.624982
221.161125
264.265644
233.175787
297.463712
228.918136
252.781462
231.126923
195.883426
253.809672
272.818702
208.479354
273.005048
224.765816
298.498823
192.940677
275.728776
237.248333
254.889723
288.254825
289.673049
257.608548
320.347493
277.890937
179.783406
291.622199
218.203584
271.039985
201.704720
217.192389
247.303388
289.292221
257.216606
261.001278
268.732202
284.268957
298.666431
292.789239
246.520811
204.797245
244.390276
257.355621
285.158797
272.955831
236.608977
265.727111
243.280269
280.831287
297.251242
194.321326
232.481412
334.480707
304.446467
250.749835
291.022788
234.200511
332.003063
251.363975
259.340467
252.312562
223.264328
258.160912
273.948954
327.672506
303.665257
269.625074
254.925574
252.252707
244.999039
204.982865
248.084908
275.419024
204.885744
234.738127
253.864167
289.670646
253.216094
243.868365
275.313177
298.763544
222.556625
266.203200
293.099509
260.276577
273.293252
253.316602
292.691985
279.431613
184.389402
146.520838
249.454575
231.807263
226.609589
239.531379
284.872079
265.704873
247.971300
246.987197
239.004246
226.200404
240.512944
330.949443
221.545463
222.487580
254.454630
261.900576
233.199409
275.877275
220.579241
264.455040
294.734099
221.384073
218.915802
193.652328
298.891439
274.399678
243.580591
271.904388
256.053507
279.785293
302.450905
288.881070
251.546650
318.586957
262.363599
298.174509
236.896689
262.673620
303.014505
325.878465
257.073153
282.276279
283.920073
283.847762
258.488966
310.135327
216.224378
274.925707
265.865102
134.768481
255.459029
271.570448
306.921382
276.681265
213.968365
283.697359
239.209157
246.611309
270.348661
218.070525
280.535155
251.598034
279.803569
273.236720
304.849152
248.120156
221.728078
289.889474
297.256834
314.901873
116.163398
287.936888
255.552370
320.732662
253.358523
221.283148
258.450997
297.560173
233.828888
208.879937
261.120196
242.478515
313.648938
186.562523
230.098728
335.852651
246.638638
194.914710
244.139266
301.172608
233.589085
241.770478
277.070426
267.203403
215.710804
287.625312
258.146624
260.133970
285.763005
310.357164
248.340254
289.701141
251.193681
284.168905
295.813499
293.711963
250.292891
235.451831
323.361755
263.929293
234.107057
230.471092
293.012166
224.916357
284.876005
231.989417
267.648447
240.162014
242.157586
258.479348
217.315411
275.060665
274.269009
341.288339
214.018119
226.449424
220.163949
249.395193
303.372984
206.832833
272.259324
276.959730
246.542735
227.900111
234.860342
226.141820
283.643344
173.346163
274.357930
214.218326
279.507465
279.405050
249.817736
269.910344
273.464390
281.581332
205.024257
197.580374
314.904818
243.305244
262.344059
270.282056
276.918313
281.136747
249.678954
212.565152
186.059808
261.708175
243.869055
234.769022
252.079900
261.747812
293.512641
227.283311
281.027689
282.613537
290.981882
237.042753
244.851776
283.833343
316.016109
194.544938
292.945446
282.009310
198.486805
260.505453
310.455215
249.209763
259.592066
314.213518
209.230391
284.058052
230.274167
246.455622
241.589775
286.145657
249.443243
259.412937
282.406124
257.471604
256.995945
224.226823
263.252506
257.071809
272.794879
306.018584
211.497824
273.415237
185.996300
213.853054
241.314776
286.141165
189.732712
245.488461
311.243395
237.000201
314.049894
259.993267
223.157605
243.937062
280.332721
230.750597
287.602307
216.762723
264.835311
329.544974
309.261708
215.394593
202.450664
274.333176
195.775525
262.617767
225.734007
249.861396
262.246247
284.156707
226.030227
268.321106