{"id":"255.40.3.a","row":918,"stored":{"file":"master_catalog.json","row":918,"construction":null,"columns_sha256":null},"parameters":{"n":255,"k":40,"d":3,"N":48,"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+35+36+37+38+39","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\u00b7T35\u00b7T36\u00b7T37\u00b7T38\u00b7T39","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],[35],[36],[37],[38],[39]],"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],[35],[36],[37],[38],[39]],"sk_fingerprint":"c116f6e2037fc6d7","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[34,35,36,38,40],[20,32,33,34,35,38,39,41],[29,32,33,34,35,37,39,40,41],[6,34,35,38,42],[25,36,39,40,42],[3,33,34,35,36,39,41,42],[26,33,34,36,40,41,42],[2,32,36,38,43],[11,37,38,39,40,43],[14,35,36,37,41,43],[21,33,34,37,40,41,43],[28,32,34,35,36,38,42,43],[8,32,35,36,37,38,39,40,42,43],[18,33,37,39,41,42,43],[1,36,38,39,40,41,42,43],[9,32,34,35,38,44],[1,33,34,36,37,40,44],[23,33,35,36,37,38,41,44],[26,32,33,35,36,37,40,41,44],[26,32,34,35,37,42,44],[12,35,37,40,42,44],[21,33,34,35,36,38,39,41,42,44],[15,34,37,39,40,41,42,44],[5,32,33,35,36,43,44],[22,35,39,40,43,44],[16,33,34,35,36,37,38,39,41,43,44],[7,34,35,36,37,38,39,40,41,43,44],[33,34,36,37,38,39,42,43,44],[21,35,36,37,38,39,40,42,43,44],[1,33,34,37,38,39,41,42,43,44],[32,34,35,36,37,38,40,41,42,43,44],[24,35,37,38,39,45],[31,32,33,37,40,45],[9,32,36,38,39,41,45],[3,32,33,34,37,39,40,41,45],[11,32,33,34,35,37,42,45],[3,32,35,36,37,40,42,45],[10,32,38,41,42,45],[0,35,37,40,41,42,45],[29,33,35,37,38,39,43,45],[33,35,38,39,40,43,45],[22,34,36,37,39,41,43,45],[29,32,34,38,40,41,43,45],[4,32,33,34,38,42,43,45],[11,32,33,34,35,38,39,40,42,43,45],[15,33,34,35,37,38,41,42,43,45],[23,33,34,35,36,38,39,40,41,42,43,45],[28,32,33,37,38,39,44,45],[25,32,33,34,35,37,38,39,40,44,45],[9,34,35,36,39,41,44,45],[22,34,35,36,37,40,41,44,45],[25,32,33,34,35,36,37,38,42,44,45],[14,36,37,38,40,42,44,45],[17,32,34,35,36,37,38,39,41,42,44,45],[30,33,34,36,39,40,41,42,44,45],[27,32,34,35,37,38,39,43,44,45],[15,33,35,38,39,40,43,44,45],[19,32,34,35,36,38,39,41,43,44,45],[13,38,39,40,41,43,44,45],[28,33,34,35,36,37,39,42,43,44,45],[23,34,37,39,40,42,43,44,45],[34,37,41,42,43,44,45],[14,35,38,40,41,42,43,44,45],[1,35,36,46],[0,37,39,40,46],[14,34,35,37,39,41,46],[17,32,34,35,40,41,46],[24,32,33,34,35,36,38,42,46],[18,34,35,36,38,39,40,42,46],[31,32,35,37,38,41,42,46],[12,32,34,35,37,40,41,42,46],[14,34,36,39,43,46],[22,32,33,34,36,37,38,40,43,46],[27,32,34,36,37,38,41,43,46],[18,33,34,35,36,37,38,40,41,43,46],[16,32,34,35,36,38,39,42,43,46],[10,32,36,40,42,43,46],[30,32,34,36,41,42,43,46],[1,35,38,39,40,41,42,43,46],[22,32,33,34,35,36,37,38,39,44,46],[1,33,34,35,37,40,44,46],[12,32,34,41,44,46],[13,32,33,34,39,40,41,44,46],[8,33,36,37,39,42,44,46],[11,39,40,42,44,46],[16,32,33,37,41,42,44,46],[32,33,34,36,37,39,40,41,42,44,46],[25,32,33,34,35,37,38,43,44,46],[8,32,33,35,38,40,43,44,46],[19,34,35,36,37,38,41,43,44,46],[32,35,36,38,40,41,43,44,46],[11,37,38,42,43,44,46],[25,32,33,34,35,36,37,38,39,40,42,43,44,46],[1,33,34,35,36,37,38,39,41,42,43,44,46],[4,32,34,35,36,40,41,42,43,44,46],[19,32,37,39,45,46],[32,33,34,36,37,38,40,45,46],[2,32,33,36,41,45,46],[22,32,33,38,39,40,41,45,46],[24,32,33,34,36,37,39,42,45,46],[32,34,35,37,40,42,45,46],[0,35,39,41,42,45,46],[31,33,35,38,40,41,42,45,46],[13,32,33,34,38,43,45,46],[25,39,40,43,45,46],[2,33,38,41,43,45,46],[10,36,38,40,41,43,45,46],[25,36,42,43,45,46],[33,34,35,37,39,40,42,43,45,46],[5,35,36,38,41,42,43,45,46],[7,32,33,34,35,39,40,41,42,43,45,46],[34,35,36,38,39,44,45,46],[11,32,33,34,35,37,39,40,44,45,46],[27,35,36,39,41,44,45,46],[4,33,35,36,38,40,41,44,45,46],[7,32,33,36,37,38,42,44,45,46],[17,36,37,38,39,40,42,44,45,46],[5,32,33,38,41,42,44,45,46],[14,34,35,36,38,39,40,41,42,44,45,46],[11,32,33,34,35,38,43,44,45,46],[30,32,33,39,40,43,44,45,46],[22,32,33,35,38,41,43,44,45,46],[6,32,33,35,36,37,38,40,41,43,44,45,46],[20,32,33,37,38,42,43,44,45,46],[14,34,37,38,39,40,42,43,44,45,46],[20,34,35,37,39,41,42,43,44,45,46],[6,32,33,34,36,37,40,41,42,43,44,45,46],[10,33,35,38,47],[35,37,39,40,47],[15,32,37,38,41,47],[19,33,34,37,38,39,40,41,47],[24,32,36,37,38,42,47],[27,35,36,39,40,42,47],[30,32,33,39,41,42,47],[16,33,34,39,40,41,42,47],[31,33,35,38,43,47],[4,32,33,34,39,40,43,47],[9,33,34,35,37,41,43,47],[6,35,36,37,40,41,43,47],[32,34,37,38,39,42,43,47],[33,34,36,40,42,43,47],[23,36,38,39,41,42,43,47],[6,34,36,37,38,40,41,42,43,47],[20,34,37,38,44,47],[3,32,35,39,40,44,47],[20,32,33,35,37,39,41,44,47],[32,35,36,38,39,40,41,44,47],[13,32,34,35,37,38,39,42,44,47],[15,32,34,38,39,40,42,44,47],[32,33,35,36,41,42,44,47],[3,32,33,34,36,40,41,42,44,47],[17,33,37,38,43,44,47],[32,36,38,39,40,43,44,47],[9,32,33,37,38,41,43,44,47],[0,35,39,40,41,43,44,47],[23,33,35,37,39,42,43,44,47],[16,35,36,37,38,40,42,43,44,47],[32,33,34,35,37,38,39,41,42,43,44,47],[34,36,37,38,40,41,42,43,44,47],[12,32,34,39,45,47],[23,33,34,35,40,45,47],[5,33,35,36,41,45,47],[18,32,37,38,40,41,45,47],[24,32,35,36,39,42,45,47],[4,38,39,40,42,45,47],[10,32,33,35,41,42,45,47],[8,32,33,35,38,40,41,42,45,47],[9,32,33,34,35,36,37,38,39,43,45,47],[31,32,35,37,38,40,43,45,47],[8,33,36,37,39,41,43,45,47],[7,32,33,36,37,38,40,41,43,45,47],[15,32,33,34,35,42,43,45,47],[18,32,33,38,39,40,42,43,45,47],[17,32,33,34,35,36,39,41,42,43,45,47],[13,32,34,35,37,40,41,42,43,45,47],[7,32,33,34,35,39,44,45,47],[30,32,34,36,40,44,45,47],[3,33,34,35,37,41,44,45,47],[23,34,36,37,38,40,41,44,45,47],[3,36,37,39,42,44,45,47],[12,32,34,35,37,39,40,42,44,45,47],[32,33,34,35,39,41,42,44,45,47],[2,32,36,38,40,41,42,44,45,47],[9,33,36,37,39,43,44,45,47],[19,32,33,35,36,37,40,43,44,45,47],[5,32,41,43,44,45,47],[15,32,33,35,37,39,40,41,43,44,45,47],[0,37,39,42,43,44,45,47],[27,32,34,36,37,38,40,42,43,44,45,47],[33,35,36,39,41,42,43,44,45,47],[2,40,41,42,43,44,45,47],[24,33,34,35,37,46,47],[21,32,33,35,38,39,40,46,47],[33,41,46,47],[32,34,35,36,37,39,40,41,46,47],[7,34,35,36,37,38,39,42,46,47],[28,32,33,34,36,38,39,40,42,46,47],[33,35,37,39,41,42,46,47],[13,33,35,37,38,40,41,42,46,47],[30,33,34,36,39,43,46,47],[28,33,35,39,40,43,46,47],[21,32,34,35,37,38,39,41,43,46,47],[16,32,33,35,36,38,40,41,43,46,47],[5,33,38,42,43,46,47],[10,32,33,35,36,38,40,42,43,46,47],[31,32,33,37,41,42,43,46,47],[27,32,34,35,37,38,39,40,41,42,43,46,47],[29,32,34,38,44,46,47],[16,32,34,37,39,40,44,46,47],[34,37,38,39,41,44,46,47],[29,33,35,37,38,39,40,41,44,46,47],[5,32,35,36,38,42,44,46,47],[2,33,38,40,42,44,46,47],[4,33,35,36,39,41,42,44,46,47],[21,32,34,36,40,41,42,44,46,47],[33,34,35,36,38,39,43,44,46,47],[19,33,35,36,39,40,43,44,46,47],[0,35,37,41,43,44,46,47],[17,32,33,34,35,37,38,40,41,43,44,46,47],[21,32,33,36,37,42,43,44,46,47],[2,32,33,36,40,42,43,44,46,47],[33,35,36,37,41,42,43,44,46,47],[7,40,41,42,43,44,46,47],[24,33,34,38,39,45,46,47],[32,33,35,37,38,39,40,45,46,47],[26,32,36,37,38,39,41,45,46,47],[19,32,33,34,38,40,41,45,46,47],[32,34,35,37,38,42,45,46,47],[26,32,33,34,37,38,39,40,42,45,46,47],[18,32,34,35,36,37,39,41,42,45,46,47],[12,35,37,39,40,41,42,45,46,47],[18,32,33,34,35,36,43,45,46,47],[32,34,37,38,40,43,45,46,47],[36,37,41,43,45,46,47],[10,33,35,36,40,41,43,45,46,47],[20,32,33,34,42,43,45,46,47],[17,33,36,39,40,42,43,45,46,47],[20,35,38,39,41,42,43,45,46,47],[31,40,41,42,43,45,46,47],[6,32,33,38,44,45,46,47],[26,33,35,38,39,40,44,45,46,47],[12,39,41,44,45,46,47],[8,32,35,36,37,38,39,40,41,44,45,46,47],[6,32,33,34,35,42,44,45,46,47],[28,34,36,37,40,42,44,45,46,47],[26,34,35,36,38,39,41,42,44,45,46,47],[27,40,41,42,44,45,46,47],[29,32,33,34,35,37,39,43,44,45,46,47],[28,32,35,37,38,40,43,44,45,46,47],[4,32,34,35,36,38,39,41,43,44,45,46,47],[29,40,41,43,44,45,46,47],[13,33,35,37,39,42,43,44,45,46,47],[0,40,42,43,44,45,46,47],[8,41,42,43,44,45,46,47],[30,40,41,42,43,44,45,46,47]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,1,2],"A_d":10795,"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],[31,1],[32,1],[33,1],[34,3],[35,3],[37,1],[39,2]],"CZ":[[32,33],[32,35],[32,36],[32,39],[32,40],[32,41],[32,43],[32,44],[32,46],[32,47],[33,35],[33,37],[33,38],[33,39],[33,40],[33,42],[33,43],[33,44],[33,46],[33,47],[34,36],[34,37],[34,39],[34,40],[34,43],[34,44],[34,45],[35,38],[35,39],[35,40],[35,42],[35,45],[35,47],[36,37],[36,39],[36,42],[36,45],[36,47],[37,38],[37,40],[37,41],[37,42],[37,44],[37,46],[38,39],[38,43],[38,45],[38,47],[39,40],[39,41],[39,42],[39,43],[39,46],[39,47]]},"rotation_powers":null},"metrics":{"gamma":1.6861126624481935,"gamma_t":null,"gamma_rho":1.6861126624481935,"gamma_claim":1.6861126624481935,"gamma_t_claim":null,"gamma_rho_claim":1.6861126624481935,"v_ex":40,"rate":0.1568627450980392,"t_count":null,"poly_degree":null,"effective_width":40},"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/AI results","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.T35.T36.T37.T38.T39","N":48,"d":3,"d_is_exact":true,"origin":"factory_records/headline","provenance":"factory_records/headline/n255_k40_d3_T40.json"},{"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.T35.T36.T37.T38.T39","N":48,"d":3,"d_is_exact":true,"origin":"factory_records/headline","provenance":"factory_records/headline \u00b7 catalogue.jsonl:237"}]},"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"}]}