{
  "runtime": "3.12.14",
  "initial_values": [
    3,
    -1,
    4,
    2,
    0,
    5,
    -2,
    1
  ],
  "initial_tree_one_based": [
    0,
    3,
    2,
    4,
    8,
    0,
    5,
    -2,
    12
  ],
  "history": [
    {
      "external_index": 0,
      "delta": 2,
      "internal_update_path": [
        1,
        2,
        4,
        8
      ],
      "tree": [
        0,
        5,
        4,
        4,
        10,
        0,
        5,
        -2,
        14
      ],
      "values": [
        5,
        -1,
        4,
        2,
        0,
        5,
        -2,
        1
      ]
    },
    {
      "external_index": 3,
      "delta": -3,
      "internal_update_path": [
        4,
        8
      ],
      "tree": [
        0,
        5,
        4,
        4,
        7,
        0,
        5,
        -2,
        11
      ],
      "values": [
        5,
        -1,
        4,
        -1,
        0,
        5,
        -2,
        1
      ]
    },
    {
      "external_index": 7,
      "delta": 4,
      "internal_update_path": [
        8
      ],
      "tree": [
        0,
        5,
        4,
        4,
        7,
        0,
        5,
        -2,
        15
      ],
      "values": [
        5,
        -1,
        4,
        -1,
        0,
        5,
        -2,
        5
      ]
    },
    {
      "external_index": 2,
      "delta": -4,
      "internal_update_path": [
        3,
        4,
        8
      ],
      "tree": [
        0,
        5,
        4,
        0,
        3,
        0,
        5,
        -2,
        11
      ],
      "values": [
        5,
        -1,
        0,
        -1,
        0,
        5,
        -2,
        5
      ]
    },
    {
      "set_index": 4,
      "set_value": 7,
      "translated_delta": 7,
      "internal_update_path": [
        5,
        6,
        8
      ],
      "tree": [
        0,
        5,
        4,
        0,
        3,
        7,
        12,
        -2,
        18
      ],
      "values": [
        5,
        -1,
        0,
        -1,
        7,
        5,
        -2,
        5
      ]
    }
  ],
  "final_coverage": [
    {
      "internal_index": 1,
      "external_half_open": [
        0,
        1
      ],
      "stored": 5
    },
    {
      "internal_index": 2,
      "external_half_open": [
        0,
        2
      ],
      "stored": 4
    },
    {
      "internal_index": 3,
      "external_half_open": [
        2,
        3
      ],
      "stored": 0
    },
    {
      "internal_index": 4,
      "external_half_open": [
        0,
        4
      ],
      "stored": 3
    },
    {
      "internal_index": 5,
      "external_half_open": [
        4,
        5
      ],
      "stored": 7
    },
    {
      "internal_index": 6,
      "external_half_open": [
        4,
        6
      ],
      "stored": 12
    },
    {
      "internal_index": 7,
      "external_half_open": [
        6,
        7
      ],
      "stored": -2
    },
    {
      "internal_index": 8,
      "external_half_open": [
        0,
        8
      ],
      "stored": 18
    }
  ],
  "final_prefix7": {
    "sum": 13,
    "internal_path": [
      7,
      6,
      4
    ]
  },
  "prefix0": 0,
  "empty_range3_3": 0,
  "all_prefix_range_assertions": 324,
  "rejected_indices": [
    "-1",
    "8",
    "True"
  ],
  "internal_update_zero_rejected": true,
  "scope": "Integer point-add/prefix/half-open range sums, one-based internal tree; negative values allowed, no order-statistic search/concurrency/compression/benchmark guarantee."
}