nice -n 10 python va_lemmas.py 8 5 5  10.07s user 0.13s system 98% cpu 10.330 total
