python3 indep_verify.py 600 2400 > indep_out_600_2400.txt 2>&1  437.11s user 1.86s system 99% cpu 7:19.44 total
