{
  "01_buggy_bell.py": {
    "Stmt": [
      [
        1,
        1,
        "global"
      ],
      [
        2,
        11,
        "global"
      ],
      [
        3,
        13,
        "global"
      ],
      [
        4,
        14,
        "global"
      ],
      [
        5,
        15,
        "global"
      ],
      [
        6,
        16,
        "global"
      ],
      [
        7,
        17,
        "global"
      ],
      [
        8,
        19,
        "global"
      ],
      [
        9,
        20,
        "global"
      ],
      [
        10,
        21,
        "global"
      ],
      [
        11,
        22,
        "global"
      ],
      [
        12,
        24,
        "global"
      ],
      [
        13,
        25,
        "global"
      ],
      [
        14,
        26,
        "global"
      ]
    ],
    "CFGEdge": [
      [
        13,
        14
      ],
      [
        12,
        13
      ],
      [
        11,
        12
      ],
      [
        10,
        11
      ],
      [
        9,
        10
      ],
      [
        8,
        9
      ],
      [
        7,
        8
      ],
      [
        6,
        7
      ],
      [
        5,
        6
      ],
      [
        4,
        5
      ],
      [
        3,
        4
      ],
      [
        2,
        3
      ],
      [
        1,
        2
      ]
    ],
    "Assign": [
      [
        3,
        "qc",
        "call_result"
      ],
      [
        8,
        "qc2",
        "call_result"
      ],
      [
        12,
        "sub",
        "call_result"
      ]
    ],
    "CircuitAlloc": [
      [
        3,
        "qc",
        2,
        2
      ],
      [
        8,
        "qc2",
        1,
        1
      ],
      [
        12,
        "sub",
        1,
        1
      ]
    ],
    "GateOp": [
      [
        4,
        "qc",
        "h",
        0
      ],
      [
        5,
        "qc",
        "cx",
        0
      ],
      [
        5,
        "qc",
        "cx",
        1
      ],
      [
        9,
        "qc2",
        "h",
        0
      ],
      [
        11,
        "qc2",
        "h",
        0
      ],
      [
        13,
        "sub",
        "h",
        0
      ]
    ],
    "MeasureOp": [
      [
        6,
        "qc",
        0,
        0
      ],
      [
        7,
        "qc",
        0,
        0
      ],
      [
        10,
        "qc2",
        0,
        0
      ]
    ],
    "CircuitCall": [
      [
        14,
        "compose",
        "qc",
        "sub"
      ]
    ]
  },
  "02_loop_remeasure.py": {
    "Stmt": [
      [
        1,
        1,
        "global"
      ],
      [
        2,
        8,
        "global"
      ],
      [
        3,
        10,
        "global"
      ],
      [
        4,
        11,
        "global"
      ],
      [
        5,
        12,
        "global"
      ],
      [
        6,
        13,
        "global"
      ]
    ],
    "CFGEdge": [
      [
        4,
        5
      ],
      [
        6,
        4
      ],
      [
        5,
        6
      ],
      [
        3,
        4
      ],
      [
        2,
        3
      ],
      [
        1,
        2
      ]
    ],
    "Assign": [
      [
        3,
        "qc",
        "call_result"
      ]
    ],
    "CircuitAlloc": [
      [
        3,
        "qc",
        1,
        1
      ]
    ],
    "GateOp": [],
    "MeasureOp": [
      [
        5,
        "qc",
        0,
        0
      ],
      [
        6,
        "qc",
        0,
        0
      ]
    ],
    "CircuitCall": []
  },
  "03_clean_ghz.py": {
    "Stmt": [
      [
        1,
        1,
        "global"
      ],
      [
        2,
        8,
        "global"
      ],
      [
        3,
        10,
        "global"
      ],
      [
        4,
        11,
        "global"
      ],
      [
        5,
        12,
        "global"
      ],
      [
        6,
        13,
        "global"
      ],
      [
        7,
        14,
        "global"
      ]
    ],
    "CFGEdge": [
      [
        6,
        7
      ],
      [
        5,
        6
      ],
      [
        4,
        5
      ],
      [
        3,
        4
      ],
      [
        2,
        3
      ],
      [
        1,
        2
      ]
    ],
    "Assign": [
      [
        3,
        "qc",
        "call_result"
      ]
    ],
    "CircuitAlloc": [
      [
        3,
        "qc",
        3,
        3
      ]
    ],
    "GateOp": [
      [
        4,
        "qc",
        "h",
        0
      ],
      [
        5,
        "qc",
        "cx",
        0
      ],
      [
        5,
        "qc",
        "cx",
        1
      ],
      [
        6,
        "qc",
        "cx",
        1
      ],
      [
        6,
        "qc",
        "cx",
        2
      ]
    ],
    "MeasureOp": [
      [
        7,
        "qc",
        0,
        0
      ]
    ],
    "CircuitCall": []
  }
}