{"id":"658.6.2.a","row":1168,"stored":{"file":"master_catalog.json","row":1168,"construction":null,"columns_sha256":null},"parameters":{"n":658,"k":6,"d":2,"N":13,"r":7,"level":3},"gate":{"string":"0+1+2+3+4+5","human":"T0\u00b7T1\u00b7T2\u00b7T3\u00b7T4\u00b7T5","monomials":[[0],[1],[2],[3],[4],[5]],"sk_key":[[0],[1],[2],[3],[4],[5]],"sk_fingerprint":"4d2289762630b30d","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,3,6],[0,1,2,3,6,7,8,9,10],[0,1,2,3,6,7,8,9,11],[0,1,2,3,6,7,8,9,12],[0,1,2,3,6,7,8,10,11],[0,1,2,3,6,7,8,10,12],[0,1,2,3,6,7,8,11,12],[0,1,2,3,6,7,9,10,11],[0,1,2,3,6,7,9,10,12],[0,1,2,3,6,7,9,11,12],[0,1,2,3,6,7,10,11,12],[0,1,2,3,6,8,9,10,11],[0,1,2,3,6,8,9,10,12],[0,1,2,3,6,8,9,11,12],[0,1,2,3,6,8,10,11,12],[0,1,2,3,6,9,10,11,12],[0,1,2,3,7],[0,1,2,3,7,8,9,10,11],[0,1,2,3,7,8,9,10,12],[0,1,2,3,7,8,9,11,12],[0,1,2,3,7,8,10,11,12],[0,1,2,3,7,9,10,11,12],[0,1,2,3,8],[0,1,2,3,8,9,10,11,12],[0,1,2,3,9],[0,1,2,3,10],[0,1,2,3,11],[0,1,2,3,12],[0,1,2,4,6],[0,1,2,4,6,7,8,9,10],[0,1,2,4,6,7,8,9,11],[0,1,2,4,6,7,8,9,12],[0,1,2,4,6,7,8,10,11],[0,1,2,4,6,7,8,10,12],[0,1,2,4,6,7,8,11,12],[0,1,2,4,6,7,9,10,11],[0,1,2,4,6,7,9,10,12],[0,1,2,4,6,7,9,11,12],[0,1,2,4,6,7,10,11,12],[0,1,2,4,6,8,9,10,11],[0,1,2,4,6,8,9,10,12],[0,1,2,4,6,8,9,11,12],[0,1,2,4,6,8,10,11,12],[0,1,2,4,6,9,10,11,12],[0,1,2,4,7],[0,1,2,4,7,8,9,10,11],[0,1,2,4,7,8,9,10,12],[0,1,2,4,7,8,9,11,12],[0,1,2,4,7,8,10,11,12],[0,1,2,4,7,9,10,11,12],[0,1,2,4,8],[0,1,2,4,8,9,10,11,12],[0,1,2,4,9],[0,1,2,4,10],[0,1,2,4,11],[0,1,2,4,12],[0,1,2,5,6],[0,1,2,5,6,7,8,9,10],[0,1,2,5,6,7,8,9,11],[0,1,2,5,6,7,8,9,12],[0,1,2,5,6,7,8,10,11],[0,1,2,5,6,7,8,10,12],[0,1,2,5,6,7,8,11,12],[0,1,2,5,6,7,9,10,11],[0,1,2,5,6,7,9,10,12],[0,1,2,5,6,7,9,11,12],[0,1,2,5,6,7,10,11,12],[0,1,2,5,6,8,9,10,11],[0,1,2,5,6,8,9,10,12],[0,1,2,5,6,8,9,11,12],[0,1,2,5,6,8,10,11,12],[0,1,2,5,6,9,10,11,12],[0,1,2,5,7],[0,1,2,5,7,8,9,10,11],[0,1,2,5,7,8,9,10,12],[0,1,2,5,7,8,9,11,12],[0,1,2,5,7,8,10,11,12],[0,1,2,5,7,9,10,11,12],[0,1,2,5,8],[0,1,2,5,8,9,10,11,12],[0,1,2,5,9],[0,1,2,5,10],[0,1,2,5,11],[0,1,2,5,12],[0,1,3,4,6],[0,1,3,4,6,7,8,9,10],[0,1,3,4,6,7,8,9,11],[0,1,3,4,6,7,8,9,12],[0,1,3,4,6,7,8,10,11],[0,1,3,4,6,7,8,10,12],[0,1,3,4,6,7,8,11,12],[0,1,3,4,6,7,9,10,11],[0,1,3,4,6,7,9,10,12],[0,1,3,4,6,7,9,11,12],[0,1,3,4,6,7,10,11,12],[0,1,3,4,6,8,9,10,11],[0,1,3,4,6,8,9,10,12],[0,1,3,4,6,8,9,11,12],[0,1,3,4,6,8,10,11,12],[0,1,3,4,6,9,10,11,12],[0,1,3,4,7],[0,1,3,4,7,8,9,10,11],[0,1,3,4,7,8,9,10,12],[0,1,3,4,7,8,9,11,12],[0,1,3,4,7,8,10,11,12],[0,1,3,4,7,9,10,11,12],[0,1,3,4,8],[0,1,3,4,8,9,10,11,12],[0,1,3,4,9],[0,1,3,4,10],[0,1,3,4,11],[0,1,3,4,12],[0,1,3,5,6],[0,1,3,5,6,7,8,9,10],[0,1,3,5,6,7,8,9,11],[0,1,3,5,6,7,8,9,12],[0,1,3,5,6,7,8,10,11],[0,1,3,5,6,7,8,10,12],[0,1,3,5,6,7,8,11,12],[0,1,3,5,6,7,9,10,11],[0,1,3,5,6,7,9,10,12],[0,1,3,5,6,7,9,11,12],[0,1,3,5,6,7,10,11,12],[0,1,3,5,6,8,9,10,11],[0,1,3,5,6,8,9,10,12],[0,1,3,5,6,8,9,11,12],[0,1,3,5,6,8,10,11,12],[0,1,3,5,6,9,10,11,12],[0,1,3,5,7],[0,1,3,5,7,8,9,10,11],[0,1,3,5,7,8,9,10,12],[0,1,3,5,7,8,9,11,12],[0,1,3,5,7,8,10,11,12],[0,1,3,5,7,9,10,11,12],[0,1,3,5,8],[0,1,3,5,8,9,10,11,12],[0,1,3,5,9],[0,1,3,5,10],[0,1,3,5,11],[0,1,3,5,12],[0,1,4,5,6],[0,1,4,5,6,7,8,9,10],[0,1,4,5,6,7,8,9,11],[0,1,4,5,6,7,8,9,12],[0,1,4,5,6,7,8,10,11],[0,1,4,5,6,7,8,10,12],[0,1,4,5,6,7,8,11,12],[0,1,4,5,6,7,9,10,11],[0,1,4,5,6,7,9,10,12],[0,1,4,5,6,7,9,11,12],[0,1,4,5,6,7,10,11,12],[0,1,4,5,6,8,9,10,11],[0,1,4,5,6,8,9,10,12],[0,1,4,5,6,8,9,11,12],[0,1,4,5,6,8,10,11,12],[0,1,4,5,6,9,10,11,12],[0,1,4,5,7],[0,1,4,5,7,8,9,10,11],[0,1,4,5,7,8,9,10,12],[0,1,4,5,7,8,9,11,12],[0,1,4,5,7,8,10,11,12],[0,1,4,5,7,9,10,11,12],[0,1,4,5,8],[0,1,4,5,8,9,10,11,12],[0,1,4,5,9],[0,1,4,5,10],[0,1,4,5,11],[0,1,4,5,12],[0,2,3,4,6],[0,2,3,4,6,7,8,9,10],[0,2,3,4,6,7,8,9,11],[0,2,3,4,6,7,8,9,12],[0,2,3,4,6,7,8,10,11],[0,2,3,4,6,7,8,10,12],[0,2,3,4,6,7,8,11,12],[0,2,3,4,6,7,9,10,11],[0,2,3,4,6,7,9,10,12],[0,2,3,4,6,7,9,11,12],[0,2,3,4,6,7,10,11,12],[0,2,3,4,6,8,9,10,11],[0,2,3,4,6,8,9,10,12],[0,2,3,4,6,8,9,11,12],[0,2,3,4,6,8,10,11,12],[0,2,3,4,6,9,10,11,12],[0,2,3,4,7],[0,2,3,4,7,8,9,10,11],[0,2,3,4,7,8,9,10,12],[0,2,3,4,7,8,9,11,12],[0,2,3,4,7,8,10,11,12],[0,2,3,4,7,9,10,11,12],[0,2,3,4,8],[0,2,3,4,8,9,10,11,12],[0,2,3,4,9],[0,2,3,4,10],[0,2,3,4,11],[0,2,3,4,12],[0,2,3,5,6],[0,2,3,5,6,7,8,9,10],[0,2,3,5,6,7,8,9,11],[0,2,3,5,6,7,8,9,12],[0,2,3,5,6,7,8,10,11],[0,2,3,5,6,7,8,10,12],[0,2,3,5,6,7,8,11,12],[0,2,3,5,6,7,9,10,11],[0,2,3,5,6,7,9,10,12],[0,2,3,5,6,7,9,11,12],[0,2,3,5,6,7,10,11,12],[0,2,3,5,6,8,9,10,11],[0,2,3,5,6,8,9,10,12],[0,2,3,5,6,8,9,11,12],[0,2,3,5,6,8,10,11,12],[0,2,3,5,6,9,10,11,12],[0,2,3,5,7],[0,2,3,5,7,8,9,10,11],[0,2,3,5,7,8,9,10,12],[0,2,3,5,7,8,9,11,12],[0,2,3,5,7,8,10,11,12],[0,2,3,5,7,9,10,11,12],[0,2,3,5,8],[0,2,3,5,8,9,10,11,12],[0,2,3,5,9],[0,2,3,5,10],[0,2,3,5,11],[0,2,3,5,12],[0,2,4,5,6],[0,2,4,5,6,7,8,9,10],[0,2,4,5,6,7,8,9,11],[0,2,4,5,6,7,8,9,12],[0,2,4,5,6,7,8,10,11],[0,2,4,5,6,7,8,10,12],[0,2,4,5,6,7,8,11,12],[0,2,4,5,6,7,9,10,11],[0,2,4,5,6,7,9,10,12],[0,2,4,5,6,7,9,11,12],[0,2,4,5,6,7,10,11,12],[0,2,4,5,6,8,9,10,11],[0,2,4,5,6,8,9,10,12],[0,2,4,5,6,8,9,11,12],[0,2,4,5,6,8,10,11,12],[0,2,4,5,6,9,10,11,12],[0,2,4,5,7],[0,2,4,5,7,8,9,10,11],[0,2,4,5,7,8,9,10,12],[0,2,4,5,7,8,9,11,12],[0,2,4,5,7,8,10,11,12],[0,2,4,5,7,9,10,11,12],[0,2,4,5,8],[0,2,4,5,8,9,10,11,12],[0,2,4,5,9],[0,2,4,5,10],[0,2,4,5,11],[0,2,4,5,12],[0,3,4,5,6],[0,3,4,5,6,7,8,9,10],[0,3,4,5,6,7,8,9,11],[0,3,4,5,6,7,8,9,12],[0,3,4,5,6,7,8,10,11],[0,3,4,5,6,7,8,10,12],[0,3,4,5,6,7,8,11,12],[0,3,4,5,6,7,9,10,11],[0,3,4,5,6,7,9,10,12],[0,3,4,5,6,7,9,11,12],[0,3,4,5,6,7,10,11,12],[0,3,4,5,6,8,9,10,11],[0,3,4,5,6,8,9,10,12],[0,3,4,5,6,8,9,11,12],[0,3,4,5,6,8,10,11,12],[0,3,4,5,6,9,10,11,12],[0,3,4,5,7],[0,3,4,5,7,8,9,10,11],[0,3,4,5,7,8,9,10,12],[0,3,4,5,7,8,9,11,12],[0,3,4,5,7,8,10,11,12],[0,3,4,5,7,9,10,11,12],[0,3,4,5,8],[0,3,4,5,8,9,10,11,12],[0,3,4,5,9],[0,3,4,5,10],[0,3,4,5,11],[0,3,4,5,12],[0,6,7,8,9],[0,6,7,8,10],[0,6,7,8,11],[0,6,7,8,12],[0,6,7,9,10],[0,6,7,9,11],[0,6,7,9,12],[0,6,7,10,11],[0,6,7,10,12],[0,6,7,11,12],[0,6,8,9,10],[0,6,8,9,11],[0,6,8,9,12],[0,6,8,10,11],[0,6,8,10,12],[0,6,8,11,12],[0,6,9,10,11],[0,6,9,10,12],[0,6,9,11,12],[0,6,10,11,12],[0,7,8,9,10],[0,7,8,9,11],[0,7,8,9,12],[0,7,8,10,11],[0,7,8,10,12],[0,7,8,11,12],[0,7,9,10,11],[0,7,9,10,12],[0,7,9,11,12],[0,7,10,11,12],[0,8,9,10,11],[0,8,9,10,12],[0,8,9,11,12],[0,8,10,11,12],[0,9,10,11,12],[1,2,3,4,6],[1,2,3,4,6,7,8,9,10],[1,2,3,4,6,7,8,9,11],[1,2,3,4,6,7,8,9,12],[1,2,3,4,6,7,8,10,11],[1,2,3,4,6,7,8,10,12],[1,2,3,4,6,7,8,11,12],[1,2,3,4,6,7,9,10,11],[1,2,3,4,6,7,9,10,12],[1,2,3,4,6,7,9,11,12],[1,2,3,4,6,7,10,11,12],[1,2,3,4,6,8,9,10,11],[1,2,3,4,6,8,9,10,12],[1,2,3,4,6,8,9,11,12],[1,2,3,4,6,8,10,11,12],[1,2,3,4,6,9,10,11,12],[1,2,3,4,7],[1,2,3,4,7,8,9,10,11],[1,2,3,4,7,8,9,10,12],[1,2,3,4,7,8,9,11,12],[1,2,3,4,7,8,10,11,12],[1,2,3,4,7,9,10,11,12],[1,2,3,4,8],[1,2,3,4,8,9,10,11,12],[1,2,3,4,9],[1,2,3,4,10],[1,2,3,4,11],[1,2,3,4,12],[1,2,3,5,6],[1,2,3,5,6,7,8,9,10],[1,2,3,5,6,7,8,9,11],[1,2,3,5,6,7,8,9,12],[1,2,3,5,6,7,8,10,11],[1,2,3,5,6,7,8,10,12],[1,2,3,5,6,7,8,11,12],[1,2,3,5,6,7,9,10,11],[1,2,3,5,6,7,9,10,12],[1,2,3,5,6,7,9,11,12],[1,2,3,5,6,7,10,11,12],[1,2,3,5,6,8,9,10,11],[1,2,3,5,6,8,9,10,12],[1,2,3,5,6,8,9,11,12],[1,2,3,5,6,8,10,11,12],[1,2,3,5,6,9,10,11,12],[1,2,3,5,7],[1,2,3,5,7,8,9,10,11],[1,2,3,5,7,8,9,10,12],[1,2,3,5,7,8,9,11,12],[1,2,3,5,7,8,10,11,12],[1,2,3,5,7,9,10,11,12],[1,2,3,5,8],[1,2,3,5,8,9,10,11,12],[1,2,3,5,9],[1,2,3,5,10],[1,2,3,5,11],[1,2,3,5,12],[1,2,4,5,6],[1,2,4,5,6,7,8,9,10],[1,2,4,5,6,7,8,9,11],[1,2,4,5,6,7,8,9,12],[1,2,4,5,6,7,8,10,11],[1,2,4,5,6,7,8,10,12],[1,2,4,5,6,7,8,11,12],[1,2,4,5,6,7,9,10,11],[1,2,4,5,6,7,9,10,12],[1,2,4,5,6,7,9,11,12],[1,2,4,5,6,7,10,11,12],[1,2,4,5,6,8,9,10,11],[1,2,4,5,6,8,9,10,12],[1,2,4,5,6,8,9,11,12],[1,2,4,5,6,8,10,11,12],[1,2,4,5,6,9,10,11,12],[1,2,4,5,7],[1,2,4,5,7,8,9,10,11],[1,2,4,5,7,8,9,10,12],[1,2,4,5,7,8,9,11,12],[1,2,4,5,7,8,10,11,12],[1,2,4,5,7,9,10,11,12],[1,2,4,5,8],[1,2,4,5,8,9,10,11,12],[1,2,4,5,9],[1,2,4,5,10],[1,2,4,5,11],[1,2,4,5,12],[1,3,4,5,6],[1,3,4,5,6,7,8,9,10],[1,3,4,5,6,7,8,9,11],[1,3,4,5,6,7,8,9,12],[1,3,4,5,6,7,8,10,11],[1,3,4,5,6,7,8,10,12],[1,3,4,5,6,7,8,11,12],[1,3,4,5,6,7,9,10,11],[1,3,4,5,6,7,9,10,12],[1,3,4,5,6,7,9,11,12],[1,3,4,5,6,7,10,11,12],[1,3,4,5,6,8,9,10,11],[1,3,4,5,6,8,9,10,12],[1,3,4,5,6,8,9,11,12],[1,3,4,5,6,8,10,11,12],[1,3,4,5,6,9,10,11,12],[1,3,4,5,7],[1,3,4,5,7,8,9,10,11],[1,3,4,5,7,8,9,10,12],[1,3,4,5,7,8,9,11,12],[1,3,4,5,7,8,10,11,12],[1,3,4,5,7,9,10,11,12],[1,3,4,5,8],[1,3,4,5,8,9,10,11,12],[1,3,4,5,9],[1,3,4,5,10],[1,3,4,5,11],[1,3,4,5,12],[1,6,7,8,9],[1,6,7,8,10],[1,6,7,8,11],[1,6,7,8,12],[1,6,7,9,10],[1,6,7,9,11],[1,6,7,9,12],[1,6,7,10,11],[1,6,7,10,12],[1,6,7,11,12],[1,6,8,9,10],[1,6,8,9,11],[1,6,8,9,12],[1,6,8,10,11],[1,6,8,10,12],[1,6,8,11,12],[1,6,9,10,11],[1,6,9,10,12],[1,6,9,11,12],[1,6,10,11,12],[1,7,8,9,10],[1,7,8,9,11],[1,7,8,9,12],[1,7,8,10,11],[1,7,8,10,12],[1,7,8,11,12],[1,7,9,10,11],[1,7,9,10,12],[1,7,9,11,12],[1,7,10,11,12],[1,8,9,10,11],[1,8,9,10,12],[1,8,9,11,12],[1,8,10,11,12],[1,9,10,11,12],[2,3,4,5,6],[2,3,4,5,6,7,8,9,10],[2,3,4,5,6,7,8,9,11],[2,3,4,5,6,7,8,9,12],[2,3,4,5,6,7,8,10,11],[2,3,4,5,6,7,8,10,12],[2,3,4,5,6,7,8,11,12],[2,3,4,5,6,7,9,10,11],[2,3,4,5,6,7,9,10,12],[2,3,4,5,6,7,9,11,12],[2,3,4,5,6,7,10,11,12],[2,3,4,5,6,8,9,10,11],[2,3,4,5,6,8,9,10,12],[2,3,4,5,6,8,9,11,12],[2,3,4,5,6,8,10,11,12],[2,3,4,5,6,9,10,11,12],[2,3,4,5,7],[2,3,4,5,7,8,9,10,11],[2,3,4,5,7,8,9,10,12],[2,3,4,5,7,8,9,11,12],[2,3,4,5,7,8,10,11,12],[2,3,4,5,7,9,10,11,12],[2,3,4,5,8],[2,3,4,5,8,9,10,11,12],[2,3,4,5,9],[2,3,4,5,10],[2,3,4,5,11],[2,3,4,5,12],[2,6,7,8,9],[2,6,7,8,10],[2,6,7,8,11],[2,6,7,8,12],[2,6,7,9,10],[2,6,7,9,11],[2,6,7,9,12],[2,6,7,10,11],[2,6,7,10,12],[2,6,7,11,12],[2,6,8,9,10],[2,6,8,9,11],[2,6,8,9,12],[2,6,8,10,11],[2,6,8,10,12],[2,6,8,11,12],[2,6,9,10,11],[2,6,9,10,12],[2,6,9,11,12],[2,6,10,11,12],[2,7,8,9,10],[2,7,8,9,11],[2,7,8,9,12],[2,7,8,10,11],[2,7,8,10,12],[2,7,8,11,12],[2,7,9,10,11],[2,7,9,10,12],[2,7,9,11,12],[2,7,10,11,12],[2,8,9,10,11],[2,8,9,10,12],[2,8,9,11,12],[2,8,10,11,12],[2,9,10,11,12],[3,6,7,8,9],[3,6,7,8,10],[3,6,7,8,11],[3,6,7,8,12],[3,6,7,9,10],[3,6,7,9,11],[3,6,7,9,12],[3,6,7,10,11],[3,6,7,10,12],[3,6,7,11,12],[3,6,8,9,10],[3,6,8,9,11],[3,6,8,9,12],[3,6,8,10,11],[3,6,8,10,12],[3,6,8,11,12],[3,6,9,10,11],[3,6,9,10,12],[3,6,9,11,12],[3,6,10,11,12],[3,7,8,9,10],[3,7,8,9,11],[3,7,8,9,12],[3,7,8,10,11],[3,7,8,10,12],[3,7,8,11,12],[3,7,9,10,11],[3,7,9,10,12],[3,7,9,11,12],[3,7,10,11,12],[3,8,9,10,11],[3,8,9,10,12],[3,8,9,11,12],[3,8,10,11,12],[3,9,10,11,12],[4,6,7,8,9],[4,6,7,8,10],[4,6,7,8,11],[4,6,7,8,12],[4,6,7,9,10],[4,6,7,9,11],[4,6,7,9,12],[4,6,7,10,11],[4,6,7,10,12],[4,6,7,11,12],[4,6,8,9,10],[4,6,8,9,11],[4,6,8,9,12],[4,6,8,10,11],[4,6,8,10,12],[4,6,8,11,12],[4,6,9,10,11],[4,6,9,10,12],[4,6,9,11,12],[4,6,10,11,12],[4,7,8,9,10],[4,7,8,9,11],[4,7,8,9,12],[4,7,8,10,11],[4,7,8,10,12],[4,7,8,11,12],[4,7,9,10,11],[4,7,9,10,12],[4,7,9,11,12],[4,7,10,11,12],[4,8,9,10,11],[4,8,9,10,12],[4,8,9,11,12],[4,8,10,11,12],[4,9,10,11,12],[5,6,7,8,9],[5,6,7,8,10],[5,6,7,8,11],[5,6,7,8,12],[5,6,7,9,10],[5,6,7,9,11],[5,6,7,9,12],[5,6,7,10,11],[5,6,7,10,12],[5,6,7,11,12],[5,6,8,9,10],[5,6,8,9,11],[5,6,8,9,12],[5,6,8,10,11],[5,6,8,10,12],[5,6,8,11,12],[5,6,9,10,11],[5,6,9,10,12],[5,6,9,11,12],[5,6,10,11,12],[5,7,8,9,10],[5,7,8,9,11],[5,7,8,9,12],[5,7,8,10,11],[5,7,8,10,12],[5,7,8,11,12],[5,7,9,10,11],[5,7,9,10,12],[5,7,9,11,12],[5,7,10,11,12],[5,8,9,10,11],[5,8,9,10,12],[5,8,9,11,12],[5,8,10,11,12],[5,9,10,11,12],[6],[6,7,8,9,10],[6,7,8,9,11],[6,7,8,9,12],[6,7,8,10,11],[6,7,8,10,12],[6,7,8,11,12],[6,7,9,10,11],[6,7,9,10,12],[6,7,9,11,12],[6,7,10,11,12],[6,8,9,10,11],[6,8,9,10,12],[6,8,9,11,12],[6,8,10,11,12],[6,9,10,11,12],[7],[7,8,9,10,11],[7,8,9,10,12],[7,8,9,11,12],[7,8,10,11,12],[7,9,10,11,12],[8],[8,9,10,11,12],[9],[10],[11],[12]]},"distance":{"d":2,"is_exact":true,"upper":2,"witness":[0,28],"A_d":3885,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[1,3],[2,3],[3,3],[4,3],[5,3]],"CZ":[]},"rotation_powers":[[0,3],[1,3],[2,3],[3,3],[4,3],[5,3],[6,3],[7,3],[8,3],[9,3],[10,3],[11,3],[12,3],[13,3],[14,3],[15,3],[16,3],[17,3],[18,3],[19,3],[20,3],[21,3],[22,3],[23,3],[24,3],[25,3],[26,3],[27,3],[28,3],[29,3],[30,3],[31,3],[32,3],[33,3],[34,3],[35,3],[36,3],[37,3],[38,3],[39,3],[40,3],[41,3],[42,3],[43,3],[44,3],[45,3],[46,3],[47,3],[48,3],[49,3],[50,3],[51,3],[52,3],[53,3],[54,3],[55,3],[56,3],[57,3],[58,3],[59,3],[60,3],[61,3],[62,3],[63,3],[64,3],[65,3],[66,3],[67,3],[68,3],[69,3],[70,3],[71,3],[72,3],[73,3],[74,3],[75,3],[76,3],[77,3],[78,3],[79,3],[80,3],[81,3],[82,3],[83,3],[84,3],[85,3],[86,3],[87,3],[88,3],[89,3],[90,3],[91,3],[92,3],[93,3],[94,3],[95,3],[96,3],[97,3],[98,3],[99,3],[100,3],[101,3],[102,3],[103,3],[104,3],[105,3],[106,3],[107,3],[108,3],[109,3],[110,3],[111,3],[112,3],[113,3],[114,3],[115,3],[116,3],[117,3],[118,3],[119,3],[120,3],[121,3],[122,3],[123,3],[124,3],[125,3],[126,3],[127,3],[128,3],[129,3],[130,3],[131,3],[132,3],[133,3],[134,3],[135,3],[136,3],[137,3],[138,3],[139,3],[140,3],[141,3],[142,3],[143,3],[144,3],[145,3],[146,3],[147,3],[148,3],[149,3],[150,3],[151,3],[152,3],[153,3],[154,3],[155,3],[156,3],[157,3],[158,3],[159,3],[160,3],[161,3],[162,3],[163,3],[164,3],[165,3],[166,3],[167,3],[168,3],[169,3],[170,3],[171,3],[172,3],[173,3],[174,3],[175,3],[176,3],[177,3],[178,3],[179,3],[180,3],[181,3],[182,3],[183,3],[184,3],[185,3],[186,3],[187,3],[188,3],[189,3],[190,3],[191,3],[192,3],[193,3],[194,3],[195,3],[196,3],[197,3],[198,3],[199,3],[200,3],[201,3],[202,3],[203,3],[204,3],[205,3],[206,3],[207,3],[208,3],[209,3],[210,3],[211,3],[212,3],[213,3],[214,3],[215,3],[216,3],[217,3],[218,3],[219,3],[220,3],[221,3],[222,3],[223,3],[224,3],[225,3],[226,3],[227,3],[228,3],[229,3],[230,3],[231,3],[232,3],[233,3],[234,3],[235,3],[236,3],[237,3],[238,3],[239,3],[240,3],[241,3],[242,3],[243,3],[244,3],[245,3],[246,3],[247,3],[248,3],[249,3],[250,3],[251,3],[252,3],[253,3],[254,3],[255,3],[256,3],[257,3],[258,3],[259,3],[260,3],[261,3],[262,3],[263,3],[264,3],[265,3],[266,3],[267,3],[268,3],[269,3],[270,3],[271,3],[272,3],[273,3],[274,3],[275,3],[276,3],[277,3],[278,3],[279,3],[280,3],[281,3],[282,3],[283,3],[284,3],[285,3],[286,3],[287,3],[288,3],[289,3],[290,3],[291,3],[292,3],[293,3],[294,3],[295,3],[296,3],[297,3],[298,3],[299,3],[300,3],[301,3],[302,3],[303,3],[304,3],[305,3],[306,3],[307,3],[308,3],[309,3],[310,3],[311,3],[312,3],[313,3],[314,3],[315,3],[316,3],[317,3],[318,3],[319,3],[320,3],[321,3],[322,3],[323,3],[324,3],[325,3],[326,3],[327,3],[328,3],[329,3],[330,3],[331,3],[332,3],[333,3],[334,3],[335,3],[336,3],[337,3],[338,3],[339,3],[340,3],[341,3],[342,3],[343,3],[344,3],[345,3],[346,3],[347,3],[348,3],[349,3],[350,3],[351,3],[352,3],[353,3],[354,3],[355,3],[356,3],[357,3],[358,3],[359,3],[360,3],[361,3],[362,3],[363,3],[364,3],[365,3],[366,3],[367,3],[368,3],[369,3],[370,3],[371,3],[372,3],[373,3],[374,3],[375,3],[376,3],[377,3],[378,3],[379,3],[380,3],[381,3],[382,3],[383,3],[384,3],[385,3],[386,3],[387,3],[388,3],[389,3],[390,3],[391,3],[392,3],[393,3],[394,3],[395,3],[396,3],[397,3],[398,3],[399,3],[400,3],[401,3],[402,3],[403,3],[404,3],[405,3],[406,3],[407,3],[408,3],[409,3],[410,3],[411,3],[412,3],[413,3],[414,3],[415,3],[416,3],[417,3],[418,3],[419,3],[420,3],[421,3],[422,3],[423,3],[424,3],[425,3],[426,3],[427,3],[428,3],[429,3],[430,3],[431,3],[432,3],[433,3],[434,3],[435,3],[436,3],[437,3],[438,3],[439,3],[440,3],[441,3],[442,3],[443,3],[444,3],[445,3],[446,3],[447,3],[448,3],[449,3],[450,3],[451,3],[452,3],[453,3],[454,3],[455,3],[456,3],[457,3],[458,3],[459,3],[460,3],[461,3],[462,3],[463,3],[464,3],[465,3],[466,3],[467,3],[468,3],[469,3],[470,3],[471,3],[472,3],[473,3],[474,3],[475,3],[476,3],[477,3],[478,3],[479,3],[480,3],[481,3],[482,3],[483,3],[484,3],[485,3],[486,3],[487,3],[488,3],[489,3],[490,3],[491,3],[492,3],[493,3],[494,3],[495,3],[496,3],[497,3],[498,3],[499,3],[500,3],[501,3],[502,3],[503,3],[504,3],[505,3],[506,3],[507,3],[508,3],[509,3],[510,3],[511,3],[512,3],[513,3],[514,3],[515,3],[516,3],[517,3],[518,3],[519,3],[520,3],[521,3],[522,3],[523,3],[524,3],[525,3],[526,3],[527,3],[528,3],[529,3],[530,3],[531,3],[532,3],[533,3],[534,3],[535,3],[536,3],[537,3],[538,3],[539,3],[540,3],[541,3],[542,3],[543,3],[544,3],[545,3],[546,3],[547,3],[548,3],[549,3],[550,3],[551,3],[552,3],[553,3],[554,3],[555,3],[556,3],[557,3],[558,3],[559,3],[560,3],[561,3],[562,3],[563,3],[564,3],[565,3],[566,3],[567,3],[568,3],[569,3],[570,3],[571,3],[572,3],[573,3],[574,3],[575,3],[576,3],[577,3],[578,3],[579,3],[580,3],[581,3],[582,3],[583,3],[584,3],[585,3],[586,3],[587,3],[588,3],[589,3],[590,3],[591,3],[592,3],[593,3],[594,3],[595,3],[596,3],[597,3],[598,3],[599,3],[600,3],[601,3],[602,3],[603,3],[604,3],[605,3],[606,3],[607,3],[608,3],[609,3],[610,3],[611,3],[612,3],[613,3],[614,3],[615,3],[616,3],[617,3],[618,3],[619,3],[620,3],[621,3],[622,3],[623,3],[624,3],[625,3],[626,3],[627,3],[628,3],[629,3],[630,3],[631,3],[632,3],[633,3],[634,3],[635,3],[636,3],[637,3],[638,3],[639,3],[640,3],[641,3],[642,3],[643,3],[644,3],[645,3],[646,3],[647,3],[648,3],[649,3],[650,3],[651,3],[652,3],[653,3],[654,3],[655,3],[656,3],[657,3]]},"metrics":{"gamma":6.776981273014085,"gamma_t":6.776981273014085,"gamma_rho":6.776981273014085,"gamma_claim":6.776981273014085,"gamma_t_claim":6.776981273014085,"gamma_rho_claim":6.776981273014085,"v_ex":6,"rate":0.00911854103343465,"t_count":6,"poly_degree":1,"effective_width":6},"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-0614","N":13,"d":2,"d_is_exact":true,"origin":"https://github.com/shraggy/Magic_state_factory_search at ae9fbf8, outputs/large_unified_factories_l3.csv line 614","provenance":"larger unified search l=3, two-group s_total=4,s_O=3"}]},"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"}]}