{
  "spectral_intervals": [
    [
      -1,
      1
    ],
    [
      0,
      2
    ],
    [
      0.5,
      1.5
    ]
  ],
  "multiplicity_edges": [
    -1,
    0,
    0.5,
    1,
    1.5,
    2
  ],
  "multiplicity_values": [
    1,
    2,
    3,
    2,
    1
  ],
  "phase_interval": [
    0,
    1
  ],
  "phase_height_in_pi_units": 0.3333333333333333,
  "kernel_domain": [
    -1,
    1
  ],
  "kernel_phase_in_pi_units": {
    "upper_left": 0.3333333333333333,
    "upper_right": 0,
    "lower_left": 0,
    "lower_right": -0.3333333333333333
  },
  "conventions": "horizontal q_prime, vertical q; intervals half-open; endpoint null sets do not change operators",
  "proof_tags": [
    "TI49",
    "TI50",
    "TI52",
    "TI53"
  ]
}