{"id":"176.9.4.a","row":807,"stored":{"file":"master_catalog.json","row":807,"construction":null,"columns_sha256":null},"parameters":{"n":176,"k":9,"d":4,"N":20,"r":11,"level":3},"gate":{"string":"012+013+014+015+016+017+023+024+025+028+034+035+046+067+068+078+126+127+128+135+145+147+148+156+158+168+234+236+237+245+246+247+258+278+346+357+358+456+478+568+578","human":"CCZ012\u00b7CCZ013\u00b7CCZ014\u00b7CCZ015\u00b7CCZ016\u00b7CCZ017\u00b7CCZ023\u00b7CCZ024\u00b7CCZ025\u00b7CCZ028\u00b7CCZ034\u00b7CCZ035\u00b7CCZ046\u00b7CCZ067\u00b7CCZ068\u00b7CCZ078\u00b7CCZ126\u00b7CCZ127\u00b7CCZ128\u00b7CCZ135\u00b7CCZ145\u00b7CCZ147\u00b7CCZ148\u00b7CCZ156\u00b7CCZ158\u00b7CCZ168\u00b7CCZ234\u00b7CCZ236\u00b7CCZ237\u00b7CCZ245\u00b7CCZ246\u00b7CCZ247\u00b7CCZ258\u00b7CCZ278\u00b7CCZ346\u00b7CCZ357\u00b7CCZ358\u00b7CCZ456\u00b7CCZ478\u00b7CCZ568\u00b7CCZ578","monomials":[[0,1,2],[0,1,3],[0,1,4],[0,1,5],[0,1,6],[0,1,7],[0,2,3],[0,2,4],[0,2,5],[0,2,8],[0,3,4],[0,3,5],[0,4,6],[0,6,7],[0,6,8],[0,7,8],[1,2,6],[1,2,7],[1,2,8],[1,3,5],[1,4,5],[1,4,7],[1,4,8],[1,5,6],[1,5,8],[1,6,8],[2,3,4],[2,3,6],[2,3,7],[2,4,5],[2,4,6],[2,4,7],[2,5,8],[2,7,8],[3,4,6],[3,5,7],[3,5,8],[4,5,6],[4,7,8],[5,6,8],[5,7,8]],"sk_key":[[0,1,2],[0,1,3],[0,1,4],[0,1,5],[0,1,6],[0,1,7],[0,2,3],[0,2,4],[0,2,5],[0,2,8],[0,3,4],[0,3,5],[0,4,6],[0,6,7],[0,6,8],[0,7,8],[1,2,6],[1,2,7],[1,2,8],[1,3,5],[1,4,5],[1,4,7],[1,4,8],[1,5,6],[1,5,8],[1,6,8],[2,3,4],[2,3,6],[2,3,7],[2,4,5],[2,4,6],[2,4,7],[2,5,8],[2,7,8],[3,4,6],[3,5,7],[3,5,8],[4,5,6],[4,7,8],[5,6,8],[5,7,8]],"sk_fingerprint":"9828eaae144cd38b","sk_canonical_frame":true,"relabelled_into_canonical_frame":true},"circuit":{"columns":[[6,8,9],[0,3,5,6,7,8,10],[1,4,5,6,11],[0,1,3,5,12],[0,1,2,7,8,13],[0,1,2,4,7,14],[0,2,3,4,7,15],[0,1,2,3,6,7,16],[0,3,5,6,7,17],[0,4,18],[1,2,3,5,6,19],[0,1,2,3,4,5,7,8,12,13,14,15,18],[3,5,6,7,9,10,14,16,18],[0,2,3,5,7,8,9,12,14,16,17,18,19],[1,4,7,8,11,13,14,17,18],[4,6,10,11,12,13,14,17,18],[2,4,6,12,14,15,18,19],[1,6,11,12,14,15,18],[0,2,3,5,7,8,10,11,15,16,19],[6,7,8,9,10,12,13,16],[2,4,6,7,9,11,12,13,16,17,19],[0,2,3,6,7,8,10,11,12,18,19],[1,2,4,5,8,9,15,17],[0,5,8,10,11,16,18,19],[1,2,3,9,10,11,15,16,17,19],[0,6,7,8,10,11,14,15,16,17,19],[1,3,6,10,13,15,16,19],[2,5,6,7,8,12,13,14,15,16,17,19],[1,2,3,4,5,7,11,14,15,16,18],[3,4,6,7,8,9,11,14,18,19],[0,1,3,5,7,8,11,12,13,18,19],[0,7,9,12,13,18,19],[0,5,6,8,9,10,11,13,16,17,18],[2,3,5,6,7,10,12,13,14,15,16,19],[0,1,3,10,11,12,13,14,16,19],[0,1,3,5,11,14,15,16,17,18,19],[0,3,4,11,12,14,15,16,17,19],[0,1,2,3,5,12,14,15,16,17],[4,5,7,8,12,13,15,16,19],[0,3,4,6,7,8,9,10,13,14,16,17,19],[0,1,3,4,7,9,10,11,12,15,16,18],[1,2,3,4,5,7,10,12,13,15,19],[0,4,7,8,9,10,12,13,17,18,19],[0,7,8,9,10,11,12,13,16,18],[1,2,3,6,8,9,10,12,13,14,16,18],[0,4,5,7,14,16,17],[0,1,2,3,4,6,9,10,12,14,16,17,19],[0,5,8,12,13,15],[0,1,2,3,4,5,7,10,11,12,13,16,18,19],[2,4,6,10,11,12,13,15,16,18],[2,3,4,9,10,11,14,16,17,19],[0,5,6,7,14,15,17],[0,2,4,6,7,8,9,10,11,12,13,15,16,17,18],[1,4,5,6,9,10,11,16,19],[2,4,5,6,7,8,13,15,19],[2,3,4,5,7,8,11,13,14,16,18],[0,1,2,4,6,7,8,12,13,15,16,18],[0,1,3,4,5,6,9,10,15,18,19],[4,6,9,13,14,15,16,17,18],[0,1,2,7,8,9,10,12,13,14,17,19],[1,2,3,5,8,11,13,15,16,18],[1,11,15,16],[2,3,4,5,6,7,8,9,10,12,13,17],[6,9,12,13,14,16,17,18],[0,1,2,3,4,5,8,11,12,13,14,16,17,19],[2,3,6,7,11,12,15],[0,1,3,4,7,8,12,13,14,15,16,17,18],[0,2,4,5,7,10,11,12,13,14,17,19],[1,3,4,6,9,10,11,15,17,18,19],[2,4,5,6,7,8,11,13,16,17,18],[1,3,4,5,7,8,11,12,13,14,17],[0,2,3,7,8,9,10,13,15,17,18,19],[0,11,16,17,18,19],[0,1,2,3,8,11,14,15,18,19],[2,3,4,7,8,9,12,13,14,15,17,18],[0,1,2,5,7,9,10,11,13,16],[0,2,3,4,5,6,7,9,10,11,13,14,16,17],[2,3,5,6,7,9,10,11,12,14,15,17,18,19],[1,6,9,10,12,15,17],[1,2,3,8,9,10,12,13,14,15,16,17,18],[2,4,8,9,10,11,12,15,16,17,18,19],[0,1,2,8,9,13,14,15,16,17,19],[1,2,3,4,6,7,9,10,13,14,15,17,18],[4,6,7,8,11,12,13,16,17],[6,9,10,17],[0,2,3,4,5,6,7,8,12,13,18],[0,2,5,6,9,10,11,12,13,14,15,17,18],[0,3,5,7,9,12,17,18,19],[0,1,4,5,6,7,9,12,13,14,16,17,19],[4,5,6,9,10,11,14,15,17,19],[1,5,6,7,9,10,12,13,14,15,17],[2,3,4,7,9,10,14,16,17],[1,2,4,7,8,13,14,16,17,19],[0,7,9,10,13,14,15,17,19],[3,4,5,7,8,9,10,12,13,15],[0,1,3,4,6,8,10,11,14,16,19],[0,1,2,3,5,7,10,12,13,15,17],[1,2,3,4,5,7,9,11,16,18,19],[0,1,2,7,16,17,18],[0,2,6,7,9,11,13,16,18],[1,2,3,4,5,6,7,9,10,11,14,17,18,19],[1,2,6,8,9,10,12,13,14,15,16,17,19],[0,10,13,15,18,19],[2,3,5,9,10,15,16,17],[0,1,2,5,8,9,10,11,13,14,17,18],[1,5,6,8,11,12,13],[1,2,3,5,11,14,15],[1,2,4,5,6,10,11,12,13,14,16,18],[0,1,2,4,5,6,7,9,10,12,14,16,17,18],[0,3,4,11,12,13,14,18],[4,6,7,8,9,11,15,18,19],[0,2,3,4,9,11,13,14,16,17,18],[0,2,5,6,7,8,12,13,14,16,18],[1,2,3,5,7,8,9,11,14,15,17,18,19],[0,2,5,6,9,10,11,12,15],[0,1,3,5,7,8,11,13,14,15,16,17,18],[5,6,10,12,13,15,16,18,19],[0,2,3,4,5,14,15,16,17,18],[0,1,2,6,9,12,13,14,15,16,19],[0,2,3,4,5,6,7,10,13,14,16,19],[0,1,2,3,4,5,9,10,17,18,19],[2,3,8,9,11,12,15,16,17,19],[0,1,7,8,10,18,19],[5,6,8,11,13,15],[0,2,3,5,6,7,12,13,15,18,19],[0,2,4,6,7,8,10,11,13,15,16],[0,2,4,5,6,7,8,9,10,11,12,13,14,17],[0,1,2,3,5,6,7,9,10,12],[0,2,6,8,11,13,14,15,18],[3,5,6,7,8,9,10,14,15,17],[5,6,7,8,9,14,16,17,18],[4,9,10,11,15,16],[0,2,3,4,9,10,11,13,17],[0,2,3,4,10,11,14,15,17,18,19],[0,2,3,4,9,10,11,12,13,14,16,17,18],[1,2,4,6,9,10,11,12,13,14,15,16,18],[0,2,5,8,10,11,12,15,16,18,19],[3,5,6,7,8,14,16,18],[4,9,10,11,12,13,14,15,17,19],[0,2,3,5,7,9,10,14,17,18],[1,3,4,7,8,9,11,14,16,17,18,19],[3,4,5,6,7,8,11,14,15,17,19],[1,3,4,5,6,7,8,9,12,15,18,19],[1,3,4,7,12,13,15,17,18],[11,18,19],[0,1,9,10,15],[0,1,4,6,7,8,11,12,16],[0,1,4,6,7,10,11,14,15,19],[1,2,3,6,8,9,10,16],[0,3,6,7,9,11,12,13,14,15,16,17,19],[6,8,9,10,12,14,17],[3,4,5,6,7,8,11,12,13,15,16],[0,1,4,5,6,8,9,10,15,17,18],[0,1,3,4,7,8,10,11,15,18,19],[1,2,6,8,9,11,15,16,17,18,19],[0,1,2,3,5,6,10,14,17,18,19],[0,1,5,10,14,16],[0,2,4,5,6,7,8,11,15,17,18,19],[0,5,6,7,8,9,10,11,12,13,17,18],[1,4,9,10,13,14,15,16,18],[1,2,4,5,6,7,8,9,13,14,15,19],[9,13,15,18,19],[0,2,3,5,9,14,16,17,19],[0,2,3,4,7,8,9,10,11,13,14,15,17],[1,2,7,8,11,12,13,16,19],[0,2,3,6,9,10,11,12,14,15,17],[9,11,12,13,14,15,17,18,19],[10,16,18],[9,10,14,15,16,17,18],[11,12,13,14,16,17,18],[9,10,11,12,13,16,19],[12,18,19],[11,15,16,18,19],[9,10,13,14,15,16,19],[9,10,11,14,17],[11,12,13,14,19]]},"distance":{"d":4,"is_exact":true,"upper":4,"witness":[0,1,3,127],"A_d":50537,"certified":null},"clifford":{"kind":"required","correction":{"S":[[1,3],[3,3],[6,2],[7,3],[8,2]],"CZ":[[0,1],[0,2],[0,3],[0,4],[0,8],[0,9],[0,11],[0,15],[0,16],[0,17],[0,18],[1,2],[1,9],[1,11],[1,13],[1,14],[1,15],[1,16],[1,19],[2,5],[2,6],[2,7],[2,9],[2,10],[2,12],[2,15],[3,4],[3,5],[3,6],[3,7],[3,8],[3,10],[3,13],[3,14],[3,15],[3,18],[4,7],[4,11],[4,18],[5,7],[5,8],[5,9],[5,10],[5,13],[5,15],[5,18],[5,19],[6,9],[6,10],[6,12],[6,13],[6,14],[6,15],[6,18],[6,19],[7,9],[7,16],[7,17],[8,13],[8,14],[8,15],[8,16],[8,17],[8,19]]},"rotation_powers":null},"metrics":{"gamma":2.1447533085974926,"gamma_t":null,"gamma_rho":null,"gamma_claim":2.1447533085974926,"gamma_t_claim":null,"gamma_rho_claim":null,"v_ex":null,"rate":0.05113636363636364,"t_count":null,"poly_degree":null,"effective_width":9},"provenance":{"regimes":["AI search"],"discovery":"AI search","strongest_claim":"found by an AI search campaign; a verified witness, not a maximum","sources":[{"regime":"AI search","file":"master_catalog/catalogue_new","label":"CCZ012.CCZ014.CCZ016.CCZ017.CCZ023.CCZ024.CCZ035.CCZ036.CCZ037.CCZ038.CCZ047.CCZ057.CCZ058.CCZ067.CCZ068.CCZ078.CCZ125.CCZ127.CCZ136.CCZ137.CCZ138.CCZ156.CCZ157.CCZ168.CCZ234.CCZ235.CCZ237.CCZ245.CCZ246.CCZ257.CCZ258.CCZ267.CCZ346.CCZ347.CCZ348.CCZ356.CCZ368.CCZ458.CCZ467.CCZ567.CCZ578","N":20,"d":4,"d_is_exact":true,"origin":"frontier_campaign","provenance":"frontier_campaign \u00b7 catalogue.jsonl:336"}]},"references":[{"key":"jain2026symmetry","short":"Jain et al. (2026)","full":"S. P. Jain, A. Wills, and S. Singh, \"Symmetry and AI-assisted discovery of magic-state factories,\" arXiv:2610.06535 (2026).","url":"https://arxiv.org/abs/2610.06535","date":"2026-10-05"}]}