[
  {
    "arm": "D",
    "circuit": {
      "K": 4,
      "cells": {
        "n001": {
          "address": 0,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n018"
          }
        },
        "n005": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q0": "n045",
            "V": "n029"
          }
        },
        "n010": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n048",
            "V": "n052"
          }
        },
        "n013": {
          "address": 1,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n032"
          }
        },
        "n017": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n029",
            "Q0": "n029",
            "Q1": "n029",
            "Q2": "n052",
            "Q3": "n047",
            "V": "n019"
          }
        },
        "n018": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q0": "n001",
            "V": "n045"
          }
        },
        "n019": {
          "address": null,
          "response": false,
          "role": "interface",
          "routes": {
            "A": "n017",
            "Q0": "n017",
            "Q1": "n017",
            "Q2": "n017",
            "Q3": "n017"
          }
        },
        "n023": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n039",
            "V": "n047"
          }
        },
        "n025": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n032",
            "V": "n029"
          }
        },
        "n028": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n036",
            "V": "n031"
          }
        },
        "n029": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n031",
            "Q0": "n005",
            "Q1": "n025",
            "V": "n017"
          }
        },
        "n031": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n028",
            "V": "n029"
          }
        },
        "n032": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n013",
            "V": "n025"
          }
        },
        "n036": {
          "address": null,
          "response": true,
          "role": "router",
          "routes": {
            "V": "n028"
          }
        },
        "n039": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n060",
            "V": "n023"
          }
        },
        "n045": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q0": "n018",
            "V": "n005"
          }
        },
        "n047": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n023",
            "V": "n017"
          }
        },
        "n048": {
          "address": 2,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n010"
          }
        },
        "n052": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n010",
            "V": "n017"
          }
        },
        "n060": {
          "address": 3,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n039"
          }
        }
      },
      "edges": [
        {
          "delay": 1,
          "u": "n018",
          "v": "n001"
        },
        {
          "delay": 1,
          "u": "n005",
          "v": "n029"
        },
        {
          "delay": 1,
          "u": "n005",
          "v": "n045"
        },
        {
          "delay": 2,
          "u": "n048",
          "v": "n010"
        },
        {
          "delay": 1,
          "u": "n010",
          "v": "n052"
        },
        {
          "delay": 1,
          "u": "n032",
          "v": "n013"
        },
        {
          "delay": 1,
          "u": "n017",
          "v": "n019"
        },
        {
          "delay": 1,
          "u": "n017",
          "v": "n029"
        },
        {
          "delay": 2,
          "u": "n017",
          "v": "n047"
        },
        {
          "delay": 2,
          "u": "n052",
          "v": "n017"
        },
        {
          "delay": 1,
          "u": "n018",
          "v": "n045"
        },
        {
          "delay": 1,
          "u": "n039",
          "v": "n023"
        },
        {
          "delay": 1,
          "u": "n047",
          "v": "n023"
        },
        {
          "delay": 1,
          "u": "n029",
          "v": "n025"
        },
        {
          "delay": 1,
          "u": "n032",
          "v": "n025"
        },
        {
          "delay": 1,
          "u": "n031",
          "v": "n028"
        },
        {
          "delay": 1,
          "u": "n028",
          "v": "n036"
        },
        {
          "delay": 2,
          "u": "n029",
          "v": "n031"
        },
        {
          "delay": 2,
          "u": "n039",
          "v": "n060"
        }
      ],
      "initial": {
        "clock": 0,
        "outputs": [],
        "peak_queue": 0,
        "peak_state_bytes": 0,
        "pending": null,
        "queue": [],
        "sent": 0,
        "sequence": 0,
        "stored": {
          "n001": 0,
          "n013": 0,
          "n048": 0,
          "n060": 0
        }
      },
      "positions": {
        "n001": [
          -0.034284,
          1.923699,
          1.98103
        ],
        "n005": [
          0.987955,
          0.071148,
          2.002942
        ],
        "n010": [
          1.062566,
          0.063539,
          -0.049943
        ],
        "n013": [
          1.064863,
          0.944284,
          3.075403
        ],
        "n017": [
          2.035433,
          -0.002878,
          1.070451
        ],
        "n018": [
          0.066943,
          0.990893,
          1.961244
        ],
        "n019": [
          2.988193,
          -0.016101,
          1.029162
        ],
        "n023": [
          1.974759,
          1.950102,
          1.041779
        ],
        "n025": [
          1.935411,
          0.015897,
          3.000045
        ],
        "n028": [
          2.065873,
          2.060423,
          2.077268
        ],
        "n029": [
          1.943012,
          -0.068382,
          2.029798
        ],
        "n031": [
          2.074344,
          1.073094,
          1.954382
        ],
        "n032": [
          0.99734,
          -0.007754,
          3.018842
        ],
        "n036": [
          2.054132,
          3.016819,
          1.938777
        ],
        "n039": [
          1.044599,
          1.96751,
          0.932614
        ],
        "n045": [
          1.01704,
          1.016364,
          2.031494
        ],
        "n047": [
          2.006494,
          1.022107,
          1.069774
        ],
        "n048": [
          -0.020155,
          0.008152,
          -0.023255
        ],
        "n052": [
          1.043525,
          0.030406,
          0.929844
        ],
        "n060": [
          1.04823,
          3.030713,
          1.032186
        ]
      },
      "terminals": [
        {
          "kind": "query",
          "site": "n019"
        },
        {
          "kind": "response",
          "site": "n036"
        },
        {
          "a": 0,
          "kind": "write",
          "site": "n001"
        },
        {
          "a": 1,
          "kind": "write",
          "site": "n013"
        },
        {
          "a": 2,
          "kind": "write",
          "site": "n048"
        },
        {
          "a": 3,
          "kind": "write",
          "site": "n060"
        }
      ],
      "version": "bounded-latch-handshake-v2"
    },
    "construction_trace": [
      {
        "boundary": [
          {
            "kind": "query"
          }
        ],
        "event": "birth",
        "parent": null,
        "site": "n019",
        "t": 0
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n019",
        "site": "n017",
        "t": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n019",
        "site": "n038",
        "t": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n029",
        "t": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n038",
        "site": "n034",
        "t": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n019",
        "site": "n044",
        "t": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n019",
        "site": "n062",
        "t": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n029",
        "site": "n005",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n034",
        "site": "n011",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n029",
        "site": "n025",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n038",
        "site": "n042",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n062",
        "site": "n046",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n047",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n052",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n059",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n052",
        "site": "n010",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n047",
        "site": "n023",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n029",
        "site": "n031",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n025",
        "site": "n032",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n005",
        "site": "n045",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n005",
        "site": "n053",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n062",
        "site": "n054",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n052",
        "site": "n058",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n032",
        "site": "n000",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n010",
        "site": "n002",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n046",
        "site": "n006",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n058",
        "site": "n007",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n052",
        "site": "n012",
        "t": 5
      },
      {
        "boundary": [
          {
            "a": 1,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n032",
        "site": "n013",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n054",
        "site": "n016",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n045",
        "site": "n018",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n031",
        "site": "n028",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n023",
        "site": "n039",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n042",
        "site": "n040",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n046",
        "site": "n043",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n011",
        "site": "n056",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n011",
        "site": "n061",
        "t": 5
      },
      {
        "boundary": [
          {
            "a": 0,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n018",
        "site": "n001",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n000",
        "site": "n003",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n006",
        "site": "n004",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n016",
        "site": "n020",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n028",
        "site": "n024",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n045",
        "site": "n030",
        "t": 6
      },
      {
        "event": "register",
        "from_site": "n013",
        "site": "n032",
        "t": 6,
        "tag": 1
      },
      {
        "boundary": [
          {
            "kind": "response"
          }
        ],
        "event": "birth",
        "parent": "n028",
        "site": "n036",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n061",
        "site": "n037",
        "t": 6
      },
      {
        "boundary": [
          {
            "a": 2,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n010",
        "site": "n048",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n002",
        "site": "n051",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n006",
        "site": "n057",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n023",
        "site": "n063",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n004",
        "site": "n008",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n030",
        "site": "n014",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n051",
        "site": "n015",
        "t": 7
      },
      {
        "event": "register",
        "from_site": "n001",
        "site": "n018",
        "t": 7,
        "tag": 0
      },
      {
        "event": "register",
        "from_site": "n032",
        "site": "n025",
        "t": 7,
        "tag": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n013",
        "site": "n026",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n002",
        "site": "n027",
        "t": 7
      },
      {
        "event": "register",
        "from_site": "n036",
        "site": "n028",
        "t": 7,
        "tag": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n024",
        "site": "n050",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n001",
        "site": "n055",
        "t": 7
      },
      {
        "boundary": [
          {
            "a": 3,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n039",
        "site": "n060",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n001",
        "site": "n009",
        "t": 8
      },
      {
        "event": "register",
        "from_site": "n048",
        "site": "n010",
        "t": 8,
        "tag": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n055",
        "site": "n021",
        "t": 8
      },
      {
        "event": "register",
        "from_site": "n025",
        "site": "n029",
        "t": 8,
        "tag": 1
      },
      {
        "event": "register",
        "from_site": "n028",
        "site": "n031",
        "t": 8,
        "tag": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n027",
        "site": "n035",
        "t": 8
      },
      {
        "event": "register",
        "from_site": "n018",
        "site": "n045",
        "t": 8,
        "tag": 0
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n001",
        "site": "n049",
        "t": 8
      },
      {
        "event": "register",
        "from_site": "n045",
        "site": "n005",
        "t": 9,
        "tag": 0
      },
      {
        "event": "register",
        "from_site": "n029",
        "site": "n017",
        "t": 9,
        "tag": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n014",
        "site": "n022",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n009",
        "site": "n033",
        "t": 9
      },
      {
        "event": "register",
        "from_site": "n060",
        "site": "n039",
        "t": 9,
        "tag": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n015",
        "site": "n041",
        "t": 9
      },
      {
        "event": "register",
        "from_site": "n010",
        "site": "n052",
        "t": 9,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n017",
        "site": "n019",
        "t": 10,
        "tag": 1
      },
      {
        "event": "register",
        "from_site": "n039",
        "site": "n023",
        "t": 10,
        "tag": 3
      },
      {
        "event": "register",
        "from_site": "n005",
        "site": "n029",
        "t": 10,
        "tag": 0
      },
      {
        "event": "register",
        "from_site": "n031",
        "site": "n029",
        "t": 10,
        "tag": 8
      },
      {
        "event": "register",
        "from_site": "n029",
        "site": "n017",
        "t": 11,
        "tag": 0
      },
      {
        "event": "register",
        "from_site": "n029",
        "site": "n017",
        "t": 11,
        "tag": 8
      },
      {
        "event": "register",
        "from_site": "n052",
        "site": "n017",
        "t": 11,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n023",
        "site": "n047",
        "t": 11,
        "tag": 3
      },
      {
        "event": "register",
        "from_site": "n017",
        "site": "n019",
        "t": 12,
        "tag": 0
      },
      {
        "event": "register",
        "from_site": "n017",
        "site": "n019",
        "t": 12,
        "tag": 8
      },
      {
        "event": "register",
        "from_site": "n017",
        "site": "n019",
        "t": 12,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n047",
        "site": "n017",
        "t": 13,
        "tag": 3
      },
      {
        "event": "register",
        "from_site": "n017",
        "site": "n019",
        "t": 14,
        "tag": 3
      },
      {
        "cell": {
          "address": 0,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n018"
          }
        },
        "event": "differentiate",
        "site": "n001",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q0": "n045",
            "V": "n029"
          }
        },
        "event": "differentiate",
        "site": "n005",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n048",
            "V": "n052"
          }
        },
        "event": "differentiate",
        "site": "n010",
        "t": 14
      },
      {
        "cell": {
          "address": 1,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n032"
          }
        },
        "event": "differentiate",
        "site": "n013",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n029",
            "Q0": "n029",
            "Q1": "n029",
            "Q2": "n052",
            "Q3": "n047",
            "V": "n019"
          }
        },
        "event": "differentiate",
        "site": "n017",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q0": "n001",
            "V": "n045"
          }
        },
        "event": "differentiate",
        "site": "n018",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "interface",
          "routes": {
            "A": "n017",
            "Q0": "n017",
            "Q1": "n017",
            "Q2": "n017",
            "Q3": "n017"
          }
        },
        "event": "differentiate",
        "site": "n019",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n039",
            "V": "n047"
          }
        },
        "event": "differentiate",
        "site": "n023",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n032",
            "V": "n029"
          }
        },
        "event": "differentiate",
        "site": "n025",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n036",
            "V": "n031"
          }
        },
        "event": "differentiate",
        "site": "n028",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n031",
            "Q0": "n005",
            "Q1": "n025",
            "V": "n017"
          }
        },
        "event": "differentiate",
        "site": "n029",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n028",
            "V": "n029"
          }
        },
        "event": "differentiate",
        "site": "n031",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n013",
            "V": "n025"
          }
        },
        "event": "differentiate",
        "site": "n032",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": true,
          "role": "router",
          "routes": {
            "V": "n028"
          }
        },
        "event": "differentiate",
        "site": "n036",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n060",
            "V": "n023"
          }
        },
        "event": "differentiate",
        "site": "n039",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q0": "n018",
            "V": "n005"
          }
        },
        "event": "differentiate",
        "site": "n045",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n023",
            "V": "n017"
          }
        },
        "event": "differentiate",
        "site": "n047",
        "t": 14
      },
      {
        "cell": {
          "address": 2,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n010"
          }
        },
        "event": "differentiate",
        "site": "n048",
        "t": 14
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n010",
            "V": "n017"
          }
        },
        "event": "differentiate",
        "site": "n052",
        "t": 14
      },
      {
        "cell": {
          "address": 3,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n039"
          }
        },
        "event": "differentiate",
        "site": "n060",
        "t": 14
      }
    ],
    "group": 0,
    "setting": "L4-K4-p0"
  },
  {
    "arm": "B",
    "circuit": {
      "K": 4,
      "cells": {
        "n001": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W0": "n018"
          }
        },
        "n005": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W0": "n029"
          }
        },
        "n010": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n052"
          }
        },
        "n013": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W1": "n032"
          }
        },
        "n017": {
          "address": 0,
          "response": false,
          "role": "latch",
          "routes": {
            "A": "n029",
            "Q1": "n029",
            "Q2": "n052",
            "Q3": "n047",
            "V": "n019"
          }
        },
        "n018": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W0": "n045"
          }
        },
        "n019": {
          "address": null,
          "response": false,
          "role": "interface",
          "routes": {
            "A": "n017",
            "Q0": "n017",
            "Q1": "n017",
            "Q2": "n017",
            "Q3": "n017"
          }
        },
        "n023": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W3": "n047"
          }
        },
        "n025": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W1": "n029"
          }
        },
        "n028": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n036"
          }
        },
        "n029": {
          "address": 1,
          "response": false,
          "role": "latch",
          "routes": {
            "A": "n031",
            "V": "n017",
            "W0": "n017"
          }
        },
        "n031": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n028"
          }
        },
        "n032": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W1": "n025"
          }
        },
        "n036": {
          "address": null,
          "response": true,
          "role": "router",
          "routes": {}
        },
        "n039": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W3": "n023"
          }
        },
        "n045": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W0": "n005"
          }
        },
        "n047": {
          "address": 3,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n017"
          }
        },
        "n048": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n010"
          }
        },
        "n052": {
          "address": 2,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n017"
          }
        },
        "n060": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W3": "n039"
          }
        }
      },
      "edges": [
        {
          "delay": 1,
          "u": "n018",
          "v": "n001"
        },
        {
          "delay": 1,
          "u": "n005",
          "v": "n029"
        },
        {
          "delay": 1,
          "u": "n005",
          "v": "n045"
        },
        {
          "delay": 2,
          "u": "n048",
          "v": "n010"
        },
        {
          "delay": 1,
          "u": "n010",
          "v": "n052"
        },
        {
          "delay": 1,
          "u": "n032",
          "v": "n013"
        },
        {
          "delay": 1,
          "u": "n017",
          "v": "n019"
        },
        {
          "delay": 1,
          "u": "n017",
          "v": "n029"
        },
        {
          "delay": 2,
          "u": "n017",
          "v": "n047"
        },
        {
          "delay": 2,
          "u": "n052",
          "v": "n017"
        },
        {
          "delay": 1,
          "u": "n018",
          "v": "n045"
        },
        {
          "delay": 1,
          "u": "n039",
          "v": "n023"
        },
        {
          "delay": 1,
          "u": "n047",
          "v": "n023"
        },
        {
          "delay": 1,
          "u": "n029",
          "v": "n025"
        },
        {
          "delay": 1,
          "u": "n032",
          "v": "n025"
        },
        {
          "delay": 1,
          "u": "n031",
          "v": "n028"
        },
        {
          "delay": 1,
          "u": "n028",
          "v": "n036"
        },
        {
          "delay": 2,
          "u": "n029",
          "v": "n031"
        },
        {
          "delay": 2,
          "u": "n039",
          "v": "n060"
        }
      ],
      "initial": {
        "clock": 0,
        "outputs": [],
        "peak_queue": 0,
        "peak_state_bytes": 0,
        "pending": null,
        "queue": [],
        "sent": 0,
        "sequence": 0,
        "stored": {
          "n017": 0,
          "n029": 0,
          "n047": 0,
          "n052": 0
        }
      },
      "positions": {
        "n001": [
          -0.034284,
          1.923699,
          1.98103
        ],
        "n005": [
          0.987955,
          0.071148,
          2.002942
        ],
        "n010": [
          1.062566,
          0.063539,
          -0.049943
        ],
        "n013": [
          1.064863,
          0.944284,
          3.075403
        ],
        "n017": [
          2.035433,
          -0.002878,
          1.070451
        ],
        "n018": [
          0.066943,
          0.990893,
          1.961244
        ],
        "n019": [
          2.988193,
          -0.016101,
          1.029162
        ],
        "n023": [
          1.974759,
          1.950102,
          1.041779
        ],
        "n025": [
          1.935411,
          0.015897,
          3.000045
        ],
        "n028": [
          2.065873,
          2.060423,
          2.077268
        ],
        "n029": [
          1.943012,
          -0.068382,
          2.029798
        ],
        "n031": [
          2.074344,
          1.073094,
          1.954382
        ],
        "n032": [
          0.99734,
          -0.007754,
          3.018842
        ],
        "n036": [
          2.054132,
          3.016819,
          1.938777
        ],
        "n039": [
          1.044599,
          1.96751,
          0.932614
        ],
        "n045": [
          1.01704,
          1.016364,
          2.031494
        ],
        "n047": [
          2.006494,
          1.022107,
          1.069774
        ],
        "n048": [
          -0.020155,
          0.008152,
          -0.023255
        ],
        "n052": [
          1.043525,
          0.030406,
          0.929844
        ],
        "n060": [
          1.04823,
          3.030713,
          1.032186
        ]
      },
      "terminals": [
        {
          "kind": "query",
          "site": "n019"
        },
        {
          "kind": "response",
          "site": "n036"
        },
        {
          "a": 0,
          "kind": "write",
          "site": "n001"
        },
        {
          "a": 1,
          "kind": "write",
          "site": "n013"
        },
        {
          "a": 2,
          "kind": "write",
          "site": "n048"
        },
        {
          "a": 3,
          "kind": "write",
          "site": "n060"
        }
      ],
      "version": "bounded-latch-handshake-v2"
    },
    "construction_trace": [],
    "group": 0,
    "setting": "L4-K4-p0"
  },
  {
    "arm": "B",
    "circuit": {
      "K": 8,
      "cells": {
        "n002": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n094"
          }
        },
        "n003": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W5": "n125"
          }
        },
        "n015": {
          "address": 0,
          "response": false,
          "role": "latch",
          "routes": {
            "A": "n159",
            "Q2": "n038",
            "Q6": "n038",
            "Q7": "n174",
            "V": "n017"
          }
        },
        "n017": {
          "address": null,
          "response": false,
          "role": "interface",
          "routes": {
            "A": "n015",
            "Q0": "n015",
            "Q1": "n200",
            "Q2": "n015",
            "Q3": "n057",
            "Q4": "n057",
            "Q5": "n057",
            "Q6": "n015",
            "Q7": "n015"
          }
        },
        "n018": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n047",
            "W0": "n159"
          }
        },
        "n025": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W4": "n070"
          }
        },
        "n029": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W1": "n158"
          }
        },
        "n032": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W4": "n097",
            "W5": "n097"
          }
        },
        "n036": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n164"
          }
        },
        "n038": {
          "address": 2,
          "response": false,
          "role": "latch",
          "routes": {
            "Q6": "n091",
            "V": "n015"
          }
        },
        "n040": {
          "address": 4,
          "response": false,
          "role": "latch",
          "routes": {
            "Q5": "n097",
            "V": "n057",
            "W3": "n057"
          }
        },
        "n047": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n120",
            "W0": "n018"
          }
        },
        "n051": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W3": "n186"
          }
        },
        "n057": {
          "address": 3,
          "response": false,
          "role": "latch",
          "routes": {
            "Q4": "n040",
            "Q5": "n040",
            "V": "n017"
          }
        },
        "n070": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W4": "n125"
          }
        },
        "n085": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n206"
          }
        },
        "n091": {
          "address": 6,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n038"
          }
        },
        "n094": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n038"
          }
        },
        "n097": {
          "address": 5,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n040",
            "W4": "n040"
          }
        },
        "n100": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W1": "n127"
          }
        },
        "n102": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W6": "n091"
          }
        },
        "n120": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n085"
          }
        },
        "n125": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W4": "n032",
            "W5": "n032"
          }
        },
        "n127": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W1": "n200"
          }
        },
        "n150": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n002"
          }
        },
        "n158": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W1": "n100"
          }
        },
        "n159": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n018",
            "W0": "n015"
          }
        },
        "n164": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n198"
          }
        },
        "n169": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W5": "n003"
          }
        },
        "n174": {
          "address": 7,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n015"
          }
        },
        "n186": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W3": "n040"
          }
        },
        "n195": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W7": "n174"
          }
        },
        "n198": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n150"
          }
        },
        "n200": {
          "address": 1,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n017"
          }
        },
        "n205": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "W2": "n036"
          }
        },
        "n206": {
          "address": null,
          "response": true,
          "role": "router",
          "routes": {}
        }
      },
      "edges": [
        {
          "delay": 1,
          "u": "n094",
          "v": "n002"
        },
        {
          "delay": 1,
          "u": "n002",
          "v": "n150"
        },
        {
          "delay": 2,
          "u": "n125",
          "v": "n003"
        },
        {
          "delay": 2,
          "u": "n003",
          "v": "n169"
        },
        {
          "delay": 1,
          "u": "n015",
          "v": "n017"
        },
        {
          "delay": 2,
          "u": "n015",
          "v": "n038"
        },
        {
          "delay": 2,
          "u": "n015",
          "v": "n159"
        },
        {
          "delay": 2,
          "u": "n174",
          "v": "n015"
        },
        {
          "delay": 2,
          "u": "n017",
          "v": "n057"
        },
        {
          "delay": 2,
          "u": "n017",
          "v": "n200"
        },
        {
          "delay": 2,
          "u": "n047",
          "v": "n018"
        },
        {
          "delay": 1,
          "u": "n018",
          "v": "n159"
        },
        {
          "delay": 1,
          "u": "n070",
          "v": "n025"
        },
        {
          "delay": 1,
          "u": "n158",
          "v": "n029"
        },
        {
          "delay": 1,
          "u": "n097",
          "v": "n032"
        },
        {
          "delay": 1,
          "u": "n032",
          "v": "n125"
        },
        {
          "delay": 1,
          "u": "n164",
          "v": "n036"
        },
        {
          "delay": 1,
          "u": "n205",
          "v": "n036"
        },
        {
          "delay": 1,
          "u": "n091",
          "v": "n038"
        },
        {
          "delay": 1,
          "u": "n038",
          "v": "n094"
        },
        {
          "delay": 1,
          "u": "n057",
          "v": "n040"
        },
        {
          "delay": 1,
          "u": "n040",
          "v": "n097"
        },
        {
          "delay": 2,
          "u": "n040",
          "v": "n186"
        },
        {
          "delay": 1,
          "u": "n120",
          "v": "n047"
        },
        {
          "delay": 1,
          "u": "n186",
          "v": "n051"
        },
        {
          "delay": 1,
          "u": "n125",
          "v": "n070"
        },
        {
          "delay": 1,
          "u": "n120",
          "v": "n085"
        },
        {
          "delay": 1,
          "u": "n085",
          "v": "n206"
        },
        {
          "delay": 1,
          "u": "n091",
          "v": "n102"
        },
        {
          "delay": 2,
          "u": "n127",
          "v": "n100"
        },
        {
          "delay": 2,
          "u": "n100",
          "v": "n158"
        },
        {
          "delay": 1,
          "u": "n200",
          "v": "n127"
        },
        {
          "delay": 2,
          "u": "n150",
          "v": "n198"
        },
        {
          "delay": 1,
          "u": "n198",
          "v": "n164"
        },
        {
          "delay": 2,
          "u": "n195",
          "v": "n174"
        }
      ],
      "initial": {
        "clock": 0,
        "outputs": [],
        "peak_queue": 0,
        "peak_state_bytes": 0,
        "pending": null,
        "queue": [],
        "sent": 0,
        "sequence": 0,
        "stored": {
          "n015": 0,
          "n038": 0,
          "n040": 0,
          "n057": 0,
          "n091": 0,
          "n097": 0,
          "n174": 0,
          "n200": 0
        }
      },
      "positions": {
        "n002": [
          -0.022442,
          2.92861,
          2.931076
        ],
        "n003": [
          1.96045,
          3.992328,
          3.963344
        ],
        "n015": [
          -0.045104,
          3.038775,
          0.037353
        ],
        "n017": [
          0.053897,
          3.966663,
          0.02586
        ],
        "n018": [
          0.979198,
          1.998163,
          0.074504
        ],
        "n025": [
          2.008185,
          5.015781,
          3.932842
        ],
        "n029": [
          4.920155,
          3.947977,
          0.076942
        ],
        "n032": [
          1.924217,
          3.95338,
          2.001239
        ],
        "n036": [
          1.94572,
          2.962552,
          5.075837
        ],
        "n038": [
          0.046556,
          2.978952,
          1.077047
        ],
        "n040": [
          0.03117,
          4.059208,
          1.937145
        ],
        "n047": [
          1.011687,
          0.987832,
          0.037804
        ],
        "n051": [
          -0.060439,
          4.011442,
          3.951265
        ],
        "n057": [
          -0.009563,
          3.952776,
          1.059788
        ],
        "n070": [
          2.014009,
          4.981212,
          2.96604
        ],
        "n085": [
          2.009569,
          -0.069538,
          0.028928
        ],
        "n091": [
          0.036234,
          2.015391,
          0.999111
        ],
        "n094": [
          -0.02435,
          2.978795,
          1.937834
        ],
        "n097": [
          0.991239,
          3.927027,
          1.939784
        ],
        "n100": [
          3.040943,
          4.024573,
          0.061403
        ],
        "n102": [
          -0.019153,
          2.076938,
          1.957568
        ],
        "n120": [
          1.079444,
          0.031637,
          0.051286
        ],
        "n125": [
          1.990152,
          4.036793,
          2.920338
        ],
        "n127": [
          2.033486,
          4.06874,
          0.003521
        ],
        "n150": [
          0.964702,
          2.921126,
          2.990109
        ],
        "n158": [
          4.056178,
          3.942083,
          -0.074567
        ],
        "n159": [
          1.026396,
          2.971585,
          0.030923
        ],
        "n164": [
          1.018212,
          2.974816,
          4.951193
        ],
        "n169": [
          1.945836,
          4.007034,
          5.07232
        ],
        "n174": [
          -0.035968,
          2.020066,
          -0.034554
        ],
        "n186": [
          0.057673,
          3.955345,
          3.051996
        ],
        "n195": [
          0.045572,
          0.946761,
          -0.0524
        ],
        "n198": [
          1.027954,
          2.928335,
          4.06712
        ],
        "n200": [
          1.074111,
          3.991263,
          0.066559
        ],
        "n205": [
          2.032805,
          2.066263,
          4.951659
        ],
        "n206": [
          1.984879,
          -0.012028,
          0.953414
        ]
      },
      "terminals": [
        {
          "kind": "query",
          "site": "n017"
        },
        {
          "kind": "response",
          "site": "n206"
        },
        {
          "a": 0,
          "kind": "write",
          "site": "n047"
        },
        {
          "a": 1,
          "kind": "write",
          "site": "n029"
        },
        {
          "a": 2,
          "kind": "write",
          "site": "n205"
        },
        {
          "a": 3,
          "kind": "write",
          "site": "n051"
        },
        {
          "a": 4,
          "kind": "write",
          "site": "n025"
        },
        {
          "a": 5,
          "kind": "write",
          "site": "n169"
        },
        {
          "a": 6,
          "kind": "write",
          "site": "n102"
        },
        {
          "a": 7,
          "kind": "write",
          "site": "n195"
        }
      ],
      "version": "bounded-latch-handshake-v2"
    },
    "construction_trace": [],
    "group": 0,
    "setting": "L6-K8-p0.15"
  },
  {
    "arm": "D",
    "circuit": {
      "K": 8,
      "cells": {
        "n002": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n150",
            "V": "n094"
          }
        },
        "n003": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q5": "n169",
            "V": "n125"
          }
        },
        "n015": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n159",
            "Q0": "n159",
            "Q2": "n038",
            "Q6": "n038",
            "Q7": "n174",
            "V": "n017"
          }
        },
        "n017": {
          "address": null,
          "response": false,
          "role": "interface",
          "routes": {
            "A": "n015",
            "Q0": "n015",
            "Q1": "n200",
            "Q2": "n015",
            "Q3": "n057",
            "Q4": "n057",
            "Q5": "n057",
            "Q6": "n015",
            "Q7": "n015"
          }
        },
        "n018": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n047",
            "Q0": "n047",
            "V": "n159"
          }
        },
        "n025": {
          "address": 4,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n070"
          }
        },
        "n029": {
          "address": 1,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n158"
          }
        },
        "n032": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n125",
            "Q5": "n125",
            "V": "n097"
          }
        },
        "n036": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n205",
            "V": "n164"
          }
        },
        "n038": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n094",
            "Q6": "n091",
            "V": "n015"
          }
        },
        "n040": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n186",
            "Q4": "n097",
            "Q5": "n097",
            "V": "n057"
          }
        },
        "n047": {
          "address": 0,
          "response": false,
          "role": "latch",
          "routes": {
            "A": "n120",
            "V": "n018"
          }
        },
        "n051": {
          "address": 3,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n186"
          }
        },
        "n057": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n040",
            "Q4": "n040",
            "Q5": "n040",
            "V": "n017"
          }
        },
        "n070": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n025",
            "V": "n125"
          }
        },
        "n085": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n206",
            "V": "n120"
          }
        },
        "n091": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q6": "n102",
            "V": "n038"
          }
        },
        "n094": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n002",
            "V": "n038"
          }
        },
        "n097": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n032",
            "Q5": "n032",
            "V": "n040"
          }
        },
        "n100": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n158",
            "V": "n127"
          }
        },
        "n102": {
          "address": 6,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n091"
          }
        },
        "n120": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n085",
            "V": "n047"
          }
        },
        "n125": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n070",
            "Q5": "n003",
            "V": "n032"
          }
        },
        "n127": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n100",
            "V": "n200"
          }
        },
        "n150": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n198",
            "V": "n002"
          }
        },
        "n158": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n029",
            "V": "n100"
          }
        },
        "n159": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n018",
            "Q0": "n018",
            "V": "n015"
          }
        },
        "n164": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n036",
            "V": "n198"
          }
        },
        "n169": {
          "address": 5,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n003"
          }
        },
        "n174": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q7": "n195",
            "V": "n015"
          }
        },
        "n186": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n051",
            "V": "n040"
          }
        },
        "n195": {
          "address": 7,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n174"
          }
        },
        "n198": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n164",
            "V": "n150"
          }
        },
        "n200": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n127",
            "V": "n017"
          }
        },
        "n205": {
          "address": 2,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n036"
          }
        },
        "n206": {
          "address": null,
          "response": true,
          "role": "router",
          "routes": {
            "V": "n085"
          }
        }
      },
      "edges": [
        {
          "delay": 1,
          "u": "n094",
          "v": "n002"
        },
        {
          "delay": 1,
          "u": "n002",
          "v": "n150"
        },
        {
          "delay": 2,
          "u": "n125",
          "v": "n003"
        },
        {
          "delay": 2,
          "u": "n003",
          "v": "n169"
        },
        {
          "delay": 1,
          "u": "n015",
          "v": "n017"
        },
        {
          "delay": 2,
          "u": "n015",
          "v": "n038"
        },
        {
          "delay": 2,
          "u": "n015",
          "v": "n159"
        },
        {
          "delay": 2,
          "u": "n174",
          "v": "n015"
        },
        {
          "delay": 2,
          "u": "n017",
          "v": "n057"
        },
        {
          "delay": 2,
          "u": "n017",
          "v": "n200"
        },
        {
          "delay": 2,
          "u": "n047",
          "v": "n018"
        },
        {
          "delay": 1,
          "u": "n018",
          "v": "n159"
        },
        {
          "delay": 1,
          "u": "n070",
          "v": "n025"
        },
        {
          "delay": 1,
          "u": "n158",
          "v": "n029"
        },
        {
          "delay": 1,
          "u": "n097",
          "v": "n032"
        },
        {
          "delay": 1,
          "u": "n032",
          "v": "n125"
        },
        {
          "delay": 1,
          "u": "n164",
          "v": "n036"
        },
        {
          "delay": 1,
          "u": "n205",
          "v": "n036"
        },
        {
          "delay": 1,
          "u": "n091",
          "v": "n038"
        },
        {
          "delay": 1,
          "u": "n038",
          "v": "n094"
        },
        {
          "delay": 1,
          "u": "n057",
          "v": "n040"
        },
        {
          "delay": 1,
          "u": "n040",
          "v": "n097"
        },
        {
          "delay": 2,
          "u": "n040",
          "v": "n186"
        },
        {
          "delay": 1,
          "u": "n120",
          "v": "n047"
        },
        {
          "delay": 1,
          "u": "n186",
          "v": "n051"
        },
        {
          "delay": 1,
          "u": "n125",
          "v": "n070"
        },
        {
          "delay": 1,
          "u": "n120",
          "v": "n085"
        },
        {
          "delay": 1,
          "u": "n085",
          "v": "n206"
        },
        {
          "delay": 1,
          "u": "n091",
          "v": "n102"
        },
        {
          "delay": 2,
          "u": "n127",
          "v": "n100"
        },
        {
          "delay": 2,
          "u": "n100",
          "v": "n158"
        },
        {
          "delay": 1,
          "u": "n200",
          "v": "n127"
        },
        {
          "delay": 2,
          "u": "n150",
          "v": "n198"
        },
        {
          "delay": 1,
          "u": "n198",
          "v": "n164"
        },
        {
          "delay": 2,
          "u": "n195",
          "v": "n174"
        }
      ],
      "initial": {
        "clock": 0,
        "outputs": [],
        "peak_queue": 0,
        "peak_state_bytes": 0,
        "pending": null,
        "queue": [],
        "sent": 0,
        "sequence": 0,
        "stored": {
          "n025": 0,
          "n029": 0,
          "n047": 0,
          "n051": 0,
          "n102": 0,
          "n169": 0,
          "n195": 0,
          "n205": 0
        }
      },
      "positions": {
        "n002": [
          -0.022442,
          2.92861,
          2.931076
        ],
        "n003": [
          1.96045,
          3.992328,
          3.963344
        ],
        "n015": [
          -0.045104,
          3.038775,
          0.037353
        ],
        "n017": [
          0.053897,
          3.966663,
          0.02586
        ],
        "n018": [
          0.979198,
          1.998163,
          0.074504
        ],
        "n025": [
          2.008185,
          5.015781,
          3.932842
        ],
        "n029": [
          4.920155,
          3.947977,
          0.076942
        ],
        "n032": [
          1.924217,
          3.95338,
          2.001239
        ],
        "n036": [
          1.94572,
          2.962552,
          5.075837
        ],
        "n038": [
          0.046556,
          2.978952,
          1.077047
        ],
        "n040": [
          0.03117,
          4.059208,
          1.937145
        ],
        "n047": [
          1.011687,
          0.987832,
          0.037804
        ],
        "n051": [
          -0.060439,
          4.011442,
          3.951265
        ],
        "n057": [
          -0.009563,
          3.952776,
          1.059788
        ],
        "n070": [
          2.014009,
          4.981212,
          2.96604
        ],
        "n085": [
          2.009569,
          -0.069538,
          0.028928
        ],
        "n091": [
          0.036234,
          2.015391,
          0.999111
        ],
        "n094": [
          -0.02435,
          2.978795,
          1.937834
        ],
        "n097": [
          0.991239,
          3.927027,
          1.939784
        ],
        "n100": [
          3.040943,
          4.024573,
          0.061403
        ],
        "n102": [
          -0.019153,
          2.076938,
          1.957568
        ],
        "n120": [
          1.079444,
          0.031637,
          0.051286
        ],
        "n125": [
          1.990152,
          4.036793,
          2.920338
        ],
        "n127": [
          2.033486,
          4.06874,
          0.003521
        ],
        "n150": [
          0.964702,
          2.921126,
          2.990109
        ],
        "n158": [
          4.056178,
          3.942083,
          -0.074567
        ],
        "n159": [
          1.026396,
          2.971585,
          0.030923
        ],
        "n164": [
          1.018212,
          2.974816,
          4.951193
        ],
        "n169": [
          1.945836,
          4.007034,
          5.07232
        ],
        "n174": [
          -0.035968,
          2.020066,
          -0.034554
        ],
        "n186": [
          0.057673,
          3.955345,
          3.051996
        ],
        "n195": [
          0.045572,
          0.946761,
          -0.0524
        ],
        "n198": [
          1.027954,
          2.928335,
          4.06712
        ],
        "n200": [
          1.074111,
          3.991263,
          0.066559
        ],
        "n205": [
          2.032805,
          2.066263,
          4.951659
        ],
        "n206": [
          1.984879,
          -0.012028,
          0.953414
        ]
      },
      "terminals": [
        {
          "kind": "query",
          "site": "n017"
        },
        {
          "kind": "response",
          "site": "n206"
        },
        {
          "a": 0,
          "kind": "write",
          "site": "n047"
        },
        {
          "a": 1,
          "kind": "write",
          "site": "n029"
        },
        {
          "a": 2,
          "kind": "write",
          "site": "n205"
        },
        {
          "a": 3,
          "kind": "write",
          "site": "n051"
        },
        {
          "a": 4,
          "kind": "write",
          "site": "n025"
        },
        {
          "a": 5,
          "kind": "write",
          "site": "n169"
        },
        {
          "a": 6,
          "kind": "write",
          "site": "n102"
        },
        {
          "a": 7,
          "kind": "write",
          "site": "n195"
        }
      ],
      "version": "bounded-latch-handshake-v2"
    },
    "construction_trace": [
      {
        "boundary": [
          {
            "kind": "query"
          }
        ],
        "event": "birth",
        "parent": null,
        "site": "n017",
        "t": 0
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n015",
        "t": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n057",
        "t": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n072",
        "t": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n017",
        "site": "n200",
        "t": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n015",
        "site": "n038",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n057",
        "site": "n040",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n200",
        "site": "n050",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n072",
        "site": "n087",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n200",
        "site": "n127",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n072",
        "site": "n144",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n015",
        "site": "n159",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n015",
        "site": "n174",
        "t": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n159",
        "site": "n018",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n127",
        "site": "n021",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n050",
        "site": "n044",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n040",
        "site": "n075",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n038",
        "site": "n091",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n038",
        "site": "n094",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n040",
        "site": "n097",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n050",
        "site": "n107",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n127",
        "site": "n128",
        "t": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n094",
        "site": "n002",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n097",
        "site": "n032",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n107",
        "site": "n062",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n091",
        "site": "n073",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n018",
        "site": "n084",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n127",
        "site": "n100",
        "t": 5
      },
      {
        "boundary": [
          {
            "a": 6,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n091",
        "site": "n102",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n127",
        "site": "n167",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n040",
        "site": "n186",
        "t": 5
      },
      {
        "boundary": [
          {
            "a": 7,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n174",
        "site": "n195",
        "t": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n167",
        "site": "n004",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n073",
        "site": "n014",
        "t": 6
      },
      {
        "boundary": [
          {
            "a": 0,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n018",
        "site": "n047",
        "t": 6
      },
      {
        "boundary": [
          {
            "a": 3,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n186",
        "site": "n051",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n018",
        "site": "n055",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n002",
        "site": "n067",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n084",
        "site": "n090",
        "t": 6
      },
      {
        "event": "register",
        "from_site": "n102",
        "site": "n091",
        "t": 6,
        "tag": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n062",
        "site": "n101",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n097",
        "site": "n106",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n075",
        "site": "n111",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n073",
        "site": "n113",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n100",
        "site": "n119",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n032",
        "site": "n125",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n021",
        "site": "n135",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n002",
        "site": "n150",
        "t": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n004",
        "site": "n010",
        "t": 7
      },
      {
        "event": "register",
        "from_site": "n091",
        "site": "n038",
        "t": 7,
        "tag": 6
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n032",
        "site": "n042",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n119",
        "site": "n068",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n125",
        "site": "n070",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n032",
        "site": "n093",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n051",
        "site": "n095",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n047",
        "site": "n120",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n047",
        "site": "n126",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n125",
        "site": "n130",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n195",
        "site": "n131",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n051",
        "site": "n132",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n119",
        "site": "n134",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n113",
        "site": "n139",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n062",
        "site": "n153",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n100",
        "site": "n158",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n090",
        "site": "n161",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n073",
        "site": "n163",
        "t": 7
      },
      {
        "event": "register",
        "from_site": "n195",
        "site": "n174",
        "t": 7,
        "tag": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n150",
        "site": "n182",
        "t": 7
      },
      {
        "event": "register",
        "from_site": "n051",
        "site": "n186",
        "t": 7,
        "tag": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n101",
        "site": "n203",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n002",
        "site": "n211",
        "t": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n211",
        "site": "n001",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n125",
        "site": "n003",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n095",
        "site": "n006",
        "t": 8
      },
      {
        "event": "register",
        "from_site": "n047",
        "site": "n018",
        "t": 8,
        "tag": 0
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n095",
        "site": "n020",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n070",
        "site": "n022",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n130",
        "site": "n023",
        "t": 8
      },
      {
        "boundary": [
          {
            "a": 4,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n070",
        "site": "n025",
        "t": 8
      },
      {
        "boundary": [
          {
            "a": 1,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n158",
        "site": "n029",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n051",
        "site": "n046",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n130",
        "site": "n060",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n004",
        "site": "n066",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n120",
        "site": "n085",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n113",
        "site": "n104",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n134",
        "site": "n105",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n014",
        "site": "n110",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n004",
        "site": "n123",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n042",
        "site": "n146",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n139",
        "site": "n155",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n014",
        "site": "n189",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n139",
        "site": "n191",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n042",
        "site": "n194",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n150",
        "site": "n198",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n067",
        "site": "n213",
        "t": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n010",
        "site": "n005",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n132",
        "site": "n008",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n198",
        "site": "n013",
        "t": 9
      },
      {
        "event": "register",
        "from_site": "n038",
        "site": "n015",
        "t": 9,
        "tag": 6
      },
      {
        "event": "register",
        "from_site": "n174",
        "site": "n015",
        "t": 9,
        "tag": 7
      },
      {
        "event": "register",
        "from_site": "n186",
        "site": "n040",
        "t": 9,
        "tag": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n068",
        "site": "n041",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n161",
        "site": "n049",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n029",
        "site": "n059",
        "t": 9
      },
      {
        "event": "register",
        "from_site": "n025",
        "site": "n070",
        "t": 9,
        "tag": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n093",
        "site": "n074",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n010",
        "site": "n081",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n110",
        "site": "n089",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n022",
        "site": "n092",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n022",
        "site": "n122",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n158",
        "site": "n129",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n085",
        "site": "n143",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n029",
        "site": "n154",
        "t": 9
      },
      {
        "event": "register",
        "from_site": "n029",
        "site": "n158",
        "t": 9,
        "tag": 1
      },
      {
        "event": "register",
        "from_site": "n018",
        "site": "n159",
        "t": 9,
        "tag": 0
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n198",
        "site": "n164",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n060",
        "site": "n173",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n203",
        "site": "n176",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n023",
        "site": "n183",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n003",
        "site": "n190",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n130",
        "site": "n192",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n010",
        "site": "n204",
        "t": 9
      },
      {
        "boundary": [
          {
            "kind": "response"
          }
        ],
        "event": "birth",
        "parent": "n085",
        "site": "n206",
        "t": 9
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n139",
        "site": "n212",
        "t": 9
      },
      {
        "event": "register",
        "from_site": "n015",
        "site": "n017",
        "t": 10,
        "tag": 6
      },
      {
        "event": "register",
        "from_site": "n015",
        "site": "n017",
        "t": 10,
        "tag": 7
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n006",
        "site": "n027",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n105",
        "site": "n033",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n059",
        "site": "n035",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n164",
        "site": "n036",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n074",
        "site": "n037",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n001",
        "site": "n043",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n023",
        "site": "n054",
        "t": 10
      },
      {
        "event": "register",
        "from_site": "n040",
        "site": "n057",
        "t": 10,
        "tag": 3
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n155",
        "site": "n061",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n081",
        "site": "n071",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n173",
        "site": "n076",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n089",
        "site": "n078",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n212",
        "site": "n079",
        "t": 10
      },
      {
        "event": "register",
        "from_site": "n206",
        "site": "n085",
        "t": 10,
        "tag": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n183",
        "site": "n098",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n025",
        "site": "n121",
        "t": 10
      },
      {
        "event": "register",
        "from_site": "n070",
        "site": "n125",
        "t": 10,
        "tag": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n059",
        "site": "n138",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n191",
        "site": "n142",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n110",
        "site": "n152",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n013",
        "site": "n156",
        "t": 10
      },
      {
        "boundary": [
          {
            "a": 5,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n003",
        "site": "n169",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n060",
        "site": "n170",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n122",
        "site": "n177",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n066",
        "site": "n178",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n081",
        "site": "n184",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n176",
        "site": "n185",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n155",
        "site": "n196",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n049",
        "site": "n201",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n173",
        "site": "n209",
        "t": 10
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n142",
        "site": "n007",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n079",
        "site": "n011",
        "t": 11
      },
      {
        "event": "register",
        "from_site": "n159",
        "site": "n015",
        "t": 11,
        "tag": 0
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n076",
        "site": "n030",
        "t": 11
      },
      {
        "event": "register",
        "from_site": "n125",
        "site": "n032",
        "t": 11,
        "tag": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n098",
        "site": "n045",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n092",
        "site": "n048",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n201",
        "site": "n056",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n071",
        "site": "n058",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n092",
        "site": "n080",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n170",
        "site": "n088",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n143",
        "site": "n096",
        "t": 11
      },
      {
        "event": "register",
        "from_site": "n158",
        "site": "n100",
        "t": 11,
        "tag": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n035",
        "site": "n114",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n054",
        "site": "n117",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n013",
        "site": "n118",
        "t": 11
      },
      {
        "event": "register",
        "from_site": "n085",
        "site": "n120",
        "t": 11,
        "tag": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n196",
        "site": "n133",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n098",
        "site": "n145",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n061",
        "site": "n149",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n054",
        "site": "n157",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n183",
        "site": "n168",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n192",
        "site": "n180",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n152",
        "site": "n187",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n005",
        "site": "n188",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n209",
        "site": "n199",
        "t": 11
      },
      {
        "boundary": [
          {
            "a": 2,
            "kind": "write"
          }
        ],
        "event": "birth",
        "parent": "n036",
        "site": "n205",
        "t": 11
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n143",
        "site": "n208",
        "t": 11
      },
      {
        "event": "register",
        "from_site": "n169",
        "site": "n003",
        "t": 12,
        "tag": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n096",
        "site": "n009",
        "t": 12
      },
      {
        "event": "register",
        "from_site": "n015",
        "site": "n017",
        "t": 12,
        "tag": 0
      },
      {
        "event": "register",
        "from_site": "n057",
        "site": "n017",
        "t": 12,
        "tag": 3
      },
      {
        "event": "register",
        "from_site": "n205",
        "site": "n036",
        "t": 12,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n120",
        "site": "n047",
        "t": 12,
        "tag": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n209",
        "site": "n052",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n168",
        "site": "n082",
        "t": 12
      },
      {
        "event": "register",
        "from_site": "n032",
        "site": "n097",
        "t": 12,
        "tag": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n048",
        "site": "n099",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n011",
        "site": "n108",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n007",
        "site": "n109",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n076",
        "site": "n112",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n078",
        "site": "n115",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n030",
        "site": "n124",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n078",
        "site": "n136",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n145",
        "site": "n137",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n078",
        "site": "n140",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n045",
        "site": "n141",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n098",
        "site": "n160",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n037",
        "site": "n165",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n071",
        "site": "n175",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n011",
        "site": "n214",
        "t": 12
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n136",
        "site": "n000",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n007",
        "site": "n012",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n141",
        "site": "n016",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n030",
        "site": "n039",
        "t": 13
      },
      {
        "event": "register",
        "from_site": "n097",
        "site": "n040",
        "t": 13,
        "tag": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n124",
        "site": "n064",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n109",
        "site": "n065",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n030",
        "site": "n069",
        "t": 13
      },
      {
        "event": "register",
        "from_site": "n100",
        "site": "n127",
        "t": 13,
        "tag": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n199",
        "site": "n162",
        "t": 13
      },
      {
        "event": "register",
        "from_site": "n036",
        "site": "n164",
        "t": 13,
        "tag": 2
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n096",
        "site": "n166",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n056",
        "site": "n179",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n058",
        "site": "n193",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n109",
        "site": "n210",
        "t": 13
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n045",
        "site": "n215",
        "t": 13
      },
      {
        "event": "register",
        "from_site": "n047",
        "site": "n018",
        "t": 14,
        "tag": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n065",
        "site": "n034",
        "t": 14
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n215",
        "site": "n053",
        "t": 14
      },
      {
        "event": "register",
        "from_site": "n040",
        "site": "n057",
        "t": 14,
        "tag": 4
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n162",
        "site": "n077",
        "t": 14
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n012",
        "site": "n083",
        "t": 14
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n052",
        "site": "n103",
        "t": 14
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n009",
        "site": "n116",
        "t": 14
      },
      {
        "event": "register",
        "from_site": "n003",
        "site": "n125",
        "t": 14,
        "tag": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n210",
        "site": "n171",
        "t": 14
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n064",
        "site": "n181",
        "t": 14
      },
      {
        "event": "register",
        "from_site": "n164",
        "site": "n198",
        "t": 14,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n127",
        "site": "n200",
        "t": 14,
        "tag": 1
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n039",
        "site": "n202",
        "t": 14
      },
      {
        "event": "register",
        "from_site": "n125",
        "site": "n032",
        "t": 15,
        "tag": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n016",
        "site": "n147",
        "t": 15
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n053",
        "site": "n151",
        "t": 15
      },
      {
        "event": "register",
        "from_site": "n018",
        "site": "n159",
        "t": 15,
        "tag": 8
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n077",
        "site": "n207",
        "t": 15
      },
      {
        "event": "register",
        "from_site": "n057",
        "site": "n017",
        "t": 16,
        "tag": 4
      },
      {
        "event": "register",
        "from_site": "n200",
        "site": "n017",
        "t": 16,
        "tag": 1
      },
      {
        "event": "register",
        "from_site": "n032",
        "site": "n097",
        "t": 16,
        "tag": 5
      },
      {
        "boundary": [],
        "event": "birth",
        "parent": "n147",
        "site": "n148",
        "t": 16
      },
      {
        "event": "register",
        "from_site": "n198",
        "site": "n150",
        "t": 16,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n150",
        "site": "n002",
        "t": 17,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n159",
        "site": "n015",
        "t": 17,
        "tag": 8
      },
      {
        "event": "register",
        "from_site": "n097",
        "site": "n040",
        "t": 17,
        "tag": 5
      },
      {
        "event": "register",
        "from_site": "n015",
        "site": "n017",
        "t": 18,
        "tag": 8
      },
      {
        "event": "register",
        "from_site": "n040",
        "site": "n057",
        "t": 18,
        "tag": 5
      },
      {
        "event": "register",
        "from_site": "n002",
        "site": "n094",
        "t": 18,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n094",
        "site": "n038",
        "t": 19,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n057",
        "site": "n017",
        "t": 20,
        "tag": 5
      },
      {
        "event": "register",
        "from_site": "n038",
        "site": "n015",
        "t": 21,
        "tag": 2
      },
      {
        "event": "register",
        "from_site": "n015",
        "site": "n017",
        "t": 22,
        "tag": 2
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n150",
            "V": "n094"
          }
        },
        "event": "differentiate",
        "site": "n002",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q5": "n169",
            "V": "n125"
          }
        },
        "event": "differentiate",
        "site": "n003",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n159",
            "Q0": "n159",
            "Q2": "n038",
            "Q6": "n038",
            "Q7": "n174",
            "V": "n017"
          }
        },
        "event": "differentiate",
        "site": "n015",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "interface",
          "routes": {
            "A": "n015",
            "Q0": "n015",
            "Q1": "n200",
            "Q2": "n015",
            "Q3": "n057",
            "Q4": "n057",
            "Q5": "n057",
            "Q6": "n015",
            "Q7": "n015"
          }
        },
        "event": "differentiate",
        "site": "n017",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n047",
            "Q0": "n047",
            "V": "n159"
          }
        },
        "event": "differentiate",
        "site": "n018",
        "t": 22
      },
      {
        "cell": {
          "address": 4,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n070"
          }
        },
        "event": "differentiate",
        "site": "n025",
        "t": 22
      },
      {
        "cell": {
          "address": 1,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n158"
          }
        },
        "event": "differentiate",
        "site": "n029",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n125",
            "Q5": "n125",
            "V": "n097"
          }
        },
        "event": "differentiate",
        "site": "n032",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n205",
            "V": "n164"
          }
        },
        "event": "differentiate",
        "site": "n036",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n094",
            "Q6": "n091",
            "V": "n015"
          }
        },
        "event": "differentiate",
        "site": "n038",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n186",
            "Q4": "n097",
            "Q5": "n097",
            "V": "n057"
          }
        },
        "event": "differentiate",
        "site": "n040",
        "t": 22
      },
      {
        "cell": {
          "address": 0,
          "response": false,
          "role": "latch",
          "routes": {
            "A": "n120",
            "V": "n018"
          }
        },
        "event": "differentiate",
        "site": "n047",
        "t": 22
      },
      {
        "cell": {
          "address": 3,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n186"
          }
        },
        "event": "differentiate",
        "site": "n051",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n040",
            "Q4": "n040",
            "Q5": "n040",
            "V": "n017"
          }
        },
        "event": "differentiate",
        "site": "n057",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n025",
            "V": "n125"
          }
        },
        "event": "differentiate",
        "site": "n070",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n206",
            "V": "n120"
          }
        },
        "event": "differentiate",
        "site": "n085",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q6": "n102",
            "V": "n038"
          }
        },
        "event": "differentiate",
        "site": "n091",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n002",
            "V": "n038"
          }
        },
        "event": "differentiate",
        "site": "n094",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n032",
            "Q5": "n032",
            "V": "n040"
          }
        },
        "event": "differentiate",
        "site": "n097",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n158",
            "V": "n127"
          }
        },
        "event": "differentiate",
        "site": "n100",
        "t": 22
      },
      {
        "cell": {
          "address": 6,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n091"
          }
        },
        "event": "differentiate",
        "site": "n102",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n085",
            "V": "n047"
          }
        },
        "event": "differentiate",
        "site": "n120",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q4": "n070",
            "Q5": "n003",
            "V": "n032"
          }
        },
        "event": "differentiate",
        "site": "n125",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n100",
            "V": "n200"
          }
        },
        "event": "differentiate",
        "site": "n127",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n198",
            "V": "n002"
          }
        },
        "event": "differentiate",
        "site": "n150",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n029",
            "V": "n100"
          }
        },
        "event": "differentiate",
        "site": "n158",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "A": "n018",
            "Q0": "n018",
            "V": "n015"
          }
        },
        "event": "differentiate",
        "site": "n159",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n036",
            "V": "n198"
          }
        },
        "event": "differentiate",
        "site": "n164",
        "t": 22
      },
      {
        "cell": {
          "address": 5,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n003"
          }
        },
        "event": "differentiate",
        "site": "n169",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q7": "n195",
            "V": "n015"
          }
        },
        "event": "differentiate",
        "site": "n174",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q3": "n051",
            "V": "n040"
          }
        },
        "event": "differentiate",
        "site": "n186",
        "t": 22
      },
      {
        "cell": {
          "address": 7,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n174"
          }
        },
        "event": "differentiate",
        "site": "n195",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q2": "n164",
            "V": "n150"
          }
        },
        "event": "differentiate",
        "site": "n198",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": false,
          "role": "router",
          "routes": {
            "Q1": "n127",
            "V": "n017"
          }
        },
        "event": "differentiate",
        "site": "n200",
        "t": 22
      },
      {
        "cell": {
          "address": 2,
          "response": false,
          "role": "latch",
          "routes": {
            "V": "n036"
          }
        },
        "event": "differentiate",
        "site": "n205",
        "t": 22
      },
      {
        "cell": {
          "address": null,
          "response": true,
          "role": "router",
          "routes": {
            "V": "n085"
          }
        },
        "event": "differentiate",
        "site": "n206",
        "t": 22
      }
    ],
    "group": 0,
    "setting": "L6-K8-p0.15"
  }
]
