{
  "model": "P=C^2, G=Z/2, alpha_s(a,b)=(b,a), Q=M_2(C)",
  "coefficient_embedding": "diag(a,b)",
  "lambda_s": [
    [
      0,
      1
    ],
    [
      1,
      0
    ]
  ],
  "averaging_projection": [
    [
      "1/2",
      "1/2"
    ],
    [
      "1/2",
      "1/2"
    ]
  ],
  "fixed_algebra": "B=C(1,1)",
  "expectation_to_P": "diagonal extraction",
  "eigenvectors": {
    "eigenvalue_1": [
      1,
      1
    ],
    "eigenvalue_0": [
      1,
      -1
    ]
  },
  "cocycle_u_s": [
    "i",
    "-i"
  ],
  "coboundary_v": [
    "1",
    "i"
  ],
  "gamma_s": "(X0,X1) -> (D0 X1 D0*, D1 X0 D1*)",
  "D0": "diag(1,i)",
  "D1": "diag(1,-i)",
  "fixed_partial_isometry": [
    "E12",
    "i E12"
  ],
  "all_exact_model_checks_passed": true,
  "coefficient_basis_checks": 4,
  "cardinality_panel": "Schematic of FP5 general proof; no finite simulation of infinite cardinalities",
  "proof_locators": [
    "FP0",
    "FP5",
    "FP6"
  ]
}