{
  "original_model": true,
  "algebra": "M2(C)",
  "u": [
    "1",
    "i"
  ],
  "a": [
    "1",
    "-i"
  ],
  "sigma_matrix_units": [
    {
      "matrix_unit": [
        1,
        1
      ],
      "eigenvalue": "1"
    },
    {
      "matrix_unit": [
        1,
        2
      ],
      "eigenvalue": "-I"
    },
    {
      "matrix_unit": [
        2,
        1
      ],
      "eigenvalue": "I"
    },
    {
      "matrix_unit": [
        2,
        2
      ],
      "eigenvalue": "1"
    }
  ],
  "infinite_matrix_rule": "w[k,m]=a if k-m=1, otherwise zero",
  "displayed_rows_and_columns": [
    -2,
    -1,
    0,
    1,
    2
  ],
  "highlighted_coefficient": [
    0,
    -1
  ],
  "crop_is_not_a_finite_unitary": true,
  "all4_matrix_unit_intertwining_and_7integer_recurrences_verified": true
}