Encoding game.py