m=24 s=5 Bmax=1048575 Gmin(b=1)=5 worst=1 worst/m=0.042 worst/s=0.200 #worst=3 b: 177147 531441 885735 | Vmax=9 (b=531441) lemma_bad=0 | hist(low): 1:3 2:175 3:5802 4:84357 5:433951 6:0
m=48 s=11 Bmax=1048575 Gmin(b=1)=10 worst=5 worst/m=0.104 worst/s=0.455 #worst=2 b: 754147 871695 | Vmax=10 (b=77233) lemma_bad=0 | hist(low): 5:2 6:125 7:1733 8:16375 9:90309 10:235543
m=72 s=17 Bmax=1048575 Gmin(b=1)=15 worst=9 worst/m=0.125 worst/s=0.529 #worst=1 b: 460701 | Vmax=11 (b=50665) lemma_bad=0 | hist(low): 9:1 10:45 11:658 12:5268 13:29280 14:102034
m=96 s=23 Bmax=1048575 Gmin(b=1)=21 worst=12 worst/m=0.125 worst/s=0.522 #worst=2 b: 18685 56055 | Vmax=15 (b=599681) lemma_bad=0 | hist(low): 12:2 13:6 14:23 15:251 16:2019 17:11188
m=120 s=29 Bmax=1048575 Gmin(b=1)=24 worst=17 worst/m=0.142 worst/s=0.586 #worst=5 b: 49445 148335 445005 645709 741817 | Vmax=19 (b=761357) lemma_bad=0 | hist(low): 17:5 18:11 19:87 20:816 21:4475 22:19020
