{"id":"208.40.3.a","row":846,"stored":{"file":"master_catalog.json","row":846,"construction":null,"columns_sha256":null},"parameters":{"n":208,"k":40,"d":3,"N":52,"r":12,"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":[[21,45],[2,4,8,9,10,11,12,16,17,18,20,22,24,26,30,35,39,40,45,47,49,50],[0,45,46,47],[2,4,8,9,10,11,12,17,20,22,24,26,30,35,39,41,42,44,46,47,49,50],[0,3,4,5,6,7,9,16,19,21,22,23,30,31,32,33,35,36,37,38,39,41,46,48,49,50],[14,45,46,47,48],[25,45,49],[2,4,8,9,10,11,12,16,17,20,22,24,26,30,34,35,39,40,42,45,47,50],[0,1,2,3,4,5,6,7,8,10,12,14,15,16,19,20,21,25,26,29,31,32,33,37,38,41,44,49,51],[1,8,9,10,12,22,23,26,28,30,34,38,39,41,42,44,46,49,50],[26,40,41,42,45,48,49],[1,2,3,6,7,8,9,13,15,21,22,23,26,28,29,30,36,38,39,42,44,45,46,47,48,49,50],[0,1,4,6,7,10,11,12,17,18,23,24,26,40,41,42,45,46,47,48,49,51],[3,45,46,47,48,49],[0,1,4,6,7,9,10,11,12,14,17,18,23,24,26,41,43,45,47,48,51],[0,1,3,4,6,7,8,10,11,12,15,16,19,20,21,23,24,26,27,28,31,32,37,40,41,42,44,45,48,50,51],[0,1,2,6,7,8,16,18,20,22,23,30,33,35,39,40,43,47,49,50,51],[1,2,4,5,6,7,13,15,16,17,19,20,21,22,23,27,28,35,36,38,39,41,43,45,46,48,49,50],[0,1,2,6,7,8,16,18,20,22,23,35,39,40,41,43,45,46,48,49,51],[0,2,3,8,9,10,11,12,15,17,19,20,21,22,23,24,27,32,37,38,39,40,42,44,46,47,48,49],[0,1,2,3,5,6,7,8,13,15,16,17,19,22,26,29,31,35,37,38,39,42,43,46,47,48,49,51],[0,1,4,6,7,9,10,11,12,17,18,23,24,26,31,40,42,43,46,51],[32,45,46,47,49,50],[4,8,9,10,12,14,15,22,24,25,26,27,28,30,33,34,35,37,39,44,47,48,49],[11,45,46,48,49,50],[0,2,3,4,6,7,8,10,11,12,15,16,17,19,20,21,23,25,26,28,29,31,32,34,35,36,38,40,44,46,50],[10,40,44],[2,4,5,8,9,11,13,15,17,18,19,20,21,22,23,25,29,30,32,33,36,37,38,45,46,47,49],[0,1,4,6,7,9,10,11,17,18,23,24,26,40,44,45,46,47],[0,1,2,3,10,11,12,14,16,17,18,21,22,23,25,28,29,30,31,36,38,40,42,44,47,49],[36,40,41,44,45,48,51],[2,4,8,9,10,11,12,16,17,20,22,24,26,30,35,38,39,40,41,44,45,47,48,49,50,51],[20,45,49,51],[2,4,8,9,10,11,12,17,20,22,24,26,30,35,39,40,42,44,45,47,50,51],[35,45,47,49,51],[0,1,2,4,7,8,12,20,23,24,26,28,31,34,39,40,41,42,45,47,48,49,50],[3,4,5,6,8,10,11,13,14,16,17,19,22,23,28,29,30,32,33,34,36,37,38,44,45,46,47,51],[0,1,2,7,8,16,18,20,22,23,30,35,39,40,41,42,44,45,46,48,50],[5,45,50,51],[4,45,46,50,51],[27,45,47,50,51],[0,1,2,4,7,8,12,20,23,24,26,28,31,34,39,42,43,44,45,47,48],[0,1,2,3,5,7,10,11,12,13,14,15,16,17,18,19,20,21,22,24,25,26,28,29,30,34,36,38,39,41,44,45,48,49,51],[0,1,3,4,6,8,11,12,15,17,18,19,21,27,28,30,32,34,37,38,39,42,46,50],[0,1,2,3,5,7,9,10,12,16,17,18,19,25,28,29,30,33,34,35,38,40,41,42,43,44,45,50],[0,1,5,12,14,15,16,17,18,19,21,22,23,24,26,27,31,33,34,36,37,38,39,40,41,44,45,46,47,48,49,51],[22,45,46,49,50,51],[3,5,8,9,12,13,16,18,21,23,24,26,28,29,32,34,35,36,38,41,42,43,45,47,48,50],[0,1,2,6,7,8,16,18,20,22,23,30,35,40,42,43,44,45,46],[37,45,46,48,49,50,51],[0,1,4,6,7,9,10,11,12,17,18,24,26,40,41,42,43,44,46,51],[0,1,3,5,6,7,8,10,11,12,17,19,21,24,26,29,31,32,35,36,38,42,44,50],[21,40,45],[18,45,46],[0,1,4,6,7,9,10,11,12,13,17,18,23,24,26,40,46,51],[1,2,6,7,8,16,18,20,22,23,30,35,39,40,45,46,49,50,51],[0,2,3,5,6,7,8,10,11,12,17,19,20,21,23,24,26,31,32,33,36,37,38,40,47,48],[0,1,2,4,6,7,9,10,11,12,17,18,23,24,26,40,41,46,51],[25,40,42,45,49],[34,45,46,49],[2,3,5,8,9,11,14,15,16,17,18,19,20,21,23,24,25,29,31,32,33,37,38,40,41,42,44,46,49],[0,2,6,7,9,10,12,16,18,20,26,28,34,35,38,40,41,44,46,47,51],[26,45,48,49],[1,3,4,6,7,10,11,12,13,15,16,17,20,21,23,24,28,29,35,36,38,40,41,44,45,48],[9,45,47,48,49],[0,1,2,3,6,7,8,16,18,20,22,23,30,35,39,40,41,42,45,46,48,50,51],[1,40,43],[19,40,41,43],[2,4,9,10,11,12,16,17,20,22,24,26,30,35,39,40,41,43,46,47,49,50],[0,2,5,9,10,11,12,13,15,16,18,19,20,21,22,24,26,27,28,35,36,38,39,40,45,48,49,50,51],[30,45,46,47,48,50],[0,2,3,8,9,10,11,12,15,17,19,20,21,22,23,24,27,32,37,38,39,43,44,46,47,48,49],[0,1,3,4,5,6,7,9,10,11,12,13,15,19,20,24,29,30,31,37,38,40,48,50,51],[0,1,2,6,7,8,16,18,20,22,23,30,32,35,39,40,42,43,45,46,51],[4,8,9,10,12,14,15,22,24,25,26,27,28,30,33,34,35,37,39,40,41,42,43,44,47,48,49],[2,4,8,9,10,12,16,17,20,22,24,26,30,35,39,40,41,42,43,45,47,48],[1,2,3,8,9,15,16,18,19,20,21,24,25,28,29,31,32,34,35,36,38,41,42,43,44,50,51],[0,1,2,6,7,8,16,18,20,22,23,24,30,35,39,40,41,42,43,47,49,50,51],[5,10,12,13,15,16,18,19,21,23,24,25,26,29,32,33,35,36,37,38,39,40,44,45,50],[12,45,47,51],[3,6,7,8,10,11,12,14,17,20,21,25,28,29,31,35,36,38,39,42,50,51],[36,45,48,51],[38,45,46,48,51],[0,1,4,6,7,9,10,11,12,15,17,18,23,24,26,40,41,44,46,51],[0,1,2,6,7,8,16,18,20,22,23,28,30,35,39,40,41,44,47,49,50,51],[20,40,42,44,45,49,51],[16,45,46,49,51],[0,1,4,6,7,9,10,11,12,17,18,23,24,26,35,40,42,44,45,46,47,49],[0,1,2,6,7,8,16,18,20,22,23,29,30,35,39,40,42,44,47,49,50,51],[0,1,2,4,7,8,12,20,23,24,26,28,31,34,39,44,45,47,48,49,50],[2,4,7,8,9,10,11,12,16,17,20,22,24,26,30,35,39,40,41,42,44,46,47,49,50],[0,1,3,5,7,8,9,12,13,14,16,18,19,22,24,26,28,29,30,32,33,34,36,37,38,40,41,42,45,47],[6,45,46,47,48,49,51],[5,40,43,44,45,50,51],[2,8,9,10,11,12,16,17,20,22,24,26,30,35,39,40,43,44,45,47,49,51],[0,1,4,6,7,9,10,11,12,17,18,23,24,26,27,40,43,44,45,46,47,50],[0,1,2,6,7,8,16,17,18,20,22,23,30,35,39,40,43,44,47,49,50,51],[0,1,2,4,7,8,12,20,23,24,26,28,31,34,39,40,41,42,45,47,48],[0,1,3,4,5,7,8,9,13,14,15,18,19,21,25,28,29,34,35,36,38,40,43,45,46,47,48,50,51],[3,7,8,9,10,15,19,21,23,24,26,27,28,30,32,34,37,38,39,40,41,42,43,44,50,51],[3,5,6,8,9,10,12,17,19,20,22,23,25,28,29,33,34,38,39,42,45,47,49,51],[0,1,5,12,14,15,16,17,18,19,21,22,23,24,26,27,31,33,34,36,37,38,39,41,42,43,45,46,47,48,49,51],[2,4,8,9,10,11,12,16,17,20,24,26,30,35,39,40,42,43,44,45,47,51],[0,1,3,4,5,6,7,8,10,11,13,16,17,21,28,29,32,34,35,36,38,40,41,44,45,46,47,48,50,51],[39,45,46,47,49,50,51],[3,8,9,15,16,17,18,19,20,21,27,28,31,32,37,40,45,46,48,50],[2,4,8,9,10,11,12,16,17,20,22,24,26,30,35,37,39,40,41,42,43,44,45,47,48,51],[2,3,5,10,11,12,16,17,18,19,20,21,22,23,24,26,29,30,31,32,36,38,39,40,41,43,47,49,51],[2,4,8,9,10,11,12,16,17,18,20,22,24,26,30,35,39,40,46,47,49,50],[13,45,47],[2,4,8,9,10,11,12,17,20,22,24,26,30,35,39,41,42,44,45,46,47,48,49,50],[0,3,4,5,6,7,9,16,19,21,22,23,30,31,32,33,35,36,37,38,39,41,45,49,50],[2,45,47,48],[2,4,8,9,10,11,12,16,17,20,22,24,26,30,34,35,39,40,42,46,47,49,50],[0,1,2,3,4,5,6,7,8,10,12,14,15,16,19,20,21,25,26,29,31,32,33,37,38,41,44,45,47,51],[1,8,9,10,12,22,23,26,28,30,34,38,39,41,42,44,45,47,50],[26,40,41,42],[1,2,3,6,7,8,9,13,15,21,22,23,26,28,29,30,36,38,39,42,44,47,50],[0,1,4,6,7,10,11,12,17,18,23,24,26,40,41,42,46,51],[1,45,50],[0,1,4,6,7,9,10,11,12,14,17,18,23,24,26,41,43,46,47,48,50,51],[0,1,3,4,6,7,8,10,11,12,15,16,19,20,21,23,24,26,27,28,31,32,37,40,41,42,44,47,48,51],[0,1,2,6,7,8,16,18,20,22,23,30,33,35,39,40,43,45,46,49,51],[19,45,48,50],[8,45,46,48,50],[1,2,4,5,6,7,13,15,16,17,19,20,21,22,23,27,28,35,36,38,39,41,43,46,47,49],[0,1,2,6,7,8,16,18,20,22,23,35,39,40,41,43,47,49,50,51],[0,2,3,8,9,10,11,12,15,17,19,20,21,22,23,24,27,32,37,38,39,40,42,44,45,46,47,48,50],[0,1,2,3,5,6,7,8,13,15,16,17,19,22,26,29,31,35,37,38,39,42,43,45,47,48,50,51],[0,1,4,6,7,9,10,11,12,17,18,23,24,26,31,40,42,43,45,46,47,49,50,51],[4,8,9,10,12,14,15,22,24,25,26,27,28,30,33,34,35,37,39,44,45,47,50],[0,2,3,4,6,7,8,10,11,12,15,16,17,19,20,21,23,25,26,28,29,31,32,34,35,36,38,40,44,45,46,47,48,49],[24,45,46,47,48,49,50],[10,40,44,45,51],[2,4,5,8,9,11,13,15,17,18,19,20,21,22,23,25,29,30,32,33,36,37,38,47,49,51],[0,1,4,6,7,9,10,11,17,18,23,24,26,40,44,46,51],[0,1,2,3,10,11,12,14,16,17,18,21,22,23,25,28,29,30,31,36,38,40,42,44,45,46,49,51],[36,40,41,44],[2,4,8,9,10,11,12,16,17,20,22,24,26,30,35,38,39,40,41,44,46,47,49,50],[15,45,47,48,51],[28,45,46,47,48,51],[29,45,46,47,49,51],[7,45,46,48,49,51],[3,4,5,6,8,10,11,13,14,16,17,19,22,23,28,29,30,32,33,34,36,37,38,44,46,48,49],[0,1,2,7,8,16,18,20,22,23,30,35,39,40,41,42,44,47,49,50,51],[17,45,46,47,50,51],[0,1,2,4,7,8,12,20,23,24,26,28,31,34,39,42,43,44,47,50,51],[0,1,2,3,5,7,10,11,12,13,14,15,16,17,18,19,20,21,22,24,25,26,28,29,30,34,36,38,39,41,44,46,49,50],[0,1,3,4,6,8,11,12,15,17,18,19,21,27,28,30,32,34,37,38,39,42,45,46,47,48,51],[0,1,2,3,5,7,9,10,12,16,17,18,19,25,28,29,30,33,34,35,38,40,41,42,43,44,46,47,48,51],[0,1,5,12,14,15,16,17,18,19,21,22,23,24,26,27,31,33,34,36,37,38,39,40,41,44,46,47,48,50],[3,5,8,9,12,13,16,18,21,23,24,26,28,29,32,34,35,36,38,41,42,43,48,49,51],[0,1,2,6,7,8,16,18,20,22,23,30,35,40,42,43,44,47,49,50,51],[3,8,9,15,16,17,18,19,20,21,27,28,31,32,37,41,42,43,44,46,49,51],[0,1,4,6,7,9,10,11,12,17,18,24,26,40,41,42,43,44,45,46,47,48,49,50],[0,1,3,5,6,7,8,10,11,12,17,19,21,24,26,29,31,32,35,36,38,42,44,45,46,47,48,49,51],[21,40],[0,1,4,6,7,9,10,11,12,13,17,18,23,24,26,40,45,46,47,51],[1,2,6,7,8,16,18,20,22,23,30,35,39,40,47,49,50,51],[2,4,8,9,10,11,12,17,20,22,24,26,30,35,39,40,42,44,45,46,47,48,49,50],[0,2,3,5,6,7,8,10,11,12,17,19,20,21,23,24,26,31,32,33,36,37,38,40,45,46,47],[0,1,2,4,6,7,9,10,11,12,17,18,23,24,26,40,41,45,46,47,48,51],[0,1,2,6,7,8,14,16,18,20,22,23,30,35,39,40,41,47,49,50,51],[25,40,42],[2,3,5,8,9,11,14,15,16,17,18,19,20,21,23,24,25,29,31,32,33,37,38,40,41,42,44,45,46,47],[0,2,6,7,9,10,12,16,18,20,26,28,34,35,38,40,41,44,45,49,51],[1,3,4,6,7,10,11,12,13,15,16,17,20,21,23,24,28,29,35,36,38,40,41,44,46,49],[0,1,2,3,6,7,8,16,18,20,22,23,30,35,39,40,41,42,47,49,50,51],[1,40,43,45,50],[0,1,2,6,7,8,14,16,18,20,22,23,30,35,39,40,41,48,49,51],[3,8,9,15,16,17,18,19,20,21,27,28,31,32,37,41,42,43,44,46,47,48],[33,45,46,47,50],[19,40,41,43,45,48,50],[2,4,9,10,11,12,16,17,20,22,24,26,30,35,39,40,41,43,45,47,48,49],[0,2,5,9,10,11,12,13,15,16,18,19,20,21,22,24,26,27,28,35,36,38,39,40,47,49,51],[0,2,3,8,9,10,11,12,15,17,19,20,21,22,23,24,27,32,37,38,39,43,44,45,46,47,48,50],[0,1,3,4,5,6,7,9,10,11,12,13,15,19,20,24,29,30,31,37,38,40,45,46,48,49,51],[31,45,47,49,50],[0,1,2,6,7,8,16,18,20,22,23,30,32,35,39,40,42,43,47,49,50,51],[4,8,9,10,12,14,15,22,24,25,26,27,28,30,33,34,35,37,39,40,41,42,43,44,45,47,50],[2,4,8,9,10,12,16,17,20,22,24,26,30,35,39,40,41,42,43,46,47,49,50],[1,2,3,8,9,15,16,18,19,20,21,24,25,28,29,31,32,34,35,36,38,41,42,43,44,45,47,48,49,51],[0,1,2,6,7,8,16,18,20,22,23,24,30,35,39,40,41,42,43,45,46,48,51],[10,45,51],[5,10,12,13,15,16,18,19,21,23,24,25,26,29,32,33,35,36,37,38,39,40,44,46,50,51],[3,6,7,8,10,11,12,14,17,20,21,25,28,29,31,35,36,38,39,42,45,46,47,50],[0,1,4,6,7,9,10,11,12,15,17,18,23,24,26,40,41,44,45,46,47,48],[0,1,2,6,7,8,16,18,20,22,23,28,30,35,39,40,41,44,45,46,48,49,50],[20,40,42,44],[0,1,4,6,7,9,10,11,12,17,18,23,24,26,35,40,42,44,46,51],[0,1,2,6,7,8,16,18,20,22,23,29,30,35,39,40,42,44,45,46,50],[0,1,2,4,7,8,12,20,23,24,26,28,31,34,39,44,47,50,51],[2,4,7,8,9,10,11,12,16,17,20,22,24,26,30,35,39,40,41,42,44,45,47,48,50,51],[0,1,3,5,7,8,9,12,13,14,16,18,19,22,24,26,28,29,30,32,33,34,36,37,38,40,41,42,48,49,51],[5,40,43,44],[2,8,9,10,11,12,16,17,20,22,24,26,30,35,39,40,43,44,46,47,49,50],[0,1,4,6,7,9,10,11,12,17,18,23,24,26,27,40,43,44,46,51],[0,1,2,6,7,8,16,17,18,20,22,23,30,35,39,40,43,44,45,46,49],[0,1,3,4,5,7,8,9,13,14,15,18,19,21,25,28,29,34,35,36,38,40,43,47],[3,7,8,9,10,15,19,21,23,24,26,27,28,30,32,34,37,38,39,40,41,42,43,44,45,47,48],[3,5,6,8,9,10,12,17,19,20,22,23,25,28,29,33,34,38,39,42,46,48,49,50],[0,1,5,12,14,15,16,17,18,19,21,22,23,24,26,27,31,33,34,36,37,38,39,41,42,43,46,47,48,50],[2,4,8,9,10,11,12,16,17,20,24,26,30,35,39,40,42,43,44,46,47,49,50],[0,1,3,4,5,6,7,8,10,11,13,16,17,21,28,29,32,34,35,36,38,40,41,44,46,48,49],[3,8,9,15,16,17,18,19,20,21,27,28,31,32,37,40,46,49,51],[2,4,8,9,10,11,12,16,17,20,22,24,26,30,35,37,39,40,41,42,43,44,46,47,49,50],[23,45,47,48,49,50,51],[2,3,5,10,11,12,16,17,18,19,20,21,22,23,24,26,29,30,31,32,36,38,39,40,41,43,45,46,48,50]]},"distance":{"d":3,"is_exact":true,"upper":3,"witness":[0,21,73],"A_d":398,"certified":null},"clifford":{"kind":"powers","correction":{"S":[[0,3],[1,3],[3,2],[4,3],[5,1],[6,2],[7,3],[8,1],[9,3],[10,2],[11,2],[12,3],[13,1],[14,2],[15,2],[16,3],[17,3],[18,3],[19,2],[20,1],[21,2],[22,3],[23,3],[24,3],[25,1],[26,3],[27,2],[28,3],[29,1],[30,3],[31,3],[32,2],[33,1],[34,2],[35,3],[36,1],[37,2],[38,1],[40,3],[41,3],[42,3],[43,1],[44,2],[45,2],[46,3],[47,2],[48,2],[49,2],[51,2]],"CZ":[[0,4],[0,6],[0,12],[0,14],[0,16],[0,18],[0,22],[0,24],[0,26],[0,28],[0,30],[0,31],[0,34],[0,35],[0,42],[0,45],[0,46],[0,47],[0,48],[0,49],[1,4],[1,6],[1,12],[1,14],[1,16],[1,18],[1,22],[1,24],[1,26],[1,28],[1,30],[1,31],[1,34],[1,35],[1,42],[1,45],[1,46],[1,47],[1,48],[1,49],[2,6],[2,8],[2,9],[2,10],[2,11],[2,14],[2,16],[2,17],[2,18],[2,20],[2,28],[2,31],[2,34],[2,39],[2,40],[2,44],[2,45],[2,48],[2,50],[3,8],[3,9],[3,15],[3,16],[3,17],[3,18],[3,19],[3,20],[3,21],[3,27],[3,28],[3,31],[3,32],[3,37],[3,41],[3,42],[3,43],[3,44],[3,45],[3,46],[3,48],[3,50],[4,7],[4,9],[4,10],[4,11],[4,17],[4,22],[4,23],[4,28],[4,30],[4,31],[4,34],[4,35],[4,41],[4,44],[4,46],[4,49],[4,51],[6,7],[6,8],[6,14],[6,16],[6,18],[6,20],[6,22],[6,23],[6,30],[6,35],[6,39],[6,40],[6,41],[6,45],[6,46],[6,48],[6,49],[6,50],[6,51],[7,12],[7,14],[7,16],[7,18],[7,22],[7,24],[7,26],[7,28],[7,30],[7,31],[7,34],[7,35],[7,42],[7,45],[7,46],[7,47],[7,48],[7,49],[8,10],[8,11],[8,14],[8,15],[8,19],[8,21],[8,27],[8,32],[8,34],[8,37],[8,39],[8,40],[8,41],[8,42],[8,43],[8,46],[9,10],[9,11],[9,12],[9,15],[9,16],[9,18],[9,19],[9,21],[9,22],[9,24],[9,26],[9,27],[9,28],[9,30],[9,31],[9,32],[9,35],[9,37],[9,39],[9,40],[9,41],[9,43],[9,45],[9,47],[9,48],[9,49],[10,11],[10,12],[10,17],[10,20],[10,22],[10,24],[10,26],[10,30],[10,35],[10,39],[10,40],[10,42],[10,44],[10,46],[10,47],[10,49],[10,50],[11,12],[11,17],[11,20],[11,22],[11,24],[11,26],[11,30],[11,35],[11,39],[11,40],[11,42],[11,44],[11,46],[11,47],[11,49],[11,50],[12,17],[12,22],[12,23],[12,28],[12,30],[12,31],[12,34],[12,35],[12,41],[12,44],[12,46],[12,49],[12,51],[14,16],[14,18],[14,20],[14,22],[14,23],[14,30],[14,35],[14,39],[14,40],[14,41],[14,45],[14,46],[14,48],[14,49],[14,50],[14,51],[15,16],[15,17],[15,18],[15,19],[15,20],[15,21],[15,27],[15,28],[15,31],[15,32],[15,37],[15,41],[15,42],[15,43],[15,44],[15,45],[15,46],[15,48],[15,50],[16,17],[16,19],[16,21],[16,22],[16,23],[16,27],[16,28],[16,30],[16,31],[16,32],[16,35],[16,37],[16,39],[16,40],[16,42],[16,43],[16,44],[16,49],[16,51],[17,18],[17,19],[17,21],[17,22],[17,24],[17,26],[17,27],[17,28],[17,30],[17,31],[17,32],[17,35],[17,37],[17,39],[17,40],[17,41],[17,43],[17,45],[17,47],[17,48],[17,49],[18,19],[18,21],[18,22],[18,23],[18,27],[18,28],[18,30],[18,31],[18,32],[18,35],[18,37],[18,39],[18,40],[18,42],[18,43],[18,44],[18,49],[18,51],[19,20],[19,21],[19,27],[19,28],[19,31],[19,32],[19,37],[19,41],[19,42],[19,43],[19,44],[19,45],[19,46],[19,48],[19,50],[20,21],[20,27],[20,32],[20,34],[20,37],[20,39],[20,40],[20,41],[20,42],[20,43],[20,46],[21,27],[21,28],[21,31],[21,32],[21,37],[21,41],[21,42],[21,43],[21,44],[21,45],[21,46],[21,48],[21,50],[22,23],[22,24],[22,26],[22,41],[22,42],[22,44],[22,45],[22,47],[22,48],[22,51],[23,24],[23,26],[23,28],[23,30],[23,31],[23,34],[23,35],[23,42],[23,45],[23,46],[23,47],[23,48],[23,49],[24,28],[24,30],[24,31],[24,34],[24,35],[24,41],[24,44],[24,46],[24,49],[24,51],[26,28],[26,30],[26,31],[26,34],[26,35],[26,41],[26,44],[26,46],[26,49],[26,51],[27,28],[27,31],[27,32],[27,37],[27,41],[27,42],[27,43],[27,44],[27,45],[27,46],[27,48],[27,50],[28,32],[28,34],[28,37],[28,39],[28,40],[28,43],[28,44],[28,45],[28,46],[28,47],[28,48],[28,51],[30,41],[30,42],[30,44],[30,45],[30,47],[30,48],[30,51],[31,32],[31,34],[31,37],[31,39],[31,40],[31,43],[31,44],[31,45],[31,46],[31,47],[31,48],[31,51],[32,37],[32,41],[32,42],[32,43],[32,44],[32,45],[32,46],[32,48],[32,50],[34,39],[34,40],[34,41],[34,42],[34,47],[34,50],[34,51],[35,41],[35,42],[35,44],[35,45],[35,47],[35,48],[35,51],[37,41],[37,42],[37,43],[37,44],[37,45],[37,46],[37,48],[37,50],[39,40],[39,44],[39,45],[39,48],[39,50],[40,44],[40,45],[40,48],[40,50],[41,43],[41,44],[41,47],[41,49],[41,50],[42,43],[42,45],[42,48],[42,49],[42,50],[42,51],[43,44],[43,45],[43,46],[43,48],[43,50],[44,45],[44,47],[44,48],[44,49],[45,49],[45,51],[46,47],[46,50],[46,51],[47,49],[47,51],[48,49],[48,51],[49,51]]},"rotation_powers":[[0,3],[1,3],[2,7],[3,5],[4,5],[5,3],[6,7],[8,5],[9,5],[10,3],[11,3],[13,3],[14,7],[17,7],[18,7],[20,5],[21,5],[22,7],[23,3],[25,7],[26,5],[27,3],[28,3],[29,5],[30,3],[31,7],[32,7],[33,7],[34,5],[35,7],[37,3],[38,3],[39,5],[45,7],[52,3],[54,7],[60,3],[62,3],[66,3],[68,3],[70,3],[71,3],[73,3],[74,3],[75,3],[76,3],[78,7],[81,3],[83,3],[85,3],[90,3],[91,3],[92,3],[95,3],[96,3],[98,3],[100,3],[101,3],[102,3],[104,3],[109,5],[111,7],[113,3],[114,3],[116,3],[118,3],[119,3],[121,3],[123,3],[126,3],[128,3],[129,3],[130,3],[132,3],[137,3],[140,3],[141,3],[143,3],[144,3],[145,3],[147,3],[148,3],[150,3],[151,3],[153,3],[154,3],[156,3],[159,3],[160,3],[161,3],[162,3],[166,3],[168,3],[169,3],[170,3],[171,3],[174,3],[175,3],[176,3],[178,3],[179,3],[183,3],[188,3],[189,3],[195,3],[197,3],[199,3],[200,3],[201,3],[203,3],[205,3]]},"metrics":{"gamma":1.5006737523263227,"gamma_t":null,"gamma_rho":1.5006737523263227,"gamma_claim":1.5006737523263227,"gamma_t_claim":null,"gamma_rho_claim":1.5006737523263227,"v_ex":40,"rate":0.19230769230769232,"t_count":null,"poly_degree":null,"effective_width":40},"provenance":{"regimes":["AI search (gamma frontier): contraction of an existing code"],"discovery":"AI search","strongest_claim":"a paired-column contraction of an existing triorthogonal code, 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): contraction of an existing code","file":"gamma_frontier_release/protocols/paired_column_contraction_208_40_3_2d3cd988f8bb.json","label":"paired_column_contraction_208_40_3_2d3cd988f8bb","N":52,"d":3,"d_is_exact":true,"origin":"Existing triorthogonal code with physical paired-column contraction","provenance":"gamma frontier release record paired_column_contraction_208_40_3_2d3cd988f8bb (source catalogue id paired_column_contraction_208_40_3_2d3cd988f8bb); construction: Existing triorthogonal code with physical paired-column contraction; matrix 2d3cd988f8bb6d47...; the release states d=3 (exact), gamma=1.5006737523263227 (exact)","notes":"matrix gamma_frontier_release/matrices/2d3cd988f8bb6d4745649dec2dfec050acf0a0d6251800c6bbf958142e921de5.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"}]}