{
  "machine": {
    "name": "k053251",
    "sourcefile": "konami/k053251.cpp",
    "isdevice": "yes",
    "runnable": "no",
    "isbios": "no",
    "ismechanical": "no",
    "description": "Konami 053251 Priority Encoder"
  }
}