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