[
  {
    "source": 636,
    "aux": 0,
    "target": 645,
    "state": 238
  },
  {
    "source": 17,
    "aux": 0,
    "target": 632,
    "state": 199
  },
  {
    "source": 642,
    "aux": 0,
    "target": 651,
    "state": 256
  },
  {
    "source": 619,
    "aux": 0,
    "target": 630,
    "state": 193
  },
  {
    "source": 611,
    "aux": 0,
    "target": 652,
    "state": 259
  },
  {
    "source": 620,
    "aux": 0,
    "target": 631,
    "state": 196
  },
  {
    "source": 644,
    "aux": 0,
    "target": 654,
    "state": 265
  },
  {
    "source": 622,
    "aux": 0,
    "target": 634,
    "state": 205
  },
  {
    "source": 640,
    "aux": 0,
    "target": 649,
    "state": 250
  },
  {
    "source": 617,
    "aux": 0,
    "target": 628,
    "state": 187
  },
  {
    "source": 641,
    "aux": 0,
    "target": 650,
    "state": 253
  },
  {
    "source": 618,
    "aux": 0,
    "target": 629,
    "state": 190
  },
  {
    "source": 638,
    "aux": 0,
    "target": 647,
    "state": 244
  },
  {
    "source": 17,
    "aux": 2,
    "target": 626,
    "state": 181
  },
  {
    "source": 639,
    "aux": 0,
    "target": 648,
    "state": 247
  },
  {
    "source": 17,
    "aux": 3,
    "target": 627,
    "state": 184
  },
  {
    "source": 637,
    "aux": 0,
    "target": 646,
    "state": 241
  },
  {
    "source": 17,
    "aux": 1,
    "target": 625,
    "state": 178
  },
  {
    "source": 643,
    "aux": 0,
    "target": 653,
    "state": 262
  },
  {
    "source": 621,
    "aux": 0,
    "target": 633,
    "state": 202
  },
  {
    "source": 624,
    "aux": 0,
    "target": 635,
    "state": 208
  }
]