Модуль 5. Лекция 17 - Школа системного моделирования
作者
贡献者
9323
17360
6069
5093
5052
4963
4900
5267
5045
5426
5477
5062
6171
5965
6397
6310
6284
6288
6313
6634
6624
6292
6315
6307
6397
6241
6425
6294
6354
6315
6634
6526
6315
6352
6452
6320
6234
6390
6265
6158
6498
6240
6393
6610
6287
6258
6370
6243
6229
6218
6463
6326
5801
5689
5757
6001
5821
5771
5698
5775
5989
5745
5815
5745
5698
5752
5707
5774
5800
5723
5898
5704
5719
5511
5509
5745
5624
5819
5582
6079
6226
7994
7712
7363
7702
6363
6209
6307
5866
5755
7541
8358
8827
6338
6149
6024
5743
6467
5755
5741
6348
5820
9788
6585
5728
5748
5854
5806
6011
5706
6065
5880
5764
5711
5770
6063
5769
5777
5750
5748
6062
5757
5814
5735
5717
5779
5650
5957
5619
5738
5822
5589
5673
5747
5763
5613
5567
5652
5515
6045
5965
5870
5747
5759
5659
5664
5738
5720
5641
5764
5895
5927
5781
5682
5663
5639
5654
5706
5523
5687
5774
5730
5692
5816
5586
5679
5619
5557
5663
5588
5743
5631
5652
5573
5614
6346
6081
5795
5632
5577
6008
6873
6859
8501
8004
7989
6642
6822
5753
9840
10997
7053
5839
5783
5523
5451
5706
6081
5603
5932
5831
5685
10388
6625
5758
5747
5722
5614
5654
5663
5859
5969
5762
5686
5679
5616
5639
5805
5716
5556
5786
5681
5610
5817
5839
5529
5561
5664
5709
5676
5890
5747
5587
5817
5679
5893
5731
5631
5607
5729
5901
5725
5670
5714
5608
5673
5552
5727
5640
5570
5772
5776
5630
5895
5679
5608
5642
5730
5614
5996
5790
5707
5634
5738
5649
5673
5644
5649
5631
5792
5927
5731
6327
5705
5750
5998
6385
5722
5604
5584
5782
5681
7096
9380
7246
7558
6227
6015
5959
6126
10383
8605
6043
5795
5486
6030
5477
5969
5435
5466
5667
5520
8875
5763
5602
5568
5508
5631
5644
5560
5727
5522
5470
5652
5478
5378
5413
5534
5351
5747
5758
5511
5474
5418
5410
5602
5455
5450
5422
5641
5770
5699
5559
5574
5517
5445
5434
5459
5341
5440
5641
5575
5429
5683
5459
5531
5513
5381
5487
5310
5941
5693
5776
5766
5758
5958
5744
5642
5629
5692
5838
5633
5678
6623
5786
5725
5530
5933
5722
5908
5773
5651
5622
5715
5691
6272
5648
5759
5758
6020
5893
6030
6476
8485
8043
6725
6068
6428
5772
7241
10131
8371
6228
5623
5757
5623
5831
6277
5639
5609
5853
6862
8547
5902
5711
5772
5589
5475
5365
5399
5613
5438
5418
5448
5296
5624
5432
5464
5478
5543
5497
5452
5406
5503
5404
5329
5383
5595
5448
5443
5601
5471
5406
5368
5343
5389
5466
5587
5477
5691
5675
5372
5467
5305
5474
5359
5284
5372
5342
5315
5580
5564
5264
5387
6112
5260
5334
5365
5322
5285
5571
5383
5270
5605
5265
5279
5458
5347
5294
5412
5444
5462
5833
5815
5671
6118
5987
6125
5869
5707
5858
5739
5500
5761
5889
8640
9474
7456
7051
6329
6980
6042
5929
9511
11039
6842
6297
6114
5687
5913
6091
5680
9553
7417
5693
5695
5738
5649
5781
5607
5884
5945
5728
5641
5713
5705
5669
5725
5618
5610
5968
5704
5653
5877
5672
5668
5656
5911
5595
5686
5534
5235
5212
5338
5125
5509
5275
5248
5141
5188
5383
5326
5230
5190
5193
5895
5327
5542
5354
5460
5445
5213
5271
5264
5187
5276
5229
5364
5210
5549
5546
5319
5325
5273
5221
5374
5335
5251
5361
5258
5341
5668
5283
5379
5219
5422
5595
5307
5313
5324
5491
5294
8762
8362
6572
7195
6147
6086
5385
8582
9942
7391
5793
5421
5771
5859
5817
5791
6095
5631
5956
5779
9500
8414
5845
5675
5721
5906
5729
5678
5936
5779
5718
5638
5683
5593
5656
5723
5601
5877
5900
5793
5682
5634
5657
5777
5683
5605
5590
5677
5831
5822
5727
5625
5686
5677
6110
5759
5705
5600
5900
5725
5647
5884
5783
5699
5665
5606
5595
5637
5846
5661
5241
5170
5116
5431
5199
5144
5173
5255
5323
5285
5191
5133
5163
5274
5120
5395
5167
5256
5435
5280
5294
5342
5198
5368
5800
5237
5270
5453
5498
5344
5598
7300
8324
7151
6163
5681
5942
5452
8308
10298
6448
5933
5265
5306
5230
5659
5631
5280
5576
5264
8861
6298
5493
5347
5333
5177
5411
5476
5460
5303
5181
5313
5150
5285
5107
5760
5601
5710
5863
5960
5714
5751
5687
5645
5574
6104
5796
5709
5915
5628
5674
5929
5598
5661
5674
5776
5663
5702
5867
5742
5577
5710
5778
5928
5671
5685
5675
5831
6004
5709
5669
5750
5626
5656
5681
5833
5665
5751
5980
5723
5658
5667
5677
5709
5631
5693
5666
5880
5876
5647
5623
5634
5658
5506
5838
5178
5201
5168
5362
5506
6238
8260
7315
7715
6167
5423
5653
5338
9212
10001
5866
6086
5122
5199
5205
5323
5698
5187
5510
5363
9625
6402
5395
5510
5351
5253
5211
5206
5377
5253
5169
5389
5207
5382
5269
5513
6291
5270
5450
5367
5171
5238
5189
5324
5128
5256
5192
5557
5370
5221
5292
5322
5231
5162
5209
5250
5228
5627
5890
5959
5663
5644
5637
5652
5599
5664
5664
5697
5842
5690
5603
5833
5690
5592
5628
5663
5647
5673
5824
5754
5582
5691
5619
6019
5705
5654
5705
5654
5792
5649
5675
5702
5570
5943
6098
5960
5782
5650
5800
6254
6806
8273
7740
7643
6719
6058
6210
6202
10492
8893
6516
5974
5776
5800
5669
5748
5809
5181
5399
5572
9218
5849
5133
5259
5390
5201
5187
5651
5460
5200
5187
5613
5136
5141
5138
5213
5172
5074
5342
5187
5222
5147
5214
5518
5355
5183
5226
5168
5354
5200
5285
5164
5247
5210
5229
5541
5289
5143
5383
5269
5288
5194
5279
5297
5303
5215
5265
5495
5516
5233
5214
5312
5231
5315
5289
5191
5208
5171
5468
5756
5805
5608
5633
5771
5687
5585
5654
5664
5847
5665
5708
5931
5760
5875
5741
5975
5678
5587
6084
5724
5685
5680
6104
6354
9234
7725
8290
6669
6415
6230
6692
10335
8696
6281
6079
5963
6134
5741
6836
5879
9140
5982
5835
5732
5783
5666
5822
5910
5952
5771
5705
5789
5629
5747
5601
5697
5720
5741
5951
5988
5677
5812
5540
5537
5614
5580
4920
5002
5104
4911
4865
5124
4965
4912
4830
4921
5039
4764
5047
4968
4840
4948
4877
4989
4850
4854
4859
4860
5097
4771
4942
4894
4906
4796
4932
5365
5031
4960
5135
4844
5017
4926
4881
4837
4892
4963
4892
5080
5302
4904
5000
5148
4982
5055
5209
5046
5027
4995
5072
5290
7613
7805
6875
6842
5526
4991
4963
5327
5275
5702
6454
8523
6887
5124
4914
4983
5402
4825
5177
6669
7779
4960
4866
5142
4986
4844
4976
4899
5152
5180
4935
4966
4869
4942
5005
5220
4816
4891
5778
5595
5473
5639
5445
5360
5125
5359
5291
5528
5618
5317
5259
5358
5180
5173
5259
5201
5157
5221
5563
5544
5212
5372
5101
5243
5208
5231
5245
5150
5362
5241
5154
5549
5430
5365
5255
5304
5189
5033
5467
5527
5316
5258
5158
5460
5225
5341
5147
5319
5416
5362
6147
5293
6743
5992
5422
5598
5319
5337
5722
6110
9004
7887
7820
6076
5429
5834
5092
7944
10072
6570
5248
4993
5050
5051
4990
5088
5215
5017
5333
5290
8407
7065
4984
5055
5261
4924
4930
4950
5062
5026
4981
5249
4947
4951
4910
4980
5043
5007
5221
4992
4984
5012
4947
5264
4965
5079
4938
5114
5200
5002
4935
5216
4955
4982
5051
5310
4964
4956
5034
4964
5027
5241
4985
5114
5073
4962
4889
5160
5061
4998
4999
5029
5040
4936
4991
4983
5009
4926
5117
5114
4935
4995
4955
5029
4968
4853
4955
4991
5271
4985
4968
5894
4967
5427
5405
5158
4998
5205
5289
4997
5559
7845
7920
6544
6012
5598
5601
5017
8756
10167
6245
5267
4947
4905
5050
5048
5233
4955
5319
5154
9298
6270
4978
5004
4925
4889
5181
4896
5227
4928
4967
4813
4918
5126
4984
4891
4885
5002
5205
5010
4933
4881
5032
5108
5033
5121
4970
5029
5073
4957
5008
4958
4948
4935
4906
4937
4978
5130
5099
5085
4990
4886
4951
5027
4905
5033
4899
4901
5026
5141
4989
4840
4970
4920
4859
5221
5022
5188
5219
4972
4984
5143
5548
5017
4816
4928
4935
5050
5051
4981
4970
4973
4836
5229
5796
4988
4974
4875
5199
4986
5597
7690
6634
7620
5908
5581
5585
5205
7820
10242
6082
5402
4942
4963
4957
4858
5062
5192
5328
4963
10011
6674
5206
5235
5072
5067
5036
5056
5398
5290
5028
5120
5015
5088
5003
4963
5041
5116
5323
5080
5291
5264
5063
5121
4978
5130
5055
5097
5357
5113
4875
5009
4926
5228
4972
5043
4976
5129
5234
5042
5132
5129
5127
5127
5099
5127
4902
4894
5117
5000
4921
4946
4991
5553
4914
5042
5037
5155
5213
5153
4992
4924
4794
5020
4945
5064
4970
5069
5242
5238
4973
5002
5018
5086
5584
5444
5143
5059
5122
5096
5050
5263
5252
5479
7035
8235
7527
6479
6023
5880
5077
6005
9559
8974
5489
5448
5029
5241
5456
5057
9187
5424
5042
5132
5058
5265
5164
5050
5314
4980
4920
5080
4877
4987
4931
4992
5023
5254
5145
5130
4925
4969
4860
5072
4925
5139
4955
5016
5135
5195
4991
5019
4862
4997
4996
4920
4870
4918
5079
4981
5052
5166
5034
4831
5592
5032
4966
4906
5101
4966
4941
4942
4807
5109
5099
5074
4915
4906
5054
4885
4809
4899
4857
5045
4884
5035
4796
4840
4907
4880
4709
4793
4806
4920
5044
4822
5055
5207
5117
5295
6133
8306
8245
6536
5567
5646
5186
5180
10134
9337
5867
5639
5217
4909
4834
4986
4900
5455
5198
5014
10209
6089
4967
5046
4831
4852
4852
4874
5201
4944
4789
4839
4780
4978
4845
4958
4736
4742
4876
4748
4792
4747
4747
4859
4813
4951
4929
4810
4906
4790
4884
4771
4789
4758
5588
5493
4943
4935
5185
4901
4944
4768
4893
4879
5020
4866
5024
4864
5287
5043
4962
4902
4768
4859
4912
4837
4843
4797
5086
4940
4952
5027
4930
4821
4947
4950
4876
4934
5136
4906
4882
4967
4978
5244
5862
5029
4890
4978
5094
5089
6288
7817
7458
6922
5928
5867
5040
9669
9941
6491
5554
5155
4862
5249
4884
4900
4879
5427
5205
5008
9539
6522
5012
4801
4915
4975
5015
4974
5162
5191
4962
5255
4858
4974
4863
4953
4936
4901
5012
4943
4990
5157
4972
4978
4911
4922
5433
5071
5040
4852
4949
4888
4909
5203
4960
4944
4886
4896
5081
4953
4810
4978
4900
4881
4859
5094
4834
4954
5032
4842
4983
5055
4923
4898
4844
5038
4810
5093
5182
5065
4928
4977
4858
5082
4894
4902
4978
5011
5213
5208
5029
4906
4903
4975
5287
4987
4924
4893
5020
4983
6265
8226
6338
6906
5740
5675
5262
7579
9819
6944
5548
5130
5141
5316
5035
5025
4973
5167
5151
5373
9295
6662
4984
5078
4923
5236
5176
4920
5253
5049
4939
5081
5079
5071
5052
5032
5021
5981
5293
5059
5143
5011
4980
5134
5006
4907
4959
5077
5246
5110
4953
5084
4868
4961
4963
4961
4888
4995
5083
5639
5097
5281
5097
5044
5007
5117
5018
5105
5270
5095
4947
5007
4938
5168
4938
5057
4890
4981
5131
4938
5035
4998
5029
4990
5013
5259
4988
4938
5178
4947
4870
4907
4988
4935
5427
4936
5020
5056
5088
4854
5604
7995
6970
7003
5458
5718
5445
6390
10080
7763
5537
5214
4926
4890
4970
4947
4926
5347
5227
6034
8624
5281
5050
5004
4946
4950
5079
5108
6439
5209
4995
5005
5074
5072
4999
4985
5015
4829
5124
4958
4938
4950
4914
4943
4871
5057
4914
4969
5180
5004
4991
5084
4877
4872
4825
4954
4817
5187
5184
5070
4944
4854
4922
4953
4956
4943
4865
4999
5187
5168
4973
5016
4880
4970
4943
5065
4960
4935
5306
4963
4943
5195
5007
5051
4930
5048
5012
5001
5205
4994
4907
5011
5005
5490
5159
5141
5151
4938
5226
4989
4928
5043
5556
6086
8384
7120
7022
5742
6026
5345
7997
9710
7672
5612
5316
5058
4994
5418
5696
7042
7945
4963
4871
4873
4940
5041
4936
5325
5060
5205
6023
5714
6200
6238
6076
6253
6081
6521
6370
6170
6219
6352
6298
6270
6220
6291
6226
6264
6331
6214
6137
6378
6350
6500
6092
6372
6054
6156
6433
6140
6222
6189
6182
6154
6138
6288
6027
6154
6423
6329
5558
5745
5644
5667
5703
5664
5659
5739
6047
5649
5579
5661
5622
5644
5588
5461
5679
5841
5806
5845
5532
5622
5731
6127
5593
5634
5407
5586
5986
6370
8500
7809
7201
6657
6223
6450
7300
9397
8149
6182
6600
5755
5607
5922
5599
5714
5635
5690
5875
6776
9090
5732
5502
5804
5646
5812
5703
5632
5893
5727
5626
5711
5564
5619
5647
5631
5565
5806
6042
5629
5662
5671
5731
5862
5685
5724
5679
5661
5801
5789
5677
5723
5658
5604
5671
5648
5532
5704
5897
5749
5622
5852
5677
5634
5712
5719
5601
5809
5849
5662
5702
5685
5638
5701
5737
5586
5557
5681
5835
5677
5627
5620
5593
5644
5448
5886
5576
5627
5790
5639
5596
5744
5656
5895
5813
5626
5564
5735
5860
6097
7630
9620
7751
6753
6158
6372
5771
9874
9015
6328
6047
5579
5770
5507
5856
5637
5678
5851
5855
5582
9889
6530
5681
5742
5660
5502
5723
5574
5790
5714
5654
5568
5598
5746
5571
5546
5589
5337
5821
5681
5602
5517
5640
5416
5456
5941
5670
5690
5845
5727
5703
5652
5661
5649
5643
5838
5692
5878
5888
5747
5594
5665
5667
5572
5668
5647
5637
5553
5769
5789
5671
5692
5660
5660
5610
5712
5738
5813
5774
5723
5563
5911
5626
5768
5614
5632
5644
5811
5851
5666
5539
5730
6269
6051
6328
5581
5740
5718
5899
5807
7059
9039
7253
7254
5917
6830
5619
7439
11394
6564
6142
5567
5453
5722
5386
5537
5458
5843
5752
5544
9142
7386
5614
5418
5502
5411
5578
5468
5856
5891
5574
5577
5454
5427
5411
5522
5328
5428
5733
5481
5545
5673
5520
5625
5395
5553
5404
5589
5704
5593
5449
5484
5559
5765
5533
5474
5359
5648
5734
5425
5466
5596
5259
5460
5358
5630
5421
5352
5927
5588
5723
5737
5600
5704
5603
5733
5687
5955
5893
5709
5604
5724
5583
6040
5567
5648
5721
5720
5853
5905
5662
5805
5637
6032
6210
5807
5779
5595
5783
5694
6423
8927
7548
7410
6461
6438
6291
7593
11090
8229
6286
5702
5715
5940
5731
5575
5724
5813
5937
5674
8205
8206
5833
5631
5655
5606
5531
5369
5671
5538
5274
5436
5321
5354
5525
5592
5452
5641
5557
5465
5440
5446
5553
5461
5297
5318
5495
5490
5562
5631
5300
5456
5304
5494
5379
5477
5289
5438
5586
5426
5406
5509
5349
5404
5305
5330
5297
5271
5492
5434
5281
5438
5969
5494
5827
5343
5307
5301
5538
5415
5260
5216
5420
5287
5418
5553
5363
5339
5426
5198
5780
5785
5683
5847
5520
5971
6322
5824
5917
5716
5592
5719
6388
7796
8816
7599
6549
6683
6536
6304
9019
10376
7738
6240
5610
5666
5673
5579
6197
5710
8661
8183
5771
5766
5890
5765
5764
5693
5968
5725
5656
5581
5468
5930
5711
5613
5590
5471
5945
5710
5608
5596
5657
5598
5654
5850
5700
5737
5560
5267
5192
5216
5219
5125
5246
5271
5218
5482
5470
5351
5295
5374
5206
5332
5257
5976
5335
5297
5551
5486
5378
5227
5261
5287
5260
5318
5248
5422
5414
5384
5309
5512
5321
5242
5302
5261
5258
5248
5554
5267
5259
5231
5343
5929
5245
5196
5295
5165
5382
5570
7945
7469
6909
6286
5549
5989
6160
9704
7639
5759
5502
5235
5550
5674
5630
5699
5549
5989
6172
5745
8837
5809
5665
5697
5556
5613
5637
5667
5899
6006
5738
5691
5692
5604
5568
5598
5639
5713
5779
5686
5580
5910
5708
5755
5684
5741
5578
5818
5830
5675
5593
5564
5607
5879
5657
5702
6625
5723
5875
5695
5608
5601
5657
5703
5596
5963
5570
5658
5809
5632
5270
5203
5260
5167
5180
5216
5202
5522
5387
5210
5190
5312
5186
5205
5213
5215
5180
5206
5369
5460
5270
5291
5171
5472
5248
5202
5080
5274
5382
5409
6238
9123
6846
6113
5712
6234
5319
9048
9255
5928
5471
5152
5233
5423
5252
5186
5240
5200
5828
5335
9977
6268
5334
5204
5180
5414
5161
5250
5484
5308
5268
5178
5135
5187
5198
5735
5643
5867
5866
5638
5628
5724
5598
5567
5787
5657
5585
6213
5880
6061
5674
5565
5688
5673
5635
6265
5688
5731
5916
5652
5619
5896
5661
5809
5704
5640
5564
5647
5838
5797
5758
5722
5670
5983
5615
5743
5591
5711
5870
5645
5568
5768
5675
5808
5604
5899
5794
5676
5884
5559
5665
5694
5722
5637
5789
5261
5135
5397
5442
5179
6093
8490
6794
6848
5764
6175
5639
7661
8972
7852
5809
5486
5263
5188
5233
5220
5146
5164
5918
7582
8302
5531
5382
5169
5154
5294
5191
5339
5507
5202
5315
5198
5097
5493
5279
5255
5236
5269
5994
5238
5190
5123
5099
5223
5142
5414
5264
5175
5394
5277
5177
5188
5131
5249
5093
5261
5209
5882
5927
5737
5683
5759
5584
5691
5652
5654
5565
5616
5814
5844
5764
5738
5564
5610
5620
5741
5537
5657
5813
5760
5600
5855
5543
6211
5682
5676
5637
5809
5939
5697
5706
5732
5797
6418
5739
5748
5595
5736
5905
6353
7638
8414
8243
6742
6257
6429
6040
9299
8951
6072
5933
5644
5687
5665
5686
5727
5291
5480
5996
5446
8687
5843
5367
5298
5080
5121
5175
5245
5346
6018
5235
5308
5145
5356
5286
5255
5171
5223
5272
5233
5187
5416
5205
5290
5157
5035
5154
5165
5333
5215
5144
5259
5266
5457
5332
5328
5212
5316
5403
5358
5405
5189
5274
5174
5249
5520
5220
5161
5481
5251
5100
5191
5137
5122
5137
5207
5167
5493
5438
5845
5697
5640
5625
5722
5675
5715
5672
5617
5847
5958
5599
5688
5679
6030
6141
5901
5820
5604
5852
5743
5687
5810
5966
6208
9132
7215
7307
6700
6852
6087
6686
11607
8725
6105
5883
5808
5735
5650
6529
5679
10648
6166
5808
5649
6092
6012
5712
5671
5867
5788
5655
5676
5547
5619
5616
5663
5815
5787
6064
5691
5630
5733
5595
5504
5610
5540
4911
4924
5110
5054
4849
4893
4757
4875
4746
4760
4889
4918
5092
4913
4826
5080
4737
4786
4799
4891
4836
4839
5053
4774
4975
4859
4816
5063
4964
5308
4991
5025
5094
5008
4971
4860
4870
4879
4890
5145
4782
4847
5258
4814
4983
4910
4784
5006
5251
4783
5031
5442
5139
5143
6425
7742
6861
6094
5580
5611
4963
8765
9744
6274
5393
5788
4650
4941
4829
4874
4836
4867
5625
4904
8293
6780
4834
4992
4887
4969
4825
4988
5347
5149
4891
5026
4864
5204
4931
5021
4880
4973
5183
4971
5011
4961
5004
4956
4990
5072
4863
4914
5110
4946
4827
4844
4890
4872
4850
4888
4845
5008
5116
4972
4794
4844
4850
4974
4837
5051
4894
4932
5099
5184
4904
5229
5133
4951
4926
4953
4985
4910
5183
5101
4997
5232
4886
4971
5008
4899
4969
4988
5142
4968
4821
5045
4979
5441
6217
4893
4936
5026
5446
5106
5775
8280
7557
6560
5969
5591
5475
6524
9144
7264
5372
5702
4861
4925
4987
5034
4884
4951
5697
6852
8334
5144
4894
5213
4849
5010
5034
4905
5136
5001
5040
4997
4894
4905
4920
5133
5078
5091
5118
5036
4926
4852
5025
4970
4948
4992
4995
5220
5471
5004
4923
5098
4957
5077
4902
4912
5063
4884
5198
5258
5173
5108
5183
5117
4950
4926
4918
5091
5261
5018
5023
5152
5106
4916
4985
4933
4866
4903
5155
4878
4868
5031
4936
5292
4982
5011
5046
4979
5183
4970
5029
5431
5123
6226
4991
5464
5134
5042
5172
5404
7140
7789
7015
6113
5280
5595
5761
9471
7544
5134
5039
5051
4874
4865
4957
4875
4887
4965
5623
5461
8389
5291
5012
4986
4954
4882
5078
4848
5192
4873
4910
5145
4840
4824
4928
4847
5005
4919
5169
4999
4862
5024
4948
5173
4883
4922
4950
4919
4947
4925
4793
4941
4791
4906
4841
5240
4852
4836
4993
4874
4896
4905
4966
5071
4903
4918
4877
5132
5135
4906
4969
4971
4954
4907
4852
5268
4914
4990
5207
5208
5134
4991
4919
4977
5903
4989
5071
4930
5053
5026
5026
5181
4955
5283
5172
5017
4874
5073
5169
5148
6311
8138
6874
6533
5669
5396
5129
8432
10274
5947
5412
4982
4906
4941
5006
5247
5007
4965
5378
4995
8959
6635
4968
5256
5204
5162
5167
5185
5410
5088
5041
4942
4995
4953
4868
5097
5105
4991
5238
5289
5046
5077
5012
5053
5009
5055
5016
5132
5252
5020
4987
5212
5126
4954
4904
4988
5016
4992
5140
5137
5040
5075
4980
5276
5096
4995
5025
4929
5206
5019
4866
4969
4945
4965
4973
5788
4972
4949
5103
5214
4969
5040
4988
4977
5010
4978
5024
5168
5206
4995
5077
4963
5052
5282
5300
5238
5380
5374
5280
5384
5121
5040
5197
5315
8299
7762
7458
6106
6099
5902
5996
9246
9661
6148
5579
5181
5115
4918
5355
5365
9826
6327
5049
5523
5088
5225
5011
5136
5174
4976
5055
5141
5100
5158
4973
5337
5185
5137
5244
5088
5037
5075
4927
5276
5056
5030
4999
5178
5242
4897
4995
4929
4947
5010
5068
4962
4858
4935
5030
5175
4916
5016
4957
5036
5030
5055
5480
4961
5145
4944
4942
5315
4922
5041
4897
4912
4807
4898
5085
4831
4903
4796
4778
5266
4948
5001
4829
4829
4953
4769
4717
4720
4723
4909
5456
5137
5070
4967
5160
5126
6026
7826
6225
7079
6053
5461
5162
7939
9440
7361
5950
5071
4985
4961
4960
5098
5052
4984
5182
5608
7268
7940
5035
5162
4854
4976
5058
4897
5031
4873
4822
5144
4978
4830
4778
4959
4784
4886
5060
4835
4766
4876
4760
5049
4836
4832
4920
4853
5069
4824
4852
4803
4858
4919
4815
4979
4825
5550
5105
5000
4876
4876
4770
4817
4899
4964
4999
5258
5171
5117
4908
4791
4814
4875
4850
4891
4830
4938
5109
5188
4908
4956
4864
4894
5007
4993
4967
4937
5088
4998
4856
5027
5325
5197
5059
5134
4907
4872
5130
5466
7999
6689
7238
5959
5233
5763
6660
9134
7937
5615
5281
5044
4947
5010
4901
5197
4921
4966
5125
5869
8583
5107
4933
4854
5009
5081
4898
5127
5156
4997
5035
4878
4928
4866
4874
4986
4937
5036
4997
5127
4939
4995
4944
5054
4891
4942
4925
4948
5790
5154
5023
5208
4891
5015
4849
4909
5022
4852
5293
5005
4950
4887
4964
5166
5007
4902
4955
4909
5160
5043
4974
4899
4977
5043
4998
5276
4926
5000
5185
5029
4843
4978
4894
4943
4962
5098
4980
5267
5318
5074
5169
4920
5014
5461
5282
5038
4940
4926
5345
5669
6838
8029
7737
6061
5439
5890
5375
8857
9480
5650
5659
5328
5040
5209
5085
5066
5007
5053
5236
5397
9666
6237
5109
5313
5001
4990
5093
5095
5281
4993
4897
5057
5130
5430
4988
5144
4929
5058
5185
5596
5009
5016
5043
5637
5049
5044
5024
5277
5243
5004
4977
5004
4830
4820
4903
4956
5007
4972
5105
5283
4936
5104
4942
5074
4947
5096
4951
5026
5171
4902
5076
5214
4959
4923
4903
4972
4933
4982
5216
5068
5023
5119
4951
5282
4943
4982
4950
5049
5188
4990
4916
4959
4844
5147
5230
5300
5007
4907
5165
4959
6402
7859
6888
6918
6382
5554
5209
7535
9407
7314
5524
5243
4904
5280
5049
4911
4938
4950
5209
5631
7566
7217
5017
4947
5029
5088
5182
5081
5244
5107
5938
5034
5023
4955
4945
4972
4851
5201
5206
5083
4938
4917
4961
5071
4994
4858
5066
5070
5205
5285
5066
5119
4928
5024
4960
4972
4872
4912
5131
5180
4873
5125
4963
4938
5016
4930
4962
5032
5137
5057
4999
5019
4950
5248
5058
5056
5068
5087
5321
5183
4997
4951
4991
4917
5080
5252
5013
4989
5223
5012
5049
5056
5003
5429
5407
4975
5414
5522
5299
5145
5120
4970
5074
5512
6634
8527
7342
6243
6164
5649
5548
7978
9087
7178
5373
5237
5039
5138
5589
7149
8483
5808
4964
4701
4953
4858
4993
5187
5308
4901
5759
5629
6264
6478
6118
6171
6069
6357
6531
6317
6200
6137
6293
6311
6209
6588
6378
6219
6277
6217
6142
6204
6252
6282
6086
6308
6163
6492
6550
6297
6146
6243
6231
6065
6128
6214
6133
6327
6501
6452
5740
5603
5870
5677
5686
5761
5710
5653
6040
5651
5705
5867
5643
5714
5751
5580
5615
5622
5671
5608
5561
5630
5645
6225
5519
5539
5509
5744
5766
6184
8279
7793
7659
6684
5911
6376
7336
9211
8995
6196
7075
5893
6012
6062
5576
5699
5641
5921
5897
6688
7640
5719
5561
5568
5667
5615
5579
5729
6070
5886
5742
5660
5760
5731
5598
5602
5553
5622
5785
5687
5652
5923
5667
5775
5644
5756
5556
5636
5871
5515
5567
5690
5520
5843
5658
5703
5441
5646
5861
5653
5559
5629
5612
5648
5582
5958
5576
5732
5950
5563
5659
5693
5574
5618
5639
5628
5587
5913
5700
5643
5560
5556
5449
5524
5553
5397
5578
5486
5711
5773
5603
5503
5932
6051
6096
5426
5581
5524
5736
6058
7361
9287
8075
8008
6222
6271
5724
7859
10329
6487
6021
5772
5544
5825
5485
5717
5514
5676
5868
6070
9349
6511
5645
5662
5618
5755
5631
5553
5710
5584
5500
5687
5789
5623
5515
5589
5545
5627
5728
5531
5504
5607
5543
5473
5284
5639
5664
5525
5894
5898
5620
5864
5791
5739
5692
5638
5581
5631
5879
5756
5532
5955
5618
5733
5643
5519
5585
5564
5775
5564
5660
5682
5725
5878
5651
5495
5555
5776
5748
5596
5662
5562
5530
5562
5646
5882
5616
5665
5866
5622
5594
5710
5672
5710
6570
5806
5677
5787
5875
5617
6272
8231
7413
7513
6444
5894
6149
6068
9757
8581
5933
5736
5527
5595
5392
5651
5526
5552
5784
5777
8951
5694
5570
5451
5599
5462
5470
5526
5738
5564
5336
5581
5404
5725
5544
5559
5333
5600
5685
5491
5453
5382
5417
5541
5486
5707
5536
5378
5671
5531
5479
5469
5591
5578
5480
5412
5375
5652
5660
5555
5495
5461
5422
5438
5475
5341
5397
5380
5926
5875
5732
5766
5684
5656
5659
5672
5695
5593
5871
5653
5697
5836
5653
5635
5667
6181
5835
5696
5769
5770
5697
5592
5817
6572
5974
5885
5658
5756
5866
5883
6435
8341
8379
6734
6541
6503
6060
7721
10506
6740
6070
5712
5633
5623
5689
5655
5778
5980
5990
5988
10366
7206
5709
5794
5588
5385
5384
5449
5551
5743
5291
5438
5340
5552
5433
5441
5328
5481
5484
5541
5440
5737
5449
5564
5286
5382
5361
5437
5680
5347
5302
5416
5322
5781
5514
5593
5361
5446
5561
5444
5313
5395
5449
5423
5351
5591
5360
5359
5491
5460
5312
5426
5286
5390
5415
5266
5931
5572
5649
5434
5405
5211
5345
5309
5316
5357
5168
5309
5516
5469
5679
5834
5564
5740
5943
5798
5776
5988
5920
5810
5684
6010
5713
6266
6632
8525
7102
7993
7064
6017
6250
6833
9450
10999
6387
6207
5728
5708
5906
5733
9876
6859
5666
5553
5687
5849
5736
5608
5954
5733
5794
5664
5853
5677
5662
5723
5689
5806
5913
5736
5713
5636
5621
5616
5543
5586
5698
5665
5373
5461
5154
5232
5137
5154
5324
5279
5240
5259
5415
5237
5300
5550
5238
5340
5310
5241
5260
5824
5487
5228
5384
5407
5267
5551
5238
5323
5386
5267
5502
5271
5359
5238
5349
5228
5224
5522
5371
5371
5381
5331
5349
5157
5195
5566
5503
5265
5247
5509
5513
5351
6490
8440
6419
6901
5995
5637
5946
6783
9536
8101
5703
5375
5779
5628
5610
5813
5683
5674
5963
6726
9433
6204
5687
5692
5645
5624
5927
5735
5863
5637
5697
5554
5585
5844
5700
5680
5659
5538
5928
5652
5689
5558
5576
5638
5679
5950
5682
5753
5919
5754
5807
5643
5599
5637
5679
5782
5580
5956
6863
5709
5650
5782
5596
5646
5656
5671
5665
5682
5809
6012
5423
5249
5302
5184
5118
5207
5112
5192
5372
5284
5182
5494
5350
5197
5119
5338
5150
5695
5521
5207
5270
5144
5266
5782
5447
5283
5241
5292
5426
5510
6479
8217
7353
7546
5743
6012
5746
7713
9590
6808
6080
5578
5237
5288
5186
5190
5170
5460
5567
5350
8757
7357
5247
5282
5161
5155
5196
5256
5565
5527
5229
5287
5125
5161
5208
5788
5657
5757
5950
5712
5645
5933
5667
5683
5556
5712
5703
5680
5902
5745
6134
5667
5669
6017
5628
5659
5612
5679
5766
5629
5684
5728
5672
5759
5598
5850
5563
5714
5981
5705
5707
5717
5639
5665
5617
5625
5599
5940
6022
5702
5652
5626
5619
5702
5729
5654
5701
5679
5798
5978
5663
5786
5583
5550
5618
5286
5299
5133
5471
5326
6128
8648
8177
6889
6008
5893
5978
5821
9792
7811
5718
5703
5270
5473
5193
5151
5259
5089
5586
5234
8438
5318
5260
5298
5100
5468
5331
5307
5624
5242
5266
5220
5182
5188
5113
5296
5313
5498
5470
5187
5285
5861
5276
5318
5197
5214
5175
5198
5446
5497
5259
5430
5207
5218
5285
5271
5217
5800
5856
5617
5663
5826
5749
5727
5656
5675
5610
6214
6031
5618
5718
5683
5735
6054
5742
5799
5643
5664
5804
5656
5699
5608
5702
5712
5680
5990
5681
5709
5801
5655
5660
5741
5741
5885
5801
5762
5637
5883
5927
6022
6848
8704
8104
6885
6403
6385
5805
9774
9707
6290
5882
5877
5532
5810
5725
5950
5426
5252
5479
5313
8995
5618
5183
5246
5212
5230
5207
5634
5885
5255
5395
5244
5761
5311
5262
5307
5143
5241
5413
5478
5288
5161
5244
5243
5205
5253
5224
5256
5385
5175
5150
5425
5251
5249
5129
5200
5167
5180
5382
5272
5310
5269
5219
5537
5236
5193
5170
5196
5380
5328
5150
5300
5224
5204
5168
5430
5120
5270
5412
5751
5808
5637
5606
5615
5637
5631
5568
5936
5837
5719
5674
5628
5601
5761
5850
5747
5885
5681
5952
5885
5673
5749
6351
6584
8426
7264
7409
6488
6769
6082
7608
10255
8008
5950
6135
5740
5651
5758
6211
6311
9506
5784
5663
6699
6153
5730
5733
5652
5928
5728
5781
5666
5591
5710
5558
5961
5770
5656
5908
5616
5593
5624
5610
5451
5573
5559
4940
5183
5046
4846
4818
4925
4853
4889
4889
4808
4895
4971
5141
5119
4913
4923
4889
4835
4805
4847
4832
4867
4970
4830
4886
5142
4918
4811
4896
5140
4931
4986
5129
4984
4905
4895
4871
5035
4931
4880
4864
4822
5061
4829
4896
4864
4887
5119
5100
5215
5153
5015
5201
5290
6778
7885
6801
5689
5739
5882
5469
10797
8394
5485
5356
4896
4883
4892
5514
4870
4881
4868
5244
5255
8585
5121
4927
4907
4989
4869
4993
4874
5139
5098
4999
5116
4981
5019
5046
5023
5001
4925
5103
5173
4947
5193
5009
5075
5112
4970
4897
4897
5025
4908
4964
4927
4897
4838
4872
5127
4911
4874
5054
4919
4926
4969
4834
4925
4752
4910
4777
5356
5106
5087
4968
5212
5000
5190
4936
4933
4928
4943
5324
5300
5058
5118
5022
5061
5019
5013
4916
4953
5165
4944
4856
5305
4902
5203
5646
5287
5026
5013
5391
5200
6379
8481
7265
6211
5630
6183
5313
7543
9536
6188
5549
4989
4944
5041
5035
5332
4925
5161
5306
5069
9479
6923
5057
5044
4879
5146
4920
5201
5180
5054
5035
5032
4891
5015
5081
5096
4898
4997
5163
5236
4961
5073
5012
5124
5026
5035
4979
5212
5285
5090
4983
5254
5009
5012
4870
5051
4981
5038
5088
5207
5046
5032
5302
5157
5062
5005
4932
5000
5197
5099
4988
4975
5033
4959
5029
5215
5068
4821
5157
5026
5039
5077
4979
5236
5032
4971
4983
5155
5289
5048
4970
5089
4994
5443
5898
5201
5670
5064
5251
5276
5835
7785
7046
7472
5787
5669
5309
6729
9141
7144
5398
5418
4926
4839
4956
4909
4990
5280
5263
6315
8139
5604
5059
5047
4942
4968
4837
5006
5133
5135
4971
5025
4893
4902
4931
5059
5055
4914
5260
5080
4893
5162
4958
5060
4927
4823
4956
4843
5037
4899
5013
4917
4923
5188
4999
4969
4930
4925
5088
5065
4911
4911
5057
5011
5020
5130
4925
4985
5291
4918
4967
4918
4987
4996
4993
5046
4985
5341
5425
5112
4985
5021
4990
4996
4880
4918
4899
5513
5141
5293
5109
5015
5142
5335
5012
5005
5025
4939
5222
5711
7042
8142
7398
5758
5442
5835
5175
10309
8425
5714
5036
5047
4957
5276
4997
5006
4961
4982
5185
4952
8896
5797
4942
5137
5197
5267
5049
5018
5506
5267
4972
5096
5048
5087
4860
4890
5152
5205
5108
5118
5050
5127
5031
5086
5057
5081
5018
5093
5142
5448
5008
5058
5059
5059
4995
5051
5014
5224
5346
5209
5263
5335
5130
5216
5148
5089
4959
5012
5247
5018
4945
4943
4934
5236
5106
5079
5077
5098
5942
5132
4984
4980
5057
5077
5043
5415
5138
5084
5365
5063
5038
5235
5147
5338
5816
5391
5331
5335
5493
5100
5012
5141
6024
5942
7720
7731
7159
5738
6049
6060
6229
10459
8220
5599
5400
5232
5171
5189
5666
5194
8903
6242
5204
5036
5003
5026
5039
5096
5372
5062
4967
5061
5148
5305
5119
5067
5191
5110
5323
5053
4976
5103
5055
4863
4965
5267
4953
5084
5221
4945
4956
5024
5042
5087
5066
4947
4924
5165
5222
5099
5005
5024
5082
5020
4990
4905
4973
5057
5228
5671
4969
5016
5060
4953
4919
5077
4778
4990
5182
4906
4735
5088
4780
4947
4930
4836
4896
4739
5137
4829
4864
4791
4789
5314
5176
4950
5027
4959
5236
5147
5771
8137
6496
7016
5543
6072
5529
7263
10322
6391
5314
5178
5112
5167
4983
4938
4924
5082
5447
5353
9686
6996
5107
5035
4986
4877
5088
5205
5170
5250
4986
4914
4961
4944
4899
4990
5032
4917
5141
5042
4892
5145
5064
4975
5011
4938
4876
5020
5211
4890
4864
4922
4824
5158
4989
5114
5056
4924
5198
5163
5594
4959
5008
4978
4887
5189
5043
5082
5171
5011
4872
5055
4919
4912
4973
4894
4867
4977
5162
5036
5108
5089
4999
5023
5028
5015
4913
5110
5256
5243
5047
4986
4999
5289
5505
5144
5161
4890
5215
5015
5352
8198
7179
6910
5671
5741
5854
6961
8701
7428
5550
5464
4975
5201
4981
4936
4904
4997
5303
6820
8279
5821
4851
5153
4931
5151
4965
5009
5185
4947
4954
5040
4862
5005
4979
5035
4937
5072
5326
5086
4959
4976
4878
5154
4946
5007
4906
5659
5161
5165
4971
5469
4989
4956
4866
5030
5053
5007
5171
5064
4963
5189
4986
4963
4911
5011
4967
4940
5051
5006
4918
5081
4963
5164
5037
5021
4892
5059
5186
4999
4899
4966
4931
5030
5009
5243
5054
4922
5335
5167
5053
4998
5234
5360
5034
5003
4978
5201
5171
5248
7203
8155
7664
5817
5835
5422
5294
11305
8887
6176
5591
5255
5089
5012
5122
5135
5005
5141
5297
5132
8292
6437
5106
5050
5081
4942
5099
5046
5358
5040
4902
4959
5074
5227
5095
5064
4968
5107
5202
5060
5046
5028
5511
5010
4960
5264
5079
4973
5203
4972
4912
5074
5019
4962
5068
4966
4856
5114
5176
4933
4892
4957
4989
5027
4996
5060
5132
4954
5228
5331
5025
4976
4875
5011
4944
4924
5045
4959
5167
5055
5092
5078
5005
5016
4997
4906
5044
4998
5108
4921
4943
5537
5009
5489
5379
4992
4950
4903
5183
4923
6689
7556
7135
7305
5552
6127
5264
7251
10170
7076
5619
5232
4985
5114
4926
5050
4898
5316
5155
4972
7339
7718
5023
5127
4991
5050
5271
5347
5685
5315
5254
5089
4985
5829
5065
5022
4949
5061
5246
5012
5019
5235
4990
5018
4963
5057
4966
5098
5222
5070
4885
5162
4945
5166
4879
4963
4977
5054
5120
5013
4879
5021
5118
5023
4897
5290
4939
5207
5113
5043
4903
5046
4894
5128
5017
5112
5010
5211
5188
5126
5040
4978
5017
5050
5023
5164
4992
5121
5264
5292
4997
5211
4934
5206
5392
5095
5245
5138
5221
5030
4981
5362
5405
5488
7423
8364
7904
5946
6102
5698
5391
8274
10111
6119
5462
5296
5052
5061
5832
5426
8745
6670
5046
4829
5436
5134
4906
5158
5265
5024
5848
5719
6415
6321
6103
6198
6032
6672
6625
6275
6253
6085
6185
6293
6420
6374
6291
6156
6337
6416
6173
6266
6341
6429
6198
6362
6225
6218
6519
6176
6264
6451
6254
5989
6195
6186
6158
6155
6542
6208
5652
5641
5679
5937
5755
5624
5787
5578
5945
5633
5709
5581
5611
5606
5580
5701
5600
5716
5731
5626
5615
5453
5537
6031
6098
5620
5520
5848
5922
5621
6892
8510
7764
7436
6448
6176
5963
7069
9943
8955
6281
6019
5515
5752
5642
6364
5572
5552
5975
7726
8118
6443
5647
5683
5666
5651
5659
5657
5999
5743
5696
5653
5628
5846
5688
5608
5660
5663
5898
5841
5634
5803
5704
5630
5589
5858
5598
5694
5968
5656
5784
5735
5576
5523
5684
5592
5503
5848
5972
5712
5563
5629
5615
5718
5619
5737
5629
5649
5840
5792
5749
5689
5687
5743
5757
5588
5633
5657
5819
5696
5554
5887
5616
5747
5595
5703
5599
5566
5839
5614
5568
5657
5750
6188
5725
5580
5608
5527
5817
6938
9069
8298
7381
6943
6102
6376
6679
9510
8686
5927
6025
5716
5432
5434
5476
5729
5653
5848
5792
5720
8704
5653
6087
5854
5552
5547
5822
5674
5818
5915
5707
5618
5389
5635
5597
5585
5374
5392
5790
5710
5599
5701
5503
5574
5314
5693
5710
5714
5817
5725
5606
5757
5564
5901
5628
5771
5529
5801
5821
5767
5573
5758
5618
5563
5601
5814
5582
5614
5745
5569
5674
5705
5708
5611
5647
5585
5661
5929
5813
5724
5558
5593
5673
5519
5706
5693
5612
5600
7051
5862
5634
5705
6034
5929
5765
5700
5704
6090
5948
6048
7478
8925
7267
7041
5979
6444
5995
9196
10335
5914
5855
5621
5470
5842
5468
5534
5600
5476
5666
5569
9607
7146
5680
5484
5469
5602
5469
5496
5888
5542
5367
5558
5453
5373
5500
5444
5338
5634
5712
5674
5484
5385
5458
5642
5320
5389
5516
5360
5677
5758
5514
5514
5462
5516
5423
5443
5436
5410
5713
5534
5506
5637
5379
5461
5456
5302
5479
5365
5914
5636
5814
5739
5683
5943
5626
5677
5708
5584
5944
5694
5695
5579
5522
5670
5683
5928
5710
5702
6332
5809
5669
5770
5627
5969
6027
5790
5650
5869
5968
5563
6001
8518
7391
7748
6541
6252
6140
7406
10143
8267
6029
5986
5676
5607
5539
5664
5549
5637
5741
6646
8824
6083
6121
5753
5638
5367
5348
5433
5493
5410
5240
5307
5253
5666
5446
5369
5353
5369
5519
5306
5459
5370
5340
5395
5293
5551
5472
5446
5599
5308
5285
5306
5255
5335
5393
5460
5297
5688
5532
5533
5392
5423
5330
5375
5291
5254
5386
5238
5448
5615
5254
5414
5219
5318
5269
5282
5315
5268
5509
6206
5347
5508
5295
5407
5438
5360
5226
5439
5390
5279
5744
5810
5658
6410
5636
6137
5966
5640
5815
5719
5668
5703
6216
7034
8791
8032
6977
6304
6845
5974
8845
10103
7557
6062
5717
5631
5880
5631
6090
5792
8429
8393
6283
5890
5635
5598
5772
5634
6139
5595
5709
5608
5694
5713
5765
5810
5652
5597
6071
5753
5639
5791
5606
5707
5578
5668
5618
5879
5487
5283
5151
5146
5104
5272
5344
5252
5208
5278
5378
5438
5289
5287
5137
5296
5167
5904
5299
5257
5562
5176
5722
5616
5250
5306
5259
5294
5359
5289
5519
5460
5285
5187
5256
5519
5295
5302
5225
5353
5370
5272
5278
5177
5304
5407
5091
5335
5215
5179
5331
5554
7511
8000
7118
6256
5730
6049
5842
10627
8510
5587
5393
5288
5805
5902
5849
5685
5619
5625
5870
5972
9417
5959
5989
5743
5538
5675
5842
5719
5944
5659
5695
5829
5634
5565
5620
5658
5624
5689
5778
5618
5631
5625
5691
6015
5644
5642
5550
5706
5877
5609
5706
5653
5594
5613
5538
5915
5666
5691
5957
5610
5635
6198
5722
5755
5726
5750
5713
5844
5934
5689
5219
5309
5167
5155
5237
5248
5174
5179
5268
5437
5236
5164
5104
5237
5168
5254
5180
5292
5470
5229
5227
5454
5218
5429
5765
5384
5305
5208
5425
5404
6266
8166
7442
6571
5816
5793
5346
8654
9841
6381
5823
5344
5117
5190
5139
5486
5156
5225
5361
5308
9797
6370
5775
5221
5126
5179
5142
5447
5455
5226
5080
5206
5077
5160
5124
5943
5528
5715
5865
5905
5803
5557
5821
5759
5667
5728
5583
5658
5837
5621
5672
5858
6100
5759
5590
5657
5691
5613
5971
5778
5666
5629
5633
5924
5678
5730
5659
5834
5971
5761
5662
5612
5678
5767
5631
6006
5628
5709
5872
5659
5719
5585
5613
5753
5558
5606
5738
5853
6002
5684
5666
5765
5602
5300
5989
5310
5242
5298
5386
5469
6086
7628
6802
7336
5993
6319
5546
7612
9216
7701
6036
5281
5220
5215
5188
5578
5119
5421
5516
5289
7067
7456
6076
5254
5205
5165
5196
5230
5540
5521
5327
5330
5165
5234
5206
5351
5190
5084
5390
5118
5205
5392
5107
5762
5243
5183
5180
5202
5438
5175
5251
5859
5401
5522
5252
5291
5147
5693
5882
5772
5645
5696
5717
5739
5633
5859
5663
5767
5874
5677
5687
5658
5681
5672
5635
5676
5600
5889
5909
5742
5611
5598
5630
5756
5569
5663
5626
5771
5838
5889
5696
5663
5841
6064
5810
5752
5645
5818
5912
6243
8587
7806
7883
6536
6000
6651
7429
10322
8886
6755
5953
5693
5666
5949
5709
5786
5369
5210
5339
6575
8116
5864
5460
5263
5161
5579
5446
5145
5539
5193
5244
5198
5360
5320
5717
5311
5144
5502
5328
5281
5111
5293
5047
5316
5155
5229
5037
5304
5369
5466
5054
5189
5242
5233
5185
5146
5125
5173
5324
5220
5049
5467
5163
5193
5089
5163
5143
5187
5294
5282
5129
5169
5069
5353
5188
5156
5078
5366
5436
5349
5750
5713
5602
5677
5578
5924
5646
5634
5666
5691
5537
5682
5833
5794
5690
6016
5740
5916
5948
5678
5675
5642
6243
6774
8851
8030
6999
6126
6391
6133
8487
9956
7574
5993
5841
5932
5517
5734
6356
5667
8992
8278
5727
6179
6117
6334
6334
5634
5870
5675
5702
5573
5541
5893
5698
5598
5668
5588
5844
5592
5574
5604
5553
5444
5652
5674
4954
5067
5148
4829
4861
4949
4894
4759
4811
4766
4911
5207
5083
4927
4798
4824
4850
4816
4837
4937
4794
4872
4881
5126
4974
4952
4801
4878
4720
4981
5141
4863
5098
4822
4856
5146
4791
4717
4763
4940
4729
4846
5160
4828
4806
5022
4886
5676
5159
4873
5189
4992
5234
4956
5148
7779
7040
7295
5972
5845
5569
5220
9709
8091
5720
5116
4932
4876
4931
4849
5439
5184
5161
4931
8298
5012
4820
5305
4817
4723
4859
4903
5093
5375
5072
5000
5020
5095
5065
5134
4922
5031
5167
5093
5023
5199
4930
5028
4956
4962
4857
4897
4973
4888
4812
4998
4776
5084
4907
4867
4808
4901
5120
5061
4791
4882
4908
4926
4767
5065
4808
4916
5077
4864
4992
5146
5033
5146
4913
4980
4998
5100
5260
5018
5048
5079
5042
5074
5004
4949
4876
5017
5091
5218
4908
5069
4992
5499
5281
5228
4987
5017
5262
5415
7896
8138
7154
6342
5426
5675
5347
11545
7896
5735
5686
4995
4996
5071
5089
5079
4937
5076
5314
5265
8880
5348
4940
5358
4804
5022
4926
5140
5179
4977
5058
5163
5019
5015
5057
4990
5046
4998
5170
4893
4954
4998
5108
5327
5019
4937
5015
5129
5184
4988
4984
5232
5067
5079
5064
5277
5010
4984
5044
5110
5016
5110
5170
4991
4970
4936
4955
5210
5233
5072
4905
4878
4997
4905
4950
4967
5030
5025
5127
5143
4984
4985
5005
4987
4908
4848
5066
5035
5193
5030
4984
5368
5040
5737
5470
5206
5106
5022
5959
5314
6665
7547
7684
6708
5927
5765
5238
7981
10879
6376
5610
5058
4924
5175
5053
5241
5120
4971
5197
5126
9746
6279
4897
5404
5010
4902
4922
5097
5092
5061
5025
4953
4898
4879
5008
4951
4927
4937
5174
5299
5033
5131
5006
4969
4944
5027
4858
4904
5037
4982
5027
5146
5024
4946
4843
4953
4945
5004
5180
5035
5055
4934
4947
8971
5301
4876
4860
4975
5246
4966
4858
4909
4983
5007
4865
5286
5076
5127
5331
5009
5063
4850
4851
5706
4945
4988
4944
5238
5167
5656
4885
5105
4982
5103
5087
5275
5010
5020
5167
4897
5397
6870
7815
7111
5959
5462
5632
5762
10141
7512
5342
5203
4897
5085
4948
4889
5128
5005
5268
5187
8937
5323
4972
5558
4939
5030
5046
5103
5425
5067
4935
5231
5070
4930
4946
4942
5010
5051
5220
4997
5096
5039
4948
5178
5007
5111
5025
4989
5309
5029
4988
4911
4990
4979
4929
5197
4965
5048
5148
4906
5016
5015
5026
5079
5028
5017
4857
5239
5168
4961
4990
4950
5059
5030
5018
4996
4958
5003
5156
5359
6110
5158
5000
5140
5047
5170
5151
5132
5264
5112
5037
5386
5178
5327
5375
5177
5296
5262
5315
5033
5081
5028
5443
6670
7456
6707
6929
5994
6061
5494
7506
9676
7568
5569
5343
5430
5093
5151
5421
5978
8470
5186
5171
5328
5212
5019
5029
5237
5440
5171
5131
5258
5212
5171
5066
5071
5173
5074
5330
5352
5070
5119
5095
5183
5082
5199
5017
4972
5339
5119
5027
5275
5043
5020
5130
5044
4975
5051
5183
5067
5160
5043
5072
5247
4991
5119
5062
4949
5268
5095
5019
5703
4980
5091
5144
5296
4853
4981
5176
5048
4883
4954
4984
4953
5079
5078
4859
5055
5016
4864
4783
4819
4837
5252
5131
4933
5204
5099
5335
5671
7277
8132
7592
5894
5727
5704
5216
10158
10165
5771
5361
5344
5004
5086
4979
5068
5080
5065
5434
5199
10337
6276
5057
5654
4826
4957
4992
4921
5243
4881
4880
4831
4932
4897
4857
5125
4882
4861
5184
4896
4858
4919
4829
4944
4838
4880
4966
5048
5071
4891
4904
4918
4816
4939
4796
4891
4802
4956
5239
5070
4843
4877
5704
5096
4903
5033
5055
5081
5272
5066
4951
5162
4927
4849
4860
4918
4792
4906
5101
5257
5000
5033
4977
5204
5031
5045
4923
5060
5172
5013
5009
4990
5001
5128
5742
5145
4945
5052
5240
5412
6347
7856
7806
6575
5905
5964
5472
7934
11158
6535
5585
5156
5076
4991
5142
5006
5025
5019
5385
5192
9083
7114
5191
5470
4913
5000
4956
4973
5320
5021
4918
5117
4812
5029
4900
5053
4969
4967
5344
4993
5044
5149
4912
5262
4969
4956
5044
5080
5283
5086
4985
5021
4928
5796
4948
5249
4903
4950
5128
5039
4935
5000
4982
4925
4852
4899
4953
5127
5205
4942
4898
4924
4909
4905
4971
4985
4836
4851
5179
5072
4904
4840
4925
5029
4847
4984
4919
4969
5276
5018
5065
5117
4956
5188
5525
4967
4948
4866
5203
5055
5353
7426
7060
6856
5747
5625
5307
7108
9086
7307
5808
5088
5103
5095
4972
5311
5067
4946
5222
6880
7788
5146
5005
5690
4931
5350
5357
5149
5397
5065
4924
5077
5064
4981
4979
5020
4902
5028
5116
5177
5040
4866
5018
5011
5730
5099
5036
4951
5180
4998
4884
5266
5106
4899
5060
5007
4978
4944
5111
4942
5037
4969
5027
5170
5017
5094
4995
4970
5236
5075
4978
5064
4947
4964
4972
5615
5112
5013
5181
5414
5039
5182
5079
5018
5037
5052
4962
5259
5155
5065
4905
4964
5074
5431
4908
5030
4967
5065
5109
5639
7726
6814
6942
6104
5552
5804
6839
9204
8334
5350
5139
5360
4978
5057
5069
5186
4923
5013
5117
6480
8203
5139
4962
5663
5066
4994
5058
5159
5254
5219
5101
5073
5135
5014
4997
5740
5083
5088
5105
5087
5022
5009
4966
4932
4951
4943
4930
5306
5186
5036
4959
5076
5000
4961
4882
4930
4910
4971
5184
5146
4935
5039
4982
5070
4946
4923
4923
4891
5188
5068
5027
5198
5060
5056
4990
5017
4944
5067
5172
4991
4974
4991
4944
5273
5024
5033
4956
5091
5221
5024
4928
5133
5322
5382
5264
5394
5289
5026
5217
5026
4994
4973
5609
6380
8005
6452
7553
6342
5781
5820
6074
10070
7769
5593
5439
5126
4989
5012
5763
5588
8200
5187
5037
5033
5372
4947
5514
5009
5300
5042
5887
6014
6249
6454
6045
6396
6207
6448
6719
6422
6311
6263
6399
6542
6420
6335
6397
6308
6460
6342
6237
6500
6367
6381
6230
6651
6331
6223
6575
6298
6373
6269
6352
6239
6259
6281
6092
6590
6641
6284
5936
5834
5778
5808
5754
5828
5909
5742
5956
5923
5828
5748
5814
5798
5677
5529
5750
5717
5842
5622
5780
5806
5637
6084
5863
5781
5612
5691
5996
5939
8182
9054
8172
6942
6252
6298
6171
10069
9375
6571
6065
5824
5602
5819
5676
5930
5764
6274
5959
5856
9033
5804
5731
5781
6106
5836
5866
6037
6135
5756
5744
5787
5923
5712
5802
5890
5676
5754
5944
6001
5794
5722
5775
5869
5749
5818
5608
5752
5917
5571
5684
5973
5694
5664
5838
5729
5618
5607
5955
5705
5803
5742
5803
6033
5776
5792
5704
5745
5935
5740
5772
5830
5809
5742
5698
5931
5669
5754
5975
5771
5932
5652
5712
5712
5669
5585
5781
5821
5964
5721
5742
5860
5680
6218
5992
5697
5722
5672
5952
6061
7294
9653
7583
6936
6024
5925
5818
9746
12017
6544
5977
6052
5532
5559
5622
5839
5702
5725
5856
5627
10304
6841
5689
5944
6236
5696
5703
5586
5993
5769
5638
5717
5832
5743
5672
5961
5665
5544
5863
5687
5742
5662
5624
5690
5490
5816
5784
6014
6166
5777
5728
5827
5715
5772
5756
5743
5643
5693
5900
6031
5672
5723
5761
5835
5752
5621
5754
5764
5789
5801
5739
6038
5865
5789
5696
5712
5816
5765
5691
5860
5772
5807
5568
6063
5852
5778
5687
5900
5890
5685
5698
5847
5768
5946
6507
6062
5806
5781
6043
6416
6664
9017
7619
7473
6378
6460
5942
8523
9997
7242
5970
5834
5526
5766
5598
5642
5532
5692
5776
5797
9142
7337
5896
5630
5802
5533
5587
5604
5888
5676
5545
6016
5618
5472
5611
5614
5356
5606
5782
5544
5794
5511
5514
5905
5510
5625
5493
5708
5748
5713
5578
5707
5529
5619
5549
5790
5543
5464
5782
5562
5609
5555
5562
5526
5561
5490
5432
5627
6034
5774
5755
5783
5762
5731
5743
5793
5799
5759
5964
5996
5750
5776
5786
5740
5772
5769
5856
6544
5884
5810
6517
6239
5821
6042
6117
5844
5875
5639
6079
5763
6251
8196
7454
7996
6859
6474
6065
7237
10474
7827
6118
5993
5708
5873
5896
6077
5754
5823
5971
5743
7866
8379
6169
5857
6155
5433
5565
5606
5739
5429
5468
5528
5497
5444
5499
5512
5426
5515
5550
5721
5514
5491
5592
5509
5347
5471
5465
5526
5722
5425
5402
5829
5422
5581
5599
5545
5519
5463
5638
5530
5438
5458
5568
5671
5486
5381
5467
5331
5661
5411
5367
5480
5480
5385
5430
5527
5457
5421
5715
5538
5394
6483
5612
5468
5423
5411
5300
5547
5545
5412
5886
5884
5710
6037
5958
6038
6173
5769
5996
5721
5722
5867
5991
6812
8963
8149
6963
6923
6434
6009
9054
9793
7469
6237
5946
5876
5754
5761
6487
5808
8605
7808
5906
5882
5924
5718
5807
5782
6019
5800
6187
5773
5759
5740
5703
5799
5682
5728
5989
5753
5859
5680
5865
5803
5703
5769
5729
5896
5723
5378
5262
5279
5263
5353
5661
5294
5318
5372
5538
5309
5394
5343
5313
5388
5319
5465
5569
5456
5435
5327
5309
5353
5859
5383
5353
5358
5306
5441
5872
5447
5275
5388
5261
5376
5278
5308
5357
5414
5477
5449
5663
5426
5268
5541
5719
5330
5371
5401
5568
5440
5709
7790
7844
6950
6193
6255
5816
7897
9868
7560
5705
5523
5710
5710
6020
5811
5812
5631
5962
7825
8697
5746
5717
5995
5855
5819
6116
5808
5851
5676
5711
5668
5773
5670
5672
5781
5737
5572
6202
5796
5693
5806
5704
5872
5709
5776
5679
5707
5946
5791
5914
5777
5725
5816
5713
5822
5531
5679
5860
5889
5776
5824
5898
6444
5777
5741
5740
5875
5868
5662
5380
5370
5317
5240
5625
5371
5319
5197
5536
5398
5271
5264
5203
5463
5345
5289
5532
5379
5444
5293
5296
5255
5580
5725
5297
5303
5324
5339
5735
5805
7004
8516
7451
6351
5764
5884
5503
9746
8612
5984
6001
5382
5344
5215
5229
5217
5287
5309
5487
5353
9347
6106
5683
5270
5811
5301
5326
5313
5555
5282
5267
5257
5346
5331
5514
5899
5690
5695
5965
5820
5735
5743
5770
5727
5690
5763
5979
5761
5908
5773
5697
5832
5647
5666
6359
5774
5710
5806
6296
5843
5820
5729
5862
5734
5801
5750
5839
5787
5823
5872
6169
5927
5792
5670
5771
5768
5767
5849
5911
5774
5802
5712
5936
5885
5698
5828
5721
5681
5972
5811
5721
5811
5704
6015
6106
5372
5472
5375
5545
5504
6424
8307
7259
6611
5775
6112
5536
8017
10196
6664
5850
5452
5571
5380
5345
5417
5343
5263
5725
5275
9772
7085
5290
5351
6060
5217
5312
5323
5513
5426
5517
5411
5424
5225
5307
5255
5229
5347
5436
5364
5315
5210
5571
5394
5358
6056
5323
5299
5444
5369
5317
5216
5338
5271
5507
5324
5329
5822
5965
5765
5815
5745
5712
5791
5741
5631
5926
5786
5931
5751
5631
5774
5752
5742
5650
5731
5826
5684
6174
5782
5692
5752
5667
5742
5761
5646
5695
5901
5988
5777
5921
5673
5719
5851
6559
5794
5749
5844
5959
6733
6890
8045
9945
7729
6971
6362
6399
6301
7692
7044
8971
8299
6084
5949
5949
5875
5415
5453
5512
5375
8589
7320
5404
5424
5570
5210
5628
5300
5693
5277
5318
5352
5511
5281
5408
5282
5892
5299
5858
5367
5271
5273
5307
5294
5273
5279
5234
5264
5405
5365
5555
5254
5173
5367
5248
5332
5240
5215
5435
5196
5286
5228
5411
5204
5233
5245
5305
5265
5473
5317
5221
5359
5310
5195
5556
5294
5214
5310
5457
5415
5802
5895
5824
5644
5731
5768
5944
5766
5949
5857
5734
5711
5692
5958
5862
5875
5959
5946
6192
5971
5718
5634
5756
6465
8229
9246
7707
7201
6622
6501
6435
7978
9593
7840
6460
5834
5635
5895
6331
6541
7358
8493
6199
5812
6896
6027
5837
6265
5919
5764
5752
5993
5602
5937
6026
5801
5790
5735
6038
5764
5665
5824
5717
5579
5680
5459
5353
5038
5075
4929
4949
4988
4882
4917
4906
4895
5172
4947
5350
5068
4831
4932
4931
5013
4864
4975
4800
4921
5136
4932
5197
4957
4971
4894
4853
5164
5122
5014
5136
5047
4972
4969
5178
5015
4985
4941
5024
4889
5105
4932
5067
5060
5034
5543
5242
5038
5162
5188
5345
5537
7701
6950
7591
5851
5344
5517
7247
8897
8358
5570
5227
4967
4871
4962
4976
5005
4994
4884
6330
5885
7933
5057
4921
5099
4997
5454
5016
4987
5160
5211
5248
5121
5024
5059
5191
5216
4990
4969
5336
5081
5130
5240
5558
5023
5059
5094
4904
4987
5093
5071
5116
5003
5000
4986
5196
4993
5013
4980
5126
5101
4927
4917
4930
5104
5061
4954
5076
4984
5279
5068
4903
5253
5183
5069
5042
5064
5041
5104
5597
5150
5080
5086
5123
5176
5091
5227
4961
5152
5233
4978
5231
5101
5323
5469
5255
5111
5023
5071
5396
5610
6789
8350
7882
6452
5917
5806
5354
8881
10204
6680
5606
5084
5062
5104
5425
5264
5079
5120
5448
5079
8604
6217
5221
5158
5046
5492
5347
5109
5287
5102
5050
5177
5110
5067
5080
5108
4991
5164
5695
5447
5143
5204
5235
5129
5133
5045
5097
5175
5365
5085
5336
5263
5119
5148
5040
5182
5118
5097
5200
5196
5088
5142
5478
5227
5163
5002
5085
5153
5365
5110
5110
5110
5134
5037
5404
5180
5226
5093
5316
5082
5107
5154
5049
5139
5111
5108
5335
5095
5387
5121
5114
5199
5267
5604
5798
5181
5216
5149
5590
5173
7016
7705
6885
7133
5871
5461
5461
7323
11496
7581
5649
5262
5057
5093
4983
5107
5022
5073
5261
5077
7550
7788
5340
5140
5097
5264
5072
5085
5288
5145
5038
5025
5021
5108
5310
5239
5068
5020
5255
5154
5176
5162
5125
5083
5117
4959
5247
4966
5092
5070
5086
5016
5036
5021
4976
5053
5009
5118
5491
5057
4964
5074
5077
5159
5126
4907
5060
5103
5301
5148
5330
5116
4987
5090
5090
5202
5100
5095
5393
5111
5082
5209
5182
5129
5031
5048
4989
5062
5148
5126
5040
5875
5214
5377
5572
5160
5030
5019
5295
5679
8204
7293
7220
6086
6161
5741
5691
9718
8058
5637
5337
5147
4978
5077
5072
5057
5129
5175
5588
5291
8931
5190
5082
5282
5151
5345
5183
5099
5491
5206
5322
5120
5106
5166
5195
5142
5056
5264
5275
5078
5333
5137
5336
5040
5135
5090
5082
5160
5287
5203
5062
5076
5017
5175
5341
5188
5105
5092
5259
5180
5185
5155
5218
5116
5094
5141
5330
5157
5267
5032
4990
5033
5009
5112
5181
5205
5144
5124
5538
5263
5068
5063
5701
5075
5146
5164
5112
5053
5288
5170
5457
5164
5316
5567
5680
5410
5520
5128
5401
5135
5201
5121
5673
6158
7860
6415
7409
6270
6249
5610
7252
9453
7753
5756
5730
5355
5143
5394
5605
6087
8645
5324
5131
5181
5069
5173
5380
5196
5429
5186
5029
5134
5227
5106
5205
5167
5181
5258
5597
5186
5180
5195
5125
5141
5042
5182
5080
4998
5284
5059
5384
5158
5071
5146
5226
5163
4996
5152
5159
5085
4959
5011
5335
5173
5146
5133
5097
5090
5177
5109
5038
5185
4984
5774
5309
5084
4925
4931
5159
5075
5060
4938
4936
5080
5035
4892
5224
4892
5117
4840
5051
4919
4875
5373
5146
4872
5126
5139
5584
5379
7464
7517
7262
6199
5678
5742
5564
9947
8541
5814
5606
5144
5050
5110
5056
5093
5132
5152
5400
5180
9039
5606
5316
5037
4909
5003
5138
4991
5318
5005
4972
4965
5050
4878
5198
4993
4892
4911
5076
5000
4877
4968
4865
5075
4875
4972
5053
5016
5201
4973
4907
4967
4970
4928
4956
5043
4942
5017
5442
5146
4961
4959
5022
4996
5577
4993
5082
5193
5195
5013
5248
5000
5046
4930
4935
4973
4943
4968
5171
5143
5118
5141
5222
5097
5117
4986
5105
5058
5148
5071
5112
5013
5082
5170
5665
5149
5038
5100
5183
5208
6636
7961
6809
6999
6025
5837
5659
7072
10276
6797
5682
5156
5096
5066
5066
5112
5079
5132
5627
5096
8910
6963
5067
5006
5021
5164
5109
5369
5445
5021
5331
5107
5011
4924
5024
5046
5008
4955
5213
5173
5099
5169
5225
5096
5063
5073
5116
5109
5218
5104
5005
5079
4977
5072
5208
5649
5114
4988
5236
5066
5014
4999
5045
5058
4999
5042
5324
5071
5273
5009
5068
5018
5102
5076
5004
5166
5190
5059
5520
5170
5001
5120
4987
5237
4996
5149
5126
5160
5484
5133
5322
5153
5021
5386
5936
5125
5141
5128
5326
5185
5586
8564
7847
7243
5980
5685
5522
5614
10299
7626
5540
5407
5275
5261
5389
5304
5163
5123
5591
5347
7971
5286
5151
5285
5133
5459
5482
5082
5372
5107
5022
5185
5216
5167
5265
5030
5058
5297
6751
5348
5188
5168
5147
5173
5140
4957
5760
5266
5242
5031
5323
5117
5030
5048
5050
5050
5030
5107
5288
5674
5170
5167
6334
5155
4995
5142
5211
5132
5281
5193
5058
5130
5061
5176
5280
5051
5071
5038
5301
5121
5060
5153
5146
5135
5029
5158
5245
5158
5260
5070
5088
5056
5050
5280
5068
5063
5054
5141
5469
5279
6534
7921
7647
6135
5703
5980
5363
9740
8803
5718
5952
5266
5025
5123
5033
5101
5021
5023
5229
5189
8625
5623
5341
5371
5080
5527
5102
5171
5286
5410
5152
5166
5098
5120
5298
5601
5030
5928
5291
5222
5053
5145
5051
5152
5027
5096
5346
5171
5302
5262
5034
5236
5034
5082
4990
5048
5026
5093
5521
5152
4986
5078
5082
5026
5096
5119
5175
5031
5265
5090
5207
5207
5045
5254
5182
5107
5121
5047
5377
5143
5094
5100
5379
5180
5103
5075
5121
4997
5388
5088
5113
5227
5059
5638
5491
5402
5363
5206
5311
5183
5235
5248
5412
5698
8428
7070
7219
5837
6153
5799
5888
10398
9329
6011
5399
5314
5176
5281