{
  "GHZ": {
    "delta_GHZ_MQT": {
      "global_assignments": 16,
      "minimum_unsat_context_count": null,
      "minimum_unsat_contexts": null,
      "uncovered_possible_sections": 0
    },
    "delta_GHZ_all_intrinsic_unitary_projective_bases": {
      "global_assignments": 23,
      "minimum_unsat_context_count": null,
      "minimum_unsat_contexts": null,
      "uncovered_possible_sections": 0
    },
    "support_GHZ_MQT": {
      "global_assignments": 0,
      "minimum_unsat_context_count": 6,
      "minimum_unsat_contexts": [
        {
          "A": "Z",
          "B": "Z",
          "C": "Z",
          "table": [
            1,
            0,
            0,
            0,
            0,
            0,
            0,
            1
          ]
        },
        {
          "A": "Z",
          "B": "X",
          "C": "X",
          "table": [
            1,
            1,
            1,
            1,
            1,
            0,
            0,
            0
          ]
        },
        {
          "A": "X",
          "B": "Z",
          "C": "Y",
          "table": [
            0,
            1,
            1,
            1,
            0,
            1,
            0,
            0
          ]
        },
        {
          "A": "X",
          "B": "X",
          "C": "X",
          "table": [
            0,
            1,
            1,
            1,
            1,
            1,
            1,
            1
          ]
        },
        {
          "A": "Y",
          "B": "Y",
          "C": "Z",
          "table": [
            0,
            1,
            0,
            1,
            0,
            1,
            1,
            1
          ]
        },
        {
          "A": "Y",
          "B": "Y",
          "C": "Y",
          "table": [
            1,
            1,
            1,
            1,
            1,
            1,
            1,
            0
          ]
        }
      ],
      "uncovered_possible_sections": 112
    },
    "support_GHZ_all_intrinsic_unitary_projective_bases": {
      "global_assignments": 44,
      "minimum_unsat_context_count": null,
      "minimum_unsat_contexts": null,
      "uncovered_possible_sections": 0
    }
  },
  "basis_permutation_gates": {
    "basis_permutations": 24,
    "can_create_nonseparability": 16,
    "preserve_all_separable": 8
  },
  "gate_classification": {
    "all_2x2_matrices": 65536,
    "full_two_branch_splitter": 20608,
    "genuine_branch_mixer": 24448,
    "intrinsic_unitary": 512,
    "invertible": 24576,
    "monomial_phase_permutation": 128,
    "projective_unordered_intrinsic_unitary_measurement_bases": 4,
    "projective_unordered_reversible_measurement_bases": 192,
    "unitary_full_splitter": 384,
    "unitary_monomial": 128
  },
  "known_structure_regressions": {
    "Bstar_basis_nonzero_branch_counts": [
      2,
      2,
      2,
      2
    ],
    "Bstar_basis_output_smith_classes": [
      [
        0,
        2
      ],
      [
        0,
        2
      ],
      [
        0,
        2
      ],
      [
        0,
        2
      ]
    ],
    "Bstar_basis_outputs": [
      [
        1,
        0,
        0,
        5
      ],
      [
        0,
        1,
        5,
        0
      ],
      [
        5,
        0,
        0,
        1
      ],
      [
        0,
        5,
        1,
        0
      ]
    ],
    "Bstar_basis_outputs_all_nonseparable": true,
    "Bstar_reversible_state_checks": 65536,
    "C_basis0": [
      1,
      1
    ],
    "C_squared_identity": true,
    "Hstar_basis0": [
      1,
      5
    ],
    "Hstar_basis1": [
      5,
      1
    ],
    "Hstar_dagger_Hstar_identity": true,
    "Hstar_squared_identity": true,
    "P_fourth_power_identity": true,
    "P_transpose_equals_inverse": true,
    "phase_kickback_Xchi_equals_zchi": true
  },
  "local_equivalence": {
    "classes": 15,
    "distinct_nonseparable_states": 60270,
    "distinct_separable_states": 5266,
    "factorization_class_mismatches": 0,
    "nonseparable_classes": 10,
    "separable_classes": 5
  },
  "modal_bell": {
    "Bstar_beta00_complete_192_reversible_basis_contextuality": {
      "assignment": [
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        1,
        0,
        1,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      "classification": "LOGICAL_CONTEXTUAL_NOT_STRONG",
      "clauses": 10240,
      "measurement_basis_count_per_party": 192,
      "satisfiable": true,
      "support_coverage": {
        "clauses": 10240,
        "extendable_possible_sections": 100352,
        "first_uncovered": [
          0,
          0,
          0,
          0
        ],
        "possible_sections": 137216,
        "satisfiable": true,
        "uncovered_possible_sections": 36864
      }
    },
    "compatible_global_assignments": 0,
    "complete_192_basis_smith_class_contextuality": {
      "degenerate_zero_classes": 1,
      "degenerate_zero_states": 1,
      "logical_not_strong_classes": 6,
      "logical_not_strong_states": 34056,
      "measurement_bases_per_party": 192,
      "relationally_local_nonzero_classes": 4,
      "relationally_local_nonzero_states": 5265,
      "smith_classes_total": 15,
      "strong_contextual_classes": 4,
      "strong_contextual_states": 26214
    },
    "complete_intrinsic_unitary_family": {
      "Bstar_beta00": {
        "global_assignments": 65,
        "uncovered_possible_sections": 0
      },
      "Phi_support": {
        "global_assignments": 16,
        "uncovered_possible_sections": 0
      },
      "Psi_support": {
        "global_assignments": 16,
        "uncovered_possible_sections": 0
      }
    },
    "deterministic_global_assignments_checked": 64,
    "offdiagonal_hardy_witness_count": 6,
    "settings_per_party": [
      "Z",
      "X",
      "Y"
    ],
    "state": "E0|00> XOR E0|11>",
    "strong_modal_contradiction": true,
    "tables": {
      "X/X": [
        0,
        1,
        1,
        1
      ],
      "X/Y": [
        1,
        0,
        0,
        1
      ],
      "X/Z": [
        1,
        1,
        1,
        0
      ],
      "Y/X": [
        1,
        0,
        0,
        1
      ],
      "Y/Y": [
        1,
        1,
        1,
        0
      ],
      "Y/Z": [
        0,
        1,
        1,
        1
      ],
      "Z/X": [
        1,
        1,
        1,
        0
      ],
      "Z/Y": [
        0,
        1,
        1,
        1
      ],
      "Z/Z": [
        1,
        0,
        0,
        1
      ]
    }
  },
  "scope": "pure Boolean CM coefficient ring only; integer counts are external diagnostics",
  "teleportation": {
    "Bstar_resource_branch_determinants": [
      0,
      0,
      0,
      0
    ],
    "Bstar_resource_universal": false,
    "resource_smith_classes": [
      {
        "all_states_teleportation_capable": 1,
        "smith_a": 0,
        "smith_b": 0,
        "state_count": 24576,
        "teleportation_capable_class": 1,
        "universal_exact_teleportation_resources": 24576
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 0,
        "smith_b": 1,
        "state_count": 18432,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 0,
        "smith_b": 2,
        "state_count": 9216,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 0,
        "smith_b": 3,
        "state_count": 4608,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 0,
        "smith_b": 4,
        "state_count": 4608,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 1,
        "smith_b": 1,
        "state_count": 1536,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 1,
        "smith_b": 2,
        "state_count": 1152,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 1,
        "smith_b": 3,
        "state_count": 576,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 1,
        "smith_b": 4,
        "state_count": 576,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 2,
        "smith_b": 2,
        "state_count": 96,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 2,
        "smith_b": 3,
        "state_count": 72,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 2,
        "smith_b": 4,
        "state_count": 72,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 3,
        "smith_b": 3,
        "state_count": 6,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 3,
        "smith_b": 4,
        "state_count": 9,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      },
      {
        "all_states_teleportation_capable": 0,
        "smith_a": 4,
        "smith_b": 4,
        "state_count": 1,
        "teleportation_capable_class": 0,
        "universal_exact_teleportation_resources": 0
      }
    ],
    "resource_theorem": {
      "all_fixed_analyzer_rows_invertible": true,
      "criterion": "universal exact deterministic teleportation iff det(resource) is a unit iff Smith class is (0,0)",
      "fixed_analyzer": [
        0,
        1,
        1,
        1,
        1,
        0,
        1,
        1,
        0,
        1,
        1,
        0,
        1,
        0,
        0,
        1
      ],
      "fixed_analyzer_reshaped_rows": [
        [
          0,
          1,
          1,
          1
        ],
        [
          1,
          0,
          1,
          1
        ],
        [
          0,
          1,
          1,
          0
        ],
        [
          1,
          0,
          0,
          1
        ]
      ],
      "fixed_analyzer_row_determinants": [
        1,
        1,
        1,
        1
      ],
      "nonunit_absorption_checks": 128,
      "resource_states_checked": 65536,
      "successful_resource_states": 24576
    },
    "singular_resource_hierarchy": {
      "ancilla_and_multicopy_no_go": "for any singular resource, reduction modulo (u) has rank <=1; local product ancillas do not change the factorization through the resource, and every finite tensor power has residue rank <=1, so no branch can have an A-linear left inverse onto A^2",
      "bell_analyzer": [
        0,
        1,
        1,
        1,
        1,
        0,
        1,
        1,
        0,
        1,
        1,
        0,
        1,
        0,
        0,
        1
      ],
      "bell_analyzer_rows": [
        [
          0,
          1,
          1,
          1
        ],
        [
          1,
          0,
          1,
          1
        ],
        [
          0,
          1,
          1,
          0
        ],
        [
          1,
          0,
          0,
          1
        ]
      ],
      "classes": {
        "0,0": {
          "bell_analyzer_quotient_success_outcomes": 4,
          "good_binary_quotient_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              1,
              1,
              1,
              0
            ]
          ],
          "good_binary_quotient_span_rank": 4,
          "max_fixed_identity_branch_correction": [
            1,
            0,
            0,
            1
          ],
          "max_quotient_analyzer": [
            0,
            1,
            1,
            0,
            0,
            1,
            1,
            1,
            1,
            0,
            0,
            1,
            1,
            0,
            1,
            1
          ],
          "max_quotient_analyzer_corrections": [
            [
              0,
              1,
              1,
              0
            ],
            [
              1,
              1,
              1,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "max_quotient_analyzer_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ]
          ],
          "smith_representative": [
            1,
            0,
            0,
            1
          ]
        },
        "0,1": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 2,
          "max_fixed_identity_branch_correction": [
            1,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              3,
              1
            ],
            null,
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            1,
            0,
            0,
            3
          ]
        },
        "0,2": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 2,
          "max_fixed_identity_branch_correction": [
            1,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              5,
              1
            ],
            null,
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            1,
            0,
            0,
            5
          ]
        },
        "0,3": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 2,
          "max_fixed_identity_branch_correction": [
            1,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              15,
              1
            ],
            null,
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            1,
            0,
            0,
            15
          ]
        },
        "0,4": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 3,
          "max_fixed_identity_branch_correction": [
            1,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            0,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            1,
            0,
            0,
            0
          ]
        },
        "1,1": {
          "bell_analyzer_quotient_success_outcomes": 4,
          "good_binary_quotient_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              1,
              1,
              1,
              0
            ]
          ],
          "good_binary_quotient_span_rank": 4,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            0,
            1,
            1,
            0,
            0,
            1,
            1,
            1,
            1,
            0,
            0,
            1,
            1,
            0,
            1,
            1
          ],
          "max_quotient_analyzer_corrections": [
            [
              0,
              1,
              1,
              0
            ],
            [
              1,
              1,
              1,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "max_quotient_analyzer_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ]
          ],
          "smith_representative": [
            3,
            0,
            0,
            3
          ]
        },
        "1,2": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 2,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              3,
              1
            ],
            null,
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            3,
            0,
            0,
            5
          ]
        },
        "1,3": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 2,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              5,
              1
            ],
            null,
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            3,
            0,
            0,
            15
          ]
        },
        "1,4": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 3,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            0,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            3,
            0,
            0,
            0
          ]
        },
        "2,2": {
          "bell_analyzer_quotient_success_outcomes": 4,
          "good_binary_quotient_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              1,
              1,
              1,
              0
            ]
          ],
          "good_binary_quotient_span_rank": 4,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            0,
            1,
            1,
            0,
            0,
            1,
            1,
            1,
            1,
            0,
            0,
            1,
            1,
            0,
            1,
            1
          ],
          "max_quotient_analyzer_corrections": [
            [
              0,
              1,
              1,
              0
            ],
            [
              1,
              1,
              1,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "max_quotient_analyzer_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ]
          ],
          "smith_representative": [
            5,
            0,
            0,
            5
          ]
        },
        "2,3": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 2,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              3,
              1
            ],
            null,
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            5,
            0,
            0,
            15
          ]
        },
        "2,4": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 3,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            0,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            5,
            0,
            0,
            0
          ]
        },
        "3,3": {
          "bell_analyzer_quotient_success_outcomes": 4,
          "good_binary_quotient_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              1,
              1,
              1,
              0
            ]
          ],
          "good_binary_quotient_span_rank": 4,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            0,
            1,
            1,
            0,
            0,
            1,
            1,
            1,
            1,
            0,
            0,
            1,
            1,
            0,
            1,
            1
          ],
          "max_quotient_analyzer_corrections": [
            [
              0,
              1,
              1,
              0
            ],
            [
              1,
              1,
              1,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "max_quotient_analyzer_rows": [
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              1
            ]
          ],
          "smith_representative": [
            15,
            0,
            0,
            15
          ]
        },
        "3,4": {
          "bell_analyzer_quotient_success_outcomes": 1,
          "good_binary_quotient_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              1,
              1,
              0,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 3,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            1,
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            1,
            1,
            0,
            0,
            0,
            0,
            1,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ],
            null
          ],
          "max_quotient_analyzer_rows": [
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              0,
              0,
              1,
              0
            ]
          ],
          "smith_representative": [
            15,
            0,
            0,
            0
          ]
        },
        "4,4": {
          "bell_analyzer_quotient_success_outcomes": 4,
          "good_binary_quotient_rows": [
            [
              0,
              0,
              0,
              0
            ],
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ],
            [
              0,
              0,
              1,
              1
            ],
            [
              0,
              1,
              0,
              0
            ],
            [
              0,
              1,
              0,
              1
            ],
            [
              0,
              1,
              1,
              0
            ],
            [
              0,
              1,
              1,
              1
            ],
            [
              1,
              0,
              0,
              0
            ],
            [
              1,
              0,
              0,
              1
            ],
            [
              1,
              0,
              1,
              0
            ],
            [
              1,
              0,
              1,
              1
            ],
            [
              1,
              1,
              0,
              0
            ],
            [
              1,
              1,
              0,
              1
            ],
            [
              1,
              1,
              1,
              0
            ],
            [
              1,
              1,
              1,
              1
            ]
          ],
          "good_binary_quotient_span_rank": 4,
          "max_fixed_identity_branch_correction": [
            0,
            0,
            0,
            0
          ],
          "max_quotient_analyzer": [
            0,
            0,
            0,
            1,
            0,
            0,
            1,
            0,
            0,
            1,
            0,
            0,
            1,
            0,
            0,
            0
          ],
          "max_quotient_analyzer_corrections": [
            [
              0,
              0,
              0,
              0
            ],
            [
              0,
              0,
              0,
              0
            ],
            [
              0,
              0,
              0,
              0
            ],
            [
              0,
              0,
              0,
              0
            ]
          ],
          "max_quotient_analyzer_rows": [
            [
              0,
              0,
              0,
              1
            ],
            [
              0,
              0,
              1,
              0
            ],
            [
              0,
              1,
              0,
              0
            ],
            [
              1,
              0,
              0,
              0
            ]
          ],
          "smith_representative": [
            0,
            0,
            0,
            0
          ]
        }
      },
      "exact_restricted_state_theorem": "max common exactly recoverable state family has 256 states for (0,0), 16 states (one free A-line) for (0,b), b>0, and only the zero state when a>0",
      "fixed_quotient_success_pattern": {
        "equal_nonzero_or_full_classes_a_eq_b": 4,
        "offdiagonal_two_nonzero_factors_a_lt_b_lt_4": 2,
        "rank_one_separable_classes_b_eq_4_a_lt_4": 3,
        "zero_class": 4
      },
      "fixed_quotient_target": "D psi for canonical Smith D=diag(u^a,u^b)",
      "line_analyzer": [
        1,
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        0,
        1
      ],
      "line_analyzer_rows": [
        [
          1,
          0,
          0,
          0
        ],
        [
          1,
          1,
          0,
          0
        ],
        [
          1,
          0,
          1,
          0
        ],
        [
          1,
          0,
          0,
          1
        ]
      ],
      "line_projection_correction": [
        1,
        0,
        0,
        0
      ],
      "postselected_full_state_no_go": "every singular resource has zero universally exact correctable analyzer branches"
    },
    "singular_resource_hierarchy_by_class": [
      {
        "canonical_quotient_boolean_bits": 8,
        "canonical_quotient_classes": 256,
        "canonical_quotient_type": "A + A",
        "deterministic_free_line_protocol": 1,
        "finite_tensor_power_universal_activation": 1,
        "fixed_quotient_all_four_outcomes": 1,
        "max_exact_common_nonzero_states": 255,
        "max_exact_common_state_family_size": 256,
        "max_exact_free_rank": 2,
        "max_fixed_quotient_success_outcomes_of_4": 4,
        "max_universal_exact_postselected_outcomes_of_4": 4,
        "residue_field_rank": 2,
        "residue_rank_three_copies": 8,
        "residue_rank_two_copies": 4,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 0,
        "smith_b": 0,
        "universal_exact_full_state": 1
      },
      {
        "canonical_quotient_boolean_bits": 7,
        "canonical_quotient_classes": 128,
        "canonical_quotient_type": "A + A/(u^3)",
        "deterministic_free_line_protocol": 1,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 15,
        "max_exact_common_state_family_size": 16,
        "max_exact_free_rank": 1,
        "max_fixed_quotient_success_outcomes_of_4": 2,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 1,
        "residue_rank_three_copies": 1,
        "residue_rank_two_copies": 1,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 0,
        "smith_b": 1,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 6,
        "canonical_quotient_classes": 64,
        "canonical_quotient_type": "A + A/(u^2)",
        "deterministic_free_line_protocol": 1,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 15,
        "max_exact_common_state_family_size": 16,
        "max_exact_free_rank": 1,
        "max_fixed_quotient_success_outcomes_of_4": 2,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 1,
        "residue_rank_three_copies": 1,
        "residue_rank_two_copies": 1,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 0,
        "smith_b": 2,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 5,
        "canonical_quotient_classes": 32,
        "canonical_quotient_type": "A + A/(u^1)",
        "deterministic_free_line_protocol": 1,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 15,
        "max_exact_common_state_family_size": 16,
        "max_exact_free_rank": 1,
        "max_fixed_quotient_success_outcomes_of_4": 2,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 1,
        "residue_rank_three_copies": 1,
        "residue_rank_two_copies": 1,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 0,
        "smith_b": 3,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 4,
        "canonical_quotient_classes": 16,
        "canonical_quotient_type": "A + 0",
        "deterministic_free_line_protocol": 1,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 15,
        "max_exact_common_state_family_size": 16,
        "max_exact_free_rank": 1,
        "max_fixed_quotient_success_outcomes_of_4": 3,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 1,
        "residue_rank_three_copies": 1,
        "residue_rank_two_copies": 1,
        "resource_nonzero": 1,
        "resource_separable": 1,
        "smith_a": 0,
        "smith_b": 4,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 6,
        "canonical_quotient_classes": 64,
        "canonical_quotient_type": "A/(u^3) + A/(u^3)",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 1,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 4,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 1,
        "smith_b": 1,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 5,
        "canonical_quotient_classes": 32,
        "canonical_quotient_type": "A/(u^3) + A/(u^2)",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 2,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 1,
        "smith_b": 2,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 4,
        "canonical_quotient_classes": 16,
        "canonical_quotient_type": "A/(u^3) + A/(u^1)",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 2,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 1,
        "smith_b": 3,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 3,
        "canonical_quotient_classes": 8,
        "canonical_quotient_type": "A/(u^3) + 0",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 3,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 1,
        "smith_a": 1,
        "smith_b": 4,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 4,
        "canonical_quotient_classes": 16,
        "canonical_quotient_type": "A/(u^2) + A/(u^2)",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 1,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 4,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 2,
        "smith_b": 2,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 3,
        "canonical_quotient_classes": 8,
        "canonical_quotient_type": "A/(u^2) + A/(u^1)",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 2,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 2,
        "smith_b": 3,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 2,
        "canonical_quotient_classes": 4,
        "canonical_quotient_type": "A/(u^2) + 0",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 3,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 1,
        "smith_a": 2,
        "smith_b": 4,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 2,
        "canonical_quotient_classes": 4,
        "canonical_quotient_type": "A/(u^1) + A/(u^1)",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 1,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 4,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 0,
        "smith_a": 3,
        "smith_b": 3,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 1,
        "canonical_quotient_classes": 2,
        "canonical_quotient_type": "A/(u^1) + 0",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 0,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 3,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 1,
        "resource_separable": 1,
        "smith_a": 3,
        "smith_b": 4,
        "universal_exact_full_state": 0
      },
      {
        "canonical_quotient_boolean_bits": 0,
        "canonical_quotient_classes": 1,
        "canonical_quotient_type": "0 + 0",
        "deterministic_free_line_protocol": 0,
        "finite_tensor_power_universal_activation": 0,
        "fixed_quotient_all_four_outcomes": 1,
        "max_exact_common_nonzero_states": 0,
        "max_exact_common_state_family_size": 1,
        "max_exact_free_rank": 0,
        "max_fixed_quotient_success_outcomes_of_4": 4,
        "max_universal_exact_postselected_outcomes_of_4": 0,
        "residue_field_rank": 0,
        "residue_rank_three_copies": 0,
        "residue_rank_two_copies": 0,
        "resource_nonzero": 0,
        "resource_separable": 1,
        "smith_a": 4,
        "smith_b": 4,
        "universal_exact_full_state": 0
      }
    ],
    "universal_protocol_branch_maps": [
      [
        0,
        1,
        1,
        1
      ],
      [
        1,
        1,
        0,
        1
      ],
      [
        0,
        1,
        1,
        0
      ],
      [
        1,
        0,
        0,
        1
      ]
    ],
    "universal_protocol_exact_checks": 1024
  }
}
