{"id":"345.11.2.a","row":991,"stored":{"file":"master_catalog.json","row":991,"construction":null,"columns_sha256":null},"parameters":{"n":345,"k":11,"d":2,"N":15,"r":4,"level":3},"gate":{"string":"0+1+2+3+4+5+6+7+8+9+10+0,1+0,2+0,3+0,4+0,5+0,6+0,7+0,8+0,9+0,10+1,2+1,3+1,4+1,5+1,6+1,7+1,8+1,9+1,10+2,3+2,4+2,5+2,6+2,7+2,8+2,9+2,10+3,4+3,5+3,6+3,7+3,8+3,9+3,10+4,5+4,6+4,7+4,8+4,9+4,10+5,6+5,7+5,8+5,9+5,10+6,7+6,8+6,9+6,10+7,8+7,9+7,10+8,9+8,10+9,10","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5\u00b7T6\u00b7T7\u00b7T8\u00b7T9\u00b7T10\u00b7CS0,1\u00b7CS0,2\u00b7CS0,3\u00b7CS0,4\u00b7CS0,5\u00b7CS0,6\u00b7CS0,7\u00b7CS0,8\u00b7CS0,9\u00b7CS0,10\u00b7CS1,2\u00b7CS1,3\u00b7CS1,4\u00b7CS1,5\u00b7CS1,6\u00b7CS1,7\u00b7CS1,8\u00b7CS1,9\u00b7CS1,10\u00b7CS2,3\u00b7CS2,4\u00b7CS2,5\u00b7CS2,6\u00b7CS2,7\u00b7CS2,8\u00b7CS2,9\u00b7CS2,10\u00b7CS3,4\u00b7CS3,5\u00b7CS3,6\u00b7CS3,7\u00b7CS3,8\u00b7CS3,9\u00b7CS3,10\u00b7CS4,5\u00b7CS4,6\u00b7CS4,7\u00b7CS4,8\u00b7CS4,9\u00b7CS4,10\u00b7CS5,6\u00b7CS5,7\u00b7CS5,8\u00b7CS5,9\u00b7CS5,10\u00b7CS6,7\u00b7CS6,8\u00b7CS6,9\u00b7CS6,10\u00b7CS7,8\u00b7CS7,9\u00b7CS7,10\u00b7CS8,9\u00b7CS8,10\u00b7CS9,10","monomials":[[0],[1],[2],[3],[4],[5],[6],[7],[8],[9],[10],[0,1],[0,2],[0,3],[0,4],[0,5],[0,6],[0,7],[0,8],[0,9],[0,10],[1,2],[1,3],[1,4],[1,5],[1,6],[1,7],[1,8],[1,9],[1,10],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[3,4],[3,5],[3,6],[3,7],[3,8],[3,9],[3,10],[4,5],[4,6],[4,7],[4,8],[4,9],[4,10],[5,6],[5,7],[5,8],[5,9],[5,10],[6,7],[6,8],[6,9],[6,10],[7,8],[7,9],[7,10],[8,9],[8,10],[9,10]],"sk_key":null,"sk_fingerprint":"402714337faea052","sk_canonical_frame":false,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,3,4,5,6,7,8,9,11],[0,1,2,3,4,5,6,7,8,9,11,12],[0,1,2,3,4,5,6,7,8,9,11,12,13],[0,1,2,3,4,5,6,7,8,9,11,12,13,14],[0,1,2,3,4,5,6,7,8,9,11,12,14],[0,1,2,3,4,5,6,7,8,9,11,13],[0,1,2,3,4,5,6,7,8,9,11,13,14],[0,1,2,3,4,5,6,7,8,9,11,14],[0,1,2,3,4,5,6,7,8,9,12],[0,1,2,3,4,5,6,7,8,9,12,13],[0,1,2,3,4,5,6,7,8,9,12,13,14],[0,1,2,3,4,5,6,7,8,9,12,14],[0,1,2,3,4,5,6,7,8,9,13],[0,1,2,3,4,5,6,7,8,9,13,14],[0,1,2,3,4,5,6,7,8,9,14],[0,1,2,3,4,5,6,7,8,10,11],[0,1,2,3,4,5,6,7,8,10,11,12],[0,1,2,3,4,5,6,7,8,10,11,12,13],[0,1,2,3,4,5,6,7,8,10,11,12,13,14],[0,1,2,3,4,5,6,7,8,10,11,12,14],[0,1,2,3,4,5,6,7,8,10,11,13],[0,1,2,3,4,5,6,7,8,10,11,13,14],[0,1,2,3,4,5,6,7,8,10,11,14],[0,1,2,3,4,5,6,7,8,10,12],[0,1,2,3,4,5,6,7,8,10,12,13],[0,1,2,3,4,5,6,7,8,10,12,13,14],[0,1,2,3,4,5,6,7,8,10,12,14],[0,1,2,3,4,5,6,7,8,10,13],[0,1,2,3,4,5,6,7,8,10,13,14],[0,1,2,3,4,5,6,7,8,10,14],[0,1,2,3,4,5,6,7,9,10,11],[0,1,2,3,4,5,6,7,9,10,11,12],[0,1,2,3,4,5,6,7,9,10,11,12,13],[0,1,2,3,4,5,6,7,9,10,11,12,13,14],[0,1,2,3,4,5,6,7,9,10,11,12,14],[0,1,2,3,4,5,6,7,9,10,11,13],[0,1,2,3,4,5,6,7,9,10,11,13,14],[0,1,2,3,4,5,6,7,9,10,11,14],[0,1,2,3,4,5,6,7,9,10,12],[0,1,2,3,4,5,6,7,9,10,12,13],[0,1,2,3,4,5,6,7,9,10,12,13,14],[0,1,2,3,4,5,6,7,9,10,12,14],[0,1,2,3,4,5,6,7,9,10,13],[0,1,2,3,4,5,6,7,9,10,13,14],[0,1,2,3,4,5,6,7,9,10,14],[0,1,2,3,4,5,6,8,9,10,11],[0,1,2,3,4,5,6,8,9,10,11,12],[0,1,2,3,4,5,6,8,9,10,11,12,13],[0,1,2,3,4,5,6,8,9,10,11,12,13,14],[0,1,2,3,4,5,6,8,9,10,11,12,14],[0,1,2,3,4,5,6,8,9,10,11,13],[0,1,2,3,4,5,6,8,9,10,11,13,14],[0,1,2,3,4,5,6,8,9,10,11,14],[0,1,2,3,4,5,6,8,9,10,12],[0,1,2,3,4,5,6,8,9,10,12,13],[0,1,2,3,4,5,6,8,9,10,12,13,14],[0,1,2,3,4,5,6,8,9,10,12,14],[0,1,2,3,4,5,6,8,9,10,13],[0,1,2,3,4,5,6,8,9,10,13,14],[0,1,2,3,4,5,6,8,9,10,14],[0,1,2,3,4,5,7,8,9,10,11],[0,1,2,3,4,5,7,8,9,10,11,12],[0,1,2,3,4,5,7,8,9,10,11,12,13],[0,1,2,3,4,5,7,8,9,10,11,12,13,14],[0,1,2,3,4,5,7,8,9,10,11,12,14],[0,1,2,3,4,5,7,8,9,10,11,13],[0,1,2,3,4,5,7,8,9,10,11,13,14],[0,1,2,3,4,5,7,8,9,10,11,14],[0,1,2,3,4,5,7,8,9,10,12],[0,1,2,3,4,5,7,8,9,10,12,13],[0,1,2,3,4,5,7,8,9,10,12,13,14],[0,1,2,3,4,5,7,8,9,10,12,14],[0,1,2,3,4,5,7,8,9,10,13],[0,1,2,3,4,5,7,8,9,10,13,14],[0,1,2,3,4,5,7,8,9,10,14],[0,1,2,3,4,6,7,8,9,10,11],[0,1,2,3,4,6,7,8,9,10,11,12],[0,1,2,3,4,6,7,8,9,10,11,12,13],[0,1,2,3,4,6,7,8,9,10,11,12,13,14],[0,1,2,3,4,6,7,8,9,10,11,12,14],[0,1,2,3,4,6,7,8,9,10,11,13],[0,1,2,3,4,6,7,8,9,10,11,13,14],[0,1,2,3,4,6,7,8,9,10,11,14],[0,1,2,3,4,6,7,8,9,10,12],[0,1,2,3,4,6,7,8,9,10,12,13],[0,1,2,3,4,6,7,8,9,10,12,13,14],[0,1,2,3,4,6,7,8,9,10,12,14],[0,1,2,3,4,6,7,8,9,10,13],[0,1,2,3,4,6,7,8,9,10,13,14],[0,1,2,3,4,6,7,8,9,10,14],[0,1,2,3,5,6,7,8,9,10,11],[0,1,2,3,5,6,7,8,9,10,11,12],[0,1,2,3,5,6,7,8,9,10,11,12,13],[0,1,2,3,5,6,7,8,9,10,11,12,13,14],[0,1,2,3,5,6,7,8,9,10,11,12,14],[0,1,2,3,5,6,7,8,9,10,11,13],[0,1,2,3,5,6,7,8,9,10,11,13,14],[0,1,2,3,5,6,7,8,9,10,11,14],[0,1,2,3,5,6,7,8,9,10,12],[0,1,2,3,5,6,7,8,9,10,12,13],[0,1,2,3,5,6,7,8,9,10,12,13,14],[0,1,2,3,5,6,7,8,9,10,12,14],[0,1,2,3,5,6,7,8,9,10,13],[0,1,2,3,5,6,7,8,9,10,13,14],[0,1,2,3,5,6,7,8,9,10,14],[0,1,2,4,5,6,7,8,9,10,11],[0,1,2,4,5,6,7,8,9,10,11,12],[0,1,2,4,5,6,7,8,9,10,11,12,13],[0,1,2,4,5,6,7,8,9,10,11,12,13,14],[0,1,2,4,5,6,7,8,9,10,11,12,14],[0,1,2,4,5,6,7,8,9,10,11,13],[0,1,2,4,5,6,7,8,9,10,11,13,14],[0,1,2,4,5,6,7,8,9,10,11,14],[0,1,2,4,5,6,7,8,9,10,12],[0,1,2,4,5,6,7,8,9,10,12,13],[0,1,2,4,5,6,7,8,9,10,12,13,14],[0,1,2,4,5,6,7,8,9,10,12,14],[0,1,2,4,5,6,7,8,9,10,13],[0,1,2,4,5,6,7,8,9,10,13,14],[0,1,2,4,5,6,7,8,9,10,14],[0,1,3,4,5,6,7,8,9,10,11],[0,1,3,4,5,6,7,8,9,10,11,12],[0,1,3,4,5,6,7,8,9,10,11,12,13],[0,1,3,4,5,6,7,8,9,10,11,12,13,14],[0,1,3,4,5,6,7,8,9,10,11,12,14],[0,1,3,4,5,6,7,8,9,10,11,13],[0,1,3,4,5,6,7,8,9,10,11,13,14],[0,1,3,4,5,6,7,8,9,10,11,14],[0,1,3,4,5,6,7,8,9,10,12],[0,1,3,4,5,6,7,8,9,10,12,13],[0,1,3,4,5,6,7,8,9,10,12,13,14],[0,1,3,4,5,6,7,8,9,10,12,14],[0,1,3,4,5,6,7,8,9,10,13],[0,1,3,4,5,6,7,8,9,10,13,14],[0,1,3,4,5,6,7,8,9,10,14],[0,2,3,4,5,6,7,8,9,10,11],[0,2,3,4,5,6,7,8,9,10,11,12],[0,2,3,4,5,6,7,8,9,10,11,12,13],[0,2,3,4,5,6,7,8,9,10,11,12,13,14],[0,2,3,4,5,6,7,8,9,10,11,12,14],[0,2,3,4,5,6,7,8,9,10,11,13],[0,2,3,4,5,6,7,8,9,10,11,13,14],[0,2,3,4,5,6,7,8,9,10,11,14],[0,2,3,4,5,6,7,8,9,10,12],[0,2,3,4,5,6,7,8,9,10,12,13],[0,2,3,4,5,6,7,8,9,10,12,13,14],[0,2,3,4,5,6,7,8,9,10,12,14],[0,2,3,4,5,6,7,8,9,10,13],[0,2,3,4,5,6,7,8,9,10,13,14],[0,2,3,4,5,6,7,8,9,10,14],[0,11],[0,11,12],[0,11,12,13],[0,11,12,13,14],[0,11,12,14],[0,11,13],[0,11,13,14],[0,11,14],[0,12],[0,12,13],[0,12,13,14],[0,12,14],[0,13],[0,13,14],[0,14],[1,2,3,4,5,6,7,8,9,10,11],[1,2,3,4,5,6,7,8,9,10,11,12],[1,2,3,4,5,6,7,8,9,10,11,12,13],[1,2,3,4,5,6,7,8,9,10,11,12,13,14],[1,2,3,4,5,6,7,8,9,10,11,12,14],[1,2,3,4,5,6,7,8,9,10,11,13],[1,2,3,4,5,6,7,8,9,10,11,13,14],[1,2,3,4,5,6,7,8,9,10,11,14],[1,2,3,4,5,6,7,8,9,10,12],[1,2,3,4,5,6,7,8,9,10,12,13],[1,2,3,4,5,6,7,8,9,10,12,13,14],[1,2,3,4,5,6,7,8,9,10,12,14],[1,2,3,4,5,6,7,8,9,10,13],[1,2,3,4,5,6,7,8,9,10,13,14],[1,2,3,4,5,6,7,8,9,10,14],[1,11],[1,11,12],[1,11,12,13],[1,11,12,13,14],[1,11,12,14],[1,11,13],[1,11,13,14],[1,11,14],[1,12],[1,12,13],[1,12,13,14],[1,12,14],[1,13],[1,13,14],[1,14],[2,11],[2,11,12],[2,11,12,13],[2,11,12,13,14],[2,11,12,14],[2,11,13],[2,11,13,14],[2,11,14],[2,12],[2,12,13],[2,12,13,14],[2,12,14],[2,13],[2,13,14],[2,14],[3,11],[3,11,12],[3,11,12,13],[3,11,12,13,14],[3,11,12,14],[3,11,13],[3,11,13,14],[3,11,14],[3,12],[3,12,13],[3,12,13,14],[3,12,14],[3,13],[3,13,14],[3,14],[4,11],[4,11,12],[4,11,12,13],[4,11,12,13,14],[4,11,12,14],[4,11,13],[4,11,13,14],[4,11,14],[4,12],[4,12,13],[4,12,13,14],[4,12,14],[4,13],[4,13,14],[4,14],[5,11],[5,11,12],[5,11,12,13],[5,11,12,13,14],[5,11,12,14],[5,11,13],[5,11,13,14],[5,11,14],[5,12],[5,12,13],[5,12,13,14],[5,12,14],[5,13],[5,13,14],[5,14],[6,11],[6,11,12],[6,11,12,13],[6,11,12,13,14],[6,11,12,14],[6,11,13],[6,11,13,14],[6,11,14],[6,12],[6,12,13],[6,12,13,14],[6,12,14],[6,13],[6,13,14],[6,14],[7,11],[7,11,12],[7,11,12,13],[7,11,12,13,14],[7,11,12,14],[7,11,13],[7,11,13,14],[7,11,14],[7,12],[7,12,13],[7,12,13,14],[7,12,14],[7,13],[7,13,14],[7,14],[8,11],[8,11,12],[8,11,12,13],[8,11,12,13,14],[8,11,12,14],[8,11,13],[8,11,13,14],[8,11,14],[8,12],[8,12,13],[8,12,13,14],[8,12,14],[8,13],[8,13,14],[8,14],[9,11],[9,11,12],[9,11,12,13],[9,11,12,13,14],[9,11,12,14],[9,11,13],[9,11,13,14],[9,11,14],[9,12],[9,12,13],[9,12,13,14],[9,12,14],[9,13],[9,13,14],[9,14],[10,11],[10,11,12],[10,11,12,13],[10,11,12,13,14],[10,11,12,14],[10,11,13],[10,11,13,14],[10,11,14],[10,12],[10,12,13],[10,12,13,14],[10,12,14],[10,13],[10,13,14],[10,14],[11],[11,12],[11,12,13],[11,12,13,14],[11,12,14],[11,13],[11,13,14],[11,14],[12],[12,13],[12,13,14],[12,14],[13],[13,14],[14]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,15],"A_d":3795,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,2],[2,2],[3,2],[4,2],[5,2],[6,2],[7,2],[8,2],[9,2],[10,2]],"CZ":[]},"rotation_powers":[[0,5],[1,5],[2,5],[3,5],[4,5],[5,5],[6,5],[7,5],[8,5],[9,5],[10,5],[11,5],[12,5],[13,5],[14,5],[15,5],[16,5],[17,5],[18,5],[19,5],[20,5],[21,5],[22,5],[23,5],[24,5],[25,5],[26,5],[27,5],[28,5],[29,5],[30,5],[31,5],[32,5],[33,5],[34,5],[35,5],[36,5],[37,5],[38,5],[39,5],[40,5],[41,5],[42,5],[43,5],[44,5],[45,5],[46,5],[47,5],[48,5],[49,5],[50,5],[51,5],[52,5],[53,5],[54,5],[55,5],[56,5],[57,5],[58,5],[59,5],[60,5],[61,5],[62,5],[63,5],[64,5],[65,5],[66,5],[67,5],[68,5],[69,5],[70,5],[71,5],[72,5],[73,5],[74,5],[75,5],[76,5],[77,5],[78,5],[79,5],[80,5],[81,5],[82,5],[83,5],[84,5],[85,5],[86,5],[87,5],[88,5],[89,5],[90,5],[91,5],[92,5],[93,5],[94,5],[95,5],[96,5],[97,5],[98,5],[99,5],[100,5],[101,5],[102,5],[103,5],[104,5],[105,5],[106,5],[107,5],[108,5],[109,5],[110,5],[111,5],[112,5],[113,5],[114,5],[115,5],[116,5],[117,5],[118,5],[119,5],[120,5],[121,5],[122,5],[123,5],[124,5],[125,5],[126,5],[127,5],[128,5],[129,5],[130,5],[131,5],[132,5],[133,5],[134,5],[135,5],[136,5],[137,5],[138,5],[139,5],[140,5],[141,5],[142,5],[143,5],[144,5],[145,5],[146,5],[147,5],[148,5],[149,5],[150,5],[151,5],[152,5],[153,5],[154,5],[155,5],[156,5],[157,5],[158,5],[159,5],[160,5],[161,5],[162,5],[163,5],[164,5],[165,5],[166,5],[167,5],[168,5],[169,5],[170,5],[171,5],[172,5],[173,5],[174,5],[175,5],[176,5],[177,5],[178,5],[179,5],[180,5],[181,5],[182,5],[183,5],[184,5],[185,5],[186,5],[187,5],[188,5],[189,5],[190,5],[191,5],[192,5],[193,5],[194,5],[195,5],[196,5],[197,5],[198,5],[199,5],[200,5],[201,5],[202,5],[203,5],[204,5],[205,5],[206,5],[207,5],[208,5],[209,5],[210,5],[211,5],[212,5],[213,5],[214,5],[215,5],[216,5],[217,5],[218,5],[219,5],[220,5],[221,5],[222,5],[223,5],[224,5],[225,5],[226,5],[227,5],[228,5],[229,5],[230,5],[231,5],[232,5],[233,5],[234,5],[235,5],[236,5],[237,5],[238,5],[239,5],[240,5],[241,5],[242,5],[243,5],[244,5],[245,5],[246,5],[247,5],[248,5],[249,5],[250,5],[251,5],[252,5],[253,5],[254,5],[255,5],[256,5],[257,5],[258,5],[259,5],[260,5],[261,5],[262,5],[263,5],[264,5],[265,5],[266,5],[267,5],[268,5],[269,5],[270,5],[271,5],[272,5],[273,5],[274,5],[275,5],[276,5],[277,5],[278,5],[279,5],[280,5],[281,5],[282,5],[283,5],[284,5],[285,5],[286,5],[287,5],[288,5],[289,5],[290,5],[291,5],[292,5],[293,5],[294,5],[295,5],[296,5],[297,5],[298,5],[299,5],[300,5],[301,5],[302,5],[303,5],[304,5],[305,5],[306,5],[307,5],[308,5],[309,5],[310,5],[311,5],[312,5],[313,5],[314,5],[315,5],[316,5],[317,5],[318,5],[319,5],[320,5],[321,5],[322,5],[323,5],[324,5],[325,5],[326,5],[327,5],[328,5],[329,5],[330,5],[331,5],[332,5],[333,5],[334,5],[335,5],[336,5],[337,5],[338,5],[339,5],[340,5],[341,5],[342,5],[343,5],[344,5]]},"metrics":{"gamma":4.9710209330282344,"gamma_t":null,"gamma_rho":null,"gamma_claim":4.9710209330282344,"gamma_t_claim":null,"gamma_rho_claim":null,"v_ex":null,"rate":0.03188405797101449,"t_count":null,"poly_degree":null,"effective_width":11},"provenance":{"regimes":["borrowed-identity search: two-group"],"discovery":"pre-existing","strongest_claim":"found by the two-group borrowed-identity search of Singh, Gidney and Jones (arXiv:2606.28518; borrowed_identities/): an identity circuit symmetric within its output and check blocks, with its output-only gates removed; a verified witness, not a maximum","sources":[{"regime":"borrowed-identity search: two-group","file":"borrowed_identities/circuits/large_unified_l3.json","label":"lu-1180","N":15,"d":2,"d_is_exact":true,"origin":"https://github.com/shraggy/Magic_state_factory_search at ae9fbf8, outputs/large_unified_factories_l3.csv line 1180","provenance":"larger unified search l=3, two-group s_total=1,s_O=9"}]},"references":[{"key":"singh2026borrowed","short":"Singh et al. (2026)","full":"S. Singh, C. Gidney, and C. Jones, \"Borrowed Identities: Malleable Distillation Factories and a Unified Numerical Search,\" arXiv:2606.28518 (2026).","url":"https://arxiv.org/abs/2606.28518","date":"2026-06-26"}]}