{
  "values": [
    4,
    2,
    2,
    5,
    1,
    5
  ],
  "width": 3,
  "output": [
    {
      "start": 0,
      "end_exclusive": 3,
      "maximum": 4,
      "earliest_max_index": 0
    },
    {
      "start": 1,
      "end_exclusive": 4,
      "maximum": 5,
      "earliest_max_index": 3
    },
    {
      "start": 2,
      "end_exclusive": 5,
      "maximum": 5,
      "earliest_max_index": 3
    },
    {
      "start": 3,
      "end_exclusive": 6,
      "maximum": 5,
      "earliest_max_index": 3
    }
  ],
  "trace": [
    {
      "index": 0,
      "value": 4,
      "expired_indices": [],
      "dominated_indices": [],
      "deque_indices": [
        0
      ],
      "warmup": true
    },
    {
      "index": 1,
      "value": 2,
      "expired_indices": [],
      "dominated_indices": [],
      "deque_indices": [
        0,
        1
      ],
      "warmup": true
    },
    {
      "index": 2,
      "value": 2,
      "expired_indices": [],
      "dominated_indices": [],
      "deque_indices": [
        0,
        1,
        2
      ],
      "warmup": false
    },
    {
      "index": 3,
      "value": 5,
      "expired_indices": [
        0
      ],
      "dominated_indices": [
        2,
        1
      ],
      "deque_indices": [
        3
      ],
      "warmup": false
    },
    {
      "index": 4,
      "value": 1,
      "expired_indices": [],
      "dominated_indices": [],
      "deque_indices": [
        3,
        4
      ],
      "warmup": false
    },
    {
      "index": 5,
      "value": 5,
      "expired_indices": [],
      "dominated_indices": [
        4
      ],
      "deque_indices": [
        3,
        5
      ],
      "warmup": false
    }
  ],
  "operations_for_this_trace": {
    "pushes": 6,
    "pops": 4,
    "remaining": 2
  },
  "all_short_array_width_checks": 6015,
  "equal_values_earliest_index": [
    {
      "start": 0,
      "end_exclusive": 2,
      "maximum": 2,
      "earliest_max_index": 0
    },
    {
      "start": 1,
      "end_exclusive": 3,
      "maximum": 2,
      "earliest_max_index": 1
    }
  ],
  "empty_width1_output": [],
  "rejected_widths": [
    "0",
    "-1",
    "7",
    "True"
  ],
  "complexity_scope": "amortized pushes/pops, not worst-case constant per update, no timing benchmark",
  "paired_Lemire_wedge_implemented": false
}