Update Game Theory Proof Automated Counter.py