{"id":"206.42.3.a","row":842,"stored":{"file":"master_catalog.json","row":842,"construction":null,"columns_sha256":null},"parameters":{"n":206,"k":42,"d":3,"N":52,"r":10,"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+40+41","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\u00b7T40\u00b7T41","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],[40],[41]],"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],[40],[41]],"sk_fingerprint":"3bd19ba8e24305b2","sk_canonical_frame":true,"relabelled_into_canonical_frame":false},"circuit":{"columns":[[0,1,2,3,4,5,9,14,18,22,23,24,27,29,31,34,35,37,39,40,41,42,43,44,45,47,49,50,51],[8,15,29,44,45,48,49,50,51],[0,2,3,6,7,8,12,13,14,18,19,20,23,24,25,26,27,28,29,30,32,33,34,38,41,42,50,51],[0,45,46,47,48],[37,45,49],[0,1,3,8,9,11,12,13,14,16,17,18,19,20,24,26,28,30,35,37,39,40,41,47,50,51],[1,4,7,9,11,14,15,19,22,25,26,27,28,30,31,32,34,35,36,38,39,40,41,43,49,51],[0,2,3,4,11,12,17,18,22,23,25,28,29,30,31,33,34,35,36,37,41,44,48],[2,4,5,8,9,10,12,15,16,17,19,22,26,31,34,42,43,44,48,50],[2,3,12,15,17,19,26,29,33,35,39,42,43,51],[3,4,5,6,7,10,11,14,15,17,18,19,22,25,27,29,31,33,35,37,40,44,46,47,49],[2,4,5,8,11,12,13,15,16,19,20,22,23,26,28,30,31,34,40,42,43,47,50,51],[1,3,4,5,6,7,8,9,12,15,16,20,21,22,24,25,27,29,31,33,34,38,39,44,46,47],[1,3,4,6,7,11,12,17,18,20,21,22,24,27,31,37,38,43,44,45,47,48,49,50,51],[14,45,46,47,50],[15,22,29,43,44,45,48,49,51],[0,3,4,6,7,8,9,13,14,15,16,21,22,27,28,29,30,33,38,40,41,42,44,45,49,51],[2,3,5,6,8,11,12,13,15,16,17,20,21,22,23,24,26,28,31,32,33,37,38,39,41,42,45,47,48,49,50],[0,2,5,6,7,9,11,14,15,17,20,21,23,27,30,34,35,38,39,40,41,42,44,46,47,48,49,51],[3,4,5,8,9,10,11,15,18,19,25,26,29,33,35,44,48,49,50],[26,45,46,49,50],[0,2,3,4,5,10,14,16,17,18,19,20,24,25,26,27,28,29,31,32,35,36,37,39,41,42,43,45,47,50],[0,2,3,4,15,17,18,19,20,21,22,25,26,27,28,29,33,36,37,38,39,42,43,46,47,48,49,50,51],[0,4,6,7,8,9,12,13,14,15,16,17,19,21,22,26,27,28,30,31,35,38,39,40,41,43,45,46,49,50,51],[5,45,46,48,49,50],[0,2,3,5,6,7,9,11,12,14,15,19,20,23,26,27,33,34,38,40,41,43,45,46,48,51],[2,4,5,6,8,11,12,13,15,16,19,20,22,23,26,28,30,31,34,42,47,50,51],[0,1,4,8,9,11,13,14,16,17,18,20,24,28,30,33,37,40,41,42,43,47,49,51],[1,3,5,12,15,20,22,23,24,26,31,32,35,37,38,39,41,42,45,48,49,50,51],[23,45,46,47,51],[15,45,48,51],[0,3,4,6,7,8,9,13,14,15,16,21,22,25,27,28,29,30,31,33,38,40,41,42,43,45,49,50],[2,3,4,5,8,11,15,16,17,20,22,23,28,30,31,33,34,35,39,47,49,51],[2,5,7,9,11,14,15,17,20,21,23,24,27,28,30,34,35,38,39,44,45,49,50,51],[34,45,49,51],[0,1,3,8,9,11,12,13,14,16,18,19,20,24,26,28,30,35,37,40,41,44,45,46,47,49,50],[1,2,3,4,10,14,16,17,18,19,20,21,23,24,25,26,27,28,36,38,39,40,41,42,43,46,47,49,50],[0,1,2,5,6,7,8,9,13,15,16,18,20,23,24,26,29,30,33,35,36,37,39,47,48,51],[2,4,5,7,9,10,11,12,13,14,15,16,19,20,21,23,26,27,30,32,35,39,41,42,44,49],[2,4,5,8,11,12,13,15,16,19,20,22,23,26,30,31,34,42,43,44,45,46,48,49,50],[16,45,50,51],[0,3,4,6,7,8,9,13,14,16,21,22,27,28,30,31,38,40,41,42,44,46,48],[2,4,5,6,9,11,12,13,14,16,17,19,20,22,23,25,26,28,30,31,32,36,37,39,41,42,44,47,48,49,50,51],[1,3,5,9,12,14,20,21,23,24,25,27,28,29,31,34,36,38,39,40,41,42,43,46,47,48,51],[0,1,3,6,7,8,11,12,13,16,17,18,19,20,23,24,25,30,31,36,37,44,45,46,47,49,51],[2,3,4,5,8,11,13,15,16,17,20,22,23,28,30,31,33,34,35,38,39,43,45,48,49,50],[1,4,6,7,10,11,12,18,19,20,21,22,24,26,27,31,33,35,37,38,39,42,44,45,46,47,48,49],[0,1,3,8,9,11,12,13,14,16,18,19,20,24,26,28,30,37,39,40,41,43,44,45,46,47,49],[1,2,3,6,7,9,10,13,19,21,23,24,25,27,28,31,36,39,41,42,43,45,47],[1,7,11,12,14,15,19,20,21,26,27,30,31,34,35,36,38,39,41,43,44,46,47,49],[0,4,6,7,8,9,12,13,14,15,16,17,18,19,21,22,26,27,28,29,30,31,35,38,39,40,41,43,44,46,48,51],[32,45,47,48,49,50,51],[2,4,5,8,11,12,13,15,16,19,20,22,23,26,28,30,31,34,41,42,44,45,46,48,49],[1,3,4,6,7,11,17,18,19,20,21,22,24,27,31,37,38,44,46,47,48,49,51],[27,45,47],[1,2,5,6,8,13,16,18,21,23,24,27,28,29,30,33,34,35,37,38,39,44,46,48,49,50,51],[8,45,48],[0,3,4,6,7,8,13,14,15,16,21,22,27,28,29,30,31,33,38,40,41,42,43,44,46,48,49,50,51],[0,4,5,6,7,11,12,14,15,16,17,18,19,22,24,25,26,27,29,31,32,35,38,39,41,42,44,47,49,50],[2,5,6,7,9,11,14,15,17,20,21,23,27,34,35,38,39,40,41,42,43,44,45,49,51],[1,4,6,7,11,12,18,19,20,21,22,24,26,27,31,33,35,38,39,42,43,45,46,47,48,49,50,51],[2,3,4,5,6,8,9,11,12,13,14,15,16,17,18,21,22,23,24,25,29,31,32,35,36,37,39,40,41,42,46,48,49],[1,3,5,9,11,14,19,24,25,26,28,30,35,36,40,44,48,51],[0,2,5,6,7,10,13,14,21,27,28,29,30,34,35,38,39,40,41,42,43,44,46,50,51],[0,2,4,9,10,12,17,18,20,21,22,23,25,26,29,31,34,35,37,38,41,44,48,49,50,51],[0,3,4,5,6,7,11,12,13,14,15,17,18,21,22,25,27,28,29,30,31,34,37,38,39,40,41,42,46,49,51],[12,45,46,50],[0,1,2,3,4,5,9,14,18,21,22,23,24,29,31,34,35,37,39,40,41,42,44,49,50,51],[1,2,5,6,7,8,13,14,16,18,21,23,24,27,28,29,30,33,34,35,37,38,39,43,44,45,47,48,49,51],[22,45,48,50],[31,45,46,48,50],[4,6,12,21,24,26,30,32,34,35,37,38,41,42,43,44,45,48,50,51],[1,3,5,6,7,8,9,10,12,15,20,21,22,24,25,27,29,31,37,38,39,42,44,46,47,49,51],[0,1,3,8,9,11,12,13,14,16,18,19,20,24,28,30,35,37,39,40,41,43,45,46,47,49,51],[0,1,4,6,7,8,10,12,13,14,20,21,23,25,30,31,32,34,35,36,38,39,41,43,45,46,47,48,50,51],[3,5,12,15,17,19,26,29,33,35,39,42,45,46,48,49,50,51],[1,4,6,7,11,17,18,20,21,22,24,27,31,37,38,46,47,48,49,51],[0,2,4,9,12,14,15,18,20,26,29,32,34,38,40,43,45,48],[1,2,5,6,7,8,13,16,18,21,24,27,28,29,30,33,34,35,37,38,39,45,47,48,49,50],[25,45,46,48,51],[0,6,24,28,30,40,41,42,43,44,45,46,47,48,50],[1,4,6,7,11,12,18,19,20,21,22,24,26,27,31,33,34,35,37,38,39,42,43,44,45,46,47,48,49,50],[39,45,46,49,51],[1,2,3,5,6,7,8,12,13,16,17,18,19,20,21,23,24,26,27,28,29,30,34,37,38,42,43,44,46,48,51],[0,2,4,5,9,12,14,17,18,19,22,23,24,26,29,31,33,34,37,40,41,44,51],[0,1,2,3,6,7,8,9,10,12,13,15,18,20,22,23,24,25,29,30,31,35,36,42,43,44,47,48,49,50,51],[0,1,2,3,5,6,7,8,9,12,13,16,17,18,19,20,23,24,30,36,37,42,43,44,47,48],[0,3,4,6,10,13,16,30,32,33,34,35,38,39,40,42,46,47,48,49,50,51],[28,45,46,47,48,49,51],[0,1,8,9,11,13,14,17,18,20,24,28,30,33,37,40,41,42,45,47,49,50],[0,1,3,6,11,12,13,16,17,18,19,20,24,25,26,28,29,30,32,34,35,36,40,44,47,48],[1,2,5,6,7,8,13,16,18,21,23,24,27,28,29,30,33,34,35,36,37,38,39,43,46,48,49,50,51],[1,4,9,11,12,14,15,17,18,19,20,21,22,23,24,25,27,28,29,33,36,37,38,40,41,42,44,45,47,48,50],[38,45,47,48,50,51],[0,2,5,6,7,9,11,14,15,17,20,21,23,24,27,34,35,38,39,40,41,42,46,47,48,49,51],[10,45,49,50,51],[35,45,46,49,50,51],[5,8,9,10,12,16,17,18,25,26,29,30,31,34,36,37,38,39,41,43,44,45,46,47,48,51],[0,2,4,5,7,9,11,15,17,18,20,21,22,23,24,27,29,30,33,35,36,37,38,39,40,46,47,49,51],[3,11,12,15,17,19,26,29,33,35,39,42,44,51],[0,2,3,5,6,7,9,11,12,14,15,19,20,21,23,26,27,32,33,34,38,40,41,43,44,45,46,49],[41,45,46,47,48,49,50,51],[0,1,8,9,11,13,14,16,17,18,20,24,28,30,37,40,41,42,43,44,45,47,49,51],[19,45,46],[0,1,2,3,4,5,9,14,18,22,23,24,27,29,31,34,35,37,39,40,41,42,43,44,49,50,51],[7,45,46,47],[8,15,29,44,49,50,51],[9,45,46,48],[0,2,3,6,7,8,12,13,14,18,19,20,23,24,25,26,27,28,29,30,32,33,34,38,41,42,45,47,48,50,51],[0,1,3,8,9,11,12,13,14,16,17,18,19,20,24,26,28,30,35,37,39,40,41,45,46,47,49,50,51],[1,4,7,9,11,14,15,19,22,25,26,27,28,30,31,32,34,35,36,38,39,40,41,43,45,47,51],[0,2,3,4,11,12,17,18,22,23,25,28,29,30,31,33,34,35,36,37,41,44,45,46,47,48,49],[2,4,5,8,9,10,12,15,16,17,19,22,26,31,34,42,43,44,45,49,50],[2,3,12,15,17,19,26,29,33,35,39,42,43,45,46,48,49,51],[3,4,5,6,7,10,11,14,15,17,18,19,22,25,27,29,31,33,35,37,40,44,45,46,48],[2,4,5,8,11,12,13,15,16,19,20,22,23,26,28,30,31,34,40,42,43,45,46,48,49,50,51],[1,3,4,5,6,7,8,9,12,15,16,20,21,22,24,25,27,29,31,33,34,38,39,44,45,46,47,50],[1,3,4,6,7,11,12,17,18,20,21,22,24,27,31,37,38,43,44,46,47,48,49,51],[15,22,29,43,44,49,50,51],[0,3,4,6,7,8,9,13,14,15,16,21,22,27,28,29,30,33,38,40,41,42,44,46,48,49,50,51],[2,3,5,6,8,11,12,13,15,16,17,20,21,22,23,24,26,28,31,32,33,37,38,39,41,42,49],[0,2,5,6,7,9,11,14,15,17,20,21,23,27,30,34,35,38,39,40,41,42,44,45,49,50,51],[3,4,5,8,9,10,11,15,18,19,25,26,29,33,35,44,45,48],[0,2,3,4,5,10,14,16,17,18,19,20,24,25,26,27,28,29,31,32,35,36,37,39,41,42,43,49],[0,2,3,4,15,17,18,19,20,21,22,25,26,27,28,29,33,36,37,38,39,42,43,45,48,51],[0,4,6,7,8,9,12,13,14,15,16,17,19,21,22,26,27,28,30,31,35,38,39,40,41,43,46,48,51],[0,2,3,5,6,7,9,11,12,14,15,19,20,23,26,27,33,34,38,40,41,43,46,47,49,50,51],[2,4,5,6,8,11,12,13,15,16,19,20,22,23,26,28,30,31,34,42,45,46,48,49,51],[0,1,4,8,9,11,13,14,16,17,18,20,24,28,30,33,37,40,41,42,43,45,47,49],[3,45,46,51],[1,3,5,12,15,20,22,23,24,26,31,32,35,37,38,39,41,42,47,48,49,50],[0,3,4,6,7,8,9,13,14,15,16,21,22,25,27,28,29,30,31,33,38,40,41,42,43,46,48,49,50,51],[2,3,4,5,8,11,15,16,17,20,22,23,28,30,31,33,34,35,39,45,48,49],[2,5,7,9,11,14,15,17,20,21,23,24,27,28,30,34,35,38,39,44,46,47,48,49,50],[0,1,3,8,9,11,12,13,14,16,18,19,20,24,26,28,30,35,37,40,41,44,47,50,51],[20,45,47,49,51],[1,45,46,47,49,51],[1,2,3,4,10,14,16,17,18,19,20,21,23,24,25,26,27,28,36,38,39,40,41,42,43,45,46,47,48,50,51],[0,1,2,5,6,7,8,9,13,15,16,18,20,23,24,26,29,30,33,35,36,37,39,45,46,47,49],[2,4,5,7,9,10,11,12,13,14,15,16,19,20,21,23,26,27,30,32,35,39,41,42,44,45,47,48,51],[2,4,5,8,11,12,13,15,16,19,20,22,23,26,30,31,34,42,43,44,47,50,51],[0,3,4,6,7,8,9,13,14,16,21,22,27,28,30,31,38,40,41,42,44,45,48,50,51],[2,4,5,6,9,11,12,13,14,16,17,19,20,22,23,25,26,28,30,31,32,36,37,39,41,42,44,45,48,49],[36,45,46,47,50,51],[1,3,5,9,12,14,20,21,23,24,25,27,28,29,31,34,36,38,39,40,41,42,43,45,46,47,50],[0,1,3,6,7,8,11,12,13,16,17,18,19,20,23,24,25,30,31,36,37,44,47,48,49,50],[2,3,4,5,8,11,13,15,16,17,20,22,23,28,30,31,33,34,35,38,39,43,47,49,51],[24,45,46,47,48,50,51],[1,4,6,7,10,11,12,18,19,20,21,22,24,26,27,31,33,35,37,38,39,42,44,46,47,48,50,51],[0,1,3,8,9,11,12,13,14,16,18,19,20,24,26,28,30,37,39,40,41,43,44,47,50,51],[1,2,3,6,7,9,10,13,19,21,23,24,25,27,28,31,36,39,41,42,43,49,50,51],[1,7,11,12,14,15,19,20,21,26,27,30,31,34,35,36,38,39,41,43,44,45,50,51],[0,4,6,7,8,9,12,13,14,15,16,17,18,19,21,22,26,27,28,29,30,31,35,38,39,40,41,43,44,45,46,49,50],[11,45,46,48,49,50,51],[2,4,5,8,11,12,13,15,16,19,20,22,23,26,28,30,31,34,41,42,44,47,50,51],[33,45],[1,3,4,6,7,11,17,18,19,20,21,22,24,27,31,37,38,44,45,47,48,49,51],[1,2,5,6,8,13,16,18,21,23,24,27,28,29,30,33,34,35,37,38,39,44,45,47,48,49,50,51],[0,3,4,6,7,8,13,14,15,16,21,22,27,28,29,30,31,33,38,40,41,42,43,44,45,49,50,51],[0,4,5,6,7,11,12,14,15,16,17,18,19,22,24,25,26,27,29,31,32,35,38,39,41,42,44,45,48,49,50],[2,5,6,7,9,11,14,15,17,20,21,23,27,34,35,38,39,40,41,42,43,44,46,47,48,49,51],[1,4,6,7,11,12,18,19,20,21,22,24,26,27,31,33,35,38,39,42,43,46,47,48,50,51],[17,45,46,49],[2,3,4,5,6,8,9,11,12,13,14,15,16,17,18,21,22,23,24,25,29,31,32,35,36,37,39,40,41,42,45,46,47,48],[1,3,5,9,11,14,19,24,25,26,28,30,35,36,40,44,45,46,47,48,49,51],[0,2,5,6,7,10,13,14,21,27,28,29,30,34,35,38,39,40,41,42,43,44,45,46,48,49,50,51],[2,45,46,48,49],[0,2,4,9,10,12,17,18,20,21,22,23,25,26,29,31,34,35,37,38,41,44,45,47,50,51],[40,45,46,47,48,49],[0,3,4,5,6,7,11,12,13,14,15,17,18,21,22,25,27,28,29,30,31,34,37,38,39,40,41,42,45,46,49,50,51],[0,1,2,3,4,5,9,14,18,21,22,23,24,29,31,34,35,37,39,40,41,42,44,45,47,49,51],[1,2,5,6,7,8,13,14,16,18,21,23,24,27,28,29,30,33,34,35,37,38,39,43,44,46,48,49,50,51],[4,6,12,21,24,26,30,32,34,35,37,38,41,42,43,44,47,51],[30,45,46,47,48,50],[1,3,5,6,7,8,9,10,12,15,20,21,22,24,25,27,29,31,37,38,39,42,44,45,46,47,50,51],[0,1,3,8,9,11,12,13,14,16,18,19,20,24,28,30,35,37,39,40,41,43,47,50,51],[0,1,4,6,7,8,10,12,13,14,20,21,23,25,30,31,32,34,35,36,38,39,41,43,46,48,49,51],[1,3,5,9,12,14,15,20,21,23,24,25,27,28,31,34,36,38,39,40,41,42,45,48],[3,5,12,15,17,19,26,29,33,35,39,42,51],[21,48,49],[6,45,46,47,48,49,50],[4,45,51],[1,4,6,7,11,17,18,20,21,22,24,27,31,37,38,45,47,48,49],[0,2,4,9,12,14,15,18,20,26,29,32,34,38,40,43,47,48,51],[1,2,5,6,7,8,13,16,18,21,24,27,28,29,30,33,34,35,37,38,39,46,48,49,50,51],[29,49,50,51],[13,45,47,48,51],[0,6,24,28,30,40,41,42,43,44,50,51],[1,4,6,7,11,12,18,19,20,21,22,24,26,27,31,33,34,35,37,38,39,42,43,44,46,47,48,50,51],[1,2,3,5,6,7,8,12,13,16,17,18,19,20,21,23,24,26,27,28,29,30,34,37,38,42,43,44,45,46,47,48,49],[0,2,4,5,9,12,14,17,18,19,22,23,24,26,29,31,33,34,37,40,41,44,45,46,47,49],[0,1,2,3,6,7,8,9,10,12,13,15,18,20,22,23,24,25,29,30,31,35,36,42,43,44,45,47,50],[0,1,2,3,5,6,7,8,9,12,13,16,17,18,19,20,23,24,30,36,37,42,43,44,45,46,47,49,51],[0,3,4,6,10,13,16,30,32,33,34,35,38,39,40,42,45,46,50],[0,1,8,9,11,13,14,17,18,20,24,28,30,33,37,40,41,42,47,49,51],[0,1,8,9,11,13,14,16,17,18,20,24,28,30,37,40,41,42,43,44,45,46,47,49,50],[0,1,3,6,11,12,13,16,17,18,19,20,24,25,26,28,29,30,32,34,35,36,40,44,45,48,50,51],[1,2,5,6,7,8,13,16,18,21,23,24,27,28,29,30,33,34,35,36,37,38,39,43,45,47,48,49],[1,3,5,9,12,14,15,20,21,23,24,25,27,28,31,34,36,38,39,40,41,42,45,46,47,49,51],[1,4,9,11,12,14,15,17,18,19,20,21,22,23,24,25,27,28,29,33,36,37,38,40,41,42,44,46,47,51],[0,2,5,6,7,9,11,14,15,17,20,21,23,24,27,34,35,38,39,40,41,42,45,49,50],[5,8,9,10,12,16,17,18,25,26,29,30,31,34,36,37,38,39,41,43,44,46,48,49,50],[0,2,4,5,7,9,11,15,17,18,20,21,22,23,24,27,29,30,33,35,36,37,38,39,40,45,50],[18,45,48,49,50,51],[3,11,12,15,17,19,26,29,33,35,39,42,44,45,46,48,49,50],[0,2,3,5,6,7,9,11,12,14,15,19,20,21,23,26,27,32,33,34,38,40,41,43,44,46,47,48,50,51]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,3,57],"A_d":1282,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,2],[1,3],[2,1],[3,2],[4,1],[5,2],[6,1],[7,1],[8,2],[9,3],[10,1],[11,2],[12,2],[13,2],[14,3],[15,2],[16,2],[17,2],[18,2],[19,1],[20,3],[21,3],[22,1],[23,2],[24,3],[25,2],[26,1],[27,2],[28,3],[29,2],[30,2],[31,2],[32,1],[33,1],[34,2],[35,1],[36,2],[37,2],[38,2],[39,2],[40,3],[41,3],[42,2],[43,1],[44,1],[45,2],[46,1],[47,3],[48,2],[49,3],[50,3],[51,1]],"CZ":[[0,1],[0,8],[0,9],[0,11],[0,13],[0,14],[0,16],[0,17],[0,18],[0,20],[0,24],[0,28],[0,30],[0,37],[0,40],[0,41],[0,42],[0,43],[0,44],[0,47],[0,49],[0,51],[1,3],[1,5],[1,8],[1,11],[1,12],[1,13],[1,15],[1,16],[1,17],[1,18],[1,21],[1,23],[1,25],[1,27],[1,30],[1,31],[1,34],[1,36],[1,37],[1,38],[1,39],[1,43],[1,44],[1,46],[1,48],[1,50],[1,51],[3,5],[3,9],[3,12],[3,14],[3,15],[3,20],[3,21],[3,23],[3,24],[3,25],[3,27],[3,28],[3,31],[3,34],[3,36],[3,38],[3,39],[3,40],[3,41],[3,42],[3,46],[3,47],[3,48],[3,49],[3,50],[5,9],[5,12],[5,14],[5,15],[5,20],[5,21],[5,23],[5,24],[5,25],[5,27],[5,28],[5,31],[5,34],[5,36],[5,38],[5,39],[5,40],[5,41],[5,42],[5,46],[5,47],[5,48],[5,49],[5,50],[8,9],[8,11],[8,13],[8,14],[8,16],[8,17],[8,18],[8,20],[8,24],[8,28],[8,30],[8,37],[8,40],[8,41],[8,42],[8,43],[8,44],[8,47],[8,49],[8,51],[9,11],[9,12],[9,13],[9,15],[9,16],[9,17],[9,18],[9,21],[9,23],[9,25],[9,27],[9,30],[9,31],[9,34],[9,36],[9,37],[9,38],[9,39],[9,43],[9,44],[9,46],[9,48],[9,50],[9,51],[11,13],[11,14],[11,16],[11,17],[11,18],[11,20],[11,24],[11,28],[11,30],[11,37],[11,40],[11,41],[11,42],[11,43],[11,44],[11,47],[11,49],[11,51],[12,14],[12,15],[12,20],[12,21],[12,23],[12,24],[12,25],[12,27],[12,28],[12,31],[12,34],[12,36],[12,38],[12,39],[12,40],[12,41],[12,42],[12,46],[12,47],[12,48],[12,49],[12,50],[13,14],[13,16],[13,17],[13,18],[13,20],[13,24],[13,28],[13,30],[13,37],[13,40],[13,41],[13,42],[13,43],[13,44],[13,47],[13,49],[13,51],[14,15],[14,16],[14,17],[14,18],[14,21],[14,23],[14,25],[14,27],[14,30],[14,31],[14,34],[14,36],[14,37],[14,38],[14,39],[14,43],[14,44],[14,46],[14,48],[14,50],[14,51],[15,20],[15,21],[15,23],[15,24],[15,25],[15,27],[15,28],[15,31],[15,34],[15,36],[15,38],[15,39],[15,40],[15,41],[15,42],[15,46],[15,47],[15,48],[15,49],[15,50],[16,17],[16,18],[16,20],[16,24],[16,28],[16,30],[16,37],[16,40],[16,41],[16,42],[16,43],[16,44],[16,47],[16,49],[16,51],[17,18],[17,20],[17,24],[17,28],[17,30],[17,37],[17,40],[17,41],[17,42],[17,43],[17,44],[17,47],[17,49],[17,51],[18,20],[18,24],[18,28],[18,30],[18,37],[18,40],[18,41],[18,42],[18,43],[18,44],[18,47],[18,49],[18,51],[20,21],[20,23],[20,25],[20,27],[20,30],[20,31],[20,34],[20,36],[20,37],[20,38],[20,39],[20,43],[20,44],[20,46],[20,48],[20,50],[20,51],[21,23],[21,24],[21,25],[21,27],[21,28],[21,31],[21,34],[21,36],[21,38],[21,39],[21,40],[21,41],[21,42],[21,45],[21,46],[21,48],[21,49],[23,24],[23,25],[23,27],[23,28],[23,31],[23,34],[23,36],[23,38],[23,39],[23,40],[23,41],[23,42],[23,46],[23,47],[23,48],[23,49],[23,50],[24,25],[24,27],[24,30],[24,31],[24,34],[24,36],[24,37],[24,38],[24,39],[24,43],[24,44],[24,46],[24,48],[24,50],[24,51],[25,27],[25,28],[25,31],[25,34],[25,36],[25,38],[25,39],[25,40],[25,41],[25,42],[25,46],[25,47],[25,48],[25,49],[25,50],[27,28],[27,31],[27,34],[27,36],[27,38],[27,39],[27,40],[27,41],[27,42],[27,46],[27,47],[27,48],[27,49],[27,50],[28,30],[28,31],[28,34],[28,36],[28,37],[28,38],[28,39],[28,43],[28,44],[28,46],[28,48],[28,50],[28,51],[29,45],[29,48],[29,49],[29,50],[30,37],[30,40],[30,41],[30,42],[30,43],[30,44],[30,47],[30,49],[30,51],[31,34],[31,36],[31,38],[31,39],[31,40],[31,41],[31,42],[31,46],[31,47],[31,48],[31,49],[31,50],[34,36],[34,38],[34,39],[34,40],[34,41],[34,42],[34,46],[34,47],[34,48],[34,49],[34,50],[36,38],[36,39],[36,40],[36,41],[36,42],[36,46],[36,47],[36,48],[36,49],[36,50],[37,40],[37,41],[37,42],[37,43],[37,44],[37,47],[37,49],[37,51],[38,39],[38,40],[38,41],[38,42],[38,46],[38,47],[38,48],[38,49],[38,50],[39,40],[39,41],[39,42],[39,46],[39,47],[39,48],[39,49],[39,50],[40,43],[40,44],[40,46],[40,48],[40,50],[40,51],[41,43],[41,44],[41,46],[41,48],[41,50],[41,51],[42,43],[42,44],[42,46],[42,48],[42,50],[42,51],[43,44],[43,47],[43,49],[43,51],[44,47],[44,49],[44,51],[45,47],[45,48],[45,49],[46,47],[46,48],[46,49],[46,50],[47,48],[47,51],[49,51]]},"rotation_powers":[[1,5],[2,5],[3,5],[4,7],[5,5],[6,7],[8,7],[9,5],[10,7],[11,5],[12,7],[13,5],[15,5],[17,3],[18,3],[19,5],[20,7],[21,5],[23,5],[24,7],[27,3],[29,5],[32,3],[33,7],[34,3],[38,7],[42,5],[43,5],[51,3],[53,7],[55,3],[57,3],[62,3],[65,3],[67,3],[71,3],[72,3],[74,3],[76,3],[80,3],[82,3],[85,3],[86,3],[88,3],[91,3],[94,3],[95,3],[96,3],[97,3],[98,3],[101,3],[102,5],[103,5],[104,7],[106,3],[108,3],[109,5],[110,3],[112,3],[114,3],[117,3],[118,3],[119,3],[130,3],[131,3],[135,3],[136,3],[139,3],[141,3],[142,3],[144,3],[145,3],[146,3],[153,3],[159,3],[160,3],[162,3],[164,3],[166,3],[168,3],[171,3],[174,3],[176,3],[177,3],[179,3],[180,3],[183,3],[184,3],[185,3],[191,3],[192,3],[194,3],[195,3],[196,3],[198,3],[199,3],[201,3],[202,3],[203,3]]},"metrics":{"gamma":1.447468380709706,"gamma_t":null,"gamma_rho":1.447468380709706,"gamma_claim":1.447468380709706,"gamma_t_claim":null,"gamma_rho_claim":1.447468380709706,"v_ex":42,"rate":0.20388349514563106,"t_count":null,"poly_degree":null,"effective_width":42},"provenance":{"regimes":["AI search (gamma frontier): from Wills parent codes"],"discovery":"AI search","strongest_claim":"built from one of Wills's parent codes (weighted Reed-Muller, restricted-light or one-heavy) by searched punctures, paired-column contractions or logical-pair checks, in the pure-T distillation-exponent release (gamma = log(n/k)/log d, n < 1000); a verified witness, not a maximum -- only the release's own frontier points are the lowest gamma it knows","sources":[{"regime":"AI search (gamma frontier): from Wills parent codes","file":"gamma_frontier_release/protocols/paired_column_contraction_206_42_3_d293f2254ed0.json","label":"paired_column_contraction_206_42_3_d293f2254ed0","N":52,"d":3,"d_is_exact":true,"origin":"Wills weighted Reed\u2013Muller parent (weights 1^6,2^2, cutoff 3), with searched graph punctures; 4 paired-column contractions","provenance":"gamma frontier release record paired_column_contraction_206_42_3_d293f2254ed0 (source catalogue id paired_column_contraction_206_42_3_d293f2254ed0); construction: Wills weighted Reed\u2013Muller parent (weights 1^6,2^2, cutoff 3), with searched graph punctures; 4 paired-column contractions; matrix d293f2254ed0b64e...; the release states d=3 (exact), gamma=1.447468380709706 (exact)","notes":"matrix gamma_frontier_release/matrices/d293f2254ed0b64e72e271b02ab1f34e0fd86a34eda59a79f937da1406117e06.matrix"}]},"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"}]}