Running art/connect4_defs.py