{
  "version": 1,
  "isRoot": true,
  "tools": {
    "cocor": {
      "version": "2014.12.24",
      "commands": [
        "coco"
      ]
    },
    "boogie": {
      "version": "3.1.3",
      "commands": [
        "boogie"
      ]
    }
  }
}