{"id":"225.35.3.a","row":875,"stored":{"file":"master_catalog.json","row":875,"construction":null,"columns_sha256":null},"parameters":{"n":225,"k":35,"d":3,"N":43,"r":8,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+21+22+23+24+25+26+27+28+29+30+31+32+33+34","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7T11\u00b7T12\u00b7T13\u00b7T14\u00b7T15\u00b7T16\u00b7T17\u00b7T18\u00b7T19\u00b7T20\u00b7T21\u00b7T22\u00b7T23\u00b7T24\u00b7T25\u00b7T26\u00b7T27\u00b7T28\u00b7T29\u00b7T30\u00b7T31\u00b7T32\u00b7T33\u00b7T34","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34]],"sk_key":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[11],[12],[13],[14],[15],[16],[17],[18],[19],[20],[21],[22],[23],[24],[25],[26],[27],[28],[29],[30],[31],[32],[33],[34]],"sk_fingerprint":"7c2e8606aa1e8a26","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[4,6,7,18,35],[4,14,15,18,23,36],[1,4,6,14,18,37],[4,6,17,18,23,38],[2,4,5,6,18,39],[4,5,6,14,18,23,26,37,38,39],[4,6,14,18,35,36,38],[4,5,8,14,18,36,38,39],[0,4,5,6,14,18,35,37,39],[4,6,11,14,18,23,35,37,38],[4,5,14,18,35,36,37,38,39],[4,6,18,23,35,38,39],[4,5,14,18,21,23,35,36,39],[3,4,5,18,23,36,37,39],[4,12,18,23,35,36,37],[6,18,23,40],[5,14,18,27,35,36,40],[5,6,12,14,18,23,35,37,40],[5,6,18,24,33,34,35,38,40],[6,18,35,39,40],[6,14,18,34,35,37,38,39,40],[1,5,14,18,23,36,38,40],[14,18,21,23,35,36,38,39,40],[6,9,14,18,23,33,34,37,39,40],[5,6,14,18,20,33,34,37,38,40],[8,18,23,33,34,36,37,38,39,40],[6,14,18,38,39,40],[14,17,18,36,39,40],[33,34,35,36,37,39,40],[5,13,18,36,37,40],[4,6,27,41],[4,14,19,23,33,34,35,36,41],[4,6,14,22,35,37,41],[4,6,9,23,32,33,35,38,41],[4,5,6,34,35,39,41],[5,6,14,23,32,33,35,37,38,39,41],[3,4,14,33,34,36,38,41],[4,5,14,20,35,36,38,39,41],[4,5,6,32,33,37,39,41],[1,4,6,14,23,32,34,37,38,41],[4,32,34,36,37,38,39,41],[0,4,5,6,23,38,39,41],[4,5,14,15,23,36,39,41],[4,5,13,23,31,32,35,36,37,39,41],[2,4,23,32,34,36,37,41],[4,5,6,10,18,23,32,34,35,36,37,38,40,41],[4,5,18,32,33,37,38,40,41],[4,5,6,14,18,23,25,31,34,36,38,40,41],[1,4,5,6,18,32,34,36,37,40,41],[4,5,6,18,23,32,34,36,37,38,39,40,41],[4,14,18,31,34,36,39,40,41],[4,5,7,14,18,23,31,32,33,34,35,37,40,41],[4,14,18,23,26,37,39,40,41],[4,6,14,18,23,31,35,36,38,39,40,41],[4,5,6,14,18,27,35,36,40,41],[4,13,18,23,31,32,35,39,40,41],[4,6,18,20,33,34,35,36,37,39,40,41],[4,9,14,18,32,34,35,37,38,39,40,41],[4,11,18,32,33,38,39,40,41],[4,5,16,18,28,29,30,31,33,34,35,38,40,41],[4,5,6,9,42],[5,14,23,31,32,33,34,35,36,42],[4,5,6,14,24,32,34,35,37,42],[4,5,6,32,34,35,38,42],[4,6,15,31,32,35,39,42],[4,6,8,14,23,32,34,35,37,38,39,42],[4,5,14,27,32,34,36,38,42],[4,14,19,31,33,35,36,38,39,42],[4,6,14,34,37,39,42],[4,5,6,14,17,23,31,32,37,38,42],[4,7,32,34,36,37,38,39,42],[3,4,6,23,31,32,33,34,38,39,42],[4,14,23,25,32,34,36,39,42],[4,6,23,30,33,35,36,37,39,42],[4,5,20,23,36,37,42],[4,6,18,22,23,30,32,35,36,37,38,40,42],[4,14,18,24,32,33,37,38,40,42],[4,6,14,18,20,23,33,34,36,38,40,42],[0,4,6,18,30,34,36,37,40,42],[4,5,6,17,18,23,31,32,36,37,38,39,40,42],[2,4,5,6,14,18,31,32,36,39,40,42],[4,14,16,18,23,31,32,35,37,40,42],[4,5,9,14,18,23,33,34,37,39,40,42],[4,5,6,10,14,18,23,29,31,33,34,35,36,38,39,40,42],[4,6,8,14,18,32,33,35,36,40,42],[4,5,18,23,26,29,30,31,33,35,39,40,42],[4,5,6,11,18,28,29,31,32,33,34,35,36,37,39,40,42],[4,5,14,18,30,33,34,35,37,38,39,40,42],[4,5,18,23,32,34,38,39,40,42],[4,18,27,32,34,35,38,40,42],[6,18,23,29,31,32,34,36,37,38,41],[0,14,18,23,35,37,38,41],[6,18,32,33,35,36,38,41],[5,6,18,23,32,34,35,36,37,41],[5,6,18,30,32,33,35,36,37,38,39,41],[5,6,14,18,23,24,28,31,33,34,35,36,39,41],[14,18,29,33,34,37,41],[5,14,16,18,32,33,35,37,39,41],[5,6,14,28,29,30,32,33,34,36,38,39,41],[6,10,14,18,23,30,31,36,41],[5,15,18,39,41],[2,5,6,18,23,32,34,36,37,39,41],[3,5,14,18,23,33,34,37,38,39,41],[5,18,23,25,28,31,33,34,35,38,39,41],[1,18,23,32,34,38,41],[5,6,11,28,29,31,34,35,36,37,38,41,42],[5,14,16,23,28,29,30,32,33,34,37,38,41,42],[5,6,14,27,32,34,36,38,41,42],[5,6,23,28,30,31,32,33,36,37,41,42],[4,6,31,34,36,37,38,39,41,42],[3,6,14,23,31,32,36,39,41,42],[5,14,26,29,30,31,33,35,37,41,42],[10,14,29,31,32,33,37,39,41,42],[6,14,21,30,32,33,34,35,36,38,39,41,42],[5,6,14,15,23,31,32,35,36,41,42],[18,30,32,35,39,41,42],[6,12,23,29,30,31,32,35,36,37,39,41,42],[14,20,23,35,37,38,39,41,42],[19,23,31,34,38,39,41,42],[5,9,23,32,33,35,38,41,42],[4,5,6,15,18,31,32,35,41,42],[4,5,11,14,18,23,28,29,31,34,36,41,42],[3,4,5,6,14,18,31,32,37,41,42],[4,5,6,18,21,23,30,32,33,34,38,41,42],[4,6,12,18,29,30,31,32,39,41,42],[4,6,14,18,23,33,37,38,39,41,42],[4,5,14,18,25,28,31,32,33,35,36,38,41,42],[4,13,14,18,28,29,30,32,36,38,39,41,42],[4,6,14,18,30,31,34,35,37,39,41,42],[4,5,6,14,18,23,28,29,32,35,37,38,41,42],[4,18,22,28,32,33,34,35,36,37,38,39,41,42],[4,6,18,23,26,29,30,31,33,35,38,39,41,42],[4,14,18,23,31,33,34,35,36,39,41,42],[4,18,23,24,28,31,32,33,36,37,39,41,42],[4,5,18,29,31,35,36,37,41,42],[1,4,5,6,23,36,37,38,40],[4,5,10,14,30,31,32,34,35,37,38,40],[4,5,6,14,23,28,29,30,32,34,35,36,38,40],[4,5,6,14,35,36,37,40],[4,6,19,23,28,34,35,36,37,38,39,40],[4,6,14,25,28,33,35,36,39,40],[4,5,8,14,23,33,34,37,40],[4,14,22,23,28,30,33,34,35,37,39,40],[4,6,14,17,23,36,38,39,40],[4,5,6,12,14,36,40],[4,23,28,31,33,39,40],[6,28,29,30,34,36,37,39,40],[4,14,16,28,29,30,31,32,34,37,38,39,40],[4,5,35,38,39,40],[4,5,21,38,40],[3,5,6,18,31,32,33,34,36,37,38,42],[5,13,14,18,23,28,29,30,31,35,37,38,42],[5,6,14,28,29,33,34,35,36,38,42],[5,6,8,18,23,32,34,35,36,37,42],[6,7,18,32,34,35,36,37,38,39,42],[6,14,15,18,23,31,32,35,36,39,42],[5,14,17,18,31,32,37,42],[14,18,28,29,33,35,37,39,42],[6,14,18,22,28,32,33,34,36,38,39,42],[5,6,14,18,23,28,29,30,31,32,33,34,36,42],[18,28,29,30,31,34,39,42],[6,10,18,23,29,30,32,33,36,37,39,42],[6,14,18,23,30,33,37,38,39,42],[16,18,23,28,29,30,34,35,38,39,42],[5,18,23,32,38,42],[4,23,30,31,33,34,36,37,38,40,41,42],[4,14,28,35,37,38,40,41,42],[0,4,6,14,23,30,34,35,36,38,40,41,42],[4,6,19,28,31,35,36,37,40,41,42],[4,5,6,23,24,28,31,32,34,35,36,37,38,39,40,41,42],[4,5,6,14,21,30,32,33,34,35,36,39,40,41,42],[2,4,14,23,31,34,37,40,41,42],[4,5,12,14,23,29,30,31,32,35,37,39,40,41,42],[4,5,6,7,14,23,31,33,36,38,39,40,41,42],[4,6,14,30,36,40,41,42],[4,5,16,23,31,33,39,40,41,42],[4,5,6,23,29,31,36,37,39,40,41,42],[4,5,13,14,28,29,30,32,37,38,39,40,41,42],[4,5,10,29,30,33,34,35,38,39,40,41,42],[28,29,30,31,38,40,41,42],[6,23,25,28,32,33,34,35,40,42],[2,14,31,32,36,40,42],[6,14,19,23,28,31,33,34,37,40,42],[6,29,32,33,38,40,42],[5,6,23,29,31,32,39,40,42],[5,6,14,18,28,29,37,38,39,40,42],[13,14,23,28,29,30,31,35,36,38,40,42],[5,11,14,23,28,29,31,32,33,34,36,38,39,40,42],[4,5,6,14,23,28,29,30,31,32,33,35,37,39,40,42],[6,14,26,29,30,31,33,35,37,38,40,42],[5,23,29,32,33,35,36,37,38,39,40,42],[5,6,8,32,33,35,38,39,40,42],[0,5,14,30,34,35,36,39,40,42],[5,17,31,32,36,37,39,40,42],[30,31,32,33,34,35,36,37,40,42],[6,18,21,23,30,32,33,34,40,41,42],[14,18,29,31,32,33,34,35,36,40,41,42],[14,18,23,30,31,33,34,35,37,40,41,42],[6,18,27,32,34,35,38,40,41,42],[5,6,18,20,23,33,34,35,39,40,41,42],[5,6,9,14,18,32,34,35,37,38,39,40,41,42],[14,18,22,23,30,32,36,38,40,41,42],[5,7,14,18,23,31,33,35,36,38,39,40,41,42],[2,5,6,14,18,23,31,34,37,39,40,41,42],[6,14,18,28,30,31,33,34,37,38,40,41,42],[0,5,18,23,30,34,36,37,38,39,40,41,42],[5,6,18,25,31,32,38,39,40,41,42],[5,12,14,18,29,30,31,32,36,39,40,41,42],[5,18,28,31,32,33,34,35,36,37,39,40,41,42],[30,32,33,34,36,37,40,41,42],[5,6,23,28,29,30,32,34,35,40,41],[1,5,14,32,34,36,40,41],[5,6,7,14,23,31,32,33,34,37,40,41],[5,6,26,38,40,41],[6,22,23,28,30,33,34,39,40,41],[6,14,19,28,33,37,38,39,40,41],[4,5,14,23,28,29,30,32,33,34,35,36,38,40,41],[14,23,24,28,31,36,38,39,40,41],[6,11,14,23,32,33,35,37,39,40,41],[5,6,14,18,28,29,30,32,35,37,38,40,41],[29,31,32,34,35,36,37,38,39,40,41],[31,34,35,38,39,40,41],[32,33,35,36,39,40,41],[31,36,37,39,40,41],[32,34,35,36,37,40,41]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,16,144],"A_d":7350,"certified":null},"clifford":{"kind":"required","correction":{"S":[[0,1],[1,1],[2,1],[3,1],[4,1],[5,1],[6,1],[7,1],[8,1],[9,1],[10,1],[11,1],[12,1],[13,1],[14,1],[15,1],[16,1],[17,1],[18,1],[19,1],[20,1],[21,1],[22,1],[23,1],[24,1],[25,1],[26,1],[27,1],[28,1],[29,1],[30,1],[33,1],[34,1]],"CZ":[[4,29],[4,32],[4,33],[4,34],[5,31],[5,32],[5,33],[5,34],[6,29],[6,31],[6,32],[6,34],[14,29],[14,30],[18,29],[18,30],[23,29],[23,31],[23,32],[23,33],[28,29],[28,30],[28,32],[28,33],[28,35],[28,39],[28,41],[28,42],[29,32],[29,33],[29,34],[29,35],[29,36],[29,38],[29,39],[29,40],[29,41],[30,34],[30,35],[30,36],[30,40],[30,41],[30,42],[31,32],[31,33],[31,39],[31,40],[31,42],[32,34],[32,35],[32,38],[32,42],[33,34],[33,39],[33,40],[33,41],[33,42],[34,42]]},"rotation_powers":null},"metrics":{"gamma":1.6937297715565047,"gamma_t":null,"gamma_rho":1.6937297715565047,"gamma_claim":1.6937297715565047,"gamma_t_claim":null,"gamma_rho_claim":1.6937297715565047,"v_ex":35,"rate":0.15555555555555556,"t_count":null,"poly_degree":null,"effective_width":35},"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":"T0.T1.T2.T3.T4.T5.T6.T7.T8.T9.T10.T11.T12.T13.T14.T15.T16.T17.T18.T19.T20.T21.T22.T23.T24.T25.T26.T27.T28.T29.T30.T31.T32.T33.T34","N":43,"d":3,"d_is_exact":true,"origin":"frontier_campaign","provenance":"frontier_campaign \u00b7 catalogue.jsonl:228"}]},"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"}]}