{
  "purpose": "Numerical illustration QA, not a proof of the general theorem",
  "a": [
    [
      1.0,
      0.0
    ],
    [
      0.0,
      0.0
    ]
  ],
  "b": [
    [
      0.5,
      0.5
    ],
    [
      0.5,
      0.5
    ]
  ],
  "D": [
    [
      1.0,
      0.0
    ],
    [
      0.0,
      2.0
    ]
  ],
  "c": [
    [
      1.1944775825843852,
      0.27059805007309845
    ],
    [
      0.27059805007309845,
      0.6532814824381883
    ]
  ],
  "V": [
    [
      0.9238795325112868,
      -0.3826834323650897
    ],
    [
      0.0,
      0.0
    ],
    [
      0.27059805007309856,
      0.6532814824381883
    ],
    [
      0.27059805007309856,
      0.6532814824381883
    ]
  ],
  "operator_identity_residuals": {
    "V_star_V_minus_identity": 2.8208075688196614e-16,
    "V_c_minus_X": 2.0529926032092384e-17,
    "Q_alpha_beta_minus_alpha_beta": 5.61910124636633e-16,
    "V_star_alpha_beta_minus_theta_c": 3.3306690738754696e-16
  },
  "exact_weights": [
    1,
    2.5,
    3.5
  ],
  "diagonal_cutoffs": [
    {
      "N": 1,
      "weight": 1
    },
    {
      "N": 2,
      "weight": 5
    },
    {
      "N": 3,
      "weight": 14
    },
    {
      "N": 4,
      "weight": 30
    },
    {
      "N": 5,
      "weight": 55
    },
    {
      "N": 6,
      "weight": 91
    },
    {
      "N": 7,
      "weight": 140
    },
    {
      "N": 8,
      "weight": 204
    }
  ]
}