{
  "status": "PASS",
  "main": {
    "input": [
      8,
      14,
      27,
      1,
      3,
      9,
      11,
      17,
      19,
      29,
      6,
      25,
      0,
      2,
      4,
      7,
      10,
      13,
      20,
      24,
      31,
      5,
      12,
      18,
      30,
      15,
      16,
      21,
      22,
      23,
      26,
      28
    ],
    "result": {
      "output": [
        [
          0,
          12
        ],
        [
          1,
          3
        ],
        [
          2,
          13
        ],
        [
          3,
          4
        ],
        [
          4,
          14
        ],
        [
          5,
          21
        ],
        [
          6,
          10
        ],
        [
          7,
          15
        ],
        [
          8,
          0
        ],
        [
          9,
          5
        ],
        [
          10,
          16
        ],
        [
          11,
          6
        ],
        [
          12,
          22
        ],
        [
          13,
          17
        ],
        [
          14,
          1
        ],
        [
          15,
          25
        ],
        [
          16,
          26
        ],
        [
          17,
          7
        ],
        [
          18,
          23
        ],
        [
          19,
          8
        ],
        [
          20,
          18
        ],
        [
          21,
          27
        ],
        [
          22,
          28
        ],
        [
          23,
          29
        ],
        [
          24,
          19
        ],
        [
          25,
          11
        ],
        [
          26,
          30
        ],
        [
          27,
          2
        ],
        [
          28,
          31
        ],
        [
          29,
          9
        ],
        [
          30,
          24
        ],
        [
          31,
          20
        ]
      ],
      "root": 10,
      "runs": [
        {
          "index": 0,
          "left": 0,
          "right": 3,
          "descending": false
        },
        {
          "index": 1,
          "left": 3,
          "right": 10,
          "descending": false
        },
        {
          "index": 2,
          "left": 10,
          "right": 12,
          "descending": false
        },
        {
          "index": 3,
          "left": 12,
          "right": 21,
          "descending": false
        },
        {
          "index": 4,
          "left": 21,
          "right": 25,
          "descending": false
        },
        {
          "index": 5,
          "left": 25,
          "right": 32,
          "descending": false
        }
      ],
      "nodes": [
        {
          "id": 0,
          "kind": "leaf",
          "run": 0,
          "left": 0,
          "right": 3
        },
        {
          "id": 1,
          "kind": "leaf",
          "run": 1,
          "left": 3,
          "right": 10
        },
        {
          "id": 2,
          "kind": "leaf",
          "run": 2,
          "left": 10,
          "right": 12
        },
        {
          "id": 3,
          "kind": "merge",
          "left": 0,
          "right": 10,
          "children": [
            0,
            1
          ]
        },
        {
          "id": 4,
          "kind": "leaf",
          "run": 3,
          "left": 12,
          "right": 21
        },
        {
          "id": 5,
          "kind": "merge",
          "left": 0,
          "right": 12,
          "children": [
            3,
            2
          ]
        },
        {
          "id": 6,
          "kind": "leaf",
          "run": 4,
          "left": 21,
          "right": 25
        },
        {
          "id": 7,
          "kind": "leaf",
          "run": 5,
          "left": 25,
          "right": 32
        },
        {
          "id": 8,
          "kind": "merge",
          "left": 12,
          "right": 25,
          "children": [
            4,
            6
          ]
        },
        {
          "id": 9,
          "kind": "merge",
          "left": 12,
          "right": 32,
          "children": [
            8,
            7
          ]
        },
        {
          "id": 10,
          "kind": "merge",
          "left": 0,
          "right": 32,
          "children": [
            5,
            9
          ]
        }
      ],
      "events": [
        {
          "action": "push",
          "node": 0,
          "power": 3
        },
        {
          "action": "pop",
          "node": 0,
          "power": 3
        },
        {
          "action": "merge",
          "node": 3,
          "left": 0,
          "middle": 3,
          "right": 10,
          "comparisons": 11,
          "volume": 10,
          "buffer_writes": 10,
          "array_writes": 10
        },
        {
          "action": "push",
          "node": 3,
          "power": 2
        },
        {
          "action": "pop",
          "node": 3,
          "power": 2
        },
        {
          "action": "merge",
          "node": 5,
          "left": 0,
          "middle": 10,
          "right": 12,
          "comparisons": 10,
          "volume": 12,
          "buffer_writes": 12,
          "array_writes": 12
        },
        {
          "action": "push",
          "node": 5,
          "power": 1
        },
        {
          "action": "push",
          "node": 4,
          "power": 3
        },
        {
          "action": "pop",
          "node": 4,
          "power": 3
        },
        {
          "action": "merge",
          "node": 8,
          "left": 12,
          "middle": 21,
          "right": 25,
          "comparisons": 13,
          "volume": 13,
          "buffer_writes": 13,
          "array_writes": 13
        },
        {
          "action": "push",
          "node": 8,
          "power": 2
        },
        {
          "action": "pop",
          "node": 8,
          "power": 2
        },
        {
          "action": "merge",
          "node": 9,
          "left": 12,
          "middle": 25,
          "right": 32,
          "comparisons": 17,
          "volume": 20,
          "buffer_writes": 20,
          "array_writes": 20
        },
        {
          "action": "pop",
          "node": 5,
          "power": 1
        },
        {
          "action": "merge",
          "node": 10,
          "left": 0,
          "middle": 12,
          "right": 32,
          "comparisons": 33,
          "volume": 32,
          "buffer_writes": 32,
          "array_writes": 32
        }
      ],
      "boundaries": [
        {
          "left": 0,
          "middle": 3,
          "right": 10,
          "power": 3
        },
        {
          "left": 3,
          "middle": 10,
          "right": 12,
          "power": 2
        },
        {
          "left": 10,
          "middle": 12,
          "right": 21,
          "power": 1
        },
        {
          "left": 12,
          "middle": 21,
          "right": 25,
          "power": 3
        },
        {
          "left": 21,
          "middle": 25,
          "right": 32,
          "power": 2
        }
      ],
      "stats": {
        "n": 32,
        "runs": 6,
        "run_comparisons": 31,
        "merge_comparisons": 84,
        "merge_volume": 87,
        "buffer_writes": 87,
        "array_merge_writes": 87,
        "reversal_writes": 0,
        "initial_record_writes": 32,
        "power_bit_steps": 11,
        "stack_peak": 2
      }
    },
    "certificate": {
      "depths": [
        3,
        3,
        2,
        3,
        3,
        2
      ],
      "volume": 87
    },
    "bounds": {
      "entropy": 2.4191505805015394,
      "lower_bound": 77.41281857604926,
      "upper_bound": 141.41281857604926
    },
    "optimal": {
      "volume": 84,
      "splits": [
        {
          "left": 0,
          "right": 2,
          "split": 1
        },
        {
          "left": 0,
          "right": 3,
          "split": 1
        },
        {
          "left": 0,
          "right": 4,
          "split": 2
        },
        {
          "left": 0,
          "right": 5,
          "split": 3
        },
        {
          "left": 0,
          "right": 6,
          "split": 3
        },
        {
          "left": 1,
          "right": 3,
          "split": 2
        },
        {
          "left": 1,
          "right": 4,
          "split": 3
        },
        {
          "left": 1,
          "right": 5,
          "split": 3
        },
        {
          "left": 1,
          "right": 6,
          "split": 4
        },
        {
          "left": 2,
          "right": 4,
          "split": 3
        },
        {
          "left": 2,
          "right": 5,
          "split": 4
        },
        {
          "left": 2,
          "right": 6,
          "split": 4
        },
        {
          "left": 3,
          "right": 5,
          "split": 4
        },
        {
          "left": 3,
          "right": 6,
          "split": 4
        },
        {
          "left": 4,
          "right": 6,
          "split": 5
        }
      ],
      "candidates": 35
    },
    "linear_stats": {
      "n": 32,
      "runs": 6,
      "run_comparisons": 31,
      "merge_comparisons": 79,
      "merge_volume": 87,
      "buffer_writes": 87,
      "array_merge_writes": 87,
      "reversal_writes": 0,
      "initial_record_writes": 32,
      "power_bit_steps": 11,
      "stack_peak": 2
    }
  },
  "duplicates": {
    "output": [
      [
        1,
        6
      ],
      [
        2,
        4
      ],
      [
        2,
        5
      ],
      [
        3,
        3
      ],
      [
        4,
        1
      ],
      [
        4,
        2
      ],
      [
        5,
        0
      ]
    ],
    "root": 4,
    "runs": [
      {
        "index": 0,
        "left": 0,
        "right": 2,
        "descending": true
      },
      {
        "index": 1,
        "left": 2,
        "right": 5,
        "descending": true
      },
      {
        "index": 2,
        "left": 5,
        "right": 7,
        "descending": true
      }
    ],
    "nodes": [
      {
        "id": 0,
        "kind": "leaf",
        "run": 0,
        "left": 0,
        "right": 2
      },
      {
        "id": 1,
        "kind": "leaf",
        "run": 1,
        "left": 2,
        "right": 5
      },
      {
        "id": 2,
        "kind": "leaf",
        "run": 2,
        "left": 5,
        "right": 7
      },
      {
        "id": 3,
        "kind": "merge",
        "left": 2,
        "right": 7,
        "children": [
          1,
          2
        ]
      },
      {
        "id": 4,
        "kind": "merge",
        "left": 0,
        "right": 7,
        "children": [
          0,
          3
        ]
      }
    ],
    "events": [
      {
        "action": "push",
        "node": 0,
        "power": 1
      },
      {
        "action": "push",
        "node": 1,
        "power": 2
      },
      {
        "action": "pop",
        "node": 1,
        "power": 2
      },
      {
        "action": "merge",
        "node": 3,
        "left": 2,
        "middle": 5,
        "right": 7,
        "comparisons": 3,
        "volume": 5,
        "buffer_writes": 5,
        "array_writes": 5
      },
      {
        "action": "pop",
        "node": 0,
        "power": 1
      },
      {
        "action": "merge",
        "node": 4,
        "left": 0,
        "middle": 2,
        "right": 7,
        "comparisons": 5,
        "volume": 7,
        "buffer_writes": 7,
        "array_writes": 7
      }
    ],
    "boundaries": [
      {
        "left": 0,
        "middle": 2,
        "right": 5,
        "power": 1
      },
      {
        "left": 2,
        "middle": 5,
        "right": 7,
        "power": 2
      }
    ],
    "stats": {
      "n": 7,
      "runs": 3,
      "run_comparisons": 6,
      "merge_comparisons": 8,
      "merge_volume": 12,
      "buffer_writes": 12,
      "array_merge_writes": 12,
      "reversal_writes": 6,
      "initial_record_writes": 7,
      "power_bit_steps": 3,
      "stack_peak": 2
    }
  },
  "pairs": [
    {
      "left": [
        31,
        63,
        95
      ],
      "right": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127
      ],
      "galloping": {
        "output": [
          [
            0,
            3
          ],
          [
            1,
            4
          ],
          [
            2,
            5
          ],
          [
            3,
            6
          ],
          [
            4,
            7
          ],
          [
            5,
            8
          ],
          [
            6,
            9
          ],
          [
            7,
            10
          ],
          [
            8,
            11
          ],
          [
            9,
            12
          ],
          [
            10,
            13
          ],
          [
            11,
            14
          ],
          [
            12,
            15
          ],
          [
            13,
            16
          ],
          [
            14,
            17
          ],
          [
            15,
            18
          ],
          [
            16,
            19
          ],
          [
            17,
            20
          ],
          [
            18,
            21
          ],
          [
            19,
            22
          ],
          [
            20,
            23
          ],
          [
            21,
            24
          ],
          [
            22,
            25
          ],
          [
            23,
            26
          ],
          [
            24,
            27
          ],
          [
            25,
            28
          ],
          [
            26,
            29
          ],
          [
            27,
            30
          ],
          [
            28,
            31
          ],
          [
            29,
            32
          ],
          [
            30,
            33
          ],
          [
            31,
            0
          ],
          [
            31,
            34
          ],
          [
            32,
            35
          ],
          [
            33,
            36
          ],
          [
            34,
            37
          ],
          [
            35,
            38
          ],
          [
            36,
            39
          ],
          [
            37,
            40
          ],
          [
            38,
            41
          ],
          [
            39,
            42
          ],
          [
            40,
            43
          ],
          [
            41,
            44
          ],
          [
            42,
            45
          ],
          [
            43,
            46
          ],
          [
            44,
            47
          ],
          [
            45,
            48
          ],
          [
            46,
            49
          ],
          [
            47,
            50
          ],
          [
            48,
            51
          ],
          [
            49,
            52
          ],
          [
            50,
            53
          ],
          [
            51,
            54
          ],
          [
            52,
            55
          ],
          [
            53,
            56
          ],
          [
            54,
            57
          ],
          [
            55,
            58
          ],
          [
            56,
            59
          ],
          [
            57,
            60
          ],
          [
            58,
            61
          ],
          [
            59,
            62
          ],
          [
            60,
            63
          ],
          [
            61,
            64
          ],
          [
            62,
            65
          ],
          [
            63,
            1
          ],
          [
            63,
            66
          ],
          [
            64,
            67
          ],
          [
            65,
            68
          ],
          [
            66,
            69
          ],
          [
            67,
            70
          ],
          [
            68,
            71
          ],
          [
            69,
            72
          ],
          [
            70,
            73
          ],
          [
            71,
            74
          ],
          [
            72,
            75
          ],
          [
            73,
            76
          ],
          [
            74,
            77
          ],
          [
            75,
            78
          ],
          [
            76,
            79
          ],
          [
            77,
            80
          ],
          [
            78,
            81
          ],
          [
            79,
            82
          ],
          [
            80,
            83
          ],
          [
            81,
            84
          ],
          [
            82,
            85
          ],
          [
            83,
            86
          ],
          [
            84,
            87
          ],
          [
            85,
            88
          ],
          [
            86,
            89
          ],
          [
            87,
            90
          ],
          [
            88,
            91
          ],
          [
            89,
            92
          ],
          [
            90,
            93
          ],
          [
            91,
            94
          ],
          [
            92,
            95
          ],
          [
            93,
            96
          ],
          [
            94,
            97
          ],
          [
            95,
            2
          ],
          [
            95,
            98
          ],
          [
            96,
            99
          ],
          [
            97,
            100
          ],
          [
            98,
            101
          ],
          [
            99,
            102
          ],
          [
            100,
            103
          ],
          [
            101,
            104
          ],
          [
            102,
            105
          ],
          [
            103,
            106
          ],
          [
            104,
            107
          ],
          [
            105,
            108
          ],
          [
            106,
            109
          ],
          [
            107,
            110
          ],
          [
            108,
            111
          ],
          [
            109,
            112
          ],
          [
            110,
            113
          ],
          [
            111,
            114
          ],
          [
            112,
            115
          ],
          [
            113,
            116
          ],
          [
            114,
            117
          ],
          [
            115,
            118
          ],
          [
            116,
            119
          ],
          [
            117,
            120
          ],
          [
            118,
            121
          ],
          [
            119,
            122
          ],
          [
            120,
            123
          ],
          [
            121,
            124
          ],
          [
            122,
            125
          ],
          [
            123,
            126
          ],
          [
            124,
            127
          ],
          [
            125,
            128
          ],
          [
            126,
            129
          ],
          [
            127,
            130
          ]
        ],
        "stats": {
          "comparisons": 34,
          "volume": 131,
          "buffer_writes": 131,
          "array_writes": 131
        },
        "sortedness_comparisons": 129,
        "searches": [
          {
            "pivot": [
              31,
              0
            ],
            "start": 3,
            "end": 131,
            "boundary": 34,
            "upper": false,
            "comparisons": 10
          },
          {
            "pivot": [
              63,
              1
            ],
            "start": 34,
            "end": 131,
            "boundary": 66,
            "upper": false,
            "comparisons": 12
          },
          {
            "pivot": [
              95,
              2
            ],
            "start": 66,
            "end": 131,
            "boundary": 98,
            "upper": false,
            "comparisons": 12
          }
        ]
      },
      "linear_comparisons": 98
    },
    {
      "left": [
        0,
        1,
        2,
        3,
        4,
        5,
        6,
        7,
        8,
        9,
        10,
        11,
        12,
        13,
        14,
        15,
        16,
        17,
        18,
        19,
        20,
        21,
        22,
        23,
        24,
        25,
        26,
        27,
        28,
        29,
        30,
        31,
        32,
        33,
        34,
        35,
        36,
        37,
        38,
        39,
        40,
        41,
        42,
        43,
        44,
        45,
        46,
        47,
        48,
        49,
        50,
        51,
        52,
        53,
        54,
        55,
        56,
        57,
        58,
        59,
        60,
        61,
        62,
        63,
        64,
        65,
        66,
        67,
        68,
        69,
        70,
        71,
        72,
        73,
        74,
        75,
        76,
        77,
        78,
        79,
        80,
        81,
        82,
        83,
        84,
        85,
        86,
        87,
        88,
        89,
        90,
        91,
        92,
        93,
        94,
        95,
        96,
        97,
        98,
        99,
        100,
        101,
        102,
        103,
        104,
        105,
        106,
        107,
        108,
        109,
        110,
        111,
        112,
        113,
        114,
        115,
        116,
        117,
        118,
        119,
        120,
        121,
        122,
        123,
        124,
        125,
        126,
        127
      ],
      "right": [
        31,
        63,
        95
      ],
      "galloping": {
        "output": [
          [
            0,
            0
          ],
          [
            1,
            1
          ],
          [
            2,
            2
          ],
          [
            3,
            3
          ],
          [
            4,
            4
          ],
          [
            5,
            5
          ],
          [
            6,
            6
          ],
          [
            7,
            7
          ],
          [
            8,
            8
          ],
          [
            9,
            9
          ],
          [
            10,
            10
          ],
          [
            11,
            11
          ],
          [
            12,
            12
          ],
          [
            13,
            13
          ],
          [
            14,
            14
          ],
          [
            15,
            15
          ],
          [
            16,
            16
          ],
          [
            17,
            17
          ],
          [
            18,
            18
          ],
          [
            19,
            19
          ],
          [
            20,
            20
          ],
          [
            21,
            21
          ],
          [
            22,
            22
          ],
          [
            23,
            23
          ],
          [
            24,
            24
          ],
          [
            25,
            25
          ],
          [
            26,
            26
          ],
          [
            27,
            27
          ],
          [
            28,
            28
          ],
          [
            29,
            29
          ],
          [
            30,
            30
          ],
          [
            31,
            31
          ],
          [
            31,
            128
          ],
          [
            32,
            32
          ],
          [
            33,
            33
          ],
          [
            34,
            34
          ],
          [
            35,
            35
          ],
          [
            36,
            36
          ],
          [
            37,
            37
          ],
          [
            38,
            38
          ],
          [
            39,
            39
          ],
          [
            40,
            40
          ],
          [
            41,
            41
          ],
          [
            42,
            42
          ],
          [
            43,
            43
          ],
          [
            44,
            44
          ],
          [
            45,
            45
          ],
          [
            46,
            46
          ],
          [
            47,
            47
          ],
          [
            48,
            48
          ],
          [
            49,
            49
          ],
          [
            50,
            50
          ],
          [
            51,
            51
          ],
          [
            52,
            52
          ],
          [
            53,
            53
          ],
          [
            54,
            54
          ],
          [
            55,
            55
          ],
          [
            56,
            56
          ],
          [
            57,
            57
          ],
          [
            58,
            58
          ],
          [
            59,
            59
          ],
          [
            60,
            60
          ],
          [
            61,
            61
          ],
          [
            62,
            62
          ],
          [
            63,
            63
          ],
          [
            63,
            129
          ],
          [
            64,
            64
          ],
          [
            65,
            65
          ],
          [
            66,
            66
          ],
          [
            67,
            67
          ],
          [
            68,
            68
          ],
          [
            69,
            69
          ],
          [
            70,
            70
          ],
          [
            71,
            71
          ],
          [
            72,
            72
          ],
          [
            73,
            73
          ],
          [
            74,
            74
          ],
          [
            75,
            75
          ],
          [
            76,
            76
          ],
          [
            77,
            77
          ],
          [
            78,
            78
          ],
          [
            79,
            79
          ],
          [
            80,
            80
          ],
          [
            81,
            81
          ],
          [
            82,
            82
          ],
          [
            83,
            83
          ],
          [
            84,
            84
          ],
          [
            85,
            85
          ],
          [
            86,
            86
          ],
          [
            87,
            87
          ],
          [
            88,
            88
          ],
          [
            89,
            89
          ],
          [
            90,
            90
          ],
          [
            91,
            91
          ],
          [
            92,
            92
          ],
          [
            93,
            93
          ],
          [
            94,
            94
          ],
          [
            95,
            95
          ],
          [
            95,
            130
          ],
          [
            96,
            96
          ],
          [
            97,
            97
          ],
          [
            98,
            98
          ],
          [
            99,
            99
          ],
          [
            100,
            100
          ],
          [
            101,
            101
          ],
          [
            102,
            102
          ],
          [
            103,
            103
          ],
          [
            104,
            104
          ],
          [
            105,
            105
          ],
          [
            106,
            106
          ],
          [
            107,
            107
          ],
          [
            108,
            108
          ],
          [
            109,
            109
          ],
          [
            110,
            110
          ],
          [
            111,
            111
          ],
          [
            112,
            112
          ],
          [
            113,
            113
          ],
          [
            114,
            114
          ],
          [
            115,
            115
          ],
          [
            116,
            116
          ],
          [
            117,
            117
          ],
          [
            118,
            118
          ],
          [
            119,
            119
          ],
          [
            120,
            120
          ],
          [
            121,
            121
          ],
          [
            122,
            122
          ],
          [
            123,
            123
          ],
          [
            124,
            124
          ],
          [
            125,
            125
          ],
          [
            126,
            126
          ],
          [
            127,
            127
          ]
        ],
        "stats": {
          "comparisons": 36,
          "volume": 131,
          "buffer_writes": 131,
          "array_writes": 131
        },
        "sortedness_comparisons": 129,
        "searches": [
          {
            "pivot": [
              31,
              128
            ],
            "start": 0,
            "end": 128,
            "boundary": 32,
            "upper": true,
            "comparisons": 12
          },
          {
            "pivot": [
              63,
              129
            ],
            "start": 32,
            "end": 128,
            "boundary": 64,
            "upper": true,
            "comparisons": 12
          },
          {
            "pivot": [
              95,
              130
            ],
            "start": 64,
            "end": 128,
            "boundary": 96,
            "upper": true,
            "comparisons": 12
          }
        ]
      },
      "linear_comparisons": 99
    },
    {
      "left": [
        2
      ],
      "right": [
        0,
        1,
        3,
        4,
        5
      ],
      "galloping": {
        "output": [
          [
            0,
            1
          ],
          [
            1,
            2
          ],
          [
            2,
            0
          ],
          [
            3,
            3
          ],
          [
            4,
            4
          ],
          [
            5,
            5
          ]
        ],
        "stats": {
          "comparisons": 4,
          "volume": 6,
          "buffer_writes": 6,
          "array_writes": 6
        },
        "sortedness_comparisons": 4,
        "searches": [
          {
            "pivot": [
              2,
              0
            ],
            "start": 1,
            "end": 6,
            "boundary": 3,
            "upper": false,
            "comparisons": 4
          }
        ]
      },
      "linear_comparisons": 3
    }
  ],
  "nonoptimal": {
    "lengths": [
      2,
      2,
      3,
      5
    ],
    "powersort": 24,
    "optimal": 23,
    "bounds": {
      "entropy": 1.8879185026711327,
      "lower_bound": 22.655022032053594,
      "upper_bound": 46.655022032053594
    }
  },
  "same_profile": {
    "input": [
      29,
      30,
      31,
      22,
      23,
      24,
      25,
      26,
      27,
      28,
      20,
      21,
      11,
      12,
      13,
      14,
      15,
      16,
      17,
      18,
      19,
      7,
      8,
      9,
      10,
      0,
      1,
      2,
      3,
      4,
      5,
      6
    ],
    "stats": {
      "n": 32,
      "runs": 6,
      "run_comparisons": 31,
      "merge_comparisons": 25,
      "merge_volume": 87,
      "buffer_writes": 87,
      "array_merge_writes": 87,
      "reversal_writes": 0,
      "initial_record_writes": 32,
      "power_bit_steps": 11,
      "stack_peak": 2
    }
  },
  "heavy_profile": {
    "lengths": [
      1024,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2,
      2
    ],
    "stats": {
      "n": 1280,
      "runs": 129,
      "run_comparisons": 1279,
      "merge_comparisons": 679,
      "merge_volume": 3138,
      "buffer_writes": 3138,
      "array_merge_writes": 3138,
      "reversal_writes": 0,
      "initial_record_writes": 1280,
      "power_bit_steps": 1073,
      "stack_peak": 8
    },
    "leftfold_volume": 147584
  },
  "boundaries": [
    {
      "output": [],
      "root": null,
      "runs": [],
      "nodes": [],
      "events": [],
      "boundaries": [],
      "stats": {
        "n": 0,
        "runs": 0,
        "run_comparisons": 0,
        "merge_comparisons": 0,
        "merge_volume": 0,
        "buffer_writes": 0,
        "array_merge_writes": 0,
        "reversal_writes": 0,
        "initial_record_writes": 0,
        "power_bit_steps": 0,
        "stack_peak": 0
      }
    },
    {
      "output": [
        [
          4,
          0
        ]
      ],
      "root": 0,
      "runs": [
        {
          "index": 0,
          "left": 0,
          "right": 1,
          "descending": false
        }
      ],
      "nodes": [
        {
          "id": 0,
          "kind": "leaf",
          "run": 0,
          "left": 0,
          "right": 1
        }
      ],
      "events": [],
      "boundaries": [],
      "stats": {
        "n": 1,
        "runs": 1,
        "run_comparisons": 0,
        "merge_comparisons": 0,
        "merge_volume": 0,
        "buffer_writes": 0,
        "array_merge_writes": 0,
        "reversal_writes": 0,
        "initial_record_writes": 1,
        "power_bit_steps": 0,
        "stack_peak": 0
      }
    },
    {
      "output": [
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          2,
          2
        ],
        [
          2,
          3
        ]
      ],
      "root": 0,
      "runs": [
        {
          "index": 0,
          "left": 0,
          "right": 4,
          "descending": false
        }
      ],
      "nodes": [
        {
          "id": 0,
          "kind": "leaf",
          "run": 0,
          "left": 0,
          "right": 4
        }
      ],
      "events": [],
      "boundaries": [],
      "stats": {
        "n": 4,
        "runs": 1,
        "run_comparisons": 3,
        "merge_comparisons": 0,
        "merge_volume": 0,
        "buffer_writes": 0,
        "array_merge_writes": 0,
        "reversal_writes": 0,
        "initial_record_writes": 4,
        "power_bit_steps": 0,
        "stack_peak": 0
      }
    },
    {
      "output": [
        [
          6,
          3
        ],
        [
          7,
          2
        ],
        [
          8,
          1
        ],
        [
          9,
          0
        ]
      ],
      "root": 0,
      "runs": [
        {
          "index": 0,
          "left": 0,
          "right": 4,
          "descending": true
        }
      ],
      "nodes": [
        {
          "id": 0,
          "kind": "leaf",
          "run": 0,
          "left": 0,
          "right": 4
        }
      ],
      "events": [],
      "boundaries": [],
      "stats": {
        "n": 4,
        "runs": 1,
        "run_comparisons": 3,
        "merge_comparisons": 0,
        "merge_volume": 0,
        "buffer_writes": 0,
        "array_merge_writes": 0,
        "reversal_writes": 4,
        "initial_record_writes": 4,
        "power_bit_steps": 0,
        "stack_peak": 0
      }
    }
  ]
}
