diff --git a/figure_7/g_figure7c.csv b/figure_7/g_figure7c.csv
new file mode 100644
index 00000000..b72d4f60
--- /dev/null
+++ b/figure_7/g_figure7c.csv
@@ -0,0 +1,1713 @@
+term,n_exec,count
+6,1,194186021
+6,2,84150177
+6,3,48996154
+6,16,60919
+6,8,711918
+6,5,9180117
+6,6,3363973
+6,7,1633187
+6,4,19256265
+6,10,206731
+6,14,80805
+6,9,417535
+6,11,144659
+6,12,118347
+6,15,64802
+6,17,66176
+6,19,61114
+6,13,96917
+6,21,53838
+6,23,59596
+6,25,53944
+6,18,62700
+6,20,58789
+6,22,56546
+6,26,62086
+6,27,51773
+6,28,47776
+6,29,47268
+6,24,64666
+6,30,50200
+6,31,65728
+6,32,77826
+6,33,78759
+6,34,83432
+6,36,70870
+6,37,61172
+6,38,55944
+6,40,41776
+6,41,33598
+6,42,28731
+6,44,28030
+6,39,44441
+6,35,78786
+6,51,29848
+6,52,27463
+6,47,24157
+6,50,35081
+6,55,31577
+6,57,35859
+6,58,47603
+6,59,46812
+6,61,62908
+6,63,63396
+6,65,53242
+6,43,29527
+6,45,23570
+6,46,22426
+6,48,23543
+6,49,26768
+6,53,30459
+6,60,49305
+6,54,32592
+6,56,32675
+6,62,62286
+6,64,57745
+6,66,50636
+6,68,51872
+6,70,55737
+6,72,49952
+6,74,58655
+6,75,62699
+6,77,80798
+6,79,117443
+6,81,117510
+6,82,119131
+6,67,49677
+6,69,55772
+6,71,55197
+6,73,48622
+6,76,71645
+6,78,103368
+6,80,115726
+6,83,113308
+6,84,113140
+6,85,125782
+6,86,139939
+6,87,171318
+6,88,204537
+6,89,219087
+6,90,245875
+6,91,275899
+6,92,293384
+6,93,287480
+6,94,271753
+6,95,251853
+6,96,260223
+6,97,251501
+6,98,244640
+6,99,243511
+6,100,295897
+6,101,315891
+6,102,354412
+6,103,377436
+6,104,375269
+6,105,403099
+6,106,431905
+6,107,439282
+6,108,408888
+6,109,381988
+6,110,369478
+6,111,350578
+6,112,340322
+6,113,354000
+6,114,361483
+6,115,368395
+6,116,361099
+6,117,363896
+6,118,344259
+6,119,323429
+6,120,314591
+6,121,292345
+6,122,282965
+6,123,274800
+6,124,255948
+6,125,259421
+6,126,264629
+6,127,266448
+6,128,268563
+6,129,263591
+6,130,230019
+6,131,209375
+6,132,202804
+6,133,191814
+6,134,182414
+6,135,161034
+6,136,143972
+6,137,139175
+6,138,125985
+6,139,121791
+6,140,118187
+6,141,120531
+6,142,125582
+6,143,125124
+6,144,130354
+6,145,118362
+6,146,110085
+6,147,109063
+6,148,116200
+6,149,125891
+6,150,147881
+6,151,155908
+6,152,175246
+6,153,181607
+6,154,174066
+6,155,178021
+6,156,178935
+6,157,172138
+6,158,167438
+6,159,150922
+6,160,128813
+6,161,125638
+6,162,125343
+6,163,144041
+6,164,158293
+6,165,156637
+6,166,148129
+6,167,135671
+6,168,124460
+6,169,121021
+6,170,120976
+6,171,112443
+6,172,103241
+6,173,98983
+6,174,82810
+6,175,68548
+6,176,62953
+6,177,68551
+6,178,62590
+6,179,55087
+6,180,47944
+6,181,54789
+6,182,64717
+6,183,79635
+6,184,76725
+6,185,89448
+6,186,100977
+6,187,118470
+6,188,122267
+6,189,133530
+6,190,137548
+6,191,130058
+6,192,129249
+6,193,120928
+6,194,115566
+6,195,115902
+6,196,109914
+6,197,114308
+6,198,108851
+6,199,103486
+6,200,99266
+6,201,95915
+6,202,96560
+6,203,90038
+6,204,87799
+6,205,90912
+6,206,88721
+6,207,84993
+6,208,88706
+6,209,85152
+6,210,79865
+6,211,79221
+6,212,87873
+6,213,86075
+6,214,89396
+6,215,91124
+6,216,86831
+6,217,81885
+6,218,73466
+6,219,68808
+6,220,65785
+6,221,65036
+6,222,61239
+6,223,63546
+6,224,55728
+6,225,50039
+6,226,42464
+6,227,38249
+6,228,40115
+6,229,38405
+6,230,43394
+6,231,46452
+6,232,44592
+6,233,45873
+6,234,44828
+6,235,43308
+6,236,42754
+6,237,40515
+6,238,43993
+6,239,38429
+6,240,35739
+6,241,34301
+6,242,28728
+6,243,28257
+6,244,26162
+6,245,26842
+6,246,23491
+6,247,22692
+6,248,20252
+6,249,18600
+6,250,16664
+6,251,16372
+6,252,16995
+6,253,16133
+6,254,16488
+6,255,19997
+6,256,16926
+6,257,14202
+6,258,10857
+6,259,11348
+6,260,11246
+6,261,9653
+6,262,9099
+6,263,9171
+6,264,8187
+6,265,7097
+6,266,6085
+6,267,5154
+6,268,5575
+6,269,4801
+6,270,4281
+6,271,3180
+6,272,2538
+6,273,1775
+6,274,1536
+6,275,1251
+6,276,1152
+6,277,1125
+6,278,1052
+6,279,1001
+6,280,1613
+6,281,2203
+6,282,1734
+6,283,2309
+6,284,1709
+6,285,1158
+6,286,1606
+6,287,2125
+6,288,2000
+6,289,1492
+6,290,1702
+6,291,1989
+6,292,2321
+6,293,1798
+6,294,2873
+6,295,2837
+6,296,3088
+6,297,3910
+6,298,3580
+6,299,4464
+6,300,2990
+6,301,2316
+6,302,1884
+6,303,1626
+6,304,1113
+6,305,1067
+6,306,1281
+6,307,1673
+6,308,910
+6,309,450
+6,310,651
+6,311,1037
+6,312,577
+6,313,298
+6,314,134
+6,315,143
+6,316,221
+6,317,252
+6,318,443
+6,319,297
+6,320,179
+6,321,321
+6,322,274
+6,323,544
+6,324,192
+6,325,249
+6,326,188
+6,327,364
+6,328,77
+6,329,34
+6,330,141
+6,331,155
+6,332,136
+6,333,105
+6,334,113
+6,335,390
+6,336,117
+6,337,24
+6,338,42
+6,339,40
+6,340,135
+6,341,136
+6,342,113
+6,343,203
+6,344,71
+6,345,86
+6,346,40
+6,347,20
+6,349,2
+7,1,517044195
+7,2,271505474
+7,3,168147556
+7,4,67392657
+7,5,33128820
+7,7,5980601
+7,8,2355020
+7,9,1261057
+7,10,560518
+7,11,448934
+7,12,315141
+7,13,249023
+7,15,131472
+7,14,175953
+7,6,11678544
+7,17,111446
+7,16,117378
+7,18,99735
+7,19,90772
+7,20,84097
+7,21,77477
+7,22,73465
+7,23,72413
+7,24,88324
+7,25,65961
+7,26,86132
+7,27,55530
+7,28,51496
+7,29,50487
+7,30,49406
+7,31,59627
+7,32,64286
+7,33,64435
+7,34,64239
+7,35,67125
+7,36,60176
+7,37,51296
+7,38,45720
+7,39,38335
+7,40,32350
+7,41,26525
+7,42,23589
+7,43,24428
+7,44,21139
+7,45,20347
+7,46,19811
+7,47,19528
+7,48,19082
+7,49,20773
+7,50,25764
+7,51,24790
+7,52,22983
+7,53,26665
+7,54,24533
+7,55,25150
+7,56,25516
+7,57,26965
+7,58,33986
+7,59,32448
+7,60,32292
+7,61,40182
+7,62,41267
+7,63,40888
+7,64,40112
+7,65,38717
+7,66,37568
+7,67,41115
+7,68,42623
+7,69,44008
+7,70,47231
+7,71,46514
+7,72,42940
+7,73,42647
+7,74,45789
+7,75,48768
+7,76,51665
+7,77,55826
+7,78,67761
+7,79,76459
+7,80,77794
+7,81,79110
+7,82,78878
+7,84,77417
+7,88,124609
+7,89,136718
+7,91,167206
+7,92,176656
+7,95,164712
+7,98,165757
+7,99,170246
+7,100,202977
+7,101,216647
+7,85,84074
+7,86,93080
+7,109,268423
+7,115,253243
+7,116,247860
+7,118,232869
+7,83,75660
+7,87,112036
+7,90,152505
+7,93,178405
+7,94,174311
+7,96,172900
+7,97,171264
+7,102,235442
+7,103,249603
+7,104,258459
+7,105,271065
+7,106,289053
+7,107,306026
+7,108,286271
+7,110,257291
+7,111,236129
+7,112,237014
+7,113,240953
+7,114,245626
+7,119,223487
+7,120,219898
+7,121,208596
+7,122,192110
+7,123,186845
+7,117,254365
+7,124,181283
+7,125,179477
+7,126,182789
+7,127,169689
+7,128,176473
+7,129,169781
+7,130,151813
+7,131,143372
+7,132,139175
+7,133,133945
+7,134,126553
+7,135,113906
+7,136,98592
+7,137,96795
+7,138,89015
+7,139,85943
+7,140,82406
+7,141,84262
+7,142,83470
+7,143,85448
+7,144,85940
+7,145,75233
+7,146,70996
+7,147,81350
+7,148,80254
+7,149,93042
+7,150,108934
+7,151,112058
+7,152,122330
+7,153,124705
+7,154,120019
+7,155,125139
+7,156,125582
+7,157,125945
+7,158,120455
+7,159,113645
+7,160,96569
+7,161,100219
+7,162,93507
+7,163,109401
+7,164,112580
+7,165,113461
+7,166,106976
+7,167,100989
+7,168,90731
+7,169,88123
+7,170,82498
+7,171,76951
+7,172,73288
+7,173,73688
+7,174,59708
+7,175,50047
+7,176,45059
+7,177,49285
+7,178,47599
+7,179,40213
+7,180,34175
+7,181,37289
+7,182,44855
+7,183,55118
+7,184,52821
+7,185,63077
+7,186,68558
+7,187,76651
+7,188,82204
+7,189,90141
+7,190,91318
+7,191,91427
+7,192,89747
+7,193,83650
+7,194,78286
+7,195,78929
+7,196,75113
+7,197,75747
+7,198,72890
+7,199,67894
+7,200,64130
+7,201,61326
+7,202,59607
+7,203,58830
+7,204,60912
+7,205,60985
+7,206,62809
+7,207,61026
+7,208,64220
+7,209,61723
+7,210,59215
+7,211,62798
+7,212,66706
+7,213,65832
+7,214,69238
+7,215,70338
+7,216,68332
+7,217,63991
+7,218,57549
+7,219,53360
+7,220,51715
+7,221,54218
+7,222,48840
+7,223,50703
+7,224,45341
+7,225,38893
+7,226,34366
+7,227,31379
+7,228,32678
+7,229,30767
+7,230,34446
+7,231,37725
+7,232,37077
+7,233,41629
+7,234,41382
+7,235,37450
+7,236,37798
+7,237,36125
+7,238,38661
+7,239,34461
+7,240,30199
+7,241,30567
+7,242,27140
+7,243,23919
+7,244,21915
+7,245,23451
+7,246,23196
+7,247,20469
+7,248,18677
+7,249,18354
+7,250,16583
+7,251,16533
+7,252,15080
+7,253,14675
+7,254,14774
+7,255,16524
+7,256,13945
+7,257,11545
+7,258,11003
+7,259,10401
+7,260,9235
+7,261,9043
+7,262,8254
+7,263,8072
+7,264,6556
+7,265,6982
+7,266,6186
+7,267,4934
+7,268,5368
+7,269,4187
+7,270,4373
+7,271,2285
+7,272,2095
+7,273,1534
+7,274,1641
+7,275,1248
+7,276,705
+7,277,1180
+7,278,750
+7,279,672
+7,280,1326
+7,281,1287
+7,282,1225
+7,283,1193
+7,284,1362
+7,285,1043
+7,286,1285
+7,287,1404
+7,288,1415
+7,289,1045
+7,290,1367
+7,291,1599
+7,292,1741
+7,293,1233
+7,294,2152
+7,295,1931
+7,296,2262
+7,297,2895
+7,298,2775
+7,299,3178
+7,300,2197
+7,301,1512
+7,302,1259
+7,303,1110
+7,304,799
+7,305,789
+7,306,913
+7,307,1245
+7,308,673
+7,309,330
+7,310,332
+7,311,656
+7,312,341
+7,313,86
+7,314,76
+7,315,132
+7,316,89
+7,317,146
+7,318,308
+7,319,190
+7,320,257
+7,321,198
+7,322,175
+7,323,197
+7,324,128
+7,325,139
+7,326,40
+7,327,81
+7,328,18
+7,329,4
+7,330,81
+7,331,82
+7,332,54
+7,333,73
+7,334,78
+7,335,379
+7,336,112
+7,337,16
+7,338,34
+7,339,14
+7,340,54
+7,341,84
+7,342,100
+7,343,235
+7,344,43
+7,345,81
+7,346,52
+7,347,22
+7,348,4
+7,349,2
+5,1,10143724
+5,3,3452254
+5,5,804149
+5,2,5702254
+5,4,1507443
+5,7,178223
+5,11,15252
+5,8,80958
+5,6,323539
+5,9,42354
+5,16,3266
+5,23,1059
+5,27,1161
+5,14,6033
+5,24,1181
+5,10,21838
+5,13,7304
+5,15,3814
+5,12,10001
+5,18,2230
+5,20,1456
+5,26,1077
+5,29,1284
+5,44,2106
+5,19,1531
+5,21,1132
+5,25,1038
+5,17,2451
+5,36,1815
+5,28,916
+5,37,1770
+5,31,1921
+5,30,1362
+5,34,2266
+5,22,1168
+5,49,2587
+5,35,2199
+5,39,1480
+5,46,1783
+5,32,2127
+5,33,2129
+5,40,1634
+5,42,2095
+5,38,1926
+5,41,1930
+5,51,3807
+5,43,2033
+5,59,6850
+5,48,2490
+5,50,3345
+5,45,1611
+5,47,2131
+5,52,3616
+5,60,5036
+5,57,5911
+5,68,6769
+5,70,6178
+5,76,6574
+5,81,6828
+5,54,3778
+5,82,6475
+5,55,4684
+5,58,6851
+5,64,5944
+5,53,4246
+5,69,7483
+5,74,7218
+5,88,11652
+5,90,15438
+5,111,33734
+5,112,33931
+5,73,5174
+5,56,4725
+5,63,5514
+5,65,6449
+5,67,5967
+5,61,6110
+5,77,6864
+5,62,5064
+5,66,6745
+5,71,5791
+5,72,5337
+5,75,7109
+5,78,6762
+5,79,5829
+5,80,6361
+5,83,6134
+5,84,6128
+5,85,7366
+5,86,7935
+5,87,10877
+5,89,11951
+5,91,16664
+5,92,16287
+5,93,16511
+5,94,16788
+5,95,14786
+5,96,16919
+5,97,16837
+5,98,18066
+5,99,16359
+5,100,17603
+5,101,18684
+5,102,20220
+5,103,21906
+5,104,22880
+5,105,25867
+5,106,27353
+5,107,30938
+5,108,28961
+5,109,30846
+5,110,31873
+5,113,32100
+5,114,36076
+5,115,33626
+5,116,32587
+5,117,31898
+5,118,29126
+5,119,25452
+5,120,22879
+5,121,21176
+5,122,20059
+5,123,21734
+5,124,20722
+5,125,19516
+5,126,22387
+5,127,21293
+5,128,21755
+5,129,20636
+5,130,19842
+5,131,18116
+5,132,17112
+5,133,17550
+5,134,16220
+5,135,13007
+5,136,13048
+5,137,12020
+5,138,12097
+5,139,11293
+5,140,11967
+5,141,10902
+5,142,11197
+5,143,11568
+5,144,11593
+5,145,11681
+5,146,11590
+5,147,9981
+5,148,10491
+5,149,11283
+5,150,11648
+5,151,10395
+5,152,10405
+5,153,9771
+5,154,9600
+5,155,8432
+5,156,8361
+5,157,7485
+5,158,7329
+5,159,6864
+5,160,6022
+5,161,6547
+5,162,7122
+5,163,8335
+5,164,8329
+5,165,8622
+5,166,8216
+5,167,7443
+5,168,6738
+5,169,6245
+5,170,5730
+5,171,4163
+5,172,4371
+5,173,3825
+5,174,3514
+5,175,3257
+5,176,2665
+5,177,3187
+5,178,3087
+5,179,2049
+5,180,1720
+5,181,1717
+5,182,1755
+5,183,2336
+5,184,2068
+5,185,2636
+5,186,2924
+5,187,3515
+5,188,3319
+5,189,4133
+5,190,4578
+5,191,4402
+5,192,4527
+5,193,4081
+5,194,4446
+5,195,5393
+5,196,5139
+5,197,5059
+5,198,4495
+5,199,5369
+5,200,4542
+5,201,5341
+5,202,5825
+5,203,6105
+5,204,5492
+5,205,6596
+5,206,6577
+5,207,6534
+5,208,8413
+5,209,7331
+5,210,7100
+5,211,7785
+5,212,8376
+5,213,8692
+5,214,8700
+5,215,8857
+5,216,9290
+5,217,9346
+5,218,8296
+5,219,7791
+5,220,7029
+5,221,7452
+5,222,6051
+5,223,6101
+5,224,5788
+5,225,5403
+5,226,5129
+5,227,5093
+5,228,4577
+5,229,5131
+5,230,5631
+5,231,6049
+5,232,5603
+5,233,5696
+5,234,5920
+5,235,6080
+5,236,6095
+5,237,6407
+5,238,6444
+5,239,6246
+5,240,5683
+5,241,5336
+5,242,4872
+5,243,4920
+5,244,4629
+5,245,4982
+5,246,4216
+5,247,4288
+5,248,4079
+5,249,4152
+5,250,3360
+5,251,3448
+5,252,3833
+5,253,3559
+5,254,3089
+5,255,3396
+5,256,2660
+5,257,3090
+5,258,2092
+5,259,1959
+5,260,2185
+5,261,2311
+5,262,1944
+5,263,1822
+5,264,1522
+5,265,1386
+5,266,1155
+5,267,1005
+5,268,922
+5,269,640
+5,270,681
+5,271,422
+5,272,358
+5,273,280
+5,274,195
+5,275,100
+5,276,66
+5,277,107
+5,278,87
+5,279,120
+5,280,75
+5,281,87
+5,282,96
+5,283,108
+5,284,147
+5,285,102
+5,286,162
+5,287,122
+5,288,124
+5,289,175
+5,290,106
+5,291,229
+5,292,312
+5,293,216
+5,294,214
+5,295,226
+5,296,230
+5,297,196
+5,298,167
+5,299,300
+5,300,339
+5,301,181
+5,302,103
+5,303,159
+5,304,116
+5,305,163
+5,306,162
+5,307,225
+5,308,130
+5,309,157
+5,310,127
+5,311,247
+5,312,146
+5,313,136
+5,314,44
+5,315,10
+5,316,8
+5,317,14
+5,318,15
+5,319,15
+5,320,2
+5,321,24
+5,322,15
+5,323,127
+5,324,28
+5,325,43
+5,326,20
+5,327,110
+5,328,8
+5,329,15
+5,330,4
+5,331,28
+5,332,8
+5,333,49
+5,334,63
+5,335,10
+5,336,49
+5,337,7
+5,338,1
+5,339,6
+5,340,16
+5,341,16
+5,342,9
+5,343,3
+5,346,1
+5,347,1
+4,1,33069094
+4,2,10595402
+4,6,330145
+4,13,7209
+4,14,4691
+4,15,3983
+4,16,3483
+4,10,16207
+4,3,4958491
+4,5,858122
+4,4,2015682
+4,8,61007
+4,11,12225
+4,7,139454
+4,9,35045
+4,17,2926
+4,27,957
+4,20,2035
+4,21,1801
+4,23,1500
+4,24,1404
+4,28,894
+4,29,795
+4,32,626
+4,33,603
+4,12,9569
+4,18,2590
+4,19,2262
+4,25,1172
+4,30,754
+4,31,645
+4,39,288
+4,40,227
+4,41,185
+4,22,1716
+4,26,1619
+4,36,424
+4,38,344
+4,52,70
+4,42,150
+4,53,76
+4,34,514
+4,37,378
+4,35,472
+4,43,184
+4,58,55
+4,44,138
+4,47,85
+4,50,101
+4,45,96
+4,49,74
+4,54,55
+4,51,72
+4,48,113
+4,46,98
+4,56,67
+4,60,117
+4,59,64
+4,57,89
+4,68,72
+4,61,80
+4,55,72
+4,62,101
+4,63,67
+4,64,84
+4,76,84
+4,112,384
+4,90,323
+4,91,360
+4,72,51
+4,65,60
+4,66,75
+4,67,79
+4,69,84
+4,70,80
+4,71,57
+4,73,40
+4,74,74
+4,75,85
+4,77,131
+4,78,131
+4,79,115
+4,80,116
+4,81,132
+4,82,156
+4,83,182
+4,84,133
+4,85,164
+4,86,270
+4,87,252
+4,88,305
+4,89,351
+4,92,327
+4,93,377
+4,94,269
+4,95,251
+4,96,330
+4,97,274
+4,98,447
+4,99,530
+4,100,463
+4,101,424
+4,102,480
+4,103,446
+4,104,269
+4,105,484
+4,106,657
+4,107,619
+4,108,380
+4,109,321
+4,110,424
+4,111,344
+4,113,462
+4,114,347
+4,115,340
+4,116,316
+4,117,363
+4,118,250
+4,119,291
+4,120,235
+4,121,208
+4,122,168
+4,123,144
+4,124,127
+4,125,128
+4,126,160
+4,127,192
+4,128,169
+4,129,182
+4,130,148
+4,131,158
+4,132,93
+4,133,132
+4,134,119
+4,135,100
+4,136,119
+4,137,135
+4,138,99
+4,139,144
+4,140,127
+4,141,102
+4,142,115
+4,143,99
+4,144,106
+4,145,100
+4,146,87
+4,147,101
+4,148,129
+4,149,136
+4,150,130
+4,151,177
+4,152,184
+4,153,151
+4,154,144
+4,155,86
+4,156,156
+4,157,104
+4,158,88
+4,159,97
+4,160,95
+4,161,86
+4,162,169
+4,163,129
+4,164,170
+4,165,211
+4,166,123
+4,167,109
+4,168,115
+4,169,80
+4,170,123
+4,171,112
+4,172,125
+4,173,99
+4,174,66
+4,175,72
+4,176,64
+4,177,79
+4,178,89
+4,179,88
+4,180,82
+4,181,100
+4,182,99
+4,183,120
+4,184,100
+4,185,124
+4,186,179
+4,187,181
+4,188,222
+4,189,235
+4,190,172
+4,191,160
+4,192,216
+4,193,103
+4,194,104
+4,195,71
+4,196,75
+4,197,113
+4,198,89
+4,199,77
+4,200,53
+4,201,77
+4,202,99
+4,203,87
+4,204,87
+4,205,84
+4,206,86
+4,207,84
+4,208,89
+4,209,91
+4,210,87
+4,211,66
+4,212,66
+4,213,79
+4,214,65
+4,215,84
+4,216,81
+4,217,48
+4,218,65
+4,219,36
+4,220,41
+4,221,44
+4,222,44
+4,223,64
+4,224,43
+4,225,33
+4,226,20
+4,227,31
+4,228,21
+4,229,31
+4,230,25
+4,231,21
+4,232,30
+4,233,38
+4,234,35
+4,235,38
+4,236,25
+4,237,31
+4,238,15
+4,239,7
+4,240,14
+4,241,14
+4,242,10
+4,243,6
+4,244,13
+4,245,13
+4,246,4
+4,247,7
+4,248,11
+4,249,8
+4,250,5
+4,251,15
+4,252,2
+4,254,13
+4,255,5
+4,256,3
+4,258,5
+4,259,8
+4,260,5
+4,261,12
+4,262,10
+4,263,2
+4,264,4
+4,266,3
+4,267,6
+4,268,6
+4,269,4
+4,270,7
+4,271,8
+4,272,4
+4,273,6
+4,274,1
+4,275,1
+4,279,4
+4,280,8
+4,282,2
+4,283,2
+4,287,12
+4,288,2
+4,289,2
+4,291,2
+4,292,1
+4,293,2
+4,294,6
+4,295,2
+4,296,2
+4,297,2
+4,298,2
+4,299,3
+4,300,1
+4,301,2
+4,302,6
+4,303,2
+4,305,2
+4,306,4
+4,307,7
+8,1,6104375
+8,2,2328983
+8,3,1298940
+8,4,494294
+8,6,84002
+8,5,235076
+8,7,38734
+8,8,17313
+8,9,9307
+8,11,3417
+8,12,2762
+8,10,4580
+8,21,1246
+8,23,1140
+8,26,1354
+8,27,1014
+8,14,1862
+8,17,1487
+8,18,1706
+8,19,1483
+8,28,844
+8,29,945
+8,38,1752
+8,39,1454
+8,13,2160
+8,36,2280
+8,22,1220
+8,15,1416
+8,30,996
+8,16,1428
+8,20,1456
+8,24,1229
+8,25,974
+8,34,2729
+8,35,2475
+8,41,978
+8,42,976
+8,32,2204
+8,40,1124
+8,31,1578
+8,37,1836
+8,57,1284
+8,58,1980
+8,53,1292
+8,33,2746
+8,43,1029
+8,44,1484
+8,52,1266
+8,46,796
+8,60,1790
+8,61,2447
+8,45,718
+8,48,810
+8,49,763
+8,47,800
+8,73,2198
+8,74,2558
+8,89,8463
+8,90,8985
+8,69,2280
+8,55,1212
+8,50,1220
+8,51,1029
+8,54,1066
+8,56,1269
+8,59,1707
+8,62,2806
+8,63,2390
+8,64,2193
+8,65,2074
+8,66,1752
+8,67,1770
+8,68,1721
+8,70,2447
+8,71,2476
+8,72,2065
+8,75,2708
+8,76,3212
+8,77,3649
+8,78,4836
+8,79,4979
+8,80,4725
+8,81,4430
+8,82,4899
+8,83,4280
+8,84,5520
+8,85,4724
+8,86,6154
+8,87,7312
+8,88,8486
+8,91,10097
+8,92,11745
+8,93,10461
+8,94,10354
+8,95,8936
+8,96,9613
+8,97,9389
+8,98,8445
+8,99,8649
+8,100,11847
+8,101,10410
+8,102,11448
+8,103,12671
+8,104,11835
+8,105,12359
+8,106,12670
+8,107,13493
+8,108,12687
+8,109,12374
+8,110,11584
+8,111,11242
+8,112,10072
+8,113,11434
+8,114,14666
+8,115,12628
+8,116,12999
+8,117,11280
+8,118,11488
+8,119,11463
+8,120,9786
+8,121,7974
+8,122,8113
+8,123,7218
+8,124,7247
+8,125,7611
+8,126,7899
+8,127,6631
+8,128,6728
+8,129,7441
+8,130,7023
+8,131,6170
+8,132,6000
+8,133,5419
+8,134,5035
+8,135,4913
+8,136,4352
+8,137,3890
+8,138,3138
+8,139,4187
+8,140,3179
+8,141,3214
+8,142,3413
+8,143,3203
+8,144,3399
+8,145,3041
+8,146,2905
+8,147,3775
+8,148,3614
+8,149,3402
+8,150,4442
+8,151,4194
+8,152,5121
+8,153,5192
+8,154,4806
+8,155,4920
+8,156,4754
+8,157,4461
+8,158,3781
+8,159,3689
+8,160,3020
+8,161,3280
+8,162,2950
+8,163,3647
+8,164,3572
+8,165,3104
+8,166,2801
+8,167,2934
+8,168,2672
+8,169,2478
+8,170,2618
+8,171,3080
+8,172,2586
+8,173,2410
+8,174,2098
+8,175,1521
+8,176,1478
+8,177,2052
+8,178,1660
+8,179,1238
+8,180,1194
+8,181,1338
+8,182,1506
+8,183,1790
+8,184,1758
+8,185,2159
+8,186,2513
+8,187,2628
+8,188,3112
+8,189,3110
+8,190,3145
+8,191,3162
+8,192,3235
+8,193,2995
+8,194,2914
+8,195,3090
+8,196,2685
+8,197,2898
+8,198,2648
+8,199,2358
+8,200,2472
+8,201,2483
+8,202,2208
+8,203,2260
+8,204,2366
+8,205,2420
+8,206,2926
+8,207,2243
+8,208,2234
+8,209,2478
+8,210,3050
+8,211,2535
+8,212,2859
+8,213,3002
+8,214,3036
+8,215,3270
+8,216,3136
+8,217,3163
+8,218,2170
+8,219,2719
+8,220,3150
+8,221,2506
+8,222,2461
+8,223,2188
+8,224,2264
+8,225,2160
+8,226,1838
+8,227,1146
+8,228,1288
+8,229,1018
+8,230,1214
+8,231,1396
+8,232,1185
+8,233,1352
+8,234,1706
+8,235,1146
+8,236,1098
+8,237,1376
+8,238,1198
+8,239,1304
+8,240,734
+8,241,1236
+8,242,974
+8,243,816
+8,244,828
+8,245,572
+8,246,852
+8,247,730
+8,248,570
+8,249,622
+8,250,412
+8,251,292
+8,252,462
+8,253,518
+8,254,434
+8,255,562
+8,256,392
+8,257,716
+8,258,486
+8,259,252
+8,260,348
+8,261,342
+8,262,446
+8,263,416
+8,264,232
+8,265,198
+8,266,158
+8,267,368
+8,268,218
+8,269,94
+8,270,112
+8,271,90
+8,272,48
+8,273,78
+8,274,16
+8,275,34
+8,276,36
+8,277,50
+8,278,42
+8,279,40
+8,280,168
+8,281,68
+8,282,26
+8,283,24
+8,284,20
+8,285,66
+8,286,60
+8,287,78
+8,288,112
+8,289,102
+8,290,116
+8,291,114
+8,292,40
+8,293,94
+8,294,54
+8,295,106
+8,296,56
+8,297,156
+8,298,80
+8,299,104
+8,300,44
+8,301,40
+8,302,18
+8,303,38
+8,304,4
+8,305,12
+8,306,32
+8,307,16
+8,308,28
+8,309,8
+8,310,6
+8,311,12
+8,312,2
+8,313,2
+8,315,6
+8,316,4
+8,317,10
+8,318,8
+8,319,6
+8,320,16
+8,321,4
+8,322,4
+8,323,9
+8,325,100
+8,326,4
+8,327,4
+8,331,2
+8,332,2
+8,333,2
+8,336,10
+8,340,2
+8,341,2
+8,343,14
+8,344,20
+8,345,2
+-1,1,16493
+-1,2,4591
+-1,4,1182
+-1,3,2271
+-1,5,549
+-1,6,356
+-1,7,296
+-1,8,188
+-1,9,218
+-1,10,59
+-1,11,157
+-1,12,121
+-1,16,103
+-1,13,112
+-1,15,117
+-1,20,48
+-1,21,97
+-1,14,120
+-1,17,129
+-1,18,118
+-1,19,67
+-1,22,37
+-1,23,34
+-1,24,14
+-1,25,16
+-1,27,10
+-1,28,17
+-1,33,4
+-1,40,10
+-1,26,15
+-1,30,5
+-1,32,17
+-1,34,6
+-1,31,4
+-1,29,10
+-1,36,42
+-1,37,32
+-1,38,34
+-1,39,42
+-1,41,4
+-1,43,2
diff --git a/figure_7/h_figure7c.csv b/figure_7/h_figure7c.csv
new file mode 100644
index 00000000..407a7585
--- /dev/null
+++ b/figure_7/h_figure7c.csv
@@ -0,0 +1,2783 @@
+term,n_exec,count
+5,1,1435583
+5,2,819289
+5,3,529744
+5,4,325360
+5,5,208061
+5,6,143274
+5,7,108214
+5,8,86289
+5,9,80925
+5,20,22323
+5,11,78052
+5,12,67586
+5,13,58705
+5,10,80386
+5,14,53402
+5,15,47222
+5,16,41410
+5,17,35185
+5,18,33747
+5,19,27392
+5,24,12402
+5,26,8880
+5,31,4023
+5,34,5230
+5,43,2962
+5,46,1174
+5,48,714
+5,53,400
+5,21,18181
+5,30,4133
+5,25,25477
+5,23,13919
+5,40,4701
+5,22,15534
+5,27,7229
+5,44,1816
+5,33,5050
+5,28,5882
+5,32,4370
+5,29,4585
+5,35,4976
+5,84,47
+5,47,1035
+5,37,5509
+5,51,405
+5,58,540
+5,38,5245
+5,60,252
+5,96,46
+5,36,6475
+5,39,5173
+5,41,4467
+5,42,3557
+5,45,1371
+5,49,506
+5,50,437
+5,83,40
+5,72,63
+5,89,22
+5,66,54
+5,52,551
+5,54,1515
+5,55,745
+5,68,67
+5,59,353
+5,63,229
+5,76,79
+5,88,36
+5,77,54
+5,62,268
+5,91,27
+5,67,59
+5,56,541
+5,71,67
+5,81,66
+5,61,207
+5,85,56
+5,64,114
+5,70,98
+5,94,29
+5,90,24
+5,87,45
+5,93,19
+5,57,362
+5,95,19
+5,86,54
+5,75,33
+5,102,37
+5,65,97
+5,69,111
+5,73,63
+5,74,58
+5,78,47
+5,79,41
+5,80,146
+5,82,37
+5,1035,2
+5,1036,2
+5,92,27
+5,97,18
+5,98,35
+5,99,23
+5,100,54
+5,101,41
+5,103,44
+5,104,51
+5,105,40
+5,106,47
+5,107,38
+5,108,68
+5,109,87
+5,110,83
+5,111,79
+5,112,81
+5,113,55
+5,114,70
+5,115,55
+5,116,60
+5,117,59
+5,118,84
+5,119,47
+5,120,75
+5,1042,1
+5,121,281
+5,122,122
+5,123,52
+5,124,88
+5,125,77
+5,126,41
+5,127,48
+5,128,60
+5,129,220
+5,130,59
+5,131,39
+5,132,50
+5,133,80
+5,134,64
+5,135,49
+5,136,78
+5,137,63
+5,138,81
+5,139,114
+5,140,107
+5,141,83
+5,142,58
+5,143,78
+5,144,95
+5,145,87
+5,146,89
+5,147,153
+5,148,117
+5,149,157
+5,150,85
+5,151,130
+5,152,80
+5,153,158
+5,154,156
+5,155,136
+5,156,79
+5,157,83
+5,158,141
+5,159,89
+5,160,451
+5,161,366
+5,162,78
+5,163,25
+5,164,100
+5,165,84
+5,166,84
+5,167,108
+5,168,111
+5,169,55
+5,170,65
+5,171,51
+5,172,75
+5,173,28
+5,174,40
+5,175,47
+5,176,36
+5,177,23
+5,178,11
+5,179,2
+5,180,29
+5,181,33
+5,182,9
+5,183,24
+5,184,31
+5,185,18
+5,186,21
+5,187,42
+5,188,19
+5,189,30
+5,190,21
+5,191,8
+5,192,11
+5,193,2
+5,194,4
+5,195,9
+5,196,2
+5,197,7
+5,198,9
+5,199,7
+5,201,9
+5,203,9
+5,207,2
+5,212,9
+5,213,7
+5,214,16
+5,217,9
+5,218,7
+5,219,1
+5,223,20
+5,1062,1
+5,225,9
+5,229,2
+5,1063,3
+5,231,11
+5,233,2
+5,234,9
+5,235,2
+5,236,2
+5,238,2
+5,239,7
+5,240,2
+5,1065,3
+5,242,7
+5,243,9
+5,1066,3
+5,246,2
+5,1067,2
+5,1068,1
+5,254,2
+5,1069,5
+5,263,7
+5,267,7
+5,271,6
+5,273,1
+5,274,1
+5,276,4
+5,277,2
+5,281,2
+5,284,9
+5,289,7
+5,292,7
+5,303,1
+5,304,1
+5,305,7
+5,321,7
+5,324,2
+5,326,7
+5,331,4
+5,339,7
+5,341,1
+5,342,1
+5,349,4
+5,350,1
+5,351,2
+5,352,8
+5,353,9
+5,354,12
+5,355,9
+5,356,4
+5,357,1
+5,359,1
+5,360,4
+5,363,7
+5,373,1
+5,410,1
+5,412,1
+5,413,1
+5,515,2
+5,516,2
+5,528,1
+5,531,2
+5,535,1
+5,536,2
+5,577,1
+5,581,2
+5,582,4
+5,585,2
+5,586,5
+5,588,2
+5,592,1
+5,595,1
+5,597,1
+5,639,4
+5,676,2
+5,704,2
+5,706,1
+5,707,4
+5,708,3
+5,709,1
+5,710,1
+5,711,2
+5,713,2
+5,714,1
+5,720,9
+5,727,1
+5,837,2
+5,861,2
+5,917,2
+5,925,2
+5,932,2
+5,934,1
+5,993,2
+5,996,2
+5,997,2
+5,999,2
+5,1002,2
+5,1007,1
+5,1008,1
+5,1010,2
+5,1014,9
+5,1016,2
+5,1017,3
+5,1020,1
+5,1021,1
+7,1,360442084
+7,2,272543021
+7,3,216025856
+7,4,124877419
+7,5,62925596
+7,6,29855386
+7,7,13572163
+7,8,6128473
+7,9,3309546
+7,10,1951261
+7,11,1244001
+7,12,906818
+7,15,399563
+7,16,330510
+7,17,272097
+7,19,206986
+7,20,181123
+7,22,148376
+7,23,151155
+7,24,149487
+7,21,161221
+7,18,224835
+7,13,645789
+7,14,496392
+7,25,160002
+7,26,160696
+7,27,150793
+7,28,125826
+7,29,111941
+7,30,90717
+7,31,80906
+7,32,79031
+7,33,68508
+7,34,66549
+7,35,71667
+7,36,59747
+7,37,61329
+7,38,64888
+7,39,77981
+7,40,82232
+7,41,84160
+7,42,89070
+7,43,90621
+7,44,86082
+7,45,96417
+7,46,108042
+7,47,101718
+7,48,108900
+7,49,116673
+7,50,129788
+7,51,146246
+7,52,148524
+7,53,153762
+7,54,145886
+7,55,138508
+7,56,134493
+7,57,111274
+7,58,117300
+7,59,116667
+7,60,112406
+7,61,112307
+7,62,85945
+7,63,99603
+7,64,105293
+7,65,94841
+7,66,92828
+7,67,95526
+7,68,96768
+7,69,84818
+7,70,73729
+7,71,60843
+7,72,49965
+7,73,38321
+7,74,26904
+7,75,25627
+7,76,27002
+7,77,19432
+7,78,24650
+7,79,20518
+7,80,14156
+7,81,16452
+7,82,14417
+7,83,12478
+7,84,13582
+7,85,14791
+7,86,14317
+7,87,11302
+7,88,8159
+7,89,8659
+7,90,9079
+7,91,9215
+7,92,12643
+7,93,11616
+7,94,13940
+7,95,22439
+7,96,26999
+7,97,49388
+7,98,62481
+7,99,74927
+7,100,99018
+7,101,113161
+7,102,116303
+7,103,136507
+7,104,138811
+7,105,153314
+7,106,144752
+7,107,148431
+7,108,145604
+7,109,143887
+7,110,139170
+7,111,136340
+7,112,139980
+7,113,138264
+7,114,132886
+7,115,130760
+7,116,127397
+7,117,126193
+7,118,122625
+7,119,121904
+7,120,131433
+7,121,143259
+7,122,163657
+7,123,164627
+7,124,162156
+7,125,161201
+7,126,161233
+7,127,181610
+7,128,178895
+7,129,187352
+7,130,189318
+7,131,195230
+7,132,213137
+7,133,242443
+7,134,256043
+7,135,310020
+7,136,324348
+7,137,371844
+7,138,408883
+7,139,429676
+7,140,453906
+7,141,469210
+7,142,472615
+7,143,516273
+7,144,509372
+7,145,484295
+7,146,460603
+7,147,441655
+7,148,441660
+7,149,415559
+7,150,413905
+7,151,405734
+7,152,412711
+7,153,396702
+7,154,364332
+7,155,348628
+7,156,328685
+7,157,308982
+7,158,290157
+7,159,251907
+7,160,240499
+7,161,236437
+7,162,217720
+7,163,215567
+7,164,213964
+7,165,225835
+7,166,227603
+7,167,221617
+7,168,207345
+7,169,190881
+7,170,172384
+7,171,138959
+7,172,132343
+7,173,122713
+7,174,97193
+7,175,91548
+7,176,85932
+7,177,75436
+7,178,78924
+7,179,66587
+7,180,82105
+7,181,77989
+7,182,79262
+7,183,72298
+7,184,77389
+7,185,73468
+7,186,66778
+7,187,65717
+7,188,59482
+7,189,56341
+7,190,58673
+7,191,53569
+7,192,51256
+7,193,51545
+7,194,48291
+7,195,46680
+7,196,43419
+7,197,44082
+7,198,44409
+7,199,43761
+7,200,43575
+7,201,46324
+7,202,37497
+7,203,37464
+7,204,36999
+7,205,37911
+7,206,39120
+7,207,36089
+7,208,43618
+7,209,44100
+7,210,36226
+7,211,42728
+7,212,41033
+7,213,35009
+7,214,39211
+7,215,32179
+7,216,37496
+7,217,32273
+7,218,37070
+7,219,36755
+7,220,33179
+7,221,26762
+7,222,32605
+7,223,23124
+7,224,28458
+7,225,28156
+7,226,24819
+7,227,26123
+7,228,26875
+7,229,28114
+7,230,25725
+7,231,24884
+7,232,23877
+7,233,26665
+7,234,24286
+7,235,25398
+7,236,25521
+7,237,22959
+7,238,23091
+7,239,22462
+7,240,23651
+7,241,21735
+7,242,19122
+7,243,19708
+7,244,20062
+7,245,20649
+7,246,24106
+7,247,22877
+7,248,15534
+7,249,16767
+7,250,15440
+7,251,15618
+7,252,16334
+7,253,14891
+7,254,14133
+7,255,15441
+7,256,12249
+7,257,12712
+7,258,14719
+7,259,13111
+7,260,18097
+7,261,12282
+7,262,12262
+7,263,11555
+7,264,11206
+7,265,13904
+7,266,8666
+7,267,8252
+7,268,9776
+7,269,11541
+7,270,11738
+7,271,11205
+7,272,11817
+7,273,9266
+7,274,11567
+7,275,15458
+7,276,12999
+7,277,10970
+7,278,9572
+7,279,12689
+7,280,11319
+7,281,12329
+7,282,11363
+7,283,14751
+7,284,12024
+7,285,12973
+7,286,11419
+7,287,13391
+7,288,13942
+7,289,13511
+7,290,13157
+7,291,14280
+7,292,12200
+7,293,10822
+7,294,10008
+7,295,11788
+7,296,10663
+7,297,9453
+7,298,9889
+7,299,11826
+7,300,10616
+7,301,9121
+7,302,9371
+7,303,8901
+7,304,9755
+7,305,13207
+7,306,8882
+7,307,10499
+7,308,8642
+7,309,7647
+7,310,7137
+7,311,5259
+7,312,5675
+7,313,4894
+7,314,4603
+7,315,4125
+7,316,4293
+7,317,4059
+7,318,4177
+7,319,4607
+7,320,4307
+7,321,4111
+7,322,3667
+7,323,4705
+7,324,4671
+7,325,3845
+7,326,4386
+7,327,5040
+7,328,5376
+7,329,4474
+7,330,4339
+7,331,4401
+7,332,3934
+7,333,4006
+7,334,4782
+7,335,4656
+7,336,5304
+7,337,3969
+7,338,5315
+7,339,4387
+7,340,3990
+7,341,4195
+7,342,5269
+7,343,5493
+7,344,5531
+7,345,4602
+7,346,5955
+7,347,4458
+7,348,4195
+7,349,3626
+7,350,5264
+7,351,7884
+7,352,4255
+7,353,4880
+7,354,5133
+7,355,4123
+7,356,2330
+7,357,2300
+7,358,3040
+7,359,2969
+7,360,1957
+7,361,2410
+7,362,1271
+7,363,1183
+7,364,1157
+7,365,2936
+7,366,1132
+7,367,2726
+7,368,2502
+7,369,2669
+7,370,2053
+7,371,839
+7,372,1096
+7,373,356
+7,374,714
+7,375,266
+7,376,241
+7,377,170
+7,378,2156
+7,379,1812
+7,380,1191
+7,381,250
+7,382,842
+7,383,898
+7,384,2230
+7,385,936
+7,386,696
+7,387,636
+7,388,539
+7,389,637
+7,390,1007
+7,391,489
+7,392,249
+7,393,143
+7,394,777
+7,395,322
+7,396,117
+7,397,96
+7,398,186
+7,399,85
+7,400,120
+7,401,76
+7,402,60
+7,403,88
+7,404,124
+7,405,181
+7,406,98
+7,407,242
+7,408,123
+7,409,115
+7,410,119
+7,411,295
+7,412,528
+7,413,93
+7,414,93
+7,415,214
+7,416,254
+7,417,150
+7,418,185
+7,419,495
+7,420,236
+7,421,634
+7,422,571
+7,423,928
+7,424,521
+7,425,1336
+7,426,154
+7,427,79
+7,428,86
+7,429,255
+7,430,71
+7,431,290
+7,432,106
+7,433,262
+7,434,646
+7,435,272
+7,436,72
+7,437,267
+7,438,292
+7,439,140
+7,440,80
+7,441,58
+7,442,46
+7,443,42
+7,444,57
+7,445,66
+7,446,34
+7,447,42
+7,448,66
+7,449,46
+7,450,34
+7,451,36
+7,452,28
+7,453,32
+7,454,38
+7,455,36
+7,456,34
+7,457,36
+7,458,40
+7,459,36
+7,460,38
+7,461,36
+7,462,46
+7,463,51
+7,464,44
+7,465,38
+7,466,42
+7,467,52
+7,468,34
+7,469,38
+7,470,44
+7,471,40
+7,472,620
+7,473,896
+7,474,1493
+7,475,1512
+7,476,553
+7,477,286
+7,478,198
+7,479,292
+7,480,96
+7,481,56
+7,482,108
+7,483,70
+7,484,74
+7,485,46
+7,486,44
+7,487,36
+7,488,72
+7,489,52
+7,490,34
+7,491,30
+7,492,34
+7,493,56
+7,494,56
+7,495,70
+7,496,34
+7,497,32
+7,498,36
+7,499,38
+7,500,32
+7,501,50
+7,502,32
+7,503,30
+7,504,52
+7,505,46
+7,506,42
+7,507,52
+7,508,40
+7,509,48
+7,510,62
+7,511,45
+7,512,36
+7,513,46
+7,514,70
+7,515,96
+7,516,44
+7,517,74
+7,518,99
+7,519,819
+7,520,52
+7,521,46
+7,522,46
+7,523,48
+7,524,32
+7,525,53
+7,526,46
+7,527,59
+7,528,77
+7,529,57
+7,530,68
+7,531,112
+7,532,109
+7,533,256
+7,534,38
+7,535,95
+7,536,32
+7,537,34
+7,538,44
+7,539,40
+7,540,34
+7,541,38
+7,542,42
+7,543,44
+7,544,32
+7,545,28
+7,546,34
+7,547,38
+7,548,40
+7,549,42
+7,550,42
+7,551,36
+7,552,124
+7,553,46
+7,554,42
+7,555,42
+7,556,30
+7,557,34
+7,558,48
+7,559,40
+7,560,44
+7,561,48
+7,562,34
+7,563,40
+7,564,34
+7,565,34
+7,566,52
+7,567,38
+7,568,34
+7,569,44
+7,570,54
+7,571,114
+7,572,54
+7,573,140
+7,574,54
+7,575,88
+7,576,86
+7,577,913
+7,578,616
+7,579,966
+7,580,1221
+7,581,2144
+7,582,1221
+7,583,318
+7,584,723
+7,585,311
+7,586,343
+7,587,164
+7,588,131
+7,589,113
+7,590,64
+7,591,70
+7,592,54
+7,593,49
+7,594,56
+7,595,50
+7,596,540
+7,597,110
+7,598,31
+7,599,30
+7,600,44
+7,601,40
+7,602,38
+7,603,44
+7,604,68
+7,605,48
+7,606,42
+7,607,50
+7,608,42
+7,609,32
+7,610,38
+7,611,56
+7,612,32
+7,613,46
+7,614,58
+7,615,58
+7,616,54
+7,617,54
+7,618,86
+7,619,54
+7,620,40
+7,621,52
+7,622,42
+7,623,56
+7,624,48
+7,625,58
+7,626,50
+7,627,153
+7,628,66
+7,629,42
+7,630,50
+7,631,54
+7,632,52
+7,633,46
+7,634,44
+7,635,58
+7,636,74
+7,637,38
+7,638,106
+7,639,172
+7,640,294
+7,641,101
+7,642,82
+7,643,62
+7,644,52
+7,645,58
+7,646,48
+7,647,44
+7,648,56
+7,649,44
+7,650,44
+7,651,38
+7,652,50
+7,653,42
+7,654,66
+7,655,44
+7,656,42
+7,657,48
+7,658,106
+7,659,66
+7,660,82
+7,661,48
+7,662,34
+7,663,46
+7,664,48
+7,665,36
+7,666,32
+7,667,50
+7,668,80
+7,669,52
+7,670,74
+7,671,64
+7,672,78
+7,673,286
+7,674,60
+7,675,66
+7,676,100
+7,677,48
+7,678,58
+7,679,52
+7,680,92
+7,681,58
+7,682,194
+7,683,355
+7,684,168
+7,685,169
+7,686,101
+7,687,130
+7,688,179
+7,689,189
+7,690,852
+7,691,967
+7,692,94
+7,693,90
+7,694,70
+7,695,44
+7,696,68
+7,697,46
+7,698,68
+7,699,62
+7,700,81
+7,701,56
+7,702,68
+7,703,50
+7,704,84
+7,705,180
+7,706,1244
+7,707,573
+7,708,294
+7,709,1248
+7,710,313
+7,711,186
+7,712,157
+7,713,1326
+7,714,244
+7,715,132
+7,716,714
+7,717,1942
+7,718,74
+7,719,32
+7,720,46
+7,721,18
+7,722,42
+7,723,26
+7,724,653
+7,725,761
+7,726,214
+7,727,1367
+7,728,375
+7,729,300
+7,730,201
+7,731,733
+7,732,163
+7,733,22
+7,734,26
+7,735,22
+7,736,18
+7,737,26
+7,738,30
+7,739,40
+7,740,54
+7,741,12
+7,742,18
+7,743,12
+7,744,28
+7,745,28
+7,746,36
+7,747,26
+7,748,24
+7,749,32
+7,750,328
+7,751,14
+7,752,34
+7,753,20
+7,754,22
+7,755,14
+7,756,24
+7,757,20
+7,758,16
+7,759,24
+7,760,18
+7,761,14
+7,762,26
+7,763,24
+7,764,28
+7,765,20
+7,766,22
+7,767,20
+7,768,12
+7,769,20
+7,770,20
+7,771,16
+7,772,16
+7,773,22
+7,774,24
+7,775,18
+7,776,24
+7,777,24
+7,778,20
+7,779,12
+7,780,20
+7,781,18
+7,782,16
+7,783,44
+7,784,34
+7,785,26
+7,786,22
+7,787,22
+7,788,26
+7,789,22
+7,790,38
+7,791,20
+7,792,24
+7,793,20
+7,794,24
+7,795,16
+7,796,34
+7,797,16
+7,798,22
+7,799,26
+7,800,34
+7,801,32
+7,802,24
+7,803,26
+7,804,52
+7,805,42
+7,806,74
+7,807,814
+7,808,401
+7,809,331
+7,810,402
+7,811,246
+7,812,104
+7,813,160
+7,814,40
+7,815,20
+7,816,78
+7,817,38
+7,818,214
+7,819,20
+7,820,488
+7,821,821
+7,822,34
+7,823,441
+7,824,761
+7,825,468
+7,826,242
+7,827,642
+7,828,488
+7,829,250
+7,830,39
+7,831,48
+7,832,186
+7,833,162
+7,834,28
+7,835,240
+7,836,96
+7,837,247
+7,838,286
+7,839,327
+7,840,50
+7,841,34
+7,842,34
+7,843,36
+7,844,32
+7,845,23
+7,846,38
+7,847,22
+7,848,26
+7,849,28
+7,850,22
+7,851,28
+7,852,30
+7,853,26
+7,854,30
+7,855,29
+7,856,33
+7,857,66
+7,858,250
+7,859,150
+7,860,106
+7,861,62
+7,862,28
+7,863,18
+7,864,22
+7,865,24
+7,866,38
+7,867,28
+7,868,42
+7,869,60
+7,870,45
+7,871,37
+7,872,80
+7,873,29
+7,874,24
+7,875,32
+7,876,22
+7,877,38
+7,878,34
+7,879,36
+7,880,28
+7,881,16
+7,882,22
+7,883,16
+7,884,26
+7,885,14
+7,886,28
+7,887,30
+7,888,30
+7,889,54
+7,890,22
+7,891,22
+7,892,26
+7,893,16
+7,894,48
+7,895,20
+7,896,38
+7,897,28
+7,898,20
+7,899,16
+7,900,16
+7,901,24
+7,902,24
+7,903,65
+7,904,38
+7,905,42
+7,906,24
+7,907,26
+7,908,30
+7,909,42
+7,910,30
+7,911,34
+7,912,26
+7,913,26
+7,914,32
+7,915,20
+7,916,30
+7,917,54
+7,918,66
+7,919,60
+7,920,75
+7,921,38
+7,922,68
+7,923,96
+7,924,52
+7,925,47
+7,926,52
+7,927,64
+7,928,48
+7,929,47
+7,930,46
+7,931,42
+7,932,30
+7,933,54
+7,934,262
+7,935,144
+7,936,44
+7,937,50
+7,938,50
+7,939,44
+7,940,32
+7,941,28
+7,942,30
+7,943,24
+7,944,40
+7,945,32
+7,946,20
+7,947,58
+7,948,26
+7,949,38
+7,950,72
+7,951,69
+7,952,90
+7,953,59
+7,954,241
+7,955,84
+7,956,44
+7,957,46
+7,958,16
+7,959,48
+7,960,116
+7,961,48
+7,962,66
+7,963,44
+7,964,44
+7,965,38
+7,966,80
+7,967,78
+7,968,68
+7,969,865
+7,970,194
+7,971,232
+7,972,130
+7,973,626
+7,974,284
+7,975,144
+7,976,212
+7,977,788
+7,978,324
+7,979,2275
+7,980,921
+7,981,359
+7,982,221
+7,983,134
+7,984,536
+7,985,2205
+7,986,801
+7,987,387
+7,988,44
+7,989,435
+7,990,421
+7,991,406
+7,992,1200
+7,993,566
+7,994,1065
+7,995,931
+7,996,520
+7,997,1338
+7,998,692
+7,999,60
+7,1000,24
+7,1001,160
+7,1002,530
+7,1003,102
+7,1004,24
+7,1005,27
+7,1006,152
+7,1007,100
+7,1008,587
+7,1009,239
+7,1010,80
+7,1011,83
+7,1012,53
+7,1013,144
+7,1014,674
+7,1015,171
+7,1016,260
+7,1017,115
+7,1018,34
+7,1019,168
+7,1020,22
+7,1021,20
+7,1022,106
+7,1023,505
+7,1024,642
+7,1025,69
+7,1026,38
+7,1027,46
+7,1028,33
+7,1029,22
+7,1030,60
+7,1031,94
+7,1032,49
+7,1033,79
+7,1034,76
+7,1035,90
+7,1036,221
+7,1037,594
+7,1038,687
+7,1039,80
+7,1040,779
+7,1041,116
+7,1042,268
+7,1043,233
+7,1044,356
+7,1045,258
+7,1046,991
+7,1047,148
+7,1048,162
+7,1049,313
+7,1050,126
+7,1051,62
+7,1052,48
+7,1053,24
+7,1054,26
+7,1055,18
+7,1056,14
+7,1057,18
+7,1058,52
+7,1059,597
+7,1060,51
+7,1061,181
+7,1062,164
+7,1063,305
+7,1064,415
+7,1065,823
+7,1066,1568
+7,1067,632
+7,1068,231
+7,1069,1154
+7,1070,642
+7,1071,95
+7,1072,10
+7,1073,4
+7,1074,123
+7,1075,10
+6,1,12779719
+6,2,9420704
+6,3,6823880
+6,4,3813431
+6,5,1923477
+6,6,948441
+6,8,242508
+6,7,470696
+6,18,42655
+6,21,36156
+6,23,41987
+6,24,53980
+6,14,59173
+6,11,96127
+6,9,161100
+6,16,49021
+6,12,80467
+6,13,66406
+6,15,51028
+6,20,35566
+6,22,36350
+6,10,118968
+6,17,44071
+6,19,39464
+6,26,68972
+6,27,63627
+6,28,60845
+6,29,56343
+6,31,51060
+6,33,57694
+6,36,62236
+6,25,62721
+6,32,51085
+6,35,62302
+6,37,59724
+6,38,68148
+6,40,92937
+6,34,59881
+6,30,52438
+6,39,79312
+6,42,121745
+6,43,124850
+6,47,144234
+6,49,149472
+6,50,167053
+6,51,175398
+6,53,170888
+6,55,151870
+6,56,137510
+6,57,134547
+6,59,145764
+6,61,138039
+6,62,133915
+6,63,126882
+6,45,143433
+6,46,142103
+6,48,147424
+6,41,113114
+6,44,128564
+6,64,131218
+6,66,117842
+6,68,104156
+6,70,76358
+6,72,51973
+6,58,141129
+6,69,92345
+6,74,36422
+6,76,24844
+6,79,19058
+6,81,20863
+6,83,16164
+6,85,15911
+6,87,17507
+6,89,11114
+6,91,12559
+6,93,13241
+6,95,24410
+6,97,56307
+6,99,89141
+6,100,116068
+6,101,138566
+6,54,163333
+6,60,146264
+6,52,173792
+6,77,23376
+6,82,21133
+6,94,20982
+6,96,41112
+6,98,73443
+6,102,164302
+6,113,199056
+6,115,185850
+6,65,127121
+6,80,25933
+6,78,20879
+6,84,18149
+6,86,16947
+6,88,13109
+6,92,10456
+6,71,62205
+6,73,40810
+6,75,31671
+6,67,110201
+6,103,180013
+6,105,213794
+6,107,212326
+6,109,215868
+6,111,198191
+6,104,200443
+6,114,192084
+6,90,12263
+6,106,204463
+6,108,221366
+6,110,210307
+6,116,179807
+6,117,168265
+6,119,176721
+6,121,196675
+6,112,202117
+6,123,216556
+6,125,205652
+6,122,212639
+6,124,213118
+6,118,170066
+6,120,186730
+6,126,211052
+6,127,208950
+6,128,201998
+6,129,186166
+6,130,166072
+6,131,160382
+6,132,168142
+6,133,175706
+6,134,193349
+6,135,222447
+6,136,262851
+6,137,309837
+6,138,369872
+6,139,402368
+6,140,434738
+6,141,483284
+6,142,517667
+6,143,537725
+6,144,562243
+6,145,561738
+6,146,551246
+6,147,526495
+6,148,507855
+6,149,479882
+6,150,459163
+6,151,461084
+6,152,446162
+6,153,421914
+6,154,403570
+6,155,371253
+6,156,370078
+6,157,343273
+6,158,328105
+6,159,291504
+6,160,282096
+6,161,262154
+6,162,249168
+6,163,248177
+6,164,247587
+6,165,241443
+6,166,258374
+6,167,261355
+6,168,249080
+6,169,224534
+6,170,213427
+6,171,178030
+6,172,154003
+6,173,132228
+6,174,108650
+6,175,99426
+6,176,94000
+6,177,86420
+6,178,77872
+6,179,84316
+6,180,92088
+6,181,96747
+6,182,95241
+6,183,91031
+6,184,84473
+6,185,82572
+6,186,75287
+6,187,70215
+6,188,55217
+6,189,51939
+6,190,40583
+6,191,38739
+6,192,35612
+6,193,32249
+6,194,28893
+6,195,27577
+6,196,22775
+6,197,21218
+6,198,17301
+6,199,16965
+6,200,13723
+6,201,14096
+6,202,15493
+6,203,13717
+6,204,13892
+6,205,15542
+6,206,14200
+6,207,15195
+6,208,16771
+6,209,16976
+6,210,15838
+6,211,16999
+6,212,15598
+6,213,13057
+6,214,12504
+6,215,13241
+6,216,13409
+6,217,11716
+6,218,13308
+6,219,10380
+6,220,11263
+6,221,9979
+6,222,10318
+6,223,9732
+6,224,10022
+6,225,8934
+6,226,11047
+6,227,10037
+6,228,11625
+6,229,10913
+6,230,9852
+6,231,9183
+6,232,8047
+6,233,7352
+6,234,6703
+6,235,6830
+6,236,7442
+6,237,8318
+6,238,7497
+6,239,9032
+6,240,10588
+6,241,7610
+6,242,6547
+6,243,5574
+6,244,6260
+6,245,6171
+6,246,6638
+6,247,5649
+6,248,7212
+6,249,5732
+6,250,6019
+6,251,5264
+6,252,4030
+6,253,3974
+6,254,4829
+6,255,3921
+6,256,2937
+6,257,3075
+6,258,3532
+6,259,4057
+6,260,3511
+6,261,2724
+6,262,3231
+6,263,2523
+6,264,2475
+6,265,2774
+6,266,1806
+6,267,1955
+6,268,3170
+6,269,3938
+6,270,3066
+6,271,3610
+6,272,4471
+6,273,4259
+6,274,5173
+6,275,4698
+6,276,4340
+6,277,5176
+6,278,4431
+6,279,5004
+6,280,4539
+6,281,4668
+6,282,4078
+6,283,4563
+6,284,4322
+6,285,4023
+6,286,3879
+6,287,3641
+6,288,2704
+6,289,3519
+6,290,2433
+6,291,3659
+6,292,4904
+6,293,4040
+6,294,3427
+6,295,2829
+6,296,3282
+6,297,3821
+6,298,3931
+6,299,3390
+6,300,4163
+6,301,3591
+6,302,3117
+6,303,3551
+6,304,2918
+6,305,3007
+6,306,2734
+6,307,2870
+6,308,2961
+6,309,2532
+6,310,1602
+6,311,1484
+6,312,1637
+6,313,1374
+6,314,1536
+6,315,2499
+6,316,1622
+6,317,1761
+6,318,1919
+6,319,1753
+6,320,2340
+6,321,1365
+6,322,1097
+6,323,1558
+6,324,863
+6,325,1247
+6,326,1542
+6,327,1485
+6,328,1024
+6,329,1809
+6,330,1321
+6,331,1444
+6,332,967
+6,333,1048
+6,334,1486
+6,335,1391
+6,336,1154
+6,337,1372
+6,338,1071
+6,339,828
+6,340,748
+6,341,1518
+6,342,842
+6,343,1321
+6,344,1055
+6,345,1881
+6,346,1425
+6,347,1034
+6,348,1102
+6,349,1048
+6,350,841
+6,351,1178
+6,352,1377
+6,353,1455
+6,354,1359
+6,355,1482
+6,356,930
+6,357,619
+6,358,618
+6,359,868
+6,360,921
+6,361,294
+6,362,280
+6,363,535
+6,364,353
+6,365,456
+6,366,474
+6,367,410
+6,368,444
+6,369,434
+6,370,460
+6,371,522
+6,372,272
+6,373,198
+6,374,135
+6,375,94
+6,376,44
+6,377,50
+6,378,182
+6,379,124
+6,380,34
+6,381,170
+6,382,750
+6,383,803
+6,384,1857
+6,385,784
+6,386,597
+6,387,588
+6,388,438
+6,389,324
+6,390,876
+6,391,324
+6,392,182
+6,393,209
+6,394,84
+6,395,174
+6,396,167
+6,397,90
+6,398,140
+6,399,58
+6,400,86
+6,401,94
+6,402,122
+6,403,80
+6,404,136
+6,405,169
+6,406,102
+6,407,122
+6,408,138
+6,409,94
+6,410,168
+6,411,429
+6,412,149
+6,413,111
+6,414,110
+6,415,136
+6,416,286
+6,417,430
+6,418,364
+6,419,954
+6,420,1038
+6,421,1270
+6,422,1518
+6,423,1912
+6,424,1921
+6,425,486
+6,426,30
+6,427,28
+6,428,32
+6,429,58
+6,430,256
+6,431,263
+6,432,52
+6,433,620
+6,434,632
+6,435,62
+6,436,384
+6,437,431
+6,438,136
+6,439,20
+6,440,14
+6,441,12
+6,442,24
+6,443,24
+6,444,22
+6,445,24
+6,446,12
+6,447,4
+6,448,16
+6,449,4
+6,454,2
+6,455,4
+6,457,2
+6,459,2
+6,460,2
+6,462,4
+6,463,8
+6,464,6
+6,465,2
+6,470,2
+6,471,2
+6,472,610
+6,473,1036
+6,474,946
+6,475,1634
+6,476,548
+6,477,302
+6,478,175
+6,479,208
+6,480,72
+6,481,28
+6,482,26
+6,483,18
+6,484,22
+6,485,8
+6,486,2
+6,487,4
+6,488,18
+6,489,14
+6,490,2
+6,491,4
+6,493,8
+6,494,8
+6,495,26
+6,496,4
+6,500,2
+6,502,4
+6,503,8
+6,505,10
+6,506,4
+6,507,10
+6,508,2
+6,509,2
+6,510,2
+6,511,4
+6,512,10
+6,513,24
+6,514,28
+6,515,62
+6,516,34
+6,517,58
+6,518,38
+6,519,32
+6,520,2
+6,522,18
+6,524,6
+6,525,20
+6,526,20
+6,527,20
+6,528,26
+6,529,32
+6,530,86
+6,531,104
+6,532,86
+6,533,74
+6,534,44
+6,535,44
+6,536,12
+6,537,6
+6,539,4
+6,540,2
+6,541,4
+6,542,4
+6,543,2
+6,544,2
+6,545,6
+6,546,2
+6,547,2
+6,548,2
+6,549,8
+6,550,2
+6,551,2
+6,552,4
+6,553,12
+6,554,4
+6,555,6
+6,556,2
+6,558,6
+6,559,4
+6,560,6
+6,561,2
+6,563,4
+6,564,2
+6,565,12
+6,566,8
+6,567,4
+6,568,6
+6,569,2
+6,570,8
+6,571,38
+6,572,40
+6,573,22
+6,574,36
+6,575,36
+6,576,46
+6,577,152
+6,578,186
+6,579,312
+6,580,332
+6,581,366
+6,582,334
+6,583,329
+6,584,371
+6,585,268
+6,586,213
+6,587,102
+6,588,48
+6,589,20
+6,590,22
+6,591,18
+6,592,34
+6,593,44
+6,594,36
+6,595,20
+6,596,12
+6,597,12
+6,598,8
+6,599,2
+6,602,4
+6,604,4
+6,605,10
+6,606,4
+6,608,2
+6,609,4
+6,611,6
+6,612,2
+6,615,6
+6,616,2
+6,617,2
+6,618,42
+6,619,2
+6,620,4
+6,621,4
+6,622,16
+6,624,10
+6,625,4
+6,626,10
+6,627,10
+6,628,6
+6,629,2
+6,630,4
+6,631,26
+6,632,26
+6,633,25
+6,634,28
+6,635,12
+6,636,36
+6,637,22
+6,638,66
+6,639,254
+6,640,362
+6,641,86
+6,642,50
+6,643,62
+6,644,6
+6,645,4
+6,646,6
+6,647,12
+6,648,4
+6,649,2
+6,650,4
+6,651,2
+6,652,12
+6,653,4
+6,654,10
+6,655,20
+6,656,6
+6,657,16
+6,658,82
+6,659,38
+6,660,44
+6,661,12
+6,662,4
+6,663,3
+6,664,8
+6,665,12
+6,666,6
+6,667,10
+6,668,16
+6,669,6
+6,670,14
+6,671,20
+6,672,14
+6,673,40
+6,674,10
+6,675,22
+6,676,4
+6,677,10
+6,679,18
+6,680,30
+6,681,10
+6,682,202
+6,683,322
+6,684,80
+6,685,68
+6,686,120
+6,687,116
+6,688,128
+6,689,184
+6,690,196
+6,691,180
+6,692,166
+6,693,118
+6,694,102
+6,695,46
+6,696,40
+6,697,10
+6,698,32
+6,699,20
+6,700,25
+6,701,43
+6,702,28
+6,703,6
+6,704,32
+6,705,176
+6,706,234
+6,707,368
+6,708,264
+6,709,290
+6,710,162
+6,711,232
+6,712,174
+6,713,125
+6,714,176
+6,715,120
+6,716,62
+6,717,64
+6,718,76
+6,719,68
+6,720,18
+6,721,8
+6,722,34
+6,723,38
+6,724,148
+6,725,124
+6,726,182
+6,727,335
+6,728,396
+6,729,349
+6,730,290
+6,731,216
+6,732,100
+6,733,20
+6,734,20
+6,735,2
+6,736,12
+6,737,8
+6,738,20
+6,739,10
+6,740,2
+6,742,2
+6,743,2
+6,744,2
+6,745,4
+6,746,12
+6,747,6
+6,748,2
+6,749,2
+6,751,4
+6,752,2
+6,753,2
+6,755,6
+6,756,6
+6,758,2
+6,775,2
+6,776,2
+6,782,16
+6,783,2
+6,784,2
+6,785,4
+6,797,2
+6,803,2
+6,804,24
+6,805,36
+6,806,42
+6,807,214
+6,808,306
+6,809,306
+6,810,461
+6,811,244
+6,812,138
+6,813,164
+6,814,56
+6,815,44
+6,816,40
+6,817,24
+6,819,2
+6,820,10
+6,821,148
+6,822,167
+6,823,554
+6,824,468
+6,825,690
+6,826,512
+6,827,749
+6,828,476
+6,829,55
+6,830,36
+6,831,62
+6,832,44
+6,833,298
+6,834,244
+6,835,430
+6,836,180
+6,837,341
+6,838,184
+6,839,107
+6,840,14
+6,841,6
+6,842,17
+6,843,8
+6,844,8
+6,845,16
+6,846,24
+6,847,6
+6,848,18
+6,849,2
+6,850,6
+6,851,4
+6,852,2
+6,854,2
+6,855,6
+6,856,23
+6,857,56
+6,858,260
+6,859,180
+6,860,134
+6,861,12
+6,862,4
+6,865,4
+6,867,8
+6,868,12
+6,869,20
+6,870,18
+6,871,12
+6,872,58
+6,873,2
+6,874,2
+6,876,2
+6,877,2
+6,878,2
+6,879,2
+6,880,2
+6,883,2
+6,886,4
+6,887,26
+6,888,12
+6,889,28
+6,890,4
+6,891,2
+6,904,2
+6,905,8
+6,908,2
+6,909,10
+6,910,6
+6,911,20
+6,914,8
+6,915,4
+6,916,6
+6,917,14
+6,918,28
+6,919,22
+6,920,22
+6,921,16
+6,922,26
+6,923,36
+6,924,22
+6,925,43
+6,926,33
+6,927,20
+6,928,22
+6,929,32
+6,930,10
+6,931,6
+6,933,4
+6,934,12
+6,935,22
+6,936,16
+6,937,8
+6,938,2
+6,939,14
+6,940,5
+6,941,2
+6,942,4
+6,943,2
+6,944,4
+6,948,2
+6,949,16
+6,950,52
+6,951,52
+6,952,78
+6,953,70
+6,954,64
+6,955,96
+6,956,58
+6,957,8
+6,958,10
+6,959,8
+6,960,40
+6,961,10
+6,962,22
+6,963,4
+6,964,14
+6,965,14
+6,966,60
+6,967,82
+6,968,50
+6,969,148
+6,970,294
+6,971,172
+6,972,172
+6,973,646
+6,974,146
+6,975,212
+6,976,455
+6,977,276
+6,978,466
+6,979,252
+6,980,294
+6,981,272
+6,982,212
+6,983,273
+6,984,438
+6,985,200
+6,986,214
+6,987,80
+6,988,22
+6,989,94
+6,990,62
+6,991,70
+6,992,120
+6,993,138
+6,994,332
+6,995,124
+6,996,345
+6,997,112
+6,998,102
+6,999,88
+6,1000,48
+6,1001,53
+6,1002,242
+6,1003,90
+6,1004,24
+6,1005,32
+6,1006,36
+6,1007,64
+6,1008,46
+6,1009,30
+6,1010,22
+6,1011,29
+6,1012,52
+6,1013,36
+6,1014,88
+6,1015,62
+6,1016,37
+6,1017,26
+6,1018,28
+6,1019,8
+6,1020,8
+6,1021,28
+6,1022,32
+6,1023,12
+6,1024,10
+6,1025,26
+6,1026,2
+6,1027,4
+6,1028,12
+6,1029,6
+6,1030,10
+6,1031,28
+6,1032,12
+6,1033,26
+6,1034,26
+6,1035,36
+6,1036,58
+6,1037,91
+6,1038,106
+6,1039,66
+6,1040,14
+6,1041,26
+6,1042,104
+6,1043,36
+6,1044,12
+6,1045,20
+6,1046,30
+6,1047,12
+6,1048,22
+6,1049,8
+6,1050,6
+6,1051,8
+6,1052,10
+6,1053,2
+6,1054,6
+6,1055,2
+6,1056,13
+6,1057,26
+6,1058,22
+6,1059,20
+6,1060,12
+6,1061,40
+6,1062,68
+6,1063,144
+6,1064,234
+6,1065,246
+6,1066,420
+6,1067,182
+6,1068,174
+6,1069,120
+6,1070,56
+6,1071,18
+6,1072,4
+6,1073,8
+6,1074,2
+6,1075,2
+6,1076,2
+4,1,4093792
+4,2,2502612
+4,3,1835882
+4,4,995909
+4,5,492680
+4,6,232336
+4,7,107527
+4,8,52418
+4,17,5681
+4,10,20818
+4,16,6575
+4,19,4528
+4,13,9820
+4,18,5096
+4,21,3567
+4,23,2848
+4,25,2658
+4,28,2271
+4,9,29293
+4,11,14783
+4,14,7959
+4,12,11859
+4,24,3130
+4,20,3992
+4,22,3134
+4,26,2645
+4,15,7297
+4,27,2327
+4,30,1323
+4,32,1061
+4,35,701
+4,36,622
+4,37,745
+4,40,524
+4,41,298
+4,48,93
+4,49,92
+4,29,1776
+4,31,1148
+4,33,934
+4,34,808
+4,39,325
+4,44,219
+4,47,117
+4,42,456
+4,46,123
+4,50,188
+4,51,365
+4,38,379
+4,60,57
+4,102,17
+4,55,61
+4,43,423
+4,45,129
+4,52,91
+4,56,45
+4,54,48
+4,68,20
+4,69,23
+4,75,27
+4,76,29
+4,113,19
+4,114,8
+4,64,43
+4,53,60
+4,81,16
+4,58,46
+4,65,26
+4,79,18
+4,80,22
+4,88,18
+4,95,12
+4,96,15
+4,61,44
+4,57,38
+4,83,7
+4,91,10
+4,77,15
+4,62,29
+4,119,17
+4,90,8
+4,98,45
+4,67,26
+4,73,15
+4,74,29
+4,94,14
+4,66,12
+4,71,22
+4,63,36
+4,86,8
+4,59,60
+4,109,29
+4,101,31
+4,78,35
+4,1024,4
+4,1031,6
+4,70,8
+4,1032,2
+4,82,7
+4,84,9
+4,85,17
+4,87,4
+4,89,6
+4,92,1
+4,93,10
+4,97,16
+4,99,16
+4,100,20
+4,103,30
+4,104,30
+4,105,24
+4,106,18
+4,107,37
+4,108,19
+4,110,12
+4,111,22
+4,112,9
+4,115,12
+4,116,14
+4,117,39
+4,118,25
+4,120,32
+4,121,30
+4,122,23
+4,123,94
+4,124,89
+4,125,83
+4,126,108
+4,127,180
+4,128,161
+4,129,77
+4,130,132
+4,131,83
+4,1044,4
+4,132,501
+4,133,24
+4,134,19
+4,135,44
+4,136,10
+4,137,15
+4,138,12
+4,139,17
+4,140,21
+4,141,20
+4,142,36
+4,143,45
+4,144,104
+4,145,391
+4,146,372
+4,147,418
+4,148,423
+4,149,909
+4,150,1051
+4,151,1267
+4,152,1319
+4,153,1529
+4,154,791
+4,155,780
+4,156,1445
+4,157,951
+4,158,357
+4,159,655
+4,160,434
+4,161,349
+4,162,398
+4,163,558
+4,164,304
+4,165,248
+4,166,116
+4,167,218
+4,168,128
+4,169,181
+4,170,201
+4,171,156
+4,172,79
+4,173,14
+4,174,17
+4,175,19
+4,176,195
+4,177,18
+4,178,5
+4,179,208
+4,180,1
+4,181,13
+4,182,7
+4,183,2
+4,186,11
+4,187,1
+4,188,7
+4,189,4
+4,190,6
+4,191,9
+4,1025,2
+4,192,1
+4,193,2
+4,194,2
+4,195,2
+4,196,2
+4,199,4
+4,200,2
+4,202,7
+4,203,2
+4,205,9
+4,208,9
+4,210,7
+4,211,6
+4,213,2
+4,214,2
+4,215,2
+4,216,13
+4,1026,2
+4,217,20
+4,218,7
+4,221,2
+4,222,2
+4,224,2
+4,225,5
+4,228,2
+4,229,2
+4,232,2
+4,237,2
+4,1027,2
+4,250,4
+4,251,5
+4,252,6
+4,253,4
+4,254,2
+4,259,2
+4,262,1
+4,274,3
+4,275,2
+4,286,2
+4,287,3
+4,290,4
+4,291,4
+4,293,1
+4,297,1
+4,307,2
+4,339,2
+4,349,1
+4,351,1
+4,354,2
+4,357,2
+4,72,27
+4,365,2
+4,382,2
+4,384,6
+4,388,2
+4,405,2
+4,424,2
+4,672,2
+4,705,2
+4,764,2
+4,766,2
+4,778,2
+4,824,4
+4,826,12
+4,872,2
+4,925,2
+4,935,2
+4,970,2
+4,1023,4
+8,2,843267
+8,4,254514
+8,3,498017
+8,6,56607
+8,7,25818
+8,13,2575
+8,14,2318
+8,8,12388
+8,1,1960235
+8,15,1860
+8,5,122962
+8,12,2828
+8,20,1661
+8,21,1625
+8,16,1897
+8,17,1856
+8,22,1420
+8,23,1404
+8,32,643
+8,33,612
+8,9,7180
+8,10,4938
+8,18,1748
+8,19,1617
+8,26,1158
+8,27,1036
+8,34,479
+8,35,474
+8,38,298
+8,40,199
+8,42,140
+8,49,56
+8,11,3388
+8,24,1252
+8,25,1171
+8,29,868
+8,30,828
+8,28,948
+8,39,208
+8,31,692
+8,36,412
+8,41,176
+8,45,64
+8,46,80
+8,67,8
+8,37,332
+8,43,130
+8,101,4
+8,102,2
+8,59,20
+8,55,16
+8,56,12
+8,60,14
+8,62,6
+8,63,8
+8,53,18
+8,54,24
+8,47,60
+8,48,64
+8,44,110
+8,66,10
+8,51,22
+8,68,8
+8,69,4
+8,61,10
+8,84,8
+8,85,14
+8,65,14
+8,80,2
+8,78,4
+8,50,30
+8,88,4
+8,89,6
+8,112,2
+8,113,2
+8,57,15
+8,64,8
+8,90,4
+8,99,6
+8,100,4
+8,74,2
+8,75,6
+8,72,6
+8,73,2
+8,52,16
+8,76,10
+8,83,4
+8,58,20
+8,97,4
+8,98,12
+8,71,6
+8,95,2
+8,106,4
+8,120,2
+8,121,2
+8,110,6
+8,93,6
+8,94,4
+8,82,2
+8,77,2
+8,91,6
+8,92,6
+8,86,4
+8,111,4
+8,70,2
+8,107,2
+-1,1,25653
+-1,2,6717
+-1,3,5030
+-1,4,3221
+-1,7,387
+-1,6,650
+-1,5,1343
+-1,9,257
+-1,10,179
+-1,13,88
+-1,14,79
+-1,15,485
+-1,8,361
+-1,11,111
+-1,12,132
+-1,17,407
+-1,16,405
+-1,19,165
+-1,18,171
+-1,22,43
+-1,27,2
+-1,28,36
+-1,34,2
+-1,39,52
+-1,42,47
+-1,45,2
+-1,20,157
+-1,21,75
+-1,23,60
+-1,25,23
+-1,32,23
+-1,36,35
+-1,41,22
+-1,24,8
+-1,26,247
+-1,29,14
+-1,30,52
+-1,33,6
+-1,35,21
+-1,38,2
+-1,40,20
+-1,43,98
+-1,54,31
+-1,58,37
+-1,70,2
+-1,75,6
+-1,76,1
+-1,77,3
diff --git a/figure_8/figure8-cd-only.py b/figure_8/figure8-cd-only.py
index 02835ed4..691ba902 100755
--- a/figure_8/figure8-cd-only.py
+++ b/figure_8/figure8-cd-only.py
@@ -132,7 +132,9 @@ def for_each_joined(x):
     machine_id = x[0]
     ts = x[1]
 
+    ts = filter(lambda t: t.time is not None, ts);
     ts = sorted(ts, key=lambda x: x.time)
+
     last_req_by_id = {} # map taskid -> last known req [cpu, ram] (data removed when task terminates)
     
     cpu_reservs_by_id = {}