{
    "files": ["pingpong.py", "trafficlight.py", "twowaybutton.py",
              "eventtrans.py", "rogue.py", "factstates.py"]
}