python3 indep_verify.py 300 1200 > indep_out_300_1200.txt 2>&1  22.55s user 0.10s system 99% cpu 22.675 total
