638 lines
5.8 KiB
Text
638 lines
5.8 KiB
Text
term,n_exec,count
|
|
8,1,44009417
|
|
8,2,16106999
|
|
8,3,9135592
|
|
8,4,3843850
|
|
8,7,465960
|
|
8,8,252315
|
|
8,6,892274
|
|
8,10,93136
|
|
8,11,59837
|
|
8,15,17958
|
|
8,14,22401
|
|
8,16,14633
|
|
8,18,9211
|
|
8,17,11098
|
|
8,19,7552
|
|
8,21,6374
|
|
8,9,145067
|
|
8,12,41566
|
|
8,13,30891
|
|
8,5,1811792
|
|
8,20,6878
|
|
8,22,5144
|
|
8,23,4370
|
|
8,24,4954
|
|
8,25,3434
|
|
8,26,2885
|
|
8,27,2843
|
|
8,29,1658
|
|
8,31,1378
|
|
8,32,1078
|
|
8,36,428
|
|
8,64,9
|
|
8,65,8
|
|
8,28,2183
|
|
8,33,866
|
|
8,30,1398
|
|
8,34,664
|
|
8,35,615
|
|
8,38,298
|
|
8,39,312
|
|
8,40,314
|
|
8,41,206
|
|
8,42,201
|
|
8,46,118
|
|
8,47,86
|
|
8,44,124
|
|
8,45,118
|
|
8,53,62
|
|
8,54,38
|
|
8,37,420
|
|
8,50,93
|
|
8,51,64
|
|
8,48,124
|
|
8,59,36
|
|
8,43,189
|
|
8,61,29
|
|
8,67,10
|
|
8,68,10
|
|
8,56,50
|
|
8,57,22
|
|
8,55,24
|
|
8,70,10
|
|
8,86,6
|
|
8,87,4
|
|
8,78,6
|
|
8,81,6
|
|
8,105,6
|
|
8,106,4
|
|
8,52,43
|
|
8,88,4
|
|
8,73,4
|
|
8,60,22
|
|
8,69,8
|
|
8,75,8
|
|
8,76,10
|
|
8,89,2
|
|
8,49,88
|
|
8,71,6
|
|
8,63,10
|
|
8,62,20
|
|
8,58,22
|
|
8,74,4
|
|
8,84,6
|
|
8,85,6
|
|
8,93,2
|
|
8,95,2
|
|
8,96,4
|
|
8,97,6
|
|
8,79,6
|
|
8,101,2
|
|
8,102,4
|
|
8,103,4
|
|
8,77,4
|
|
8,104,4
|
|
8,66,2
|
|
8,98,2
|
|
8,83,2
|
|
8,119,2
|
|
8,120,2
|
|
8,90,4
|
|
8,91,4
|
|
8,82,2
|
|
8,80,2
|
|
8,109,2
|
|
8,110,2
|
|
5,1,14114250
|
|
5,2,8261404
|
|
5,3,5727828
|
|
5,4,3354154
|
|
5,7,777159
|
|
5,6,1219523
|
|
5,5,1996951
|
|
5,9,370257
|
|
5,8,515047
|
|
5,11,238522
|
|
5,10,288622
|
|
5,12,209238
|
|
5,13,184210
|
|
5,14,153876
|
|
5,15,134827
|
|
5,17,110198
|
|
5,16,126152
|
|
5,19,81305
|
|
5,20,85884
|
|
5,21,82310
|
|
5,18,90089
|
|
5,32,15472
|
|
5,35,7932
|
|
5,40,1740
|
|
5,22,79811
|
|
5,23,74435
|
|
5,29,24714
|
|
5,30,21725
|
|
5,31,19575
|
|
5,24,63451
|
|
5,25,53783
|
|
5,26,46161
|
|
5,27,39794
|
|
5,28,30845
|
|
5,33,13082
|
|
5,34,9947
|
|
5,36,5295
|
|
5,37,4072
|
|
5,38,2430
|
|
5,42,1274
|
|
5,43,925
|
|
5,44,635
|
|
5,56,50
|
|
5,41,1445
|
|
5,47,341
|
|
5,39,2265
|
|
5,45,414
|
|
5,57,30
|
|
5,59,27
|
|
5,53,100
|
|
5,60,43
|
|
5,52,82
|
|
5,50,105
|
|
5,46,370
|
|
5,48,246
|
|
5,49,178
|
|
5,51,74
|
|
5,63,18
|
|
5,65,14
|
|
5,70,32
|
|
5,92,3
|
|
5,96,6
|
|
5,105,2
|
|
5,107,5
|
|
5,108,2
|
|
5,120,9
|
|
5,124,1
|
|
5,54,100
|
|
5,62,24
|
|
5,71,24
|
|
5,74,9
|
|
5,84,9
|
|
5,112,1
|
|
5,67,17
|
|
5,76,9
|
|
5,80,16
|
|
5,109,3
|
|
5,55,50
|
|
5,82,9
|
|
5,83,12
|
|
5,99,11
|
|
5,102,4
|
|
5,110,2
|
|
5,66,26
|
|
5,61,42
|
|
5,68,22
|
|
5,64,23
|
|
5,75,13
|
|
5,78,14
|
|
5,58,52
|
|
5,72,5
|
|
5,94,5
|
|
5,95,2
|
|
5,88,4
|
|
5,98,1
|
|
5,101,4
|
|
5,89,5
|
|
5,79,8
|
|
5,85,7
|
|
5,73,10
|
|
5,138,2
|
|
5,142,2
|
|
5,86,4
|
|
5,87,4
|
|
5,69,6
|
|
5,77,5
|
|
5,100,4
|
|
5,103,2
|
|
5,115,8
|
|
5,125,2
|
|
5,127,2
|
|
5,97,4
|
|
5,131,3
|
|
5,132,9
|
|
5,81,2
|
|
5,90,1
|
|
5,104,2
|
|
7,1,1564108583
|
|
7,2,604609110
|
|
7,3,348073160
|
|
7,4,149152469
|
|
7,5,72952597
|
|
7,6,36878605
|
|
7,7,20211608
|
|
7,8,11608778
|
|
7,9,7123697
|
|
7,10,4691622
|
|
7,11,3159148
|
|
7,12,2236312
|
|
7,13,1637261
|
|
7,14,1236381
|
|
7,15,970293
|
|
7,16,793664
|
|
7,17,600783
|
|
7,18,491370
|
|
7,19,389308
|
|
7,20,372491
|
|
7,21,322965
|
|
7,22,292411
|
|
7,23,258985
|
|
7,24,312335
|
|
7,25,200725
|
|
7,27,151287
|
|
7,28,124994
|
|
7,29,101393
|
|
7,30,85422
|
|
7,31,86936
|
|
7,32,73943
|
|
7,33,52324
|
|
7,34,43632
|
|
7,36,24289
|
|
7,37,19053
|
|
7,38,15865
|
|
7,39,12750
|
|
7,40,10792
|
|
7,41,9603
|
|
7,26,173680
|
|
7,35,33042
|
|
7,42,7919
|
|
7,43,6437
|
|
7,44,4995
|
|
7,45,4250
|
|
7,46,3564
|
|
7,47,3482
|
|
7,48,2800
|
|
7,49,2272
|
|
7,50,2118
|
|
7,51,1556
|
|
7,52,1333
|
|
7,53,1256
|
|
7,54,1010
|
|
7,55,932
|
|
7,56,869
|
|
7,57,802
|
|
7,58,676
|
|
7,59,638
|
|
7,60,604
|
|
7,61,545
|
|
7,62,532
|
|
7,63,436
|
|
7,64,367
|
|
7,65,325
|
|
7,66,358
|
|
7,67,309
|
|
7,68,318
|
|
7,69,289
|
|
7,70,277
|
|
7,71,259
|
|
7,72,246
|
|
7,73,246
|
|
7,74,229
|
|
7,75,263
|
|
7,76,237
|
|
7,77,247
|
|
7,78,235
|
|
7,79,231
|
|
7,80,172
|
|
7,81,193
|
|
7,82,177
|
|
7,83,161
|
|
7,84,150
|
|
7,85,142
|
|
7,86,118
|
|
7,88,126
|
|
7,89,127
|
|
7,90,136
|
|
7,91,121
|
|
7,92,128
|
|
7,93,103
|
|
7,94,115
|
|
7,95,105
|
|
7,96,134
|
|
7,97,89
|
|
7,98,75
|
|
7,99,67
|
|
7,100,70
|
|
7,101,71
|
|
7,102,58
|
|
7,103,67
|
|
7,104,43
|
|
7,105,46
|
|
7,106,48
|
|
7,107,49
|
|
7,109,35
|
|
7,110,51
|
|
7,111,44
|
|
7,112,37
|
|
7,113,39
|
|
7,114,40
|
|
7,115,26
|
|
7,116,22
|
|
7,117,46
|
|
7,118,29
|
|
7,119,45
|
|
7,120,36
|
|
7,121,26
|
|
7,122,22
|
|
7,123,21
|
|
7,124,12
|
|
7,125,13
|
|
7,87,137
|
|
7,108,35
|
|
7,126,10
|
|
7,127,8
|
|
7,128,4
|
|
7,129,11
|
|
7,130,61
|
|
7,131,156
|
|
7,132,8
|
|
7,133,4
|
|
7,134,2
|
|
7,135,4
|
|
7,136,2
|
|
7,137,4
|
|
7,138,4
|
|
7,139,2
|
|
7,140,4
|
|
7,141,10
|
|
7,143,4
|
|
7,144,1
|
|
4,2,28562907
|
|
4,3,15056736
|
|
4,4,6409875
|
|
4,1,68308521
|
|
4,7,971025
|
|
4,8,593080
|
|
4,5,3202215
|
|
4,9,374264
|
|
4,10,253453
|
|
4,14,72259
|
|
4,13,95466
|
|
4,15,55351
|
|
4,16,42270
|
|
4,17,35280
|
|
4,6,1683099
|
|
4,12,126112
|
|
4,11,176397
|
|
4,18,28009
|
|
4,36,836
|
|
4,21,16308
|
|
4,22,14306
|
|
4,23,11141
|
|
4,29,4037
|
|
4,19,21811
|
|
4,20,19998
|
|
4,24,15296
|
|
4,25,9647
|
|
4,26,7324
|
|
4,27,5561
|
|
4,28,4382
|
|
4,30,3205
|
|
4,31,3925
|
|
4,32,3026
|
|
4,33,1971
|
|
4,38,629
|
|
4,39,536
|
|
4,34,1549
|
|
4,35,1193
|
|
4,37,727
|
|
4,40,431
|
|
4,41,482
|
|
4,42,381
|
|
4,45,174
|
|
4,44,252
|
|
4,48,157
|
|
4,50,111
|
|
4,46,208
|
|
4,47,181
|
|
4,43,339
|
|
4,55,61
|
|
4,59,35
|
|
4,60,9
|
|
4,61,39
|
|
4,53,60
|
|
4,62,20
|
|
4,49,140
|
|
4,51,139
|
|
4,52,84
|
|
4,54,80
|
|
4,63,22
|
|
4,56,35
|
|
4,76,8
|
|
4,83,6
|
|
4,71,8
|
|
4,73,12
|
|
4,96,1
|
|
4,69,6
|
|
4,57,40
|
|
4,82,2
|
|
4,84,2
|
|
4,65,12
|
|
4,72,10
|
|
4,74,3
|
|
4,68,13
|
|
4,58,32
|
|
4,94,4
|
|
4,95,7
|
|
4,97,4
|
|
4,99,2
|
|
4,104,2
|
|
4,75,4
|
|
4,77,3
|
|
4,70,8
|
|
4,87,2
|
|
4,110,4
|
|
4,66,14
|
|
4,64,7
|
|
4,90,1
|
|
4,67,6
|
|
4,79,2
|
|
4,119,2
|
|
4,80,2
|
|
4,120,1
|
|
4,113,2
|
|
4,93,1
|
|
6,2,38170311
|
|
6,3,22807164
|
|
6,1,99077642
|
|
6,7,1927260
|
|
6,19,61176
|
|
6,4,10518690
|
|
6,5,5569651
|
|
6,8,1230208
|
|
6,9,833263
|
|
6,6,3166586
|
|
6,10,587259
|
|
6,11,422758
|
|
6,12,313664
|
|
6,13,236627
|
|
6,17,90489
|
|
6,14,180954
|
|
6,15,143585
|
|
6,16,114820
|
|
6,18,72943
|
|
6,20,54607
|
|
6,21,48073
|
|
6,25,29492
|
|
6,26,25502
|
|
6,31,13030
|
|
6,33,9855
|
|
6,35,6957
|
|
6,37,4616
|
|
6,39,3265
|
|
6,40,2875
|
|
6,41,2479
|
|
6,23,37604
|
|
6,22,42837
|
|
6,24,36056
|
|
6,27,22753
|
|
6,28,18864
|
|
6,29,16429
|
|
6,30,14254
|
|
6,32,12022
|
|
6,34,8485
|
|
6,36,5715
|
|
6,38,3657
|
|
6,42,2192
|
|
6,44,1470
|
|
6,45,1353
|
|
6,47,1168
|
|
6,51,619
|
|
6,57,285
|
|
6,62,165
|
|
6,63,156
|
|
6,68,116
|
|
6,75,61
|
|
6,43,1847
|
|
6,46,1483
|
|
6,49,830
|
|
6,48,1085
|
|
6,52,489
|
|
6,55,355
|
|
6,56,303
|
|
6,58,237
|
|
6,60,200
|
|
6,53,626
|
|
6,59,223
|
|
6,61,218
|
|
6,54,461
|
|
6,50,694
|
|
6,64,122
|
|
6,66,129
|
|
6,67,109
|
|
6,72,77
|
|
6,73,52
|
|
6,77,69
|
|
6,80,44
|
|
6,82,38
|
|
6,84,47
|
|
6,87,24
|
|
6,88,43
|
|
6,89,24
|
|
6,91,35
|
|
6,94,24
|
|
6,97,20
|
|
6,99,17
|
|
6,102,19
|
|
6,104,24
|
|
6,106,14
|
|
6,108,20
|
|
6,110,17
|
|
6,112,14
|
|
6,113,12
|
|
6,114,12
|
|
6,116,4
|
|
6,117,6
|
|
6,120,12
|
|
6,121,2
|
|
6,122,7
|
|
6,123,4
|
|
6,124,8
|
|
6,125,3
|
|
6,65,114
|
|
6,69,88
|
|
6,70,76
|
|
6,71,75
|
|
6,79,55
|
|
6,81,59
|
|
6,83,44
|
|
6,85,33
|
|
6,92,32
|
|
6,93,32
|
|
6,96,23
|
|
6,98,20
|
|
6,100,26
|
|
6,111,9
|
|
6,115,10
|
|
6,74,64
|
|
6,78,49
|
|
6,95,40
|
|
6,101,15
|
|
6,76,57
|
|
6,86,36
|
|
6,90,26
|
|
6,105,3
|
|
6,107,9
|
|
6,109,12
|
|
6,118,8
|
|
6,126,6
|
|
6,128,7
|
|
6,103,3
|
|
6,127,2
|
|
6,130,2
|
|
6,131,5
|
|
6,132,2
|
|
6,134,2
|
|
6,136,2
|
|
6,138,2
|
|
6,139,2
|
|
6,142,2
|
|
6,144,2
|
|
-1,3,15658
|
|
-1,5,5344
|
|
-1,4,9074
|
|
-1,2,23321
|
|
-1,1,36228
|
|
-1,7,1738
|
|
-1,8,997
|
|
-1,9,1079
|
|
-1,10,492
|
|
-1,12,202
|
|
-1,6,3026
|
|
-1,11,303
|
|
-1,14,347
|
|
-1,16,154
|
|
-1,17,92
|
|
-1,13,246
|
|
-1,19,67
|
|
-1,15,173
|
|
-1,18,80
|
|
-1,23,64
|
|
-1,25,38
|
|
-1,26,19
|
|
-1,27,23
|
|
-1,28,14
|
|
-1,38,8
|
|
-1,22,110
|
|
-1,20,62
|
|
-1,21,64
|
|
-1,24,163
|
|
-1,32,25
|
|
-1,34,14
|
|
-1,35,16
|
|
-1,29,19
|
|
-1,30,16
|
|
-1,31,24
|
|
-1,33,13
|
|
-1,42,3
|
|
-1,56,4
|
|
-1,36,7
|
|
-1,37,2
|
|
-1,41,1
|