{
  "angle_unit": "pi/32",
  "b": [
    [
      3,
      1
    ],
    [
      -1,
      -3
    ]
  ],
  "h_swap": [
    [
      -4,
      -4
    ],
    [
      4,
      4
    ]
  ],
  "k": [
    [
      4,
      4
    ],
    [
      0,
      0
    ]
  ],
  "d": [
    [
      -1,
      -3
    ],
    [
      -1,
      -3
    ]
  ],
  "operator_spectrum_angle_units": [
    -2,
    0,
    2
  ],
  "epsilon_angle_units": 4,
  "bound_B_angle_units": 3,
  "all_eight_matrix_unit_phase_differences_preserved": true,
  "model_only_not_general_proof": true
}