Update exhaustive.py