845 lines
8.2 KiB
Text
845 lines
8.2 KiB
Text
term,n_exec,count
|
|
6,1,75658122
|
|
6,2,34194275
|
|
6,3,19433676
|
|
6,4,9439869
|
|
6,5,4906812
|
|
6,15,83560
|
|
6,18,62292
|
|
6,31,74443
|
|
6,25,95585
|
|
6,24,108966
|
|
6,14,89355
|
|
6,13,118008
|
|
6,8,788508
|
|
6,7,1376848
|
|
6,6,2445536
|
|
6,11,218260
|
|
6,12,152704
|
|
6,9,492587
|
|
6,16,77499
|
|
6,23,103567
|
|
6,26,97402
|
|
6,27,86726
|
|
6,32,61270
|
|
6,34,50232
|
|
6,35,44396
|
|
6,10,314828
|
|
6,20,75755
|
|
6,21,78726
|
|
6,22,107419
|
|
6,29,82237
|
|
6,28,86152
|
|
6,17,63416
|
|
6,19,61315
|
|
6,30,74349
|
|
6,33,67443
|
|
6,36,42722
|
|
6,37,39872
|
|
6,38,33931
|
|
6,39,32186
|
|
6,40,29018
|
|
6,41,37945
|
|
6,42,40596
|
|
6,43,35036
|
|
6,44,46545
|
|
6,45,43004
|
|
6,46,43436
|
|
6,47,38904
|
|
6,48,39469
|
|
6,49,30411
|
|
6,50,35398
|
|
6,52,29603
|
|
6,54,21374
|
|
6,56,29967
|
|
6,51,26402
|
|
6,57,25365
|
|
6,59,17567
|
|
6,61,13876
|
|
6,62,18196
|
|
6,53,24498
|
|
6,55,25133
|
|
6,58,21924
|
|
6,60,15550
|
|
6,63,17968
|
|
6,65,14854
|
|
6,66,11772
|
|
6,68,10289
|
|
6,70,10252
|
|
6,72,8237
|
|
6,73,8005
|
|
6,74,8546
|
|
6,76,7866
|
|
6,77,7217
|
|
6,78,7079
|
|
6,79,7017
|
|
6,81,7474
|
|
6,67,10745
|
|
6,69,12490
|
|
6,71,9471
|
|
6,82,7138
|
|
6,83,7200
|
|
6,85,11677
|
|
6,87,10206
|
|
6,89,6664
|
|
6,90,7326
|
|
6,91,7337
|
|
6,92,8330
|
|
6,93,4025
|
|
6,96,2509
|
|
6,98,2028
|
|
6,64,16492
|
|
6,75,9348
|
|
6,80,6157
|
|
6,84,8256
|
|
6,86,9333
|
|
6,88,7513
|
|
6,94,4490
|
|
6,95,3910
|
|
6,97,2323
|
|
6,99,1962
|
|
6,100,1687
|
|
6,101,1482
|
|
6,102,1798
|
|
6,103,1816
|
|
6,104,1558
|
|
6,105,1787
|
|
6,106,2133
|
|
6,107,2109
|
|
6,108,1973
|
|
6,109,1799
|
|
6,110,2253
|
|
6,111,1869
|
|
6,112,1482
|
|
6,113,1252
|
|
6,114,1195
|
|
6,115,904
|
|
6,116,774
|
|
6,117,822
|
|
6,118,952
|
|
6,119,886
|
|
6,120,804
|
|
6,121,781
|
|
6,122,1057
|
|
6,123,977
|
|
6,124,725
|
|
6,125,555
|
|
6,126,716
|
|
6,127,1012
|
|
6,128,1558
|
|
6,129,2688
|
|
6,130,3176
|
|
6,131,4005
|
|
6,132,2858
|
|
6,133,2728
|
|
6,134,1311
|
|
6,135,972
|
|
6,136,827
|
|
6,137,221
|
|
6,138,102
|
|
6,139,117
|
|
6,140,79
|
|
6,141,106
|
|
6,142,292
|
|
6,143,129
|
|
6,144,315
|
|
6,145,212
|
|
6,146,170
|
|
6,147,108
|
|
6,148,81
|
|
6,149,50
|
|
6,150,28
|
|
6,151,56
|
|
6,152,85
|
|
6,153,34
|
|
6,154,36
|
|
6,155,47
|
|
6,156,75
|
|
6,157,45
|
|
6,158,6
|
|
6,159,32
|
|
6,160,21
|
|
6,161,12
|
|
6,162,26
|
|
6,163,16
|
|
6,164,32
|
|
6,165,37
|
|
6,166,84
|
|
6,167,62
|
|
6,168,48
|
|
6,169,24
|
|
6,170,24
|
|
6,171,14
|
|
6,172,37
|
|
6,173,10
|
|
6,174,54
|
|
6,175,76
|
|
6,176,54
|
|
6,177,127
|
|
6,178,154
|
|
6,179,138
|
|
6,180,141
|
|
6,181,20
|
|
6,182,9
|
|
6,183,70
|
|
6,184,32
|
|
6,185,41
|
|
6,186,2
|
|
6,187,2
|
|
6,189,10
|
|
6,190,6
|
|
6,192,2
|
|
6,193,10
|
|
6,194,6
|
|
4,1,51947029
|
|
4,2,21377693
|
|
4,3,11170383
|
|
4,4,5236226
|
|
4,5,2705901
|
|
4,6,1391199
|
|
4,7,825748
|
|
4,9,313432
|
|
4,8,492859
|
|
4,32,17712
|
|
4,11,128809
|
|
4,17,22288
|
|
4,19,19902
|
|
4,26,32090
|
|
4,31,21430
|
|
4,10,198765
|
|
4,14,47710
|
|
4,18,19893
|
|
4,12,88222
|
|
4,13,62928
|
|
4,24,31707
|
|
4,28,26456
|
|
4,29,25950
|
|
4,15,36927
|
|
4,16,29665
|
|
4,20,28620
|
|
4,21,22855
|
|
4,22,28040
|
|
4,23,31587
|
|
4,25,29494
|
|
4,27,30315
|
|
4,33,16921
|
|
4,37,11449
|
|
4,38,10780
|
|
4,39,11923
|
|
4,45,11086
|
|
4,30,24501
|
|
4,34,12530
|
|
4,36,10453
|
|
4,41,10487
|
|
4,47,12836
|
|
4,35,10497
|
|
4,40,10029
|
|
4,42,12236
|
|
4,46,13265
|
|
4,44,11905
|
|
4,43,10198
|
|
4,48,12121
|
|
4,49,10901
|
|
4,50,11592
|
|
4,51,8881
|
|
4,52,10938
|
|
4,53,9459
|
|
4,54,8399
|
|
4,55,8944
|
|
4,56,9472
|
|
4,57,8128
|
|
4,58,8262
|
|
4,59,6180
|
|
4,60,5918
|
|
4,61,5421
|
|
4,62,6590
|
|
4,63,6418
|
|
4,64,6953
|
|
4,65,6503
|
|
4,66,4829
|
|
4,67,4560
|
|
4,68,4243
|
|
4,69,4804
|
|
4,70,3720
|
|
4,71,3820
|
|
4,72,3870
|
|
4,73,3670
|
|
4,74,3940
|
|
4,75,4127
|
|
4,76,4116
|
|
4,77,3472
|
|
4,78,2893
|
|
4,79,2844
|
|
4,80,2924
|
|
4,81,2906
|
|
4,82,2733
|
|
4,83,3193
|
|
4,84,2867
|
|
4,85,2842
|
|
4,86,3152
|
|
4,87,3514
|
|
4,88,2654
|
|
4,89,2465
|
|
4,90,2556
|
|
4,91,2402
|
|
4,92,2818
|
|
4,93,1624
|
|
4,94,1687
|
|
4,95,1771
|
|
4,96,1509
|
|
4,97,1544
|
|
4,98,1394
|
|
4,99,1403
|
|
4,100,1277
|
|
4,101,1046
|
|
4,102,1237
|
|
4,103,1324
|
|
4,104,1004
|
|
4,105,1015
|
|
4,106,1089
|
|
4,107,1175
|
|
4,108,1092
|
|
4,109,994
|
|
4,110,935
|
|
4,111,783
|
|
4,112,780
|
|
4,113,672
|
|
4,114,556
|
|
4,115,336
|
|
4,116,302
|
|
4,117,348
|
|
4,118,301
|
|
4,119,268
|
|
4,120,223
|
|
4,121,249
|
|
4,122,254
|
|
4,123,204
|
|
4,124,177
|
|
4,125,145
|
|
4,126,198
|
|
4,127,198
|
|
4,128,219
|
|
4,129,330
|
|
4,130,392
|
|
4,131,591
|
|
4,132,349
|
|
4,133,348
|
|
4,134,194
|
|
4,135,127
|
|
4,136,81
|
|
4,137,36
|
|
4,138,42
|
|
4,139,27
|
|
4,140,15
|
|
4,141,29
|
|
4,142,42
|
|
4,143,35
|
|
4,144,44
|
|
4,145,20
|
|
4,146,18
|
|
4,147,7
|
|
4,148,13
|
|
4,149,8
|
|
4,150,12
|
|
4,151,32
|
|
4,152,22
|
|
4,153,21
|
|
4,154,18
|
|
4,155,13
|
|
4,156,25
|
|
4,157,4
|
|
4,158,3
|
|
4,159,2
|
|
4,160,4
|
|
4,166,9
|
|
4,167,3
|
|
4,168,8
|
|
4,170,3
|
|
4,171,2
|
|
4,172,1
|
|
4,174,2
|
|
4,175,2
|
|
4,176,6
|
|
4,177,7
|
|
4,178,15
|
|
4,179,6
|
|
4,180,6
|
|
4,181,6
|
|
4,183,1
|
|
4,185,2
|
|
4,186,1
|
|
4,190,2
|
|
7,1,948025516
|
|
7,2,381953065
|
|
7,3,218813326
|
|
7,4,100404082
|
|
7,5,52510091
|
|
7,6,24852531
|
|
7,7,13794641
|
|
7,8,7475980
|
|
7,9,4483505
|
|
7,10,2772419
|
|
7,11,1787625
|
|
7,12,1176841
|
|
7,13,829848
|
|
7,14,628295
|
|
7,16,461124
|
|
7,17,351629
|
|
7,19,272606
|
|
7,21,273903
|
|
7,22,325006
|
|
7,23,339658
|
|
7,24,328158
|
|
7,25,281258
|
|
7,26,300365
|
|
7,27,279761
|
|
7,28,259420
|
|
7,29,268528
|
|
7,30,260951
|
|
7,32,193468
|
|
7,33,216017
|
|
7,34,161903
|
|
7,35,141792
|
|
7,36,132106
|
|
7,37,116057
|
|
7,31,234578
|
|
7,20,305742
|
|
7,18,304100
|
|
7,15,518093
|
|
7,38,108830
|
|
7,39,93861
|
|
7,40,96276
|
|
7,41,113624
|
|
7,42,130227
|
|
7,43,110852
|
|
7,44,147632
|
|
7,45,121147
|
|
7,46,118896
|
|
7,47,109873
|
|
7,48,101782
|
|
7,49,87107
|
|
7,50,100767
|
|
7,51,76845
|
|
7,52,82108
|
|
7,53,69862
|
|
7,54,64833
|
|
7,55,68120
|
|
7,56,91587
|
|
7,57,83425
|
|
7,58,70040
|
|
7,59,62905
|
|
7,60,40792
|
|
7,61,36021
|
|
7,62,48334
|
|
7,63,53154
|
|
7,64,46144
|
|
7,65,46843
|
|
7,66,35202
|
|
7,67,32741
|
|
7,68,30506
|
|
7,69,31079
|
|
7,70,27081
|
|
7,71,26342
|
|
7,72,25596
|
|
7,73,24206
|
|
7,74,22619
|
|
7,75,23859
|
|
7,76,23766
|
|
7,77,18995
|
|
7,78,18472
|
|
7,79,16916
|
|
7,80,17176
|
|
7,81,18138
|
|
7,82,16710
|
|
7,84,17940
|
|
7,85,23873
|
|
7,86,21878
|
|
7,88,19790
|
|
7,89,15348
|
|
7,90,18099
|
|
7,91,20387
|
|
7,92,19266
|
|
7,94,10965
|
|
7,95,10267
|
|
7,96,6660
|
|
7,97,6073
|
|
7,99,5280
|
|
7,83,18595
|
|
7,87,23837
|
|
7,93,10160
|
|
7,98,6161
|
|
7,100,4611
|
|
7,101,4086
|
|
7,102,4526
|
|
7,103,4629
|
|
7,104,4285
|
|
7,105,5190
|
|
7,106,5841
|
|
7,107,5641
|
|
7,108,6430
|
|
7,109,4918
|
|
7,110,5024
|
|
7,111,3557
|
|
7,112,2536
|
|
7,113,2083
|
|
7,114,2609
|
|
7,115,2188
|
|
7,116,1853
|
|
7,117,1384
|
|
7,118,1368
|
|
7,119,1459
|
|
7,120,1185
|
|
7,121,1854
|
|
7,122,2210
|
|
7,123,2488
|
|
7,124,1482
|
|
7,125,1439
|
|
7,126,1990
|
|
7,127,2436
|
|
7,128,2837
|
|
7,129,4657
|
|
7,130,5125
|
|
7,131,7640
|
|
7,132,5664
|
|
7,133,6312
|
|
7,134,3840
|
|
7,135,2363
|
|
7,136,3223
|
|
7,137,1047
|
|
7,138,591
|
|
7,139,490
|
|
7,140,402
|
|
7,141,549
|
|
7,142,669
|
|
7,143,480
|
|
7,144,979
|
|
7,145,764
|
|
7,146,675
|
|
7,147,532
|
|
7,148,376
|
|
7,149,271
|
|
7,150,166
|
|
7,151,107
|
|
7,152,182
|
|
7,153,89
|
|
7,154,116
|
|
7,155,104
|
|
7,156,168
|
|
7,157,146
|
|
7,158,70
|
|
7,159,169
|
|
7,160,196
|
|
7,161,88
|
|
7,162,37
|
|
7,163,101
|
|
7,164,180
|
|
7,165,276
|
|
7,166,452
|
|
7,167,390
|
|
7,168,279
|
|
7,169,168
|
|
7,170,149
|
|
7,171,113
|
|
7,172,162
|
|
7,173,133
|
|
7,174,210
|
|
7,175,289
|
|
7,176,207
|
|
7,177,179
|
|
7,178,309
|
|
7,179,318
|
|
7,180,354
|
|
7,181,90
|
|
7,182,67
|
|
7,183,240
|
|
7,184,235
|
|
7,185,182
|
|
7,186,57
|
|
7,187,50
|
|
7,188,28
|
|
7,189,40
|
|
7,190,32
|
|
7,191,5
|
|
7,192,20
|
|
7,193,42
|
|
7,194,36
|
|
7,195,48
|
|
5,1,5522067
|
|
5,3,2156695
|
|
5,2,3133758
|
|
5,4,1156927
|
|
5,5,721938
|
|
5,20,16205
|
|
5,15,42071
|
|
5,6,466519
|
|
5,13,59811
|
|
5,9,162384
|
|
5,8,237703
|
|
5,7,354147
|
|
5,28,3452
|
|
5,17,27067
|
|
5,19,20641
|
|
5,10,122386
|
|
5,11,94530
|
|
5,12,71853
|
|
5,14,48873
|
|
5,16,33542
|
|
5,18,18043
|
|
5,21,10069
|
|
5,22,9348
|
|
5,23,6295
|
|
5,24,5916
|
|
5,25,5735
|
|
5,26,5196
|
|
5,27,3887
|
|
5,29,2372
|
|
5,35,940
|
|
5,37,878
|
|
5,45,443
|
|
5,30,2187
|
|
5,31,2062
|
|
5,32,1855
|
|
5,33,1900
|
|
5,34,1367
|
|
5,38,833
|
|
5,42,1038
|
|
5,52,194
|
|
5,55,195
|
|
5,61,123
|
|
5,40,809
|
|
5,43,734
|
|
5,46,522
|
|
5,48,358
|
|
5,39,1083
|
|
5,57,231
|
|
5,65,124
|
|
5,66,81
|
|
5,67,124
|
|
5,77,59
|
|
5,36,750
|
|
5,41,851
|
|
5,44,719
|
|
5,58,141
|
|
5,62,160
|
|
5,63,169
|
|
5,64,115
|
|
5,68,94
|
|
5,75,97
|
|
5,93,39
|
|
5,47,369
|
|
5,49,275
|
|
5,50,226
|
|
5,51,243
|
|
5,53,207
|
|
5,54,193
|
|
5,56,188
|
|
5,59,145
|
|
5,60,148
|
|
5,69,136
|
|
5,70,97
|
|
5,71,87
|
|
5,72,95
|
|
5,73,95
|
|
5,74,80
|
|
5,76,70
|
|
5,78,62
|
|
5,79,64
|
|
5,80,34
|
|
5,81,36
|
|
5,82,44
|
|
5,83,53
|
|
5,84,39
|
|
5,85,56
|
|
5,86,45
|
|
5,87,55
|
|
5,88,44
|
|
5,89,28
|
|
5,90,27
|
|
5,91,73
|
|
5,92,31
|
|
5,94,19
|
|
5,95,32
|
|
5,96,62
|
|
5,97,20
|
|
5,98,33
|
|
5,99,10
|
|
5,100,78
|
|
5,101,10
|
|
5,102,15
|
|
5,103,147
|
|
5,104,11
|
|
5,105,9
|
|
5,106,11
|
|
5,107,11
|
|
5,108,12
|
|
5,109,10
|
|
5,110,10
|
|
5,111,7
|
|
5,112,9
|
|
5,113,7
|
|
5,114,9
|
|
5,115,8
|
|
5,116,18
|
|
5,117,15
|
|
5,118,17
|
|
5,119,11
|
|
5,120,8
|
|
5,121,7
|
|
5,122,11
|
|
5,123,11
|
|
5,124,13
|
|
5,125,16
|
|
5,126,13
|
|
5,127,32
|
|
5,128,24
|
|
5,129,20
|
|
5,130,23
|
|
5,131,38
|
|
5,132,51
|
|
5,133,25
|
|
5,134,26
|
|
5,135,29
|
|
5,136,18
|
|
5,138,1
|
|
5,140,2
|
|
5,141,1
|
|
5,142,5
|
|
5,143,3
|
|
5,144,4
|
|
5,145,8
|
|
5,146,1
|
|
5,147,5
|
|
5,148,5
|
|
5,150,1
|
|
5,151,1
|
|
5,155,2
|
|
8,1,3602211
|
|
8,3,909204
|
|
8,2,1546177
|
|
8,6,103773
|
|
8,7,58146
|
|
8,4,413012
|
|
8,5,221362
|
|
8,8,34175
|
|
8,34,414
|
|
8,35,426
|
|
8,36,343
|
|
8,37,401
|
|
8,23,1036
|
|
8,10,12488
|
|
8,11,8089
|
|
8,24,952
|
|
8,25,857
|
|
8,26,1133
|
|
8,21,1415
|
|
8,9,20503
|
|
8,12,6226
|
|
8,13,4829
|
|
8,14,3402
|
|
8,15,2857
|
|
8,16,2939
|
|
8,17,2064
|
|
8,18,2042
|
|
8,19,1553
|
|
8,38,340
|
|
8,40,310
|
|
8,41,224
|
|
8,42,204
|
|
8,43,191
|
|
8,47,115
|
|
8,48,111
|
|
8,22,1186
|
|
8,27,963
|
|
8,28,608
|
|
8,29,546
|
|
8,31,540
|
|
8,32,532
|
|
8,33,546
|
|
8,30,551
|
|
8,39,278
|
|
8,45,130
|
|
8,46,146
|
|
8,20,1640
|
|
8,44,190
|
|
8,56,54
|
|
8,57,50
|
|
8,49,108
|
|
8,50,76
|
|
8,51,60
|
|
8,52,84
|
|
8,53,60
|
|
8,54,62
|
|
8,55,46
|
|
8,58,48
|
|
8,59,50
|
|
8,60,70
|
|
8,61,46
|
|
8,62,28
|
|
8,63,58
|
|
8,64,34
|
|
8,65,24
|
|
8,66,20
|
|
8,67,18
|
|
8,68,8
|
|
8,69,14
|
|
8,70,14
|
|
8,71,40
|
|
8,72,34
|
|
8,73,16
|
|
8,74,10
|
|
8,75,18
|
|
8,76,8
|
|
8,77,8
|
|
8,78,2
|
|
8,79,6
|
|
8,80,16
|
|
8,81,8
|
|
8,82,14
|
|
8,83,28
|
|
8,84,24
|
|
8,85,8
|
|
8,86,12
|
|
8,87,14
|
|
8,88,10
|
|
8,89,12
|
|
8,90,24
|
|
8,91,14
|
|
8,92,6
|
|
8,93,22
|
|
8,94,26
|
|
8,95,32
|
|
8,96,34
|
|
8,97,36
|
|
8,98,54
|
|
8,99,38
|
|
8,100,36
|
|
8,101,12
|
|
8,102,14
|
|
8,103,12
|
|
8,104,16
|
|
8,105,8
|
|
8,106,30
|
|
8,107,8
|
|
8,108,8
|
|
-1,1,21588
|
|
-1,3,3840
|
|
-1,4,1871
|
|
-1,5,1194
|
|
-1,2,6761
|
|
-1,7,476
|
|
-1,8,420
|
|
-1,9,341
|
|
-1,20,18
|
|
-1,6,706
|
|
-1,14,49
|
|
-1,15,38
|
|
-1,16,28
|
|
-1,10,175
|
|
-1,11,148
|
|
-1,12,119
|
|
-1,13,58
|
|
-1,17,17
|
|
-1,18,4
|
|
-1,24,1
|
|
-1,19,8
|
|
-1,21,4
|