{
  "exact_period_P": 1,
  "log_D_over_pi": [
    "0",
    "5/2",
    "-1/2"
  ],
  "Theta_over_pi": [
    "0",
    "1/2",
    "3/2"
  ],
  "log_Q_over_pi": [
    "0",
    "2",
    "-2"
  ],
  "b": [
    "1",
    "i",
    "-i"
  ],
  "A_on_complement_of_ker_1_minus_b": [
    "-1",
    "1"
  ],
  "k_diagonal": [
    "1",
    "exp(-pi/2)",
    "exp(-3*pi/2)"
  ],
  "X": [
    [
      "2",
      "1/4",
      "0"
    ],
    [
      "1/4",
      "1",
      "1/5"
    ],
    [
      "0",
      "1/5",
      "3"
    ]
  ],
  "E_X": [
    [
      "2",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "3"
    ]
  ],
  "exact_weight_X": "2 + exp(2*pi) + 3*exp(-2*pi)",
  "whole_cone_bound": "exp(-2*pi)*psi <= phi <= psi",
  "X_strict_diagonal_dominance_lower_bounds": [
    "7/4",
    "11/20",
    "14/5"
  ],
  "proof_locators": [
    "PERIODIC_WEIGHT_PROOF.md#pw-2",
    "PERIODIC_WEIGHT_PROOF.md#pw-3",
    "PERIODIC_WEIGHT_PROOF.md#pw-4",
    "PERIODIC_WEIGHT_PROOF.md#pw-5",
    "PERIODIC_WEIGHT_FIGURE.md"
  ],
  "numerical_checks": {
    "max_density_identity_error": 0.0,
    "X_min_eigenvalue": 0.9227271148250068
  },
  "sampled_curves_are_not_proofs": true
}