{"id":"12.5.2.a","row":3,"stored":{"file":"master_catalog.json","row":3,"construction":null,"columns_sha256":null},"parameters":{"n":12,"k":5,"d":2,"N":6,"r":1,"level":3},"gate":{"string":"012+013+024+134","human":"CCZ012\u00b7CCZ013\u00b7CCZ024\u00b7CCZ134","monomials":[[0,1,2],[0,1,3],[0,2,4],[1,3,4]],"sk_key":[[0,1,2],[0,1,3],[0,2,4],[1,3,4]],"sk_fingerprint":"f38b2329b6f9fa53","sk_canonical_frame":true,"relabelled_into_canonical_frame":true},"circuit":{"columns":[[2,4,5],[3,4,5],[1,3,5],[1,2,3,5],[1,2,4,5],[1,2,3,4,5],[0,2,5],[0,2,3,5],[0,3,4,5],[0,2,3,4,5],[0,1,2,5],[0,1,3,5]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,1],"A_d":66,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,1],[1,1],[4,1],[5,2]],"CZ":[[0,1],[0,4],[0,5],[1,4],[1,5],[4,5]]},"rotation_powers":[[1,3],[3,3],[4,7],[6,7],[9,3],[11,3]]},"metrics":{"gamma":1.2630344058337937,"gamma_t":0.12553088208385882,"gamma_rho":null,"gamma_claim":1.2630344058337937,"gamma_t_claim":0.12553088208385882,"gamma_rho_claim":null,"v_ex":null,"rate":0.4166666666666667,"t_count":11,"poly_degree":3,"effective_width":5},"provenance":{"regimes":["symmetry-SAT search"],"discovery":"pre-existing","strongest_claim":"found by the symmetry-slot or ansatz-free SAT search (symmetry_sat_search/); a verified witness, not a maximum","sources":[{"regime":"symmetry-SAT search","file":"symmetry_sat_search/catalog/factories.json","label":"CCZ135_CCZ145_CCZ234_CCZ245 (N=6)","N":6,"d":2,"d_is_exact":true,"origin":null,"provenance":"archived symmetry-reduced CP-SAT binary-matrix export","notes":"published: Campbell and Howard (2017), Example IV.4"}]},"references":[{"key":"campbell2017unified","short":"Campbell & Howard (2017)","full":"E. T. Campbell and M. Howard, \"Unified framework for magic state distillation and multiqubit gate synthesis with reduced resource cost,\" Phys. Rev. A 95, 022316 (2017).","url":"https://doi.org/10.1103/PhysRevA.95.022316","date":"2017-02-09"}]}