{
  "rotations": 186,
  "future_extensions": 744,
  "shape_comparisons": [
    {
      "leaves": 2,
      "balanced": false,
      "D": 2,
      "A": 4
    },
    {
      "leaves": 2,
      "balanced": true,
      "D": 2,
      "A": 4
    },
    {
      "leaves": 3,
      "balanced": false,
      "D": 4,
      "A": 6
    },
    {
      "leaves": 3,
      "balanced": true,
      "D": 4,
      "A": 6
    },
    {
      "leaves": 4,
      "balanced": false,
      "D": 6,
      "A": 8
    },
    {
      "leaves": 4,
      "balanced": true,
      "D": 6,
      "A": 8
    },
    {
      "leaves": 8,
      "balanced": false,
      "D": 14,
      "A": 16
    },
    {
      "leaves": 8,
      "balanced": true,
      "D": 14,
      "A": 16
    },
    {
      "leaves": 16,
      "balanced": false,
      "D": 30,
      "A": 32
    },
    {
      "leaves": 16,
      "balanced": true,
      "D": 30,
      "A": 32
    },
    {
      "leaves": 32,
      "balanced": false,
      "D": 62,
      "A": 64
    },
    {
      "leaves": 32,
      "balanced": true,
      "D": 62,
      "A": 64
    }
  ],
  "conditional_export_negative_control": true,
  "scope": "Finite two-boundary-variable semantic checks; written general proof; no proof assistant or pointer-cost verification."
}