maggicl/bachelorThesis
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

more 7c results

Browse source
This commit is contained in:
Claudio Maggioni 2021-04-19 08:44:46 +00:00
parent 69e83bc45f
commit a43a8fb26f
4 changed files with 2464 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

556
figure_7/b_figure7c.csv Normal file
View file

@ -0,0 +1,556 @@
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
1 term n_exec count
2 7 1 498733861
3 7 2 266766539
4 7 3 216626140
5 7 4 106043583
6 7 5 56026259
7 7 6 27762304
8 7 7 15408172
9 7 8 9223733
10 7 9 5918943
11 7 10 3660428
12 7 11 2855776
13 7 12 1986877
14 7 13 1376429
15 7 14 1054646
16 7 15 832841
17 7 16 563854
18 7 18 325820
19 7 20 182026
20 7 22 139503
21 7 23 116865
22 7 19 269394
23 7 17 465087
24 7 21 156782
25 7 24 97460
26 7 26 76692
27 7 25 86820
28 7 27 91231
29 7 28 68302
30 7 29 58154
31 7 30 44277
32 7 31 46677
33 7 32 44949
34 7 33 41246
35 7 34 32858
36 7 35 26365
37 7 36 33253
38 7 37 23716
39 7 38 21322
40 7 39 39956
41 7 40 26976
42 7 41 16597
43 7 42 25493
44 7 43 19157
45 7 44 11092
46 7 45 15847
47 7 46 11311
48 7 47 9053
49 7 48 6537
50 7 49 5156
51 7 50 7802
52 7 51 9023
53 7 52 3917
54 7 53 3138
55 7 54 3111
56 7 55 7793
57 7 56 3568
58 7 57 3812
59 7 58 1811
60 7 59 1678
61 7 60 1347
62 7 61 1304
63 7 62 1057
64 7 63 2336
65 7 64 3094
66 7 65 807
67 7 66 741
68 7 67 527
69 7 68 498
70 7 69 443
71 7 70 448
72 7 71 415
73 7 72 342
74 7 73 358
75 7 74 267
76 7 75 283
77 7 76 250
78 7 77 219
79 7 78 193
80 7 79 195
81 7 80 172
82 7 81 155
83 7 82 149
84 7 83 150
85 7 84 124
86 7 85 143
87 7 86 142
88 7 87 129
89 7 88 116
90 7 89 87
91 7 90 73
92 7 91 82
93 7 92 92
94 7 93 86
95 7 94 70
96 7 95 59
97 7 96 67
98 7 97 45
99 7 98 44
100 7 99 44
101 7 100 46
102 7 101 48
103 7 102 37
104 7 103 43
105 7 104 39
106 7 105 33
107 7 106 32
108 7 107 38
109 7 108 24
110 7 131 6
111 7 133 5
112 7 134 8
113 7 135 4
114 7 109 30
115 7 110 25
116 7 111 31
117 7 112 23
118 7 113 23
119 7 114 31
120 7 115 24
121 7 116 13
122 7 117 4
123 7 118 8
124 7 119 13
125 7 120 4
126 7 121 3
127 7 122 6
128 7 123 8
129 7 124 7
130 7 125 4
131 7 126 7
132 7 127 2
133 7 128 4
134 7 129 2
135 7 130 10
136 7 132 4
137 6 1 34372757
138 6 2 16958321
139 6 13 110092
140 6 15 71386
141 6 17 47873
142 6 19 33414
143 6 21 22312
144 6 23 17194
145 6 14 87087
146 6 12 150808
147 6 6 1808544
148 6 5 3564306
149 6 3 13528527
150 6 20 24098
151 6 25 13395
152 6 11 209536
153 6 10 264769
154 6 8 632552
155 6 9 409410
156 6 7 1037604
157 6 4 6663698
158 6 16 55284
159 6 27 12096
160 6 35 5718
161 6 36 5246
162 6 18 35929
163 6 22 19599
164 6 24 15209
165 6 26 11527
166 6 28 9723
167 6 30 7789
168 6 32 6873
169 6 34 6194
170 6 37 4445
171 6 39 4357
172 6 42 3382
173 6 44 1980
174 6 46 2003
175 6 29 9310
176 6 31 6960
177 6 40 4179
178 6 33 7531
179 6 38 3797
180 6 41 2999
181 6 43 2321
182 6 45 2420
183 6 47 2052
184 6 48 1538
185 6 49 1359
186 6 50 1245
187 6 51 1320
188 6 52 871
189 6 53 759
190 6 55 1076
191 6 57 637
192 6 59 354
193 6 61 346
194 6 54 743
195 6 56 663
196 6 58 446
197 6 60 398
198 6 62 299
199 6 64 339
200 6 66 152
201 6 68 102
202 6 69 227
203 6 71 102
204 6 63 368
205 6 65 234
206 6 67 177
207 6 72 104
208 6 73 90
209 6 75 79
210 6 70 200
211 6 74 91
212 6 85 36
213 6 86 44
214 6 89 40
215 6 93 35
216 6 94 24
217 6 108 13
218 6 76 63
219 6 77 76
220 6 79 58
221 6 81 51
222 6 83 55
223 6 87 41
224 6 88 26
225 6 90 43
226 6 78 55
227 6 80 63
228 6 82 45
229 6 84 40
230 6 91 20
231 6 95 24
232 6 96 18
233 6 92 18
234 6 98 13
235 6 99 17
236 6 97 21
237 6 100 13
238 6 101 10
239 6 102 21
240 6 103 10
241 6 104 13
242 6 105 10
243 6 106 8
244 6 107 8
245 6 109 4
246 6 110 9
247 6 111 6
248 6 112 6
249 6 113 7
250 6 114 5
251 6 115 10
252 6 116 4
253 6 117 6
254 6 118 4
255 6 119 6
256 6 120 3
257 6 121 6
258 6 122 4
259 6 123 4
260 6 124 2
261 6 125 4
262 6 126 2
263 6 127 4
264 6 128 2
265 6 129 4
266 6 130 6
267 6 131 4
268 6 132 3
269 6 133 57
270 6 134 25
271 4 1 34716355
272 4 3 11536270
273 4 8 496274
274 4 12 105324
275 4 22 6614
276 4 21 8301
277 4 15 38702
278 4 10 216323
279 4 2 15900914
280 4 4 5657254
281 4 11 158119
282 4 14 54392
283 4 23 4552
284 4 19 12622
285 4 5 2957700
286 4 6 1447016
287 4 7 844529
288 4 9 327706
289 4 35 857
290 4 36 770
291 4 16 27767
292 4 17 24295
293 4 18 16578
294 4 24 5282
295 4 20 8847
296 4 29 2091
297 4 30 1677
298 4 31 1362
299 4 32 1159
300 4 25 3179
301 4 26 3260
302 4 27 4728
303 4 28 2437
304 4 33 1123
305 4 34 1075
306 4 37 1219
307 4 38 1144
308 4 39 757
309 4 13 72009
310 4 41 559
311 4 43 649
312 4 44 385
313 4 49 164
314 4 42 483
315 4 47 321
316 4 40 1331
317 4 46 286
318 4 48 211
319 4 50 156
320 4 51 171
321 4 67 18
322 4 45 503
323 4 74 4
324 4 53 119
325 4 56 139
326 4 58 56
327 4 52 100
328 4 62 52
329 4 61 64
330 4 54 74
331 4 55 123
332 4 59 65
333 4 64 30
334 4 66 20
335 4 57 68
336 4 72 14
337 4 68 14
338 4 70 14
339 4 76 2
340 4 63 40
341 4 90 8
342 4 94 4
343 4 60 50
344 4 71 10
345 4 73 4
346 4 69 8
347 4 89 4
348 4 77 6
349 4 78 4
350 4 100 4
351 4 108 2
352 4 65 24
353 4 92 2
354 4 87 2
355 4 104 2
356 4 75 6
357 4 84 2
358 4 79 3
359 4 81 2
360 4 107 4
361 4 115 2
362 4 105 2
363 4 114 2
364 4 86 4
365 4 88 2
366 4 93 2
367 4 101 2
368 4 83 2
369 5 1 1699191
370 5 2 1003543
371 5 3 841602
372 5 13 10184
373 5 4 418800
374 5 5 265154
375 5 6 149927
376 5 7 105835
377 5 8 66799
378 5 9 47862
379 5 25 1625
380 5 29 788
381 5 35 542
382 5 10 28143
383 5 11 16677
384 5 16 5119
385 5 12 13920
386 5 14 8440
387 5 19 3222
388 5 20 2880
389 5 30 746
390 5 34 592
391 5 37 317
392 5 39 2200
393 5 48 110
394 5 15 6157
395 5 17 4352
396 5 18 3544
397 5 23 1910
398 5 24 1880
399 5 27 1194
400 5 21 2667
401 5 22 2398
402 5 26 1556
403 5 28 926
404 5 32 718
405 5 40 890
406 5 54 43
407 5 56 55
408 5 31 985
409 5 33 632
410 5 47 114
411 5 36 569
412 5 42 437
413 5 51 77
414 5 60 36
415 5 41 268
416 5 45 343
417 5 38 371
418 5 43 272
419 5 62 20
420 5 53 51
421 5 52 56
422 5 44 163
423 5 59 30
424 5 49 112
425 5 46 187
426 5 55 49
427 5 61 32
428 5 83 4
429 5 50 81
430 5 67 14
431 5 64 20
432 5 57 26
433 5 63 14
434 5 92 2
435 5 58 36
436 5 79 3
437 5 85 2
438 5 65 11
439 5 66 11
440 5 72 7
441 5 68 5
442 5 69 2
443 5 70 5
444 5 71 3
445 5 75 7
446 5 98 1
447 5 99 1
448 5 101 2
449 5 96 2
450 5 131 2
451 5 78 4
452 5 89 2
453 5 86 2
454 5 73 2
455 5 81 6
456 5 77 4
457 5 120 2
458 5 87 2
459 5 90 2
460 5 76 2
461 5 102 2
462 8 1 19917718
463 8 2 9609279
464 8 12 62962
465 8 3 7011247
466 8 4 3474321
467 8 5 1843325
468 8 6 928290
469 8 7 538650
470 8 8 313389
471 8 9 206621
472 8 10 123750
473 8 11 90434
474 8 20 4160
475 8 22 4115
476 8 13 41667
477 8 14 33404
478 8 17 14387
479 8 24 2882
480 8 15 26033
481 8 16 17338
482 8 18 9219
483 8 19 8339
484 8 21 4699
485 8 23 3642
486 8 25 1849
487 8 26 1722
488 8 27 3291
489 8 28 1737
490 8 29 1714
491 8 40 1229
492 8 45 820
493 8 50 300
494 8 33 1284
495 8 37 1206
496 8 30 1058
497 8 35 977
498 8 34 1044
499 8 31 820
500 8 42 824
501 8 43 260
502 8 44 186
503 8 32 1126
504 8 46 368
505 8 47 324
506 8 48 266
507 8 53 40
508 8 39 1116
509 8 36 1252
510 8 38 844
511 8 49 200
512 8 51 512
513 8 52 58
514 8 41 416
515 8 54 56
516 8 57 132
517 8 58 18
518 8 59 18
519 8 61 10
520 8 68 6
521 8 72 4
522 8 73 6
523 8 56 138
524 8 63 40
525 8 71 6
526 8 55 306
527 8 67 2
528 8 66 4
529 8 70 8
530 8 78 4
531 8 82 8
532 8 64 150
533 8 65 12
534 8 62 2
535 8 60 2
536 -1 1 11667
537 -1 2 4294
538 -1 3 2372
539 -1 4 1583
540 -1 5 803
541 -1 7 304
542 -1 13 31
543 -1 6 540
544 -1 8 202
545 -1 9 142
546 -1 10 74
547 -1 11 58
548 -1 12 36
549 -1 15 19
550 -1 16 13
551 -1 17 9
552 -1 14 8
553 -1 19 2
554 -1 20 2
555 -1 31 1
556 -1 37 2

638
figure_7/c_figure7c.csv Normal file
View file

@ -0,0 +1,638 @@
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
1 term n_exec count
2 8 1 44009417
3 8 2 16106999
4 8 3 9135592
5 8 4 3843850
6 8 7 465960
7 8 8 252315
8 8 6 892274
9 8 10 93136
10 8 11 59837
11 8 15 17958
12 8 14 22401
13 8 16 14633
14 8 18 9211
15 8 17 11098
16 8 19 7552
17 8 21 6374
18 8 9 145067
19 8 12 41566
20 8 13 30891
21 8 5 1811792
22 8 20 6878
23 8 22 5144
24 8 23 4370
25 8 24 4954
26 8 25 3434
27 8 26 2885
28 8 27 2843
29 8 29 1658
30 8 31 1378
31 8 32 1078
32 8 36 428
33 8 64 9
34 8 65 8
35 8 28 2183
36 8 33 866
37 8 30 1398
38 8 34 664
39 8 35 615
40 8 38 298
41 8 39 312
42 8 40 314
43 8 41 206
44 8 42 201
45 8 46 118
46 8 47 86
47 8 44 124
48 8 45 118
49 8 53 62
50 8 54 38
51 8 37 420
52 8 50 93
53 8 51 64
54 8 48 124
55 8 59 36
56 8 43 189
57 8 61 29
58 8 67 10
59 8 68 10
60 8 56 50
61 8 57 22
62 8 55 24
63 8 70 10
64 8 86 6
65 8 87 4
66 8 78 6
67 8 81 6
68 8 105 6
69 8 106 4
70 8 52 43
71 8 88 4
72 8 73 4
73 8 60 22
74 8 69 8
75 8 75 8
76 8 76 10
77 8 89 2
78 8 49 88
79 8 71 6
80 8 63 10
81 8 62 20
82 8 58 22
83 8 74 4
84 8 84 6
85 8 85 6
86 8 93 2
87 8 95 2
88 8 96 4
89 8 97 6
90 8 79 6
91 8 101 2
92 8 102 4
93 8 103 4
94 8 77 4
95 8 104 4
96 8 66 2
97 8 98 2
98 8 83 2
99 8 119 2
100 8 120 2
101 8 90 4
102 8 91 4
103 8 82 2
104 8 80 2
105 8 109 2
106 8 110 2
107 5 1 14114250
108 5 2 8261404
109 5 3 5727828
110 5 4 3354154
111 5 7 777159
112 5 6 1219523
113 5 5 1996951
114 5 9 370257
115 5 8 515047
116 5 11 238522
117 5 10 288622
118 5 12 209238
119 5 13 184210
120 5 14 153876
121 5 15 134827
122 5 17 110198
123 5 16 126152
124 5 19 81305
125 5 20 85884
126 5 21 82310
127 5 18 90089
128 5 32 15472
129 5 35 7932
130 5 40 1740
131 5 22 79811
132 5 23 74435
133 5 29 24714
134 5 30 21725
135 5 31 19575
136 5 24 63451
137 5 25 53783
138 5 26 46161
139 5 27 39794
140 5 28 30845
141 5 33 13082
142 5 34 9947
143 5 36 5295
144 5 37 4072
145 5 38 2430
146 5 42 1274
147 5 43 925
148 5 44 635
149 5 56 50
150 5 41 1445
151 5 47 341
152 5 39 2265
153 5 45 414
154 5 57 30
155 5 59 27
156 5 53 100
157 5 60 43
158 5 52 82
159 5 50 105
160 5 46 370
161 5 48 246
162 5 49 178
163 5 51 74
164 5 63 18
165 5 65 14
166 5 70 32
167 5 92 3
168 5 96 6
169 5 105 2
170 5 107 5
171 5 108 2
172 5 120 9
173 5 124 1
174 5 54 100
175 5 62 24
176 5 71 24
177 5 74 9
178 5 84 9
179 5 112 1
180 5 67 17
181 5 76 9
182 5 80 16
183 5 109 3
184 5 55 50
185 5 82 9
186 5 83 12
187 5 99 11
188 5 102 4
189 5 110 2
190 5 66 26
191 5 61 42
192 5 68 22
193 5 64 23
194 5 75 13
195 5 78 14
196 5 58 52
197 5 72 5
198 5 94 5
199 5 95 2
200 5 88 4
201 5 98 1
202 5 101 4
203 5 89 5
204 5 79 8
205 5 85 7
206 5 73 10
207 5 138 2
208 5 142 2
209 5 86 4
210 5 87 4
211 5 69 6
212 5 77 5
213 5 100 4
214 5 103 2
215 5 115 8
216 5 125 2
217 5 127 2
218 5 97 4
219 5 131 3
220 5 132 9
221 5 81 2
222 5 90 1
223 5 104 2
224 7 1 1564108583
225 7 2 604609110
226 7 3 348073160
227 7 4 149152469
228 7 5 72952597
229 7 6 36878605
230 7 7 20211608
231 7 8 11608778
232 7 9 7123697
233 7 10 4691622
234 7 11 3159148
235 7 12 2236312
236 7 13 1637261
237 7 14 1236381
238 7 15 970293
239 7 16 793664
240 7 17 600783
241 7 18 491370
242 7 19 389308
243 7 20 372491
244 7 21 322965
245 7 22 292411
246 7 23 258985
247 7 24 312335
248 7 25 200725
249 7 27 151287
250 7 28 124994
251 7 29 101393
252 7 30 85422
253 7 31 86936
254 7 32 73943
255 7 33 52324
256 7 34 43632
257 7 36 24289
258 7 37 19053
259 7 38 15865
260 7 39 12750
261 7 40 10792
262 7 41 9603
263 7 26 173680
264 7 35 33042
265 7 42 7919
266 7 43 6437
267 7 44 4995
268 7 45 4250
269 7 46 3564
270 7 47 3482
271 7 48 2800
272 7 49 2272
273 7 50 2118
274 7 51 1556
275 7 52 1333
276 7 53 1256
277 7 54 1010
278 7 55 932
279 7 56 869
280 7 57 802
281 7 58 676
282 7 59 638
283 7 60 604
284 7 61 545
285 7 62 532
286 7 63 436
287 7 64 367
288 7 65 325
289 7 66 358
290 7 67 309
291 7 68 318
292 7 69 289
293 7 70 277
294 7 71 259
295 7 72 246
296 7 73 246
297 7 74 229
298 7 75 263
299 7 76 237
300 7 77 247
301 7 78 235
302 7 79 231
303 7 80 172
304 7 81 193
305 7 82 177
306 7 83 161
307 7 84 150
308 7 85 142
309 7 86 118
310 7 88 126
311 7 89 127
312 7 90 136
313 7 91 121
314 7 92 128
315 7 93 103
316 7 94 115
317 7 95 105
318 7 96 134
319 7 97 89
320 7 98 75
321 7 99 67
322 7 100 70
323 7 101 71
324 7 102 58
325 7 103 67
326 7 104 43
327 7 105 46
328 7 106 48
329 7 107 49
330 7 109 35
331 7 110 51
332 7 111 44
333 7 112 37
334 7 113 39
335 7 114 40
336 7 115 26
337 7 116 22
338 7 117 46
339 7 118 29
340 7 119 45
341 7 120 36
342 7 121 26
343 7 122 22
344 7 123 21
345 7 124 12
346 7 125 13
347 7 87 137
348 7 108 35
349 7 126 10
350 7 127 8
351 7 128 4
352 7 129 11
353 7 130 61
354 7 131 156
355 7 132 8
356 7 133 4
357 7 134 2
358 7 135 4
359 7 136 2
360 7 137 4
361 7 138 4
362 7 139 2
363 7 140 4
364 7 141 10
365 7 143 4
366 7 144 1
367 4 2 28562907
368 4 3 15056736
369 4 4 6409875
370 4 1 68308521
371 4 7 971025
372 4 8 593080
373 4 5 3202215
374 4 9 374264
375 4 10 253453
376 4 14 72259
377 4 13 95466
378 4 15 55351
379 4 16 42270
380 4 17 35280
381 4 6 1683099
382 4 12 126112
383 4 11 176397
384 4 18 28009
385 4 36 836
386 4 21 16308
387 4 22 14306
388 4 23 11141
389 4 29 4037
390 4 19 21811
391 4 20 19998
392 4 24 15296
393 4 25 9647
394 4 26 7324
395 4 27 5561
396 4 28 4382
397 4 30 3205
398 4 31 3925
399 4 32 3026
400 4 33 1971
401 4 38 629
402 4 39 536
403 4 34 1549
404 4 35 1193
405 4 37 727
406 4 40 431
407 4 41 482
408 4 42 381
409 4 45 174
410 4 44 252
411 4 48 157
412 4 50 111
413 4 46 208
414 4 47 181
415 4 43 339
416 4 55 61
417 4 59 35
418 4 60 9
419 4 61 39
420 4 53 60
421 4 62 20
422 4 49 140
423 4 51 139
424 4 52 84
425 4 54 80
426 4 63 22
427 4 56 35
428 4 76 8
429 4 83 6
430 4 71 8
431 4 73 12
432 4 96 1
433 4 69 6
434 4 57 40
435 4 82 2
436 4 84 2
437 4 65 12
438 4 72 10
439 4 74 3
440 4 68 13
441 4 58 32
442 4 94 4
443 4 95 7
444 4 97 4
445 4 99 2
446 4 104 2
447 4 75 4
448 4 77 3
449 4 70 8
450 4 87 2
451 4 110 4
452 4 66 14
453 4 64 7
454 4 90 1
455 4 67 6
456 4 79 2
457 4 119 2
458 4 80 2
459 4 120 1
460 4 113 2
461 4 93 1
462 6 2 38170311
463 6 3 22807164
464 6 1 99077642
465 6 7 1927260
466 6 19 61176
467 6 4 10518690
468 6 5 5569651
469 6 8 1230208
470 6 9 833263
471 6 6 3166586
472 6 10 587259
473 6 11 422758
474 6 12 313664
475 6 13 236627
476 6 17 90489
477 6 14 180954
478 6 15 143585
479 6 16 114820
480 6 18 72943
481 6 20 54607
482 6 21 48073
483 6 25 29492
484 6 26 25502
485 6 31 13030
486 6 33 9855
487 6 35 6957
488 6 37 4616
489 6 39 3265
490 6 40 2875
491 6 41 2479
492 6 23 37604
493 6 22 42837
494 6 24 36056
495 6 27 22753
496 6 28 18864
497 6 29 16429
498 6 30 14254
499 6 32 12022
500 6 34 8485
501 6 36 5715
502 6 38 3657
503 6 42 2192
504 6 44 1470
505 6 45 1353
506 6 47 1168
507 6 51 619
508 6 57 285
509 6 62 165
510 6 63 156
511 6 68 116
512 6 75 61
513 6 43 1847
514 6 46 1483
515 6 49 830
516 6 48 1085
517 6 52 489
518 6 55 355
519 6 56 303
520 6 58 237
521 6 60 200
522 6 53 626
523 6 59 223
524 6 61 218
525 6 54 461
526 6 50 694
527 6 64 122
528 6 66 129
529 6 67 109
530 6 72 77
531 6 73 52
532 6 77 69
533 6 80 44
534 6 82 38
535 6 84 47
536 6 87 24
537 6 88 43
538 6 89 24
539 6 91 35
540 6 94 24
541 6 97 20
542 6 99 17
543 6 102 19
544 6 104 24
545 6 106 14
546 6 108 20
547 6 110 17
548 6 112 14
549 6 113 12
550 6 114 12
551 6 116 4
552 6 117 6
553 6 120 12
554 6 121 2
555 6 122 7
556 6 123 4
557 6 124 8
558 6 125 3
559 6 65 114
560 6 69 88
561 6 70 76
562 6 71 75
563 6 79 55
564 6 81 59
565 6 83 44
566 6 85 33
567 6 92 32
568 6 93 32
569 6 96 23
570 6 98 20
571 6 100 26
572 6 111 9
573 6 115 10
574 6 74 64
575 6 78 49
576 6 95 40
577 6 101 15
578 6 76 57
579 6 86 36
580 6 90 26
581 6 105 3
582 6 107 9
583 6 109 12
584 6 118 8
585 6 126 6
586 6 128 7
587 6 103 3
588 6 127 2
589 6 130 2
590 6 131 5
591 6 132 2
592 6 134 2
593 6 136 2
594 6 138 2
595 6 139 2
596 6 142 2
597 6 144 2
598 -1 3 15658
599 -1 5 5344
600 -1 4 9074
601 -1 2 23321
602 -1 1 36228
603 -1 7 1738
604 -1 8 997
605 -1 9 1079
606 -1 10 492
607 -1 12 202
608 -1 6 3026
609 -1 11 303
610 -1 14 347
611 -1 16 154
612 -1 17 92
613 -1 13 246
614 -1 19 67
615 -1 15 173
616 -1 18 80
617 -1 23 64
618 -1 25 38
619 -1 26 19
620 -1 27 23
621 -1 28 14
622 -1 38 8
623 -1 22 110
624 -1 20 62
625 -1 21 64
626 -1 24 163
627 -1 32 25
628 -1 34 14
629 -1 35 16
630 -1 29 19
631 -1 30 16
632 -1 31 24
633 -1 33 13
634 -1 42 3
635 -1 56 4
636 -1 36 7
637 -1 37 2
638 -1 41 1

845
figure_7/d_figure7c.csv Normal file
View file

@ -0,0 +1,845 @@
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
1 term n_exec count
2 6 1 75658122
3 6 2 34194275
4 6 3 19433676
5 6 4 9439869
6 6 5 4906812
7 6 15 83560
8 6 18 62292
9 6 31 74443
10 6 25 95585
11 6 24 108966
12 6 14 89355
13 6 13 118008
14 6 8 788508
15 6 7 1376848
16 6 6 2445536
17 6 11 218260
18 6 12 152704
19 6 9 492587
20 6 16 77499
21 6 23 103567
22 6 26 97402
23 6 27 86726
24 6 32 61270
25 6 34 50232
26 6 35 44396
27 6 10 314828
28 6 20 75755
29 6 21 78726
30 6 22 107419
31 6 29 82237
32 6 28 86152
33 6 17 63416
34 6 19 61315
35 6 30 74349
36 6 33 67443
37 6 36 42722
38 6 37 39872
39 6 38 33931
40 6 39 32186
41 6 40 29018
42 6 41 37945
43 6 42 40596
44 6 43 35036
45 6 44 46545
46 6 45 43004
47 6 46 43436
48 6 47 38904
49 6 48 39469
50 6 49 30411
51 6 50 35398
52 6 52 29603
53 6 54 21374
54 6 56 29967
55 6 51 26402
56 6 57 25365
57 6 59 17567
58 6 61 13876
59 6 62 18196
60 6 53 24498
61 6 55 25133
62 6 58 21924
63 6 60 15550
64 6 63 17968
65 6 65 14854
66 6 66 11772
67 6 68 10289
68 6 70 10252
69 6 72 8237
70 6 73 8005
71 6 74 8546
72 6 76 7866
73 6 77 7217
74 6 78 7079
75 6 79 7017
76 6 81 7474
77 6 67 10745
78 6 69 12490
79 6 71 9471
80 6 82 7138
81 6 83 7200
82 6 85 11677
83 6 87 10206
84 6 89 6664
85 6 90 7326
86 6 91 7337
87 6 92 8330
88 6 93 4025
89 6 96 2509
90 6 98 2028
91 6 64 16492
92 6 75 9348
93 6 80 6157
94 6 84 8256
95 6 86 9333
96 6 88 7513
97 6 94 4490
98 6 95 3910
99 6 97 2323
100 6 99 1962
101 6 100 1687
102 6 101 1482
103 6 102 1798
104 6 103 1816
105 6 104 1558
106 6 105 1787
107 6 106 2133
108 6 107 2109
109 6 108 1973
110 6 109 1799
111 6 110 2253
112 6 111 1869
113 6 112 1482
114 6 113 1252
115 6 114 1195
116 6 115 904
117 6 116 774
118 6 117 822
119 6 118 952
120 6 119 886
121 6 120 804
122 6 121 781
123 6 122 1057
124 6 123 977
125 6 124 725
126 6 125 555
127 6 126 716
128 6 127 1012
129 6 128 1558
130 6 129 2688
131 6 130 3176
132 6 131 4005
133 6 132 2858
134 6 133 2728
135 6 134 1311
136 6 135 972
137 6 136 827
138 6 137 221
139 6 138 102
140 6 139 117
141 6 140 79
142 6 141 106
143 6 142 292
144 6 143 129
145 6 144 315
146 6 145 212
147 6 146 170
148 6 147 108
149 6 148 81
150 6 149 50
151 6 150 28
152 6 151 56
153 6 152 85
154 6 153 34
155 6 154 36
156 6 155 47
157 6 156 75
158 6 157 45
159 6 158 6
160 6 159 32
161 6 160 21
162 6 161 12
163 6 162 26
164 6 163 16
165 6 164 32
166 6 165 37
167 6 166 84
168 6 167 62
169 6 168 48
170 6 169 24
171 6 170 24
172 6 171 14
173 6 172 37
174 6 173 10
175 6 174 54
176 6 175 76
177 6 176 54
178 6 177 127
179 6 178 154
180 6 179 138
181 6 180 141
182 6 181 20
183 6 182 9
184 6 183 70
185 6 184 32
186 6 185 41
187 6 186 2
188 6 187 2
189 6 189 10
190 6 190 6
191 6 192 2
192 6 193 10
193 6 194 6
194 4 1 51947029
195 4 2 21377693
196 4 3 11170383
197 4 4 5236226
198 4 5 2705901
199 4 6 1391199
200 4 7 825748
201 4 9 313432
202 4 8 492859
203 4 32 17712
204 4 11 128809
205 4 17 22288
206 4 19 19902
207 4 26 32090
208 4 31 21430
209 4 10 198765
210 4 14 47710
211 4 18 19893
212 4 12 88222
213 4 13 62928
214 4 24 31707
215 4 28 26456
216 4 29 25950
217 4 15 36927
218 4 16 29665
219 4 20 28620
220 4 21 22855
221 4 22 28040
222 4 23 31587
223 4 25 29494
224 4 27 30315
225 4 33 16921
226 4 37 11449
227 4 38 10780
228 4 39 11923
229 4 45 11086
230 4 30 24501
231 4 34 12530
232 4 36 10453
233 4 41 10487
234 4 47 12836
235 4 35 10497
236 4 40 10029
237 4 42 12236
238 4 46 13265
239 4 44 11905
240 4 43 10198
241 4 48 12121
242 4 49 10901
243 4 50 11592
244 4 51 8881
245 4 52 10938
246 4 53 9459
247 4 54 8399
248 4 55 8944
249 4 56 9472
250 4 57 8128
251 4 58 8262
252 4 59 6180
253 4 60 5918
254 4 61 5421
255 4 62 6590
256 4 63 6418
257 4 64 6953
258 4 65 6503
259 4 66 4829
260 4 67 4560
261 4 68 4243
262 4 69 4804
263 4 70 3720
264 4 71 3820
265 4 72 3870
266 4 73 3670
267 4 74 3940
268 4 75 4127
269 4 76 4116
270 4 77 3472
271 4 78 2893
272 4 79 2844
273 4 80 2924
274 4 81 2906
275 4 82 2733
276 4 83 3193
277 4 84 2867
278 4 85 2842
279 4 86 3152
280 4 87 3514
281 4 88 2654
282 4 89 2465
283 4 90 2556
284 4 91 2402
285 4 92 2818
286 4 93 1624
287 4 94 1687
288 4 95 1771
289 4 96 1509
290 4 97 1544
291 4 98 1394
292 4 99 1403
293 4 100 1277
294 4 101 1046
295 4 102 1237
296 4 103 1324
297 4 104 1004
298 4 105 1015
299 4 106 1089
300 4 107 1175
301 4 108 1092
302 4 109 994
303 4 110 935
304 4 111 783
305 4 112 780
306 4 113 672
307 4 114 556
308 4 115 336
309 4 116 302
310 4 117 348
311 4 118 301
312 4 119 268
313 4 120 223
314 4 121 249
315 4 122 254
316 4 123 204
317 4 124 177
318 4 125 145
319 4 126 198
320 4 127 198
321 4 128 219
322 4 129 330
323 4 130 392
324 4 131 591
325 4 132 349
326 4 133 348
327 4 134 194
328 4 135 127
329 4 136 81
330 4 137 36
331 4 138 42
332 4 139 27
333 4 140 15
334 4 141 29
335 4 142 42
336 4 143 35
337 4 144 44
338 4 145 20
339 4 146 18
340 4 147 7
341 4 148 13
342 4 149 8
343 4 150 12
344 4 151 32
345 4 152 22
346 4 153 21
347 4 154 18
348 4 155 13
349 4 156 25
350 4 157 4
351 4 158 3
352 4 159 2
353 4 160 4
354 4 166 9
355 4 167 3
356 4 168 8
357 4 170 3
358 4 171 2
359 4 172 1
360 4 174 2
361 4 175 2
362 4 176 6
363 4 177 7
364 4 178 15
365 4 179 6
366 4 180 6
367 4 181 6
368 4 183 1
369 4 185 2
370 4 186 1
371 4 190 2
372 7 1 948025516
373 7 2 381953065
374 7 3 218813326
375 7 4 100404082
376 7 5 52510091
377 7 6 24852531
378 7 7 13794641
379 7 8 7475980
380 7 9 4483505
381 7 10 2772419
382 7 11 1787625
383 7 12 1176841
384 7 13 829848
385 7 14 628295
386 7 16 461124
387 7 17 351629
388 7 19 272606
389 7 21 273903
390 7 22 325006
391 7 23 339658
392 7 24 328158
393 7 25 281258
394 7 26 300365
395 7 27 279761
396 7 28 259420
397 7 29 268528
398 7 30 260951
399 7 32 193468
400 7 33 216017
401 7 34 161903
402 7 35 141792
403 7 36 132106
404 7 37 116057
405 7 31 234578
406 7 20 305742
407 7 18 304100
408 7 15 518093
409 7 38 108830
410 7 39 93861
411 7 40 96276
412 7 41 113624
413 7 42 130227
414 7 43 110852
415 7 44 147632
416 7 45 121147
417 7 46 118896
418 7 47 109873
419 7 48 101782
420 7 49 87107
421 7 50 100767
422 7 51 76845
423 7 52 82108
424 7 53 69862
425 7 54 64833
426 7 55 68120
427 7 56 91587
428 7 57 83425
429 7 58 70040
430 7 59 62905
431 7 60 40792
432 7 61 36021
433 7 62 48334
434 7 63 53154
435 7 64 46144
436 7 65 46843
437 7 66 35202
438 7 67 32741
439 7 68 30506
440 7 69 31079
441 7 70 27081
442 7 71 26342
443 7 72 25596
444 7 73 24206
445 7 74 22619
446 7 75 23859
447 7 76 23766
448 7 77 18995
449 7 78 18472
450 7 79 16916
451 7 80 17176
452 7 81 18138
453 7 82 16710
454 7 84 17940
455 7 85 23873
456 7 86 21878
457 7 88 19790
458 7 89 15348
459 7 90 18099
460 7 91 20387
461 7 92 19266
462 7 94 10965
463 7 95 10267
464 7 96 6660
465 7 97 6073
466 7 99 5280
467 7 83 18595
468 7 87 23837
469 7 93 10160
470 7 98 6161
471 7 100 4611
472 7 101 4086
473 7 102 4526
474 7 103 4629
475 7 104 4285
476 7 105 5190
477 7 106 5841
478 7 107 5641
479 7 108 6430
480 7 109 4918
481 7 110 5024
482 7 111 3557
483 7 112 2536
484 7 113 2083
485 7 114 2609
486 7 115 2188
487 7 116 1853
488 7 117 1384
489 7 118 1368
490 7 119 1459
491 7 120 1185
492 7 121 1854
493 7 122 2210
494 7 123 2488
495 7 124 1482
496 7 125 1439
497 7 126 1990
498 7 127 2436
499 7 128 2837
500 7 129 4657
501 7 130 5125
502 7 131 7640
503 7 132 5664
504 7 133 6312
505 7 134 3840
506 7 135 2363
507 7 136 3223
508 7 137 1047
509 7 138 591
510 7 139 490
511 7 140 402
512 7 141 549
513 7 142 669
514 7 143 480
515 7 144 979
516 7 145 764
517 7 146 675
518 7 147 532
519 7 148 376
520 7 149 271
521 7 150 166
522 7 151 107
523 7 152 182
524 7 153 89
525 7 154 116
526 7 155 104
527 7 156 168
528 7 157 146
529 7 158 70
530 7 159 169
531 7 160 196
532 7 161 88
533 7 162 37
534 7 163 101
535 7 164 180
536 7 165 276
537 7 166 452
538 7 167 390
539 7 168 279
540 7 169 168
541 7 170 149
542 7 171 113
543 7 172 162
544 7 173 133
545 7 174 210
546 7 175 289
547 7 176 207
548 7 177 179
549 7 178 309
550 7 179 318
551 7 180 354
552 7 181 90
553 7 182 67
554 7 183 240
555 7 184 235
556 7 185 182
557 7 186 57
558 7 187 50
559 7 188 28
560 7 189 40
561 7 190 32
562 7 191 5
563 7 192 20
564 7 193 42
565 7 194 36
566 7 195 48
567 5 1 5522067
568 5 3 2156695
569 5 2 3133758
570 5 4 1156927
571 5 5 721938
572 5 20 16205
573 5 15 42071
574 5 6 466519
575 5 13 59811
576 5 9 162384
577 5 8 237703
578 5 7 354147
579 5 28 3452
580 5 17 27067
581 5 19 20641
582 5 10 122386
583 5 11 94530
584 5 12 71853
585 5 14 48873
586 5 16 33542
587 5 18 18043
588 5 21 10069
589 5 22 9348
590 5 23 6295
591 5 24 5916
592 5 25 5735
593 5 26 5196
594 5 27 3887
595 5 29 2372
596 5 35 940
597 5 37 878
598 5 45 443
599 5 30 2187
600 5 31 2062
601 5 32 1855
602 5 33 1900
603 5 34 1367
604 5 38 833
605 5 42 1038
606 5 52 194
607 5 55 195
608 5 61 123
609 5 40 809
610 5 43 734
611 5 46 522
612 5 48 358
613 5 39 1083
614 5 57 231
615 5 65 124
616 5 66 81
617 5 67 124
618 5 77 59
619 5 36 750
620 5 41 851
621 5 44 719
622 5 58 141
623 5 62 160
624 5 63 169
625 5 64 115
626 5 68 94
627 5 75 97
628 5 93 39
629 5 47 369
630 5 49 275
631 5 50 226
632 5 51 243
633 5 53 207
634 5 54 193
635 5 56 188
636 5 59 145
637 5 60 148
638 5 69 136
639 5 70 97
640 5 71 87
641 5 72 95
642 5 73 95
643 5 74 80
644 5 76 70
645 5 78 62
646 5 79 64
647 5 80 34
648 5 81 36
649 5 82 44
650 5 83 53
651 5 84 39
652 5 85 56
653 5 86 45
654 5 87 55
655 5 88 44
656 5 89 28
657 5 90 27
658 5 91 73
659 5 92 31
660 5 94 19
661 5 95 32
662 5 96 62
663 5 97 20
664 5 98 33
665 5 99 10
666 5 100 78
667 5 101 10
668 5 102 15
669 5 103 147
670 5 104 11
671 5 105 9
672 5 106 11
673 5 107 11
674 5 108 12
675 5 109 10
676 5 110 10
677 5 111 7
678 5 112 9
679 5 113 7
680 5 114 9
681 5 115 8
682 5 116 18
683 5 117 15
684 5 118 17
685 5 119 11
686 5 120 8
687 5 121 7
688 5 122 11
689 5 123 11
690 5 124 13
691 5 125 16
692 5 126 13
693 5 127 32
694 5 128 24
695 5 129 20
696 5 130 23
697 5 131 38
698 5 132 51
699 5 133 25
700 5 134 26
701 5 135 29
702 5 136 18
703 5 138 1
704 5 140 2
705 5 141 1
706 5 142 5
707 5 143 3
708 5 144 4
709 5 145 8
710 5 146 1
711 5 147 5
712 5 148 5
713 5 150 1
714 5 151 1
715 5 155 2
716 8 1 3602211
717 8 3 909204
718 8 2 1546177
719 8 6 103773
720 8 7 58146
721 8 4 413012
722 8 5 221362
723 8 8 34175
724 8 34 414
725 8 35 426
726 8 36 343
727 8 37 401
728 8 23 1036
729 8 10 12488
730 8 11 8089
731 8 24 952
732 8 25 857
733 8 26 1133
734 8 21 1415
735 8 9 20503
736 8 12 6226
737 8 13 4829
738 8 14 3402
739 8 15 2857
740 8 16 2939
741 8 17 2064
742 8 18 2042
743 8 19 1553
744 8 38 340
745 8 40 310
746 8 41 224
747 8 42 204
748 8 43 191
749 8 47 115
750 8 48 111
751 8 22 1186
752 8 27 963
753 8 28 608
754 8 29 546
755 8 31 540
756 8 32 532
757 8 33 546
758 8 30 551
759 8 39 278
760 8 45 130
761 8 46 146
762 8 20 1640
763 8 44 190
764 8 56 54
765 8 57 50
766 8 49 108
767 8 50 76
768 8 51 60
769 8 52 84
770 8 53 60
771 8 54 62
772 8 55 46
773 8 58 48
774 8 59 50
775 8 60 70
776 8 61 46
777 8 62 28
778 8 63 58
779 8 64 34
780 8 65 24
781 8 66 20
782 8 67 18
783 8 68 8
784 8 69 14
785 8 70 14
786 8 71 40
787 8 72 34
788 8 73 16
789 8 74 10
790 8 75 18
791 8 76 8
792 8 77 8
793 8 78 2
794 8 79 6
795 8 80 16
796 8 81 8
797 8 82 14
798 8 83 28
799 8 84 24
800 8 85 8
801 8 86 12
802 8 87 14
803 8 88 10
804 8 89 12
805 8 90 24
806 8 91 14
807 8 92 6
808 8 93 22
809 8 94 26
810 8 95 32
811 8 96 34
812 8 97 36
813 8 98 54
814 8 99 38
815 8 100 36
816 8 101 12
817 8 102 14
818 8 103 12
819 8 104 16
820 8 105 8
821 8 106 30
822 8 107 8
823 8 108 8
824 -1 1 21588
825 -1 3 3840
826 -1 4 1871
827 -1 5 1194
828 -1 2 6761
829 -1 7 476
830 -1 8 420
831 -1 9 341
832 -1 20 18
833 -1 6 706
834 -1 14 49
835 -1 15 38
836 -1 16 28
837 -1 10 175
838 -1 11 148
839 -1 12 119
840 -1 13 58
841 -1 17 17
842 -1 18 4
843 -1 24 1
844 -1 19 8
845 -1 21 4

425
figure_7/e_figure7c.csv Normal file
View file

@ -0,0 +1,425 @@
term,n_exec,count
4,1,13045761
4,2,4865481
4,3,2141055
4,4,978852
4,5,369980
4,6,152837
4,7,69300
4,8,38578
4,9,26346
4,10,19586
4,20,2814
4,21,1892
4,13,9822
4,15,8083
4,16,6775
4,18,4835
4,28,779
4,14,9076
4,11,15433
4,12,11929
4,36,257
4,19,3585
4,23,1498
4,24,1195
4,31,411
4,32,378
4,30,525
4,34,295
4,37,199
4,44,35
4,50,18
4,52,6
4,53,6
4,17,5227
4,26,876
4,22,1759
4,35,254
4,25,1079
4,33,330
4,38,155
4,42,58
4,27,895
4,29,657
4,40,101
4,43,42
4,45,39
4,49,14
4,51,12
4,47,16
4,56,6
4,54,9
4,55,3
4,39,96
4,41,58
4,46,34
4,63,2
4,48,14
4,90,2
4,58,4
4,60,4
4,118,2
4,119,2
4,121,2
4,122,2
4,124,2
4,125,2
4,129,2
4,130,2
4,57,1
4,62,2
7,1,802024719
7,2,322728232
7,3,170787938
7,4,69118622
7,5,23925623
7,6,9312286
7,7,3974299
7,8,1951805
7,9,1230888
7,10,941202
7,11,852080
7,12,600391
7,13,560343
7,14,417931
7,15,369759
7,16,268495
7,17,241932
7,18,262217
7,19,167101
7,20,125886
7,21,95511
7,22,91948
7,23,76087
7,24,78751
7,25,76294
7,26,62192
7,27,58361
7,28,56782
7,29,44330
7,30,43563
7,31,31498
7,32,26808
7,33,24288
7,34,17125
7,35,12546
7,36,10023
7,37,8175
7,38,5867
7,39,4673
7,40,3797
7,41,3157
7,42,3451
7,43,2752
7,44,1981
7,45,1525
7,46,1293
7,47,1093
7,48,975
7,49,842
7,50,710
7,51,634
7,52,545
7,53,446
7,54,421
7,55,363
7,56,332
7,57,288
7,58,253
7,59,236
7,60,220
7,61,178
7,62,153
7,63,140
7,64,137
7,65,106
7,66,111
7,67,118
7,68,91
7,69,104
7,70,93
7,71,78
7,72,74
7,73,62
7,74,49
7,75,53
7,76,40
7,77,48
7,78,38
7,79,38
7,80,47
7,81,42
7,82,51
7,83,51
7,84,32
7,85,50
7,86,33
7,87,30
7,88,17
7,89,26
7,90,26
7,91,34
7,92,29
7,93,33
7,94,32
7,95,26
7,96,32
7,97,25
7,98,21
7,99,14
7,100,18
7,101,16
7,102,13
7,103,24
7,104,14
7,105,10
7,106,10
7,107,12
7,108,7
7,109,7
7,110,8
7,111,3
7,112,4
7,113,2
7,114,4
7,115,3
7,116,2
7,117,6
7,118,4
7,119,2
7,121,2
7,122,2
7,123,2
7,124,4
7,125,4
7,126,4
7,127,5
7,128,2
7,129,2
7,130,1
7,131,1
6,1,17045726
6,10,36322
6,12,26663
6,5,536423
6,3,3692258
6,2,7243398
6,4,1470918
6,6,229357
6,8,68380
6,7,115216
6,13,23551
6,14,18832
6,15,16882
6,16,13996
6,17,13051
6,19,10133
6,21,7024
6,11,40893
6,20,7970
6,24,5567
6,9,47689
6,25,4832
6,34,2093
6,35,1630
6,36,1458
6,18,13211
6,28,3454
6,30,2562
6,31,2085
6,32,1773
6,33,2745
6,23,5576
6,22,6324
6,26,4195
6,29,2995
6,27,3864
6,38,961
6,40,689
6,41,616
6,42,580
6,43,448
6,44,357
6,45,323
6,47,262
6,48,199
6,49,189
6,51,141
6,52,121
6,53,138
6,55,91
6,57,74
6,59,72
6,63,30
6,65,28
6,67,29
6,69,24
6,71,27
6,73,17
6,74,17
6,75,14
6,76,23
6,37,1211
6,39,787
6,46,230
6,60,49
6,64,38
6,50,167
6,54,84
6,56,82
6,58,64
6,61,54
6,62,42
6,66,23
6,68,22
6,70,23
6,72,20
6,77,37
6,78,21
6,79,18
6,80,9
6,81,10
6,82,11
6,83,10
6,84,14
6,85,7
6,86,11
6,88,11
6,89,3
6,90,9
6,92,7
6,94,6
6,99,3
6,91,4
6,93,3
6,109,4
6,111,4
6,97,4
6,96,2
6,100,4
6,102,4
6,87,3
6,95,4
6,101,2
6,103,2
6,105,2
6,107,2
6,113,2
6,116,1
6,120,4
6,123,2
6,126,2
6,128,1
6,131,2
6,104,2
6,106,2
5,1,9277021
5,2,3894064
5,3,2164629
5,4,866978
5,5,371366
5,8,81952
5,7,111103
5,6,163238
5,16,20058
5,17,15489
5,9,69949
5,10,61172
5,12,44627
5,11,53222
5,13,38880
5,14,33350
5,19,10654
5,20,7106
5,21,4569
5,22,3802
5,23,1875
5,28,1679
5,29,1351
5,32,1594
5,37,318
5,15,23967
5,30,2260
5,41,25
5,26,1026
5,24,1937
5,27,779
5,31,1656
5,34,626
5,35,518
5,36,606
5,38,265
5,39,85
5,40,31
5,42,312
5,43,214
5,46,16
5,18,10977
5,44,70
5,25,1664
5,48,14
5,47,13
5,49,4
5,50,15
5,51,6
5,53,12
5,33,2319
5,45,16
5,61,4
5,56,4
5,59,1
5,55,2
5,54,2
5,66,2
5,58,4
5,81,2
5,85,2
5,87,2
5,60,4
5,52,2
5,57,2
5,86,1
8,2,341
8,1,618
8,3,207
8,5,36
8,9,16
8,4,78
8,20,2
8,13,16
8,17,10
8,26,2
8,25,4
8,15,6
8,24,2
8,21,4
8,16,8
8,6,10
8,11,10
8,14,6
8,18,6
8,28,2
8,12,4
8,19,2
8,7,13
8,29,4
8,8,4
8,22,2
8,10,2
-1,1,7816
-1,2,3669
-1,8,46
-1,5,319
-1,6,124
-1,3,1265
-1,4,528
-1,7,51
-1,10,10
-1,11,6
-1,16,1
-1,12,9
-1,9,18
-1,14,4
-1,19,4
-1,13,1
1 term n_exec count
2 4 1 13045761
3 4 2 4865481
4 4 3 2141055
5 4 4 978852
6 4 5 369980
7 4 6 152837
8 4 7 69300
9 4 8 38578
10 4 9 26346
11 4 10 19586
12 4 20 2814
13 4 21 1892
14 4 13 9822
15 4 15 8083
16 4 16 6775
17 4 18 4835
18 4 28 779
19 4 14 9076
20 4 11 15433
21 4 12 11929
22 4 36 257
23 4 19 3585
24 4 23 1498
25 4 24 1195
26 4 31 411
27 4 32 378
28 4 30 525
29 4 34 295
30 4 37 199
31 4 44 35
32 4 50 18
33 4 52 6
34 4 53 6
35 4 17 5227
36 4 26 876
37 4 22 1759
38 4 35 254
39 4 25 1079
40 4 33 330
41 4 38 155
42 4 42 58
43 4 27 895
44 4 29 657
45 4 40 101
46 4 43 42
47 4 45 39
48 4 49 14
49 4 51 12
50 4 47 16
51 4 56 6
52 4 54 9
53 4 55 3
54 4 39 96
55 4 41 58
56 4 46 34
57 4 63 2
58 4 48 14
59 4 90 2
60 4 58 4
61 4 60 4
62 4 118 2
63 4 119 2
64 4 121 2
65 4 122 2
66 4 124 2
67 4 125 2
68 4 129 2
69 4 130 2
70 4 57 1
71 4 62 2
72 7 1 802024719
73 7 2 322728232
74 7 3 170787938
75 7 4 69118622
76 7 5 23925623
77 7 6 9312286
78 7 7 3974299
79 7 8 1951805
80 7 9 1230888
81 7 10 941202
82 7 11 852080
83 7 12 600391
84 7 13 560343
85 7 14 417931
86 7 15 369759
87 7 16 268495
88 7 17 241932
89 7 18 262217
90 7 19 167101
91 7 20 125886
92 7 21 95511
93 7 22 91948
94 7 23 76087
95 7 24 78751
96 7 25 76294
97 7 26 62192
98 7 27 58361
99 7 28 56782
100 7 29 44330
101 7 30 43563
102 7 31 31498
103 7 32 26808
104 7 33 24288
105 7 34 17125
106 7 35 12546
107 7 36 10023
108 7 37 8175
109 7 38 5867
110 7 39 4673
111 7 40 3797
112 7 41 3157
113 7 42 3451
114 7 43 2752
115 7 44 1981
116 7 45 1525
117 7 46 1293
118 7 47 1093
119 7 48 975
120 7 49 842
121 7 50 710
122 7 51 634
123 7 52 545
124 7 53 446
125 7 54 421
126 7 55 363
127 7 56 332
128 7 57 288
129 7 58 253
130 7 59 236
131 7 60 220
132 7 61 178
133 7 62 153
134 7 63 140
135 7 64 137
136 7 65 106
137 7 66 111
138 7 67 118
139 7 68 91
140 7 69 104
141 7 70 93
142 7 71 78
143 7 72 74
144 7 73 62
145 7 74 49
146 7 75 53
147 7 76 40
148 7 77 48
149 7 78 38
150 7 79 38
151 7 80 47
152 7 81 42
153 7 82 51
154 7 83 51
155 7 84 32
156 7 85 50
157 7 86 33
158 7 87 30
159 7 88 17
160 7 89 26
161 7 90 26
162 7 91 34
163 7 92 29
164 7 93 33
165 7 94 32
166 7 95 26
167 7 96 32
168 7 97 25
169 7 98 21
170 7 99 14
171 7 100 18
172 7 101 16
173 7 102 13
174 7 103 24
175 7 104 14
176 7 105 10
177 7 106 10
178 7 107 12
179 7 108 7
180 7 109 7
181 7 110 8
182 7 111 3
183 7 112 4
184 7 113 2
185 7 114 4
186 7 115 3
187 7 116 2
188 7 117 6
189 7 118 4
190 7 119 2
191 7 121 2
192 7 122 2
193 7 123 2
194 7 124 4
195 7 125 4
196 7 126 4
197 7 127 5
198 7 128 2
199 7 129 2
200 7 130 1
201 7 131 1
202 6 1 17045726
203 6 10 36322
204 6 12 26663
205 6 5 536423
206 6 3 3692258
207 6 2 7243398
208 6 4 1470918
209 6 6 229357
210 6 8 68380
211 6 7 115216
212 6 13 23551
213 6 14 18832
214 6 15 16882
215 6 16 13996
216 6 17 13051
217 6 19 10133
218 6 21 7024
219 6 11 40893
220 6 20 7970
221 6 24 5567
222 6 9 47689
223 6 25 4832
224 6 34 2093
225 6 35 1630
226 6 36 1458
227 6 18 13211
228 6 28 3454
229 6 30 2562
230 6 31 2085
231 6 32 1773
232 6 33 2745
233 6 23 5576
234 6 22 6324
235 6 26 4195
236 6 29 2995
237 6 27 3864
238 6 38 961
239 6 40 689
240 6 41 616
241 6 42 580
242 6 43 448
243 6 44 357
244 6 45 323
245 6 47 262
246 6 48 199
247 6 49 189
248 6 51 141
249 6 52 121
250 6 53 138
251 6 55 91
252 6 57 74
253 6 59 72
254 6 63 30
255 6 65 28
256 6 67 29
257 6 69 24
258 6 71 27
259 6 73 17
260 6 74 17
261 6 75 14
262 6 76 23
263 6 37 1211
264 6 39 787
265 6 46 230
266 6 60 49
267 6 64 38
268 6 50 167
269 6 54 84
270 6 56 82
271 6 58 64
272 6 61 54
273 6 62 42
274 6 66 23
275 6 68 22
276 6 70 23
277 6 72 20
278 6 77 37
279 6 78 21
280 6 79 18
281 6 80 9
282 6 81 10
283 6 82 11
284 6 83 10
285 6 84 14
286 6 85 7
287 6 86 11
288 6 88 11
289 6 89 3
290 6 90 9
291 6 92 7
292 6 94 6
293 6 99 3
294 6 91 4
295 6 93 3
296 6 109 4
297 6 111 4
298 6 97 4
299 6 96 2
300 6 100 4
301 6 102 4
302 6 87 3
303 6 95 4
304 6 101 2
305 6 103 2
306 6 105 2
307 6 107 2
308 6 113 2
309 6 116 1
310 6 120 4
311 6 123 2
312 6 126 2
313 6 128 1
314 6 131 2
315 6 104 2
316 6 106 2
317 5 1 9277021
318 5 2 3894064
319 5 3 2164629
320 5 4 866978
321 5 5 371366
322 5 8 81952
323 5 7 111103
324 5 6 163238
325 5 16 20058
326 5 17 15489
327 5 9 69949
328 5 10 61172
329 5 12 44627
330 5 11 53222
331 5 13 38880
332 5 14 33350
333 5 19 10654
334 5 20 7106
335 5 21 4569
336 5 22 3802
337 5 23 1875
338 5 28 1679
339 5 29 1351
340 5 32 1594
341 5 37 318
342 5 15 23967
343 5 30 2260
344 5 41 25
345 5 26 1026
346 5 24 1937
347 5 27 779
348 5 31 1656
349 5 34 626
350 5 35 518
351 5 36 606
352 5 38 265
353 5 39 85
354 5 40 31
355 5 42 312
356 5 43 214
357 5 46 16
358 5 18 10977
359 5 44 70
360 5 25 1664
361 5 48 14
362 5 47 13
363 5 49 4
364 5 50 15
365 5 51 6
366 5 53 12
367 5 33 2319
368 5 45 16
369 5 61 4
370 5 56 4
371 5 59 1
372 5 55 2
373 5 54 2
374 5 66 2
375 5 58 4
376 5 81 2
377 5 85 2
378 5 87 2
379 5 60 4
380 5 52 2
381 5 57 2
382 5 86 1
383 8 2 341
384 8 1 618
385 8 3 207
386 8 5 36
387 8 9 16
388 8 4 78
389 8 20 2
390 8 13 16
391 8 17 10
392 8 26 2
393 8 25 4
394 8 15 6
395 8 24 2
396 8 21 4
397 8 16 8
398 8 6 10
399 8 11 10
400 8 14 6
401 8 18 6
402 8 28 2
403 8 12 4
404 8 19 2
405 8 7 13
406 8 29 4
407 8 8 4
408 8 22 2
409 8 10 2
410 -1 1 7816
411 -1 2 3669
412 -1 8 46
413 -1 5 319
414 -1 6 124
415 -1 3 1265
416 -1 4 528
417 -1 7 51
418 -1 10 10
419 -1 11 6
420 -1 16 1
421 -1 12 9
422 -1 9 18
423 -1 14 4
424 -1 19 4
425 -1 13 1