{
  "status": "PASS",
  "checks": {
    "block_operations": 17930,
    "mo_arrays": 1093,
    "mo_queries": 161696,
    "dominance_instances": 2200,
    "dominance_queries": 20430,
    "assignment_programs": 1500,
    "assignment_queries": 15464,
    "pbs_instances": 2200,
    "pbs_queries": 18919,
    "invalid_inputs": 8
  },
  "examples": {
    "initial": [
      3,
      1,
      3,
      2,
      1,
      4,
      2,
      3
    ],
    "assignment_operations": [
      [
        "count",
        1,
        7,
        2
      ],
      [
        "set",
        2,
        1
      ],
      [
        "count",
        0,
        4,
        1
      ],
      [
        "set",
        5,
        1
      ],
      [
        "count",
        2,
        8,
        2
      ],
      [
        "set",
        2,
        1
      ],
      [
        "count",
        4,
        4,
        99
      ]
    ],
    "assignment": {
      "answers": [
        4,
        2,
        5,
        0
      ],
      "update_events": 14,
      "prefix_queries": 8,
      "cdq_stats": {
        "nodes": 43,
        "insertions": 22,
        "rollbacks": 22,
        "prefix_queries": 23
      }
    },
    "mo_queries": [
      [
        2,
        7
      ],
      [
        0,
        4
      ],
      [
        4,
        8
      ],
      [
        1,
        6
      ],
      [
        3,
        3
      ],
      [
        0,
        8
      ],
      [
        3,
        5
      ]
    ],
    "mo": {
      "answers": [
        [
          4,
          7
        ],
        [
          3,
          6
        ],
        [
          4,
          4
        ],
        [
          4,
          7
        ],
        [
          0,
          0
        ],
        [
          4,
          18
        ],
        [
          2,
          2
        ]
      ],
      "order": [
        1,
        3,
        0,
        5,
        6,
        2
      ],
      "block_size": 3,
      "moves": {
        "add_left": 2,
        "add_right": 11,
        "remove_left": 6,
        "remove_right": 3
      },
      "trace": [
        {
          "query_id": 1,
          "before": [
            0,
            0
          ],
          "after": [
            0,
            4
          ],
          "distinct": 3,
          "square": 6
        },
        {
          "query_id": 3,
          "before": [
            0,
            4
          ],
          "after": [
            1,
            6
          ],
          "distinct": 4,
          "square": 7
        },
        {
          "query_id": 0,
          "before": [
            1,
            6
          ],
          "after": [
            2,
            7
          ],
          "distinct": 4,
          "square": 7
        },
        {
          "query_id": 5,
          "before": [
            2,
            7
          ],
          "after": [
            0,
            8
          ],
          "distinct": 4,
          "square": 18
        },
        {
          "query_id": 6,
          "before": [
            0,
            8
          ],
          "after": [
            3,
            5
          ],
          "distinct": 2,
          "square": 2
        },
        {
          "query_id": 2,
          "before": [
            3,
            5
          ],
          "after": [
            4,
            8
          ],
          "distinct": 4,
          "square": 4
        }
      ]
    },
    "dominance_updates": [
      [
        0,
        1,
        2,
        3
      ],
      [
        0,
        1,
        2,
        -1
      ],
      [
        1,
        0,
        2,
        5
      ],
      [
        0,
        2,
        1,
        7
      ]
    ],
    "dominance": {
      "answers": [
        2,
        14
      ],
      "stats": {
        "nodes": 11,
        "insertions": 4,
        "rollbacks": 4,
        "prefix_queries": 4
      },
      "trace": [
        {
          "segment": [
            1,
            3
          ],
          "split": 2,
          "inserted_update_ids": [],
          "query_contributions": []
        },
        {
          "segment": [
            0,
            3
          ],
          "split": 1,
          "inserted_update_ids": [],
          "query_contributions": []
        },
        {
          "segment": [
            4,
            6
          ],
          "split": 5,
          "inserted_update_ids": [
            2
          ],
          "query_contributions": [
            [
              1,
              5
            ]
          ]
        },
        {
          "segment": [
            3,
            6
          ],
          "split": 4,
          "inserted_update_ids": [],
          "query_contributions": [
            [
              1,
              0
            ]
          ]
        },
        {
          "segment": [
            0,
            6
          ],
          "split": 3,
          "inserted_update_ids": [
            0,
            1,
            3
          ],
          "query_contributions": [
            [
              0,
              2
            ],
            [
              1,
              9
            ]
          ]
        }
      ]
    },
    "pbs_initial": [
      0,
      0,
      0,
      0
    ],
    "increments": [
      [
        1,
        2
      ],
      [
        3,
        3
      ],
      [
        0,
        1
      ],
      [
        2,
        4
      ],
      [
        1,
        0
      ],
      [
        3,
        2
      ]
    ],
    "pbs_queries": [
      [
        0,
        2,
        3
      ],
      [
        2,
        4,
        5
      ],
      [
        0,
        4,
        0
      ],
      [
        1,
        3,
        7
      ],
      [
        0,
        1,
        2
      ],
      [
        2,
        2,
        1
      ]
    ],
    "pbs": {
      "answers": [
        3,
        4,
        0,
        null,
        null,
        null
      ],
      "lo": [
        2,
        3,
        -1,
        6,
        6,
        6
      ],
      "hi": [
        3,
        4,
        0,
        7,
        7,
        7
      ],
      "stats": {
        "rounds": 3,
        "replayed_updates": 18,
        "predicate_checks": 18,
        "initial_cells_built": 12
      },
      "trace": [
        [
          {
            "query_id": 0,
            "time": 3,
            "sum": 3,
            "true": true,
            "lo": -1,
            "hi": 3
          },
          {
            "query_id": 1,
            "time": 3,
            "sum": 3,
            "true": false,
            "lo": 3,
            "hi": 7
          },
          {
            "query_id": 2,
            "time": 3,
            "sum": 6,
            "true": true,
            "lo": -1,
            "hi": 3
          },
          {
            "query_id": 3,
            "time": 3,
            "sum": 2,
            "true": false,
            "lo": 3,
            "hi": 7
          },
          {
            "query_id": 4,
            "time": 3,
            "sum": 1,
            "true": false,
            "lo": 3,
            "hi": 7
          },
          {
            "query_id": 5,
            "time": 3,
            "sum": 0,
            "true": false,
            "lo": 3,
            "hi": 7
          }
        ],
        [
          {
            "query_id": 0,
            "time": 1,
            "sum": 2,
            "true": false,
            "lo": 1,
            "hi": 3
          },
          {
            "query_id": 2,
            "time": 1,
            "sum": 2,
            "true": true,
            "lo": -1,
            "hi": 1
          },
          {
            "query_id": 1,
            "time": 5,
            "sum": 7,
            "true": true,
            "lo": 3,
            "hi": 5
          },
          {
            "query_id": 3,
            "time": 5,
            "sum": 6,
            "true": false,
            "lo": 5,
            "hi": 7
          },
          {
            "query_id": 4,
            "time": 5,
            "sum": 1,
            "true": false,
            "lo": 5,
            "hi": 7
          },
          {
            "query_id": 5,
            "time": 5,
            "sum": 0,
            "true": false,
            "lo": 5,
            "hi": 7
          }
        ],
        [
          {
            "query_id": 2,
            "time": 0,
            "sum": 0,
            "true": true,
            "lo": -1,
            "hi": 0
          },
          {
            "query_id": 0,
            "time": 2,
            "sum": 2,
            "true": false,
            "lo": 2,
            "hi": 3
          },
          {
            "query_id": 1,
            "time": 4,
            "sum": 7,
            "true": true,
            "lo": 3,
            "hi": 4
          },
          {
            "query_id": 3,
            "time": 6,
            "sum": 6,
            "true": false,
            "lo": 6,
            "hi": 7
          },
          {
            "query_id": 4,
            "time": 6,
            "sum": 1,
            "true": false,
            "lo": 6,
            "hi": 7
          },
          {
            "query_id": 5,
            "time": 6,
            "sum": 0,
            "true": false,
            "lo": 6,
            "hi": 7
          }
        ]
      ]
    }
  }
}