term,n_exec,count
6,1,35245280
6,3,15198454
6,4,5903899
6,18,25111
6,21,16003
6,23,13437
6,17,26546
6,10,100248
6,7,470015
6,2,15600345
6,5,2555041
6,6,992293
6,8,260317
6,9,155453
6,11,85147
6,12,69196
6,13,56955
6,14,46034
6,15,38905
6,16,32620
6,19,20696
6,20,17279
6,22,15868
6,24,13132
6,28,9021
6,29,8540
6,32,7072
6,35,6284
6,38,5117
6,40,4652
6,43,3633
6,44,3261
6,46,2671
6,48,2147
6,50,1716
6,51,1659
6,57,802
6,67,264
6,70,251
6,73,178
6,77,144
6,82,112
6,84,92
6,90,87
6,92,83
6,95,74
6,97,46
6,99,55
6,101,63
6,103,74
6,105,55
6,106,53
6,108,52
6,110,36
6,112,35
6,114,22
6,115,47
6,25,11013
6,26,10163
6,27,9512
6,31,7607
6,33,6886
6,34,6377
6,39,4899
6,42,3786
6,30,7871
6,37,5875
6,41,4289
6,45,2992
6,47,2354
6,49,1889
6,56,894
6,60,551
6,62,474
6,64,378
6,36,5917
6,52,1349
6,53,1322
6,54,1068
6,55,935
6,61,484
6,63,363
6,72,171
6,74,170
6,79,123
6,81,129
6,83,89
6,59,633
6,66,330
6,69,239
6,71,190
6,76,146
6,58,667
6,78,109
6,85,77
6,88,84
6,91,74
6,93,55
6,65,297
6,75,155
6,89,60
6,96,82
6,98,60
6,100,62
6,104,44
6,107,44
6,87,76
6,68,216
6,80,78
6,94,48
6,109,46
6,111,44
6,113,41
6,116,24
6,118,26
6,120,32
6,122,16
6,86,87
6,102,53
6,117,28
6,123,12
6,125,15
6,127,6
6,129,4
6,119,19
6,121,24
6,126,15
6,132,4
6,136,4
6,139,2
6,142,2
6,143,2
6,124,15
6,128,6
6,130,6
6,131,4
6,133,3
6,135,4
4,2,12230534
4,3,15012854
4,5,1995991
4,19,7999
4,14,19463
4,9,70428
4,1,41374539
4,4,4712657
4,6,657358
4,7,270223
4,8,122163
4,10,43346
4,11,37038
4,12,30093
4,13,25297
4,15,15885
4,16,12425
4,79,16
4,80,20
4,30,3092
4,111,10
4,63,64
4,25,4224
4,26,4052
4,31,2873
4,37,1906
4,42,1117
4,29,3313
4,33,2578
4,18,10267
4,20,6482
4,22,6081
4,28,3563
4,34,2471
4,36,2139
4,38,1755
4,39,1622
4,43,972
4,48,499
4,50,333
4,17,10301
4,21,6252
4,24,5120
4,23,5371
4,32,2790
4,27,3703
4,40,1470
4,35,2209
4,41,1222
4,44,760
4,45,732
4,46,686
4,47,551
4,49,359
4,51,301
4,52,244
4,73,16
4,76,29
4,53,213
4,57,110
4,54,160
4,55,179
4,56,148
4,64,47
4,60,117
4,62,31
4,78,10
4,100,4
4,58,118
4,89,4
4,97,4
4,59,112
4,61,81
4,66,34
4,67,41
4,84,6
4,99,5
4,104,6
4,114,2
4,115,4
4,65,39
4,96,6
4,70,20
4,75,24
4,68,38
4,71,16
4,85,10
4,69,17
4,101,5
4,126,6
4,87,12
4,92,10
4,98,6
4,77,6
4,95,8
4,109,4
4,110,2
4,120,5
4,130,2
4,131,5
4,134,2
4,135,2
4,137,2
4,138,2
4,140,2
4,141,2
4,143,4
4,93,10
4,82,17
4,81,6
4,88,2
4,74,16
4,83,22
4,86,10
4,119,5
4,72,16
4,112,4
4,90,2
4,122,2
4,123,6
4,124,4
4,105,2
4,91,12
4,103,2
4,118,2
4,128,2
4,129,2
4,132,2
4,107,2
4,94,2
4,117,2
4,106,2
7,2,193731409
7,3,221061272
7,4,80804298
7,5,34556187
7,1,467883864
7,6,12611903
7,7,5437592
7,8,2795883
7,9,1665577
7,10,1052880
7,11,882586
7,12,717089
7,13,611134
7,14,489138
7,15,391883
7,16,301795
7,17,232464
7,19,153558
7,20,118651
7,23,84141
7,22,103748
7,21,102660
7,18,204175
7,24,83007
7,25,66490
7,26,60392
7,27,55926
7,28,50839
7,29,47655
7,30,45661
7,31,42856
7,32,40618
7,33,38372
7,34,36430
7,35,33928
7,36,32118
7,37,30064
7,38,27429
7,39,25306
7,40,22893
7,41,20964
7,42,19031
7,43,17024
7,44,15677
7,45,14051
7,46,12272
7,47,10861
7,48,9710
7,49,8694
7,50,7848
7,51,6949
7,52,6053
7,53,5183
7,54,4567
7,55,4174
7,56,3742
7,57,3186
7,58,2947
7,59,2663
7,60,2333
7,61,2152
7,62,1834
7,63,1670
7,64,1490
7,65,1421
7,66,1293
7,67,1166
7,68,1024
7,69,920
7,70,910
7,71,851
7,72,790
7,73,708
7,74,764
7,75,641
7,76,629
7,77,533
7,78,554
7,79,517
7,80,492
7,81,458
7,82,464
7,83,441
7,84,408
7,85,426
7,86,380
7,87,355
7,88,373
7,89,397
7,90,364
7,91,368
7,92,320
7,93,317
7,94,343
7,95,325
7,96,298
7,97,298
7,98,296
7,99,294
7,100,294
7,101,294
7,102,314
7,103,251
7,104,261
7,105,236
7,107,224
7,108,210
7,109,180
7,110,161
7,111,149
7,112,169
7,113,146
7,114,167
7,115,126
7,106,229
7,116,126
7,117,103
7,118,102
7,119,125
7,120,121
7,121,89
7,122,57
7,123,60
7,124,50
7,125,59
7,126,37
7,127,33
7,128,24
7,129,23
7,130,12
7,131,12
7,132,14
7,133,11
7,134,6
7,135,8
7,136,3
7,137,2
7,138,1
7,139,1
7,140,1
7,141,1
7,142,1
7,143,5
5,2,2195039
5,3,2443598
5,4,993197
5,5,473494
5,22,7929
5,18,17758
5,8,89614
5,1,4804686
5,6,215463
5,7,125858
5,9,82769
5,10,75842
5,11,67418
5,12,58772
5,13,51365
5,14,44099
5,15,36525
5,16,30367
5,17,23681
5,19,15301
5,31,1987
5,42,713
5,49,288
5,56,130
5,94,8
5,109,11
5,23,6317
5,24,5292
5,32,1881
5,30,2202
5,38,1018
5,27,3063
5,28,2664
5,20,10712
5,26,3429
5,34,1616
5,40,900
5,45,476
5,21,9379
5,37,1213
5,25,4199
5,35,1350
5,36,1289
5,39,958
5,29,2564
5,33,1648
5,41,779
5,43,645
5,46,464
5,47,398
5,62,70
5,73,21
5,44,575
5,54,188
5,60,84
5,76,17
5,48,332
5,52,209
5,55,163
5,59,70
5,71,31
5,72,10
5,75,20
5,90,16
5,51,234
5,57,104
5,53,177
5,67,30
5,68,32
5,99,6
5,101,7
5,104,4
5,50,238
5,83,14
5,95,16
5,64,48
5,85,12
5,91,6
5,113,2
5,84,19
5,89,9
5,61,87
5,69,29
5,111,2
5,115,6
5,66,33
5,86,6
5,93,8
5,70,30
5,87,16
5,58,73
5,118,4
5,124,2
5,128,1
5,65,32
5,78,13
5,100,11
5,96,6
5,97,8
5,120,2
5,122,2
5,77,8
5,92,10
5,63,51
5,105,6
5,110,6
5,116,4
5,98,6
5,79,14
5,106,10
5,131,2
5,134,2
5,107,4
5,74,14
5,102,4
5,81,6
5,88,2
5,82,5
5,125,2
5,129,2
5,112,6
5,108,5
5,103,8
5,80,7
5,119,2
8,2,1228513
8,1,2653400
8,3,1166871
8,7,35895
8,10,4297
8,4,468165
8,5,205458
8,6,78937
8,8,18685
8,9,9392
8,11,4182
8,12,2923
8,23,152
8,14,1174
8,22,140
8,41,40
8,13,1770
8,15,978
8,16,577
8,17,314
8,21,82
8,27,38
8,33,30
8,52,16
8,57,2
8,30,44
8,54,10
8,19,264
8,48,12
8,32,32
8,18,577
8,20,142
8,26,63
8,37,36
8,35,66
8,24,178
8,38,34
8,28,92
8,39,44
8,34,70
8,45,26
8,31,50
8,80,4
8,25,80
8,29,44
8,70,2
8,43,44
8,50,18
8,47,20
8,36,34
8,51,6
8,60,4
8,40,24
8,42,30
8,46,24
8,44,14
8,56,6
8,53,2
8,58,8
8,86,4
8,55,2
8,49,12
8,74,2
8,85,2
-1,2,4225
-1,3,2902
-1,1,18381
-1,5,963
-1,6,495
-1,7,430
-1,4,1397
-1,8,129
-1,9,55
-1,12,39
-1,14,9
-1,17,5
-1,11,32
-1,13,20
-1,10,68
-1,15,5
-1,25,1
-1,26,1
-1,23,1
-1,16,4
-1,19,2
-1,33,2