python3 finite_exhaustive.py  21.76s user 0.07s system 96% cpu 22.569 total
