term,n_exec,count
7,1,498733861
7,2,266766539
7,3,216626140
7,4,106043583
7,5,56026259
7,6,27762304
7,7,15408172
7,8,9223733
7,9,5918943
7,10,3660428
7,11,2855776
7,12,1986877
7,13,1376429
7,14,1054646
7,15,832841
7,16,563854
7,18,325820
7,20,182026
7,22,139503
7,23,116865
7,19,269394
7,17,465087
7,21,156782
7,24,97460
7,26,76692
7,25,86820
7,27,91231
7,28,68302
7,29,58154
7,30,44277
7,31,46677
7,32,44949
7,33,41246
7,34,32858
7,35,26365
7,36,33253
7,37,23716
7,38,21322
7,39,39956
7,40,26976
7,41,16597
7,42,25493
7,43,19157
7,44,11092
7,45,15847
7,46,11311
7,47,9053
7,48,6537
7,49,5156
7,50,7802
7,51,9023
7,52,3917
7,53,3138
7,54,3111
7,55,7793
7,56,3568
7,57,3812
7,58,1811
7,59,1678
7,60,1347
7,61,1304
7,62,1057
7,63,2336
7,64,3094
7,65,807
7,66,741
7,67,527
7,68,498
7,69,443
7,70,448
7,71,415
7,72,342
7,73,358
7,74,267
7,75,283
7,76,250
7,77,219
7,78,193
7,79,195
7,80,172
7,81,155
7,82,149
7,83,150
7,84,124
7,85,143
7,86,142
7,87,129
7,88,116
7,89,87
7,90,73
7,91,82
7,92,92
7,93,86
7,94,70
7,95,59
7,96,67
7,97,45
7,98,44
7,99,44
7,100,46
7,101,48
7,102,37
7,103,43
7,104,39
7,105,33
7,106,32
7,107,38
7,108,24
7,131,6
7,133,5
7,134,8
7,135,4
7,109,30
7,110,25
7,111,31
7,112,23
7,113,23
7,114,31
7,115,24
7,116,13
7,117,4
7,118,8
7,119,13
7,120,4
7,121,3
7,122,6
7,123,8
7,124,7
7,125,4
7,126,7
7,127,2
7,128,4
7,129,2
7,130,10
7,132,4
6,1,34372757
6,2,16958321
6,13,110092
6,15,71386
6,17,47873
6,19,33414
6,21,22312
6,23,17194
6,14,87087
6,12,150808
6,6,1808544
6,5,3564306
6,3,13528527
6,20,24098
6,25,13395
6,11,209536
6,10,264769
6,8,632552
6,9,409410
6,7,1037604
6,4,6663698
6,16,55284
6,27,12096
6,35,5718
6,36,5246
6,18,35929
6,22,19599
6,24,15209
6,26,11527
6,28,9723
6,30,7789
6,32,6873
6,34,6194
6,37,4445
6,39,4357
6,42,3382
6,44,1980
6,46,2003
6,29,9310
6,31,6960
6,40,4179
6,33,7531
6,38,3797
6,41,2999
6,43,2321
6,45,2420
6,47,2052
6,48,1538
6,49,1359
6,50,1245
6,51,1320
6,52,871
6,53,759
6,55,1076
6,57,637
6,59,354
6,61,346
6,54,743
6,56,663
6,58,446
6,60,398
6,62,299
6,64,339
6,66,152
6,68,102
6,69,227
6,71,102
6,63,368
6,65,234
6,67,177
6,72,104
6,73,90
6,75,79
6,70,200
6,74,91
6,85,36
6,86,44
6,89,40
6,93,35
6,94,24
6,108,13
6,76,63
6,77,76
6,79,58
6,81,51
6,83,55
6,87,41
6,88,26
6,90,43
6,78,55
6,80,63
6,82,45
6,84,40
6,91,20
6,95,24
6,96,18
6,92,18
6,98,13
6,99,17
6,97,21
6,100,13
6,101,10
6,102,21
6,103,10
6,104,13
6,105,10
6,106,8
6,107,8
6,109,4
6,110,9
6,111,6
6,112,6
6,113,7
6,114,5
6,115,10
6,116,4
6,117,6
6,118,4
6,119,6
6,120,3
6,121,6
6,122,4
6,123,4
6,124,2
6,125,4
6,126,2
6,127,4
6,128,2
6,129,4
6,130,6
6,131,4
6,132,3
6,133,57
6,134,25
4,1,34716355
4,3,11536270
4,8,496274
4,12,105324
4,22,6614
4,21,8301
4,15,38702
4,10,216323
4,2,15900914
4,4,5657254
4,11,158119
4,14,54392
4,23,4552
4,19,12622
4,5,2957700
4,6,1447016
4,7,844529
4,9,327706
4,35,857
4,36,770
4,16,27767
4,17,24295
4,18,16578
4,24,5282
4,20,8847
4,29,2091
4,30,1677
4,31,1362
4,32,1159
4,25,3179
4,26,3260
4,27,4728
4,28,2437
4,33,1123
4,34,1075
4,37,1219
4,38,1144
4,39,757
4,13,72009
4,41,559
4,43,649
4,44,385
4,49,164
4,42,483
4,47,321
4,40,1331
4,46,286
4,48,211
4,50,156
4,51,171
4,67,18
4,45,503
4,74,4
4,53,119
4,56,139
4,58,56
4,52,100
4,62,52
4,61,64
4,54,74
4,55,123
4,59,65
4,64,30
4,66,20
4,57,68
4,72,14
4,68,14
4,70,14
4,76,2
4,63,40
4,90,8
4,94,4
4,60,50
4,71,10
4,73,4
4,69,8
4,89,4
4,77,6
4,78,4
4,100,4
4,108,2
4,65,24
4,92,2
4,87,2
4,104,2
4,75,6
4,84,2
4,79,3
4,81,2
4,107,4
4,115,2
4,105,2
4,114,2
4,86,4
4,88,2
4,93,2
4,101,2
4,83,2
5,1,1699191
5,2,1003543
5,3,841602
5,13,10184
5,4,418800
5,5,265154
5,6,149927
5,7,105835
5,8,66799
5,9,47862
5,25,1625
5,29,788
5,35,542
5,10,28143
5,11,16677
5,16,5119
5,12,13920
5,14,8440
5,19,3222
5,20,2880
5,30,746
5,34,592
5,37,317
5,39,2200
5,48,110
5,15,6157
5,17,4352
5,18,3544
5,23,1910
5,24,1880
5,27,1194
5,21,2667
5,22,2398
5,26,1556
5,28,926
5,32,718
5,40,890
5,54,43
5,56,55
5,31,985
5,33,632
5,47,114
5,36,569
5,42,437
5,51,77
5,60,36
5,41,268
5,45,343
5,38,371
5,43,272
5,62,20
5,53,51
5,52,56
5,44,163
5,59,30
5,49,112
5,46,187
5,55,49
5,61,32
5,83,4
5,50,81
5,67,14
5,64,20
5,57,26
5,63,14
5,92,2
5,58,36
5,79,3
5,85,2
5,65,11
5,66,11
5,72,7
5,68,5
5,69,2
5,70,5
5,71,3
5,75,7
5,98,1
5,99,1
5,101,2
5,96,2
5,131,2
5,78,4
5,89,2
5,86,2
5,73,2
5,81,6
5,77,4
5,120,2
5,87,2
5,90,2
5,76,2
5,102,2
8,1,19917718
8,2,9609279
8,12,62962
8,3,7011247
8,4,3474321
8,5,1843325
8,6,928290
8,7,538650
8,8,313389
8,9,206621
8,10,123750
8,11,90434
8,20,4160
8,22,4115
8,13,41667
8,14,33404
8,17,14387
8,24,2882
8,15,26033
8,16,17338
8,18,9219
8,19,8339
8,21,4699
8,23,3642
8,25,1849
8,26,1722
8,27,3291
8,28,1737
8,29,1714
8,40,1229
8,45,820
8,50,300
8,33,1284
8,37,1206
8,30,1058
8,35,977
8,34,1044
8,31,820
8,42,824
8,43,260
8,44,186
8,32,1126
8,46,368
8,47,324
8,48,266
8,53,40
8,39,1116
8,36,1252
8,38,844
8,49,200
8,51,512
8,52,58
8,41,416
8,54,56
8,57,132
8,58,18
8,59,18
8,61,10
8,68,6
8,72,4
8,73,6
8,56,138
8,63,40
8,71,6
8,55,306
8,67,2
8,66,4
8,70,8
8,78,4
8,82,8
8,64,150
8,65,12
8,62,2
8,60,2
-1,1,11667
-1,2,4294
-1,3,2372
-1,4,1583
-1,5,803
-1,7,304
-1,13,31
-1,6,540
-1,8,202
-1,9,142
-1,10,74
-1,11,58
-1,12,36
-1,15,19
-1,16,13
-1,17,9
-1,14,8
-1,19,2
-1,20,2
-1,31,1
-1,37,2