{
  "nodes": [
    {
      "x": 135,
      "y": 133,
      "text": "",
      "isAcceptState": false,
      "textOnly": false
    },
    {
      "x": 135,
      "y": 115,
      "text": "S_1",
      "isAcceptState": false,
      "textOnly": true
    },
    {
      "x": 135,
      "y": 148,
      "text": "{p, q}",
      "isAcceptState": false,
      "textOnly": true
    },
    {
      "x": 388,
      "y": 133,
      "text": "",
      "isAcceptState": false,
      "textOnly": false
    },
    {
      "x": 388,
      "y": 115,
      "text": "S_2",
      "isAcceptState": false,
      "textOnly": true
    },
    {
      "x": 388,
      "y": 148,
      "text": "{q}",
      "isAcceptState": false,
      "textOnly": true
    },
    {
      "x": 262,
      "y": 278,
      "text": "",
      "isAcceptState": false,
      "textOnly": false
    },
    {
      "x": 262,
      "y": 259,
      "text": "S_3",
      "isAcceptState": false,
      "textOnly": true
    },
    {
      "x": 262,
      "y": 289,
      "text": "{p}",
      "isAcceptState": false,
      "textOnly": true
    }
  ],
  "links": [
    {
      "type": "StartLink",
      "node": 0,
      "text": "",
      "deltaX": -68,
      "deltaY": -84
    },
    {
      "type": "Link",
      "nodeA": 3,
      "nodeB": 0,
      "text": "",
      "lineAngleAdjust": 0,
      "parallelPart": 0.4624505928853755,
      "perpendicularPart": 22
    },
    {
      "type": "Link",
      "nodeA": 0,
      "nodeB": 3,
      "text": "",
      "lineAngleAdjust": 0,
      "parallelPart": 0.5731225296442688,
      "perpendicularPart": 17
    },
    {
      "type": "Link",
      "nodeA": 3,
      "nodeB": 6,
      "text": "",
      "lineAngleAdjust": 0,
      "parallelPart": 0.5,
      "perpendicularPart": 0
    },
    {
      "type": "SelfLink",
      "node": 6,
      "text": "",
      "anchorAngle": 2.2559124078897055
    }
  ],
  "nodeRadius": 48
}