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