starts with N>=1: 6291453 lw violations: 0 sharp violations: 0 factor-complexity violations: 0
bits(min)= 3 recordN=  1 start=8 W=2 paths=1 N/log2(min)=0.400 lwbound=4 sharp=4 factor=2
bits(min)= 4 recordN=  2 start=20 W=5 paths=2 N/log2(min)=0.571 lwbound=8 sharp=8 factor=4
bits(min)= 5 recordN=  1 start=23 W=3 paths=1 N/log2(min)=0.222 lwbound=8 sharp=4 factor=2
bits(min)= 6 recordN=  4 start=84 W=24 paths=2 N/log2(min)=0.727 lwbound=12 sharp=8 factor=4
bits(min)= 7 recordN=  3 start=103 W=29 paths=3 N/log2(min)=0.462 lwbound=16 sharp=12 factor=6
bits(min)= 8 recordN=  3 start=340 W=85 paths=2 N/log2(min)=0.400 lwbound=20 sharp=12 factor=6
bits(min)= 9 recordN=  4 start=319 W=101 paths=3 N/log2(min)=0.471 lwbound=20 sharp=12 factor=6
bits(min)=10 recordN=  4 start=1108 W=319 paths=2 N/log2(min)=0.421 lwbound=24 sharp=16 factor=8
bits(min)=11 recordN=  5 start=1895 W=614 paths=3 N/log2(min)=0.476 lwbound=24 sharp=16 factor=8
bits(min)=12 recordN=  5 start=3156 W=909 paths=3 N/log2(min)=0.435 lwbound=28 sharp=16 factor=8
bits(min)=13 recordN=  6 start=10087 W=3269 paths=3 N/log2(min)=0.480 lwbound=32 sharp=20 factor=10
bits(min)=14 recordN=  6 start=19796 W=6293 paths=3 N/log2(min)=0.444 lwbound=32 sharp=20 factor=10
bits(min)=15 recordN=  5 start=26471 W=8579 paths=3 N/log2(min)=0.345 lwbound=36 sharp=24 factor=12
bits(min)=16 recordN=  7 start=60500 W=19616 paths=2 N/log2(min)=0.452 lwbound=36 sharp=24 factor=12
bits(min)=17 recordN=  7 start=150868 W=47957 paths=4 N/log2(min)=0.424 lwbound=40 sharp=28 factor=14
bits(min)=18 recordN=  8 start=322644 W=104613 paths=3 N/log2(min)=0.457 lwbound=44 sharp=28 factor=14
bits(min)=19 recordN=  8 start=675156 W=214613 paths=4 N/log2(min)=0.432 lwbound=48 sharp=28 factor=14
bits(min)=20 recordN=  8 start=927591 W=314867 paths=3 N/log2(min)=0.410 lwbound=48 sharp=32 factor=16
bits(min)=21 recordN=  9 start=1290559 W=529598 paths=2 N/log2(min)=0.439 lwbound=48 sharp=32 factor=16
bits(min)=22 recordN=  8 start=3549031 W=1294571 paths=3 N/log2(min)=0.372 lwbound=52 sharp=32 factor=16
bits(min)=23 recordN=  9 start=7743335 W=2824517 paths=3 N/log2(min)=0.400 lwbound=56 sharp=36 factor=18
bits(min)=24 recordN=  9 start=12905556 W=4184469 paths=2 N/log2(min)=0.383 lwbound=56 sharp=36 factor=18
