game theory refinement. automata start on PA1 by linting the example python code